 Is z prime?
True
Suppose 4*l - n - 23 = 2*n, -3*l + 2*n = -18. Suppose -l*a + 7*a = 0. Suppose -3*i + a*t = -2*t - 1627, -4*t = 2*i - 1074. Is i prime?
True
Is 4/8*(3689 + 5) a prime number?
True
Let f = 4789 - 2090. Suppose 3*i + 32 = 5*z, 1 = 4*z - i - 19. Suppose -z*q + f = -3*g, -2705 = -6*q + 2*q + g. Is q a prime number?
True
Is 635*(-8)/(440/(-33)) a composite number?
True
Let p = 12 + 20. Let f = p - 12. Suppose -2*n - f = -282. Is n composite?
False
Let a = -14 - -4. Let l = a + 43. Is l a composite number?
True
Let b = -9 - -4. Let d(t) = 6*t**3 - 2*t**2 - 9*t - 4. Let a(i) = i**3 - i**2 + 1. Let c(n) = b*a(n) + d(n). Is c(8) a composite number?
True
Let x(i) = -i**2 + 9*i - 12. Let g be x(8). Is ((-1)/g)/((-2)/(-88)) a composite number?
False
Suppose 5*r + 25 = 2*o, 5 = -2*o - 5*r - 20. Suppose 2*b + 4*z - 6522 = o, 5*b - 17699 = 2*z - 1394. Is b prime?
False
Suppose -4*n - q = -21730, 16309 = 6*n - 3*n - 5*q. Is n composite?
True
Let p(o) = -28*o - 15. Let f be p(-5). Let l = f + -72. Is l a composite number?
False
Let j be (-3 - 0/(-4)) + 10. Let a(k) = -k**3 + 16*k**2 - 6*k + 8. Is a(j) a prime number?
False
Let v = -15 - -17. Let i be (-3)/v*(-8)/3. Let y(d) = 30*d + 7. Is y(i) a prime number?
True
Let t = 98934 - 45125. Is t a prime number?
False
Suppose -3*k = 6*f - 4*f - 1155, -3*f - 2*k + 1725 = 0. Is f prime?
False
Let w(l) = -2011*l - 138. Is w(-7) prime?
False
Suppose 2*b + 3*t + 1196 + 419 = 0, -b + 4*t - 791 = 0. Let y = b - -1656. Is y a prime number?
True
Suppose -38542 = -4*q + 5650. Suppose 0 = 8*w - 0*w - q. Is w a prime number?
True
Suppose 37609 = 4*b + 5*r, -r - 14831 = -3*b + 13390. Is b composite?
True
Let j(k) = -4 - 5 + 5 + 38*k - 9. Is j(5) a composite number?
True
Suppose 10 = 11*w - w. Suppose 3*j + 2*i = 2973, 3*i + w = 10. Is j a composite number?
True
Let h(r) = 9*r**2 - 10*r + 41. Let k be h(20). Let t = k + -2443. Is t prime?
False
Suppose -9*q = -3*q - 480. Suppose -z + q - 21 = 0. Is z a composite number?
False
Suppose -q - 8 = -5*h + h, -q - 4*h = -16. Is (q + 0)/((-4)/(-382)) a composite number?
True
Suppose 13*a = 15*a + 3*v - 84095, 0 = 2*v - 6. Is a a prime number?
True
Let s = -68 - -67. Is 577 - (1 + (-2)/(s - -3)) prime?
True
Suppose -3*q = -5*f + 4952, -5*f + 554 = -2*q - 4399. Is f prime?
True
Let v = 84 - 84. Let k(s) = s**3 + 2*s + 538. Is k(v) a prime number?
False
Let h be (4/36*3)/(1/9). Suppose -3*i - d = -2665, 3*i + h*d = -0*d + 2673. Is i composite?
False
Suppose -2*u + 3*u = -l + 103, 0 = -4*l - 2*u + 422. Suppose -5 = n, 4*c + 5*n = -l + 447. Is c prime?
False
Let k = 1166 + -764. Let y = k + -211. Is y prime?
True
Suppose 0*z = -2*z + 64. Let x = z - 29. Suppose -x*b + 277 = -u, 0 = -0*u - 3*u - 12. Is b prime?
False
Let y be 1/4 + (-12)/16*4867. Let m = y + 6923. Is m a prime number?
False
Let q be (-6)/16 + (-15)/24. Let s = -11 + q. Is 2/s + (-4063)/(-6) composite?
False
Suppose s - 5*i + 2*i = 13924, 0 = -4*s + 2*i + 55746. Is s composite?
True
Suppose -2*s = m, -4*s + 5*m + 1 + 27 = 0. Suppose -2*p = 3*k - 44, s*k - 16 = -p + 13. Is 4/k - 6666/(-42) a prime number?
False
Let z(w) = w**2 - 4. Let f be z(3). Suppose -f*c + 10 = -10. Suppose c*r - 642 = -u - u, 2*u + 2*r = 652. Is u composite?
False
Suppose 3*q = 4*k + 450, 4*k - 12 = -0*k. Let d = q - 96. Is d prime?
False
Is 12540/8 - 4/(24/15) a composite number?
True
Let r(u) = 393*u - 17. Let g be r(4). Suppose 4*j - s - 3797 = 0, -5*j + g = 2*s - 3188. Is j composite?
True
Let s(h) = -90*h - 107. Is s(-16) a composite number?
True
Let n(k) = k**2 - 2*k + 2. Let r be n(0). Suppose r*b - 1300 = 24. Is b composite?
True
Suppose -4 = -4*u + 8. Suppose -o - l - 35 = -2*o, 5*o + u*l = 191. Is o composite?
False
Let j = -7 + 11. Suppose 0*p - 4*p - j = 0. Is (-388)/(2 - -2)*p composite?
False
Let a(p) = p + 9. Let i be a(-5). Suppose -x = 5*r - 1269, -3*x = i*r - 1083 + 59. Is r prime?
False
Suppose 6*m - 15*m = -396153. Is m prime?
True
Suppose -715 = -k - 138. Let b be 1 - 0 - (-63 + 5). Suppose 2*h - k = -b. Is h prime?
False
Let u = -10115 + 20781. Is u prime?
False
Let o be 45/(-10) - -5 - (-7)/2. Suppose -4*v = 2*t - 7*t + 2247, o*t - 1785 = -v. Is t a prime number?
False
Suppose b + 3*j - 11 - 9 = 0, -5*b - j + 30 = 0. Suppose 4*x - 7*v + 64 = -3*v, 0 = 2*x + b*v + 4. Is (-1852)/(-16) - x/(-16) a prime number?
False
Let v(g) = 37*g**2 + 22*g - 20. Is v(-7) composite?
True
Is (-14154552)/(-312) - 2/13 composite?
True
Suppose -5*z = -2*i - 46461, -11*i - 6 = -14*i. Is z prime?
True
Suppose 0 = -4*n - 0*g - 3*g + 5689, -3*g - 2867 = -2*n. Suppose -4*o - y = -0*o - 1430, 4*o + 3*y - n = 0. Is o prime?
False
Suppose -3 = 3*g, 16*v - 12*v - 75189 = g. Is v prime?
True
Let p(d) = 13002*d**2 + 3*d + 7. Is p(-2) prime?
True
Suppose 0 = -3*j + 6*j. Suppose 0 = 5*z + 3*b - 8*b - 330, -2*b - 64 = -z. Suppose -p + 4*c + 1 = 0, -4*p - c + z + 21 = j. Is p a prime number?
False
Let d be (-53 - 3)/(4/(-126)). Suppose 2*r - 2*h - d = 0, 4*h = 8 + 12. Is r composite?
False
Suppose 46*r = -6*r + 1699828. Is r a composite number?
True
Let d(m) be the second derivative of -5*m - 1/2*m**3 + 1/2*m**2 + 0. Is d(-11) composite?
True
Is (4429 + -44)*(-1 + 2) a composite number?
True
Suppose -16 = -4*i, -m + i + 2015 = 2*m. Is m prime?
True
Suppose -r - 2*r = -6. Suppose r*p - 3*z - 12 = 7*p, -8 = -5*p + 2*z. Suppose p = -h + 28 + 5. Is h prime?
False
Suppose -2*t = -5*a + 8*a - 28005, 4*a + 2*t - 37342 = 0. Is a prime?
True
Let u(n) = 2076*n**2 - 16*n - 53. Is u(-4) a prime number?
False
Let m = 644 - 1542. Let u = 1521 + m. Is u composite?
True
Let h = -79 + 81. Suppose 4*c = h*c + 178. Is c a composite number?
False
Suppose -3*v + 5*v + 18 = 0. Let g = v + 172. Is g a composite number?
False
Let i = -313 + 62. Let z = 664 + i. Is z a composite number?
True
Suppose 0 = -2*z - 0*z + 40. Let y = 69 + z. Is y prime?
True
Let r(l) = 3*l**2 + 67*l + 29. Let v be r(-22). Suppose 6*j = v*j - 677. Is j a composite number?
False
Suppose 0*k = -8*k + 2776. Is k prime?
True
Let q(s) = 3217*s**2 + 40*s - 112. Is q(3) a prime number?
True
Let n be (-3)/(12/452) + 1. Let m = n + -42. Let j = m - -269. Is j a composite number?
True
Let d(g) = -12*g + 66. Let f be d(6). Let b = 3031 - f. Is b prime?
True
Suppose -5109 = -3*m + 4*z, 15*z - 10*z = 15. Is m a composite number?
True
Let u(h) = 5*h**3 - 10*h**2 - 9*h - 5. Let f(k) = 11*k**3 - 21*k**2 - 18*k - 10. Let o(s) = -3*f(s) + 7*u(s). Is o(8) composite?
False
Let o = 536 + 1766. Suppose 16*d = 18*d - o. Is d a prime number?
True
Suppose 0 = -b - 4*g - 10, 4*b = b - 5*g - 2. Is -15*(2 + (-74)/b) a prime number?
False
Is (13/((-156)/(-36)))/((-6)/(-19324)) a prime number?
False
Let r be 1766/(-5) + (-7)/(-35). Let k = -120 - r. Is k composite?
False
Let h(g) = g**3 - 7*g**2 + 7*g - 3. Suppose 0*u + 5*u = 30. Let k be h(u). Suppose 1067 = 8*m - k*m - 3*y, 0 = -4*y - 16. Is m composite?
False
Let b(h) = 8*h**2 - 3*h - 4. Let u(s) = s - 22. Let l be u(17). Is b(l) a composite number?
False
Suppose 29*j - 33*j = c - 16023, 4*c = 5*j + 64008. Is c a prime number?
True
Suppose 4*a + 353 = p - 1963, 4*p = -a + 9332. Let x = -941 + p. Suppose -4*k = -5*t + k + 1720, 0 = -4*t - k + x. Is t composite?
False
Let d be (-4)/1*(-1041)/(-4). Suppose k = 4*v + 2, 0 = 4*k + k + 10. Is (d/(-9))/(v/(-3)) prime?
True
Suppose 67*t - 45*t = 280874. Is t a prime number?
False
Suppose 4*m + m + 35 = 0. Let k(y) = -y**3 - 7*y**2 - y - 5. Let b be k(m). Suppose -180 = -b*l - 2*o, 358 = 3*l + l + 2*o. Is l composite?
False
Suppose -4*d + 9*d = -j - 598, 3*j = 3*d + 348. Let v = 211 + d. Let g = 233 - v. Is g a prime number?
False
Suppose 0 = 2*v - 3*s - 0*s + 18, -4*s - 68 = 5*v. Is (0 + 532/16)/((-3)/v) composite?
True
Let o(s) be the second derivative of 101*s**7/420 + s**6/180 - s**5/60 + s**4/24 + s**3 + 6*s. Let p(d) be the second derivative of o(d). Is p(1) composite?
True
Let z be 3*((-10)/20 + 1310/(-12)). Let b = z + 478. Is b prime?
True
Let q be 3*((-119735)/(-15) + -2). Let u = -16572 + q. Is u a prime number?
True
Suppose -2*x = -7 - 3, -5*c - 4*x + 635 = 0. Let g be ((-11)/((-539)/84))/(1/7). Suppose -g*i = -11*i - c. Is i composite?
True
Suppose y - 5967 = 1113. Suppose 5*s = -3*d + 17709, -2*d = 2*s + d - y. Is s 