Is s a composite number?
True
Suppose -4*v = -0*v. Suppose -t = a + 3 - 5, 4*a + 2*t - 12 = v. Suppose o + o = a. Is o composite?
False
Is (-2)/7 - 5085/(-35) a prime number?
False
Let u = -7 + 9. Suppose -u*t = -88 + 14. Is t a composite number?
False
Suppose 0 = 3*n + 120 - 45. Let j = n - -7. Let i = -9 - j. Is i a prime number?
False
Suppose -2*b = 3*b - 3660. Suppose -b = -0*q - 4*q. Suppose t - q = -5*c, -6*c + 5*t + 195 = -c. Is c a composite number?
False
Suppose -6*m + 1156 = -5*m. Suppose -3*v - v = -m. Is v a prime number?
False
Suppose 0*z + 5*g + 250 = 2*z, 3*z + 2*g - 337 = 0. Is z composite?
True
Let s = 1375 + -510. Is s a prime number?
False
Let n(s) = -s**3 - 7*s**2 + 6*s + 1. Let l be n(-8). Suppose -2*a + 57 = j, 52 + l = j - a. Is j prime?
False
Let d = 376 - 143. Is d composite?
False
Let o = 118 - 61. Suppose 0 = 3*b - 2*b - o. Is b a prime number?
False
Let l = -322 - -147. Let p be ((-28)/(-1))/((-2)/7). Let b = p - l. Is b prime?
False
Let r(t) = 2*t**2 - 5*t + 3. Let u be r(3). Let a(b) = b**3 - 6*b**2 + 2*b - 9. Let c be a(u). Suppose 0 = c*s - 22 + 1. Is s a composite number?
False
Suppose -q + 5763 = 4*q + 4*y, 4*q - 4*y = 4596. Is q prime?
True
Is 35/28*88/2 a composite number?
True
Let q be (0 - 2/(-2)) + -2. Let g(v) = -90*v - 1. Is g(q) composite?
False
Is 791/35 + (-2)/(-5) a prime number?
True
Let o(w) = 17*w - 12. Suppose 6*l - 20 = l, 4*n - 2*l - 28 = 0. Let i be o(n). Is i/(-3)*-1 - 1 a composite number?
True
Suppose 3*u - 886 = -5*o, 5*u - 283 - 1137 = 3*o. Suppose 0 = 4*s - 4*f - 576, 2*s = 6*f - 3*f + u. Is s composite?
True
Let u(r) = r**2 + 3*r - 12. Let m be u(-6). Is 4/m*1236/8 a prime number?
True
Suppose f + 5 = 1, -3*n + 59 = f. Suppose 4*v + n = 77. Is v composite?
True
Let q(a) = -a**3 + a**2 + 191. Suppose -n - 2*n - 14 = -h, 0 = -5*h + 2*n + 18. Suppose h*j = j. Is q(j) a prime number?
True
Let p(f) = f**2 - 2. Let y be p(2). Let h(r) = 1 - r + r + 9*r**y. Is h(-2) a composite number?
False
Let j be 1/(-1)*(7 - 128). Let k = j + 105. Is k a prime number?
False
Let b(q) = 0 - 5 + 7*q + 0 - 2*q. Is b(4) composite?
True
Let k(h) = 126*h**2 - 7*h + 7. Is k(-4) a prime number?
False
Suppose -1525 = -3*a + g, -3*g = -5*g + 4. Is a a prime number?
True
Let q = 58 + 71. Suppose -2*j - 29 + q = 0. Suppose -2*x = 4*f - j, 0 = -2*f - 3*f - x + 70. Is f prime?
False
Let h(g) = -33*g**2 - 2*g + 12. Let q be h(8). Is q/(-6) - (-2)/6 a prime number?
True
Let n(r) be the first derivative of r**3/3 + r**2 + 4*r + 1. Is n(7) composite?
False
Let w(g) = 4*g**2 + 10*g - 9. Let z(j) = j**2 - 8*j - 13. Let y be z(10). Is w(y) prime?
True
Let d(k) = -17*k + 2. Let q be d(-8). Suppose -3*j + q + 21 = 0. Is j composite?
False
Let u = 264 + 100. Suppose -i = -5*i + u. Is i prime?
False
Let k(a) = -a + 1. Let j be k(-4). Let w(x) = 4*x - 7. Is w(j) prime?
True
Let o(k) = k**3 + 7*k**2 - 9*k - 4. Let c be o(-8). Let m be 6/c + (-15)/2. Is 3 + m + 2 + 212 composite?
False
Let w = 15 - 4. Let m = -128 + 128. Is (m - (-1 - 0))*w a composite number?
False
Let l(m) = m**2 + 2*m + 3. Let g be l(-6). Let f = 10 + g. Is f prime?
True
Suppose z + 213 - 27 = 5*w, 0 = -4*z + 2*w - 654. Let g = -97 - z. Let c = g - 39. Is c a composite number?
True
Let v(b) = -b**3 - 3*b**2 + 3*b + 2. Is v(-5) a composite number?
False
Suppose -r + 4990 = 9*r. Is r a prime number?
True
Is (-1)/2*-10*43 composite?
True
Let c(y) be the first derivative of -3*y**4/2 - y**3/3 + y**2/2 + y + 2. Let l be c(-1). Suppose -z + l*u = 2*z - 14, 4*z + u - 57 = 0. Is z prime?
True
Let d be 3*-1 + (3 - -2). Suppose -2*u = 2*b + u - 529, 781 = 3*b + d*u. Is b a prime number?
True
Suppose 0 = -3*l - 3*i + 1575, -3*l - 5*i = -1082 - 501. Is l prime?
True
Suppose -2158 = -2*b + 4*z, -2*b + 5*z - 2194 = -4*b. Let u = 1776 - b. Is u composite?
True
Suppose 0 = 5*x - 3*y - 407, -5 = y - 1. Is x a composite number?
False
Suppose -3*i = 5*x - 67, -2*i - 4*x + 31 + 15 = 0. Let u(b) = -b - 4. Let o be u(-6). Suppose i = -o*f + 69. Is f prime?
False
Suppose -3*y - 5*w + 270 = 0, 0*w + 3 = -w. Is y prime?
False
Let m = -12 + 14. Suppose m*b = b + 161. Is b a composite number?
True
Suppose 2*s = -s + 39. Let o be (-4)/18 - (-688)/18. Let j = o + s. Is j a prime number?
False
Let w(k) = 4*k**3 - k**2 - 59. Let n(z) = -5*z**3 + z**2 + 59. Let v(o) = -3*n(o) - 4*w(o). Let a(j) = j**3 - j. Let x be a(1). Is v(x) a prime number?
True
Let y = -31 - -52. Suppose 13 = m + 3*q, -3*m + 4*q + y + 5 = 0. Is m a composite number?
True
Let g(z) = z**2 - 16*z - 8. Let d(f) = -3*f**2 + 31*f + 15. Let q(k) = 2*d(k) + 5*g(k). Is q(-13) a prime number?
False
Suppose 237 = 5*t - 2*t. Is t a composite number?
False
Let k be -2*(8/(-2))/4. Suppose 2*u + 1175 = k*o + 3*o, -2*u - 243 = -o. Is o a composite number?
False
Let c(m) be the third derivative of m**5/20 + m**4/6 + m**3/2 + m**2. Let s be c(-4). Suppose s = h + 4. Is h a prime number?
True
Let f(i) = -i**2 + 11*i + 10. Let a be f(12). Let p be 357 + (5 - a/(-1)). Suppose -p = -5*t + 205. Is t composite?
False
Let g(z) = 13*z**3 + z**2 - z - 1. Let l be g(2). Suppose 64 = v - 3*n, -3*v + 99 = 3*n - l. Is v a prime number?
True
Is (-2361)/4*64/(-48) composite?
False
Let i(h) = 157*h + 1. Is i(4) prime?
False
Suppose -17 = -l + 1. Let m(q) = -6*q - 5. Let y be m(-3). Suppose -r - 2*d = -13, 4*d + y = r - l. Is r a prime number?
True
Let g = -3 - -6. Suppose 4*r - r - 630 = -m, -g*r - 3*m + 624 = 0. Is r composite?
False
Suppose 0*s + s - 21 = 0. Suppose -f = s - 562. Is f prime?
True
Let o(x) = -360*x - 25. Is o(-7) a composite number?
True
Let b(v) = v**2 + 6*v + 8. Let g(c) = -1. Let y(i) = -b(i) - 5*g(i). Let j be y(-4). Suppose 0*s + j*s = 155. Is s a composite number?
False
Let c(s) = s**2 - 6*s - 24. Is c(11) a prime number?
True
Let o = -19 - -92. Suppose -4*t = -4*d + 192, -t = d + 3*t - o. Is d a composite number?
False
Suppose -h - 1510 = -5*b, 2*h = -2*b + 499 + 105. Let i = b + -205. Is i prime?
True
Let p(g) = -g + 10. Let l be p(8). Suppose -k - 9 = -3*d, 6*k - l*d + 41 = 3*k. Is ((-78)/k)/((-3)/(-15)) a prime number?
False
Suppose 5*m + 421 = -219. Let j = m - -523. Is j prime?
False
Let c(d) = -2974*d**3 + 2*d**2 + 3*d + 1. Is c(-1) a composite number?
True
Suppose -2*y - 13 = k, 4*y - 3*k - 2*k - 9 = 0. Let t(n) = -5*n - 15. Let w(l) = -2*l - 7. Let g(r) = 4*t(r) - 9*w(r). Is g(y) prime?
True
Suppose 0 = -9*z + 12*z - 8511. Is z a prime number?
True
Let p = -682 - -1349. Is p composite?
True
Is 2804/(-6)*(-18)/12 composite?
False
Let f(n) = -20*n. Let z be f(-3). Let x = z + 34. Is x composite?
True
Suppose 0 = 2*h + 2, -3*l + 50 = -2*h + 3*h. Suppose -2*i = 3*x - 117, 4*i + 8 + l = x. Is x a prime number?
True
Let i(m) = 37*m**2 - 3*m + 7. Is i(4) prime?
True
Suppose -2*h - 5*r = 3 + 40, -2*h - 45 = 3*r. Let m = h - -13. Let i = 12 - m. Is i a composite number?
False
Let l(n) = 380*n**3 - 2*n**2 + 1. Is l(1) a composite number?
False
Suppose 0 = -5*m - 24 - 11. Is (m*2)/((-6)/9) a prime number?
False
Let z be 1/(-2) - (-7)/2. Suppose z*t - 193 = 152. Is t a prime number?
False
Let j(i) = 2*i**2 - 18*i + 17. Let f(z) = -6*z - 10. Let s be f(-4). Is j(s) a composite number?
False
Suppose -z + 72 = -88. Let x = -109 + z. Is x a composite number?
True
Suppose 2*x - 404 - 244 = 0. Suppose 4*r - z - 3*z = x, -247 = -3*r + z. Is r composite?
False
Suppose -4*j = 0, -4*y - 3*j + 14 + 2 = 0. Suppose -y*o = -6 - 14. Suppose -254 = -o*q + 21. Is q a composite number?
True
Let w(c) = -9*c**3 - 6*c**2 - 3*c - 5. Is w(-5) composite?
True
Suppose 4*x - 3*u - 298 = -u, 2*x - 159 = -u. Is x composite?
True
Is (-12)/24*(1 + -77) prime?
False
Suppose -3*r = r - 508. Is r composite?
False
Is 3*135 + 4 + -2 prime?
False
Let d(c) = 2*c - 7. Let a be d(-7). Let w be (-2)/(15/a + 1). Is 2/w + 44/7 a prime number?
False
Let i = 11 + -7. Suppose f + 5*y = -0*y, 2*y = i. Let c = f - -35. Is c prime?
False
Let c(y) = y**2 - y - 7. Suppose 0 = 3*q, 4*d + 0*q - 20 = 2*q. Is c(d) a prime number?
True
Let s(y) = -y**3 + 5*y**2 + 6*y + 2. Let z be s(6). Let t be (2/(-4))/(z/(-40)). Let r = t - 0. Is r a composite number?
True
Let o be 4 - 1*2/(-2). Suppose -5*l - o*z = -455, 2*l - z = 3*z + 158. Is l prime?
False
Let r = 96 + 943. Is r prime?
True
Let 