20/(-8))*2 prime?
True
Let o = -20 - -24. Suppose 0 = -f + 5*f - o*n - 32804, 0 = -f - 2*n + 8201. Is f/9 - (-2)/(-9) a composite number?
False
Let r = 3 - -550. Is r a composite number?
True
Let b(g) = -g**3 - 8*g**2 - g - 6. Let i be b(-8). Suppose -i*p = 2*x - 10, 4*x - 23 = -3*p - 6. Suppose -r - 231 = -3*v + p*r, 0 = -5*r. Is v a prime number?
False
Let h be (20/12)/(2/6). Suppose 4*g + h*f - 529 + 144 = 0, -281 = -3*g + 4*f. Suppose -3*v = -g - 286. Is v a composite number?
False
Suppose -2*x - x + 15 = 0. Let d be (-69)/(-15) + (-96)/60. Suppose x*z - 614 = d*z. Is z composite?
False
Let q = -1094 + 666. Let h = -223 - q. Is h a composite number?
True
Let h = -1216 + 1849. Is h a prime number?
False
Let p(h) = h**3 - 4*h**2 - 5*h + 3. Let f be p(5). Suppose -f*v = -4*v. Suppose -x = 4*z - 6*x - 104, -2*z + 5*x + 62 = v. Is z a composite number?
True
Suppose r + 3*r - 24 = 0. Suppose -r*j + 8*j + 8 = 0. Is 4 - (-5 - (j - -2)) a prime number?
True
Let r(b) = 75*b**2 - 17*b - 36. Is r(5) a prime number?
False
Is ((-6)/(-9))/(116/3311394) prime?
True
Let j(i) = -i**3 + i**2 + i + 10. Let t be j(-5). Suppose -19*f = -14*f - t. Is f prime?
True
Let h = 3701 + -1770. Is h prime?
True
Let p(r) = 338*r**2 - 44*r + 289. Is p(9) a prime number?
True
Suppose 10*j - 39854 - 44276 = 0. Is j prime?
False
Let i = -14 + 17. Is (4011/(-63))/((-1)/i) prime?
True
Let a(f) = -4*f - 4. Let g be a(-5). Is 1804/g - (-1)/4 a composite number?
False
Let j = -4 + 8. Suppose j*o = -2*b + 38, -10 = 2*o - 4*o - 4*b. Let m(k) = k**3 - 9*k**2 - 6*k - 15. Is m(o) composite?
True
Suppose 6*j = j. Let z(p) = -p. Let a be z(j). Suppose -2*d = -a*d - 106. Is d a prime number?
True
Let t = -24 + 29. Suppose -6*d + 1785 = -d - t*v, 2*d = -3*v + 734. Is d a prime number?
False
Suppose -2*x = -0*x + 2*s + 232, -5*s + 340 = -3*x. Let i = 202 + x. Suppose -t - i = -2*t. Is t a composite number?
True
Let u be (8/(-12))/((-2)/6). Suppose u*m - 875 = 599. Is m composite?
True
Let h be ((-1471)/(-4))/(5/(-20)). Let r = h - -4329. Is r a composite number?
True
Let g(h) = -150*h - 5. Let u(d) = 600*d + 20. Let s(y) = 9*g(y) + 2*u(y). Is s(-6) composite?
True
Let c(k) = 200*k**2 - 29*k + 83. Is c(10) composite?
False
Suppose -258*j + 249*j + 345051 = 0. Is j a prime number?
False
Let n(f) = -f**2 - 24*f - 9. Suppose 0 = g - 6*g - 80. Is n(g) prime?
False
Let k = 25 - 18. Let p(o) = o - 3. Let y be p(k). Suppose 3 = a, 0*c + y*c + 5*a - 547 = 0. Is c a composite number?
True
Is 61167 + ((-60)/6)/(-5) a prime number?
True
Let w(x) = 371*x + 14. Let k be w(-4). Let f = -221 - k. Is f a composite number?
False
Let s = 97 + -100. Is s + (-1 + -3)/(-4) - -1257 a prime number?
False
Let x(j) = -160*j**2 + 2*j - 1. Let l be x(-2). Suppose -364 = 2*y + 24*y. Is (-4)/y - l/21 a composite number?
False
Let j(s) = 4091*s**3 - s**2 + 2. Let o be j(-1). Let h = 6271 + o. Is h a composite number?
True
Suppose 10 = -0*t + t - 2*u, -3*u = 5*t - 89. Let c(n) = n**3 - 14*n**2 - 6*n + 5. Let r be c(t). Suppose r = 4*d - 447. Is d a prime number?
False
Suppose 8*l - 3*l = 20. Suppose -4*g + 1367 + 2561 = -l*f, 0 = -3*g - 5*f + 2906. Is g prime?
True
Suppose 0 = -s + 65 - 173. Let c = 257 + s. Is c a composite number?
False
Let h(p) = -112*p - 3. Let g = -16 - -15. Is h(g) a composite number?
False
Let j be 5 - 1449 - 2/1. Let y = j - -3917. Is y prime?
False
Suppose 9*q - 7*q - 16566 = 2*l, 0 = 2*q + 2*l - 16574. Is q composite?
True
Suppose 6 = 21*x - 19*x. Suppose -a + 687 = o - 594, -x*a - 4*o + 3839 = 0. Is a composite?
True
Suppose -3*j + 27 = 3*x - 6*j, 3*x - 2*j - 22 = 0. Is (277/x)/((-3)/(-24)) prime?
False
Suppose 8*d = 268291 - 103787. Is d composite?
False
Is 18456/3*3/12 a composite number?
True
Let f(w) = 78*w**3 - 2*w**2 + w. Let t be f(2). Suppose -4*j - 74 = t. Let s = j + 764. Is s prime?
False
Let w(j) = 3*j**2 - 9*j + 10. Let x be w(6). Suppose -71*a + 413 = -x*a. Is a a composite number?
False
Is 22*(-2 + (6810/4)/15) prime?
False
Let n = 25 + -23. Suppose -3*l = -v - 1257, -3*l + 12 = n*v - 1245. Suppose 3*g + 15 = 0, -l = -3*m + g + 609. Is m prime?
False
Let a be (108/(-81))/(1/9). Is 13669/2 + 6/a*3 composite?
False
Let y(f) = 50*f + 43. Let b be y(-9). Let a = 2054 - b. Is a prime?
False
Suppose 0 = 6*x - 7*x + 3. Is (-3 - -2*x) + 860 a prime number?
True
Suppose 5*q - c - 8560 = -6*c, 2*c = 4*q - 6830. Is q a prime number?
True
Let d(s) = -42*s - 42. Let o be d(-6). Suppose -2*w = 4*w - o. Is w composite?
True
Let j = -37 + 27. Let r be -5*(14/j + 3). Is (-34)/(-3)*(-444)/r a prime number?
False
Suppose -4*w - 2*v = 2492, 0 = -2*w + 3*v - 5*v - 1246. Let u = w + 1732. Is u composite?
False
Let x(o) = 9480*o + 17. Is x(5) a composite number?
False
Suppose 21*k - 17*k = 8. Suppose 0 = -2*t + 5*z + 402, k*t = 4*z + 6 + 392. Is t prime?
True
Let s be -4 - (-1 + (-58)/2). Let f = -22 + s. Suppose -z + 45 = f*d + 10, -5*z = -d - 238. Is z a prime number?
True
Let k = 3 - -4. Let v(t) = 3*t**2 - 7*t**2 + 9 + 2*t + k*t**2 - 2*t**2. Is v(8) prime?
True
Let i(d) = -d**2 - 4*d + 5. Let z be i(-5). Let s = 34 + -13. Suppose l - 36 - s = z. Is l a composite number?
True
Suppose 4*o - 610085 = -5*v, -2*v = 2*o - 267366 + 23334. Is v composite?
False
Let v(r) = 6738*r**3 - 2*r**2 + 2*r - 1. Is v(1) prime?
True
Suppose 457690 = -42*k + 4193800. Is k composite?
True
Suppose -11*j = -3*j - 23800. Suppose -4*o = -4*m + 3988, 3*m + o = -0*o + j. Is m a composite number?
True
Suppose 137*q = 140*q - 217491. Is q a prime number?
True
Let c = -23 - -362. Suppose 11*h = 10*h + c. Is h composite?
True
Let b(x) = 4*x**3 - 14*x**2 - 5*x + 73. Is b(22) a composite number?
True
Let r be 1*2*(-18)/(-12). Let b be (r/(-2))/((-4)/8). Suppose 2*a - b*x = 1004, 0 = -a - x + 274 + 223. Is a a prime number?
True
Let q = 620 - -819. Is q a composite number?
False
Let p(h) = 38*h**2 - 134*h**2 + 34*h**2 + 31*h**2 - 10*h - 1 + 37*h**2. Let g = -5 + 12. Is p(g) composite?
False
Let d = -5841 - -8562. Suppose 5*n + d = 2*p, -5*p + n + 1357 + 5457 = 0. Is p composite?
True
Suppose -o + 3*m + 4492 = 0, 3*o + o - m = 18023. Is o a composite number?
False
Let n(h) = -3*h + 144*h**3 + 1 + h**2 + 2 - 10*h + 11*h. Let y be n(3). Suppose -2364 = -6*c + y. Is c prime?
False
Let c be 12/7*(-21)/(-2). Let a = 336 + -225. Suppose -3*k = c - a. Is k prime?
True
Suppose -10*g + 20 = -6*g. Suppose -4365 = -2*v + 2*h - 903, g*h = 20. Is v prime?
False
Suppose -4*g - 2*r - 2277 + 6011 = 0, -4*g + 4*r + 3764 = 0. Suppose 2*h = -u + g, -2*h - 343 = 3*u - 1283. Is h prime?
True
Let j(d) = 11*d**2 + 24*d + 17. Is j(-18) a prime number?
False
Let c(q) = -q**3 + q + 1. Let u(t) = 2*t**3 - 9*t**2 + 6*t - 5. Let n(k) = 3*c(k) + u(k). Let j be n(-13). Let v = -240 + j. Is v a composite number?
False
Suppose 0 = 28*i - 24*i - u - 231351, 2*i = 4*u + 115658. Is i a composite number?
False
Suppose 2*g - 5*g = 0. Suppose 2*b - 5*a - 10 = g, 3*b = a + 16 + 12. Is b/25 - (-1186)/10 composite?
True
Let a be 4/(-60)*-6 + 26/10. Suppose 0 = 4*p - 2*n - 1036, -1089 = -a*p - 3*n - 330. Is p composite?
False
Suppose -4*k + 12*w + 6775 = 13*w, 0 = w - 3. Is k prime?
True
Suppose -380 = -5*i + 930. Let w = 513 - i. Is w prime?
True
Let y(u) = 87*u - 22. Is y(7) a prime number?
True
Suppose 0 = 23*x - 2042 - 3869. Is x composite?
False
Let q(s) = -405*s + 308. Is q(-5) composite?
False
Let g(u) = -u**3 + 12*u**2 + 11*u + 3. Let j be g(6). Suppose -167 = -4*y + j. Is y prime?
True
Suppose 0 = -y - k + 31278, 4*k + 35240 = 3*y - 58587. Is y a composite number?
False
Let q = -86 - 26. Is 6 + q/20 - 14153/(-5) prime?
False
Let l(g) = 2*g**2 + 1. Suppose 30 = 4*a + 18. Is l(a) prime?
True
Let n(r) = 119*r**2 - 16*r - 56. Is n(-5) composite?
False
Is (-87)/(-435) + 203648/10 a prime number?
False
Is (-2)/1 - (196360/4)/(-10) prime?
False
Suppose -6*y = 2704 + 662. Let q be y/((-1)/2*2). Suppose 5*o = b - 521, b + q = 2*b + 5*o. Is b composite?
False
Is -2*(-9)/12 + 653735/170 a prime number?
True
Is ((-9631)/3 + 6)*1*-3 a composite number?
False
Let z be (1/2)/(10/80). Suppose -z*l - 106 = -2*w, 0*w + w + l = 47. Is w a prime number?
False
Let w(z) = 46*z**2 + 11*z - 13. Is w(6) prime?
True
Let z(c) = c**3 - 5*c**2 - 3*c + 2. Suppose 3*g = 5*j - 5 + 27, 14 = g -