Suppose -5*d - 4*i = 417, i + 89 = -d + 3*i. Is 14 + -12 + (-1 - d) composite?
True
Let t(n) = n**2 + 9*n + 8. Let x be (1 + (-9)/6)*14. Let u be t(x). Let l(b) = -b**3 + 3*b**2 + 4*b + 7. Is l(u) composite?
False
Let k(o) = -o**3 + 6*o**2 - 8*o + 7. Let v be k(5). Let b be (-2)/v + (-9)/(-12). Is (0 - b)*(-483)/3 a composite number?
True
Suppose 0 = 5*s - 25, 0 = 5*p - 2*s - 3786 - 7949. Suppose 0 = b + 3*o - 472, 4*o - p = -b - 4*b. Is b a prime number?
False
Let w = 7 + -4. Suppose -2*f - 21 = 5*p, p - 10 = w*p. Suppose 5*y = -4*b + 295, y - 5*b = -f*y + 140. Is y prime?
False
Suppose 2*v = 6*v - 3548. Is v a composite number?
False
Let d(x) be the first derivative of -x**4/4 - 4*x**3/3 - 2*x**2 - 2*x - 3. Is d(-4) composite?
True
Suppose 3155 = -18*w + 23*w. Is w a prime number?
True
Suppose 254 = 3*v - 103. Is v a prime number?
False
Is 14 - 9 - (-282 - 0) composite?
True
Suppose 0 = 3*z - z + 5*o - 72, 3*z = -o + 134. Is z composite?
True
Suppose -4*z - 3*d + 134 = 0, 0*z - 43 = -z + 4*d. Is z prime?
False
Suppose -d = -2*z - 0*d - 8, 3*z = -2*d - 26. Let y(p) = 4*p**2 + p - 11. Is y(z) prime?
True
Suppose -3*v + 24 = n + 160, -230 = 5*v + n. Suppose 4*t - q + 21 = -78, 4*t + 97 = 3*q. Let w = t - v. Is w a composite number?
True
Let c be (-30)/9*(-9)/6. Let a(o) = o**3 + 3*o**2 - 3*o + 2. Is a(c) prime?
False
Suppose 2*b = -2*b - 28. Let v = b - -6. Is v*(-55 - (1 + -1)) a composite number?
True
Suppose -21 = -3*h + 4*b, -h + 4*b = -2*h - 9. Suppose h*w - 248 = 307. Is w a prime number?
False
Suppose -1502 = -4*c - 2*m + 5*m, 0 = 3*c + 4*m - 1139. Is c prime?
False
Let v be (-10)/(-15)*(-15)/(-2). Suppose p = -5, v*w - 4*w - 17 = -4*p. Is w a prime number?
True
Suppose -999 + 4204 = 5*p. Is p a prime number?
True
Let z(h) = -h**3 + 8*h**2 + 2*h - 3. Is z(8) composite?
False
Let o(t) = 2*t**2 - 14*t + 17. Is o(10) a composite number?
True
Suppose 0 = 5*d - 24 + 9. Suppose -2*c = 3*p - 165, -2*p + 4*p - 110 = d*c. Is p a prime number?
False
Let b be (-1 - -2)*(14 - -83). Let p = -244 + 646. Let d = p - b. Is d a composite number?
True
Suppose -3*o = -8 + 2. Suppose 61 = j - q + 5*q, 0 = o*j - q - 104. Is j composite?
False
Let j(p) = -p**3 + 13*p**2 - 9*p - 13. Is j(12) composite?
False
Let c = -8 + 6. Is (-21)/c*(-20)/(-6) a composite number?
True
Suppose -1028 = -13*i + 9*i. Is i a prime number?
True
Is 0 + (-3140)/(-7) - (-15)/35 a composite number?
False
Suppose -4*w + 9*w - 5*b + 165 = 0, -5*w = 4*b + 156. Suppose 8 = -2*c - 10. Let j = c - w. Is j prime?
True
Let z be 1/6 - (-210)/36. Suppose -z = -y - 1. Suppose -4*s + y*s = 46. Is s a composite number?
True
Suppose -6*v + 2130 = -0*v. Is v a prime number?
False
Suppose -5*b + 10*b = 85. Let a be 0 + 0 + 12/2. Suppose -b = -y - a. Is y a prime number?
True
Suppose -5*n + 0*n + 5*o + 1125 = 0, 0 = -2*n - 5*o + 436. Is n prime?
True
Let q be (-1)/(-1) + 3 + 0. Suppose -2*y - 706 = -q*y. Is y prime?
True
Let h be 1 - (1 - (2 + 2)). Suppose -h*q + 6*q - 4*b - 66 = 0, 3*q - 89 = 4*b. Is q a composite number?
False
Let s = 2 + 2. Suppose -3*g = 2*m - 17, 6 = -m + s*g - 2. Suppose 33 - 97 = -m*f + q, -2*f + 38 = -2*q. Is f prime?
False
Let t(a) = -a**2 - 6*a - 10. Let k(s) = 1. Let z(l) = 4*k(l) + t(l). Let d be z(-5). Is 4/(2/d) - -87 a prime number?
False
Suppose 5*r = -2*i + 129, -5*i - 4*r = -r - 313. Is i a prime number?
False
Let i(n) = -96*n - 1. Let r be i(-1). Let q = 235 + -63. Let p = q - r. Is p prime?
False
Let b be 8/5 - 4/(-10). Suppose b*f + 501 = 5*f. Is f composite?
False
Suppose 0 = -3*a - 2 - 22. Let x = a + 15. Is x composite?
False
Let m(y) be the first derivative of y**4/4 - y**2/2 + 53*y - 3. Is m(0) composite?
False
Suppose -3*x = 4*t + 17 - 46, 3*x = t + 34. Suppose o = 3*c + x, -c + 3*c + 4 = 0. Suppose -o*y - 51 = -6*y. Is y composite?
True
Let i = 76 - -63. Is i a composite number?
False
Let t be ((-1)/2)/((-1)/2). Suppose 0 = -l + t + 2. Suppose 0 = -l*b + n + 98, n - 2 = 2. Is b a prime number?
False
Let p(g) = 3*g**2 + 6 + g - 2*g - 2*g**2. Let h be p(0). Is (-766)/(-10) - h/(-15) composite?
True
Suppose -4*v = -526 - 310. Suppose 2 = -2*q, -3*j - 5*q - 57 = 92. Let s = v + j. Is s a prime number?
False
Let t(b) be the third derivative of b**6/120 + b**5/12 + b**3/6 - 2*b**2. Let q be t(-5). Is 1 - (q + 47/(-1)) a composite number?
False
Let r(p) = 7*p. Let d be 2/7 - (-72)/42. Is r(d) a prime number?
False
Let l(b) be the third derivative of -5*b**4/6 + 7*b**3/6 + 2*b**2. Is l(-6) a composite number?
False
Suppose 4*t - 2*x = 246, -t - 3*t + x + 241 = 0. Is t prime?
True
Let j = 406 - 11. Is j a prime number?
False
Let f(p) = p**3 + 13*p**2 - 3*p + 1. Let y = 4 - 11. Let u be f(y). Suppose -154 = -3*h + h + 3*m, 4*m + u = 4*h. Is h a prime number?
True
Suppose 5*o + 114 = 3*i, -3*o - 2*i - 46 = 11. Let f = -45 - -46. Let q = f - o. Is q a prime number?
False
Let x(n) = 4*n**2 + 10*n + 4. Let b be x(-9). Suppose -161 = 2*v - 5*v - 2*k, b = 4*v - 2*k. Is v a prime number?
False
Let b(s) = -s**3 - 2*s**2 - 2*s + 467. Is b(0) prime?
True
Suppose 3*m + 2 = 4*q + 35, -4*q = -2*m + 18. Suppose -m = 2*k - 5*k. Suppose -v = -k*o - 283, 4*v - 1743 + 567 = -2*o. Is v composite?
False
Is (-28)/(-7)*(-641)/(-4) a composite number?
False
Is (-12)/16 - 158/(-8) a prime number?
True
Suppose -r + 70 = w, w = -2*w + 3*r + 198. Let n = 92 - 50. Let u = w - n. Is u a prime number?
False
Let d = -78 + 115. Is d a prime number?
True
Suppose 3*r + 3 + 3 = 0. Let y(a) = -76*a - 3. Is y(r) a composite number?
False
Is (-6220)/(-16) + 2/8 a prime number?
True
Let a be ((-10)/(-3))/((-4)/(-6)). Suppose -5*t + 2*n + 0*n - 10 = 0, -15 = -3*n. Suppose -j + 3*z + 188 = t, -2*z = -a*j - 196 + 1149. Is j composite?
False
Let j(p) = 2*p + 11. Is j(5) prime?
False
Let o(a) be the second derivative of -16*a**3/3 + a**2/2 + a. Let d be o(-2). Suppose 4*n + 193 = -3*l + 489, n = -3*l + d. Is n a prime number?
False
Suppose -4*t - 1 = 5*d + 5, 4*t = -16. Suppose d*c + 179 = 3*c. Is c a prime number?
True
Suppose 6*j + 4*j = 19340. Is j composite?
True
Suppose -c = c. Let u(j) = j**3 + 2. Let l be u(c). Suppose 0 = 5*d + h - 187, l*d + 0*h + h = 76. Is d composite?
False
Let i(s) = -s - 13. Suppose -w - 55 = 4*w. Let g be i(w). Is 21*(g + 8/3) a prime number?
False
Suppose 2*r + 471 = r. Let y = r - -682. Is y a composite number?
False
Let d(x) be the second derivative of -5*x**3/3 - 9*x**2/2 - 2*x. Let w be d(8). Let f = w + 136. Is f prime?
True
Let y be 10/(-25) - 12/(-5). Suppose -y*n + 99 = 5*u, 4*u = 2*u + 2*n + 48. Is u a composite number?
True
Let k be (-10)/((4/2)/(-1)). Let c(b) = 7*b**2 - 10*b - 14. Let p(o) = -4*o**2 + 5*o + 7. Let t(z) = -3*c(z) - 5*p(z). Is t(k) a composite number?
False
Suppose -934 = -2*y + 228. Is y a composite number?
True
Suppose 3*u = d + 173, -u - 2*d + 63 = -d. Let b = -34 + u. Is b prime?
False
Let u = 0 - -3. Is (10/u)/((-2)/(-6)) a composite number?
True
Let r = -4 + 8. Suppose -p - 253 = 4*p + r*d, 0 = 4*d - 12. Let n = p - -88. Is n a prime number?
False
Suppose x - 5*p = -61 + 535, 434 = x + 3*p. Let j = 750 - x. Is j a prime number?
False
Let v = 6 + -6. Suppose 12 = 4*s - v. Suppose 4*z + 30 = j, 0 = -s*j - 6*z + z + 22. Is j prime?
False
Let h = -250 - -543. Is h a composite number?
False
Suppose 4*t = -3*t + 37499. Is t a prime number?
False
Suppose -9981 - 8180 = -13*d. Is d composite?
True
Let x = -154 - -245. Is x a prime number?
False
Suppose 0*z - 919 = -z. Is z composite?
False
Let y(n) = -n**2 + 18*n + 6. Is y(8) composite?
True
Let b(g) = -4*g**2 + 1 + 28*g**2 + 0. Is b(1) prime?
False
Let s = 13 + -9. Let n = -308 + 568. Suppose -5*b - 5*o + n = -s*o, -3*b + 3*o = -174. Is b a prime number?
True
Suppose 2*q = -2*q + 4. Let k(g) = -41*g - 1 + 44*g + 125*g. Is k(q) a prime number?
True
Suppose -r + 10 = 108. Let d = -22 + -45. Let z = d - r. Is z a composite number?
False
Let p = 1022 - 643. Is p a prime number?
True
Suppose 0 = 4*w + 5*u - 20, -16 = -3*w + u - 1. Suppose -2*c + 26 = -2*p, 2*c - c = -5*p - w. Is c prime?
False
Let v(k) = 7*k**2 - 14*k + 7. Let q be v(13). Suppose -3*s + 129 = -q. Is s prime?
True
Let o = -9 - -16. Suppose -2*x + 130 = -o*x. Let j = 41 + x. Is j composite?
True
Is 10*((-25)/(-2) + -3) prime?
False
Suppo