Suppose -a + 660 = 3*u + 9, 0 = 2*a + 2*u - 1322. Let b = v + a. Is b a composite number?
True
Let h(w) = 258*w - 39. Let n be h(23). Let r = -4063 + n. Suppose 0 = 2*z + 2*x - r, -5*x = 2*z + 357 - 2195. Is z a composite number?
True
Let o = -495 - -489. Is (-11877 - 1)/(o + (-16)/(-4)) prime?
True
Let h(x) = -5*x**3 - 27*x**2 - 3*x - 7. Let v(a) = -11*a**2 - 28*a + 29. Let n be v(1). Is h(n) composite?
True
Suppose 32*s - 17*s = 2158373 - 132578. Is s composite?
True
Let b be -3 - (-11 + (3 - 16/2)). Suppose 0 = b*d - 11*d - 902. Is d a composite number?
True
Suppose -4*l - h = 82, 3*h = l + 2 + 12. Let z(c) = c**3 + 62*c**2 - 38*c - 21. Is z(l) a composite number?
False
Let c(f) = -30*f**2 - 21*f - 25. Let b(i) be the first derivative of 2*i**3 + 2*i**2 + 5*i + 21. Let y(z) = 11*b(z) + 2*c(z). Is y(4) a composite number?
False
Let s be (-4 - (-33)/9)/(4/72). Suppose 0 = -j - j + 8. Is 1 + s/j - 29484/(-72) a composite number?
False
Let m(a) = 6*a**3 - 9*a**2 - 9*a + 21. Let t be m(21). Suppose -34*u + t = -128329. Is u a prime number?
False
Suppose 2*c - j = -3447, 0 = 5*c + 6*j - 10*j + 8625. Is (1 - c) + -25 + 20 a prime number?
False
Suppose 8*f - 2 = -2. Suppose f = 16*d - 30080 - 13456. Is d composite?
True
Suppose -31*h + 14*h = 9*h - 118586. Is h a prime number?
True
Let t be 2*(-2 + 85/10). Suppose -2916 - 2843 = -t*u. Is u a prime number?
True
Let f(t) = t**2 - t - 14. Let l be f(-6). Let i = 30 - l. Is ((-1149)/(-2) - -1)*i a composite number?
False
Suppose 2*r - 13260 = -d - 0*r, 3*r - 39780 = -3*d. Suppose 12*o - d = 8*o + k, 0 = -2*o - 5*k + 6608. Is o a composite number?
True
Suppose -5*o = 5*i + 45, -o + 3*o = 4*i + 24. Let x(g) = 5*g**2 - 2*g - 3. Let z(d) = 10*d**2 - 4*d - 5. Let v(a) = 5*x(a) - 2*z(a). Is v(i) a prime number?
False
Let y(d) = -26226*d - 7621. Is y(-48) composite?
False
Suppose -604749*r + 271664 = -604733*r. Is r a composite number?
False
Let p(i) = -28835*i**2 + 6*i - 10. Let w be p(2). Is w/(-30) - (-4)/10 prime?
False
Let s(j) = -j + 1. Let f = -3 - -2. Let h(p) = 69*p - 20. Let z(d) = f*h(d) + 3*s(d). Is z(-11) a composite number?
True
Let j = 49 - 42. Let p = j - -3. Suppose -12*c = -p*c - 138. Is c composite?
True
Suppose 2*c + 10 = -54*p + 51*p, -4*p + 4*c - 40 = 0. Suppose 2*w + 16 = 4*w. Is -4 - (171/6)/(p/w) a prime number?
False
Let u(w) = w**2 - 2. Let s(l) = -l - 6. Let p be s(-8). Let b be u(p). Suppose 3 = 2*i - 5*i, -2269 = -b*r + 3*i. Is r prime?
False
Let j(k) = -2*k + 38. Let u be j(17). Suppose -h - 1233 - 4710 = -2*i, 4*h - 11904 = -u*i. Suppose 5*m - 24202 = i. Is m composite?
True
Let c(g) be the first derivative of g**6/120 + g**5/5 + 3*g**3/2 - 5*g**2 + 9. Let b(f) be the second derivative of c(f). Is b(-10) a composite number?
True
Suppose -306*n + 50*n + 61766912 = 0. Is n a composite number?
True
Suppose 11*y - 26*y + 90 = 0. Suppose n = -n - y, -11003 = -5*h - 4*n. Is h composite?
False
Let n = 2 + -2. Suppose 0 = -5*c + a + 45, c + n*a - 20 = -2*a. Is c prime?
False
Let w = 13576 + 48883. Is w a composite number?
False
Let v(s) = 4 - s**2 - 10 + 5 + 10 - 7*s. Let o be v(-7). Let u(d) = 63*d - 26. Is u(o) prime?
True
Suppose -2*c = -3*h - 4*c + 208, 3*c = -3*h + 207. Let m = -62 + 137. Suppose -m*x + 1535 = -h*x. Is x prime?
True
Suppose 7*p - 5*p = -3*d + 11, 5*p + d = -5. Let x(h) = -179*h - 5. Let n(j) = 537*j + 14. Let z(l) = -6*n(l) - 17*x(l). Is z(p) a composite number?
False
Is 4002/184*51472/12 prime?
False
Is 3*(6514515/(-27))/(-5) prime?
False
Let g(x) = 3*x**3 + 54*x**2 - 15. Let o be g(-18). Let q(y) = -y**3 - 10*y**2 + 7*y + 127. Is q(o) a prime number?
False
Is 10/(-20)*-36 - -112105 composite?
True
Let m(l) = 5*l**2 - 19*l - 71. Suppose -24*h = -33*h - 198. Is m(h) composite?
False
Suppose 262*o = 149*o + 47509607. Is o prime?
True
Let n be (21/28)/((-1)/168). Let a be 184 - (-2 + (1 - -3 - 6)). Let j = a + n. Is j a prime number?
False
Suppose 3*u - 40 - 14 = 0. Let y(d) = 2796*d**2 - 6 - u*d - 2794*d**2 + 15. Is y(28) a composite number?
True
Let x = 2032 + 9358. Let l = -3727 + x. Is l a composite number?
True
Let p = 115 + -213. Let r = 86 + p. Let h(k) = 4*k**2 + 11*k + 2. Is h(r) composite?
True
Suppose -27 = -2*n - 3*d + 60, -5*n = 4*d - 221. Suppose 72 = -n*a + 41*a. Is ((-9)/a)/(1/178) composite?
False
Suppose 16*x - 5539 = 4557. Suppose -184 = 3*p - x. Is p composite?
False
Let o(r) = 9*r**2 + 42*r - 3973. Is o(72) a composite number?
False
Let h be 5 + (-10)/(-4 - -9). Suppose -h*t + 4*c - 36 = 7*c, -2*t = 3*c + 29. Is (t + 9 - (-1 + 3)) + 1249 a prime number?
True
Let x be 1 + 2 + 3 - 5 - 4. Let p(n) = -6014*n - 21. Is p(x) composite?
True
Let z(d) = d**2 - 3*d - 2. Let k be z(-1). Let v be -1 + (k - 3) - (-19 - 5). Suppose -v*h - 2270 = -24*h. Is h a prime number?
False
Let u = 334 - 331. Suppose 2*r - 2915 = -c, u*c = 2*c - r + 2918. Is c prime?
False
Let h(v) be the third derivative of 11/6*v**3 + 31*v**2 + 1/4*v**4 + 0 + 1/30*v**5 + 0*v. Is h(4) a prime number?
True
Let k be ((-341291)/86)/((-2)/24). Suppose -5*m + 3*m + 47619 = 3*g, 0 = 3*g + 3*m - k. Is g a composite number?
True
Suppose -5*i + 1366147 = 4*d, -36*d + 32 = -32*d. Is i composite?
True
Let t = 40050 + -655. Is t a composite number?
True
Let l(b) = 6913*b**2 + 384*b + 1884. Is l(-5) a prime number?
False
Let l(j) = 46*j - 10. Let p be l(-11). Let w = p + 1287. Suppose 4*h + w = 2287. Is h a prime number?
True
Suppose 821*m + 21377 = 822*m. Is m composite?
False
Let r = 88 + -86. Is (-1)/r + (3905/2 - -9) prime?
False
Is 12*6062 - (-1)/(-3 - (-48)/15) prime?
False
Let u = 519772 - 286827. Is u composite?
True
Let n(t) = 971*t**2 + 168*t - 1680. Is n(11) a composite number?
False
Is 358/(-179)*(-210589)/2 prime?
False
Suppose 6*f = 10*f - 5328. Suppose -3*s = -3*c + f, -5*c + s + 2217 = -s. Is c composite?
False
Suppose 0 = r + 5*m + 13, -2*r - 2*m = m + 19. Let p(t) = t**2 + 8*t + 10. Let c be p(r). Let a(o) = o**3 - 6*o**2 + 25*o - 15. Is a(c) a composite number?
True
Is (-5178868)/(-332) - 4/(0 - 2) prime?
True
Let u be 3577/7*(-3)/(-3). Let r = u + 550. Is r prime?
True
Suppose -2*b - 100 = -27*b. Suppose -b*s + 7*s - 15423 = 0. Is s a prime number?
False
Let v be -1 - (1 + (3 - 2) + 3). Let f(t) = -t - 3. Let c be f(v). Suppose c*m = 4*m - 69. Is m a prime number?
False
Suppose -123 + 127 = 4*v, 18114 = y - 5*v. Is y composite?
False
Suppose -4*b = 14*j - 16*j - 16428, 5*b - 20553 = -2*j. Is b a composite number?
True
Let b(h) = -5*h**2 + 34*h + 1. Let x be b(7). Let g(l) = -2*l**3 + 7*l**2 + 18*l + 37. Is g(x) prime?
True
Let q be 0 + -2 + (-4)/(-4). Let u be 2/(q - (-3)/2) - 2. Suppose 4*v = u*c - 322, 663 + 2 = 4*c - v. Is c prime?
True
Let a be 1*(3 + 0 - -75). Let w = -74 + a. Suppose -5*b = w*d - 606, -2*b + 5*d = -3*b + 138. Is b a prime number?
False
Let d be (10 + -7 - -7813) + -7. Let i = 5 + -3. Suppose 2*t = 5*m - d, -m + 4*m - 4679 = -i*t. Is m prime?
False
Let m = -730 - -733. Suppose -5*j = -13*o + 17*o - 2169, 0 = -m*j + 3. Is o composite?
False
Suppose -19*t + 105*t - 47120583 + 16734461 = 0. Is t composite?
True
Let c(t) be the first derivative of 1/3*t**3 + 6*t**2 + 9*t + 16. Is c(14) a composite number?
False
Let c(p) = 603*p - 3485. Is c(18) composite?
False
Let j = 555 + 6230. Suppose 4*m = 5*q + j, -3*q + q = -3*m + 5094. Let c = -1173 + m. Is c a composite number?
True
Let z be 2*(7 - 5)*(1 - 0). Suppose 5*u - 1983 = -z*f, 3*f - 442 = -u + 1048. Is f prime?
False
Suppose 0 = -3*l - 15, x + 905 = -2*l - 2308. Let n = x + 5164. Is n a composite number?
True
Let y(k) = -3*k**2 - 3*k + 4. Let h be y(2). Let g be (-70)/(-28)*h/(-5). Suppose -6*f = -g*f + 19. Is f a prime number?
True
Let t(k) = -72 - 225*k + k**2 + 438*k - 220*k. Is t(13) prime?
False
Let h(m) = m**3 + 69*m**2 - 2146*m + 50. Is h(57) prime?
False
Let r = 720 + -1462. Suppose -33*x - 908 = -29*x. Let b = x - r. Is b a prime number?
False
Suppose 3 = -4*t + 5*i, 4*t + 7*i - 8*i - 9 = 0. Suppose 123 = 3*m - r - 14179, -t*m + 14297 = -2*r. Is m a composite number?
True
Let h(t) = 74*t**2 + 12*t + 78. Let f be h(14). Is (-50)/(-75) - f/(-6) composite?
False
Let p be 2/(-4)*(14 - 14). Suppose p = -2*s + 948 + 58. Suppose -3*v + 754 = -s. Is v prime?
True
Suppose -49*k + 22497335 = 6728988. Is k 