b**2 - 8*b + 5. Let o be c(-4). Is (-411)/(o - 440/85) composite?
True
Let g = 4610 + -2493. Suppose 5*s = 4*s + g. Is s a composite number?
True
Is (10 - 4) + -3 - (0 - 3806) a prime number?
False
Let h(g) be the first derivative of -g**4/2 - 13*g**3/3 - 15*g**2/2 + 13*g + 12. Is h(-11) a composite number?
True
Suppose -4*i + 27751 = g, -272*i - 27733 = -276*i + 5*g. Is i a composite number?
True
Suppose 15678 = 2*i - 4*m, 2*m + 19031 = -6*i + 65995. Is i a prime number?
True
Let a(o) be the first derivative of o**3/3 - 14*o**2 - 10*o + 12. Is a(-23) a prime number?
True
Let w = -16 - -19. Suppose -2*q - 150 = -4*q + 4*r, -w*q = -3*r - 231. Is q a composite number?
False
Suppose 22 = 4*v + 6. Let p(w) = 3 + 2 - 79*w + 157*w - 80*w + 4*w**2 + 6*w**3. Is p(v) a composite number?
True
Suppose 2*q = 5*b + 21997, 5*q - 2*q - 32982 = 3*b. Is q prime?
False
Let s(y) = -21850*y**3 + 2*y**2 + 9*y + 6. Is s(-1) a composite number?
True
Let d(o) = -o**2 + 27*o - 16. Let b be d(15). Suppose -p - b = -5*p + 4*u, -2*u = -4*p + 156. Is p a prime number?
True
Suppose 6*z = -0*z. Suppose 5*v + 25 = z, -4*v - v = 5*c - 3820. Is c a composite number?
False
Suppose -b + 226 = 4*t, -7*b + 106 = 2*t - 3*b. Suppose 5*k - 3*k = 52. Let y = t + k. Is y composite?
False
Let k be (1 + (-13)/2)/((-4)/8). Is (162/4 + 1)*(k + -9) composite?
False
Suppose 162*w - 163*w = -3251. Is w a composite number?
False
Let j = -32 + 64. Suppose -2*d = -5*c + d + 72, -d = 3*c - j. Is (-1)/6 + 1070/c composite?
False
Suppose -1388 - 5497 = 5*d. Let x = -656 - d. Is x a composite number?
True
Let a(v) be the third derivative of v**6/120 - v**5/20 - v**4/6 + v**3/2 - 3*v**2 - 10. Suppose -5*s = -25 - 0. Is a(s) composite?
True
Let j(q) = 38*q**3 - 5*q**2 + 2*q**2 + 2*q**2. Is j(1) a composite number?
False
Let k(o) = 23*o**2 + 6*o - 3. Suppose -u + 6 = -5. Let p = 7 - u. Is k(p) a prime number?
False
Let f(k) = 69*k**2 + 2*k - 13. Is f(6) prime?
False
Is (1/(4/(-99298)))/(5/(-10)) prime?
False
Let b be 3 + 3/(-3) - -6767. Let k = -4302 + b. Is k a composite number?
False
Suppose -4*s = -5*n + 1102, -2*s + 5*n - 556 = -0*n. Let a = s + 716. Is a a composite number?
False
Suppose 0 = 2*w + 3*p - 154, -w - 4*p = -55 - 17. Suppose 4*t - 5*j - 248 = 0, -17 = t - j - w. Is t a prime number?
True
Let f(u) = 1142*u**3 - 7*u + 5. Is f(2) a composite number?
False
Suppose 0 = -5*n - 23*t + 26*t + 140854, 3*n = -4*t + 84495. Is n a composite number?
True
Suppose 0 = -16*f - 12*f + 364756. Is f a prime number?
False
Suppose 4*i - 7*i - 71227 = -5*c, 3*i = -2*c + 28474. Is c a composite number?
False
Suppose -3*z + 28 = -8. Is 3/z*1271*4 composite?
True
Suppose -1592448 = -37*j + 41287. Is j composite?
True
Let v = -14601 + 42106. Is v a composite number?
True
Let y = 31 + -28. Suppose -499 = -2*v - y*u, 0 = -5*v + 7*u - 2*u + 1260. Is v a composite number?
False
Let m be 3 + 15/(-3) + 7. Suppose -l = -b - 188, 4*b + 435 = m*l - 504. Is l prime?
False
Let j(u) = u**2 - 9*u + 24. Let q be j(5). Suppose 0 = 5*z + 2*n - 226, n - q*n - 144 = -3*z. Is z composite?
True
Is (2/3)/(578785/115755 - 5) a prime number?
True
Let q(l) = 7*l + 3*l + 12 + 2. Let z be q(8). Suppose -z = -f - 27. Is f a prime number?
True
Let y = -81 - -85. Suppose -x - x = k - 17, 5*x - 5*k = 50. Suppose -y*r = -x*r + 190. Is r a composite number?
True
Let g(b) = 2*b**3 - b**2 - 2*b - 1. Suppose 1 = 2*u - 4*r - 1, -3*u - 7 = 4*r. Let m be g(u). Is m + 4 + 190/2 a prime number?
True
Let z be 1 + 102/(-2) + 0. Let b be (-283956)/(-72) - ((-2)/12)/1. Is b/10 - 30/z a prime number?
False
Suppose 4*k = 4*u + 24, -16 + 6 = 5*k + 5*u. Suppose 12*l + 8 = 8*l, 0 = -2*m - k*l + 16. Is m a composite number?
True
Let w(c) = -342*c - 53. Is w(-4) prime?
False
Let s(d) = -d**3 - 8*d**2 - 12*d - 5. Let c be (0/(-1) + -1)/((-1)/(-8)). Is s(c) prime?
False
Suppose -2*v + 933 = v + 4*n, 0 = -4*v + 3*n + 1244. Let i = v + -107. Let l = i + -91. Is l a prime number?
True
Let o = 12834 + 29369. Is o prime?
False
Is -3 + (-161917)/(-28) + (-9)/12 a prime number?
True
Suppose 0*x - 2*x + 1835 = 5*i, 0 = -4*i - 12. Suppose -2*a - 4*k = 3*a - 1551, -k + x = 3*a. Is a composite?
False
Let h(r) = r**2 - 4*r - 22. Let w be h(-8). Suppose 0 = -t + 3*t - w. Is t composite?
False
Let k be 512/24 + (-1)/3. Is (k/6 - 3)*322 prime?
False
Let f = 15 + -15. Suppose -3*w = j - f*j - 10, 3*j = w - 10. Suppose 0 = 5*t + 5*v - 75, 0*v + v + w = 0. Is t a prime number?
True
Suppose 0 = 8*f - 10*f + 10. Let j(k) = -6 - 6*k + f*k - 9*k + 3*k**2 + 14. Is j(7) a composite number?
True
Let k = -25863 + 49190. Is k composite?
False
Suppose 0 = -4*p + 5*t + 133269, 2*p - 35196 - 31451 = 5*t. Is p composite?
False
Suppose 0*c + 6*c = 858. Suppose b = 2*b - c. Is b a composite number?
True
Suppose 0*p - 67180 = -4*p. Is p a prime number?
False
Suppose -8 = -b + 3*v, -b = -2*b - v. Let o be (b + -5 + 2)*-366. Is (-2)/(-5) + o/10 composite?
False
Let n(a) = 17*a**2 + 4*a + 6. Let r be n(-5). Let j = r + 1880. Is j composite?
True
Let g be (15/(-10))/((-9)/30). Let u(x) = 24*x**2 - 16*x - 3. Is u(g) a composite number?
True
Let d be (0 - 3/2)*4. Let r = d - -8. Suppose 2*l = -f + 234, l = -r*l + 4*f + 373. Is l a composite number?
True
Let a(o) = 98*o**2 - 4*o + 11. Let d = 29 - 35. Is a(d) a composite number?
True
Let j = -57 + 87. Let f = 6 + -3. Is f/(-5) - (-4848)/j a prime number?
False
Suppose 11*o + 132003 = 38*o. Is o composite?
False
Let t(p) = -15*p**3 - 4*p**2 + 4*p - 4. Let d be t(-4). Let s = d - 127. Is s a prime number?
False
Let h(s) = 3*s**3 + 2*s**2 + 9*s - 20. Let f(k) = -2*k**3 - k**2 - 6*k + 13. Let q(v) = -7*f(v) - 5*h(v). Is q(-4) composite?
False
Let r(z) = -462*z + 1. Let n be r(-1). Suppose 76 = 7*h - n. Is h a composite number?
True
Let d = 119806 - 81693. Is d a prime number?
True
Let b(j) = -25*j**3 - 6*j**2 - 10*j + 2. Let k be b(-7). Let z = -5632 + k. Is z prime?
False
Suppose 0 = -4*w + 7 + 1. Suppose 1 = w*u - l, -u + 0*l - 2*l + 8 = 0. Suppose -5*q - 3*g = -4460, 4*g - u*g - 3566 = -4*q. Is q composite?
True
Let z(k) = k - 12. Let c(x) = -x + 12. Let u(d) = 6*c(d) + 7*z(d). Let p be u(14). Let r = p + 56. Is r composite?
True
Suppose 7*d - 3*d - 5*u = -6, 0 = -4*u - 8. Let o(q) = -3*q**3 - 3*q**2 - 4*q + 1. Is o(d) a composite number?
True
Suppose -10 = r - 17. Suppose b - r*w = -9*w + 3855, 11545 = 3*b + 2*w. Is b a composite number?
True
Let b = 1 + 2. Suppose -b*x = 2*w - 16 - 234, -5*w + 583 = -3*x. Is w composite?
True
Suppose -7*v + 27815 = 5002. Is v composite?
False
Suppose 3*y + 4*j - 3*j = 7, -5*y = -2*j - 19. Suppose 3*d - y*r - 1856 = 43, -5*d + 3*r = -3161. Is d prime?
True
Let y(r) = 15*r - 19. Let w(t) = -t**3 + 4*t**2 + t - 3. Let n be w(3). Let x be y(n). Suppose -4*z + 36 = -x. Is z composite?
True
Let g = -26 - -30. Suppose 1704 = g*t - v, -5*v + 1433 = 5*t - 722. Is t composite?
True
Suppose -9*a + 49893 = -6*a - 2*l, 83155 = 5*a - 2*l. Is a composite?
False
Let d(v) be the third derivative of -799*v**6/120 - v**5/60 - v**4/8 - v**3/3 - 7*v**2. Is d(-1) composite?
True
Let q = 31 + -37. Is 2*((-4659)/q + 0) prime?
True
Suppose 5*v - 6*u - 23195 = -11*u, 5*u = -v + 4647. Is v prime?
True
Let p(h) = 302*h**2 - 16*h + 9. Is p(7) prime?
False
Suppose -18 = -5*v + 4*g + 8, -8 = 2*g. Suppose -13 + 5 = v*w. Is w/(-2) - (-408)/17 a composite number?
True
Let t(p) = p**2 - 4. Let g be t(0). Let v be 1458/15*(-10)/g. Suppose 139 = 2*u - v. Is u prime?
True
Suppose 179 = l + n, l - 217 = -4*n - 32. Suppose -2*q + l = 5*y, -2*y - 3*y - 5*q = -180. Is y a prime number?
False
Let j be 774/(-10) - 10/(-25). Let m = j - -240. Is m prime?
True
Let p(b) = -8*b**2 - 5*b + 20. Let x be p(-8). Is x/8*(4 - 14) composite?
True
Suppose 9 = -4*w - 15. Let i(q) = 2 + 8*q**2 + 0*q**2 - 3 - q. Is i(w) a composite number?
False
Let o be (8931 - -1)/(32 - 31). Suppose 4*j + 6*z = 2*z + o, -4*z = 2*j - 4458. Is j a prime number?
True
Suppose 0 = 5*d - 2868 - 15547. Is d composite?
True
Let q(k) = 3*k**2 + 3*k + 11. Let r(x) be the first derivative of -x**2/2 + x - 5. Let n be r(9). Is q(n) a composite number?
False
Let x(h) = 8*h**2 + 7*h + 28. Is x(-11) a composite number?
False
Let d(z) = 2*z**2 + z + 9. Let j be d(0). Suppose 3324 + 1005 = j*x. Is x com