Is b composite?
True
Let r(a) = 19333*a - 885. Is r(2) prime?
True
Let t = 162803 + -70222. Is t a prime number?
True
Let y(j) = -567*j - 25. Let p be y(5). Let w be p/11*(-1)/(-2). Is 4/(-26) + (-66450)/w prime?
False
Let v = 56 - -148. Suppose -t = -v - 122. Suppose -2*d - r = -d - t, -3*d = r - 988. Is d a composite number?
False
Let i(l) be the second derivative of 14*l**3/3 - 211*l**2/2 + l + 13. Is i(26) composite?
True
Let u(n) = 17*n - 15. Suppose -5*a - 6 = 3*o + 8, -5*o - 3*a - 2 = 0. Suppose -3*p + 16 + 4 = v, o*p = 8. Is u(v) a composite number?
True
Suppose b + 1 = 3*d, -4*d = -4*b + 6*b + 2. Is 1051 - (4 + b) - -1 a composite number?
False
Let s(q) = q**3 - 5*q**2 - 11*q + 6. Suppose -34 = -12*n + 10*n. Is s(n) a composite number?
True
Let u = -12227 - -21328. Is u a prime number?
False
Let f = 65 + -49. Let u be -2 + 4 + -4 - 11. Let t = f + u. Is t composite?
False
Suppose -4*f + 2*f = -4*b - 978, -2*f - b = -1003. Let z(q) = 21*q - 20. Let w be z(10). Let n = w + f. Is n prime?
False
Let y(x) = -2*x**2 + 78*x - 133. Let w be y(37). Let h = 6 - -1. Suppose -w*i + 47992 = -h*i. Is i composite?
True
Suppose m + 5*i - 106612 = 0, -3*m - 28*i = -31*i - 319926. Is m prime?
True
Let p = 316 - 285. Suppose -p*u = -44*u + 52819. Is u prime?
False
Suppose -91 + 286 = 13*m. Suppose -2*r - 37983 = -3*u, 11*u - m*u + 50648 = -4*r. Is u prime?
True
Is -5 + 3 + 222504 - -9 prime?
True
Let d = 254 + -290. Let h(s) = -5*s + 37. Is h(d) a composite number?
True
Let h = 8075 - -63719. Is h a prime number?
False
Let b(t) be the third derivative of 133*t**4/8 + 34*t**3/3 - 46*t**2. Is b(9) prime?
True
Let a(x) = 2*x**2 + 11*x - 6. Let p be a(-6). Let t be -1*(p + -404 - (0 - 1)). Let k = t + -180. Is k prime?
True
Let o(i) be the second derivative of 28*i + 131/12*i**4 - 5/2*i**2 + 0 - 7/6*i**3. Is o(-4) a prime number?
False
Let o(p) = -p - 4*p**3 + 768*p**2 + 80 - 51*p - 734*p**2 + 3*p**3 + 2*p**3. Is o(-29) a prime number?
False
Suppose 24*p - 21606510 = -36*p + 5649630. Is p a prime number?
False
Let l(t) = -102*t - 99. Let c be l(-1). Let b(q) = 1 + 3*q + 172*q**2 - 6*q - 5. Is b(c) prime?
False
Suppose -t + 6624 = 3*t. Suppose -t = -3*z - 3*i, z - 3*i + 2762 = 6*z. Suppose x - 14 = 2*r + 91, 5*x = 3*r + z. Is x composite?
False
Let r(q) = -10*q - 229. Let z be r(-22). Let v(n) = 5*n**2 + 12*n - 46. Is v(z) prime?
True
Let v be (-13)/(-4) + 17/(-68). Is (-4)/(-8)*5932 - v/1 prime?
True
Is (0 - -2 - 3)/2 + 251765/86 composite?
False
Suppose -2*p = 2*a - 4*p + 56, 5*a = -p - 158. Is a*((-5 - 630) + -6) prime?
False
Let a(y) = -y + 1. Let b be a(-3). Suppose b*z + l + 8 = 0, 3*z + 6 = 2*l - l. Let u(d) = 138*d**2 - 4*d - 3. Is u(z) composite?
False
Let m(b) = -24*b - 16. Let i be m(12). Let k be -1 - i*(-10)/(-4). Suppose 0 = -2*t - k + 2601. Is t prime?
False
Let s = 21 + -7. Suppose 483 = 3*p - 312. Let m = p - s. Is m a prime number?
True
Let i = 138937 + -80574. Is i a prime number?
True
Suppose -s = -6386 - 9848. Let k = 23843 - s. Is k a prime number?
False
Suppose 19*k - 17*k = h - 192905, 2*k = -2*h + 385852. Is h a prime number?
False
Suppose -4*b + 10 = 2*f, -3*f - f + 2*b = -50. Suppose -a = 19 - f. Let w(s) = -4*s**3 - 4*s**2 - 3*s - 15. Is w(a) composite?
False
Is (-24)/15 - 117923256/(-360) prime?
False
Suppose 2*m - 5*k - 21 = 0, 12 = 8*m - 3*m + k. Suppose w - 4868 = -h, 5*h + 421 - 15027 = -m*w. Is w composite?
True
Let r(j) = -31493*j**3 - j**2 + 30*j + 59. Is r(-2) composite?
False
Suppose 3*f = -3*f + 12. Suppose 2*v + 3*a + f*a = -6, -4*a - 8 = 0. Is -9 + 8 - (v + -254) composite?
False
Let r(b) = -16*b - 44. Let v be r(-3). Suppose 0 = -3*q + 2*j + 415, -v*q - 3*j - 63 = -622. Is q composite?
False
Let m be 40/25 + (-2)/(-5) + 0. Let b be -106 + (-6 - -4) + m. Let t = 255 + b. Is t prime?
True
Suppose 4*g = f + 26463, -5*g + 10*f - 8*f = -33075. Is g prime?
False
Let r = 93398 - 4035. Is r a composite number?
False
Let a be (2/(-2))/((-1)/(-2)) + -23. Is (-7928)/(-10) - ((-170)/a - 7) a composite number?
True
Let z(x) = 55861*x - 15. Let p be z(1). Suppose 0 = 5*q - 19*q + p. Is q a prime number?
True
Suppose -116 = 4*b + 28. Let t = 37 + b. Is -3148*2/4*t/(-2) prime?
True
Suppose -2*m - 3*j = 36, -4*j - 1 - 7 = 0. Is ((-108)/(-21))/(m/(-770)) - -3 a prime number?
False
Let q(o) = 614*o**2 + o. Let v be q(-3). Suppose 3*r + 4*u - 26657 = 12741, -2*u - 13146 = -r. Let s = r - v. Is s a prime number?
False
Suppose -19341 = 19*f - 16*f. Let d = f + 11041. Suppose 6*y + 340 = d. Is y a prime number?
True
Let t(s) be the third derivative of -s**6/60 - s**5/20 + s**4/3 + 7*s**3/3 + 51*s**2. Is t(-5) a prime number?
True
Is -8 + (-9 - -10) - -31748 prime?
True
Let k(g) = 4*g - 12 - 3*g + 11 - 3*g - g**2. Let y be k(-3). Is (y/(-2) + -3)*-751 a composite number?
False
Suppose -2*v - 28195 + 688557 = 60*v. Is v prime?
True
Suppose -161*t = 28*t - 5*t - 1564184. Is t prime?
True
Is 9/33 + (3130/(-330)*-22623 - -7) prime?
False
Suppose -6*u = -49 + 37. Suppose 2*i = 5*q - 8971, -5*q + 3*i + 8980 = -u*i. Is q composite?
True
Let b(z) = -13*z**2 + 4*z + 6. Let d(q) = 38*q**2 - 13*q - 19. Let m(r) = -7*b(r) - 2*d(r). Let x be m(-3). Suppose -x + 694 = t. Is t composite?
False
Let h be -3*(32/(-12) + 3)*0. Suppose h*a = a - 5. Suppose 4*p - 2*k = 4276, -2*k + k = -a*p + 5345. Is p a composite number?
False
Let g = 70 + -65. Suppose g*b - 4 = 3*b. Suppose 0 = -3*l - b*l + 3755. Is l a composite number?
False
Suppose 557687 = 50*j - 206213. Is j prime?
False
Let g be (1 + (-56)/8)/((-2)/1515). Suppose 0 = 7*p - 24834 - g. Is p composite?
True
Let c = -1570931 + 2441472. Is c a prime number?
False
Is 14142*(-18)/(-92) + 230/2645 a prime number?
True
Let w(o) = -45 - 54 + 98 + 10*o**3. Is w(5) prime?
True
Suppose 13*p + 349 = 388. Is (-222260)/(-30) + p + (-4)/6 a composite number?
False
Let j be 107471/49 + (-2)/7. Suppose 4*f = -4*v + 10800 - 3600, -3*v + 5368 = -5*f. Let w = j + v. Is w a composite number?
False
Is 2152664*(-8)/(-128)*2 prime?
False
Let q(w) = -w**3 - 10*w**2 - 10*w - 7. Let k(y) = y**3 + 2*y**2 - 3*y - 9. Let a be k(-3). Let o be q(a). Suppose p = -o*p + 93. Is p a composite number?
False
Suppose -j + 9 + 5 = 2*q, 7 = -q + 3*j. Suppose 3*m + 15778 = 4*u, -3*u + u = -q*m - 7896. Is u prime?
True
Let a = -25040 + 48149. Is a a prime number?
False
Let g be (-2756)/195 + 14 + (-1343042)/(-15). Let o = g - 49557. Is o a composite number?
False
Is (-5)/(10/(-24296)) - -12*3/(-18) a prime number?
False
Suppose 206*b = 208*b + s - 18396, 0 = -4*b + 5*s + 36778. Is b prime?
False
Let v(o) = 21259*o**2 - 184*o + 7. Is v(-2) a composite number?
False
Let p be 3326/2*(-2)/(-2). Let s(a) = 322*a + 369. Let c be s(4). Suppose 3*i - p = -4*u, -3*i - 3*u = -5*u - c. Is i prime?
False
Is (-6445)/(2*(-60)/48) a prime number?
False
Suppose 17*m = 15*m + 18. Suppose -3*g + 3*w + 21 = g, -m = -4*g - w. Suppose 15*r - g*r = 8844. Is r a prime number?
False
Suppose 3*m - 2*b = 11 + 6, m + 3*b = -9. Suppose 0 = -17*n + 11*n + 14568. Suppose -s = -3*y + n, -m*s = -5*y - s + 4047. Is y composite?
False
Let y = -33898 - -109565. Is y composite?
True
Let t = 730 + 1171. Is -3*(-2)/6*t a prime number?
True
Let r be 8/(-14) + 43802/(-154). Let f be ((-2)/(-6)*802)/((-3)/(-18)). Let g = r + f. Is g a prime number?
True
Suppose -7 - 14 = -7*l. Suppose 4*q - 191 = 5*c + 232, 5*c + 321 = l*q. Is q/4*(220/12 - 3) composite?
True
Let t be 13 + (1 + -1)/((-8)/8). Suppose t*x + 26084 = 17*x. Is x composite?
False
Let j(b) = -30*b**2 - 34*b + 206. Let k(i) = -10*i**2 - 12*i + 69. Let f(t) = -4*j(t) + 11*k(t). Is f(12) prime?
True
Is (-18453 - (-7 - 4))*(2/4)/(-1) composite?
False
Is 39334548/198*(12/(-36) - (-130)/12) a composite number?
True
Let w(x) = 16*x**3 - 6*x**2 - 4*x + 26. Let r be w(6). Let f = r + -2145. Is f a composite number?
False
Let r(x) = -2*x**3 + x. Let h be r(0). Let q be (1 - (1 + h)) + (35 - 35). Suppose 4*g - 318 = 3*a + 478, q = 5*g + 4*a - 995. Is g a prime number?
True
Let r(o) = 4*o - 14. Let h be r(7). Let z(p) = p - 13. Let v be z(h). Let a(s) = 1398*s**3 - s**2 + 3*s - 1. Is a(v) a composite number?
False
Suppose -6901993 = -5*k - 3*y, 5*y = 179*k - 174*k - 6901945. Is k a composite number?
True
Let r(v) = 5*v**2 - 9*v**3 - 