e number?
False
Is 9/15 - (0 + 17632/(-5)) a composite number?
False
Let d = 178 - 51. Is d a composite number?
False
Let n(s) = 4 + 7*s + 4*s**2 - 2*s**2 - 3*s**2. Let u be n(7). Suppose 20 = -u*i, i = -3*x - 2*x + 180. Is x composite?
False
Let b = 58 - 21. Suppose -4*q + 21 = -5*x - 19, 5*q = -x - b. Let p = x + 33. Is p composite?
True
Is 1570 - ((-1 - -5) + -1) a composite number?
False
Let a = 1738 - 1151. Is a a composite number?
False
Suppose -2*l + 0*l = -88. Let q = l - -13. Is q a prime number?
False
Let d(i) = 60*i + 10 - 109*i + 3. Is d(-6) prime?
True
Let b(w) = 2*w**3 - 14*w**2 + 9*w. Is b(11) a composite number?
True
Let p(a) = -3 - a + 2 + 2*a. Let r be p(5). Suppose 2*j = r*m - 130, -3*m + 97 = -5*j + 3. Is m a composite number?
True
Let y = 2196 - 1375. Is y a composite number?
False
Let u(m) be the first derivative of -8*m**2 + 7*m - 8. Is u(-3) composite?
True
Let t(r) = -6*r. Let w be t(-1). Suppose -3*o - 3*v = -w*o + 45, 3*o + 4*v - 10 = 0. Is o a composite number?
True
Let p(v) = -11*v + 5. Let k be (-1 + 0)*1*5. Let q be p(k). Let z = 23 + q. Is z a prime number?
True
Let o be 74/8 + (-3)/12. Let s(q) = -q - 1. Let p be s(-5). Suppose p*z = -u + o + 18, -34 = -5*z - u. Is z a prime number?
True
Let d(i) = -9*i + 5. Let x be d(-5). Let s = 41 + x. Is s a composite number?
True
Suppose 3*v = 1550 + 238. Is (4/8)/(2/v) prime?
True
Let g = -15 + 11. Let r be g/6 - (-48)/18. Suppose r*y + y = 69. Is y a prime number?
True
Let w(b) = -b**2 - 15*b + 9. Is w(-14) prime?
True
Let u(d) = -80*d - 3. Is u(-1) a prime number?
False
Let i be (-42)/35 - 2/(-10). Let k = 4 + i. Suppose -k*s + 31 = f - s, -2*f + s = -77. Is f prime?
True
Suppose 2*t + 2 = 6. Suppose -o = 2*s - 726, 4*s - t*o = 1565 - 97. Is s a prime number?
False
Suppose j - 5 = i + i, i = j - 3. Is -3 + 133 - (4 - j) composite?
False
Let x(n) = -3*n**3 - 2*n - n**2 + 5 - 8 + 2*n**3. Suppose t - c = 0, -3*t = 3*c + 2*c + 32. Is x(t) a composite number?
False
Suppose -2*o = 2*z - z + 145, 0 = -5*z - 15. Let b = 8 - o. Let t = b - 44. Is t a prime number?
False
Let s(v) = v**3 + 9*v**2 - 7*v + 9. Let f be s(-9). Let p = 0 - 3. Let i = p + f. Is i a composite number?
True
Is 4/26 - (-20713)/143 a composite number?
True
Let j = 8 + -11. Let n be 15/10*(-8)/j. Suppose -n*r - r = -265. Is r a composite number?
False
Let p = 2113 - 1349. Suppose -11*a + 7*a = -p. Is a prime?
True
Suppose 3*p + 0 - 9 = 0. Suppose -9 = -p*u + 60. Is u a composite number?
False
Is (5*2 + 1)/(8/88) composite?
True
Suppose a + 5 = 1. Let r(j) = 3 + 2*j - 15*j + 0. Is r(a) prime?
False
Suppose -3*r + 456 = -7*r - 4*b, 5*r + 520 = 5*b. Suppose -5*y + 4*m = -936, 377 = 2*y - 0*y + m. Let g = y + r. Is g a prime number?
True
Is (2 - 1)/(3/1401) prime?
True
Suppose m = 5*m - 24. Let q(a) = -2*a**2 + 6 + 4*a**2 + m*a - 4 + a**2. Is q(-4) prime?
False
Let l(u) = 3*u**2 - 7*u - 9. Is l(7) composite?
False
Suppose 3*r + 2208 = 3*a, -3*a - r - r = -2223. Is a prime?
True
Let x be (2 + -167 + 0)/1. Let d = -38 - x. Is d a prime number?
True
Let f = 69 - -146. Is f composite?
True
Is (-88)/(-1) - (10 - 9) a composite number?
True
Let f = 1 + 1. Let c = 6 - f. Suppose c*h - 138 = 178. Is h a composite number?
False
Suppose n + 501 = 5*p, 2*p + 2645 = -5*n - p. Let i be (n/8)/((-2)/8). Let r = i + -136. Is r a composite number?
False
Let w(u) = -34*u - 21. Is w(-11) composite?
False
Suppose -2*y - 285 = 3*y. Is 2*1/((-6)/y) a prime number?
True
Let l be (-3)/15 - (-52)/10. Is (-6 + l)*(-1 + -336) prime?
True
Is (-2)/(-6) + 5728/6 prime?
False
Suppose -4*j = -3*p + 791, 2*p - j = 3*p - 259. Suppose 2*q = -8, -3*t - 4*q + p = -7*q. Is t composite?
False
Suppose -2*q + 12 = -3*d + 2*d, 4*d = 2*q - 24. Suppose -q*r + 0*r = -712. Is r composite?
True
Let d(i) = i**3 - 6*i**2 + 2*i - 8. Let q be d(6). Suppose 0 = -q*l + 9*l - 110. Is l prime?
False
Let a be 7/(8/(-10) + 1). Suppose -2*u + 152 = 4*l, 3*u + 49 = 2*l - a. Is l composite?
True
Let o(v) = -v**3 - 4*v**2 + 4*v + 1. Let l be o(-6). Let q = -77 - -112. Let m = l - q. Is m a prime number?
False
Let d = 176 + -105. Is d prime?
True
Let w(u) = 96*u + 11. Is w(13) prime?
True
Is 43*4/((-4)/(-3)) composite?
True
Let w(d) = 2*d**3 - d**2 + 1. Let m be w(1). Suppose m*v - 4 = -14, -90 = -5*n - 3*v. Is n prime?
False
Let t(i) = 4*i - 5*i - 7 + 3*i. Let k(x) = -x + 14. Let u be k(7). Is t(u) prime?
True
Let j(c) be the third derivative of -c**6/120 - 2*c**5/15 - c**4/24 - 7*c**3/6 + c**2. Let b be j(-8). Is b/(-4) - 141/(-4) composite?
True
Let u be -2 - (-9 - 1 - 1). Let x(k) = k**3 - 10*k**2 + 9*k. Let z be x(u). Is 7/(-2)*(z - 14) composite?
True
Let z(h) = 30*h - 9. Let n(f) = -8*f**2 + 2*f - 1. Let b be n(1). Let o be z(b). Let a = 410 + o. Is a a composite number?
False
Is (-9363)/(-6) + -4*1/(-8) a composite number?
True
Suppose 2*d = 3*d - 3, -2*y = 5*d - 283. Suppose -y = -3*f + f. Is f composite?
False
Let a(b) = -474*b - 7. Is a(-4) a composite number?
False
Let a = 12 + -6. Suppose 5*u = a*u - 58. Is u composite?
True
Suppose f + 440 = 5*v, 4*f - 465 = v - 6*v. Is v composite?
False
Let k be (-25)/(-5) - 9/3. Suppose -182 = -3*s + k*v, -s + 0*v = 4*v - 70. Is s a prime number?
False
Let r be (-10)/20*-1*20. Suppose 4*z + k = -62, -23 - 9 = 2*z + k. Let w = r - z. Is w a prime number?
False
Suppose 5*s - 1 - 14 = 0, -2*x - 2*s + 24 = 0. Let g(r) = 2 + 3*r + 1 + 2*r**2 - x*r - 6. Is g(-4) composite?
False
Let b(i) = i**3 - 3*i**2 - 2*i - 5. Let n be b(4). Suppose -4*g = g - n*l - 30, 4*g - 5*l = 37. Suppose 4*h + x = 135, h - 2*x - 60 = g*x. Is h a prime number?
False
Let m(j) = 21*j**3 - 2*j**2 + 2*j + 7. Is m(3) prime?
False
Let l(s) = s**2 - 8*s - 5. Let w be l(8). Is (-231)/w + 7/(-35) prime?
False
Let l(c) = -c**3 + c**2 - c - 169. Let y be l(0). Let t(d) = 20*d + 30. Let n be t(-6). Let f = n - y. Is f prime?
True
Let u be 1/(-2 - 667/(-333)). Suppose -2*t - t + u = 0. Is t prime?
False
Suppose 9166 = -6*t + 8*t. Is t a composite number?
False
Let c(y) = y**3 - 4*y**2 + 4*y + 3. Let z = 14 - 9. Let h be c(z). Let d = -27 + h. Is d a prime number?
False
Suppose -3*q = -13 - 14. Suppose -16 - q = -5*s. Suppose 25 = 3*k + 4*g, s*k = 5*g + 27 + 38. Is k prime?
True
Suppose 0*t = 10*t - 4490. Is t a composite number?
False
Let i(y) = -2*y + y - 3*y**2 + 12*y**2. Is i(-1) prime?
False
Let h be (-54)/(-24) + 3/4. Suppose 0 = h*n - 64 - 14. Suppose -4*p = 2*i - n, -2*p - 39 = -2*i - i. Is i a prime number?
True
Let c(k) = 23. Let r(o) = -o - 1. Let h(n) = -c(n) - 23*r(n). Is h(1) a prime number?
True
Let c(v) = -10*v - 21. Is c(-8) composite?
False
Let a = 5 + -2. Suppose 0 = -2*n + 5*m - 20, -a - 7 = 4*n + 5*m. Let y(z) = -17*z + 4. Is y(n) composite?
False
Let u = -14 + 6. Let j be -1 + 4/(u/(-378)). Suppose -10 = 2*o - j. Is o a composite number?
False
Let u = 6 - 5. Let x be -62*7/(-2) - u. Suppose -2*v - 2 = 0, 2*d + 2*d + 4*v - x = 0. Is d composite?
True
Suppose 3*g - 6*g = 0. Suppose 3*j - t = 2*t + 414, 5*j + 2*t - 725 = g. Is j prime?
False
Let z be ((-6)/(-2) - 3)/3. Suppose z*r - 2 = -r. Suppose -q = -r*q + 46. Is q a composite number?
True
Let c(s) = s**3 - 6*s**2 + s - 9. Is c(8) a prime number?
True
Let z = 22 - 12. Suppose 4*v - l - 467 = -4*l, 0 = -2*l + z. Let n = -60 + v. Is n prime?
True
Let s(j) = j**2 - 10*j - 13. Is s(-12) a composite number?
False
Let o be 29*(1 - 6/3). Let l = o + 21. Let f = 1 - l. Is f composite?
True
Suppose -v = 3*i - 104, 37 = i + 2*v + 4. Suppose -2*x = i - 205. Is x a prime number?
False
Suppose 0 = 4*i - 2*i. Is (-3)/((-3)/10 + i) prime?
False
Let s be (3/6)/((-1)/(-6)). Suppose -5*g - 483 = -s*v, 3*v - 483 = 2*g - 0*g. Suppose -5*y + v = z, -2*y + 5*z + 51 + 35 = 0. Is y a composite number?
True
Suppose -6*g = -67 - 719. Is g prime?
True
Suppose q = -35 + 258. Is q a composite number?
False
Let j = 447 - 47. Let o = j + -167. Is o prime?
True
Suppose -5*j = -15, -5*b - 2*j = -6*j + 12. Suppose b = 5*n - 0 - 20. Is (n + -1)/((-2)/(-10)) prime?
False
Let x = 5 - 8. Let v(z) be the third derivative of -z**4/24 + 3*z**2. Is v(x) prime?
True
Suppose 0 = -4*j + 906 + 722. Is j a composite number?
True
Let n be 2/(-7) - 410/35. Let x = 24 + n. Let b = 49 - x. Is b prime?
True
Let f(t) be the first derivative 