ber?
True
Let z = -2 - -1. Is (2/2)/(z/(-127)) a prime number?
True
Let u(j) = -j**3 + 8*j**2 - 8*j - 3. Let y(s) = -3*s**3 + 25*s**2 - 23*s - 9. Let f(d) = 17*u(d) - 6*y(d). Is f(14) prime?
True
Let v(h) = 2*h + 17. Let g be 7/14*7*2. Is v(g) a composite number?
False
Suppose -1 = 2*d - 3. Let n(r) = 58*r - 1. Is n(d) a composite number?
True
Is -1 - ((1 - -2) + -27) composite?
False
Suppose 5*b - 308 = b. Suppose 3*g - b = 2*g. Is g composite?
True
Suppose -8*y - 232 = -10*y. Let o = y - 58. Is o a composite number?
True
Suppose -2*u + 38 = -0*u. Suppose 3*w + u = 220. Is w a composite number?
False
Suppose w - 18 = -2*w. Suppose -17*x = -22*x + 40. Let y = x + w. Is y a composite number?
True
Is 2/(-4) + 2108/8 a composite number?
False
Suppose -5*a + 512 = -358. Is -1 + (a + -2)/2 a composite number?
True
Let x(y) = -y**2 - 5*y - 6. Let q be x(-5). Let f(n) = 2*n**2 + 5*n + 4. Is f(q) a prime number?
False
Let f = 167 - -164. Is f composite?
False
Let d be (-2)/(-8) - (-2)/(-8). Let k(i) = d*i**2 + 2 - 2*i**3 - 2*i**2 - 3*i + i. Is k(-2) composite?
True
Let k be 4/30 - (-33614)/(-105). Let g = 765 + k. Is g a composite number?
True
Suppose 3*j + 3*h = 9, -j + h + 10 = -3. Let f = j - -29. Is f a prime number?
True
Suppose -45 = -0*l - 3*l. Is l a composite number?
True
Let d be -1 + 5*(-1 - -2). Let c(y) = y**3 - 2*y**2 + 6*y - 3. Is c(d) composite?
False
Suppose 0 = 2*u - 0*u + 2, 5*x + 5*u - 1255 = 0. Let m = x - 148. Let h = m + -25. Is h composite?
False
Let k(j) = j**2 - 5*j + 19. Is k(-8) a prime number?
False
Let p be 12/18 + (-350)/(-6). Suppose 0 = -3*h + 3*v + 273, -h + 24 = -3*v - p. Suppose 3*o - h = 2*o - 4*b, b + 312 = 4*o. Is o a prime number?
True
Let p = -122 - -267. Let f(q) = 3*q**2 + 7*q - 4. Let x be f(-6). Let n = p - x. Is n a composite number?
False
Suppose 4*i = -4*w + 2*w, 4 = w + i. Suppose -w = -2*u - 2. Suppose -u*x + 5 = -13. Is x a prime number?
False
Let g(h) = 108*h**2 + 3*h + 1. Is g(-2) prime?
False
Is (-2 + (-639)/(-3))/1 a prime number?
True
Let v(p) be the third derivative of -p**6/120 + p**5/10 + p**4/6 - p**3/6 + p**2. Let s = 2 + 2. Is v(s) prime?
True
Suppose 4*u + 2*m = 3770, u + 0*m - 948 = 5*m. Is u a composite number?
True
Suppose -2*a - 13 + 29 = 0. Suppose b + a = -b. Is (-2 - b)*(2 + -1) prime?
True
Let j = 331 - 216. Is j a composite number?
True
Let p = 1122 + -564. Let s = p + -379. Is s a composite number?
False
Let d(x) = x**2 + 2 - 1 + 2*x + 2*x**3 - 8*x**3 - 2. Let i = 0 - 2. Is d(i) a composite number?
False
Suppose -r + 3*j = r - 48, 3*r = 2*j + 72. Suppose 3*y - 13 = -3*n - 4, 0 = -2*y + 4*n - r. Is (250/6 + y)*3 prime?
False
Suppose 2*x - 2*l = -2*x + 146, 0 = -5*x - 4*l + 176. Suppose 4*i - x = 280. Is i a composite number?
False
Let c(p) = -p + 16. Let q be c(12). Suppose -46 = -q*m + 222. Is m a prime number?
True
Let h = 6 - 2. Is 389 - 0/h - -2 a prime number?
False
Let t = 11 - 8. Suppose 7*u - u - 12 = 0. Suppose 665 = u*n + t*n. Is n prime?
False
Suppose -5*k - 5*g = -3*g - 2373, 2*g = 8. Is k composite?
True
Suppose 4*o = 43 + 53. Let c = -17 + o. Is c prime?
True
Suppose -3*l + 21 = -87. Suppose 0 = q - 15 - l. Is q a composite number?
True
Let i = 126 - 43. Is i a prime number?
True
Is 4 - (3 - 108/3) a prime number?
True
Suppose 0 = -3*x + 5*d + 232, 0*x + 3*x - 2*d - 217 = 0. Is x composite?
True
Is 30165/27 - (-12)/(-54) prime?
True
Suppose 3 + 9 = 4*d, 628 = m - d. Is m prime?
True
Let d = -1 - -3. Suppose 0 = -a + d*a + 4. Is 13/4 + 1/a a prime number?
True
Let b(n) = -22*n + 4. Let x(j) = -j. Let z(l) = -b(l) + x(l). Is z(3) prime?
True
Let x(b) = 2*b**2. Let j be x(1). Let z = -4 + j. Is (1 - 6)*-1 + z a prime number?
True
Let t(l) = l**3 - 4*l**2 + 3*l. Let q be t(4). Suppose 7*x = q*x - 395. Is x composite?
False
Let s be (14 + 3 - -1) + -3. Let u = 4 + s. Is u prime?
True
Let g be ((-13194)/27)/(2/3). Let s = -264 - g. Is s prime?
False
Suppose 0 = 4*o - 4405 - 43. Suppose -4*k + 11 - 31 = 0, 4*g - 4*k - o = 0. Let p = 386 - g. Is p a prime number?
True
Suppose -6 = 4*g + 2. Is (0 - g) + -2 - -23 a prime number?
True
Let x be -3 + (1 - 0 - 0). Let j(t) = -3*t**3 - t + 2. Let k be j(x). Is 7/k + (-51)/(-4) prime?
True
Let b(m) = m**3 - 6*m**2 + 15*m + 23. Is b(10) prime?
False
Let p(x) = 488*x**3 - x**2 - x + 1. Is p(2) a prime number?
False
Let u = -8 - -11. Suppose -4 = -u*d + 131. Is (42/(-9))/((-6)/d) prime?
False
Let p(f) = f**2 - 4*f. Let i be p(5). Suppose -18 = 3*r + 3*g - 0*g, -i*r - 4*g - 26 = 0. Is 81 + (-1 - (-2)/r) composite?
False
Suppose 4*k - 115 = 33. Is k a prime number?
True
Is 1/(-5) - ((-232128)/(-15))/(-6) composite?
False
Suppose 3*c + 345 = 3*k, 5*c + 81 = -2*k + 297. Is k a prime number?
True
Suppose -4 = -3*l - 1. Let i = 1 - l. Suppose i = t - 46 - 7. Is t composite?
False
Let x = 5 - 9. Let d be 1/x + 466/8. Suppose 2*p + 3*h - 61 = 0, -2*p - 7*h + d = -3*h. Is p composite?
True
Let v be -2*2/10*-10. Let f(d) = -d + 5. Let y be f(7). Is (y - 0)*(-46)/v a composite number?
False
Suppose 4*j - 3*j + 12 = 0. Is ((-8)/j)/(4/678) composite?
False
Let y(o) = 2*o - 8. Let t be y(8). Suppose -3*w - 1295 = -t*w. Is w a prime number?
False
Let n be (-2)/4 + 5/10. Suppose n = -3*t + 3*x + x + 3473, 2*t = -5*x + 2277. Is t composite?
False
Let s be -3 - (-4)/(4 + -3). Let d(t) = 259*t. Is d(s) prime?
False
Suppose -3 = -5*f + 3*c, 2*f - c = -f + 5. Is 166*(f/(-6) - -1) a composite number?
False
Let q be 2/1 - (-6 + 0). Let z be 530/q*(1 + 3). Suppose w - 3 = 5*b - z, -5*b - w + 268 = 0. Is b prime?
True
Let n(a) = -a**2 - 15*a - 5. Let z(w) = w**2 + 16*w + 5. Let i(p) = 2*n(p) + 3*z(p). Let h be i(-7). Let u = 109 + h. Is u a prime number?
True
Let s = -73 + 155. Is s prime?
False
Let q = 36 + 1. Is q composite?
False
Suppose 4*x - 4*q + 48 = 632, 0 = -4*x - 2*q + 602. Is x a prime number?
True
Is 473 + 2/2 + 4 + -7 a composite number?
True
Let z = 319 + -228. Is z + 0*(-3)/(-6) a prime number?
False
Is (-5015)/(-20) + (-1)/(-4) a composite number?
False
Suppose -131 = -5*h + 54. Let z(k) = k + 2. Let p be z(5). Suppose -p*b + 6*b = -h. Is b prime?
True
Let l be 3 - -10 - (2 - 4). Let p = l - 5. Is p prime?
False
Let i = 1 + 2. Suppose i*a + a = 16. Is (10/a)/((-1)/(-22)) a prime number?
False
Let h be (-1*1)/(8 - 9). Is h/(2/(-106)*-1) prime?
True
Suppose 0 = 2*d + 2*d. Let l = 0 + d. Suppose -208 - 959 = -5*t - 4*u, 3*t + u - 703 = l. Is t a composite number?
True
Let v(j) = 233*j - 7. Is v(6) composite?
True
Suppose 5*w - 2822 = -347. Is w - ((-8)/2 - -2) prime?
False
Let d be -15*((-16)/(-6) + -3). Suppose 51 = d*t - 1004. Is t prime?
True
Suppose 0 = 5*c - 7*c - 12. Let m = c - 1. Let w = 20 + m. Is w prime?
True
Suppose -7*d + 12 = -4*d. Suppose d*a = a + 1659. Is a a composite number?
True
Let x = 6 - 0. Let i(c) = c**3 + 3*c**2 + 7*c + 1. Is i(x) composite?
False
Suppose -s + k = -4*k - 38, 0 = -5*s + 3*k + 212. Is s prime?
True
Let v = 0 + 2. Suppose 0 = v*l - 4*l + 4. Suppose l - 13 = -j. Is j composite?
False
Let d = 5611 + 738. Is d a composite number?
True
Let j(w) = 6*w**2 + w - 4. Suppose -2*c - 4 = -2*v, -v - 22 = 3*c + 4*v. Let a be j(c). Suppose 0 = -4*x + p + 88, 0*p = 4*x + p - a. Is x composite?
True
Suppose -2*y + 164 = 4*d + y, 2*y = 2*d - 68. Let r = d + -25. Is r composite?
False
Let f(n) = 2610*n**3 - n**2 - n + 1. Is f(1) prime?
True
Let x be (-136)/2 - (2 + -3). Let a = x - -134. Is a composite?
False
Suppose -2*i = b + 2, 4*b - 2*i = i + 47. Is (3 - 5)/(b/(-388)) a composite number?
False
Let l = 3 + 15. Let d = l + 3. Is d/(0/(-2) - -1) a composite number?
True
Let u = 6 + 0. Let o = 57 - 54. Let s = u - o. Is s a composite number?
False
Let i = -72 + 109. Suppose -5 - i = -2*q. Suppose -c = -q - 12. Is c composite?
True
Suppose 4*a - 34 = 50. Is a a composite number?
True
Let v(a) be the second derivative of -5/3*a**3 + 1/2*a**2 + 0 - 3*a. Is v(-2) a prime number?
False
Let r(z) = -z**3 + 10*z**2 - z - 5. Is r(9) a prime number?
True
Let b(c) be the second derivative of -3*c**3/2 - 4*c**2 + 3*c. Is b(-7) a prime number?
False
Suppose 6*z - 1328 = 2212. Suppose 0 = 4*y + 5*i - 1154, y - 4*i - z = -y. Is y prime?
False
Let n = -231 + 400. Suppose -x + 38 - 7 = z, -5*x + n = -2*z. Is x composite?
True
Let o(p) = 