0) - 8130/(-50) composite?
False
Suppose -z = -3*a - 902, -4*a + 3528 = 3*z + z. Is z a prime number?
True
Let q(s) = -s**2 + 11*s + 1. Suppose 2*w - 2*r - 14 = 0, 4*w + 2*r = -3*r + 46. Is q(w) a prime number?
True
Suppose -f = 2*p - 1043, -4*f + 5*p = -4994 + 783. Is f prime?
True
Let n(u) be the first derivative of 5*u**6/72 + u**4/24 + 2*u**3/3 + 2. Let x(k) be the third derivative of n(k). Is x(1) composite?
True
Let o(z) = z**3 + 4*z**2 - 6*z - 6. Let r be o(-5). Is 47/(-2)*r*6 a prime number?
False
Is 4*(-4 + 31/4) prime?
False
Suppose 0 = 4*h + 4221 - 477. Is h/(-20) + (-1)/(-5) a composite number?
False
Let o = -182 + 108. Let d = 159 + o. Is d a composite number?
True
Suppose 2*v = 8, 0 = -3*p - 0*p + 3*v - 30. Let n = p - -6. Is -2 - (n - -34)/(-2) prime?
False
Let l = 2 - 5. Let x = 0 - l. Is x a composite number?
False
Suppose 39 - 851 = -4*w. Is w composite?
True
Let j be 33 + 9/(-3) + 3. Suppose 0 = -2*x + 7 - 17, -4*r = -x - j. Is r composite?
False
Let c(f) = 158*f + 10. Let g be c(7). Suppose 16 = -4*o, -o = 5*a - 0*o - g. Suppose -p = 4*d - a, -17 = d + 5*p - 92. Is d prime?
False
Suppose 4*l + 5*i = 317, 5*l + i = 4*i + 424. Let g = l + -6. Is g composite?
True
Let x(c) = -c**3 + 3*c**2 + 5*c + 7. Let l be x(-5). Suppose 2*w = -0*w + l. Is w a prime number?
False
Suppose -4*j + 5*j = 4*w - 20, -3*w + 15 = 2*j. Suppose k = w*f + 15 + 11, -4*f + 4*k - 24 = 0. Let r(o) = -o**3 - 2*o**2 + 7*o + 7. Is r(f) composite?
False
Let a be 6/(-21) + 1360/7. Suppose 3*w - a = w. Is w a composite number?
False
Let n = 16 + -64. Let s = 85 + n. Is s a composite number?
False
Is 179/(-4*(-4)/16) a prime number?
True
Let h(t) be the first derivative of -t**4/4 + 2*t**3 + 5*t**2/2 - 7*t - 2. Let m be h(5). Suppose m + 222 = x. Is x composite?
True
Let n(s) = -18*s - 1. Let z be n(-7). Let d(o) = -o**2 + o + 2. Let q be d(2). Suppose 4*x + z = 5*k, -4*k + q*x = -5*x - 109. Is k a prime number?
False
Suppose 2*n - 1079 = 359. Is n prime?
True
Suppose 3 = -3*r, 0*i + 3*r = 3*i - 1014. Is i composite?
False
Suppose w = n - 4, n = -3*w + 7 - 19. Suppose 5*q - 546 - 424 = n. Is q a prime number?
False
Suppose 5*x = 5*q + 205, 4*x + 0 = 2*q + 160. Is x a prime number?
False
Suppose 0 = 4*u + 2*m - 58 - 642, 4*m + 16 = 0. Is u a prime number?
False
Let y be 3 + -3 - 0 - -4. Suppose -y*t = t - 190. Is t composite?
True
Suppose -1685 = -5*g + 3*t, 0 = -0*t + t. Is g a prime number?
True
Let u be 15/2 + 6/(-4). Let q = u + -10. Is 92 - 2*(-6)/q prime?
True
Is 4179/6 - 6/4 a prime number?
False
Let q = 13 + -120. Let i = 222 + q. Is i a composite number?
True
Suppose n + 5*i = -1214, i = 4 - 1. Let q = 1764 + n. Is q prime?
False
Suppose 0*l - 3*l + 993 = 0. Is l a composite number?
False
Let w = 10 - 14. Let s be 16/6*(-6)/w. Suppose -g = s*g - 50. Is g a prime number?
False
Let s be 0/3 - 10 - -2. Let v = s + 15. Is v composite?
False
Let y be ((-2)/(-2))/(-1) + 5. Suppose -y*z + 8 = -2*z. Is z - -64 - (-2 - -1) composite?
True
Let n = 3618 - 2359. Is n a prime number?
True
Let f be 7*(-2 - (-3 + 2)). Let j = f + 18. Suppose 0*v + j = v. Is v a composite number?
False
Is 5/(-10) + (-4041)/(-6) composite?
False
Let z be -1 + (-2)/((-6)/(-9)). Let f = -4 - z. Suppose -14 = -j - f*j. Is j a prime number?
False
Let r(q) = -q**2 - 9*q - 3. Let v be r(-7). Suppose 3*j + v - 158 = 0. Is j prime?
False
Suppose 0 = s - 2*s - 9. Let u = s + -2. Let m = 21 + u. Is m prime?
False
Let r(p) = -1 + 3*p**2 - p**2 - p - 4*p**2 - p**3. Let l be r(-2). Let b(f) = 20*f**2 + 1. Is b(l) prime?
False
Let v(y) = 0 + 25*y + 4 + 6*y. Let m be v(4). Is m/3 - (-1)/3 a prime number?
True
Suppose -4*p = 3*y - 69, -5*p + 20 = -4*y + 81. Let g(r) = y - 2*r + 7 + r. Is g(0) a prime number?
False
Let f(x) = 23*x - 4. Suppose -1 = -5*s + 14. Is f(s) prime?
False
Let s(f) = 2*f**2 - 3*f + 3. Is s(5) a composite number?
True
Suppose 0 = -74*d + 69*d + 8015. Is d composite?
True
Suppose o + 0*s + 1 = -4*s, -3*s = 4*o - 9. Suppose -2*d = -o*d. Suppose d*v - 3*v + 141 = 0. Is v prime?
True
Suppose 3*x + 402 = 4485. Is x a composite number?
False
Suppose 187 = 5*q - 378. Is q a prime number?
True
Suppose 5*i - 962 + 187 = -4*j, -4*j + 5*i + 745 = 0. Let r = -107 + j. Is r a composite number?
False
Suppose -4*n - 2*h + 5 = -77, -4*h - 89 = -3*n. Is n a composite number?
False
Suppose -21*h = -19*h - 2410. Is h a composite number?
True
Suppose -2*u + 3*c + 9 = -2*c, -3*c = -2*u + 11. Suppose -3 - u = 5*y. Is (-3092)/(-20) - y/5 composite?
True
Let f(i) be the first derivative of -89*i**2/2 + 2*i - 9. Is f(-3) a prime number?
True
Let r be (0 - 1)/((-3)/21). Let y = 9 - r. Suppose 4*o = y*o + 66. Is o composite?
True
Let z be (-6)/(-33) + (-40)/(-22). Suppose 5*m - 9 = -z*u, 5*u = u + 2*m + 30. Is 835/u - (-2)/(-7) a prime number?
False
Let o(r) = 3*r - 4. Let b(g) = -4*g + 4. Let s(d) = -6*b(d) - 7*o(d). Let n(k) = k**2 + 3*k + 1. Let q be n(-4). Is s(q) composite?
False
Suppose 0*c = -4*c + 220. Is c a prime number?
False
Let g be -3 - -67 - 2 - 0. Suppose 7*d + 4*k = 4*d + g, 2*d = 4*k + 68. Is d composite?
True
Let m(y) = -128*y**3 - 1. Let x = -11 + 7. Let a be 2/(3/6*x). Is m(a) prime?
True
Suppose 0 = -t + 166 + 2541. Is t a prime number?
True
Let t be 1/2*(-6)/9*3. Let p(g) = -7*g - 9*g - 33*g. Is p(t) a prime number?
False
Let i = -7 - -3. Let q = i - -4. Suppose -52 = -4*o + 6*k - 2*k, q = 4*o + k - 57. Is o composite?
True
Is (-1290)/(-50) - (-2)/10 prime?
False
Suppose 60 = 3*y - 0*y. Suppose -y = 5*s, -2*s + 466 = 2*o - 0*o. Is o composite?
True
Suppose -2*f + j = -0*j - 146, -4*f + 4*j = -284. Suppose -f = -3*t + 252. Is t a composite number?
False
Let l(m) = -m**3 + 3*m**2 + m + 1. Let i be l(3). Let q = -2 + i. Suppose -q*s + 21 = 5*p, 3*s + 2*s - 5*p - 140 = 0. Is s a prime number?
True
Let b(h) = 30*h**2 + 4*h + 3. Is b(4) a composite number?
False
Is (-1)/(2385/1193 + -2) prime?
True
Let q(f) be the second derivative of -f**5/20 - 2*f**4/3 - 2*f**3/3 - f**2/2 + f. Let c be q(-4). Let z = c + 86. Is z prime?
True
Suppose -3*b = 2*z - 1, -2*b - 1 = -b + 2*z. Is (-3)/b + 976/8 a composite number?
True
Let x = 86 - 18. Suppose z + 13 - x = 0. Is z prime?
False
Let i be (-1)/4 + 506/8. Let g = 25 - i. Is g/6*(-5 - -2) a composite number?
False
Let w(b) = 45*b**2 + 2*b - 2. Let u be w(2). Let i = u - 87. Is i a prime number?
False
Suppose -25 - 8 = -2*h - 5*r, 7 = 3*h - r. Let y = 26 - 26. Suppose y = -v - z - 0*z + 68, -h = 4*z. Is v a prime number?
False
Let d(u) = -48*u**2 + 3*u - 6. Let f be d(-6). Let z = f + 2669. Is z a composite number?
True
Let m(c) = 4*c**2 + 1. Let l be m(-1). Suppose s - l*h = -19 - 0, -h + 23 = 3*s. Suppose s*o = o + 335. Is o a composite number?
False
Let d = 1493 + -708. Is d a composite number?
True
Suppose 6*x = 5*x + 4. Suppose -x*s - 21 = -465. Is s a prime number?
False
Let m(v) be the first derivative of -v**2/2 + 8*v + 3. Is m(-6) a composite number?
True
Suppose 4*u = -5*s + 3*s - 8, u - 3*s - 5 = 0. Let p(v) = -10*v. Let f be p(u). Suppose 2*x - f = x. Is x a prime number?
False
Suppose o = -2*z + 17, 5*o - 107 = o + 5*z. Is o a composite number?
False
Let c = -32 - -196. Let o = -322 + c. Let q = o + 241. Is q a composite number?
False
Suppose 5*g - 4*g = -2. Let n be (g - -6)*-13 + -1. Let a = n + 120. Is a a prime number?
True
Let w(v) be the third derivative of -v**6/60 - v**5/15 + v**4/6 + v**3/2 + 5*v**2. Let u = 5 - 9. Is w(u) a composite number?
True
Let f(g) = -3*g**2 + g**3 - 15*g + 1 + 9 - 8*g**2 + 2*g. Let x be f(12). Let a = x + 145. Is a composite?
True
Let a be (4 - 1)*20/15. Let w be 3/6 + 574/a. Suppose 5*z - w = -2*o, 5*o = -0*z - z + 337. Is o prime?
True
Is ((-127)/2)/((-25)/350) composite?
True
Let l(s) = 8*s**2 - 2*s + 1. Let j be l(1). Let a = 3 - j. Is 163/5 + a/(-10) composite?
True
Let n be -2 + ((-471)/3 - 0). Let w = -113 - n. Suppose 3*x - 32 = -5*v, -2*x - 18 = 2*v - w. Is x prime?
True
Let k be 48 + -4 + 5 + 1. Let r = k - -83. Is r prime?
False
Let b = -23 - -21. Let y(l) = -16*l**3 - 2*l**2 + 2. Is y(b) prime?
False
Let v be (-6)/(-8) - (-18)/8. Suppose d - 2*a - 3*a + v = 0, 2*d - 8 = -4*a. Suppose 3*k + d*k - 463 = 4*f, -2*k = -f - 184. Is k a prime number?
False
Suppose 2*d - 1109 = -5*f, -2*d - 1101 =