. Is l a composite number?
True
Let c = -7199 - -14650. Is c a composite number?
False
Let n(k) = k**2 - 4*k + 3. Let v be n(4). Suppose -h + 144 = -5*o, v*h - 600 = -h - 4*o. Is h prime?
True
Let g be (3 + 38/(-10))/(1/5). Is (-1)/1 - (4 + 244)*g prime?
True
Let s(j) = -j**3 - 2*j - 12. Let w be s(0). Is w/(-20) - 6368/(-20) prime?
False
Let y = -25 - -21. Is ((-3966)/(-9) - y)*(-6)/(-4) prime?
False
Let c(b) = -2*b**3 - 2*b**2 - 7*b - 8. Suppose -3*q + 0*q - 16 = 2*u, 0 = 5*q - 5*u + 35. Is c(q) prime?
False
Let t(q) be the third derivative of -7*q**5/30 + 31*q**4/24 - 19*q**3/3 + 12*q**2. Let g(b) = -5*b**2 + 10*b - 13. Let i(l) = -11*g(l) + 4*t(l). Is i(10) prime?
True
Let q be (1 - 4/3)*(-20817)/9. Let k = q - -50. Is k a prime number?
True
Is 3*(-2)/9*465816/(-16) composite?
True
Suppose -6 = -3*w - 0*w. Suppose 0 = -c - 3*n - 13, -w*c - 31 = -5*c + 5*n. Suppose -2*h - m = -257, 0 = 2*h + c*m + m - 263. Is h composite?
False
Suppose -8 = 4*h - 2*h. Let n(v) = -2*v + 1. Let b be n(h). Let a(d) = -d**3 + 10*d**2 + 5*d + 5. Is a(b) composite?
False
Is (-6)/(-10) - (10 + 129504/(-60)) a prime number?
False
Let y be (-5616)/(-4) + (-2 - -3). Suppose j + 0*j - y = 0. Is j a prime number?
False
Let y = -39 + 99. Let h be (-2)/2 + y/(-4). Let x = 51 + h. Is x prime?
False
Let i(g) = 2*g**3 - 7*g + 2. Let c = -5 + 5. Suppose -15 = -3*f - c*f. Is i(f) composite?
True
Suppose -2*i + 6384 = 5*i. Suppose 2923 = 5*a - i. Is a a prime number?
False
Suppose 79 = 5*c + 4*w, -w - 59 = -5*c + c. Suppose c = 5*p - 4*p. Is p a composite number?
True
Let v(b) = -b**2 + 5. Let p be 0/(-2*(-2)/(-4)). Let o be v(p). Suppose -o = 2*z - 23. Is z a composite number?
True
Suppose 2*h + 5 = 9. Suppose 342 = h*m + 4*m. Is m a composite number?
True
Let n(m) = -2*m**3 - 2*m**2 + 2*m. Let j be n(-2). Let i(h) = 27*h**2 + 6*h - 1. Let k be i(j). Suppose 5*x = -40 + k. Is x a prime number?
True
Let x(t) be the first derivative of 49*t**3/3 - t**2 - 4*t + 11. Is x(-3) a composite number?
False
Suppose -3*u - 2*s - 432 = 0, -3*u + 3*s - 288 = -u. Let i = u + 1707. Is i a composite number?
True
Is (-13 + (-4657)/(-2))*(1 + 1) a prime number?
False
Suppose -4 = w, -3*w = -t + 6467 + 2468. Is t a composite number?
False
Suppose 3*s + 9 = -3*d + 2*s, 5*d + 3*s + 15 = 0. Let x(w) = -180*w + 1. Is x(d) prime?
True
Let b = -12 - -12. Let o = b + 5. Is (-1)/o - 2736/(-30) composite?
True
Suppose 5*y - 10639 = 3*l, 5*y - 9*y + 8514 = -l. Is y a composite number?
False
Let s(c) = -11*c**3 - c**2 + 4*c - 20. Let b be s(-5). Let y = b - -189. Is y composite?
False
Suppose 36*b - 8 = 40*b. Is 38701/39 + b/(-3) prime?
False
Let j be (-132)/9 - 10/(-15). Let p(i) = -i**2 + 19 - 7*i - i**2 + i**2 - 7*i. Is p(j) a prime number?
True
Let l = -58 - -2043. Is l a composite number?
True
Let b = -163 + 252. Let o = 274 - b. Is o composite?
True
Suppose 0 = 5*d - 3*t - 1321133, -t - 851162 = -5*d + 469979. Is d prime?
False
Suppose 2*b + 2*z = 16, -7*b + 5*z = -4*b + 16. Let a = 121 - -438. Suppose 932 + a = b*k. Is k a prime number?
False
Let h be (-2)/((-1)/((-36)/(-8))). Let r(c) = c**3 - 9*c**2 + 3. Let g be r(h). Suppose 3*k = -3*t + 2*t + 155, g*k = -3. Is t prime?
False
Suppose 199 = -12*i + 34123. Is i a composite number?
True
Let v be 3 - 1 - (4 - 4). Suppose q + v*q = -1959. Let o = -430 - q. Is o a prime number?
True
Let u(x) = -9*x - 8. Suppose 8*z = 4*z + 4. Let f be (-1)/(z/7 - 0). Is u(f) a composite number?
True
Let i = 2039 - -11406. Is i composite?
True
Let w = -14547 + 38710. Is w composite?
True
Suppose -h + 4*h - l = 13, 4*h - 15 = -l. Suppose -3*j + 2*j = h*a - 491, 2*j = -2. Is a a prime number?
False
Suppose 31405 = 5*l - 4*f, 2*l - 2*f - 12562 = -7*f. Is l a composite number?
True
Let x(r) = 4*r**3 - 10*r**2 + 11*r - 13. Let a = 56 - 50. Is x(a) composite?
False
Let i(h) = 5*h - 43. Suppose -v + 4*r + 33 = 0, r = v + 4 - 22. Is i(v) a composite number?
True
Let f(k) = k + 2. Let t be f(0). Let w be (28/(-12) + 3)/((-1)/(-15)). Suppose -2*b = -w, -t*u = -5*u - 5*b + 472. Is u a composite number?
False
Let o(n) = 179*n + 6. Let q be o(1). Let b = q - 103. Is b a composite number?
True
Let u(o) = -220*o + 117. Is u(-7) prime?
True
Let z = 81 - 77. Suppose -z*s + 1949 = 3*d - 2*s, 0 = -5*s - 25. Is d composite?
False
Let q be (-7)/(63/24)*3/(-2). Suppose -2*b - q*p + 12 = 0, 5 = b + 3*p + 3. Is b a composite number?
True
Suppose 0*n = 3*n - 18. Let b = n + -6. Suppose b = -3*a + 771 + 1278. Is a composite?
False
Let g(p) = -p - 1 - 3 - 2 - 6*p**2 + 5 - 2*p**3. Let c = 3 + -7. Is g(c) composite?
True
Let k(i) = i**3 + 2*i**2 - i + 5. Let v(y) = 5*y**3 + 9*y**2 - 5*y + 24. Let t(q) = -11*k(q) + 2*v(q). Is t(-9) a prime number?
True
Let x be 84/(-10) - 2/(-5). Let n(m) = 8*m**2 + 8*m - 2. Is n(x) a prime number?
False
Let z = 20 + -12. Suppose -z = -b - 4. Suppose 6*o = b*o + 226. Is o prime?
True
Suppose 3*c = 705 - 66. Suppose 2*s = -3*d - s + 198, 2*s = 3*d - c. Is d prime?
False
Let u(y) = 111*y**2 - 17*y - 207. Is u(-8) a composite number?
True
Suppose 15 = -5*p, -6*l + l = -p - 53. Let d(y) = -3*y + 12*y - l + 6*y - y. Is d(4) composite?
True
Let z(c) = 24*c**2 - c + 23. Let g be z(5). Let d = g + -145. Is d composite?
True
Let a(m) = -4*m + 2. Let u be a(1). Is 2444/(-39)*3/u prime?
False
Let w = 20417 - 10966. Is w prime?
False
Let a(g) = g**3 - 8*g**2 - 8*g - 5. Let u be a(9). Let p(z) = u*z + 0 - 5*z - 31*z**3 - 1. Is p(-1) prime?
True
Let j(z) = 4*z**3 + 6*z**2 + 4*z - 4. Suppose -8*b + 4*b = 16. Let a be j(b). Let k = a + 319. Is k composite?
False
Let p(u) = -u**2 - 2*u + 4. Let q be p(0). Suppose 4*v - 185 = -3*x + 188, -q*x = 3*v - 488. Is x prime?
False
Suppose 5*k = -3*b + 2220, -3*b - 25 = 2*b. Is k composite?
True
Let k(f) = -25*f**3 - f**2 + f. Let v be k(1). Let t = v + 27. Suppose 1971 = 4*s + 3*z, 0*z + 1966 = 4*s + t*z. Is s composite?
True
Let k = 592 - 415. Is k composite?
True
Let z(u) be the second derivative of 191*u**4/6 - u**3/6 + 5*u**2/2 + 18*u. Is z(2) a prime number?
True
Suppose 6*j = -563 + 12791. Is j composite?
True
Is 5 - 4/48*9*-38568 a composite number?
True
Let c = 149543 + -60954. Is c a composite number?
False
Suppose 0 = -4*v - 4*b + 47812, 2*v - b - 27417 = -3511. Is v prime?
True
Suppose -n + d - 10148 = -29789, -4*n - 5*d + 78582 = 0. Is n prime?
False
Let i be ((-1)/(-1))/(5/(-10)). Let n be i/7 - (-2)/7. Suppose -5 = u, n = z - 3*u - 91 - 10. Is z a prime number?
False
Let a be 159*(0 - 33/(-9)). Suppose -6*d + 5*d = -a. Is d composite?
True
Suppose v - 6*p + p = 6154, 2*v - 12293 = -5*p. Suppose -2055 - v = -4*f. Is f a composite number?
True
Let d(x) = -x**3 - 8*x**2 - 12*x + 46. Is d(-11) composite?
False
Let s = 53 - 35. Let k = 20 - s. Suppose 85 + 131 = k*p + 3*a, 2 = -a. Is p a composite number?
True
Let u(w) = 8*w - 8. Let p be (-4)/(-6) + (-16)/(-3). Let b be u(p). Let q = 71 - b. Is q prime?
True
Suppose 2*p = 7*p - 95. Let i = p - 21. Is 1 + 623 + 2/i a composite number?
True
Let z(x) = -112*x - 43. Let b be z(-6). Suppose -v + 0*p = -p - b, 5*v - 3159 = -2*p. Is v a prime number?
True
Suppose 0 = 5*h - 4*c - 40, 3*h = -2*c + 31 + 15. Let d = 14 - h. Suppose 0 = -3*n + d*n - 5*v + 196, v - 437 = -2*n. Is n a prime number?
False
Let k(y) = 85*y - 4. Let u = -15 + 15. Suppose 3*q + 3 + u = -3*w, 0 = 2*w + 8. Is k(q) a composite number?
False
Suppose -190 + 555 = -5*o. Let j = 107 + o. Suppose 0 = 2*c + 3*l - 11, -7*c + j = -2*c + l. Is c composite?
False
Suppose -5*v = 2*v - 26929. Is v a prime number?
True
Let d(k) = -6 + 9 - 5*k + 4*k - k**2. Let q be d(0). Suppose 0 = -0*l - 3*l + 2*g + 701, -q*l + 4*g + 703 = 0. Is l a composite number?
False
Suppose 2*v = -4*w + 12, -4*v - 21 = -3*w + 10. Suppose 5*g - w*d = 10660, 3*g - 4527 = 5*d + 1875. Is g a composite number?
False
Let r be (-764)/10 - 4/(-10). Let j(o) = o**3 + 33*o**2 + 24*o - 61. Let g be j(-32). Let f = g + r. Is f a prime number?
False
Suppose 9*v = 4*v - 45. Is (-2)/6 - 984/v a composite number?
False
Suppose m = 11 - 9. Suppose 0*y + 22 = k + 4*y, -4*k + m*y = -52. Is k composite?
True
Let m = -11 + 12. Let g be 4/m + 3/3. Suppose g*l = -5*c + 105, -3*c + c + 57 = -l. Is c prime?
False
Suppose -352 = 14*m - 6*m. Let h(a) = -5*a**3 + 5*a**2 - 3*a + 