 composite?
True
Let q = 148 + -39. Is q composite?
False
Suppose 2*y - 3 = 5*o - 0*o, 0 = -2*o + y - 2. Suppose 4*p = o + 3. Let f(n) = 48*n**2 + 1. Is f(p) a composite number?
True
Let s = -5057 - -7216. Is s composite?
True
Let i(y) = -y**3 - 7*y**2 - y - 5. Let s be i(-7). Suppose 5*p - 6*p + s*g = 6, -g + 3 = -2*p. Suppose 5*m - 167 - 8 = p. Is m a composite number?
True
Let u = 178 + 55. Is u composite?
False
Suppose 0 = -x - 5*d - 51, -2*d + 119 = -4*x - 5*d. Let z = 13 - 25. Let y = z - x. Is y prime?
False
Suppose 4*j + 12 = -16. Let c(r) = -7*r + 8. Is c(j) a prime number?
False
Suppose -a = 3*m - 135, -2*a + 266 = 5*m + 40. Let s = -7 + m. Is s a prime number?
True
Suppose 0 = -n + 3 - 5. Let b = n - -4. Suppose -b*k + 5*h + 336 = 67, 5*k + 2*h - 629 = 0. Is k a composite number?
False
Let l(x) = 0*x + x + 2*x + 0*x + x**3 - 1. Is l(3) composite?
True
Let w be ((-2)/(-3))/(5/30). Suppose -7*o + w*o - 15 = 0. Is (-387)/o + (-8)/20 composite?
True
Let w(l) = -124*l**2 - 2*l - 5. Let a(i) = 123*i**2 + 3*i + 6. Let o(q) = -4*a(q) - 5*w(q). Is o(1) a prime number?
True
Let j(q) = -q**3 + q - 2. Let h be j(0). Is 62/3*(-3)/h composite?
False
Suppose 0 = z - 5*g - 90, 0*g + 379 = 4*z - g. Is z a prime number?
False
Let n = 0 + 2. Suppose -3*i + 223 = -4*m, i + 6*m = n*m + 85. Is i a prime number?
False
Suppose -4*t = 4*o - 2788, 5*o - 5*t = -7*t + 3497. Is o prime?
True
Let m(q) = 2*q**2 + 5. Let i be -2*(-1)/((-2)/(-4)). Suppose -5*h - 9 = i*r, -2*r = 5*h - 3 + 20. Is m(h) a prime number?
False
Let d(x) = -251*x - 12. Is d(-5) composite?
True
Suppose 123 + 65 = 2*x. Let u = x + -48. Is u a composite number?
True
Suppose 0 = a - 4*a - 15, 0 = -d - 5*a - 19. Is 3/(d/8) - -6 a composite number?
True
Let m(j) = j**2 + 6*j + 5. Is m(6) a prime number?
False
Let u be (-4)/6 - (-128)/(-24). Let n(j) = -j**3 - 2*j**2 - 3*j - 5. Is n(u) a composite number?
False
Is (-214888)/(-44) + 1 + 4/22 a prime number?
False
Let w(o) be the first derivative of -o**4/4 + 7*o**3/3 + 2*o**2 + 6*o - 3. Is w(7) a prime number?
False
Suppose -3*h + 85 + 20 = b, h + 4*b - 35 = 0. Is h a composite number?
True
Let n(x) = x**2 - 3*x - 8. Let q be n(-6). Is (-3)/12*q*-2 a prime number?
True
Let j(x) = x**2 + 8*x + 18. Let g be j(-14). Suppose -g = -i + 277. Is i composite?
False
Is (-3)/6 + 1 - 2451/(-2) a prime number?
False
Let b(z) = -4*z**3 + 2*z**2 + 4*z + 6. Let w be b(-4). Let h = -137 + w. Is h composite?
True
Suppose -v + 0*v + 2*m + 8 = 0, -4*v - m = -14. Suppose -3*z - 3*t = -2*z - 53, 0 = -v*z - 3*t + 194. Is z prime?
True
Suppose 3*r + 3 + 11 = -f, 0 = 5*r - 4*f + 29. Let y(d) = -d + 6. Is y(r) a composite number?
False
Let s be (-8)/10*15/(-6). Suppose -5*d = -s*d - 66. Let t = 1 + d. Is t prime?
True
Let b be (-8)/(-20) + (-26)/(-10). Suppose -5*x - 20 = 0, 3*x = b*f - 0*x - 387. Suppose 6*m = m + f. Is m a prime number?
False
Let i(z) = -16*z + 3. Let g be (-2)/(-2) + 0 + 1. Suppose 12 = g*c + 32. Is i(c) prime?
True
Is ((-3)/3)/(3/(1 - 958)) prime?
False
Suppose -4*j = -2*j - 388. Let c = j - 303. Let k = c - -198. Is k a prime number?
True
Suppose -3*t + t + 8 = -2*k, 5*k - 3*t + 12 = 0. Let x = 13 - k. Is x prime?
True
Is 55/(-3)*(11 - 14) a prime number?
False
Suppose 5*u + 2*l = -2 - 6, -2*u = -2*l - 8. Suppose 76 = 2*n - u*n. Is n prime?
False
Let p(c) = -c**2 - c - 219. Let u be p(0). Let y = u - -350. Is y a prime number?
True
Suppose 16 = -2*d + 4*w, 0*w = 5*d + w - 4. Suppose 0 = 4*s - 8*x + 3*x - 1219, -3*s + 5*x + 908 = d. Suppose -s = -4*k + 205. Is k a composite number?
True
Let a = 1620 - 1064. Suppose -2*p = 4*s - a, 4*s + 183 = -3*p + 741. Let t = -85 + s. Is t a composite number?
False
Let q = -1 + 5. Let o = q - 2. Suppose o = -2*g + 24. Is g composite?
False
Let j = 51 - 33. Let r = 39 - j. Is r composite?
True
Let r(s) = -13*s**2 + 3*s + 3. Let j(x) = 14*x**2 - 3*x - 3. Let c(u) = -6*j(u) - 7*r(u). Is c(3) prime?
False
Let i = -8 - -11. Suppose 4*s + 0*s = b - 23, 0 = 5*b - i*s - 149. Is b prime?
True
Let t(z) = 212*z**2 - 2*z + 1. Is t(1) prime?
True
Let g(j) = -92*j**3 + 2*j**2 - 9*j - 15. Let x(n) = 31*n**3 - n**2 + 3*n + 5. Let k(t) = 4*g(t) + 11*x(t). Is k(-2) prime?
False
Let u = 208 - -199. Is u prime?
False
Suppose -4*k + 12 = -2*b, -2*b + 3*k = -3*b + 14. Suppose p - 113 = -5*h, 0 = b*p - p - 3. Is h a prime number?
False
Let q be (-27)/(-6) + 1/2. Suppose 3*a = 4*s + 27 + 26, q*s - 35 = -3*a. Is a prime?
False
Suppose 16 = -4*o - 44. Let m be ((-6)/o - -2)*-20. Let x = m - -97. Is x a composite number?
True
Let t be 9386/4 + 3/(-6). Suppose 5*r + 691 = t. Suppose 0 = 2*v - v - r. Is v a prime number?
True
Let q = 1 + -1. Let v = 146 - -10. Suppose 5*m + 2*k - v - 259 = 0, 3*m + k - 250 = q. Is m a composite number?
True
Let y = 926 - 624. Suppose 5*i - f - 112 = 610, y = 2*i + 4*f. Is i composite?
True
Is 586/(-4)*(0 + -2) composite?
False
Is -9 - -11 - (2 - 1439) composite?
False
Let z(r) = 20*r**2 - r - 6. Let d(c) = -21*c**2 + c + 7. Let j(g) = 5*d(g) + 6*z(g). Is j(3) prime?
True
Let c be (-13)/(-5) - 10/(-25). Let i(o) = 12*o + 4*o - c + 0. Is i(5) a composite number?
True
Suppose 0 = 4*u + 8 - 0. Let f = u + -20. Is 2 + (-1 - 0 - f) a prime number?
True
Let w(x) = -16*x - 1. Let q be w(1). Is (-5474)/q - (0 - -1) prime?
False
Let w(l) = 761*l + 24. Is w(3) prime?
False
Is 155*(-1 + 2/1) a composite number?
True
Let z(v) = -v**3 + v**2 - v - 1. Is z(-4) a composite number?
False
Let n(c) be the third derivative of 11*c**5/6 - c**4/12 - c**3/6 + c**2. Is n(-1) a composite number?
True
Let v(a) = 2*a**2 - 2*a + 6. Is v(-4) prime?
False
Let f be 0 + (-1 + 1)/1. Suppose y = -f + 13. Is y a prime number?
True
Let k(m) = -6 + 3*m + 7 - m**2 + 6 + m. Is k(5) prime?
True
Let r = -3 + 5. Suppose 0*x - r*x - 5*m = -39, 0 = -5*x - 5*m + 60. Is x prime?
True
Suppose m + 4*m = 55. Let a be 1/4 - m/(-4). Suppose a*b = -2*i + 103, -4*b = -2*b + 10. Is i prime?
True
Let z be ((-30)/(-8))/(21/56). Suppose u = b - 24 - 75, -5*u = z. Is b prime?
True
Suppose a = -a + 6. Suppose i + a*i - 32 = 0. Is i/28 - (-80)/14 a prime number?
False
Suppose -3*q + 190 = -77. Is q composite?
False
Suppose f = -3*f + 4*h + 4, 0 = -h + 1. Suppose 4*r = -2*j - 24, 2*r + 12 = 3*j + f*j. Is 472/5 + r/(-10) a prime number?
False
Let o(p) = 5*p**2 + 5*p + 4. Suppose 0*a + 5*n + 15 = -5*a, n = -2*a - 6. Is o(a) a composite number?
True
Suppose -2*h + 8 = 4. Suppose 4*m + 0*m - 660 = 0. Suppose x = -h*x + m. Is x composite?
True
Is (-6)/(-3)*673/2 a composite number?
False
Let y(h) = 39*h**2. Let a be y(-1). Is -1*a*20/(-12) a prime number?
False
Let t(d) = d**3 + d**2 - 4*d - 3. Let h be t(-2). Is (-6)/12*(-429 - h) composite?
True
Suppose 0 = 2*h - 2*l - 23772, -h - 3*l + 17081 - 5199 = 0. Is h prime?
False
Let j be (-1)/(1 - 3)*2. Is (-2 + j)/((-5)/15) a composite number?
False
Let p = -6 - -10. Suppose -f + 15 = j + 2*j, 5*f - p*j = 75. Is f a prime number?
False
Suppose -5*k - 7 = -2*w, -2*w + 5*k = -w - 1. Is 436/5 - w/30 prime?
False
Let c(n) = 288*n + 7. Let d(v) = -144*v - 3. Let k(h) = -2*c(h) - 5*d(h). Is k(1) a composite number?
True
Let f be (-17717)/(-63) - 4/18. Is f/9 - 2/9 prime?
True
Let t(c) = c**2 - 6*c - 7. Let v be t(10). Let w = v - 14. Is w composite?
False
Let n be 5 + 1 + (13 - 16). Is (-1764 - 1)*n/(-15) a composite number?
False
Let o = -531 - -1046. Is o a prime number?
False
Suppose 0*r + 2*r - 4*t = -8, 4*r = 3*t - 11. Suppose 8 = -2*s - 2*j, 3*s = 3*j + 5 + 13. Is 1 - (s - (20 - r)) composite?
True
Let m = 5 - 14. Let p(g) = g**2 - 4*g - 4. Is p(m) a composite number?
False
Let k(y) = y**2 - 9*y - 5. Let z be k(9). Let j = z + 8. Suppose -2*r = -7*r - t + 91, 5*t = j*r - 77. Is r a composite number?
False
Let w = -7 + 6. Let y(i) = 135*i**3 - 1. Let t be y(w). Is (1 - -2) + (2 - t) a composite number?
True
Suppose -125 = 6*h - 4019. Is h composite?
True
Suppose -3*g - 21 = -2*f, 4*f - 2*g - 4 - 18 = 0. Suppose -30 = f*z + 5*n - 179, 4*z = 2*n + 164. Is z a composite number?
False
Suppose 2*m = -4*b + 514, -4*b + b = -3*m - 408. Is b prime?
True
Let r be (-80)/(5/(-2) - -2). Let c = r + 66. Is c a prime number?
False
Let i be (4 + 1)/(3/30). Suppose -122 - i = -2*d. Is d a prime number?
False
Let w = -1590 - -2809. Is w a co