/(-9279)). Let d = -5242 - n. Is d a composite number?
True
Let q(a) = -a**2 - 15*a - 19. Let y be q(-13). Suppose 0 = 6*z - y*z - 5*z. Let u(i) = i**2 + i + 97. Is u(z) prime?
True
Let o(r) = 2095*r**2 + 5*r + 7. Is o(-5) composite?
True
Suppose -2480532 = -39*r + 2782674. Is r prime?
False
Suppose o + 3*x + 42902 = 108654, 0 = -3*o + 5*x + 197242. Is o a composite number?
True
Suppose -27*f + 0*f = -2847 - 463362. Is f a prime number?
False
Let r(t) be the first derivative of -5*t**2/2 + 8*t - 3. Let d be r(-4). Is (-1 - 1)/(d/(-24906)) + 4 prime?
True
Suppose -3*z + 3*p + 19295 = -20317, 3*p + 13194 = z. Let h = z + -9098. Is h a prime number?
True
Let n be ((-6)/(-12))/(1/6). Suppose r - 7 - n = 0. Is (r/(-30))/((-2)/1734) composite?
True
Let h = 27877 - 12063. Let f = -8445 + h. Is f composite?
False
Let z(k) = 3*k**2 + 2*k + 1. Let b be z(-3). Let c = 569 - 458. Suppose -w + c = -b. Is w composite?
True
Let w(p) = p**3 + 5*p**2 - 2*p + 34. Let c be w(14). Suppose 4*i - c = -i. Is i prime?
False
Let a = -83 + 83. Suppose a = 4*s - 17*y + 13*y - 1364, -3*s - y + 1023 = 0. Is s prime?
False
Let h = -2052 - 677. Is ((-6)/6)/(1*1/h) prime?
True
Let d = -38 + 23. Let l(u) be the third derivative of u**6/120 + 4*u**5/15 + u**4/3 - 10*u**3/3 - 15*u**2. Is l(d) a prime number?
False
Is 13/(-156)*4*-623823 prime?
True
Suppose -209*b = -204*b + 85. Is b/102 - (2 + 18201/(-18)) a prime number?
True
Let w = 45 - 39. Suppose -w*h + 1214 = -124. Is h a composite number?
False
Let u = -393 + 396. Suppose -11*o - 5*a - 5104 = -14*o, -u*a - 1700 = -o. Is o composite?
True
Let i(n) = n**3 + 4*n**2 - 7. Let d be 6/(-33) + 156/11. Let t be 2/7 + 52/d. Is i(t) a composite number?
True
Let u be ((-7497)/9)/((-1)/3). Let c = u - 1325. Is (c/6)/(2/6) prime?
True
Suppose 45*r + 2014993 = 62*r. Is r a composite number?
False
Let b(i) = 25*i + 153. Let v be b(-6). Suppose -3*k - v*o - 14247 + 37026 = 0, 2*o + 15202 = 2*k. Is k a composite number?
True
Suppose -5*s + 902289 = 40*u - 42*u, 7*s = -5*u + 1263267. Is s a composite number?
True
Let k(s) = -s**3 - 3*s**2 + 24*s + 83. Let i be k(-6). Let x be 2*1/(-2) + 7. Let w = i + x. Is w a composite number?
False
Let s(g) = 4*g + 13. Let q be s(-4). Is (6/q)/2 - (-2954)/1 composite?
False
Let s be 4/30 + (-4030)/(-150). Let i be (-3 - -1)*s/(-6). Is 1 + 11324/i + (-2)/9 prime?
True
Let f(i) = -488*i**2 + i - 2. Let j(b) = -1465*b**2 + 3*b - 7. Suppose 0 = -6*c + 2*c - 5*q - 17, -3*q = 5*c + 5. Let h(v) = c*j(v) - 7*f(v). Is h(1) composite?
True
Let x = 100 - 99. Let q = 630 + x. Is q composite?
False
Suppose 13*b + 48921 = q, 0 = 26*q - 21*q - 2*b - 244353. Is q prime?
True
Let v(b) = -b**3 + 25*b**2 + 16*b - 12. Let z be v(12). Let a = -271 + z. Is a a composite number?
True
Let l(d) = 3199*d + 55. Let c be l(6). Let m = c + -11928. Is m prime?
True
Let w be (3*2/(-6))/(5/(-25)). Is (-139944)/(-60) - (-3)/w prime?
True
Let m(s) = 25222*s + 1119. Is m(5) prime?
False
Let a = 41298 - -149209. Is a a composite number?
False
Let x(z) = 42*z**2 - 48*z + 1631. Is x(75) composite?
False
Suppose -303252 = -118*p + 106*p. Is p a composite number?
True
Let s be 253/77 + 2/(-7). Suppose -21*f + 24*f = s*l - 11826, 3*l - 11825 = 4*f. Is l composite?
False
Let s be 15295/2 - (-6)/(-4). Let q = -2815 + s. Is q composite?
False
Let n(l) = -4*l**3 + 18*l**2 - 61*l - 33. Let c be n(12). Let q = c + 11762. Is q prime?
False
Let j be (-300 - 4)*9020/(-8). Let u = j + -242525. Is u prime?
False
Let j(r) be the third derivative of -31*r**4/4 + 7*r**3/6 - r**2. Suppose 3 + 12 = -5*c. Is j(c) a composite number?
True
Suppose -4*t - 4*q + 320144 = -0*t, 4*t - 2*q - 320162 = 0. Is t a prime number?
True
Suppose v = 7*s - 3*s + 12, -49 = 3*v + 5*s. Let z be 150/20*v/(-10)*-1. Let m(d) = 84*d**2 - 33*d + 7. Is m(z) a prime number?
True
Let u = 40013 + -10752. Is u prime?
False
Suppose 6*r - 3*r = -4*w + 266543, 0 = w - 4*r - 66631. Is w a composite number?
True
Let a = -13740 + 14935. Is a prime?
False
Let h(f) = 3*f**2 + 2*f - 3. Let q be h(2). Suppose 2*v - q = 21. Suppose c - 2 = 4*l + v, -5*l = 10. Is c a prime number?
True
Suppose -27*l + 35*l + 3464 = 0. Let k = l - -1670. Suppose -5*u + k = 3*p - 0*u, 2*p = u + 816. Is p prime?
True
Let a be 54*(0 + (1 - 2)). Let r = -19 - a. Suppose 0 = -33*j + r*j - 354. Is j a composite number?
True
Is ((-5378028)/(-9))/(284/213) composite?
False
Let m = 97144 + -10667. Is m a prime number?
True
Suppose -25*x + 95267 = -333341 + 36183. Is x composite?
True
Let w(o) = -o**3 + 119*o**2 - 98*o - 91. Is w(30) a prime number?
True
Suppose -7*y = 15*y - 63624. Let m = 7093 - y. Is m a composite number?
False
Is 4/64 + 965/(-80) - -842749 composite?
True
Let q = -171934 + 334913. Is q prime?
False
Is 37257 + (-5 + 6)*-14 a composite number?
False
Let h(a) be the second derivative of -2*a**3/3 - 21*a**2/2 + 19*a. Let z be h(-6). Suppose 48 = -z*g + 1407. Is g a prime number?
False
Let w(q) be the second derivative of -2*q**3/3 - 113*q**2 - 2*q. Let i be w(0). Let l = 905 + i. Is l a prime number?
False
Let h(q) = q + 5. Let x be h(5). Is 6808 + x/(3 + -5) prime?
True
Let u = 250 + -355. Is 1/(-5) - 285516/u composite?
False
Let x(f) = -f**2 + 2*f + 15. Let k be x(5). Let v(s) = -s**2 - s + 4201. Let i be v(k). Suppose -5*n - 5*h + i = -n, -2*n - h + 2099 = 0. Is n prime?
True
Suppose -1923*i + 258420 = 2*x - 1924*i, -i = 5*x - 646043. Is x composite?
False
Let d = -32 - -112. Let g be (-14)/3 + 6 + d/(-15). Is (2882/g)/(3/(-6)) a prime number?
False
Suppose -i - x = -5543, 3*x + 254 - 236 = 0. Is i composite?
True
Let g(r) = 2548*r - 28. Let j be g(-5). Let u = j + 34813. Is u a composite number?
True
Let m be (233 + 3)/((-4)/(-274)). Suppose 0 = -11*f + 9*f + m. Is f a prime number?
False
Let m be 1/(-4) - (4 - 925/20). Let w be (-7)/2*m/(-7). Is (-2103)/(-2)*14/w composite?
False
Let p be (-12)/(-3*(-3)/48). Let v = p + 75. Suppose 3223 = -v*u + 14652. Is u a prime number?
True
Suppose -12 = 5*m - 4*w, w = -m + 2*w - 3. Suppose m = -x + 3*x - 1702. Is x composite?
True
Let v = -425666 - -663247. Is v prime?
True
Let m(q) = -28 - 515*q + 68*q - 885*q - 37. Is m(-5) composite?
True
Let o = -4 + 6. Suppose 0 = -5*a + j - 1730, 4*a - o*j + 606 + 784 = 0. Let i = a + 792. Is i composite?
True
Let b(c) = -3100*c**2 - 4*c - 4. Let v(o) = -2067*o**2 - 3*o - 3. Let l(w) = -5*b(w) + 7*v(w). Is l(-1) a composite number?
False
Suppose -41*r + 31*r = -44630. Suppose 0 = 4*n + y - r + 116, -3*y + 2171 = 2*n. Is n prime?
True
Let r(k) = 15*k**3 - 43*k**2 - 29*k + 98. Is r(13) prime?
True
Let z(f) = f**3 - 2*f**2 + 3. Let x be z(2). Let l(c) = -c**3 + 22*c**2 - 6*c + 38. Let n be l(19). Suppose 0 = 4*y + x*o - n, -o = -2 + 5. Is y a prime number?
False
Let m(s) = -192*s + 19. Suppose -3*x + 0*x = 12, -3*h - 3*x = 18. Let n be (12/(-10) - h)*(-45)/9. Is m(n) a composite number?
False
Is -2 + -14 - 4668493/(-59) a composite number?
False
Let h = 162 + -8. Suppose k - 5*f + 119 = 0, -10*f + 479 = -5*k - 14*f. Let z = h + k. Is z prime?
False
Let v be ((-66)/(-8))/(3/804). Suppose -4*d + v = -d. Is d prime?
False
Suppose 57*o - 46*o - 25014 = 0. Suppose -1192 = -2*t + o. Is t composite?
False
Let m(t) = -7569*t**3 + 7*t**2 - 23*t - 166. Is m(-5) prime?
True
Let b(r) be the first derivative of -43*r**5/20 + 7*r**4/12 + 5*r**3/6 + 2*r**2 - 17*r - 5. Let v(s) be the first derivative of b(s). Is v(-3) prime?
True
Let s be (3/2)/((-1)/58). Suppose -2*k - 4*j - 712 = 3*k, -5*j = 4*k + 575. Let q = s - k. Is q prime?
True
Suppose 4*l + 39 = -213. Let i = 68 + l. Suppose -i*m = 3*k - 1685, 5*k - 674 = -m - m. Is m a composite number?
False
Let j(s) = -8951*s. Let q be j(-1). Let b(g) = 703*g - 87. Let w be b(-7). Let d = w + q. Is d composite?
False
Let v(b) = 25 + 33 - 6*b - 11 + b**3 - 2*b**2. Let j be v(20). Suppose 18*d = 30115 + j. Is d a prime number?
True
Let s(c) be the third derivative of 7*c**5/30 + c**4/12 - c**3/3 + 49*c**2 - 2. Let x be 2 - (-1)/((-1)/5). Is s(x) a prime number?
False
Let x = -12 + 0. Let q be (-15)/(-9) - -2*4/x. Is 1/(q + (-6)/4) + 223 composite?
True
Suppose 0 = 3*x + 3*r - 21, 0*r + r = -5*x + 15. Suppose 3 = -3*a + 2*a, x*a - 10 = 4*f. Is (0 - (f - -3))*499 a composite number?
False
Suppose 4*z