y, -5*l + 17 = y. Let s = 6 + 2. Let p = y + s. Is p a prime number?
False
Suppose -t - 4*v = -v - 25, 5*t - 2*v = 125. Suppose 0 = b + 4*f - t, b + f - 36 + 11 = 0. Is b prime?
False
Suppose -4*i = -5*f + 3*f - 20, -3*i + 5*f + 22 = 0. Suppose -l + 2*c = i*l - 1121, -4*c = 4*l - 880. Is l composite?
False
Is (-5)/(-2 - -7) - -90 prime?
True
Let i be (3/(-2))/(2/(-8)). Suppose 16 = 5*h + i. Suppose m - 29 = h. Is m composite?
False
Let k(n) = n**3 + 11*n**2 + 11*n + 12. Let g be k(-10). Let c(d) = 54*d**2 + 4*d - 3. Is c(g) prime?
False
Let w(h) be the second derivative of -8*h**3/3 + 13*h**2/2 - 2*h. Is w(-15) composite?
True
Let d = 39 - 11. Is 3 + (d - (-1 - 1)) composite?
True
Is 2 + 2954 + (-1 - 2 - 0) a composite number?
False
Let j be 2*(5 - -1) - -1. Let q = -7 + j. Is q composite?
True
Let s be 4/6*(-825)/(-10). Suppose -s = -3*v + 2*v. Is v prime?
False
Suppose 3*o - 3*w - 318 = 2*w, -2*w + 106 = o. Suppose 3*c = c - 98. Let r = o + c. Is r a composite number?
True
Suppose t + 0*t - 1 = 0. Is 103 - (1 - t - 3) a composite number?
True
Let k(v) = 17*v + 20. Let w(r) = -4*r - 5. Let q(i) = -2*k(i) - 9*w(i). Is q(3) composite?
False
Suppose 0*i + 4*i = 236. Is i composite?
False
Let c = -710 - -1647. Is c a composite number?
False
Let x = 1415 - -56. Is x prime?
True
Let y = -1937 + 2728. Is y prime?
False
Let d(n) = 9*n**2 - 2*n + 2. Suppose 0 = -2*b + 3*b - 5. Suppose 0 = -b*r + 6*r - 2. Is d(r) composite?
True
Let m = 145 - -54. Is m a composite number?
False
Suppose 4*f = 318 - 106. Is f a prime number?
True
Let h(p) = 68*p**2 + p. Let a(j) = 5*j + 127*j**2 + 10*j**2 - 3*j. Let g(i) = -2*a(i) + 5*h(i). Is g(1) prime?
True
Let k be -2 - ((-1)/1 + -3). Suppose k*z = -4*p + 510, -3*p + 0*p + 1310 = 5*z. Is z a composite number?
True
Let m be (-20)/25*(-5 + 0). Let p = m + 24. Let q = p - 13. Is q composite?
True
Let q be (-4)/(4/(-2) - 0). Suppose -q*z - 3*z = 0. Suppose z = n - 49 + 15. Is n a composite number?
True
Let h = -13 + 530. Is h prime?
False
Suppose 16*y - 1665 = 7*y. Is y prime?
False
Suppose 0 = 3*t - 216 - 195. Let r = t + 127. Suppose -3*d = 5*i - r, 5*d + 87 = 4*i - 2*i. Is i a prime number?
False
Is ((-11)/(-4))/((-12)/(-48)) composite?
False
Let d(x) = 126*x**3 + 5*x**2 - 4*x - 2. Is d(3) composite?
False
Let c(j) = -5*j - 3. Let o be c(7). Let z = o + 103. Is z composite?
True
Let v(b) = 47*b - 14. Suppose 12 = 3*t - 12. Is v(t) prime?
False
Let c = -92 - -51. Let a be -5*1/(20/(-304)). Let l = c + a. Is l prime?
False
Let u = 15 - 13. Suppose 3*q = u*o - 325, 0 = -q - 4 + 3. Is o a prime number?
False
Suppose -5*w - 5*m + 1215 = -0*m, -w + 5*m = -225. Suppose -4*u = 7*t - 2*t - w, -16 = 4*t. Is u prime?
False
Let r(m) = -5*m**3 + 29*m**2 - 33*m + 2. Let y(x) = -2*x**3 + 14*x**2 - 16*x + 1. Let h(u) = -3*r(u) + 7*y(u). Is h(-12) a composite number?
False
Let l = 10 + -25. Let o = 70 + l. Is o composite?
True
Suppose w + 4*w = g + 277, 5*g + 1316 = 2*w. Let o = 389 + g. Is o prime?
True
Let b(c) = 49*c - 38. Is b(7) composite?
True
Let r = 8 + 174. Suppose 3*l = -2*l + 3*q + 30, 3*q = -5*l. Suppose -3*o + r = 2*m, -l*o + 2*m + 2*m = -158. Is o composite?
True
Is ((-1623)/(-6))/(3/6) composite?
False
Let a(w) = -w**2 + 8*w + 5. Let x be a(8). Is (3 - 6) + x + 65 a prime number?
True
Is (-51)/(-15) - 3 - (-2346)/10 prime?
False
Suppose -8 = -2*w - 10. Let p be (1 - w) + 3 + -2. Suppose -p*x + 635 = 2*x. Is x prime?
True
Let t(v) = 83 + v**2 - 57 - v - v**3 + 85. Is t(0) a prime number?
False
Let k = 235 - 693. Let n = k + 661. Is n composite?
True
Let s(d) = 3*d + 14. Let t(a) = -5*a - 29. Let x(y) = -7*s(y) - 3*t(y). Is x(-8) composite?
False
Let q(v) = -v**3 + 2*v**2 - 2*v + 3. Suppose -7 = -3*h - 1, 0 = 5*y - 3*h - 4. Let j be q(y). Is (0 - -1)/(j/(-37)) a composite number?
False
Let d be (2/4 - 1)*-18. Suppose 0*l = -l - d. Is 561/27 + (-2)/l prime?
False
Suppose 2*m - 1178 = -2*t + 234, -2*t + 5*m = -1433. Is t a prime number?
True
Let q = 4 + -4. Let t(l) = l + 4. Let j be t(q). Suppose 3*v - 83 = 5*x, j*v - 2*x - 100 = 20. Is v prime?
True
Suppose 3 = 2*j - 1. Let w be j/(-10) + (-553)/35. Let g = w - -31. Is g prime?
False
Let b be 3/12 - (-11)/4. Suppose 0 = b*o - 6 - 6. Suppose 0*u + o*u - 92 = 4*m, 4*u + 4*m - 60 = 0. Is u composite?
False
Suppose -2*b + 2498 = 4*z, 5046 = -0*b + 4*b - 2*z. Is b composite?
False
Let a = 238 - 130. Suppose -6*n + 745 = -n. Let w = n + a. Is w a prime number?
True
Let b = -1277 + 1830. Is b a prime number?
False
Let m(i) = -i + 5. Let w be m(3). Let z(r) = 2*r**2 - 4*r + 3. Let s be z(2). Suppose w*p + 94 = 3*p + s*b, p - 79 = 2*b. Is p prime?
False
Let l = 418 + 991. Is l a prime number?
True
Let l(n) = -5*n + 6. Let j be l(-11). Let b = 92 - j. Is b prime?
True
Let z = -5 + 19. Is (-687)/(-21) - (-4)/z prime?
False
Suppose -i - i = -8. Suppose -5*c - 3*t + t = -22, i*c - 18 = -2*t. Suppose 5*b = 3*b + 2*f + 32, 0 = -3*b - c*f + 13. Is b a composite number?
False
Let v be 2/(-9) - (-60)/27. Suppose x = v*x - 20. Suppose -x = 5*s - 205. Is s a composite number?
False
Let w(l) = 6*l**2 - l. Suppose -7*r + 3*r + 8 = 0. Let v = r - -1. Is w(v) prime?
False
Let u = -63 - -115. Suppose 3*c + 82 = -3*o + 5*c, 0 = o + 4*c + 46. Let t = u + o. Is t a prime number?
False
Let j = 2470 - 1549. Is j prime?
False
Suppose -2*w = 4*w - 5118. Is w composite?
False
Is ((-33)/(-6))/(2/20) prime?
False
Let g(b) = 4*b**2 + 7*b**3 + 0*b**3 - 6*b**2. Let z be g(3). Let j = 277 - z. Is j a composite number?
True
Suppose -2*u - x + 1087 = -4*x, 2*u + 3*x - 1093 = 0. Is u a prime number?
False
Let s = -2 - -7. Let w = s + -1. Suppose -34 - 18 = -w*v. Is v a composite number?
False
Let f = 133 - 50. Is f a composite number?
False
Let q(z) = -8*z + 11. Is q(-5) prime?
False
Let r = 793 + 525. Is r a composite number?
True
Suppose 5*c = 15 + 25. Suppose c*v - 20 = 4*v. Let o(d) = 4*d**2 + 2*d + 3. Is o(v) a prime number?
True
Let m(a) be the third derivative of 0 - 2*a**2 + 0*a + 11/24*a**4 - 1/2*a**3. Is m(2) composite?
False
Let d(f) = 3*f**3 - 2*f**2 + 1. Let s be d(-1). Let c(u) = -u**3 - 2*u**2 - 6*u - 4. Let w be c(s). Let b = w + -33. Is b a composite number?
False
Suppose -u = 5*g - 6271 + 1029, 5*g - 5*u = 5260. Is g prime?
True
Suppose x - 3*x = -3*a + 608, -5*a + 4*x = -1014. Let p = -79 + a. Is p a prime number?
False
Is -4 + 4/((-4)/(-19)) a prime number?
False
Let s = -323 - -766. Is s composite?
False
Let p(x) = -9*x**3 + 2*x**2 + x - 4. Let r be p(-3). Suppose 4*l + r = 2*k, 4*l - 12 = -0. Is k prime?
False
Let o(r) = -r**2 + 1. Let y(w) = 3*w**2 - 6*w + 4. Let c(g) = -4*o(g) + y(g). Is c(5) prime?
False
Let m(o) be the third derivative of 0 + 0*o**3 - o**2 + 0*o + 5/8*o**4. Is m(1) a composite number?
True
Let j(t) = 3*t**3 + 2*t**2 + 4*t. Suppose 5*q + 12 = 4*v, 0*v - 3*v - 3*q = -9. Is j(v) composite?
True
Let s(l) = l + 2 - 8 + 4*l. Let o(v) = -v**3 + 5*v**2 + 6*v + 4. Let y be o(6). Is s(y) a composite number?
True
Suppose 0 = 4*d - 3*g - 275, g = d - 3*d + 125. Is d composite?
True
Suppose -9 = -j - 0*j. Suppose -p - 2*g = -40, -p + j = g - 30. Is p composite?
True
Let c(z) = z**2 - 4*z + 7. Let n(p) = -p**3 - 8*p**2 - 7*p + 6. Let h be (-36)/5 + 3/15. Let d be n(h). Is c(d) composite?
False
Let h = -3 - -3. Let m(s) = -s. Let n be m(-5). Suppose h = -n*i - z + 165, -z + 5*z = 2*i - 88. Is i a composite number?
True
Let u(f) = f**2 + 10*f + 11. Suppose 5*v - 11 = -j, -j - 5*v + 3*v = 1. Let q be u(j). Suppose -5*s = q*k - 7, -k - s + 2 = -3. Is k a prime number?
False
Let l(a) = -17*a**2 - a - 7. Let r(u) = -16*u**2 - 6. Let o(c) = 2*l(c) - 3*r(c). Let i be o(-3). Suppose i = 2*x - d, 0*x - 4*x + 266 = d. Is x prime?
True
Suppose 9 = -2*x + 5*c, -5*x - 9 = -2*c + 3*c. Let f = 33 + x. Is f composite?
False
Let g = 1297 + -924. Is g a composite number?
False
Suppose -3*z + 488 = 5*c, 3*z - 5*c - 117 = 361. Is z composite?
True
Let i be 1/5 - 14/(-5). Suppose -3*j + 655 = 4*z, i*j + 596 - 110 = 3*z. Is z a prime number?
True
Suppose 0 = -3*u + 7*u. Suppose 2*k + 4*c = -c + 310, 3*k - 3*c - 423 = u. Is k composite?
True
Let z be 7/((-35)/4)*-35. Let q(w) = -w**3 + 6*w**2 - 4*w - 3. Let i be q(5). Suppose -4*f + z = -i*f. Is f prime?
False
Let t = 378 + 263. Is t a composite number?