**2 + 2*b - 3. Is j(p) prime?
False
Let m = -4 + 9. Is 2 - (m + 0)*-1 a composite number?
False
Let s(b) = 5*b**2 + 4*b - 5. Let l be s(-7). Suppose 3*v - l = -v. Is v prime?
True
Suppose 3*x = 3*s + 123, 0 = 4*x - 3*s + s - 172. Suppose 2 - 20 = 2*o + 5*g, 5*o - 4*g = -x. Is -23*(o/(-3) + -4) a prime number?
True
Let j = 171 - -322. Is j a composite number?
True
Let b = 334 - 119. Is b a prime number?
False
Let c be 1*(-13 - 2 - 1). Let k be (-27 - 2 - -2)*-1. Let l = c + k. Is l composite?
False
Suppose 0 = -4*l - 4*l + 7240. Is l a composite number?
True
Suppose 2*w + 2*u = -4, 5*w = 5*u + 9 + 21. Suppose x + 11 = w*z, 0 = -5*z - 2*x - 2*x + 21. Suppose -3*i + 25 = z*b, b - 3*i - i + 18 = 0. Is b a prime number?
True
Suppose -4*r + 1450 + 1090 = 0. Is r a composite number?
True
Let u(t) = -t**2 + 6*t + 5. Let r be u(7). Let x be 148/(-5) + r/5. Let b = 68 + x. Is b prime?
False
Suppose 0 = -l + q - 4, 0 = 2*l - 2*q - 2*q + 16. Let v = l - 0. Suppose -5*p = r - 31 + 1, v = 5*r. Is p a composite number?
True
Let w(d) = -d**3 - 2*d**2 + 1. Let z be w(-1). Let h(t) = -t + 191. Is h(z) composite?
False
Suppose -t - 4*g + 17 = -0*t, 6 = 3*t - 3*g. Suppose t = -v + 63. Is v a composite number?
True
Let a(w) = w**3 - 8*w**2 + 11*w + 3. Is a(13) composite?
False
Let r(p) be the third derivative of p**5/60 - 7*p**4/24 + p**3/3 - p**2. Let v be r(5). Is (v/(-10))/(4/50) a prime number?
False
Let q be ((-2)/4)/((-1)/2). Suppose q = 2*g - 7. Suppose -j + 314 = 4*y, g*j - j = -6. Is y a composite number?
False
Let i(q) = 32*q - 4. Let j be i(6). Suppose 0 = -0*l - 4*l + 12. Suppose 7*t = l*t + j. Is t a composite number?
False
Let j = -83 + 120. Is j a prime number?
True
Let k = 410 - -143. Let s be k + (-3 - (2 + -8)). Let g = -387 + s. Is g composite?
True
Let b = 80 - 56. Suppose 5*u = -5*v, -v - b = -5*u - 0. Suppose -2*d - 2*x + 27 = 1, -x = u*d - 58. Is d prime?
False
Let o(u) = -149*u - 4. Is o(-3) prime?
True
Let z be (-87)/(-27) - 4/18. Suppose -b + 2*p + 8 = -5*b, -4*b - 2 = -p. Let x = z + b. Is x prime?
True
Suppose q - 3 + 11 = 0. Let k be (-2)/q + (-486)/24. Let c = k - -34. Is c a prime number?
False
Let w(d) = 2*d**2 - 2*d + 9. Is w(5) a prime number?
False
Let r = -16 - -21. Let h = 1 + 4. Is 118/r + (-3)/h composite?
False
Suppose -2*a = -7 - 5. Let g be 1 - -2 - (-18)/a. Suppose -5*q = 3*r - 163, g = -2*r - 2. Is q composite?
True
Let w = -43 + 65. Is w a composite number?
True
Let h = 5855 - 1564. Is h composite?
True
Suppose -5*v - m + 2505 = 0, 4*v - 1882 - 122 = -m. Is v a prime number?
False
Suppose 2*q - 3*q - 27 = -4*z, -2*z - 4*q = 0. Let t(k) = k**3 + k**2 - k. Let s be t(0). Suppose s = -n + z*n - 185. Is n composite?
False
Let g(r) = 26*r. Let f be g(5). Suppose 0*d - f = -2*d. Is d composite?
True
Suppose 0 = -0*l - 2*l + 154. Is l composite?
True
Let s = -4 - -5. Is s/3 + (-1664)/(-12) prime?
True
Let x(u) = 27*u**2 - 13*u + 9. Is x(8) composite?
True
Let k(x) = x**2 - 6*x - 4. Let l be k(5). Let w = l - -14. Suppose -5*f - 4*b + 143 = 0, -7 - w = 4*b. Is f a composite number?
False
Suppose 0*a - 4*a + 52 = 0. Let c = -9 + a. Suppose -j - 3 = f - 17, 101 = c*j - 5*f. Is j composite?
False
Suppose -4 = -3*g + 5. Suppose -67 + 28 = -g*c. Is c composite?
False
Let c(n) = n**3 - 6*n**2 + 3. Suppose 28 - 4 = 4*l. Let r be c(l). Suppose 0 = -r*j + 5 + 7. Is j a composite number?
True
Let y(o) = -3 - 9*o - 2 + o. Let a(b) = -11*b - 39. Let z be a(-3). Is y(z) prime?
True
Let j be 3*(-12*2)/(-3). Suppose 7*q - j = 3*q. Is (5 + -12)/((-2)/q) prime?
False
Let s = -4 + 7. Is s - 10*(-13 - -1) a prime number?
False
Suppose 5*z = x - 0 + 12, 0 = 4*x - 3*z - 3. Let q(k) = 3 - k**x + 6*k**2 + 3*k**2 + 0*k**3 - 7*k. Is q(8) prime?
True
Let l = 275 - 134. Let m = -180 - -92. Let b = l + m. Is b prime?
True
Suppose -4*n = -0*z - 5*z - 712, 2*z = -4*n + 712. Is n prime?
False
Let d be (-63)/(-35) - (-1)/5. Is d/3 + 7819/21 prime?
True
Let p(w) = 159*w**2 + 2*w + 1. Is p(-1) composite?
True
Suppose -3*h - 647 = -4*h. Is h prime?
True
Suppose 3*b = -2*b + 215. Let g = 350 - b. Is g composite?
False
Let z(y) = 20*y**2 - y - 6. Is z(5) prime?
False
Is (-1)/4*1*-508 composite?
False
Is (-2006)/(-6) + (-8)/(-12) prime?
False
Let n(r) = 7*r**3 - 7*r**2 + 9*r - 9. Let b(m) = 3*m**3 - 4*m**2 + 5*m - 5. Let v(l) = -9*b(l) + 4*n(l). Is v(-7) a composite number?
True
Let s = 7 - -1. Let h be s/((-1)/1*-2). Let u = h - -6. Is u composite?
True
Let t(g) = 40*g. Let c(h) = -h. Let q(p) = 3*c(p) + t(p). Let x be q(-2). Is (5 + -4)/((-2)/x) a prime number?
True
Let l(u) = 6 - 3*u - u**2 + 0*u - 3*u. Let o be 1/(2/(-20)*2). Is l(o) a composite number?
False
Let i(r) = -r**3 + 10*r**2 - 9*r + 3. Let m be i(9). Suppose 0 = -m*p + 8*p - 290. Is p prime?
False
Suppose 3*f - 1046 = -335. Is f a composite number?
True
Is 12/(-60) - 466/(-5) a prime number?
False
Let g(n) = -6*n**3 - n**2 - 8*n - 2. Is g(-6) prime?
False
Let n be 15/6 + 2/4. Let h(g) = 10*g**2 - 3*g - 2. Is h(n) a composite number?
False
Is (-177 - (4 + 1))*(-1)/2 prime?
False
Suppose -4*p - 15 = -3*r - 1, -2*r + 12 = -4*p. Is (92 + 2)/(0 + r) composite?
False
Let h = 3070 - 2193. Is h composite?
False
Let o(j) = -138*j. Let m be o(-3). Suppose -5*l + 20 = 0, 4*f + 3*l + 38 = m. Is f a prime number?
False
Is ((-3350)/(-30))/((-1)/(-3)) composite?
True
Let p = -651 - -1130. Is p composite?
False
Let c be (-1 - (-2 - -2)) + 3. Let i(w) = w**3 - 5*w - c*w**2 - 3*w**2 + 0*w**3 + 7. Is i(6) composite?
False
Suppose -2*y - 451 = -j + 660, -4*j - y + 4489 = 0. Is j prime?
False
Let v(o) = 0 + 1 - 5*o + 0*o + 1. Is v(-7) a composite number?
False
Suppose -1016 = -4*s - 5*u, s - 2*u - 254 = 3*u. Is s a prime number?
False
Let m(z) = z**2 - 5*z - 8. Let h be m(6). Let o be (-2 - h)*(-2)/4. Suppose 0 = n - o*n + 4*u - 215, 2*n = 2*u + 420. Is n a composite number?
False
Suppose -2*d + 1 = -15. Suppose d = -u + 2*u. Let t = 41 - u. Is t composite?
True
Suppose -3*p = -4*i + 1327, -2*i + p + 2*p + 665 = 0. Is i composite?
False
Let n(l) = l**3 + 5*l**2 + 2*l + 5. Let z be n(-5). Let x be 51/15 + 2/z. Suppose 0*v + x*v - 39 = 0. Is v prime?
True
Let n(u) be the second derivative of u**4/6 + u**3/3 - u**2 - 3*u. Let g be n(-2). Suppose -g*l + 2*k + k + 163 = 0, -5 = -5*k. Is l composite?
False
Let g(b) = -22*b + 71*b - 4 + 1. Let w be 0 - 2*(-1 + 0). Is g(w) a composite number?
True
Let b be (2*1)/((-20)/(-30)). Is (b - 6 - -4)*58 a composite number?
True
Let t(o) = 2*o**3 - 14*o**2 + 8*o + 13. Is t(11) prime?
True
Let k(y) = -y**3 + 15*y**2 - 6*y + 5. Is k(6) composite?
False
Let r be (-3)/(9/6*-1). Is -1 - 7/r*-72 prime?
True
Let q = 917 + 1536. Is q a composite number?
True
Suppose m + 3*m - 4*q = -168, 10 = -5*q. Let r = -9 - m. Is r a composite number?
True
Suppose 3*t = u + 23, -4*u = -t - t + 12. Let m = 7 - t. Let x(d) = -45*d**3 + 1. Is x(m) composite?
True
Suppose 665 = w - 221. Suppose -s - s = -w. Is s a composite number?
False
Suppose -3 = -4*k + 3*k. Suppose -4*l - 150 = -6*p + 4*p, 3*p + 126 = -k*l. Is -2*(l/2 + 1) prime?
True
Suppose 102 = 3*z - 3*c, 3*z - 161 = -2*z + 2*c. Is z prime?
True
Suppose 4*i - 4493 = 2*s + s, 0 = 2*i - 3*s - 2245. Is i/36 - (-2)/(-9) composite?
False
Let i(z) = -z**3 + 5*z**2 - z + 5. Let v be i(5). Suppose 4*d + v = 8. Suppose -d*y = y - 195. Is y a composite number?
True
Let n(j) = -41*j - 13. Is n(-12) composite?
False
Let o be 2 + (-4)/((-6)/(-3)). Suppose -3*c - 2*c - 5*g + 135 = 0, o = -2*c + 2*g + 70. Is c composite?
False
Let l be ((-12)/3)/(1*-1). Let t(c) be the third derivative of c**6/120 - c**5/30 + 5*c**3/6 + c**2. Is t(l) composite?
False
Let x(m) = -11*m. Is x(-2) a composite number?
True
Suppose -2*c - v + 220 = -c, -c = -v - 226. Is c a composite number?
False
Let a = -777 - -1340. Let y = a - 400. Is y prime?
True
Suppose -1 = -2*z + 7. Let c(x) = 3*x**3 - 6*x**2 + 6*x - 5. Is c(z) a composite number?
True
Suppose 2*s + s + 4*o = 452, -s + 5*o + 176 = 0. Let l(x) = 16*x**2 - 2*x + 1. Let v be l(1). Let q = s - v. Is q a prime number?
False
Suppose w - 3*p = 5*w + 4, -10 = -w + 2*p. Is (-57)/(-3)*1*w prime?
False
Let p(f) = -3*f + 2. Let o be p(-3). Let x = o + -6. Suppose 0 = -x*v + j + 64, 4*j + 8 = -v + 25. Is v a composite number?
False
Suppose