g. Is i composite?
True
Let k be 1 + 2 + 2 + -2. Let d be ((-2)/(-4))/(k/(-36)). Is 4/d - (-113)/3 a prime number?
True
Suppose -5*c = 280 - 1180. Suppose -2*l = -l - x - c, 2*l = x + 357. Is l prime?
False
Let n = -83 + 322. Suppose z - 60 = n. Is z a composite number?
True
Is (1 + (1 - -1))*569 prime?
False
Is ((-602)/6 + -2)*-3 composite?
False
Let k(p) be the first derivative of -19*p**5/20 - p**3/6 - p**2/2 + 3*p - 2. Let l(h) be the first derivative of k(h). Is l(-1) a composite number?
False
Suppose 2*p - 3*n + 5*n - 22 = 0, 0 = -4*p - 3*n + 49. Suppose -10 = -2*a + p. Suppose 3*i - a = 26. Is i composite?
False
Suppose 4*b = -b. Let t(x) = x**2 + 4. Let o be t(b). Suppose 0 = 5*n + 3*k - 52, 5*k - 32 = -3*n + o*k. Is n prime?
True
Let i(a) = -86*a + 9. Is i(-4) a composite number?
False
Let s(a) = -a**2 + 2*a + 3. Let c be s(3). Let x be (-1 - (c - 0))*-4. Suppose -v + 89 = 5*k, -2*v - 5*k - 118 = -x*v. Is v a prime number?
False
Let y(r) = 7*r + 8. Is y(11) a prime number?
False
Let z = 5484 + -3583. Is z a composite number?
False
Let k(w) = 192*w**2 - w. Is k(1) a composite number?
False
Let s = -6 - -8. Is (2 - 6)*(-97)/s a prime number?
False
Suppose -284 = -p + 21. Is p prime?
False
Let t = 236 + -504. Suppose -13*x = -8*x + 2055. Let i = t - x. Is i a composite number?
True
Suppose 2*u + q = 9, -4*q = -5 - 7. Suppose -u*h - 22 = s, 2*h = -2*s - 22 - 26. Is (-766)/(-10) - 10/s prime?
False
Suppose 0 = -2*p + 51 + 31. Suppose t - p = 5. Is t a composite number?
True
Let l(t) = t - 6. Let z be l(6). Suppose z = -2*v - v + 318. Is v a prime number?
False
Suppose -14*o = -12*o - 398. Is o a prime number?
True
Let w be (-2)/(-3 + 15/6). Let l(v) = 11*v + 1. Let d be l(w). Let a = -30 + d. Is a prime?
False
Suppose 4*d + v - 13 = 0, -3*d - 2*d - 3*v + 25 = 0. Suppose d*s = -4*m + 222, 2*s - 2*m + m - 232 = 0. Is s a prime number?
False
Let g(o) = -2*o + 0*o**2 - 3*o + 2*o**2 + 1 + 4. Is g(8) prime?
False
Let w(c) = -4*c**3 - 9*c**2 + 2*c - 10. Is w(-7) a composite number?
False
Let g(q) = 47*q - 7. Is g(3) prime?
False
Let a(m) = -m**3 + 4*m**2 + 4*m + 5. Let f be a(5). Let q = f - -2. Suppose 0 = q*b + b - 45. Is b composite?
True
Suppose s = -2*f + 1221, 2*s + 6 + 607 = f. Is f a prime number?
False
Suppose 358 - 2881 = -3*p. Is p a composite number?
True
Let z be (-6)/(-10) + (-216)/(-15). Suppose -4*m = -z - 5. Let h(x) = x**3 - 5*x**2 + 3*x. Is h(m) prime?
False
Let s be 2/((-1)/5*-2). Let j(a) = 12*a**2 + 31*a - 28. Let q(x) = -4*x**2 - 10*x + 9. Let m(u) = -2*j(u) - 7*q(u). Is m(s) a composite number?
True
Suppose 0 = 4*v + 8 - 0. Let n = 1 + v. Is ((-50)/(-8))/(n/(-4)) prime?
False
Let n be 3 + -2 + 0 + -1. Let i be (0 - (-6)/(-4))*-14. Suppose -m + i + 14 = n. Is m prime?
False
Let b(t) = -91*t + 2. Let f(o) = 45*o - 1. Let g(s) = -3*b(s) - 5*f(s). Is g(3) a prime number?
False
Suppose 3*t - 2*t = 0. Suppose -3*k + t*k = -3*d - 435, -2*k + 294 = 2*d. Is k a composite number?
True
Suppose n - 7*n = -15474. Is n prime?
True
Let u(n) = 51*n - 8. Is u(3) a composite number?
True
Let u(j) = 5 + j**3 + 5 + 7*j**2 - 4 + 5*j + 0*j**3. Is u(-5) prime?
True
Suppose -4*k + 3*h = -28, -k + h + 10 = 2. Is 2166/4 - 2/k a composite number?
False
Suppose 312 = 5*w - 73. Is w a composite number?
True
Suppose -q = -3*q + 18. Let t = -5 + q. Let n(u) = u**2 - 2*u + 5. Is n(t) a prime number?
True
Let w(l) = l**2 - l + 53. Suppose 3*y + 8 = -4*s, 3 = 2*y - 3*s - 3. Suppose 0 = -p + d + 5, 3*p - 3*d - d - 20 = y. Is w(p) a composite number?
False
Let x = 2 - 0. Suppose -l - x = -7. Suppose 3*r = l*m - 283, r = 3*m - 2*r - 165. Is m a prime number?
True
Let u(c) = 2*c - 2. Let r be u(4). Let s = r - 4. Let p = 13 - s. Is p a prime number?
True
Let g(l) = -38*l - 16. Let n(x) = -19*x - 8. Let h(t) = 2*g(t) - 5*n(t). Is h(5) composite?
False
Let i(y) = -y**3 + 7*y**2 - 8*y + 4. Let q(z) = -z**2 - z + 1. Let n(a) = i(a) - q(a). Let j be n(7). Suppose -j*h = -h - 98. Is h prime?
False
Let w = -11 - -10. Let h be (0 + w)*13 - -2. Is 1 + -1 - (h - 20) composite?
False
Suppose -4*s + s - 2*p = -809, -1080 = -4*s - 3*p. Is s a composite number?
True
Suppose -8*b = -30*b + 21274. Is b a prime number?
True
Suppose 5*j = -2*w + 3*w + 1705, 5*j = -3*w + 1705. Is j a composite number?
True
Let t be (0 - (-3 - -2))*1. Let b(i) = 112*i**2 + i. Is b(t) a prime number?
True
Let o(s) = s**2 + 5*s + 7. Is o(-5) a prime number?
True
Suppose 13*k - 1910 = 3*k. Is k a composite number?
False
Let i(m) be the second derivative of 35*m**4/12 - m**3/6 - m**2/2 - 2*m. Is i(-3) a prime number?
True
Let c = 206 + -289. Let g = 130 + c. Is g a composite number?
False
Suppose 2*u + 2*u - 104 = 0. Let d = u + 5. Is d a prime number?
True
Let x(t) = -t**3 - t**2 + t - 3. Let b be x(-3). Suppose 0 = c - 5*c + b. Suppose -c = -3*r + 6. Is r a composite number?
False
Suppose 8*t - 1771 = t. Is t prime?
False
Let h(g) = g**2 - 3*g - 6. Let l be h(6). Suppose 2*p - l = -p, 0 = 4*s - p - 552. Is s a composite number?
False
Suppose -4*b = -2*b - 4*s + 34, -2*b - 24 = -2*s. Let y(c) = c**2 - 7*c - 9. Is y(b) composite?
False
Is 2*(-1)/4 + (-423)/(-18) a prime number?
True
Let g be -4*-2*(-11)/(-8). Let i(m) = -m**3 + 12*m**2 - 9*m + 13. Is i(g) composite?
True
Let d(i) = 1. Let s(c) = -16*c + 7. Let v(l) = 6*d(l) - s(l). Is v(2) a prime number?
True
Suppose -2*y = -3*y + 191. Is y composite?
False
Let v = 108 + -65. Suppose v + 31 = -5*f + w, -1 = w. Let l = f - -38. Is l prime?
True
Suppose 57*m = 63*m - 17358. Is m prime?
False
Let o(u) = -u - 1. Let c be o(-3). Suppose 25 = -c*s - 7. Let b = s - -23. Is b prime?
True
Let m be ((-328)/(-10))/((-8)/(-100)). Let j = m - 175. Is j a composite number?
True
Suppose -4*s - 11 = -a, 2*s - 6 + 22 = 4*a. Let k be 1 - ((1 - s) + -2). Suppose -v = -k*v - 13. Is v a prime number?
True
Let k be (1 - (-42)/(-3))/1. Let c = k - -50. Is c composite?
False
Suppose -17 = -5*y - 2*a, 5*y + 2*a + a = 13. Suppose y*c - c = 492. Is c a prime number?
False
Let a be (-1)/(-3) - (-6140)/30. Let f = -14 + a. Is f a composite number?
False
Let q(r) = 418*r**2 - 2*r - 1. Is q(-1) a prime number?
True
Let a be (4*(-1)/2)/(-1). Suppose -d = 3*d - 3*q - 779, -945 = -5*d - a*q. Is d composite?
False
Let h(f) = -f**3 - 6*f**2 - f - 9. Let s be h(-8). Suppose k - 2*k + s = 0. Is k prime?
True
Let s(m) = 43*m**2 + m + 1. Let r be s(-1). Suppose 2*l - 19 = r. Is l composite?
False
Let g(o) = -2 - 4*o + 3 + 5 - o**2. Let c be g(-6). Is (-1)/3 - 512/c a prime number?
False
Suppose -6*l - 6 = -3*l. Is 1172/20 + l/(-5) prime?
True
Let u(p) = p**2 + 3*p. Suppose 6*y - 2*y = 12. Let o be u(y). Let f = o - 11. Is f a composite number?
False
Let x = -9 - -12. Suppose 2*l + 90 = x*u + 506, -5*l - u = -1023. Is l a prime number?
False
Is 3*(-15342)/(-54)*3 composite?
False
Let f be (1/(-3))/(6/(-522)). Suppose -2*r + f + 1 = 0. Is r a prime number?
False
Suppose -19*k + 21*k - 762 = 0. Is k a prime number?
False
Is ((-3940)/(-60))/((-2)/(-78)) a composite number?
True
Suppose 2*s = -f + 15 - 6, s = -3*f + 17. Suppose -f*x - 308 = -3*b + 101, -b = 3*x - 141. Suppose 4*q = 74 + b. Is q a composite number?
False
Let t be (-1 + 2)*1*4. Let f = -2 + t. Is f/((-88)/46 + 2) a prime number?
True
Let a(b) = 201*b + 9. Let t be a(5). Let f = -509 + t. Is f a composite number?
True
Suppose -4838 = -16*l + 4490. Is l a composite number?
True
Let t(p) = 94*p**2 + 2*p - 1. Let o(w) = -w**3 - 7*w**2 + 8*w + 1. Let h be o(-8). Is t(h) composite?
True
Suppose 3*c = -2*c - 3015. Let p = c - -866. Is p composite?
False
Let d(q) = q**3 + 8*q**2 + 10*q + 7. Let j be d(-6). Let p = j - 34. Is 6/15 - 219/p composite?
True
Is -4 - (-34474)/14 - 8/(-14) a prime number?
True
Suppose u - 316 = -4*l - 91, 3*l = 2*u + 155. Is l a composite number?
True
Let y = 4606 - 2541. Suppose r - y = -4*r. Is r composite?
True
Let q(j) = j**3 - 8*j**2 - 12*j + 26. Is q(11) prime?
True
Let d(c) be the second derivative of c**6/360 + c**5/120 - 7*c**4/24 + c**3/3 + 3*c. Let g(s) be the second derivative of d(s). Is g(-5) composite?
False
Let a(m) = -292*m + 1. Is a(-1) composite?
False
Suppose 5*a + 56 = 391. Suppose 0*u + a = u. Let v = u + -30. Is v prime?
True
Let a(d) = -7*d**2 - 3*d - 4. Let r be a(3). Let u be (-1