- 2*w - p, y + 0*w - 22 = -3*w. Is y composite?
True
Let s = 471 - -95. Suppose -p + 4*p - o = s, 8 = -4*o. Suppose 210 = 2*b + 5*r, 0 = 2*b + 2*r - p - 10. Is b a composite number?
True
Let x(h) = h**3 - 13*h**2 + 13*h + 2. Let g(f) = 11*f**2 + 2*f - 1. Let v be g(1). Is x(v) prime?
False
Suppose 0 = 12*c - 18489 + 4533. Is c a prime number?
True
Let s = 1776 - 883. Is s a composite number?
True
Let l(j) = -13*j**2 - 8*j - 8. Let x(c) = 12*c**2 + 7*c + 7. Let m(u) = 6*l(u) + 7*x(u). Let n be m(-1). Suppose n*g = -g + 2093. Is g prime?
False
Suppose 6*i + 232 - 4426 = 0. Is i prime?
False
Suppose 359*k - 361*k + 132058 = 0. Is k a composite number?
False
Suppose 60*s = 91172 + 394648. Is s composite?
True
Suppose 2*x - 24010 = 4*n, x - 12033 = 5*n - 10*n. Is x prime?
False
Let c = 8 + -17. Let k = -4 - c. Suppose -k*n + 2*n = -465. Is n prime?
False
Suppose -5*s = -3*s - 4*c - 494, -3*s = -5*c - 743. Is s a composite number?
False
Let i(j) = 3*j**2 - 9*j - 3. Let p(m) = -7*m**2 + 17*m + 5. Let o(c) = -9*i(c) - 4*p(c). Is o(15) prime?
False
Suppose -4*t + 12 = 0, -2*n + 888 = -3*t - 4105. Let d = n + 276. Is d prime?
True
Suppose 2*d + 3*o - 972 = 0, 2*d - 972 = 2*o - 0*o. Let s = d + 90. Let i = s + -361. Is i a prime number?
False
Let s be 1/(-7) - (-500)/70. Let h(o) = -27*o. Let y be h(-1). Let v = s + y. Is v prime?
False
Let l(w) be the third derivative of 79*w**5/120 - 7*w**4/24 - 2*w**3/3 - 6*w**2. Let p(d) be the first derivative of l(d). Is p(6) prime?
True
Suppose -24*j + 19*j = 15. Is (2/(-5))/((j + 1)/970) a composite number?
True
Let y = -8 - -10. Suppose 0 = 2*q - 0*q - 8. Suppose -4*a - 140 = -q*s, s = -y*a - a + 19. Is s a prime number?
True
Suppose 5*k - 2*k = 7677. Suppose 0 = 4*c + k - 10331. Is c prime?
False
Let w(d) = -157*d**3 + 3*d**2 + 8*d + 7. Is w(-2) a composite number?
False
Is ((-6388)/6 + 0)/(10/(-285)) a composite number?
True
Let l be 3/(-21) + 2/14. Suppose 4*h = 3*j - 656, -5 = h - l*h. Suppose 0*k + k = 4*u + 63, 4*k + 4*u = j. Is k a prime number?
False
Let v = 14 - 4. Suppose 5*c = -0 - v. Is -10*237/(-6) - c prime?
True
Let d = 106 - 49. Let m = d - -196. Is m composite?
True
Let u = -39 - -69. Is (1143/(-15))/((-6)/u) a composite number?
True
Suppose -4*o = -5*a + 128, -4*a + 82 = -3*o - 20. Is (-2)/(-1)*(-3786)/a*-2 a composite number?
False
Let x(d) = -609*d**3 - 5*d**2 - 7*d - 5. Is x(-2) a composite number?
False
Let j be (-1734)/27 + 6/27. Let y = j + 117. Is y prime?
True
Let o be (84/(-49))/(4/(-1106)). Let b = 742 - o. Suppose 0 = -4*q + 328 + b. Is q composite?
False
Suppose 3*n - 7764 = -9*n. Is n a composite number?
False
Suppose 5*f + 3*h = 2*f + 9780, -3*h = 4*f - 13041. Is f a composite number?
True
Let d(w) = 17*w**2 - 4*w + 7. Let t be d(-5). Suppose 5*j + 37 - 57 = 0. Suppose -t = -5*s - h + 2031, 0 = 2*h + j. Is s a prime number?
False
Is ((-725480)/(-160))/(2/8) prime?
False
Is 3/((-6)/113548)*(-35)/70 prime?
True
Let m = -3196 + 4733. Is m prime?
False
Let h = 10 - 6. Suppose h*k + 944 = 2400. Suppose 5*a - a = k. Is a composite?
True
Suppose -4115 + 371 = 4*y. Let h = y - -1327. Is h composite?
True
Let o(s) = 6*s**2 - 2*s + 27. Is o(7) composite?
False
Suppose -2*b + 498 = -4*i, -3*i + 285 = 2*b - 220. Is b a prime number?
True
Suppose 1480 = 4*c - 2416. Suppose c = 2*b + 80. Is b prime?
False
Let u(f) = 75*f - 188. Is u(13) a prime number?
True
Let v(h) = 4*h**2 + 15*h - 43. Is v(-24) composite?
False
Suppose 135719 = 4*a + a - 4*m, 27140 = a + 3*m. Is a prime?
True
Let h(f) = 20*f**2 - 3*f + 14. Suppose -2*p + 5*v + 3 = -6, p - 4*v - 3 = 0. Is h(p) a prime number?
False
Let n(i) = -560*i - 197. Is n(-8) prime?
True
Suppose 2*s + 0*i + i - 846 = 0, -4*i + 423 = s. Suppose -5*u - s = -2218. Is u a composite number?
False
Suppose 29*c = 24*c + 10835. Is c prime?
False
Let y = 3 - -3. Suppose o = y*o - 20. Suppose -o*c = c - 955. Is c composite?
False
Let h = 47 + -47. Suppose h = f - 189 - 308. Is f a prime number?
False
Suppose -g = -6*g + 3*f + 272, -2*f + 2 = 0. Suppose -5*p = -4*q - 504, 4*q - 6*q - 102 = -p. Let l = p + g. Is l a composite number?
True
Let j(s) be the first derivative of 2*s**3/3 - 3*s**2/2 + 2*s + 3. Let u be j(2). Suppose 0 = -u*f - 76 + 788. Is f composite?
True
Let x(u) = 1869*u + 31. Is x(8) composite?
False
Let s = 98 - 34. Let a = -14 - s. Let k = -1 - a. Is k a prime number?
False
Let h = 1084 + -582. Is h a composite number?
True
Is (0 + 17/2)/((-103)/(-2678)) composite?
True
Suppose 0 = -p - 2*t + 13, p + 2*p - 4*t = -1. Let l(d) = 4*d**2 + d. Let y(i) = -4*i**2 - i. Let q(f) = p*l(f) + 4*y(f). Is q(7) composite?
True
Suppose 3*d - 6 + 0 = 0, 2*o + 2 = 4*d. Let x(t) = 29*t**2 - 8*t - 2. Is x(o) a composite number?
True
Let u = -62 + 63. Suppose -354 - 444 = -3*y - 3*n, u = n. Is y prime?
False
Let k(t) = -5*t - 39. Let j(o) = -3*o - 19. Let s(b) = 13*j(b) - 6*k(b). Suppose -2*d - 35 = -15. Is s(d) composite?
True
Suppose 4*y = 8385 + 5243. Is y prime?
True
Let s(p) = p**2 + 8*p - 5. Let m be s(5). Let w be (-1)/(((-11)/m)/11). Suppose -4*v + w = 20. Is v a composite number?
True
Suppose -4*a = -4*r + 39840, -5*r + 7746 = -2*a - 42069. Is r a composite number?
True
Suppose -3*k + i + 23 = -4*k, -4*i + 58 = -2*k. Suppose 0 = 4*z - 2*d + 2425 - 459, -5*z - 4*d = 2490. Is 10/k - z/10 prime?
False
Let x(n) = 167*n + 154. Is x(45) prime?
True
Let c(g) = 464*g + 11. Let i be c(10). Let o = 6730 - i. Suppose -4*r + o - 659 = 0. Is r composite?
True
Let c be -1 + 2 - (128 - -1). Let v = 755 - c. Suppose -2*y - 2*n - n + 592 = 0, -3*y - 2*n + v = 0. Is y composite?
False
Is 4162/(-5)*100/(-40) prime?
True
Let j(y) = y + 1. Let x be 1*(-4)/(-12)*-3. Let f be j(x). Is 37 - 1 - (-1 + f) a prime number?
True
Is (-27)/18 - (0 + 9231/(-6)) prime?
False
Let t = -127 - -197. Suppose -270 = -4*b - 2*r + 4*r, -5*b + 2*r = -340. Suppose 4*v = b + t. Is v a prime number?
False
Let h = -6 - -29. Let c(q) = -q**3 + 22*q**2 + 24*q - 16. Is c(h) a composite number?
False
Let z(c) = -2*c**3 + 4*c**2 + 8*c - 16. Let x be z(4). Is 160/(-25)*x + (-1)/5 prime?
True
Suppose 0 = 2*y - 0*y - 8. Suppose -4*g = -0*g + 2*x - 382, y = -4*x. Suppose 53 = l - g. Is l composite?
False
Let k = -567 - -938. Suppose 4*z = -3*y + 1424, 4*y + k = z + y. Is z a composite number?
False
Let t = 331 + 40. Let n = 1686 - t. Is (n/(-15))/(2/(-6)) prime?
True
Let w = -8 + 7. Let x be w - (-7*70 + -4). Suppose -3*t = -2*n + 200, 2*n = -3*n + 4*t + x. Is n a composite number?
False
Let t be (112/12)/((-2)/(-111)). Let c = -4 + 9. Suppose 0*x = c*i + x - t, 4*i = -x + 415. Is i prime?
True
Suppose 2*c = b - c + 5, 4*b + 2*c + 20 = 0. Let g = 7 + b. Suppose -k - 34 = -g*k. Is k composite?
True
Let a(q) = 12*q**2 + 7. Is a(5) prime?
True
Let l(d) = d**2 - 5*d - 2. Let p be l(4). Let f be (-1 + 1)*p/(-12). Suppose 4*s - 40 = 3*z, f = -3*s + 3*z + 2*z + 30. Is s composite?
True
Let d(n) = -4*n - 4. Let c(v) = 1. Let q(f) = 6*c(f) + d(f). Suppose -5*k - 25 = -0*k. Is q(k) a prime number?
False
Suppose 3648 = 4*o + 4*s, -o - 3*s + 380 = -542. Is o prime?
True
Let l(m) = m**3 - 5*m**2 + 6*m - 6. Let f be l(4). Suppose 4 = f*a + 2*a. Is 300 - 4*a/4 prime?
False
Let l(x) = -698*x - 6. Let g be l(-2). Is g/15 - 8/(-6) prime?
False
Let i be (-5)/1 + 1 + -1781. Let s = -898 - i. Is s prime?
True
Is (-731978)/(-65) - (-1)/(0 - 5) a prime number?
True
Let v(n) be the second derivative of -11*n**5/20 - 5*n**4/4 + n**2 - n. Let k(g) = -6*g**3 - 7*g**2 + 1. Let f(i) = 13*k(i) - 6*v(i). Is f(-2) prime?
False
Suppose 2*d - 88 = -0*d. Let g = 190 - 190. Suppose s + s - d = g. Is s a prime number?
False
Suppose 3*b + 16786 = 5*t - 0*b, t + 5*b = 3374. Is t composite?
False
Suppose 3*b = 1 + 2. Suppose 58 = 3*q + b. Is q prime?
True
Suppose h + 5*l - 1647 = 0, 5*h - 2*l - 1633 = 4*h. Is h composite?
False
Suppose m = 4*m + 4941. Let i = 2890 + m. Is i prime?
False
Let k(f) = f**3 - 11*f**2 + 11*f + 4. Let v be k(10). Let u(t) = 23*t - 35. Is u(v) prime?
False
Let f = -2 - -9. Let y(m) = 3*m**2 - 12*m - 10. Is y(f) a composite number?
False
Is (0 + 1)/((-27)/(-24489)) composite?
False
Is ((-17)/(-34))/((-1)/(-2174)) composite?
False
Let b be (-34)/85 - (-86)/(-10). Is 42/b*(-3 - (-405)/(-6)) composite?
True
Let x = -27021 + 