 Suppose -3*v = 3*t - o, -2*v + 5*v + 87 = 3*t. Let c = 100 - t. Is c prime?
True
Let s = 2660 + 2073. Is s composite?
False
Suppose -229913 = -74*h + 344549. Is h a composite number?
True
Let u be ((-36)/(-84))/(2/14). Suppose 2*q - 776 = l, 4*q + u*l + 0*l = 1562. Is q prime?
True
Let l = 6 - 138. Let d = 295 + l. Is d prime?
True
Let k = -1383 - -2822. Is k prime?
True
Let d = 132 - 37. Suppose 5*q = 195 + d. Suppose 5*u + q - 663 = 0. Is u a prime number?
False
Let s(r) = -r**3 - 9*r**2 - 9*r + 18. Let x be s(-12). Let k = -355 + x. Is k a prime number?
False
Let z be (-7)/(-14)*(2 + -2). Suppose -4*k + 5 - 25 = z, 0 = -2*o - 3*k + 22771. Is o a prime number?
True
Suppose -2*r + 55819 = -2307. Is r composite?
False
Let f be 2/(-8) + (-177219)/(-12). Is 4/(-18) - (1 - f/36) a composite number?
False
Let p = -7 + 9. Suppose -5*z - 4*v - 3 = -v, 0 = -p*z + 2*v + 2. Suppose -4*j + 445 - 57 = z. Is j composite?
False
Let m(d) = -d**3 + 2*d**2 - 2*d - 6. Let y be m(3). Let o = y + 67. Is o composite?
True
Suppose 0 = 3*t + 5*d - 8, 0*t - 2*d = 3*t - 14. Let n be (-1)/4*t*-2. Suppose m + 2*h - 483 = -0*m, 0 = -n*m + 3*h + 1431. Is m a prime number?
True
Let t(h) = -h**3 + 3*h**2 + 6*h - 5. Let u be t(4). Suppose u = 5*g - 4*g. Suppose 0 = g*n - c - 2464, 5*n - 5*c - 4108 = -2*c. Is n a composite number?
False
Let o(m) = 11*m**3 + 28*m**2 + 29*m - 39. Let l(v) = -4*v**3 - 9*v**2 - 10*v + 13. Let b(r) = 8*l(r) + 3*o(r). Let y be 1/(1/(-11) - 0). Is b(y) a prime number?
True
Let h(n) be the first derivative of n**3/3 + 13*n**2/2 - 19*n - 2. Is h(9) a prime number?
True
Suppose -18*q = 164787 - 451761. Is q a prime number?
False
Let g be (-5896)/(-10) - 4/(-10). Suppose 5*c + 17 = -2*s, -2*s = -3*c - c - 28. Suppose -g + 26 = -s*k. Is k a prime number?
False
Is ((-3799)/4)/(21/(-84)) a composite number?
True
Let m(r) = 389*r + 4. Let t(o) = -2*o + 21. Let w be t(8). Is m(w) prime?
True
Suppose 3 = i - u + 2, 5*i - 1 = 4*u. Let d be i - (-322 + -4 - 2). Suppose 0 = 2*l - 2*k - 130, 5*l = k - 2*k + d. Is l prime?
False
Let g(c) = 66*c**2 + 21*c - 17. Is g(-12) a prime number?
False
Suppose 12377 = 4*a - 8667. Is a composite?
False
Let y = 7865 - -10640. Is y a composite number?
True
Let p(t) = t**3 + 10*t**2 - t - 30. Let q be p(-10). Let b(m) = 2*m**2 - 10*m - 5. Is b(q) prime?
False
Suppose -4*i + 0*b + 9 = -5*b, -3*b = -i - 3. Suppose -i*c = -n - c - 5, 2*c = 2. Suppose -d - d = -3*g - 409, 2*d - 5*g - 411 = n. Is d a composite number?
True
Suppose -114*m + 84 = -117*m. Let a be (-56)/(-2) + -2 + 0. Is (-1)/(1 + m/a) a composite number?
False
Suppose -n = 3*n - 188. Let s = -13 + n. Is s composite?
True
Let f = 31 + 193. Let m = f + -106. Is m prime?
False
Suppose 5*i + 316 = 2*l, -2*l + 0*l = -3*i - 192. Let u = 108 + i. Suppose 3*r - 47 - u = 0. Is r prime?
True
Let y = -134 - -293. Is y a composite number?
True
Let n(k) = 33*k**3 + 5*k - 1. Let r(j) = 100*j**3 - j**2 + 16*j - 2. Let b = -26 + 24. Let m(o) = b*r(o) + 7*n(o). Is m(2) prime?
False
Let i be 4772/(-6) - (-1)/3. Suppose 5935 = 4*p + 3*v, -16*p - 4*v - 5900 = -20*p. Let w = p + i. Is w prime?
False
Let d(f) = 8*f + 5. Let o be d(-6). Let m = 62 + o. Is m a composite number?
False
Let f = 13 + -10. Let c be 6/(f - 2) + -4. Suppose -51 = -c*d + 35. Is d prime?
True
Suppose 2*k + 1668 - 5006 = 0. Is k a composite number?
False
Suppose -5*v + 396 = -2*v. Suppose -v = -j + 29. Suppose -z = 4*x - 161, -2*z = -z + x - j. Is z composite?
True
Let b(z) = 8*z + 36. Let s be b(-4). Is (s - -905) + 2 + -4 a prime number?
True
Is (-503 - -12)/(2/(-10)) a composite number?
True
Suppose 2*s + 133841 = 3*a, 41217 = a + 3*s - 3404. Is a composite?
True
Let d(p) = 2*p**3 - 14*p**2 + 7*p - 8. Let y be d(11). Suppose s - 4 = 0, 2*z - s - y = -z. Is z a prime number?
True
Let j(d) = d**3 + 33*d**2 + 33*d + 26. Is j(-25) composite?
False
Let k = -1263 - -2546. Let m = -754 + k. Is m a composite number?
True
Let o(t) = -t**3 + 30*t**2 - 6*t - 18. Is o(13) a prime number?
True
Let n = 63 + -10. Suppose n*l - 211 = 52*l. Is l composite?
False
Suppose -47292 = -3*z + 3*f, 0 = 3*z + f + 2*f - 47310. Is z a composite number?
False
Let p(z) = 89*z**3 + 2*z. Let r be p(2). Is r - (-4 + 2/1) a composite number?
True
Let i = -4840 + 8226. Is i composite?
True
Let j(i) = 31*i**2 - 7*i + 25. Is j(9) prime?
True
Let p(k) = -66*k + 4. Let j(v) = 65*v - 4. Let a(i) = -5*j(i) - 6*p(i). Let u = 1492 + -1483. Is a(u) prime?
False
Let t = -25 - -27. Let i = -5 + 8. Suppose 4*h - i*j = 272, 122 = h + h + t*j. Is h composite?
True
Suppose 425416 = 60*n - 377324. Is n composite?
True
Suppose 52457 + 48383 = 40*w. Is w prime?
True
Suppose 3*v = d + 230412, 5*d + 1152038 = 3*v + v. Is (-8)/(-6)*d/(-88) a prime number?
True
Is ((-63)/27)/(7/(-12747)) composite?
True
Suppose -4*h + o + 24 = 0, -o = h + 3*h - 16. Suppose 2*v - h*x = -v + 55, 5*v - 25 = -5*x. Is v prime?
False
Let v = 78 + -75. Suppose 4*g = v*k + 64, -51 = -5*g - 2*k + 52. Is g prime?
True
Is (0 - 1)*(5503/(-1) + 2) a prime number?
True
Let q = 1211 + 710. Is q a prime number?
False
Is (10/4)/((-40)/(-96)) - -15333 a composite number?
True
Let m = 15 - 13. Let s be 1/3 + 70/15. Suppose -4*j + 1320 = m*o + 2*o, -3*o + s*j = -998. Is o a composite number?
False
Suppose 3*n = -2*n + 10. Let q(o) = 3*o**3 + 0*o**3 + 9*o**n - 2*o**3 - 1 - 4*o + o. Is q(-4) a composite number?
True
Let n(j) = -109*j + 5. Let s be 3 + (-2)/4*90/9. Is n(s) a prime number?
True
Let l(d) = -321*d**3 - d**2 - 9*d - 11. Is l(-2) a prime number?
False
Let x = 26033 + -738. Is x a prime number?
False
Suppose -2*m + 4*m - 8 = 0. Let q be 5/(1/4*m). Suppose q*s = -0 + 55. Is s prime?
True
Let g(n) = 672*n + 1. Let j(a) = -2*a + 15. Let t be j(7). Let i be g(t). Suppose -4*o + i = 21. Is o a prime number?
True
Suppose -4*c = -5*v - 108, -v + 3 = -1. Suppose 31*o = c*o - 146. Is o prime?
False
Suppose -z + 1643 + 17136 = -4*q, -4*z = -2*q - 75116. Is z prime?
False
Let g(p) = -6*p - 3*p - 1 - p**3 + p - 2*p**2. Is g(-6) a prime number?
True
Suppose -5*s - 2713 = -2*k - 2*s, -2*s - 5438 = -4*k. Is k composite?
False
Let m(r) = 60*r + 3. Let d be m(-3). Let y = -97 - d. Let s = y + 7. Is s prime?
False
Let k be (-3 + 0)/((-1)/(-2)). Is 7928/24 + 8/k a composite number?
True
Let l = 40 + -36. Suppose l*f = -4*g - 0*g + 1736, 0 = g - f - 428. Is g a composite number?
False
Suppose -8*i - 490 = -6*i. Let x = -66 - i. Is x a composite number?
False
Let n be (-6)/8 - (-3)/(-12) - 1. Let h = n - -891. Is h a composite number?
True
Let z be (-2 - (-1 - 2))*2. Suppose h - 1481 = -3*g + 3*h, 3*g - 1465 = -z*h. Is g prime?
True
Let t(j) = 32*j**2 - 7*j + 20. Let i be t(6). Let q = i - 801. Is q a prime number?
False
Let m be -17 - -6 - 3/1. Is (1 + (-5 - -2))/(m/7819) prime?
True
Let d(k) = 3*k - 19. Let v be d(9). Let r = v + -3. Suppose -r*t = -812 - 533. Is t composite?
False
Let g(a) be the first derivative of -113*a**2/2 - 5*a - 26. Is g(-4) composite?
True
Suppose -15*f = -14*f - 2199. Is f a prime number?
False
Let g(a) = 369*a**2 + 9*a - 1. Let h be g(4). Suppose -4*y - u + 4752 = -2*u, u = 5*y - h. Is y prime?
True
Let o(m) = -m - 3. Let i be o(-9). Suppose -i + 128 = 2*p. Suppose 4*y = 165 - p. Is y a prime number?
False
Let j(n) = 2*n**3 - 3*n + 1. Let m be j(2). Suppose 5*b + m = 4*f - 5, -8 = -2*f - 5*b. Suppose r + 2*d - 296 = -r, -f*r = 2*d - 594. Is r a composite number?
False
Suppose -3*o + 5561 + 21590 = 5*q, 2*o - 18098 = -4*q. Is o a composite number?
True
Let u be (29/3)/((-28)/(-3612)). Suppose c - 3*a = 629, -u + 4420 = 5*c - a. Is c prime?
False
Let t be ((-8)/6)/((-28)/63). Suppose -4*c + 636 = t*k - 548, k - 297 = -c. Is c a prime number?
True
Suppose -w = -3*w + 6. Suppose w*u = 424 + 2. Let o = 399 - u. Is o a composite number?
False
Let p(k) = -26 + 117*k + 16 + 88*k. Is p(9) prime?
False
Suppose 2*h = 3*z + 323, 3*h - 181 = -3*z + 296. Suppose -5*r + 1155 = -h. Is r composite?
False
Suppose 0 = -3*q - p + 4 + 10, 2*p + 4 = 2*q. Suppose q*x - 4470 = -0*c + c, -4*c - 2242 = -2*x. Is x a prime number?
True
Let d(w) = w**3 - 19*w**2 + 8*w - 25. Let p = 1267 - 877. Let g be 6/14 + p/21. Is d(g) composite?
False
Let u = -5669 - -8608. Is u a composite number?
False
Suppose 1720 = 5*f +