*l - 5*n = -6*n - f. Is l composite?
True
Let v be (8/6)/(16/5256). Let s = v - 227. Is s a prime number?
True
Let t(f) = 2*f**3 - 3*f**2 - 2*f - 5. Is t(6) composite?
False
Suppose -48*s - 10884 = -52*s. Is s composite?
True
Let d be ((-2)/(-4))/((-2)/4). Let o(c) be the first derivative of -15*c**2/2 + 1. Is o(d) prime?
False
Let v = 0 + 1. Let i be 35 + -4 + (v - -1). Suppose 0 = -4*l + i + 123. Is l a prime number?
False
Let o(h) = -h**3 + 2*h**2 + 3*h - 2. Let c be o(4). Let b = c - -37. Is b composite?
True
Let n be ((-37)/(-3))/(4/(-36)). Let c = n - -211. Suppose -q - f + 8 = -17, 4*q - f - c = 0. Is q prime?
False
Let a(g) = g**3 - 12*g**2 - 12. Let x(t) = -t**3 - 7*t**2 + 6*t - 3. Let n be x(-8). Is a(n) prime?
True
Suppose 3*d - 8*z = -4*z + 75, d - 4*z = 33. Is d a composite number?
True
Let t(f) = -2090*f + 5. Is t(-1) prime?
False
Let n = 46 + 75. Is n a prime number?
False
Let k be 28*(-3 + 244/16). Suppose 5*x + 285 = 5*h, -5*h + 2*x = 70 - k. Is h prime?
True
Let z be ((-12)/24)/((-2)/(-104)). Let n be (-7 + 2)*(-9)/1. Let i = z + n. Is i a prime number?
True
Let x(r) = r**2 + 4*r - 8. Let n be x(-6). Let h(z) = z + 1. Let o be h(2). Suppose n = w - o. Is w a prime number?
True
Suppose 0 = -4*k + 7*k - 120. Suppose 257 + k = m + 3*l, -5*m - 4*l = -1463. Is m prime?
False
Suppose 0 = d - 2*j + 1, d - 2*j - 19 = -4*d. Suppose -3*s = -347 - 28. Suppose s = d*f - 120. Is f a composite number?
True
Let d be (-4)/(-14) + (-6)/21. Suppose 3*g - 6 = d, 5*b + 4*g - 153 = -0*b. Suppose 2*u + 37 = 3*o - 3*u, 0 = -3*o + u + b. Is o prime?
False
Suppose -2*g = 4*h - 4410, -g + 4*g - 6605 = -h. Is g composite?
True
Let f = 14 + -8. Let d = -6 + f. Suppose d = 2*h - 4*h + 382. Is h prime?
True
Suppose 97 = -0*y + y. Is y prime?
True
Suppose -184*n = -179*n - 6805. Is n composite?
False
Let g(a) = 15*a**2 + 9*a - 1. Is g(5) a composite number?
False
Let j(o) = o**2 + 20. Let t be j(0). Let w = 30 - t. Is w prime?
False
Suppose 6*b = 3*b + 8163. Is b prime?
False
Let s(g) = -g**2 - 10*g - 9. Suppose 2*r + 14 = 3*f - 3*r, 3*f - 5 = -4*r. Suppose -3*h - b = 19, 5 = f*h - b + 22. Is s(h) a prime number?
False
Let q = -41 + -14. Let a = q - 33. Let m = -35 - a. Is m a composite number?
False
Let k(i) = -i**3 + 6*i**2 + 9*i - 5. Is k(7) composite?
True
Suppose 5*v + 0*v - 25 = 0. Is -3 + v - 11/(-1) a composite number?
False
Is ((-218)/3)/(2/(-3)) prime?
True
Is 8 + -7 + (699 - -1) composite?
False
Suppose -3*f + 104 = -f. Suppose -f - 264 = -4*t. Is t a composite number?
False
Suppose 2*n + 7*u - 3*u - 1282 = 0, 5*u - 1279 = -2*n. Is n a composite number?
False
Let g(m) = 8*m**3 + 4*m**2 + 2*m - 1. Is g(4) a prime number?
False
Let d(u) = -13*u + 11. Let j(h) = -12*h + 12. Let p(q) = -5*d(q) + 4*j(q). Let a be p(5). Suppose -2*o + a = o. Is o a composite number?
True
Suppose 2*k - 5*z = 40, k + 4*z + 2 = 35. Is k a prime number?
False
Let w(t) = 8*t**2 - 4*t + 5. Let d be 7 + -11 - 0/(-2). Is w(d) a prime number?
True
Let d(m) be the second derivative of m**5/20 + m**4/4 - m**2 + m. Let l be d(-3). Is (2/(-3))/(l/57) prime?
True
Suppose -s - 6600 = -5*q, 0 = -4*q - 3*s + 4814 + 447. Is q composite?
False
Let v(c) = -c**2 - 6*c - 3. Let d be v(-4). Suppose 0 = 4*j - 3 - d. Suppose j*h = 8, -4*h - 113 = -o - 2*o. Is o a composite number?
False
Suppose 16 = -5*p + p. Is p/18 - 191/(-9) a composite number?
True
Is (-4201)/2*(0 + 1 - 3) composite?
False
Suppose 3*z = 2*b - 9, -b + 2*z = -0*z - 5. Suppose 176 = 4*r - b*t - 3207, -3*t = 2*r - 1705. Suppose -3*g + 103 = -r. Is g a composite number?
False
Let h = 142 + -66. Suppose 0*u - 4*u + h = 0. Is u composite?
False
Let l = 1 + -3. Let d be l/8 + 9/4. Suppose -d*b = b - 57. Is b prime?
True
Suppose 5*t - 169 = 166. Is t composite?
False
Let u = 2 - 1. Let g = u - 0. Suppose g = -2*o + 23. Is o a composite number?
False
Let d = -189 + -5. Is (d/3)/(2/(-3)) a composite number?
False
Let i(c) = -4*c**2 - 1 + 5*c + 5*c**2 + 0*c**2. Is i(10) a prime number?
True
Let w(s) be the second derivative of 0 + 3*s - 1/2*s**3 + 1/12*s**4 - 5/2*s**2. Is w(-6) prime?
False
Suppose -5*h - 33955 = -4*t - 6*h, -5*t - 5*h + 42440 = 0. Is t composite?
True
Let m = 6 - -15. Let g be 6/m - (-2)/(-7). Suppose g*f - f = 4*o - 150, -5*f + 10 = 0. Is o prime?
True
Let u(q) = -2*q**3 + q**2 + 3*q - 2. Let a be u(-5). Let x = a - 169. Is x composite?
False
Let b(o) = 2*o + 3. Let z be b(-3). Let f be (-1)/(-3) - 101/z. Suppose w - 12 = 3*q, 0*q = -4*w + 5*q + f. Is w a composite number?
True
Suppose -1090 = -2*k + c + 25, 2*k = 3*c + 1117. Is k a composite number?
False
Suppose -4*y = -h - 2*h - 25, -4*h - 32 = -5*y. Suppose 3*w - 5*o + 49 = 271, 331 = y*w + 5*o. Is w prime?
True
Let a = 18 + -21. Is (-2 + a/(-2))*-230 a composite number?
True
Let k be 1/1*(0 + 2). Suppose -3*o + 355 = 2*w, 3*w = k*o - 4*o + 240. Suppose 5*h - 2*s = o + 496, -625 = -5*h + 5*s. Is h a composite number?
True
Let z(w) = 3*w**2 + w + 7. Is z(3) a prime number?
True
Suppose 0 = -2*t + 2*j + 82, 27 = 3*t - 2*j - 101. Suppose -m + t = -0*m. Is m prime?
False
Suppose 0 = -4*o + 1 + 11. Suppose -o*r = 2*r - 10. Suppose -3*p = -r*p - 83. Is p a prime number?
True
Let m be 0/(-1) + 24/6. Is m/(-2)*(-42)/4 a composite number?
True
Suppose 0 = -2*v + 6 - 0. Suppose 4 = -q + v*q. Suppose 4*o - 18 = -3*a, -4*a + 2*o - 4 = -q*o. Is a a prime number?
True
Let k(c) = -c**3 - 10*c**2 - 9*c + 3. Let f be k(-9). Is -3 + f/((-9)/(-120)) composite?
False
Suppose 0 = -3*i - 6, t - 1 - 6 = 2*i. Let z = 16 + t. Is z a prime number?
True
Let f(n) = -8*n**2. Let a be f(1). Let k be (-12)/a*(-8)/(-6). Is 14/(2 + k - 2) a prime number?
True
Let w(x) = 7*x + 1. Let u(f) = -15*f - 2. Let c(o) = -6*u(o) - 13*w(o). Let t = -18 + 11. Is c(t) a composite number?
True
Suppose -m = -3*r + 45, 5*r - 5*m - 47 = 28. Suppose 2*w + r - 59 = 0. Is w composite?
True
Let w(l) = -l**3 - 4*l**2 + 5*l - 2. Let q be w(-5). Let x be 0/((3 - 1)/q). Is -11*(0 - (x + 1)) a composite number?
False
Let p be (168/(-5))/(6/(-60)). Let r = p - 160. Suppose 3*j - 1 - r = 0. Is j a composite number?
False
Let v(h) = h + 11. Let l be v(-6). Suppose -5*t + 45 = l. Let y = 6 + t. Is y a prime number?
False
Suppose d + 5 = 0, -b + 157 = 3*b - 5*d. Suppose -p + 160 = b. Is p composite?
False
Suppose 0*y + x + 300 = 4*y, 3*y - 225 = -4*x. Let s be (-4)/(-14) + 60/35. Suppose 0 = -2*m - 6, s*c - 5*m = -2*c + y. Is c a prime number?
False
Let u(x) = x + 7. Let w be u(-4). Let m(r) = 3*r**2 + 4*r - 1. Is m(w) composite?
True
Let g be (-4)/8 - 27/(-6). Is g/14 - (-2150)/70 composite?
False
Let o(i) = 2*i**2 - 5*i - 1. Let n be o(5). Let k = n - 62. Let d = k - -75. Is d prime?
True
Suppose 2591 = 5*j - 2*l, 0 = -2*l - 2 - 4. Is j composite?
True
Suppose -i + 5 = t, t - 2 - 12 = 2*i. Suppose -t*x = -4*x + 8. Is ((-2)/4)/(x/436) a prime number?
True
Let p = -808 + 1931. Is p a prime number?
True
Suppose -3*r = 2*r + 1945. Let t = r + 724. Is t composite?
True
Let w(n) = n**3 + 3*n**2 - 7*n - 6. Let l be w(-4). Let z(h) = h - 5. Let i be z(l). Is 119/(-2)*(i + -3) a composite number?
True
Let u be 4/10 - 66/15. Let r be (u/8)/(1/84). Is (r/4)/(4/(-8)) prime?
False
Let o(i) = -2*i**3 - 14*i**2 - 17*i + 14. Is o(-11) a prime number?
False
Let w(l) be the second derivative of 5*l**4/12 + l**3/6 - l**2 - l. Let m(r) be the first derivative of w(r). Is m(1) a prime number?
True
Suppose -n - n = -3*c - 647, 0 = 3*n - c - 960. Is n composite?
True
Let f(t) = 49*t**3 - t**2 + 2*t - 3. Let h(z) = z**3 + z - 1. Let s(r) = f(r) - 2*h(r). Is s(2) prime?
False
Let q = 26 - 21. Suppose 0*v - q*v = -185. Is v composite?
False
Let n = 69 + -38. Let q = 70 - n. Is q prime?
False
Let l(z) = 19*z - 1. Let p be l(1). Let a = 19 + p. Is a a composite number?
False
Let r(w) = 2*w**2 - 11*w - 8. Is r(9) a composite number?
True
Let z = -6 - -15. Let q(y) = -y**3 - 5 + 4*y + 0 + 8*y**2 + y**2. Is q(z) composite?
False
Suppose 19 = q - 3*g, 0 = -3*q + q + 4*g + 38. Is q composite?
False
Suppose -1 + 7 = 3*c. Suppose -c*t - 2*m + 10 = -t, -3*m = 0. Is t composite?
True
Suppose -2*t = 144 - 458. Is t prime?
True
Suppose 3*p = -p + 16. Suppose -p*w + 77 = -303. Let m = 228 - w. Is m a composite number?
True
Let x be (-10)/(-8) - (-21)/28. S