er?
True
Is 0 + 0 + (-9)/(-63) - 9452336/(-14) composite?
True
Suppose -4*k - 2*x + 2860 = 8538, -2*k = -4*x + 2824. Let a = k + 2448. Suppose 10*i = 15*i - a. Is i prime?
False
Let h(m) = 9*m**3 - 6*m + 8. Suppose 18 = 2*z + 5*c - 9*c, c = -5*z + 12. Is h(z) composite?
False
Let j(x) = 357*x - 5. Let q(h) be the second derivative of -713*h**3/6 + 5*h**2 + 4*h. Let r(n) = 5*j(n) + 3*q(n). Is r(-2) a prime number?
False
Is ((-7103)/(-3))/((88/33)/8) prime?
True
Let r(t) = t**2 - 5*t - 6. Let i be r(3). Is ((-25)/(-10) + -1)*(-9208)/i prime?
True
Suppose z = -3*u + 113981, 4*z + 3*u = 8*u + 455958. Is z a composite number?
True
Let t(n) = 34570*n**3 + 51*n**2 - 92*n - 14. Is t(2) a composite number?
True
Let o = 3754 + 129. Is o a composite number?
True
Let w = 486 - 456. Suppose w*q - 998021 = -31*q. Is q prime?
True
Is (7/((-252)/(-332844)))/((-2)/(-6)) - 4 prime?
True
Let v = -31 - -33. Suppose -4*g - 4 = -v*g. Is (4695/9 - -3)*(-3)/g composite?
False
Suppose -4*q + 19 = -9. Let t be (q - 2) + -4 + 5. Suppose 0*i + t*i = 6606. Is i prime?
False
Let i = 71 - 622. Let n = -376 - i. Let w = 246 - n. Is w prime?
True
Suppose l = 3, -3*x - l = -6*x + 224766. Is x prime?
True
Let l(b) = 1854*b**3 - 50*b**2 - 9*b + 43. Is l(5) a composite number?
True
Let v(j) = 8*j**2 + 11*j + 3. Let d be 3 - (-1 + 4) - -5. Let l be v(d). Let a = l - 80. Is a a prime number?
False
Let p(d) = -13*d + 6*d - 6 + 6*d. Let r be p(-5). Is (r*177/6)/(1/(-46)) composite?
True
Let n(d) = 5467*d + 109. Is n(4) composite?
False
Let h = -89 + 376. Let v be (-60)/12*5*-22. Let t = v - h. Is t a prime number?
True
Suppose 6*x - 6 = 3*x. Suppose 30 = 4*d + 5*g, -5*d + 5*g + 56 = x*g. Is ((-95)/d)/(-1*(-3)/(-186)) prime?
False
Suppose -769 - 2851 = 10*q. Let y = q + 445. Is y a prime number?
True
Suppose -2*p = -2*j - 4*p - 39466, 5*p = 5*j + 98655. Is j/(-10) - 11/55 a composite number?
False
Let z(b) = b**3 + 121*b**2 + 146*b - 37. Is z(-27) a prime number?
False
Let t(s) = -6*s**3 + 14*s**2 + 24*s - 27. Let z = 20 + -25. Let h(u) = 7*u**3 - 15*u**2 - 25*u + 28. Let y(c) = z*h(c) - 6*t(c). Is y(13) a prime number?
False
Let y = -6 - -9. Suppose 950 = l + 739. Suppose -152 = -y*g + l. Is g composite?
True
Let q be 5*6/30 + 5669. Let p = q + -3089. Is p a prime number?
False
Let q(u) = 218*u**3 + u**2 - u - 7. Let i be q(-5). Let s = i + 52848. Is s a prime number?
True
Suppose -4*h - 22 = -50, 1218519 = u - 2*h. Is u a composite number?
False
Let h(q) = -145312*q + 3114. Is h(-4) prime?
False
Suppose 4*t = -16, -5*g - 4*t = -g - 11472. Suppose 4*v - 4*n = -g, -2*n - 693 = v + 2*n. Is (-2)/3 + v/(-3) a prime number?
False
Let b(g) be the first derivative of 164*g**3 + 4*g**2 + 9*g - 35. Is b(-1) composite?
True
Suppose -73*z = -85*z + 279156. Is z a prime number?
False
Let z(i) be the third derivative of 29*i**5/4 + 3*i**4/2 - 235*i**3/6 - i**2 + 4*i. Is z(6) prime?
True
Let q(g) be the second derivative of -g**6/120 + 13*g**5/60 + 7*g**4/24 - 4*g**3 + 10*g**2 - 29*g. Let w(h) be the first derivative of q(h). Is w(10) prime?
False
Let u = -16683 + 30388. Is u prime?
False
Let q(s) = 2*s**3 + 7*s**2 - s + 5. Let d be q(-4). Is 2*1/d + 8792490/1470 a prime number?
True
Is (-21*35/245)/(2/(-537986)) composite?
True
Suppose 29 + 235 = 33*a. Suppose 2*b = -u + 883, a*b - 6*b = 3*u + 895. Is b composite?
False
Let x = -128 + 282. Let s = x - -1385. Suppose f + s = k, -f - 1543 = -k + f. Is k a prime number?
False
Let b(t) = 15296*t**2 + 278*t - 5. Is b(3) prime?
True
Is 113444 + -4*12/(-16) prime?
False
Suppose 50*n - 1083007 - 282943 = 0. Is n a composite number?
True
Let y be 10/(-10)*(-1)/((-1)/(-473)). Suppose -2*i = -1403 - y. Let a = i + -565. Is a a composite number?
False
Let f(j) = -780*j - 20. Let n be f(-4). Let p = -1089 + n. Suppose 2*z - p = 627. Is z a prime number?
True
Let g(r) = -8*r + 1. Let s be g(-1). Suppose -s*b = -4*b. Is (873 + -1 + 5)/(b + 1) a composite number?
False
Let t = 152634 - -347293. Is t prime?
True
Suppose -3*c + 156337 = -4*o, -5*c - 151*o + 260543 = -155*o. Is c composite?
False
Suppose 307*u - 163*u - 89065584 = 0. Is u prime?
False
Let k(o) = -230*o**3 - o**2 + 3*o - 2. Let v be k(2). Let u = 1671 - -2738. Let n = u + v. Is n composite?
True
Let t(j) = 2*j**2 + 18*j + 18. Let b be t(-8). Is b/(-4)*(-17849 - (10 + -13)) prime?
True
Let y be 81/(-135) - (0 - 1774/(-10)). Let t(m) = -8*m**2 + 13*m - 5. Let j be t(10). Let u = y - j. Is u a prime number?
False
Is (-1953816)/(-40) + 16/10 a prime number?
True
Suppose 4*s + 9 + 13 = 2*o, -s + 110 = 5*o. Let w be 70/o + 2/3. Is (w + 0)*-1 + 23 prime?
True
Suppose 0 = 14*i + 4 - 18. Is (i/(16/38888))/(2/4) prime?
True
Let x(h) = 37*h**2 - h + 2. Let q be x(1). Is 4 - q/9 - 52364/(-9) prime?
False
Let r(x) = 50*x**2 + 43*x - 820. Is r(34) prime?
False
Let u be 713715/75 + 1/5*-1. Let c = u + -1459. Is c prime?
False
Let r(h) be the second derivative of -71*h**3/2 + 8*h**2 + h. Let v = -1751 - -1744. Is r(v) prime?
False
Let d(u) = -8*u**3 + 4*u**2 + 7*u + 4. Let f be d(-8). Let b = f + -1821. Is b a composite number?
True
Suppose 11661 = 7*k - 2*k + 2*w, 0 = 4*k + 5*w - 9322. Suppose 5*d - k = -0*d + 3*g, g - 1411 = -3*d. Suppose -145 - d = -m. Is m prime?
False
Suppose 3 + 7 = -5*g. Is (g/3 - -1)*(-126552)/(-8) prime?
True
Let s be 8/(-12) + 56/21. Suppose j - s*j + 23884 = -5*i, 3*j + 5*i = 71672. Is j composite?
True
Let h = 1071 - -1222. Is h a prime number?
True
Let k be (-2)/(45/(-44) + 1). Let l = 718 + 54. Suppose 0 = 5*t - s - 1687, l = 2*t - 5*s + k. Is t a prime number?
True
Is (4765/3)/((-6)/(-36)) + 5 prime?
False
Let k = -4 - -223. Is (-10)/2 + k/(-2)*-8 a composite number?
True
Let p(q) = 3*q**3 - 11*q**2 + 56*q + 25. Is p(72) a composite number?
False
Let d = 51 - 39. Suppose -3*o + 4*u = 3, 3*o + u + 0*u - d = 0. Suppose 5*c + 682 = -2*k + 3*k, 2013 = o*k - 4*c. Is k a prime number?
False
Suppose 12 = 4*a - 4. Suppose k = 4*z - 3*k + a, 4*k + 8 = -2*z. Is (-359)/z + (-19)/38 a prime number?
True
Let v(k) be the second derivative of 31*k**5/20 + k**4/24 - k**3/2 - 17*k**2/2 - 23*k. Let d(f) be the first derivative of v(f). Is d(-4) prime?
True
Let r(t) = 96*t + 228. Let y be r(24). Let c = y - -670. Is c composite?
True
Suppose -55*j = -59*j. Suppose j = -2*d - 3*d + 105605. Is d a composite number?
False
Let r(a) = 110628*a + 2179. Is r(3) a prime number?
False
Is ((-94854)/4)/((-48)/32) a composite number?
False
Suppose 0 = -26*o + 75*o - 3511487. Is o prime?
True
Let z = 949497 + -677578. Is z a prime number?
True
Let k = 9851 - 1918. Is k composite?
False
Let l = 18313 + 41938. Is l prime?
True
Let m(k) = -68*k**2 + 8*k - 1. Let f(u) = -68*u**2 + 9*u. Let n(j) = -6*f(j) + 5*m(j). Let b be (-42)/273 + 200/(-52). Is n(b) a prime number?
False
Let t(x) = 1412*x**2 + 86*x - 19. Is t(6) prime?
True
Let p be (-48)/72 - (22/(-6) - 2). Suppose -p*q + 12527 = -4*x, -q + 4*x + 7521 = 2*q. Is q prime?
True
Let g(p) = -607*p**3 - 5*p**2 - 24*p - 5. Is g(-3) composite?
False
Let s(u) be the second derivative of 3898*u**4/3 + 13*u**3/6 + 6*u**2 + 81*u. Is s(-1) composite?
True
Suppose -z - 4*a = 8621, 3*z + z + 34536 = -3*a. Let c = z - -15136. Is c composite?
True
Let r be 6/16 - (-207)/(-552). Is 4/12*-3 - (-19278 + r) prime?
False
Suppose 2*n - 5862 = -5*z, 7*n - 3*z - 8292 - 12143 = 0. Is n prime?
False
Let r(s) be the first derivative of 1/4*s**4 + 8*s**2 + 3 - 8/3*s**3 - 7*s. Is r(8) a prime number?
False
Let f(d) = 3*d**3 - 26*d**2 - 44*d - 23. Let w be f(24). Is -6 + (-1 - 1) + w a prime number?
True
Let g be (-2 + 1)*(9 - 8). Is (4/(-46) - (-18291507)/(-1081))*g prime?
True
Let m(l) = -7*l**3 - 16*l**2 + 18*l - 14. Let s be m(7). Let q = s - -5316. Is q a prime number?
True
Let h = 13770 - 9791. Is h a composite number?
True
Suppose 22*s = 4*c + 17*s - 218746, 273443 = 5*c - s. Is c composite?
True
Let o(r) = -11*r + 162. Let q be o(6). Is (12/q)/(2/10928) a prime number?
True
Suppose -6*p + 1298 = -8*p. Let z be 207*-1*(-4)/(-2). Let w = z - p. Is w a prime number?
False
Suppose 2*x + 2*u - 343480 = 0, -4*x + 2*u + 142573 + 544381 = 0. Is x a composite number?
True
Suppose -15*p + 210930 = 2*f - 11*p, 3 = -3*p. Is f composite?
False
Let q(u) = u**2 - 6*u - 2. Let h be q(6). Let x(m) 