Let c(g) = -640*g**3 + 2*g**2 - 8*g - 11. Is c(-3) a composite number?
True
Let w = 10019 - 5148. Is w a prime number?
True
Suppose 414*y + 72093 = 421*y. Is y a composite number?
True
Suppose 0 = -3*a - 4*m + m + 5283, -5*a + 2*m + 8791 = 0. Is a composite?
False
Let t be 1*(-4)/8*6. Let c be 8*((-207)/12 + t). Let q = c + 467. Is q a prime number?
False
Let s(g) = g + 6. Let i be s(-2). Suppose 37 = 5*r - 4*x, 3*r - 3*x - 20 = i. Suppose 236 = r*v - 29. Is v prime?
True
Let z(u) = -5*u**2 + 5*u + 16. Suppose -5*l + 4*g + 47 = 0, -l = -2*l - 2*g + 1. Let o be z(l). Let w = o - -397. Is w a prime number?
False
Let k(w) = 110*w**2 - 38*w + 405. Is k(11) composite?
False
Let d = 55842 - 38273. Is d prime?
True
Suppose -2*h - 429 = -3*f + 82, 982 = -4*h - 2*f. Let y = h + 469. Is y a prime number?
False
Suppose -263 = 2*v - 3*u, -2*v + u - 261 = -4*u. Let i = v - -249. Suppose -3*s + 949 + i = 0. Is s a composite number?
True
Suppose -3*j = 10 - 16. Suppose -2*n - 16 = 2*x, -x + 14 = -j*n - 5. Let q(u) = 2*u**2 + 14*u + 13. Is q(n) composite?
True
Suppose -u - 16 = 3*u + 4*g, -4*g - 1 = -u. Let f(k) = 103*k**2 + k - 3. Is f(u) composite?
True
Suppose -4*j + k = -0*k - 1070, -4*k - 1332 = -5*j. Let r = -141 + j. Is r a prime number?
True
Let u(b) = -195*b - 5. Let k be u(-5). Let i = -240 + k. Let s = i - 519. Is s a composite number?
False
Let c(q) = -q**3 + q + 31. Let h(o) = o**3 - 5*o**2 + 6*o - 6. Let r be h(4). Suppose -w = r*w. Is c(w) prime?
True
Suppose -2*i + 17*o = 13*o - 104534, 4*o + 209064 = 4*i. Is i composite?
True
Let a(x) = -x**3 - 2*x**2 - 3*x - 45. Is a(-16) a prime number?
False
Suppose 18743 = 3*o + 6905. Is o prime?
False
Is (-134594)/(-6) + 4/6 a prime number?
True
Suppose -5*n + 15807 = 4*t, -12*t = -11*t - 4*n - 3957. Is t prime?
False
Let h = 2183 - 826. Is h prime?
False
Let a = -9081 + 24950. Is a a prime number?
False
Let n be 3/4*(1 + -25). Let f = -14 - n. Suppose 0*t - f*j - 2082 = -2*t, 2*t - 2081 = 5*j. Is t a prime number?
False
Suppose -3*n + 2*j + 12537 = 0, -5*j + 5 + 10 = 0. Is n prime?
False
Suppose -x - 91034 = -c - 29812, -5*x = 0. Suppose -c = -13*k - k. Is k a composite number?
False
Let o(v) = 2*v**2 + 7*v - 5. Is o(11) prime?
False
Suppose 5*t + 0*t - 4*z = 30, 2*t = 4*z + 24. Suppose -t*w + 12 = -w. Is (906/w)/(2/28) prime?
False
Suppose 587 = 37*z - 1448. Is z a composite number?
True
Suppose -3*m + 77 + 145 = 0. Let o = 168 - m. Is o composite?
True
Let z(b) = -6*b + 34. Let j be z(8). Is -5 - j/2 - -667 a composite number?
True
Let n = 7651 - -10650. Is n a prime number?
True
Suppose -4*m = 2 + 18. Let f be (-2231)/m + (-7)/35. Suppose k - f = -k. Is k prime?
True
Let y = 8 + -30. Let x = y + 36. Is x a prime number?
False
Let c(v) = -196*v - 8. Let s be c(-2). Suppose 4*k - 2956 - s = 0. Is k composite?
True
Let p(v) = -v**2 + 7*v - 15. Let s be p(7). Let g = 26 + s. Suppose 2*n - 137 = g. Is n composite?
True
Suppose 3*o = 4*o. Let l be (-78)/(-12) + (-6)/4. Suppose -3*g = -z + 347, o = l*z - 4*z + 5*g - 315. Is z a composite number?
True
Suppose -w = -5*p + 3*w + 620, -3*w = p - 143. Suppose -5*j + 905 + 265 = 0. Let t = j - p. Is t prime?
False
Suppose 2*z + z = 27. Suppose 0 = -5*q + 2*p, -3*p + 0 = -4*q - 7. Suppose 5*m - q*n - 5749 = 0, -4*n + 5740 = 5*m - z*n. Is m a composite number?
False
Suppose 5*q = -0*q + 15. Let d be -410*(-1 - -2) + q. Let r = d + 676. Is r a composite number?
False
Suppose -42 = 5*k + u, 0 = -4*k - 2*u - 33 - 3. Let n = k + 8. Suppose n = -i - 0*i + 565. Is i composite?
True
Suppose 0 = -2*a + g - 5*g - 3148, -5*a - g = 7870. Suppose -t + 4 = -1. Is a/(-12) - t/30 prime?
True
Suppose 2*n - 3*j = -31, 4*n + 5*j - 9 = 2*n. Let y be ((-24)/10)/(2/(-10)). Is n/y*(-69)/2 a prime number?
True
Suppose 864063 = 15*y - 9072. Is y a composite number?
True
Suppose -4 + 14 = 5*r. Suppose 5*f - 963 = -r*j, -3*f - f = 3*j - 776. Is f a prime number?
True
Let p = -7 + 7. Suppose p*f - 74 = -2*f. Is f composite?
False
Suppose -10*h + 41829 = -69481. Is h prime?
True
Let i(r) = 12*r + 113. Is i(23) composite?
False
Let f = -27 - -3341. Is (0 + f)/(-1 + 3) prime?
True
Let q(w) = -88*w - 709. Is q(-50) a prime number?
True
Is (-14 - (-91)/7)*-12323 a composite number?
False
Let j(g) = 66*g**3 + 3*g**2 + 5*g + 3. Is j(4) prime?
False
Suppose -40188 = -3*x + p, 3*p = 3*x + 4*p - 40194. Is x prime?
True
Suppose 0 = 2*q + 3*l - 4261, -2*l - 10 = -0. Is q a composite number?
True
Let j = -15978 + 32310. Suppose 0 = 2*x - 3*x + j. Is x/44 + (-6)/33 composite?
True
Suppose -6*c + 19934 = -4*c. Is c a prime number?
True
Suppose -5*c = -3*a - 263, -5*c = -3*c - 5*a - 90. Let h = 19 + -14. Suppose h*x + n - 154 = 0, 5*n + 74 = 4*x - c. Is x composite?
False
Suppose 0 = 2*n - 7*n + 30. Is 209 - (-5 - -8)/(n/(-4)) composite?
False
Suppose -6 + 18 = 4*a. Suppose 20 = 7*w - a*w, 0 = 4*k - 3*w - 5. Is (-2)/k + 672/30 a composite number?
True
Let u(f) = -f + 15. Let b be u(8). Suppose 0 = -l + 5*k - 8, -b - 1 = -5*l + k. Is (-614)/(-8) - l/(-8) prime?
False
Let b(j) = 9*j + 17. Let c be b(-3). Let g(o) = -35*o - 4. Is g(c) composite?
True
Let v = 15638 + 54735. Is v composite?
False
Let i(t) = 234*t - 25. Let a(u) = -78*u + 8. Let r(z) = 8*a(z) + 3*i(z). Suppose -58*d + 19 = 5*n - 59*d, 0 = -2*n - 5*d + 13. Is r(n) a composite number?
True
Suppose -73 = 2*b + 4*j - 951, -4*j + 2225 = 5*b. Is b a prime number?
True
Let y be 184/56 + 4/(-14). Suppose -138 = y*x + 744. Let k = x - -583. Is k prime?
False
Suppose 43 - 1 = 7*s. Let y(n) = 2*n**3 - 2*n**2 + 10*n - 7. Is y(s) composite?
True
Suppose -h - 4*h = 2*n + 375, 3*n + 559 = -4*h. Let c = n - -363. Suppose -3*w = -w - c. Is w composite?
False
Suppose -5*a + 41972 + 3663 = 0. Is a composite?
False
Let a = -3511 + 2025. Let x = 2119 + a. Is x composite?
True
Suppose 72*m - 463011 = 53*m. Is m prime?
False
Suppose 7*b = b + 4398. Is b + (-4)/((0 - -1)*-1) composite?
True
Let o(q) = -6*q + 4. Let b be o(-5). Let r(j) = 14*j**3 - 1. Let t be r(1). Let m = t + b. Is m a composite number?
False
Let k(t) = -t**2 - 7*t + 10. Let n be k(-7). Let a = n - 12. Is (664/(-8))/(1/a) prime?
False
Let s(n) = n**3 + 14*n**2 - n - 19. Let p be s(-11). Let c = p + -168. Is c a composite number?
True
Let j(h) = -h - 1. Let z(m) = -113*m - 10. Let v(a) = j(a) + z(a). Is v(-6) a composite number?
False
Suppose -4*v + 2*i = v - 45825, -45815 = -5*v + 4*i. Is v a composite number?
True
Let a(d) = 50*d - 11. Suppose 0 = -2*j + 2 + 14. Is a(j) composite?
False
Suppose -4*s + 4*h = -6956, s + 5*h + 1719 = 2*s. Suppose -k = 3*k - s. Suppose 4*w - 5*a - k = 0, 0*w + 4*w - 436 = 4*a. Is w composite?
False
Let a(g) = 10*g**2 + 21*g + 16. Is a(13) composite?
False
Let g(b) = -b**3 + 14*b**2 - 12*b - 15. Let i be g(13). Let m be i/(-3) + (-14)/21. Suppose 5*n + m*n = 5*d + 25, n = 2*d. Is n prime?
False
Suppose -8*f + f = -21. Is -3*(3 - -1 - 2 - f) composite?
False
Suppose -3*w = -5*w + 1180. Suppose -q - 4*q = -w. Is q a composite number?
True
Suppose -2*m - 4*w + 10 = 0, 0 = -3*w - 0*w. Suppose v - m*v = -2*u + 1576, -1981 = 5*v + 3*u. Let y = -264 - v. Is y a prime number?
True
Let s = 128 + -123. Is 30576/28 + s/(-1) a composite number?
False
Let s(i) = -100*i + 1. Let p be s(3). Let w(f) = -f**3 - f**2 + f - 5. Let g be w(5). Let o = g - p. Is o prime?
True
Let v(x) = 3180*x - 49. Is v(3) composite?
False
Suppose 0 = 5*x + 3*b - 84227, -33678 = -2*x + 63*b - 61*b. Is x composite?
False
Let r(q) be the first derivative of -q**4/4 + 8*q**3/3 + q**2 + 7*q + 7. Let c be r(8). Suppose c - 345 = -2*y + 4*f, 0 = -3*y - 4*f + 463. Is y composite?
False
Suppose -8*b + 1011 = -5*b. Is b a prime number?
True
Let y(s) = 231*s**3 - 2*s**2 + 7*s - 19. Is y(6) composite?
True
Let x = 83 + -80. Let g(u) = 13*u**3 + 3*u**2 - 2*u + 3. Let a be g(4). Suppose -4*m = -5*z - a, z - x = 2*z. Is m composite?
True
Let n be (1/2)/(4/5456). Suppose 690 = -2*i - 4*r + 5*r, 2*i + r + n = 0. Let u = i - -600. Is u composite?
False
Suppose -37*p - 453104 = -53*p. Is p composite?
False
Suppose -4*z = -z. Suppose l = -i, -5*l + z*l + 27 = -4*i. Suppose -2*m = -2*t + 2*m + 634, -3*m = -l. Is t a prime number?
False
Is -3*(-4)/(-48) + 51585/20 prime?
True
Suppose -6*w + 20 = -2*w. Suppose -10 = 3*c + w*r,