5. Let b = -4800 + d. Let s = 4933 + b. Is s prime?
True
Let x(y) = y**2 - 5*y - 22. Let w be x(8). Suppose 5*f + 7796 - 100 = 4*j, -j = w*f - 1937. Let b = 3518 - j. Is b a prime number?
False
Suppose 139*r = 108*r - 758794 + 4699359. Is r composite?
True
Let i(m) = -m + 12. Let l(h) = -h**3 - 15*h**2 - 13*h + 21. Let k be l(-14). Let n be i(k). Suppose 888 = -n*g + 7693. Is g a composite number?
False
Let o = -60 - -62. Suppose -o*t + 7*t = 41135. Suppose -6028 = -3*w + 4*r + 111, 4*w + 3*r = t. Is w composite?
False
Let j(w) = 4*w**3 + 3*w**2 + 4*w - 5. Let q be j(1). Is q + ((-639)/(-1) - 4) a composite number?
False
Let x(b) = -33*b**3 - b - 3. Let h = -105 - -120. Let z be ((-12)/h)/((-18)/(-45)). Is x(z) composite?
False
Suppose -21*k - 108 = 6*k. Is 4*2/k - -3205 prime?
True
Suppose 18*a = 23*a - 5. Is a + 4 + -11 + 6953 prime?
True
Let q(z) = 38769*z**3 - 49*z**2 - z + 13. Is q(4) a composite number?
False
Let p be -2*(1 + (-2 - 0)). Suppose -4*g = p*g - 14058. Suppose 465 = -l + 2*l + 2*z, 5*l - g = -z. Is l prime?
False
Suppose 4*s = 2*l - 18, -5*s - 11 + 1 = 0. Suppose l*n = -x + 5308, -2*n + 1459 = 5*x - 678. Is n composite?
False
Let g = -34826 + 84199. Is g a composite number?
True
Let v(o) = -o**3 + 7*o**2 - 4*o + 70097. Is v(0) a prime number?
False
Let d(o) = 13*o**2 - 243*o + 49. Is d(38) a composite number?
False
Is (-12)/33*-204933 - (-13)/(-143) a composite number?
False
Suppose -r + 2*r - 2*r = 0. Let m(v) = v**3 + 49. Is m(r) a prime number?
False
Let c = -549 + 1038. Is c + 0 + -6 + 4 a composite number?
False
Suppose -641 = -6*d - 611. Suppose 144765 = d*t - 5*j + 47155, 19520 = t - 3*j. Is t prime?
False
Suppose 26*f + 25*f - 976808 = -5*f. Is f a composite number?
False
Suppose -2*d = 8, 2*s = -6*d + d - 8. Let t be (-46)/2 - (-4)/s*3. Let n = t + 104. Is n a composite number?
False
Let p = 299 + 79. Let y = p + 349. Let h = y + 966. Is h composite?
False
Let o(u) = -32*u**3 - 5*u**2 - 4*u + 9. Let r be o(-3). Suppose 2*m + r = -4*t - 2*m, -2*t - 4*m - 430 = 0. Let n = t + 464. Is n prime?
False
Suppose 0 = 3*z + 3*w - 1684374, -w - 124816 - 998127 = -2*z. Is z composite?
True
Let y(i) = -33*i**2 + 2*i - 4. Let k be y(7). Let c = 2426 + k. Let z = 1778 - c. Is z composite?
True
Let g = -103505 - -160420. Is g composite?
True
Is (66/9 - (9 - 2))*431223 composite?
True
Suppose -6*o = -3*o - 3*u - 231837, 2*o + 4*u - 154558 = 0. Is o prime?
True
Suppose -129649 = 16*i - 1056353. Is i a composite number?
True
Let y(a) = -552*a - 2. Let g be y(10). Let l be (2 + (-10)/4)*g. Suppose -2*n + l = 3*s + 650, -5*s + 5*n + 3485 = 0. Is s prime?
True
Let h(s) = -20*s - 18. Let z be h(-16). Let l be (1 + 24)*z/5. Suppose -2*o + 749 = a, a + a - l = -o. Is a composite?
False
Suppose -3*l + 739492 = -h, 4*h + 214266 = 4*l - 771726. Is l prime?
True
Suppose -2*i + 35956 = 3*x, i - x + 9991 - 27959 = 0. Suppose -4*m + 15488 = -i. Suppose -3*g = -8*g + m. Is g composite?
True
Suppose -88175 = -3*o - 2*f + 157228, 0 = 3*o - 5*f - 245382. Is o prime?
True
Let w(v) = v**3 + 58*v**2 + 17*v - 331. Is w(-48) a prime number?
True
Let y(n) = 210*n - 31. Let p be y(22). Let c = -1650 + p. Is c prime?
True
Let r(n) be the third derivative of 25*n**4/4 - 179*n**3/6 - 5*n**2 + 3. Is r(29) a prime number?
False
Suppose -5*p + 0*g = -2*g - 36, -5*p = 3*g - 21. Suppose -2*x = -4*h - 8314, 4*x - 7*h = -p*h + 16614. Is x prime?
True
Let o(a) = -326*a - 345. Let r = 377 + -394. Is o(r) a composite number?
False
Is (3 + -12 - 0) + 0 + 333688 composite?
False
Let d(n) be the second derivative of 37*n**4/6 + 5*n**3/6 - n**2/2 + 80*n. Is d(-10) a composite number?
False
Let g = 93 - 73. Suppose 0 = -19*m + g*m - 3*p - 17804, 53448 = 3*m + 3*p. Is m prime?
False
Suppose -5*m + 26783 + 29562 = 0. Is m a composite number?
True
Let f = -3733 + 7388. Let a = f + -1452. Is a prime?
True
Let q be (-22)/77 - (-99)/(-21). Is (2 + 5 + q)*17218/4 a prime number?
True
Let g(h) = 9*h**3 - h**2 + h + 35. Let w = 80 - 74. Is g(w) composite?
False
Let d be (1 - (-218)/(-10))*-5. Let k(g) = 2*g**2 - 224*g + 1073. Let q be k(5). Suppose -q*z + d = -10. Is z a prime number?
False
Let a be 4/3 - (-590)/30. Is 1311262/(-123)*(2 + a/(-6)) prime?
True
Let r(s) be the third derivative of 59/6*s**3 - 1 - 5*s**2 + 31/12*s**4 + 0*s. Is r(21) composite?
False
Let g = 85 + -83. Suppose -p - 3*p + a = 29, g*p + 4*a - 8 = 0. Let y(o) = -276*o - 5. Is y(p) composite?
True
Suppose -5*y - 54834 = -2*n, -13*y - 137051 = -5*n - 9*y. Is n composite?
False
Let y = -276 + 88. Let d = y - -347. Is d composite?
True
Suppose -4*z = 0, -5*m - 39 = -2*z - 14. Let t(d) = -157*d**3 - 8*d**2 - 9*d + 17. Is t(m) prime?
False
Suppose 2*b = -o + 302287, -o - 5*b + 392402 = 90115. Is o prime?
True
Let f be 13 + ((-14)/(-42))/(2/(-6)). Suppose f*m - 2505 = 7611. Is m prime?
False
Suppose -w - 3*b + 95668 = 0, -95673 = -w - 4*b + 6*b. Is w a prime number?
False
Suppose 3*g = -2*v - 0*g, -g = 3*v. Suppose 4*x - 9 - 7 = v. Is 2/(x*3/1278) a composite number?
True
Let v = 63107 - -34614. Is v prime?
False
Let m be (-2224)/(-40) - 6/(-15). Let o be ((-474)/(-4))/(4/m + 0). Suppose l - o = -6*l. Is l prime?
False
Is (-3681255)/(-45) + (-4)/6 - 6 a composite number?
False
Is (-18 + -1 + 12)*-24247 prime?
False
Suppose -3*y - 2*v = 6026, -3*v = 3*y - 7*v + 6038. Let f = -611 - y. Is f prime?
True
Suppose 4*z = -s + 10391 + 59020, -4*s - 2*z = -277700. Is s prime?
True
Suppose -297*u + 2980588 = -7263072 - 14389223. Is u a prime number?
True
Suppose 23*s = 57*s. Let a(i) = -2*i**3 - i**2 + 3*i + 10799. Is a(s) a prime number?
True
Let h be ((-18)/8)/(-3) - (-156)/(-208). Suppose -5573 - 357 = -5*i. Suppose h = -t + v + i + 971, -2*t + 4298 = 2*v. Is t composite?
False
Suppose -13*k = -686516 - 168377. Is k a prime number?
True
Let y(r) = -55*r**3 - 43*r**2 - 13*r - 9. Is y(-10) composite?
False
Let g = -63 - -66. Suppose 0 = g*f + 2*t - 12, 5*t = f - 10 + 23. Suppose f*r - 2*p = 6450, -2412 = -r - 5*p + 789. Is r a prime number?
True
Let q(v) = v**3 - 22*v**2 + 43*v - 55. Let p be q(20). Suppose p*o = 5, -4107 = -2*c + 12*o - 13*o. Is c composite?
False
Suppose 2*z + 2*o = 15819 + 3629, 0 = 4*z - o - 38871. Is z a prime number?
True
Let x(h) = 9*h**3 - 8*h - 3*h**3 + 4 + 2*h**2 + 0*h**3. Let y be x(7). Suppose -i + y = 3*i. Is i prime?
False
Let o be (3 - 13/3)*(-11 + -7). Suppose -b - 67873 = -o*b. Is b a prime number?
False
Is (-55)/(550/60)*35671/(-6) a composite number?
False
Let d(l) = -23*l + 38. Let o(m) = -m**3 + 12*m**2 - 13*m - 13. Let q be o(10). Let v(c) = -323*c + 532. Let k(p) = q*d(p) - 4*v(p). Is k(-27) composite?
True
Let y = 4022 - -1067. Is y composite?
True
Let j(p) = -10767*p - 277. Is j(-14) a prime number?
False
Is (-13)/(-9) + -1 + (1598441377/(-117))/(-47) a composite number?
True
Let i(w) be the second derivative of w**5/10 - w**4/4 + 2*w**3/3 + 7*w**2/2 + 6*w + 7. Let a(r) = 2*r - 9. Let j be a(7). Is i(j) a composite number?
True
Is -1 - (586063/(-4) - 33/132) composite?
True
Suppose -19082 = -0*r - 3*r + 2*c, r + 5*c - 6389 = 0. Let a = 147 + r. Is a a composite number?
True
Let h = -112760 + 197751. Is h a composite number?
False
Let h = 34 - 34. Suppose -5*x + 10502 = -h*x - 3*f, -5*f = -4*x + 8399. Is x a prime number?
False
Let n(f) = 16791*f - 830. Is n(11) a composite number?
False
Let p(r) = 26*r**2 + 6*r - 21. Let z = 8 + -4. Is p(z) a composite number?
False
Suppose -215385 = 45*g - 158108 - 663472. Is g prime?
False
Let h(n) be the first derivative of 5*n**3/3 + n**2 - 9*n - 7. Let b be h(-4). Suppose 2*x + x - b = 0. Is x a composite number?
True
Is (-2)/11 + 6908058/198 + -6 composite?
False
Suppose 0 = 4*a + a + 4930. Let i = 2580 + a. Is i composite?
True
Suppose 2*j = -0*j - 5*k - 29, -3*j + 4*k - 55 = 0. Let b(i) = -i**3 - 10*i**2 - 4*i - 32. Is b(j) prime?
False
Suppose 2*o - 149384 = -3*f - f, -149382 = -4*f - o. Suppose 3*v - 4*h = 6702 + f, -4*v + 3*h = -58720. Is v composite?
True
Let c = 765 - 343. Let q(o) = -6*o**2 + 29*o + 20. Let v be q(9). Let x = v + c. Is x prime?
False
Let s be (244/(-8))/((-1 - 4)/120). Suppose -3*q = -2475 - s. Is q composite?
False
Let s(o) = 2928*o**2 - 13*o + 12. Suppose 0 = 10*b - 10 - 0. Is s(b) composite?
False
Let a(d) = 2*d**2