vative of 5*f**4/12 - f**3/3 + f**2/2 + f. Is b(n) a composite number?
True
Suppose -90 = 3*k + 18. Let h(c) = -c - 1. Let f be h(1). Let b = f - k. Is b prime?
False
Suppose 0 = -3*f + 2*i + 5 - 22, -4*f = -4*i + 24. Is 2 - (f - 0/3) composite?
False
Let v(c) = -4*c + 2*c + 3 - 3. Is v(-2) a prime number?
False
Suppose -5*d + d = -32. Let s(f) = -5 - 2*f - 2*f + d*f**2 + 6*f. Is s(-5) composite?
True
Suppose 0 = 2*s + 3 + 15. Is s/6 - (-233)/2 a prime number?
False
Let y be -9*3/9*-1. Is 52 - 3*y/(-3) composite?
True
Let h(c) = -c**2 - 17*c - 15. Suppose -5 = t + 6. Is h(t) a composite number?
True
Suppose -261 = -2*u + 313. Is u a composite number?
True
Suppose 190 - 16 = -3*x. Let s = -27 - x. Is s a prime number?
True
Let b be 6/(-15) - (-17)/5. Suppose 0 = w - 3*w. Is ((-14)/b + w)*-3 a composite number?
True
Let h(x) = 9*x**2 - 6*x + 4. Is h(9) prime?
False
Suppose 44*s - 42*s = 892. Is s composite?
True
Suppose 2*s - 15 = -s. Suppose s*u = 39 + 11. Suppose -20 = -5*f + u. Is f a prime number?
False
Let k be (-945)/(-2) - 8/16. Suppose 4*t + k = 4*p, t + 262 = 4*p - 213. Is p a composite number?
True
Suppose 9*u + 0*u = 8001. Is u a composite number?
True
Suppose 5*a - 3*u - 1811 = -5*u, -1450 = -4*a - u. Suppose -408 = -3*p + a. Suppose c = 80 + p. Is c a composite number?
False
Let h = -418 - -709. Is h a composite number?
True
Suppose 6*f + 16 = 2*f. Let b be f/14 + 2610/21. Suppose 2*m - b = -2*m. Is m a composite number?
False
Is ((-2)/4)/((-6)/10644) a prime number?
True
Let o = 10723 + -5216. Is o prime?
True
Let y = -121 - -206. Is y prime?
False
Let k(v) be the second derivative of 5*v**4/3 - v**2/2 - 3*v. Let b = -3 + 2. Is k(b) a composite number?
False
Let o(q) = 6*q**2 + 2*q - 4. Let p be o(3). Let l = p + 293. Suppose -355 = -4*g - 3*y - 2*y, 4*g + 3*y = l. Is g a prime number?
False
Let k = -1 - -1. Suppose 5*w + 0*w - 220 = k. Is w*(-1 + (-14)/(-8)) prime?
False
Suppose 3*u = 3*c + 157 + 980, 2*c - 770 = -2*u. Is u composite?
True
Let g = 465 - -1709. Is g a composite number?
True
Let y = -106 + 148. Suppose 4 = 2*x - y. Is x composite?
False
Let p be (-1 - -6)*(-10)/(-25). Suppose p*r + 4 = 4*r. Suppose t = 0, 4*a = -a + r*t + 185. Is a composite?
False
Let y be ((-262)/4)/(3/(-6)). Let a = y + -59. Suppose -2*u = w - a - 18, 2*w = 5*u - 243. Is u a composite number?
False
Let z = 1 - -1. Suppose -s = -0*s - z*o - 9, -3*s = -3*o - 42. Let i = s + -5. Is i prime?
False
Suppose -3 = 2*u + 3*n, -5*n - 24 = -3*u - 0*u. Suppose 0 = 4*r - w - 2*w - 29, u*w + 14 = r. Is 2/r + 186/10 a prime number?
True
Let o = -4954 - -9521. Is o a prime number?
True
Is 34036/12 + 8/12 a composite number?
False
Suppose x - 2*x + 4249 = -4*l, -4*x + 4*l = -17008. Is x composite?
False
Suppose -2*d - 5 + 20 = 5*w, 0 = -3*w + d + 20. Suppose w*f - 793 + 218 = 0. Is f a composite number?
True
Suppose -3*v + 0*v + 12 = 0. Suppose v*j = s + 3*j - 134, -528 = -4*s - 4*j. Is s composite?
True
Suppose 44 = 3*b + 5*z - 16, 0 = 2*b + 4*z - 38. Let f = -22 - -113. Suppose 0 = -2*n + f - b. Is n a composite number?
True
Let c(u) = -u**2 + 14*u - 6. Let j be 8/16 + (-1)/(-2). Let w = j + 8. Is c(w) composite?
True
Suppose -3*n + 182 = -73. Is n a prime number?
False
Let q(b) be the second derivative of -b**5/20 - b**4/3 + b**3/3 - 2*b. Let k be q(-5). Suppose x + k - 74 = 0. Is x composite?
False
Is (-46970)/(-98) - ((-2)/7)/(-1) composite?
False
Suppose -5 = -x - 1. Suppose -2*h + x*t = -158, 0 = -5*h - 7*t + 3*t + 367. Let l = h - 44. Is l prime?
True
Is (-6)/(1/(4 - (-6868)/(-8))) composite?
True
Suppose 0 = -5*a + v + 6 + 17, 4*v = -5*a + 8. Suppose -513 = a*u - 1397. Is u a composite number?
True
Suppose 0 = -5*f + 12 + 13. Suppose -f*c - 3*a - 682 = 0, 2*a = 5*c - 2*a + 689. Let h = c - -216. Is h a prime number?
True
Suppose 0 = -0*m + 5*m - 5095. Is m a prime number?
True
Suppose 57 = 2*a - 161. Is a a composite number?
False
Let f be (-24)/(-10)*40/(-12). Is 753/(-2)*f/12 a prime number?
True
Let y be 2/2 + (0 - -49). Let q be ((-44)/8)/(-2 - 108/(-56)). Let h = y + q. Is h a composite number?
False
Let g(k) = 2*k**3 - 3*k**3 - 5*k**2 + 5*k + 0*k**2 - 1. Let o be g(-6). Suppose -58 = -o*h + 187. Is h prime?
False
Let t be ((-2 - -5) + -2)*2. Let l(p) = 0*p**t - 2 + 2*p**3 - 5*p + 8*p**2 + 3 - 3*p**3. Is l(7) composite?
True
Let g(v) be the first derivative of -v**3/3 + 6*v**2 - 13*v + 2. Let r be g(9). Is (-746)/(-14) - 4/r composite?
False
Suppose 0 = 3*a - a + b - 7, -a + 2*b + 11 = 0. Suppose -102 = -3*y + 3*n, -5*y + a*n - 3*n + 179 = 0. Is y a prime number?
True
Let f be (-79)/(-3) + (-6)/(-9). Let a be (-2)/(-9) - (-5070)/f. Let r = a + -111. Is r a composite number?
True
Suppose 3*r - 2576 = -2*w + 4*w, 5*w - 870 = -r. Let x = 12 - 8. Suppose -264 = x*p - r. Is p a prime number?
True
Suppose -4*r + 4*c + 1752 = 0, -4*r + 3*c + 1422 = -335. Is r prime?
True
Suppose -3141 = -4*y + 227. Is y prime?
False
Let n = -6 + 8. Suppose 0 = -2*a - 5*h + 265, -n*a + 5*h + 300 = 3*h. Is a composite?
True
Suppose -2*n + 6681 = 5*b, 4*b - 3*n - 3519 = 1835. Is b a prime number?
False
Let k(x) = -1 + 7*x**2 + 9*x**3 - 8*x**3 + 7*x**2 + x. Is k(-13) prime?
False
Let b(l) = -l**2 - 20*l - 16. Let a be b(-19). Is a/12 + 15141/28 a composite number?
False
Suppose 10 = -x + 56. Is x a prime number?
False
Suppose 3*z - 44 = 2*d + 21, 5*d + 20 = 0. Let o = z + -6. Is o composite?
False
Let m = 35 + 0. Suppose 5*k = 5*p - m, -2 + 6 = -4*p - 4*k. Suppose 0 = 4*q - 8, -2*q - 363 = -p*v - 5*q. Is v a prime number?
False
Let g = 412 - -7. Is g composite?
False
Suppose x + 84 - 233 = 0. Is x composite?
False
Suppose -2*l + 19 = -3*l - 5*k, 3*l = -k - 1. Let w(j) = 118*j + 1. Is w(l) a prime number?
False
Let w(i) = -i**3 + 14*i**2 + i + 3. Let c be 122/10 - (-4)/(-20). Is w(c) a prime number?
False
Let g = -967 - -1798. Is g a prime number?
False
Let z(p) = p**2 + 8*p + 14. Is z(-9) prime?
True
Let a(p) = p**2 + 17*p - 17. Is a(-20) a prime number?
True
Let d(o) = -o**3 - 6*o**2 - 7*o - 7. Let g be d(-5). Suppose 2*w - w = -2*v + g, -5*w = 25. Suppose 5*r - 18 - 10 = -v*n, 14 = 2*n - r. Is n prime?
True
Suppose 4 = 4*t + 12. Let w(f) = -4*f - 2. Let h be w(t). Let r(d) = 3*d - 5. Is r(h) composite?
False
Let l = 29 - -5. Let n = l - -59. Is n a composite number?
True
Is (-6635)/(-30) - (-2)/48*-4 a composite number?
True
Let a(k) = -k**3 - 5*k**2 - 6*k + 5. Is a(-7) prime?
False
Suppose m = 5*m - 24. Let z = m - 7. Is (-136)/(-6) - z/3 a composite number?
False
Let c = -1371 + 1928. Is c prime?
True
Let o(j) = -6*j**3 - 8*j**2 - 6*j - 3. Is o(-6) a composite number?
True
Suppose 5*a + 7 - 15 = -r, -5*r = a - 16. Is 203 + (-2)/(-2) + a composite?
True
Let d(u) be the first derivative of 2*u**3/3 + 3*u**2 - u + 4. Is d(5) prime?
True
Let f(r) = -359*r + 25. Is f(-6) prime?
True
Let x(l) be the third derivative of -l**5/24 - l**4/24 + l**3/3 - l**2. Let b(d) be the first derivative of x(d). Is b(-4) composite?
False
Let u(y) = y**3 + y**2 - 1. Let h be u(-1). Let d = h - -4. Is ((-1)/1)/(d/(-93)) a prime number?
True
Let n = 31 - -34. Is n composite?
True
Suppose -10*l + 11*l = 211. Is l a prime number?
True
Suppose -10*q + 8*q - 4*m + 830 = 0, 2*q - 4*m - 806 = 0. Is q a composite number?
False
Let w be ((-14)/(-3))/((-1)/3). Is (-512)/w + (-21)/(-49) a prime number?
True
Let c = 0 - -3. Let d(j) = j - 1. Let r(p) = -6*p**2 + 6*p - 7. Let l(b) = 3*d(b) - r(b). Is l(c) prime?
False
Suppose -2*s + 7*s = 15. Suppose -3*t + 48 = m - 14, -5*t = -s*m + 256. Is m composite?
True
Let m(c) = c**2 + c - 4. Let o = -12 + 17. Is m(o) a composite number?
True
Let g(j) be the first derivative of -j**4/4 + j**3 - j**2 + 3*j + 2. Let l be g(2). Suppose -2*z - 2*r + 26 = 0, 4*r + 39 = l*z + r. Is z prime?
True
Suppose -4*b - 47 - 25 = 0. Let i be b/(-15)*(-5)/(-2). Suppose -i*t + 71 = -40. Is t a composite number?
False
Let f be 47/(2 - (3 + 0)). Let d = f - -102. Is d a prime number?
False
Suppose 7*x - 6*x - 691 = 0. Is x composite?
False
Let q be 39/(-2)*(-4)/6. Suppose 2*p - 8 = -2*s, 4*s - 5 = -5*p + q. Suppose 0 = -5*z - 5, 5*g - p*z + 30 = 82. Is g a composite number?
True
Let m = 453 + 20. Is m a prime number?
False
Let m(q) be the first derivative of q**4/4 + q**3/3 + 217*q -