 number?
False
Let n(r) = 136*r + 4. Let m be n(-5). Let g be (-4916)/(-5) + (-1)/5. Let y = m + g. Is y a prime number?
True
Let p(d) = 2*d**2 - 1 + 5 - 41*d - 8*d**3 + 46*d. Is p(-3) a prime number?
True
Let i be (2 + -2)/(-2 - -4). Let b(m) = -3*m**3 - 14*m**2 - 249. Let r(s) = s**3 + 5*s**2 + 83. Let o(c) = -4*b(c) - 11*r(c). Is o(i) prime?
True
Let f = 76 - 50. Let c(g) = -g**3 + 5*g**2 - 6*g + 5. Let j be c(4). Let x = j + f. Is x prime?
True
Let h be -1*((-6)/(-2))/3. Let m(o) = -17*o**3 + o - 8*o**3 + 5*o**3 + o**2 + 1. Is m(h) a composite number?
True
Let y(x) = 3*x**2 - x - 2. Let d be y(-1). Suppose 7*r - d*r = 2605. Is r a composite number?
False
Let i(j) = -j**2 - 9*j + 14. Let k be i(-10). Is 22/(-1)*(-22)/k prime?
False
Let h(u) = -11*u - 5. Is h(-9) a composite number?
True
Let y(x) = 4*x**2 + 9*x - 6. Is y(-7) a prime number?
True
Suppose 5*t + 0*p = 5*p + 30, -2*t + 4*p + 8 = 0. Let r = 6 - t. Is -7*((0 - -1) + r) a composite number?
False
Let l(i) = i + 1. Let v(j) = 9*j**2 + 7*j + 2. Let y(p) = 4*l(p) - v(p). Let z be y(2). Let s = z - -73. Is s prime?
False
Suppose g - 2*g + 3*v + 1492 = 0, 0 = -5*g + 3*v + 7520. Is g prime?
False
Is 57355/55 - 8/(-44) prime?
False
Let w be ((-2)/7)/((-4)/28). Suppose -5*l + 2*p + 375 = 0, -144 = -w*l - p + 3*p. Is l a composite number?
True
Suppose 4*n + 46 - 18 = 0. Is (-583)/n + (-6)/21 a composite number?
False
Suppose -12 = -3*d, 2*r + 3*d - 2888 = -1122. Is r prime?
True
Let t(h) be the second derivative of 17*h**3/2 - 2*h**2 - 3*h. Is t(5) a composite number?
False
Suppose 315 = 4*c - 1321. Is c prime?
True
Suppose 4*j - 1754 = 2*j. Is j prime?
True
Suppose -c + 6*b = 4*b - 1067, -2*b + 2116 = 2*c. Is c a prime number?
True
Let x(t) = 46*t**2 + t + 3. Let j be x(-2). Suppose 5*g - 8 - 17 = 0, -3*g + j = 5*i. Is i composite?
True
Let c = -32 + 23. Suppose -2*s + 41 = -s - 3*a, -93 = -3*s - a. Let z = s + c. Is z a prime number?
True
Let n(c) = 186*c**2 + 2*c + 1. Let w be n(-1). Suppose -3*u + w = 2*u. Is u prime?
True
Suppose 0 = 4*g - 0*g - 12. Let h = g - -2. Suppose 0 = j + h*s - 56 - 4, 0 = -3*j - s + 194. Is j a composite number?
True
Let m(j) = -68*j - 3. Let p(q) = 204*q + 10. Let u(a) = 7*m(a) + 2*p(a). Is u(-1) a prime number?
True
Let s be 3/(-12) - 353/(-4). Suppose z - x = 62 + s, 2*x = -4*z + 600. Is (2/(-6))/((-2)/z) a prime number?
False
Let c(w) = w + 1. Let j(g) = -104*g - 1. Let o(u) = -6*c(u) - j(u). Is o(2) a composite number?
False
Let j(q) = -q - 3. Let f be j(-2). Let n = 23 + f. Is n a prime number?
False
Suppose -2*s = p, -2*p + 4*s + 2 = -6. Let b(f) = -5 + 2 + p - 33*f. Is b(-4) composite?
False
Let g(j) = 6*j**2 - 7*j + 7. Is g(-6) a prime number?
False
Let q(f) = 3*f - 82. Let s be q(25). Let b(r) be the second derivative of r**5/20 + 2*r**4/3 - r**3/3 - 2*r**2 - r. Is b(s) prime?
True
Let x = -67 - -246. Suppose 2*t + 41 = x. Is t composite?
True
Suppose -5*k + 4*k = 3*m - 25, -3*m = -3*k + 15. Suppose 2*s = -58 - 194. Is s/(-5) - 2/k a composite number?
True
Let i(h) = -h**3 + 21*h**2 - 16*h + 7. Is i(16) a prime number?
True
Let m be 1*-3*44/12. Let n = 2 - 1. Is n/((-12)/m + -1) prime?
True
Suppose -f - 5*t - 8 - 3 = 0, 2*t + 26 = 5*f. Suppose -1 = -q - f. Is ((-91)/q)/(1/3) a prime number?
False
Let z = -1 + 6. Suppose -2*f = 5*u + 2*f - 284, 2*f - 282 = -z*u. Suppose 0 = -3*i - 14 + u. Is i a composite number?
True
Suppose 7185 = 5*x - m, x + 4*x - 4*m = 7185. Is x composite?
True
Let l(h) = -6*h**2 - h. Let r be l(1). Let p = 72 - r. Is p a composite number?
False
Let o(u) = -4*u - 54. Is o(-19) a composite number?
True
Suppose 3*y + 2*j - 8 = 26, -59 = -5*y - j. Suppose -y = -4*i + 4. Suppose -b = i*b - 55. Is b a prime number?
True
Let k(z) = -z**2 + 4*z + 5. Let d be k(4). Suppose -2*l - x + 5 = 0, d*l - 4*x - 19 + 0 = 0. Suppose -57 = -5*r - 4*j, -l*j + 8*j = r + 6. Is r composite?
True
Let l = -2 + -1. Let r be 11/5 - l/(-15). Suppose -50 = -r*h + 188. Is h prime?
False
Let p(y) = 34*y - 3. Let r be p(3). Suppose 0 = 3*b + 5*j - r, 2*j + 77 + 55 = 4*b. Is b prime?
False
Let h be 2 + 0 + 84/2. Let t = h + -22. Is t a composite number?
True
Suppose -6 = 5*s + 44. Let f(b) = -16*b - 3. Is f(s) composite?
False
Let t be 21/2 + (-1)/2. Let p = 17 - t. Is p a composite number?
False
Let f(x) = 1. Let l(n) = 51*n - 5. Let b(p) = 4*f(p) + l(p). Let m(i) = -2*i. Let w be m(-3). Is b(w) prime?
False
Suppose 8*r + 162 = 11*r. Let g = 41 + r. Is g prime?
False
Let g = -103 + 34. Let q = 62 - g. Is q prime?
True
Let a(l) = l + 47. Let t be a(0). Let z = -28 + t. Is z composite?
False
Let q = -120 + 85. Let p = q - -88. Is p a composite number?
False
Let o(d) = -6*d**2 + 3*d + 2. Let k be o(-2). Let w = -18 - k. Is w a prime number?
False
Let y be 2 + -2 + -2 + 1. Let o be (1 + 1 - 2)*y. Suppose -5*s - 2*p + 245 - 69 = o, -p = s - 37. Is s a prime number?
False
Let m(x) = -x**2 + 9*x + 10. Let q be m(9). Suppose a - q = -4*a. Suppose -2*g - 5*y + 247 = 0, 2*g - a*y - 530 = -2*g. Is g a composite number?
False
Suppose 168 = 3*g - 132. Suppose 4*b = -4, -2*r + 5*b = -5*r + g. Is r a prime number?
False
Suppose -3*r = 4*r - 13643. Is r a composite number?
False
Suppose 10*b - 190 = 5*b. Suppose t = 3*t - b. Suppose -4*n + 21 + t = 0. Is n a prime number?
False
Suppose -2*c - 142 = -4*c. Let x = c + -36. Is x composite?
True
Suppose 2*u - 1639 = -3*u + 3*m, -2*u + 3*m + 652 = 0. Is u a prime number?
False
Let c(s) = s**2 - s + 85. Let y be (4 + -4)*2/(-2). Is c(y) composite?
True
Suppose -5*u + 5 = 2*o, -5*u - o - 3*o = 5. Suppose u*c + 6 = -2*h, 0 = 5*c - 2*h - 2*h - 12. Suppose -4*p = -c*p - 44. Is p composite?
False
Let d(r) = 5*r**3 + 7*r - 4. Let g(p) = -9*p**3 - p**2 - 13*p + 8. Let h(q) = -5*d(q) - 3*g(q). Is h(3) composite?
False
Suppose 2*l + 2*w - 33 = -11, l - 26 = -4*w. Is 1/l + (-3975)/(-18) prime?
False
Let w(c) = -86*c**2 + 23*c + 11. Let h(m) = m**2 - 5*m - 2. Let j be h(4). Let i(o) = 29*o**2 - 8*o - 4. Let t(x) = j*w(x) - 17*i(x). Is t(-3) a prime number?
False
Let a(o) = o**3 - 3*o**2 - 3*o - 2. Let k be a(4). Suppose -4*x + k*x = -4. Is ((-22)/(-3))/(x/6) prime?
False
Suppose 0 = -2*d + 2, -l = l - 4*d - 522. Is l composite?
False
Suppose 5*w = -6 + 16. Suppose -4*u = -d + 27, w*d + u = 44 + 19. Is d a composite number?
False
Let z = -9 - -11. Suppose g - 5*g - z*c + 62 = 0, 4*c + 16 = 2*g. Suppose p - 41 - g = 0. Is p composite?
True
Let g(b) = b**3 + 2*b**2 - 7*b - 5. Suppose 5*t = 7*t + 8. Let s be g(t). Let o(x) = x**2 + 5*x + 13. Is o(s) a prime number?
False
Let u = -6 + 12. Suppose u*h = 8*h - 194. Is h composite?
False
Suppose 2 = -5*f + 167. Suppose -112 = -s - f. Is s composite?
False
Let n = 14 - 10. Suppose 3*o = 5*b - 55, n*o - 55 = -5*b - 0*o. Is b prime?
True
Suppose 4*g + 4*b = g + 894, -2*g = 5*b - 596. Is g a composite number?
True
Suppose -3*l + 0*t = 2*t + 362, 0 = t + 4. Is (0 + l)/(22/(-11)) prime?
True
Suppose 1 + 2 = -y. Is 5 - (1 + y/(-3)) prime?
True
Let j be 731/3 + (-6)/9. Suppose -2*g + 2*c = -0*g - 148, -3*g - 4*c = -j. Is g a composite number?
True
Suppose -71*m = -72*m + 458. Is m prime?
False
Is (-8870)/(-18) - (-1)/(27/6) a prime number?
False
Let v(z) = z**3 - 3*z**2 + z + 3. Let x(p) = -2*p - 5. Let c be x(-4). Is v(c) a composite number?
True
Let l = 147 - -32. Is l a composite number?
False
Suppose 0 = 2*y - 6*y + 5*x + 17, -3*y + 14 = -5*x. Suppose -3*k - 139 = -v, k + 1 = -y. Is v composite?
False
Suppose 0*t + 4*n = 3*t - 64, 2*t = -2*n + 38. Is 5*(1356/t - 1) a composite number?
True
Suppose n - 370 = -6*f + 3*f, -2*n - 3*f = -749. Is n a composite number?
False
Suppose -4*x + 397 + 239 = 0. Is x a prime number?
False
Suppose -2*p = -p + 1. Let v(w) = -209*w**3. Is v(p) composite?
True
Let j(n) = 91*n**3 + n**2 + 6*n - 7. Is j(2) a prime number?
False
Let a be 4 + 0 + (0 - -1). Let s(o) = 2*o - a + 4 - o. Is s(5) composite?
True
Let q = 6748 + -1529. Is q composite?
True
Is ((-6)/(-12)*1)/((-1)/(-1294)) prime?
True
Let p(i) = i - 5. Let a be p(-7). Let k = -1 - a. Is k a composite number?
False
Suppose -2*z + 12 + 6 = 0. Let t be 3/2*6/z. Let l = 32 - t. Is l a prime number?
True
Suppose 2*r = -0*r + 4. Let c = 0 + r. Suppose -n + 2*w - 53 = -2*n, 4*n - c*w - 242 = 0. Is n prime?
True
Let i be 