(r) a composite number?
False
Let o = -186842 - -338246. Suppose -16*b + 116260 = -o. Is b composite?
False
Let l(j) = -1761*j - 382. Is l(-21) prime?
True
Let f(o) = 1053*o**2 + 56*o - 1567. Is f(22) prime?
True
Let a = 36197 - -78150. Is a a prime number?
False
Suppose -26 = 5*y - 41. Suppose 5685 = 2*w - y*h - 0*h, -4*w + 11369 = -5*h. Is w a composite number?
True
Let j be 9 + 12/(-3) + 1326. Let m = -877 + j. Is m prime?
False
Suppose 3*r = -3*p - 60 - 105, -4*r = p + 70. Is (-56760)/p - (-3)/(-15) a prime number?
False
Is -22226*5*(-6)/12*6/6 prime?
False
Is (-5703)/(-6)*1*-6*(-8075)/1425 a composite number?
True
Let x = 4548 - 731. Let g = x + 1806. Is g a composite number?
False
Let u(w) = 3*w**2 + 9*w - 35. Let c be 3 - 12/18*30. Is u(c) composite?
True
Let k be (-6)/(-9) - (-17283)/63. Suppose -3*a + 8*a - k = 0. Is a a composite number?
True
Let k(b) = -b**2 + 22*b - 12. Let x be k(18). Suppose -x*r + 8 = -58*r. Suppose 5*n = -4*s + 133, -s + r*s + 5*n = 96. Is s a prime number?
True
Let j(p) = -106197*p + 3812. Is j(-5) composite?
True
Is (106*18/12)/((72/4604)/6) a composite number?
True
Let m = -795 + 2028. Suppose -3*i + 0*k = k - 9, 10 = 4*i + 2*k. Suppose -q + 1540 = i*q - 5*a, 5*a = 4*q - m. Is q composite?
False
Let x = -311 + 315. Suppose -4*z = x*z - 20456. Is z a composite number?
False
Let z(q) = 2*q**2 + 2*q + 1630. Let i(l) = -l**2 - l - 815. Let w(c) = 5*i(c) + 3*z(c). Suppose 0 = -m - 2*m. Is w(m) composite?
True
Let f = -54051 + 329636. Is f a prime number?
False
Let u = -71 - -80. Suppose -4652 = -4*d + 4*v, u*d - 3*v - 2326 = 7*d. Is d a composite number?
False
Let k(r) = 842*r + 232. Let g be k(8). Let n = g + 51. Is n prime?
True
Suppose 4*s = 4*b - 48, 2*s = -3*b - 2*s + 43. Let d = b + -9. Suppose -k - 19155 = -d*k. Is k a composite number?
True
Suppose -18*p + 20*p = -2. Is (46/4)/(p/(-1502)) prime?
False
Is 5712501/6 + 21/14 + 24/(-6) prime?
False
Let k(j) = -j**3 + 8*j**2 - 15*j + 9. Let c = -26 - -32. Let b be k(c). Is (2/b)/((-8)/(-12))*-555 prime?
False
Let z = -631 + 410. Let n = z + 1192. Is n prime?
True
Let j(k) = -4 + 1180*k**2 + 2*k + 3 - 228*k**2. Suppose -850*l = -860*l + 10. Is j(l) prime?
True
Let z = -34 - -6. Let x = -28 - z. Is 5 + 802 - (0 + x) a composite number?
True
Is (-30)/8 - 1512274932/(-1008) composite?
False
Suppose 16*h - 7119 = -5*h. Suppose -599 = 4*q + 4*m + 4897, -m - 4 = 0. Let u = h - q. Is u a prime number?
True
Let f(s) = s**3 + 6*s - 15. Let o be f(5). Suppose 2*g - o = -94. Suppose -7180 = -27*b + g*b. Is b a composite number?
True
Suppose p + 16 = -3*p. Let y be p - (1/(-2))/(2/4). Is (21/(-6))/(y/3054) composite?
True
Let p be -3*20*(-35)/2. Let v = 1171 + p. Is v prime?
True
Is -16 + -5 - 194*-2873 a composite number?
True
Suppose 7*p - 177 = 292. Let q = 87 - p. Suppose -q*g + 406 = -18*g. Is g composite?
True
Let m(y) = -y**2 - 11*y - 19. Let p be m(-6). Let c(o) be the first derivative of 4*o**3/3 - 4*o**2 - 17*o - 2. Is c(p) a composite number?
False
Let o(a) = -a**3 + 8*a**2 + 19*a - 2. Let i be o(-2). Suppose 23*g - 211940 - 347627 = i. Is g composite?
False
Let k(o) = 2045*o - 12. Let c be k(8). Let i = c - 8453. Suppose 16*z - 11*z = i. Is z prime?
True
Let v(m) = 58*m**2 + 240*m - 355. Is v(69) composite?
False
Let l(z) = z**2 - 3*z - 88. Let c be l(11). Is (c + -1)/(3/(-15441)) composite?
False
Let p(y) = 9027*y - 13100. Is p(29) a composite number?
False
Let i(x) = 524*x**2 - 6*x + 35. Let y(a) = -a**2 - 8*a - 10. Let z be y(-4). Is i(z) a prime number?
False
Let s = -219 - -219. Suppose 4*i - 44 - 958 = -5*j, -5*i + 3*j + 1271 = s. Is i prime?
False
Let r = -39 + 74. Suppose -r = -11*v + 4*v. Suppose 3*f - v*x = 2351, -5*f - x = 2*x - 3941. Is f a composite number?
False
Suppose 0 = 2*z + 4*f + 28, -3*f + 4*f - 7 = 3*z. Is z*(-7)/((-84)/(-1719)) composite?
True
Suppose -3*y = 12*y + 30. Is ((-3029)/y - -1)*2 prime?
False
Let w(x) = 22*x**2. Let c be w(1). Suppose -u + 69 - c = 0. Suppose -279 = -2*d + u. Is d prime?
True
Suppose -3*n = 6, -4*i + 8*i - 2078996 = 4*n. Is i composite?
True
Let v(w) = -11972*w + 3653. Is v(-15) a prime number?
False
Let z(k) = -k**2 + 15*k + 11. Let u be z(16). Let h(w) = 16*w**2 + 18*w + 9. Is h(u) a composite number?
True
Let l(n) = 79295*n**2 - 45*n + 45. Is l(1) composite?
True
Suppose -3*b = -3*a + 762075, -77*b = -a - 78*b + 254029. Is a a composite number?
False
Let n = 23992 - 16515. Is n a composite number?
False
Let b(x) be the second derivative of 13*x**4/12 + 2*x**3/3 + 13*x**2 - 19*x - 2. Is b(-25) a prime number?
False
Let i be (-211)/(-5 + (-728)/(-146)). Suppose -9*a + 13766 = -i. Is a a composite number?
True
Let h(g) = 17903*g**2 + 76*g + 96. Is h(11) composite?
True
Let c(y) = 3*y**2 + 2*y + 2. Let u be c(-1). Suppose 3*a - 83 = -o, u*o + 4*a + a - 245 = 0. Is (-1)/4 + 5/(o/3108) composite?
True
Suppose -36*x - 208184 = -38*x - 5*v, -4*x + 416352 = 2*v. Is x prime?
True
Let p(j) be the first derivative of -3*j**4/2 - 2*j**3/3 - j**2/2 + 3. Let i be p(-1). Suppose 3*z - 8 = 2*o - 97, -i*o + 233 = -4*z. Is o a prime number?
False
Suppose 70*i = -35*i + 417060. Let h be 1*(-1)/(-2)*74. Suppose -31*g + h*g = i. Is g prime?
False
Let s(p) be the second derivative of -3*p**5/20 - 3*p**4/4 - p**3 + p**2/2 - 2*p. Let k = 368 + -375. Is s(k) prime?
True
Suppose -5*f = 2*s + 136, -5*s + 30*f - 340 = 34*f. Is 4/(-34) + ((-251472)/s - 4) a prime number?
False
Suppose 0 = -2*d + 5*c - 10, d = -4*d - 2*c + 4. Suppose d = -q + 1664 - 603. Is q a composite number?
False
Let z(c) = -c**3 + 3*c**2 - c - 912. Let r be z(0). Let t = 6963 + -4934. Let h = r + t. Is h a prime number?
True
Let n = -1538 - -479. Let r = 41 + -44. Is (2 - n)*(r - -4) composite?
False
Suppose 4*s - 7544 = 3*i + 7520, 2*s = -5*i + 7532. Suppose 3*r = -k + s, -k - 2*r - 2*r = -3767. Is k prime?
False
Let s(y) = 2*y**3 - 57*y**2 + 12*y - 586. Is s(57) a composite number?
False
Let k = -1857 + 12715. Suppose k = 2*y - z, y - 5938 = z - 509. Is y composite?
True
Let r be 2 + 3 + (0 - 4). Let q(y) = 16560*y + 5. Is q(r) prime?
False
Suppose 10241 + 200638 = 9*m. Is m a composite number?
False
Let v(s) = s**2 + 13*s + 15. Let y be v(-12). Suppose u - 45 = -y*h + 102, 0 = 5*u + 15. Let f = h + -40. Is f a composite number?
True
Let l = 61034 + -13533. Is l a prime number?
True
Let p be 150/(-1 - -5 - 55/22). Let z = p + -76. Suppose z*n - 18*n - 1614 = 0. Is n a prime number?
True
Suppose -40*q + 38*q + 2514 = u, 2*u - 6284 = -5*q. Let i(g) = 10*g**2 - 1. Let a be i(1). Suppose a*r = r + q. Is r composite?
False
Let a(n) = -630*n - 1. Let f be a(-8). Let l = f + 1221. Suppose -5*k = -r - l, 6*r = 2*k + r - 2481. Is k prime?
False
Let n(z) = -2*z**3 - 16*z + 23 + 31*z**2 - 6*z**3 - 44*z**2 + 5. Let y be n(-17). Suppose 9*v + 6696 - y = 0. Is v composite?
True
Let j be ((-81)/45)/(0 - (-6)/(-20)). Is (966/4)/(j/4) composite?
True
Let h(d) = 12322*d + 5857. Is h(31) a composite number?
False
Let v(g) = 8*g**3 - 3*g**2 - 7*g - 9. Let o be v(7). Let i = -1452 + o. Is i prime?
True
Let f(c) = 138914*c**2 + 9*c - 6. Is f(1) prime?
True
Let o(c) = -51*c - 8. Let n be 0*(-4 - (-14)/4). Let d(f) = -f**2 - 5*f - 6. Let v be d(n). Is o(v) prime?
False
Let i = 27199 - -18184. Is i composite?
True
Let z = 433034 + -298013. Is z a composite number?
True
Suppose -4*t + 2*s + 2*s = 40, 0 = -2*s + 8. Let r(g) = -598*g + 60. Let l be r(t). Suppose -5*w + 957 + l = 0. Is w a composite number?
True
Suppose 7*t = -77 + 105. Is t/((-48)/9)*-44684 prime?
False
Let y(n) = 3*n - 51. Let l be y(16). Is (3 - (-51195)/12)/(l/(-12)) prime?
True
Let v be (-12)/48 - 3942/8. Suppose 67*k - 66*k = -714. Let y = v - k. Is y composite?
True
Let m = -24750 + 47031. Suppose 35*a = 56*a - m. Is a composite?
False
Let c(f) = -31*f**2 - 12*f - 68. Let y be c(12). Let t = 8437 + y. Is t a prime number?
True
Suppose -192073 - 18451 = -4*h. Is h a composite number?
False
Suppose -1656543 - 48778 = -17*x. Is x prime?
True
Let m(b) = -883*b - 21. Let g be m(-8). Suppose -2*f - 2*t = -g - 11571, -4*f - 3*t + 37232 = 0. Is f a prime number?
True
Suppose n = b + 5083, n - 20*b - 5131 = -27*b. Is n prime?
False
Let d = 1309148 - 404154. Is d a prime number?
False
Let i be (-16)/(-224) + 54/28. Let d = 