 number?
True
Suppose 3*l - 2*l = 5*k - 58, -4*k = l - 50. Let p = k - 6. Is p a prime number?
False
Suppose -a + 173 = -4*z, 4*z + a + 121 = z. Let o = z - -191. Is o a prime number?
True
Let z(c) = c**3 + 7*c**2 - c - 1 + c - 3*c. Let f be z(-7). Suppose 3*k - k = f. Is k a composite number?
True
Let s(p) = 3*p**2 + 4*p - 7. Let u(g) = g + 4. Let d be u(-3). Let l be d/(-3) - 17/3. Is s(l) composite?
True
Let x(t) = 0*t**2 - 6*t + 3*t**2 - 4*t**2 - 2 + 4. Is x(-5) a composite number?
False
Let j(u) = 22*u**2 + 3. Let s be j(-3). Let t = -88 + s. Is t composite?
False
Let r be 3 - (1 - (-246)/3). Let u = r - -115. Is u a prime number?
False
Suppose 0 = 2*b - w + 248, -2*b - 3*w + 33 = 265. Let j = 207 + b. Is j a composite number?
True
Let r = -337 - -744. Is r a prime number?
False
Suppose 5 = -0*h - h + 2*j, h - 5*j + 14 = 0. Is h/(2/56) - 2 a prime number?
False
Suppose 3 + 17 = h - 4*w, -3*w - 15 = -3*h. Suppose -2*l + 2*v - v = -173, -4*l - v + 349 = h. Is l a composite number?
True
Let j = 7 - 4. Suppose 2*c - 95 = -j*c. Is c a composite number?
False
Suppose 5*c = 100 + 110. Suppose 0 = 5*h - 3*k - 32, 4*h - 3*k - 2*k - 36 = 0. Is c/h*(-2)/(-3) a composite number?
False
Suppose -h + 0 + 6 = 0. Suppose -4*z - 100 = 3*q + h, 4*q - 2*z + 178 = 0. Is q/(-4) - 1/2 a composite number?
True
Suppose 0 = -u - 5*b + 2*b + 1518, -3*u + b + 4524 = 0. Is u composite?
True
Suppose -3*d + 1982 = -2647. Is d a prime number?
True
Let o = 254 - -6. Suppose 2*k = 5*b + 903, -4*k + 162 = -2*b - 196. Let s = o + b. Is s a composite number?
False
Suppose 43 = 3*t - 2*t. Is t composite?
False
Let l(v) = 31*v. Suppose 0 = 4*z - t + 1 - 5, -2 = -2*z - 2*t. Is l(z) prime?
True
Let i be (-26)/(-7) - (-10)/35. Suppose -i*z - 6 = -538. Is z prime?
False
Suppose 3*q - 2 - 1 = 0. Let n be ((2 - 141)/q)/1. Let s = -20 - n. Is s a composite number?
True
Let n(f) = 2*f**3 - 7*f**2 + 13*f - 15. Is n(9) prime?
False
Let n(i) = 2*i**3 - 19*i**2 + 12*i + 52. Is n(15) prime?
True
Let q(f) = 5*f**2 + 3*f - 4*f**2 + 0*f**2 - 3. Let r be q(-5). Suppose 2*c - 28 = 3*n - r, 0 = 4*c - 3*n - 27. Is c a composite number?
False
Let x(r) = -r**2 + 3*r**2 + 4*r - 3 - 7 + 2*r. Is x(-7) prime?
False
Let i = 10 - 14. Let f be (-5)/i + (-3)/12. Suppose 5*s = f + 64. Is s a composite number?
False
Suppose 2*t = 8 + 12. Let v = -5 + t. Suppose s = -v*w + 95, 0*s + 3*s = -2*w + 259. Is s prime?
False
Let u(a) = -2*a**2 - 21*a - 7. Let m(h) = 3*h**2 + 31*h + 10. Let o(v) = -5*m(v) - 7*u(v). Let y be 58/(-10) + 1/(-5). Is o(y) a composite number?
False
Let i(m) = 5*m - 13. Is i(22) a composite number?
False
Let g be (-1)/2 - 42/(-12). Suppose -3*q - 2*n + 176 = q, -q = -g*n - 37. Is q prime?
True
Let p be (-32)/14 - (-4)/14. Let d = 3 + p. Let a(f) = 77*f**3 - f**2 + 1. Is a(d) prime?
False
Suppose 1 + 5 = 3*k. Suppose k*g + 0*g = -562. Let x = -120 - g. Is x a composite number?
True
Suppose 14 = 4*b - 2. Suppose -961 = -b*s - 117. Is s prime?
True
Let s(m) = m**3 + m**2 - m + 4. Let g be s(0). Let q(u) = -2*u**2 + 2*u + 3. Let p be q(g). Let w = p - -31. Is w a prime number?
False
Suppose a + 2*g = -2*g + 241, 2*g - 1020 = -4*a. Is a prime?
True
Let c be ((-18)/(-15))/(3/10). Let v = c + -3. Is -2 - (2 - 27*v) a composite number?
False
Let y be 1/(1/5 - 0). Suppose -2*z - y*m - 45 + 139 = 0, -141 = -3*z - 2*m. Is z composite?
False
Let y(c) = c**2 - 2*c + 4963. Is y(0) a prime number?
False
Let z(x) be the second derivative of -x**5/20 + 11*x**4/12 + 13*x**2/2 - 2*x. Is z(11) composite?
False
Suppose -20 = -4*q - 0*q. Let r(b) = -b + 6. Let c be r(-13). Suppose -5*w = -v - c, 3*v + q*w = -v + 49. Is v a composite number?
True
Let i(c) = 14*c - 15. Let l = -17 + 23. Is i(l) a prime number?
False
Suppose -3*b = -212 - 1807. Is b prime?
True
Let k = -10 - -5. Let n = 33 - k. Is n composite?
True
Let t(q) be the third derivative of -q**5/60 + 37*q**3/6 + q**2. Is t(0) prime?
True
Is (-1)/(-2) - (-2525)/10 a composite number?
True
Let z be 0*(-2)/(4 + 0). Suppose 0 = -4*o - z*o + 220. Is o a composite number?
True
Let n(s) be the first derivative of -15*s**2/2 - 5*s - 1. Suppose -9 + 5 = l. Is n(l) composite?
True
Let p = 137 + -65. Let y = p - 37. Is y a prime number?
False
Is (-16230)/(-8) + 5*(-3)/(-60) a prime number?
True
Suppose 5*w + 4*l = -l + 175, -w - 5*l + 35 = 0. Suppose 3*d + 2*s = 7*s + 72, 2*d + s = w. Is d a prime number?
True
Let l = 1343 + -4. Let n = l - 930. Is n a prime number?
True
Let h(c) be the second derivative of -5*c**3/6 + c**2 - c. Let q be h(3). Let r = 32 + q. Is r prime?
True
Suppose -o = 3*o + 4. Let j = -1 - o. Is 5*13 - (0 + j) prime?
False
Let s(n) = 19*n**2 + 3*n - 3*n + 1. Is s(2) a prime number?
False
Suppose -10 - 17 = 3*o. Is 837/o*(-1 + 0) prime?
False
Let w(p) = 5*p + 4*p**2 + 1 - 4*p + 0 + 0 + p**3. Is w(3) composite?
False
Let s be (-4)/(-10) + (-2016)/(-60). Suppose s + 71 = 5*m. Is m a prime number?
False
Suppose -5*y + 8 = -3*y. Suppose -5*b + 0*b = 4*p, -41 = -y*b + 5*p. Is b/14 - 2031/(-21) composite?
False
Suppose -6123 = -5*a + 2*q - 1652, 4*a - 2*q - 3576 = 0. Is a a prime number?
False
Suppose 0*a = -3*a - 180. Let t = -185 - -271. Let m = a + t. Is m a composite number?
True
Let a(q) = 529*q - 11. Is a(6) composite?
False
Suppose 2*d = 4*y - 0*d + 82, 21 = -2*y + 5*d. Let t = 16 - y. Suppose 5*z - 60 = -g, 2*z - g = -2*z + t. Is z composite?
False
Let a(r) be the third derivative of r**5/20 + r**4/24 + r**2. Let j be a(-1). Suppose -3*m - 5*o + 178 = -200, 0 = j*o + 6. Is m composite?
False
Let x = 68 - 31. Let m = 88 - x. Is m prime?
False
Is -3*(-794)/12*2 prime?
True
Let y be (-10)/(-25) - (-18)/5. Let r be 1/(-1 + y/5). Is (-4)/10 - 287/r a prime number?
False
Let g(c) = c + 57. Let w be (-1 + 1)/(-2 - -4). Is g(w) prime?
False
Let d(p) = p**2 + p. Let i(r) = -9*r**2 - 4*r. Let y(q) = -3*d(q) - i(q). Is y(1) composite?
False
Let v be 1*(1 + -2) - -3. Suppose 0 = v*y - 31 + 9. Is y composite?
False
Let z(k) = -k**3 + 5*k - 6. Is z(-5) a prime number?
False
Let a be (0 + -3)*(-10)/6. Suppose -a*h = -h. Suppose -3*z = -h*z - 213. Is z a composite number?
False
Let m = -4 + 7. Suppose -213 = -m*x - 6. Suppose x = 4*u - 5*n, -2*u + 4*n + 25 = -5. Is u composite?
True
Suppose -3*h = 2*h - 2765. Is h a composite number?
True
Let d(p) = -27*p - 7. Is d(-12) prime?
True
Let v = 7897 + -4970. Is v prime?
True
Let l(o) = 22*o**2 - 7*o - 10. Is l(9) a prime number?
True
Suppose 4*k = -2*t + 546, -t + 15 = -4*t. Is k prime?
True
Let h(t) = -164*t - 47. Is h(-3) composite?
True
Let v(d) = -d**3 - d - 21. Let p be v(0). Is ((-10)/(-15))/((-1)/p) a composite number?
True
Let l(o) = 1. Let y(x) = x - 40. Let h(p) = -3*l(p) - y(p). Let c be 2 + 4/3*3/(-2). Is h(c) prime?
True
Suppose 68 = -f - 104. Let x = f + 255. Is x composite?
False
Let o = -233 - -346. Suppose -p + 0*p = -o. Is p a composite number?
False
Let m(u) = 794*u**2 + 8*u + 3. Is m(-2) a prime number?
True
Let b = 35 + -25. Let f be (-2)/b - (-5)/25. Suppose 6*m = n + 5*m - 71, f = 4*n - 2*m - 276. Is n a prime number?
True
Let l = 16 - 11. Suppose l*b = 2*t + 3*t + 95, 3*t + 59 = 5*b. Let r = t + 115. Is r a prime number?
True
Let x(r) = -2*r**2 + 13*r - 20. Let w(v) = v**2 - 6*v + 10. Let k(b) = -7*w(b) - 4*x(b). Let z be k(8). Let y(i) = -16*i + 1. Is y(z) prime?
True
Let k(v) = -2*v**3 + 11*v**2 + 4*v + 5. Let o be k(8). Let i = -72 - o. Is i a prime number?
True
Let w = 101 - 43. Suppose w = u - 229. Is u prime?
False
Let n be 4/(-4)*(-126 + -1). Suppose -76 = -m + n. Is m a composite number?
True
Is 230 + -2 + 2 + 5 a prime number?
False
Let m(l) = l + 2. Let k be m(0). Suppose 459 + 94 = 5*g - 2*h, g = -k*h + 113. Is g composite?
True
Let p(v) = -37*v**2 + 3*v - 1. Let z be p(2). Let y = 80 + z. Let s = -30 - y. Is s a prime number?
False
Let m = 36 - 23. Is (-7 - -5) + 1*m a composite number?
False
Let w = 7 + -25. Is (-261)/w + (-1)/(-2) prime?
False
Let y = 2073 - 1222. Is y a prime number?
False
Suppose -5*p - 96 = 3*i, 4*i + 221 = p + 93. Let v = i - -65. Is v a prime number?
False
Let q(p) = p**3 - 4*p**2 + 5*p - 3. Suppose 6 = 3*x - x. Let m be q(x). Suppose -3*a = a + m*i - 89, -5*a = 3*i - 112. Is a a prime number?
True
Suppose -5*p = -2*l + 3330, -4*l + 1671 = -3*l - 4*p