 217*k + 600*k - 512011405 = -86533328. Is k prime?
False
Let o(c) = -6050*c + 647. Is o(-28) prime?
True
Let q = 555914 + -271527. Is q composite?
False
Suppose -3*l - 1295612 = -4*m, 4*m + 2*l - 730661 - 564951 = 0. Is m a composite number?
False
Let g(u) be the second derivative of -u**4/12 - 25*u**3/6 - u**2/2 - 3*u. Let d be g(-22). Let s = d - -226. Is s prime?
False
Is 8/(-14)*(-252)/24 + 117155*1 composite?
True
Is 4/(-22) + (11603/(-123))/(11/(-1263)) prime?
True
Let v = 102045 + -21962. Is v a prime number?
False
Let c(x) = -6*x - 4. Let d be c(-1). Let s be 4/(-4) + 12/d. Suppose 3*g - 2*k - 3*k = 973, -s*g = k - 1603. Is g prime?
False
Suppose -119*b + 299443 + 753588 = 0. Is b a prime number?
True
Let a = -1224 - -3941. Let g(j) = j**2 + 24*j - 21. Let u be g(-25). Suppose u*v + 2*q = 5*v - a, 2*q = -10. Is v composite?
False
Suppose 3*u - 1026819 = -5*y + 282889, 4*u + 5*y - 1746279 = 0. Is u composite?
False
Suppose -11 = 11*w + 66. Is -3 + (w - (-527 + -2)) a prime number?
False
Let p = 5762 - -222. Let q = -3741 + p. Is q a prime number?
True
Suppose 409*v - 19077099 = 322*v. Is v composite?
False
Let q be (1/(-2))/((-2)/(-12)). Suppose -18*u - 80 = 22*u. Is (978/18 + -5)*q/u composite?
True
Let n(c) = 224*c - 26. Let f(b) = 112*b - 13. Let v(j) = 9*f(j) - 4*n(j). Let d be v(7). Is d - (3 - 4 - -3) composite?
False
Let f be 108/27 + (0 - -2). Let d = f + -1. Suppose 457 - 7452 = -d*s. Is s prime?
True
Let u = -199 - -423. Let f be (u - (0 - 1)) + -3. Suppose f = 3*r - 1341. Is r a composite number?
False
Suppose -30 = 3*k - 12. Let s be (1/k)/((-5)/40)*-3. Is 14*(s - 135/(-2)) a composite number?
True
Suppose 0 = -2*y + 4*a + 585170, 0 = 5*y - 15*a + 19*a - 1463037. Is y prime?
True
Let p(o) = -o**3 + 29*o**2 - 11*o - 17. Let a(g) = 3*g**2 - 29*g - 20. Let v be a(11). Is p(v) a composite number?
True
Is ((-1120)/(-64) + -19)/((-3)/733846) a composite number?
False
Let r be ((-6)/(-4))/((-74)/(-148)). Suppose 7*b - 9*b = -r*t + 52425, -5*t + b = -87368. Is t a composite number?
True
Let y(k) = -k**3 + 5*k**2 + 7*k - 7. Let u = -6 + 12. Let j be y(u). Is (6 - -1)*(46 - j) a composite number?
True
Let b(j) = -2*j - 1. Let t(g) = -g + 1. Let u(c) = -b(c) + 6*t(c). Let k be u(-14). Let x = 254 - k. Is x a prime number?
True
Let v(m) = m**2 - 23*m + 18. Let x be v(23). Suppose 1079 = -5*d + x*d. Is d a prime number?
True
Suppose -3*o - 5403 = -117453. Suppose p = -4*r + 74655, 0 = -24*r + 26*r - 4*p - o. Is r prime?
False
Let l = -408710 - -824157. Is l prime?
True
Let i be 1 - 3/(2*4/(-8)). Suppose -14 = -5*r - 3*w, 2*r = i*w + w + 18. Suppose -r*s + 0*h + 217 = -h, -4*s - h = -223. Is s prime?
False
Suppose 2*s - 2*q - q - 301810 = 0, 3*s + q - 452693 = 0. Is s a composite number?
True
Suppose 6*i = 7 - 7. Suppose -2*l + y + 7676 = 2*y, i = -5*l + 4*y + 19216. Suppose -l - 1735 = -5*v. Is v composite?
True
Let g = 211 - 267. Is (-222872)/g + (-12)/14 composite?
True
Suppose -4*s = -5*s + b + 30, 3*b = -5*s + 158. Let g = -209 + s. Is 1*2 + (5 + -6 - g) a composite number?
False
Let w = 754581 + 420874. Is w a composite number?
True
Let r = -110 - -105. Let b be (-2)/r - (-9)/15. Is ((-40)/6 - b)*(-251 - -2) a prime number?
False
Let x = 44128 - 18119. Is x a composite number?
True
Let b(d) be the third derivative of -d**6/20 + d**5/15 - 2*d**4/3 + 11*d**3/6 + 195*d**2. Is b(-9) a composite number?
True
Suppose -474866 = 52*l - 2248639 - 2396991. Is l composite?
False
Let l be (33/(-198))/((-2)/24). Is l/(28/368750) - (-162)/(-567) prime?
True
Let t(k) = -18 + 8 + k**2 + 11. Let m be t(2). Suppose -5*g = m*l - 1705, -3 - 3 = -3*g. Is l a prime number?
False
Is (0 - (-52)/(-20))/(7 - (-136404)/(-19485)) prime?
False
Suppose 0 = -10*i + 21*i - 4*i - 464303. Is i a composite number?
True
Is (-419*(0 + -1))/(49/3283) a prime number?
False
Suppose 3*q + 4*s - 68 = -2*q, 2*q - 5*s - 47 = 0. Suppose -q*f + 14*f + 758 = 0. Is f composite?
False
Suppose 18*r + 4 = 20*r. Suppose r*y - 2*n - 2498 = 0, 1237 = 2*y - y + 3*n. Let c = -613 + y. Is c composite?
True
Is (5*(-14)/70 - -10) + 853210 prime?
False
Let g(b) = -2456*b + 66. Let v be g(-4). Let q = v - -9275. Is q prime?
False
Suppose 230*q = -38*q - 4169620 + 19979208. Is q a prime number?
True
Let u(o) = -o**2 + 7*o + 20. Let l be u(9). Let c(k) = -33*k**2 + 26*k**2 + 25*k**l + 2 - 13*k. Is c(9) a composite number?
True
Suppose -5*i = 14 - 14. Suppose y + 5*r - 4301 = i, -17170 = -4*y - 9*r + 6*r. Is y a composite number?
True
Suppose 37*d = 35*d + 12, 2*i - 260500 = -3*d. Is i a composite number?
False
Let b be 10*(-5 + (-55)/(-10)). Suppose -18127 - 323 = -5*j + b*a, -4*a = -4. Is j prime?
True
Suppose 9390 = b - 6*b. Let z = -1259 + -32. Let v = z - b. Is v a composite number?
False
Let y(w) = 7*w - 22. Let x be y(4). Let c(a) = 210*a**2 + 7*a - 1. Is c(x) prime?
False
Let z = -1935 - -8709. Suppose z = 5*m - 2381. Is m a composite number?
False
Let c(p) = 264*p**2 - 121*p + 10. Is c(39) prime?
False
Let n(x) = -18*x**3 - 29*x**2 - 82*x - 16. Is n(-15) composite?
False
Suppose 0 = -5*l - 15, 3*m = -m - 2*l + 56818. Is m a composite number?
True
Let u(f) = 139*f + 11. Let a be u(-4). Let s = -1268 - a. Let y = s - -1240. Is y a composite number?
True
Let t = -34417 - -34389. Let i(q) = -8*q - 6*q - q**3 + 0*q**3 - 3 - 25*q**2. Is i(t) a composite number?
False
Let d be (-12 - -16) + (5 + 1)/(-2). Let x be d - 36/6*(-5)/(-3). Is 2/x - 20867/(-63) composite?
False
Let a(t) = 26*t**2 - 12*t - 27. Let k be 35*(-4 + 6 + -3 - 0). Let x = 27 + k. Is a(x) a prime number?
True
Suppose 3*a + 4*z - 503705 = 0, -3*a - z + 503691 = -4*z. Is a composite?
False
Let u = 59 + -57. Suppose 4*y - 3570 = -u*p, 7*p + 5339 = 10*p + 2*y. Is p a composite number?
False
Let f(g) = 46*g + 23. Let m be -1 - (6 + -6)/(4/(-2)). Let k be (1 - m)*(-9 + 19). Is f(k) composite?
True
Let j(n) = -n**2 + 6*n + 13. Let m be j(7). Suppose -m + 6 = -k. Suppose o = 4*i + 1647, k*o - 2*o = 4*i - 3282. Is o a prime number?
False
Let o = -751 + 768. Let b(a) = 3*a + 170. Is b(o) a composite number?
True
Suppose 6052902 + 3883361 - 1567038 = 25*i. Is i composite?
True
Let s = -3268 - -1681. Suppose 5432 = -2*x + 4*r, 4*x - 3*r + 2720 = 3*x. Let g = s - x. Is g a prime number?
False
Suppose 17*u = 19*u - 2. Let w be 10 - (2/u)/((-4)/(-8)). Suppose w*h - 515 - 1063 = 0. Is h a composite number?
False
Let x be (-10)/(-35) + 4/(-14). Suppose x = 30*a - 29*a - 4. Is a + -5 + -1 - -1933 a prime number?
True
Is -8 + 2886653/21 + 24/(-36) composite?
True
Let g(c) = 14742*c**2 + 74*c + 137. Is g(-11) a composite number?
True
Suppose 527925 - 5875109 = -29*j + 2403675. Is j a prime number?
True
Let v(s) = -s**2 + 232*s + 149. Is v(42) a composite number?
True
Let p(b) = 5*b**3 + 11*b**2 - 17*b + 8. Let w(n) = -4*n**3 - 10*n**2 + 16*n - 7. Let l(d) = 2*p(d) + 3*w(d). Let u be l(-11). Let i = u - 900. Is i prime?
False
Suppose -3*j + 4*d = -919, 3*j + 498 - 1457 = -4*d. Let i = -231 + j. Is i a composite number?
True
Is (30/20)/(9/2633112*12) prime?
True
Let t = 9792 + -3899. Is t composite?
True
Let z(w) = w**2 - w. Let v(c) = 3*c**2 - 10*c + 25. Let r(q) = -v(q) + 4*z(q). Let h be r(-9). Suppose -3*n + 83 + 146 = a, 0 = -h*a - 4. Is n composite?
True
Suppose -6596888 = -425*y - 2007176 + 3705013. Is y a prime number?
False
Suppose -40 + 28 = 3*k, 19506 = 2*z - 4*k. Is z prime?
False
Is -2 - ((-24)/(-20) + -1 + 3334872/(-60)) composite?
False
Suppose 49*d - 58*d - 15264 = 0. Let q = d + 3930. Is q prime?
False
Suppose 67 = -7*u + 102. Suppose 2*y + 790 - 3789 = -u*z, -4488 = -3*y + 3*z. Is y prime?
False
Let a = 6035 - -26746. Suppose a = 6*z - 3177. Is z composite?
True
Let s = 256136 - 83659. Is s composite?
True
Let y(m) = 109*m**2 + 17*m + 23. Is y(5) a prime number?
True
Suppose -5*q = 3*d - 8*d - 35, -2*q + 4*d + 24 = 0. Suppose -q - 4 = -2*f. Suppose -4*w - 4*c + 1252 = 0, -8 = f*c - c. Is w prime?
True
Let k(g) = 232*g**2 - 92*g + 767. Is k(8) composite?
False
Let x = 241 - -1216. Let u = -834 + x. Let p = -222 + u. Is p a prime number?
True
Suppose -l + 566604 = 2*o, 270197 + 1146322 = 5*o - 2*l. Is o composite?
False
Let f = -45 + 43. Let h be (1*1/f)/((-11)/66). Is 0 - -2 - (h - (-3 + 7)) a composite number?
False
Let i = 