?
False
Let w be -1 + 15/4 - (-19)/76. Suppose 4*h - 6544 = -5*f, -w*f = 5*h - 6*f - 8143. Is h composite?
True
Let n = -235 - -19. Let o be (-1 + -1 - -1) + n. Let r = o + 428. Is r composite?
False
Let b(v) = 201*v**3 + 2*v**2 + 5*v. Let z(i) = 301*i**3 + 3*i**2 + 7*i. Let f(s) = -7*b(s) + 5*z(s). Let c be f(-1). Let h = c + 148. Is h a prime number?
False
Let n(h) = -h**3 + 4*h**2 + 6*h - 3. Let s be n(5). Suppose 4*c - 55 = -3*j, c = 5*j - 162 + 32. Let z = j - s. Is z a prime number?
True
Suppose -3*a = 2*a, 2*j + a - 6 = 0. Suppose -191 = -j*w - 5*s, 4*s + 542 = 5*w + 199. Is w a composite number?
False
Suppose -6 = -2*m, 2*m = 2*k - 0*m - 16. Let o = k + -26. Let j = -12 - o. Is j a composite number?
False
Let f = -805 - -1949. Suppose 0*c + f = 4*c. Suppose b = -b + c. Is b a composite number?
True
Is 2/5 - (-165915)/25 a composite number?
False
Let q(o) = 49*o**2 - 76*o - 37. Is q(28) prime?
True
Let d(r) = 374*r**3 - 4*r**2 + 5*r - 1. Let i be d(1). Let u(a) = a**3 - 7*a**2 + a - 5. Let f be u(7). Suppose -336 - i = -f*b. Is b a composite number?
True
Suppose 66*q = 27*q + 197769. Is q prime?
False
Suppose 4*b - 3 = 3*p, 3*b - 3*p + 6 = 9. Suppose -4*a - 20 = -0*a, -4*t + 4*a + 2728 = b. Is t a composite number?
False
Let y(m) be the second derivative of -20*m**3 + m**2/2 - 3*m. Is y(-1) composite?
True
Suppose 20*w - 25732 = 50248. Is w a prime number?
False
Is -8 - 77/(-21)*591 a composite number?
True
Suppose -61*o + 51*o = -89150. Is o composite?
True
Suppose 0 = -4*u + 3*f + 15236 + 8633, 11962 = 2*u + 4*f. Is u prime?
False
Suppose -j + 5*z + 4973 = j, 0 = -4*j - 5*z + 9871. Is j composite?
True
Suppose 2*v + 23*f - 24*f - 24392 = 0, -2*f = 5*v - 60989. Is v a prime number?
True
Let s = -691 + 2712. Suppose 0*j = -5*j + 5*z + 3395, -5*z = 3*j - s. Is j composite?
False
Is ((-1353768)/(-90) - -11) + 4/30 prime?
True
Let n = -11439 - -41228. Is n a composite number?
False
Suppose -7*a + 184658 = -43563. Is a a composite number?
False
Suppose 4*x - 30 = -s, 7*s - 11*s = 2*x - 92. Suppose -6 = -b + 9. Let a = s + b. Is a a composite number?
False
Let u = 20171 - -1608. Is u prime?
False
Suppose 8340 = -j - 2*j + 5*x, 0 = 3*x. Is ((-14)/8)/(3 + 8345/j) a composite number?
True
Let j(u) = -u - 6 + 63*u**3 + 7*u**2 + 3 - 4*u - 64*u**3. Let t be j(6). Suppose -t*s - 6 = -177. Is s composite?
True
Suppose 6607 = 5*b - 3313. Suppose b + 2564 = 4*x. Is x composite?
True
Suppose 0*c + 3*c = 2*f + 2, -2*c = -f - 3. Suppose -4*m - 4*w = -24, -3*m + 3*w + w = -c. Suppose 5*i - 1341 = -m*i. Is i composite?
False
Suppose -4*z + 12 = c, -3*c + 12 = c - 2*z. Suppose -5*j + 14 = 2*u, 4*j = -c*u + j + 14. Suppose 3*f = -u*f + 50. Is f prime?
False
Suppose -19*d + 27*d - 142264 = 0. Is d composite?
False
Suppose 0 = 4*m - 2 - 18. Suppose 0*s = -m*s. Suppose -2*t + 4*d + 774 = s, 4*t - d - 2*d = 1558. Is t prime?
False
Let m(v) = -19*v - 5. Let u(t) = 38*t + 10. Let h(q) = 14*m(q) + 6*u(q). Is h(-6) prime?
False
Suppose -5*a - 10*n + 3841 = -8*n, 3837 = 5*a + 4*n. Is a composite?
False
Let t = 44212 - 28713. Is t composite?
True
Let w(x) = 6*x**2 + 7*x - 13. Let r be w(11). Suppose l = 3*f - r, 3 + 12 = 3*l. Is f composite?
True
Let t(j) = -2246*j - 99. Is t(-7) a composite number?
True
Suppose -12*z + 58673 + 219235 = 0. Is z a composite number?
False
Let l(m) = 173*m**3 - m**2 - 3*m + 10. Is l(3) composite?
False
Suppose 8 = 2*p + 2*p. Suppose 0*v - p*f = -2*v + 8, 0 = 4*v + f - 26. Let x(j) = 15*j - 21. Is x(v) composite?
True
Let n be 2 - (-3 - -3) - -225. Suppose -n = 10*i - 997. Is i prime?
False
Suppose 10*f - 1000 = 5*f. Suppose x + 69 - f = 0. Is x prime?
True
Is 2253*7/(-4 - -11) a composite number?
True
Let i = -10 + 10. Suppose i = -j + 2*l + 169, 5 = -5*l - 15. Is j a composite number?
True
Let m be (-8)/((-22)/(-20) + (-3)/2). Suppose 0 = -4*w - m, 4*w - 2150 = -2*b + 516. Is b prime?
False
Suppose 11*m - 1192 = 10*m. Suppose m = 6*s - 2*s. Suppose h - s = -h. Is h a composite number?
False
Let o = -86 - -88. Suppose -4*y = -2 - 18. Suppose w = -q + 1069 + 1081, o*w - y*q = 4321. Is w a prime number?
True
Suppose -2*r = -7*r + 5*d + 30, 0 = -4*r - d + 4. Suppose -r*a + a = -337. Is a prime?
True
Let q(p) = p - 6. Let n be q(-8). Let z be (-6 - 0)*n/21. Suppose -z*h - 4*i + 88 = 0, -3*i + 25 = h - i. Is h a composite number?
False
Suppose 0*f + 5*f + 4*x - 77 = 0, 5*x = f - 27. Is ((-5218)/4)/(f/(-34)) a prime number?
True
Let i = 4944 - 3346. Let w = -773 + -184. Let x = i + w. Is x a prime number?
True
Let x be ((-1)/2)/(4/72). Let k be 16/3 + 3/x. Suppose 3*o - 5*p - 143 = 0, -5*p = -2*o + k*o - 163. Is o composite?
True
Let i = -7429 + 55306. Is i a prime number?
False
Let b be 4/(-3 - -1) - -4. Let x(d) = -2*d**2 - 30*d - 18. Let n be x(-14). Suppose q - 122 = 3*c - n, 0 = b*c + 2. Is q a prime number?
True
Suppose 0 = 4*b - 8, 85 = 5*h + 4*b - 1418. Let k = h + -210. Is k composite?
False
Suppose h - 2*h = -3, -2*l + 2*h + 18 = 0. Suppose -3*a = o - 2*o + 509, -3*a + l = 0. Is o a composite number?
False
Suppose 5*h - j - 17973 = 0, -h - 5*j + 3603 = -j. Is h a prime number?
False
Let z(u) = 3*u - 4. Let i be z(3). Let g = 4 - 14. Is i/(g/(-478))*1 prime?
True
Let g(k) be the third derivative of -283*k**4/8 - 8*k**3 + 27*k**2. Is g(-5) prime?
False
Let j = -70 - -127. Let u = j - -742. Is u a composite number?
True
Let x be 3/(-6) + (-65)/(-10). Suppose -v + 3*v = -x, -t + 3*v + 1048 = 0. Is t composite?
False
Let s be 6/21 + 104/28. Let u(o) = -o**2 + 5*o + 1. Let p be u(s). Suppose 2*r + h - 230 = p*h, -5*h + 447 = 4*r. Is r prime?
True
Let x(d) = 3*d**3 + 3*d**2 + 3*d + 1. Let f be x(5). Let u be 0 - (0 - (-2 - -655)). Let b = u - f. Is b a composite number?
True
Let f(s) = -20*s + 249. Let h be f(9). Suppose 349 + 206 = 5*z - 5*r, 0 = r + 5. Suppose 5*k + h = 2*u, 0 = 2*u + 3*k - z + 29. Is u prime?
True
Let q(z) = 2*z**2 - 11 + 0*z**2 - 6*z + 7. Let h be q(6). Suppose m = 5 + h. Is m composite?
False
Suppose 4*v + 1 + 15 = 0, 0 = -c - v + 2627. Is c prime?
False
Suppose 3*h + 8 = 5*h. Suppose -q + u = 0, 3*q - 4 + 2 = h*u. Is 1*(3 + q + 66) prime?
True
Let w(c) = c**3 - 11*c**2 + 12*c - 12. Let l be w(10). Is 1644/l - (-2)/(-4) a prime number?
False
Suppose 50 + 20 = 5*a. Is 391805/207 - (-1 - a/(-18)) a composite number?
True
Let g = 36 - 32. Suppose g*o + 5*j = 240, 0*o + o = 5*j + 35. Is o prime?
False
Let d = -1839 - -5048. Is d prime?
True
Let k(v) = 407*v**2 - 42*v + 163. Is k(6) composite?
False
Let b = -60 + 65. Suppose 4*c - r - 130 = 0, -b*c - 2*r - r + 171 = 0. Is c a composite number?
True
Suppose 0 = 5*n + g - 15, -4*n = 2*g + g - 1. Suppose 3*j = 3*u + 15, -n*j = -2*u - 0*j - 20. Let r(x) = x + 223. Is r(u) a composite number?
False
Suppose 375 = t + n, 2*t = -n + 105 + 649. Is t a prime number?
True
Let h = 20 + 0. Suppose -1 = -3*w + 3*o - 4, -4*w + h = 4*o. Suppose -w*f + 5 + 119 = 0. Is f a composite number?
True
Suppose -3*i + 4741 + 11792 = 3*z, -2*z + 11030 = 4*i. Is z a composite number?
False
Let j(v) = -v + 5. Let f be j(7). Let y = f + 8. Suppose -y*r + 4*r = -938. Is r composite?
True
Let k(t) = -2*t**2 + 12*t. Let b be k(6). Suppose b*r + 36 = 4*r. Suppose 5*q - s = -2*s + 1318, 3*s = r. Is q prime?
True
Suppose 7 = y + 11. Is (-1 + y + 0 + 6)*691 a prime number?
True
Let s(f) be the third derivative of -f**6/40 + f**5/60 - f**4/3 - f**3/6 - 23*f**2. Is s(-4) a composite number?
False
Suppose 2*u + 5*d = 46266, 5*d = -u - 6862 + 29985. Is u composite?
False
Let i = 38 + -47. Let p(h) = -27*h + 11. Is p(i) a prime number?
False
Let b = -6001 - -13604. Is b prime?
True
Suppose -18*n + 16*n = 2*v - 13824, 5*v - 5*n = 34510. Is v prime?
True
Let i = 11698 + -7497. Is i a composite number?
False
Suppose -4 = -9*i + 59. Suppose 3*w - i*w + 9892 = 0. Is w a composite number?
False
Suppose -334831 = -58*z + 653083. Is z a composite number?
False
Let g = -578 + 865. Suppose 2*b - 1524 + g = 3*p, -3*b + 1836 = 2*p. Is b prime?
False
Suppose 6*y - 15 = y. Suppose -2*h + 237 = -w, 0 = 3*h + y*w - 8*w - 352. Is h a prime number?
False
Is 3*(2 - 1780/(-12)) a composite number?
True
Suppose -977 = -5*z + 12183. Suppose 4*n = g - 823 - 36, 3*g - n = z. Is g a prime number?
False
Suppose -2*k + 659 = -293. Suppo