g**3 - 2 + 8*g**2 - g**2 + l*g + 5. Is s(-4) a prime number?
True
Let g be 2 + -3 + (-3)/(-3). Suppose 3*j + 75 + 3 = g. Is (-3192)/(-39) - 4/j a prime number?
False
Suppose 3*b + 4*o = -0*b + 11600, -4*o + 3872 = b. Suppose -3*t - 512 + 2452 = 2*f, 4*f = 2*t + b. Is f a prime number?
True
Let s = -41135 + 73774. Is s a composite number?
True
Let x(l) = -5*l - 2. Let v be x(17). Let w = 778 + v. Is w prime?
True
Suppose -4338 = -6*s + 6000. Is s prime?
True
Let u(t) = 2*t**2 + t - 6. Let w be u(2). Suppose -w*v = 4*r - 7688, -3*r = v + 3*v - 5765. Is r composite?
True
Is ((-314382)/(-36) + (-6)/(-9))*2 composite?
False
Suppose 0 = -4*g - 5*p + 2137, -3*p = 3*g + g - 2127. Let v = g - -59. Is v composite?
False
Let f = 42 - -418. Let q = -55 + 60. Suppose 0 = -q*d + y + 1632 - f, -4*y + 12 = 0. Is d a prime number?
False
Suppose -5151 = -2*t + 3197. Let q = -2171 + t. Is q a prime number?
True
Suppose -2081 - 37360 = -3*v. Is v a prime number?
True
Let t(j) = -j**3 - 8*j**2 + 7*j - 6. Let v be t(-9). Suppose -4*s - v = -44. Is (-1)/((s/534)/(-4)) prime?
False
Suppose 9459 - 29658 = -3*s. Is s prime?
True
Suppose -147536 = -177*s + 161*s. Is s prime?
True
Suppose 66 = -5*v + 6. Is 3284*((-15)/v)/5 composite?
False
Suppose -2*w = 61 - 75. Let k(q) = 294*q + 15. Is k(w) a composite number?
True
Let k(v) = -v + 12. Let g be k(8). Suppose -41 = g*r + 3*z - 8*z, -5*z + 25 = 0. Is r/(-10) - 549/(-15) prime?
True
Suppose 2*b + 0*b = 0. Suppose i + 2446 = 6*i - n, 4*i + 2*n - 1968 = b. Suppose 0 = -4*o + 5*k + 928, 2*o + 6*k - i = 2*k. Is o prime?
False
Let v be (-130)/(-30) + (-2)/6. Let y(q) = 3*q - 7. Let m be y(v). Suppose 5*g + 2*n - 565 + 6 = 0, -m*g = -n - 568. Is g a composite number?
False
Suppose -2*q = -4*q + 386. Let n = -108 + q. Suppose 5*g - n = 4*r + 362, -2*r = g - 81. Is g prime?
False
Let r(n) = -147*n + 66. Let i(a) = -1. Let b(l) = 2*i(l) - r(l). Is b(23) a prime number?
True
Let b be -1 + 1 - 12/(-4). Let l be -368*((-45)/12 + b). Let t = l + 53. Is t a composite number?
True
Let l be -2 + -1 + 0 + 5. Suppose -f - l = -2*a, 3 - 5 = -5*a + 4*f. Suppose a*q - 356 = -42. Is q prime?
True
Let a = -2532 - -4810. Suppose 2*b + a = 2*q, 0*q - 2*q - 3407 = 3*b. Let h = b + 1604. Is h prime?
True
Let s = 13 + -21. Let f = -25 + 13. Is ((-159)/f)/((-2)/s) a composite number?
False
Let z = -11 + 1. Let n = z + 16. Suppose 742 = 2*v + 4*c, 2*c + 1819 = n*v - v. Is v prime?
False
Suppose -4*v = -v - 3. Suppose o = -t + 2*t + 7, t - v = -3*o. Suppose o*j - 52 = 46. Is j composite?
True
Suppose 3*b - 62 = -56. Suppose -t = 4*k - 4393, -1436 = -2*k + b*t + 768. Is k composite?
True
Is 10359*28/12 + 6 composite?
True
Is -2 + 776 + 5/(15/12) a composite number?
True
Suppose -189 = -2*d - 5*p, 6*d - 4*d - 5*p = 159. Is d a prime number?
False
Suppose 4*d - 16873 = 39211. Is d a prime number?
False
Let o(x) be the first derivative of x**4/4 - 5*x**3/3 + 3*x**2/2 + 3. Let b be o(2). Let p(h) = -5*h + 5. Is p(b) prime?
False
Let k(n) = 479*n - 76. Is k(3) prime?
True
Suppose 0 = -0*f + 7*f - 51226. Is f prime?
False
Suppose 7*b = -24*b + 4619. Is b prime?
True
Suppose 5*t + 1690 = 5*x, -t + 5*t = -2*x + 652. Let i = x - 39. Is i prime?
False
Let q = 22 + -11. Suppose -4*i - 3 - 1 = -2*b, q = 4*b - 5*i. Suppose -b*n = 2*y - 342, 3*n - n - 5*y - 141 = 0. Is n composite?
False
Suppose 3*y = o + 4*y + 217, 2*y = -4*o - 862. Let q = o - -488. Is q prime?
False
Let p = -16939 - -36198. Is p a composite number?
False
Let l be 4 - 5/((-20)/(-68)). Let a = 18 + l. Suppose -a*i - 5*c = -165, -3*i + 3*c = 2 - 101. Is i composite?
True
Let a be (35 + 1)*(-25)/(-10)*-1. Let o = a + 177. Is o a composite number?
True
Suppose 25995 = 18*q + 5061. Is q a composite number?
False
Suppose 1408 = -3*b + 5*s + 12096, 10708 = 3*b - s. Is b a prime number?
True
Let n = 2 + 3. Let o(v) = -4*v**2 + 6*v. Let y be o(n). Let r = 153 + y. Is r a prime number?
True
Let i(s) = -9*s + 22. Is i(-5) a prime number?
True
Is (-69)/12*(-535 + 11) composite?
True
Let q(t) = 2*t + 1869. Let z be q(0). Suppose -y + z = 6*y. Is y prime?
False
Let r be 6/27 + 4780/36. Suppose -o + r = -22. Suppose 0 = 2*d - d - o. Is d prime?
False
Let h(s) = 77*s - 9. Let c be h(-2). Let a = -84 - c. Is a prime?
True
Suppose -5*f = -19 - 1. Let q = f - 11. Is ((-121)/4)/(q/28) a composite number?
True
Suppose -4*k = 4*v, 5*k - 4*v - 32 = k. Suppose 0 = k*l - 1959 + 383. Is l prime?
False
Let o(t) = -t**3 + 7*t**2 - 4*t - 7. Let y = 15 + -5. Let n = 15 - y. Is o(n) a composite number?
False
Is (-1680890)/(-20) + (-9)/(-2) prime?
False
Let f(k) = -2*k**2 - 9*k + 6. Let r be f(6). Let n = -30 - r. Let b = -11 + n. Is b composite?
False
Let z = -10 + 10. Suppose z = -4*v + 6*v - 154. Suppose 0 = -g - 0*g + v. Is g a composite number?
True
Let d(j) = 4*j - 3*j - j**3 - 4 + 145*j**2 - 152*j**2. Suppose 2*h + 3*h = -45. Is d(h) composite?
False
Let l = -17 + 25. Let f(g) = -14*g - l + 15 + 2*g**2 + 2*g + 12. Is f(13) composite?
True
Is ((-1850)/(-4) - 2)*(-3774)/(-333) a composite number?
True
Let f(k) be the third derivative of -k**6/10 + k**5/60 + k**4/24 - 3*k**2. Let j be f(3). Let o = j - -451. Is o prime?
True
Let j(y) = -y - 8. Let n be j(-5). Is (-1 - n)*65/6*3 a prime number?
False
Is 5/30 + (-2683695)/(-90) prime?
True
Let s = -513 - -2258. Let w = s + -1194. Is w composite?
True
Let a be (-18)/(-14) - (-6)/(-21). Let b(m) = m**2 + 0 + 1 - a + 2 - 8*m. Is b(-11) a composite number?
False
Let n(y) be the second derivative of y**5/2 + y**4/4 - 5*y**3/6 + 9*y**2/2 - y. Is n(4) a composite number?
False
Let r be 6/(-33) + (-2)/(-11). Let b(m) = 1 + r - 8*m + 16*m + 16*m. Is b(9) composite?
True
Let t = -406 + 118. Let u = 489 + t. Is u composite?
True
Let i(m) = -18*m**3 + 4*m**2 + 7*m + 16. Is i(-7) prime?
True
Let f(y) = 164*y + 641. Is f(48) a prime number?
True
Is 8/32 - (-174978)/24 prime?
False
Let p = -241 - -32. Let k be -1 + 4 + 5 + -6. Let a = k - p. Is a a composite number?
False
Let u = -26 - -29. Suppose -4*k = -u*a - 1213, 4*k - 210 = a + 997. Is k composite?
True
Let b = -414 + 676. Suppose -b = -3*n + t, -3*n + n + 5*t = -153. Is n prime?
True
Suppose 0 = -10*q - 18 + 68. Suppose -4*i + 8668 = -f, -784 + 11619 = 5*i + q*f. Is i a prime number?
False
Suppose -2*s - 2*m - 12 = 0, -4*s + 8*s - m + 29 = 0. Is (2 + s)*(-3223)/55 a composite number?
False
Let o = 4 + -4. Let p(l) = l - 2. Let b(i) = -4*i + 723. Let g(k) = b(k) + 5*p(k). Is g(o) a composite number?
True
Suppose 7*h = 3*h. Let b(z) = 2*z**2 + 1 + h*z - 7*z + 3*z. Is b(-4) a prime number?
False
Let l(d) be the second derivative of d**5/20 - 5*d**4/12 - 7*d**3/6 + 13*d**2/2 + 4*d. Is l(10) prime?
True
Suppose d - 6*b - 2947 = -10*b, -4*b + 14703 = 5*d. Is d prime?
True
Let t(d) = 7816*d**3 + 3*d**2 + 12*d - 14. Is t(1) a prime number?
True
Let m(d) = d + 14. Let c = 10 - 22. Let u be m(c). Suppose -155 = -3*g - u*g. Is g a prime number?
True
Let l(h) = 108*h + 47. Is l(14) a prime number?
True
Let g = 110 - 104. Suppose 9*j + g*j = 49395. Is j a prime number?
False
Suppose -34*q + 28*q = -16338. Is q prime?
False
Suppose 0 = 3*h + 2*x + 1, h - 5*h - 4*x = 0. Let f be (50 - 2)*h/(-3). Suppose -4*t - f = 0, 2*b - 2*t = -4*t + 58. Is b a prime number?
False
Is (-10 - 44368)*1/6*-3 composite?
False
Let b(h) = -h + 2 - h**3 - 3*h**2 + 5*h**2 - h**2. Suppose 0 = m - 5*k - 5, 0 = -5*m + 8*k - 6*k - 21. Is b(m) a composite number?
False
Let j be 0 + 193 - (-6)/(-3). Is (-2 - 0)/(-4 - (-762)/j) a composite number?
False
Suppose -5*j + 1 - 615 = -4*y, 0 = -4*j - 3*y - 485. Let f = j - -155. Is f prime?
False
Suppose 0*q - 5 = q. Let f(a) = a + 1. Let z be f(q). Is (-6411)/(-15) - z/(-10) composite?
True
Let z = 11 - 9. Suppose c + 0*c = -2*g + 5, 5*c - 3*g - 12 = 0. Suppose -z*l - 53 = -w, -c*l + 8 = w - 35. Is w composite?
True
Let p(c) = -9*c**2 + 3*c**3 - 12 + 18*c + 3 + 4 - 3*c**2. Is p(8) prime?
True
Suppose 21*j = 36271 - 14452. Is j a composite number?
False
Suppose 3*x + 25 = 8*x. Let k(p) = 216*p + 7. Is k(x) a composite number?
False
Suppose -72 = 26*t - 50*t. Suppose -5*q + 1860 = -5*g, -5*q + g - 4*g + 1884 = 0. Suppose -r = -3*y - 370, r - y = -t*y + q. Is r prime?
True
Let m(h) = -h**3 - 3*h**2 - h + 1. Let q be m(-1). Suppose -6