 q = 63992 + -45181. Is q a composite number?
True
Let t(s) = -s + 1. Let a be t(-4). Suppose z - 582 = -w + a*z, -3*w + 3*z = -1719. Is w + -1 - (0 - 4) composite?
True
Let p(y) = -645*y + 114. Is p(-9) composite?
True
Suppose 3*c - 2 = -14. Is (-6)/c*1524/18 composite?
False
Let b(s) be the first derivative of -s**4/4 + 2*s**3/3 + 3*s**2/2 - 3*s + 1. Suppose -11 + 2 = 3*t. Is b(t) composite?
True
Let w(h) = h**3 + 4*h**2 + 2*h + 4. Let x be w(-3). Let n be (-9)/(-5)*(-35)/x. Let q = n - -24. Is q composite?
True
Let d = -531 - -904. Is d composite?
False
Suppose 0 = 3*m - 239 - 2518. Is m a prime number?
True
Let t = -1 - -1. Let g = -122 + 205. Is (g - t)/(6 + -5) prime?
True
Is (3022*7)/((-16)/(-64)*8) prime?
False
Let a(l) = -407*l + 6. Let o = -22 - -21. Is a(o) a prime number?
False
Suppose -2*i - i + 3708 = 0. Suppose -5*h + h = -i. Is h a composite number?
True
Let d(z) = z**3 - 3*z**2 + 6*z - 4. Let p be d(2). Suppose 4*l + 4*k - 315 = -l, p*k = -20. Is l a composite number?
False
Let y(t) = -7 - 2384*t - 2 + 2381*t + 26*t**2. Is y(-4) prime?
True
Let b be 13/4 + -3 - 42/8. Let u(q) = 16*q**2 - 7*q - 26. Is u(b) a composite number?
False
Let i(z) = 28*z**2 + 27*z + 12. Let q be i(-9). Let n = q - 556. Is n a composite number?
False
Let c = 15228 + -10099. Is c a composite number?
True
Let f be (-12)/((-12)/(-4) - 4). Suppose 2*i + f = 5*i. Suppose 3*l - 3*c + 2*c - 803 = 0, 0 = -l + i*c + 275. Is l a composite number?
True
Suppose 1791 = 24*k - 21*k. Let l = -178 + k. Is l a prime number?
True
Suppose -52*w = -40*w - 109572. Is w a prime number?
False
Suppose 0 = -5*c + 13*c - 32. Suppose -5*b = 5*d - 2070, d + c*d - 4*b - 2061 = 0. Is d a prime number?
False
Let i(u) = 47*u**2 - 67*u - 23. Is i(36) composite?
False
Let u(q) = -348*q**3 + 3*q**2 + 13*q - 8. Let f be u(6). Is (-2)/(f/18745 + 4) prime?
False
Let y = 41 - 29. Let g be 1 - -15*200/y. Suppose 2 = -b, 3*m + 3*b - g = b. Is m prime?
False
Suppose -2*r = -5*r + 24. Let b(x) = -5 + 4*x + 9 + 10*x + 11. Is b(r) composite?
False
Suppose 2*z + z = -4*y + 40055, 4*z = 2*y - 20044. Suppose 3*d + 4*u = -d + y, 0 = 3*u - 3. Is d a prime number?
True
Let a be 540/(-10) - (-1)/(-1). Let o = 85 + a. Is ((-58)/(-4))/(3/o) a prime number?
False
Let f be 199782/(-4) + 5/(-10). Let g be 2/(-3) - f/39. Suppose 254 = z + j, 5*z - 4*j + 7*j - g = 0. Is z a prime number?
False
Suppose 2*c + 2*c = 340. Suppose 3*r = 2*r - c. Let p = -26 - r. Is p composite?
False
Let g(k) = 4*k - 7. Suppose -2*h = -4*q - 0*h - 34, 4*q = h - 33. Let j be ((-28)/q)/7*22. Is g(j) prime?
True
Let z = -421 + 3254. Is z a prime number?
True
Suppose -195*v - 40820 = -215*v. Is v composite?
True
Let z be -2*((-260811)/(-2))/1. Is (-2)/(-3)*(z/(-18) + -7) prime?
False
Let c(l) = l**3 - l**2 + l + 1. Let a be c(0). Let b(m) = 2*m. Let i be b(a). Suppose 573 = -i*f + 5*f. Is f a prime number?
True
Let k(z) = z**3 - 4*z**2 - 3*z + 15. Let o be k(7). Let a = -93 + o. Let f = 145 - a. Is f a composite number?
False
Let n(s) = 160*s**2 + 6*s - 9. Let a be n(3). Is (8/(-12))/((-6)/a) a composite number?
True
Let h = 84 + -60. Suppose 5*w - 9 = -h. Is -4 - (w - -3 - 413) composite?
False
Suppose -u = 2*u + 27. Let y(c) = c**2 - 17*c + 4 + 2*c**2 + 5*c**2 + 4*c. Is y(u) a composite number?
False
Let v(h) = 5*h**2 + 2*h + 6. Let u = -6 + 2. Let f be v(u). Suppose -7*j + 5*j + f = 0. Is j prime?
False
Suppose -4*k - 2179 = -5*u, 3*u + 0*k = 3*k + 1305. Suppose 0 = 10*c - 11*c + u. Is c prime?
True
Suppose -12*f = -10*f - 8746. Is f a prime number?
True
Let y(a) be the first derivative of 0*a + 76/3*a**3 + 1/2*a**2 + 4. Is y(1) a prime number?
False
Let a = 31 - -56. Is a a prime number?
False
Suppose -3*z = -2*r + 11743, -8*r - 4*z = -4*r - 23496. Is r prime?
False
Let c(x) = -9*x**3 - x**2 + 10*x + 5. Suppose 4*l + 13 = -7. Is c(l) composite?
True
Let v(l) = -l - 5. Let m be v(-9). Let y(q) = 3*q**2 + 2 + 7*q + 7 - m + 3*q. Is y(-12) a prime number?
True
Let v(c) = 6 - 7 + 184*c**2 + 2. Let t be v(-1). Suppose -4*m + t = m. Is m prime?
True
Let b = -114 - -568. Let d = -287 + b. Is d a composite number?
False
Let d = 180 + -48. Suppose m - 357 = d. Is m a prime number?
False
Let p(a) = 45*a**2 - 68*a + 45. Is p(22) a prime number?
False
Suppose -4*y = -4*d - 67692, -3*y + 6*d + 50753 = 11*d. Is y prime?
True
Suppose 2*r - 7*j - 43387 = -4*j, -5*r - j = -108510. Is r a composite number?
False
Let z be (-4 + 5)/(2/4). Let w(x) = 4*x**2 + x. Let i be w(z). Suppose -p + 1 = -0, t = -3*p + i. Is t composite?
True
Suppose b - o - 7 = -2*o, -3*b + 61 = -5*o. Let c be 52/b - (-2)/(-6). Suppose s - 337 = -k, -4*k + 3*k - c*s = -331. Is k a composite number?
True
Let a(f) = 14 - 15*f + 7 + 12*f**2 - 26*f**2 + 0*f**3 + f**3. Is a(17) a prime number?
False
Suppose -5*c + 2*o = -12 - 38, 5*c = -5*o + 15. Let h be -2 - (-388)/c*4. Let t = 341 - h. Is t prime?
True
Let k(v) = 5*v**3 - 14*v**2 + v + 3. Let i(r) = 4*r**3 - 13*r**2 + r + 4. Let q(o) = -4*i(o) + 3*k(o). Suppose 4*x - 24 + 0 = 0. Is q(x) prime?
True
Let t be (-4)/6 + 4/6. Let i(j) = 2*j**3 + 5*j + 71. Let g(d) = -d**3 - 2*d - 35. Let f(o) = -5*g(o) - 2*i(o). Is f(t) composite?
True
Suppose 714 + 896 = 5*d. Suppose -2*r = -d - 2308. Is r a prime number?
False
Suppose -10*g = 11*g - 25053. Is g prime?
True
Let y be 14/(-63) + (-29)/(-9). Suppose -5*s = -y*b - 16, -4*b - 5*s + 34 = -b. Suppose b*c - a = 4, -3*c - 4*a + 15 = -14. Is c composite?
False
Let s = -19 - -4. Let g = s - -46. Suppose 29*r = g*r - 246. Is r prime?
False
Suppose 0 = -j - j + 224. Suppose 0 = -4*g + 4268 - j. Is g composite?
False
Is (-410466)/(-26) + 12/(-78) a composite number?
False
Let s(i) = 3*i + 12. Let y be s(6). Let v = y + 8. Is v prime?
False
Suppose -14*i - 27577 + 150525 = 0. Is i a prime number?
False
Let u be 69 - -2*3/6. Let k = u - -79. Is k composite?
False
Let z be 38/8*6*4/6. Let o = 125 - z. Is o a prime number?
False
Let z(w) = -w**3 + 3*w**2 + 6*w - 5. Let o be z(4). Suppose 0 = -o*t - 5*c + 1 + 11, -5*c = 5*t - 20. Suppose -111 = p - t*p. Is p composite?
False
Is 0/(1/(5/10)) + 9763 a prime number?
False
Let z(d) = d**3 + 5*d**2 + d + 9. Let n be z(-5). Suppose 5033 = 11*k - n*k. Is k a prime number?
True
Let b = 1087 + -546. Is b a composite number?
False
Let q(s) be the third derivative of 127*s**6/360 - s**5/60 + s**4/12 + s**3/3 + 4*s**2. Let a(h) be the first derivative of q(h). Is a(1) composite?
False
Let j(d) = 2*d - 5. Let r(p) = -1. Let o(i) = j(i) - 4*r(i). Let z be o(2). Suppose -189 = -z*n - 3*u, 280 = 5*n - 0*n - 2*u. Is n a composite number?
True
Suppose -2*c + p = -7914 - 489, -2*c = -5*p - 8407. Is c a prime number?
True
Let q(v) = 107*v + 3. Let z be q(-5). Suppose 3*i + 2*x + 148 = -225, i = 3*x - 117. Let s = i - z. Is s composite?
False
Let c(q) = -q + 758. Let v be c(0). Suppose -3*s = -2*y + 1526, -v = -y - 4*s + 8*s. Is y a prime number?
False
Suppose -5*a = 73 - 83. Suppose n = w - 1112 + 307, 0 = 4*w - a*n - 3228. Is w prime?
True
Let o = -26 + 18. Let u be 30/(-4) + (-4)/o. Let v(d) = 3*d**2 - 9*d - 7. Is v(u) prime?
False
Let h(a) = a**3 + 19*a**2 + a + 7. Is h(18) prime?
False
Let u(o) = -7*o - 2*o - 3 + 10*o. Let d be u(7). Is (285/(-6))/(d/(-8)) a prime number?
False
Suppose 11*n + 15750 = 3*a, a + 5*n - 5276 = -0*a. Is a composite?
False
Let w(i) = i**3 - 4*i**3 + 16*i + 3 - 7*i + i**3. Suppose -5*d + 5*s = 70, -s + 12 = 2*s. Is w(d) composite?
False
Let r be (-9 - -3)/(-2) + -3. Suppose -18 = -3*v + 4*j, r = v + v - 2*j - 10. Suppose 0 = v*h + h - 669. Is h prime?
True
Is 86588*(37/4 - 9) prime?
True
Suppose -4*z = 5*q + 1951 + 450, -2*q - 2 = 0. Let x = 892 + z. Is x a composite number?
False
Suppose -5*g = 3*s - 440, 6*s - 580 = 2*s - 5*g. Suppose -7 = -y + 12. Suppose -y = -p + s. Is p a composite number?
True
Suppose -w + 1986 + 5510 = -g, -7511 = -w - 2*g. Is w prime?
False
Let y = 346 + 595. Is y a composite number?
False
Let a = 4 - -4. Suppose -4*b + 3254 = 6*q - 3*q, -4*q - a = 0. Suppose 3*x = 8*x - b. Is x a prime number?
True
Let u(w) = -2*w - 18. Let c be u(14). Is 231/14*c/(-3) composite?
True
Let o(j) = 702*j - 1. Suppose 4*z + 2 - 6 = 0. Is o(z) composite?
False
Suppose -47217 = -n + 2*l, 4*n - 12*l + 9*l = 188878. Is n composite?
False