) = 4*o**3 + o**2 + o + 1. Let c be i(2). Let d = 600 + c. Is (-6)/21 - d/(-7) composite?
True
Suppose 122*r - 133*r + 86911 = 0. Is r a composite number?
False
Let k be ((-692)/(-3))/((-2)/(-3)). Let j = -233 + k. Is j composite?
False
Suppose 0 = 2*t - 13*t + 9559. Is t a composite number?
True
Let a = -4324 + 11621. Is a a prime number?
True
Let i = -4 + 11. Let p(b) = 5*b**3 - 7*b**2 + 3*b - 9. Let f be p(i). Is f/(-3 - -7) - -1 prime?
True
Let y(d) = 47*d**2 - 14*d - 83. Is y(-6) prime?
True
Suppose x - p - 127 = -4*x, -2*p = 2*x - 46. Suppose 0 = -f + x + 132. Is f prime?
True
Suppose 2*m + 86238 = 4*r, -54*m + 64676 = 3*r - 55*m. Is r a prime number?
True
Suppose 30*b = 27*b + 15. Is 3308/2 + -4 + b a composite number?
True
Let a(q) = q - 1. Let p be a(8). Suppose 2*s - 2*b + p*b = 118, 2*b = 0. Is s prime?
True
Let w(t) = -2*t**3 - t**2 + 2*t + 118. Let i be w(0). Suppose -5*l + i = -3*l. Is l prime?
True
Let j = -1704 - -3880. Is 5 + j/4 - -4 a composite number?
True
Suppose v = 2*v - 883. Let r = v - 590. Is r a composite number?
False
Let o(r) = 4*r**3 - 50*r**2 + 35*r - 37. Is o(24) a prime number?
True
Let f(j) = 227*j + 84. Is f(17) a prime number?
True
Let s = 12239 + -5736. Is s a composite number?
True
Let z(i) = -i + 1. Suppose 3*o - 3 = 4*o. Let t be z(o). Suppose -t*k - 75 = -279. Is k prime?
False
Suppose 2*a + 324 = 4*a - z, 4*a + 4*z = 660. Let m(u) = -u - 1. Let v be m(-6). Suppose 0*k - 2*k + v*q = -a, 5*q - 59 = -k. Is k prime?
False
Suppose 14*v - 5*v = 5679. Is v a prime number?
True
Let w be ((-2)/4)/((-6)/(-24)). Let f be w - (-3 - (0 - 1)). Let g(x) = x + 87. Is g(f) a composite number?
True
Let i(y) = 78*y**2 + 16*y + 25. Is i(-11) a prime number?
False
Let d(a) = 269*a**2 + 25*a - 7. Is d(-9) prime?
True
Let h = 165 - 102. Suppose -5*r + 28 = -22. Let t = h - r. Is t composite?
False
Is (14/(-7))/(12/(-3126)) a prime number?
True
Let b(o) = 7*o - 16. Let c be b(-7). Let x = 144 + c. Is x a prime number?
True
Let q(f) = -2*f**3 + f**3 - 7 - 2*f**2 - 7*f**2 + 7*f**2 - f. Suppose l - 3 = -4*b + 7, 0 = -3*l - 3*b - 6. Is q(l) composite?
True
Let k(o) = 138*o**2 - 96*o - 17. Is k(-10) prime?
False
Let z(x) = -x**3 - 11*x**2 + 13*x + 10. Let j be z(-12). Let m be 144/32*j/3. Is (-11)/(-2*m/(-18)) a prime number?
False
Is 3 + ((0 + -2)/1 - -5330) a composite number?
True
Suppose -8*o + 27339 = -33965. Is o a composite number?
True
Suppose -36*k + 32151 = -15*k. Is k a composite number?
False
Suppose -140*z - 313115 = -145*z. Is z composite?
True
Let k(c) = -2*c + 36. Let i be k(16). Suppose -10 = -f - 5*b, 0*f - i = -f - 2*b. Suppose f = 3*j - m + 2*m - 397, 5*m = -j + 151. Is j a composite number?
False
Suppose -2*t + 5*t = 0. Suppose 3*b - 1114 - 1787 = t. Is b a composite number?
False
Suppose -3*l + l = 2. Is 4 + l + (-180)/(-2) a prime number?
False
Suppose 3*w = 7*w + c + 3, 4*c = 4*w + 8. Let v = 8 - w. Suppose -v*b + 1604 = -5*b. Is b composite?
False
Suppose -i = -43 - 38. Let u = i + 96. Is u a composite number?
True
Suppose -29*n - 1660 = -33*n. Is n a prime number?
False
Suppose -4 = -c - 2*g, 19 = c - 2*g + 7. Suppose 2*q - 114 = -z, q - 2*z = c + 54. Is q prime?
False
Let n = 75 - 3. Suppose -z + 1368 + n = -x, z + 4*x = 1425. Is z a composite number?
True
Let g(w) = -w**2 + 13*w + 9. Let i be 194/14 - 3/(-21). Let r be g(i). Let v(d) = -25*d - 6. Is v(r) a prime number?
False
Let h = 571 + -308. Is h prime?
True
Let d be 7/42 + (-5)/(-6). Suppose 5 = 3*x + 5*h, -3*h + 2*h = -d. Suppose 3*m - a + 0*a - 1124 = x, 3*a + 15 = 0. Is m a composite number?
False
Let f = 18419 - 10977. Suppose -4*m + f = 5*r, -r = -3*m + r + 5570. Is m a composite number?
True
Suppose 0*p - p = -3. Suppose -p*l = -13 - 17. Let s(v) = v**2 - 6*v + 13. Is s(l) a prime number?
True
Let p be (-3)/(-7) - (-12 - (-462)/49). Let c(a) be the first derivative of 3*a**4/4 + a**3 - 2*a**2 + a + 1. Is c(p) composite?
False
Suppose 61*l + 640960 = 66*l + 5*r, 0 = -2*l + 3*r + 256409. Is l prime?
False
Let f be (4/18*-3)/(14/(-63)). Is 1490/5*(2 + f/(-2)) composite?
False
Let z = 9 + -3. Suppose -z*o + 8*o = -28. Is 107/7 + o/49 a prime number?
False
Let z = 1590 + -479. Is z composite?
True
Suppose 2*o - 4*k + 8 + 10 = 0, 0 = -5*o - 3*k - 6. Is (o/(45/534))/(2/(-5)) prime?
True
Suppose -679*a + 681*a - 13666 = 0. Is a a prime number?
True
Is (-9)/(-15) - (3 - (-74987)/(-5)) composite?
True
Suppose -6*y = -140158 - 42500. Is y composite?
True
Let x(i) be the second derivative of -i**5/20 + 5*i**4/12 + 5*i**3/6 - 4*i**2 + 7*i. Let l be x(6). Let u = 83 - l. Is u a prime number?
True
Let p = 75 + -70. Suppose -2288 = -p*s - 133. Is s prime?
True
Suppose -t + 6*q + 455 = 2*q, -457 = -t + 3*q. Is t prime?
True
Let l = -3 + -13. Let o = l - -16. Let h = 127 - o. Is h a composite number?
False
Suppose -k - 1 + 3 = 0. Is 7569/12 + k/8 prime?
True
Let q = -2089 - -3071. Is q a composite number?
True
Let a(t) = t**3 + 4*t**2 + t - 4. Let f be a(-3). Suppose -4*b - s + 2265 = 0, 5*b - 3*s = f*b + 1680. Is b a prime number?
False
Let z(d) = -86*d + 5. Let u(b) = b + 2. Let h(i) = -5*u(i) + z(i). Let o be 4 + -2 - (-1 + 5). Is h(o) a prime number?
False
Let u(d) = 11*d - 48. Let g be u(7). Suppose -4*j - g = -1257. Is j composite?
False
Suppose -r + 10*k = 13*k - 1769, -10 = -2*k. Is r prime?
False
Suppose a - 4 = -a. Let d be 3*(-2)/(-6) + a. Suppose 448 = 5*y - 3*o, -87 = -d*y + 2*y - 2*o. Is y composite?
False
Let j be (144/(-32))/(6/8). Let a be (j/(-12))/(1/(-22)). Let b(c) = 4*c**2 + 2*c - 13. Is b(a) prime?
True
Let k be 0 - (-1 - 39)*(-88)/(-20). Let j = 36 + -135. Let c = k + j. Is c a composite number?
True
Let k be ((-28)/(-6))/((-6)/(-9)). Suppose 0 = -k*m + 3*m. Suppose m = 4*i - 74 + 18. Is i a composite number?
True
Let t(b) = -3*b - 3. Let p be t(6). Suppose 5*a - 1318 = -5*c + 197, -944 = -3*a + 4*c. Let n = a + p. Is n composite?
True
Let k(y) = -8 + 3*y**2 - 3*y - 15 + 146*y**3 + 24 + 3*y**2. Is k(2) a prime number?
True
Let o = 38897 + -25852. Is o a composite number?
True
Let y(g) = -3*g**3 + 4*g**2 - 7*g + 3. Let p(k) = -k**3 + 2*k**2 - 3*k + 2. Let r(x) = -5*p(x) + 2*y(x). Let o be r(-3). Suppose o*m - 13 = 9. Is m prime?
True
Suppose -2*d + 2*q + 461 = -d, 4*q - 962 = -2*d. Is d prime?
False
Suppose 2*l + 27*s = 23*s + 52894, 0 = -4*l + 5*s + 105788. Is l prime?
False
Let n(p) = 27*p**3 - 7*p**2 + 11*p - 3. Let d be (12/(-8))/((-18)/48). Is n(d) a composite number?
False
Let a = -673 - -162. Let u = 842 + a. Is u a composite number?
False
Let x = -16 + 6. Let t(y) = -2*y**2 - 4*y - 10. Let w be t(x). Is (w/8)/((-3)/12) a composite number?
True
Suppose -3*b - 2*m = 2*m + 13, 2*m + 13 = 5*b. Let u be ((-25)/(-10))/(b/2). Suppose u*c - s - 2675 = 0, -3*c = 5*s - 0*s - 1605. Is c composite?
True
Suppose -13*z = -10*z - 186. Suppose -8*u + z = -34. Let i = u - -13. Is i composite?
True
Let d(q) = 4*q**2 + 11*q + 12. Let x be d(-6). Let n = 195 - x. Let o = n - 18. Is o prime?
False
Let v(c) = 30*c + 12. Let h be v(-8). Let y = 325 + h. Is y a composite number?
False
Suppose -7*j - 60 = -11*j. Let o be (4 + (-36)/10)*j. Suppose 0 = -3*s + 15, 3*s - 3950 = f - o*f. Is f prime?
True
Let q(p) = 2*p**2 - 13*p + 10. Let w be q(6). Let s(a) = -2 + 29*a - w + 1. Is s(4) composite?
True
Suppose -5*r = -2*p - 15923, 6382 = 2*r - 2*p - 2*p. Let w = -644 + r. Suppose 0 = 4*u - 3*l - 2*l - w, -l + 2521 = 4*u. Is u composite?
False
Let h = -20358 - -29951. Is h prime?
False
Suppose -22859 = v - 2*v + 2*r, 4*v + 2*r - 91476 = 0. Is v composite?
True
Let r(x) = 16*x + 11. Suppose -2*t = d + d - 38, 2*d - 2*t = 42. Is r(d) composite?
False
Let b(t) = 1264*t**2 + 20*t + 1. Is b(5) a composite number?
True
Let k(i) = -i**3 + 2*i**2 + 4*i - 1. Let y be k(3). Suppose y - 8 = -3*j. Suppose -2*f + 4*f - 248 = 2*c, 5*f = -j*c + 599. Is f composite?
True
Let i = -13677 - -20678. Is i prime?
True
Let m be 11 - (3 - (6 + -3)). Let v(q) = 2*q**3 - 15*q**2 + 11*q + 24. Let b(k) = k**3 - 8*k**2 + 6*k + 12. Let n(u) = 7*b(u) - 3*v(u). Is n(m) composite?
True
Let q be (-2 + 32)*92/12. Suppose 1290 - q = 4*y. Is y composite?
True
Suppose -5*s - 1874 = 1196. Let j = s + 1093. Is j a composite number?
False
Let a(s) be the third derivative of s**6/120 + s**5/15 - 