?
False
Let d(i) = -564*i - 401. Is d(-13) a composite number?
True
Suppose 0 = -u - 5 - 15. Let m be (24/u)/((-4)/70). Is (29 - 0)*(m - 14) a prime number?
False
Let z(r) = r**3 + 25*r**2 + 7*r + 20. Is z(-22) a composite number?
True
Let y = -1053 - -638. Let s = -215 + -41. Let o = s - y. Is o prime?
False
Suppose 7*r - 4450 = 7149. Let k = 2963 - r. Is k a prime number?
False
Is -6 + 4 - (-187831)/7 composite?
True
Let b = 527 + -19. Suppose -9*d + 13*d = b. Is d a composite number?
False
Is (16/(-3) - -2)*(-108429)/94 a prime number?
False
Suppose 125 = 4*r + 41. Let k be r/(-3)*1 - 3. Is (-554)/k + (-32)/80 a composite number?
True
Suppose -9783 = -2*y + d, 14677 = 3*y - 6*d + 4*d. Is y a composite number?
False
Let t be (4 - 15591/(-6))*(-8)/(-5). Suppose 0 = 7*x + 5*x - t. Is x composite?
False
Let a(t) = -t + 7. Let v be a(4). Is (-14)/v*(-3090)/20 prime?
False
Let t(h) be the first derivative of 2*h**3 - 5*h**2/2 - 12*h - 2. Let b be (-94)/(-18) + (-10)/45. Is t(b) a composite number?
False
Suppose 5*k + 63063 = 4*w, w - 9*k - 15769 = -11*k. Is w a prime number?
True
Suppose -14613 + 38211 = 2*y - 3*b, 20 = -5*b. Is y prime?
False
Let s(i) = -23*i**3 + i**2 - 6*i + 5. Is s(-4) composite?
True
Let m(v) = v + 3. Suppose 4 = 6*g - 5*g. Let b be m(g). Suppose -6*w + b*w - 11 = 0. Is w a prime number?
True
Suppose -2*f - 8 = -4*f, -2*p = 3*f - 882. Suppose -l = -4*l + p. Is l prime?
False
Let i(g) = -41*g + 8. Suppose 7*o = 3*o. Suppose o = -5*s - 16 - 29. Is i(s) prime?
False
Is (-7 - (-11330)/10) + -9 a composite number?
False
Suppose -7*g = h - 2*g + 117, 5*g = 4*h + 593. Is (-3)/2 - h*(-38)/(-8) a prime number?
True
Let t be (-721)/(-4) - (-11)/(-44). Let i = 127 + t. Is i a composite number?
False
Let t be 14*((-33)/(-6) - 4). Let w = t + -15. Suppose -w*v + 826 = -4*v. Is v composite?
True
Let j = 14712 + -4829. Is j a prime number?
True
Let f be (3/6)/(-1 + (-18)/(-16)). Suppose f*z = -2*n + 1830, 3*z + 802 = n - 93. Is n prime?
True
Let w(u) = 22*u + 40. Let s(d) = d - 1. Let g(y) = -10*s(y) - w(y). Is g(-8) a composite number?
True
Suppose -5*y - 3*n = -1546, -2*y = -0*y - 4*n - 634. Suppose y = g + 2*q, 0*g = g + 3*q - 316. Is g a composite number?
True
Let f(o) = 4 - o + 8 - 3. Let w be f(7). Suppose k - 227 = -4*c, k = -w*c + 251 - 32. Is k composite?
False
Let d(g) = g. Let h(f) = 140*f - 4. Let w(z) = 2*d(z) - h(z). Let a be w(-3). Suppose -140 - a = -6*x. Is x a prime number?
False
Let i = 556 + -536. Suppose -4*r + 36 + 24 = 0. Suppose i*g = r*g + 195. Is g prime?
False
Let q be 2 + -2 + (9 - 4). Suppose 12*g = q*g + 2177. Is g a prime number?
True
Let g(l) = -259*l - 124. Is g(-15) prime?
True
Let y be (-15)/(-12) + (4/(-16))/1. Let j(p) = 30*p - 7. Is j(y) a prime number?
True
Suppose 3*i + 2*i - 45 = 0. Let y(j) be the first derivative of 7*j**3/3 + 11*j**2/2 + 13*j - 641. Is y(i) prime?
False
Let y(o) = 15*o**2 - 3 + 12*o**2 + 0 - 3*o + 7*o. Is y(-8) composite?
False
Let l(x) = 4*x**2 + x. Let j be (-2)/(-6)*(-3)/(-1). Let q be l(j). Suppose 3*r + r = 4*p + 2280, -3*r + 1718 = q*p. Is r a composite number?
False
Let v(k) = -k**2 - k + 1. Let f be v(-3). Let r be 6/f*(-10)/(-2). Is (-3)/(r*1)*6 prime?
True
Let i = -32050 - -83033. Is i a prime number?
False
Suppose 5*b = -2*v + 3866, b - 5*v = 52 + 705. Suppose -149 = -3*f + b. Is f composite?
False
Is (3709 + -48)*(-2)/(-2) prime?
False
Suppose 26 = 3*n - 13. Suppose -3*w + 1 + n = a, -w = -5. Is (a + 173)*6/12 a prime number?
False
Let v = -87 - -114. Is (-3027)/v*-3*3 a prime number?
True
Suppose 0 = 2*f - 9*f + 1015. Suppose 13*j - f = 12*j. Is j a composite number?
True
Let v(f) = -37*f + 15. Is v(-6) prime?
False
Suppose 0 + 11 = m - 5*i, -5*m + 4*i + 13 = 0. Let l(p) be the first derivative of 245*p**4/2 + 2*p**3/3 - p**2/2 - 2. Is l(m) a prime number?
True
Let y(h) = -339*h + 755. Is y(-50) prime?
False
Let y = 13807 - 7400. Is y composite?
True
Let m(q) = 23*q - 15. Is m(14) a prime number?
True
Suppose i + 8375 = 2*v, -5*i = -4*v - 4*i + 16749. Is v composite?
True
Suppose -8*t + 8183 + 86721 = 0. Is t composite?
False
Suppose 5*a - 75662 = -3*r, -a - 4*r = -6*r - 15135. Is a a prime number?
False
Let h(x) = 21*x**2 + 12*x + 54. Is h(19) a prime number?
False
Suppose 2*l - 9 - 7 = 0. Is 1 - 4*(-60)/l composite?
False
Suppose 4*b - 148 = 16288. Suppose 6*d - b = -d. Is d composite?
False
Suppose -1358*s + 1360*s = 3126. Is s a prime number?
False
Let d = -186 - -862. Let v = d + 493. Is v a prime number?
False
Let n(u) = 124*u**2 - 2*u - 1. Suppose 2*b + 4*f = 0, b - 5*f + 7 = -0*b. Is n(b) prime?
True
Is ((-30477)/6)/(22/(-44)) composite?
False
Let b = -2 + -2. Let u be (-8)/(-32) - 679/b. Is (u/3)/(12/18) a composite number?
True
Suppose 3*a - 3*i - 9 = 0, 0 = a - 4*a - 2*i + 14. Suppose 2*m = x - 5*x + 662, 0 = m - 1. Suppose -x = -r - a*r. Is r a prime number?
False
Let n(x) = -x**3 - 32*x**2 - 29*x - 97. Is n(-36) a composite number?
False
Let z = 123 - 58. Is (-39)/z + (-116)/(-10) composite?
False
Let q be ((-2)/(-2))/((-3)/(-15)). Suppose -q*x + 4*x - 25 = 0. Is (-1385)/x - 4/10 a composite number?
True
Let i(w) = -4 - w - 2*w - 13 + 4*w. Let d be i(19). Is 2113/d - 15/10 a prime number?
False
Let p = 15 - 20. Let u(y) = y**3 + 6*y**2 + 3*y - 8. Let h be u(p). Suppose -5*x + m = h*m - 443, 3*x = m + 269. Is x a prime number?
True
Suppose -4*x - 2*i + 17128 = 0, -5*x = 3*i - 20886 - 523. Is x prime?
True
Suppose -4*f + 92 = -404. Suppose -3*b - 7 = i - 0*b, b = 4*i - 11. Is f/(-6)*(-3)/i composite?
False
Let r(q) = -11626*q - 43. Is r(-2) composite?
False
Is (-40409)/(-4) - -3*(-6)/72 a prime number?
False
Suppose 5*s - 49 = 41. Let q = -26 + 13. Let y = s - q. Is y composite?
False
Let n(y) = 13*y**2 - 22*y + 16. Is n(15) prime?
False
Let y(u) = -u**2 + 8*u - 12. Let n be y(6). Suppose -6*m + 271 + 515 = n. Suppose -78 - m = -j. Is j composite?
True
Let q = 62 - 22. Let h be -2*(-2)/4*0. Suppose -w + 25 + q = h. Is w a composite number?
True
Suppose -4*c + 3*c + 1277 = 5*h, -3*h = -6. Is c a prime number?
False
Let w(k) = k**3 + 5*k**2 + 5*k - 5. Let r(g) = g**3 - g - 1. Let v(p) = -2*r(p) + w(p). Let f be v(6). Is 81 - (f + -4 - -3) a composite number?
False
Let m be -3 + 2 + -5 + 56. Let y be (-10)/m + 1/5. Suppose -5*p + 892 = w, -2*w - 4 - 2 = y. Is p a prime number?
True
Let i(s) = s**3 + 9*s**2 + 7*s - 11. Let d be i(-8). Is (5/(-10))/(d/54) composite?
True
Suppose -n - 3*n - 18 = -2*p, 2*p = 2. Is ((-7)/(-4))/(-7) + (-1565)/n a prime number?
False
Suppose -2*k + 549 = -5*w, 2*k - 3*k - 5*w = -312. Let q = 552 - k. Is q a prime number?
False
Let t = -13 + 33. Let i = 22 - t. Suppose -i*s - j + 314 = 0, 161 - 643 = -3*s + 4*j. Is s a prime number?
False
Let h(i) = 1800*i - 337. Is h(35) composite?
True
Suppose 5*g - 16033 = -3*v, -3*v + 3*g = 5*g - 16045. Is v a prime number?
True
Let n(o) = o**2 - 5*o - 6. Let l be 9 + (-3)/(3/4). Let g be n(l). Let m = 31 - g. Is m composite?
False
Suppose -3*o + 4*d = 2*d - 5441, -3*o + 5456 = d. Is o prime?
False
Let u = -150 + 145. Is 291 - ((u - -7) + 1*-4) a composite number?
False
Suppose -7*n + 54319 = 2022. Suppose -n = -6*p - 1069. Is p a composite number?
True
Let w = -353 + 735. Is w a prime number?
False
Suppose 5*d + 4*x - 1485 = 890, -3*x = 3*d - 1422. Is d a composite number?
False
Suppose 26 = -4*s - 2*b + 4*b, -5*b + 25 = 0. Let t be (s - 0) + 1536 + -7. Suppose -t = -5*c + 3*p, p = 4*c - 1379 + 166. Is c a prime number?
False
Let n be (1 + -3)/(4/218). Let z = 245 + -439. Let f = n - z. Is f composite?
True
Suppose -2*v + 1 - 5 = 0, 0 = t - 3*v - 14. Let u(n) = -n**2 + 9*n - 4. Let y be u(t). Suppose -x - 177 = -y*x. Is x composite?
False
Suppose -16557 + 6950 = -i. Is i prime?
False
Let k(g) = 409*g**2 - g - 1. Let y(x) = -x**3 - 4*x**2 - 5*x - 4. Let m be y(-2). Is k(m) a prime number?
True
Let z(x) = x**2 + 5*x + 5. Let c be z(-4). Suppose c + 8 = -3*i. Let r(f) = 17*f**2 - 3*f + 1. Is r(i) a prime number?
True
Let a(p) = -6*p + 1267. Is a(0) prime?
False
Let a(t) = 221*t**2 - 4*t + 6. Let s(m) = -441*m**2 + 8*m - 13. Let f(u) = 7*a(u) + 3*s(u). Let y be f(2). Let g = y - 574. Is g a composite number?
False
Suppose 3*u - 2*v - 1336 = 2480, 2544 = 2*u + 4*v. Let f = u + -1895. Let d = f +