t composite?
False
Suppose 2*p - 224 - 758 = 0. Let a = p + -316. Suppose 4*i + i = a. Is i prime?
False
Let j(u) = u**2 - 10*u - 6. Let l be j(11). Let p(z) = -97*z**2 + 4*z - 3. Let v be p(l). Is (1/(-2))/(4/v) prime?
False
Suppose 3*n = -0*n + 2*w + 283, -3*n - 2*w = -299. Is n prime?
True
Let y be (-15)/(-2)*2892/18. Let r = y + -658. Is r composite?
False
Suppose 3*l - 1501 = -244. Is l a composite number?
False
Let q(o) = 21*o**2 + 4*o + 3. Let p be -2 - (-2)/4*0. Is q(p) composite?
False
Let w(u) = u + 1 + 3*u - u. Let n be w(-3). Is (3 - -1)*(-118)/n a composite number?
False
Let a(f) = -24*f + 1. Let y be a(2). Let z be 2 + (-2)/2*y. Let t = -27 + z. Is t prime?
False
Suppose 0 = -4*t - 5*r + 6177, -3*t + 5*r + 2478 + 2146 = 0. Is t a composite number?
False
Let h(v) = -v**3 - 5*v**2 - 7*v + 12. Let m be h(-10). Suppose 9*a = 6*a + m. Is a composite?
True
Suppose -3*k + 6 = -2*k. Suppose m + k = 4*m. Suppose m*j + l = 61 + 17, -3*l - 25 = -j. Is j prime?
True
Let g be (-2)/11 - 78/(-66). Is (-3)/g - 232/(-4) a composite number?
True
Suppose 0 = 3*c + 672 - 1857. Is c composite?
True
Is (-15172)/(-20) + 6/(-10) composite?
True
Suppose 3*s + 13 = k, 4*k = -s - 3*s + 52. Suppose -5*w - 3 = -k. Suppose -12 = -o - w*q, q = o + o - 29. Is o prime?
False
Is (-4)/16 + (-1629)/(-4) prime?
False
Suppose 0 = s - 6 + 1. Let v(d) = -6*d - 2. Let a be v(-4). Suppose 2*g - 3*g = 4*y - a, 32 = 3*g - s*y. Is g a prime number?
False
Let g(n) = 37*n**2 + 13*n - 1. Is g(-6) a prime number?
False
Suppose 5*d - 420 = 90. Suppose -y = -3*y + d. Is y prime?
False
Let g(d) = 7*d**3 - 7*d**2 + 9*d - 2. Let p(s) = 3*s**3 - 4*s**2 + 4*s - 1. Let k(h) = -2*g(h) + 5*p(h). Is k(8) a composite number?
True
Let z(n) = -n**3 - 6*n**2 - 6*n - 8. Let d be z(-6). Is 540/d - (-2)/(-7) a prime number?
True
Suppose 0 = -2*d - 3*a + 4 + 2, 0 = -d - 5*a + 10. Suppose -3*m + 193 + 62 = d. Is m prime?
False
Suppose -8*z + 22*z - 798 = 0. Is z composite?
True
Let g(w) = -30*w - 17. Let b(d) = -60*d - 33. Let h(z) = 6*b(z) - 11*g(z). Is h(-9) a composite number?
True
Let z be (-2)/(-9) - 195/27. Let m = z + 8. Let o(d) = 150*d - 1. Is o(m) prime?
True
Suppose 2*a + 0*a - 4 = 0, 0 = -2*z - 3*a + 12. Let d be (-2 + z)*2/(-2). Is (d/1)/((-4)/140) a composite number?
True
Suppose 5*z - 24 = -2*w, 2*w = -2*z - 2 + 14. Let f = 218 + -156. Is (f/(-4))/((-2)/z) a composite number?
False
Suppose 0 = -5*b - 2*p - 1496, b - 5*p + 105 + 178 = 0. Let i = b + 213. Let m = i + 194. Is m a composite number?
False
Let k = -8 + 13. Suppose -k*c = -0*l + l - 67, -l - 3 = 0. Is c composite?
True
Let a(t) = 8*t**2 + 1. Let m be a(3). Let j = m + -42. Is j a composite number?
False
Let p = 40 + 188. Suppose -2*u = 2*u - p. Is u a prime number?
False
Is (-432 - 11)*(-2 + (-1)/(-1)) prime?
True
Let b = -657 - -1003. Let l = 605 - b. Is l a prime number?
False
Is 2*-23*(-3 + (-70)/4) prime?
False
Let z(c) be the first derivative of -c**3/3 + 3*c**2 - 5*c - 1. Let w be z(4). Suppose 0 = w*k - 23 - 19. Is k composite?
True
Let h = -179 + 380. Is h a prime number?
False
Let o(r) = 2*r**3 - 4*r**2 - 6*r + 7. Let z = -6 + 11. Is o(z) a composite number?
False
Is -2*(6791/(-2) + -3) composite?
True
Let g = -708 + 1421. Is g a composite number?
True
Let w = -4 - -8. Let j(n) = 3 - w*n - 4 - 5. Is j(-4) a prime number?
False
Suppose 270 = 10*h - 5*h. Let x = -31 + h. Is x a composite number?
False
Let o(f) = 10*f + 4. Let r be 10/25 - (-27)/(-5). Let k = r + 8. Is o(k) prime?
False
Let f(u) = u**2 - 5*u - 3. Let v be f(6). Let q(p) = 19*p + 7. Let l be q(5). Suppose l = -r + v*r. Is r a prime number?
False
Let x(z) = -21 - z + 27 + 28 + z**2. Let q = -1 - -1. Is x(q) a composite number?
True
Let x(c) be the second derivative of -5*c**3/2 + c**2 - c. Let b be x(-4). Is (b/4)/((-1)/(-2)) composite?
False
Let g = -1864 - -4631. Is g prime?
True
Suppose f + 1 = 2*f. Suppose -3 = -w - x, -5*w = 3*x - 6*x + f. Is w/(2/334) + 2 prime?
False
Suppose 0 = 5*k - 3 - 7. Suppose 2*j + 3*o + 12 = 182, 0 = -3*j + k*o + 229. Is j a composite number?
False
Suppose -v - 20 - 35 = 0. Let z = -66 - 58. Let r = v - z. Is r prime?
False
Let v(m) = m**2 + 3*m - 6. Let i be v(-5). Suppose -i = 2*z, 4*z = x - 0*z - 15. Is x a prime number?
True
Let m = -158 + 472. Let u = m - 103. Is u prime?
True
Let u(x) = 22*x**2 + 7. Let w be u(-5). Suppose 5*q + 4*t = w, 5*q - 99 - 468 = t. Is q a composite number?
False
Suppose 3*y - y - 4*s = -234, -3*y - 2*s - 311 = 0. Let h = 431 + y. Suppose -2*u + h = 2*r, u + 294 = 3*u - 4*r. Is u a composite number?
False
Let o be (-26)/65 + (-574)/(-10). Is o/6*-2*-1 composite?
False
Let y(s) = s**2 - 5*s - 3. Let l be y(6). Suppose l*n = 50 + 61. Is n a composite number?
False
Suppose -5*q - 6 - 9 = 0. Suppose 7*i - 380 = 2*i. Let n = i - q. Is n prime?
True
Suppose -3*g = 6, -w = 2*w - 3*g - 273. Is w a composite number?
False
Let i(x) = 6*x**2 - 11*x - 6. Is i(5) composite?
False
Let y = -14 - -18. Suppose 5*b = y*z + 1275, 5*b - 4*z + 2*z = 1265. Is b a prime number?
True
Suppose -5*v + 2*v = 15. Let x be -2 + (-1 - v - 0). Suppose -3*g = -4*z + 154 + 5, 0 = x*z + 5*g - 73. Is z prime?
False
Is 42245/14 - ((-2)/4 - -1) prime?
False
Suppose 0 = 4*m - 476 - 2048. Is m prime?
True
Let f(u) = u**2 + u. Let v be f(4). Let s = v - -15. Is s composite?
True
Let g = 4 - 4. Suppose -c = -2*k - k - 110, g = -2*k + 6. Is c a prime number?
False
Suppose -4*c + 272 = 36. Is c composite?
False
Suppose 4*b - 3 - 21 = 0. Let z(x) = x**2 - 4*x - 2. Is z(b) a prime number?
False
Is ((-8)/(-2) - (-5 - -7)) + 741 a composite number?
False
Let a(j) = 12 - 2 + 3*j - 1. Let d be a(-7). Let i = d + 22. Is i prime?
False
Suppose 7*l = 2*l + 1255. Is l composite?
False
Suppose 0 = 2*x + 7 - 1. Is x/(-15) + (-184)/(-5) prime?
True
Let m = -413 + 578. Suppose 0 = -4*w - 4*r + 316, -3*w + 8*w - 387 = 3*r. Let z = m - w. Is z a composite number?
True
Let s(i) = -i + 6. Let b be s(4). Is (0 - -17)/(b/26) a composite number?
True
Suppose -2*m = m - 12. Suppose -m*o = -0*o - 40. Suppose -4*p = 3*n - 13, -3*n + o = 4*p - 3*p. Is n a prime number?
True
Is 118/4*(41 - 3) a composite number?
True
Let v(h) = h**2 - 4*h. Is v(7) a prime number?
False
Let w = 4 + -4. Let k be (-48)/(-20)*20/6. Suppose w = 5*f - k - 7. Is f a prime number?
True
Suppose 25 = 5*d + 2*b, 4*b = -4*d + 2*b + 22. Suppose 8 = d*g - 13. Is g composite?
False
Let r be ((-151)/4 + 1)*640/(-120). Let u = -157 + 76. Let j = r + u. Is j a composite number?
True
Let z(a) = -2*a - 4. Let y be z(-3). Is -1 + y/((-4)/(-30)) a prime number?
False
Let f be 2/(-1) - (-2 - 2). Suppose 3*w - 4*a - 39 = 0, f*w + 2*a - a = 26. Is w composite?
False
Suppose -4*x - 2*x = -786. Is x a prime number?
True
Let w(f) = -f**2 - 4*f + 5. Let z be w(-6). Let q = z + 14. Suppose 3*k + 88 = q*k. Is k a composite number?
True
Is ((-328)/16 + -8)/((-3)/4) composite?
True
Is -7 + (1 - -2) - -291 a prime number?
False
Suppose -3*f - 657 = -t, -2*t - f = t - 2001. Is (2/3)/(12/t) composite?
False
Let l(z) = z**3 - z + 19. Let k be l(0). Let f = -8 - -5. Is 1 + (-2 - f) + k prime?
False
Suppose d - 12 = -5. Let v be 2/d + (-4)/14. Suppose 4*t - 28 - 168 = v. Is t composite?
True
Suppose -8284 = -j + 3*z, -z - 24822 = -3*j + 2*z. Is j prime?
True
Let b = 8 + -6. Let z be 0 + 5 + (3 - 5). Suppose -b*f - 55 = -z*f. Is f a prime number?
False
Let w(h) = -h**3 - 2*h + 2. Let d = -1 + -2. Is w(d) composite?
True
Let c(f) be the second derivative of -f**5/20 - f**4/4 + f**3/6 - f**2 + 2*f. Let m be c(-3). Let q(z) = -14*z - 3. Is q(m) a composite number?
False
Let a(l) = -9*l - 3 - 1 + 5 + 7 - l**2. Is a(-6) composite?
True
Suppose -3101 + 18072 = 11*s. Is s composite?
False
Suppose t - 950 = -3*t - 3*x, 0 = -2*t + 2*x + 482. Is t prime?
True
Let t(g) = -g**2 + g + 4. Let l be t(0). Suppose 0 = -2*r + m + 41, 3*r - 59 = 3*m - 2*m. Suppose r = 3*v - z + 4*z, 4*v - 32 = l*z. Is v a composite number?
False
Suppose 4*v + 4*y = y - 4, -32 = 3*v - 5*y. Let a(z) = z**3 + 8*z**2 + 5*z + 2. Let u be a(v). Is u*-1*(-2)/4 composite?
False
Let n(x) = 150*x - 13. Is n(8) a prime number?
True
Suppose 5*w = 5*r + 205, 8*r = 2*w + 3*r - 67. Suppose -x = -3*x + w. Is x a prime number?
True
Let k = 422 - 55. Is k prime?
