 - 35095 = -8*h. Is h a composite number?
True
Let q = -53 + 55. Suppose 830 = -q*m - 5*f, 2*m - 2*f = -845 + 29. Let x = m + 823. Is x prime?
False
Suppose -u = -2*o + 118457, o + 79*u - 80*u = 59230. Is o a composite number?
True
Let x be (-6)/21 + 568/28. Suppose 0 = -2*a + 24 - x. Suppose -3689 - 189 = -a*n. Is n a prime number?
False
Suppose -5*d - 10 = 0, 3*c + d - 248263 = 6*d. Is c prime?
False
Let y(z) be the second derivative of -79*z**3/3 - 19*z**2 + 16*z. Let s be y(-6). Suppose a - 1786 = 3*u, -3*a - s = -4*u - 6283. Is a a composite number?
True
Let l(r) = 97*r**2 - 1. Let c be l(1). Suppose 3*a - 4*j - 274 = -2*j, -4*j = a - c. Let p = a - -75. Is p a composite number?
False
Let x = -34 - -68. Let g be (-1 - x)/(9/(-27)). Suppose 0 = 3*o + 2*o - g. Is o composite?
True
Suppose 2*j = -4*m + 36218, 5*j = -1383*m + 1378*m + 90530. Is j composite?
True
Suppose -55129444 = -92*y - 72*y - 7517456. Is y a prime number?
True
Let h be 3/8 - 548207/(-88). Suppose 3*w + 12427 = 4*v, -6*v + h = -4*v + 4*w. Is v a prime number?
True
Let t = 47858 + -21319. Is t composite?
False
Let j be 22/10 + 180/(-150). Is j*(-5 + 5 - -2287) prime?
True
Let k(s) = -2*s**2 + 6*s + 12. Let v be k(4). Suppose 3*q - 2*q + 15 = -3*r, -v*r = -5*q - 18. Is (492/18)/(q/(-27)) a prime number?
False
Suppose 0 = 2*g - 26 - 24. Suppose 0 = -g*f + 23*f + 28. Let m(p) = 86*p - 33. Is m(f) composite?
False
Let p = 160122 + -97651. Is p a prime number?
False
Let i(a) = -a + 7. Let s be i(4). Let w = 935 + -648. Suppose -w = -j - 3*l, 3*j + j = s*l + 1208. Is j a composite number?
True
Let c(m) = -3*m**3 + m**2 - 2*m - 2. Let l be c(-1). Let k(t) = 7 + 8 + 5 - l*t + 1. Is k(-4) a prime number?
True
Suppose 3*b - 22 = 2*f, -5*b + 2*f = 6*f. Suppose 2*x - 2*m + 7*m - 1551 = 0, 0 = -2*x - b*m + 1552. Is x prime?
False
Let x be -4 + 4*(-4526)/(-4)*-2. Let a = x - -16425. Is a composite?
False
Suppose 4*c = 2*u - 38, 2*c = -u + 7*c + 31. Let n(l) = 14*l**2 + 4*l + 3. Is n(u) a prime number?
True
Let w = -38 - -1. Let c = -33 - w. Is 13614/10 + 4*c/(-40) prime?
True
Let g(v) = v**2 - 41*v + 272. Let s be g(33). Is 4*(-1 - (-17934)/s) composite?
False
Let w = -241390 - -502841. Is w a composite number?
False
Let i(y) = -y**2 + 121*y - 97. Is i(64) composite?
True
Suppose -29*i + 106630 + 158517 = 0. Is i a composite number?
True
Let x(c) = 6059*c**2 + 2*c - 5. Let d be 33/(-12) - -3 - (-18)/(-8). Is x(d) composite?
True
Let y(d) = 162729*d**2 - 56*d - 117. Is y(-2) composite?
False
Let r(y) = 30*y**2 + y + 36. Let n(z) = z**2 - 3*z - 55. Let f be n(10). Is r(f) a prime number?
False
Suppose -3*x = -2*o + 24, -7*o = -6*o + 4*x - 1. Let r(u) = -o + 22*u**3 - 60*u**3 + 10 + 2*u - 48*u**3. Is r(-1) composite?
True
Let h(x) = -2*x**3 - 6*x**2 + 13*x + 3. Let r be h(-12). Suppose -6*c = 3*c - r. Is c composite?
False
Let h(t) = 94*t + 69. Let p be h(6). Suppose -j + p + 410 = 0. Is j prime?
False
Suppose 17857 = k + 6*k. Let m = k - 932. Is m composite?
False
Let z(h) = 16*h**2 - 66*h - 627. Is z(50) a composite number?
False
Let o be (2 - -4) + 160745 + 29. Suppose 21*w - 11*w - o = 0. Is w composite?
True
Let z = -43 - -50. Suppose 10484 = z*q - 4629. Is q a composite number?
True
Let w(j) = -10548*j + 47. Is w(-27) prime?
False
Suppose -44*x + 8*x - 3212064 = 0. Let z = x - -166553. Is z a prime number?
False
Let n be 92/(-276) + 58/(-12)*8678. Let i = -29643 - n. Is i a prime number?
True
Let a be (-24)/(-10)*188200/15. Let z = a - -16221. Is z composite?
True
Suppose 2*t = k - 0*k + 1, 2*k + 2*t - 28 = 0. Suppose 10820 + 133 = k*p. Is p a prime number?
True
Suppose 68816 = -10*s - 6*s. Is (-113)/(969/s - (-4)/22) prime?
False
Let z = 16267 - 6864. Is z prime?
True
Let b be ((-1 + 2)*2)/((-4)/5326). Let f be b/(30/(-25) + 1/5). Suppose f = 6*g - 4021. Is g composite?
True
Suppose v - 9 - 11 = 0. Let g be ((-8)/v)/(3/19785). Let h = g + 3749. Is h a composite number?
True
Let q = 671138 + -330597. Is q prime?
True
Let s be (7 + -26)/(3 - (-4576)/(-1524)). Suppose -4*k - 5*f + s = 1295, 4458 = 3*k - 5*f. Is k composite?
True
Suppose -5*i - 3*s - 15 = 0, i - 4*s = 2*i + 20. Let r(d) = -d - 1. Let v(w) = -w**2 + 3*w - 643. Let h(l) = -4*r(l) - v(l). Is h(i) prime?
True
Suppose 3*d + 6*w - 2 = 10*w, 0 = -5*d - 2*w + 12. Suppose -5*s - 763 = -d*c, -4*c + 0*s - 4*s + 1512 = 0. Is c composite?
False
Let s(v) = 2*v**3 - 106*v**2 - 31*v - 161. Is s(62) a prime number?
False
Let z(k) be the first derivative of -k**4/4 + 2*k**3/3 - k**2/2 - k + 3. Let g be z(0). Is (-2 - (g - 196)) + (-22 - -18) a composite number?
False
Let w = -5 + 5. Suppose w = -3*i + 7895 + 4696. Is i a prime number?
False
Suppose v = -0*u + 5*u - 5, 0 = -u - 4*v + 22. Suppose 3246 = p + 5*z, 2*p - 6507 = -u*z + 7*z. Is p prime?
True
Suppose -f + 13311 = 2952. Is (-2)/((54/f)/(-3)) a composite number?
False
Suppose -d - 2*k - 2*k - 11 = 0, 4*d = 3*k + 13. Let p(i) = 1802*i**3 - 9*i + 8. Is p(d) a composite number?
False
Let h be (-10)/50 + (-1529724)/(-20). Suppose -4*u + 5*u + h = 4*q, -5*q + 3*u = -95611. Is q composite?
False
Suppose -20*k + 5409162 = -4947058. Is k a composite number?
True
Let h be -3 + -3 + 7 - -317. Let v = 445 + h. Is v prime?
False
Suppose -162 = -6*c + 132. Let t = 51 - c. Suppose t*v - 608 + 10 = 0. Is v prime?
False
Suppose 149 - 37 = 4*u. Let h = u + -31. Is 388/h*2/(8/(-6)) composite?
True
Let s(n) = 3*n**2 - 7*n + 16. Let d be s(2). Suppose 3*l - 4*t = 7*l + 8, -3*l + t = -14. Suppose l*j - 83 = -d. Is j a prime number?
True
Let h = 221582 + -325218. Is (1/4)/((-13)/h) a prime number?
True
Let z(j) = -72*j**2 + 3*j + 32. Let y(v) = -72*v**2 + 3*v + 31. Let g(x) = -3*y(x) + 4*z(x). Let c be g(-9). Let l = c - -9375. Is l composite?
True
Let d(o) = o**3 - o**2 + o + 1. Let f(x) = 19*x**3 - 7*x**2 - 39*x - 14. Let c(z) = 6*d(z) - f(z). Is c(-9) a prime number?
True
Let k(g) = 3136*g - 7. Let t be k(1). Let q = t - 2162. Suppose 0 = -d - 0*d + q. Is d composite?
False
Suppose -4*j - 3*u + 299658 + 373414 = 0, 4*u = 6*j - 1009642. Is j a prime number?
False
Suppose -19102 + 3782 = -4*r - o, -r = 2*o - 3837. Suppose -37618 = -31*c + r. Is c prime?
False
Let a = 104059 + -65760. Suppose -4*s + 112029 = -5*x + a, 4*x - 18443 = -s. Suppose -2620 = 5*y - s. Is y composite?
False
Let c(m) = -912*m + 4. Let u(d) = -304*d + 1. Let f(k) = -5*c(k) + 16*u(k). Let i be f(-7). Suppose -i = -4*r + 544. Is r a composite number?
True
Suppose 7*h + 3*h = 3*h + 1559411. Is h prime?
True
Let i(d) = 174*d - 61. Is i(10) a prime number?
False
Suppose -8098940 = -14*m - 62*m. Is m a prime number?
False
Let o be (-4)/(-1) - (32 - 31). Suppose -2*t + 7 = h - 2, 41 = o*h - t. Is h a prime number?
True
Let z(f) = -f**2 - 30*f - 27. Let i be z(-12). Suppose -2*t - 3*n = -379, -4*t = -5*t - 2*n + i. Is t a composite number?
False
Let t(r) = -r**3 + 5*r**2 + 15*r - 3. Let q be t(7). Suppose -w + 5138 = 5*y, q*y + 5*w + 0*w - 4102 = 0. Suppose -206 + y = 2*u. Is u a prime number?
False
Let a(n) = 5*n + 1. Let w be a(9). Let m(r) = -4 - 5 + w*r**3 - 5*r**2 - 44*r**3 + 11*r. Is m(7) a prime number?
True
Let v(i) be the first derivative of 56*i**3/3 + 2*i**2 - 7*i - 84. Is v(-6) a composite number?
True
Suppose -22*x - 26*x = -30*x - 1305954. Is x prime?
False
Let j be 715 + (20/4 - 3). Suppose -j = 3*b - 6*b - 3*n, n = -4*b + 944. Is b a composite number?
True
Suppose -7*q = -5377 - 4731. Suppose -n + 140 + q = 0. Suppose 0*l + 3993 = 5*c + 4*l, -5*l = -2*c + n. Is c composite?
False
Suppose 7 + 8 = o. Is (-20)/o*3 + 227 a prime number?
True
Is 262802 + (240/3)/5 + -8 + 1 a prime number?
False
Suppose -t - 3*y + 27 = 0, -y = 5*t - 0*t - 93. Let p = -86 - -81. Let l = p + t. Is l a prime number?
True
Is 536865/21 + -3 + -1 a prime number?
True
Let n(f) = 13*f**3 + f + f**2 + f + 15 + 4*f**2. Suppose -11*p = -t - 6*p - 3, 5*t + 2*p = 39. Is n(t) composite?
False
Suppose -4*b + 5*g = -530250 - 69816, 3*g = -3*b + 450063. Is b a prime number?
False
Suppose -3*c - 10 = -3*m - 1, 0 = -2*m + 10. Let a be (-20)/15 + c - 4/(-3). Suppose 3*p + 3*k = 5073, -3*k = -5*p - a*k + 8467. Is p a composite number?
False
Let j = 475797 + -275438. Is j a prime number?
False
Let s(o) = -2*o + 19. Let i be s(7). Suppose -4*m = 2*z - 616, 2*z - 