17143 = 0. Is t composite?
True
Suppose 7*q - 16340 = 10701. Is q composite?
False
Suppose 4 = w, 2*j - 5*j - 3*w + 18 = 0. Suppose 3*d - 1127 = -m, j*m + d - 2214 = 5*d. Is m composite?
True
Is ((-994435)/26)/((-10)/4) a prime number?
True
Suppose 14*m = 238423 - 15053. Is m composite?
True
Suppose -5*c + 100 = -5*j, -2*j + 4 - 6 = 0. Let q(l) = c*l**2 - 10 + 11*l + 1 + 16. Is q(6) a composite number?
False
Let p = 85707 + -41564. Is p prime?
False
Let g be 3 + 42/(3 - 1). Is (-6)/g + 933/4 prime?
True
Let v(j) = -9*j - 3. Let n be v(-5). Suppose -5*d + 2 = -4*h + 3*h, -4*h + n = 5*d. Is (-2688)/(-10) - h/(-40) a composite number?
False
Is 7399 + (-4 - -6) + 8 a composite number?
True
Let j be 4 + 60/(-14) + 14592/14. Is 24/(-192) - j/(-16) composite?
True
Suppose 2*f + 7 = f - 5*v, 0 = 4*f - v + 49. Let n(r) = -17*r - 26. Let s be n(f). Suppose s = 5*m - 612. Is m composite?
True
Is (6/(-6))/((-15)/59835) a composite number?
False
Let c be ((-2)/5)/((-2)/10). Let f(y) = 3*y + 3 + 12*y**2 - y**3 - 3*y**2 + c*y**2 - 2. Is f(10) a prime number?
True
Let n = 2112 + 86. Suppose -3*t + n = x, -4*t - 5*x + 672 = -2255. Is t a prime number?
True
Let m(g) = 6*g**2 + 6*g - 5. Let l = 21 - 26. Is m(l) prime?
False
Suppose -2011 - 750 = -11*d. Is d composite?
False
Let a = -7 + 12. Let y(s) = -4*s - 3. Let k be y(-8). Let l = k + a. Is l a composite number?
True
Let v(t) = t - 7. Let s(b) = b - 8. Let m(y) = 4*s(y) - 3*v(y). Let h be m(11). Suppose d + 4*o - 430 - 45 = 0, -5*d - 3*o + 2392 = h. Is d a composite number?
False
Let j(f) = -10*f. Let b be j(0). Suppose 0 = -n - b*n - 2*r + 1641, -6560 = -4*n - 4*r. Is n a prime number?
False
Let o(n) = -n**3 + 7*n**2 - 6*n - 4. Let g be o(5). Suppose -5*f - 1 = -g. Is (-508)/(0 - 6/f) prime?
False
Suppose 0*p - 5*p = 4*y - 7863, -5*y + 7865 = 5*p. Let l = p + -907. Let f = l + -401. Is f composite?
False
Is 36/72*(-3 - -6 - -4355) prime?
True
Let i(x) = 9*x + 7. Let r be i(-6). Let u = -118 - -102. Let a = u - r. Is a a composite number?
False
Suppose -13*b = 2*u - 8*b - 1034, -3*b = -5*u + 2647. Is u composite?
True
Let h(m) = -56*m**3 + 7*m**2 + 75*m + 5. Is h(-7) prime?
True
Let q(i) = 116*i**3 + 19*i**2 + 8*i - 17. Is q(5) a composite number?
True
Let n = -951 - -1606. Is n composite?
True
Is (-54606)/(-15) - 1/10*-6 a prime number?
False
Suppose 13 = 3*k + 1. Let b(a) = 15*a - 7. Is b(k) composite?
False
Let z = 8 + -8. Suppose -2*b = 2*o, z*b = 4*o - b + 10. Is -3 - -2 - o - -540 composite?
False
Suppose 61902 = 21*n - 136779. Is n a prime number?
True
Is (12/(-14) - 3625/(-203))*647 composite?
True
Let o(l) = 13650*l**2 + 14*l + 13. Is o(-1) composite?
False
Let y be 1/2*2*109. Suppose -3 + 19 = -3*u - 2*o, 0 = u - 3*o + 9. Let a = y + u. Is a a prime number?
True
Suppose 0 = -10*x + 2*x + 72. Let y(u) = -9*u**2 + 8*u + 3*u**2 - 4 + 7*u**2. Is y(x) a composite number?
False
Let z be 10/45 + (-655)/(-9). Let h(i) = i**3 - 6*i**2 + 9*i - 2. Let s be h(5). Let f = z - s. Is f a composite number?
True
Let u(n) = 867*n**3 + 6*n**2 - 11*n + 3. Is u(2) a prime number?
False
Let u = 758 - 474. Let i = -207 + 192. Let o = u - i. Is o composite?
True
Suppose -7*n - 4 = -18. Let l(v) = 603*v**2 - 3*v + 5. Is l(n) a prime number?
True
Suppose 24 = -2*i + 3*n, 3*i - 5*n - 6 = -41. Is 8/(-20) + ((-21213)/i)/3 prime?
False
Let j(s) = 0*s + 4*s**2 - s + 4*s + 9 + 4*s. Is j(10) a prime number?
True
Suppose 30 = 2*g - o, g + 3*o - 6*o - 20 = 0. Suppose g = -2*b - 2*b + 2*u, 5*b = -3*u + 10. Is b/(-3) - 1110/(-18) a composite number?
True
Is 464634/4 - ((-18)/(-12))/(-3) prime?
True
Is -3 - (3716/8*-18 + 5) a prime number?
True
Let s(b) = -2*b - 17. Let o be s(-5). Let n(q) = -54*q + 11. Is n(o) prime?
True
Is (2110/(-60))/(1/(-138)) prime?
False
Suppose -3*v = -9, -5*q = -2*q + 2*v - 12. Suppose 4*s = g + 928 - 178, -366 = -q*s - 4*g. Is s composite?
True
Suppose 10*p + 50 = 15*p. Let u be ((-25)/p)/(1/(-56)). Suppose 14 = k + 4*l - 31, -4*k + 4*l + u = 0. Is k a composite number?
False
Is (1 - 15)*6255/(-90) prime?
False
Let l(j) be the first derivative of 15*j - 2*j + 6 + 3 - 2*j**2. Is l(-5) a composite number?
True
Let n = 104 + -42. Let l = n + 65. Is l a prime number?
True
Suppose 4*o - 2*o = -k + 11, 4*k = 4*o - 28. Suppose o*b - b = 1110. Let i = 341 - b. Is i a composite number?
True
Let i be (12/30)/((-1)/40). Let v = i + 16. Suppose -2*k - 2*k + 2212 = v. Is k composite?
True
Suppose -3*b - 5*q + 0*q + 18931 = 0, 0 = -b - 5*q + 6297. Is b a composite number?
False
Is (-1518)/30*(4 + -9) a composite number?
True
Let t(i) = -2*i**2 + 10*i + 59. Let o(u) = u**2 + u - 1. Let a(k) = 4*o(k) + t(k). Is a(-14) a prime number?
True
Let r(w) = -3*w**3 - 8*w**2 + 7. Let o(l) = -l**2 - 5*l + 2. Let m be o(-7). Let v = m + 6. Is r(v) a composite number?
False
Let y(o) = 1813*o + 51. Is y(10) composite?
False
Is 18955 - -5 - (1 + -8 + 2) a composite number?
True
Suppose n + 5*c = 6391 + 2838, 3*n - 27711 = -3*c. Is n a prime number?
True
Let k = 7128 - 4770. Suppose 0 = 4*d - k - 1806. Is d composite?
True
Let t = -1927 + 3728. Is t composite?
False
Let u(r) = -163*r. Let t(i) be the third derivative of -i**6/120 - i**5/20 - i**4/12 - i**3/6 + 9*i**2. Let f be t(-1). Is u(f) prime?
True
Suppose -1878*a + 1875*a = -33477. Is a a composite number?
False
Let w = -17808 - -43465. Is w a prime number?
True
Let u = 25 - 23. Is (-1)/((-1)/u)*373/2 composite?
False
Let p be (-18)/(-27)*(4 - 1). Suppose -p*w = -0*w - 40. Let j = w + 129. Is j a composite number?
False
Let r be 18/10 - 5/(-25). Suppose -9 = r*s + s. Is (1/(-1) - s) + 32 prime?
False
Let a be 165/110*8/(-3). Suppose -4*x - 306 = 18. Let t = a - x. Is t a prime number?
False
Let i(t) be the first derivative of -t**4/4 + 2*t**3/3 - 5*t**2/2 - 2*t - 187. Let r = -11 - -8. Is i(r) a composite number?
True
Suppose -10 = -5*u + 10. Suppose -125 = -u*i + 3239. Is i a composite number?
True
Is (-42)/(-7) - (-2 - 641) a composite number?
True
Suppose 0 = -s + 2*c - 647, 0 = 5*s - s - 3*c + 2593. Is 3/(9/s)*-3 composite?
True
Suppose 4*k = 8*g - 11*g + 41518, 0 = 4*k + 2*g - 41520. Is k a composite number?
True
Let p = 186670 + -83129. Is p a composite number?
True
Let o(q) = -q**3 + 34*q**2 - 36*q + 26. Is o(15) a prime number?
True
Let x = -16 + 16. Suppose x = 3*d - 70 + 289. Let u = 282 + d. Is u a composite number?
True
Let o = -2419 + 8388. Is o a prime number?
False
Let c = 40062 + -21569. Is c a prime number?
True
Suppose 0 = -4*r + t + 29, 3*r + t - 33 = -2*t. Suppose r*h + 0*h = 5192. Is h composite?
True
Let x = 1033 - 2843. Let k = x + 4247. Is k prime?
True
Let x(l) = l**2 + l + 1. Let p be x(-3). Let h(i) = p - 5*i - i - 11*i. Is h(-6) prime?
True
Suppose y + y - 4*l = 250, -3*l + 271 = 2*y. Suppose -3*x - 246 = -4*x. Let b = x - y. Is b a prime number?
False
Let g(u) = u**3 + 73*u**2 + 17*u + 45. Is g(-14) a composite number?
True
Let c(r) = -558*r + 65. Is c(-30) composite?
True
Is (1571/3)/((-6)/(-35 + 17)) a prime number?
True
Suppose -10*p + 14095 = -9*p. Is p a prime number?
False
Let b = 1 + -1. Suppose b = 4*h + 3*j + 21, -3*h + 3*j = 18 + 24. Let l = 15 + h. Is l composite?
True
Suppose -25453 - 208605 = -22*y. Is y a composite number?
False
Suppose -4*n = -80*m + 85*m - 24623, 0 = 4*n + 12. Is m prime?
False
Let y(g) = 2039*g - 158. Is y(11) composite?
False
Suppose -27*s = -29*s + 536. Suppose -10*i + 14*i = s. Is i a prime number?
True
Suppose 4*z + 4*l = -8, -z + 15 = -4*l - 3. Suppose 0 = -4*i + z*n - 9280, -4*i - 2325 = -3*i + 2*n. Is (i/(-44))/((-2)/(-8)) a composite number?
False
Let c be 400/2 - 21/28*-4. Let h = c + 170. Is h composite?
False
Is (6/9)/(24/224892) a composite number?
False
Let s(a) = 64*a**3 - 9*a**2 - 6*a - 5. Let i be s(7). Suppose o + 7*o - i = 0. Is o a composite number?
False
Let o(d) = -3*d**3 + 4*d**2 - 5*d + 9. Let t be o(4). Let a = t + 1850. Let i = a - 914. Is i composite?
False
Suppose -2*w = 2*p - 0*w - 10556, 4*p - 21103 = 5*w. Is p a prime number?
False
Let q(u) = -u**3 + 11*u**2 + 16*u - 3. Let h(z) = z + 7. Let c be h(3). Is q(c) composite?
False
Let c(k) = -3*k + 447. Suppose -2*y + 5*t = 15, -2*t + 9 = 3*y + 3. Is c(y) a composite number?
True
Let t be (-6)/36 + (-13)/(-6). Suppose m = -t*u - 0 - 1, 3*m