2*p**2 - 4*p - 4. Let a be z(-3). Let w = 36 + a. Let d = w + -97. Is d composite?
True
Let v = 0 - -3. Is -4*(v - 213/12) prime?
True
Suppose -15 = -4*d - 3*x - 0*x, -d + 5*x - 2 = 0. Suppose 2*c = -l - 14, -4*l - d*c - 23 = -2*l. Let u = l + 8. Is u composite?
True
Let p = 18 - 14. Suppose -2*g + i + p*i = -91, 8 = g + 5*i. Is g a prime number?
False
Suppose -25 = -4*r - r. Let h(f) = f**3 - 6*f**2 + 6*f + 6. Is h(r) a composite number?
False
Let k(b) = 2*b + 2. Let h be k(-2). Let o be (4/6)/(h/(-3)). Let w = o + 20. Is w composite?
True
Let g(f) = -f**2 - 20*f - 9. Is g(-12) composite?
True
Let b(q) = 3*q - 1. Let v be b(2). Suppose 5 = -5*m + 5*o, 0*o = 2*m - v*o + 17. Suppose m*s = 3*g + 30, 35 = 3*s + 3*g + g. Is s a prime number?
False
Suppose -13 = -3*p + 23. Let o = -5 - -11. Is (-4)/p + 44/o a composite number?
False
Let c(i) = -2*i - 11. Is c(-13) a composite number?
True
Let l(o) = -5*o + 1415. Is l(0) composite?
True
Let a(t) = -2*t**3 + 2*t**2 - 4*t + 5. Let s be a(-5). Suppose s - 70 = 5*b. Is b a prime number?
False
Let l(i) = i**3 + 7*i**2. Let t be l(-7). Is 2 + -3 + (66 - t) a composite number?
True
Suppose 0 = 5*s - 2*s. Let j be s/(-2)*(-1)/(-2). Suppose -u + j - 2 = 0, -5*l + 32 = -u. Is l a composite number?
True
Suppose -4*y - 128 = -8*y. Let x = 55 - y. Is x prime?
True
Suppose c = 4, -4*c = 3*b - 9*c - 1795. Let j = -267 - 87. Let r = b + j. Is r a prime number?
True
Let t = 6 + -1. Suppose -t*p - 5*v = -275, 0 = -5*p + v + 208 + 55. Is p composite?
False
Let m be ((-1)/(-2))/((-9)/(-4860)). Suppose 0 = p - 3, 3*s = -5*p + m. Is s a composite number?
True
Let o be (388/(-3))/((-2)/6). Suppose 0*r = -h - 5*r, 4*h = 4*r + 24. Suppose h*u + 2*l = 949, -5*l + 3*l = -2*u + o. Is u a prime number?
True
Let k(v) = 5*v - 1. Let w be k(1). Suppose -3*c + 119 = -t, -3*t - w*c - 633 = 2*t. Let f = -66 - t. Is f prime?
True
Let x(t) = -110*t - 13. Is x(-6) prime?
True
Let y(z) = -z**2 + 5*z + 7. Let v be y(6). Suppose -3*s + 11 = -v. Suppose s*x = 6*x - 42. Is x a prime number?
False
Suppose 0 = 4*z - 16, -q + 4*z = -0*q - 2727. Is q a composite number?
True
Suppose -11*o + 8*o + 1167 = 0. Is o prime?
True
Suppose 0*n + 6 = 2*v - n, v - 1 = n. Suppose -2*x + 16 + 31 = c, -243 = -v*c - 2*x. Is c composite?
True
Is (316/(-12))/(1/(-3)) composite?
False
Suppose 0*v - 8 = -4*b + v, -3*v + 6 = 3*b. Let m be 2872/40 + b/10. Suppose -3*z + 261 + m = 0. Is z prime?
False
Let x(j) = 21*j + 8. Is x(7) a composite number?
True
Let v be -2*7/((-7)/2). Suppose -187 = -g - v*b, -2*b - 33 + 228 = g. Is g a composite number?
True
Is 8886/14 + (-16)/(-56) a composite number?
True
Suppose -7*w + 2280 + 20267 = 0. Is w a composite number?
False
Suppose 5*r = 371 + 44. Suppose 3*n = 2*q + r, -n + 5*q = 3*n - 120. Is n composite?
True
Let v = -473 - -799. Is v a prime number?
False
Suppose -n + 161 = 5*p, 9*p - 157 = 4*p - 2*n. Is p a prime number?
False
Suppose 3*u - 558 = 1065. Is u a composite number?
False
Let n = 1 - 0. Let o(c) = 67*c**3 - c**2 + 1. Let x be o(n). Let g = x - -10. Is g a composite number?
True
Suppose -3*x + 3*n - 14 = -7*x, 2*x + 5*n - 14 = 0. Suppose -2*h - 25 = 3*m, 2*h + 30 = -6*m + x*m. Let o(l) = -l**3 + 5*l**2 + 8*l + 3. Is o(h) a prime number?
False
Let k be 3 - (-2 + -2 + -11). Let f be (-1)/((0 - -2)/k). Is (-1)/(-3) + (-528)/f composite?
False
Let q be -1*1*-6 + -1. Let t be (-50)/q*(-2)/(-5). Let d = 27 - t. Is d a composite number?
False
Suppose 7*g - x = 2*g + 434, -3*g = x - 262. Suppose u - g = -0*u. Is u a composite number?
True
Let s = 12 - 1. Let o = s + -7. Suppose o*x + 38 = 562. Is x prime?
True
Is (-902)/6*(-1 + -2) a prime number?
False
Let t(h) be the second derivative of 17*h**3/6 + 3*h**2 + 2*h. Is t(5) a prime number?
False
Let a(q) = -12*q**2 + q - 1. Let d be a(1). Let j(t) = -5*t - 2. Is j(d) composite?
True
Suppose 0 = 5*l - 5*z - 45, 3*l + 2*z + 8 = -2*z. Is ((-1078)/8)/(-7)*l a composite number?
True
Suppose -4*c - d = d - 14, -d - 23 = -4*c. Suppose c*j + 48 = r, -4*r - 4*j + 152 + 64 = 0. Is r composite?
False
Let n be (372 - (-3)/3) + 2. Let a = 736 - n. Is a a composite number?
True
Let r(g) = 122*g + 7. Is r(3) a prime number?
True
Suppose 13 = 4*p - 3*h, 0 = -3*h - 0*h - 9. Is 21/p*(-424)/(-24) prime?
False
Let q be 0 - (1 - -38)*1. Let i be 3/(-6)*(q + -1). Let l = -1 + i. Is l a composite number?
False
Let d(w) = 7*w**2 - 2*w - 17. Let q(b) = -b**3 - 5*b**2 + 7*b - 2. Let v be q(-6). Is d(v) prime?
False
Suppose 6*w - 9465 = 3*w. Suppose 0*g + 5*g = w. Is g prime?
True
Suppose -4*f - 6 = z - 15, 2*f - 4*z = 18. Suppose -882 = -f*q + 741. Is q prime?
True
Suppose 0 = -3*n - 410 + 8525. Is n a prime number?
False
Let q be (5*-2)/((-8)/192). Let a(x) = x**3 - 4*x**2 - 7*x + 6. Let v be a(5). Is v/(-22) - q/(-11) composite?
True
Suppose 2*m + 177 + 85 = 2*x, 2*m = 3*x - 259. Let f = m - -205. Let u = f + -24. Is u composite?
False
Suppose 4*n - 246 + 42 = 4*c, 127 = 2*n + 3*c. Suppose -n = -4*z + k, -z = -2*z + 3*k + 14. Is z composite?
True
Suppose -4*u - 13 = 5*h, 4*u - u + 16 = -5*h. Suppose 76 = u*m - m. Is m a prime number?
False
Let g = 4 - 1. Let q be 4/(5 - (g + 0)). Suppose -q*l = -4*l + 70. Is l a composite number?
True
Let j(d) = 18*d**2 + 10*d + 7. Suppose -3*z = -0*z + 18. Let p be j(z). Suppose 5*v - p = -0*v. Is v a prime number?
False
Suppose -4*i + 5*i - 11 = 0. Is i prime?
True
Suppose 5*u = -0*u + 20. Let b(q) = 2*q - 4. Is b(u) composite?
True
Let g(b) = -15*b + 9. Let y(k) be the third derivative of k**4/3 - 5*k**3/6 - 3*k**2. Let i(t) = 5*g(t) + 9*y(t). Is i(-1) a prime number?
True
Let x = 0 + -2. Let z = x - -3. Is 1 - 0 - (-2 + z) a composite number?
False
Let d be 8 - (1 + -1 - -2). Is (-96)/(3 - d) - -1 a prime number?
False
Let z be (-132)/(-28) + (-2)/(-7). Suppose -z*u + 5 = -4*j, -j + 5*u - 5 = -0*j. Let f = j + 6. Is f prime?
False
Suppose -w + 4*w = -5*g + 7198, -4318 = -3*g - w. Is g a composite number?
False
Let h = 1244 + -759. Is h a prime number?
False
Suppose 5*p - 1269 - 641 = 0. Is p composite?
True
Let f(u) = 9*u + 15. Let j(x) = 13*x + 22. Let n(t) = -7*f(t) + 5*j(t). Let y be n(-8). Let i = y + 13. Is i a prime number?
True
Let p = -43437 - -61700. Is p a prime number?
False
Suppose -4*x - 20 = -2*h + 10, -15 = -5*h - 2*x. Suppose 2*c = p + p + 166, h*c - 3*p - 407 = 0. Is c prime?
True
Suppose 0*b + b = 2. Suppose b*x = -2*x - 4*z + 20, -3*z = 4*x - 17. Suppose -7 + 1 = -x*d. Is d a prime number?
True
Is 1 + 899 - (11 + -12) a prime number?
False
Let a = -1287 + 2480. Is a a prime number?
True
Let m(b) be the first derivative of b**4/4 + 8*b**3/3 + 7*b**2/2 + 1. Let u be m(-6). Suppose -3*f = 15, u = 5*t + f + 4*f. Is t prime?
True
Suppose 2*j + 3*b = 2641, j - 1216 = 2*b + 87. Is j prime?
False
Suppose -4*k = -8*k + 16. Suppose -2*v = -k*v + 494. Is v composite?
True
Let a be ((-21)/1)/((-1)/2). Suppose -a + 14 = -2*o. Is o composite?
True
Let i(j) = j**3 + 17*j**2 - 18*j + 31. Is i(-15) prime?
True
Let a(f) = -f**3 + f**2 + f + 15. Let l be -3 + 4 - -2*1. Suppose l*z = -z. Is a(z) prime?
False
Let b(z) = -15*z + 12. Let l(w) = -22*w + 18. Let v(i) = 7*b(i) - 5*l(i). Suppose 5*r = 5*n + 15, 2*r = -r - 3*n + 21. Is v(r) a composite number?
False
Let c = -2538 + 3725. Is c a prime number?
True
Let i = 78 + -47. Is i a composite number?
False
Let h = 20 - 15. Is 572 - (h - 1)/4 composite?
False
Suppose -2*x + r = 2*x - 1587, 0 = -3*x - 4*r + 1195. Is x a composite number?
False
Let r be 1/(-3) + (-4144)/(-12). Suppose 0 = -4*u - 69 + r. Suppose 4*m - u = -9. Is m prime?
False
Suppose 8 = r - 4*f - 3, f + 29 = 4*r. Let p = -15 + r. Is (-88)/(-9) + p/(-36) a composite number?
True
Let u(q) = 4*q - 1. Let k be u(1). Is -57*(-3)/(k + 0) prime?
False
Suppose -3*d + 2*n = -27, -2*d = -2*n - n - 23. Is (d/(-3))/((-15)/855) composite?
True
Let n be -1 + 5*-1 - 2. Let v = 48 - n. Suppose 0 = 3*z - v + 14. Is z prime?
False
Suppose -t - 2*p + 3 - 5 = 0, -13 = -t + 3*p. Suppose 0 = c + 2*c + 4*b - 17, t*b - 8 = 0. Suppose -c*d = -64 - 95. Is d prime?
True
Suppose 3*o = 16 - 4. Suppose 0*b = o*b - 156. Is b prime?
False
Suppose -141 + 3 = -3*r. Is r a prime number?
False
Suppose -2*x - 2*x - 16 = 0. Let y = x - -23. Is y prime?
True
Suppose 0*y - 1 = y. 