 + 272913 = 13*r - 2*l, 0 = 3*r + 4*l - 272913. Is r prime?
True
Suppose -2*i + 0*i = -2722. Is i a composite number?
False
Let q be (-6)/(-2 - 0)*-24. Let x(o) = 40*o - 1. Let i be x(5). Let t = i + q. Is t composite?
False
Suppose -25*o - 4*t - 778 = -27*o, 3*o + t - 1188 = 0. Is o composite?
True
Suppose 30*i = 144715 - 30805. Is i a prime number?
True
Suppose v = -22 + 16. Let j(b) = 29*b**2 + 11*b - 7. Let y be j(v). Suppose -4*k + 3*w + y = -2*k, k = 5*w + 482. Is k prime?
True
Let q be (-21)/2 + 12/8. Let j(w) = -71*w - 4. Is j(q) composite?
True
Let z(u) = 11*u**2 + 31*u + 165. Is z(63) prime?
False
Let v be (-222)/(-15) - (-2)/10. Let n = v + -31. Is 1 + -1 - (n - -3) composite?
False
Suppose 0 = -9*d + 305565 + 2982. Is d composite?
False
Suppose -q + 0*q + 24 = 0. Let j(w) = -73*w + 8. Let x be j(1). Let z = q - x. Is z a prime number?
True
Suppose 93*w - 107*w = -635642. Is w a composite number?
False
Let g(j) = -j**3 - 4*j**2 - 10*j - 4. Let o = 34 + -41. Is g(o) prime?
False
Suppose -w + 2*w + 4*u + 317 = 0, -5*w + u - 1501 = 0. Let j = w + 462. Is j composite?
True
Let u = 16 + -6. Let p(t) = -t + 10. Let d be p(u). Suppose o + 0*o - 35 = d. Is o a prime number?
False
Suppose -2*v + 3*q + 6110 = 0, 0 = 5*v - 3*q - 12190 - 3067. Let s be (-4)/18 - v/9. Let i = 550 + s. Is i a prime number?
True
Is 19/57 - (-3 - (-9767)/(-3)) a composite number?
False
Let y be ((-776)/6)/((-1)/(-3)). Let r = -1082 + 1655. Let p = y + r. Is p prime?
False
Suppose -2 = -3*t + 2*t. Let y be (0 + 95)*-15*t. Is (y/45)/(2/(-3)) a composite number?
True
Let z be (-1264)/(-24)*81/2. Suppose 847 = -m + z. Is m a composite number?
True
Let t = 790 + 271. Is t composite?
False
Let p(j) = 2*j - 17. Let a be p(11). Suppose -3*t + 2*g + 957 + 1694 = 0, 2*t - 1762 = 4*g. Suppose a*c = t + 220. Is c prime?
False
Suppose -4*n + 4*c + 6482 = 2*c, -4*n + 6479 = -c. Is n prime?
True
Let y be 3/2*(-1)/(4/(-16)). Suppose -2613 = -y*i + 441. Is i prime?
True
Let d(s) = s**3 + 27*s**2 + 70*s + 29. Is d(-23) prime?
False
Let s(v) = v**3 + 37*v**2 + 34*v - 25. Is s(-11) prime?
False
Suppose -15*t + 28596 = -999. Is t a composite number?
False
Suppose -3*k = -8*k + 1700. Suppose 5*y - y + 4*v - k = 0, -260 = -3*y - 2*v. Is -1*y/(-1) - 1 a composite number?
False
Let m(s) be the first derivative of -11/2*s**2 - 6 + 8*s. Is m(-7) a prime number?
False
Let u(s) = s - 11. Let m be u(11). Suppose m = -k - 18 + 329. Is k a prime number?
True
Suppose 0*i - 3*i = 2*g + 6, 5*i + 5*g + 15 = 0. Suppose -5*l + 4252 + 3463 = i. Is l composite?
False
Let y = 11 - 8. Suppose -79 = -y*n + 278. Is n a composite number?
True
Suppose 4 = 2*s - 0*s. Suppose 3*n = 12, -102 = -q + s*n - 0. Suppose j = q + 71. Is j composite?
False
Let b(h) = 69*h**2 + 13*h + 30. Is b(-4) a prime number?
False
Is 8118/9 - (-3 - 2) a prime number?
True
Let r(b) = 1356*b**3 - 5*b**2 + 9*b - 9. Is r(2) a composite number?
False
Suppose -5*p = -b + 45, -2*p = 2*b - b - 66. Suppose -2*g + 6 = -v, -4*g + 3*v = 2*v - 10. Suppose -b = -6*c + g*c. Is c prime?
False
Let w = 3452 + 1505. Is w a composite number?
False
Let r(s) = -s**3 + 9*s**2 - s - 6. Let d be r(10). Let h = d - 316. Let o = h - -635. Is o a prime number?
False
Suppose 0 = -4*z - 2*f + 46579 + 159955, 0 = -f + 5. Is z a composite number?
False
Let x(i) = i**3 + i**2 + i + 1. Let k be x(-1). Suppose 12*t = 14*t - 6. Suppose 0*o - t*o - d + 448 = k, -d - 744 = -5*o. Is o a prime number?
True
Is -1*(-1 + -3 - 0 - 12567) a composite number?
True
Let i = 2183 - -558. Is i composite?
False
Let a(r) = 502*r**2 - 40*r + 21. Is a(-13) prime?
False
Suppose -3*u - 610 = 5*i, -798 = 4*u - 6*i + 5*i. Let o = -111 - u. Is o a prime number?
True
Let i = 24 + -20. Suppose 0 = i*c + 38 + 46. Is (-7)/c - 1540/(-6) a prime number?
True
Suppose -5*i = -1031 - 19514. Is i a prime number?
False
Let a(s) = 8*s**2 + 14*s - 5. Is a(5) prime?
False
Suppose -4*t - 4*l + 426348 = 0, 12*t - 319785 = 9*t + 3*l. Is t prime?
True
Suppose 4*j - 1143 = 57. Let x = -41 + j. Is x composite?
True
Let j be 1/(-2 + (-38)/(-18)). Let h(a) = -j - 6 - 31*a + 20. Is h(-8) composite?
True
Suppose 64*w = 61*w + 5847. Is w a composite number?
False
Is (183975/4)/11 - (-1)/(-4) a composite number?
True
Let y = 5943 + -2278. Suppose 3*c = y - 125. Suppose -4*g + 0*g = -c. Is g composite?
True
Let u(c) = 50*c**2 + c - 4. Let r = 26 + -28. Is u(r) prime?
False
Let p = 85176 + -49975. Is p composite?
False
Let v be (-4)/(-10) - 36141/(-35). Let x(r) = r**2 - r - 2. Let b be x(3). Suppose -3*h + v = b*z, z - 323 = -3*h - 76. Is z composite?
True
Suppose 4*s = 4*i - 4, 4*s - 2*i = i - 1. Is 1/2 - (-1833)/4*s a prime number?
False
Let p(m) = -22*m - 1. Let r be p(-3). Let c(h) = 0 + 74*h + 9*h - 1 + r*h. Is c(2) prime?
False
Is (7972/4)/(2*(-5)/(-10)) a composite number?
False
Suppose 5*k + 5*p = 8 - 58, 3*p + 41 = -4*k. Let l = 24 - k. Is l a composite number?
True
Is 6*(-1172)/(-24)*3 prime?
False
Suppose -2823 = -4*k - 235. Is k prime?
True
Let x(o) = -72*o + 9. Let w be x(-14). Suppose 5*a + 212 - w = 0. Let z = 174 + a. Is z composite?
True
Let x be (-764 - -3)/(-1) - 3. Suppose 3*b = 5*b - x. Is b prime?
True
Suppose 0 = x - 5*v - 1329 + 283, -2*x - v + 2081 = 0. Is x composite?
True
Let o = 9397 - 5635. Suppose -6*p = -o + 14430. Is p/(-5) - (-15)/(-25) prime?
False
Suppose 5*z = 2*z - 2*p + 1567, 0 = -2*z + p + 1040. Is z a prime number?
True
Let w(y) = -11*y - 62. Let f be w(-6). Suppose 3*g - 8680 = -f*s, 0 = 4*s - 2*g - 7930 - 770. Is s composite?
True
Let f(x) be the first derivative of x**7/840 - 11*x**6/360 + x**5/8 + x**4/12 - 7*x**3/3 + 9. Let h(i) be the third derivative of f(i). Is h(11) prime?
True
Suppose 0 = -4*v - 3*g + 2239, -563 = 2*v - 3*v - 4*g. Is v prime?
False
Let t(i) = 2449*i - 54. Is t(17) composite?
False
Suppose -9*l + 1054 = -1718. Suppose -2*w + a = 2*w - l, 4*a = w - 77. Is w a prime number?
False
Let d be (2/(-5))/((-2)/30). Let a(w) = w**3 - 2*w**2 + 4*w - 13. Is a(d) a composite number?
True
Let d(a) = 2*a**2 + 2*a - 6. Let f(k) = k**3 + 5*k**2 + k - 5. Let g be f(-4). Let w be d(g). Suppose 3*p = p + w. Is p composite?
False
Let o(l) = l + 7. Let a be o(-4). Suppose 7*g - a*g = 28. Is (-1139)/(-7) - (-2)/g a composite number?
False
Suppose 7*g - 8*g + 3 = 0. Let i be 75 - (1 - 9/g). Let x = 328 - i. Is x prime?
True
Let o(n) be the first derivative of -n**4/4 + 4*n**3 - n**2/2 + 15*n - 1. Is o(8) a prime number?
True
Let c be (-1 - -2) + 1/(-1). Suppose 3*k + 2 - 14 = c. Is 2/8*k + 126 a composite number?
False
Let s(d) = -5*d - 1. Let p be (3 + -1)*10/(-20). Let g be s(p). Suppose -6*k + g*j + 975 = -k, j + 791 = 4*k. Is k a composite number?
False
Suppose 35*r + 15*r = 485950. Is r a prime number?
True
Let k = 8102 + -4293. Is k composite?
True
Suppose 3*u - 61227 = 50784. Is u a composite number?
False
Let m be (5 + 6/(-3))*3688/12. Is m/3 + 18/(-54) a composite number?
False
Suppose 0 = 3*f - 12912 + 2613. Is f a composite number?
False
Is (0 + 2)/(32/43216) composite?
True
Let c(o) = -65*o - 6. Let t(b) = b**3 - 7*b**2 - 7*b - 15. Let m be t(8). Is c(m) prime?
True
Let i = -39 - -55. Suppose 0 = 4*a - 0*a - i. Suppose p - d - 12 - 15 = 0, -p - a*d = -7. Is p prime?
True
Suppose -42 = 5*t - 122. Let s = t - 5. Suppose 0 = z + 5*y - 327, -5*y - s = 9. Is z prime?
True
Suppose 46768 = 9*u + 7*u. Is u composite?
True
Suppose 3*t - 5284 = -t. Let g = t - 648. Is g a prime number?
True
Suppose -4*f = -n + 9531, -5*f = -2*n - 6*f + 19053. Is n a prime number?
False
Let w(u) = 3760*u**2 + u - 2. Suppose 2*o = 5*r - 0*o + 3, 5*o = -4*r + 24. Let i be w(r). Suppose -31*m = -28*m - i. Is m composite?
True
Let q(h) = -29*h - 20. Let d = 73 - 39. Let n = 17 - d. Is q(n) composite?
True
Let j(w) = 27*w - 4. Suppose -15 = q + 4*q, -12 = -5*m - q. Is j(m) a prime number?
False
Suppose -25 = -5*v, 3*v + 14604 = -5*o + 98849. Is o a prime number?
False
Is (6/(-10))/((-12)/40780) prime?
True
Suppose 5*m - 5*s = 10, 2*s = s - 1. Let q be (6 + -1)/(m/(-10)). Let k = q - -87. Is k prime?
True
Suppose -3*o + 2*c = -31, 2*o = -4*c + 22 + 20. Let u = o + 212. Let j = -142 + u. Is j a prime number?
True
Is (-3573)/(-3)*1*1/3 a prime number?
True
Let d(w) = 13*w**2 + w + 5. Let c(z) = 