e?
True
Let s(n) = -2*n**3 - 12*n**2 - 16*n - 10. Let x be s(-7). Let q = 487 - x. Is q composite?
True
Let u(r) be the second derivative of r**4/6 + r**3/3 - 7*r**2/2 + 2*r. Is u(6) composite?
True
Suppose 0 = 5*k + 5*p - 9835, 3*p - p + 5916 = 3*k. Let t be (-10)/35 - k/14. Let d = 16 - t. Is d a prime number?
True
Let h = 4 + -7. Let s = -1 + h. Is 134/2 + 0/s a composite number?
False
Let a = -19 - -15. Is (42/9)/(a/(-102)) prime?
False
Suppose 1123 = -12*p + 4639. Is p composite?
False
Let x(h) = 871*h**2 - h - 3. Is x(-1) composite?
True
Let v(i) = 2*i**3 + 2*i**2 - 6*i - 1. Is v(6) a composite number?
False
Let z = -15 + 21. Is ((-4)/z)/((-14)/1113) a composite number?
False
Let r = -9 - -14. Suppose -r*o + 0 = -10. Suppose 0 = -2*d - 0*d - 6, -85 = -i + o*d. Is i a composite number?
False
Let i(g) = g**3 - 10*g**2 + 11*g + 5. Let b(r) = r**2 - r + 9. Let t be b(0). Is i(t) a composite number?
False
Let z(a) = -15*a**2 + 2*a + 1. Let r be z(-1). Let t = 64 - 39. Let v = r + t. Is v prime?
False
Let i = 18 - 13. Let h = i + 0. Suppose -5*r = -h*c + 2*c - 95, 95 = 5*r + 4*c. Is r composite?
False
Let y be (6/4)/((-6)/(-12)). Let z(b) = 4*b**3 + b**2 - 5*b**y + 87 + b + 0*b**3 - 2*b**2. Is z(0) a composite number?
True
Let k be (2 - -107)*(1 + 0). Suppose 3*z - 2*z = k. Is z prime?
True
Suppose -4*d + 518 = 5*f, d - 5*f = -0*d + 117. Is d composite?
False
Let g = 90 - 53. Is g prime?
True
Let r = 722 - 151. Is r a composite number?
False
Let q(k) be the third derivative of -k**5/60 - k**4/4 + 2*k**3/3 + k**2. Let b be q(-6). Suppose -20 = -5*g, -5*x = -6*x + b*g - 5. Is x a prime number?
True
Suppose 3*y = 2*l, y - 6*l = -2*l - 10. Let t(i) = -11*i + 7 + i - y*i. Is t(-6) a prime number?
True
Is (745/(-15))/(3/(-9)) a composite number?
False
Let r be ((-4)/(-10))/(2/20). Suppose 0*n + 2*n = -r*k - 16, -n = -5*k - 20. Suppose n*y - y + 31 = 0. Is y a composite number?
False
Let z = 1 - 2. Let u(c) = -c - 1. Let i be u(z). Suppose 27 = r - v - 9, 2*r - 4*v - 82 = i. Is r a composite number?
False
Suppose 17*a - 18*a = -139. Is a a prime number?
True
Let c = 2 - -3. Let p(v) be the second derivative of -v**4/12 + 11*v**3/6 + 7*v**2/2 - v. Is p(c) a prime number?
True
Let c be (-1)/(1*(-1)/3). Suppose -335 = -4*r - l, -c*r = -r - 2*l - 180. Is r a prime number?
False
Suppose 2*m + 2*k - 6 = 0, 4 = 5*m + k - 7. Suppose 4*b + 644 = 5*i - 829, m*i + 4*b - 578 = 0. Is i a composite number?
False
Let g(y) = 13*y + 6. Let t(f) = -f**2 - 5*f + 7. Let x be t(-5). Is g(x) a prime number?
True
Suppose 3*k - 7*k = -904. Is k a prime number?
False
Let o(a) be the third derivative of 0*a - 5/12*a**4 - 1/2*a**3 + 0 - a**2. Is o(-4) a prime number?
True
Is (377 - -5)*3/6 prime?
True
Let c = -2 - -5. Is (230/c)/((-14)/(-21)) a prime number?
False
Let o(d) = d**3 - 12*d**2 + 10*d + 33. Is o(11) a composite number?
True
Let r(d) be the second derivative of 3*d**5/20 - d**4/3 + d**3/6 - d**2 - 2*d. Is r(3) composite?
True
Let j = 63 + -28. Is j a composite number?
True
Let p(s) = 43*s + 2. Is p(3) a composite number?
False
Let s be (-3 + 2)*1*-2. Let h(j) = 17*j**3 - 3*j**2 + j + 2. Let u be h(s). Let a = -91 + u. Is a prime?
True
Let d = 109 + -15. Is d composite?
True
Let x(r) = -9*r + 3. Let m(u) = -10 + 14*u + 3 + 4*u. Let p(d) = 4*m(d) + 7*x(d). Is p(5) a composite number?
True
Let h(v) = v + 3. Let p be h(7). Suppose 3*f - 132 = 7*f. Let x = p - f. Is x a composite number?
False
Suppose -u - 321 = -1006. Is u a composite number?
True
Suppose 61931 = 10*b + 7*b. Is b prime?
True
Let w(p) = -p**3 - 2*p**2 - 5*p + 4. Let x be -7*(3/21 - 1). Let u be w(x). Is u/(-4) + 2/4 composite?
False
Is (4 + -1)*((-1960)/(-6) + -3) prime?
True
Let j = 0 - 2. Is 25 + -2 + (0 - j) a prime number?
False
Suppose 2*q - 160 = 48. Suppose 57 = c - q. Is c a prime number?
False
Let j = -3 + 1. Let h be (j/(-3))/(2/(-6)). Is (4/6)/h*-57 a composite number?
False
Let a be (-11)/(-33) + (-2)/6. Suppose a = p + p - 446. Is p a prime number?
True
Let j(w) be the first derivative of 3/4*w**4 - w**2 - 1 - 5/3*w**3 - w. Is j(4) a prime number?
True
Suppose 5*r - 3*y - 6 = r, 3*r = -4*y + 17. Suppose r = b - 34. Is b composite?
False
Suppose -2*r + 5*r - 6 = 0. Suppose 3*y = -r*u + u + 3, 1 = -5*u + y. Suppose 4*n + 20 = u, -2*n + 44 = m - 7*n. Is m a composite number?
False
Suppose 5*q - 4773 = -4*v, q - 4*v - 582 = 363. Is q composite?
False
Let j(h) = 23*h - 1. Let x be j(3). Let g = x + -32. Suppose 3*l = -4*q + 153, 3*l - 117 - g = 3*q. Is l a prime number?
False
Let l(o) = o**2 - o + 7. Suppose 16 = 5*p - 3*j, -2*j - 7 = -5*p + 12. Suppose 4*d - 36 = -p*f, 2*d - 27 = -d - 2*f. Is l(d) prime?
True
Suppose -62 = 2*a - 3*l + 171, 3*a - l = -360. Let u = a + 82. Is 2/(3 - 9)*u a prime number?
True
Is ((-2)/6)/((-10)/7470) composite?
True
Let s be (-52)/6*(-42)/4. Is (-7)/(-7)*1*s a prime number?
False
Let t be ((-12)/(-10))/3*-50. Let m = -75 - -105. Let h = t + m. Is h prime?
False
Let u(f) = 3*f**2 - 4*f - 3. Let r be u(5). Suppose -39 = -7*w + 4*w + 5*q, q - r = -4*w. Is w prime?
True
Suppose 3*i = -2*i + 20. Suppose t - 9 = i. Is t composite?
False
Suppose 0 = -5*r + 5, 5*s + 2*r + 63 = 5*r. Let j = s - -43. Is j composite?
False
Suppose 3*d - 5*d - 9 = z, 2*z = d + 12. Let s be ((-6)/(-4))/((-1)/d). Is 119/s + 2/(-9) prime?
True
Let g = -1473 + 3626. Is g prime?
True
Let u = 317 + 24. Is u a composite number?
True
Let u = 7 + -4. Suppose -53 = -u*i + 100. Suppose 3*k + 3*n = i, -n + 4*n = k - 1. Is k prime?
True
Let p = -4 + 6. Let u(h) = 4*h**3 - 3*h**2 + 2*h. Let b be u(p). Let d = b + -9. Is d a composite number?
True
Let s(x) = -x - 5. Let j be s(-6). Let w be 5 - (-2)/(j - -1). Let n = w + 1. Is n a prime number?
True
Let s = -534 + 911. Is s prime?
False
Let d = -8 - -8. Suppose d = -2*j + 385 - 71. Is j a composite number?
False
Let a = 216 - 127. Is a a composite number?
False
Let j = 17 + -5. Suppose -j = -4*t, 5*o + 0 = -2*t + 6. Suppose 5*z + o*l + 4*l - 106 = 0, 92 = 4*z - 4*l. Is z prime?
False
Suppose 0 = -u - 3*u + 4. Is (u/(-3))/((-1)/267) composite?
False
Suppose 5*h + 5*k = 2115, -8*h + 4*h = 3*k - 1688. Let z = h - 292. Is z a prime number?
True
Let h = -19 + 22. Suppose h*w = 8*w - 275. Is w prime?
False
Let n = 2466 + -1600. Suppose n = -4*r + 8*r + 2*g, -2*g = -2*r + 436. Is r a composite number?
True
Let j be (2/(-1))/((-2)/5). Suppose 25 = j*z, r - 6*r + 815 = 2*z. Is r composite?
True
Suppose h + 2*l + 861 - 9054 = 0, -24571 = -3*h - 4*l. Is h a prime number?
False
Suppose 200 = 5*v - 5*m, 4*v + m - 48 - 87 = 0. Suppose -4*d - 2*s = -22, 0 = -5*d + s - 5*s + v. Is ((-26)/d)/(2/(-9)) a prime number?
False
Suppose -2 = -2*o + 2. Suppose -p - a - 1 = 0, -o*p = -6*p + 3*a + 10. Is (-47 + p)*(-3)/6 composite?
False
Let u(j) = 5*j**2 - 19*j - 49. Is u(-15) a composite number?
False
Let g(x) be the first derivative of -5*x**3/3 - x**2 + x + 1. Let z be g(1). Is (1 + (z - -2))/(-1) a composite number?
False
Suppose -4*y = -4*w - 848, -2*y + 507 = w + 86. Is y prime?
True
Let b(r) = -31*r - 19. Let f(q) = q. Let z(d) = b(d) + f(d). Is z(-13) prime?
False
Let c(z) = 6 - 3*z - 2*z + 2*z**2 + 0*z. Suppose 0 = 3*p - p - 10. Is c(p) a composite number?
False
Let h(k) = -k**2 + 1 + 3*k**3 - 3*k - 2*k + 0*k**2. Is h(4) composite?
False
Let h(a) = -a**3 - 7*a**2 + 8*a - 5. Let n be h(-6). Let k = n + 216. Is k prime?
True
Suppose -w + 2 + 0 = 0. Suppose -w*p + 315 = -5*n, n = p + 3*n - 153. Is p composite?
True
Suppose -2*i + 1295 = 2*u + 125, -2*i - 4 = 0. Is u a prime number?
True
Let d be (-6)/15 + (-13)/5. Let x(z) = 0 - 2 - 6*z + 5. Is x(d) a composite number?
True
Suppose 0 = -2*m + 10, -3*i + 5*m - 4*m = -19. Suppose -i = -3*q + q. Let s = q - -10. Is s a prime number?
False
Is (-68530)/(-11) + (-2 - (-1 + 0)) prime?
True
Let p = 5 + -2. Let x be 400/p - (-5)/(-15). Suppose 3*t = 4*v + v - 229, -3*v + 4*t + x = 0. Is v a composite number?
False
Let n = 2226 - 325. Is n a prime number?
True
Let t = 1085 - 754. Is t a composite number?
False
Suppose -3*o + 7 = -2*t, -3*o = -4*t + o - 8. Let d = 1 + t. Is ((-1)/2)/(d/(-44)) a prime number?
True
Suppose 0 = -2*o + 3 - 9, -3*o - 7 = -2*l. Is l + (2*-246)/(-3) prime?
True
Suppose -3*g + g + 4*f + 492 = 0, 516 = 2*g + 