+ 4*c. Is w a prime number?
True
Let s(k) = -6984*k - 29. Is s(-10) prime?
False
Suppose -5*x + x + 16 = 0. Suppose -x*m = 2*i - 252, 17 - 71 = -m - 5*i. Suppose m - 319 = -3*k. Is k composite?
True
Suppose -22*w + 2 = -21*w. Suppose 2*o - 824 = -2*t, -4*o - 4*t = -w*t - 1642. Is o a prime number?
True
Let g = -1137 + 15966. Is g composite?
True
Let u be (-21)/(-9) - (-1)/(-3). Let x(f) = -11 + f**u + 0 + 5*f - 5*f**2 + 5*f**2. Is x(13) composite?
False
Is 1/(5/(-15) + (-89980)/(-269922)) composite?
False
Let k be 122/10 - 5/25. Let n be k + -10 + (-76)/(-2). Is 2*19*220/n a prime number?
False
Is 11982/(-8)*(-100)/15 prime?
False
Suppose 28725 = 64*u - 61*u. Suppose u + 1070 = 5*i. Is i a prime number?
True
Suppose -34*a - 17*a = -1341555. Is a a composite number?
True
Let d(b) = -515*b - 214. Is d(-9) composite?
False
Suppose -72563 = -7*p - 1632. Is p composite?
False
Let p(t) be the second derivative of -749*t**3/6 + t**2 - 5*t. Is p(-1) a composite number?
False
Let j = 326 + 1395. Is j composite?
False
Let m(u) = -u**2 - 5*u + 5. Let w be m(-4). Let y be w/3 - (-3 + -49). Suppose 0 = -2*j - 4*k + 102, 130 = 3*j - 2*k - y. Is j prime?
True
Let s = 2018 - 657. Is s prime?
True
Let g be (5 - 1)*3/3. Suppose d - 310 = -g*d. Suppose -5*f + k + d = 5*k, -3*k + 19 = f. Is f prime?
False
Let c = 124185 - 79502. Is c prime?
True
Suppose 14886 - 130 = 7*z. Is (z/20)/((-2)/(-10)) composite?
True
Suppose -3*z = -j - 21, 2*z - 57 = 4*j - z. Let k(s) = -53*s - 50. Is k(j) composite?
True
Let v(a) = 8*a - 8*a + a + 12*a**3 + 7 + 7*a**2. Is v(5) a prime number?
False
Let c(n) = n + 2. Let x be c(5). Suppose 0 = 5*a + 2 - x. Let d(y) = 158*y**3 - 2*y + 1. Is d(a) prime?
True
Suppose 4*g = 2*l - 4, 3*l - 6*l = -5*g - 6. Suppose w - 442 = l*a, -a = -2*w - 320 + 1210. Suppose b - 4*o - 82 = -o, -5*b + 3*o + w = 0. Is b composite?
True
Suppose d + 2*w = w, 5*d - 3*w - 24 = 0. Suppose -5*v + 7 + d = 0. Suppose -2*j = -7*q + v*q - 503, -4*q - 1283 = -5*j. Is j composite?
True
Let c(k) = -21*k**3 + 2*k**2 - 24*k - 120. Is c(-7) a composite number?
False
Let z be -2088*(-12)/18 + (-1 - -4). Suppose -5*x = -c - 2313, -z = -6*x + 3*x - 3*c. Is x a composite number?
False
Let p = 28 - 18. Let o(r) = -4*r - 7 + 3*r**2 - 5*r**2 + 0 - 7*r + r**3. Is o(p) a prime number?
True
Suppose 2*c + 4 = 16. Suppose c*z - 489 = 21. Is z a prime number?
False
Let c(i) be the second derivative of 33/20*i**5 + 7*i + 1/12*i**4 + 0 - 2/3*i**3 + 3/2*i**2. Is c(2) composite?
False
Let y(w) = w**3 - 22*w**2 - 25*w + 48. Let d be y(23). Suppose 2*u - d = -0, 7325 = 4*f + u. Is f a prime number?
True
Suppose -5*i + 4*v + 20 + 4 = 0, -2*v - 14 = -3*i. Let b = 4 - i. Suppose 4*h - 3*w - 1483 = b, 2*h - 174 = w + 569. Is h composite?
False
Suppose 3*r + 5*o - 2*o - 3738 = 0, 4*o = -3*r + 3737. Suppose 0 = -2*g + 3*l + r, 2*l + 2514 = -8*g + 12*g. Is g a composite number?
False
Let x(g) = -g**3 - 7*g**2 + 13*g + 17. Let d be x(-8). Is (-1 + -3)*d/4 prime?
True
Let z(y) = -y**3 - 12*y**2 + 44*y - 51. Is z(-22) composite?
False
Suppose 4*t - 11677 = 1403. Let m = -2129 + t. Is m a composite number?
True
Let v = 1 - -1. Let b be (-96)/176 - (-350)/77. Suppose b*z - 592 = -3*u, 5*z - v*u - 440 = 277. Is z a composite number?
True
Let m = 10 + -25. Let r = 19 + m. Suppose -r*o + 8*o - 260 = 0. Is o composite?
True
Is -8 + (-1 - (-1982)/1) a prime number?
True
Suppose 16 = 36*k - 38*k. Let s(o) = 7 + 12*o**2 + 4 - 3*o**2. Is s(k) prime?
True
Let k(d) = d - 5. Let c be k(5). Suppose -5*i - 135 = -5*r, -5*i + r - 115 = 6*r. Is c + -3 - (0 + i) prime?
False
Let g = 46 - 36. Let o(c) = 65*c - 19. Is o(g) prime?
True
Let v(i) = -15*i + 4. Let f be v(-3). Suppose 0 = r + 3*r + 112. Let j = r + f. Is j prime?
False
Is ((-541)/3)/(68/(-6) - -11) prime?
True
Let r = 10482 - 5231. Is r a prime number?
False
Suppose -4 = 3*d - d. Let g(h) = -8*h + 5. Let u be g(d). Let n = 10 + u. Is n a composite number?
False
Suppose 4*y - 226789 = -5*b, b - 25582 - 19759 = -5*y. Is b a composite number?
False
Let v be (-6 - (-2 + 0))*-8. Suppose -2*b - 4*r = -0*b - v, 0 = b - 5*r - 9. Is b prime?
False
Suppose 5*i - 4*d = 9525, -2801 = -2*i - 2*d + 991. Is i a composite number?
False
Let v(k) = 3*k**2 + 48*k - 181. Is v(15) a prime number?
False
Let z(y) = y**3 + 6*y**2 - 7*y - 1. Let j be z(-7). Let r = -10 - j. Let s = r + 19. Is s a composite number?
True
Let n be 2/(-3)*(-24)/1. Let q = n - 12. Suppose p = -q*h + 143 + 178, 212 = 3*h - 5*p. Is h prime?
True
Let i(k) = k**2 - 9*k + 5. Let b be i(9). Suppose b*y = 2*y + 9. Suppose 0 = y*t + 2*t - 105. Is t a prime number?
False
Let t(z) = -z + 2. Let x be t(0). Suppose -3 = x*i + 1. Let a(b) = -131*b**3 - b**2 - 4*b - 3. Is a(i) composite?
False
Is (69885 + -7)/2*(3 - -2) prime?
False
Let n(p) be the third derivative of 13*p**5/60 + p**4/8 + p**3/6 + p**2. Is n(6) a prime number?
True
Suppose -4*l = 3*l - 6853. Is (-3 - -4)/(1/l) prime?
False
Let l(z) = 2*z**2 + 13*z + 15. Let g be l(-6). Suppose -g*k = k - 5410. Is k a composite number?
False
Let n(j) = j**2 - 13*j - 6. Let a(i) = 2*i**2 + 6*i + 4. Let p be a(-4). Let g be n(p). Is (-464)/g + 10/45 prime?
False
Suppose -14*p + 1 = 1. Suppose -3*r + 2310 + 639 = p. Is r prime?
True
Suppose 14*z - 16*z = 86. Let m = 84 - z. Is m a composite number?
False
Let b = -14 - -14. Suppose 4*p + 20 = b, 0*f - f + 199 = 3*p. Let i = -119 + f. Is i prime?
False
Let u(v) = 2608*v**3 + v**2. Suppose -a + i + 3 = -i, 0 = -5*a - 5*i. Is u(a) composite?
False
Suppose 5*s - 7*s - 26 = 0. Let n = s + 15. Suppose -105 = -2*g + h - 14, 2*g = n*h + 88. Is g a prime number?
True
Is 34618/4 + (-103)/206 a composite number?
True
Let x(h) = 2*h - 11. Let d be x(10). Is (3/d)/(2/186) composite?
False
Let o = 33 - 32. Let u be (-1522)/(o - 2) - 4. Let z = u + -841. Is z composite?
False
Suppose -3*n = -2*b + 19, -5*n - 25 = -0*n. Let l(k) = -7*k + 2*k**2 + b*k + 2*k - 6. Is l(7) a prime number?
True
Suppose b - 382 = h, 5*b = 7*b - 3*h - 767. Is b composite?
False
Let b = 14 + -9. Suppose b*s = 2*z + 4, -5*z = 3*s + 44 - 3. Is (z/28)/(2/(-1528)) a composite number?
False
Let n(v) = 2*v**2 - 5*v + 3. Let k be n(3). Is k*(-8)/12 + 401 a composite number?
False
Let z(w) = 201*w**2 - 41*w - 23. Is z(-11) a prime number?
True
Suppose 12*b = 405570 + 350778. Is b prime?
True
Let q = 21860 + -11658. Is q a composite number?
True
Suppose 0 = 5*a + 4*v - 2719, -2*a + 929 = 3*v - 153. Is a prime?
True
Let i(p) = -p - 1. Let f(h) = -5*h + 2. Let x(s) = -f(s) + 2*i(s). Let n be x(4). Is 4/n*382*1 a composite number?
False
Let f = 19564 + -11233. Is f prime?
False
Let w(r) = r**3 + 9*r**2 - 4*r - 7. Suppose -2*j = -2*s - j - 45, -s - 2*j - 30 = 0. Let l = s + 16. Is w(l) composite?
False
Let f = 117903 - 38026. Is f prime?
False
Let f(t) = 696*t**3 - 4*t**2 + 9*t - 13. Is f(2) composite?
False
Let r = -49768 + 100667. Is r composite?
True
Let w = 4 - -4. Let d be -10*(1 - w/4). Is 1946/d + (-18)/30 composite?
True
Let z(s) = 7833*s - 337. Is z(44) a composite number?
True
Let u(i) = 6 + 4*i**2 - 1 - 4. Let z be u(1). Suppose 291 = z*t - r, 4*t - 4*r = -t + 294. Is t a prime number?
False
Let a(x) = -x - 1. Let j(r) = -181*r**2 - 4*r - 10. Let d(m) = 5*a(m) - j(m). Is d(-3) a prime number?
True
Let a = -128 + 131. Suppose r + 12519 = 5*c, a*c - 2*r - 2511 = 2*c. Is c a composite number?
False
Suppose -3*s = 0, 4 = 5*n - 2*s - 6. Let m be (3 - n)/2*8. Suppose m*i - 21 = 67. Is i a prime number?
False
Suppose -33*n + 29*n + 444 = 0. Suppose -4*o + m + 533 = 80, 0 = o + 2*m - n. Is o prime?
True
Suppose 26980 = -10*l + 15*l + 5*h, 3*l - 5*h - 16212 = 0. Is l composite?
False
Suppose -4*k + 59*n + 57010 = 61*n, 2*k - 28499 = n. Is k prime?
True
Let w be (-12)/30 - 62/(-5). Let y = -13 + w. Is y/(-2) - (-3757)/26 composite?
True
Suppose 293*n + 3203 = 294*n. Is n composite?
False
Let m(p) = 4*p - 2. Let f be m(1). Let z(c) = 1 - 4 + c**3 - 3*c**f + 3 + 3. Is z(4) a prime number?
True
Let r be (4 + -101)*(-1 - 5). Suppose -n - f = -8, n + 2*n - 20 = f. Is r/n + (-4)/28 a prime number?
True
Let n = -266 - -2853. Is n composite?
True
Let n(q) = q**3 - 8*q**2 + 12*q - 16. Let z be n(7). Suppose r = 326 - z. Is r prime?
True
Is (((-7255808)/(-40))/(-16))/(4/(-10)) a p