e number?
True
Suppose 2*y = -28*q + 27*q + 74093, -3*q = y - 37034. Is y prime?
True
Let a(q) = -808*q - 65. Is a(-3) prime?
False
Let p(u) = 27*u**3 + 4*u**2 + 36*u - 90. Is p(7) prime?
True
Let f = 1392 - 700. Suppose -c - 893 = 3*z, c = -z - 0*c - 295. Let d = z + f. Is d prime?
False
Let x(c) = -c**3 + 42*c**2 + 25*c + 65. Is x(40) a composite number?
True
Let j be -4 - ((-132)/4 - -1). Let t = 31 - j. Suppose t*o - 1389 - 972 = 0. Is o composite?
False
Suppose 4*n + 6 = v + 11, 4*v = -4. Let t(q) = 2 - 7*q + 2 + 114*q - 2. Is t(n) prime?
True
Is 3753 + (165/55 - (2 - 0)) a prime number?
False
Let q = 27 + -23. Suppose -1308 = q*a - a. Let d = -225 - a. Is d a prime number?
True
Suppose -3*r + w + 11 = 0, w = -r - 0*w + 1. Suppose -3*z + u + 1651 = z, 4*z - 1655 = -r*u. Is z composite?
True
Let v = 15456 - 8717. Is v a prime number?
False
Suppose -m = -5*s - 45, -m + 78 = m + 2*s. Let z be 0 + 2 + -2 + -13. Let r = m - z. Is r prime?
True
Suppose 0 = 10*q - 64648 - 30682. Is q a composite number?
False
Let p = 15179 - 5172. Is p composite?
False
Let p(b) be the third derivative of b**6/120 + b**5/6 - b**4/6 + b**3/3 + 11*b**2 + 3. Let z be -8 - (-1 - -2 - 0). Is p(z) prime?
False
Suppose 0 = 5*s - 16 - 4. Let y(j) = 47*j**2 - 7*j + 4. Let n be y(5). Suppose n = s*t - 204. Is t a composite number?
False
Let i be 132/77 + (-2)/(-7). Let k be -1 + (i - 3) + 4. Is k*((-3804)/8)/(-3) a prime number?
True
Suppose 4*x - 2*f = 1900, -2*x + 4*f = -f - 966. Suppose p - x = -180. Is p prime?
True
Suppose -5*y + 4*c + 738 = -4*y, 5*c - 2197 = -3*y. Is y/4 - 10/(60/(-9)) a composite number?
True
Let y(p) = -211*p + 2. Let a(n) = 3*n + 9. Let o be a(-4). Is y(o) a prime number?
False
Suppose 5*x = 9*x - 16, 0 = -5*j - 4*x + 2261. Is j a prime number?
True
Suppose 2*z - 2*j - 36018 = 0, 6*j + 90077 = 5*z + 9*j. Is z composite?
False
Suppose -24086 = 4*x - 60954. Suppose 5*k = -8*k + x. Is k a prime number?
True
Suppose 17*n = 2153 + 40. Let t = n - -218. Is t composite?
False
Let q(t) = -28171*t + 18. Is q(-1) prime?
False
Is 1/(2/3 - (-9091)/(-13641)) a prime number?
True
Let h(p) = -p + 3. Let r be h(7). Let b(k) = 37*k**3 + 4*k**2 - 5*k. Let g(c) = 36*c**3 + 3*c**2 - 4*c. Let s(t) = r*b(t) + 5*g(t). Is s(1) a prime number?
True
Let v(u) be the third derivative of u**6/60 + 7*u**5/120 + 5*u**4/24 - 3*u**2. Let q(r) be the second derivative of v(r). Is q(4) a composite number?
True
Let b(f) = 2*f**3 + 13*f - 8*f**2 + 0*f**2 - 2*f**2 + 11. Is b(8) a composite number?
False
Suppose 0*z + 5*z - 20 = 0. Suppose -8*t + 40 = -z*t. Suppose -q + 87 = -4*w - t, -5*q - 4*w = -485. Is q a composite number?
False
Let u(c) = -c - 1. Let z be u(5). Let x be 1 - z*(-2)/(-3). Suppose 5274 = 4*k + 2*q, -3*q - 2*q + 6590 = x*k. Is k prime?
True
Suppose 43 = 4*g + 23. Suppose 633 = -g*m + 8*m. Is m prime?
True
Suppose -5*h - 5 = -5*a, -4*h + 1 = a - 5. Suppose a*x + 52 = 2*i, 4*i - 7*i = 2*x - 103. Suppose z - i = 54. Is z a prime number?
False
Suppose 4*c = -5*s + 5*c + 4270, -s - 5*c + 828 = 0. Is s a prime number?
True
Let w(c) = 4*c**3 + 2*c**2 + c - 2. Let r be w(-2). Suppose v - 935 = -10*v. Let k = r + v. Is k a composite number?
True
Suppose -3*y + 5*y - 646 = 0. Let h(m) = -5*m**2 + 3. Let c be h(-5). Let n = c + y. Is n a prime number?
False
Suppose 179 = -t + 2*t. Let l = -57 - -121. Let f = t - l. Is f prime?
False
Let f(z) = 17*z**2 + 112*z + 8. Is f(-15) prime?
True
Suppose -10*o - o + 117095 = 0. Is o a composite number?
True
Is (12966/(-36))/(6/(-36)) prime?
True
Let p be 8/(-36) + (-4)/54*19653. Let x = p - -3093. Is x a prime number?
True
Let t = 27 + -18. Suppose 4*h - t = 7. Suppose -4*y - w - h*w + 580 = 0, 2*w = 5*y - 725. Is y a composite number?
True
Suppose 12*q - 13*q - 2*p + 727 = 0, -4*q - p + 2880 = 0. Is q prime?
True
Let k be (-20 + 1)/((-11)/22). Let q(y) = y**3 + 4*y**2 + 3*y - 3. Let a be q(-4). Let j = k - a. Is j a prime number?
True
Is 21044*11*-12*2/(-96) prime?
False
Suppose 0 = 1044*g - 1051*g + 564865. Is g a prime number?
False
Suppose -4*v - 52 = -6*v. Let y = 123 + v. Is y a composite number?
False
Let k be ((-3)/2)/(3 + 28494/(-9496)). Let m = 4221 - k. Is m a composite number?
False
Let z(b) be the third derivative of 21*b**4/8 - b**3/6 + b**2. Let x(g) = g**3 - 10*g**2 + 23*g - 10. Let r be x(7). Is z(r) composite?
False
Suppose 6548 = 4*l + 2*b, 3885 = 3*l - 2*b - 1033. Let z = -1005 + l. Is z composite?
True
Suppose 4*x + t - 296 = -4*t, 2*x + t - 142 = 0. Let a = 143 - x. Is a/6*3*1 a composite number?
False
Let u = 34 - 32. Is (422/10)/(11/5 - u) a prime number?
True
Let l(k) = -5 + 183*k**2 - 60*k**2 + 41*k**2 - 9*k. Is l(-2) a prime number?
False
Suppose 1175 = 3*z - y - 4*y, 2*y + 1590 = 4*z. Suppose o = -146 + z. Is o a prime number?
False
Let g(h) = -h**3 + h**2 + h - 1. Let l be g(0). Let n = 3 + l. Is (-22)/(-3)*15/n a composite number?
True
Let n be 1/((-15)/(-153)) - 1/5. Is 2151/7 - (-13)/((-455)/n) a composite number?
False
Suppose j - 6*j - 15 = 0, 112 = 5*h + j. Suppose 0 = 3*g - 4*k - h, 4*k - 9*k = -2*g + 6. Suppose o = g + 178. Is o prime?
True
Let u(b) = -11*b + 1. Let n(g) = -g + 6. Let j be n(4). Suppose -2*o = 3*i + 9, -10 = 2*o - 0*i + j*i. Is u(o) a prime number?
True
Suppose 0 = -f - 3 + 14. Suppose f*y + 126 = 5879. Is y composite?
False
Suppose 5 = -3*t - 2*c + 39, 5*c = -3*t + 49. Suppose -t*s + 1241 - 4329 = 0. Let a = s + 759. Is a a prime number?
True
Let n(v) = v**3 - v. Let f(b) = -50*b**3 + b**2 - 3*b + 1. Let t(l) = f(l) - 4*n(l). Suppose 5*i = -3*p - 28, 3*i + 18 = -3*p - 0*i. Is t(p) prime?
False
Let c(o) = 2*o + 10. Let h be c(-8). Let g be (3 - (-7)/(-2))*h. Let j(r) = 6*r**2 - 3*r + 4. Is j(g) prime?
False
Let q = 109327 + -68514. Is q composite?
False
Suppose 2*n - 3*u = 3197, 3*n - 3*u - 2157 - 2634 = 0. Is n a prime number?
False
Let t(q) = 1. Let l(s) = -661*s + 20. Let b(w) = l(w) + 3*t(w). Is b(-6) a prime number?
True
Suppose 3*c = 3*p - 657 + 2832, -2*c + 3634 = -5*p. Let x = p - -1213. Is x a composite number?
True
Let n(g) = 2*g - 9. Let k = 21 + -14. Let m be n(k). Suppose -4*f = 0, 3*b - 223 = 2*b - m*f. Is b prime?
True
Let b = -982 - -5813. Is b a prime number?
True
Suppose k + 2 = 0, w + 2*k + 2*k = -4. Suppose 0 = w*y + 5298 - 18934. Is y prime?
False
Let f(u) = 160*u**2 - 21*u - 185. Is f(-14) prime?
True
Suppose -44 = 4*s - 5*v, 24 = 5*v + 4. Let k(t) = -3*t - 25. Let o be k(s). Let n(l) = -34*l + 13. Is n(o) a prime number?
True
Suppose -3*u = 17*u - 25180. Is u composite?
False
Let z = 3 + 1. Suppose 3*f - z*l + 28 = -f, 5*f + l = -65. Is f/(-54) + 554/18 a composite number?
False
Suppose -6 = -2*x + 24. Is x/27*3*(-3681)/(-3) composite?
True
Suppose 27*j = 1076807 + 181096. Is j a prime number?
True
Let z(q) = -3*q + 5. Let u be z(-5). Let n be u/70 - 530/(-7). Suppose 4*l = 2*t - 250, l - n + 710 = 5*t. Is t prime?
True
Let o be (-8)/40 - 32/(-10). Is -2 + 299/o + (-32)/48 prime?
True
Suppose 4*l + 132 = 4*x, 4*x = -x + 3*l + 171. Let z = x - 30. Is 409/4*(-2 + z) a prime number?
True
Suppose -3*x + 347 = 38. Suppose 18*v - 17*v = x. Is v a composite number?
False
Suppose 116 = -2*y - 46. Suppose -3*p - 722 + 52 = -5*u, p = -4*u + 536. Let c = u + y. Is c prime?
True
Let q = -2574 - -819. Let s = -436 - q. Is s prime?
True
Suppose 3*i - 5*u - 54 = 0, 0*i - 2*i = 2*u - 20. Suppose -4*r + i = -7. Suppose 4*g + 2 = 2*b - 60, r*b = 4*g + 155. Is b a prime number?
True
Let l = -819 - -1710. Let j = -206 + l. Is j a composite number?
True
Let s = 218 + 828. Is s - (-5)/((-5)/(-3)) prime?
True
Let h = 23 + -21. Let y be 353/h + 9/6. Is (-3 - -4)/(1/y) a prime number?
False
Suppose -l + 17206 = 3*f, -12389 - 16286 = -5*f - 2*l. Is f composite?
False
Let b(l) = -18*l + 14 - 26*l + 42*l. Let n be b(5). Suppose 0 = n*y - 8 - 0. Is y a prime number?
True
Is -14 + (4 - 1) + 3072 a composite number?
False
Suppose 0 = -4*p + 3*p + 7. Let z(l) = 96*l + 1. Is z(p) a prime number?
True
Is (4 + -5)*1 - -25578 a composite number?
False
Suppose 0 = 5*c - 61 - 19. Suppose 3*h + 10 = c. Let i(g) = 4*g**3 + g**2 + 2*g - 2. Is i(h) a prime number?
False
Suppose 8*h + h - 126 = 0. Suppose -2*k = -60 - h. Is k a prime number?
True
Let f(l) = 172*l**2 - 6*l + 5. Let y = -12 - -15. Is 