+ 2116/t composite?
False
Let k(j) = -112*j + 1. Let w = 19 + -10. Let q = -10 + w. Is k(q) prime?
True
Let h(q) = 7*q**2 - 14*q - 27. Is h(-14) composite?
True
Let n(o) = -29*o + 20. Is n(-7) prime?
True
Suppose -p + 72 = -601. Is p a composite number?
False
Let j(q) = -q**3 + 41*q**2 - 40*q - 9. Is j(17) prime?
True
Let h(z) be the first derivative of 13/3*z**3 + 6 + 2*z + z**2. Is h(-1) prime?
True
Suppose 7*l = 4*l. Suppose x - 3*x + 6 = l. Suppose 4*y = -0*y - 2*z + 2940, y + x*z = 725. Is y a composite number?
True
Let h be (-3)/(((-9)/(-12))/1). Let m be (h*(-3)/(-3))/(-1). Suppose z - 64 = -m*c - 6, 4*c = -3*z + 54. Is c a prime number?
False
Let f = -205 - -456. Is f a composite number?
False
Suppose h = -4*h. Suppose h = -4*j + 8. Is 1/j - (-146)/4 prime?
True
Let r = -5 - -7. Let f = 0 + 3. Is f + (-294)/(-1) + r a composite number?
True
Suppose h - 21 = -g - 2*h, -5*g + h + 25 = 0. Suppose -k + 763 = g*k. Is k a prime number?
True
Suppose -i + 6*i = 1015. Let r = -88 + i. Is r a prime number?
False
Let o(g) = -12*g**3 + 4*g + 3. Let u be o(-2). Is (-6)/54 + u/9 a composite number?
True
Let p(n) = n**3 - 17*n**2 + n - 14. Let u be p(17). Let t(d) = d**2 + u + d**2 + 1 + 10*d - 3. Is t(10) a prime number?
False
Suppose 0*f = -5*f. Let h(g) = -3*g + 191. Is h(f) composite?
False
Let i = -31748 + 45247. Is i composite?
False
Let x be ((-36)/(-60))/((-2)/10). Is 0/x + 2685 - 4 composite?
True
Suppose f + 5327 - 32201 = 0. Is f/27 + (-2)/6 prime?
False
Let z(i) = 1982*i**3 + 8*i**2 + 7*i - 6. Let o(b) = -1981*b**3 - 7*b**2 - 6*b + 5. Let p(n) = 7*o(n) + 6*z(n). Is p(-1) a prime number?
True
Suppose 3*h = 5*q - 13592, 0 = 39*q - 43*q + 5*h + 10871. Is q prime?
True
Suppose -1440 = -11*b - 4*b. Is ((-32)/b)/((-1)/237) a composite number?
False
Let u = 351 + -362. Let s(x) = x**3 + x**2 - x - 14. Let t be s(0). Let m = u - t. Is m a prime number?
True
Let l = 1129 - -8110. Is l composite?
False
Let q = -32 + 34. Suppose u + 4*t + 0*t + 2 = 0, 5*u - 3*t - 36 = 0. Suppose u = q*p - 652. Is p prime?
False
Is (-10 - (-180)/24)*(-219628)/10 a prime number?
True
Suppose 71 - 280 = -z. Suppose 3*j + 2*t - 286 = -j, 3*j - 4*t = z. Is j a prime number?
True
Suppose 0 = -5*d - j + 22, 7*j - 2*j = 10. Suppose -2*o + d = -26. Is 2424/5 - (-3)/o a composite number?
True
Suppose 0 = -v - 5*f + 733 + 598, 6795 = 5*v - 3*f. Let r = v + -605. Is r a composite number?
False
Suppose -4164 = -3*h - 3*y, 4*y = 3*h - 3007 - 1171. Let u = h + -2772. Is 2/(-12) + u/(-12) prime?
False
Let h(l) = -336*l - 13. Let r(m) = -1009*m - 38. Let f(n) = 11*h(n) - 4*r(n). Is f(5) composite?
False
Let j(l) = 8*l**2 - 2*l + 3. Let g be j(2). Suppose -7*s = -8*s + g. Is s a composite number?
False
Suppose -3*c + 5*c + 4 = 0. Is 3/(-3)*(326 + 0)/c prime?
True
Let u(x) = x**2 - 3*x + 5. Let t be u(1). Suppose -w + 2119 = -4*k - 674, 2*k = t*w - 8369. Is w a composite number?
False
Let p(a) = a**3 - 5*a**2 + 4*a + 4. Let l be p(4). Suppose 485 + 160 = 3*z - l*m, 5*z + 5*m = 1040. Is z a composite number?
False
Let s = 20 - 15. Suppose -3*n + 4*o = s, n + o - 10 = -0*n. Suppose -725 = -n*z - 5*l, -5*z + 4*l = -0*l - 734. Is z composite?
True
Let w = 4041 - -2906. Is w prime?
True
Let v(d) = -51*d**3 + 2*d**2 - 2*d - 2. Let t be v(2). Let k = 269 + t. Let l = -10 - k. Is l composite?
False
Suppose -5*f - 29*a + 19085 = -24*a, -2*a - 3829 = -f. Is f a composite number?
False
Suppose -7*d = -4*d - 48. Let z = d + -14. Suppose z*h = 2*t + 256, 0 = -0*h - 3*h + 4*t + 381. Is h a prime number?
True
Let d = -564 - -1028. Let w = d + 1689. Is w a composite number?
False
Let i = 881 + 60. Is i a prime number?
True
Let p = -351 + 798. Is p prime?
False
Suppose -198*z = -187*z - 50259. Is z prime?
False
Let s(f) = 71*f**2 - 2*f + 2. Suppose 6 = o - 3*j - 0*j, 0 = -4*o + 4*j. Is s(o) a composite number?
False
Suppose -8*v = -853 + 181. Suppose v = 4*j - 72. Is j a composite number?
True
Is (-12)/(36/(-102693)) - 0 a composite number?
False
Let q(b) = 2*b + 12. Let f be q(-9). Let d be f/16*-4*126. Let s = -66 + d. Is s a prime number?
False
Let g(o) = -9*o + 10. Let j be g(-5). Let b be 22/j - (-13)/5. Is ((-1282)/b)/(8/(-12)) prime?
True
Let t(f) = f**3 - 8*f**2 - 7*f + 6. Suppose 11 - 56 = -5*g. Let c be t(g). Let s = c + -13. Is s prime?
True
Suppose -2*d = 2*s - 0*d - 2090, -4*s + 2*d = -4168. Is s a composite number?
True
Suppose 3 = 3*l, -3*z + 4*l + 821 = -1548. Let m = -517 + z. Suppose -3*o = m - 1105. Is o prime?
True
Let h(a) = 24*a**2 - 49*a - 5. Is h(-18) prime?
False
Let a(i) = i**2 + i - 7. Let b be (-1)/4 - (-53)/4. Let s = b + -23. Is a(s) prime?
True
Let d(x) = 0 - 7*x + 6 + x. Let s be d(5). Is (-4)/(s/21)*2 prime?
True
Let t = 678 - -29. Is t a composite number?
True
Suppose 0 = -5*a + 4*z - z + 57865, 5*a + 3*z - 57835 = 0. Suppose 9*r = 19*r - a. Is r composite?
True
Let f be (4 + -7 - 0) + 6. Is -4*f/4*1382/(-6) composite?
False
Let s = -7 + 11. Suppose -10 = -2*f, -2*d + 3*f + 0*f + 199 = 0. Suppose x - s*j - d = j, -x - j = -83. Is x composite?
True
Let z(c) = -c**2 + c + 5. Let q be z(0). Suppose 3*f - 889 = -q*d, 4*d + 1216 = 5*f - 241. Is f composite?
False
Suppose 19*y - 88424 = 24417. Is y composite?
False
Let z(b) = -2*b**2 - 2. Let q be z(-2). Let r(g) = g**3 + 10*g**2 - g + 4. Let c be r(q). Let y(s) = s**3 - 13*s**2 + 9*s + 19. Is y(c) composite?
True
Suppose -786*s = -778*s - 119216. Is s prime?
False
Suppose 3*p - 3 = 9. Let j = p - 5. Is ((-889)/14)/(j/6) composite?
True
Let b(t) = -268*t**2 - 2*t + 1. Let w be b(1). Suppose -1227 - 2543 = -5*l. Let n = w + l. Is n composite?
True
Let w = 5277 + -3166. Is w a prime number?
True
Suppose -n = -2*y - 34, y + 16 = -2*n + 3*n. Let s = y - -34. Let x = s - -39. Is x composite?
True
Suppose b + 168301 = 4*s + 20413, -5*b - 110899 = -3*s. Is s a composite number?
False
Let w = 88 + -82. Suppose 0 = -w*o + 1450 + 368. Is o composite?
True
Suppose -o - 3*o = -6428. Suppose 3*r + 4*f = o, -5*f = -f + 16. Is r prime?
True
Suppose 5*s - 10055 = p, 0 = 2*s + 4*p - 0*p - 4044. Suppose s = 4*t - 1568. Is t a composite number?
True
Suppose 4*j + w + 47 = 0, 10 + 4 = -3*j - 5*w. Let g = j + 16. Suppose 0 = -u - g*u + 356. Is u a prime number?
True
Let p be (-12)/16 - ((-45)/12 + 3). Let i(b) = -b**2 - 6*b + 1583. Is i(p) composite?
False
Let j be 112/24 + 2/6. Suppose -8359 = -j*u - 1974. Is u a composite number?
False
Is (-42165)/(-11) - 28/154 a composite number?
False
Let t = -189 + 194. Let i be 18/4 + (-1)/(-2). Suppose i*w + 905 = 4*k + 238, -3*k + t*w + 504 = 0. Is k composite?
False
Is (12/(-4) - -6631)/2 composite?
True
Let r(o) = 35*o**3 - 2*o**2 - 5*o + 31. Is r(5) a composite number?
True
Suppose -2*l = j - 3*j + 1342, -4*j + 2705 = 3*l. Let m = 1515 - j. Is m a composite number?
True
Let k be 184/24 - 4/(-3). Let u(l) = l**3 - 4*l**2 + 6*l + 26. Is u(k) a prime number?
False
Suppose -5*u - 12 = -c, 2*c + 8 = -3*u - 7. Let v be 1 - 284/(-12)*c. Let x = v + 104. Is x a composite number?
True
Suppose 2*p - 893 = 243. Suppose -u - 2*a - 194 = -485, -2*u = -3*a - p. Is u a composite number?
True
Suppose 0 = 16*f + 2088 - 17944. Is f a composite number?
False
Let c = -4276 + 8845. Is c a prime number?
False
Let p(t) = -t**3 + 2*t**2 + 6*t + 2333. Is p(0) prime?
True
Let k(c) = -c**3 - 12*c**2 + 12*c - 9. Let g be k(-13). Suppose g*d - 2*j = -0*j - 1838, -d + 5*j = 473. Let u = d + 643. Is u a composite number?
True
Let m be -1 - (1 + -2 + -4). Suppose -8 = 4*d, -m*u - d - d + 7792 = 0. Is u composite?
False
Let q(b) = 4*b**2 + 26*b + 15. Let i be q(-9). Suppose l - u - 292 = 5*l, -3*l - 5*u - 236 = 0. Let j = i + l. Is j composite?
True
Let n = -59 - 1502. Let p = n - -2223. Is p composite?
True
Suppose 0 = -2*z + 2*m + 4570, 3*z + 4*m = -0*m + 6876. Suppose -5743 = -5*j - z. Is j a composite number?
False
Let a(u) = -211*u + 134. Is a(-15) prime?
True
Is 1*-2*147887/(-82) a composite number?
False
Suppose 3*l + l = -a + 29, 4*l - 38 = -2*a. Let i = a - 8. Is (0 - i)/(5/(-655)) a composite number?
False
Suppose 8*j - 265 = 3*j. Suppose j - 2 = v. Suppose 3*z - v = 2*z. Is z a composite number?
True
Let s(l) be the second derivative of l**8/6720 - l**7/1260 - l**6/720 - l**5/40 + l**4/3 - 2*l. Let n(h) be the third