- 2*a + 1. Let t be c(1). Let h(l) = 7 + 3 - 3 - 6*l. Is h(t) a composite number?
False
Suppose -14 = -7*x + 5*x. Is 804/x + (-2)/(-14) composite?
True
Let s(f) = -f**3 - 3*f**2 - 4*f - 2. Let b be s(-2). Let c(w) = 34*w**2 - 2*w - 1. Is c(b) prime?
True
Let v(k) = 790*k**2 - 4*k + 25. Is v(3) prime?
False
Suppose -6*h = 130 - 652. Suppose -4*p - o = -h, 7*p = 3*p + 2*o + 102. Is p composite?
False
Let a = -588 - -209. Suppose -190 = o + j, 3*j - 556 = 3*o - j. Let r = o - a. Is r composite?
False
Is (-1)/5 + 92439/45 + 5 a prime number?
False
Suppose -121962 = -50*o + 48*o. Is o composite?
True
Suppose 0 = -n - 0*n. Suppose 5*z - 5*h - 45 = n, -21 = 5*h + 4. Suppose -2*a + 369 = d, z*d - a - 1705 + 184 = 0. Is d a composite number?
False
Suppose -60*n + 15610 = -50*n. Is n prime?
False
Let j = 10 - -2. Is (22/(-6))/(j/(-1908)) prime?
False
Let n(a) = a**3 + 8*a**2 - 5*a. Let z be n(6). Is z/30*2/(4/10) prime?
True
Let q = -5040 - -12109. Is q a prime number?
True
Suppose 10*o = 12*o. Suppose 4*v + 125 - 665 = o. Let u = v - -188. Is u composite?
True
Suppose 0 = -2*d - 5*p - 329 - 100, -2*p = -5*d - 1058. Let w be d/(-5) - (-14)/(-35). Let b = w - 16. Is b composite?
True
Let u be (-2)/(-6) + 51/9. Let n(j) = j**3 - 5*j**2 - 8*j. Let i be n(u). Let s(h) = -21*h - 1. Is s(i) composite?
False
Suppose d - 689 = -3*p, -157 = 4*p + 3*d - 1069. Suppose -4*h = -h - p. Is h a composite number?
True
Suppose -15 = -28*v + 23*v. Suppose i = v*x + 122, -11 = -i + x + 117. Is i composite?
False
Let i = -64 + 68. Suppose -5*p + 2*c = -0*c - 6797, i*p - 5*c = 5424. Is p a prime number?
True
Suppose 0*u - 2*t - 7155 = -u, 5*u - 35751 = -2*t. Is u prime?
True
Suppose 2*q - 8 = 0, -2*l + 10 - 30 = q. Is 8/l - (-5073)/9 prime?
True
Suppose -5 = n + u, 3*u + 4 = -n - 9. Let v(s) = 737*s**2 - s - 1. Is v(n) prime?
False
Let i(t) = -34*t**3 + 5*t**2 - 3 - 9*t**2 + 4*t**2 - 4*t. Is i(-2) a prime number?
True
Suppose -22*t + 18*t = -148. Is t prime?
True
Let o(b) = -b**3 - 4*b**2 - 4*b + 2. Let k be o(-2). Suppose 505 = k*n + u, u = n + 5*u - 242. Is n prime?
False
Let m(k) = -7*k - 1 - 4 - 39*k. Let o be m(-4). Suppose -5*d = -o - 116. Is d a prime number?
True
Suppose 2 = l + 3*r, -3*l - 2*r - 1 + 7 = 0. Suppose 11 = x - l*b, b - 25 = -2*x + 2. Suppose -3*z = -53 - x. Is z a composite number?
True
Let q = 1073 - 239. Suppose -723 = -3*b - 2*z + 1714, -b - 5*z + q = 0. Is b a composite number?
False
Let d(r) = 2*r - 8. Let u be d(6). Suppose 0 = u*a + 618 + 806. Is (a/(-16))/(1/4) a prime number?
True
Suppose -5*t + 10428 = -21972. Suppose 842 = 2*x - t. Is x a prime number?
False
Suppose 367*i = 352*i + 37545. Is i a composite number?
False
Suppose 0 = -4*y - 0*y - 3*r + 28, -5*y + 4 = -4*r. Suppose y = -3*t + 3*w - 8*w, 3*w + 16 = 5*t. Is (-93)/(-6)*(4 - t) prime?
True
Let x(j) = -2*j**2 - 167*j + 44. Is x(-31) prime?
True
Let s = -1 - 4. Let a(w) = -3*w**3 + 2*w**2 + 5*w + 9. Is a(s) a composite number?
False
Suppose 0*z + 2*z = 5*v - 18, 0 = -v + 5*z - 1. Suppose -v*h = -h - 2*u + 4, -5*h = -2*u. Suppose -y - 252 = -5*n + h*n, -3*n + 264 = -5*y. Is n prime?
True
Suppose -5*t = 2*n + n + 12905, 5*n = -2*t - 5181. Let u = t - -4124. Is u a prime number?
False
Suppose 4*h + 854 = 8738. Suppose 0 = 3*z + 66 - h. Is z composite?
True
Let n(x) = -2*x - 7. Let f(v) = -2*v - 8. Let y(w) = 3*f(w) - 2*n(w). Let r be y(-7). Suppose 0*j - 2*j + 150 = r*g, -3*g + j + 100 = 0. Is g composite?
True
Let k(a) = 3*a**2 + 5*a - 27. Is k(19) a prime number?
True
Suppose 7*b - 2*b + 36 = i, -3*b - 212 = -4*i. Suppose -15*v + i = -11*v. Is (-1557)/(-21) - 2/v a composite number?
True
Suppose -5*h = -2*p + 308 + 1365, 2*p - 1682 = -4*h. Is p composite?
False
Suppose 2*b - 3 = -9. Is (2/(4/2) + b)*-137 a prime number?
False
Let g(h) = 2 + 10*h + 8 - 1 - h**2 + 5. Let r be g(11). Suppose r*y - 580 = -4*d + 7*y, -5*d + 4*y = -723. Is d a composite number?
True
Suppose x = 0, 0 = -2*t + 2*x - 581 - 589. Suppose 338 = -4*m - 350. Let w = m - t. Is w composite?
True
Let n = 11532 + 469. Is n composite?
True
Let h(w) = -7*w + 29. Let o(p) = 14*p - 59. Let d(k) = -9*h(k) - 4*o(k). Let t be (-1 - -8) + 2/(4 - 2). Is d(t) a composite number?
False
Suppose 4*y - 2*y - 2*r = 42, 2*r = 5*y - 111. Suppose -y*l + 18*l = -14825. Is l composite?
True
Let j(v) = 7*v**2 - 2*v + 14. Let k(s) = 7*s**2 - 3*s + 15. Let b(d) = -7*j(d) + 6*k(d). Let c be b(-6). Let r = c + 397. Is r prime?
False
Let a(z) = 3*z + 20. Let g be a(-6). Suppose 3*x = 4*c - 4387, 4*c + g*x = -0*c + 4402. Is c a composite number?
True
Suppose -2*x = -6 - 0. Suppose 3*p - 627 = -x*g, -4*g + 58 + 145 = p. Is p composite?
False
Let z(a) = -a**3 - 6*a**2 - 5*a - 6. Let o be z(-5). Let q = o + 11. Suppose -q*u + 28 + 7 = 0. Is u a prime number?
True
Let f(r) = 177*r - 21. Let x be f(17). Let q = -1039 + x. Is q a prime number?
True
Let r = 103 + -57. Suppose 0 = -v - 4*v. Suppose -y - r + 189 = v. Is y a prime number?
False
Suppose 5*b = 8*b - 2487. Suppose -10*l + b = 139. Is l composite?
True
Suppose -d = -0*d - 7*d. Let q be ((-2)/2)/(1/(-6)). Suppose d = -a + 2*a - q. Is a prime?
False
Let x(y) = -37*y**2 - 1. Let d(m) = -m + 12. Let u be d(10). Let n be x(u). Let z = n - -340. Is z a prime number?
True
Let o(i) = -43*i - 29. Let n be o(-18). Let d = n + -436. Is d a prime number?
False
Suppose -6*o + 31627 + 9995 = 0. Is o prime?
False
Let x be 2 + 5 + -4 - 4. Let a = x + -4. Let k(y) = -y + 5. Is k(a) a prime number?
False
Suppose b = 2 - 15. Let r = 27 + b. Is (-2)/1*(-763)/r prime?
True
Suppose -246 = -2*g + 4*a + 106, 5*g - 885 = 5*a. Suppose -w = 37 + 50. Let k = w + g. Is k prime?
False
Is ((-371)/(-2) + -16)*(-106)/(-3) prime?
False
Let g(f) = 6*f**3 - 2*f - 5 + 11*f**2 - 4*f**3 - f**3 + 0. Is g(-8) composite?
True
Suppose 0 = -38*d + 25*d + 1263197. Is d composite?
False
Let a(c) = -c**3 + 6*c**2 + 7*c + 7. Let n be a(7). Suppose -n*o = -4*o - 1887. Is o a prime number?
False
Let c(p) = 15*p**2 + p - 1. Let r be c(2). Let s(t) = 15*t**2 - 4*t - 10. Let h be s(-2). Let b = r + h. Is b a composite number?
True
Let x(t) = -62*t + 21. Let s be x(-16). Suppose s = 4*c - 471. Is c a prime number?
False
Let f(b) = -38508*b**3 - 14*b**2 - 8*b + 5. Is f(-1) a composite number?
True
Let u(b) = 6*b**3 - 34*b**2 - 87*b + 68. Is u(29) composite?
True
Let m(x) = -3*x - 21. Let y be m(-11). Suppose -3*n = 2*a + 2*n - 35, a - 3*n - y = 0. Is a a composite number?
True
Let z(f) = -8*f**3 - 14*f**2 + 22*f - 29. Is z(-11) composite?
True
Suppose -38*a - 2415084 = -122*a. Is a a prime number?
True
Suppose -3*d + 3*p + 1164 = 381, d - 281 = 5*p. Suppose d = o - 153. Is o prime?
True
Let n(s) = -189*s - 151. Is n(-10) a prime number?
False
Let s = -716 - -1255. Suppose 4*k - 169 = s. Is k composite?
True
Let y be -4*(21/(-6) - -1). Suppose -6*w = -11*w + y. Is w/(-7) + 46/14 prime?
True
Suppose -11*q - 10503 = -32360. Is q composite?
False
Let r = 73 - 69. Suppose -r*c + 2*x = -13186, -3020 - 13470 = -5*c + x. Is c composite?
False
Let p = 14 + -11. Let h(x) be the second derivative of x**5/20 + x**4/12 - x**3/3 + 3*x**2/2 + 2*x. Is h(p) a prime number?
False
Suppose 3*g - 56514 = -3*i, -14*g = -5*i - 12*g + 94197. Is i a composite number?
False
Let s = -3621 + 5083. Suppose -7*b = -9*b + s. Is b a composite number?
True
Suppose 26*m - 737629 = 517157. Is m a prime number?
False
Suppose -20 = -5*p, -5*t + 7*p - 2*p + 23500 = 0. Suppose -t = -4*r + 3*k + k, 0 = 5*r + k - 5850. Is r a composite number?
False
Let z(l) = -2*l**2 - 13*l + 7. Let t be z(6). Let x = t - -288. Is x composite?
True
Let y be (0 - (0 - -20)) + -16 + 14. Is -1 - -1218 - (y - -20) prime?
False
Suppose 0 = 11*n - 14*n + 2*k + 2383, n = 4*k + 781. Is n prime?
True
Suppose 10032 = 20*r - 30988. Is r prime?
False
Let x be ((-54)/(-15))/(1/5). Let v be (-4)/x - 212/18. Is (-218)/(-5) - v/(-20) a prime number?
True
Let w = -1810 - -4567. Is w a prime number?
False
Let h(x) = x**3 - 11*x**2 + 9*x. Let a be h(10). Let b = 13 + a. Suppose 870 - 301 = b*j - g, -j + 3*g = -179. Is j a composite number?
False
Suppose 15*m = 17*m - 2930. Suppose -2*x + m = 3*x. Is x composite?
False
Suppose -492410 = -11*n + 349497. Is n composite?
False
Let t = -67 + 109. Let j = t + 54. Let r = j 