/u)/8*7206/4 composite?
True
Suppose 0 = 3*g + 8 - 20. Suppose g*o = -3*h + 9, -o - 3 = 3*o - h. Suppose 3*f = -o*c - 3*c + 4980, 4956 = 3*f - 5*c. Is f a prime number?
True
Let c(g) be the first derivative of -7*g + 5*g + 4 + 9*g**2 - 2. Is c(6) a prime number?
False
Let q = -1869 - -5619. Let k = q - 1043. Let b = 4554 - k. Is b prime?
True
Suppose a = -5, -6*s + 10*s + 4*a = 6472. Is s a composite number?
True
Suppose -157*x + 148*x - 18 = 0. Is 112782/4 + 2*x/8 a composite number?
True
Let n = 10321 + -5445. Suppose -11*h + 18654 = -13323. Let p = n - h. Is p prime?
False
Suppose 489*g - 494*g - 37660 = 0. Is (-18)/(-45) + g/(-20) a prime number?
False
Let k = -229 + 4844. Suppose 9*x + 1042 = k. Is x composite?
False
Let u be 12/9 + (-370)/(-15) + -2. Suppose 9731 = u*i - 178165. Is i prime?
True
Let o = -2873 + 1260. Let k = o + 4494. Is k a composite number?
True
Suppose -2047*l = -2040*l - 494809. Is l composite?
False
Is 2258895/27 - (-14)/63 prime?
True
Suppose -13*t - 92267 = -547124. Suppose t = 6*x - 55089. Is x a prime number?
True
Let n(y) = -y**3 + 80*y**2 - 453*y - 13. Is n(48) composite?
False
Is (1 + 100643/6)*19/(684/216) a prime number?
True
Let o(b) = 168*b + 7. Let y be 10 - ((-2)/(-6) + 7/(-21)). Let q be o(y). Suppose -11*p + q + 3692 = 0. Is p a prime number?
False
Suppose -2*f = -3*v + 4*v - 42, 3*v = 0. Suppose -45179 = -f*u + 65554. Is u a composite number?
False
Let k be 2817414/14 - ((-36)/42)/6. Suppose -k = 157*m - 161*m. Is m composite?
False
Let d(v) = -56 + 98*v - 61*v - 56*v. Is d(-7) a composite number?
True
Let b = -1656 + 1079. Let w = b + 1428. Is w a composite number?
True
Let g be ((-6)/(-18) - -1)*-6. Let j = 87 - 32. Is 35265/j + g/44 a composite number?
False
Let a(s) = 81*s**2 + 2*s + 2. Let n be (1 + (-10)/15)*9. Is a(n) a composite number?
True
Let h(i) = 3232*i**2 + 22*i + 297. Is h(-26) composite?
False
Let w = 978 - -157. Let n = w + -644. Is n a prime number?
True
Suppose -4*d - 5*d - 762 = -12*d. Is d prime?
False
Let l be -1294*((-12)/(-4) + -5) + -3. Let s(a) = -a - 3. Let c be s(-3). Suppose 4*g - 517 = -i, c = -5*i + g - 3*g + l. Is i prime?
False
Let t be (-12)/(-4) + 0 + 29. Suppose 2*i + 14340 = t*i. Is i a composite number?
True
Let k be (1/(-2))/((-14)/(-28)) - -39. Is (-14)/(-21) - 39/(-18)*k composite?
False
Is (((-48)/(-96))/((-2)/(-28)))/(-1) + 39428 prime?
False
Suppose 5*p + 4*n = 1622577, -2*n + 8 = -6*n. Is p a prime number?
True
Suppose -7*o - 3195 = -12*o. Let p = 3982 + o. Is p composite?
False
Let u(v) = 6*v**2 - 2. Let n = -32 - -32. Suppose n = -2*s - 2*s, -4 = 2*x - 2*s. Is u(x) composite?
True
Suppose -4*p - 15 = -n - 9*p, 4*n + 3*p - 9 = 0. Let w(y) = -4*y**2 + y + 1126. Is w(n) a composite number?
True
Suppose -84*t = -85*t - 5*w + 57905, 231590 = 4*t + 5*w. Is t composite?
True
Let d(w) = 2072*w**3 - 21*w**2 + 7*w - 7. Let h(x) = 1035*x**3 - 10*x**2 + 3*x - 3. Let n(g) = 6*d(g) - 13*h(g). Is n(-2) a composite number?
False
Let s(f) = f**3 + 13*f + 7395. Let x be s(0). Suppose 2*g - x = -421. Is g a prime number?
False
Is 1/(-1) + ((-143791020)/(-1890) - 2/(-21)) a composite number?
False
Suppose 135 = b + 131. Suppose -3*h + 6*x - x + 5728 = 0, 0 = b*h - 2*x - 7614. Is h a composite number?
False
Let j(y) = 519*y**2 - 6*y - 11. Let w be j(-3). Suppose -4*n + 16226 - w = 0. Is n prime?
True
Let z = 46 + -43. Let t be ((-149)/2 - z)*14. Let q = 2046 + t. Is q a prime number?
False
Is (-144)/(-108)*(-924822)/(-24) prime?
False
Let s(n) = 8783*n + 2672. Is s(25) prime?
True
Suppose 3*m - 4796982 = -3*t, -5*t - 999*m = -1003*m - 7995015. Is t a composite number?
False
Let z(b) = -18*b + 10*b**2 + 47*b - 5 + 13 - 22*b. Is z(-7) a composite number?
False
Suppose -5 = 5*p, -6*h - 4*p - 164093 = -7*h. Is h composite?
False
Let x(g) = -g**3 - 12*g**2 - 8*g + 11. Let j be x(-12). Suppose -22 = p - j. Let m = p - 2. Is m a prime number?
True
Suppose -5*i - n = -4*n - 2, 4*i + 4*n = -24. Let z = i - -5. Suppose 2*b + z*s - 3164 = 0, b + 3*s - 1587 = -s. Is b a prime number?
True
Let q(u) = -3*u**3 - 2*u**2 - 5. Let o be q(-3). Let s = o - 59. Is (4/(-12))/(s/3999) a composite number?
True
Let f = -292 + -1143. Let q = f - -3104. Is q a composite number?
False
Suppose 79*b + 74*b - 532300 = 133*b. Is b prime?
False
Let s be ((-1)/(-2))/((-14)/28) + 2175. Is (s/1 - -2) + -1 + -1 composite?
True
Let k(t) = -49*t - 68. Suppose -f + i - 21 = 0, -f - 5*i - 13 = -10*i. Is k(f) composite?
True
Suppose 48*q - 60*q + 6060 = 0. Let m = q - -2032. Is m prime?
False
Suppose 0 = 41*l - 55*l. Suppose l = 113*c - 117*c + 12604. Is c a prime number?
False
Suppose -45 = -7*b + 18. Suppose -6060 = -3*g - b*g. Suppose -n = -786 - g. Is n a prime number?
True
Suppose -5634786 = -137*u + 35*u. Is u a composite number?
False
Let i be ((-12)/14)/((-1)/1484). Suppose -41*d = -49*d + i. Is d prime?
False
Suppose 156*q = -d + 155*q + 242, -5*d + 1240 = -q. Is d a composite number?
True
Let s(f) = -2*f - 32. Let w(u) = -u**2 + 8*u - 16. Let k be w(9). Let a be s(k). Suppose -17*q + a*q - 697 = 0. Is q prime?
False
Let z(x) = 13*x**2 + 9*x - 18. Let d be z(-15). Suppose d = 6*v - 0*v. Suppose 3*h + 3*h = v. Is h prime?
False
Let z(f) = 5148*f**3 - 3*f**2 - f + 3. Let i be (8/(-12))/((-4)/6). Is z(i) prime?
True
Suppose -2*m + 4 = -k, -3*m + 5*k - 16 = -5*m. Suppose 13*t = -3*w + 10*t + 3765, -3789 = -m*w + 3*t. Is w composite?
False
Suppose 226*o - 35707830 - 33516196 = 0. Is o a prime number?
True
Suppose -22*m - 24*m - 2*m = -774096. Is m a composite number?
False
Let x = 232 - 97. Let t = -50 + x. Let l = t - -873. Is l prime?
False
Let w(j) = 7*j**2 - 12581. Let u be w(0). Let l = -7992 - u. Is l a prime number?
False
Suppose 43*o - 37*o - 72 = 0. Let x(z) = z**3 + 12*z**2 + 12*z + 14. Let q be x(-11). Is (4/o)/(q/2286) a composite number?
True
Let t(q) = 149*q**2 - 67*q - 107. Is t(9) composite?
True
Let z(w) = 563*w**2 - 4*w + 33. Let t be z(5). Let h = t + -8765. Is h prime?
True
Suppose 283 = -q + 961. Let o = -60 + 62. Suppose -4*p + q = o*p. Is p a prime number?
True
Is (-306808)/(-12)*(-2)/(-12)*297/33 a prime number?
True
Suppose 5*t + 5*a = -47 - 118, -t - 5*a = 21. Let v = t + 41. Is 6466/v - (-2)/(-10) prime?
False
Let u be -1*(-25)/5 + -3. Suppose -5*p + 3*v = -6 + u, 0 = -3*v + 6. Suppose -p*n + 2359 + 151 = 0. Is n a composite number?
True
Suppose -100*q + 8285900 = 1918200. Is q prime?
False
Suppose -23*w + 2758405 = 288090. Is w a composite number?
True
Suppose -4*a - 5*v = -24264, 4*a - 3*v - 18198 = a. Suppose -4*t = a - 22214. Is t composite?
True
Let m(h) = 48*h**2 + 167*h + 17. Suppose l - 39*f + 35*f = -34, f - 2 = 0. Is m(l) a composite number?
False
Let y(o) = 25*o**3 + 4*o**2 - 53*o + 275. Is y(5) a prime number?
False
Suppose -19*c + 1224 + 9967 = 0. Suppose 3*l - 50 = c. Is l prime?
False
Let p be (1 + -2)*(0 + 7). Let q be (3/5)/(p/35). Is 2818 - (q/3 + 0) a prime number?
True
Let b be 4 + -9 + 3*6. Suppose -28732 = b*h - 17*h. Is h prime?
False
Is (8/14)/(16/(-168)) - -8065 prime?
True
Suppose -10*y + 182291 = -732239. Is y a composite number?
False
Let i(u) = -u**3 - 10*u**2 + 10*u - 7. Let b be i(-11). Suppose -43 = -b*s + 45. Let d = 921 - s. Is d a composite number?
True
Is -41882*(6/(-21) + (-63)/294) a prime number?
False
Suppose -j + 5 = 8. Let l = j + 5. Suppose 0 = -i - b + 249, 4*i = -b - l*b + 1000. Is i prime?
False
Let w = -142 + 172. Is (w/6 + 5)*249/6 prime?
False
Let i be 6*(-4)/(-6) + (-15)/(-5). Suppose 3118 = 5*x - u, 4*u + 5 = -i. Is x prime?
False
Let p = -27575 - -71298. Is p a composite number?
True
Let w(c) = 5*c**2 - c + 1772*c**3 - c**2 + 1322*c**3. Is w(1) prime?
False
Let c be (4 - -1) + 1 + 0. Suppose 9*i - c*i = 4*z - 51915, -64899 = -5*z + 2*i. Is z a composite number?
True
Let k be (-2)/4*(-9 + 17) - -1. Is (-7 - 33/k)*29/2 prime?
False
Let m be 10 + -2 + -4*(-10)/(-10). Let a be (-2)/4 - 15/(-6). Suppose m*t = a*o - 302, -t - 2 = -1. Is o a composite number?
False
Let i(o) = 1196*o - 45. Let f(m) = -1793*m + 67. Let r(t) = 5*f(t) + 7*i(t). Is r(-13) prime?
False
Let y(w) = 2*w**3 + 195*w**2 + 405*w - 401. Is y(-92) a prime number?
False
Let w(q) = -q**3 + 38*q - 9*q + 17 - 13*q + 16*q**2. Let x be w(17). Let b(j) = 4*j + 2173. Is b(x)