4 = 0. Suppose -5*q = -15, -u*d + 4*q + 477 = -4*d. Is d prime?
True
Let j(t) = 27*t**3 + t**2 + 7. Let d(m) = -2*m - 31. Let p be d(-17). Is j(p) a prime number?
False
Suppose -t + 0 + 12 = 0. Is 23 + t/3 + -6 prime?
False
Let q = 88 - 30. Suppose -3*v = -q - 260. Suppose l = -3*i + v, -2*l - 5*i = -0*l - 207. Is l prime?
False
Suppose 2*y - 34985 = -3*y. Is y composite?
False
Let t be 0 - ((-4)/2 - -2). Suppose -4*w - 2*f + 437 + 1697 = t, 0 = -w - 5*f + 547. Suppose -6*c = -2*c - w. Is c prime?
False
Suppose 4*q + 2*x = 258, 2*x - 321 = -5*q - x. Suppose k + m + 43 = 0, -272 = 5*k + 3*m - 53. Let r = k + q. Is r composite?
True
Let y(z) = 32*z**2 + 2*z - 11. Let f be y(4). Let q = f - 292. Is q a prime number?
False
Let o = 30409 + 9250. Is o prime?
True
Suppose 0 = 3*i + 9, -7*w - i = -3*w - 5585. Is w composite?
True
Let o(q) = 7*q**3 - 2*q**2 - 2*q - 1. Let w be o(3). Let h = 62 + w. Is h prime?
False
Suppose 4*w = 11 - 7. Is (-922 + 15)/(0 - w) prime?
True
Let z be 10/(-65) + 2277/13. Let p = 58 + z. Is p prime?
True
Let j(d) = 135*d**3 + d**2 + 3. Is j(2) a composite number?
False
Let a = 34983 - 23794. Is a prime?
False
Suppose 5 = 4*z - 3*z. Is 257/((1 + 1)*z/10) a composite number?
False
Is 7 + 2161 + (-21)/3 a prime number?
True
Let f = -17051 - -28354. Is f a composite number?
True
Let i(z) = z + 14. Let j be i(-11). Suppose -j*c = c - 5*b + 20, -4*b = -3*c - 16. Suppose 3*s + 2*v - 387 = 1492, -2*v + 10 = c. Is s a prime number?
False
Let o(b) = 135*b**3 - b. Let t be o(1). Let l = 295 - t. Is l a composite number?
True
Let p(h) = -1110*h - 953. Is p(-31) composite?
False
Let y = -58 - -46. Is 382*-1*66/y prime?
False
Let t(d) = -286*d + 1. Let f(c) = -c. Suppose -2*l + s - 23 = 2*l, s - 28 = 5*l. Let r(j) = l*f(j) + t(j). Is r(-2) a composite number?
False
Is (79233 - 1) + (-24 - -21) composite?
False
Suppose 2*a - 7647 = 5*y, 4*y + 5683 = 5*a - 13426. Is a prime?
True
Suppose 0 = 4*c - 4 - 8. Suppose 3*j + 17523 = 6*j + c*h, -3*j - h = -17515. Is j a prime number?
False
Suppose 4*z + 8 = 4*p + 3*z, -3*z + 12 = 0. Let r(f) = 3*f**2 + 1. Let t be r(p). Is (-1996)/(-28) - 8/t prime?
True
Let v = 278 + -165. Is v a prime number?
True
Let x(p) = 476*p - 953. Is x(36) a prime number?
True
Let l(c) = 294*c**2 - c. Let u = -3 + 4. Is l(u) a prime number?
True
Suppose t = -2*j + 3*j + 881, 0 = 2*t - 3*j - 1766. Is t a prime number?
True
Let v be (-1)/1*(-13 - 8). Let j = v + -14. Suppose -739 = j*m - 8*m. Is m a composite number?
False
Let u = 197 - -759. Suppose 5*m = -669 - u. Let q = -72 - m. Is q prime?
False
Suppose y + 27*b - 3997 = 30*b, -2*y = 4*b - 7974. Is y a prime number?
False
Let h = -12 - -9. Let y be -15 + (-1 - -10)/h. Is (-4018)/y + (-8)/36 a prime number?
True
Suppose -24*r + 185211 = -616173. Is r prime?
True
Let v(n) = -n**3 - n**2 - n. Let x(w) = -53*w**3 + 5*w**2 + 3*w - 3. Let f(h) = -6*v(h) - x(h). Let i be f(-2). Let s = -94 - i. Is s prime?
False
Suppose 0 = -0*h - 3*h + 15, -4*h + 22455 = 5*f. Is f prime?
False
Let m(l) = 23*l**2 - 53*l - 129. Is m(-34) a prime number?
False
Suppose 5*t = -4387 + 672. Let r = t - -1276. Is r composite?
True
Suppose 0 = -5*x + n + 3846 + 23748, -27593 = -5*x + 2*n. Is x composite?
False
Suppose 0 = -12*q + 9*q + 1770. Suppose 0 = 9*l - 2065 - q. Is l prime?
False
Let w(i) = 44*i + 3. Suppose -s - 5 = -2*s. Is w(s) a prime number?
True
Suppose 4*h = -2*q + 62104, 34*q + 2 = 33*q. Is h composite?
False
Suppose 403545 = 5*g + 5*z, -8*z + 403573 = 5*g - 10*z. Is g prime?
True
Suppose -2*k = -11*k + 37917. Is k a composite number?
True
Let z = 36 + -24. Let a = z - 11. Suppose 4*s = -0*t + 3*t - 335, 0 = s - a. Is t composite?
False
Let u(k) = 6*k**2 + 94*k + 55. Is u(-38) composite?
False
Suppose 0 = 10*x - 15231 - 2659. Let j = -282 + x. Is j a prime number?
False
Let p(r) = 120*r + 10 - 18 + 7. Is p(6) prime?
True
Suppose -2*d + 3112 = -3*m, -3*d + 5*m + 4667 = -0*m. Is d a composite number?
False
Let v = 89 - 86. Let b(u) = 622*u - 13. Is b(v) a composite number?
True
Let s(q) = 4*q**2 - 70*q + 929. Is s(31) prime?
False
Let z(t) = -t**3 - 24*t**2 + 154*t - 47. Is z(-32) a prime number?
True
Suppose -5*w = -p + 9, 0*p - 7 = -p + 3*w. Suppose -11175 = -5*x - 2*q - 2916, 0 = p*x + q - 6606. Is x a prime number?
False
Suppose 0 = -2*j + 2*u + 6913 + 365, u = -5*j + 18183. Is j a composite number?
False
Let a(m) be the second derivative of m**5/5 + m**4/12 + m**3/6 - 2*m**2 - 25*m. Let u(n) = 2*n**2 - 8*n + 2. Let f be u(4). Is a(f) prime?
False
Let u(a) = 7*a + 5 + 7*a - 16*a + 7*a. Let d be (-38)/(-6) + 1/(-3). Is u(d) composite?
True
Suppose 42 = -5*i + 2*i. Let t(g) = g**2 + 13*g - 10. Let w be t(i). Suppose 9 = w*y - 95. Is y prime?
False
Let r be (-12)/((-2)/(3 + -2)). Suppose -2*o - 1436 = -r*o. Is o prime?
True
Let r(u) = -10*u**2 - 3*u + 6. Let d(q) = 5*q**2 + q - 3. Let h(g) = 13*d(g) + 6*r(g). Suppose -5*v + 6 = 21. Is h(v) a composite number?
True
Suppose -80*v = -11710160 + 1303840. Is v composite?
False
Suppose 3*a = 5*m - 22093, -13259 = -17*m + 14*m + a. Is m prime?
True
Suppose 0*d = 3*d. Suppose d*y = -4*y - c + 392, 4*c - 404 = -4*y. Suppose -p = 2*r - y, 5*p + 3*r - 7*r = 415. Is p composite?
True
Suppose 0 = 2*r + 4*v + 54 + 20, -2*r = 2*v + 70. Let j be (-10)/((-64)/r - 2). Suppose -j + 13 = -4*o. Is o a prime number?
False
Let u be 44142/56 + (1 - (-2)/(-8)). Suppose z - 4*z + 1231 = -2*p, -2*z = 5*p - u. Is z a composite number?
True
Suppose -2*u + 352 + 2548 = 0. Suppose u = 4*v - 9*v. Let t = v + 547. Is t prime?
True
Let h be (-104)/(-10) + 14/(-35). Let o be (-25)/(-9) - h/(-45). Suppose -o*m = -2*w + 536, 5*w + 0*m = -3*m + 1319. Is w composite?
True
Suppose -5*i + 821 = b - 3*i, -4*i + 3292 = 4*b. Let f = b + -574. Is f a prime number?
True
Let g(p) = -82*p**3 - p**2 - p - 5. Is g(-3) composite?
False
Let n(d) = d**3 + 33*d**2 + 40*d + 31. Is n(-21) a prime number?
True
Let u(n) = -558*n - 1. Let k be (-9)/6 + 2/4. Is u(k) a composite number?
False
Suppose 5*n + 23 = -s, -n + 4 = -s + 11. Suppose 2*v = 3*x, -v + 2*x = v + s. Is (-2 - v)*296/4 a prime number?
False
Is (-54)/297 + 225218/22 a prime number?
False
Is 8 + (-24524)/(-4) + -8 a prime number?
True
Let k be (20/6)/((-10)/(-60)). Suppose -4*r + 285 = 5*g + 84, -2*r + 4*g + 120 = 0. Let i = r - k. Is i composite?
True
Suppose 2*p + 20 = -k, -2*p - 3*p = 2*k + 48. Is 4*((-490)/p + -3) a prime number?
True
Suppose -4*g = -2*v + 942, -3*v + 0*v + g = -1418. Let w = v + -704. Is w*(-4 - (-44)/12) composite?
True
Suppose 0 = -16*p + 20*p - 8. Suppose -q = -p*s + q + 1348, 0 = -5*q. Is s composite?
True
Let k = 34 - 29. Suppose -3 = -3*t - 5*a + 5, -k*t = 5*a. Is (122 - 9) + t/1 composite?
False
Suppose -4*x = -3*i + i, -x + i + 2 = 0. Let m(o) = -319*o + 9. Is m(x) prime?
True
Let x = 118 - -85. Let s = -63 - -18. Let v = s + x. Is v a prime number?
False
Let u = 7 + -7. Suppose u = -0*z - z + 5*d + 381, -4 = d. Let l = 596 - z. Is l a prime number?
False
Let c(g) = g**2 - 11*g + 10. Let d be c(10). Suppose -4*w = 3*f - 14, d*f - 3 = -w - f. Let p(y) = 84*y - 7. Is p(w) a prime number?
False
Let b(t) be the third derivative of t**8/2016 + t**7/5040 - t**6/720 - t**5/12 - 7*t**2. Let j(c) be the third derivative of b(c). Is j(-2) a prime number?
True
Let k(f) = -49*f**3 - 14*f**2 - 42*f + 20. Is k(-5) composite?
True
Let t(c) be the third derivative of c**7/1260 + c**6/72 - 11*c**5/120 + c**4/6 + 7*c**2. Let u(l) be the second derivative of t(l). Is u(-10) prime?
True
Let p = -1529 + 1046. Let r = p - -737. Is r prime?
False
Let c(y) = 13*y**3 - y**2 + y - 4. Let t be c(4). Suppose v - 5*i = 5*v - t, -5*v - 4*i + 1029 = 0. Is v composite?
True
Suppose 2*q - 5*q + 42712 = 5*p, 0 = 3*p - 5*q - 25634. Is p prime?
True
Let z(n) = n + 20. Let y be z(-18). Is y/(-7) + (-72220)/(-28) composite?
False
Let i be (-1)/((-3)/6) - 1*-1508. Suppose 5*l + i - 6045 = 0. Is l composite?
False
Let w(b) = 7*b**2 + 5*b + 3. Is w(20) prime?
True
Let l be 5 + -3 - (0 - -316). Let y = 105 - l. Is y prime?
True
Let d be (-6)/(-4)*-2*-1. Suppose 5*b - 4*q = -0*q - 254, 0 = d*q + 12. Let x = 103 + b. Is x a prime number?
False
Is (-5)/(-5) + (1 - -2513) prime?
False
Let d(m) = -m - 9. Let n be d(-8). Let p(s) = 541*s**2 + 