Let n(f) = -9*f - 2. Let o(y) = 10*y + 2. Let s(c) = 3*n(c) + 2*o(c). Suppose 0 + 25 = -5*h. Is s(h) composite?
True
Let u(b) = -707*b - 9. Is u(-4) a composite number?
False
Suppose 33 - 1035 = -3*o. Is o composite?
True
Let i = 9 + -3. Let o(m) = 6*m**2 - m + 1. Is o(i) a prime number?
True
Let y = -9 - -16. Suppose -2*w = -y*w + 635. Is w a composite number?
False
Let v = -6 + 14. Suppose 3*w - v*w + 10 = 0. Let j = 23 + w. Is j a composite number?
True
Let r = 11 - 7. Suppose z = 3*z + 2*t - 470, r*t + 1211 = 5*z. Is z prime?
True
Let f be ((-12)/(-8))/((-6)/(-8)). Is (f/(-6))/(13/(-429)) prime?
True
Let p be 2/6 - 55/(-15). Suppose -r = p*r + 20. Is (-3)/(-12) + (-87)/r a composite number?
True
Let f(g) = 82*g + 15. Is f(13) composite?
True
Let j be ((-7)/4)/((-3)/156). Let g = j + -45. Is g a composite number?
True
Let z be 389/2 + (-6)/12. Is ((-2)/2)/((-2)/z) prime?
True
Let z(l) = -22*l - 7. Suppose -a + 5*a = -20. Is z(a) composite?
False
Let l be 2741/13 + 2/13. Suppose s - l = 2*a, 2*s + 2*s - 5*a = 835. Is s composite?
True
Suppose -8 = -2*q - 4*o + 16, -q = -4*o - 18. Let b(w) = w**2 - 2*w. Let u be b(2). Let j = u + q. Is j composite?
True
Let p = 86 - -603. Is p a prime number?
False
Let o be (-7)/(42/76)*-183. Suppose 2*m = -2*j + 2328, 5*j + 4*m = 3*j + o. Let h = -700 + j. Is h prime?
False
Suppose 3*q - 13 = -r, r - 17 = -3*r - 5*q. Is (-5 + 2)*2/r a prime number?
True
Let h(n) = -n**3 + 7*n**2 + n + 4. Is h(5) prime?
True
Let c = 3332 + -169. Is c composite?
False
Let b(c) = -c**3 - c + 3787. Is b(0) a prime number?
False
Suppose -27*p = -18*p - 18639. Is p a prime number?
False
Suppose 0 = 5*r - 4*t - 10295, 5*r - 4*t - t = 10290. Is r prime?
True
Suppose -12 = -4*h + 3*r + r, -3*h - 4*r = -37. Suppose h = s + 1. Is s prime?
False
Let b = 181 + -111. Let a(h) = 1 - 3 + 8*h + 3 + b*h. Is a(1) a prime number?
True
Let x be (-10)/(-12)*4*3. Let c be 1884/(4 + (-13)/4). Is 4/(-20) + c/x a prime number?
True
Let r(z) = -z**2 - 7*z + 8. Let h be r(-7). Let j = h + 4. Suppose p + p - j = -2*k, -4*p + k + 44 = 0. Is p a prime number?
False
Let x be -3 - 0 - -4 - -4. Is (-14)/(-2) - 15/x a composite number?
True
Suppose 2*c - 3*c - 3541 = -5*m, 2*m - 1410 = 2*c. Is m a prime number?
True
Let j be (2/3)/((-4)/(-1614)). Let k = -121 - -15. Let v = k + j. Is v a composite number?
False
Suppose 778 = -4*o + 8382. Is o composite?
False
Let i = 8 + 11. Is i a prime number?
True
Let y = -422 + 889. Is y composite?
False
Suppose 6*o + 4*m - 367 = o, 2*o - m - 152 = 0. Let p(y) = -y. Let r be p(-5). Suppose 8*u - 3*u - 2*s = o, r*s = -u - 12. Is u composite?
False
Let f(w) = w - 10. Let i be f(-11). Let m = 32 + i. Is m a prime number?
True
Suppose 107 + 73 = -4*i. Let y = i - -84. Is y a composite number?
True
Suppose 304 - 1492 = -4*s. Suppose g + 124 = 2*h + 8, s = 5*h + g. Is h composite?
False
Let y(k) = -k**3 + 25. Suppose -5*z = -z. Is y(z) prime?
False
Let u = 13 + -9. Is (-1343)/(-9) + u/(-18) a composite number?
False
Let y(q) = -17*q + 10. Let j be y(-11). Let z = 96 + j. Is z composite?
False
Let y(h) = -9*h + 4 + 9*h + 7*h**2. Is y(7) a composite number?
False
Let b be 2 - -10*(-2)/(-4). Let w = 11 - b. Let k(i) = 9*i + 2. Is k(w) a prime number?
False
Suppose 8*v - 5889 - 11047 = 0. Is v composite?
True
Let b be 2/(-4)*(-2 - -2). Suppose b = 3*t - 0*t - 147. Is t composite?
True
Let x = 214 + -94. Let a be (10 - 9)/(1/191). Let v = a - x. Is v a composite number?
False
Let b(l) be the second derivative of 1/3*l**3 + 2*l - 1/2*l**2 - 1/6*l**4 + l**5 + 0. Is b(1) prime?
True
Suppose -3*f + 5 = -2*p, -4*p - 7 = -9*p + f. Suppose 4*u = 14 - p. Is 7/(-1 + u - 1) composite?
False
Suppose 432 + 177 = 3*b. Is b a composite number?
True
Suppose -384 = 3*u + 5*u. Let t be 3*(0 + 326/6). Let h = t + u. Is h prime?
False
Suppose 0 = -2*x - 4*s + 214 + 24, -2*x + 5*s = -274. Is x prime?
True
Suppose 2*u + c - 202 = 5*c, 0 = -3*u - 3*c + 285. Is u prime?
True
Suppose -5*y = -279 + 4. Is y prime?
False
Let k = 4 - -18. Is k a prime number?
False
Let z(c) = 13*c + 6. Let f be (10 + -1)/(-5 + 6). Is z(f) composite?
True
Suppose 5*m - 23 = y, 0*y - 4 = 3*y - 2*m. Suppose -y*t + 46 = -0*t. Let x = t + 14. Is x a prime number?
True
Let f(w) = w**3 + 5*w**2 - 6*w + 2. Let s be f(-6). Let m = 4 - 1. Suppose -m*v + 55 = s*v. Is v composite?
False
Let q(t) be the first derivative of 5*t**3/3 - 11*t**2/2 + 7*t - 3. Is q(10) a composite number?
False
Suppose -95 = -4*z + 85. Is (4/(-3))/((-6)/z) a prime number?
False
Suppose -4*m - 9*m + 6617 = 0. Is m a prime number?
True
Suppose 3*z = d + d + 19, 0 = -2*z + 3*d + 11. Let r = z + -11. Let a(g) = -3*g - 5. Is a(r) prime?
True
Let x = 9 - 9. Suppose x = 3*v + a - 106, 0 = 2*a - 0 + 10. Is v a composite number?
False
Suppose -3*u = 2*l - 17, -l - 5*u = -3*u - 10. Let h be (19 - 15)*1/2. Suppose -3*f = h*c - 60, f - 105 = -3*c + l*f. Is c prime?
False
Suppose -n - 6 = -0*n. Let g(j) = j**2 + 6*j. Let l be g(n). Suppose l = -2*q - 4*w + 10, 2*q = q + w + 14. Is q prime?
True
Let t = 748 + 2765. Is t prime?
False
Let r(s) = s - 1. Let f(j) = 26*j + 7. Let q(d) = f(d) - 3*r(d). Is q(13) prime?
False
Let w be (-4)/10 - 7/(-5). Let r(o) = 80*o. Let j be r(w). Suppose -4*y + j = 4*q, -2*y = 2*q + q - 39. Is y composite?
True
Let t = -75 - -368. Is t prime?
True
Suppose 0 = -5*s - 4*v + 4025, 3*s = -0*v - v + 2422. Is s composite?
False
Suppose -5*x = -7784 + 1859. Let h = x + -698. Is h a composite number?
False
Suppose -2*j + k - 1885 = 0, -3*k - 801 = -4*j - 4574. Is 4/(-16) - j/4 a prime number?
False
Let y(d) be the second derivative of d**5/10 - 7*d**4/12 + d**3/3 - 3*d**2 + d. Is y(5) composite?
False
Let o be 2*(-1)/(-2)*-5. Let t(y) = -10*y - 1. Is t(o) prime?
False
Suppose 5*h = 3*h - 4, -a = 5*h - 2383. Is a prime?
True
Let u(y) = y + 6. Let p be u(-4). Suppose p*d + 219 = 3*d. Let t = -14 + d. Is t prime?
False
Let n = -99 - 65. Let s = n - -297. Is s prime?
False
Let y(c) = -c**3 - 6*c**2 + c + 2. Let n be y(-6). Let a = 1 + n. Is a/2*14/(-1) composite?
True
Suppose 0 = 2*i - 2, 4*h + 7*i = 2*i + 2117. Let r = -79 + h. Is r prime?
True
Let f = -1588 + 3281. Is f a composite number?
False
Let r(j) = j**3 + j**2 + j + 14. Let a be r(0). Let n(l) = l**2 + 12*l + 18. Let k be n(a). Let d = 801 - k. Is d composite?
False
Suppose 0 = -13*z + 9*z + 2188. Is z composite?
False
Let c(z) = -z**3 + 7*z**2 + 7*z + 1. Is c(6) composite?
False
Suppose w = -4*w + 650. Let r = w - 55. Suppose -b + 87 = 5*i, -r = 2*b - 3*b + i. Is b composite?
True
Is (1594/(-6))/((-9)/27) composite?
False
Let l = 2 - 0. Suppose -2*i - c - l*c + 15 = 0, 3*c - 6 = -i. Is i a composite number?
True
Suppose 1897 + 5173 = 10*h. Is h a composite number?
True
Let i = 339 + -207. Let c = i + 107. Is c a composite number?
False
Let l be (-1 + 2)/(1/4). Let h(x) = x**3 + 4*x**2 - 4*x + 1. Is h(l) a composite number?
False
Let n(h) = -15*h + 5. Let b be n(-4). Suppose 20 = k - b. Is k a prime number?
False
Suppose 0 = -5*l + 25, -2*u - 3*l + 16 = -u. Suppose 0 = 2*g - 5 - u. Suppose -j - 4 = -g*j. Is j prime?
True
Let a be (-2)/5 - (-56)/(-10). Let c = a + 41. Is c a composite number?
True
Suppose 0 = -2*l + 4. Suppose t - 3*r = 442, r = -2*t + l*r + 879. Is t prime?
True
Let a(i) = -2*i**3 - 3*i + 4. Let k(m) = m**2 + 1. Let b(c) = a(c) - 5*k(c). Is b(-4) composite?
False
Let j = -10 + 14. Suppose -8 = -2*n - 4*m, -1 = -2*n - 5*m + j. Suppose 3*r - 5*x - 13 = -5, -n = -2*r + x. Is r a composite number?
True
Let m(c) = c**2 - 6*c + 4. Let j be m(6). Suppose -5*g - 2 = -2*u - 7, -j*g + 4 = -2*u. Suppose 4*p = -5*o + 341, 0 = -o - 3 - u. Is p a composite number?
False
Let u(a) be the first derivative of a**2 + a + 3. Let g be u(-2). Is 138 + g/(-6 + 3) prime?
True
Suppose -2*f = -20 - 4. Let o = f - -11. Is (o - (-1 + 1)) + -2 a prime number?
False
Suppose 7*z - 25 = 2*z. Let j(r) = -r + 10. Let u be j(z). Suppose -g - u*k + 27 = -3*k, -113 = -5*g + k. Is g prime?
True
Let z(g) = -2*g**3 + 9*g**2 + 3*g + 4. Let y(p) = 3*p**3 - 18*p**2 - 5*p - 9. Let i(a) = -3*y(a) - 5*z(a). Let j be i(-7). Let c = j - 68. Is c prime?
True
Let s be (117/6)/((-6)/(-8)). Suppose -s = -f + 11. Suppose k - 1 = f. Is k a composite number?
True
Let g(a) = 7*a + 