*-8 a composite number?
True
Suppose 7*p - 192 = 3*p. Let q = -27 + p. Is q composite?
True
Let a be 656/(-36) + (-2)/(-9). Let k be (-11524)/a + (-14)/63. Suppose m - 138 = 2*w - w, -5*w + k = 5*m. Is m composite?
True
Suppose 0*a + a = 3*f - 2741, -4*a + 1818 = 2*f. Suppose -4*b - 1525 = -5*x, x = -2*x + 2*b + f. Is x composite?
True
Let u = -417 - -1445. Suppose -4*y = 5*k - u, y - 3*y = 4*k - 514. Is y prime?
True
Suppose 6*t = 3*t + 12. Suppose 2*z - 58 = 3*n + 39, -5*z + t*n + 253 = 0. Is z composite?
False
Suppose -c - 5*o - 5 = -0*c, -5*o = 10. Suppose 95 = c*p - 0*p. Is p composite?
False
Let u(z) = 13*z + 4. Let r be u(-4). Suppose -4*q + 8*q = 292. Let x = q + r. Is x a composite number?
True
Let f(n) = n**2 + 14*n + 7. Is f(12) a composite number?
True
Is (-101)/(3/(-66)*2) a composite number?
True
Let s be 5 + (6/(-3) - -1). Suppose 4*y - 2*h + 4*h - 158 = 0, 2*y + s*h = 94. Is y composite?
False
Let r(c) = -4*c + 13. Is r(-19) composite?
False
Let j = -13 - -15. Suppose -239 + 39 = -4*o - 4*q, -j*o + 97 = 3*q. Is o a prime number?
True
Let n be 2/(-7) - (-254)/7. Suppose -6 = -2*c - n. Let m = c - -28. Is m composite?
False
Let l = 3 + 1. Is -10*((-18)/l + 1) composite?
True
Let y(v) = v**2 + 5*v - 9. Let l be y(-8). Is 530/l*15/2 prime?
False
Let z = -1765 + 543. Let l = -633 - z. Is l a composite number?
True
Let p(c) = 2*c + 7 - 3*c + 0 - 1. Is p(-9) composite?
True
Is ((-8)/2 + 3)*422/(-2) prime?
True
Let s(z) = -z**3 + 7*z**2 + 2. Let j be s(7). Suppose w = 3*p - p - 10, -j*w + 10 = 2*p. Suppose -h + w = -58. Is h prime?
False
Suppose -2 = 3*v - 14. Suppose -6*o = -3*o + 2*z - v, 4*o - 3*z - 11 = 0. Suppose -o*a = -5*a + 66. Is a composite?
True
Let k(o) = 1059*o**3 - 2*o**2 + 2*o - 2. Is k(1) a composite number?
True
Let l(i) = -i**2 + i - 3. Let x be l(-7). Let m = 107 + x. Let a = m + 5. Is a prime?
True
Suppose -6 = -0*p + p. Is (4/p)/((-2)/291) a prime number?
True
Let u = -333 + 478. Is u prime?
False
Let d(c) = -c**2 - 34*c - 53. Is d(-22) a composite number?
False
Suppose -20 = 5*x, 4*x + 2 + 2 = -3*s. Let c = -5 - -7. Is (-3 - (s - c))*-7 prime?
False
Let x be 3*(-3)/(-9) + 4. Suppose w - 2*w + 30 = x*b, -4*b + 24 = 2*w. Suppose 2*u = b*u - 212. Is u a prime number?
True
Suppose 0 = -3*n - 3*f + 1497, 5*n + 0*n = -f + 2511. Is n a composite number?
False
Let j(u) = u**3 - 8*u**2 - 16*u. Suppose -2*a = -0 - 22. Is j(a) a composite number?
True
Let q(p) = 7*p**2 + 4*p - 8. Is q(3) composite?
False
Let f(b) = b**3 - 10*b**2 - 10*b - 4. Let d be f(11). Let h(j) = 3*j**2 + 2*j. Is h(d) a prime number?
False
Suppose l = -s - 2, 3*l - 1 = -5*s + 1. Let c(n) = 3*n**2 - 7*n - 1. Is c(l) a prime number?
True
Let l be 2/(((-3)/(-6))/1). Suppose -1219 = -l*h + 353. Suppose -5*x + 332 + h = 0. Is x composite?
True
Suppose -1175 = 10*d - 15*d. Is d prime?
False
Let o = 5 + -1. Let d be (-3)/(1/o - 1). Suppose -k = 5*w - 1013, -25 + 835 = d*w + k. Is w prime?
False
Suppose i - 2*f = 3*i - 12, -14 = -4*i + f. Suppose -l - i*l - 3*s + 1 = 0, 0 = 4*l + s - 5. Suppose 5*v = n + 664, -l*v = -v - 5*n - 128. Is v prime?
False
Suppose -3*h + 41 = -28. Is h + 5/(15/(-12)) composite?
False
Let z(h) = -13*h + 1. Let d(q) = 14*q - 1. Let a(c) = 2*d(c) + 3*z(c). Is a(-8) a prime number?
True
Suppose 217 = 3*p - 164. Is p a prime number?
True
Suppose 3*b - b - 1366 = 0. Is b prime?
True
Let l(p) = p**3 + 8*p**2 - 13*p + 9. Is l(-8) a prime number?
True
Let y = 674 + -367. Is (y*1)/(4 - 3) prime?
True
Let v = 2 - 2. Suppose -3*o + 155 = 2*o. Suppose 4*y + v*y = z - o, 5*y - 19 = -4*z. Is z composite?
False
Suppose -2*t - 154 = -4*t. Suppose -4*m - 401 + 977 = 0. Let v = m - t. Is v prime?
True
Let k = 11 - 7. Suppose 4*w + k*m - 4 = 0, 0*m - 9 = w + 3*m. Suppose -5*j - w*g + g + 455 = 0, g + 265 = 3*j. Is j prime?
True
Suppose -373 = 2*i + 21. Let y = 694 + i. Is y composite?
True
Let o be (0 + -1)/((-1)/3). Suppose -5*x + 119 = 3*u, o*x = -2*u - x + 78. Is u a prime number?
True
Suppose 3*v - 3*u = 359 + 388, -12 = -3*u. Is v a composite number?
True
Is (892/2)/(2/17) prime?
False
Suppose 0*r + 5*r = 2*y - 24, -5*y + 27 = 4*r. Let i(n) = -2*n. Let a(q) = q + 1. Let j(u) = 5*a(u) + i(u). Is j(y) composite?
True
Suppose r + 4*x - 7 = -0*r, 5*r - x - 14 = 0. Let i(j) be the second derivative of 5*j**3/6 + 2*j**2 - j. Is i(r) a composite number?
False
Let q(h) = 13*h**2 + 4*h + 9. Let f be q(6). Suppose -4*m = -f - 783. Is m composite?
True
Let u(l) = -9*l + 7. Is u(-4) composite?
False
Suppose 3*h = -4*a + 737, -3*h - 3*a - 1267 = -8*h. Is h prime?
True
Suppose -2*t + 15 = t. Suppose 3*b - 61 = -4*c + 2*c, -t*c = -4*b + 66. Is b prime?
True
Let x(o) = -653*o + 2. Let m(l) = -2*l + 15. Let v be m(8). Is x(v) a prime number?
False
Suppose 209 = 4*y - 323. Is y prime?
False
Suppose 11*l - 9701 = 9*l - a, 3*a = 5*l - 24280. Is l a prime number?
False
Suppose 2*q = -2*w + 4308, 8 = q + 9. Is w prime?
False
Suppose 4*g = -g - 790. Let c = g + 291. Is c a composite number?
True
Let d(w) = 14*w**2 + 8*w - 31. Is d(8) a composite number?
False
Let o be (-2)/(-7) + 20106/42. Suppose 3*b - o + 32 = 0. Is b a composite number?
False
Let l(o) = -3*o**2 + o - 7. Let k(m) = -2*m**2 + 2*m - 13 + 2*m**2 - 6*m**2. Let f(r) = -6*k(r) + 11*l(r). Is f(1) a composite number?
False
Let j = -56 - 142. Let w = 359 + j. Is w composite?
True
Suppose 2*f + f = 4377. Is f a prime number?
True
Let t = -554 - -213. Let g = 490 + t. Is g a prime number?
True
Let a(r) = r**2. Let o(q) = 3*q**2 - 4*q + 2. Let p(j) = -2*a(j) + o(j). Let z be p(4). Suppose -3*y + y + 18 = 4*c, -4*y - z*c = -30. Is y composite?
False
Let f(g) = -37*g. Suppose -4*d + 13 = -5*q, -q + 5*d - 7 - 4 = 0. Is f(q) a composite number?
False
Let j(w) = -2*w**3 - 8*w**2 + w + 5. Is j(-6) a prime number?
False
Let r(n) = -2*n**2 - 3*n - 11. Let y(z) = z**2 + 2*z + 5. Let g(v) = 6*r(v) + 13*y(v). Is g(6) a composite number?
False
Let q(p) = p**3 + 2*p + 2. Is q(4) composite?
True
Suppose -5*z = -2*v + 6287, -4*v - 4*z + 10278 = -2338. Is v a prime number?
False
Let z = -4 + 6. Let l(s) = -5*s**2 + 3*s**z - 1 + s + s**3 - 3*s. Is l(4) composite?
False
Let l(u) = u**2 - 5*u + 2. Let m be l(5). Suppose 5*i - 1839 = m*t - 0*t, 3*i + 2*t = 1097. Is i a composite number?
False
Let a = 39 + 38. Is a a composite number?
True
Suppose -1 = f - 3. Suppose 132 = f*r - 16. Is r prime?
False
Suppose -20 = 5*j + t + 9, 0 = -3*j - 2*t - 16. Let c(r) = -2*r**3 - 8*r**2 + r + 3. Is c(j) composite?
True
Let c be 96*((-2)/(-3) + -2). Is (c - -1)*(4 - 5) a prime number?
True
Let n(r) = -10*r - 5. Let k be n(-3). Suppose -i = -4*i + 150. Let m = i - k. Is m composite?
True
Let y(r) = 2*r + 0*r - r. Let m be y(3). Suppose 4*q - 5 - 95 = -4*g, -4*q + m*g + 86 = 0. Is q a prime number?
True
Let u(l) = 15*l**2 - 4*l + 4. Let h(y) = y**2 - y + 1. Let w(f) = -4*h(f) + u(f). Suppose 0 = -3*x + 3. Is w(x) prime?
True
Suppose 3*q = 26 + 31. Is q a prime number?
True
Suppose 45 = 3*c + 3. Suppose -4*l + 2*n = -c, 3*n - 4 - 5 = -4*l. Is l a composite number?
False
Suppose 286 = 3*q - 3*r - 29, 3*q - 311 = 2*r. Let g = 272 + q. Is g composite?
False
Let s be (-1 - -4)/((-6)/(-4)). Suppose i + 27 = -s*i. Let z = i + 64. Is z composite?
True
Let w = -100 - -153. Is w a prime number?
True
Let z be -2 + ((-4)/(-1) - -45). Suppose -5*i + 348 + z = 0. Is i a composite number?
False
Let w(c) = -8*c + 2. Let j be w(-2). Let x = j - 3. Is x a prime number?
False
Let r = -262 + -286. Let d = -297 - r. Is d a composite number?
False
Let w(o) = o**2 - 4*o - 4. Let u(d) = 3*d**2 - 12*d - 13. Let s(l) = 3*u(l) - 8*w(l). Let v be s(6). Suppose -v*x + 490 = -0*x - t, 0 = -5*t - 25. Is x prime?
True
Suppose -3 = -x, -2*m + 3*x + 3097 = -0*m. Is m composite?
False
Let k be (-4)/10 - 249/15. Let t = k - -7. Let x(j) = j + 19. Is x(t) prime?
False
Suppose -7 = -3*t + 20. Is (-1)/(-3) + 1140/t a composite number?
False
Suppose -5*n + 3*i + 0*i + 575 = 0, i = -n + 123. Is n a composite number?
True
Is -2 + 894 - 2 - 3 a prime number?
True
Suppose 5*u + 3*l = 23, -4*l + 24 - 5 = 5*u. Let v = u + -5. Is (0 + -3)*(-2)/v a composite number?
False
Suppose -5*a = 4*f - 433, a - 5*f - 34 = 41. Is a prime?
False
Suppose -18 = -f + 4*f. Let g(z) = -z**3 - 5*z**2 + 4*z - 5