 Let y = 4 - q. Suppose y*u - 7 = -1. Is u composite?
False
Let o(q) be the first derivative of 7*q**2/2 + 10*q + 3. Let f be o(-8). Is (f/3)/(1/(-3)) prime?
False
Let q(l) = -92*l + 9. Is q(-8) composite?
True
Let o = 84 - -61. Is o a prime number?
False
Let g = 4 + -2. Let k(b) = b**3 + b**2 - 3*b + 2. Let p be k(g). Is (-2)/p - (-61)/4 a prime number?
False
Let c(z) = -z**2 - 10*z - 1. Let l be c(-7). Suppose -l = -3*b + 43. Is b a prime number?
False
Is ((-70)/(-20))/((-2)/(-28)) composite?
True
Let y = -332 + 477. Is y prime?
False
Suppose 0 = -5*b + 2*b. Suppose 0 = -z - b*z + 10. Suppose -108 + 14 = -4*g - 5*w, -z = 5*w. Is g a composite number?
True
Let m(f) = 2*f**3 - 5*f**2 + 6*f - 1. Suppose -5*s + 11 = -9. Let u be m(s). Suppose -4*y + 8 + u = 5*l, -4*l - 67 = -3*y. Is y a composite number?
True
Let q(u) = 2*u**2 + 2*u**3 + 0*u**3 - u - 5*u**3 - 3*u**2. Is q(-1) a prime number?
True
Let o = 9 - 7. Let k = 3 - 7. Is o/(-8) + (-77)/k a prime number?
True
Suppose 0*d = -5*z - d + 3381, 5*z = 3*d + 3397. Is z prime?
True
Is ((-9)/(-5))/(-3)*-85 a composite number?
True
Suppose 2*w + 5*o + 37 = 0, 4*w - o + 34 = -3*o. Let m(k) = 8*k + 14. Let s(v) = -7*v - 13. Let g(c) = 5*m(c) + 6*s(c). Is g(w) composite?
True
Is -1*635/(-7) - (-24)/84 prime?
False
Let r(a) be the first derivative of 4*a**3/3 + 4*a**2 + 7*a + 2. Let g be 5*1/2*-2. Is r(g) a prime number?
True
Let z = -13 - -5. Let b(m) = -25*m - 8. Let g(v) = -38*v - 12. Let q(y) = z*b(y) + 5*g(y). Is q(7) a composite number?
True
Let d = 2111 + -576. Is d prime?
False
Let s = 12 + -8. Is -1 + 6 - (s + -3) composite?
True
Let y(h) = h**3 + 9*h**2 + 5*h + 1. Let v = -12 - -6. Is y(v) a prime number?
True
Suppose a - 476 = -i, -280 + 2690 = 5*a - i. Is a composite?
True
Suppose 3*w - 92 = -x - x, 0 = w - 3*x - 38. Suppose 150 = 4*g - n, 5*g - 5*n = -0*n + 195. Let k = g + w. Is k a prime number?
False
Let f be ((-15)/(-2))/(1/6). Let o(b) = -b - 3. Let w be o(-5). Suppose -5 = -w*m + f. Is m a prime number?
False
Suppose y = 5*y - 20. Suppose -b + 4*d = -0*d - 6, -46 = -3*b + y*d. Suppose 0*z - b = -2*z. Is z a prime number?
True
Suppose 113 = j + 7. Is j a prime number?
False
Let r = 579 + -238. Is r prime?
False
Let s = -32 - -22. Suppose 1 + 2 = -q. Is 2 - ((-4 - q) + s) a prime number?
True
Suppose 0 = -4*m, -3*m = 3*v - 0*v - 6. Suppose 3*a + 36 = 2*g, -g - a + 9 = v*a. Suppose -30 = -2*c - 5*b, b - g = -c - 2*b. Is c a composite number?
True
Let u = 5 - -13. Suppose -4*s - u = -7*s. Let m(f) = -f**2 + 7*f + 7. Is m(s) a composite number?
False
Let g(u) be the second derivative of -u**5/20 + u**4/12 + u**2/2 - u. Let k be g(0). Is 0/4 - (k + -114) a composite number?
False
Suppose 2*u - 3*u + 2*b = -13, 0 = -4*u - 5*b. Suppose 4*g - a + u*a = 204, -g + 4*a = -51. Is g composite?
True
Suppose 4*z + 3*t = -0*z + 1344, 0 = -t + 4. Suppose k = -2*k + z. Is k composite?
True
Suppose 5*u + 1492 = 9*u. Is u prime?
True
Let c = -84 + 149. Is c prime?
False
Suppose 0 = -c - 5, -3*x + 6*x + 4*c = 1417. Is x a prime number?
True
Suppose 329 = 4*h - 3. Suppose u - 2*u = -h. Is u a composite number?
False
Suppose -404 = 6*h - 1826. Let t = 428 - h. Is t a composite number?
False
Let y = 0 - -6. Suppose j = -28 + y. Let f = 57 + j. Is f a composite number?
True
Let c be (-4)/(-2)*3/(-2). Let b(d) = d**2 + 2*d - 3. Let j be b(4). Is j/(-2)*38/c composite?
True
Let r(j) be the third derivative of -j**6/120 - 2*j**5/15 - 5*j**4/24 + 7*j**3/6 + 3*j**2. Let o be r(-7). Let w = 28 + o. Is w a composite number?
True
Suppose 1590 = 2*o + 5*y - y, -o + y = -798. Is o a composite number?
False
Suppose 2*c - 515 = -3*c. Let q = c - 26. Is q a prime number?
False
Let g = 1270 - 661. Suppose c = -2*c + g. Suppose 22 = 2*j - h - 87, -3*h + c = 4*j. Is j a composite number?
False
Let d = 14 - 10. Let q(h) = 4*h**3 + h**2 - 2*h - 5. Is q(d) a prime number?
False
Is 62*(0 - 28/(-8)) prime?
False
Is 1/2*3140/10 composite?
False
Suppose 3*x - 3*h + 28 = 292, -3*x - 3*h + 246 = 0. Is x a composite number?
True
Suppose -v + 4*k + 8 = 8*k, -5*k + 10 = -3*v. Suppose -4*x + x + 381 = v. Is x prime?
True
Is 2 - (-2 + 3) - (-203 - -1) a composite number?
True
Let o = 87 + -50. Is o a composite number?
False
Let w(j) = 18*j + 1. Is w(8) prime?
False
Let m = 4 - 1. Let x = 945 + -547. Suppose 0*w + m*w = 5*h + 597, -2*w + h + x = 0. Is w a prime number?
True
Suppose -700 = 3*j - 2*q - 2367, -5*j = -5*q - 2785. Is j a composite number?
True
Let f(o) = 544*o + 5. Let i be f(13). Is (-1)/((-1)/(i/3)) prime?
False
Let k = 2 - 5. Is k*1*166/(-6) prime?
True
Is (-15 + 12)*(-13 + 0) composite?
True
Let u(r) = -r**2 + 11*r - 10. Let v = 20 - 12. Is u(v) a prime number?
False
Let k be -5 + (1 - 2 - -3). Let w(f) = -3*f**3 - 3*f**2 + 3*f + 4. Is w(k) a composite number?
True
Let t(q) = q**3 + 13*q**2 + 11*q. Let a be t(-12). Suppose 2*p - m - 16 = 0, -p - a = -5*p - 3*m. Is p prime?
False
Is 1*(-1642)/(-6)*3 composite?
False
Suppose -3*d + 2*d = -y - 129, -4*d + 3*y + 514 = 0. Is d a prime number?
True
Is (43/5)/(9/45) a composite number?
False
Let x(w) = 25*w**2 - 4*w - 8. Is x(3) composite?
True
Let y(z) = -16*z + 7. Let p = -7 - 3. Is y(p) prime?
True
Suppose -388 = -3*o + 755. Is o a prime number?
False
Let a(m) = 18*m**2 - 10*m - 7. Is a(6) a composite number?
True
Let j be (1 - 1)*1 + -19. Suppose -108 = 13*w - 16*w. Let z = w - j. Is z a prime number?
False
Let x(a) be the second derivative of a**4/12 + 5*a**3/6 + 7*a**2/2 + 3*a. Is x(-5) prime?
True
Suppose c = -2*c - 12. Suppose u - 17 = -2*x, -2*x - 5 = 2*u - 3*u. Let s = u + c. Is s a prime number?
True
Suppose 3*v + 2910 = -t + 7450, -5*t + 5 = 0. Is v a prime number?
False
Let u(c) = c + c - 3 + c. Let g(n) = 4*n - 5. Let i(w) = 5*g(w) - 8*u(w). Is i(-4) composite?
True
Let p = -24 + 27. Suppose -p*l + 442 = -1229. Is l a prime number?
True
Let y = -3 - -5. Let q(b) = 2*b**2 - 2 + y - 2. Is q(2) a prime number?
False
Let y(r) = r + 4. Let g be y(-6). Let s(i) = 13*i - 1. Let n be s(-2). Let v = g - n. Is v a composite number?
True
Suppose 2*l = 3*t + 321, 2*l + 3*t - 459 = -l. Let o = l - 77. Is o prime?
True
Let u(m) = -2*m + 1 + 12*m**2 + 2*m. Let b = -139 + 141. Is u(b) composite?
True
Let p(u) = 53*u**2 - 18. Is p(-13) prime?
False
Suppose p + 4*g + 16 = 0, 4*g = -0*p - 3*p - 16. Let c(n) be the second derivative of -n**5/20 + n**4/12 + 67*n**2/2 + 4*n. Is c(p) composite?
False
Let g = 13 + -17. Is ((-1257)/(-6))/((-2)/g) prime?
True
Suppose 64049 = 9*o + 10*o. Is o composite?
False
Let x = 8 + -8. Suppose x*j + 4*j = -8. Let g(b) = -10*b**3 + b**2 - 3*b - 1. Is g(j) prime?
True
Let x(i) = 16*i**2 - 4*i + 2. Suppose 0 = 2*w - 6 + 2. Is x(w) a prime number?
False
Suppose 0*r - 5*f + 1189 = 3*r, 0 = -5*f + 25. Let w = -273 + r. Is w composite?
True
Suppose -4*n + 4 = -4*v, -3*v - 2 - 1 = 3*n. Let c(a) = -a + 3. Let h be c(n). Suppose h*r - 10 = 4*q, -r + 5*q = -4 + 8. Is r a composite number?
True
Let u(o) = -o**2 - 2*o - 8. Let g(q) = -2*q**2 + q - 7. Let k(f) = -f. Let w(z) = g(z) + 2*k(z). Let p(m) = 3*u(m) - 2*w(m). Is p(9) prime?
False
Is 2216 + -3 - (-6 + 1) a composite number?
True
Suppose 0 = 5*i - 879 - 76. Is i a prime number?
True
Let w(t) = -5*t - 4. Suppose -6*o - 22 = -4*o. Is w(o) composite?
True
Suppose -4*o + 4 = 4*n, -3*o = -2*n + 4*n. Suppose 0*v = -4*k - v + 949, -5*v + 733 = n*k. Let i = k + -123. Is i a prime number?
True
Let j(i) = -27*i + 2. Let o be j(2). Let c = o - -179. Is c a prime number?
True
Let u be 2*(-3 + 3/6). Is ((-872)/(-20))/((-2)/u) composite?
False
Suppose 4*n + 92 = 744. Is n a prime number?
True
Suppose -2*v - 2*z = 0, -5*v + 4*z - 3*z + 18 = 0. Suppose 3*r - 275 = -4*k, 2*r - 140 - 32 = v*k. Is r a composite number?
False
Suppose 4*n - c = 646, -3*c - 165 = -n - c. Is n prime?
False
Let j(a) = -a**3 - 2*a**2 - 1. Let l be 3/(-2 - 1) - -12. Suppose -4*r - l = 5. Is j(r) a composite number?
False
Suppose -5*m + 9 = 3*b, 3*m = m. Suppose 5*s - 2586 = 3*y - 476, b*s - 1272 = 3*y. Is s a composite number?
False
Suppose q = -10 + 4. Let w = 1 - q. Is w composite?
False
Let t = -41 - -62. Is t prime?
False
Let t(v) = v**3 + 4*v**2 + 4*v + 3. Let r be t(-3). Suppose r = 5*y - 4*y + 2205. Is y/(-33) + (-4)/(-22) composite?
False
