2. Suppose -16 = -j*z + 143. Is z a composite number?
False
Suppose -3840 = -5*c - q, -8*q - 3101 = -4*c - 3*q. Is c a composite number?
False
Suppose -3*j + 31 = -242. Is j composite?
True
Let a(n) = -n**3 + 7*n**2 - 7*n + 6. Let x be a(6). Suppose x*i = -4*i + 380. Is i prime?
False
Let n = -9 + 12. Suppose -4*t = -4*p - 308, -n*p = t + 2*t - 231. Is t a composite number?
True
Suppose 0 = 2*l - 0*m - 4*m + 22, -2*m + 8 = 0. Is 36 + l/(-9)*3 a prime number?
True
Suppose -3*v - 555 = -4*y, 0*y + y - 130 = -v. Suppose 4*w - 437 = y. Is w a prime number?
False
Let l(c) = -94*c - 33. Is l(-10) prime?
True
Suppose -4*s + 158 = -2*s. Is s a composite number?
False
Let w = 2488 + -851. Is w a prime number?
True
Let z be -2 + 1 + (-4 - -80). Suppose 0 = -4*r - r + z. Is r a prime number?
False
Let l = 9 + -11. Is (-2604)/(-6)*(-1)/l a prime number?
False
Let a be -2*1/(-6)*3. Let y be 2*3*a/2. Is (14/(-6))/((-1)/y) a composite number?
False
Let a(t) = -426*t + 1. Let w be a(-1). Let b = w - 228. Is b a composite number?
False
Let q(j) be the second derivative of -2*j**4 - j**3/6 - 2*j**2 - j. Let c(v) be the first derivative of q(v). Is c(-1) a composite number?
False
Suppose 0 = 4*v - 8*v + 20. Suppose -v*y = -8*y + 987. Is y composite?
True
Let n = -7 - -16. Let f be (-3)/(n/(-12)) + 0. Is (-1)/f - 61/(-4) a prime number?
False
Suppose 8*x - 325 = 3*x. Is x a composite number?
True
Suppose 254 = 8*u - 6*u. Is u a prime number?
True
Let a be ((-5)/(-2))/(2/4). Suppose a*u + 3 = -3*d + 12, -4*u + 6 = 2*d. Suppose 11 + 31 = d*q. Is q a composite number?
True
Let f = 556 + -319. Is f prime?
False
Let w be -2901*2/(-4 - 2). Suppose -w = -5*c - 3*y, y - 12 = -2*y. Is c composite?
False
Suppose 4*h = b - 189, -2*h + 16 = 2*h. Is b a composite number?
True
Suppose 0 = -3*b + 4*l + l - 25, 2*b = 4*l - 20. Suppose b*o - 191 = -o. Is o a prime number?
True
Let d(l) = l**3 - 5*l**2 + l + 5. Let r be (-1)/(3/6)*-2. Let v be d(r). Is 3/((-3)/v) + 0 a composite number?
False
Suppose -4*c + 14*c - 4850 = 0. Is c prime?
False
Let f = -12 + 16. Suppose 0 = z + 4*d - 251, 0 = -6*z + z - f*d + 1319. Is z composite?
True
Let k = -721 + 1062. Is k a prime number?
False
Suppose 4*v - 2*n - 2*n = 0, n = 5*v + 16. Let l(f) = 33*f**2 + 5. Let w(o) = -8*o**2 - 1. Let k(x) = -2*l(x) - 9*w(x). Is k(v) composite?
True
Let f = -4 - -4. Suppose f = 4*d - 188 + 48. Is d prime?
False
Let y(a) = a - 10. Let q(z) = -5. Let v(g) = 10*q(g) - 5*y(g). Let h(l) = 5*l - 1. Let s(b) = 4*h(b) + 5*v(b). Is s(-7) a prime number?
True
Let h be (-10 - 0)*(-4)/10. Suppose -h*b - 30 = -2*o, 36 = 2*o + 4*b - 18. Is o composite?
True
Let b be (-4)/(-8)*(1 + 3). Suppose 4*g - 11 = -o, 18 + 30 = b*o - 5*g. Is o prime?
True
Is (-2)/7 - (-1971)/63 a prime number?
True
Let p(g) = 201*g**2 + 3*g - 2. Is p(1) composite?
True
Let g = -6 - -6. Suppose 4*x + 549 - 3073 = g. Is x prime?
True
Suppose i = t, -2*t - 6 + 0 = 0. Let y be i/(-2)*(-4)/(-3). Suppose y*z - 23 = z. Is z prime?
True
Let o = -70 - -39. Let n = 97 + -17. Let f = o + n. Is f a prime number?
False
Suppose 6 = -s + 1, -2*s + 310 = 4*n. Let c = n - 49. Is c a composite number?
False
Let v(r) = -r**3 - 6*r**2. Let w be v(-6). Suppose w = 5*u - 10*u + 1105. Is u prime?
False
Let r be (3 + -1)*(-83)/(-2). Let s = r - 36. Is s a prime number?
True
Let o(l) = -l + 2. Let i be o(2). Let u = 223 + i. Is u a composite number?
False
Let y = 207 + -141. Let d = 94 - y. Suppose 2*h - d = -s - 2, 3*s = -4*h + 48. Is h a composite number?
True
Suppose -2*g = -3*g + 1847. Is g prime?
True
Let n(v) = -v. Let g be (4 - 9)*(2 + -1). Let i be n(g). Suppose -4*p + 5*p = i*m + 71, 4*m = -5*p + 210. Is p prime?
False
Suppose 0 = -5*b - 9 + 49. Suppose r - 2*r = -b. Suppose -r*x + 50 = -3*x. Is x a prime number?
False
Let k(m) = 5*m**2 + 18*m - 10. Let x(s) = -s**2 - s. Let l(j) = k(j) + 6*x(j). Let v(h) = h**2 + h + 2. Let o be v(2). Is l(o) prime?
False
Suppose -q + 5*g - 3*g = 0, 0 = -3*q + 4*g + 4. Let o = 5 - q. Let d(b) = 37*b**3 - b**2 + 2*b - 1. Is d(o) prime?
True
Suppose 5*u - 55 - 100 = 0. Is u composite?
False
Let y = 1353 + -670. Is y a composite number?
False
Let o = -17 + 37. Suppose o = 2*v - 0*v. Is v prime?
False
Let o be 3 - 2 - (-420)/2. Suppose -3*f - o = -784. Is f composite?
False
Let b(h) = h**3 + h**2 - 2. Let s be b(-2). Let j = 4 + -2. Is (-45)/s + j/(-4) composite?
False
Let g(v) = 3*v. Let o(n) = 8*n + 1. Let q(z) = 11*g(z) - 4*o(z). Let x be q(3). Let j = 6 - x. Is j composite?
False
Suppose 4*d = -0*d + 8. Suppose c - 106 + d = 0. Let a = c + 15. Is a composite?
True
Let z be 71*(-3 - (-3)/3). Is (-3 + 1)*z/4 a composite number?
False
Let s(q) = -q**3 - q - 1. Let l be s(0). Is 112 - 0 - (0 - l) a composite number?
True
Let m = 2688 + -1777. Is m a prime number?
True
Let l(m) = 42*m**3 - 5*m**2 - 11*m - 13. Is l(6) prime?
False
Let v(c) be the first derivative of 2*c**3 + 3*c**2 + 5*c + 1. Is v(6) composite?
False
Let j be ((-1)/(-2))/(1/4). Suppose -3*q + 18 = -j*q. Suppose -c + q = -3*x - 31, 5*x - 179 = -4*c. Is c composite?
True
Let x(i) = i**2 - i + 1. Let c(f) = -2*f**2 + 1 - 3*f**3 + 2*f**3 - 6*f**2 - 13*f. Let z(h) = -c(h) + 4*x(h). Is z(-10) a prime number?
True
Let q(a) = a**2 - 7*a - 5. Is q(-9) a prime number?
True
Is 2/(-1 + 204/196) a prime number?
False
Suppose -1438 - 27 = -5*a. Is a a prime number?
True
Suppose -378 = -3*d + 153. Suppose 0*v = 3*v - d. Is v a prime number?
True
Let x = -78 - -116. Is x a prime number?
False
Let z = -10 + 14. Suppose 0 = -5*c + 4*f + 19, -2*f - z = -4*c + 10. Is c composite?
False
Let f(b) = -10*b**3 + 2*b**2 + 2*b - 1. Let p be f(-3). Let d = p - 194. Is d a composite number?
True
Let z(f) = -f**2 - f - 4*f - 5*f - 5 + 3*f. Is z(-4) a prime number?
True
Is (-1 - 19)*6/(-12) a prime number?
False
Let j(f) = -2*f**2 - 3*f + f**3 + 1 + 2*f + 4. Is j(4) a composite number?
True
Let r be (-4)/(-6)*(-3)/(-2). Suppose -x + 7 = -0*x. Is (2 - r)/(1/x) composite?
False
Suppose 0*q = q - 145. Suppose 5*s - 480 = -q. Is s a composite number?
False
Suppose -f = -a - 26, 6 + 95 = 4*f - a. Is f composite?
True
Let w(j) = -4*j**3 + 3*j - 1. Let z(c) = c. Let k(s) = -w(s) + 2*z(s). Let b be k(1). Let a(d) = 57*d + 5. Is a(b) a prime number?
True
Let z be (-2)/(-4)*(0 - 0). Suppose -4*p + 2380 = -z*p. Suppose 0 = -2*f - 3*f + p. Is f prime?
False
Is (-2)/(4*(-3)/222) a composite number?
False
Let w(g) = 91 - g**3 + 0*g + 0*g + g - g**2. Let f be w(0). Suppose 0 = 2*m + o - 176, -m - o + f = o. Is m a prime number?
False
Let a = -30 + 18. Is ((-86)/(-3))/((-8)/a) composite?
False
Let u(l) = -5*l**3 + 10*l**2 - 11*l + 7. Let q(w) = w**3 - w**2 + w. Let j(k) = -4*q(k) - u(k). Let p be 80/14 - (-4)/14. Is j(p) a composite number?
True
Suppose -387*x = -383*x - 7724. Is x composite?
False
Let v(o) = 2*o**2 - 4*o + 21. Is v(-11) a composite number?
False
Let h(c) be the third derivative of c**6/120 - c**5/10 + c**4/24 + 4*c**3/3 + c**2. Let t = 26 - 20. Is h(t) a prime number?
False
Suppose 4*f = -3*o + 937, o + 2*o = f - 238. Is f a prime number?
False
Suppose 0*q = 3*s - q - 2162, 2*s + 2*q = 1428. Is s a composite number?
False
Suppose 0 = 2*n + 2*l - 110, 3*l + 3 = -9. Is n a prime number?
True
Suppose 3*r + 32 = -4*q, q + 12 = -3*r - 5. Let n(j) = -69*j - 4. Let u be n(q). Suppose 3*b - 277 = -3*m + 5*b, -4*m = 3*b - u. Is m a composite number?
False
Let z be (3 - 4/(-2))/1. Suppose 99 = z*s + 24. Is s a prime number?
False
Let d(f) = 9*f - 4. Is d(21) a prime number?
False
Let i = 80 + 137. Is i composite?
True
Let l(i) be the third derivative of i**6/360 - 7*i**5/120 + i**4/12 + i**3/2 + 3*i**2. Let y(q) be the first derivative of l(q). Is y(7) composite?
False
Let f be 6 + (0 - 3) + -1. Let t be f + (-10)/2 + -1. Let v(y) = -22*y - 3. Is v(t) composite?
True
Let o = 7 + -5. Suppose -158 = -2*b - 4*z, 4*b - 493 = o*z - 157. Is b a prime number?
True
Suppose 0 = -5*x - 14 - 1, -5*w - 2*x = 156. Let d = -5 - w. Is d composite?
True
Is (5 + 99/(-18))*314/(-1) composite?
False
Let u be 6/(-33) + (-70)/(-22). Suppose u*v - 440 = -2*v. Suppose -v = -l + 3*h, l = h + h + 91. Is l a composite number?
False
Let h = 6 - 4. Suppose s = o + h - 6, -15 = -5*o. Is 76 - s*(-3)/(-1) prime?
True
Let f(p) = 2*p**2