8 = 5*v. Suppose -p = 2*p - v. Is p composite?
False
Let s(d) = 2*d - 3. Let y be s(3). Suppose -6*o + y*o = 0. Suppose -3*c + 7*c - 356 = o. Is c prime?
True
Suppose 4*t = -4*o + 28, 5*o + t - 14 = 5. Suppose -a + 5*g = 11 - o, a + 4*g - 10 = 0. Suppose -a*f + 140 = 2. Is f a prime number?
False
Let b(v) = 2*v**2 - 5*v + 10. Let x(d) = -4*d**2 + 10*d - 19. Let z(h) = -7*b(h) - 4*x(h). Suppose 79 = 9*m + 16. Is z(m) a prime number?
False
Let b = -8 - -15. Let r be (-6)/(-9) - b/(-3). Is ((-14)/4)/(r/(-6)) prime?
True
Suppose -11*o = -21139 - 8770. Is o a prime number?
True
Let g = 1185 + -466. Is g prime?
True
Suppose -5*j - 784 = -4*v + 208, 4*v = 2*j + 992. Is (v/12)/(4/6) prime?
True
Suppose -p - 20 = -3*p. Suppose -3*m - 4 = -p. Suppose -b = -m*b + 65. Is b prime?
False
Let s(p) = -5*p**3 - p**2 + p - 1. Suppose -3*h + 16 = -0*h + t, -4*t = -5*h + 21. Suppose -b - 4*b - h = 5*i, -8 = 3*i - 2*b. Is s(i) a prime number?
False
Suppose -2*j - 6 - 194 = 0. Let f = j - -258. Is f prime?
False
Suppose -4*x = 5*i - 5608, -3*x + 2*i + 4241 = -3*i. Let k = -985 + x. Is k a prime number?
False
Let r be 0/((-2 - -3)*1). Suppose r = -4*o + 47 + 165. Is o composite?
False
Let r = 753 + -250. Is r a prime number?
True
Let g = -3 + 6. Let k = 62 + g. Suppose k + 59 = 4*f. Is f prime?
True
Let m(w) = 17*w**2 + 2*w - 4. Is m(-3) a prime number?
False
Is (-59)/(-3 + (-28)/(-10)) prime?
False
Let v(o) = -2*o**2 + 2*o + 955. Is v(0) a composite number?
True
Let f(q) = 189*q**2 - q + 1. Let c be f(1). Let u = c - 62. Is u a prime number?
True
Is (3 + -546 - -2)*-1 composite?
False
Suppose 14 = -g - 11. Suppose -5*q = -o + 11 - 95, 5*o = -2*q - 285. Let c = g - o. Is c a composite number?
True
Is (-8 - -11) + (1 - -2718) a prime number?
False
Suppose 0 = 2*p + 18 - 96. Is p prime?
False
Let z = 8 + -7. Let v(g) be the second derivative of 34*g**3/3 - g**2/2 + g. Is v(z) prime?
True
Suppose 0 = -z + 4*d + 643, 0*d + 4*d = 5*z - 3135. Is z a prime number?
False
Suppose -2*i - 25 = -5*q, 0 = -q + i + i + 13. Suppose -5*g + 563 = -2*t, -g - 202 = -q*g - 5*t. Is g a prime number?
False
Let w = -5 + 1. Is 2/w - (-3852)/8 prime?
False
Is 734 + 6/(-4)*-2 a prime number?
False
Suppose -4 = -0*i - 2*i - 2*l, -4*l = -20. Let a = i - -2. Is 27 - ((-1)/a + 1) composite?
True
Suppose -2*d - 4*h + 1309 = -h, -1299 = -2*d - h. Is d composite?
False
Let g(q) = 3*q**3 - 2*q**2 + 3*q + 1. Let r(z) = 5*z**3 - 5*z**2 + 6*z + 3. Let c(h) = 9*g(h) - 4*r(h). Is c(2) a prime number?
True
Let k = 2641 + -1524. Is k prime?
True
Suppose 5*a = -15, 0*m - m + 774 = 5*a. Suppose -m = -3*c - 0*c. Is c a prime number?
True
Is (-2)/4 + 33230/20 a composite number?
True
Let m(c) = 154*c**2 + 3*c - 1. Let d be m(2). Suppose -3*x + 2*n + d = 0, 2*n = -x + 147 + 68. Let l = -46 + x. Is l prime?
True
Suppose 2*k = -0*k - 4*h + 342, 823 = 5*k + 2*h. Is k composite?
False
Let p(n) = n**3 - n. Let s be p(-1). Suppose -y = -s*y - 3. Is 9*2*y/18 prime?
True
Let d = -66 - -155. Is d prime?
True
Let m = -56 + 139. Is m a prime number?
True
Suppose -q = -4*o, 3*q + 5*o + 15 = 8*q. Suppose 16 + 8 = -q*v. Is (357/v)/((-1)/2) composite?
True
Suppose -607 = -2*f + 157. Is f composite?
True
Let q(d) = 3*d + 10. Is q(7) prime?
True
Let v(k) = -k**3 + 2*k + 1273. Is v(0) prime?
False
Suppose -5 = -5*f, -4*f + 2 = -4*w - 2*f. Suppose 3*m + 0*m = w. Suppose m*n + 11 = n. Is n a prime number?
True
Let z(o) = -9*o**3 + 2*o**2 - 4*o + 2. Let l be z(2). Let w be 3/(5 - -1)*l. Let u = -4 - w. Is u composite?
False
Let v = -63 + 117. Let a = -23 + v. Is a prime?
True
Let x(q) = -q**3 - q + 14. Suppose z = -3*z. Let o be z/((0 - -1)*-2). Is x(o) a prime number?
False
Let l(y) = 7*y**2 + 65 - 3*y**2 - 3*y**2 + y. Is l(0) a composite number?
True
Let r(d) = d**2 - 7*d + 3. Let m be r(5). Let g be m + 9 - 292/(-2). Let l = g - -1. Is l a prime number?
True
Suppose -10 = -10*d + 5*d. Suppose b = -3*b - d*h - 198, -12 = -4*h. Let r = 72 + b. Is r a prime number?
False
Let y(r) = -r**3 + 17*r**2 - 19*r - 15. Is y(14) a prime number?
True
Let n be -16*1 - 0/(-2). Let d be 23/(-2) - (-9)/6. Let j = d - n. Is j composite?
True
Is 1 + 353 + (-2)/2 prime?
True
Let a(u) = 0*u + 2*u + 2*u + 2 - 5*u. Let y be a(1). Suppose -4*m - 4*c + 308 = 0, c + 3 = y. Is m prime?
True
Suppose -5*m = 5*k - 45, -5*k - 5 = -m - 4*m. Let j = 0 - k. Is (-355)/j - 4/(-16) prime?
True
Suppose 11*r + 2108 = 38815. Is r a composite number?
True
Let n = 598 - 298. Suppose -i = -41 - n. Is i composite?
True
Let g = 1113 - -2480. Is g a composite number?
False
Let g be ((-20)/(-6))/(4/(-6)). Is (1 - 20)/(4 + g) a prime number?
True
Is -85*(-4 + (0 - -3)) composite?
True
Suppose 0*q = -q + 3*g + 12, 3*q - 4*g - 21 = 0. Is 1/(q - (-316)/(-106)) composite?
False
Let d be ((-20124)/(-30))/(3/20). Suppose 3347 = -4*v + 7*v - 4*q, 4*v - d = -4*q. Is v prime?
True
Let i = -2 - -5. Suppose -2*y + 6*y + i = s, -4*s + y = -27. Is s a prime number?
True
Let w(k) = 2*k**3 - k + 1. Let q = -1 + 4. Suppose -q = -x - 1. Is w(x) prime?
False
Let j(o) = o**2 - 12*o + 14. Let f be j(11). Suppose 0 = -0*p - f*p + 72. Suppose -v + p = -50. Is v prime?
False
Suppose 2*w = -z + 1350, 4*w - 3*z = 1670 + 1050. Is w composite?
False
Suppose -3*r = 2325 - 7290. Suppose 6*l - r = l. Is l prime?
True
Suppose -955 = -5*z - 0*z. Is z a prime number?
True
Let r(t) = t**3 + 6*t**2 - 2*t - 9. Let f be r(-6). Suppose 140 = f*b + b. Is b composite?
True
Let z = 209 - -200. Is z a prime number?
True
Let a(u) = 4*u**3 - u. Let i be (0 + (-2)/2)*-1. Let o be a(i). Suppose o*j - j = 158. Is j prime?
True
Let v(j) = j**2 + 5*j - 11. Let i be v(-10). Is (3 + -2)/(1/i) a prime number?
False
Suppose -2*p + 650 = -764. Is p a prime number?
False
Suppose 12*i - 5*i = 20741. Is i a prime number?
True
Let i = -6 + 15. Let f be ((-42)/i)/(4/6). Let o(q) = q**3 + 9*q**2 + 8*q - 7. Is o(f) prime?
False
Let a be 28 + (-8)/(-6)*3. Suppose -61 = -3*v + a. Is v a composite number?
False
Let i = -3143 + 5064. Is i a prime number?
False
Let f(k) = -16*k. Let a be f(-4). Suppose 4*m - 204 + a = 0. Is m a prime number?
False
Let n be (-2820)/(-28) - (-4)/14. Suppose 5*v - 4*t = -n, 0*t + 82 = -4*v + 2*t. Is (1 + 16)/((-3)/v) prime?
False
Suppose -4*c + 9 = -c. Suppose -6*w + c*w = -9. Suppose 5*t + 2*m - 5 = 268, 2*t = w*m + 113. Is t a composite number?
True
Let q = 34 - 20. Suppose 4*l + 70 = 5*h - l, -h + 2*l = -q. Suppose -3*o + h + 43 = 0. Is o a prime number?
True
Let h = -9 + 13. Suppose h*z - 231 = 229. Is z composite?
True
Let l be (1 - 0)/(0 + -1). Let d = -1 - l. Is 146 - (2 - (1 + d)) prime?
False
Suppose -k + 4 = 1. Let y be (k/9)/(1/6). Suppose 180 = 5*p - i, y*i = -3*p - 0*i + 95. Is p a composite number?
True
Suppose g + 2*m - 46 = 0, 0 = 4*g + 6*m - m - 172. Suppose 3*q - r + 10 = 172, 5*r = -q + g. Is q prime?
True
Let n(y) = -3*y**2 - 9*y + 10. Let j be n(-8). Let g = -43 - j. Is g a composite number?
False
Let r be ((-111)/(-5))/((-3)/(-15)). Let s = r - 76. Suppose 0 = 2*b + 2*u - 32, 4*b + u = 2*b + s. Is b prime?
True
Suppose -5*o - s = -0*s - 747, -5*o + 741 = -2*s. Is o a prime number?
True
Suppose 5*o - 208 = 3*o. Let g = 120 - 69. Let n = o - g. Is n a composite number?
False
Suppose -4*i - 192 + 2868 = 0. Is i a composite number?
True
Suppose -k = -0*k - 113. Is k composite?
False
Let t = -74 + 219. Is t composite?
True
Let r(v) = v**2 - 4*v + 2. Let q(b) = 7*b - 4. Let c be q(3). Let k = c + -11. Is r(k) a composite number?
True
Let b be 6/1 - (-2)/(-2). Suppose b*m = 4*h + 1035, -5*h + 2 = -23. Is m a composite number?
False
Let h(b) = -b**3 - 2*b**2 + 3. Suppose 2*w = 4*w + 8. Is h(w) a composite number?
True
Let r(b) = b + 389. Is r(0) a composite number?
False
Suppose 0 = -3*n + 4*n. Suppose n = -4*k + 3*k - 147. Let g = k - -226. Is g a composite number?
False
Let b(k) = -k. Suppose -2 = z + 4. Let w(i) = i**2 - 7*i - 8. Let r(u) = z*b(u) + w(u). Is r(-6) a prime number?
False
Suppose -5*s - 3*m + 660 = 0, 2*s - 137 = m + 116. Is s a composite number?
True
Let g be (1/(-3))/((-2)/498). Suppose g + 31 = 2*v. Let t = v + -10. Is t prime?
True
Let q = -302 - -423. Suppose 2*x - 89 = q. Let h = x + -58. Is h prime?
True
Let w = 820 + 274. Is w/3 - 2/(-6) a composite number?
True
Let q