e number?
False
Suppose -2*k = 4*m + 1294 - 3974, 5*m = k + 3371. Is m composite?
False
Let u = 396 - 203. Suppose -3 = 3*x, -2*m + x - 279 = -7*m. Suppose -3*c + u = -m. Is c prime?
True
Let o = 4397 - -514. Let i = o + -2858. Is i a prime number?
True
Suppose 99*f + 330621015 = 354*f. Is f prime?
False
Suppose 17*s = 8146 - 207. Let m = -7 + 9. Suppose -3*g = -m*g - s. Is g prime?
True
Let g be (156/(-130))/(-1*1/15). Is 6/g*-1 + (-9754)/(-3) composite?
False
Suppose -4*u = -4*l - 8, -u + 4*l = 2*l + 1. Let f(q) = 141*q**2 - 2*q + 1. Let y be f(1). Is 146/(8/y*u) prime?
False
Let c(q) = -299*q**3 - 3*q**2 - 127*q + 56. Is c(-9) a composite number?
True
Is ((-8)/24)/(((-65)/545115)/13) a prime number?
True
Suppose -4*w - 62 = -14. Let x = -833 + -407. Is (x/w + -1)*3 composite?
False
Let n(p) = -146*p + 15. Let f(c) = -147*c + 7. Let s(g) = -3*f(g) + 2*n(g). Let a be (-3 - 0)*4/(-6). Is s(a) a prime number?
True
Suppose -3*o + 13*o + 24*o - 6144854 = 0. Is o composite?
False
Let x be (1 - (-6)/(-4))/((-4)/(-72)). Let t be (4508/6)/(3/x). Let z = -1581 - t. Is z a composite number?
False
Let y(l) = -5*l**2 + 11*l - 1. Let b be y(3). Let t = b - 365. Is ((-3)/6)/(6/(-36)) - t a prime number?
False
Let u be (-47)/(-7) - (-2)/7. Suppose 2*t - u = -h + 1, 105 = 5*h - 3*t. Is (-133000)/(-72) + (-4)/h a composite number?
False
Let f(x) = -81*x**3 + 246*x**2 + 1677*x + 35. Is f(-7) a prime number?
False
Let i(f) = 35*f**2 - 9*f - 9. Let s(q) = 34*q**2 - 10*q - 10. Let r(d) = 3*i(d) - 2*s(d). Let l be r(-5). Suppose -6*u + 1513 = -l. Is u a composite number?
True
Let s = -348 - -401. Suppose -s - 533 = -2*m. Is m a prime number?
True
Suppose 7*q - 4*q = 4*b + 81, -6 = -2*b. Let r = q + -38. Let w(i) = -2*i**3 + i**2 - 9*i - 1. Is w(r) a prime number?
True
Let v(d) = d**2 + 7*d + 45. Let g be v(12). Is ((-3970)/(-3) - 2)/(182/g) a composite number?
True
Let k = -161 + 165. Is 2 + (-1 - -2 - k*-3059) a prime number?
True
Let o(f) = -240*f - 5. Suppose 4 = -4*z + 3*z. Let u(m) = -m**3 - 2*m**2 + 11*m + 8. Let w be u(z). Is o(w) a composite number?
True
Let g(t) = -2*t**2 + t + 2. Let o be g(2). Let b be ((-2)/o)/((-1)/(-12)*2). Suppose b*n - 1456 = 6281. Is n a prime number?
True
Suppose -b + 3*a = -5307, -b + 194 + 5081 = 5*a. Suppose -231*p + 228*p + b = 0. Is p a composite number?
True
Let s(f) = -22*f**3 + 20*f**3 - 2 - 11*f**2 - 14 - 14*f. Let w be s(-9). Let l = 174 + w. Is l a composite number?
True
Let l(b) = b**3 + 27*b**2 + 5*b - 109. Let y be l(-32). Let m = 12898 + y. Is m composite?
True
Let v be 6*11/(-6)*3. Let o = -30 - v. Is 1*88 + o + 0 composite?
True
Suppose -m + 0*m = a - 9, 0 = 3*a - 9. Suppose p = m*p. Is 4 - 2 - p - -365 composite?
False
Suppose -15*t + 10*t - 200 = 0. Let h be (t/(-12))/(-2)*18. Let w = h - -63. Is w prime?
False
Suppose 3*c - 2378 = -o, 2376 = -0*o + o + c. Suppose 2*x = -o - 1749. Let m = 451 - x. Is m a composite number?
True
Suppose 1427*j - 2*n = 1429*j - 1107894, 2*j - 1107908 = 5*n. Is j composite?
True
Suppose -5*a + 105 = 5*m, 4*m - 32 = -3*a + 36. Suppose 8510 = 2*z + 5*x, a*z - 21*z + 21329 = -x. Is z a prime number?
False
Let d(c) = 3*c + 3. Let o be d(0). Suppose o*h = 5*h. Suppose 4*v + 2*k - 872 = h, -3*v + 2*k + 654 = k. Is v a composite number?
True
Suppose -3*d = l + 22780 - 121664, 5*d - 2*l = 164803. Is d a prime number?
False
Let u = 57 + -57. Suppose 0 = -10*q - u*q + 20. Suppose 5*n + 2*o = 2605, 4*n - q*o - 1997 - 87 = 0. Is n a prime number?
True
Suppose -6*j + 55804 = 22*j. Is j a composite number?
False
Let z(i) be the third derivative of 11*i**6/180 - i**5/12 - 3*i**4/8 + 8*i**3/3 - 8*i**2. Let c(h) be the first derivative of z(h). Is c(-4) composite?
False
Let o = 2547 - 2307. Suppose 4*d - 3*d = 407. Let b = o + d. Is b a composite number?
False
Suppose -3*q - 12 = -6*q. Let f(k) = k**3 + 2*k**2 - 24. Let v be f(0). Is (-1)/q - 16014/v a composite number?
True
Let f be 1*6/(-2) - (-3 + -2). Suppose -3*n + 0*n = -f*z - 11, 0 = -2*n + 6. Is (-8 + 5 - 2*z)*-251 prime?
True
Is 3377122/14 + -1*6/(-1) prime?
True
Let n(j) = -12*j**3 - 4*j**2 - 11*j - 14. Let g be n(-6). Is (-1 - -2) + (g - (2 - 4)) composite?
False
Suppose 136 = 6*c + 4. Is 302 - ((-4 + c)/6 + -6) a composite number?
True
Let b be (-4)/1*-177*(-5)/60. Let g = 49 + b. Is g/4*(-818)/5 composite?
False
Let s = -98054 + 163011. Is s prime?
False
Let a be -5*(1567/(-2))/((-2)/4). Let j = 11770 + a. Is j a composite number?
True
Let v(o) = -o**3 + 2*o**2 + 2. Let x be v(0). Suppose -4*s + 31987 = 3*q, x*s - 9*q - 15996 = -11*q. Is s prime?
True
Let v(s) = 3*s**2 - 96*s + 7. Let w be v(32). Is 5 + (w - 20) + 1171 prime?
True
Let t(y) = 3*y - 12. Let a be t(7). Let r(u) = -74*u**2 + 38*u + 17. Let v(h) = -49*h**2 + 25*h + 12. Let m(g) = -5*r(g) + 7*v(g). Is m(a) composite?
True
Suppose -2*f + 5*a - 10 = 0, -2*a - 10 = 3*f - 14. Let n(j) = -41*j + 7131. Is n(f) a composite number?
True
Let q(d) = -d**3 - 11*d**2 - 12*d - 8. Let m be q(-10). Is (-16)/m*(-56607)/4 a composite number?
False
Let y = 422 + -413. Suppose -2*x + 3721 = r, 13*r - 14874 = y*r + 2*x. Is r prime?
True
Let k(h) = 2146*h + 4657. Is k(16) prime?
True
Suppose -2*h - 4*q - 10 = 0, -7*h + 4*h - 19 = 2*q. Let i(d) = -28*d**3 + 2*d**2 - 39*d - 8. Is i(h) a prime number?
True
Suppose -1 - 20 = -3*a. Suppose -2*f + 5 = -3*m, 3*m - 2*f = -2*m - a. Is m/5 - (-13)/((-130)/(-872)) a composite number?
True
Let n = 554955 + -260798. Is n prime?
True
Let f(k) = 5*k - 20. Let l be f(10). Suppose 65*m - l*m = 143885. Is m prime?
True
Suppose -4 = -y, 2*u = -2*y + 4*y - 14. Let s be (-5)/(100/(-104)) + u/15. Suppose k - 561 = -m + s*k, -3*k - 2856 = -5*m. Is m a composite number?
True
Suppose 0 = -5*j - 25, 39*k + 2*j = 44*k - 1103975. Is k a composite number?
False
Let b(w) = w**3 + 5*w**2 + 2*w + 1. Let l be b(-3). Suppose 17*r = l*r + 16. Suppose 2*x + 2535 = 5*t, -r*t + 2553 - 522 = -x. Is t prime?
True
Suppose 4*z + 2 = 34. Is (-6)/39 + ((-441020)/(-52) - z) a composite number?
True
Let a be (5 + -1 + -4)*-1 + -8. Let l(c) = -6*c - 48. Let m be l(a). Suppose 2*t - 513 - 141 = m. Is t composite?
True
Let o(w) = 197*w**2 - 31*w + 1253. Is o(54) a prime number?
True
Is (2 - (-529368)/(-16))*(2 - (-20)/(-5)) prime?
False
Suppose 0 = x - 201 + 21. Let a be (-6)/3 - x/5. Let i = a - -255. Is i prime?
False
Let y(v) = 2351*v**2 - 3*v + 33. Let t be y(5). Suppose 20*x + t = 146973. Is x prime?
True
Suppose -29 - 18 = o. Let s = -52 - -132. Let g = s - o. Is g a prime number?
True
Suppose 2554632 = 98*x - 1603802. Is x a prime number?
True
Let o(w) = -34425*w - 1459. Is o(-24) a composite number?
False
Let v(o) = -22785*o - 64. Is v(-1) prime?
True
Let c(w) = -w**3 + 3*w**2 - 7*w + 9. Suppose -3*x - 3*z - 21 = -6*z, 4*x + 4 = -4*z. Let q be -1 + 6/(2 + x). Is c(q) a composite number?
False
Let q(z) = -z**2 - 3*z - 2. Let s be q(-5). Let f(t) = t**3 + 12*t**2 + 7. Let w be f(s). Suppose -11*g = -w*g - 436. Is g composite?
False
Suppose 0 = -5*q + 2*d + 4, q - 12 = -2*q - 2*d. Suppose 4*w - g - 7264 - 579 = 0, -g + 3923 = q*w. Is w a composite number?
True
Let l(p) = 4*p - 48. Let d be l(14). Let u be (-3 - -2)/(-4) + (-2)/d. Suppose 3*n - o - 241 = o, o + 2 = u. Is n composite?
False
Let c be 60/16 + -4 + (-40818)/(-8). Let w = c + -2493. Is w a prime number?
True
Let b(x) = 5566*x + 1072. Is b(15) prime?
False
Let l(a) = -27*a**2 + 29*a - 123. Let g(x) = -13*x**2 + 13*x - 62. Let s(n) = -7*g(n) + 3*l(n). Is s(-11) prime?
True
Let u be (0 + (1 - -1))/1. Suppose -4*d + r = -7, -d + 8 = u*r - 5. Suppose 0 = -z - d*z + 1588. Is z a prime number?
True
Suppose -4*g = -3*w + 17309, -24*w + 11593 = -22*w + 5*g. Is w prime?
True
Is ((-91746)/(-4) + -2)/(297/594) a prime number?
True
Let y(p) = 16565*p - 806. Is y(9) a prime number?
True
Let u = -11588 + 17569. Is u prime?
True
Let w = 33 - 160. Let f = -123 - w. Is (-1)/(8/(-1628)) - 2/f a composite number?
True
Let m = -337 - -339. Let u = 9063 - 3507. Suppose -5*c = 4*p - 40041, 3*c - m*p - 29563 + u = 0. Is c composite?
True
Let r = 1376 - 10034. Let b = 29419 + r. Suppose -2*d + 2 = 8, 0 = -5*x + 2*d + b. Is x prime?
False
Let n = 137590 - -218817. Is n a composite number?
True
Let t = -167174 + 265425. Is t prime?
True
Suppose 4*h 