?
False
Let z(r) = -2*r**3 + 17*r**2 - 10*r - 9. Let x be z(-12). Is x/27 - (-10)/45 a composite number?
False
Suppose 0 = -12*k + 16*k - 13076. Is k composite?
True
Let k(m) = m**3 + m**2 - 2*m + 3903. Is k(0) composite?
True
Let w be (-162)/30 + (-6)/10. Let p(k) = -2*k**3 - 7*k**2 + k + 7. Is p(w) prime?
True
Let j(f) = 63*f - 12. Let w(c) = -31*c + 6. Let p(n) = -4*j(n) - 7*w(n). Is p(-7) a prime number?
True
Suppose -53 = -2*z + 29. Let f = z - 8. Is f composite?
True
Is -2 + (11*-22)/(-2) composite?
True
Let d(i) = -1 + 7*i + 5*i - 2*i. Is d(2) a composite number?
False
Let c = 11 + -5. Let o(z) = 66*z - 1. Is o(c) a composite number?
True
Let b = 20 - 5. Is (-5)/b - 112/(-3) prime?
True
Let g(l) = -l - 13. Let s be g(-11). Is (-4)/s*(-249)/(-6) a composite number?
False
Is -365*1*3/(-3) a prime number?
False
Let q = 4 - 7. Is 19*1 + (-3 - q) a prime number?
True
Suppose m + 7 = 3*v, 2*v + m - 14 = -1. Suppose v*b + 2*u - 388 = 0, -5*u = -2*u. Is b composite?
False
Let x(i) = 23*i**2 + 3*i - 13. Is x(-6) a prime number?
True
Let x(d) = d**2 + 9*d - 5. Is x(14) a composite number?
False
Suppose 5*m = 4*g - 3590, -3*g + 6*g = -3*m + 2679. Is g a prime number?
False
Let k(s) = -6 + s - 21 - 7. Let t(o) = -2*o + 68. Let f(x) = -7*k(x) - 3*t(x). Is f(0) prime?
False
Let x = -12 + 23. Let k = 16 - x. Suppose -m + 37 = -5*w, m + m = k*w + 74. Is m a prime number?
True
Is (10026/(-15))/((-6)/15) prime?
False
Let v(f) = -21*f**2 - f - 6. Let z(o) = -21*o**2 - 7. Let r(s) = -4*v(s) + 3*z(s). Suppose -3*m = 2*m + 10. Is r(m) a prime number?
True
Suppose -5*f = -3*c - 1, -f - 4 = 2*c + 1. Is (c - (3 - 2)) + 252 a prime number?
False
Let z be 74 + -2 + 3 + -1. Suppose 3*k = 2*k + 3. Suppose -z = -k*c + c. Is c prime?
True
Suppose 2*o = 3*t - 7*t + 450, 0 = -2*t + 3*o + 229. Let u = 103 - 195. Let c = t - u. Is c prime?
False
Let p be (-32)/(-5) - (-2)/(-5). Let w = 652 + -1202. Is w/(-6) - p/9 composite?
True
Suppose 4*t - 4*s = 1464, -361 = -t + 3*s - s. Is t a prime number?
False
Let z = -1104 + 1777. Is z composite?
False
Suppose -3*r = 5*i + 19, -6 = r - 4*r. Let k = -5 - i. Suppose -5*q + 3*o = 2*o - 173, k = -4*q - 3*o + 146. Is q a prime number?
False
Let v = 8615 - 4818. Is v composite?
False
Suppose -5*x + 5*r = -4190, 3*r - 4192 = -5*x + 6*r. Is x prime?
True
Suppose 3*c + 1689 = 6*c. Is c prime?
True
Let f be 1*(-9)/6*-4. Let x(h) = 9*h - 3. Is x(f) a composite number?
True
Suppose -1 + 31 = -5*c. Is (2/c)/((-8)/8136) composite?
True
Let c(m) = -8*m - 5. Let q be c(-2). Let a = 44 - q. Is a prime?
False
Suppose 2*b + 5*i - 2734 = i, -6796 = -5*b + 3*i. Is b a prime number?
True
Suppose 18*k + 417 = 21*k. Is k a prime number?
True
Suppose 2 = -v + 5. Let d(r) = -34*r**2 + r - 1. Let x be d(2). Is -1*(x/v - 2) a prime number?
True
Let l = 6 - -9. Suppose -2*j + 51 = 2*m + l, 4*m - j = 52. Is m composite?
True
Let m(r) = r + 5. Let f be m(0). Suppose -f*t = -1650 + 185. Is t composite?
False
Let n(g) = 3*g**2 + 1618. Is n(0) a composite number?
True
Let l(v) = -15*v**3 + v**2 - v - 2. Is l(-3) composite?
True
Let s(r) = r**3 - 9*r**2 + 14*r + 19. Is s(13) prime?
True
Let a be (-5)/(15/(-6)) - -1. Let w = -7 + a. Is (-8 + -246)/(w/2) prime?
True
Let t be 1*662/2 + 1. Is 2/(-6) - t/(-6) a composite number?
True
Let n(i) = 271*i - 16. Is n(3) composite?
False
Let i(q) = -23*q**2 - 1. Let w be i(1). Let y = -16 - w. Let k(a) = 4*a - 9. Is k(y) a composite number?
False
Suppose -2*u = 8 - 2. Let k = 17 + u. Is k composite?
True
Is (765 - 4/(1 - -3)) + 3 a composite number?
True
Let f = -76 + 152. Let d = f - 42. Is d prime?
False
Suppose 3*r + 1759 = 4*s, 0 = -3*s + 4*r + r + 1333. Let n = s + -201. Is n a prime number?
False
Suppose -4*u + 2*a + 148 = 0, 7*u - 4*a = 3*u + 148. Suppose -2*s - 5*c = 52, 9*s - 12*s = 5*c + 68. Let n = s + u. Is n composite?
True
Is ((-2)/1)/4*2 + 398 a prime number?
True
Is 80/((-2)/(-2)) + 3 a composite number?
False
Is (295 - 1) + (13 - 14) a prime number?
True
Let o(a) = -2*a. Let z be o(3). Is 2*1*(-66)/z a prime number?
False
Let b be 0 + 2/(-6)*0. Suppose -4*w + 25 = 4*o - 5*w, 5*o - 3*w - 26 = b. Suppose o*d = 2*d + 15. Is d prime?
True
Let p(s) be the third derivative of 0 - s**2 + 0*s + 1/4*s**4 - 5/6*s**3. Is p(4) prime?
True
Let n(z) = -28*z**2 - 5*z - 5. Let r(m) = -m**2 - m - 1. Let j(q) = -n(q) + 5*r(q). Let v = 3 - 4. Is j(v) composite?
False
Suppose 10*w + 4*w = 17486. Is w composite?
False
Suppose 3894 = 2*a + 4*v, -2*a + 2*v - 9743 = -7*a. Is a prime?
True
Is (-6)/8 - (-9711)/4 a composite number?
True
Let u(h) be the first derivative of 2*h**2 + 2*h - 3. Is u(2) composite?
True
Let f(g) = -104*g + 79. Is f(-15) a composite number?
True
Suppose 2873 = 2*y + r, -163 = y - r - 1601. Is y prime?
False
Let z = 11 - 7. Suppose x = 5*h - 27 - 26, x + 43 = z*h. Is h a prime number?
False
Let d(s) = 275*s + 15. Is d(2) a composite number?
True
Let l(d) be the third derivative of 17*d**4/24 + 2*d**2. Let i be l(-4). Let z = -13 - i. Is z prime?
False
Let n = 3 + 176. Is n prime?
True
Suppose -u - 3*t = -3*u + 11, -5*u = -3*t - 14. Is (-7 + -78)/(u*-1) prime?
False
Suppose -56*w + 51*w = -7295. Is w prime?
True
Let z(l) = l**3 + l**2 + 1. Let m(g) = 5*g**3 + 11*g**2 - 10*g. Let r(a) = -m(a) + 4*z(a). Let w be r(-9). Let b = 155 - w. Is b prime?
True
Suppose -3*n = -4*m + 15, 4*m + 4*n - 6 - 2 = 0. Is 71/m*(23 - 2) a prime number?
False
Suppose -5337 - 1964 = -7*r. Is r prime?
False
Suppose -5*n - 2*k = -11253, 11249 = 2*n + 3*n + k. Is n prime?
False
Let a(m) = 3*m**2 - 1. Let p = -1 - -6. Is a(p) composite?
True
Is ((-1362)/12 + 8)/((-1)/22) a composite number?
True
Let n = -14 - -6. Let p(w) = w**3 + 9*w**2 - 11*w - 10. Is p(n) a prime number?
False
Suppose 5*x + a - 81 = 0, 4*x = -4*a - 0*a + 52. Suppose -2 - x = -5*v - 4*i, 4*i = 4. Suppose d - v*d + 22 = 0. Is d a composite number?
False
Let f = 1035 - -1666. Is f a prime number?
False
Suppose 0*i - i - 3510 = -3*s, -2*s + 2*i + 2336 = 0. Is s prime?
True
Is 47722/8 - (-2 - 54/(-24)) a composite number?
True
Let o(c) = -c**3 - 6*c**2 - 8*c - 2. Suppose 3*l - 3 - 13 = -d, 14 = 3*l - d. Suppose 3*p + l*f = -8, 0*p - 14 = 2*p - f. Is o(p) a prime number?
False
Let t(d) = d + 3. Let l be t(4). Suppose a + l = 3. Is (-4)/(-6)*(-582)/a a prime number?
True
Let u = 6 - 1. Suppose u*i - 596 = 3*d, 47 = -4*i + d + 528. Is i a prime number?
False
Let o be 4/(16/(-391))*-12. Let y = -428 + o. Is y a composite number?
True
Suppose -4*m + 5*m = -6. Is (m/12)/(2/(-596)) composite?
False
Suppose 2*f = i + f + 4, 3*i = -3*f + 18. Is ((-181)/(-3))/(i/3) a composite number?
False
Let h(k) = -k**2 + 13*k - 9. Let g be h(12). Suppose g*w - 2*w = -4*n + 1343, 2*w + 347 = n. Is n composite?
False
Let o(t) = -t - 3. Let s be o(0). Let r = s + 8. Suppose -r*j + 153 = -32. Is j a prime number?
True
Let s(t) = 25*t**2 - 8*t + 21. Is s(4) composite?
False
Let n(m) = 5*m**3 + 35. Let v(z) = 6 - 27 - 6*z**3 - 14. Let q(u) = 5*n(u) + 4*v(u). Is q(0) prime?
False
Suppose 3*l - 4*f = 5743, 4*l - 2*l + f = 3825. Is l prime?
True
Let d be (-1 + (-115)/(-4))*4. Suppose 3*p - 93 = 2*x + 2*x, 0 = 3*p + 2*x - d. Is p a composite number?
True
Suppose 93 + 198 = 3*n. Is n composite?
False
Let n = 8 - 12. Let g be n/(-14) - (-33)/7. Suppose 2*l - 3*p - 11 = 3*l, -3*l + 37 = -g*p. Is l a prime number?
False
Let t = 2 - -4. Suppose l - 63 = -2*w, -4*w + l - t*l = -111. Is w composite?
True
Suppose 0 = 9*r - 4*r - 1065. Is r composite?
True
Let k(s) = s**2 - 6*s - 5. Let v(t) = t**3 + 7*t**2 + 4*t - 5. Let b be v(-6). Let p be k(b). Suppose -p*r = -5*r + 9. Is r a prime number?
True
Let z = 1037 - 176. Let u = z - 190. Is u prime?
False
Suppose 413 = 5*g + 4*p, -5*g + p = -257 - 171. Is g prime?
False
Let s(l) = 0*l**2 + 5*l + l**2 - 2*l**2 + 3 + 4*l**2. Is s(-7) a prime number?
False
Let j(t) = 5*t**3 - 3*t**2 + 2*t + 2. Let x = -7 - -10. Let u be j(x). Suppose -b + 5*b - u = -4*d, b + 3*d - 35 = 0. Is b prime?
False
Let k = -2 - -6. Let c be k - 6 - (-2 + 1). Is 61/4 + c/4 prime?
False
Let v be (10/15)/(2/9). Suppose -5*i + s + 560 = 0, -3*i - s - v + 339 = 0. Let z = i + 45. Is z a prime number?
True
Let o = 1306 + -839. Is o a composite number?
False
Let l = 1 - -2. Let h be (2/l)/((-4)/