Suppose 4*f + 14 = 2*f. Is p(f) composite?
True
Suppose 6*d + 675 + 3717 = 0. Let x be (d/1)/(-4) - 1. Suppose 0 = -3*g - x + 959. Is g composite?
True
Suppose 0 = 103*w - 97*w - 35034. Is w prime?
True
Let n = 81 + -14. Let i = 772 + n. Is i composite?
False
Is 2*(4 + -1 + 1 + 4213) a composite number?
True
Let s(j) = j**3 + 3*j**2 - 5*j - 6. Let y be s(-3). Suppose -53 + y = 4*k. Let f(i) = 4*i**2 + 15*i - 10. Is f(k) a prime number?
False
Suppose t + 21 = -5*c, 3*c + 105 = -5*t + 5*c. Let d(m) = m**3 + 21*m**2 - 5*m + 18. Is d(t) a prime number?
False
Let k(c) = 2*c**2 - 14*c - 12. Let d(b) = b**2 + 1. Let v(g) = d(g) - k(g). Let s be v(15). Let t = 17 - s. Is t composite?
False
Let m(z) = 3056*z**2 + 7*z - 6. Is m(1) prime?
False
Suppose -39*v + 36*v = -21. Suppose -3*x - 1348 = -v*x. Is x a composite number?
False
Is (2414/5 + -8)/((-2)/(-5)) a composite number?
False
Is 61878/(-4)*6/27*-3 a composite number?
False
Suppose -5*a + 6879 = -9876. Is a a prime number?
False
Suppose 25*q + 818 = 23*q. Is (-1)/11*2 + q/(-11) composite?
False
Suppose -4*j + 84 = 5*d - 7, j - d - 16 = 0. Let u = j + 376. Is u composite?
True
Suppose 147 = 2*m - 3*g - 68, 2*g + 210 = 2*m. Let x = 63 + m. Is x a composite number?
False
Let z = 954 - -1041. Let b = z + 376. Is b a prime number?
True
Let l(y) = -y**2 + 10*y + 17. Let t be l(8). Let o = 442 - t. Is o a composite number?
False
Suppose -6*q + q = 50. Let b(r) be the second derivative of -r**5/10 - 7*r**4/6 + 2*r**3/3 + 3*r**2/2 + 6*r. Is b(q) a prime number?
True
Let w = 19 - -255. Suppose -3*y - 390 = 177. Let j = y + w. Is j prime?
False
Let u(q) = 5*q**2 - 2*q. Let c be u(-2). Suppose c = 5*h + 559. Is (2 - 0 - h) + 0 a prime number?
True
Let r be (0 + -3)*(-1678)/(-3). Let h be (-3)/(0 - 2/(-12)). Is 9/h + r/(-4) prime?
True
Let h(c) = 6*c + 4. Let p be h(7). Let q = p + -30. Suppose 2*s - 5*j - 12 = q, -2*s + 30 = -4*j. Is s a prime number?
True
Suppose -2*g - 2*j + 3544 = -2394, -3*g + 8887 = -2*j. Is g composite?
True
Suppose 2*h = 4*h - 508. Is h a composite number?
True
Let z(u) = 152*u**2 - 16*u + 71. Is z(6) prime?
False
Suppose -57551 = 8*l - 373079. Is l prime?
False
Let u(h) = h**2 - 13*h + 29. Let n be u(10). Let w = n - -134. Is w a composite number?
True
Is (-2 + (-3)/(-2))*(-14132 + -6) prime?
True
Let s(z) be the first derivative of -z**2/2 - 6*z + 1. Let l be s(-9). Is l/((-3)/(-295)) - 2 a prime number?
True
Let q be 16/(-64) - (-246)/(-8). Is -1 - (-1 + q + 3 - 3) a composite number?
False
Suppose 5*b - 3*c - 26588 = 0, c + 26586 = 9*b - 4*b. Is b composite?
True
Suppose -4*o = 4*t - 32, -3*o - o + 4*t = -8. Suppose -3*p = -o - 4. Is p*1 + (10 - -132) a prime number?
False
Suppose -2*a + 294 = -70. Is (a/(-8))/(8/(-32)) prime?
False
Suppose 4*g + 15*g = 72181. Is g a prime number?
False
Suppose -23156 = -7*y + 6153. Is y a composite number?
True
Suppose 85*u + 9741 = 88*u. Is u composite?
True
Suppose -3*n - 2807 = -3*a + 1228, 2*n = -4*a + 5368. Suppose 0 = -3*m + 2*d + a, -3*m + 5*d = -6*m + 1336. Is m composite?
True
Let n(u) = -u**3 - 13*u**2 + 19. Suppose 0 = -2*k + k + 3. Let q(l) = -4*l - 1. Let x be q(k). Is n(x) prime?
True
Suppose 0 = 2*h - 3*i - 14645, 15*i = h + 10*i - 7326. Is h a composite number?
False
Suppose -11*b + 9*b = 2*r - 19928, 0 = 3*r + 5*b - 29882. Is r prime?
False
Suppose 2*u = -5*n + 29, 5*n = 4*n - u + 7. Suppose 3925 = 5*m + n*y, 2*m = 4*m - 5*y - 1584. Is m a prime number?
True
Is (-118)/(5 + (-174)/34) prime?
False
Let u be (-4)/(-4) + 0/(-1). Let a be 15/9*(-110 - u). Let j = a + 348. Is j composite?
False
Let w = 218 + 55. Let k = w - -224. Is k a prime number?
False
Let k = 15 + -17. Let n be (k + 5)/3*12. Is n/18*2586/4 a prime number?
True
Is 114558/12 + -11 + 10/(-4) a composite number?
False
Let s(i) = -i**2 - 24*i - 1. Suppose -5*o = -5*m + 35, 0*o = -o + 5*m + 1. Is s(o) a prime number?
False
Suppose 0 = 3*t - 4*w - 5, -2 = -2*t + 5*w + 13. Let g = 10 + t. Suppose 2*a + 286 = g*v, -4*a = -2*v - 0*a + 108. Is v prime?
False
Let m be (-10*2/(-4))/1. Suppose -m*n - 3*n + 11496 = 0. Is n a prime number?
False
Let w be (0 - -9)*10/15. Suppose -w*z + 2*z = -812. Is z a prime number?
False
Let m = -32 + 28. Let a(t) = -226*t + 13. Is a(m) prime?
False
Let k(l) = l**3 - 19*l**2 + 22*l + 33. Let r be k(-15). Let f = r + 11884. Is f a composite number?
True
Let d be (22/6)/(1/(-3)). Let b(c) = c**2 + 13*c + 8. Let n be b(d). Is (-1100)/(-14) + (-6)/n a prime number?
True
Suppose 0 = 5*t, -5*v - 5*t - 15 + 105 = 0. Suppose 0 = -2*x + 2*c, 4*c - 1 - 2 = 3*x. Suppose -v = -x*l + 153. Is l prime?
False
Let m(z) = -3*z**3 - 5*z**2 + 7*z - 9. Let p be (-90)/11 + 44/242. Is m(p) a prime number?
True
Let i be (-8444)/28 - 6/14. Let v = i + 465. Suppose 2*p - p = v. Is p a prime number?
True
Suppose 17*n = 15*n + 5038. Is n prime?
False
Let k = -19 + 13. Let n be 9 + k + 27/(-1). Is n/32 - 158/(-8) composite?
False
Suppose -38*v + 53889 = -5*v. Is v a prime number?
False
Let s be (-12)/(-8) - (-6)/4. Suppose s*u - 558 = -3*t, 4*t = -4*u - u + 935. Is u a composite number?
False
Let a = -24 - -27. Suppose 2*j + a*b - 5270 = 0, 6923 + 3581 = 4*j - 3*b. Let p = j - 944. Is p prime?
False
Let f(m) = -m**3 + 6*m**2 + 2*m + 6. Suppose -3*c + 4 = 4*n, -n - 8 = -c + n. Let y be f(c). Let a = y + -23. Is a a composite number?
False
Let m = 1356 - -638. Is m prime?
False
Let l = 2370 - 1393. Is l a prime number?
True
Let l = -43 - -112. Suppose -a = -l - 157. Let j = -103 + a. Is j prime?
False
Let r(d) = 13*d**2 - 7*d - 14. Let q be r(12). Let f = -336 + q. Let k = f + -377. Is k prime?
True
Let y(j) = 373*j + 72. Is y(10) a composite number?
True
Suppose 3*k + 5050 = 16363. Suppose 0*x = 3*x - k. Let f = 1886 - x. Is f a prime number?
False
Let k(x) = 9*x**2 + 3. Let u(r) = 4*r**2 + 1. Let s(l) = -3*k(l) + 7*u(l). Suppose -5*y + 4*w - 45 = 0, 4 = y - w + 13. Is s(y) composite?
False
Suppose v = i + 3*v + 11, 2*v = -4*i - 14. Let u be -1 + i + 7 + 33. Suppose -32 - u = -5*s. Is s a prime number?
False
Suppose 3*q + 38 = 4*o, -4*q = -5*o + 3*o + 14. Suppose -o = -k - 9. Suppose -7*c + k*c = -5*w + 5690, -2 = -2*c. Is w a composite number?
True
Let o be (38 + -46)*(0 - 0 - -14). Suppose -f = 4*z - 43 + 230, 3*z = 4*f + 767. Let v = o - f. Is v composite?
False
Suppose 9*w - 4*w = 45755. Is w composite?
False
Let z(v) = -2*v**2 - 11*v - 18. Let p(c) = -c - 1. Let u(w) = 2*p(w) - z(w). Is u(-9) composite?
False
Suppose -4*d + 390 = -218. Let c = 337 - d. Is c a prime number?
False
Let l(c) = -c**3 + 5*c**2 - 7*c + 5. Let b be l(4). Is ((-392)/12)/b*(-2517)/(-2) a prime number?
False
Let p(m) = 58*m**2 - 7*m + 6. Is p(-7) composite?
False
Suppose 411537 = 19*a + 2*a. Is a a prime number?
True
Let t(y) = 756*y + 25. Let j(x) = -151*x - 5. Let i(d) = 11*j(d) + 2*t(d). Is i(-2) a composite number?
False
Suppose -5*q + 4*u = 40, 0 = -2*u - 3*u. Let c be ((-63)/(-4))/((-2)/q). Let b = c + 186. Is b prime?
False
Let u = -51 - -51. Suppose 4*b = 2*t - 0 - 118, u = -2*b. Is t prime?
True
Suppose 0 = -4*a + 12*v - 14*v + 54426, -13609 = -a + 2*v. Is a prime?
False
Let q = 35305 - 67087. Is ((q/(-9))/(-1))/((-12)/18) a prime number?
True
Suppose -5*q = 2*u - 61663 + 4010, 3*u + 57658 = 5*q. Is q a composite number?
True
Suppose v = -4*w + 13, 3*w = 6*w - 5*v - 27. Suppose 5*a + w*o + 7 = -2, 4*a = -4*o - 8. Is (6 - 6) + (-337)/a a prime number?
True
Let b(r) = -2*r**3 - 43*r**2 - 2*r + 100. Is b(-45) prime?
False
Let d = -135 + 130. Is 6/30 + (-894)/d a prime number?
True
Suppose 4*r + 152 = 32. Let t be 156/r - 12/15. Is (-134)/(-3)*t/(-4) a composite number?
False
Let p(t) = 1984*t + 141. Is p(7) a prime number?
True
Suppose 597656 - 86344 = 16*y. Is y prime?
True
Let i be (-4)/(-7) - (-328)/14. Let f = i + -13. Suppose -f = t - 222. Is t a composite number?
False
Suppose 5*f - f + 4 = 0. Let t be f - 1/((-3)/9). Suppose -2*x - t*w = w - 160, 4*w = -2*x + 162. Is x composite?
True
Let p = -55 + 61. Let w(x) = 398*x - 31. Is w(p) a prime number?
True
Suppose -180*o = -188*o + 128624. Is o a composite number?
True
Let r(x) = -4*x**2 - 6*x - 1 + x**3 - 2 + 8 + 3. Let f be r(6). Suppose 0 = -2*p + 5*o - f + 392, -3*p - 4*o = -545. Is p prime?
True
Let f = -5 + 11. Let l = f - 7. 