2 + 5*c - 1. Let t be b(8). Let k = 44 - t. Is f(k) a composite number?
False
Let n = 694 - -4094. Let l = n - 1217. Is l composite?
False
Is 299013 - (46 - (14 + 12)) a prime number?
True
Let d be (1 - 30/(-4))/(21/(-42)). Let k = 32 + d. Suppose 6 = -2*i, k + 100 = l - 3*i. Is l composite?
True
Suppose -5*f + 6*f + 2*r - 13 = 0, -5*r + 25 = f. Suppose -31071 = f*q - 206566. Is q composite?
False
Let o be (-2 + 4/8)*-2. Let x be 3/(o/2)*1. Suppose 5*q + h - 387 = 0, -2*h + 312 = x*q + 2*q. Is q prime?
False
Suppose -5*n + 94*r = 99*r - 2989800, -3*n + 1793875 = 2*r. Is n a prime number?
False
Suppose -3*u = -5*s - 5104, 0*s = 3*u + 5*s - 5084. Suppose 3348 = 4*y - 2*c, 5*c = -y - y + u. Is y a composite number?
False
Let l(x) = x - 1. Let r(u) = -2*u + 2912. Let k(o) = l(o) + r(o). Is k(0) a prime number?
False
Let s be 70/14 - (0 - 0). Suppose -3*a - 16009 = -s*d, 4*d + 4*a = 8*a + 12804. Is d a composite number?
False
Suppose -2*a - 3*k + 30 = a, -5*a + 2*k + 36 = 0. Let b be 568/(-6) - a/24. Is b/(-3)*(0 + 3) a composite number?
True
Let u = 415666 - 72645. Is u a prime number?
False
Suppose 3*b - 393 = -3*x, -3*b + 661 = 8*x - 3*x. Let d(j) = 524*j**2 - j + 2. Let g be d(1). Suppose o - x = g. Is o a prime number?
True
Let c = 97 - 57. Let u = c + -34. Suppose 592 = u*d - 362. Is d a prime number?
False
Suppose 0 = 4*n - 0*n - 6276. Suppose -2*p = -6*p + s - n, 3*p - 5*s + 1198 = 0. Let f = 300 - p. Is f a prime number?
True
Let r = 24492 + 148907. Is r a prime number?
False
Let v(y) = 324*y**2 + 147*y + 1961. Is v(-14) a composite number?
True
Let w(m) = 6*m - 33. Let r(s) = -11*s + 67. Let y(t) = -4*r(t) - 9*w(t). Suppose 2*u + 28 = -3*f, -16 = -11*u + 7*u. Is y(f) prime?
True
Is (-147)/21*(5447932/(-49))/4 composite?
False
Let r be (5/4)/((-8)/32). Let p = -13 - r. Is 4/16 - 1414/p prime?
False
Suppose 5*l - 403336 = 112749. Is l a prime number?
True
Let p(m) = 7594*m**3 + 5*m**2 - 199*m + 831. Is p(4) a composite number?
True
Let n(y) = 8*y + 15. Let b(j) = -24*j - 44. Let g(z) = 4*b(z) + 11*n(z). Let u be g(-4). Is (-8)/28 + 21909/u prime?
False
Suppose 0 = -61*r + 29776562 - 11441014 + 27523459. Is r composite?
False
Suppose 130522 = 2*w + 3*z - 442719, 1433127 = 5*w + 4*z. Is w prime?
False
Let n(j) = j**2 + j - 3517. Let m be n(0). Let k = m + 5810. Is k a prime number?
True
Let f(g) = 9*g**3 + 7*g**2 - 13*g - 13. Let o(q) = 28*q**3 + 20*q**2 - 38*q - 40. Let s(i) = -11*f(i) + 4*o(i). Is s(6) a prime number?
False
Let w = 70616 + -46355. Is w a composite number?
True
Let u(i) = 286*i**3 + 19*i**2 - 61*i + 949. Is u(19) prime?
False
Let v(c) = -c**3 + 22*c**2 - c + 20. Let f(i) = -2*i**2 - 33*i + 39. Let k be f(-17). Let z be v(k). Let h(m) = -354*m**3 - m**2 - 4*m - 3. Is h(z) prime?
True
Let s = -241 - -291. Is s/(-20) - 24038/(-4) a composite number?
False
Suppose 23*r = 22*r + 5. Suppose -n - 21 = n - r*t, 4*n - 3 = t. Suppose 4*a = -4*c + 2144, 12*c + n*a - 1609 = 9*c. Is c a composite number?
True
Let r = 234 - 228. Suppose 9*n - 3743 = r*n - 2*y, 4*y + 1257 = n. Is n a composite number?
False
Let t(j) = j**3 + 28*j**2 - 12*j + 95. Is t(-22) a prime number?
False
Let d(m) = -6*m**2 - 4 + 9*m - 4 + 0*m - 2 - m**3. Let j be d(-8). Let s = j + 583. Is s a prime number?
False
Let g = -29 - -10. Let r = -16 - g. Is 4 - (4 - -1) - (r + -1765) a prime number?
False
Let s(y) = 8025*y + 1178. Is s(47) a prime number?
True
Let h(g) = -2170*g - 779. Is h(-34) prime?
False
Let i(r) = 2752*r**2 - 25*r + 737. Is i(16) a composite number?
False
Let t(l) = 5*l**3 + 3*l**2 - 4. Let z be t(-3). Let c = z - -115. Suppose -41 + 11 = -c*u. Is u composite?
True
Is -116561*(-22)/(220/10) prime?
False
Let l(f) = -476*f - 5. Suppose 0 = w - 23 + 28. Let r be l(w). Suppose -2*m + r = -2843. Is m a prime number?
True
Let x be (51 - 51)/(1 - 0) - -3. Suppose x*v - g = 5*v - 3697, -5*v = -2*g - 9229. Is v a composite number?
False
Suppose -30*d + 6 = -27*d. Let w = 344 - 549. Is 10/20 - w/d a composite number?
False
Suppose 5*h + h - 16182 = 0. Suppose 10*z - h - 30013 = 0. Is z a composite number?
False
Let x = 49426 + -31259. Is x prime?
False
Suppose 992*j - 1129*j + 566599 = -433090. Is j a prime number?
True
Suppose 3*b - 13223 = a - 3*a, -5*b = -3*a + 19806. Let f be ((-2568)/(-5))/((-3)/15). Let j = f + a. Is j prime?
False
Let f(g) be the first derivative of -g**7/140 + g**6/72 + g**5/30 + 7*g**4/24 + 10*g**3/3 + 5. Let z(k) be the third derivative of f(k). Is z(-6) prime?
True
Let y = 39800 - 20901. Suppose -4*v - k + 18875 = 2*k, -4*v + 5*k = -y. Is v a prime number?
True
Let i(d) = 11353*d - 42. Let q(p) = -22707*p + 85. Let c(a) = 5*i(a) + 2*q(a). Is c(1) a composite number?
False
Let p = 127740 - 72989. Is p a prime number?
True
Suppose 4*d + 398 = 18. Let m be (76/d)/((-4)/10). Suppose x = -k + 64, -2*x = -m*k - 15 + 123. Is k prime?
True
Suppose -b = -8*b + 21. Suppose -z = 3*w + 924, 5*w + b*z = -264 - 1272. Let h = w - -1222. Is h composite?
True
Let t be 22 - 27 - 31*53. Let b = -857 - t. Is b composite?
True
Let v = -85 - -93. Suppose -2*i - 2 = -v. Suppose i*w - 1708 - 2711 = 0. Is w composite?
True
Suppose 3*y - 4*y + 32756 = 0. Suppose 44*f = 46*f - 5*i - y, -2 = i. Is f a composite number?
True
Let r(w) = 9*w + 26. Let z = 42 + -35. Let f be r(z). Is f + (-1 - 0) + (6 - 5) a composite number?
False
Suppose 99*t = 120*t - 693. Is t a composite number?
True
Let z = 1545373 - 205806. Is z prime?
True
Is 11/((-484)/(-110))*(-4165684)/(-10) a prime number?
True
Suppose -7*c = c - 38664. Let t = c - -1294. Is t a prime number?
False
Let j(d) = 12619*d**2 + 62*d + 225. Is j(-4) prime?
True
Let u(v) = 2*v**3 + 4*v**2 - v + 4. Let n be u(2). Suppose 28*w + 54354 = n*w. Is w prime?
True
Is 73656465/923 - (-6)/(-39) composite?
False
Let n = 4140 - -3895. Is n prime?
False
Suppose d = i - 0*d, -2*i - 2*d = -12. Let j be (-30)/9*i*-1 - -1. Let r(n) = 90*n - 17. Is r(j) prime?
False
Let f(z) = 161*z**2 - 197*z - 3797. Is f(-19) prime?
True
Suppose -3339 - 9141 = -2*b + 5*z, 0 = -2*b - 3*z + 12496. Is b a prime number?
False
Suppose -13908 = -3*y + 3*p, 13090 = 3*y + 5*p - 762. Is y composite?
True
Let y(x) be the third derivative of 1/3*x**3 - 11/8*x**4 + 0 + 0*x - 21*x**2. Is y(-5) a prime number?
True
Let k = -3472 + 9395. Is k a prime number?
True
Let a(c) = -c**3 - 8*c**2 + 20*c + 3. Let j be a(-10). Suppose -16883 = 3*x - 6*x + 2*w, -j*w - 16878 = -3*x. Is x a prime number?
False
Let m(y) = -4*y + 73. Let v be m(17). Let p(a) = -a**3 + 18*a**2 - 18*a + 17. Let z be p(17). Suppose 0*j + v*d - 3546 = -4*j, z = d + 2. Is j prime?
False
Let g(x) be the second derivative of -43*x**3/3 + 31*x**2/2 + 1402*x. Let f = -17 + 6. Is g(f) a composite number?
False
Suppose -3 + 9 = -3*a, 1020 = 2*b - 3*a. Let y = b - -2356. Is y prime?
False
Let u(t) = -883*t - 53. Let z be u(-10). Suppose 2*n + 4*s + s - z = 0, -4*n = 4*s - 17560. Is n prime?
True
Let m be ((-1)/2*-3)/((-18)/(-132)). Suppose -m*p + 48420 = -72503. Is p a composite number?
False
Let x = 59 - 56. Suppose 0*y - 5*y = -x*w + 11, 3*y = -3. Is 135 + w*5/(-10) composite?
True
Is ((-174)/4)/((-8)/(-12)*18/(-71432)) prime?
False
Let i(r) be the first derivative of -555*r**2/2 + 56*r - 95. Is i(-13) a prime number?
False
Let v(u) = -900*u**3 - 3*u**2 + 3*u + 17. Let t be v(-3). Let w = 37308 - t. Is w a composite number?
True
Suppose 5*j + 3*g - 6734917 = 0, -3*j = -6*j + 3*g + 4040931. Is j a prime number?
False
Suppose 17*n + 15 = x + 18*n, -5*n = 2*x - 24. Suppose d = -x*d + 341838. Is d a composite number?
True
Let g = 731 + -721. Suppose g*k - 79541 = 24469. Is k a composite number?
True
Let y(i) = 46392*i + 4679. Is y(6) prime?
False
Let a(l) = 1293*l**3 + l**2 - 3*l + 2. Let i(g) = -g + 16. Let m be i(4). Suppose m = 17*o - 5. Is a(o) a composite number?
True
Suppose -31*u - 154813 = -2700812. Is u composite?
False
Suppose 2*b - 12*b + 3700 = 0. Suppose 5 = s, 2*y - 3*s - b = 363. Let l = y + -173. Is l prime?
False
Let p(c) = 2418*c**2 - 20*c - 71. Is p(-3) prime?
True
Let o = -597 + 595. Is ((-8)/o - 8)*15809/(-4) a prime number?
True
Is (-77164)/6*(-17 - (-434)/28) a composite number?
True
Let q be (-257260)/(-30) - (-7)/3*(-12)/(-42). Let v(o) = 36*o**2 + 3*o + 3. Let i be v(-7). 