o. Is z(j) a composite number?
True
Let m(l) = -18*l**3 + 2*l**2 + l - 1. Let q be m(-2). Suppose -i + q + 52 = 0. Is i composite?
True
Suppose -3*h + 0*d + 5 = 2*d, -2*d = -2*h + 10. Suppose -2*b - 3227 = -h*m - 0*m, 0 = 4*m - 5*b - 4312. Is m prime?
False
Let w be (9 + -7)/(-3 - -1). Let y be w - (-4)/(12/3). Is 298*(2 - (y - -1)) composite?
True
Suppose 4*z - 5*g - 4601 = 0, 0*z = -2*z - 5*g + 2263. Suppose u + z = -6468. Is (-6)/(-45) - u/60 composite?
False
Let b = 63 + 1924. Is b a composite number?
False
Suppose 0 = 4*k - 6 - 14. Suppose -2*b - 599 = -5*y, -353 = -k*y - 4*b + 264. Suppose -3*o - 4*n + 29 = -28, -2*n - y = -5*o. Is o a composite number?
False
Let y(i) = -i + 1. Let r(a) = 12*a**2 + a + 4. Let p(m) = r(m) - 4*y(m). Is p(7) a composite number?
True
Let f(v) = v**3 - 5*v**2 - 8*v + 35. Is f(8) prime?
True
Let t(c) = -2*c**3 - 7*c**2 - 10*c - 7. Let s be 4/(-3)*36/8. Let q be t(s). Suppose -b = -4*b - z + q, -377 = -5*b + 4*z. Is b a composite number?
True
Let i(c) = 48*c**3 - 7*c**2 + 7*c + 13. Is i(8) a composite number?
False
Let j be (-1123)/(-6) - 8/48. Let d = j - 105. Is d composite?
True
Let q(f) = -f**3 + 13*f**2 - 10*f - 25. Let k be q(12). Is ((k - -1) + 947)*7 a prime number?
False
Let j(r) = -960*r + 19. Is j(-3) prime?
False
Let h(r) = 73*r + 17. Let w be 7/(-2)*(-16)/28. Is h(w) composite?
False
Let b be -6*(42/4 - 0). Let n = 340 + -456. Let c = b - n. Is c a composite number?
False
Suppose 0 = 2*g - 4*p - 4510, g - 5*p - 2046 = 194. Let j = g - 1506. Suppose -6*o - j = -9*o. Is o prime?
False
Let n = -17 + 19. Suppose 25 = -d + 4*y, -4*d = n*y + 2*y. Let h(p) = 10*p**2 + 11*p + 6. Is h(d) prime?
False
Let m be (4/5)/2*1640. Let q = -453 + m. Is q composite?
True
Let z(d) = -32*d + 4. Let h(f) = -1. Let l(y) = -5*h(y) - z(y). Let i be l(1). Is 1 + -1 - (2 - i) a prime number?
True
Let q(r) = -123*r - 139. Let v(u) = -31*u - 35. Let s(a) = -2*q(a) + 9*v(a). Is s(-18) composite?
False
Suppose -5*w + 2*w + 381 = 0. Let f = w + -39. Suppose -370 + f = -3*t. Is t prime?
False
Suppose 16 = -4*q, -m - 14 = m - 3*q. Is 10 + m - (-1 - 625) a composite number?
True
Let p = 7572 - 5393. Is p prime?
True
Suppose -7*g = 5*g - 36. Is (g - 1)/(11/((-65164)/(-8))) composite?
False
Let y(a) be the first derivative of -a**5/20 - a**3 - 9*a**2/2 + 3*a - 4. Let s(g) be the first derivative of y(g). Is s(-4) a prime number?
True
Let y(q) = 337*q + 9. Let p be y(8). Suppose 4*v - p = -5*o, -2164 = -4*o - 0*o + 4*v. Is o a prime number?
True
Let v(l) = l**3 - l**2 + 3. Suppose 4*s - 5 = -5*a, -3*s = 2*s + 5*a - 5. Let g be v(s). Suppose n + 216 = 4*p, 5*n + 103 + 42 = g*p. Is p prime?
False
Suppose 5*m + 0*m = 10. Suppose m*h - 612 = 758. Is h composite?
True
Let z = 23 - 32. Let f(l) = l + 11. Let u be f(z). Suppose 301 = 3*v + u*w, -2*w = -5*v - w + 480. Is v a composite number?
False
Suppose 8 = 5*h - 7. Suppose 3*w + 4*j - 1125 = 0, -1475 = -3*w - w + h*j. Is w composite?
True
Let s = -617 - -1889. Suppose -s - 633 = -5*y. Suppose -151 - y = -4*h. Is h composite?
True
Is (-50)/(-75)*(-15)/(-2) + 552 a composite number?
False
Suppose 0 = -134*i + 135*i + 2*f - 1193, -5*i = 5*f - 5960. Is i a composite number?
True
Suppose 0 = 10*o - 28162 + 8732. Is o prime?
False
Let y(w) = 5*w + 6. Let d be y(4). Let o = -24 + d. Is 129 + -9 + 6/o prime?
False
Let s(m) = m**3 + 5*m**2 + 5*m + 8. Let l be s(-4). Suppose l*g = 9*g - 20. Suppose 0 = -g*o + o + 1623. Is o composite?
False
Suppose -1 = -5*c + 3*n, -2*n - 7 = -3*c + 3*n. Is (-2520)/(5/c) + -2 a prime number?
False
Let l = 11477 - 5574. Is l composite?
False
Let c be (-50)/(-15)*3/2. Suppose -c*m + 0*v + 37 = 2*v, 2*m - 30 = 3*v. Suppose -k + m = -28. Is k a composite number?
False
Suppose -11 = 19*q - 68. Suppose -8*u - 51 = -13*u + 4*z, 2*u = -q*z + 2. Is u a composite number?
False
Let t(d) = 91*d - 79. Is t(8) composite?
True
Suppose 3*a - 2*l - 28 = -0*l, 0 = -4*a + 5*l + 42. Suppose -z - a = -5*z. Is z/7 + 4887/21 prime?
True
Let p be (-12)/4 - -3 - -15. Suppose 13*s + 1574 = p*s. Is s a composite number?
False
Let b = 233 - 138. Let x = b - -126. Is x a composite number?
True
Let s = 2099 + -952. Is s a composite number?
True
Suppose m + 4*d - 113 = 0, 2*d = 3*m + 6*d - 315. Is -1 - (-1 + m)/(-2) composite?
True
Let l(j) = -j**3 - 7*j**2 - 16*j - 1. Let g be l(-11). Suppose -g = 5*p - 2334. Is p prime?
False
Suppose 4 + 1 = h. Suppose 3*c = h*l + 2*c - 9216, 2*l - 5*c = 3691. Is l prime?
False
Let p be 21/7 - (-2 - -2). Let z = p - 8. Let n(y) = y**2 - y + 4. Is n(z) composite?
True
Suppose -11947 = -2*u - 11*u. Is u a prime number?
True
Let f(w) = 71*w**2 - 6*w + 12. Is f(-3) a composite number?
True
Suppose -44938 = -8*z + 6*z. Is z prime?
True
Suppose 2*y + 2*p = 20, 5*y - 10 = -0*p + 5*p. Suppose -5*c + y + 9 = 0. Suppose -c*j + 180 = -0*o + 5*o, -118 = -2*j - 4*o. Is j composite?
True
Suppose -114*i + 98*i = -45456. Is i a prime number?
False
Let i = -1251 - -4885. Let n = 5849 - i. Suppose -n = -0*f - 5*f. Is f a composite number?
False
Let f = 18092 - 8565. Is f composite?
True
Suppose m + 5*f + 37 = -m, 19 = -m - 2*f. Is (-6)/m + (-3044)/(-28) a prime number?
True
Suppose 8*o = 2947 + 1749. Is o a composite number?
False
Suppose x - 30163 = -3*k, -90433 = x - 4*x + 5*k. Is x composite?
True
Suppose 27599 = -8*d + 21*d. Is d a prime number?
False
Suppose 49 = o - 4*t - 383, 3*o - 4*t - 1320 = 0. Let f = o - 151. Is f composite?
False
Suppose 0 = 4*k - 2*f - 0*f - 26, -k - f = 1. Suppose -k*z + 4700 = z. Suppose -9*d + z = -5*d. Is d a prime number?
False
Let q(c) = -388*c + 3. Let h be q(-2). Suppose -h = -3*x + 358. Is x prime?
True
Is 540 - (-1)/(2 - 3 - -2) a composite number?
False
Let k(x) = -438*x + 13. Is k(-5) a prime number?
True
Suppose -4*m = -50721 + 18173. Is m a prime number?
False
Suppose -35 + 14 = -3*w - 3*a, 10 = 5*a. Suppose -285 = -w*g - 4*q + q, 171 = 3*g + 4*q. Suppose -p - g = -2*p. Is p a composite number?
True
Suppose 16*u - 71380 = 75100. Is u a composite number?
True
Suppose -3*o - o + 12 = 0. Suppose -o*d - 2013 = -5958. Is d a prime number?
False
Let o(u) = -u**3 + 8*u**2 + 9*u + 2. Let i be o(9). Suppose 0 = i*m - 8 + 2. Is (-143 + 0)/((-3)/m) a composite number?
True
Let z(o) = o**2 - 2*o - 2. Let g be z(4). Suppose -h + 590 = -g*h. Let j = 203 + h. Is j a composite number?
True
Let p(f) = -1303*f - 191. Is p(-10) a prime number?
False
Let w be 854/(-4)*24/(-7). Suppose 0 = 3*o - 0*o - w. Suppose -6*x + o + 686 = 0. Is x composite?
True
Let t(d) = 2*d + 20. Let o be t(-8). Suppose 4*h - 248 = -o*h. Is h a prime number?
True
Let v be -5*4/8*-4. Let w(a) = 6*a**2 + a + 1. Let c be w(-1). Is (-398)/(-5) - c/v a composite number?
False
Suppose -4*j - 3 = -4*b - 15, -4*j + 2*b = -12. Suppose 2*g + 5*t = 183, -j*g = -0*g - 2*t - 227. Is g a prime number?
True
Suppose -3*v = 5*j - 4, 4*j - 16 = -0*j + 4*v. Suppose -2 = 3*b + 4*n, j*b = 4*b + 3*n + 2. Suppose 0 = 6*x - x, 3*x = -b*w + 502. Is w a prime number?
True
Let w = 11 + -16. Let s = w - -5. Suppose s = 5*t + 2*d - 191, -75 = -2*t - 5*d + 14. Is t a composite number?
False
Suppose 63791 = 14*z - z. Is z prime?
False
Let i(f) = 1836*f + 77. Is i(7) prime?
False
Let y be (368/(-8))/((-12)/10)*3. Let l = y + 174. Is l prime?
False
Let a be (-1 + 4)*2/(-3) - -9. Suppose 0*s - 8799 = -a*s. Is s composite?
True
Let s = 27 - 15. Let t(b) = -3*b**2 - 13*b + 5. Let n(c) = -5*c**2 - 25*c + 9. Let f(h) = 4*n(h) - 7*t(h). Is f(s) a prime number?
True
Let b be 2 + -4 + 2 + -1 + -1794. Let w = b - -4716. Is w prime?
False
Suppose j - 5*k - 29 = 0, 4*j = -k + 17 - 6. Suppose j*u - 2*c = 3*c + 157, 160 = 5*u + c. Is u composite?
True
Let j = 13087 - -6354. Is j composite?
False
Let q = -544 - -1812. Let m = q - -527. Is m prime?
False
Suppose -k + 12 = 9. Suppose 2*u + 2*f - k = -7, 0 = -3*u + 5*f + 26. Suppose -u*y + 90 = -136. Is y composite?
False
Let n(l) be the second derivative of -l**5/20 + l**4/3 - l**3/3 - l**2 + 9*l. Let x be n(2). Suppose -x*m + 164 = -0*m. Is m composite?
True
Suppose 0 = 8*y + 15*y - 50669. Is y a prime number?
True
Let g = 3179 - 1438. Is g composite?
False
Suppose -4*i + 0*y = -4*y + 12, i + 3*y + 19 = 0. Let w be -48 - (-3 - i) - 2. Let c = w - -305. Is c a composite n