-2*s + 0*s = -a. Is s prime?
True
Suppose -3*w = z + 6, -5 = -z + 2*w - 1. Is z + 1 + 83 + 1 a prime number?
False
Let m(j) = j**3 - 2*j**2 - 6*j + 9. Let c be m(3). Suppose 11 = 2*l + 5*b, 0*l - l = -5*b + 2. Suppose t + 3*r + 45 = 2*t, c = -4*t - l*r + 150. Is t prime?
False
Suppose -a + 2*a + 2*x = 8, 2*a = -5*x + 15. Let l(c) = -c**2 + 15*c - 15. Is l(a) a prime number?
False
Let v be (-9)/6*12/(-9). Suppose -v*b + 418 = -4*h, 0*h = -4*h. Is b a composite number?
True
Let c = -2 - -3. Let i be (33*c)/(-3) + 2. Let v(k) = -k**3 - 9*k**2 - 3*k - 13. Is v(i) prime?
False
Suppose 0 = 4*v + q - 128, 0 = 5*v + 2*q - 17 - 140. Is v composite?
True
Let u = 8402 + -4029. Is u composite?
False
Let q = 69 + -68. Let y(h) = h**3 + 5*h**2 - 10*h - 8. Let f be y(-6). Suppose a + q = f. Is a composite?
True
Let h = -4 - -2. Let d be 0 + (36/3)/(-2). Is ((-445)/(-15))/(h/d) composite?
False
Let x be 2/(-7) - (-284)/14. Suppose x = 3*z + 2*z. Suppose a - 31 = -y, 2*a = z*a - 2*y - 62. Is a prime?
True
Let a(x) = x**2 - x - 8. Let s(g) = -g**2 + g + 9. Let l(k) = 4*a(k) + 3*s(k). Is l(5) a composite number?
True
Suppose 3*z = -j + 6 + 12, 2*z - 5 = -3*j. Let i = z + -5. Is (-86)/(-4) - 1/i composite?
True
Let v(l) = l - 11. Let f be v(13). Is f - (2 + 2 + -117) prime?
False
Let g be 1569/6 + 5/10. Let z = g - 83. Is z a prime number?
True
Let c = -28 + -47. Let v = c + 190. Is v composite?
True
Let x = 331 - 224. Let g = 3 - 3. Suppose 4*u - 9*u = -4*j - x, j + 3 = g. Is u prime?
True
Is (-10)/(-55) + ((-223662)/22)/(-3) a composite number?
False
Suppose 5*g - 88 - 132 = 0. Suppose 6 = 2*v + g. Is (1 + 1)/((-2)/v) a composite number?
False
Is 134/2 + 0/8 composite?
False
Suppose r - 4 = -0*r. Suppose -204 = -r*p + 2*i, 0 = -5*p + 2*i - i + 261. Is p a composite number?
False
Let z be (-2 + 6)*(-1)/(-2). Suppose -f + z*f = u - 19, 3*u = -f + 57. Suppose k + 4 = -5*v, -k - u = -3*k - v. Is k a composite number?
False
Is (-669)/(-12)*(-16*1)/(-4) a composite number?
False
Let o(t) = -t**3 + 4*t**2 - 2*t - 1. Let i be o(2). Is i + (-249)/(-3) + -1 composite?
True
Suppose -5*b + 295 = -0*b. Is b prime?
True
Suppose -w + 3*w - 22 = -4*h, -h - 3*w + 8 = 0. Let v(x) = x**2 + 1. Let r be v(2). Suppose h*y - k = k + 85, 5*y = -r*k + 50. Is y a prime number?
False
Suppose -467 = 11*b - 12*b. Is b a prime number?
True
Let x = 11 - 9. Suppose 3*j = -4*s + 1502, -x*s + 4*j = -s - 385. Is s a prime number?
False
Let d(o) = o**3 + 7*o**2 + 9. Let h be d(-7). Let t(r) = 3*r + 4. Is t(h) a composite number?
False
Suppose 0 = -4*y + 7*y - 3117. Is y prime?
True
Let c(g) = -11*g**3 + g + 3. Let a be c(-2). Let f(v) = -v**2 + 2*v + 5. Let z be f(-7). Let r = a + z. Is r a composite number?
False
Let k(u) = -15*u + 4. Is k(-3) a prime number?
False
Let z(g) = -g**3 + g**2 - g. Suppose 4 = -0*j + j. Let b(c) = 3*c**3 + 7*c**2 - 2*c + 5. Let a(f) = j*z(f) + b(f). Is a(8) composite?
False
Let o(a) = 3*a**2 - 1. Let q be 2/6*15/(-5). Let c be o(q). Let d = c + 57. Is d composite?
False
Let p(z) = -2*z**2 + 3*z - 7. Let j be p(4). Is 745/9 - 6/j a prime number?
True
Let s be 344 - (1 + (-6)/(-2)). Suppose 3*q - 851 - s = 0. Is q composite?
False
Suppose 4 = 3*q - q + 2*h, 0 = 3*h + 3. Suppose -327 = -2*f - o, -96 + 599 = q*f + 4*o. Is f a prime number?
False
Let p = 112 + -45. Is p prime?
True
Let s(c) = c**3 + 18*c**2 + 14*c - 1. Is s(-14) a composite number?
False
Suppose -5*t + 3 = -4*t. Suppose t*y - 4*y + 89 = 0. Is y a composite number?
False
Let m = 10 + 59. Is m a prime number?
False
Suppose -k = -0 - 2. Suppose -13 = -a + k*u, 3*u + 102 - 30 = 5*a. Is a composite?
True
Suppose 4*l - 3*q = -4*q + 8, 0 = 5*l + 5*q + 5. Suppose -2*n + l*n - 37 = 0. Is n a prime number?
True
Let o(d) = -58*d - 21. Is o(-4) composite?
False
Suppose -2*z - 99 + 857 = 0. Is z composite?
False
Let w(k) = -3*k + 6. Let f be w(-7). Is (-18)/f*(-1461)/2 a composite number?
False
Let s = 1 + 2. Suppose s*b - 1392 = -b. Suppose 4*o + 0*z = -4*z + b, o = 3*z + 71. Is o a composite number?
False
Let j = -23 + 78. Is j prime?
False
Suppose -i = c - 178, -i + 6*c - 4*c = -163. Let o = -90 + i. Is o composite?
False
Let a = -1616 - -2336. Let c = a + 101. Is c composite?
False
Let p = 12 - 7. Suppose p*t - 6*t = -83. Is t a composite number?
False
Let k(w) = -w**3 - 7*w**2 - 8*w - 9. Let n be k(-6). Suppose 6*r = n*r + 90. Let t = r + 7. Is t a prime number?
True
Let d(y) = 252*y**3 + y. Is d(1) a prime number?
False
Suppose -2*h - 5067 = -4*p + h, -h - 3794 = -3*p. Is p a composite number?
True
Suppose 459 + 2281 = 5*l. Let s = l - 371. Is s prime?
False
Suppose -17 = -5*m + 4*q, -22 = -4*m - 3*q + 4. Suppose 0 = 5*w + 2*i - 6, -4*w + 4 = -i - 6. Suppose -5 = -z, -m*z - 38 = -l + w. Is l composite?
True
Let w(f) = f**3 + 8*f**2 + 7. Suppose 4*g = 3*g - 4*m + 7, 1 = m. Suppose -2*a = -4*u - 26, u + g*a = -0*u - 3. Is w(u) composite?
False
Let u(d) = -2*d**3 - 3*d**2 - d. Let v be u(-2). Let z be (-2)/v - (-28)/12. Suppose o + 5*m = -0*m + 5, -z*o = m - 28. Is o a composite number?
True
Let o = -626 + 1065. Is o a prime number?
True
Let o(t) = -32*t - 1. Let x be o(-3). Let m = x + -38. Is m a prime number?
False
Suppose -6*d + 15*d - 19377 = 0. Is d prime?
True
Suppose -p = -2*z - 3985, 4*z - 6*z - 15934 = -4*p. Is p prime?
False
Suppose v + 3*n = n + 5733, -v - 4*n + 5735 = 0. Is v a prime number?
False
Let n = 1057 + 3144. Is n a composite number?
False
Let h = -55 + 337. Let x = 145 + h. Is x a composite number?
True
Let g(l) = -4*l**3 + 5*l**2 + l - 27. Is g(-8) a prime number?
True
Let f(s) = s. Let t be f(3). Suppose -t*w = w - 636. Is w a composite number?
True
Let r(m) = 2*m - 25. Let v(w) = -w + 12. Let a(j) = 2*r(j) + 5*v(j). Is a(0) composite?
True
Is (-3)/(12/(-2230))*2 composite?
True
Is (-13694)/(-12) - (33/(-18) + 2) prime?
False
Let r(q) = 3*q**3 - 2*q**2 + 1. Let o be r(1). Suppose t + o*t = 9. Is t prime?
True
Suppose -6*h + 0*h + 42 = 0. Suppose -4*t + 3179 = 5*v, 1910 = 3*v - 2*t + h*t. Is v a prime number?
False
Let j(w) = 41*w + 10. Let z be 1/(3/36) + -3. Is j(z) a prime number?
True
Suppose -h + 2*r + 941 - 228 = 0, 703 = h + 3*r. Is h composite?
False
Let n = -949 + 1916. Is n prime?
True
Let o be 1/(-3)*0 - -9. Suppose -3*t = -o - 21. Is (2/(-5))/((-2)/t) prime?
True
Let f(x) = x + 2. Let u be f(5). Let k = -5 - -5. Let t = k + u. Is t composite?
False
Suppose 2*f - 3*f = -3. Is f/2 + 2865/30 a prime number?
True
Let v be 2/3 + (-26)/(-6). Suppose -w = 28 - v. Let r = w + 48. Is r prime?
False
Let r(t) = 18*t**2 - 25*t + 1. Is r(-10) a composite number?
True
Suppose 4*g + 2*w + 61 + 791 = 0, -2*g - 5*w = 434. Is g/(-6)*12/8 a composite number?
False
Suppose 0 = -o - 3 - 0. Let q be (1 + o - -2) + 3. Suppose -268 + 0 = -5*i - w, 0 = -q*i - 5*w + 174. Is i composite?
False
Suppose 12 = -4*o, 0 = -4*w - 0*w + 3*o + 13. Is (w - -1)*(-637)/(-14) a prime number?
False
Let t = 612 - 181. Is t a prime number?
True
Let r be (-215)/5 - (5 + -2). Suppose 3*k - 215 = -2*i, 5*k - 350 = -3*i - 2*i. Let n = k - r. Is n a prime number?
False
Suppose -2*s - 34 = 2*h, 5*h = 3*h + s - 19. Let i = 4 + h. Let q = i + 18. Is q composite?
True
Suppose 3*m - 7*m = 4*a + 8, 4*a = -m + 7. Let q = a + 7. Suppose -2 = -4*u + q. Is u composite?
False
Let m = 1452 - 914. Is m prime?
False
Let b = 1 + 0. Is 6 + (3 - 3/b) a prime number?
False
Let b(q) = 3*q**3 - 7*q**2 + 13*q - 23. Let d(p) = p**3 - 2*p**2 + 4*p - 8. Let r(t) = 4*b(t) - 11*d(t). Is r(5) prime?
True
Let v be 4/((-8)/(-102)) - 0. Is -2 + 4 + v*5 composite?
False
Let b be 52/(-14) - 6/21. Let s be 1/b - (-15)/12. Is (-54 + s/1)*-1 prime?
True
Suppose -4*t + 2*l = -t - 1325, 4*t = 4*l + 1760. Is t a composite number?
True
Suppose -5*s + s = -16. Suppose -s*x = -7*x + 126. Suppose -5*k + x = -123. Is k a prime number?
False
Suppose 69 = 3*m - 2*m. Is (-2)/3*m/(-2) composite?
False
Suppose 5*y = -5 + 15. Let x(f) = -f**3 + 5*f + 1. Let p be x(-4). Suppose -y*k - 9 = -o, 5*o - 5*k - 25 - p = 0. Is o prime?
True
Let z = 3 + -95. Let v = 181 + z. Is v composite?
False
Let h = -4593 + 7162. Is h prime?
False
Let h = -8 + 12. Suppose s = -h*s + 290. Is s prime?
False
Let v(i) = 52*i + 9. Is v(4) composite?
True
Suppose -5*d - 15 = 0, -106 - 456 = -2*q -