+ 2. Let m = p - s. Is m composite?
True
Suppose -8*n + 1784 = -4*n. Is n prime?
False
Let w(u) = 11*u**2 - u + 1. Let m be w(-2). Let y = m + -67. Let c = 43 + y. Is c composite?
False
Let b be (-57)/(-11) - (-2)/(-11). Suppose 0 = 5*l - b*v - 370, 0 = -5*l - 2*v + 5*v + 376. Is l prime?
False
Let v(i) = -9*i**2 - 7*i + 9. Let s(n) = 19*n**2 + 13*n - 17. Let g(h) = 4*s(h) + 7*v(h). Is g(-6) prime?
False
Suppose 0 = 2*o + 2*h + 16, -h - 4*h = 2*o + 10. Is (-4696)/(-20) - 2/o composite?
True
Suppose 132 = f + 2*f. Let r = f - -21. Is r composite?
True
Let n = 6439 - 1530. Is n prime?
True
Let k = 95 + -143. Let q = 1 + -6. Is k/q + (-6)/(-15) a prime number?
False
Let k be (-5425)/(-15) + (-1)/(-3). Suppose -2*g + k + 144 = 0. Is g a prime number?
False
Let h be (32/(-12))/(2/(-9)). Let z(f) = 7*f + 12. Let i be z(10). Is 4/h + i/6 prime?
False
Let v = -7 - -3. Let i = 65 - v. Is i composite?
True
Let m be 46/14 + 4/(-14). Suppose -2*d + m = c - d, -c = 4*d. Suppose k + c*k - 35 = 0. Is k a prime number?
True
Let j = 8231 - 4578. Is j a prime number?
False
Let k(v) = -v**3 - 3*v**2 - v + 1. Let l be k(-4). Let i = l + -13. Let s(g) = 3*g - 11. Is s(i) composite?
False
Suppose 4*i - 2 = -2*v, 3*i = -8*v + 3*v - 9. Let k = 33 - i. Suppose 0*b + 2*b = -3*m + 25, m - 5*b = k. Is m a composite number?
False
Suppose -3*k + 123 = -2*k - 4*n, 0 = -4*k + 3*n + 466. Is k prime?
False
Let f(k) = 133*k + 3. Let o be f(3). Suppose -2*a = -4*a + o. Let g = -118 + a. Is g composite?
False
Let q be (4/6)/((-1)/(-3)). Let f be 12 + q/(-1) + 2. Is (-2)/8 - (-2535)/f prime?
True
Let f(y) = 3*y**2 + y - 27. Is f(11) composite?
False
Let h(z) be the third derivative of 1/6*z**3 + 0 + 0*z - 71/8*z**4 + z**2. Is h(-2) a composite number?
True
Suppose w = 3*i + 47, 0*w + 2*w = 2*i + 78. Is w prime?
False
Suppose -5*j = -4*j - 3. Suppose 23 + 2 = -5*u, -j*h + 4*u = -89. Is h composite?
False
Suppose 0 = t + 1 + 2. Let o be 1*-14*t/(-6). Is o/((-3)/(-6)*-1) a composite number?
True
Is -3 - 0 - (-55 + -6) prime?
False
Let y = -73 - -50. Let w = 1 - y. Suppose 2*s = w + 14. Is s a composite number?
False
Suppose a - 3*a = -242. Is a a composite number?
True
Suppose g + 3*q + 32 = 859, -5*g - 5*q = -4095. Is g a prime number?
False
Suppose 3*a = -a + 44. Is a composite?
False
Let h be 1099/3 + (-1)/3. Let c = h + -175. Is c prime?
True
Let v(l) = l - 8. Let d(u) = -u - 1. Let a(i) = -6*d(i) + 2*v(i). Is a(6) composite?
True
Suppose 5*y - 327 = 4*y. Is y composite?
True
Let x(h) be the third derivative of -h**6/120 - h**4/12 + h**3/3 - 4*h**2. Is x(-3) composite?
True
Let j = 5 + 0. Let d be (j/(-15))/(2/(-6)). Is 2/2*(48 + d) a prime number?
False
Suppose -3*f + 979 = 2*u - 0*f, -5*f + 500 = u. Is u prime?
False
Let i = -1 + 9. Suppose 5*z = o - 3 - 1, 0 = 2*o + z - i. Suppose -218 = -o*l - 70. Is l prime?
True
Let b be (-15)/(-6)*(3 + -7). Let f be 6/(-15) - (-396)/b. Let j = f - -77. Is j a composite number?
False
Let g(o) = 6*o - 5. Let f(y) = 1. Let k = 2 + -1. Let a(m) = k*g(m) + 2*f(m). Is a(4) a prime number?
False
Is (-19062)/(-26) + 6/(-39) a composite number?
False
Let j(a) = -4*a**3 - 10*a**2 - 5*a + 23. Is j(-8) a composite number?
False
Let h be (-2)/4 + (-18)/4. Let u = 10 + h. Suppose 192 = u*o - 73. Is o a composite number?
False
Let x(g) = -g**2 + 6*g + g**3 + 0*g**3 - 3*g. Let d = 9 + -4. Is x(d) a composite number?
True
Suppose 3*x + 86 - 233 = 0. Let v be 32*(0 - 2/(-4)). Suppose p - x - v = 0. Is p a composite number?
True
Let n = 7 + -10. Is 642/(n - (-3 + -2)) a prime number?
False
Suppose 0 = 4*u - 3*u + 2. Is 106*3/(-12)*u a composite number?
False
Suppose 0 = -3*s - 19 + 7, 0 = 4*m - 4*s - 11732. Is m a composite number?
True
Suppose -5 - 3 = -4*g. Suppose 5 = g*v - 1. Suppose -v*s + 28 + 239 = 0. Is s a prime number?
True
Let u(t) = -t**2 - 3*t - 7. Let p(z) = -z**2 - 2*z - 8. Let y(k) = -3*p(k) + 2*u(k). Let a be y(0). Is a/(1 - -1) - -1 a prime number?
False
Suppose h + 8 = 3*z + 34, 22 = -3*z - h. Let u(o) = 0*o + 3*o + 11 - 2*o. Is u(z) a composite number?
False
Suppose 0 = 4*h - 3*f + 25, h + 6 = -0*f + f. Let o = h - -10. Is 1/o - (-68)/3 prime?
True
Suppose -5*n + 272 = -4*z, 3*z = -2*z + 10. Suppose p - 24 = -3*l + 7*l, -5*p + 4*l + n = 0. Is ((-4)/p)/(3/(-42)) a prime number?
True
Let z = 3 + -1. Let t be (z + -3)*(-2 + -4). Suppose t*q = -5*i + 4*q + 2519, 3*q = 3*i - 1524. Is i a prime number?
False
Suppose 0 = -2*f - 2*f - 1556. Let q = -220 + -20. Let g = q - f. Is g prime?
True
Suppose 15 = 3*j - 279. Let a be ((-6)/(-15))/(2/60). Suppose 2*x = a + j. Is x composite?
True
Let u = 80 - 53. Suppose 5*n + 51 = -29. Let b = u + n. Is b prime?
True
Let a = -71 - 389. Let u be (-6 - -4) + a/(-2). Suppose l + 3*l - u = 0. Is l a composite number?
True
Let k be (-100)/(-6)*3/2. Let a = k - 18. Suppose a = -j + 42. Is j a composite number?
True
Suppose -4*g - i + 13212 = 0, -g + 9909 = 2*g + 4*i. Is 6/4 - g/(-18) composite?
True
Let z(p) = 112*p**2 - p. Is z(1) a composite number?
True
Let s = -2220 + 4179. Is s prime?
False
Let r = 1123 + -786. Is r prime?
True
Suppose -14 = -2*o - r, 3*o + 1 - 9 = 5*r. Let c(t) = 4*t + 5 + 3*t - o*t. Is c(8) composite?
False
Let m(g) be the third derivative of g**5/5 + g**4/12 - 2*g**3/3 + g**2. Let v be m(-3). Let l = 187 - v. Is l a prime number?
True
Let l = 8402 - 5589. Is l a prime number?
False
Let c = 7 + -7. Suppose c = -3*g - 2*g + 30. Suppose -2*n = -g*n + q + 672, 0 = -4*n - 4*q + 692. Is n a prime number?
False
Let q(p) = 647*p**3 - 2*p**2 + p. Let d be q(1). Let x = d + -455. Is x a composite number?
False
Suppose 4*m - 415 = -m. Let u = m - 14. Is u prime?
False
Let x(u) = -u**3 + 16*u**2 + 24*u - 11. Is x(14) a composite number?
True
Suppose 15*n - 5*n = 17570. Is n a prime number?
False
Let r(o) = 11 + 2*o**2 + 3*o - 5*o - 6*o. Is r(6) a composite number?
True
Let k(y) = -7*y - 1. Let j be k(8). Suppose 3*f + 397 = 2*q + 2*q, 5*q - 497 = 3*f. Let b = q + j. Is b a prime number?
True
Let o = 31 + -57. Let n = -17 - o. Is (-764)/(-36) + (-2)/n a prime number?
False
Let n(c) = 4*c**2 - 7*c - 4. Let h(l) = 4*l + 1. Let a be h(-1). Is n(a) composite?
False
Let v = -9 - -16. Let u(f) = 11*f - 3. Let j be u(v). Suppose m + j = 5*m - a, 4*a = -5*m + 103. Is m prime?
True
Let q be (-1866)/21 + (-1)/7. Let k = 156 + q. Is k prime?
True
Let q = -53 - -34. Let k be (-1 + 2)*(34 - 0). Let g = q + k. Is g composite?
True
Suppose 5*l - 6730 = 5*k, 2*l - 4*k = 6*l - 5376. Is l prime?
False
Suppose -w - 2*w = -9. Suppose w*l - 240 = 9. Is l a composite number?
False
Let z(x) = x**3 - x**2 + 4*x - 7. Let u be -2 - -2 - (2 - 7). Is z(u) a prime number?
True
Let w(k) be the second derivative of -k**5/20 + 5*k**4/12 + k**3 - k**2/2 + 4*k. Is w(-3) a composite number?
False
Let b = 0 - 13. Let c = 32 + b. Is c prime?
True
Suppose d - 116 = -4*y + 5*d, -40 = -2*y - 4*d. Suppose -4*c - z = y + 12, -5*c - 37 = -4*z. Is 6/c + 502/6 prime?
True
Suppose -4*t + 109970 = 6*t. Is t a prime number?
False
Let b be 2/(-10) + (-4780)/(-25). Let u = -64 - -166. Let c = b - u. Is c prime?
True
Let b be ((-1)/(-2))/(3/162). Let j(l) = -2 + 0 - 3*l - 6*l**2 + 3 + b*l**2. Is j(2) prime?
True
Suppose 5*l - 6 - 9 = 0. Suppose 4*v = l*z + 27, 0 = -4*z + 4*v - 16 - 20. Let u(g) = 3*g**2 + 11*g + 5. Is u(z) composite?
False
Suppose s - 2*n - 1 - 28 = 0, -2*s = -3*n - 59. Is s prime?
True
Let t(v) = -1 + 129*v**2 - 2*v + 279*v**2 + 192*v**2 - 182*v**2. Is t(-1) composite?
False
Let k(j) = -j**2 - 8*j - 6. Let f be k(-6). Is 678/22 + f/33 a prime number?
True
Suppose v - 3*v + 794 = 0. Is v prime?
True
Suppose 2*v + 107 = -75. Let s = 49 + v. Let t = s - -73. Is t composite?
False
Suppose 1301 = -4*n + 185. Let q = n - -548. Is q a prime number?
True
Let h(o) = 3*o**2 + 7*o - 9. Suppose 5*c = 2*c + 3. Let j(r) = r**2 + 1. Let n(t) = c*h(t) + 4*j(t). Is n(-6) a composite number?
True
Let y = -19 + 10. Let s be (-1)/(-3) + (-33)/y. Suppose 4*v + 107 = 5*m, 3*m + s*v = -m + 100. Is m a composite number?
False
Is 6387/5 + (-12)/30 a composite number?
False
Let n(d) = 2*d - 8. Let x be n(6). Is x/18 + 1681/9 a composite number?
True
Suppose r = -r + 3438. Is 1/2 - r/(-6) a composite number?
True
Is 158*5/(-40)*-28 a prime number?
False
