g + o. Let a = -91 - g. Is a a composite number?
False
Suppose -3*m = 2*s - 7251, -3*s = 3*m - 6173 - 1075. Is m a prime number?
False
Let q = -17 + 19. Suppose -q*d + 5326 = -4236. Suppose 0 = -2*w + 9*w - d. Is w a prime number?
True
Let g be -6*(4 - 9/3). Let a be 300*g/4 + 2. Let c = a - -999. Is c a prime number?
False
Let b = 6504 + -3323. Is b a prime number?
True
Suppose -42 = -5*f - 112. Let z be (f/(-8))/((-1)/(-24)). Suppose 0 = r - 3*x - z, -3*r + 10*x + 114 = 5*x. Is r composite?
True
Let t(x) = 467*x + 1. Let u be t(2). Let n = -50 + u. Suppose -5*j + 10*j - n = 0. Is j composite?
True
Suppose 3*y - 173457 = -3*j, 0 = -j + 2*j - 4*y - 57819. Is j a composite number?
True
Let u = 223 + -154. Is u composite?
True
Let u = 0 + -22. Let s = 22 + u. Suppose -4*g + s*g = -1556. Is g a prime number?
True
Let x(w) = w**2 + 4*w - 2. Let f be x(-5). Suppose 0 = 2*t + 2*t - 3*q - 266, -f*t + 4*q = -203. Is t a prime number?
False
Suppose 3*q - n = 47069, 3*q + 2*n - 14051 = 33012. Is q prime?
False
Suppose -34*t = -35*t + 33. Is t prime?
False
Suppose -10*n = -17*n + 23471. Is n a composite number?
True
Suppose -4*u + 8 = 3*v, -3*u + 26 = -u - 4*v. Suppose 5*g = 3*y + 595, -u*y - 93 - 264 = -3*g. Let s = g + -61. Is s a prime number?
False
Suppose -34*r + 1723 + 2833 = 0. Is r a prime number?
False
Suppose 3*w - 2 = -11. Let v be (2/w)/(6/(-81)). Suppose -6*g + v*g = 582. Is g composite?
True
Suppose j - 284 = -3*s + 215, -5*j + 2427 = -2*s. Let l(m) = 4*m**3 + m**2 + 4*m - 6. Let x be l(4). Let h = j - x. Is h a composite number?
True
Let k be (0/4)/(-1 - 1). Suppose k = -0*p + 6*p - 834. Is p a prime number?
True
Let v(f) = f**3 + 31. Let d be v(0). Let o = d + -21. Let j(p) = 2*p**2 - 11*p - 1. Is j(o) a prime number?
True
Let g = 566 - 228. Let q(i) = -28*i - 11. Let h be q(-4). Let r = g - h. Is r a prime number?
False
Is -4 + 114/27 + 83894/18 a prime number?
False
Suppose 0*j + 2*j - 6 = 0. Let a be (-2)/j + (-16)/(-6). Is ((-267)/6)/((-1)/a) composite?
False
Let b = 25354 - 7553. Is b a prime number?
False
Let r be (0 - 4)*(8824/16 - -2). Let o = 3905 + r. Is o a prime number?
False
Let y(f) = 1126*f**2 - f - 18. Is y(-3) composite?
True
Suppose -17512 - 44252 = -12*j. Is j composite?
False
Suppose 2*s = -2*p - 30 + 232, 0 = -2*s - 6. Let q be (-87)/2*p/(-6). Suppose -a = a - q. Is a prime?
False
Let g = 25 + -11. Let j = 15 - g. Suppose 0 = -4*a - 5*u + 3*u + 20, -j = a + 2*u. Is a a composite number?
False
Let f(r) = r**3 + r**2 + 20*r. Let p be f(10). Let m = 1883 - p. Is m prime?
False
Let q(j) = 629*j**2 + 3*j + 5. Is q(-1) prime?
True
Suppose 0 = -2*x - 3*x + 10. Suppose -d + j + 1 = -j, -x*j = -4. Suppose d*b - 24 - 101 = 0. Is b prime?
False
Let g = 60 - 63. Is (4/g)/(-2) + (-22754)/(-6) a composite number?
False
Let k = -7563 + 11726. Is k composite?
True
Suppose -t = -9*t + 16. Suppose -3*l - t*c + 529 = -7*c, 5*c = -5*l + 935. Is l prime?
False
Suppose -2*j + 2 = -4. Let q = -1 - j. Is (-18)/(-27)*(-402)/q prime?
True
Let j(r) = 3*r. Let o be j(-1). Let h = -8 - o. Let q(k) = -k**3 - 3*k**2 + 5*k + 6. Is q(h) a composite number?
False
Let v(o) = o - 7. Let n be v(15). Suppose -3*q = -n*q + 10. Suppose 0 = r - 4, 67 = -3*h - q*r + 3108. Is h composite?
True
Suppose 10 = -4*z + 30. Suppose -4*g + 7320 = -z*w, 2*g + 4*w - 1590 = 2096. Is g prime?
False
Suppose -1855 = -220*a + 215*a. Is a composite?
True
Let a be -2 - -6 - 186 - -4. Let t = 309 + a. Is t a prime number?
True
Let w(g) = -g**3 - 11*g**2 - 14*g - 16. Let l be w(-10). Let b = l - 20. Suppose 3*c + b*o = 2867, 2*c + 3810 = 6*c - o. Is c a composite number?
False
Suppose u + 23 = -5*v + 4, -4*u + 16 = -3*v. Is (1314 + v - 4)*1 a composite number?
True
Let y = 5781 - -2996. Is y composite?
True
Let p(x) be the first derivative of 88*x**3/3 + x**2 - x - 6. Is p(1) prime?
True
Let g = 55715 + -26872. Is g a prime number?
True
Suppose 0 = -4*k - 4*a + 1036, -k + 7*a - 4*a + 247 = 0. Suppose -4*s + r + 284 = -50, -k = -3*s - 2*r. Suppose -v = -s + 7. Is v a prime number?
False
Suppose 5*a - 4*a = -26. Let r = 27 - a. Suppose r = q + 3*h - h, 3*q = h + 159. Is q a prime number?
True
Let y = -8437 - -21654. Is y a composite number?
False
Let f(j) = -2*j**2 + 19*j - 21. Let t be f(17). Let o = 786 + t. Let b = 1096 - o. Is b a composite number?
True
Suppose 0 = 6*h + 20 - 50. Suppose -2208 = -4*p + n - 0*n, h*p + n - 2751 = 0. Is p prime?
False
Suppose -18*c + 27220 = -14*c. Is c a composite number?
True
Let k be (4/(-6))/((-6)/(-27)). Let f be (-1 - k)*3/2. Suppose 0 = -l - 4*l - f*q + 277, 2*l = -4*q + 122. Is l composite?
False
Suppose 44*q + 1524 = 9752. Is q a prime number?
False
Let d be 4/(-6) + 10/15. Suppose d = j - 2*t - 1355, -3*j - 5*t + 3424 = -586. Is j composite?
True
Suppose 3*c + 99 = 4*o, o - 5*o - c + 79 = 0. Let d(q) = -q**3 + 21*q**2 + 32*q - 31. Is d(o) prime?
True
Suppose -2*v = -5*d + 20, -2*d - 4*v - 22 = -3*d. Suppose 0 = -g - 0*o - 4*o + 267, -5*g = -d*o - 1247. Is g a prime number?
True
Let r = 84519 - 50828. Is r a composite number?
True
Suppose 5*t + z = 3*t + 38530, 4*z + 38510 = 2*t. Is t a composite number?
True
Suppose 5*w + 517 + 441 = -2*a, a + 479 = 2*w. Let r = 1112 + a. Is r a composite number?
True
Let v(d) be the third derivative of 179/24*d**4 - 7*d**2 + 0*d**3 + 0 + 0*d. Is v(1) prime?
True
Is (337768/20)/(1 + (-6)/10) a composite number?
False
Suppose 0 = 2*x - 2978 - 21594. Is x a composite number?
True
Let y(d) = -88*d + 14. Suppose -5*w - 19 = -4*a, 3*a = -w - 2*w - 33. Let i be y(w). Let s = i - 445. Is s composite?
True
Suppose -33*y + 3010840 = 7*y. Is y a composite number?
True
Let p(w) = w**3 - 7*w**2 + 9*w + 11. Let c be p(5). Suppose -4*f - 72 = -4*x - c*f, 2*x - 30 = -4*f. Is x composite?
False
Let h(s) = -94*s - 3. Let d(w) = 188*w + 6. Let y(f) = -2*d(f) - 5*h(f). Is y(1) prime?
True
Suppose 0 = -3*u + 6*u - 2*u. Suppose -3*i - 2*i = -4*r + 1309, 2*i - 6 = u. Is r prime?
True
Suppose -119*i = -3*x - 118*i + 88653, -4*x + i + 118204 = 0. Is x a prime number?
False
Let i(k) = -9*k**3 - k + 5. Suppose j + 12 = 3*a, a + 12 = -6*j + j. Is i(j) composite?
False
Let a(f) = 861*f - 349. Is a(20) prime?
True
Suppose -4*w = 4*z, -2*z - 1 = 5*w + 11. Let l be (z - 1) + 38 + 1. Let f = l + -5. Is f composite?
False
Let z(q) = q + 7. Let m be z(-3). Suppose -2*x - m*d = -x - 16, 2*x = 2*d - 8. Suppose -4*u + 9*u - 635 = x. Is u prime?
True
Let w(b) = 45*b**2 + 19*b - 37. Is w(-15) a prime number?
True
Suppose 0*c - 9 = -3*c. Suppose 3*t = -6 + c. Is (t/(-2))/((-2)/(-1172)) prime?
True
Let i = -28 - -7. Let c be (2 - i/(-9))*-27. Suppose -c*t - 476 = -13*t. Is t a composite number?
True
Let y = 27 + -33. Is (y/4)/((-12)/5528) a prime number?
True
Let d be 176/(-22)*2/(-8). Suppose d*p + 2*k - 1039 = -p, 5*p + 3*k - 1732 = 0. Is p a prime number?
True
Let o = -10618 + 35985. Is o a composite number?
False
Let n(o) = -o**3 - 6*o**2 + 10*o - 1. Suppose q - 10 = 5. Suppose 0 = y + 4, -3*c - q = -3*y - 3. Is n(c) a prime number?
True
Is (-535068)/(-9) - (21 - 8) a composite number?
True
Suppose -5*t + 4841 + 1078 = -2*b, 5*t = -4*b + 5907. Suppose 5*l + 3*c - 550 = 1420, 3*l + 2*c - t = 0. Is l composite?
True
Is (-125)/100 + (-23763)/(-12) composite?
False
Let i = -6 + 9. Suppose 5*d - c - 1043 = -3*c, -i*d - 5*c + 622 = 0. Is d prime?
False
Suppose -5*g + g = 2*b - 52, 0 = -b - 4*g + 34. Suppose 4*r + v + 0*v = 28, r = -3*v + b. Let k(u) = -u**3 + 8*u**2 + 6*u + 1. Is k(r) prime?
True
Let v = -440 - -194. Suppose -2*n + 2965 = 3*n + 3*f, -4*f = 0. Let d = n + v. Is d a composite number?
False
Suppose -12*r + 6*r + 106482 = 0. Is r a prime number?
True
Suppose 0*a + 2*a + 3*j = 3, -4*a - 5*j = -5. Suppose 8*u - 368 - 16 = a. Let r = 127 - u. Is r a prime number?
True
Let j = 45064 + -21263. Is j prime?
True
Let j(g) = -g - 8. Let q be j(-22). Is q/(2/(-65)*-5) prime?
False
Let o = 692 + -401. Is o a prime number?
False
Suppose -1941*f - 3068 = -1945*f. Is f composite?
True
Let k(a) = -a**2 - 4*a + 5. Let j be k(-5). Suppose 3*f + 0 - 6 = j. Suppose 0 = w + f*w - 102. Is w composite?
True
Let w be 1*(-9)/15*-5. Suppose 0 = w*j + 4*f - 2737, f = -4*j - f + 3636. Is j a prime number?
True
Suppose 11 + 19 = 5*x. Let p be 2/(-8) + 171