. Let z be 1/(-3)*(-4 + -11). Suppose -9 = -z*m - 29. Is y(m) a prime number?
True
Let o(g) = 105*g**2 - 9*g - 173. Is o(-12) composite?
True
Let u(h) = h**3 + 11*h**2 - 12*h + 4. Let l be u(-12). Let r be (-1)/(-2) + (-6)/(-4). Suppose l*i = -r*s + 7*s - 1775, -3*s + 4*i + 1065 = 0. Is s prime?
False
Let b(r) = r**2 + 4*r - 3. Let s = 5 + -2. Let w be b(s). Let v = w - -17. Is v composite?
True
Let d be (-365)/20 - (-1)/4. Let v be ((-27)/d)/(1/4). Suppose -4*j + v + 38 = 0. Is j prime?
True
Suppose 32 - 22 = 5*z. Suppose 0*o + o = 2*y - 123, -z*y - 3*o + 103 = 0. Is y a composite number?
False
Let m = -7 + 19. Let v be 3/2*(-32)/m. Is (-777)/(-2) - v/8 prime?
True
Let o = 26 + -11. Let v(y) = 2*y**2 - 11*y + 8. Is v(o) composite?
False
Suppose -9*k + 8*k + 1969 = 0. Is k composite?
True
Let t be (-33)/(-44)*88/(-2). Is (-166)/(-3)*t/(-2) prime?
False
Suppose 7 + 36 = 5*x + h, 4*h = 12. Let v(n) = 28*n - 30. Is v(x) prime?
False
Let w be (3 - 12)/3 - -5. Suppose -g + 3 = 0, 6*y + 5*g - 1339 = w*y. Is y prime?
True
Let t be 0 + -1 + -3 - -3. Let w be 3*t/(-6)*-2. Is w + (39 - (0 - -3)) a composite number?
True
Suppose -3*a + 5 = -4*j - 16, 0 = 2*a - j - 9. Is ((-12)/(-16))/a*2692 a composite number?
False
Let f(h) = -h**2 + 13*h + 8. Let r be f(14). Let y be ((-2194)/r*3)/1. Suppose 5*s = 5*d + y - 327, 0 = 5*s - 3*d - 778. Is s a composite number?
True
Let d(a) = -27*a**3 + 3*a**2 + 9*a - 8. Is d(-7) a prime number?
True
Suppose -p - 8 = -16. Suppose -5*q + p*m - 3*m = -3225, m + 2586 = 4*q. Is q prime?
True
Suppose 0*s = 13*s - 39. Suppose -s*j + 3656 + 871 = 0. Is j prime?
False
Suppose -11879 = -3*q - n, -q - 4*n + 3683 + 284 = 0. Is q a prime number?
False
Let s = 2946 + -1543. Suppose -11*t + s = -10*t. Is t composite?
True
Let x(d) = 32*d + 35. Let s(a) = 33*a + 34. Let i(b) = 4*s(b) - 3*x(b). Is i(8) a prime number?
False
Let u(t) = 31*t**3 - 3*t**2 + 4*t + 1. Let l be u(5). Suppose -3*m = -l - 1630. Is m prime?
False
Suppose -5*i - 1788 - 1187 = 0. Let b be i/(-10)*(-120)/14. Is 1/(b/(-254) - 2) prime?
True
Let r(w) = w**2 + 11*w - 11. Suppose g = -2*z + 6*z + 24, 0 = -3*g + 4*z + 48. Is r(g) prime?
False
Let i be (-4)/7 - (-390)/70. Is -194*(-20)/(-8)*(-1)/i a composite number?
False
Suppose k - 14 = -3*i - 2, 5*k + 4*i = 27. Suppose -3*r + 18 - k = 0. Suppose 364 = r*g - g. Is g composite?
True
Suppose -24 - 4 = -i. Let y = -43 + i. Let f = 48 + y. Is f prime?
False
Suppose 0 = -2*r + 45 + 17. Suppose -185 = -l + r. Suppose 2*i + 2*n = l - 64, -5*n = 15. Is i composite?
False
Is (-201)/6*-650 - 8 a prime number?
True
Let l(z) = -z**3 + 7*z**2 - 14*z + 42. Let m be l(6). Let t(v) be the third derivative of v**5/20 + 5*v**4/24 - v**3/6 + v**2. Is t(m) a prime number?
False
Suppose -2*h - 4 = 2. Suppose 0 = d - 0*d - 1. Is (-2 + d)*-40 + h composite?
False
Suppose -3*u + 3*p = -6*u + 315, 0 = p + 5. Let y = u - 168. Let j = 191 + y. Is j a prime number?
False
Let l = -9 - -12. Suppose -x - 136 - 98 = -3*k, -219 = -l*k - 4*x. Let s = k + -18. Is s prime?
True
Let a = 572 - 93. Is a a composite number?
False
Let r be (-5)/(20/(-48)) - 0. Let u(z) = -4 + r + 122*z - 3. Is u(3) composite?
True
Suppose -j + 16 = 4*y - 0*j, -2*y - 6 = -3*j. Is y/1 + 560/5 composite?
True
Let x = -3052 - -7179. Is x prime?
True
Let u be (-14)/(-21)*(2 + -1 + 2). Suppose 8 = -2*r, 55 = -3*z + u*r + 1158. Is z a composite number?
True
Let m = 1 - -3. Let i be (1 - 4)/(-3 - 704/(-235)). Suppose i = -m*d + 9*d. Is d a prime number?
False
Suppose 3*o - 4*u - 50745 = 2180, -4*u - 17631 = -o. Is o a prime number?
False
Let z(i) = -i**3 + 15*i**2 + i - 4. Let k(l) = l**3 - 9*l**2 - 9*l + 1. Let v be k(10). Is z(v) a prime number?
True
Suppose 0 = -n - 0*n + 2. Suppose h - 23 + n = 0. Is h/(-2)*296/(-12) composite?
True
Let t = -4475 + 18211. Let s = t - 9747. Is s prime?
True
Is 4/(-10) + ((-370672)/(-20))/4 a composite number?
True
Suppose -6*a = 6*a - 24. Suppose 3*k - 381 = -0*s - a*s, 2*k - 254 = s. Is k prime?
True
Let m(w) = 49*w**2 - 8*w - 2. Let i be m(-3). Let j = i + 1312. Suppose 3*v - j = h + 1199, 0 = 5*v - 2*h - 4955. Is v prime?
False
Suppose 3*w - 6 = 6. Suppose 0 = w*b - 9*b + 18755. Suppose -4*v + 3*i + 7805 = 0, 5*v = -4*i + b + 5982. Is v a prime number?
True
Let q be (3/(-9))/(1/501). Let f = q + 18. Let r = 504 + f. Is r a composite number?
True
Let j = -2493 - -3656. Is j a composite number?
False
Suppose -4*k + 4600 = f, -7*f + 2*f - 20 = 0. Is k composite?
False
Let n(x) = x**2 + 2*x. Let g = 11 + -11. Let t be n(g). Suppose t = 2*z - 54 - 56. Is z prime?
False
Suppose 427 = -3*j + 1072. Suppose -1665 = 5*w - j. Let g = w - -853. Is g prime?
True
Let z = -9877 + 21054. Is z a composite number?
False
Let p(s) = 2*s**2 - 8*s - 4. Let r be p(4). Let d(h) = 4 - h - 3 - h**3 + 4 - 3*h**2. Is d(r) a prime number?
False
Let o(s) = 295*s**3 - s**2 - 5. Is o(2) prime?
True
Let o(z) = -14*z + 2939. Is o(0) a composite number?
False
Is (-2)/(5/24110*-4) composite?
False
Suppose 36 = -0*i - 3*i. Let p be (-2 + 2)/(i/(-4)). Is 128 + -2 + p - -1 prime?
True
Suppose 0 = z + 106 - 108. Is (z - 0 - -51) + -2 a composite number?
True
Let a(z) = -z + 2129. Let b be a(0). Let d = b + -1113. Suppose d = 3*s + s. Is s prime?
False
Let j(h) = -h**2 - h - 5. Let i be j(-4). Let u(v) = v**3 - 10*v**2 + 12*v - 3. Let z be u(9). Let o = z + i. Is o a composite number?
False
Suppose 25*h = -5*h + 3759690. Is h prime?
False
Suppose 3*o - 1 = 2*o. Is ((2797 - -1)/2)/o a prime number?
True
Suppose -2*d - 3*d = -4755. Let n = d + -187. Is ((-1)/2)/((-2)/n) composite?
False
Suppose -5*c = -2*x + 11346, 0 = -0*x + x + 3*c - 5651. Is x prime?
False
Suppose 20 = c + 2*s + s, 20 = c - 4*s. Let n(k) = 5 - 1 - 2 + c*k. Is n(4) a prime number?
False
Let z(j) = -85*j**3 + 4*j + 5. Let p(f) = f**2 - 9*f - 28. Let l be p(12). Suppose -l = -2*h + 6*h. Is z(h) prime?
True
Let n be 10*1*3/6. Suppose -5*g - 72 + 1332 = n*m, 5*m + 716 = 3*g. Suppose 175 + g = u - 3*s, 4*u + s = 1649. Is u composite?
True
Suppose 0 = -5*f - f. Suppose f = -4*a + 59 + 249. Is a prime?
False
Let n = 13798 + 2864. Is (n/6)/(1/(-2)*-2) a composite number?
False
Let m = -14 + 19. Suppose -4*j + 2716 = -4*k, j - m*k = 4*j - 2029. Suppose -h + 244 = -5*w + 1352, -j = -3*w + 5*h. Is w a prime number?
False
Let d(b) = 10*b**2 - 11*b + 11. Let f(n) = 21*n**2 - 21*n + 22. Let x(a) = 13*d(a) - 6*f(a). Let p(c) be the first derivative of x(c). Is p(18) prime?
True
Suppose 3*q - 1600 - 2369 = 0. Suppose -6792 - q = -3*t. Is t prime?
False
Suppose q + d - 11852 = 86129, 0 = 3*q - 3*d - 293943. Is q prime?
False
Let v = -1015 - -2630. Let q = 6476 - v. Is q composite?
False
Is (-26)/91 + (-94509)/(-7) composite?
True
Let n(m) = m**3 - 3*m**2 - 3*m + 2. Let q be n(4). Suppose 0 = -4*o + q*o. Let v(r) = r**3 + r**2 + 2*r + 307. Is v(o) a composite number?
False
Suppose -6*l + 1465 = -l. Is l composite?
False
Let r(s) = -17 - 7 + 13*s + 41 + 19*s. Let y be 1/(-3 + (-56)/(-18)). Is r(y) composite?
True
Let r(t) = 339*t - 9. Let n be r(-3). Let h = n - -1693. Is h a prime number?
False
Let n(b) = -4 + 1 + 16*b - 7*b. Suppose 3*r = -v - 2*r - 8, -12 = -2*v + 4*r. Is n(v) composite?
True
Suppose -6*q - 1292 = -4646. Suppose 0 = -4*z + 333 + q. Is z a composite number?
False
Let x be 0 + (2 - (-36)/3) + -2. Is (1485 + 1)*(66/x)/11 a composite number?
False
Let w = -2 - -33. Suppose w = 2*h - 43. Is h a prime number?
True
Suppose -1341622 + 350832 = -10*a. Is a prime?
True
Is 2847 + ((-42)/231 - (-128)/(-22)) a prime number?
False
Suppose 10 + 6 = 4*n. Is n*(-886)/32*-4 composite?
False
Let h = -28 + 2110. Suppose h = -u + 7*u. Is u composite?
False
Let b = 4359 - 1360. Is b composite?
False
Let y(z) be the first derivative of 3*z**3 + 3*z**2/2 - 4*z + 1. Let b be y(-4). Let u = -69 + b. Is u a prime number?
True
Let j be 1/((-1)/(-36)) + 2/2. Is j/1*(-5 - -16) composite?
True
Let s(w) = -w. Let u be s(-1). Let b(p) = p**2 + 2*p - 1. Let h be b(u). Suppose 256 = h*n - 2*z, -3*n - 3*z - 24 = -378. Is n prime?
False
Let v(a) = a**2 + a - 6. Let g be v(-3). Suppose 4*r - 49 = -2*m - 7, g = -5*m + 5*r + 120. Is m composite?
False
Let s be (0 - -6)*625/15. Let w be (3/(-1) + 0 - -3) + -123. Let i = s + w. Is i composite?
False
Let 