8 prime?
True
Let n be -3*(-5)/(30/16). Let w(m) = -m**3 + 10*m**2 - 8*m + 1. Is w(n) prime?
False
Let m = -365 - -1038. Is m a prime number?
True
Suppose -2*q + 2597 = 5*q. Is q prime?
False
Let k = 151 - 43. Let v be (4/(-4))/((-3)/k). Is ((-62)/(-4))/(6/v) a prime number?
False
Let f(h) = 2*h - 3. Let g be f(3). Let b(c) = -c**3 - 3 - 2*c**2 - g*c + 0 + 0*c**3. Is b(-2) composite?
False
Let i be 0/(5/(20/(-8))). Is (164 - 2) + (-1 - i) a prime number?
False
Suppose 0*t = 2*t - 4. Let k be 3/(1191/(-1200) - -1). Suppose 0 = w - 2*h - 135, -3*w = -t*h + h - k. Is w composite?
True
Let x = -66 - -125. Is x composite?
False
Suppose -10 = 4*k - 26. Suppose v + 45 = -k*v. Is (-21)/v*(4 + -1) composite?
False
Let m(g) = -4*g - 6. Let a be m(5). Let u = 63 + a. Is u composite?
False
Suppose -214 = 3*m - 694. Suppose -5*i = -2*s - 825, 2*i - m = -5*s + 141. Is i prime?
True
Let f be -295*(2 - (4 + -1)). Suppose f = 14*c - 9*c. Is c prime?
True
Suppose -j = 2*j - 12. Suppose 5*h - 143 = 2*h + o, -3*o = -j*h + 184. Suppose 0 = 5*p - 336 - h. Is p a composite number?
True
Suppose 0 = 3*w - 3*z - 12, 0 = -w + 4*z - 6 + 22. Suppose 4*v - s - 4 = w, 5*v + 0*v + 4 = -s. Suppose v*a + a = 23. Is a composite?
False
Is (-2)/(8*-1)*236 a prime number?
True
Suppose -2*i + 15 = 3. Is 255 + i/(-2) - -2 prime?
False
Let g be 0*(-4)/4 - 65. Suppose -102 - 134 = -2*m. Let c = g + m. Is c a composite number?
False
Let t(a) = 49 - 4*a - 9 + 79 + 3*a. Is t(0) a prime number?
False
Suppose 0 = 2*v + 4 - 8. Is 1/v + (-342)/(-4) a composite number?
True
Let j(w) = -11*w + 85. Let q(v) = 2*v - 5*v + 58 - 2*v - 15. Let g(i) = -6*j(i) + 13*q(i). Is g(0) a prime number?
False
Let g(k) = 8*k**2 - k + 1. Is g(2) a composite number?
False
Let x(v) = v**3 + v**2 + 3. Let s be x(0). Suppose 2*d - s = d. Suppose 0 = -o - 4*k - d, 2*o + 0*o - 4*k = 30. Is o a composite number?
True
Suppose 5*l - 3*l = 0. Suppose -13 = -k - l. Is k a prime number?
True
Let m = 11 - -10. Let a = m + 2. Is a a prime number?
True
Let x(u) = -u - 1. Let o be x(-5). Suppose -215 - 309 = -o*b. Is b prime?
True
Let f be 195 + (-4)/(-2) + -3. Suppose 3*a = a + f. Is a a composite number?
False
Suppose -4*g + 12086 = -2*i, 0*g + i = -g + 3014. Is g a composite number?
False
Suppose -2*l - 2292 = -14*l. Is l a composite number?
False
Let k(i) = 36*i**2 - 5*i - 8. Is k(-5) prime?
False
Suppose o + 20 = 5*o. Let a = 1 + o. Is a composite?
True
Let h be -2*(0 + (-6)/3). Suppose 101 = -2*p + 3*p + h*t, 2*p = -4*t + 190. Is p composite?
False
Suppose -i = -2*i + 631. Is i a composite number?
False
Is (-4)/(-18) - (-12063)/27 composite?
True
Let g = 62 + 231. Is g a composite number?
False
Let f = 652 - 331. Is f composite?
True
Suppose g - 36 - 17 = 0. Is g prime?
True
Suppose h = 3*q - 64, 5*q - 6*h - 95 = -2*h. Suppose -3*t + q = -256. Let s = t - 56. Is s composite?
False
Is (-2)/2*-544 - 3 a composite number?
False
Suppose -11*q + 921 = -8*q. Is q prime?
True
Let s(y) = -210*y + 1. Is s(-3) a prime number?
True
Suppose 128 - 54 = 2*d. Is d prime?
True
Let s = -108 + 310. Is s a composite number?
True
Suppose -3*p - 2*p = -2755. Is p a composite number?
True
Let f = 10 + -7. Suppose -24 = -d + f*d + 4*z, 4*z - 20 = 0. Let h = d + 75. Is h prime?
True
Suppose 3*d = 1236 + 327. Is d composite?
False
Is 2827/33 + (-2)/3 a prime number?
False
Suppose -4*n = n. Suppose n = -5*f + 24 - 94. Is 0 + 2 + f/(-2) prime?
False
Let f = 134 - -263. Is f composite?
False
Let o = 726 - 353. Is o a composite number?
False
Let g(r) = -7*r**3 + 7*r**2 + 4*r + 13. Let p be 5/(-2) - (-9)/6. Let b(f) = f**3 - f - 1. Let m(x) = p*g(x) - 6*b(x). Is m(7) a composite number?
False
Let x = 0 - -2. Suppose 0 = 5*z + 1 + 9, x*d - 4*z - 18 = 0. Suppose 0 = -m - v - v + 12, 65 = d*m + 5*v. Is m composite?
True
Let m = -7 - -1. Let y = 2 - m. Suppose 3*j + y = 71. Is j a prime number?
False
Let k(d) = 7*d**3 - 6*d**2 - 7*d + 1. Is k(5) prime?
True
Let x be (-26)/(-4) - (-2)/(-4). Suppose -2*m - 2*m - 12 = 2*o, m = 4*o + x. Is (3/(-4))/(o/88) a prime number?
False
Suppose -4*t + 0*t - 108 = 0. Is ((-1143)/t)/((-2)/(-6)) composite?
False
Let t(q) = -q**3 - 6*q**2 - 5*q - 5. Let g be t(-6). Let w = g - -30. Is w prime?
False
Suppose 0 = -2*x - 2*x. Suppose x*d - 526 = -2*d. Is d a composite number?
False
Suppose r + 4*r + 3*j = 2248, 1795 = 4*r - j. Is r a composite number?
False
Let q be (-3)/(-12) + 21/12. Let u be -2*(1/q + 1). Is 1/((-238)/(-79) + u) composite?
False
Is (132/30)/((-4)/(-10)) prime?
True
Suppose 0 = -2*f - 367 + 1637. Is f a composite number?
True
Let g = 118 + -65. Let m = 67 + g. Suppose 0 = -2*j + m + 122. Is j composite?
True
Let j = -496 - -1545. Is j composite?
False
Suppose 110 = 2*o - 40. Let v = o - 49. Is v prime?
False
Let b = 12558 + -6835. Is b a composite number?
True
Suppose -3*c - 166 = -5*c. Is c composite?
False
Let s(d) = -3*d**3 - 5*d**2 + 7*d. Let r(a) = 4*a**3 + 5*a**2 - 8*a - 1. Let m(z) = 2*r(z) + 3*s(z). Let c be m(-5). Is (-3 + c)*(-1)/2 a prime number?
False
Suppose -4*t + 576 = -68. Is t a prime number?
False
Let u = -483 - -795. Suppose -u = -t - t. Let k = -107 + t. Is k prime?
False
Suppose 3*n + 2*g = -14, -2*g - 16 = 4*n - 0*n. Is ((-15)/n + 3)*2 a composite number?
True
Let w(j) = 11*j**2 + 2*j + 10. Let g be ((-2)/3)/((-2)/15). Is w(g) a prime number?
False
Is (2/(-18)*3)/(4/(-12972)) a composite number?
True
Suppose -2*r = 2*r - 18812. Is r a prime number?
True
Suppose -5*n - 5 = -4*m + 1, 4*n + 3*m = -11. Let j be n/5 + (-73)/5. Let k = j + 28. Is k a prime number?
True
Suppose 4*g + 73 + 111 = c, 0 = 3*g + 5*c + 115. Is (-10)/75 + (-3876)/g composite?
True
Let t(f) = f**2 - 2. Let b be t(2). Let q = 2 + -2. Suppose b*g + q*g = 158. Is g a composite number?
False
Let v = -10 - -10. Suppose 0 = -k - v*k - 3, 0 = 5*s + 2*k - 739. Is s a prime number?
True
Let t(l) = l + 1. Let v be t(0). Is (0 + 56 - v) + -2 composite?
False
Let g(c) = 2*c - 8. Let w(b) = b**2 + 6*b - 9. Let r be w(-8). Let i be g(r). Suppose i*y = 4*y + 92. Is y a prime number?
False
Let t(r) be the first derivative of r**4/4 + 7*r**3/3 + r**2/2 + 10*r - 2. Let p be t(-7). Is 1*21/(p/3) a prime number?
False
Suppose 0 = -10*q + 8*q + 102. Is q a composite number?
True
Let q = -10 + 5. Let y = q + 7. Suppose 0 = k + c - 258, 2*c + 335 + 185 = y*k. Is k prime?
False
Suppose -4*j + 3*h = -957, -2*j + 6*h - 3*h = -483. Is j prime?
False
Suppose -x - 3*x = -856. Suppose -59 = -i + 3*t, 0*t - x = -4*i + t. Is i a prime number?
True
Is (-1 + 0)/((-11)/5533) prime?
True
Let t = 122 - 55. Is t a composite number?
False
Let x = -6 - -10. Suppose b + x = 2*t, 0 = -3*t - 2*b - 0*b - 8. Suppose -s + 37 = -t*s. Is s prime?
True
Suppose 0 = -w + 5*w. Suppose -5*m + 176 + 99 = w. Is m prime?
False
Let l be 2/5 - (-427)/(-5). Let f(i) = -10*i**2 - 2*i. Let j be f(-4). Let z = l - j. Is z a composite number?
False
Suppose h - 3 = -1. Let x(y) = 49*y**2 + y + 3. Is x(h) composite?
True
Let j(g) = g - 3. Let t be j(5). Suppose -t*p - 15 = -109. Is p prime?
True
Let n(z) = 62*z + 29*z + 11*z - 1 + 84*z. Let d be n(3). Suppose 0 = 5*h + 82 - d. Is h prime?
False
Let q(x) = 68*x**3 + x**2 - x + 1. Let n be 0 - -2 - 3/3. Is q(n) prime?
False
Let v be (-4)/8 + 2/4. Suppose -3*h + 5*h + 14 = v. Is h*(12 + 2)/(-2) a prime number?
False
Let j be (2/2 - 2)*5. Let a(b) = -5*b**2 - 4*b - 6. Let h(o) = -5*o**2 - 3*o - 5. Let q(i) = j*h(i) + 4*a(i). Is q(-2) a prime number?
True
Suppose 0 = 4*j + 8, -u + 4*j + 327 + 1339 = 0. Let o = -729 + u. Is o a composite number?
False
Suppose 7*t = -5*z + 3*t - 12, -3*z + t = -3. Suppose 3*w - 3*a - 307 = w, z = 3*w - 2*a - 453. Is w a prime number?
True
Let v(g) = 1014*g**2 - g. Let q be v(-1). Suppose 0 = -5*y - 5*l + q, 5*y - 4*l - 995 = l. Is y composite?
True
Let z(g) be the second derivative of -g**3/2 + 7*g**2/2 - g. Let a be (3 - -1)*6/(-4). Is z(a) a composite number?
True
Let q = 361 + -242. Let j = -45 + q. Is j a prime number?
False
Let s(a) = -7*a**3 - 19*a**2 + 11*a + 16. Is s(-9) composite?
True
Suppose -3*d = 4 + 5. Is d + 2/3*228 composite?
False
Let w be 0/(-2) - -53 - 1. Let p = 89 - w. Is p a prime number?
True
Let q(u) = u. Let d be q(2). Suppose -5 = -d*k - 3*k. Is (-51 + (-1 - k))/(-1) a pri