960 = -5*c + 5*b, c + 2*c - 556 = -b. Is c prime?
False
Let t(c) = c**3 + 10*c**2 - 10*c + 2. Let m(b) = b**2 - 6*b - 5. Let y be m(5). Let g be t(y). Suppose 5*x - 2*x - g = 0. Is x a prime number?
False
Suppose 5*c = 5*m + 8 + 7, 3*c - 25 = -m. Suppose -3*v = 4*x - c*v - 216, 2*v = x - 52. Let l = 109 - x. Is l prime?
True
Let j be (27/(-9))/(2/(-1130)). Suppose 0 = -5*v + 310 + j. Is v prime?
True
Let t(p) = p**3 + 10*p**2 - 13*p - 15. Let q be t(-11). Let y(a) = 5*a - 16. Is y(q) composite?
False
Let b(j) = 3*j**2 - 27*j - 19. Is b(15) prime?
True
Suppose -4*a - 12 = 2*q + 2*q, 0 = 5*a - 3*q - 25. Suppose 2226 = a*b + 2*s, s - 4140 = -4*b + 318. Suppose -b = -7*y + 2*y. Is y composite?
False
Suppose -2*r + h - 1 = 0, -3*r - h = -1 - 0. Let v(z) = -z**2 - z + 2. Let o be v(r). Is (-3 + (-53)/o)*-2 composite?
False
Let q = 100 - -441. Is q prime?
True
Let n = -10 + 8. Is (-7)/n*(23 - -3) composite?
True
Let h(u) = -77*u - 9. Let x be h(-11). Let m = -419 + x. Is m a composite number?
False
Let s(f) = f**2 - 4*f + 4. Let h be s(-5). Let k = h - -40. Is k prime?
True
Let g(w) = -w**3 + 4*w**2 - 7*w - 1. Is g(-5) a prime number?
False
Let y(p) be the third derivative of 2/3*p**3 + 1/30*p**5 + 0*p - 1/3*p**4 + 0 - 2*p**2. Is y(5) prime?
False
Let d(b) = -2*b. Let z = -8 - -7. Let w be d(z). Suppose -3*l = -3*g - 106 - w, -l = 5*g - 42. Is l prime?
True
Suppose 4 - 1808 = -4*u. Is u a prime number?
False
Let q be (-307)/(3 - (-5)/(-2)). Let s = -409 - q. Is s composite?
True
Suppose 197 = -2*o + 511. Is o prime?
True
Let q(w) = -18*w - 33. Is q(-15) prime?
False
Suppose -2*g = 5*d - 132, d + 6*g - g - 31 = 0. Suppose -i - 1 + d = 0. Let z = i + 0. Is z composite?
True
Let p(z) = 65*z**2 + z - 1. Suppose 7 = b + h, 0 = b + 2*h - 11. Is p(b) prime?
True
Suppose -8390 = -11*o + o. Is o a prime number?
True
Suppose 2*a + 92 = 226. Is a a composite number?
False
Let n = -3 + 109. Is n a composite number?
True
Let s = -6 + 10. Let r(z) = 3 + s*z**2 - 4*z - 2*z**2 + z**2. Is r(4) prime?
False
Let u(g) = 2*g**2 - 4*g + 3. Let b be u(2). Is b*(31 + 0 + -2) composite?
True
Suppose -5539 = -15*s - 934. Is s prime?
True
Let u = -612 - -865. Is u composite?
True
Suppose 0 = d + 125 - 709. Let h = -32 + 37. Suppose -4*o + 2*f + d = f, h*o = -5*f + 705. Is o prime?
False
Is 1*(1 - (-81 + 3)) a composite number?
False
Suppose 4*c - 5 = r, 4*c - 2*r + 3*r = -5. Suppose x = 4*v + 35, c = 4*v - 2 - 10. Is x prime?
True
Suppose -3*v = -5*p + 385, 61 = p + 2*v - 16. Is p prime?
False
Let u(l) be the second derivative of 0 + 5/2*l**2 - 5/6*l**3 - 5/12*l**4 + 4*l + 1/10*l**5. Is u(4) composite?
True
Suppose -5*d - 67 = -2*c - 0*d, 2*d = 2*c - 64. Suppose -c = -5*i + 24. Is i prime?
True
Suppose 0 = -4*j, -2*p - 2*p - 5*j + 20 = 0. Suppose p*x = 130 + 135. Is x a prime number?
True
Suppose -14 = -l + 3*i, 6*l - 4*i = 2*l + 24. Let k be (l/(-4))/(1/(-2)). Suppose 19 = -4*h - k, 28 = 3*o - 2*h. Is o a composite number?
True
Let z(j) = 152*j**2 - 9*j + 31. Is z(4) a composite number?
True
Let x be (0 + -4)*(-83 + -4). Suppose -5*s + x = -287. Is s a prime number?
True
Let n(z) be the third derivative of -z**2 + 1/2*z**3 + 0 + 1/6*z**4 + 0*z + 1/30*z**5 - 1/15*z**6. Is n(-2) a composite number?
False
Let a(z) = 3*z**3 - 2*z**2 + 2*z - 1. Let c be a(1). Is c/(2/3)*13 a composite number?
True
Let c(a) = -a**3 + 8*a**2 + 8*a + 13. Suppose v + 1 = -5*u, -4*v + u = -22 - 16. Let y be c(v). Suppose -y*h = -4*x + 100, 2*x = h - 4*h + 30. Is x prime?
False
Suppose v - 9*v + 4136 = 0. Is v composite?
True
Suppose 0 = -3*r + 361 + 11. Let s = 234 - r. Suppose 3*p - s = p. Is p composite?
True
Suppose -f - 2*f = 5*r - 3529, 5*r + 4*f = 3527. Is r composite?
True
Suppose 0 = -g + 60 - 1. Is g a composite number?
False
Let h = 1374 - 927. Is h composite?
True
Suppose -3*u - 2*u + 4*j = -14, 9 = 4*u - j. Suppose u*x - 6*x = -128. Let g = -19 + x. Is g a prime number?
True
Let o(r) = 8*r**2 - r + 2. Let w be o(-2). Suppose -3 = m + 4*f - 2, 0 = -4*m + 4*f + w. Is m composite?
False
Suppose -2*l - 7563 = -5*z, 2*z - 2*l = z + 1519. Is z a prime number?
True
Let f = -3 + 7. Suppose -25 = -2*c - 5*n, 4*c - f*n - 14 = -2*n. Suppose c*d - 4*w - 601 + 206 = 0, -w = -d + 79. Is d a prime number?
True
Let n(i) = 7*i**2 + 2*i. Let j = 9 - 6. Is n(j) prime?
False
Let y = -168 + 33. Let f = y + 443. Suppose -2*v - f = -6*v. Is v a prime number?
False
Is (-6)/27 - (-2830)/18 composite?
False
Let l be ((-24)/(-14) + 12/42)*3. Suppose -4 - 2 = -3*v. Suppose x - 2*x = -3*f + 34, v*f - l = 4*x. Is f a composite number?
False
Let u be (3 + (-2 - -33))/(-2). Let g = u - -42. Is g prime?
False
Suppose 0 = -3*u - 3*o + o + 349, -5*u = -4*o - 611. Is u prime?
False
Let b(p) = -12*p - 4. Let r(v) = -7*v. Let c(h) = -8*h - 1. Let g(l) = 5*c(l) - 4*r(l). Let u(q) = -6*b(q) + 5*g(q). Is u(2) composite?
False
Suppose u = -4, -b - 6*u = -2*u - 433. Is b a prime number?
True
Suppose x - 2*x = 82. Let s = 165 + x. Is s prime?
True
Suppose -47 - 189 = -4*l + q, -5*q + 236 = 4*l. Suppose 3*m - 2*i + 3*i = 36, -5*m - 2*i + l = 0. Is m a composite number?
False
Is 2 + 2 + 5/(-3)*-573 a prime number?
False
Suppose 10 = -6*h + 4*h, 2*h = 4*z - 146. Is z prime?
False
Let p = 2 - 0. Is 5/2*12/p prime?
False
Let j be (-12)/(-3)*(0 + 1). Let o(g) = 4*g**2 - 4*g - 3. Let x be o(j). Let t = x - 23. Is t a composite number?
True
Suppose 2*c + 6999 = 5*c. Is c composite?
False
Suppose -g = -2*g + 297. Suppose 0 = -4*n + 5*m - 94 + g, 0 = 4*m - 20. Suppose -i = -b + n, b + 3*b + 5*i = 192. Is b a prime number?
True
Let v be 7/((-42)/(-52))*9. Suppose 2*j + 0*j - v = 0. Suppose y - j = 58. Is y a composite number?
False
Let s = -2100 - -3019. Is s prime?
True
Suppose 0 = -3*p - 4*k + 405, -k = -p + 3*k + 119. Is p a prime number?
True
Let n(v) = -22*v - 7. Let g(b) = -23*b - 7. Suppose -18 - 6 = -2*i - 3*j, -3*i = -3*j - 6. Let q(d) = i*g(d) - 5*n(d). Is q(-6) composite?
True
Let a(s) = -s**2 + 10*s - 7. Let b be a(9). Suppose -4*t = -5*o - 37, -b*t + 5*t + 3*o = 48. Is t a composite number?
False
Let i(z) = z + 1. Let g be i(-2). Let f be 7*((-2 - 40) + g). Let m = -204 - f. Is m composite?
False
Let w(n) = n**3 - 5*n**2 - 5*n - 6. Let s be w(6). Suppose 0 = -5*t - 16 - 9, 5*t = -5*q + 830. Suppose -2*c + q + 95 = s. Is c a prime number?
False
Suppose 4*n = -4*y + 36, 3*y + 2*n = n + 21. Let r(x) = -x**3 + 8*x**2 - 4*x + 5. Is r(y) a composite number?
False
Is (-20064)/(-20) + 4/(-20) composite?
True
Let d(s) = 16*s**3 - 3*s**2 + 3*s - 4. Let c be d(3). Suppose 3*j + c = -2*j. Let m = j - -161. Is m composite?
False
Let x(q) = -q**3 - 3*q - 4. Let a be x(-3). Suppose -46 = -2*p + a. Is p composite?
True
Suppose -428 = -2*w - 5*i, i - 205 = -w + 3*i. Is w prime?
False
Suppose -4*o = -4*a - 196, 27 = a - 5*o + 96. Let k = a - -193. Is k a prime number?
True
Let i(o) = 25*o - 8. Suppose -2*s + 11 + 7 = 0. Is i(s) prime?
False
Let r = 5 - 0. Suppose 0*s = -r*s. Suppose 2*c = -s*c + 5*l + 53, -2*l - 130 = -4*c. Is c composite?
True
Let t be -57 + 2/1 + 2. Let p = t - -79. Is p prime?
False
Let a = -1 - -5. Suppose -39 = i - a*i. Is i composite?
False
Let h be 88/(-3 - 7/(-2)). Is (-2)/(-2) + h + 1 a composite number?
True
Let b(n) = -n**2 + 8*n - 5. Let u be b(7). Suppose -2*x = -h - 0 + u, -3*h = 3*x - 6. Suppose -3*s + h*s = -37. Is s a prime number?
True
Let d = 3 + 21. Suppose 3*p - 9 = d. Is p a prime number?
True
Let g = 3262 + -1917. Is g prime?
False
Let i be 2 - 1 - (-10)/5. Suppose i = q - 0. Suppose -q*g + g = -118. Is g a prime number?
True
Let i(u) = -4*u**3 + 4*u**2 + 3*u + 1. Is i(-2) a prime number?
True
Let q(c) be the third derivative of 3*c**5/10 + c**4/8 + c**3/2 - c**2. Let n = -13 + 11. Is q(n) composite?
True
Let u(t) = -3*t**3 - 3*t**2 + 2*t - 3. Let p be u(2). Suppose -21 = -r - c, -r - 2*c = -2*r + 12. Let m = r - p. Is m composite?
False
Let n(z) = -z**3 + 5*z**2 + 8*z - 7. Let g be n(6). Suppose -5*s - 2*x + x = -16, 0 = -s - 3*x + 6. Suppose -s = g*o - 48. Is o a composite number?
True
Let l(b) = b**2 + 2*b + 1. Let x(t) = -6*t + 2. Let z be x(-3). Suppose 2*q + s + z = 0, 3*q = -2*q + 4*s - 24. Is l(q) a prime number?
False
Let x = -93 - -162. Is x a prime number?
False
Suppose 6*n - 11 = 2521. Is n a 