e number?
False
Suppose 5*a = -n - 18 + 388, 0 = 4*n - 5*a - 1530. Suppose -4*r + 1875 = -1209. Suppose l - r = n. Is l composite?
False
Let v(t) = -t**3 + 12*t**2 - 10*t - 8. Let r be (0 + 0)/(14/7) + -9. Let u be v(r). Suppose -3539 = -4*g + 3*a, -3*a + 6*a = -2*g + u. Is g composite?
False
Let x(o) = 24*o**3 + 4*o - 4. Let t be x(1). Let g(u) = 140*u - 197. Is g(t) prime?
True
Let d = -45245 + 71002. Is d prime?
False
Suppose 133*r = 6*r + 581258 + 439695. Is r prime?
True
Let c(y) = 226*y**2 - 20*y - 139. Let v(b) = 227*b**2 - 19*b - 137. Let h(u) = 3*c(u) - 2*v(u). Is h(-6) composite?
False
Let m(s) = -124195*s + 2668. Is m(-7) composite?
False
Let w be 15/4 - 1*1/(-4). Suppose q - w*q = q. Suppose -4*x - x - 4*r + 1319 = 0, q = -4*x - r + 1053. Is x a prime number?
True
Let m(v) = 2514*v**2 + 10*v - 21. Suppose 3*x + 4*i = 13 + 13, 5*x + 2*i = 20. Is m(x) a composite number?
True
Suppose -10*b + 144110 + 241269 = 2409. Is b a composite number?
True
Let z(b) be the first derivative of 39*b**4/2 + b**3/3 + 3*b**2/2 - b + 15. Is z(2) prime?
False
Let y be 6 + 20/(-5) - (-2 + 2). Suppose 4*h + 3*j = 1831 - 341, 0 = 4*h + y*j - 1492. Suppose 7*b - h = 5*b. Is b a prime number?
False
Let r = 15257 + 65000. Is r a composite number?
True
Let j = 62 + -59. Let c be (-1)/(-3*(j - (-1596)/(-531))). Is (c - -1)/((-2)/9*3) prime?
False
Let g be -195*(2/6)/(-1). Is 5 + 189/(-39) + 1842675/g a composite number?
False
Suppose 0 = -10*d + 9*d - 2*z + 38557, -d + 38554 = 5*z. Is d a composite number?
True
Suppose 3*c + 9071549 = -133*c + 32276821. Is c a prime number?
True
Suppose f - 532213 = -8*q + 188211, -2*f = 3*f. Is q composite?
False
Suppose -3790251 = -128*r + 79*r + 10768090. Is r a prime number?
False
Let m = 187 + -161. Suppose -m*d + 3798 = -20*d. Is d composite?
True
Let l(n) = 2751*n**2 + 63*n - 23. Is l(-8) a prime number?
False
Let i(x) = -x**2 - 5*x - 2. Let l be i(-1). Suppose -18*z - l*z = -25540. Is z prime?
True
Let w(p) = p**2 - 14*p + 2. Let h be w(14). Suppose -3*v + 7 = 2*b + 18, -h*b - 15 = -v. Let n(k) = -57*k + 10. Is n(b) composite?
False
Let t = -36 - -81. Is -1*30/t*(-12234)/4 a prime number?
True
Let t(l) = 28*l**2 + 20*l - 317. Is t(-36) a composite number?
False
Let u(d) be the first derivative of -d**4/2 - 2*d**3 - 3*d**2 - 2*d + 17. Let y be u(-2). Suppose y*m = -4*z + 634, m = 3*z - 405 - 83. Is z a composite number?
True
Suppose h - 989 = -d, -3*h = -5*d - 6*h + 4935. Let b = -643 + d. Is b a prime number?
False
Suppose -t - h = 1, 4*t - 2*h = t + 22. Suppose 4*a + 1636 = t*q - 392, -3*q + 5*a + 1517 = 0. Is q composite?
False
Let n(t) = t**3 - 10*t**2 - 12*t + 14. Let v be n(11). Suppose -z - 1071 = -l, -2*z + 1 = 3. Suppose -v*m - l = -2*f - 3*f, -643 = -3*f + 2*m. Is f prime?
True
Let v(d) = d**2 + 23*d - 18. Let b be v(-20). Is 20491/7 - b/(-273) prime?
True
Let g = 22 + -18. Suppose -g = 4*k, 25336 = 5*c + k - 9398. Is c a prime number?
True
Let c(w) = 1630*w**2 - 11*w - 20. Let m be c(-3). Suppose 0*p + m = 2*p - 3*h, -p + 7352 = 2*h. Is p prime?
False
Suppose 294*s - 22159596 = 30*s + 11394012. Is s a prime number?
False
Suppose -2*s + 3 = -b - 8, 5*b + 34 = 3*s. Let f be 359 + (2 - 0) + b. Suppose -f - 299 = -l. Is l a composite number?
True
Suppose -61 - 74 = -9*j. Suppose 0 = j*i - 277 - 21308. Is i a composite number?
False
Is (-5425116)/(-18) + 68/(-51) prime?
False
Suppose 0 = -7*h + 92326 - 24874. Let n = -5015 + h. Is n composite?
False
Let j(w) = -125*w**3 - 56*w**2 - 33*w - 17. Is j(-10) composite?
True
Let o(x) = 10*x**2 - 14*x - 223. Suppose 5*r = -3*a - 35, 3*a + 7*r + 39 = 4*r. Is o(a) a prime number?
True
Let u be (-2 - 2) + (-7 - -15). Suppose -u*y + 5*y = 4*t + 15956, y + t - 15946 = 0. Suppose 3*i + 5*x = 4*i - 3965, 4*i - y = -2*x. Is i composite?
True
Let v(f) = 48*f**2 + 5*f + 1. Let k be v(-2). Suppose -4*o - 4*q = -2*o - 354, 0 = -o - 5*q + k. Let b = o + -76. Is b a prime number?
True
Let s(m) = 2*m - 20. Suppose -u - 26 = -3*u + 2*q, 2 = -u - 4*q. Let b be s(u). Suppose -p - x + 1279 = b, 0 = -5*p + x + x + 6381. Is p prime?
True
Suppose -2*u + 16*u - 91826 = 0. Suppose -19*w = -26*w + u. Is w a prime number?
True
Suppose 4*c = 753 + 1791. Suppose -27*t + 24*t - r = -214, -5*r = -5*t + 350. Suppose t = 2*j - g - 249, -c = -4*j + g. Is j a prime number?
False
Suppose 2*c - 5*b = 4267, -2*c + 0*b = b - 4285. Let a = c - 858. Is a a prime number?
True
Let w(t) = 1420*t + 63443. Is w(0) prime?
True
Suppose -2*f = 3*z - 10600, -2*z - 21086 + 5147 = -3*f. Is f a prime number?
True
Let j(x) = -4557*x**2 + 2*x - 1. Let c be j(1). Let y = -168 - c. Suppose -y = -g - g. Is g prime?
False
Suppose 0 = 4*c - 3 + 27. Let q(b) = -b**3 - 6*b**2 - 2. Let s be q(c). Is ((-3)/1)/(s + (-518)/(-262)) a prime number?
True
Suppose 0 = -3*w + 1485 + 732. Suppose -w = -r - 143. Suppose 3*p = -p + r. Is p composite?
False
Let r(m) = -m**3 + 7*m**2 - 8*m - 8. Let u be r(5). Suppose -2*i = -c + 438, -u*c + 874 = 2*i - 4*i. Suppose -3 = 3*s, -2*q - c = -3*q - s. Is q prime?
False
Suppose -242928 = -o + 5*y, -2*o + 230*y - 225*y + 485861 = 0. Is o composite?
True
Let u = -294 + 297. Suppose g - 185 = -u*m + 184, -3*g = m - 123. Is m composite?
True
Let q(r) = 7*r**3 - 5*r**2 + 21*r - 49. Let f be q(6). Suppose -4*t - 13*n + 12*n + 5609 = 0, t - 2*n - f = 0. Is t prime?
False
Let l = 12 + -20. Is (-1)/3 - ((-36680)/15 - l) a prime number?
True
Suppose 2*z = 9*z + 5047. Let k = z + 2874. Is k a prime number?
True
Suppose 17*s - 91 = 10*s. Suppose 0 = s*u - 11*u - 874. Is u a prime number?
False
Let d(v) = 28*v**2 - 6*v**2 - 3*v + 3*v**2 - 7. Is d(-6) prime?
True
Let u(j) = -1 - 5*j + 1 + 1 + 4*j**2 + 2*j - 8*j + 396*j**3. Is u(2) composite?
False
Let g(u) = 3367*u**2 - 403*u - 13. Is g(7) a prime number?
False
Let o(h) = -h**2 - 12*h - 11. Let b be o(-10). Suppose r - b + 5 = 0. Is (-7402)/(-18) + r/(-18) prime?
False
Let h = 361663 - -36688. Is h a composite number?
True
Suppose -21*z + 23*z = 0. Suppose 2*s - 5*j - 21034 = z, 8*s - 10*s + 21038 = -3*j. Is s prime?
False
Let a = -138 - -127. Is (14 + a)*3862/6 a composite number?
False
Suppose -216 = -15*o + 7*o. Suppose -772 = -o*y + 23*y. Suppose -2*f + 537 = -y. Is f prime?
False
Suppose -9 = -2*b - 1. Suppose -4*y - 610 = -f - f, 2*y - 1250 = -b*f. Suppose 2*i - f = 351. Is i a prime number?
True
Suppose -10*i + 2*y + 25 = -9*i, 2*i - 20 = -2*y. Suppose 0 = 4*r - 16, -28003 = -g - 11*r + i*r. Is g composite?
False
Suppose 4*w + 2*u = 65208, 5*u = -w + 856 + 15455. Is w a prime number?
True
Suppose -6*f + 1109412 = -a, -4*f = 37*a - 39*a - 739616. Is f a prime number?
True
Let p be (-33)/(-8) + (-2)/16. Suppose g = p - 2. Is g/(-4) + (-615)/(-2) prime?
True
Let g(v) = 230*v + 2263. Is g(6) composite?
False
Let n = -50 - -58. Is n/16 + ((-8620)/(-8) - 1) composite?
True
Suppose 0*r = -9*r - 27. Let i(f) = -62*f**3 - 3*f**2 + 4. Is i(r) composite?
True
Let l(u) = 2*u + 14. Let k(p) = -3*p - 27. Let a(i) = 3*k(i) + 5*l(i). Let b be a(13). Is (23 - 24)*(b + -545 - -2) a prime number?
True
Let q(v) = 60*v**2 - 8*v + 11. Let f be (-1)/1*15/(-9)*3. Let z be q(f). Suppose -4*n + u + 2975 = 0, -2*n + 2*u - 7*u + z = 0. Is n a composite number?
False
Let g(l) = -44*l + 83*l - 5 + 2 - l**3 - 42*l. Let d be g(0). Is 219/6*4 - d prime?
True
Let z = -3198 + 6450. Suppose 3*a - b = 4*b + z, 4322 = 4*a - 2*b. Is a a composite number?
True
Let b(l) = 1143*l + 11995. Is b(130) composite?
True
Let l = -77025 - -128738. Is l composite?
False
Let f(d) = -4056*d**3 + 6*d**2 + 18*d - 5. Is f(-3) prime?
True
Suppose 124*f + 7012105 = 64*f + 65*f. Is f composite?
False
Suppose 3*p - 39780 = -7872. Suppose -3*i = -3, -3*i = 4*y - p - 1803. Is y prime?
True
Suppose 32915223 = 274*i - 111557579. Is i a composite number?
False
Suppose -3*m = 3*k - 0*k - 36, 0 = 5*k + 3*m - 54. Suppose 2*f + k - 25 = 0. Is (-904)/(-3)*(f + -5) - -3 a composite number?
False
Suppose -11*l + 12934 = -9*l. Is (-2 - 2 - -6) + 1*l a composite number?
False
Let t(k) = -6*k**3 - 6*k**2 - 7*k - 2. Let r be (8/(-4))/((-2)/4*1). Let x be 4 - (-1)/(r/(-36)). Is t(x) a prime number?
False
Suppose 3 = 11*x - 8. Is 258270/48 - x*(-9)/24 a prime number?
True
Let m = -49 + 49. Suppose -4 = -2*t + 4*g, -5*g + 5 = -5*t - 