 b, 0 = -2*o - 3*x - 21 + 944. Is o a composite number?
True
Let a(u) = 6*u - 15. Let r be a(-7). Let t = r + 166. Is t a composite number?
False
Is 40/(-80) - 2555/(-2) a prime number?
True
Let x be (-18)/2*(-6 + 129). Is (3 + 2)*x/(-45) composite?
True
Let r(z) = 7*z**3 - 20*z**2 + 20*z + 28. Is r(13) prime?
False
Suppose 0*w = 4*r - 3*w - 14, -w + 17 = 3*r. Suppose 17102 - 1707 = r*h. Is h a prime number?
True
Let d(p) = -14*p**3 - 2*p**2 + 5*p + 8. Let y(o) = -15*o**3 - 3*o**2 + 5*o + 8. Let m(h) = 2*d(h) - 3*y(h). Is m(5) a prime number?
False
Suppose 0 = -3*v + 1 + 2, -q + 43 = -v. Let b be q/(-3) - 5/15. Is (-507)/(-4) - b/60 prime?
True
Let y be -1 - (-10)/(1 + 1). Let z be (-2)/(y - 21/6). Is (58/z)/((-6)/132) prime?
False
Suppose 0 = 10*d - 4*d - 18. Let f(x) = 41*x**3 - 4*x**2 - 4*x + 20. Is f(d) composite?
True
Suppose 0 = 14*o + 228 + 66. Let s(u) = -u - 1. Let q be s(-2). Let a = q - o. Is a a prime number?
False
Let p(y) = 187*y**3 + 6*y**2 + 6*y + 6. Let q(l) = -186*l**3 - 7*l**2 - 7*l - 7. Let g(s) = -6*p(s) - 5*q(s). Is g(-1) a composite number?
False
Suppose 12*y - 11*y - 1915 = 0. Is y a prime number?
False
Let k(h) = 58*h - 25. Suppose -4*w = -16, 6*y - 3*y = -2*w + 26. Is k(y) a composite number?
True
Suppose p + 1057 = 2*v + 4070, 5*v - 12052 = -4*p. Is p a prime number?
False
Suppose 3*f = -i + 13 - 4, -5*i + 5*f = 15. Suppose i = -3*w + 8*w - 6385. Is w a prime number?
True
Is (-4 - (-8)/2) + 0 + 371 prime?
False
Let s = 143 - 140. Suppose 4*y - 7 = 1. Suppose -s*h + 381 = -y*h. Is h a composite number?
True
Let b = -20216 - -28879. Is b a composite number?
False
Suppose 0 = -8*d + 12*d + 8. Is 1/(6174/3086 + d) composite?
False
Suppose -b - 6 = -4*b. Suppose -5*q + b*q = 6. Let k(j) = -18*j + 1. Is k(q) a composite number?
False
Let a(w) = -w**2 + 4*w + 1. Let d be a(8). Let y = 386 - d. Is y prime?
False
Let p(g) = -481*g**3 - 2*g - 9. Let d(o) = 241*o**3 + o + 5. Let n(y) = 5*d(y) + 3*p(y). Is n(-1) composite?
True
Suppose 5*u - 1 = 39. Is (3 - 28/u)*-422 composite?
False
Suppose -4*g + 1849 + 635 = 0. Suppose -3000 = -l - 2*l. Let y = l - g. Is y prime?
True
Let s be 1/(2*(-2)/28). Let g(q) = q**3 + 8*q**2 - 5*q + 7. Let l be g(s). Is 2/(-1) + l + 2 prime?
False
Suppose -5*r = 4*q - 308887, 3*q = -37*r + 36*r + 231657. Is q prime?
False
Let x be (-4)/18 - 885/27. Let c = 26 + x. Let o(d) = -46*d - 20. Is o(c) composite?
True
Suppose -16284 = -6*s + 5598. Is s a composite number?
True
Let m(b) be the first derivative of -2/3*b**3 + 0*b - 8 - 78*b**4 - 1/2*b**2. Is m(-1) composite?
False
Let x(u) = -3*u**2 - 4. Let n(t) = 2*t**2 + 3. Let z(s) = 4*n(s) + 3*x(s). Let k(d) = 2*d**2 - 10*d - 3. Let c(w) = -k(w) - 4*z(w). Is c(8) composite?
False
Suppose -f + 3*f - 112 = -3*c, -3*c = f - 110. Suppose -4*t + j - c = -13, -t + 2*j = 4. Is (-276)/(-8)*t/(-9) a prime number?
True
Suppose 11*t - 10*t = 2213. Is t a prime number?
True
Let i(w) = 7608*w**2 - 3*w - 2. Is i(-1) prime?
False
Suppose -5*l - 5*r + 4*r = -263914, -l + 4*r = -52787. Is l composite?
False
Let f = 43 - 31. Let n(j) = j**3 - 13*j**2 + 12*j + 3. Let h be n(f). Suppose 4*d = -2*p - 0 + 174, h*d - 91 = -p. Is p composite?
False
Let t be 25*(12/(-16) - 37/4). Is 0 + (1 + 2 - t) prime?
False
Let x = -432 + 56. Let u = 707 + x. Is u a prime number?
True
Suppose -3*l + 1 + 2 = 0. Let w be (l + 1)*2313/6. Is 2 + (0 - w/(-3)) prime?
False
Let u(j) = -1014*j + 7. Is u(-5) a composite number?
False
Let p = -180 - -546. Suppose -p = -d + 4*z + 665, 0 = 2*d - 2*z - 2086. Is d composite?
True
Suppose 3*f - 4*u - 8218 = -2351, 2*f = -u + 3926. Is f a prime number?
False
Suppose 5*s - 80 = 5*l, l - 3*s + 4 = -14. Let a(w) = w**3 + 18*w**2 - 22*w + 4. Is a(l) prime?
True
Let o(p) = 6*p + 9. Let y = -37 - -50. Is o(y) prime?
False
Let o = -25 - -47. Suppose 5*l = 9*l - 852. Let f = l - o. Is f prime?
True
Suppose -8*c + 6*c + 2*m - 4 = 0, -c + 18 = 3*m. Suppose 3*l - 95 = -u, 0 = 4*u - c*l - 0*l - 380. Is u prime?
False
Let i(t) = 1089*t + 29. Is i(8) composite?
False
Suppose -4*a + h + 13253 = 0, 9*a - 16576 = 4*a - 2*h. Is a a composite number?
True
Let l(h) = 30*h - 16. Let m be l(-9). Let a = m + -281. Let r = a - -974. Is r a composite number?
True
Let w = -1 + 5. Suppose 0 = -5*u + 76 + w. Suppose 2*l = u + 102. Is l a prime number?
True
Suppose 2*s + 3*s + 1440 = 0. Let i = -85 - s. Is i prime?
False
Let b = -92 + 96. Is 3 - 10/b - (-11268)/8 a prime number?
True
Suppose -1993 = -3*f - 226. Suppose -2*q - 4*k = -634, -2*q - 4*k + f = -9*k. Is q composite?
False
Let b be 1/(1069/(-3766) + (-22)/(-77)). Suppose -g + 2 = g + o, -o = 5*g - 11. Suppose 4*l = 4*u + 1076, 0*u = 2*l + g*u - b. Is l a prime number?
True
Let d = 12336 + -4259. Is d a composite number?
True
Let l = 5511 + -3190. Is l a prime number?
False
Suppose 3*r + 87 = -3*w - 0*w, -3*r - 4*w - 85 = 0. Let l = -12 - r. Suppose 17*f + 1502 = l*f. Is f a prime number?
True
Suppose -3*w + 4*c + 9 = 0, -c - 12 + 5 = 4*w. Suppose 3*b - 19 + 19 = 0. Is (2 - -371)*(b - w) composite?
False
Suppose 0 = -4*b + q + 15863, -2*b + 3*q + 2*q + 7909 = 0. Is b prime?
True
Let w(y) = 11*y**2 + y. Let i be w(-1). Let t = 10 - i. Is (5 - -404) + t/2 a prime number?
True
Suppose 0 = -35*x + 1191431 - 369036. Is x a prime number?
True
Let r be ((-7)/(-2))/(1/2). Suppose -4*w = -233 - 247. Let s = w + r. Is s a prime number?
True
Let x = -77035 + 108992. Is x prime?
True
Is -2 - (-12669 + -2 + -8) prime?
False
Suppose -2*u = 4, 0*r - 3*r - 3*u = -9. Suppose -r*x = -1098 - 637. Is x a composite number?
False
Suppose 2*a = -2*a + 4, -5*a = 2*k - 104727. Is k prime?
True
Is 6*191*(8 + 105/(-14)) composite?
True
Let t = 8 - 12. Let f = t + 9. Suppose f*y + 110 = 595. Is y prime?
True
Suppose 0 = 3*y + 2*y - 5*l - 13620, 8154 = 3*y + 3*l. Is y composite?
True
Suppose -3*l - 1 + 10 = 0. Is (-11 + 7)/(4/(-10)) + l prime?
True
Suppose -i + 3*q + 9818 = 0, 39244 = 4*i - 18*q + 13*q. Is i a prime number?
False
Suppose -659 = 4*a - 79. Let x(b) = 14*b - 182. Let w be x(9). Let k = w - a. Is k a composite number?
False
Let o = 3 - 9. Let n = -9 - o. Is 1*(n - 5*-32) a prime number?
True
Let q be (-11814)/10 - 8/(-20). Let y = q + 1878. Let j = -278 + y. Is j prime?
True
Let b(g) be the first derivative of -g**4/4 - g**3/3 - g**2 + 489*g + 14. Is b(0) a composite number?
True
Suppose -2250 = 16*s - 191866. Is s a composite number?
True
Let p(t) = -3*t - 551. Let s(o) = 2*o + 275. Let h(l) = -3*p(l) - 5*s(l). Let m be h(0). Suppose -101 + m = 3*q. Is q composite?
False
Suppose -5*v + 3*v = 0. Suppose 3*j - 5*f + 422 = v, -3*j - 414 = 2*f + f. Let c = 206 + j. Is c composite?
False
Let o be (15/(-25))/((-2)/20*2). Is o/(-15) - 4432/(-10) a prime number?
True
Let v be ((-24)/6)/((24/9)/(-2)). Suppose 3*o - 1646 = -5*m, o = v*m - 8*m + 1652. Is m prime?
True
Suppose 89*w - 91*w + 3438 = 0. Suppose -g + w = 8*g. Is g a prime number?
True
Suppose -3*c - 3*s + 2016 = 0, -14 + 2702 = 4*c + s. Let u = 1321 - c. Is u a composite number?
True
Let n(t) = -t**3 + 5*t**2 - 2*t - 3. Let h be n(4). Let u = 22 - 20. Suppose -h*v + 2*w = -219 - 438, -8 = -u*w. Is v a prime number?
False
Is (19327 - -15)*(-1)/(-2) a prime number?
False
Suppose -6*o = 22*o - 1071308. Is o a prime number?
True
Let l(r) = r**3 + 12*r**2 + 12. Let j be l(-12). Let f be (-16)/j*(-123)/2. Let h = f - 48. Is h prime?
False
Suppose q = j - 5*j + 23922, -3*j - 4*q = -17935. Is j composite?
False
Let q(t) = 66*t - 7. Let n be (-7)/(-4) + 6/24. Suppose z + i + n = 2*i, 0 = 3*z + 4*i - 29. Is q(z) a prime number?
True
Let v(i) = 8163*i + 18. Let u be v(8). Let k be u/(-45) + 4/(-10). Let f = -565 - k. Is f a prime number?
True
Suppose -6 = 4*h + 5*v, 3*v = 5*h - v - 13. Let k be -2 - (158/h - 2). Is k*(9/2)/(-9) prime?
True
Let f(j) = 43*j**2 - 3 + 2 + 8*j + 3*j**2 + 6. Is f(-3) prime?
False
Let t = 51 + 78. Let y = 276 - t. Suppose -5*l + 4*m = -207, -3*l - 22 = -2*m - y. Is l a composite number?
False
Suppose -5*j = 5*u + 1076 + 164, -3*u = 15. Let r = -146 - j. Is r a prime number?
True
Let t be 1 + 2 + 39/(-3). Let o = t + 15. Suppose -o*w = 796 - 2571. Is w composite?
True
Suppose -r + 2*r = 2. Suppose 0 = r*n - 134 - 996. Is n a prime number?
False
Let w be (-14)/(3 - (-3 + 5)