88 = -0*m + m. Is v prime?
True
Suppose -5*b + 9*b = 1192. Suppose -b = -4*j + 3*j. Is j a composite number?
True
Suppose i = 2*i - 20. Suppose 3*x = x + i. Is x prime?
False
Let t = 3 - -2. Suppose z = 6*z - t. Is 3/(1/(0 + z)) a prime number?
True
Suppose 0 = -3*k - 2*b + 271, 5*k + 3*b + 226 = 678. Suppose -o + k = -0*o. Is o prime?
False
Let k(f) = -f**3 + 6*f**2 - 6*f + 7. Let z be k(5). Suppose -408 = -z*d + 2*w, -d = -3*d + w + 407. Is d composite?
True
Suppose 9*u - 680 = u. Is u a prime number?
False
Let l(v) = 51*v - 13. Is l(6) a composite number?
False
Is (0 - -693) + 3 + -5 a prime number?
True
Let b = -4 - -57. Let a = -39 + 21. Let z = b + a. Is z a composite number?
True
Suppose 2*d + 5 = 9. Suppose 0 = 4*s - d*s - 254. Is s prime?
True
Let y = -48 - -149. Suppose 14 = 4*r - 30. Is 6/(-33) + y/r a composite number?
True
Let q be 1730/(-2)*(-2)/2. Let x = q - 398. Is x a prime number?
True
Suppose -7*i + 155 = -783. Is i composite?
True
Suppose 5*w = 2*j - 3607, j + 3*w = 5*w + 1805. Is j a prime number?
True
Let o be (-5)/(-10) - 15/(-2). Suppose 0 = 2*p - 10, 2*l - 3*p + o*p = 63. Is l prime?
True
Is 3/9 + 496/6 a prime number?
True
Let d be (15/(-10))/((-2)/4). Suppose d*o = -5*b + 7*o + 70, -15 = b + 5*o. Is b a composite number?
True
Let t(v) be the second derivative of -v**5/20 - v**4 - 13*v**3/6 - 6*v**2 - v. Let x be t(-11). Suppose -2*z = -4 - x. Is z a composite number?
False
Let k = 4 - 1. Is 0 - (-8)/(k + -1) a composite number?
True
Let z(s) = -s + 7. Let y be z(6). Let n be -2 - 183/(-2 - y). Suppose -n - 36 = -p. Is p prime?
False
Let i(o) = -o**2 - 4*o - 4. Let d be i(-3). Is -158*(d/2 - 0) composite?
False
Let n(c) = 6*c + 2. Let r = -6 - -4. Let f be n(r). Is 2/(-6) - f/3 a prime number?
True
Let x(i) = -5*i**2 + i - 6. Let j(o) = -4*o**2 + 2*o - 5. Let u(q) = -6*j(q) + 5*x(q). Let v be u(-5). Is (-219)/(-7) + v/(-35) a prime number?
True
Let p = 2834 + -1981. Is p a composite number?
False
Let b = 253 - -120. Is b a composite number?
False
Let h = 2022 + -59. Is h a composite number?
True
Let h(q) = 10*q**2 - 4*q - 4. Let d be h(-5). Let s = d - -107. Is s composite?
False
Is 0 + (1298/(-55))/(1/(-5)) composite?
True
Let x be 1*(3 - (-56)/2). Is (x/(-2))/(1/(-2)) composite?
False
Let f = -7 - -13. Let g(r) = 3*r + 8. Let x(k) = -3*k - 9. Let n(z) = 6*g(z) + 5*x(z). Is n(f) a prime number?
False
Suppose -4*v - 18 = -o - o, o + 2*v + 3 = 0. Suppose -2*a = w - 40, 6*w + o*a = 7*w - 25. Is w a prime number?
False
Let q(i) = -i**3 - 6*i**2 - 6. Let g be q(-6). Let u be 0/(g/(-2 + -1)). Suppose y + 2*y + 9 = u, -4*y + 25 = t. Is t prime?
True
Let u = -390 + 955. Is u composite?
True
Let q be (-1)/(2/62*-1). Let c = -4 + q. Let r = c - 8. Is r prime?
True
Let i(q) = 61*q - 48. Is i(5) a prime number?
True
Let y(b) = b**3 + 2*b + 1. Let j = 4 - 5. Let d be y(j). Is (d - -1)*(1 - 10) a composite number?
True
Let h be 8854/30 - (-14)/(-105). Suppose 0 = -5*d + 2*y + 3*y + 295, 5*d - h = 4*y. Is d a prime number?
True
Suppose -3 = -l - 0*q + 2*q, -2*l + 3*q + 5 = 0. Suppose -3*d + 0*d + 39 = 0. Let k = l + d. Is k composite?
True
Suppose 80 = -c - 327. Let y = -280 - c. Is y prime?
True
Suppose b = -0 + 5. Let g be -1 + (0 + b - 2). Suppose -g*o + 5*v = -43, 5*o + 2*v = 91 + 2. Is o a prime number?
True
Let z = -11 + 16. Suppose 2*m = 2*j + m - 679, -5 = z*m. Is j a composite number?
True
Let a(y) = -1 + 3*y - 4 + 0 + y. Is a(6) composite?
False
Suppose 0 = -2*q + 59 - 17. Is q a composite number?
True
Is (16/(-18))/(-4) + (-16934)/(-18) composite?
False
Let o(b) = 4*b**3 + 4*b**2 - 9*b + 14. Is o(4) a prime number?
False
Let r(m) = -m + 55. Let g(i) = -3*i + 164. Let f(y) = -6*g(y) + 17*r(y). Let w be f(0). Is w/(0 + (-1)/1) composite?
True
Is ((-2)/(-8))/(3/4548) prime?
True
Let j(h) = -h**2 - 10*h + 3. Let u be j(-7). Is u/(-9)*(-6)/4 prime?
False
Let g = 6 + -4. Let x be g*-1 + 5 + -10. Let o(a) = -6*a + 5. Is o(x) composite?
False
Suppose -6 = c - 0. Let y(v) = -v - 6. Let w be y(c). Suppose 0 = -w*i + 2*i - 44. Is i prime?
False
Suppose v - 2*k = 33, -v + 217 = 4*v + 3*k. Let c(l) = -2*l**3 + 4*l**2 - l - 1. Let a be c(3). Let z = v + a. Is z prime?
True
Let j be 7*-25*(-2)/5. Let x(d) = -2*d**2 + d + 6. Let t be x(5). Let h = t + j. Is h composite?
False
Let z = -13 - -17. Suppose -z*q + 553 = 29. Is q a prime number?
True
Is ((-2)/3)/(44/(-42306)) composite?
False
Let r = -1248 + 2057. Is r a prime number?
True
Suppose 0 = -0*f + 3*f - 21. Let r(u) = 6*u + 26. Let c(i) = i + 5. Let d(x) = -11*c(x) + 2*r(x). Is d(f) a prime number?
False
Let r(b) be the second derivative of -b**5/30 + 5*b**4/24 - b**3/3 - 2*b. Let h(l) be the second derivative of r(l). Is h(-7) a composite number?
True
Let i(m) = 5*m**2 - 10*m + 8. Is i(7) a prime number?
False
Let c(m) = m**2 + 10. Is c(5) a composite number?
True
Suppose 4*b = -3*s + 24, 0 = -0*s + 4*s + b - 19. Suppose -s*c + 8 = 3*m, 0 = -m - 0*m - 3*c + 11. Let p = m + 10. Is p composite?
True
Let c(o) = -90*o - 2. Is c(-6) composite?
True
Suppose 2*m + 476 = 5*t, -6*t + 2*t = 2*m - 370. Is t prime?
False
Let m(p) = -132*p**3 + p**2 + 1. Is m(-2) prime?
True
Let o = 157 - 72. Is o a composite number?
True
Suppose 3*s = -2*z - 0*z + 201, 0 = -5*s + 25. Suppose -2*k + 3*k - z = -2*v, -k = 3*v - 90. Let g = -46 + k. Is g a prime number?
True
Let u be 3/(-3)*0/(-6). Let l(j) = j**3 + j**2 - j + 299. Is l(u) a composite number?
True
Suppose -3*t - 484 = -2*t. Let l = 699 + t. Is l a prime number?
False
Suppose -1 = -d - j, 0*j - 24 = -3*d + 4*j. Let l(z) = z**2 - 7*z + 2. Let w be l(d). Is ((-14)/3)/(w/75) prime?
False
Suppose 2*z - 171 = 4*l + 63, 3*l - 213 = -2*z. Is z a composite number?
True
Suppose 0 = 5*k + 4*t + 40, k + 4*t = -20 - 4. Let d be k/(-20) - (-48)/10. Suppose -l = d*c + 6 - 98, c + 382 = 5*l. Is l composite?
True
Is 596*(1 - 0)*(-10)/(-8) composite?
True
Suppose -9 = -c - 2*t, 2*t - 5 = -1. Suppose 1280 = 5*j - 5*f, -j + 4*f - 984 = -c*j. Is j a prime number?
True
Suppose 0 = -5*o, 2*n - 399 = -5*o + 31. Is n prime?
False
Let m(h) = 66*h**3 - 5*h**2 + 5*h + 5. Is m(3) a prime number?
False
Let a be (-52)/(-12) - (-1)/(-3). Let j(z) = -z**3 + 4*z**2. Let g be j(a). Suppose -3*q = -3*f + 261, 0 = -f - 3*q - g*q + 79. Is f composite?
True
Let j = 20 - -145. Suppose 2*g + j = 3*g. Let o = g + -86. Is o a prime number?
True
Suppose -4*w + 2 = -6. Suppose w*n - 110 = -0*n. Is n prime?
False
Suppose -2*h = -1180 - 3294. Is h a prime number?
True
Let y = 9 + -10. Is -14*(-3)/(-6)*y composite?
False
Let w(u) = 12*u**3 + u**2 - 3*u + 3. Let q be w(2). Suppose -2*s - 222 = 2*x, -q - 498 = 5*x - 5*s. Let t = x + 202. Is t composite?
True
Let h(u) = -u - 1. Let w be h(-4). Suppose w*c + v - 12 - 2 = 0, 0 = -2*c + 5*v + 15. Suppose -c*n = -0*n - 165. Is n a prime number?
False
Let w be 1*(0 - -1)*17. Let j(z) = 10*z - 24*z + 2 - w*z. Is j(-5) a composite number?
False
Suppose 9*v - 2278 = 8477. Is v a prime number?
False
Is 1341/7 + 8/(-14) a composite number?
False
Let q be 6/21 - 2220/(-21). Suppose q = 5*r + 2*a - 489, 5*r - 3*a - 620 = 0. Is r a composite number?
True
Let z be -1 + 3 + 0/4. Let y be 46/4*(3 - -1). Suppose 0 = -z*m + 3*m - y. Is m a composite number?
True
Let z(f) = 16*f**2 + 5*f + 19. Is z(-8) prime?
False
Let l = 71 - 111. Let k = l + 170. Suppose -5*s = -k + 25. Is s composite?
True
Suppose 0 = 5*y - 3*y - 5*q - 1, 1 = q. Suppose u - 292 = -4*t, 0 = 4*t - 5*u - 47 - 269. Suppose -i + y*i = t. Is i a prime number?
True
Let v be 1/(-4) - (-13)/4. Suppose j = -v*j + 20. Suppose 25 = -5*b, -j*p + 3*b + 33 + 52 = 0. Is p prime?
False
Is 50 + (-5 - (-5 - -3)) a prime number?
True
Let s be (-14)/(-6) - 12/(-18). Suppose -s*y = -y. Suppose -3*g + 0*g + 477 = 4*i, -g - 5*i + 148 = y. Is g prime?
True
Suppose -4*b = -0*b + 3*q - 47, -4*q = 12. Suppose 3*n + 2*a - 11 = 0, -2*n + 0*a + 4 = 2*a. Let r = n + b. Is r a prime number?
False
Let s = 45 + 7. Suppose w - s = 11. Suppose -4*j + 4*r = -5 - w, 2*j - 30 = 3*r. Is j composite?
True
Suppose 0 = 3*j - 2*w - 39, -5*j + 30 = -4*j + 5*w. Suppose 2*h = o + 7*h + j, 3*o - 5*h = 15. Is (o - 2) + (-55)/(-1) a prime number?
True
Let n(o) = -3*o**3 - 3*o**2 + 2*o + 9. Is n(-6) a composite number?
True
Suppose -5305 =