s g prime?
False
Let u be (-12)/(-9)*18/12. Suppose u*r = -2 - 10. Let i = r - -61. Is i a composite number?
True
Suppose 44*l - 11*l = 865689. Is l a prime number?
False
Let p(r) = r + 5. Let g be p(-3). Suppose 2*z - 278 = 4*m, -2*z + 22 = -g*m - 258. Is z prime?
False
Let l(k) = -3*k + 12. Let p(j) = -1. Let n(a) = l(a) + 2*p(a). Is n(-16) a prime number?
False
Is 0 - -4327*7*10/35 prime?
False
Let f = 3 + 2. Let g be (4 + -6)/(2/f). Let l(w) = -3*w**3 + 3*w**2 - 4*w - 3. Is l(g) a composite number?
False
Let i(j) = -j**2 + j + 1. Let d(t) = 37*t**2 - t - 2. Let p(u) = 73*u**2 - u - 3. Let r(y) = -7*d(y) + 3*p(y). Let f(k) = 4*i(k) - r(k). Is f(1) composite?
True
Suppose h = 4*h - 9. Let a be -1 + 0/h - 163. Let u = -97 - a. Is u a composite number?
False
Suppose 4*p = t + 28, -4*p = -3*t - 31 - 5. Let w(x) = -p*x - 26 - 7*x + 14. Is w(-13) a prime number?
True
Let a(x) = 137*x - 9. Is a(8) prime?
True
Let y(a) = 297*a**3 - a**2 - 3*a - 1. Is y(4) a composite number?
False
Let s(t) = 6*t**2 - 15*t - 37. Is s(-26) a composite number?
False
Let h = 10 - 5. Suppose 3*p + 45 = -h*t, -4*p + t - 6*t = 55. Let n(m) = m**2 - 2*m + 13. Is n(p) a prime number?
False
Suppose 551 = 3*n - 5242. Is n a prime number?
True
Let h be (-16)/12*(-27)/(-2). Let u = -13 - h. Suppose u*k = 6*k - 293. Is k a prime number?
True
Let o = -22388 + 43381. Is o a composite number?
True
Is (21/(-70)*5)/((-6)/201148) composite?
False
Let r(l) = -343*l - 1. Let a(k) = -k**2 + 8*k + 19. Let o be a(10). Let n be r(o). Suppose 0*g = 2*g + 4*d - n, -649 = -4*g - d. Is g a prime number?
False
Is 18 - (9/((-9)/8) - -4) prime?
False
Suppose -3*t + 1169 + 3605 = 5*y, 0 = -5*y - t + 4768. Is y prime?
True
Suppose -7*y = -9*y + 28. Suppose 122 = 2*j - y. Let w = j - 10. Is w composite?
True
Suppose -20*f = 13*f - 460779. Is f a prime number?
True
Let q(l) = -424*l + 13. Let i be q(6). Let h = 9978 - i. Is h a prime number?
False
Suppose -13*r = 1 - 1. Suppose r = -v - 2*i + 6*i + 403, -4*v - 2*i + 1630 = 0. Is v a composite number?
True
Let x = 4295 + -2322. Is x a prime number?
True
Let j = 39 + -37. Suppose j*q - 23 = -5*o, -q = 4*o + 3*q - 28. Suppose -4*a = -o*s - 1796, -5*a = -6*s + 2*s - 2245. Is a composite?
False
Let h(z) = -37*z + 43. Let l(f) = -38*f + 43. Let t(x) = -4*h(x) + 3*l(x). Is t(9) prime?
True
Suppose -6*y + 3793 = f - 5*y, -5*f + 18959 = 2*y. Is f a prime number?
False
Suppose 3*p + 3 = 0, -1094 + 320 = -2*w - 4*p. Is w prime?
True
Let j(u) = 131*u**2 + 2*u + 1. Let p be j(5). Let f = p + -1805. Is f composite?
False
Suppose -5*n = 4*j - 11163, 3*n - 11*j = -8*j + 6687. Is n a composite number?
True
Suppose -81311 = -49*h + 32*h. Is h composite?
False
Let b(n) = 3*n**3 - n**2 + 2*n + 2699. Is b(0) composite?
False
Suppose 7*d + 2*y - 15442 = 3*d, 4*d - 3*y - 15457 = 0. Is d prime?
False
Suppose 2*q - 5 = 1. Let a be 8/(q + (-3 - -2)). Suppose 2*y - 523 = 5*o, -a*o = -6*y + y + 1299. Is y a prime number?
False
Suppose 0 = 5*s - 4*v + 42, -3*s + 7 = -3*v + 34. Let t(j) = -7*j + 1. Is t(s) a composite number?
False
Let j(c) = -112*c**3 - c + 3. Let l = -57 - -55. Is j(l) a composite number?
True
Suppose 9233 = -518*k + 519*k. Is k a prime number?
False
Let c(y) be the first derivative of -148*y**4 + y**3/3 + 3*y**2/2 - y + 3. Is c(-2) a composite number?
False
Let t(n) = -6*n**3 - 19*n**2 - 18*n - 12. Is t(-17) composite?
False
Let v(l) = 67*l**2 - 78*l + 309. Is v(44) prime?
False
Let j = 2 + 9. Suppose 0 = -8*k + j*k. Suppose -5*p + 3*p + 284 = k. Is p prime?
False
Let s = -62669 + 100360. Is s a composite number?
False
Suppose -o - a = -3*a + 18860, 2*a + 2 = 0. Is ((-8)/(-24) + o/12)*-2 a composite number?
True
Let k(y) = 2*y**2 + 9*y + 11. Let x be k(-5). Let r = x - 15. Suppose -3*v + 46 = r. Is v a prime number?
False
Suppose 14863 = -2*n + 49897. Is n a prime number?
False
Let d be ((-30)/(-9) + (6 - 10))*1158. Let z = 2549 + d. Is z composite?
False
Suppose -13 = -2*p - 3*i, -2*p + 3*i = 2*i - 9. Suppose p*z = 0, 67 = -o + 2*o - 3*z. Let g = 118 - o. Is g a prime number?
False
Let s(u) = 949*u + 202. Is s(15) composite?
False
Suppose -u - 13085 = -z - 2*u, -2*z + 26170 = u. Is z a composite number?
True
Let t be 3377 + (4 - 6) + -1. Let y = 4915 - t. Is y a prime number?
False
Let u(s) = s**2 + 12*s - 10. Let j be u(-13). Is 14694/7 - j/21 prime?
True
Suppose -3 + 7 = 4*p. Suppose 0 = -7*o + 1273 + 5601. Is o*p + (-1 - 2) prime?
False
Let k(v) = v**3 - 20*v**2 - v + 23. Let t be k(20). Suppose -p - t = -6. Is 261 + (1 - (p - 4)) a prime number?
True
Let a(o) = -o**2 + 11*o - 10. Let j be a(9). Suppose 4*y = -5*f + 1066, 0 = 2*y - 0*y - j. Suppose 3*k + 51 = f. Is k composite?
False
Let m be ((-7)/(-14))/(1/2). Let d be (-6 + -2)/(m/6). Let w = d - -81. Is w a composite number?
True
Let r(z) be the first derivative of -z**4/4 + 2*z**3/3 - z**2/2 - 3*z + 13. Is r(-4) a prime number?
True
Let v = 684 + -1351. Let g = 1154 + v. Is g a prime number?
True
Suppose -6*n = -10*n + 44. Let j(f) = -f**2 + 12*f - 8. Let u be j(n). Suppose -h + 768 = u*h - 4*o, -5*o = -4*h + 773. Is h composite?
True
Is (4732299/759 - 2/(-23)) + 4 prime?
False
Suppose 2*w = -4*k + 20, 2 = -5*w + 5*k + 82. Suppose -18*u + w*u = 244. Is (-5)/(-5) - u - 3 a prime number?
True
Let q(s) = -51*s**2 + 5*s + 22. Let x be q(-12). Is (-6)/21 - x/14 a prime number?
False
Let w = 207 + -13. Is w prime?
False
Suppose -4*t + 5*r + 30053 = 0, 6*t - 2*r = 5*t + 7511. Is t a prime number?
True
Let x(s) = 125*s**2 + 11*s - 23. Let o(u) = -63*u**2 - 5*u + 11. Let q(n) = -5*o(n) - 2*x(n). Let t(l) = l. Let i be t(4). Is q(i) a composite number?
True
Let w = 11250 + -5927. Is w a prime number?
True
Let z(d) = 86*d**2 + 5*d + 19. Is z(-6) a prime number?
False
Let j = 5 + 1. Let v(o) = -o**2 - 13*o + 26. Let i be v(-15). Is (255/j)/((-2)/i) a prime number?
False
Let c = 3229 + 4222. Is c a prime number?
True
Let v = -7 - -7. Suppose -2*f + 730 = -v*f. Is f prime?
False
Let g = -24 - -24. Suppose g = -5*y + l + 469, 11 = -5*l - 9. Is y composite?
True
Suppose 3*t + 4474 = 4*v, 0*t + 3356 = 3*v - 2*t. Let u be -3 + (215 - (-2 + -3 + 4)). Suppose 5*r + i = v, -r + i = -i - u. Is r a composite number?
False
Suppose -4*x = o - 49158, -3*x - 18*o + 36873 = -15*o. Is x a composite number?
False
Let m(d) = -1115*d**2 + d - 2. Let n be m(1). Let s = -635 - n. Is s composite?
True
Suppose -4*z = -5*m - 0*z + 538, 5*m - 565 = -5*z. Suppose 109*a = m*a - 157. Is a composite?
False
Is (-3046)/((-2)/6 + 24/(-36)) a prime number?
False
Is (-437311)/(-63) + 4/(-9) a composite number?
True
Let p = -610 - -1089. Is p a prime number?
True
Let r = -195 - -400. Is r a prime number?
False
Suppose 33*o - 448178 = 478891. Is o prime?
False
Let g(u) = 1086*u - 239. Is g(15) a prime number?
False
Suppose -43655 = -17*x + 11612. Is x a prime number?
True
Let n(b) = -534*b - 1. Suppose 3 = -3*y - 2*s, 0 = y - 3*s + s + 1. Is n(y) composite?
True
Is 428139/36 - (-4 + 60/16) a prime number?
False
Let j = -13879 - -22040. Is j prime?
True
Suppose 2*w - 6 = 0, 1327 = -4*t + 4*w - 1217. Is ((-116)/(-87))/((-2)/t) a composite number?
True
Let k be (2 + -5)/(3 - 4). Suppose -4*c + 7 = -t, 2*t + 8 = k*c + 4*t. Suppose 0 = -6*s + c*s + 372. Is s a composite number?
True
Let b(l) = 132*l + 1. Suppose -9 = -3*y, 0 = -c + 6*y - 3*y - 7. Is b(c) composite?
True
Suppose 5*v + 3*w + 7065 - 71333 = 0, -2*w = -5*v + 64263. Is v a composite number?
False
Suppose 6*t + 10359 = -33171. Is (-4*1/2 - -1)*t prime?
False
Let y(d) = d**2 + 37*d - 187. Let u be y(-43). Let a = -4 + 7. Suppose 0*q - u = -q + 5*j, -q = -a*j - 63. Is q composite?
True
Let m(y) = -y**3 + 3*y**2 + 5*y + 2. Let p be m(4). Suppose 0 = 4*u - j - 113 + 1112, u - 3*j = -258. Is (u/p)/((-3)/6) a prime number?
True
Let j(y) be the second derivative of y**3/6 + 5*y**2 - 4*y. Let g be j(-6). Suppose 80 = 4*q - g. Is q a composite number?
True
Let g(n) = n**2 + 15*n - 41. Is g(33) a prime number?
True
Suppose 5*v - 12 - 3 = 0. Suppose -v*l + 6 = 18. Is 402/l*(-4)/3 composite?
True
Suppose l - 5*m = -2*l + 12254, 3*m + 12252 = 3*l. Is l a composite number?
True
Let x be ((-5)/3)/(10/(-36)). Suppose -4174 - 404 = -x*h. Is h a composite number?
True
Suppose 0 = 2*z - 1997 - 853. Let x = z