s z prime?
True
Let k(y) = -36*y - 4. Let p be k(-8). Suppose 5*l = 9*l - p. Is l prime?
True
Let t(h) = 143*h**2 + 2*h - 2. Let s be t(2). Suppose -4*j + s = -158. Is j a composite number?
True
Let w(s) be the first derivative of 160*s**3/3 + s**2/2 - 3*s + 18. Is w(-2) a composite number?
True
Let h = -14 + 17. Suppose 3 = h*q, 0*q = 5*c - 4*q - 21. Suppose -c*v = -0*v - 110. Is v composite?
True
Let n = -15 - -22. Suppose -4*t - 2985 = -n*t. Suppose 5*h - 401 = 3*h - c, -5*h = 4*c - t. Is h composite?
True
Suppose 7*b + 339 - 4742 = 0. Let o = 1108 - b. Is o a prime number?
True
Suppose -107*t + 56*t + 903873 = 0. Is t composite?
True
Let g be 477/6*-14*4/4. Let w = 2344 + g. Is w composite?
False
Is (-120)/144 + (-86363)/(-6) a composite number?
True
Suppose 0 = -68*a + 72*a - 17972. Is a a prime number?
True
Suppose 2*u = 3*i + 14903, 4*u - 32108 + 2291 = -5*i. Is u composite?
True
Let t be (0 - -1)*(12 - 7). Suppose 3*j - t*j = -1082. Is j prime?
True
Suppose -540 = -5*o - 13405. Let w = o - -4128. Is w a prime number?
False
Let r(n) = -3*n + 19. Let u be r(6). Is (-762)/3*u/(-2) composite?
False
Suppose -2*y - 5*y - 2653 = 0. Let t = y - -926. Is t composite?
False
Let b = -9306 - -69225. Is b composite?
True
Let f be (-5)/(-1)*72/60. Suppose -3785 = -5*y + 5*a, -5*a + f = 1. Is y prime?
False
Suppose -22*x = -5*x - 69071. Is x a composite number?
True
Let w(j) be the second derivative of 0 + 1/2*j**2 + 0*j**3 - 2*j + 55/2*j**4. Is w(-1) prime?
True
Let v(s) = s**3 - 7*s**2 - 6*s - 11. Let b be v(8). Suppose b*r = r - 52. Let u(p) = -2*p - 4. Is u(r) composite?
True
Let q be ((-6)/(-12))/((-2)/(-12)). Suppose -q*r = 0, -3*f + 3 = -5*r - 6. Suppose l + f*l = 740. Is l prime?
False
Let p = 17 - 14. Suppose 0*g + p*g = -18. Is (g - -3) + (-798)/(-3) a composite number?
False
Let d(l) = l**3 + 10*l**2 - 7*l + 11. Let q be d(-8). Let w = -18 + q. Is w a composite number?
True
Let t(b) = 22*b**2 - 5. Let c be 120/14 + (-12)/21. Let a = c - 15. Is t(a) a prime number?
False
Suppose -1181 = -3*m + 5*o, -399 = m - 2*m - o. Is m prime?
True
Suppose -5*k = 4*w + 4, -2*k + k - 2 = 2*w. Is 1148/1 + w + 4 composite?
False
Let d be (1 + 150/(-9))*-102. Let g be 32/(-48) + d/(-6). Let f = 520 + g. Is f composite?
True
Suppose 0 = -3*r + 6*r - 36. Let k = -11 + r. Is 0 + k - (-5)/1 composite?
True
Is (22/6)/1*381 a prime number?
False
Let q(j) = 637*j + 13. Let f be q(14). Suppose 6*o = 10575 + f. Is o a composite number?
False
Let x = 15122 + 3217. Is x prime?
False
Suppose 0 = 7*d - 45*d + 214282. Is d composite?
False
Let a be (-20)/(-16) - (-9)/12. Let g be 26*(142/4 - a). Let q = -414 + g. Is q composite?
False
Let b(j) be the third derivative of -j**8/1344 - j**7/1260 + j**6/360 - j**5/60 - 5*j**4/24 + 6*j**2. Let g(m) be the second derivative of b(m). Is g(-3) prime?
True
Suppose -3*l + 13 - 65 = -5*f, -4*f - 2*l = -24. Suppose 4*j = -3*z + 826, -3*z - 2*j = -f*z + 1368. Is z a prime number?
False
Suppose 2 - 5 = -j. Let i = -1222 - -1292. Suppose 8*q - j*q = i. Is q a prime number?
False
Suppose -4*f + 19826 = -88386. Is f composite?
True
Suppose 0 = -4*a + 5*m - 0*m, 5*m = -a. Suppose a = 2*w - 6, -5*f + 2220 = -2*f + w. Is f a composite number?
False
Suppose -3*o - 9 + 33 = 0. Suppose o*x - 8 = 4*x, x - 2 = -4*g. Let k(r) = r**3 - r + 19. Is k(g) a composite number?
False
Suppose 11*q - 18004 = 18483. Is q composite?
True
Suppose -12*u = -168100 - 110168. Is u prime?
True
Let x(d) = -18*d - 19. Let j(l) = -2*l - 22. Let f be j(-6). Is x(f) a prime number?
False
Let k(p) = 24*p**3 + 6*p**2 - 5*p - 8. Let v(h) = 7*h**3 + 2*h**2 - 2*h - 3. Let q(w) = -3*k(w) + 8*v(w). Let b = 1 + -2. Is q(b) a composite number?
True
Suppose -20754 = 4*p - 5*k - 83376, -5*p - k = -78292. Is p a composite number?
True
Let j = -46 + -31. Suppose h - 368 - 349 = 3*u, 0 = -5*h + 15. Let o = j - u. Is o a composite number?
True
Let m(r) = r**2 + r + 7. Let q be m(-5). Let v = q - -280. Is v composite?
False
Let g(q) = q**3 + 12*q**2 - 5*q + 5. Suppose -t + 3*t - 4*k - 78 = 0, -2*t - 2*k + 96 = 0. Suppose 10*l + t = 5*l. Is g(l) a prime number?
True
Is 125140/(-30)*(4 + (-22)/4) composite?
False
Let p be 16/6*27/36. Suppose p*d = -2*d + 1768. Suppose -d = -3*b + w, 3*w + 725 = 5*b - w. Is b prime?
True
Suppose 3 - 7 = -2*m. Let c(x) = -x**3 - 12*x**2 + 10*x - 38. Let w be c(-14). Suppose m*u - 76 = w. Is u composite?
True
Suppose -3*b - 11948 = -2*j, -j + 12*b = 17*b - 5961. Is j a prime number?
False
Suppose l - 13 = -5*z + 4*l, -3*z - 5*l = -35. Suppose -z*n + 0*n + 5015 = 0. Is n a composite number?
True
Suppose -4*r - 35 = r. Let l be (r + 4)*(-8)/3. Suppose -3*m = -l*m + 1055. Is m a prime number?
True
Suppose -g = -6*g + 330. Let n = g + 282. Suppose n = 3*j - 3*d, 2*d - d = -4*j + 449. Is j prime?
True
Is -13 - -7 - -6 - (-48971 + -2) composite?
False
Let b(u) = -1381*u + 18. Is b(-1) prime?
True
Let l(a) = 0 + 5*a + 9 - 4. Let y(j) = -1. Let f(u) = -l(u) + y(u). Is f(-9) prime?
False
Let i = 41 - 37. Suppose 8*l - r - 1167 = i*l, -4*r = 12. Is l a composite number?
True
Let k = -13745 + 25836. Is k prime?
False
Suppose 0 = -2*m - 4 - 2. Let i(s) = s**3 + 3*s**2 - 4*s - 4. Let h be i(m). Is (1341/(-36))/((-2)/h) prime?
True
Suppose 4*n = -6*k + k + 8, -2*k - 5*n + 10 = 0. Suppose 5*q = -5*p - 1697 + 14232, k = -2*p + 5*q + 4986. Is p a composite number?
False
Let b(p) = -p**2 - 14*p - 21. Let l be b(-12). Suppose l*y = 3*t + t - 8597, -t + 2128 = -5*y. Is t a prime number?
True
Let v(h) = -h + 11. Let o be v(6). Suppose u + 5*r - o = 3*r, 4*u + 4*r = 20. Suppose d + 5249 = u*p, 4*p - 2*p = d + 2102. Is p a composite number?
False
Suppose -11*z + 4248 = -23593. Is z a composite number?
False
Suppose -g - 6*g = -21. Suppose -2112 = -3*z + 3*m, 2*m - 1695 = -g*z + 412. Is z a composite number?
True
Suppose 5*l = -5*r + 440185, 7*r - 3*l + 0*l - 616229 = 0. Is r a prime number?
False
Suppose -4*m = 3*p - 4, 0*p - 2 = 2*p - 2*m. Suppose -w - i + 18 = 4*i, p = -2*w + 2*i. Is w*(0 - (-199)/3) a composite number?
False
Is (-3)/(5 + 46190/(-9235)) prime?
True
Let p(o) = 8 - 4 - 81*o + 0 + 6. Suppose 5*i + 36 = i. Is p(i) a prime number?
True
Let z be 1088/20 - 2/5. Let h = 113 - z. Is h prime?
True
Suppose -4*t + 13 = -x, -x + 2*t + 6 = -3*x. Let m(r) = 8*r**2 + 5*r + 30. Is m(x) prime?
False
Let b(n) = n**3 - 19*n**2 - 12*n - 7. Let q be b(16). Let p = 2348 + q. Is p a composite number?
False
Let n be -147 - (1 + 2 + -4). Let h be 1/2*0/1. Is -1 - (h/1 + n) composite?
True
Let q(k) = 3*k - 2. Let m be q(2). Suppose 1578 - m = 2*y. Is y a composite number?
False
Suppose 2*b + 5*j = -24, 0 = -4*b - j - 8 - 4. Suppose g + 0*g + 3 = 0. Is (g + b)/(2/(-34)) a prime number?
False
Suppose 0*j + 4 = 5*j + 3*h, -2*j - 3*h - 2 = 0. Suppose -o = -j*g + 283, 2*g - 32 = 3*o + 257. Suppose -2*r + g = 2*r. Is r prime?
False
Suppose 4147 + 27087 = 14*v. Is v a composite number?
True
Let p be 0/(3 + 1) - (-2 - -8). Is (-307)/p + 2/(-12) prime?
False
Let f be (-42)/(-5)*(-195)/(-6). Let q = f - 195. Suppose 0*b = -2*i - 4*b + 140, 2*b + q = i. Is i a prime number?
False
Suppose -3*m + 3*u + 45 = 0, 0*m + 35 = 4*m + u. Suppose 2*j - m = 236. Is j prime?
False
Let d = 11 + -9. Suppose 0 = 5*y, 2*u + y - d*y = 44. Is u a prime number?
False
Let d(b) = 824*b**2 - 198*b + 200*b + 169*b**2. Is d(-1) a prime number?
True
Let p be (-8 - -6) + 6 - 4. Let w(a) = a**3 + 4*a + 94. Let y(f) = f + 1. Let l(k) = w(k) - 5*y(k). Is l(p) prime?
True
Is (-346136)/(-7) + (-6 - -6) + 5 a prime number?
False
Let c = 6239 + -3056. Is c a composite number?
True
Let u(x) = -2*x**3 - 14*x**2 - 4*x + 13. Let f(o) = -o + 5. Let y be f(5). Suppose g + 1 = y, -j - 2*j + 2*g = 28. Is u(j) a prime number?
True
Let q(y) = 2*y - 4. Let l be q(4). Suppose -3*h + u = -l*u - 1006, -2*u = h - 339. Is h a composite number?
False
Let q(v) = -971*v - 41. Is q(-12) a prime number?
False
Suppose 2*f - 3*f + 3*r + 2642 = 0, -3*f + r = -7966. Is f a composite number?
False
Suppose -491153 = -137*g + 124*g. Is g a composite number?
False
Suppose -9*r + 8 = -7*r, -k - 3*r = -20791. Is k a prime number?
False
Is (0 - (-2)/8)*(11 - -10913) prime?
True
Let p = 994 + -437. Is p composite?
False
Suppose -4*v + 4*g + 4788 = -0*g, 0 = -