o**2 - 2*o + 1. Let q(b) be the first derivative of x(b). Is q(7) prime?
False
Let b(g) = -g**2 + 4*g + 10. Let a be b(7). Let y(k) = -7*k - 14. Let c be y(a). Let f = 30 + c. Is f prime?
False
Let z(q) = 8*q**2 - 56*q + 293. Is z(34) a prime number?
False
Suppose -2*m - 19 = 27. Let k = m + 700. Is k prime?
True
Let z(d) = 2*d**3 - 3*d**2 - 11*d - 12. Let m be z(-10). Is (m/8)/((-15)/100) a prime number?
False
Let x(n) = 57*n**2 - 3*n + 19. Is x(8) prime?
True
Let r(j) = 28*j**2 + 15*j - 59. Is r(-14) a prime number?
False
Let c = 1893 + 15626. Is c a composite number?
False
Let x(s) = 4*s**3 + 8*s**2 - s - 7. Let c(i) = -9*i**3 - 16*i**2 + 3*i + 14. Let z(h) = -3*c(h) - 7*x(h). Let p be z(-7). Is 1860/21 + (-12)/p a prime number?
True
Is 31182*10/300 - 2/5 a prime number?
True
Let g be 12/(-42) + (-1)/(14/(-914)). Let j = g + 38. Is j a prime number?
True
Let z(o) = -60*o + 7. Is z(-3) a prime number?
False
Let c(h) = -4933*h - 21. Is c(-10) prime?
False
Let d = 3208 - 1809. Is d prime?
True
Suppose 28*q - 5627 = 47097. Is q composite?
True
Suppose 4*q - 26 = -9*q. Suppose -j - 4*r + 3292 = 3*j, q*j - 1640 = r. Is j composite?
False
Let k(r) = r**3 + 12*r + 9. Is k(14) a prime number?
False
Suppose -3*q - 4*l = 12, 0 = -q - 2*l - 4 - 2. Let d be 3*(0 + (1 - q)). Suppose -12 = -d*x + 51. Is x a prime number?
False
Suppose -9 = 3*m + 33. Let r = m - -13. Is (r - (-1 - 2)) + 111 prime?
True
Suppose -323665 = -28*y + 9*y. Is y composite?
True
Is (-312)/182 - 253690/(-14) a composite number?
False
Let h be (-1 - -2) + 516/(-12). Let b = h - -101. Is b prime?
True
Let h(q) = q + 11. Let p be h(-5). Suppose -k + 11 = 5*t + 27, -k = 3*t + p. Is (k/(-6) - -1)*-134 composite?
False
Let m be 2 + -1425*2/(-3). Suppose -t = -5*t - m. Let l = -111 - t. Is l composite?
False
Suppose 0 = 2*r + 4*x - 2758, 2*r - 8*x = -6*x + 2776. Is r a composite number?
True
Let s = -4305 - -22088. Is s prime?
True
Let a(c) = -5*c - 1. Let v be a(-3). Let q = 8 - v. Is (q/9 + 1)*753 a composite number?
False
Let y = 623 - 241. Let b = y - -955. Is b prime?
False
Let r(b) = 88*b**3 - 5*b**2 - 4*b + 5. Let t(m) = m**2 + m - 1. Let x(o) = r(o) + 5*t(o). Is x(1) composite?
False
Suppose 3*d + 3 = 0, -3*g - d - 1 + 6 = 0. Suppose -3 = 3*u, g*q + 3*q - 3*u - 9378 = 0. Suppose 5*w - q = 4*o, -2*w = -o + 5*o - 722. Is w prime?
False
Let m(q) = q**3 + 43*q**2 - 4*q + 67. Is m(-41) a prime number?
True
Suppose 25941 = i + 5*w, 0*i - 2*w + 129797 = 5*i. Is i a composite number?
True
Suppose -4*s = -7*s + 3. Let h(p) = -10*p - 2. Let x be h(s). Is 4/x*-3 + 264 prime?
False
Suppose -5*m = -3*x - 230239, -5*x - 2 = -12. Is m prime?
True
Let v be (-3*(-6)/(-54))/((-1)/12). Suppose 3*r - 2505 = -3*g, -v*g = r - 1119 + 296. Is r a prime number?
True
Let k(t) be the second derivative of 0 - 15*t**3 + 1/2*t**2 - 2*t. Is k(-1) prime?
False
Let p be (-3642)/4*(-4)/(-6). Let t be 1 + (-1 - -3) + p. Let j = 855 + t. Is j a composite number?
False
Let f = -1077 - -1970. Is f composite?
True
Let f = 1647 - 682. Let t be (-1)/2 + f/(-10). Let i = 194 + t. Is i composite?
False
Suppose 0 = t, -3661 = -2*w + 4*t + 22425. Is w prime?
True
Suppose -9075 = -6*n + 3243. Is n composite?
False
Let i(r) = 119*r + 3. Let c be (-3 - -4)/((-1)/(-33)). Let w = -29 + c. Is i(w) a composite number?
False
Let i = 1355 - 444. Is i prime?
True
Let r(n) be the third derivative of -11*n**4/24 - 5*n**3/6 - 3*n**2. Let x(b) = b**3 - 13*b**2 - 15*b + 6. Let u be x(14). Is r(u) a composite number?
False
Suppose 49214 = 2*o - 2*u, -5*o - u = -3*u - 123035. Is o prime?
False
Suppose -28118 = -11*s + 124683. Is s prime?
False
Let h(r) = -4*r**2 + r + 1213. Suppose 3*d = 5*d. Is h(d) prime?
True
Let v = 5240 - 2959. Is v a prime number?
True
Let k be 106/34 - (-32)/(-272). Suppose -k*b + 10492 = b. Suppose 3*o = b + 188. Is o prime?
True
Let f(d) = -1058*d + 9. Is f(-10) prime?
True
Suppose -2*f - 14236 = -2*l, -5*l - 3*f + 14459 = -21123. Is l a composite number?
True
Let i(k) = k**3 + 7*k**2 - 7*k + 10. Let s be i(-8). Suppose s*b - 3*f + 0*f = 15024, f = 3*b - 22529. Is b composite?
True
Suppose -119*r + 9*r + 1468390 = 0. Is r a composite number?
True
Let a = 824 - 127. Is a composite?
True
Let a(c) = 5*c**2 - 2*c + 8. Let x be a(7). Suppose -2477 + x = -3*z. Let g = z + -415. Is g a prime number?
True
Let f(j) = 10*j**2 + 3*j - 5. Let z be f(3). Suppose 4*k + z = 602. Is k a prime number?
True
Let p = 47 + -47. Suppose p = -3*t - 45 + 2406. Is t prime?
True
Let x = -1208 + 2852. Suppose b + 3*b = x. Is b a composite number?
True
Let k(p) = 1 - 2 + 0 - 5*p + 0*p + 7*p**2 + 9*p**3. Is k(4) a composite number?
True
Suppose -5*s - 3 - 12 = 0. Is -2620*9/(-18) - 1*s prime?
False
Let i = 12 - 22. Is (-10)/i - 1/(2/(-956)) a composite number?
False
Let b(s) = -4 - 4 + 2 + 2 - 31*s. Let o be b(-2). Suppose -2*z - o = -3*z. Is z prime?
False
Let i(p) be the third derivative of 3*p**5/20 + 5*p**4/24 - p**3/6 - 12*p**2. Is i(-6) a prime number?
True
Suppose b + y - 6 = 0, 4*b - 18 = y - 4. Suppose 14 = -z - 4*w + 6, 4*z - 63 = 3*w. Suppose -2*l + d = -z, 2*l + d = -0*l + b. Is l a composite number?
True
Let w be 4*2/(-4)*-82*1. Is ((-7)/(-2))/(2 + (-326)/w) composite?
True
Let i(d) be the first derivative of 13*d**2 + 3*d - 8. Is i(2) a composite number?
True
Let m(q) be the third derivative of -q**4/6 - q**3 + 4*q**2. Suppose 5*u + 3*p + 32 = 0, u - 2*p = -2 + 6. Is m(u) a composite number?
True
Suppose 0 = -2*l + 107 + 509. Let a(d) = 123*d**3 + 2*d**2 - 3*d + 1. Let f be a(2). Suppose 5*c - l = f. Is c a composite number?
True
Let p(l) be the third derivative of -57*l**6/40 - l**5/30 + l**3/6 - 2*l**2. Is p(-2) a composite number?
False
Suppose 2*w + 2*w + 16 = 0. Let l(r) be the second derivative of r**4/4 - r**3/3 - 3*r**2/2 - 31*r. Is l(w) composite?
False
Let n(y) = -16*y**3 - 3*y**2 + 7*y - 11. Let m be n(-7). Let f be (-6)/(-9) + m/3. Suppose 0 = -2*g + 5*g - f. Is g prime?
True
Suppose 2*k = k. Let u be (0*(k + -1))/(-2). Suppose -4*j - j + 2755 = u. Is j a composite number?
True
Let x = -19 - -11. Let j(a) = -a**2 + 2. Let g(t) = -4*t**2 - 2*t - 1. Let m(h) = g(h) - 5*j(h). Is m(x) a composite number?
True
Let v = 13429 + -9146. Is v a prime number?
True
Suppose -8 = -2*o - 0, 5*m - 4*o + 11 = 0. Let p be ((-9)/18)/(m/10). Let x(j) = 5*j**2 - 7*j + 1. Is x(p) a composite number?
True
Let n = 47315 - 32062. Is n composite?
True
Suppose -3374*m + 3364*m = -257930. Is m prime?
True
Suppose -p + 0*p = 2*a - 11, -2*p + 5*a - 5 = 0. Suppose 18 = -p*w + 3*v, -5*w + v - 22 = -v. Is 22/66 - 964/w a prime number?
False
Let x = -16956 + 29935. Is x prime?
True
Let l be (16/(-6))/((-2)/3). Suppose -4*p - 140 = -4*g, -l*g + 37 + 101 = -3*p. Is g a composite number?
True
Suppose -j + 9 = -w - 4*w, 4*j - 2*w - 18 = 0. Suppose -3*v + 341 = -j*r - 13, 0 = -4*v - 2*r + 494. Is v composite?
True
Let b(l) = -l**3 + 11*l**2 - 7*l - 12. Let h = -33 + 42. Is b(h) a prime number?
False
Let p = 6 - 4. Suppose p*b = -0*b. Suppose 5*m + 2*r - 931 = 0, b*m + 2*m - r = 376. Is m a prime number?
False
Suppose 36 = 2*b + 8. Let q be (b/21)/(2/9). Suppose 7*v - q*v = 36. Is v a prime number?
False
Let p(r) = 14*r**2 - r - 6. Let h be p(5). Let c = h - 79. Suppose -2*b = -6, -3*b + c = 4*o + b. Is o a composite number?
True
Suppose v - 4*s - 34 = 0, 0*v - 3*v + 17 = 5*s. Let d be 3572/v - 2/14. Let p = d + 12. Is p prime?
False
Let b = 110 + -115. Is b/(35/(-18907)) + (-1 - -5) prime?
False
Suppose 1907 = -3*i + 11357. Suppose 0*a - i = -2*a. Let j = a + -906. Is j prime?
False
Let z(q) = -177*q + 29. Let w(t) = -t**3 - 11*t**2 - 7*t + 20. Let h be w(-10). Is z(h) a prime number?
False
Suppose -78*u + 111575 = -73*u. Is u composite?
True
Let s(a) = -1646*a - 74. Let m be s(6). Let l = m + 15551. Is l composite?
True
Let r be ((-736)/48)/(1 + (-118)/114). Suppose -9788 = -3*t - 5*z, -5*t - 2*z + 16782 = r. Is t composite?
False
Suppose 2*u = -945 + 5771. Is u prime?
False
Let x(y) = -2*y + 13. Let q be x(5). Suppose q = -3*w, 5*w = 5*j - 2*j - 119. Is 4/6 - j/(-6) a prime number?
True
Let m(l) = l - 9. Suppose 4*k - 61 + 17 = 0. Let s be m(k). Suppose -2*w - 1554 = -5*n - 291, 0 = s*w - 2. Is n a prime number?
False
Let w be -8*(25/10 + -3). Suppose