 - 5*u**2/2 - 2*u. Let a be g(5). Let k = 87 + a. Is k composite?
False
Suppose -4*h + 1413 = -487. Let m = h - 284. Is m composite?
False
Let b(n) be the first derivative of 2*n**3/3 + 5*n**2 + n - 1. Let x be b(-8). Let z = x - 6. Is z a prime number?
True
Suppose 0 = -2*c - c + 501. Is c a prime number?
True
Suppose 3*t = 5*t - 296. Is 4*(-2)/(-8) + t composite?
False
Let b = -15 - -10. Let l(v) = -8*v + 3. Let t be l(b). Suppose -o - 8*n + 3*n + 27 = 0, n = -o + t. Is o composite?
False
Suppose 2*q = 5*z + 24, -5*q + q + 30 = -z. Is ((-1)/4)/(q/(-5348)) a composite number?
False
Let s(y) = -y**3 + y**2 - y + 9. Let d = -6 - -6. Let q be s(d). Let k = q - 6. Is k prime?
True
Let r = 5 + -9. Let c(i) = -2*i**3 + i**2 + 6*i + 1. Is c(r) a prime number?
False
Let m(i) = 5*i**3 - 6*i - 7. Let w(t) = 6*t**3 - t**2 - 7*t - 7. Let k(q) = -5*m(q) + 4*w(q). Is k(-6) a composite number?
False
Suppose -2*y - x + 5*x = -2330, 0 = 4*x + 16. Is y a prime number?
False
Suppose 0 = 3*z - 7*z + 2660. Suppose -r + g + z = 4*r, -5*r + 665 = -2*g. Is r composite?
True
Let b(x) = 82*x**2 + 2*x - 13. Is b(5) a prime number?
False
Suppose -3*n + 380 = v, -4*n - n + 3*v + 652 = 0. Let x = n - -33. Is x prime?
False
Is (-4)/(-7) - (-15570)/70 a composite number?
False
Let r(n) = 74*n + 5. Is r(6) prime?
True
Let o be (-9)/(-3)*(3 - 2). Suppose 72 = -v - o*v. Let w = v + 31. Is w a prime number?
True
Let a = -110 - -258. Suppose -5*q - 2*o + 4 = -11, 30 = q - 5*o. Suppose -q*j + j = -a. Is j a prime number?
True
Let n be 2/(-2*3/(-9)). Suppose k = -4*z + 31, 0*k - 172 = -5*k - n*z. Is k a prime number?
False
Suppose 2*d + 127 = t, 3*t - 2*d + 13 - 378 = 0. Is t a composite number?
True
Let r(t) = 2*t**2 + 9*t - 1. Let s(f) = -f**3 - f - 1. Let j be s(-2). Let u be r(j). Let k = 361 - u. Is k a prime number?
False
Let m(r) = -2*r**2 + 9*r - 5. Let a(u) = u**2 + 1. Let o(s) = 6*a(s) + m(s). Is o(-6) a prime number?
False
Suppose 3*v = z + 6*v - 5444, -10873 = -2*z - v. Is z a composite number?
True
Let j(s) = -38*s - 97. Is j(-30) composite?
True
Let k be (-854)/(-8) + 3/12. Suppose -101 = 4*c + k. Let w = c + 73. Is w a prime number?
False
Let m(s) = -s**2 + 10*s + 6. Let l(c) = -c + 16. Suppose -3*d + 0*d - x = -18, 0 = -d - 2*x + 1. Let g be l(d). Is m(g) prime?
False
Suppose -2*s = -0*s. Suppose s*p = p - 3. Suppose w - 14 = -2*m, 0 = -0*m - 5*m + p*w + 57. Is m a prime number?
False
Suppose -2*m = 2*m - 4*g - 428, -2*m - 2*g = -222. Let t be 1/((-123)/(-62) + -2). Let x = t + m. Is x prime?
True
Suppose -2*j - 4*s = -53 - 23, -223 = -5*j + s. Let w(k) = 3*k + 1. Let z be w(2). Let n = j - z. Is n prime?
True
Let m = -7 + 28. Suppose -3*h - 9 = 3*l, h - 4*h = -3*l - m. Is h a composite number?
False
Suppose -2*x - 2*x = 0. Suppose -5*z - 3*d = -619, x = z - 6*z + 3*d + 601. Is z prime?
False
Suppose 257 - 2742 = 5*g. Let z = -162 - g. Is z a prime number?
False
Let h(d) be the third derivative of 0 - 1/120*d**6 + 7/60*d**5 + 1/12*d**4 + 2*d**2 + 7/6*d**3 + 0*d. Is h(7) prime?
False
Suppose 0 = 2*g + g - 75. Suppose -2*s - g + 279 = 0. Is s a prime number?
True
Suppose 16 = -4*y + 88. Suppose 0 = -y*j + 23*j - 105. Is j composite?
True
Is 2/3 - 31662/(-54) composite?
False
Let o = -4 + -1. Let r(g) = -6*g + 7. Is r(o) a prime number?
True
Suppose -5*w + 10 = 4*s - 0*w, 2*w = 5*s + 4. Suppose -2*g - 3*b + 3 + 56 = s, 2*b + 157 = 5*g. Is g a prime number?
True
Suppose -5*v = 3*l - 512, 890 = 5*l - 0*v + v. Is l composite?
False
Let w(d) = -68*d - 3. Is w(-2) composite?
True
Suppose -2*f = 3*q - 3*f - 27, 3*q - 4*f - 18 = 0. Let a(r) = r**2 - 10*r - 12. Let t be a(q). Is -3*2/t*38 composite?
False
Suppose 1 = -2*z + 11. Suppose z*t + 2*m = 199 + 38, -m = -2*t + 93. Is t a composite number?
False
Suppose 8*x = -6870 + 26158. Is x composite?
False
Suppose -5*j + 3 = -5*a + a, 2*j + 31 = -3*a. Let u(g) = -48*g - 12. Let i(k) = 48*k + 13. Let d(l) = 5*i(l) + 6*u(l). Is d(a) composite?
True
Let s = 326 - 77. Is s composite?
True
Let k be 2 + (0 + -202)/(-2). Let g = -472 + 695. Suppose 3*p - g = 4*b, -3*b = -4*p + k + 199. Is p a composite number?
True
Let b(c) = c**2 + 7*c + 8. Let g be b(-6). Suppose g*u - 83 = 75. Is u prime?
True
Suppose -11 - 354 = -5*y. Let n be (-1)/(y/37 - 2). Is n*(1 + 1 + 1) a prime number?
False
Let r be ((-6)/(-15) - 1)*-5. Let k be 2 + r*5 + 0. Let y = -4 + k. Is y a prime number?
True
Let g(z) = -z + 5. Let s(c) = 2*c - 11. Let b(x) = -7*g(x) - 4*s(x). Let w be b(7). Suppose -w*f = 2*f - 276. Is f a composite number?
True
Let s(j) = j**3 - 5*j**2 + 5*j - 6. Let n = 2 + 4. Let r be 34/n + (-4)/6. Is s(r) a prime number?
True
Let m = -2 - -3. Let i(a) be the first derivative of 3*a**2 + 1. Is i(m) a prime number?
False
Let i(f) = -f**2 - f - 1. Let m(q) = q**2 + 2*q + 81. Let x(b) = 2*i(b) + m(b). Suppose -2*l + 5*v + 5 = -4*l, 5*l + 4 = -4*v. Is x(l) a prime number?
True
Suppose 2*u = 5*s - 1615, -348 = 5*s + u - 1963. Is s a prime number?
False
Let r be (3/2)/(8/(-48)). Let s(c) = -c**3 - 7*c**2 + 12*c - 1. Is s(r) composite?
False
Suppose -46*m + 43*m = -6141. Is m prime?
False
Let t(o) be the first derivative of -4/3*o**3 - 1/2*o**2 + 1 - o - 1/4*o**4. Is t(-4) composite?
False
Let d(u) = u**3 - 14*u**2 + 2. Let q be d(14). Let r(g) = 5*g**3 + 2*g**2 + 3*g - 3. Is r(q) composite?
True
Let g be 4*1/((-2)/4). Let w = 3 - g. Is w prime?
True
Is 1/(7094/(-1774) + 4) a prime number?
True
Let w(t) = -32*t + 31. Is w(-9) a prime number?
False
Suppose 14*i = 16*i + 18. Let q(l) = 6*l**2 + 3*l + 8. Is q(i) a prime number?
True
Suppose -a + 109 = l, 0*a - 2*l + 329 = 3*a. Is a a composite number?
True
Let s(t) = t**3 - 9*t**2 + 8*t + 2. Let f be s(8). Suppose v - f + 1 = 0. Is v/((-1)/(-142)) + 0 a composite number?
True
Let b = -24 + 42. Is 4/b - (-3423)/27 a prime number?
True
Suppose 4*d = 30 + 4510. Is d a prime number?
False
Let p(k) = -10*k + 7. Is p(-5) composite?
True
Let m(v) = v - 3*v + 7 + 3*v + v. Is m(7) composite?
True
Suppose -2*q - 20 = 2*j - 7*j, -4*q = 0. Let o(b) = j*b + 54 - 3*b + 73. Is o(0) a prime number?
True
Let p = 260 + 1541. Is p prime?
True
Suppose -8*q + 4*q + 23 = 5*f, -2*q = f - 19. Let j(v) = -v**2 + 16*v + 3. Is j(q) a composite number?
True
Is ((-8)/(-12))/((-2)/(-3471)) composite?
True
Suppose 0 = -4*p + 4*m + 3720, -m - 4640 = -5*p - 6*m. Is p composite?
False
Let d(n) = 2*n - 4*n + 2*n - 2*n. Let g be d(3). Is 373/7 - g/(-21) a composite number?
False
Let v be 0 - (-3 - (-27)/(-3)). Is (6/v)/((-1)/(-266)) composite?
True
Let k = -182 + 129. Let h be (3 - k/4)*4. Suppose 9*n = 4*n + h. Is n a prime number?
True
Let s = 4 + 0. Suppose -3*z + 1 = -m - 4, 0 = -s*z + m + 8. Is z a prime number?
True
Let m = 8 + -9. Let a(k) = -179*k. Is a(m) composite?
False
Let h be (12/(-8))/((-9)/12). Suppose -h*b = -3*b. Suppose b = o - 5*o + 76. Is o composite?
False
Let m(o) = 5 - 8*o - 6*o - 9*o + 5*o. Is m(-7) composite?
False
Suppose 1598 = g + 240. Suppose -2*d = -4*d + g. Is d a composite number?
True
Let n = 13 - 80. Let h = -2 - n. Is h prime?
False
Let g(q) = -3*q**2 - 13*q - 12. Let d(l) = l**2. Let h(x) = -4*d(x) - g(x). Is h(11) composite?
True
Suppose -2*b + 557 = 41. Suppose 3*z = -3*u + 369, -2*u + b = -0*u - z. Is u a composite number?
False
Suppose 7 = -3*v - 2. Let a be (-23 + 3)*v*1. Suppose -54 = -3*r - 4*t, 4*r = r - 2*t + a. Is r composite?
True
Let r(h) = 4*h**2 + 11*h + 8. Is r(-9) composite?
False
Suppose -5*p = 5*a - 675, 4*p + 104 = 2*a + 632. Is p prime?
False
Let h = 239 + 264. Is h a prime number?
True
Suppose 3*f + 13 + 2 = 0. Let d = f + 6. Is 130 + d + -1 + -1 a prime number?
False
Let h(v) = -35*v**2 - 3*v - 5. Let d(m) = -17*m**2 - 2*m - 3. Suppose -3*k + 3 = 3*s + k, -5*k = s + 10. Let l(x) = s*d(x) - 3*h(x). Is l(1) composite?
False
Let i(p) = 20*p + 2. Let n be i(-4). Suppose 0 = 2*d - 513 + 127. Let w = d + n. Is w a composite number?
True
Let v(t) = -t**3 + 9*t**2 - 2*t + 13. Suppose -4*w = -5*w + 9. Let s be v(w). Is -3 - (-155 - (s - -2)) a composite number?
False
Let f = 5 + -3. Suppose 0 = -f*i - i + 12. Is 2/i - (-138)/4 prime?
False
Suppose 17 = 5*v + 7. Suppose w = -v*w + 135. Let x = w - -4. Is x a composite number?
True
Suppose -n + 3*d = 2, -2*n + 5*d = 2*n - 6. Suppose n*f =