 Is t a prime number?
True
Let j be 8/(-28)*-7*(-1 - -2). Suppose 2*s = -j, -s + 427 = 5*x - 3*s. Is x a prime number?
False
Let x(d) = 17*d**2 + 10*d - 2. Let n be (-1)/4 - 629/(-68). Is x(n) prime?
False
Let m(g) = g**2 - 16*g - 4. Suppose -13 - 67 = -5*q. Let u be m(q). Is (422/(-6) + u)*-3 composite?
False
Suppose 3*d - 751 = -u, -2*u - 126 - 364 = -2*d. Is d prime?
False
Let t(i) = -i**3 - 2*i**2 + 4*i + 4. Suppose 4*k - 1 + 9 = 0, -4*g = -4*k + 32. Let w = g - -5. Is t(w) a prime number?
True
Let a = -2245 - -3880. Suppose 4*r - 433 - a = 0. Is r a composite number?
True
Let z(t) = -19 - 37*t - 24 + 47. Is z(-3) composite?
True
Let g(t) = 34*t**2 - 76*t - 43. Is g(-46) a prime number?
False
Is (-3)/15 + 29396/5 a prime number?
True
Let c be 0/(0/(-3) + -2). Suppose c = -7*y + 4*y + 3576. Suppose -f - f - 3*k = -614, -3*k = -4*f + y. Is f prime?
False
Suppose 0 = -2*f + 6*f + 24. Let r(g) = -g**3 - 16*g**2 - 61*g + 10. Let m be r(-9). Is (f/m)/((-5)/(-580)) a prime number?
False
Let z = 75 + 6. Suppose 0 = l - 3 + 1. Suppose 5 = -5*x, l*x + 2*x = f - z. Is f a composite number?
True
Suppose -4*r - 4*x + 2956 = 0, 0*x - 2207 = -3*r + 2*x. Let i = r + 624. Is i a composite number?
False
Is 4413 + (1 + 7 - 0) composite?
False
Let a = -3450 + 6569. Is a a prime number?
True
Suppose -2*o - o = 4*v - 135, 4*v + 5*o - 137 = 0. Suppose v*f - 3205 = 28*f. Is f a composite number?
False
Suppose 7829 + 15208 = 3*f. Is f prime?
False
Let k = 95 - 92. Suppose 5*m - 2*c = 4484, -k*c = -2*m - 460 + 2247. Is m a composite number?
True
Suppose 2*x + 5*p = 15, 5*x - 4*p = -8*p + 46. Let u = 29 - x. Is u a composite number?
False
Let g = 32 + -27. Suppose -h + 4*z + 3043 = g*z, -3*z = -5*h + 15207. Suppose 0 = 6*b + 1008 - h. Is b a prime number?
False
Let p(q) = -q**3 + 12*q**2 - 4*q + 9. Let r be p(12). Let b = r - -124. Let l = b + 48. Is l a prime number?
False
Let t = -1869 - -7920. Is t prime?
False
Suppose -a - 8 = j, 3*a + 16 = j - 2*a. Let d = j + 4. Suppose d = -4*k + 5*w + 272 - 37, 5*k - 2*w = 315. Is k a composite number?
True
Let d = 139870 + -61123. Is d prime?
False
Suppose -12 = 4*c, 3*c = 4*a + 6*c - 4155. Is a a composite number?
True
Suppose -5*y + 0*m - 12 = -4*m, 0 = -2*y + 3*m - 9. Let d(t) = -t**2 - 2*t + 131. Is d(y) prime?
True
Suppose 2 = 2*w - 6. Suppose 14 = -w*a + 346. Is a prime?
True
Suppose 6*s - 5899 = 2747. Suppose 1122 = 11*h - s. Is h prime?
True
Let b = -155 - -530. Let y = b + 1460. Is y a prime number?
False
Let o = 155 - 58. Is o composite?
False
Let n = 13147 - 5615. Suppose -9*w = -4735 - n. Is w prime?
False
Suppose -a + 4*w + 643 + 71 = 0, -3*a + 2187 = -3*w. Let f = -315 + a. Is f a composite number?
False
Let h(t) = t**2 + 2*t. Let f be h(-3). Suppose 0 = f*a - 2*a - 15. Let r = a + 16. Is r composite?
False
Let x(h) be the third derivative of h**4/8 + 9*h**3/2 - 13*h**2. Let z be x(-8). Is (-2)/z - (-208)/6 a prime number?
False
Suppose 0 = 44*c - 915383 - 492045. Is c a composite number?
True
Let v = -83 - -82. Is (v - (3 + -3558))/6*3 prime?
True
Let d(n) = 29*n**3 - n**2 - 3*n + 1. Let p be d(2). Suppose 5*f + 3*x + x = p, 0 = -f + 5*x + 33. Suppose 2*q - f + 13 = 0. Is q a prime number?
False
Let b = 1723 - 1729. Let y(h) be the first derivative of -97*h**2/2 - 25*h - 1. Is y(b) prime?
True
Suppose 7*v - 2*v = 20. Suppose -5*n + 4*h = -135, n + n + v*h = 82. Suppose -u + n = -28. Is u a composite number?
False
Let b = -6898 - -10409. Is b composite?
False
Is (-17)/(187/99) + 13000 a prime number?
False
Suppose -13827 = -231*l + 228*l. Is l a composite number?
True
Let a(n) = 3*n**2 - 4*n - 6. Let c be 0/((-1 + -4)/(-5)). Suppose c = -3*l - q + 20, 0 = -3*l - 2*q + 10 + 9. Is a(l) composite?
False
Suppose s + 4*t - 2 = 0, -s - 2*s = -3*t - 21. Let c(z) = 90*z - 21. Let i be c(3). Is (i/9)/(2/s) a prime number?
True
Let b(g) = 10*g - 13. Let d be b(8). Suppose 3*c + d = 4*c. Is c a composite number?
False
Suppose 2*c + 4*c = 54. Suppose 6*f = c*f - 243. Let i = f - 14. Is i prime?
True
Suppose g - 16 + 1 = 0. Let i = 173 + -43. Suppose v + g = i. Is v a composite number?
True
Suppose -5*l - 2*c + c = -187, c + 109 = 3*l. Suppose 5*h + 2 - l = 0. Let r(s) = 28*s - 5. Is r(h) a composite number?
False
Let h be 1 + (1 - 1) + 2 - -1. Suppose -553 = -m - 3*i, -4*m + h*i - 2765 = -9*m. Is m prime?
False
Suppose 0*r + 2*r + 2*j + 10 = 0, 5*j = 2*r + 3. Let p be 1496/(-77) - 4/7. Is (p/25)/(r/190) a composite number?
True
Suppose 2*a - 25322 = -4*p, 5*a - p = 35109 + 28196. Is a a composite number?
True
Suppose w + 3*w - 64 = 0. Let a = -14 + w. Suppose a*n + d = 11, n = -5*d + d + 16. Is n prime?
False
Let l = 18 + -16. Suppose 606 = g + l*g. Let s = -24 + g. Is s a composite number?
True
Suppose -29028 = 2*b - 14*b. Is b composite?
True
Suppose -2*b = 2*b. Suppose b = -5*t - 3*c + 401, 103 - 502 = -5*t - 2*c. Is t a composite number?
False
Let s be (-40)/(-25) + 4/10. Suppose -4*h - z - 3*z = -16, s*h + 3*z = 12. Suppose -143 = -j - h*j. Is j prime?
False
Suppose -2*m - 1 + 9 = 0. Suppose 3*g = -3*b - g + 197, -231 = -m*b + g. Is b composite?
False
Suppose 176 = g + 32. Suppose 3*i - 285 = g. Is i composite?
True
Let h = -16 - -13. Let m be -12*3/(2*h). Is 570/m - (-2 - -4) prime?
False
Suppose -2 = s - 29. Suppose s*u = 26*u + 127. Is u a prime number?
True
Suppose 44 - 2 = 6*c. Suppose -310 = c*t - 2648. Is t a prime number?
False
Let v be (2/3)/(2/3). Let t(f) = -6*f + 1. Let a be t(v). Let r(u) = -4*u**3 + 7*u + 4. Is r(a) a prime number?
False
Suppose 3*x + 10445 = -h + 3*h, 2*h - 10466 = -4*x. Is h a prime number?
True
Suppose -1 = 5*q + 19. Is q/(-20) + (-784)/(-5) composite?
False
Let y = 48 - 60. Is 474*15/12 - y/(-8) prime?
False
Suppose v = -1, 3*f + 2*v = -v + 11778. Suppose -4*m - f = -5*b, 4*m - 3*m = 2. Is b prime?
True
Let n be 6/(1855/(-1840) - -1). Let l = -482 - n. Is l a prime number?
False
Let x(g) = -48*g + 2. Let o = 23 - 26. Is x(o) a composite number?
True
Let x be (-162)/(-12)*2/3. Suppose 3908 = -5*i + x*i. Is i a prime number?
True
Is 3/(3/7855)*(-8)/(-20) a composite number?
True
Suppose 2*f + 458 = -0*f + 3*q, 2*q = 2*f + 462. Let g = f - -400. Let c = g + 142. Is c a prime number?
True
Let g = 14 - 10. Suppose 3*w + 0*w + g*c = 206, 0 = 5*w + 2*c - 320. Is w prime?
False
Suppose 1506 = 5*t + 176. Let r be -179 - -1 - (-2)/2. Let s = r + t. Is s a composite number?
False
Let d = 18 + -8. Suppose d*a = 8*a + 5794. Is a a composite number?
False
Suppose 4*a - 5*m - 10 - 6 = 0, 4*m = -5*a + 20. Suppose a*v - 2510 = -6*v. Is v a composite number?
False
Let h(b) = -2*b - 12. Let s(r) = r + 6. Let d(m) = 3*h(m) + 5*s(m). Let q be d(-8). Suppose -q*f + 592 = 4*j - 4*f, j - 3*f - 143 = 0. Is j composite?
False
Let n = 211 + 116. Is n composite?
True
Let l(d) = -d**3 - 27*d**2 - 26*d + 85. Is l(-27) a prime number?
True
Let q be 4 - (-4 - (-3 - -1)). Is ((-3)/q)/((-3)/3546) a prime number?
False
Let o be (0 - 1) + 0 + 8. Suppose 0 = -k + o*k - 3246. Is k a prime number?
True
Let v(q) = 5*q**3 - 8*q + 11. Is v(6) a prime number?
False
Let q(b) = -168*b - 5. Suppose -5*f + 78 = -h, -3*h + 0*h = 4*f - 51. Let v = 11 - f. Is q(v) composite?
True
Suppose 0*m = -m + 90. Let s be m/11 - 8/44. Suppose 12*q - 1604 = s*q. Is q composite?
False
Let q(j) = -8*j**3 + j**2 + 17*j + 5. Is q(-3) a prime number?
True
Let k = 3 - 22. Let a = k + -19. Let c = a + 59. Is c prime?
False
Let k be (-960)/25*(2 + -122). Let o = k + -1961. Is o a prime number?
True
Let y be 0 - 0 - (1 + 8). Let w be ((-4)/6)/(y/(-1593)). Let z = 171 + w. Is z prime?
True
Let w(m) = m - 4. Let d = 17 - 15. Let g(y) = -2*y + 5. Let i(s) = d*w(s) + 3*g(s). Is i(-7) a composite number?
True
Suppose -9*x = -2*x - 70. Let b(g) = -3*g. Let d be b(x). Is (-1 - 1)*975/d a prime number?
False
Suppose 6*p - p = 25. Suppose 418 = p*a + 23. Is a composite?
False
Let k(a) be the third derivative of -7*a**6/120 - a**4/4 + 3*a**3/2 - 14*a**2. Is k(-4) composite?
True
Suppose -2*r - 277716 = -14*r. Is r composite?
False
Let f(v) = v**3 - 17*v**2 + 20*v - 3. Let d = 132 - 115. Is f(d) prime?
True
Let i = -37799 - -83044. Is i a composite number?
True
Suppose 0 = -0*c + c + 24805. Is c/(-15) - 8/(-6) composite?
True
Suppose 5*j - 20 = 0, 5*l + j - 