pose -s = u*s - x. Is s prime?
True
Suppose 7*q - 1584 = 3*q - 4*j, -2*j + 10 = 0. Is q composite?
True
Suppose 8 - 47 = -3*v. Suppose 0 = 3*o - 9, 2*t - t + 2*o = v. Is t a composite number?
False
Let b = -114 - -61. Suppose -3*y = -228 - 108. Let m = b + y. Is m composite?
False
Let a(k) = -5*k**3 - 5*k**2 + 13*k + 5. Let i(f) = f**3 - f**2 - f + 1. Let g(q) = -a(q) - 4*i(q). Is g(-8) a prime number?
True
Suppose -8*r + 8656 + 440 = 0. Is r prime?
False
Let d(s) = 59*s + 12. Let g be d(6). Let b = g - 127. Is b prime?
True
Let a = 2 - -73. Let w = 202 - a. Is w prime?
True
Let k(l) = -l**2 + 3*l + 3. Let i be k(3). Suppose 0 = -i*z - 65 + 458. Is z a composite number?
False
Is (-1478)/(-22) - (-12)/(-66) prime?
True
Let v(c) = -c**3 - c**2 + c - 7. Let t be v(0). Let i = t + 11. Suppose -i*u - u + 70 = 0. Is u a prime number?
False
Suppose 2*n - 225 - 157 = 0. Is n composite?
False
Suppose -4*q = -2*n + 18, 3*n - 6*q + 2*q - 25 = 0. Let f(i) = 9*i**2 - 5*i + 4. Let o be f(n). Suppose 2*y + l - 181 + 26 = 0, -o = -5*y + 5*l. Is y composite?
False
Let w = -152 + 29. Let j = w + 200. Is j prime?
False
Let u(f) = -f**2 - f + 35. Suppose 2*m = 1 + 5. Suppose 2*l = -3*j + 6, -5*l - m*j - 2 + 8 = 0. Is u(l) a prime number?
False
Let j(g) = g + 14. Let k = -2 - 4. Let s = k + 6. Is j(s) a prime number?
False
Let o(y) = -5*y**3 + 10*y**2 - 7*y - 7. Let d(b) = 9*b**3 - 19*b**2 + 13*b + 13. Let v(h) = -6*d(h) - 11*o(h). Let i be v(-5). Is (-3)/(2 + i/6) prime?
True
Suppose 0 = -10*v + 14*v - 260. Is v a prime number?
False
Suppose 0 = -3*x + 3*g + 27, -2*g + 11 = 5*x + 1. Let p = 1 + -2. Is p/x + (-213)/(-4) composite?
False
Let m(r) = 16*r + 3. Let w(j) = 32*j + 5. Let i(q) = 7*m(q) - 4*w(q). Suppose 24 = -p - 5*p. Is i(p) composite?
True
Is 1*((1576 - -1) + -3) a prime number?
False
Suppose 4*x + 3*r = -46 + 227, 2*x = 4*r + 118. Suppose -5*k - 68 = 107. Let g = x + k. Is g prime?
False
Let j = 0 - -1. Suppose 24 = 3*z - z. Is (z - 6/(-3)) + j a prime number?
False
Suppose 0*a = 4*a - 4. Is -1 - (-77 + a/(-1)) a composite number?
True
Let h = 102 + -67. Is h a prime number?
False
Is -9*(770/(-6) + 4) a prime number?
False
Suppose 3*a - 3354 = -3*a. Is a a composite number?
True
Let y(j) = j**2 - 7*j + 4. Let q be y(6). Let a be -2 + (-134)/q + -2. Suppose -6*x + a = -x + g, -5*x + 69 = -2*g. Is x prime?
True
Let x(r) = -3*r**3 + 7*r**2 - 2*r + 19. Let v(u) = u**3 - 3*u**2 + u - 9. Let z(s) = 13*v(s) + 6*x(s). Let b be z(-3). Let h = -101 + b. Is h composite?
True
Let u be (-9)/(-5) + 9/45. Let t(y) = -y**2 - u*y + 177 + 3*y + 14. Is t(0) a prime number?
True
Suppose 4*q - 3*h - 15 = q, 2*q = 5*h + 10. Suppose -183 - 132 = -q*t. Suppose -p - t = -166. Is p prime?
True
Let g(q) = q**2 + 13*q + 29. Is g(20) a composite number?
True
Suppose w = 2*w. Suppose 0 = -w*t - t + 53. Is t a composite number?
False
Let z = 174 - 80. Is z a prime number?
False
Suppose 4*n - 1354 = 2*m, -4*m + m = -15. Is n prime?
False
Let w = -112 + 158. Let u be 2/4*(-6 - 1 - -7). Suppose -5*s + 43 = -2*z - w, u = s + 2*z - 25. Is s a composite number?
False
Let h(k) = 3*k + 10. Let w be h(-5). Let t(a) = -44*a - 1 - 34*a + 28*a. Is t(w) prime?
False
Suppose q = -2*q + 2127. Is q a prime number?
True
Let k(w) = w**2 + 0*w**2 - 3*w - 12 - w. Is k(9) prime?
False
Let k(h) = -2*h**2 + 23 - h**2 + 2*h**2 + 0*h**2. Is k(0) prime?
True
Suppose 0 = -4*u + 3*u + 2. Suppose 0*b = 3*b + 1503. Is u/(2 - 8)*b composite?
False
Suppose 5*o - 7*o + 78 = 0. Is o prime?
False
Let u = 5 + 10. Is u a composite number?
True
Suppose 0 - 1 = -s. Let z = 2 - s. Suppose -32 = -3*x + z. Is x a prime number?
True
Let l be (2/1)/(6/285). Let c = -42 + l. Is c a composite number?
False
Let o = 552 - 311. Let u = o - 144. Is u a prime number?
True
Suppose 3*q = q + 6. Suppose -129 = -0*l - q*l. Is l a prime number?
True
Suppose -6*b + 5*b = -10. Suppose b + 245 = 5*w. Is w a prime number?
False
Suppose -g - 4*o - 15 = 0, o + 0 = 5*g - 30. Let k be (-9 + 1)*g/(-10). Suppose k*d = 34 + 66. Is d composite?
True
Let a(z) = -6*z**2 - 4*z - 4. Let f be a(-5). Let u be (-283)/(2/(-1) - -1). Let s = u + f. Is s a composite number?
False
Suppose q - 45 = -4*q. Suppose 0 = t - 3*h + 3, -2*t - q + 4 = -5*h. Suppose n + t*n = 127. Is n a composite number?
False
Let i be (0 + -5)*3/(-3). Let b(g) = -g**3 + 8*g**2 - 5*g + 3. Is b(i) prime?
True
Let p(k) = 2*k**3 - k + 1. Let h be p(1). Suppose h*q = 5*q - a - 26, 2*q - 5*a - 39 = 0. Is q prime?
True
Is 4*(-11)/(-4)*47 composite?
True
Suppose 8 = -12*t - 16. Suppose 5*a - 110 - 135 = 0. Let f = a + t. Is f a prime number?
True
Is 0/1 - (-21 + -2158) a prime number?
True
Let f be 34/(-14) + (-6)/(-14). Let j be 0/f - (-6 - -6). Is 41 - j - 6/(-3) a composite number?
False
Let m(b) = -b**3 - b**2 - b + 1. Let q(g) = 25*g**3 + 4*g**2 + 6*g - 6. Let a(p) = 5*m(p) + q(p). Is a(1) composite?
False
Let i = 2 - -1. Suppose -i*m + 55 = -2*m. Is m composite?
True
Let n = 21 - 11. Let k be (-4)/n*50/(-5). Suppose k*z - 9*z + 745 = 0. Is z composite?
False
Suppose -4*d = 2 - 1486. Is d prime?
False
Let g(o) = 7*o - 2. Is g(19) a prime number?
True
Let c = 103 - 24. Is c a prime number?
True
Suppose 0 = 3*n - 787 - 251. Is n prime?
False
Suppose 3*g = -253 + 1714. Is g a prime number?
True
Let z = -8 + 13. Let d = 10 - z. Let x(a) = 4*a + 1. Is x(d) a prime number?
False
Suppose -2*s - 510 = -3*s. Is s/4 + (-13)/26 a prime number?
True
Suppose -2*s = -1125 - 485. Suppose -3*n + 648 = -5*h, 3*h - 30 = -4*n + s. Is n a composite number?
False
Suppose -2*s + 15 = s. Suppose 2*p - 2*n - 164 = 0, 3*n = -p - 3*p + 363. Suppose -4*g = -p - s. Is g a composite number?
False
Suppose 0 = -w - 2*w + 549. Is (-1)/9*-21*w composite?
True
Let h(k) = -k**2 - 5*k - 1. Let t be h(-4). Suppose 5*r - 5*b - 960 = 0, 0 = t*r - 2*b + 84 - 655. Is r a prime number?
False
Let z(p) = 185*p + 2. Let u(f) = -92*f - 1. Let g(v) = 13*u(v) + 6*z(v). Let o(k) = -k + 5. Let i be o(6). Is g(i) a composite number?
True
Let d = 250 + 232. Is d composite?
True
Let d(z) = 7*z**2 + 6*z - 5. Let n be d(-5). Suppose j = 3 + 2, -n = -5*k - 5*j. Is k a prime number?
True
Suppose -5*v = -v + 16, 0 = -2*r - 5*v + 210. Is r a composite number?
True
Let k(t) = 543*t**2 + 2*t - 1. Let o be k(1). Suppose -a - 3*i + o = 3*a, -5*a = -i - 699. Is a composite?
False
Let z = -5 - -58. Is z a prime number?
True
Suppose 13*l - 8*l = 3695. Is l a composite number?
False
Suppose -5*x + 1786 = 4*o, -1433 = -4*x - 0*x + o. Is x a prime number?
False
Let y(f) = 2*f + 6*f + 6 + 9*f + 5*f - f**2. Is y(15) a prime number?
False
Let v = 0 - -4. Suppose -3*g = -6*g - v*f + 1939, 0 = 3*f - 12. Is g a composite number?
False
Let g(r) = -5*r**3 + 3*r**2 + r + 4. Is g(-3) a prime number?
True
Let d(z) be the first derivative of 2*z**3/3 - 3*z**2 + 3*z - 4. Is d(5) prime?
True
Let x be (-1)/(-2) - 43/(-2). Suppose -5*j + 4*t + 217 = -x, -5*j + 3*t + 238 = 0. Suppose -y + j = 3*n, -95 = -5*n - 0*y - 5*y. Is n prime?
False
Suppose -846 - 14 = -5*y. Suppose 232 = 4*f - 0*p - 4*p, -p = -3*f + y. Is f a composite number?
True
Let r = 2854 - 1901. Is r a prime number?
True
Is (-14)/2*(1 - 14) a prime number?
False
Suppose 0*r + 98 = -r - 4*y, 2*r = -4*y - 208. Let f = r + 329. Is f a composite number?
True
Let w(q) = 2*q - 3. Let p(b) = 5*b - 6. Let g(o) = -6*p(o) + 11*w(o). Is g(-4) prime?
False
Let q(m) = -m**3 + 8*m**2 + 14*m - 16. Is q(7) prime?
True
Let w(u) be the third derivative of -u**5/60 + u**4/6 + u**3/2 + u**2. Is w(4) prime?
True
Let b(d) = 71*d - 19. Is b(16) composite?
False
Is (5537/14)/(((-15)/6)/(-5)) prime?
False
Let b = -95 - -54. Let z = -22 - b. Is z prime?
True
Let f(a) = 3*a**2 - 17*a + 13. Is f(13) a composite number?
True
Let s(c) = c**2 + 7*c + 4. Let f be s(-4). Let z be (f/(-3))/(1/(-9)). Let i = z - -55. Is i prime?
True
Let i(z) = z**3 + 2*z**2 - 6*z - 5. Let k be i(-3). Suppose -872 = -4*v - k*v. Is v prime?
True
Let m(r) = 5*r + 7. Is m(14) prime?
False
Let y = -1 + 3. Let z be 1*(-6)/(-3) + y. Suppose q - 325 = -z*q. Is q a prime number?
False
Let r(s) = 2*s. Let k(i) = 2*i + i - 2*i. Let g be k(3). Is r(g) a prime number?
False
Let g(s) = 18*s**3 + s**2 - 3*s + 1. Suppose -r = 4*r - 10. Is g(r) a prime number?
False
Su