+ 2*a. Suppose -141*f = -134*f - m. Is f composite?
True
Let z(j) be the third derivative of -j**4/24 + 55*j**3/6 - 20*j**2. Let s be z(13). Suppose 38*y - s*y = -1172. Is y composite?
False
Suppose -11*s + 15*s = 183970 + 638842. Is s prime?
True
Let j be 18 + -15 - 1*-9. Let n be 8/3*(-9486)/j. Let h = n - -3249. Is h prime?
False
Let d(w) = 23*w**3 - 40*w**2 - 33*w + 469. Is d(33) prime?
True
Suppose 0 = -p + 2*p. Let x be (-5 - -2)*(9 - 1719/27). Suppose 2*z + 2 = p, -u - 3*z + x = -56. Is u composite?
False
Let a(p) be the third derivative of -185*p**4/12 + p**3/6 + 16*p**2. Suppose 6*x - 2*x = -r - 7, 5*r + 12 = 3*x. Is a(x) prime?
False
Suppose 7*x - 289 - 327 = 0. Let o = x - -1787. Suppose 5*y = y + s + 1490, 5*y + 5*s = o. Is y prime?
True
Is 244351*(-9)/6*((-16)/6 - -2) a composite number?
False
Let d = 1898 + -1081. Let r = 1724 - d. Is r prime?
True
Suppose 5*z + z = -3*z. Suppose -2*k + 6*k + w - 121 = z, 0 = -k + 4*w + 43. Is k a composite number?
False
Let i = -61 + 61. Let h be (-327 - i)*(14 - 16). Let b = h + -377. Is b composite?
False
Suppose -22*t = 11*t - 99. Suppose 6*p - 12149 = 3*p + 2*q, -t*q - 20248 = -5*p. Is p a prime number?
True
Let c be 1*(-11 + 14 + -6). Is (0 + -4 - c) + 29988 composite?
True
Let d be (-6)/1*4/(-12). Let s(n) = 484*n**2 - n + 17. Let t(r) = -484*r**2 + 2*r - 18. Let j(u) = d*t(u) + 3*s(u). Is j(4) a composite number?
True
Let d(a) = 120*a**2 + 30*a + 757. Is d(-20) composite?
False
Let x = 45 + -40. Let n be 481 - (-5)/(x/(-4)). Suppose -5*k = 2*l - n, -3*l - k = -4*k - 768. Is l prime?
True
Let d(t) = 814*t - 91. Let f = -516 + 549. Is d(f) prime?
False
Suppose 2*k = 2, -5*c + 2*k + 4 = 6. Suppose 0 = 5*u + 5*q - 7790, -2*u - 4*q + c*q + 3126 = 0. Is u composite?
False
Let n(t) = 134*t**3 - t**2 - 22*t + 30. Let l be n(8). Suppose 11*w - l = -0*w. Is w composite?
True
Let v = 28817 - -32964. Is v a composite number?
False
Is (-3 - 5/(-2))/(48/(-1326432)) prime?
False
Suppose -2*v = 5*z - 7*z - 12, -3*v + 4*z = -22. Is v + 4636 - (33 - 28) a prime number?
False
Let v = 198589 + -109028. Is v prime?
True
Let f be ((3 - 1) + -2)/4. Let u be 44/7 + (-6)/21. Suppose 0 = 5*a + 4 + u, f = -4*n - a + 2522. Is n a composite number?
False
Suppose -4*x = 0, 2*x = t - 0*x - 55666 + 15413. Is t a composite number?
False
Let j(u) = u**2 - 6*u - 6. Let i be j(6). Let k(m) be the third derivative of -167*m**4/24 - 3*m**3/2 - 2*m**2 + 12. Is k(i) a composite number?
True
Let m(a) be the first derivative of -a**3/3 + 2*a**2 + 5627*a - 40. Is m(0) a composite number?
True
Suppose -4*k + 8*o - 5*o = -490335, 5*o + 245185 = 2*k. Suppose -k + 370198 = 14*c. Is c prime?
False
Suppose -3*d = -936874 + 205513. Is d composite?
False
Let a(d) = d**3 + 8*d**2 - 5*d - 59. Let z be a(-8). Let f = z - -1650. Is f prime?
False
Suppose 0 = -38*s + 41*s + 34167. Let t = -7748 - s. Is t composite?
True
Let m = 6135 - -17311. Let c = m + -14783. Is c a composite number?
False
Suppose -15 = -5*r, 417*r = -2*k + 416*r + 709061. Is k prime?
False
Let k(w) = 5*w**3 + 2*w**2 - 4*w - 3. Let r be k(2). Suppose 3*y + r = 67. Let i = y + 0. Is i prime?
False
Let u(w) = w**3 - 3*w**2 - 4*w + 6. Let c be u(4). Suppose -4*y = -c*y + 4. Suppose -2*k = -6*p + p + 2114, y*p = k + 846. Is p composite?
True
Let a = -82729 + 337490. Is a a prime number?
False
Let r(q) = q**2 + q - 1. Let c(k) = 296*k**2 - 5*k + 4. Let y(b) = c(b) + 6*r(b). Let l be 3*(-403)/(-186) - (-14)/(-4). Is y(l) a prime number?
True
Suppose -1116254 = -4*r + 1273662. Is r composite?
True
Let b(o) = 4*o**3 - 22*o**2 - 2*o - 9. Let r(j) = -11*j**3 + 66*j**2 + 5*j + 26. Let g(u) = -8*b(u) - 3*r(u). Let m be g(22). Is ((-8)/m)/(1/(-2962)) prime?
True
Suppose 4*p - 1273280 = -3*j, 3*p - 123096 = -5*j + 831875. Is p a composite number?
True
Let w(f) = 13*f - 17. Let d be w(5). Let x = d - 46. Suppose -3*l = x*a - 605, a - 4*a - l = -918. Is a prime?
True
Let u be (-8 - -6) + -4 + 8. Suppose -g + 5*g - u*l - 394 = 0, g - 2*l - 103 = 0. Is g prime?
True
Suppose -5*m = -42 + 277. Let q = 48 + m. Is q + -2 - -439*2 a composite number?
False
Let n(h) = -4*h - 19*h + h + 13. Let f be ((-7)/35)/(6/150). Is n(f) a composite number?
True
Suppose -7*o = -14 - 14. Suppose o*b - 19 - 17 = 0. Suppose -b*i + 5*i = -1784. Is i a prime number?
False
Suppose 13*y + x + 615286 = 17*y, x = -y + 153819. Is y prime?
False
Let d = -73925 - -136222. Is d a composite number?
False
Is 2/8 + 7021812/448*36 a composite number?
True
Suppose 5*h - 15 = 25*v - 21*v, 2*h + 3*v + 17 = 0. Is 0/h + (16 - -1243) a prime number?
True
Suppose -6*r = -14*r + 296. Let d be r/2*(-1 + 43). Is d/12 - (-5 - -3)/8 a composite number?
True
Let z = 6015 - -56646. Is z composite?
True
Is (-6)/(-4)*(-4 + (-8538148)/(-102)) composite?
True
Let a(s) be the first derivative of -22*s**4 - s**3 + 7*s**2/2 - s + 77. Is a(-3) a prime number?
False
Let p = -9055 - -17136. Is p a prime number?
True
Let s(n) = n**2 - 31*n - 21. Suppose -5*l - 19 - 1 = 0, 5*u + 136 = l. Is s(u) prime?
False
Let l = -86477 + 206620. Is l prime?
False
Let u = 3125 + -2221. Suppose 4*t = 3*y + 5, -3*t = -0*t + 3*y - 9. Suppose -t*r + u = -70. Is r prime?
True
Let q(d) = -d**3 - 46*d**2 + 273*d - 539. Is q(-85) a prime number?
True
Let l(q) = q**3 - 2*q**2 + 8*q - 13. Let h be l(2). Suppose -1001 = -h*k - 224. Is k a composite number?
True
Let s be (4 - 9/2)*124. Let a = s - -673. Is a prime?
False
Suppose -12038275 - 93810918 = -294*c + 44752013. Is c composite?
False
Let p = -7315 + 10451. Let k = p + -317. Is k a composite number?
False
Let g be (548/(-5))/(12/150). Let p = g + 2167. Is p a composite number?
False
Let u(s) = 139*s - 1250. Is u(27) prime?
True
Let w be (-12)/48 + 5337/(-12). Let m = 1086 - w. Suppose 5*b = 2*f + m, 0 = -3*b + 5*f - 4*f + 919. Is b a composite number?
False
Suppose 2*p + 2*z = 16096, 33*z + 6 = 31*z. Is p a composite number?
True
Let g = -47 + 47. Let p be (5/(-5))/((-1)/6 + g). Suppose p*t - 366 = -12. Is t prime?
True
Suppose -18*a - 15 = -13*a. Let u(x) = -26*x**3 - x + 4. Is u(a) a composite number?
False
Let o(n) be the second derivative of -3515*n**3/6 + 41*n**2 + 122*n. Is o(-5) prime?
True
Let c(o) = o**3 - 22*o**2 + 22*o - 21. Let t be c(21). Suppose 7764 = 19*i - 15*i. Is t + 4*i/12 a prime number?
True
Let o(f) = -31846*f**3 + f**2 - 28*f - 61. Is o(-2) a prime number?
False
Let i(r) be the third derivative of -5/8*r**4 + 13/60*r**5 - 1/2*r**3 + 0*r + 3*r**2 + 0. Is i(5) composite?
True
Let p be ((-3)/(9/(-3)) + -2)*-4. Suppose i + 25 = -5*l, 0 = -0*l + p*l + 2*i + 14. Is (-4612)/l + (-7)/(-21) a composite number?
False
Suppose 0 = -q + 3*q - o + 588, -2*o - 882 = 3*q. Let d = 184 + 331. Let f = q + d. Is f prime?
False
Suppose 15*c = -7*c + 40362 + 431604. Is c a composite number?
True
Suppose 1037170 + 774401 = 51*f. Is f a prime number?
True
Suppose 0 = 4*u - 4*j + 2868, 2868 = 6*u - 10*u + 5*j. Let m = -424 - u. Is m composite?
False
Suppose 4*v - 15 = a + v, -3*a = 5*v + 3. Let y = 28 + a. Suppose -3*k + 187 = y. Is k prime?
False
Let o(z) = -z**3 + 70*z**2 - 27*z + 71. Is o(37) a prime number?
True
Let t = -90086 + 158829. Is t a prime number?
True
Let z(o) = 17*o**2 + 15*o + 14. Let h be z(-9). Let y be h/4*(-8)/(-4). Suppose 3*s - y = 4*d + 4439, 0 = d + 3. Is s a prime number?
False
Suppose -9*y + 17*y - 32 = 0. Suppose -3*l - l - o - y = 0, 0 = 4*l + 3*o + 12. Suppose -p + l*p = -274. Is p composite?
True
Let u(s) = 10424*s**2 - 82*s + 95. Is u(7) a prime number?
False
Suppose 0 = 4*r - 2*b - 26, -r + 0*b = -2*b - 5. Suppose r*f + 5*q - 2681 = 6*f, -q = f - 2697. Is f composite?
True
Let z = 116 - 34. Let c = z + 60. Is c a composite number?
True
Suppose -5*b - 4*n + 215730 = -n, -2*b + 86308 = -2*n. Let y = b - 22312. Is y prime?
False
Is ((73050/(-45))/5)/(6/(-9)) a prime number?
True
Suppose 2*p = 10, 2*r - 36 = -4*p + 16. Suppose r*y - 7285 = 11*y. Is y composite?
True
Let p be 0 - (0 + -1 + -2). Suppose 2*g = p*f + 8095, -2955 = -g + 5*f + 1089. Is g a prime number?
True
Let v(i) = -7*i**2 - 7*i - 2. Let p(c) = 6*c**2 + 8*c + 2. Let r(j) = 5*p(j) + 4*v(j). Let l be r(-6). Suppose l*m - 159 = 131. Is m a prime number?
False
Let z = -2219 + -504. Let l = 5114 + z. Is l composite?
True
Let g(u