2*y + 4637 = 97366. Is a a prime number?
True
Let m be 3 - -870 - (-6 + 3 - -5). Suppose -2*x = -l - 811, m + 1158 = 5*x - 2*l. Is x prime?
False
Suppose 0 = 3*c + 6*q - 5*q - 12703, -c + 4237 = 3*q. Suppose 5*r + 2*s - c = r, -2*s = 10. Is r a composite number?
False
Let q(c) = -4*c**2 - 76*c + 3. Let f be q(-19). Suppose f*a - 190540 = -17*a. Is a a composite number?
True
Let x be 2*3*24/(-18). Is (2/x)/(5 + 522705/(-104540)) a composite number?
False
Suppose 61417 = f - 3*h, 2800*f = 2796*f + h + 245657. Is f composite?
True
Let p = 1755 + -1750. Let v(j) = j**2 + 2*j - 3. Let h be v(-4). Suppose p*z - 2319 = -h*l + 1851, -4*l + 3366 = -2*z. Is l prime?
True
Is (-80)/(-180)*(-6)/(-8) + (-314366)/(-3) a composite number?
False
Let a(y) = 520*y**2 - 62*y + 618. Is a(10) a composite number?
True
Let d = 117 - 113. Suppose -2002 = -q - 2*h + 437, 0 = d*q - 4*h - 9732. Is q composite?
True
Let b = 97 + -97. Suppose 3*u + 4*f - 801 = b, 5*u = -2*f + f + 1335. Is u a prime number?
False
Suppose 5*t - 374 = -17*t. Suppose t*k - 12*k = 7685. Is k a composite number?
True
Suppose -17*r = -190890 + 44078. Suppose -2*g + 2*d + 8622 = 0, -4*g + 5*d - r = -6*g. Is g a prime number?
False
Let g = 137 + -222. Let z(b) = 53*b + 8. Let m be z(-12). Let a = g - m. Is a a composite number?
True
Let v = 193884 + -133181. Is v a prime number?
True
Let g(l) = l**3 - 10*l**2 + 5*l + 7. Let j(n) = -3*n**3 + 30*n**2 - 14*n - 20. Let r(t) = 8*g(t) + 3*j(t). Let a be r(-6). Let c = a - 315. Is c prime?
True
Let n(y) = 392*y - 75. Is n(37) a composite number?
True
Suppose 6 = -38*v + 37*v. Is -7 - (-1010 + v/1) a composite number?
False
Let z be 3 + -5 - (-5 - -1). Let u be 5*((z - -2) + -5). Is (-39)/(-65) + (-182)/u composite?
False
Let s be 6/108*158 + 2/9. Let w(x) = 3*x**3 + 8*x**2 + 11*x + 10. Let c be w(s). Is (c - (0 - -3)) + (1 - 3) prime?
True
Let y(p) = -137*p**3 + 17*p**2 - 43*p - 156. Is y(-5) a composite number?
False
Let z = -2002 - -936. Let f be z/(-18) - 14/63. Is f/3*(-5 + 8) composite?
False
Suppose -2*x = -3*w + 23, -w - 5*x + 16 = 2*w. Let n be w - 2 - (-4 + -85). Is n*1*((-216)/(-16) + -8) prime?
False
Let n = -645 + 921. Suppose 2*w - 534 = 5*c, -w + 0*w - 2*c + n = 0. Suppose -w = -v - o, 107 = v + 4*o - 174. Is v composite?
False
Let o(s) = -s**2 + 11*s + 14. Let b be (-18)/((-3 - (-3 - 3))/(-2)). Let y be o(b). Suppose 0 = y*z - 0*z - 3322. Is z composite?
True
Let h be 2872/3 - 2/(-3). Let f = -1353 + 2940. Let b = f - h. Is b a prime number?
False
Suppose -w + 4*g = 14 - 3, -3*g - 3 = -3*w. Suppose -1135 + 40 = -w*j. Suppose -3*f + 5*c = -244, -2*f - 4*c - 49 + j = 0. Is f a composite number?
False
Let y be (-66)/(-1)*(-756)/24. Let b = 3622 + y. Is b a composite number?
False
Let d be (0 - 4/(-10))/(86/(-1271080)). Is ((-237)/(-6))/(d/(-656) - 9) a composite number?
True
Suppose -3*m = -2*q + 1523534, -2*m + 784517 = q + 22736. Is q prime?
True
Let v = 1622872 - 1061915. Is v composite?
True
Let r = -83326 - -170835. Is r composite?
False
Suppose 3*c = -0*k - 5*k + 465344, 4*c = -6*k + 558414. Is k a prime number?
False
Suppose 41*b - 32*b - 1512 = 0. Let j = 2795 + b. Is j a composite number?
False
Let d(c) = 8*c**3 + 9*c**2 - 3*c - 9*c**3 + 0*c**2 - 13 - 3*c. Let s be d(8). Suppose -2*i = -3*g - 401, 2*i = -2*g + s*g + 399. Is i composite?
False
Let a(k) = -90*k + 8. Let t be a(-6). Suppose -4*j + 12072 = t. Is j prime?
False
Suppose 4*g + 11 = 19. Suppose -2*s + 2*n = -2, 0*n = -g*n - 6. Is 647 + s - -2*(-2)/(-1) a composite number?
True
Let t = -4 - -4. Suppose t = 5*b + 5*n - 17315, 7*n = 2*n + 5. Suppose 21*l - b = 19*l. Is l composite?
True
Let l(k) = 569*k**2 + 2*k - 5. Let o(y) = 13*y**2 - 36*y - 45. Let p(i) = -7*i**2 + 18*i + 23. Let m(n) = -6*o(n) - 11*p(n). Let f be m(19). Is l(f) prime?
True
Suppose -5*c - 5*o = -12615, -2*c - 606*o + 602*o = -5056. Is c a prime number?
False
Let r(b) = -981*b - 948*b + 13 + 2297*b**2 + 1985*b. Is r(6) a composite number?
True
Suppose -19*v - 5191283 = -18*v - 62*v. Is v composite?
False
Is (7 - 4)*(-12180041)/(-69) prime?
False
Let c be -4 - (-5 - -1 - 0). Suppose c = -5*o + 10, 3*o - 5*o = -h + 2719. Is h a prime number?
False
Suppose -4101 = -u - c, 4*c + 2652 = u - 1469. Suppose -2*q + 18441 + u = 0. Is q composite?
False
Let q(n) be the first derivative of -n**2 + 0*n**3 + 9*n - 9 + 31/4*n**4. Is q(4) prime?
False
Is (-36)/(-234) - (-24845283)/117 a prime number?
True
Suppose -604736 = -4*h - 7*j + 5*j, 2*j - 302374 = -2*h. Is h prime?
False
Let q(m) = -m**3 - 16*m**2 - 5*m - 7. Let s(h) = -6*h**2 + 2*h - 2. Let b be s(1). Let j be b/(-10) - (-5 + 738/30). Is q(j) a composite number?
False
Suppose 4*n = -n + 5*r - 2500, 4*n + 2006 = 2*r. Is (-5)/30 + n*(-20)/24 a prime number?
True
Suppose 0 = -29*d - 35*d - 360727 + 3814103. Is d composite?
False
Suppose -325116 = -4*p + 5*n, 0*p - 5*n - 81294 = -p. Is p composite?
True
Let a(j) = 257924*j**2 + 66*j - 127. Is a(3) a composite number?
True
Let c(y) = 12*y**2 - 5*y + 5. Let r = -57 + 27. Let h be 1*2/3 - r/9. Is c(h) composite?
True
Let g be (-6)/(-12) - 67140/8. Let d = g + 18623. Is d composite?
True
Let u = -353 + 56. Let y = 1544 - u. Is y prime?
False
Suppose -61596 = -4*g + 2*t, g - 22998 = -t - 7593. Is g prime?
True
Suppose 0 = 12*i - 3*i. Suppose i = -8*a - 3348 + 33916. Is a a composite number?
False
Let z(c) = -c**3 - 6*c**2 - 7*c - 8. Let h be z(-5). Suppose -4*i = -5*a - 21184, h*a - 26480 = 3*i - 8*i. Let l = i + -1989. Is l composite?
False
Let z = 62104 - 36135. Is z composite?
False
Let f = -51777 + 110546. Is f prime?
False
Let l(u) = u**2 + 4*u + 87. Let c be l(0). Let t = c - 55. Suppose 0 = -t*v + 31*v + 335. Is v composite?
True
Let z = -88 + 30. Let q = 58 + z. Suppose p - 165 = -q*l + 2*l, 0 = -5*l - 10. Is p composite?
True
Suppose 306 = 6*v - 618. Suppose 11*x - 9*x - v = 0. Let q = x - -408. Is q composite?
True
Let b = -3197 - -5217. Let w = b - 849. Is w a composite number?
False
Let y = 6682 + -4696. Suppose 25*n = 19*n + y. Is n composite?
False
Let g(a) be the first derivative of -21*a**2/2 + 295*a - 65. Is g(0) composite?
True
Suppose 0 = -0*j - 9*j - 108. Let r(c) = -3*c**3 - 17*c**2 - 4*c - 7. Is r(j) prime?
True
Let h be (3 + 119)/(1*4/188). Let u = 13635 - h. Is u a composite number?
False
Let g(i) = 26*i**2 - 12*i - 35. Suppose 2*d + 5*r + 40 = 7*r, 2*d - r + 38 = 0. Is g(d) prime?
False
Suppose 2*p - 21 - 163 = 0. Let m = p - 18. Let t = 53 + m. Is t a prime number?
True
Suppose -828946 = -4*k + 5*d, -k - 7*d + 11*d + 207253 = 0. Is k a composite number?
True
Let x(g) = 399*g**2 - 324*g + 1949. Is x(6) a prime number?
True
Let d be (-123860)/(-7) + (192/(-84) - -2). Suppose 12*f - 13014 = d. Is f a prime number?
False
Let m = -25 + 14. Let f(r) = -28*r + 50. Is f(m) composite?
True
Let i(x) = -175*x**3 - x**2 - 10*x - 17. Let z(c) = -21*c - 149. Let f be z(-7). Is i(f) a prime number?
True
Suppose 23*h = -55*h + 432198. Is h prime?
False
Let n(h) = 4*h**3 - 11*h**2 + 11*h + 223. Is n(19) prime?
False
Let g be (179614/155)/(2/(-90)). Let j = -35765 - g. Is j a prime number?
True
Let v(c) = -2*c + 25. Let p be v(-5). Suppose 2*h = 7*h + p. Let b(f) = 41*f**2 - 2*f + 16. Is b(h) a composite number?
False
Let m = 16371 + -8554. Is m composite?
False
Suppose 3*p = 3*h - 7 + 34, 0 = -5*h - 15. Suppose 8*u - 24556 = -p*u. Is u a prime number?
False
Suppose 47*q = 4*q + 3359203. Is q prime?
True
Let t = 36 - 36. Suppose 3*j - 6*j = -t*j. Is -3423*((-4)/12 + j) composite?
True
Suppose -4 - 5 = -3*x. Suppose x*p - 2911 + 520 = 0. Is p prime?
True
Let u(o) = 35*o - 1. Suppose -2*c - 4*n = 4, -3*n + n - 6 = -c. Suppose -c*a + 0 + 24 = 0. Is u(a) composite?
False
Suppose 0 = 3*j + 6*j. Suppose -4*f = 4*g - 3508, -3*g - 2*f + 1948 + 683 = j. Is g composite?
False
Let y(m) = -4*m + 12. Let x(d) = 5*d - 12. Let j(t) = 3*x(t) + 4*y(t). Let g be j(11). Is (-1)/((800/804 - g)/1) prime?
False
Let f(o) = 5*o**3 + 6*o**2 + 6*o + 5. Let d be (2/(8/(-20)) + 3)/(-1). Suppose d*l + 3*j - 9 = -0*j, 2*l + 2*j - 10 = 0. Is f(l) composite?
True
Let d(r) = 8*r**2 - 55*r - 2. Let h be d(7). Suppose 0 = -4*q + 16, n - h*q - 9183 = -6*q. Is n composite?
True
Let i(w) = 53 - 134*w + 54*w - 148*w. Is i(-5) a prime number?
True
Let