= k**2 - 9. Let s be d(-4). Suppose 6*l = s*l. Suppose f - 4*x - 18 = l, -3*x + 3 = 5*f - 18. Is f composite?
True
Let d be ((-6)/4)/((-3)/1024). Suppose 75 = -b + d. Is b a composite number?
True
Let r = 97140 - 64147. Is r composite?
False
Suppose -9827 = -2*j - 3*y, 12*j - 16*j = 5*y - 19651. Is j a composite number?
False
Let w = 2877 + 374. Is w prime?
True
Let q(v) = 83*v - 81. Is q(8) a composite number?
True
Let c(n) = 8*n**2 - 8*n + 154. Let u = 6 - 2. Let z(s) = -3*s**2 + 3*s - 51. Let d(h) = u*c(h) + 11*z(h). Is d(0) composite?
True
Suppose -3*s + 4 = -11. Suppose -u - 4035 = -s*d - 5*u, 2*u = 2*d - 1596. Is d composite?
True
Let j(z) = -2*z - 9. Let k be j(-6). Suppose -k*b = 0, -5*x + 2059 = -3*b - 536. Is x composite?
True
Suppose -11*f = -16*f + 10. Suppose -5*d + 1921 = -5*m - 1564, f*d + 4*m = 1418. Is d prime?
True
Suppose -13*t + 44 = -11*t. Suppose 17*a = t*a - 1045. Suppose 5*z - 2*p - a = -30, 6 = 2*p. Is z a prime number?
True
Let k(j) = j**3 - 2*j. Let s be k(-3). Let a be -14*(30/s)/5. Let z(o) = 7*o**2 - 2*o - 1. Is z(a) composite?
False
Let d = 172 + 490. Is d composite?
True
Let u(r) = 27*r - 21. Let v be u(9). Let w = -127 + v. Is w prime?
False
Let z = 26503 + -11144. Is z prime?
True
Let z(w) = -w**3 + w**2 - w. Let p(q) = 3*q**3 - 5*q**2 + 3*q + 54. Let o(b) = -p(b) - 4*z(b). Let s be o(0). Let l = -7 - s. Is l prime?
True
Let u(f) = -f + 79. Suppose -5*h + 3*p - 4 = 7*p, -p - 1 = 3*h. Is u(h) composite?
False
Let s(m) = 3*m**2 - 50*m - 15. Is s(-44) prime?
True
Let g = 980 + -781. Is g a composite number?
False
Let y be (-3 + 6)/6*0. Let o(x) = x + 83. Is o(y) a prime number?
True
Suppose -4*f = -4*r - 52356, 22*r - 8 = 20*r. Is f composite?
False
Let j(f) = 0 - 5 + 63*f - 7. Let d be j(-11). Let a = d + 1328. Is a a composite number?
True
Suppose 2*n = 1543 + 5401. Is n/5 + (-9)/(-15) prime?
False
Suppose -3*v - 4*o - 8 = -28, 0 = 5*o + 5. Suppose 7*b - 6 = v*b. Is (-1120)/b - (-2)/6 a prime number?
False
Suppose -4*i = -2*n + 260, 5*n = 4*n + 4*i + 140. Suppose -187 = -h + n. Is h a composite number?
False
Let w(z) = 5*z**3 - z**2 - z + 2. Let h be w(1). Suppose 4*b - 13 + h = 4*k, 3*k = 5*b - 2. Is (-2670)/(-14) - b/7 a composite number?
False
Suppose 9*o = 12*o - 15. Suppose 123 = 4*b - o*u - 418, -4*u + 264 = 2*b. Is b prime?
False
Let i be (-5)/(-10) + 57/(-6). Let p(k) = 56*k**2 + 28*k - 13. Is p(i) prime?
True
Suppose 3*a - 3712 = -5*f, -28*a = 4*f - 25*a - 2969. Is f composite?
False
Suppose 6*s - 27472 - 12446 = 0. Is s prime?
True
Suppose 10*f + 6034 = 12*f. Is f composite?
True
Suppose -44685 = -0*s - 5*s. Is (-2)/(-4) + s/18 composite?
True
Is 53094/8 + (-15 - (-61)/4) prime?
True
Suppose 7*l - 15 = 2*l. Suppose 7*q - l*q - 596 = 0. Is q a prime number?
True
Let a(o) = -o**3 - 2*o. Let x be a(0). Suppose x = 5*c - 864 - 4711. Is c composite?
True
Suppose 0 = l - 0*l - 470. Let z = l + -315. Is z/4 - 1/(-4) a composite number?
True
Suppose 8*w - 48214 = -9582. Is w prime?
False
Suppose 3*q - 52*r - 47829 = -49*r, 0 = 3*q + 4*r - 47829. Is q composite?
True
Suppose y + 0*z = -3*z + 10124, 30307 = 3*y - 4*z. Is y prime?
False
Is (714*19)/7 + 5 composite?
True
Suppose 0*d = -d + 2. Suppose d*o = 2*g, -4*g + 10 = 3*o - 25. Suppose o*u + 201 = 6*u. Is u composite?
True
Suppose 5*p + 54 = -h, -4*p + 30 = -9*p + 5*h. Is (-2)/((1/1511)/(p/20)) a composite number?
False
Suppose -b = -d + 10, 8*b = 3*b + 25. Let j = 59 + 122. Let u = j - d. Is u composite?
True
Let p be (-8)/(-28) + (17475/35)/(-1). Suppose 3*d - u = -415, 2*u + 3*u = -5*d - 725. Let m = d - p. Is m composite?
False
Let c(f) = 60*f**2 - 5*f - 5. Let d be (-11)/4 - 18/(-24). Let l be c(d). Let j = -126 + l. Is j composite?
True
Let q(r) be the first derivative of 5*r**3/3 - 5*r**2/2 + 47*r - 22. Is q(-9) a prime number?
False
Suppose 5 = -5*m + 145. Let i = m + -24. Is 2346/i*26/39 a prime number?
False
Let o(s) = 64*s + 9. Let y = -32 - -36. Is o(y) a prime number?
False
Suppose 22*z - 126850 = 84372. Is z composite?
False
Is (-3817307)/(-299) + 2/23 a prime number?
False
Let v = 29 + -26. Suppose -y - 11 = -v*y - 3*c, -c + 5 = y. Suppose 0 = y*n - 3422 - 1430. Is n a composite number?
False
Let q(d) = 1 + 1 + d - 5 - 2*d. Let m be q(-6). Suppose m*u = 59 + 4. Is u a prime number?
False
Suppose 2*c - 1472 = -2*h + 7*c, 0 = -5*h - 4*c + 3713. Suppose -3*m = 2*p - 5*p - h, 0 = -3*m + 4*p + 736. Suppose 4*y = m + 88. Is y a composite number?
True
Let o(y) = y**3 - y. Let g(a) = 4*a**3 - 9*a - 5. Let p(j) = -g(j) + 3*o(j). Let n be p(-4). Let u = n + -20. Is u a prime number?
False
Let m(f) be the first derivative of 2*f**2 + 6*f + 7*f + 4 - 5*f**2 + f**2. Is m(-10) a prime number?
True
Let t(v) = -7*v**3 - 8*v**2 - 14*v + 9. Let h(f) = 3*f**3 + 4*f**2 + 7*f - 5. Let n(q) = 5*h(q) + 2*t(q). Is n(4) prime?
True
Let k(r) = r + 93. Is k(-10) composite?
False
Suppose 1136 + 447 = m + 4*j, -5*j + 20 = 0. Is m a prime number?
True
Let a(m) be the second derivative of 19*m**5/30 + m**4/8 + 4*m**3/3 - 3*m. Let k(d) be the second derivative of a(d). Is k(4) prime?
True
Let l(d) be the third derivative of 0 + 0*d + 17/3*d**3 + 0*d**4 + 3*d**2 + 1/120*d**6 + 1/60*d**5. Is l(0) a composite number?
True
Suppose -3*g + 3*t + 36 = 0, 5*g + 5*t = 71 + 9. Suppose 3*j + 10 = -5*w + 28, g = 5*w - j. Is w - 0 - (-205 - 3) a composite number?
False
Let m(u) be the second derivative of -55*u**3 + u**2/2 - 11*u. Suppose -2*o - 2*q = 0, -o + 4*q - 5 = -0. Is m(o) prime?
True
Suppose -6 = -3*k - 0, 3*x - 4*k = 21361. Is x a composite number?
True
Let u(k) = 45*k - 30. Let z be u(-21). Let c = -528 - z. Is c composite?
True
Let s(b) = -b**3 - b**2 + 3*b + 60. Let w be s(0). Is 34944/w - (-6)/10 prime?
False
Let k = -39 + 37. Is (k - -3) + 629 + (-4)/4 prime?
False
Suppose 24*j - 31934 = 10*j. Is j prime?
True
Let r = 45718 - 23951. Is r a composite number?
False
Let y(p) = -2*p**2 - 2*p. Let s be y(2). Let m be 6 - 3 - s/(-2). Is 7032/16*(-2)/m a prime number?
True
Suppose -18*p + 4276 = 208. Is p a composite number?
True
Suppose 0*h + 4*q = h - 26925, 2*q = 5*h - 134535. Is h a composite number?
True
Let b(n) be the third derivative of n**6/120 - 13*n**5/60 + 13*n**4/24 - 8*n**3/3 - 4*n**2. Let y be b(12). Is (-1935)/(-13) - y/26 a composite number?
False
Let m = -1266 - -3847. Is m a composite number?
True
Let h(u) be the first derivative of -4*u**3 - 5*u**2/2 + 3*u + 9. Let x(m) be the first derivative of h(m). Is x(-13) prime?
True
Let w = -67216 - -136539. Is w prime?
False
Let i(l) = 13*l**2 - 5*l - 15. Let w be i(-7). Suppose 2*a + 6*z = z + w, -2*a - 2*z + 660 = 0. Is a composite?
False
Let o(u) = -2*u + 246. Let i be o(0). Suppose 2*q + 3*s - 401 = i, -3*q - 4*s = -969. Is q a prime number?
False
Let i be 26/39 - (-2)/(-3). Suppose i = -2*u + 3*k + 379, -u + 4*k = k - 188. Is u a composite number?
False
Suppose -3*v = 2*m - 0*m + 28, -38 = 5*v - m. Let p be (-374)/v*(-1 - 3). Is p/(-2) - 5/10 prime?
False
Let h = -5109 - -12514. Suppose -2*q + 4*t + h = -t, -4*t = 5*q - 18463. Is q a prime number?
False
Let f be (2/5)/((-3)/15). Is (-521)/f*14/7 prime?
True
Suppose -2*a = -7*a + 60. Suppose -3*n + 10 = n + z, -3*n - 2*z = -10. Suppose y = a + n. Is y a composite number?
True
Suppose n - 2 + 5 = 0, 5*n + 982 = j. Is j composite?
False
Suppose 0*c - 5*c = -2*i + 654, 654 = 2*i - 4*c. Let m = 914 - i. Is m prime?
True
Let r be (2 - -2) + 417/1 + 1. Suppose -2*g + 5*v + r = 0, 3*v + 430 = g + g. Is g a prime number?
False
Let u = 69 + -101. Let o(i) = -i**2 - 35*i - 9. Is o(u) prime?
False
Let r be 8745/10 - 2/4. Suppose y - r = -0*y. Let u = -461 + y. Is u a composite number?
True
Suppose -3*i + h = -8*i + 210302, 9 = -3*h. Is i composite?
False
Suppose 9*y - 6183 = 20511. Is y a prime number?
False
Is -1*((-7)/(-14))/((-2)/77764) composite?
False
Suppose 16*w = 25*w - 28143. Is w a composite number?
True
Let v(o) = -o**3 - 2*o**2 + 4*o - 4. Let h be v(-6). Suppose -4*b + 2 = -3*b. Suppose -2*j + b*m + h = 0, 2*m = 3*j - 42 - 129. Is j a prime number?
False
Let z(d) = -13*d - 6 + 5*d**3 - 5*d**2 + 13 - 3*d**3. Is z(5) composite?
False
Suppose -y + 983 = 2*m - 372, -2*m + 4 = 0. Is y composite?
True
Suppose -2 = -20*k + 19*k. Let v(d) = 3*d**k + 1 - 5*d + 14*d -