, -8084900 = 3*c - 10*c + 3*g. Is c a prime number?
True
Let w = 3102 + -724. Let c = -225 + w. Is c prime?
True
Let w be -31*(-521)/2 - (-6)/(-12). Suppose 4*k = -5*j + w, -j - 3*k + 1601 = -5*k. Suppose -563 = -2*x + j. Is x composite?
False
Suppose 45*b - 2216455 = -57*b + 1292651. Is b prime?
True
Suppose -80*t - 401658 = -1884778. Is t prime?
True
Let t(l) = -3296*l + 333. Let y be t(-6). Is ((-7)/(-14))/(-3 - y/(-6702)) a prime number?
True
Suppose 3*q - v = 5, -4*v + 8 = 5*q - 3*q. Suppose 0 = -0*j - 3*j, x + q*j = -45. Is (-442)/(-4) - x/18 prime?
True
Let y(z) = 3409*z**2 - 5*z + 1. Let t be y(1). Let b = -2428 + t. Is b a composite number?
False
Let g(i) = -8*i**2 - 2*i + 1. Let f be g(1). Is f - -7 - (-1 + -3432 - 2) a composite number?
False
Let s be 1/(-4) + (-9)/(-36) + 5. Suppose 2*p - 4*t = 4*p - 838, -2015 = -s*p + 6*t. Is p prime?
True
Let m(r) = 228*r**2 + 21*r - 31. Is m(10) a composite number?
True
Let w = -10 + 12. Suppose 0*a - 4*c + 20 = 4*a, -w*a + 7 = c. Is a/(-28)*-4 - (-1251)/7 a prime number?
True
Let x(r) be the third derivative of 611*r**4/3 + 5*r**3/2 - 2*r**2 - 72. Is x(4) a composite number?
True
Let y(k) = k**2 - 10*k + 16. Let s be y(8). Suppose s = 2*t - 426 - 2128. Is t composite?
False
Suppose z + 4 = 0, -4*z - 49970 = 4*n - 591134. Is n prime?
False
Let c(n) = -958*n + 25. Let g be c(-2). Let h = 3302 - g. Is h prime?
True
Let y(w) be the second derivative of w**5/5 + 3*w**4/4 + 10*w**3/3 - 13*w**2 - 33*w. Is y(11) a composite number?
False
Suppose 0 = -5*u - 2*b + 681223, 84*u - 87*u + 408717 = 4*b. Is u prime?
True
Suppose -5*g = -z - 37766, 4*z + g + 2*g + 151110 = 0. Let o be (3/(-6))/(3 + 113324/z). Is (-8)/(-12)*o/(-4) a prime number?
True
Let c be (-135)/(-20)*6*60. Suppose 4*b - d = 28753, -3*d + c = 2*b - 11929. Is b prime?
True
Let k(n) = -34*n + 11291. Let j = 417 + -417. Is k(j) a composite number?
True
Suppose 4*x - 3*l = 530735, -2*x - 5*l + 265370 = -9*l. Is x a composite number?
True
Suppose -50*h - 73*h + 1573467 = -30*h. Is h prime?
False
Let a = 348 - -296. Let u = a - 201. Is u prime?
True
Suppose -179*z = -181*z - y + 38554, -2*y - 96385 = -5*z. Is z prime?
False
Suppose 6*v - 11*v = 0, 3*v = 4*a - 72. Let c(w) = 55*w**2 + 35*w + 5. Is c(a) prime?
False
Suppose 9*v + 432985 = 3*g + 4*v, -3*v - 577328 = -4*g. Is g prime?
False
Suppose -22*f + 23*f = 3055. Suppose 0*x + t = -5*x + 3055, f = 5*x + 4*t. Is x prime?
False
Suppose 25839053 = 144*p - 33566851. Is p composite?
True
Let v(d) be the third derivative of 64*d**5/15 - d**3 - 42*d**2. Let c be v(2). Suppose b = -189 + c. Is b a prime number?
True
Let x(u) = -11*u**2 + 41*u - 93. Let l(w) = w**2 - w - 2. Let b(p) = -5*l(p) - x(p). Is b(-23) a composite number?
True
Suppose -2*q + 90739 + 14195 = 4*m, -3*q - 157371 = -6*m. Is m composite?
True
Suppose 4*j = -2*i + 122, 0 = -4*j + 4*i + 82 + 10. Is 2/5 + 378468/240*j a prime number?
False
Let c = 29762 - 12853. Is c a composite number?
True
Let y = 123020 + -84951. Is y a composite number?
False
Let i(b) = 5*b + 89. Let q be i(0). Let f = -87 + q. Suppose -f*d + 803 = o, 5*o - o - 3179 = 3*d. Is o prime?
True
Let u(g) = 28*g - 4. Let x be u(10). Let q(a) = 1 + 4 - 13*a + x*a**2 - 4 + 10*a. Is q(2) a prime number?
False
Let a be (2 - 20/12)*87. Let b = a + -29. Suppose m - 162 - 49 = b. Is m a composite number?
False
Let k(o) = -o**2 + 8*o - 12. Let v be k(5). Suppose 0 = 5*p + 3*l - 17, 3*p + v*l - 25 + 10 = 0. Is (-71820)/(-56) - p/2 composite?
True
Let n(f) = 158*f**2 + 17. Suppose -8*p - 48 = -2*p. Is n(p) prime?
False
Let k(w) = -w**2 + w + 251. Let x = 7 + 42. Let t = 49 - x. Is k(t) a composite number?
False
Suppose -73782227 = 89*h - 297071924. Is h a composite number?
True
Suppose -65*f + 59*f + 54 = 0. Is 138*174/f - -1 prime?
False
Let y be (-22)/55 + 12/5. Suppose w + 3*o + 2 = 5, 5*o = y*w + 5. Suppose -4*t + w*t = -996. Is t prime?
False
Let c be (-6)/(-2) + (1 - 1). Let z(p) = -p**3 - 5*p**2 + 7*p - 9. Let j be z(c). Is (-22770)/j*(2/3)/1 composite?
True
Let u(h) = h**2 - 3*h + 1. Let x be u(1). Is 959/((x + 0)*-1) prime?
False
Let n(o) = -o**2 + 1. Let c be n(-3). Suppose 0 = -144*m + 685 - 109. Is 62/3*(-3)/c*m a prime number?
True
Suppose 13*d = 23094 + 14892. Is d/(-8)*-1*(-16)/(-12) a prime number?
True
Suppose -6 = 2*b, -8*r = -5*r - b - 45. Is 49158/14 - (12/r)/3 composite?
False
Let j = -1142054 - -1813273. Is j prime?
True
Suppose 4*f + g + 0*g - 5320 = 0, -2646 = -2*f - 4*g. Suppose 0 = 13*o - 242 - f. Is o prime?
False
Let s(b) = 5*b + 223. Let h be s(-44). Let c(g) = 1712*g + 5. Is c(h) a composite number?
True
Suppose -2*i + 145 = 133. Suppose 800 + 6646 = i*q. Is q prime?
False
Let g = 101 + -103. Let p be -19 - -18 - (192 + g/1). Is (-17)/(p/(-291) + (-6)/9) a prime number?
False
Suppose 0 = -h - 4*z + 29459, 5*z - 41241 + 11782 = -h. Is h composite?
True
Suppose 5*k = -4*o - 45, 2*k + 2*k + 36 = 5*o. Let p(r) = 7*r**2 - 15*r - 25. Let f(u) = -10*u**2 + 23*u + 38. Let c(y) = 5*f(y) + 8*p(y). Is c(k) prime?
True
Let d(g) = 1472*g**2 + 28*g + 377. Is d(-24) a composite number?
False
Let x(m) = -101*m**3 + 9*m**2 - 7. Let g(y) = 302*y**3 - 25*y**2 + y + 22. Let a(z) = 4*g(z) + 11*x(z). Is a(5) prime?
False
Let c(x) = -73006*x + 361. Is c(-6) prime?
False
Suppose -8*g - 4*g + 244848 = 0. Suppose 0 = -25*f - g + 147629. Is f prime?
False
Let t(k) = -897*k - 4. Let m(a) be the first derivative of -a**2/2 - a - 17. Let u(f) = 5*m(f) + t(f). Is u(-2) composite?
True
Let l = 80 - 80. Suppose -3*h - u + 1697 = l, 5*h - 2*h = 4*u + 1672. Suppose -a - 3*a + h = 0. Is a prime?
False
Let c(a) = -a**3 - 114*a**2 - 748*a + 236. Let x be c(-107). Let d = -83 - -10. Is 86/x + d*158/(-6) prime?
False
Let x be (-1 - (-36)/9) + 11760 + -1. Is x/4 - (-12 - 184/(-16)) composite?
True
Let m(j) be the second derivative of j**5/20 + 11*j**4/6 + 10*j**3/3 + 16*j**2 - 90*j. Is m(-21) prime?
True
Let w be (46/(-6))/((-10)/30). Let m = w + -20. Suppose q - m*q = -2078. Is q composite?
False
Let n be 24/(-6)*7/56*-2. Let i(g) = -207*g + 5. Let y(o) = o - 1. Let j(z) = -i(z) - 4*y(z). Is j(n) prime?
False
Let t be ((-447)/(-9)*-1)/(6/(-990)). Let l = t + -3162. Is l composite?
True
Suppose -4669707 = 23*x + 3778929. Is -2*(-2)/(-3)*x/112 prime?
True
Let f be 0 - 14*(-4)/(-8). Let y be 324/84 + (-1)/f. Suppose -y*h + 867 = 5*c, 694 = 3*h + 2*c - 7*c. Is h a composite number?
False
Suppose -5*r + 49 = -46. Suppose 0 = r*g - 17*g - 222. Let d = g - 53. Is d a prime number?
False
Let x(t) = -t**2 - 3*t + 1. Let g be x(-2). Suppose -3 = -g*u + 9. Suppose 3*w + 4*c = -194 + 2143, 4*c + 2580 = u*w. Is w a prime number?
True
Suppose 0 + 36 = 6*a. Suppose 2*n + 4*x = -a, n = 2*n + 4*x + 11. Suppose 3 = -3*u, n*m - u - 315 = 941. Is m a prime number?
True
Let j(c) = 541*c**3 + 4*c**2 - 5*c + 1. Suppose 0*k - 112 = -8*k. Suppose k = -n + 15. Is j(n) a prime number?
True
Suppose -d - 6 = -12. Suppose 0 = d*m + 2*m. Suppose -5*y - w + 12144 = -m*y, -2*y - 4*w + 4854 = 0. Is y prime?
False
Let m(r) = 2*r**3 - r. Let f be m(-1). Let q be (-3)/(f + 2) + 90/15. Suppose -4614 = -q*i - 2*g + 1213, -g = 3*i - 5828. Is i prime?
False
Let v = -30 + 30. Suppose v = p - 1211 - 586. Is p prime?
False
Suppose -2*d - 3*z = -100312 - 6521, 106841 = 2*d - 5*z. Suppose -107*i + 101*i = -d. Is i a composite number?
True
Let t(z) = 4*z**2 - 6*z + 7. Let k be t(3). Suppose -3*h + 5*x - 2*x = -42, -5*h - 4*x + k = 0. Suppose -7155 = -h*j + 19404. Is j composite?
True
Let r be ((-45)/(-6))/((-1)/(-2)). Let h(p) = -p**3 + 23*p**2 + 12*p + 15. Let u be h(r). Suppose -5*f + 2320 + u = 0. Is f a prime number?
True
Suppose -10607 = -7*r + 24295. Let s = r - 209. Is s a composite number?
True
Let z = -40 - -42. Let d(s) = -69*s**3 - s**2 + s - 1. Let j be d(z). Let l = j - -1146. Is l composite?
True
Let g = 4501 + 280. Is g composite?
True
Let o be ((-54)/2)/(20/120). Is o/405 + (-2)/(-20)*38474 a prime number?
True
Is ((-4215738)/14 + (-296)/(-259))/(-1) a composite number?
False
Let o(p) = -p**3 - 4*p**2 + 6*p + 1. Let f be o(-5). Let z be f/6 + (-1020)/9. Let k = 1373 + z. Is k prime?
True
Let a(l) = -139*l - 10. Suppose -5*o = -14 + 39. Let n be a(o). Suppose n = p + 2*y, -3*p = -0*p + 5*y - 2051. Is p composite?
Fal