lse
Let b(g) = 35*g**2 + 12*g + 6. Is b(-5) a composite number?
False
Let x(g) = 2*g**3 - 7*g**2 + g + 5. Let r = -3 + 8. Is x(r) prime?
False
Suppose 2*b = -3*x + 1259, 0*b = -x + 2*b + 417. Is x composite?
False
Suppose 0 = 2*w - 6*a + 10*a - 1020, 4*w + 2*a = 2052. Is w composite?
True
Suppose -2*o + 7*s - 3*s = -2160, 4*s + 12 = 0. Is (-1)/(3 - o/357) a composite number?
True
Suppose -2*h + 1770 = 5*a - 1475, 2*a - 1298 = 2*h. Is a prime?
False
Suppose 0 = 2*h - 6, -14 - 8 = -4*g - 2*h. Suppose -5*v + v = -2*y + 422, 3*v - 800 = -g*y. Is y prime?
False
Suppose -5*x - 5 + 2 = -3*m, -1 = -x - m. Let z(g) = 10 - 7*g + 2*g**2 - g**3 - 10*g**2 + x*g. Is z(-7) composite?
True
Suppose -5*h = -2*l + 316, l + 2*h + 0*h = 167. Is l prime?
True
Let x be (4 - 4)/(2/2). Suppose x = -2*q + 3 - 1. Is (143 + 3 + -1)*q prime?
False
Let v = 8 + -4. Suppose -91 = -4*a + k, 5*a = k + v*k + 110. Is a prime?
True
Let m(p) = -p - 14. Let o be m(-6). Let i(x) = -10*x**3 - x. Let j be i(-1). Let h = j + o. Is h prime?
True
Let p = -4 + 6. Suppose -5*q - 365 = -p*d, 0*d - 3*d = 3*q - 579. Is ((-4)/10)/((-2)/d) prime?
False
Let l(s) = 41*s**2 - 2*s + 2. Let o be l(-4). Let m = o + -467. Suppose 47 = h + j - 2*j, 0 = -5*h - 4*j + m. Is h prime?
True
Suppose -10*v = -7*v - 6015. Is v composite?
True
Suppose -3*j + 89 = -3*m + 26, 4*m + 4*j = -44. Let w = -40 + 75. Let f = m + w. Is f a prime number?
True
Let b be (1 - 0)/(2/70). Let q be (-72)/33 - (-2)/11. Is b - (-2 + (q - -2)) a composite number?
False
Let t(k) be the third derivative of 3*k**4/8 - k**3/6 - 4*k**2. Suppose -u = -0 - 4. Is t(u) a prime number?
False
Let o(n) = n**2 - n + 1. Let z(f) = 140*f**3 + f**2 - f + 2. Let d(x) = -3*o(x) + z(x). Is d(1) a composite number?
False
Suppose 4 - 1 = -m. Is 2*(186/(-4))/m prime?
True
Suppose -222 = -4*i + 2*d, 3*i + d = 3*d + 166. Suppose 5*w + i = -2*z, -3*w - 3*z + 0 - 39 = 0. Is (-368)/w + (-1)/(-5) composite?
False
Let q = -6 - -6. Suppose q = 2*u - 1057 + 171. Is u a composite number?
False
Suppose 3*a - 2429 - 376 = 0. Suppose -8*m = -3*m - a. Is m a prime number?
False
Suppose -3534 = 8*a - 14*a. Is a a prime number?
False
Let b = 372 - 161. Is b prime?
True
Let w = 0 - -5. Suppose -k + w*r + 11 = 0, -2*k + 1 = -2*r - r. Is (k - (-4)/2) + 79 composite?
True
Suppose -4*x + 8925 + 1391 = 0. Is x a prime number?
True
Let m(f) = -f**2 - 7*f + 8. Let l be m(-8). Suppose l*v = v + 17. Let p = v - -32. Is p composite?
True
Is -2 + 565 + 7 + -7 prime?
True
Let u = -2 + 8. Suppose a + u = 13. Is a composite?
False
Suppose -2*t - 3*t - 3*i - 15 = 0, 4*i = t + 26. Let r(d) = -d**2 + d + 4. Let k be r(-4). Let a = t - k. Is a composite?
True
Let z(f) = 3*f - 2*f - 1 - 187*f**3 + 0 - 2*f. Is z(-1) composite?
True
Let a(r) be the first derivative of -r**4/4 + 4*r**3/3 - 5*r**2/2 + 3*r + 3. Let x be a(4). Let i = x + 24. Is i a prime number?
True
Let n(i) = 2*i**2 - 9*i - 5. Let s(d) = -5*d**2 + 28*d + 14. Let k(m) = -8*n(m) - 3*s(m). Is k(-11) composite?
True
Suppose -2*j + 149 = -j. Is j prime?
True
Let b = -22 + 48. Suppose 12 + 6 = -2*p - 2*j, j = 4*p + b. Let l(c) = -c**2 - 10*c + 1. Is l(p) composite?
True
Let m(u) = 14*u**2 - u - 23. Is m(8) a composite number?
True
Suppose -2 + 0 = -2*c. Let v be (0/(2/c))/2. Suppose -4*w = -v*w - 188. Is w a composite number?
False
Let y = -1 + 0. Let p be (y + -4)*16/(-10). Is (-16)/4*(-106)/p a prime number?
True
Let q = -37 + 152. Is q a composite number?
True
Let m(l) = 31*l**3 + 3*l**2 + 10*l - 11. Is m(5) a composite number?
False
Let j = 3 - -2. Suppose j*z = 6*z - 191. Is z a prime number?
True
Let r(y) = 11*y - 41. Is r(18) a prime number?
True
Let d(y) = -y**3 + 7*y**2 + y - 2. Is d(-5) composite?
False
Let c = 14 - 22. Let y = c + 130. Suppose 16 - y = -2*g. Is g a composite number?
False
Is (4/(-12))/(2/(-6366)) composite?
False
Suppose 4 + 18 = 2*g. Suppose -5*m = -2*y - 0*y + g, -3*m = -5*y + 56. Is y prime?
True
Let x(k) = -k**3 - 9*k**2 - 9*k + 4. Let s be x(-8). Let m = s - -25. Is m composite?
False
Let v(h) = -2*h**3 - 9*h**2 - h - 4. Let y(b) = -3*b**3 - 10*b**2 - 5. Let c(m) = -4*v(m) + 3*y(m). Is c(-4) composite?
True
Let u = 10 + -10. Suppose 2*v + 2*m = m + 318, -2*v - 5*m + 302 = u. Is v a composite number?
True
Let d = 46 - 29. Suppose 5*v - 58 = d. Is v a prime number?
False
Let g(q) = 11*q**2 - 4 - 1 + q**3 - 2 - 2 - q. Is g(-11) a prime number?
True
Let p be (-18)/(-5) + 2/5. Suppose 15 = -p*n + 3. Is ((-11)/(-3))/(n/(-27)) composite?
True
Suppose 2*p = -2*p. Suppose p = -5*r + 15 - 0. Suppose 81 = r*y + 6. Is y a composite number?
True
Let z(l) be the third derivative of -l**4/12 - 7*l**3/6 + l**2. Let p be z(-5). Suppose 2*b - 5*g + p - 1 = 0, -5*b = -3*g - 33. Is b a prime number?
False
Let g = 991 - 693. Suppose -5*n + g = -957. Is n composite?
False
Let m(k) = -k**2 + 9*k + 2. Let n be m(9). Suppose n*q + 0*q = 20. Is q a composite number?
True
Let r(p) = p**2 - p + 5. Let u(v) = -6*v**2 + 4*v - 26. Let c(h) = -11*r(h) - 2*u(h). Suppose 0*o - 17 = 5*w - 2*o, 41 = -5*w - 4*o. Is c(w) a prime number?
True
Suppose 0 = -4*p + 2*t + 7264, 2*p - 1515 = 2*t + 2121. Is p composite?
True
Let n = -6 - -4. Is 876/18 + n/(-6) a composite number?
True
Suppose y + 7 = 5*i, y + 0*y - 4*i = -5. Suppose 2*c + 10 = -y*c. Is (-11)/(c - (-9)/6) a composite number?
True
Let j(r) = -r - 7. Let o be j(-6). Let a be (-3)/o*(0 + 2). Suppose 8*s - a*s - 178 = 0. Is s a prime number?
True
Let x = -4 - -7. Let h = 6 - x. Suppose -r - 33 = -h*v + 74, 103 = 3*v + r. Is v composite?
True
Is 3/((-3)/(-71)) + 0 prime?
True
Is ((-14)/(-6) - 2)*-3*-1117 a composite number?
False
Let q = 4 + 1. Suppose 2*c + 5*p = c + 17, -5 = 5*c - q*p. Suppose 0 = -4*w - c*o + 86, o = -0*w + 5*w - 104. Is w composite?
True
Is 1/2*-6 - -18 prime?
False
Let q be (6/(-4))/((-3)/54). Let t = q + 184. Is t a prime number?
True
Suppose -7*a - q - 176 = -3*a, -241 = 5*a - 4*q. Let t = -187 + 59. Let h = a - t. Is h composite?
False
Let z(r) = -r**3 - 7*r**2 - 7*r + 5. Suppose n + 3*i = 20, -4*i - 10 + 40 = 2*n. Let t = n - 11. Is z(t) composite?
False
Let r(u) = -u**3 + 12*u**2 - 8*u + 11. Is r(8) prime?
False
Suppose 2*p = -p - r + 16, 2*r = -5*p + 27. Suppose j + 4*u = -p, -4*j = -u + 3*u - 22. Is (-4)/(-14) - (-243)/j a prime number?
False
Let g(n) = -n**2 + 4*n + 2*n - 8 + 2*n**2. Is g(-9) prime?
True
Let w(v) = v + 93. Suppose -5*l + 6*l = 0. Is w(l) composite?
True
Suppose -4*y - 2200 = -8*y. Suppose -y = -c + 902. Suppose -c = -5*r - 497. Is r prime?
True
Let x be 2/(-8) - 5/(-20). Suppose v - 5*t - 121 = -v, x = -5*t + 5. Suppose 0 = 4*u - 3*s - 100, v - 17 = 3*u + 5*s. Is u a prime number?
False
Suppose -4*b + 6198 = -5182. Is b a composite number?
True
Let y(n) = -n**2 - 6*n - 13. Let f be y(9). Let s = 1 - f. Is s composite?
False
Suppose -5*t - 310 + 1285 = 0. Suppose 4*r = 991 - t. Is r composite?
False
Suppose -2 = -4*b + 2*d, -5*d + 10 = 5*b - 0*d. Let a(r) be the first derivative of 18*r**3 + r - 3. Is a(b) a composite number?
True
Is (-6)/(-4) - (-5590)/52 a composite number?
False
Let p = 890 + -631. Is p prime?
False
Suppose 0 = -4*y + d + d - 6, y = -5*d - 29. Let w(g) = -5*g**2 - g - 9. Let f(o) = -6*o**2 - 9. Let b(v) = y*w(v) + 3*f(v). Is b(-7) composite?
False
Let o = -24 + 10. Let c(f) = -10*f**3 - 2*f**2 + 1. Let m be c(-1). Let w = m - o. Is w composite?
False
Suppose -3*v + 2*k + 465 = -0*k, -2*v + 310 = -2*k. Is v a composite number?
True
Let s(j) = 3*j**2 + j**3 - 12*j**2 + 2*j + 5 + 8 - 13*j. Let z be s(10). Is 26/4 + z/6 composite?
False
Let m(t) = 3*t**2 - 4*t + 20. Let n be (2/3)/(6/(-153)). Is m(n) composite?
True
Let j(h) = h**3 - 6*h**2 + h - 2. Let f be j(6). Suppose -f*o + 0*o = -1072. Suppose 2*s - 93 - o = -5*u, -154 = -2*u - 4*s. Is u a composite number?
False
Let p = -169 + 11. Let h = p + 255. Is h composite?
False
Suppose 3*g - 1029 = -0*t - 4*t, -2*g = -2*t - 672. Is g a composite number?
True
Let h(a) = a**3 - 7*a**2 + 5*a + 4. Let w be h(6). Is (669/12)/(w/(-8)) composite?
False
Let g(b) be the second derivative of -b**5/20 - b**4/3 + b**3/2 - 8*b. Let t be -1 + 0 + 1 - 5. Is g(t) a composite number?
True
Let r(n) be the first derivative of -n**7/840 - n**6/90 + n**5/120 - 7*n**4/24 + 2*n**3/3 - 1. Let