et i be (-75)/(-2) + 3/6. Suppose -i = -3*c - 32. Suppose 0 = -c*d + 2 + 8, -3*d + 1539 = 4*s. Is s composite?
True
Let z(d) = -6*d + 30*d + d**2 - 14*d - 9*d - 20. Is z(-7) a prime number?
False
Suppose -f = -6*f + 5*d - 8630, -2*f - 4*d = 3440. Let w be f*4/(-8) + 4. Let k = -381 + w. Is k a prime number?
False
Let l = 5044 + 34144. Is 6/(-15) + l/20 a prime number?
False
Let v = -194 - -273. Suppose -5*n - v = 511. Let i = n + 173. Is i a composite number?
True
Let v(p) = -p**2 - 10*p - 10. Suppose -9*a + 3*a - 18 = 0. Is v(a) a composite number?
False
Is (4 - 12/6) + 11861 a composite number?
False
Is -9111*8/(-12)*(-6)/(-12) a composite number?
False
Suppose 2*f = -2*f - 40. Let s be (-54)/(-15) + 6/f. Suppose 3*x + 8 - 140 = -3*k, s*k - 5*x = 172. Is k prime?
False
Let b(q) = 3*q + 4. Let c be (-3)/(-3) + -4 + 3. Suppose 5 = -5*g, c*g - 8 = -u - 2*g. Is b(u) a prime number?
False
Suppose -4*a + 0*a = -5088. Let l = a - 617. Is l a prime number?
False
Suppose 0 = 3*g - 7*g + 592. Suppose b + b = g. Is b a composite number?
True
Let h(m) = m**2 - 4*m + 5. Let v be h(3). Suppose -17 - 3 = -v*p - 4*z, -p = -3*z + 5. Is (p/(-12))/(3/(-4383)) a prime number?
True
Let q be (((-90)/4)/5)/(6/(-1416)). Let n = q + -395. Is n a prime number?
False
Let i(x) = 80*x**2 + 11*x + 8. Let l be i(-4). Suppose -2*p = q - l, -3*p = 2*q - 966 - 899. Is p a prime number?
False
Let p = 6 - -16. Let h(y) = -p + 11 - y + 4*y**2 - 2*y**2. Is h(8) a prime number?
True
Let h(u) = 3*u**3 + 3*u**2 - 3*u - 4. Let y(s) = s**3 + 4*s**2 - 6*s. Let w be y(-5). Suppose -w*z = -2*i - 23, 4*z = 3*i - i + 20. Is h(z) a composite number?
True
Let f = 15 - 14. Is 514/(1 + 1)*f a composite number?
False
Is 2038 - (-1)/((-4)/20) composite?
True
Let x = 125593 + -27784. Is x composite?
True
Let b(q) = 1516*q**2 - 17*q - 19. Is b(-4) prime?
False
Let g be 2 - (-4 - (1 + 7)). Let i be g/(-4) + 3/6. Is 516/10 + i/5 a composite number?
True
Suppose 7*r = -1278 + 8432. Suppose v + 375 - r = 0. Is v composite?
False
Suppose 2*t = 12 - 4. Let a(f) = 73*f + 1. Is a(t) prime?
True
Suppose 25 = 3*l + 4. Let a = 226 + l. Is a prime?
True
Let q be ((1 + -2)*8)/(-2). Suppose -m + 595 = q*m. Is m a prime number?
False
Suppose 0*q + 11 = -4*b + 5*q, -7 = 5*b - 4*q. Suppose u - 23 = -2*d - b, -5*u = -d. Is d a prime number?
False
Let t = -22936 + 36566. Let q be (-4)/(-6) + t/30. Suppose 0 = 5*m - 2*f - q, 2*f = 3*m + m - 366. Is m a prime number?
True
Let o = 20 + 11. Let k be ((-12)/10)/((-2)/5). Suppose k*z = o + 26. Is z composite?
False
Suppose -x + 0*x - 4*w = -6, 5*w = 10. Suppose -1414 + 7342 = -4*b. Is x/8 + b/(-8) prime?
False
Suppose -7*n + 2931 + 1675 = 0. Let i = -888 + 465. Let j = i + n. Is j a prime number?
False
Suppose 0*d - 15 = d. Is (-4144)/(-6) - 5/d prime?
True
Let w(l) = l**2 + l - 1. Let t be w(2). Let g(m) = m - 9. Let f be g(t). Is -1916*2*f/32 a prime number?
True
Let y be 2*(-5 + 7) + -5. Is y/(-4) - 1795/(-4) composite?
False
Suppose -54604 = -4*z - 18*k + 20*k, -4*z + 4*k = -54612. Is z prime?
True
Let a(d) = 3*d**2 - 4. Let o be a(6). Suppose 0*w + w = o. Let t = -15 + w. Is t a prime number?
True
Suppose 6*d - 2320 = d + 5*s, 5*s = -2*d + 935. Let b = -175 - -339. Let i = d - b. Is i a prime number?
False
Let t be -3 + 2 - 36/4. Let u(c) = -4*c**3 - 10*c**2 - 3*c - 13. Is u(t) a composite number?
True
Let o = 5 + 4. Is (-2 + o)/(4/52) prime?
False
Let l(y) = y**2 - 6. Suppose -48 = -v - 5*v. Is l(v) a composite number?
True
Let n be (-7 + 4)*(-263)/3. Let t = -72 + n. Is t prime?
True
Suppose 4 + 1 = 5*b + 5*o, 4*b + 5*o = 0. Suppose 17 = -2*j + 49. Suppose u + j = b*u. Is u a prime number?
False
Suppose -3*f - 136 = 3*h + 71, 5*f - 117 = 2*h. Suppose 5*v = v + 12, -o - 2*v = -451. Let l = h + o. Is l a prime number?
True
Let j(b) = b**3 - 3*b**2 + b. Let o be j(2). Is (1/o)/(3*3/(-1278)) a composite number?
False
Suppose -11*n - 9*n = -264540. Is n prime?
False
Let c(z) = z**3 + 5*z**2 + 4*z + 8. Let i = 2 + -7. Let s be c(i). Is (-2682)/s*(-2)/(-3) prime?
True
Let y(p) = 6*p**3 + 13*p**2 - 13*p + 15. Let x be y(11). Suppose -x = -5*h + 3429. Suppose -5*u + 3*i = -h, 0 = -2*u - 0*u + i + 1029. Is u prime?
False
Suppose 59 = -g + 3*r, -9*g + 7*g = -2*r + 106. Is 1/((-15)/g)*87/2 a prime number?
False
Suppose 18*i = 17*i + 4. Let b(h) = 155*h - 9. Is b(i) prime?
False
Let h(v) = 3*v**2 - 18*v + 32. Is h(-15) composite?
False
Let s(u) = u**3 + 15*u**2 - u - 7. Let v be s(-15). Suppose -2*g - 1342 = -2*b, -3*b - v*g + 2025 = -5*g. Is b composite?
False
Let m = 1264 + -566. Is m a composite number?
True
Let u(q) = -2078*q. Let m be u(2). Let y = -2943 - m. Is y composite?
False
Let v = 15918 + -5629. Is v a composite number?
False
Let p = -7 + 9. Suppose r - 4*w - 603 = 0, p*w - 6*w + 2332 = 4*r. Is r a prime number?
True
Let i(q) = 10*q - q**3 + 5 - 5*q + 5*q**2 + 3*q. Is i(-6) composite?
False
Let z(g) = 2*g**3 - 4*g**2 - 7*g - 11. Suppose 4*j - 20 = 0, -3*j + 32 = 4*t - 15. Is z(t) prime?
True
Let y(z) = z**3 + z - 1. Let g be (4/(-1))/(-1) + -4. Let h be y(g). Is (269/h)/(4/(-4)) a prime number?
True
Let d be 2/(-6) - 2/(-1 + -5). Suppose 7*l + 2*l - 19917 = d. Is l a prime number?
True
Let c = -8 + 10. Suppose -c*r = 3*r - 170. Let l = r + 33. Is l a prime number?
True
Let b be 1*(2 + -2)/(-5). Suppose b = -t - 0*t + 879. Is t composite?
True
Suppose j + 3*j = -2*y + 1078, -2*j = -5*y - 509. Suppose t - j = -89. Is t prime?
False
Suppose 3*v = 3*m + v - 299, 0 = -m + 3*v + 109. Suppose -5*t = n - m, 0 = -2*n + 6*t - t + 134. Is n composite?
True
Let k(j) = -j**2 + 5*j. Let b be k(4). Suppose g + 3 = -b*z, -2 = -2*z + 3*g - 7. Let h(w) = -14*w - 1. Is h(z) a prime number?
True
Suppose 0 = 2*q + 5*c - 2431, 2*q - 2429 = -0*c - 3*c. Is q a composite number?
False
Let d = -28 - -21. Let j be 7/d - (-1 - 0). Suppose 199 = 2*f - 2*x + 9, -x - 2 = j. Is f a composite number?
True
Let a(i) = i**2 + i + 1. Let w(r) = -r**3 + 11*r**2 + r + 25. Let t(v) = 3*a(v) + w(v). Is t(13) composite?
True
Suppose 6*o = 9*o - 1956. Suppose t - 3*t + o = 0. Is t prime?
False
Let p = 20892 + 2521. Is p a composite number?
True
Is ((-20)/5 + 341)/(4/12) a prime number?
False
Let z(y) be the second derivative of -157*y**3/3 - 3*y**2/2 + 16*y. Is z(-5) composite?
False
Let o be 6/8 + (-363)/(-44). Let s be 20/o - (-16)/(-72). Suppose -4*m + 5*p = -2681, 0*m + p - 1337 = -s*m. Is m a prime number?
False
Suppose -4*j + 2*f = -20, 0*j - 8 = -4*j - f. Suppose -5*x = 0, -j*r - x + 4*x + 57 = 0. Is r prime?
True
Suppose 4*b = -4*f + 12180, 0*b - 2*f - 15239 = -5*b. Is b a composite number?
True
Let s(r) = 35758*r**2 - 19*r + 22. Is s(1) a prime number?
False
Suppose 7*m - 13526 = -3*f + 2*m, -f - 2*m = -4509. Is f a composite number?
False
Is (-2*23)/(0 + 18/(-9621)) composite?
True
Suppose -2*v + 0*v = 2*f - 20, 2*f = 3*v - 30. Suppose -3*y = -3*q, 4*y = -q + 3*q + v. Suppose -m - 516 = -d + 27, q*d - 3*m - 2711 = 0. Is d composite?
False
Let v(m) = -4*m**3 + 24*m**2 - 14*m - 45. Is v(-21) prime?
False
Let c = -17889 - -73840. Is c a composite number?
True
Suppose 47 + 43 = -5*w. Let f be ((-6)/9)/(3/w). Suppose f*p - q - 951 = 0, 3*p - 597 - 130 = -2*q. Is p a composite number?
False
Suppose 89*b = 71*b + 177570. Is b composite?
True
Suppose o - 26 = -o. Suppose -3*q = 2*m - 6 - 5, 5*q - o = -2*m. Suppose 333 = m*h - 383. Is h composite?
False
Let b = -15030 - -26227. Is b composite?
False
Let d(r) = 460*r**2 + 3*r + 2. Let p be d(-2). Let n = -1195 + p. Is n a composite number?
False
Let p be ((-5)/(-10))/((-1)/(-2)). Let v(x) be the first derivative of 113*x**3/3 + x**2/2 - x + 20. Is v(p) a prime number?
True
Suppose -3*v + 2*i = -16665 - 13832, -2*v + i = -20332. Is v a prime number?
False
Let b(c) = -1118*c - 42. Let u(j) = -559*j - 21. Let p(q) = 4*b(q) - 7*u(q). Is p(-4) a composite number?
True
Let k(d) = 2*d**2 + 7. Suppose -5*y - 55 = 5*s, -4*y + 1 = s + 12. Is k(s) a composite number?
True
Let h be (31/2 + 1)*(-4)/(-6). Suppose -10623 = -h*m - 2890. Is m a composite number?
True
Suppose 789 = -5*a + 8*a. Suppose 0 = -0*d - d - 2*i + a, 5*d + 3*i - 1280 = 0. Is d a composite number?
True
Let d = 5317 + -11999. Is (-10)/(-60) - d/12 a prime number?
True
Suppose -4*a = -17917 - 8631