?
True
Let c(r) = -2*r - 7. Let w be c(-5). Suppose 2*y + 4*t = 2*t + 18, -2*y + 30 = 5*t. Suppose w*v + 5*k - 148 = y, k = 2*v - 89. Is v a prime number?
False
Let s = -865 - -1550. Is s a prime number?
False
Is (-1 - (-126 + -2))/1 a prime number?
True
Let f(c) = 2*c**2 - 14*c + 9. Is f(11) composite?
False
Suppose f - 5*f + 8 = 0. Let u be -2*-3*f/(-6). Is u*106/4*-1 a prime number?
True
Let d(g) = g**2 + 3*g + 3. Suppose 4*v - 3*i = 16, -8 = -2*v - 0*v - i. Suppose -45 = v*b + 5*x, -b + x - 25 = 5*x. Is d(b) a composite number?
False
Let u(r) = r**2 + 14*r + 5. Is u(12) prime?
True
Let i(h) = -135*h + 2. Let k be i(-6). Suppose 2*t = 4*w + 406, 4*t + 5*w - k = 6*w. Is t prime?
False
Let a = -3 - -2. Suppose 64 = 5*p - 4*p. Is p/2 - (a - 0) prime?
False
Suppose 5*m = 2672 - 637. Is m composite?
True
Suppose 1610 = 5*x - 5*i, -3*x = -5*i - 581 - 387. Is x a composite number?
True
Is (-70)/(-6) + 8/(-12) prime?
True
Let n(l) = l**2 - 9*l + 6. Suppose -g + 10 - 1 = 0. Let h be n(g). Is 27/h*4/3 prime?
False
Suppose 215 = -4*g + 3*g. Is (g/2)/(4/(-8)) a composite number?
True
Suppose -12 = -3*l, -3*z + 5*l = -8*z + 80. Let t be ((-1302)/z)/(2/(-4)). Let i = t - 102. Is i a composite number?
True
Let s = -1 + 3. Let u be 0/((s - -2)/2). Suppose -3*k + 166 - 13 = u. Is k composite?
True
Let l(q) = 20*q**2 - 3. Is l(-4) composite?
False
Let t(v) = -6*v - 13. Suppose 5*u = 9*u + 44. Is t(u) prime?
True
Let u = -784 - -1155. Is u prime?
False
Let d = -156 - -175. Is d composite?
False
Let m(f) = -15*f + 14. Is m(-7) composite?
True
Let s(a) = -2*a**3 + 5*a**2 + 6*a - 1. Let h be s(-6). Suppose -8*y + 3*y + h = 0. Is y a composite number?
True
Suppose 0*m + 18459 = 9*m. Is m a prime number?
False
Suppose 2*k = 755 + 747. Is k prime?
True
Let y(c) = -13*c - 15. Let s be y(-10). Let n = s + 16. Is n prime?
True
Let h(q) = q**2 - 6*q - 5. Let i(n) = 2*n**2 - 7*n - 6. Suppose -l + y = 4, -2*y + 9 = -4*l - 5*y. Let k(z) = l*h(z) + 2*i(z). Is k(-4) prime?
True
Suppose -a - 3 = 4*r - 4, 2*a - 5*r - 15 = 0. Suppose 2 = -a*k + 327. Suppose w + 4*w = k. Is w prime?
True
Let a = 10 - 8. Suppose 46 + 84 = a*m. Is m a prime number?
False
Suppose -7*d = -9*d + 1942. Is d prime?
True
Let s be -4*(2 - 6 - -3). Is (-76)/(-10)*10/s prime?
True
Suppose 3*w = -5*h + 93, -4*w - 10 + 57 = 3*h. Suppose 2*r = 5*v + 6*r - 35, 0 = -3*v - 3*r + h. Is v a composite number?
False
Suppose -v + 9 = 2*v. Let h = 6 - v. Suppose h*q = 6*q - 111. Is q a composite number?
False
Suppose -5*j + 25 = 5*v, 5*j - 5*v - 45 = -10. Is j/(-15) - 1281/(-15) composite?
True
Suppose -827 = -8*i + 461. Is i a prime number?
False
Let d be 3 - (3/1 - 58). Let o = 249 - d. Is o a composite number?
False
Let k = 48 + 53. Suppose -2*a - 4*o + 33 = -3*o, -5*o - k = -4*a. Let y = a - 0. Is y a prime number?
True
Let r = -32 - -36. Suppose 934 + 471 = 5*g. Suppose g = r*p - 227. Is p a prime number?
True
Suppose t = -2*b + 2*t + 8, -b - 5*t - 18 = 0. Suppose -b*m + 872 = -2*n, 5*m - 4*m = -n + 438. Is m prime?
False
Suppose 4*h + 281 = -l, h + h = -3*l - 863. Let w = -204 - l. Is w composite?
True
Suppose -q - 2*y + 63 = -52, 3 = -y. Is q a prime number?
False
Let b(n) = 8*n**3 - 9*n**2 - 2*n - 5. Is b(4) prime?
False
Suppose -2*p - 2*p = -8. Suppose 56 = 4*c - 4*m, p*c + 0*m - 53 = -3*m. Suppose -s + c = -14. Is s a composite number?
True
Suppose 2*b = 46 + 616. Is b a prime number?
True
Let a be -15*((-8)/(-3))/(-4). Suppose 236 = a*c - 6*c. Is c prime?
True
Suppose i - 621 = 2*g, 4*g + 0*g + 3129 = 5*i. Is i prime?
False
Let y = 10 - 10. Suppose -4*a = -y*p + 3*p - 973, 0 = -3*p + a + 998. Is p prime?
True
Suppose -7 = -5*j + 23. Let a = -4 + j. Is 7/(2 + (a - 3)) a composite number?
False
Suppose 0*v + 510 = 3*v. Suppose 8 = 4*b, -2*i + 3*b + v = -250. Is i prime?
False
Suppose 5*w - 3*b - b = 10247, -b - 4097 = -2*w. Is w prime?
False
Let a(v) be the first derivative of -v**3/3 + 4*v**2 - 5*v + 9. Suppose 2*p - 3*x = 29, 0 = 2*p - 2*x - 31 + 7. Is a(p) composite?
False
Suppose -2*s + 22 + 16 = 0. Is s a prime number?
True
Let a(o) = -o**3 + 279. Suppose 2*w - w = 0. Let k be a(w). Let x = -164 + k. Is x composite?
True
Suppose 121 = x - 388. Is x composite?
False
Let o(h) = h**3 - 3*h**2 - 3*h - 4. Suppose -7*l = -3*l - 16. Let f be o(l). Suppose u - 31 = i + 10, -3*u + 4*i + 126 = f. Is u a prime number?
False
Let i = 32 - 30. Let f be -2 + 2 - (2 + 8). Is 1644/30 - i/f prime?
False
Let d(r) = -r**2 + 9*r - 6. Let t be d(8). Suppose -g = 4*o - 1350, o + 5*g = t*o - 327. Is o a prime number?
True
Suppose 0 = -h + 6*h - 2615. Let c = 112 + h. Is c composite?
True
Let w(n) = 21*n**2 + 2*n - 1. Suppose -1 = -c - 3. Is w(c) prime?
True
Let b(r) = r**3 - 7*r**2 + 7*r - 4. Let q be b(6). Suppose 0 = 3*p - 3*w + q - 8, 3*p + 5*w = 14. Suppose d = 5*d + 2*u - 500, -p*d + 393 = -3*u. Is d prime?
True
Let r(h) = 5*h**3 - 2*h**2 + 9*h - 1. Is r(8) a prime number?
True
Suppose 8*n - 3*n = 10. Suppose 2*u = 5*k - 12, -n*u = -4*u - k + 12. Is (1780/50)/(u/10) prime?
True
Let h = 2 - 1. Is 633*((-1)/(-3))/h a prime number?
True
Let m(x) = -304*x - 9. Is m(-2) prime?
True
Suppose 2*h - 176 = -2*h - 4*o, 210 = 5*h + 3*o. Is h a prime number?
False
Let r = 1625 + -946. Is r composite?
True
Let m be -1 + -2 + (3 - 4). Let p = m + -5. Is 92/6 - (-3)/p composite?
True
Suppose 3*x + 15280 = 4*k, -19081 = -5*k - 5*x + 4*x. Is k prime?
False
Suppose 316 = 3*g + 34. Let b = g + -27. Is b prime?
True
Suppose j - 6*j + 1533 = 4*t, -j = 4*t - 297. Is j composite?
True
Suppose 108 - 25 = 5*l - 4*o, -2*l = -3*o - 29. Suppose t - l = -0*t. Is t a prime number?
True
Let h(i) = -2*i. Let x be h(-2). Suppose x*q + 2*f - 3*f - 1041 = 0, 5*q - 2*f = 1305. Is q composite?
True
Let r = -80 + 238. Is r a prime number?
False
Let u be (12/(-8))/(6/(-20)). Suppose u*w - t = 4*w + 293, -t = 3*w - 879. Is w a prime number?
True
Let u be 4/10 - (-46)/10. Let x = -5 - -9. Suppose -6*k + 4*k + u*w + 126 = 0, x*k = 5*w + 232. Is k prime?
True
Suppose 0 = -2*z - 4*z + 15042. Is z prime?
False
Let q = 997 - -286. Is q prime?
True
Let x be 3/(-6)*2 - -3. Suppose -x*r + 266 = -0*r. Is r a prime number?
False
Suppose -b - 282 = -3*b. Suppose -k = -3*c + 2*c + 25, c - b = 5*k. Is 4/8 + k/(-2) prime?
False
Let u(n) = 4*n**2 - n - 4. Is u(7) a composite number?
True
Let d = 466 - -349. Is d a composite number?
True
Let r be (-38)/(-10) + (-8)/(-40). Suppose o = -r*o + 265. Is o a composite number?
False
Let p(k) = k**3 + k**2 - 5. Let z be p(0). Let q(r) = 3*r - 9. Let m(d) = -7*d + 19. Let n(a) = z*q(a) - 2*m(a). Is n(-6) a composite number?
False
Is 2/((-3)/((-4491)/6)) a composite number?
False
Suppose 7*f - 2759 - 384 = 0. Is f a prime number?
True
Let y be 11/(-4) - (-1)/(-4). Let b = -9 - y. Let r(v) = v**2 + 2*v - 5. Is r(b) composite?
False
Let s(l) = -l**2 - 3*l - 1. Let t be s(-3). Is (-5 + 151)*(t - -2) prime?
False
Let h = 3831 - 2104. Is h prime?
False
Suppose -14 - 10 = -5*t - 3*i, -t - 3 = -2*i. Suppose 3*y + 5*p + t - 61 = 0, 3*p - 59 = -4*y. Is y a prime number?
True
Let t(n) = n**2 + 5*n - 4. Let o be t(-7). Let c be 4/o - (-746)/10. Let k = -49 + c. Is k composite?
True
Let x(n) = 228*n**2 + 4*n + 1. Is x(4) prime?
False
Let w = 18 - 24. Is 741 + -2 + w/(-1) a prime number?
False
Let v(x) = 4*x**3 - 4*x**2 + 3*x - 4. Let m(u) = 3*u**2. Let g be m(-1). Is v(g) a prime number?
False
Let l = -7 + 11. Suppose 5*v = 3*p - 846 + 263, -l*p = -v - 766. Is p composite?
False
Suppose -6*n + 1495 = -n. Suppose -5*h + n = -46. Is h composite?
True
Let x = 3881 + 1976. Is x composite?
False
Suppose -4*a = a - 3165. Is a prime?
False
Suppose l - 5*l - 2*h = -22, 0 = -3*l - 3*h + 24. Suppose o - 5*o + 272 = 3*u, 0 = 3*o + 3. Suppose 0 = l*d + i - 69, -2*i = -4*d - 0*d + u. Is d prime?
True
Let f(q) = -q**2 + 1. Let o be f(1). Suppose -5*y + 545 = -o*y. Is y a composite number?
False
Let o(j) be the first derivative of 2*j**3/3 - j**2 - 3*j + 2. Is o(5) composite?
False
Suppose -3*d + d + 1306 = 0. Let c = d + -280. Suppose -5*t = -5*k + 440, -3*t + c = -k + 5*k. Is k prime?
False
Suppose 0 = -4*d + 15 - 3. Suppose 4*q - v - 412 = 120, -d*q - 5*v = -399. Is q a prime number?
False
Let w = -4 + 8. Is (-1)/(w/406)*-2 a composite number?
True
Let x(t)