-22). Let s(m) = -8*m**2 + 11*m + 2. Let a be s(10). Let q = n - a. Is q composite?
True
Suppose 6*p + 508 = 1588. Suppose 16*v + p = v. Is 1199 + 3/(9/v) prime?
False
Suppose 4856 = 5*y - u, -3*y = -4*u - 2079 - 838. Is y prime?
True
Let b(c) = -5*c - 18. Let j be b(-4). Suppose -5*x - 4*d = 0, 6*x - j = 4*x - 2*d. Is (116/(-5))/(x/10) a prime number?
False
Let s be ((-13886)/(-8))/(2/8). Let o = -7111 + 2947. Let f = o + s. Is f a composite number?
True
Suppose 0 = 14*i - 29 + 1. Suppose w = 3, -4*r - i*w + 5 = -13. Suppose -x - 4*n = -1315 + 85, -4*x = -r*n - 4958. Is x a composite number?
True
Suppose 5 = -4*f + o - 13, -5*o - 20 = 2*f. Let n be (30/(-12))/(f/4). Is (n/(-4))/(12/(-10056)) prime?
True
Let p = 1689 + -646. Suppose -4*d - 320 = 2*c - 4478, 4*c - p = -d. Is d composite?
False
Suppose 682*w - 391504 = 666*w. Is w a composite number?
False
Let i(m) = 2*m - 10. Let g(t) = 5*t - 30. Let x(h) = 3*g(h) - 8*i(h). Let k be x(-6). Let u(a) = 69*a**2 + 2*a + 5. Is u(k) a prime number?
False
Let n(f) = 127140*f - 289. Is n(1) composite?
False
Let s be (-8)/(0 - (-5)/15). Let b(w) = w**3 + 24*w**2 - 11*w - 28. Let x be b(s). Let p = x - -98. Is p a composite number?
True
Let n(g) = -15*g**3 - 2*g**2 - 9*g + 4. Let z be n(-11). Suppose 0 = 5*m + 2*w - 50539, 4*m - 5*w - 20625 - z = 0. Is m composite?
True
Let k(o) = -394*o + 43. Suppose 0 = -6*f - 585 + 531. Is k(f) a prime number?
False
Let x(z) = 462*z**2 + 531*z - 214. Is x(-33) prime?
False
Let q(n) be the third derivative of 37*n**6/20 - n**5/15 - n**4/8 + n**3/2 - 2*n**2 + 3. Is q(2) composite?
True
Suppose 20 = 3*b - g, 5*b = -0*g + 2*g + 34. Suppose -683 - 27139 = -b*l. Is l prime?
True
Let y(w) = -13 + 13*w - 229*w - 10*w + 50. Let r be y(-9). Suppose a = -0*a - o + 2074, 0 = -a - 2*o + r. Is a prime?
False
Let u be (0 - -92556)/(120/16)*5. Suppose -4*i + u = 13772. Is i composite?
True
Suppose 3*n = -4*i - 22, 3*i = 3*n + i + 34. Let m(v) = v + 30. Let q be m(n). Is ((-9)/((-180)/(-5048)))/((-8)/q) a prime number?
True
Suppose -143*o + 219*o - 15385141 = 1226863. Is o prime?
True
Let r(u) = 47*u - 1 - 74*u + 3 + 38*u + 18*u**2. Is r(-9) a prime number?
True
Suppose 14*k - 13*k = -74*k + 7537875. Is k a prime number?
False
Let k(n) = -n**3 + 12*n**2 - 7. Let h(r) = -r**3 + 4*r**2 + 6*r + 5. Let l be h(5). Let a be k(l). Suppose -971 = -6*y + a. Is y a prime number?
False
Is -1*((11 + -3)/(-4) + (-474139 - -4)) a composite number?
False
Let t(p) = -4857*p**3 + 4*p**2 - 34*p - 165. Is t(-4) a composite number?
False
Let f(g) be the third derivative of 77*g**5/30 + 5*g**4/12 + 11*g**3/6 + 26*g**2 - 2. Is f(-3) prime?
True
Suppose -81829 = -5*m - p - 4365, p + 30987 = 2*m. Is m a composite number?
False
Let s be (-6466)/14 + (-2)/14. Let l = 340 - s. Suppose -l = -5*t + t - 5*j, -5*t = -3*j - 1021. Is t a composite number?
True
Suppose 178*n + 6*n - 10060157 - 4747611 = 0. Is n a composite number?
True
Let l = 4635 + -507. Let h = 24695 - l. Is h composite?
True
Suppose o - 1392 - 5057 = -5*q, 4*q - 5163 = 3*o. Let p = -139 + q. Is p composite?
False
Let z = -1310 + 2603. Is z - ((-2)/10 + (-187)/(-85)) prime?
True
Let u(g) = -g**3 - 5*g**2 + 13*g - 4. Let b be u(-7). Let o be (10/3)/((-12)/(-18)). Suppose 4*t - b*h - 2543 = -2*h, o*t - 5*h - 3190 = 0. Is t prime?
False
Suppose 5*j = b + 2, 0 = j + 3*b + 2*b + 10. Suppose -5*p - 4*l + 6 = j, 4*l + 8 = -p + 3*p. Suppose 2208 = 2*f - 2*v, -p*f = -f + 2*v - 1119. Is f composite?
False
Suppose -23*k = -21*k - 6. Suppose k*t - 33 = 933. Let u = 533 - t. Is u composite?
False
Let x = 1064 - 248. Suppose -20*d = -12*d - x. Let g = 575 + d. Is g prime?
True
Let i(s) = -5*s**2 - 19*s - 30. Let f(q) = -q**2 + 1. Let u(r) = 4*f(r) - i(r). Let c be u(-16). Is (-2090)/c + (-20)/70 a composite number?
False
Let z(n) = -3*n - 35. Let s be z(-19). Suppose y - 5*r = -s, 4*y - r + 0 = -12. Is (-4634)/(-21) + y/(-6) a composite number?
True
Let m be 38 + -21 + (1 + -1 - 0). Suppose 15*u + 6104 = m*u. Is ((-6)/(-8))/3 + u/16 composite?
False
Suppose 5094 = -7*g - 13708. Let f = g - -9153. Is f a composite number?
True
Suppose w = 3*u + 2175, u - 4513 = -2*w - 184. Suppose 2*n - w = 13*l - 18*l, -3*n + 4*l = -3203. Is n a prime number?
False
Let u(w) be the third derivative of 1663*w**5/10 - 7*w**4/24 - 4*w**3/3 - 14*w**2 + 1. Is u(-1) prime?
False
Let k be -185*(12/16)/((-2)/168). Suppose 3*p = 12*p - k. Suppose -42*y - p = -47*y. Is y prime?
False
Let s be (-20)/4*6/10. Let f(b) = 2*b**2 + 5*b + 1. Let x be f(s). Is 2 - 38/x*-70 composite?
True
Let c = 174470 + -109125. Suppose -4*p + 42898 + c = 5*u, 4*u + 3*p - 86594 = 0. Is u composite?
False
Suppose -75*f + 5532638 = -8246437. Is f composite?
True
Let f(a) = -79*a**3 - 14*a**2 + 182*a + 2714. Is f(-14) a prime number?
False
Suppose 0 = 24*t - 22*t - 919893 - 356789. Is t a prime number?
False
Let h(s) be the second derivative of 57*s**4/4 - 2*s**2 - 99*s. Is h(5) a composite number?
False
Let m(y) = 778*y**2 + 36*y - 179. Is m(5) prime?
False
Suppose 2*y = y - 7. Let m(c) = 319 - 623 + 310 - 35*c. Is m(y) a composite number?
False
Is 15/(((-9)/(-1089))/1) - -8 a composite number?
False
Suppose -117846 = -17*a - a. Is a/1*(-1)/(-1) composite?
False
Suppose -3633890 = 7360*q - 7386*q. Is q a composite number?
True
Suppose 2371846 + 1116998 = 12*d. Is d composite?
False
Suppose 2*o + n + 3 = 4*n, 3*o - 3*n + 3 = 0. Suppose 3*z + 4*m = -0*z + 1673, o = -3*z + 2*m + 1697. Is z a prime number?
True
Let b = -72 + 74. Let f be (1/3)/(3/36*b). Suppose -4*c = -4*z - 984, -3*c - 3*z = f*z - 778. Is c composite?
False
Let x(f) = 398*f - 381 - 188*f + 306*f + 383. Let y be x(5). Is (4 + y)/2 - (1 + 1) a composite number?
False
Suppose 5*i = -4*n + 1939, i = -n - n + 971. Let k(a) = 7*a**3 + 8*a**2 - 2*a - 4. Let v be k(3). Let m = v + n. Is m a composite number?
True
Let x(g) = -g**3 + 9*g**2 + 15*g - 12. Let q be x(10). Suppose -3*z + 142 = -q. Suppose 0 = -57*o + z*o - 447. Is o prime?
True
Let d(f) = 2*f**2 + 2*f + 5245. Suppose -3*w + 172 - 115 = 0. Let t(g) = -g**3 + 20*g**2 - 20*g + 19. Let m be t(w). Is d(m) a composite number?
True
Let g(p) = p**3 + 19*p**2 - 2*p - 3. Let i = -67 - -48. Let x be g(i). Is 14/x + (-6226)/(-10)*1 composite?
True
Let d = 146817 - 6470. Is d a composite number?
True
Is (-1)/(10 + -5) - (-5)/((-125)/(-1782780)) prime?
False
Let x be (-2)/4 + (-114)/(-72)*6. Let z(b) = 54 + 477*b - 3 + 5. Is z(x) composite?
False
Let i be (101/4 - -1)*-20. Suppose -1845 = -5*z + 2515. Let y = z + i. Is y prime?
True
Let l(g) = 65*g + 269*g + 1 - 18*g. Let t be l(9). Suppose t = 5*a - 2700. Is a a prime number?
True
Is ((-39665)/(-15))/((-33)/(-8217)) prime?
False
Suppose -32*a + 60 = -100. Suppose a*k + 31684 = 163539. Is k a composite number?
False
Suppose -2756 = -6*p + 5*p. Let d = p - 344. Suppose -d = 7*u - 8663. Is u composite?
True
Suppose -27*c + 149864 = -23*c - 4*i, 0 = -4*c + 5*i + 149860. Suppose c = 2*t - 4*f, f + f + 74964 = 4*t. Is t composite?
False
Let p(h) = 1812*h**3 + 3*h**2 - 5*h + 11. Let g be p(3). Suppose -5*f + 81590 = -4*a + 3*a, 2*a = 3*f - g. Is f a prime number?
True
Let u = -22 - -24. Suppose -6*g + g - 5 = 3*c, 2*g - u*c - 14 = 0. Suppose -5*r - g*n = n - 3076, 0 = 5*r - 4*n - 3062. Is r prime?
False
Let n(b) = 2*b**3 + 76*b**2 - 178*b + 31. Is n(-40) a composite number?
False
Let g = -78 - -3. Let b be (2/(-1))/(3/g). Let p = b - 39. Is p a prime number?
True
Is (-42)/24 + 368542/8 - 3 a composite number?
True
Let s = -634805 + 1559574. Is s prime?
True
Let r be ((-165)/(-44))/(2 - 9/4). Let k be (-1)/(r/24) + 10/25. Suppose k*y + 5*y = 11557. Is y a prime number?
False
Let q be 46/3*((-78)/(-4))/13. Suppose 0*p - 20171 = -q*p. Is p prime?
True
Let n(t) = -4*t + 8. Let o be n(-9). Let y = o + -40. Let h(a) = 39*a**3 + 6*a**2 - 4*a + 3. Is h(y) composite?
False
Let g(s) = -9*s**3 + 8*s**2 + 7*s + 7. Let c(q) = -q**3 - 33*q**2 + 33*q - 43. Let j be c(-34). Is g(j) a prime number?
False
Let q = -50 - -60. Suppose 3365 = q*w - 5*w. Is w a prime number?
True
Let c(m) = 1429*m**2 + 18*m - 53. Is c(8) composite?
True
Let m(c) = 6*c + 9. Let y be m(2). Let l(j) = 25 - 4*j + 6*j**2 + y*j - 8*j. Is l(12) a prime number?
True
Let g(o) = -65*o**3 - o**2 - 3*o - 1. Let c