**2. Let s(j) = -k(j) + 2*m(j). Is s(-9) a prime number?
True
Let s = 14 + -12. Suppose s*z - 29 = 143. Is z composite?
True
Let f = -2067 - -4570. Is f prime?
True
Let q = 7828 - 3997. Is q composite?
True
Let s be -4*((-103)/2 + 1). Suppose 0 = 4*v + 2*m + 364, 0*v - 5*m = 2*v + 198. Let h = v + s. Is h a composite number?
False
Let b = 2 + -11. Let q = 3 + b. Let g(d) = 2*d**2 + 5*d + 5. Is g(q) a prime number?
True
Suppose 0 = -2*y - 2*y - 264. Let b = 43 + y. Let h = b - -36. Is h a composite number?
False
Let w(p) = -3*p - 9. Let d(l) = l**2 - 4*l + 3. Let j be d(2). Let s(c) = c + 1. Let b(x) = j*w(x) - 12*s(x). Is b(-2) composite?
True
Suppose -14 = -4*r + 2. Let i = r - -4. Suppose 2*l = -2*b + b + 10, -i = -b - 3*l. Is b prime?
False
Let h be (3 - (-3 + 34))*-4. Let g = 37 + h. Is g a composite number?
False
Let y be 12/(1 + -3) - 2. Let t(g) = g**3 + 9*g**2 + 7*g - 9. Let i be t(y). Is (-7)/(i - 4/(-5)) a composite number?
True
Suppose 198 = 4*i + 34. Let c(g) = -18*g + 17*g - 27*g - 4 - i*g. Is c(-3) composite?
True
Suppose -2*q - 7380 = -w - 3*w, 4*q = 16. Is w composite?
False
Let o be (-2)/(-2)*(0 - -2). Suppose -14 = -o*r - 4. Suppose -2*i - 240 = -r*v - 7*i, 3*i = 2*v - 101. Is v a composite number?
True
Let g(i) = i**2 + i + 2. Let t be g(-8). Let h = t - 9. Is h prime?
False
Suppose -198 = 3*q - 1635. Suppose 5*b - 7*a - q = -4*a, -2*a = 5*b - 464. Is b prime?
False
Let v(x) = 76*x**3 - 2*x**2 - x - 2. Suppose -8 = -4*j + 3*q, -3*j - 2*q - 4 = -5*j. Let w be v(j). Suppose w = -2*g + 6*g. Is g prime?
True
Suppose 4*u + 2 = -4*h + u, 4*h + u = -6. Let r be (-2)/(h*(-3)/(-1032)). Suppose -28 = -4*b + r. Is b a prime number?
False
Let b = 2 - 4. Let c be 0/(b + 0 + 3). Suppose c*f - 4*s - 242 = -2*f, 3*f - 3*s - 354 = 0. Is f a composite number?
True
Suppose -5*x + 25 = 5*z, 5*z - 3*x - x - 7 = 0. Suppose -46 = -z*b - 0*w - w, 4*w = 4*b - 56. Suppose 54 - b = 3*y. Is y a composite number?
False
Let i(r) be the third derivative of r**8/1120 - r**5/60 + r**4/12 + 3*r**2. Let z(k) be the second derivative of i(k). Is z(2) composite?
True
Is (114/(-9))/((-12)/18) a prime number?
True
Let y = -9627 - -18992. Is y a prime number?
False
Suppose -4*v = -v. Suppose 3*q + 2*s - 239 = v, -398 = -5*q - 0*s - 3*s. Is q a composite number?
False
Suppose -90 = -h - h + 4*p, p = 2*h - 78. Is h a composite number?
False
Suppose -4*y + 0*y + 2989 = -3*h, 0 = 2*y - 5*h - 1477. Is y a composite number?
False
Suppose -s - b + 54 = 4*s, -5*s - 5*b = -70. Is ((-16)/20)/((-4)/s) prime?
True
Suppose -o + 4*a + 183 = 0, 5*o - 510 = -5*a + 280. Is o a composite number?
False
Let j(a) = 364*a - 5. Is j(3) a prime number?
True
Let c(g) = g**3 - 4*g**2 + 7*g + 2. Let j(v) = 3*v**3 - 8*v**2 + 15*v + 4. Let d(l) = -5*c(l) + 2*j(l). Let f be d(-5). Is ((-156)/20)/(f/10) prime?
False
Suppose 4*k + k - 675 = 0. Suppose -2*f - k = -6*f + a, 0 = 4*f + 4*a - 160. Is f a composite number?
True
Suppose -l + 12 = 4*i - 5, 5*l = -5*i + 40. Suppose -l*h = -2 - 18. Suppose -h*w - 254 = -2*p, w + 0*w = -2*p + 264. Is p a prime number?
True
Let t be 4/((-4)/3) + -23. Let r = t - -91. Is r composite?
True
Suppose 3*l + l = 16. Suppose -3*i = -2*i + 5*n + 7, -5*i - l*n = -7. Let r(j) = 28*j + 1. Is r(i) a prime number?
False
Suppose 10*z - 12*z = 412. Let b = z - -547. Is b composite?
True
Is (-1 - -1)/(-4) + 251 prime?
True
Let j be (-210)/4 - 1/(-2). Is (-3)/(6/j) + -1 prime?
False
Let o = 302 + 5. Is o a composite number?
False
Let o be 1 + -4*(-3)/6. Suppose -o*v - 9 = 2*l + l, 0 = 4*l - 4*v - 28. Is l/(-4)*-46 + -2 a composite number?
True
Let g = -1416 + 940. Let n = -8 - -17. Is n/(-15) - g/10 prime?
True
Is -9 - -8 - (-40 + 0) a composite number?
True
Let z(m) = 64*m**2 + 11*m + 2. Is z(5) a composite number?
False
Let t(s) be the third derivative of -s**4/24 + 5*s**3/6 + s**2. Is t(-6) a prime number?
True
Let q be (4/(-10))/((-6)/(-420)). Let h = -1 - q. Let c = h - -64. Is c prime?
False
Suppose -25*f + 17*f = -8440. Is f composite?
True
Suppose 0 = -8*s - 8*s + 20144. Is s prime?
True
Suppose 0 = -4*z + m + 32, -5*m + m = 0. Suppose 6*t - z*t = -298. Is t composite?
False
Suppose 0 = -y - 5*j - 7, 6*y - 3*y - 2*j = 13. Suppose 5*a - 20 = 0, -5*q - 3*a + 76 = a. Suppose -6 = -y*u + q. Is u a composite number?
True
Let x(q) = -q**3 + 8*q**2 - 4*q + 6. Let n be x(4). Is (-1937)/(-9) + (-12)/n a composite number?
True
Let d(q) = q**2 - 2. Let y be d(-2). Let z be y/(-3) + (-6)/(-9). Suppose z*m + 4*m = 148. Is m a composite number?
False
Let d = 204 + 83. Is d composite?
True
Is -1 + (-2 + -1 - -645) prime?
True
Let x(m) = -16*m - 3. Suppose 15 = 3*p - 0*p. Let n be x(p). Is (1 + -3)/(2/n) a prime number?
True
Let f(a) = -2*a**2 + a + 3. Let d be f(5). Let t(w) = w**2 - 2*w + 2. Let n be t(3). Let q = n - d. Is q a prime number?
True
Let i(z) = -z**3 + 14*z**2 + 9*z + 5. Is i(11) prime?
True
Is 3/(-12)*0 - -299 a composite number?
True
Suppose 0 = -0*q + q. Suppose q = 3*x - 6*x - 132. Is ((-2)/(-2))/((-4)/x) a prime number?
True
Let w(b) = 4 - 4 + 1 - 2*b. Is w(-5) prime?
True
Let d(g) = g**2 - 15*g + 1. Is d(-11) composite?
True
Let k be (14/8)/((-1)/(-20)). Suppose 4*f + f + 10 = 0. Is (f + 1)/((-1)/k) prime?
False
Let i(k) = 3019*k + 3. Is i(2) a prime number?
False
Let a(d) = d + 13. Let k be a(-11). Suppose 0 = -k*i - 3*i + 265. Is i a composite number?
False
Suppose -3*w + 3*b + 939 = 0, -b = 2*w - 2*b - 630. Is w composite?
False
Let u = -6 + 15. Let l(y) = 16*y + 5. Is l(u) a prime number?
True
Suppose -4*p = -2*f + 6, 2 = 5*f + 17. Let u = p - 1. Is ((-31)/4)/1*u a composite number?
False
Suppose 3*s = -0*s + 615. Suppose -4*z + z = -n - 659, -z = -4*n - s. Is z a composite number?
True
Suppose -4*x = 3*b - 3424 + 461, -2*b = -2*x + 1464. Is x prime?
False
Is ((-8)/(-4))/(-2)*-2053 a composite number?
False
Let u = 415 + -224. Suppose 4*j = 3*j + u. Is j composite?
False
Suppose 0*s - 12 = 4*s, 0 = 3*h - s - 15. Suppose 143 = c + h*f, -2*f - 825 = c - 6*c. Is c a composite number?
False
Let d be -1*3*(-107)/3. Let m = 226 - d. Is m composite?
True
Suppose -3*z + 32 = -7*z. Is (-3)/(-4) - 434/z a prime number?
False
Let x be (3 + 1)*(2 - 1). Suppose -8*g = -x*g - 172. Is g composite?
False
Suppose -2*q + 5*l = -334 - 3951, -l = 2*q - 4315. Is q a prime number?
False
Suppose 2*g + 2*g = 5*l - 56, 0 = 4*l + 4*g - 52. Is ((-2)/(-4))/(l/6312) composite?
False
Is (-885)/(-30)*(1 + 45) prime?
False
Let u(k) = k**3 - 6*k**2 + 3*k + 2. Let h be u(6). Let q(l) = -l**3 - 8*l**2 - 15*l + 17. Let f be q(-7). Let d = f - h. Is d composite?
False
Let v(w) = -24*w**3 + 2*w**2 - 5*w - 4. Is v(-3) composite?
False
Let q = 3 - 0. Suppose 0 = q*n + 3 - 12. Suppose 5*w + 26 = 3*x + 102, n*w + 3*x = 36. Is w a composite number?
True
Suppose -70 = -3*r - 2*r. Suppose -5*s + 5*c - r - 11 = 0, 2*s + 30 = -3*c. Is 3/(-1)*30/s prime?
False
Suppose l + 6 = 4*l. Is (2/4)/(l/340) a prime number?
False
Let o be 23 + (3 - (-3 + 7)). Suppose 0*m = m - o. Is m a composite number?
True
Suppose 3*k = 4*m - 2*k, m - k = 1. Suppose -z + 0*z = -b - 10, m*z - b - 62 = 0. Is z prime?
True
Let t(r) = -r**3 + 7*r**2 - 17*r - 8. Is t(-7) a prime number?
True
Is 317 - (-2 + 2/1) prime?
True
Suppose w - 4*v - 282 = 0, 3*w = -v + 5*v + 886. Is w prime?
False
Let b(h) = 10*h**2 + 6*h - 3. Is b(4) composite?
False
Suppose -3*i = -4*t - 937, -5*i + 1605 = 3*t - t. Is i a prime number?
False
Suppose 0*s - 2*s = 2*a - 68, -3*s = -9. Is a a composite number?
False
Suppose -3*u + 317 = 92. Let r = 118 - u. Is r composite?
False
Let d be 6/3 - -3 - 2. Suppose d*f + 83 = -85. Let o = f + 121. Is o composite?
True
Suppose 4*v + 4 = -3*f, -5*v + 3 = 4*f - 8*v. Is 3/3 + (f - -81) a prime number?
False
Let t = -446 - -685. Is t composite?
False
Let r(y) = 2*y**2 + 9*y - 10. Is r(13) prime?
False
Suppose 3*j - 11 = -5. Suppose -14 - 52 = -j*r. Let l = -19 + r. Is l prime?
False
Let u(r) = 1032*r + 5. Is u(3) a prime number?
False
Suppose -4*w = 3*w - 19131. Is w prime?
False
Suppose 0 = -5*l + 3*z - 87, -2*z + 4 = -6*z. Let t be (l/4)/((-6)/8). Let p = t + 89. Is p composite?
True
Let x = -6 - -10. Let w = 3 + x. Suppose -w*m = -4*m - 465. Is m a composite number?
True
Let z = -140 + 1537. Is z a prime number?
Fa