= s. Is f a prime number?
True
Let y be 8/(-20) + (-15276)/(-15). Let l = -437 + y. Is l composite?
True
Suppose 5*o - o = 8. Let q(g) = g + 22*g**3 + 2224*g**2 - 5 + 21*g**3 - 2224*g**2 + 3*g. Is q(o) composite?
False
Let b(i) = 6 - 11 - 9 + 18*i**2 - i**3 - 8 - 10*i. Is b(15) prime?
True
Let o = -11 - -21. Let z be (-23726)/o + 4/(-10). Is -2*(z/(-6))/(-7) prime?
True
Let o = 34438 + -6089. Is o a composite number?
False
Suppose -3540 = -10*o + 65930. Is o composite?
False
Let v(c) = 3*c**3 - 10*c**2 + 4*c + 1. Let q = -9 + 17. Is v(q) a prime number?
True
Let g(a) = a**2 - 6. Let n be g(0). Let f = n - -10. Suppose 0*d - 937 = -3*y + f*d, -2*d = 8. Is y a prime number?
True
Suppose 23*z = 19*z + 3336. Let n = 1132 + z. Is n prime?
False
Suppose -2*u - 5*i + 177 = 0, -3*u - 4*i + 275 = -6*i. Suppose 10524 = 5*j - u. Is j a prime number?
False
Suppose 5*g + 25 = 0, -3*q + 101456 = -6*g + 11*g. Is q a prime number?
True
Suppose 16*d - 252 = 19*d. Is 4/(-14) + (-211956)/d - 2 a prime number?
True
Suppose 7*k - 17450 = 37787. Is k prime?
False
Let s = 278 + -181. Let u = 210 + s. Is u composite?
False
Let b(r) = -r**3 + 19*r**2 - 18*r + 3. Let h be b(18). Suppose h*p - 4*p + 265 = 0. Is p prime?
False
Suppose 0 = -i + r + 28358 + 97375, 3*i = 2*r + 377203. Is i a prime number?
True
Let f(a) = 435*a**3 - 58*a**2 - 15*a + 5. Is f(4) prime?
False
Let v = 904 - -2045. Let i = 5110 - v. Is i prime?
True
Suppose 0 = 2*h + 123 - 1267. Suppose -782 + 1967 = 5*y. Let n = h - y. Is n a prime number?
False
Suppose 4*u - 4*v + 10 = -10, -17 = 3*u - 4*v. Is u - 34/(-10) - 2393/(-5) composite?
False
Let g(u) be the second derivative of -u**6/120 + u**5/5 - u**4/6 - 2*u**3/3 + 3*u**2/2 - 3*u. Let p(v) be the first derivative of g(v). Is p(9) composite?
True
Let z = 10888 - 1287. Is z a prime number?
True
Let q = -47 - -49. Suppose 2*h - 5*k = 2254, h - 918 = -q*k + 191. Is h composite?
False
Suppose l + 8 = 5*l. Let h(f) = 1174*f + 9. Is h(l) a prime number?
True
Let o = -208 - -388. Let w be 2/(-7) + o/42. Suppose 4*y + y - i - 1118 = 0, w*y + 2*i - 886 = 0. Is y a prime number?
True
Let c(f) = -65*f**3 + 3*f**2 + 3*f + 2. Suppose 2*i = -j + 3, 2*i = -4*j - 0*j + 18. Is c(i) a composite number?
False
Suppose 0*n = n - 11. Let q(c) = 63*c - 24. Is q(n) a prime number?
False
Suppose -5*p + 3*p + 2*r = -8, 4*p + 4*r = 0. Suppose -8 = i + p*n + 4, -3*n - 21 = 2*i. Is (-4)/i - (-4450)/30 a prime number?
True
Let l(n) = -n**3 - 6*n**2 + 6*n - 6. Let u be l(-7). Let t be u/(0 + (-2)/4). Is (127/t)/(7/(-14)) prime?
True
Suppose 25*m + 5*f + 93704 = 29*m, -3*m + 5*f + 70273 = 0. Is m prime?
True
Suppose -42 = -a - 40. Let b(x) = 1828*x - 15. Is b(a) a composite number?
True
Is (-3737 - 41)*3/(-6) prime?
True
Suppose 7*f = 1925 + 11886. Is f composite?
False
Let v = -10 - -21. Let a(b) = v + 3*b + 2*b**3 + 10*b**2 - 3*b**3 + b - 16*b**2. Is a(-10) a prime number?
False
Let u = 2325 - 676. Is u prime?
False
Let i = 145 + -344. Suppose 8 = -4*o, -o - 1472 = -5*r - 0*o. Let m = r - i. Is m composite?
True
Suppose 3*z - 2*o - 16 = 0, -2*o = -4*z + o + 21. Is 4966/10 + z/15 prime?
False
Let j = 14253 - -2773. Let w be j/6 - 6/(-18). Is w/14 + 12/42 a prime number?
False
Let g = 51 + -36. Suppose x - 75 = -g. Is (-1)/4 + 20235/x a composite number?
False
Let m(i) = 64*i**2 + 29*i - 22. Let t(z) = -32*z**2 - 14*z + 11. Let u(k) = -4*m(k) - 9*t(k). Is u(5) prime?
True
Let z = 2409 - 280. Is z a composite number?
False
Let r(i) = 69*i**3 + 19*i**2 + 9*i - 17. Let v(z) = -34*z**3 - 9*z**2 - 4*z + 8. Let n(k) = -6*r(k) - 13*v(k). Let l be n(2). Let j = 373 - l. Is j prime?
False
Let w = 21 + -19. Suppose -w*n = -7 - 5. Is (92/n)/((-6)/(-117)) a composite number?
True
Let w(t) = 762*t + 214. Is w(10) a prime number?
False
Suppose 5*p - h = -0*p + 28, 5*p + 5*h = 10. Suppose p*z + 246 = -x + 1983, -4*x + 8 = 0. Is z a prime number?
True
Let n = -17289 - -34132. Is n composite?
False
Suppose -6*i + 109 = -14117. Is i composite?
False
Suppose 0 = u - 4*v - 1777, -2*v = 9 + 1. Is u composite?
True
Suppose 11641 = -322*x + 329*x. Is x a composite number?
False
Suppose -4*n = -0*n - 596. Suppose -n - 1506 = -5*r. Suppose -12*y - r = -13*y. Is y a composite number?
False
Suppose 2*f = -3*d + 43, -3*f - 24 - 5 = -4*d. Suppose -d*n = -5832 - 2374. Is n prime?
False
Suppose -31471 = 11*t - 454212. Is t composite?
False
Suppose 5*l = 7802 + 11248. Suppose -l = -3*m - 3*m. Is m prime?
False
Let t be (-9)/(-6)*(-36)/6. Let q(d) = 2*d**2 - 5*d + 12. Is q(t) a prime number?
False
Let m = -32 - -14. Let t be (1975/(-15))/(1/m). Suppose -4*z + v = 143 - t, 4*v = -5*z + 2789. Is z composite?
False
Let o(p) = 133*p - 4. Let d be o(7). Suppose 0 = -11*a + 8*a + d. Let m = a - 86. Is m a prime number?
True
Suppose 0*p + 4*l - 71746 = -2*p, -p + 35901 = -5*l. Is p a prime number?
False
Let v(b) = -3*b + 14*b**2 - 3*b**2 + 10*b**2 - 3*b**2 + 16. Is v(7) composite?
False
Let p be (6/(-4))/(2/4). Let q = 7 + p. Suppose 7*v = q*s + 2*v - 509, -4*v = 2*s - 274. Is s composite?
False
Suppose 0*b - 4*z = 2*b - 216, 6 = 2*z. Suppose 0 = -0*n - 3*n + b. Suppose 0 = -2*a + n + 160. Is a prime?
True
Let d(f) = -4*f**3 + 2*f + 1. Let j be d(-1). Suppose 4*n - 760 = -j*r + 2739, -6 = 2*r. Is n a prime number?
True
Is 8*(-5 + 3262) + (-3 - 0) a composite number?
False
Let l = -19050 - -35177. Is l composite?
False
Suppose -2*u = 4*x - 15694, -u + 2982 = -5*x - 4879. Is u composite?
True
Let d = -21 - -34. Let s be d + (2 - (4 - 1)). Let p = s - -2. Is p a prime number?
False
Suppose 0 = -5*u - 5*a + 35, 0 = -u - 4*a + 23 - 1. Suppose -5*q + 25 = 0, -u*m - 5*q + 9120 = 3*m. Is m a composite number?
True
Let s(l) = -55*l - 1. Let k be 4/(-28) - 72/(-14). Suppose -32 = k*u - m + 2*m, -2*u - 8 = -2*m. Is s(u) a prime number?
False
Is -3 + (-34)/(-3)*621 + 6 prime?
False
Suppose -3*l - 1366 = l - 5*u, 3*l + 1025 = 4*u. Let v be l/1 - (0 + 3). Let i = v - -863. Is i prime?
True
Suppose -3*u + 1110 + 6297 = 0. Let k = 4570 - u. Is k composite?
True
Let o(g) = g**3 + 16*g**2 + 13*g - 30. Let k be o(-15). Suppose k = 5*s - 20, -2*s + 1543 = 5*m - 0*s. Is m prime?
True
Let m(i) = i**3 + 12*i**2 + 10*i + 7. Let v be m(-12). Let c = v + 200. Suppose 2*g + c = 3*g. Is g a composite number?
True
Let f be (4/(-10))/((-5)/(-75)). Is -2*f/30 - (-4846)/10 a prime number?
False
Let l = -6747 - -15404. Is l prime?
False
Let z be 0*-1*(0 - -1). Suppose z = 8*b - 4*b. Suppose b = k + 68 - 395. Is k prime?
False
Let w = -22 + 24. Suppose -w*m + 133 = -21. Is m a composite number?
True
Let g be (-14)/3 - (-2)/(-6). Let a(k) = 4*k**2 - k - 12. Let z be a(g). Let q = 70 + z. Is q a prime number?
True
Is (-12)/66 - 1010820/(-44) composite?
False
Suppose -3*f + 16 = 19. Is 482 + 1 - 4/f composite?
False
Let v(s) = 839*s**2 + 3*s + 3. Let g(b) = b**3 - 3*b**2 - 4*b + 10. Let a be g(3). Is v(a) composite?
True
Let j(z) = 2*z**3 + 3*z**2 + z + 3. Suppose -3*a - 5*b = -31, -3*a + 26 = 3*b + b. Suppose a*c + 14 = 5*v, 0 = 5*c + v + 4*v - 35. Is j(c) a composite number?
True
Let z be ((-1)/(-2))/(1/6). Let g be z + -1 - (-3 + 20). Is (-2)/(-3) + (-3755)/g composite?
False
Let l(y) = -y**2 + 6*y + 1. Let z be l(9). Let u = -50 - z. Let c = 317 - u. Is c a prime number?
False
Let z(i) = -15*i - 4 - 15 - 5. Let u be 10*(3 + 18/(-4)). Is z(u) prime?
False
Let g(i) = -4224*i - 122. Is g(-5) prime?
False
Suppose -12*v + 676 = -10*v. Suppose -4*h + 18 = -v. Is h a composite number?
False
Suppose 4*g - 110920 = -4*p, g - 4*p + 0*p - 27735 = 0. Is g a composite number?
True
Suppose 6 = 3*v - 0*v. Suppose c = v*c + 8. Is (-2 - -116) + 5 + c composite?
True
Is 6756/(1 - 0) + (-10)/2 a prime number?
False
Suppose -5*z = -181 + 186. Let y(o) be the first derivative of 23*o**3/3 - 1. Is y(z) a prime number?
True
Let n = 3993 + -6224. Is (-2)/(-2)*(n - -2)/(-3) a prime number?
True
Suppose 5*y + 589 = -2116. Let h = y - -1030. Is 1 - 1 - h/(-3) composite?
False
Let r(v) = -2 + 0 - 6*v + 7*v. Let g be r(4). Suppose 3*f = g*f + 185. Is f composite?
True
Suppose 0 = 10*g + 6544 - 20714. Is g composite?
True
Let j(n) = n**3 + n**2 + 30*n + 19. Is j(11) composite?
False
Suppose -191 = 3*n + c + 11, 2*n = -2*c - 128. Let t = -11 - n. Is t a composite number?
True
L