8724 = 5*o. Is o prime?
False
Let i(c) = 2*c**3 - 3*c**2 + 11*c**3 - 10 + 10*c + 7*c**2 + 12*c**3. Let r be i(6). Suppose 3*z + r = 7*q - 2*q, -2*z = 3*q - 3345. Is q composite?
False
Suppose b = 4*y - 169, -813 = -2*b + 7*b - 4*y. Let o = 109 - b. Let w = -159 + o. Is w composite?
True
Let x = -32995 - 213. Let b be (-2 - 1)/(-8 + x/(-4152)). Suppose 2*o = 3*y - 1429, -2*y - 4*o = 583 - b. Is y composite?
False
Let r be 0/149 + 4 + -1 + 0. Suppose 3*t - 5*v = 5*t - 28177, 14072 = t - r*v. Is t composite?
False
Let n(y) be the third derivative of 151*y**5/60 - y**4/3 + 3*y**3/2 - 2*y**2 - 4. Is n(-6) prime?
False
Suppose 7 = 4*g - 5. Suppose 53*z = -86*z + 16*z - 2*z. Suppose z = t - 6*t + s + 20631, -4*t = g*s - 16520. Is t prime?
True
Let j(b) = -b**3 + b**2 - b + 2. Let w be j(-2). Suppose 4*z + w*z - 103780 = 0. Is z prime?
True
Let r be (-6 + 6)*(-1)/2. Suppose -7*i + r = -35. Suppose 4*a + 0*a - i*c = 207, 0 = 2*a + c - 107. Is a prime?
True
Suppose m - 5*b - 1586 + 67 = 0, m + b = 1495. Let r be (1 - (-24148)/12)*(-5 + (-310)/(-50)). Let y = r - m. Is y composite?
True
Let q(z) be the third derivative of 13*z**6/60 - z**5/60 + 13*z**4/24 + 11*z**3/6 + 78*z**2. Is q(6) prime?
True
Suppose 2*h + 4*l - 3*l = 4, 0 = -4*h + 5*l - 20. Suppose -4*q = -9*w + 13*w - 20276, h = w. Is q a composite number?
True
Let s = 90 - -25. Let y = 706 - s. Is y prime?
False
Let u be 25 + -22 - 5/1. Is (2714/(-3)*3)/u composite?
True
Suppose 2*p = -5*h + 255264, 2*h + 638189 = -226*p + 231*p. Is p a composite number?
False
Suppose 49*a - 31*a = 386028. Is a composite?
True
Let z = 5410 - 2280. Suppose -4*s + 4*k + 6820 = 0, -3*s = -2*k - z - 1986. Is s a composite number?
True
Suppose -2*t - 16 = 4*y, t = -5*y - 5 - 6. Let z be (122/t)/(-4 + (-1444)/(-360)). Is (-5 + 3)*z/12 prime?
False
Let k be -10 - (4 + -3) - (-14 - -10). Is (-3)/(-9)*-3 - 10808/k prime?
True
Let d(v) = 33 + 243*v - 220*v - 50 + 5*v**2. Is d(25) composite?
True
Let a(q) = 8*q**2 + 42*q - 273. Is a(47) a composite number?
False
Let u be (-360)/(-216) - (19940/(-6) + -2). Let b = u - -870. Is b a prime number?
False
Let g = -51 + -437. Let u = g - -633. Is u a prime number?
False
Let f = 235779 + -77708. Is f prime?
True
Let p = 99117 + -145274. Let b = -30322 - p. Is b a prime number?
False
Let u(c) = 12 - 107*c - 2 - 147*c - 93*c. Let d(w) = -347*w + 9. Let h(p) = -4*d(p) + 5*u(p). Is h(-3) composite?
True
Let q(o) = -5316*o - 357. Is q(-6) a composite number?
True
Let q = 209720 - -285659. Is q prime?
False
Let c(m) = 2*m**2 - m + 6. Let f(o) = 2*o**2 - o - 1. Let y(a) = -c(a) + 2*f(a). Suppose -2 = -5*z - 17. Is y(z) a prime number?
True
Let a = 560 - 2872. Let z(n) = 97*n**2 + 11*n + 81. Let d be z(-6). Let j = d + a. Is j prime?
False
Let x(y) = 2*y**3 - 4*y**2 - y. Let m be x(3). Let g(d) = -d**3 + 18*d**2 + 17*d - 53. Is g(m) prime?
True
Let z = 73965 - 18218. Is z a composite number?
True
Let o = 86016 - 21019. Is o prime?
True
Let i(p) be the first derivative of -81*p**2 - 13*p - 7. Let a be i(-12). Let f = a - 238. Is f a composite number?
False
Let g(q) = 161*q**3 - 18*q**2 + 8*q + 18. Is g(7) prime?
False
Suppose 5746455 = 121*n - 15*n + 240709. Is n composite?
False
Is (-758211)/(-5) + (-234)/720 + (-6)/(-48) a composite number?
True
Let w = -204 + 211. Suppose 4*q + 6*x - w*x - 11680 = 0, -4*x + 16 = 0. Is q a composite number?
True
Suppose 0 - 16 = -2*q. Let f be 1/(q/60 + (-2)/(-10)). Is (2*1/f)/(4/894) composite?
False
Suppose -2*f + 8 = 2*f. Is -2 - ((-93 + -4)*71 + f) a composite number?
False
Let r(v) be the first derivative of 39*v**3 + 2*v**2 + v**2 - 8*v + 31 - 23*v**3 + 57*v**3. Is r(3) a prime number?
False
Is ((58*5043 + 3)/3)/((-2)/(-2)) a prime number?
True
Let b(f) = -2 + 5*f**2 - 10*f + 0*f**2 - 6 + f**3. Let j be b(-6). Is 19671/12 + (-4)/j composite?
True
Suppose 32183092 - 677927 = 85*p. Is p a prime number?
False
Suppose 5*q = 3*y + 16, -5*y + 3*y - 14 = -4*q. Suppose 3*h = 5*t + 5393, -q*h + 3*t + 1494 = -7505. Is h a prime number?
True
Is (-13)/(-104)*(8594294 + 2) a composite number?
False
Suppose b = -3*r + 11, 2*b + 3*b = 5*r - 25. Let m(c) be the second derivative of 173*c**4/2 - 2*c**3/3 - 3*c**2/2 - 19*c. Is m(b) prime?
True
Let i = -313019 - -442472. Is i composite?
True
Suppose -6 = -5*a + 4*a. Suppose -a*r = -4*r - 5*g + 75, -2*r - g - 57 = 0. Is (r/9)/(2/3117)*-1 a composite number?
True
Let k = 1160 + -1800. Let x = k + 1121. Is x a prime number?
False
Suppose 37*d - 9*d - 5831336 = -28*d. Is d composite?
True
Suppose 3*h - 6 = -2*l + 3, -4*h + 10 = 2*l. Suppose -5*y - 4*v = -2464, -184*y + 188*y = 4*v + 2000. Suppose y = -l*r + 8797. Is r a prime number?
True
Is (-2)/((-24)/4484988) + 14 a composite number?
True
Let y(i) = -i**2 - 27*i - 34. Let t be y(-26). Let n be (448/(-35))/t*(-5)/2. Is (-6)/8 + (-6775)/n a composite number?
False
Let c = 812573 + -369352. Is c prime?
True
Is (-23 - 695)/((-2148)/11451 + 8/44) prime?
False
Is ((-8)/(-12))/((-58)/(-7306521)) prime?
True
Is ((-12914)/(-352))/((-2)/8)*-4 prime?
True
Suppose 57*j - 1802928 = -93*j + 11134722. Is j composite?
True
Let h(n) = -46*n + 7. Let r be h(2). Let o = r - -89. Suppose -5*c = o*y - 12899, -y - 5836 = -4*c + 4479. Is c composite?
False
Suppose 0 = 3*w + 2*m - 500853, 8 = -2*m + 14. Is w a composite number?
False
Let d = -67126 + 177553. Is d prime?
False
Let z(t) = t**2 + 9*t - 10. Let w be z(-9). Let m(l) = -2*l**2 + 5*l + 24. Let p be m(w). Let o = 67 - p. Is o prime?
True
Let o(a) = 3*a**2 - 7*a + 8. Let l be o(2). Let v(k) = -k**3 + 7*k**2 - 3*k - 13. Let d be v(l). Suppose -1203 = d*f - 8*f. Is f a composite number?
False
Let h(g) = -3298*g**3 - 3*g**2 - 28*g - 62. Is h(-3) a prime number?
True
Suppose -17688 = -4*u - 3948. Suppose 6*r + u = r. Let t = r - -1208. Is t prime?
True
Let c be -5 - 0 - (24 + -23). Is c/(-9)*516/8 composite?
False
Suppose -5*u = -5*p + 8515, -3*p + u = 6*u - 5085. Suppose p = 3*l + 6593. Let f = -468 - l. Is f composite?
False
Suppose -104 = n - 48. Is ((-1436)/(-6))/(n/12 - -5) composite?
True
Suppose -371*c = -588*c + 85971277. Is c composite?
False
Let j = -471 - -283. Let c(l) = -3*l**3 + 3*l**2 - 4*l + 5. Let v be c(5). Let h = j - v. Is h a prime number?
True
Let b(u) = -62*u + 31322. Is b(0) a composite number?
True
Is 1859476/52 + ((-777)/444 - (-166)/104) a prime number?
True
Let k be 1 + 1 + -75 + 77. Suppose 4*o + 33816 = k*p, p - 2*o = 2*o + 8439. Is p prime?
False
Let a = -80133 + 180232. Is a a prime number?
False
Suppose -7*l = 18*l - 50. Suppose 5*w - d = 19945, -4*w + l*d = 4*d - 15956. Is w a composite number?
False
Let h = -36376 - -61399. Suppose 8*f + 11*f = h. Is f prime?
False
Let v = -2055 - -3144. Let i be 4/(-6)*(v*-3 - -6). Suppose 4*r - i = 4318. Is r a prime number?
False
Let f(i) be the first derivative of 13*i + 28/3*i**3 + 13 - 4*i**2. Is f(6) a prime number?
False
Let q(k) = -k**3 - 9*k**2 + 10*k. Let p be q(-10). Suppose 15*u - 6*u + 99 = p. Is 2/u - 23055/(-55) a prime number?
True
Let y(b) = 13*b**2 - 5*b + 4 + 14*b + 10*b + b**3 + 3*b. Let t be y(-11). Suppose t*k - 5851 = -5*u, 4*u - 18*k = -13*k + 4689. Is u composite?
False
Let t(w) = 342*w - 1. Let q(h) = h**3 - h**2 - 1. Let s(z) = -4*z**3 - 2*z**2 - 3*z - 13. Let m(p) = -3*q(p) - s(p). Let d be m(-5). Is t(d) composite?
True
Let r(b) = b**3 - 3*b**2 + 9. Let x be r(-23). Let v = -3118 - x. Is v a composite number?
False
Let p = 18162 + -10453. Let y = p + -4138. Is y composite?
False
Suppose -31*q + 3560381 = -3067140. Is q composite?
False
Let g = 126853 + -29030. Is g a composite number?
True
Let f be (-5 - (-12605)/25) + (-12)/(-15). Let w = 1392 - f. Suppose 5*n - w = 1063. Is n a prime number?
False
Is (-9 - -26 - 12) + 77011 + 2/2 composite?
False
Let z(o) = o**3 - 2*o**2 - 2*o + 3. Let r(l) be the second derivative of l**3/6 + 8*l**2 - 18*l. Let s be r(-8). Is z(s) a composite number?
True
Let x be 1 - (-3)/(-6) - 3/(-2). Let r(j) = 4 - 10*j - 3 - 7*j**2 + j**x + 2*j**3 + 4. Is r(9) composite?
False
Let g be (325/15 - 4) + (-2)/(-6). Let r be 2 - g/((-8)/4). Suppose -r*v = -2*v - 16155. Is v prime?
False
Let f(y) = 1907*y + 2. Is f(3) a composite number?
True
Let u = -190 - -193. Suppose 0 = u*w - 6311 - 5590. Is w a prime number?
Tru