 + 2. Let x be v(6). Suppose -428 = -3*o - x. Let j = 29 + o. Is j composite?
True
Let r = -752 - -1153. Is r a composite number?
False
Suppose -l + 378 = r, -5*r = -4*r - 2*l - 375. Is r a prime number?
False
Let z be -16 - ((-36)/3)/(-4). Let q = 40 + z. Is q a composite number?
True
Suppose -2*x - 2092 = -6*x. Is x a composite number?
False
Suppose 7*t - 74 = 6*t. Is t a prime number?
False
Let m(s) = -16*s - 1. Let x be m(1). Let t = x - -60. Is t prime?
True
Let l = 6 + -2. Suppose j + 20 = 2*u + 5, 0 = -l*u - 4*j. Suppose -w + u*w = -4*r + 28, -5*r + 7 = w. Is w prime?
True
Let z(c) = -2*c**3 + 9*c**2 + 5*c - 11. Let l be z(8). Let x = l - -786. Is x prime?
True
Let v = 0 - -2. Suppose n - v = -3. Let k(l) = -77*l. Is k(n) composite?
True
Suppose 2*x = -6*i + 5*i + 2841, -5*x + 3*i + 7130 = 0. Is x composite?
False
Suppose -4*b - 2*u = -82, b + 0*b - u = 28. Let i = b + -20. Is i a composite number?
False
Let z(o) be the first derivative of -o**4/4 - 7*o**3/3 + 9*o**2/2 + 6*o - 1. Let t be z(-8). Let b(v) = -2*v**3 + v**2 + 1. Is b(t) a composite number?
True
Is (0 - 2) + (1/1 - -1218) a composite number?
False
Suppose 5*l = 4*p + 1772, l + 4*p = 3*l - 716. Let q = -187 + l. Let v = -71 + q. Is v a composite number?
True
Let a(z) be the second derivative of 12*z**4 + z**2/2 + 4*z. Is a(-1) prime?
False
Let r = 237 + 349. Suppose -5*n + 3*n + r = 0. Is n prime?
True
Is (-7028)/(-6) + (-2)/(-24)*-4 a prime number?
True
Suppose 0 = 4*x - 2*l - 1680, 3*l + 7 - 1 = 0. Is x a prime number?
True
Let c(l) = -5*l**2 - 7*l - l**2 + l**2 + 8 + l**3. Let n be c(6). Suppose 4*q - i = -0*i + 79, -5*q = n*i - 115. Is q a prime number?
False
Let w = 249 - 420. Let g = 88 - w. Is g a prime number?
False
Let a = -3 - -5. Suppose 0*c + a*c - 50 = 0. Is c a prime number?
False
Let x = 60 - 30. Suppose 0 = 3*o - 5*o + x. Suppose 0 = 4*n - 13 - o. Is n a composite number?
False
Suppose -2099 = -3*x + 4*i - 0*i, -1398 = -2*x + 4*i. Is x prime?
True
Suppose -7*g + 2*g = -425. Suppose 3*f + g = y + 429, -5*y - 340 = -3*f. Is f composite?
True
Let h(v) = 4*v**2 - 2*v + 3. Let p(y) = y**3 + 4*y**2 - 4*y - 1. Let m be p(-5). Let z be (-2)/m - (-8)/3. Is h(z) a prime number?
False
Let z be 6/(-2) - 219*-1. Suppose -z = -4*j + 2*c, -j - 4*c + 59 = -2*c. Is j a prime number?
False
Let r(n) = n**3 - 10*n**2 + 9*n. Let s = 28 + -19. Let l be r(s). Suppose -4*f = -l*f - 124. Is f a prime number?
True
Let c be 4*-2*3/(-12). Suppose -a = -4*f + 24, 2*f - 4*f + c = -3*a. Is f a composite number?
False
Let t = -40 + 16. Let z = 71 - t. Suppose 4*y = -v + 6*v + 168, 0 = -3*y - 4*v + z. Is y a prime number?
True
Let k(n) = -n**2 - 5*n - 2. Let d be k(-3). Let c(f) = f + 8. Let r be c(9). Let v = r + d. Is v prime?
False
Let p = -14 - -8. Is ((-6)/p)/((-2)/(-74)) prime?
True
Suppose -q - 30 = -337. Is q composite?
False
Let m(q) = 0 + 2 + q + 38*q**2 + q. Let l be m(-2). Is l/14 + (-12)/(-42) a composite number?
False
Let m(w) = 5*w - 2. Let s be m(-3). Let n be (-3 - s)*(38 - 0). Suppose -n = -3*u - u. Is u a prime number?
False
Let a = -943 - -1412. Is a a composite number?
True
Let a(f) be the first derivative of -f**5/24 - f**4/24 + f**3/3 + 1. Let x(p) be the third derivative of a(p). Is x(-2) prime?
False
Suppose 32 = -4*a + r + 3*r, 5*a = 3*r - 36. Let z(n) = 5*n + 1. Let q be z(a). Let b = 43 + q. Is b prime?
False
Let w(j) = 2*j**2 - 6*j + 5. Let m(i) = -2*i**2 + 7*i - 6. Let p(x) = 6*m(x) + 7*w(x). Let n(d) = d**3 + 2*d**2 - 1. Let r be n(1). Is p(r) prime?
True
Suppose -2*b + 2 = -5*v - 34, -4*v - 3*b - 15 = 0. Let z = 14 + v. Is ((-84)/(-16))/(2/z) composite?
True
Let i = 1613 - -6996. Is i composite?
False
Suppose -2*d = 2*d + 40. Let k = 14 + d. Suppose 0 = 3*q + k*h - 42, 4*q = h - 17 + 54. Is q prime?
False
Let f = 836 + -529. Is f a composite number?
False
Let d(o) = -o**2 + 9*o + 2. Is d(8) composite?
True
Let f(s) = -s**2 - 3*s + 14. Let u be f(-13). Let o = 165 + u. Is o prime?
False
Let g = 8 - 5. Suppose -455 = -g*j - 2*j. Is j a composite number?
True
Let d(k) = k + 2. Let g be d(5). Suppose 3*v - 23 = g. Is v a prime number?
False
Let k = -7 - -9. Suppose 28 = k*j - 4*j. Let p = j - -21. Is p composite?
False
Let h(q) = 14*q**2 - 2*q + 1. Suppose 4*c = 3*o - 15, -5*o - 5*c - 11 = -36. Suppose -5 = -0*t - o*t. Is h(t) prime?
True
Suppose -3*q + 12 = 3*k - 12, -5*q + 24 = k. Suppose -5 = -k*t + h, -t - 2*h = -3*t + 10. Suppose 68 = -t*a + 2*a. Is a composite?
True
Let d(o) = 3*o**2 - 2*o - 3. Let m = -4 - -8. Is d(m) a composite number?
False
Suppose 1 = 3*i - 11, -3*z - 3*i = -165. Is z a composite number?
True
Let s be 14/10 + 2/(-5). Is (-4480)/(-12) - s/3 a prime number?
True
Let p = 13 - 8. Suppose -g = 5*w + 2*g - 16, 6 = p*w - 2*g. Is (w/(-4))/((-1)/12) a prime number?
False
Let i be (-2)/(-4)*2*5. Suppose 4*g = -5*n + n + 1240, i*n - 1546 = -g. Is n composite?
True
Suppose -7*c + 3*c - 24 = 0. Let f = c + -25. Let s = 75 - f. Is s a composite number?
True
Suppose -5018 = -4*d - 4*q + 2*q, d - 1253 = -2*q. Is d composite?
True
Let b be (-3)/(-1*2/2). Is (5/b + 0)*159 prime?
False
Suppose 4 - 1 = 4*s + 3*t, -5*s = 2*t - 2. Suppose -5*g + 8 + 12 = s. Suppose 5*r - 2*b = 73, -g*r - r - 5*b + 80 = 0. Is r composite?
True
Let s(a) = 25*a**2 + 6*a - 6. Is s(-7) prime?
False
Suppose -11*r + 17541 = -2*r. Is r a composite number?
False
Suppose -5*n + 0 = -5. Is (n - 102/(-9))*3 prime?
True
Suppose -3*c + 1334 = -334. Is c/6 - 3/(-9) a composite number?
True
Let t = 74 - -129. Is t a composite number?
True
Suppose -12 = -n - 3*i, 0 = -4*n - 5*i + 5 + 15. Suppose n = -b - 3*b + 104. Let a = 52 - b. Is a a prime number?
False
Let z(y) = -3*y**3 + 4*y**2 - y + 1. Let k(l) = 7*l**3 - 8*l**2 + l - 3. Let a(m) = -4*k(m) - 9*z(m). Let f be a(-5). Suppose -f*o + 105 = -0*o. Is o composite?
True
Let k(a) = a + 64. Let m(n) = -1. Let s(z) = k(z) - m(z). Let f be s(0). Let x = f - 43. Is x a composite number?
True
Let r = -17 + 28. Let u be r/(-3) - (-10)/15. Is ((-71)/u + 2)*3 composite?
True
Suppose 5*u + 738 - 3323 = 0. Is u a composite number?
True
Suppose 2*n + n = 0. Let h be n/3 + -2 - -9. Suppose -308 = 3*r - h*r. Is r a composite number?
True
Let k = -14 + 7. Let n(q) = -q**2 - 6*q + 7. Let y be n(k). Suppose 9*w - 4*w - 195 = -4*m, -5*w + 3*m + 160 = y. Is w composite?
True
Let x = -581 + 1368. Is x a composite number?
False
Let h = -167 + -3. Let k = h - -507. Is k a composite number?
False
Let r(b) = 4*b**3 + 8*b**2 - 5*b + 1. Let h be r(5). Let t = h - -487. Is t prime?
True
Let q(m) = -m + 1. Let s(d) = -5*d + 14. Let z(b) = -4*q(b) + s(b). Let l be z(6). Suppose p - 335 = -l*p. Is p a composite number?
False
Is (1/3)/((-1)/(-1185)) a composite number?
True
Suppose 0*l = -l - 2, 2*q + 2*l = 46. Suppose -2*n + n = -q. Is n a composite number?
True
Suppose x + 959 = 2*x. Is x prime?
False
Let g(c) = -c**3 - 7*c**2 + c + 4. Let h be g(-7). Is -5*(h + 36/15) prime?
True
Let d be -6*((-32)/6)/(-4). Let y(j) = -1 - 3*j + 3*j - 3*j. Is y(d) a prime number?
True
Suppose d = -0 - 3, -5*s + 170 = 5*d. Suppose -1 = -3*c - s. Is (-158)/4*c/6 composite?
False
Let y(x) be the third derivative of -5*x**4/24 + x**3/3 + x**2. Let n(s) = 4*s - 2. Let t(q) = -2*n(q) - 3*y(q). Is t(3) prime?
True
Let j = -10 - -5. Let h = j - -8. Suppose -3*u - 4 - 110 = -2*t, t + h*u = 57. Is t composite?
True
Let q(r) = -68*r - 13. Is q(-6) prime?
False
Let j = -121 - -60. Let b = j + 150. Is b a composite number?
False
Let u(i) = -i + 3. Let k be u(3). Let o(b) = b**3 + b - b**2 + k*b - 1 - 2. Is o(4) composite?
True
Suppose 0*s + 20 = 4*s. Let f(j) = 2*j**2 - 7*j + 4. Is f(s) a composite number?
False
Let i(g) = g**2 + g + 1. Let c be i(-2). Suppose m - 5*z = 201, m + c*z - 215 = z. Is m prime?
True
Let j(a) = 8 + 3*a - 4*a - 5*a. Let h be j(-7). Suppose 0 = -w - 5*d + h, -w + 1 + 57 = -3*d. Is w prime?
False
Let n(p) = -p**2 + 10*p. Let j be n(10). Suppose 3*v - 4*a = -v + 376, v - 5*a - 82 = j. Is v a prime number?
True
Let c(d) = -d**3 + 2*d**2 + 2*d + 7. Is c(-8) a composite number?
False
Let s(q) = q**2 + q - 3. Let g be s(-3). Suppose 0 = g*a - 5*t - 4, 2*a - 14 = -a - 5*t. Suppose -84 = -d - a*d. Is d composite?
True
Suppose -5*b + n + 1655 = 4*n, -2*b = -5*n - 662. Is b comp