2*q - 6*q + 2*q - 9*q**2 + 7 - 2*q**3. Let u be -1 - 60/48*4. Is x(u) a prime number?
True
Suppose -4*u = 9 - 1, -3*u - 9 = -3*b. Let j(g) = 1731*g**3 + g**2 + g. Is j(b) prime?
True
Let x(g) be the first derivative of 145*g**2/2 - 30*g - 7. Suppose 8*y + 11 = 51. Is x(y) a prime number?
False
Let l(y) = -y**3 + 90*y**2 - 38*y + 247. Is l(36) a prime number?
True
Let k be 31462/((-1 - (2 - 6)) + -1). Let v = -11164 + k. Suppose 4 = d + 1, 4*n + d - v = 0. Is n a prime number?
False
Suppose -5*g - 50 = 2*q, 4*q - 4*g + 64 = -5*g. Let b(k) = -k**3 - 13*k**2 + 5*k + 14. Is b(q) a prime number?
True
Let s = 32 - 30. Let k be s/(2*3/9498). Suppose -2*l = -0*l - k. Is l a prime number?
True
Let b = 70414 - -17469. Is b composite?
True
Suppose 15*x - 1206618 - 1170297 = 0. Is x a prime number?
False
Let f(d) = -11 - 12 - d + 22. Let j be f(-4). Suppose 15 = 3*k, -2*g + 2*k = -j*k - 585. Is g prime?
False
Let f(p) be the first derivative of 11 + 1/4*p**4 + 4*p - 3/2*p**2 - 1/3*p**3. Is f(5) composite?
False
Let m be (1 - -2) + 12 + (0 - 2). Suppose -m*s = -6*s - 18158. Is s composite?
True
Suppose 133*o - 135*o + 1266 = 0. Suppose -2*p + 737 = -o. Is p prime?
False
Let a(i) = -3*i**3 - 33*i**2 - i + 895. Is a(-48) prime?
True
Suppose -2 = 5*d - 17. Suppose 3*a + 1023 = d*k, -k + 271 + 60 = -3*a. Is k a composite number?
True
Let g(k) = -4*k + 78. Let t be g(9). Suppose -t*b + 32*b = -8690. Is b composite?
True
Suppose 3*u = -5*l + 123, -2*u + 35 + 49 = 4*l. Let q be (50/(-4))/((-6)/2532). Suppose u*s = 31*s + q. Is s composite?
True
Let r(t) = -575*t - 4. Let f(c) = 863*c + 7. Let n(b) = 5*f(b) + 7*r(b). Is n(3) a composite number?
False
Let z = -12 + 104. Let p be (-72)/15 + 2*4/(-40). Is (z/(-6))/(p/15) a composite number?
True
Let y(s) = 2*s + 18. Let x be y(-6). Suppose h = -x*h. Is h/3 - 2 - -339 composite?
False
Is (-8029287)/(-39) - (-28)/(-182) a composite number?
False
Let l = 25916 - -103535. Is l a prime number?
False
Suppose 0*h + 2*h + 168 = 0. Let k = h - -158. Is k a prime number?
False
Let j be (-28)/(-4) - (-9)/(-3). Suppose -4*b + 4 = j*a, -b + 10 = 2*a - 3*b. Suppose -l + 2044 = a*l. Is l composite?
True
Let j = -24 + 26. Suppose 2*h - 22 = 3*i + 1, j*h + 4*i = 58. Suppose h*v = 20*v - 1009. Is v prime?
True
Is (-40)/8*((-12212)/5 + 3) composite?
False
Suppose -92*w = 20*w + 1083503 - 9244831. Is w a composite number?
False
Let v be (-4)/(64/12) + (-63486)/(-8). Suppose -4*f + n = 2*n - v, -5 = n. Is f a prime number?
False
Let g = -42 + 59. Let d(i) = -i**3 + 24*i**2 + 18*i + 4. Is d(g) prime?
True
Let a(n) = n**3 + 11*n**2 + 20*n + 22. Let d be a(-9). Suppose -4*k - k + 472 = d*c, 4*c - 436 = 4*k. Is ((-2)/(-3))/((-18)/(-81))*c prime?
False
Let d = 37466 - 24823. Is d a prime number?
False
Let r = 36227 - 23218. Let u = r - -7190. Is u a prime number?
False
Suppose -4*r + 17*r = 91. Suppose -6*m + r*m = 5. Suppose 2*x + m*b = 629, x + 2*b - 203 = 112. Is x prime?
True
Let v(s) = -4135*s - 166. Let u be v(-8). Let g = -13747 + u. Is g composite?
True
Let d(u) = 5*u**3 - 7*u**2 - 8*u + 9. Let s be d(6). Suppose 3*w = -5*h - 764, -117*w + h = -116*w + 244. Let g = s + w. Is g a composite number?
False
Suppose -4*y + 2*i + 458800 = 0, 2*i = -y - 77842 + 192547. Is y prime?
False
Suppose -11659705 - 4686353 + 220842 = -96*d. Is d prime?
True
Suppose 9*x - 4*x - 18 = -4*r, 4*r = 2*x + 32. Suppose -g = 5*j - 10111, r*j = 9*j. Is g prime?
True
Suppose -11*j + 148758 = -825721. Is j a prime number?
True
Let x(i) = 5*i**2 - 6*i - 150. Let f be (-9)/(-6)*680/(-60). Is x(f) a composite number?
True
Let c(m) = 129*m**2 + 1040*m - 192. Is c(-41) prime?
True
Is (-24)/48*1 + 2 + 81190/4 composite?
True
Let d(t) = 4*t**2 - 6*t - 10. Let v be d(-3). Let o = v - 32. Suppose l = o*l - 1023. Is l a prime number?
False
Let i = -872523 + 2109964. Is i composite?
False
Let n(r) = 2*r**3 - 53*r**2 + 65*r + 25. Let m(d) = d**3 - 26*d**2 + 32*d + 12. Let a(z) = -5*m(z) + 2*n(z). Is a(21) prime?
True
Suppose 26*i + 5*r = 29*i - 41879, 0 = -4*i + 4*r + 55844. Is i a composite number?
False
Let s(n) = 9274*n + 2201. Is s(8) prime?
False
Let b(t) = 473*t**2 - 64*t + 1. Let l be b(-3). Suppose -l = -3*m + 7136. Is m a composite number?
True
Let z = -62 - -75. Suppose -2*u + 5*u - 5 = 5*s, 0 = 3*u - s - z. Suppose -o - 4*f = -2*f - 439, 4*o - 1753 = -u*f. Is o a composite number?
True
Let f = 0 - 0. Suppose 0*b = -3*v + 2*b + 16, f = 2*v - 3*b - 19. Suppose 0 = -v*g + 3185 - 1179. Is g a prime number?
False
Let g = 17220 + 80253. Is g composite?
True
Let f(i) = 3*i**3 - 213*i**2 - 42*i + 125. Is f(72) a composite number?
False
Let f(j) = -j**3 - 7*j**2 - 3*j. Let a = 11 - 16. Let m be f(a). Is (-12852)/m + (-1)/5 a prime number?
True
Suppose 23*f = -2*f. Suppose 6*k - 27816 - 15138 = f. Is k composite?
False
Let f(c) = -9628*c + 1539. Is f(-16) a prime number?
False
Suppose -11*k = -9*k. Let w be (k - -7*6)*(-7040)/(-33). Suppose -11*u + w = -27. Is u composite?
True
Suppose -5*g + 64672 + 231099 = -v, -3*v = 5*g - 295787. Is g a composite number?
True
Suppose o - 2*x = -0*x + 3, x = 5*o - 6. Is (-8997)/(-2) + (o/2 - 0) composite?
True
Let g = 783856 + -368237. Is g a composite number?
True
Suppose 320*g - 42131 = 319*g. Is g a composite number?
False
Suppose 4*w - 2*m - 3130 = 2*w, -4*m = 4. Let k(r) = -r**2 + 204*r - 47. Let b be k(14). Let a = b - w. Is a a composite number?
False
Is (72/(-21))/(-4) + 233862344/1288 prime?
False
Let s = -13433 - -30526. Is s prime?
True
Let l(y) = -4*y - 13. Let z be l(-4). Suppose 0 = 2*c + c - 15, 4*x = -4*c + 23452. Suppose z*r = v - x, -8*v + 2*r = -10*v + 11756. Is v a prime number?
False
Suppose 40081 + 83021 = 7*m. Suppose -14*j - 4*j = -m. Is j a prime number?
True
Is (-172878 + -73)/(2/7 - (-9)/(-7)) prime?
False
Let v be (82/10)/((-11)/(-55)). Suppose 4*h - c - v = 0, 3*c = -2*h + 4 - 1. Suppose -4*l + 936 = -h*z + 4*z, -5*l + 5*z = -1175. Is l a prime number?
True
Suppose -2*n + 759 = 663. Let d(f) = 2*f**3 - 97*f**2 + 55*f - 43. Is d(n) prime?
True
Let r = -369 - -367. Is (110/15)/(r/(-537)) composite?
True
Suppose -4*r = 0, 0 - 3 = 3*v + 4*r. Let k(q) = -12118*q + 2. Let m be k(v). Suppose -6*b + 5*s = -b - m, 20 = 4*s. Is b composite?
True
Let l be 127/2*(6 - (-3 + 17)). Suppose 0 = 5*k - 1722 - 4263. Let o = k + l. Is o a prime number?
False
Let b be (10041/(-9))/(17/51). Let c = 522 - b. Is c a prime number?
False
Is 100832/5 - -22 - (-3)/5 composite?
True
Let o(v) = v**3 - 22*v**2 + 10*v + 4. Let z be (-4)/6 + 923/39. Is o(z) a composite number?
True
Let r = -340056 - -630785. Is r prime?
False
Let t(o) = -56*o - 19. Let f(p) = -p. Let u(h) = 5*f(h) - t(h). Let r(v) = -77*v - 28. Let l(z) = -5*r(z) - 8*u(z). Is l(-13) composite?
True
Let v(f) = 22*f**3 - 2*f - 40. Let t be v(-5). Suppose -2*d + 9466 = -2*s, -2*d + 9607 + 4588 = -3*s. Let o = t - s. Is o a prime number?
True
Suppose 0*p + 3723 = 2*p - 5*n, -3*p + 5607 = -3*n. Let u = 6127 - p. Is u composite?
False
Let g = 153 - -163. Let o = 1038 - 1097. Let c = o + g. Is c a prime number?
True
Suppose -r + 1554 = r. Let w be (239 - 0)/((-2)/4*1). Let j = r - w. Is j prime?
False
Let n(d) = 12*d - 13. Let o be n(9). Suppose 6*h - h - 130 = 5*b, b + o = 4*h. Suppose -h*q = -24*q + 1243. Is q a prime number?
False
Suppose 0 = -74*t + 7388721 + 59137057. Is t a prime number?
False
Let h = -7190 - -14483. Suppose 2*l + 5*y - 37315 = h, -89186 = -4*l + 5*y. Is l prime?
False
Suppose -20*c + 10*c = -70. Suppose -4*l + z + 6701 = -2*l, 3*l = z + 10053. Is l/c + 1/7 composite?
False
Let z = -150 - -563. Suppose 6494 = 3*t + z. Is t a prime number?
True
Let j(n) = -2*n - 9. Let b be j(-7). Let t be (-3016)/(-2262) - ((-2)/4)/(6/32). Suppose t*q = r + 2119 + 824, -r + b = 0. Is q a composite number?
True
Let z(r) = -75191*r + 6322. Is z(-7) a composite number?
True
Suppose -16070 + 2900 = 3*c. Let h = c - -11567. Is h prime?
True
Let v be 198144/80 - (0 + (-8)/(-10)). Let k be (3 - -1) + -3 + 1. Suppose -2*b + 3574 = k*q, -v - 1082 = -2*q + 2*b. Is q a prime number?
True
Let g = 89 + -89. Let h(a) = -2*a - 8*a + 2*a**3 - a**3 - a**2 + 11 + g*a**2. Is h(8) prime?
True
Let h be (-6)/21 + 138/42. Suppose -5*i - h*m + 4 = 6, i - 3*m - 14 = 0. Suppose -1408 = -i*f - 2*j