 Is s prime?
True
Let u = 15 - 1. Let i(j) = -5*j - 145. Let a be i(-29). Suppose 4*h + 42 = 3*l, l - u = -a*l + 5*h. Is l composite?
True
Let z(b) = -2591*b - 58. Is z(-3) a prime number?
False
Is 50 + (3/(-6))/((-3)/18) a prime number?
True
Suppose -x = -4*x + 2*i + 41407, -2*x + 27618 = -4*i. Is x a prime number?
True
Suppose 1 - 11 = -5*q, -3*j + 111515 = q. Is j composite?
False
Suppose -3*q = 14*p - 11*p - 13173, 4383 = p + 5*q. Is p a composite number?
True
Let s(d) = d + 13. Let l be s(-7). Suppose 2*h = l*h + o - 2986, 0 = -2*h - 5*o + 1502. Is h composite?
True
Let o be (16/(-6))/((-16)/(-120)). Let r = o + 275. Let z = r + -178. Is z a composite number?
True
Suppose -5*l = -3*i + 49286, 8*i - 5*l - 32859 = 6*i. Is i a composite number?
False
Let i = -100 + 66. Let p = -26 - i. Is (29/(-3))/(p/(-168)) a prime number?
False
Let o be 5 - 2/((-4)/(-6)). Suppose 2*t + r = 1, 3*t - o*t - r = 8. Let d(g) = 21*g**2 + 2*g + 4. Is d(t) a composite number?
False
Suppose 5*p - 198 = 2*p. Suppose 2*o + 232 = -2*d, 3 = -5*d - 2. Let m = p - o. Is m a prime number?
True
Suppose -2493*b + 2497*b = 62908. Is b a prime number?
True
Let h be 2008/(-56) - (-2)/(-14). Let y be 24/h + (-14)/6. Is (-2796 - -9)*1/y composite?
False
Suppose 0 = f + 5, -2*f - 904 = 4*h - 5770. Suppose r - h = -2*l - 164, -4*r + 4228 = 4*l. Suppose 0 = 5*w - v - r, 5*w - 68 = 4*v + 1003. Is w prime?
True
Suppose 3*o - 252 = 5*a - 7*a, 5*o = 2*a + 404. Is o prime?
False
Suppose t + 4*a - 19273 = -2176, 0 = 2*t - 3*a - 34139. Is t composite?
False
Suppose -1091 = -4*f + 1473. Is f composite?
False
Let p = 2159 + 10962. Is p a prime number?
True
Let k be 66473/22 - 3/2. Let y = k - 1299. Is y composite?
False
Let a = 11 - 11. Let s = a + 2. Is 53/s*(-1 + 3) prime?
True
Suppose 0 = -5*j + 20, -4*w + 8715 = -j + 2003. Is w a composite number?
True
Suppose -8*v + 4*v + 2740 = 0. Is v composite?
True
Let x(q) = q**2. Let w(y) = 12*y**2 - 1. Let d(g) = w(g) - 3*x(g). Let r = 4 + -2. Is d(r) a composite number?
True
Is (-4 - -14)/(-4*(-2)/356) a composite number?
True
Let b(a) = -603*a**3 + 2*a**2 + 11*a + 7. Is b(-3) prime?
True
Suppose -y + 53 = 4*w, 4*y = -2*w + 5*w - 16. Let r(d) = 11*d + 2. Is r(w) a composite number?
True
Let p = 13567 - 7656. Is p composite?
True
Let m be (0/(-6))/(-3 + 2). Suppose m*v + 65 = v. Is (0 - v)*(3 - 4) a prime number?
False
Suppose t + 21 = -d, -t + 109 = -6*t - d. Let n be (-24)/(-10) + t/55. Is 1 - n - (-7 - 205) a composite number?
False
Suppose -4*m + 2*m = -6. Let z be 2/(-3) - (-17)/m. Suppose z*x - 3*q - q = 201, -3*q + 25 = x. Is x prime?
True
Let k(c) = c**2 - c - 2. Let n be k(-2). Suppose -4*s - 2*v - 2*v = -3368, -4*v - 3384 = -n*s. Let q = s + -593. Is q composite?
False
Let u be -5*((-9)/5 - -1). Is 204/(-68) - 866/u*-4 a prime number?
True
Suppose -2*u + 19761 = 5*k, 3*k = -k - 4*u + 15804. Is k a prime number?
False
Let w(i) = 2*i - i**3 - 2*i**2 - i + 2*i**2 + 17 - 5*i**2. Is w(-8) prime?
False
Let o(u) = -162*u**3 + u**2 + 4*u + 4. Let h(r) = -162*r**3 + r**2 + 5*r + 5. Let l be 3/(12/(-64)*-4). Let g(v) = l*h(v) - 5*o(v). Is g(1) composite?
True
Suppose 0 = -5*v - 3*m + 739 + 24369, v - 2*m = 5019. Is v a prime number?
True
Let j(t) = -321*t + 155. Is j(-4) composite?
False
Suppose 0*z = 8*z + 104. Let j = z + 26. Let c = j - 2. Is c composite?
False
Suppose 2*i + 2*i - 2*l = 59694, -4*i + 4*l = -59696. Is i prime?
True
Let p = 11193 + -7894. Is p a prime number?
True
Let n = 13 - 13. Let w be n - (-18)/(1 + 2). Suppose 3*y - w = 0, h - y + 205 = 2*h. Is h composite?
True
Let b = 10651 - 7404. Is b prime?
False
Suppose -94*a + 90*a + 15564 = 0. Is a a prime number?
False
Suppose 6*j = 3*j - 4656. Let m = -979 - j. Suppose 0 = 9*h - 6*h - m. Is h a composite number?
False
Suppose -1 - 5 = -3*h. Suppose h*b = -3*b + 10, 5*m = -2*b + 909. Is m a composite number?
False
Suppose -7*n + 6237 = -138796. Is n composite?
False
Is (-1*53982/24)/((-1)/4) composite?
True
Suppose 68*o - 63*o = 20. Let r(t) = -10*t**3 - t**2 + 6*t + 5. Let m(v) = -41*v**3 - 4*v**2 + 25*v + 21. Let q(k) = 2*m(k) - 9*r(k). Is q(o) prime?
True
Let p = 2964 + -2087. Is p prime?
True
Let k be 2/(-2 - 687/(-342)). Let o = -78 + k. Is (-1 + o)*7/7 a composite number?
False
Is -267*(-15092)/33 - 9 a composite number?
False
Suppose s + 2*y = -2*y - 12, -5*s + 9 = -3*y. Suppose -2*t + 3*t - 2*i - 278 = 0, -3*i - 6 = s. Is t composite?
True
Suppose p = -5*k + 5*p - 5, 2*k - p + 2 = 0. Let i be 2 - (0/(-1))/k. Suppose -i*s = -s - 37. Is s composite?
False
Suppose -2*c + s + 30319 = 2*s, -5*c + 75802 = s. Is c prime?
True
Let b(a) be the second derivative of 1/2*a**2 + 10*a + 0 + 23/6*a**3. Is b(8) a composite number?
True
Suppose -d + 8 = d. Suppose -y - 555 = -d*y. Suppose 0 = 12*t - 13*t + y. Is t a composite number?
True
Suppose -14*h - 5 = -19*h. Suppose 2*c + 2 = 3*c. Is ((-22)/h)/((-2)/c) prime?
False
Let n = 18534 + -10795. Is n prime?
False
Let m(r) = -r**3 - 7*r**2 - 10*r - 9. Is m(-6) a prime number?
False
Let z(p) = -133*p + 18. Let j be z(-26). Suppose g = 4*m - 3476, -2*m = -6*m + 3*g + j. Is m prime?
False
Let h(m) = m**3 - 30*m**2 - 38*m + 53. Is h(34) a prime number?
False
Suppose 0*y = -y - 17. Let o = 88 + y. Let z = o + 62. Is z composite?
True
Let v = 14360 - -7983. Is v a prime number?
True
Let d be 1339/91 - 4/(-14). Suppose 4*g - d = 9. Is 21/(-2)*(-764)/g a prime number?
False
Suppose 4*o - 53450 = -5*m, -m = 2*o + 4489 - 15173. Is m a prime number?
False
Let x(b) = 13*b**3 + 54*b**2 + 5*b + 11. Is x(10) a composite number?
False
Let b(g) = g**3 + g**2 + 6*g + 251. Is b(0) composite?
False
Suppose 34*m + 95504 = 50*m. Is m composite?
True
Let u(w) = -66*w**3 - 2*w**2 - 33*w - 21. Is u(-4) composite?
True
Let x = -42452 - -79695. Is x a prime number?
True
Let o(k) = -k**2 + 5*k - 1. Let g be o(4). Let y be g/(-9)*-3*-1. Is -1*(y + 2 + -212) a prime number?
True
Let g(t) = 11*t**2 - 3*t + 3. Let l(x) = -6*x**2 + x - 2. Let j(v) = -4*g(v) - 9*l(v). Is j(7) a composite number?
True
Suppose 2*h + 3*h = -1840. Let d = h - -194. Let g = -89 - d. Is g prime?
False
Let m be (5 - 1)*(-3 + (-2 - -1)). Is 9/(-24) - 1462/m prime?
False
Let y(u) = u**3 + 6*u**2 + 4*u - 8. Let d be y(-5). Is -3 - (2 - (729 - 9/d)) composite?
False
Is 216 + 0 - (-24 + 29) prime?
True
Let g(s) = 112*s + 62. Let r be g(18). Is (r/3)/((-5)/(105/(-14))) composite?
False
Let f = 17 - 15. Suppose 3*c - 6 = -2*x, -f*c + 3*x + 6 = 2. Suppose -3*y = 3*r + c*y - 2939, 2*y = -2*r + 1962. Is r a composite number?
False
Let v(c) = -3*c + 1. Let w be v(2). Let y be 2 + -5 + -6 + w. Let a = y + 49. Is a prime?
False
Suppose 0 = -55*k + 1057269 + 273676. Is k prime?
False
Is (-4)/(20/(-14635)) + 2 + 0 composite?
True
Is (-55084)/(-32) - 27/72 a composite number?
False
Suppose -6 = c + 4*c - 3*b, 0 = -c - 4*b - 15. Let j(q) = 62*q + 1. Let o(w) = 314*w + 6. Let x(l) = -11*j(l) + 2*o(l). Is x(c) composite?
False
Let g(h) = h**3 + 14*h**2 - 6*h + 26. Suppose -3*y = -2*y - 13. Is g(y) prime?
False
Suppose 0*l = 3*l + 18. Let v(d) = -d**2 - 8*d - 9. Let i be v(l). Suppose -i*s + 437 = -97. Is s composite?
True
Let u = 361 + -2. Is u a composite number?
False
Let t = 90 - 244. Is 1/(11/(-2)) + (-90426)/t composite?
False
Is 3009*-2*((-1)/6 + 0) prime?
False
Suppose -53 = 9*l - 12*l - 4*s, -21 = -l - 2*s. Let v(f) = 23*f - 27. Let u(x) = 11*x - 14. Let q(o) = 13*u(o) - 6*v(o). Is q(l) prime?
False
Let r(a) = 624*a**2 + 27*a - 26. Is r(-5) prime?
True
Let i be 12702/(-8) + 27/36. Let l = -1032 - i. Is 6/(-21) + l/7 a prime number?
True
Let n(l) = 14*l**3 + 6*l**2 - 3*l - 1. Is n(4) prime?
False
Let c = 7 + -39. Let y be (3/(-2))/(1/194). Let a = c - y. Is a a prime number?
False
Suppose -2*n - 2*n + 48 = 0. Suppose -s = -n*s + 5401. Is s a composite number?
False
Suppose 10140 - 2432 = q + c, c = -2*q + 15419. Is q a composite number?
True
Suppose 3*t + 4*l = -0*l + 8491, -2*t - 2*l + 5662 = 0. Is t a composite number?
False
Let j(t) = t + 9 + 8*t**2 - 6*t + 9*t + 6*t. Let f be 1 + 24/((-36)/(-6)). Is j(f) a composite number?
True
Let w be 1/((0 - 4)/(-21048)). Is ((-14)/(-42))/(2/w) composite?
False
Let m be (6 + -2)*1/(-2). Suppose 0 = -4*y + 3*t - 2017, t = -2*y + 4*t - 1013. Is (-7 - -8)/(m/y) a 