-2*f = 4*y - 23684. Is y a composite number?
False
Suppose 0 = -4*l + 5*o - 7, -3*l + 3 = -0*l - o. Suppose -l*i - 2668 = -4*r, -5*r - 2*i + 2704 + 631 = 0. Is r prime?
False
Is (9/15 - (-42276)/(-10))*-1 a prime number?
False
Let k(b) = 2*b + 5. Let f be 28/(-6)*12/(-8). Let s be k(f). Suppose -g + s = -0*g. Is g composite?
False
Suppose -u + 125521 = u + 5*f, -5*u = -3*f - 313880. Is u a prime number?
True
Let b = 581 - 1228. Let z = b + 984. Is z a prime number?
True
Let k = -1723 + 935. Is (3 - (-1 - -5)) + (0 - k) prime?
True
Let n = 639 + -322. Is n composite?
False
Suppose 35*q - 45731 = 97314. Is q prime?
False
Suppose -3*n + 31 = 2*y, 0*y = -5*n + 2*y + 25. Let q be -4 + n + (-2)/2. Let l(o) = 29*o + 1. Is l(q) a prime number?
True
Let o = -3 + 1. Is o/10 - 40292/(-35) composite?
False
Suppose 2*o = 5*o. Suppose 5*l - 2*l = x - 67, 5*x - 4*l - 291 = o. Is x prime?
False
Suppose 85*j - 87*j = 3*k - 13235, -k + 4415 = -j. Is k a prime number?
False
Suppose -10 = -a + t, 7*t - 6*t = 2*a - 17. Let c(s) = 34*s + 15. Is c(a) prime?
False
Suppose -6*l - 16 = -22. Is (l/((-1)/(-118)))/((-12)/(-42)) a composite number?
True
Let u(j) = 17*j**2 - 2*j + 2. Let s be (-40)/(-3)*18/15. Let g be 4*(-1)/(s/(-12)). Is u(g) prime?
True
Suppose -z - 47 = -n, 4*z - 5*n = -2*n - 183. Is 1185/(-2)*z/63 composite?
True
Suppose 2*w = 2*h + 13492, -74*h = 3*w - 78*h - 20235. Is w prime?
False
Let h = -733 + 1282. Suppose -5*y + h = -86. Is y prime?
True
Let m = 18 - -40. Suppose -b = -473 + m. Is b a composite number?
True
Let d = 6425 + 1509. Is d a prime number?
False
Let g(i) = -99*i**3 + 6*i**2 - 2*i + 17. Is g(-4) a prime number?
False
Suppose 14*s + 72 = 18*s. Suppose 2*t - 28 + s = 0. Suppose -t*f - 113 = -2*v - 2*f, 3*v + 5*f = 179. Is v a composite number?
True
Let s(w) = 2*w**2 + 2051. Is s(0) composite?
True
Let j(h) = 1 - 1 - 2*h + 12*h**2 - 2 - 11*h**2. Let l = -3 + 8. Is j(l) composite?
False
Is (-22106)/(5 - (3 + (-28)/(-7))) a composite number?
True
Let f(k) = -7*k**3 + k**2 + 3*k - 3. Let o be f(-4). Let h = -145 + o. Suppose -4*c + 0*c + 2*g + h = 0, 4*g - 85 = -c. Is c a prime number?
False
Let v(t) = t**3 - 11*t**2 - 12. Let y be v(11). Let u = y - -6. Is 3/u + 3018/12 composite?
False
Let u(y) be the third derivative of -y**6/120 - y**5/10 - y**4/2 - y**3 + 15*y**2. Is u(-10) a prime number?
False
Let o = -20 + 14. Let u be (o/(-9))/(2/39). Suppose 5*i = -2*j + 395, j + u = -i + 95. Is i prime?
False
Let h be 20/5 + -2 + 2. Let d(g) = 7*g**3 + 3*g**2 - 2*g + 3. Let w(u) = -u**2 + u. Let i(k) = d(k) + 2*w(k). Is i(h) prime?
True
Let g(z) = z**2 + 4*z - 11. Let k be g(-6). Suppose -h = -u - 8, -3*u = 5*h + k - 9. Suppose 4*s + h*p - 2484 = 0, -3*p + 1240 = 2*s - 0*s. Is s composite?
True
Let p be (10/6)/(-5) + (-8024)/(-6). Suppose 11*l = 4*l + p. Is l a composite number?
False
Let k be 6/2 - 0/(-11). Suppose -k*o + 1160 = -2947. Is o a prime number?
False
Let q = -2291 + 5037. Let o = q - 1497. Is o a prime number?
True
Suppose -i + 2*h = 2*i + 14, -5*i + 4*h = 22. Let b be (-80)/4 - -1*4. Is (3 - b/i)*39 a composite number?
False
Let o be -2 + (1 - 2) + 6. Suppose s - 174 = 3*h - 4*h, -o*s = h - 168. Suppose g = 4*g - h. Is g prime?
True
Let b(a) = -16*a - 4. Suppose -p = -5*l - 0*p + 24, 0 = -5*l + 2*p + 23. Let u be b(l). Let q = 137 + u. Is q composite?
False
Is 614352/32*(-4)/(-6) a prime number?
True
Is -19226*(-14)/40 - 95/950 a prime number?
False
Let g be (4 - 9)*1*-1. Let l be (g/2 - 1)*-170. Let a = 378 + l. Is a a prime number?
False
Suppose k - 3553 = 3*v, -3*k - 2*v = -4*k + 3558. Suppose -4*s - 3*o + 2238 = -1333, -4*s = 4*o - k. Is s a prime number?
False
Suppose 0 = -c - 4*c + 10. Suppose 61*t + 71 = 193. Suppose 436 = 2*w + t*u, 0 = -7*u + c*u - 25. Is w a prime number?
True
Let o be (6 - -2)*15/(-4). Let n = o + 43. Let i = n - -54. Is i a prime number?
True
Suppose 6 = 2*l - l - u, -3*l - 3*u = 0. Suppose 0 = -4*a + 4*f + 1008, -2*a + 205 + 324 = l*f. Is a prime?
True
Let j be 637/21 + 4/6. Suppose 3*q + 2*u - 117 = 0, 4*q - 3*u - 108 - j = 0. Is q prime?
True
Is 2/(-6) + 6 + (-56150)/(-15) a prime number?
False
Let d = 14587 + -4036. Is d a composite number?
True
Let p be 1/(-3)*(3 - 15). Suppose -k = q - 258, 0 = -p*q - 0*k + k + 1007. Is q composite?
True
Let j be 8/(-36) - (-7)/((-189)/(-6)). Suppose 1342 = 2*y + 3*r, 4*r + 693 = -j*y + y. Is y a composite number?
False
Let l(g) = 5*g**3 - 48*g**2 + 58*g - 44. Is l(23) a composite number?
True
Let b(y) = -3*y**3 + 2*y**2 - 7*y + 14. Let i be b(-8). Suppose i = 5*o - 2161. Is o a composite number?
True
Suppose -4*i - 66 = -26. Let q be ((-68)/85)/((-1)/i). Is -9*(q/6)/2 a prime number?
False
Let a(m) = m + 6 + 22*m**2 + 13*m + 21. Is a(14) prime?
False
Let n = 1669 + -933. Let v = -19 + n. Is v a prime number?
False
Let s(m) = -m**3 + m**2 + m - 7. Let y be s(0). Let l(v) = 5*v**2 + 3*v + 10. Let b be l(y). Suppose b = 4*i - 442. Is i prime?
False
Let d(v) = v**3 + 14*v**2 + 12*v - 11. Let r be d(-13). Suppose r*x - 186 = -x. Let y = 101 + x. Is y prime?
True
Suppose 2*a + 39 = 5*a. Suppose a*i - 95 = 9512. Is i prime?
True
Let r = -7003 - -15494. Is r a composite number?
True
Suppose -2*u + u + 2253 = 0. Suppose a + 5 = 0, -5*l + 2*a - 4*a + 4110 = 0. Suppose -2*g - 4*x + l = -82, -4*x + u = 5*g. Is g a composite number?
False
Suppose 3*v - 15 = -2*v. Let b(q) = q**2 - 2*q. Let y be b(v). Suppose 4*h + 158 = -2*f + y*f, 508 = 3*f + 5*h. Is f composite?
True
Suppose c = -7 + 290. Suppose 80 = -h + c. Is h prime?
False
Let g(i) be the second derivative of 4*i**5/5 - 7*i**4/12 - i**3/3 + 11*i**2/2 + 29*i. Is g(6) prime?
True
Let h(i) = 5*i**2 + i - 13. Let j be h(5). Let n = 214 - j. Is n a composite number?
False
Let h = 212 - 117. Is h composite?
True
Is -4 + 29560/(8 + 0) a prime number?
True
Let j(b) = b**3 + 3*b**2 + 2*b + 2. Let q be j(-2). Is q*(4 - (-524)/8) a prime number?
True
Is ((-36)/27)/(3 - 527426/175806) a composite number?
True
Let f = -11 + 15. Suppose -5*x + f*o + 2919 = 0, o = x - 423 - 161. Is x a composite number?
True
Suppose 4*r - y = 0, -3*y + 14 = -2*r + y. Is (-41034)/(-84)*2/r composite?
False
Suppose 0*y + 14 = -4*v + 5*y, v - y = -3. Let z = v - -13. Is (-2)/6 + 1096/z composite?
True
Let c = -97 - -97. Is (-3275 - -14)*(-1)/(3 + c) prime?
True
Let k be ((-8)/(-4))/((-1)/(-2)*1). Is 374/12 + k/(-24) a prime number?
True
Let u(z) = 20*z. Let t be u(1). Suppose -d + l + 26 = -0*d, -t = -4*l. Is d a composite number?
False
Suppose 2*n - n = -4. Let t(j) = 15*j**2 + 12*j + 14. Is t(n) prime?
False
Let m(i) = 1099*i**2 - 3*i + 1. Let a be (-2)/(-4)*(4 + -2). Is m(a) prime?
True
Let s(r) = 11*r**3 - 18*r**2 + 46*r + 10. Is s(7) a prime number?
False
Let m(o) = -o**2 + o + 8. Let z be m(3). Suppose -2*d = -g + 165, -z*g = -4*g - 2*d + 306. Is g prime?
True
Suppose -414*a - 1683 = -405*a. Let k be ((-1194)/(-3))/((-1)/(-1)). Let m = k + a. Is m composite?
False
Let f be -250*(56/(-12))/((-4)/18). Is f/(-21) - (0 + 1) prime?
False
Let f = 401 + -352. Is f a prime number?
False
Let o(t) = 2*t**2 - 8*t - 6. Let q be o(7). Suppose 3*h + 4*p + 12 = 90, -5*h = -2*p - 130. Let u = h + q. Is u prime?
False
Let o = -4755 + 9076. Is o prime?
False
Suppose -3*q = 5*v - 7510, -3*v - 299 = 3*q - 4811. Is v composite?
False
Let i = -17507 + 30556. Is i a composite number?
False
Let w(t) be the third derivative of -t**6/30 - 13*t**5/60 - 5*t**4/12 - 2*t**3/3 + 8*t**2. Is w(-9) prime?
True
Let q(r) = -r**3 + 23*r**2 + 5*r + 9. Let m be q(23). Suppose -7842 = -3*o + 3*h, -2*o + m + 5089 = 3*h. Is o a composite number?
True
Suppose -13*l + 154913 + 138926 = 0. Is l a prime number?
False
Let w = -22904 - -37077. Is w prime?
True
Suppose -4*z = -5*a - 15, 2*z - 2*a - 2*a = 12. Suppose z = 13*v - 8*v - 10255. Is v composite?
True
Let d(n) = -261*n - 7. Suppose 5*a = 9 - 14. Is d(a) a composite number?
True
Suppose 763 = -3*j + 1900. Let y = j + -76. Is y prime?
False
Let p(g) = 20*g**2 + 43*g + 179. Is p(-26) composite?
True
Let y = -8 - -11. Let s be ((-2)/y)/(20/(-90)). Suppose 5*q + 729 = s*h + 65, h - 4*q - 219 = 0. Is h prime?
True
Let v = -15 + 20. Let t be 1*v/((-20)/(-12)). Suppose 2*u + 0*h = -h + 106, -2*u = t*h - 98. Is u a composite number?
True
Let n(