3) a prime number?
True
Suppose 3*u = -3*t + 16 + 20, 0 = -3*u + 4*t + 64. Let s(v) = -v**3 + 16*v**2 + 22*v + 13. Is s(u) prime?
False
Let q = 26 - 24. Let z(p) = 47*p**3 + p + 1. Is z(q) prime?
True
Let d be (-82)/(-5) + (-15)/(-25). Let r = 10 - d. Is (-2)/r - (-2474)/14 a composite number?
True
Let k = 83 - 81. Suppose k*m = 172 + 562. Is m composite?
False
Let i(u) = 10320*u - 13. Is i(1) composite?
True
Let k(t) = 167 - 88 + 159*t - 78. Is k(2) prime?
False
Let a(m) = -m**3 - 7*m**2 + 7*m + 1. Let i be 220/(-35) + (-4)/(-14). Let t be a(i). Is t/(2/(-4)*2) a prime number?
False
Suppose 217*u = 230*u - 169585. Is u composite?
True
Let u(d) = -569*d + 10. Is u(-9) a prime number?
False
Let m be -1647*((-78)/9 + 3). Suppose 3*h = 5*p + m - 788, -p + 5701 = 2*h. Is 2/(-12) - h/(-36) prime?
True
Let i = -3294 + 8651. Is i prime?
False
Let h = -6143 - -35898. Suppose 0*j + h = 5*g + 3*j, -4*j = 2*g - 11902. Is g composite?
True
Let m = -156 - -93. Let o = -40 - m. Let f = 8 + o. Is f prime?
True
Is (-6053286)/(-912) - (-3)/(-8) a composite number?
False
Suppose -17*q = 14*q - 2209897. Is q composite?
False
Suppose 2*w - 27563 = u, -4*w + 5*u + 30777 + 24352 = 0. Is w composite?
False
Let s(n) = n**2 - 6*n + 7. Let f be s(5). Suppose -f*o + 3*k = 2*o - 656, -2*o = -3*k - 334. Is o prime?
False
Let b be 1/(-1)*-696 - 0. Let h = b + -389. Is h prime?
True
Suppose 0 = 4*y + 6*y. Suppose -5*k + 2073 = 4*g - 1364, g + 5*k - 848 = y. Is g prime?
True
Let j(k) = -k**3 + 6*k**2 - k + 8. Let w be j(6). Suppose -5*d + m - 525 = 0, d - 6*m = -w*m - 124. Let a = 249 + d. Is a composite?
True
Let q be (-4)/(-10)*-2*20/(-4). Is ((-1700)/(-24) + q/6)*2 prime?
False
Let j(i) = 35*i + 5. Suppose 0 = 5*p - 23 + 8. Suppose 4*g = p*h - 30, -4*h + 6*h = 5*g + 27. Is j(h) composite?
True
Suppose 5*t - 417875 - 211090 = 4*r, -5*t = 5*r - 629010. Is t a composite number?
True
Let o = 17 - 4. Suppose -9*p - 1788 = -o*p. Is p a composite number?
True
Let z = 24 + -22. Suppose -4*d + g + 3879 = 0, z*d - 7*d + 4870 = 3*g. Is d prime?
True
Let h(s) = s**2 - s - 7. Suppose 2*q + 12 + 0 = 0. Let n be h(q). Let c = n + 44. Is c prime?
True
Suppose -122 = g - 513. Is g a composite number?
True
Let q = -4920 + 6979. Is q prime?
False
Let h(f) = 1707*f**3 + 3*f**2 - 2*f - 6. Is h(2) prime?
False
Suppose 14*k = 6*k + 16. Let j(u) = u. Let c be j(0). Suppose c = -k*l - 2*f - f + 650, 0 = 5*l + f - 1599. Is l prime?
False
Let f = 11 - 13. Let s be (2 + f)/(-4 - -6). Suppose -q + 5*q - 1012 = s. Is q a composite number?
True
Let g be ((-9)/27)/(1/(-12)). Suppose -m = -g*m + 4044. Suppose -3*c + 2*c + 337 = -2*y, 0 = -4*c + 4*y + m. Is c a composite number?
False
Let l = 25951 + 4066. Is l composite?
True
Let j = -18 - -21. Suppose -y + 3 = 0, -j*c + 2*y + 10 = -8. Let z = 15 + c. Is z a prime number?
True
Let h(k) = k**2. Let j(f) = -35*f**2 - 2*f + 3. Let d(z) = h(z) - j(z). Is d(8) a prime number?
False
Let m = -49 + 52. Suppose -m*a + 4*a + u - 642 = 0, 4*u + 667 = a. Is a a composite number?
False
Let d(t) = -15*t**3 - t**2 + 5*t. Let r be d(-5). Suppose 7*g - r = 2*g. Is g prime?
False
Suppose 4*y = u - 1557, 0 = 5*u - 5*y - 0*y - 7725. Suppose 2*v - u = -v + 2*j, -5*j + 1576 = 3*v. Is v a prime number?
False
Let f = -816 - -925. Is f prime?
True
Let f(a) = 2*a**3 - 2*a**2 + 89. Suppose 5*i - 4*i = -4*i. Is f(i) a composite number?
False
Let x(v) = 5*v - 5. Let g be 98/(-28)*(-4)/7. Let l be x(g). Suppose -6*y = -3*y + 2*k - 753, -y - l*k + 251 = 0. Is y composite?
False
Suppose 2*g - 14224 = 8170. Is g composite?
False
Suppose -11*z = -4*q - 10*z + 30647, 5*q = 3*z + 38314. Is q a composite number?
True
Suppose -x + 2 - 1 = 0. Let y(u) be the first derivative of 37*u**2/2 + 2*u - 7. Is y(x) composite?
True
Suppose 8*r = 5*r + 6141. Suppose -r = -8*z + 25209. Is z a prime number?
True
Let v = 11 + -15. Let b be (-2)/3*12/v. Suppose -b*w + 0*w + 410 = 0. Is w composite?
True
Suppose 5*s - 878805 = -40*s. Is s a composite number?
True
Let m(n) = -24*n**3 + 5*n**2 + 6*n + 1. Let k(z) = 24*z**3 - 4*z**2 - 5*z. Let c(v) = 3*k(v) + 2*m(v). Is c(3) prime?
False
Suppose -2*x - 8 = 0, 0 = 5*t + 4*x - 1589 - 14185. Is t composite?
True
Let d = 245 + -174. Suppose -5*w = 4*u + 137, -2*u - d = 4*w + 35. Let z = 396 + w. Is z prime?
False
Let p = -25 + 40. Let m = p - 12. Suppose m*y - 4*b = 157, 5*b - 109 = -4*y + 121. Is y a prime number?
False
Suppose 3*y - 68 = -8. Is (263 - y/(-5))*1 prime?
False
Let q(v) = 48*v**2 - 29*v + 14. Is q(9) a composite number?
True
Suppose 418376 = 4*w - 5*z - 140888, 4*w + 4*z - 559228 = 0. Is w composite?
True
Let v(u) = u + 4. Let m be v(-2). Suppose 0*r + m*r = 5*x - 11, r + 2*x = 8. Suppose 18 = r*n - 58. Is n composite?
True
Let t be 0/(-2) - 3/((-3)/383). Suppose 4341 + t = 4*c. Is c composite?
False
Suppose -5*r = 5*j + 30, -4*r + 0*r = 5*j + 30. Let n = -97 + 57. Is -485*(-4)/(n/j) composite?
True
Is 310095/12 + 3/(-12) a prime number?
True
Let z = -1082 - -1764. Suppose 5*x - s - 1703 = 2*s, 2*x - z = s. Suppose -3*h = -8*h + 4*d + 413, 4*h - x = -d. Is h composite?
True
Let k = 7 + -4. Suppose 5*x = -k*z + 5 + 7, 5*z + 2*x - 20 = 0. Is 3/z - 3075/(-12) prime?
True
Let o(l) = -l**3 + 6*l**2 - 7*l + 10. Let i be o(5). Suppose i = 12*c - 455 - 8557. Is c composite?
False
Let d = 328 + 1238. Let h = d - 169. Is h a composite number?
True
Suppose -5 + 92 = l. Let k = 96 + l. Suppose -3*n + 3 = -k. Is n prime?
False
Let u be (-50 + 1 + -3)/(-2). Suppose -4*q + 34 = -u. Is 140/q*(-6)/(-4) a composite number?
True
Let r(y) = y**3 + 3*y**2 - 11*y - 4. Let i = 17 + -22. Let h be r(i). Is (-3216)/(-12)*h/2 prime?
False
Let h(c) = -c**3 - c**2 + 3. Let o be (5/2)/(6/60). Suppose -5*l = 3*g - o, 2*l - 25 = 2*g - 3*l. Is h(g) composite?
False
Is ((-737)/44)/(3495/(-1164) + 3) a prime number?
False
Suppose -4*y = -j - 25, 0*j = 3*y + j - 10. Let k = 216 + y. Is k composite?
True
Let y(a) = 3*a - 6. Let h be y(3). Suppose -4*w + 128 = -h*w. Suppose 5*c = -w + 513. Is c prime?
False
Let w(n) = -n**2 + 12*n + 17. Let h be w(12). Let t(l) = 2*l - 2 + h*l - 9 + l. Is t(8) prime?
True
Suppose r = 4*r - 3. Is 205/r*(-21)/(-35) a composite number?
True
Suppose 0 = -3*v - 3*o + 190731, 3*v + 19*o - 15*o - 190731 = 0. Is v a composite number?
False
Let a = -2 - 1. Let d be a/(-6)*(-1 - -1). Suppose -u + l = -160, -4*l = -5*u - d*l + 795. Is u composite?
True
Let f = 94 + -68. Is ((-29)/((-2)/(-2)))/((-2)/f) prime?
False
Let c = -4 - -6. Let j be 0 - (-4)/8*c. Is (j + -2)/((-2)/794) composite?
False
Let x(q) = -q**3 + 2*q**2 - 3*q + 4. Let g be x(-3). Suppose 641 = i + g. Is i prime?
False
Suppose -222 = -7*x + 2879. Is x a composite number?
False
Let n = 82976 + -20385. Is n prime?
True
Let r = -7305 + 14834. Is r a prime number?
True
Suppose 100*l = 95*l + 3835. Is l a composite number?
True
Let n = -8 + 11. Suppose -3*m + 44*y - 42*y + 136 = 0, 5*m - 3*y = 226. Suppose 7*v - n*v = m. Is v a prime number?
True
Let i = 3751 + -1332. Is i composite?
True
Let t(f) = 115*f - 21. Let s(k) = -58*k + 11. Let v(z) = 11*s(z) + 6*t(z). Is v(4) a composite number?
True
Suppose -5*d - 2*u + 72 = 8, -5*d = 3*u - 66. Let v = d + 70. Is v a composite number?
True
Let g(o) = 438*o + 7. Let r = 1 - -3. Is g(r) a composite number?
False
Suppose 2*c + 4 = -8. Let a be (c - (2 - 4)) + 695. Let f = 990 - a. Is f composite?
True
Let s(v) = -1733*v**2 + 7. Let p(f) = -866*f**2 + 3. Let j(r) = -5*p(r) + 2*s(r). Is j(-1) a prime number?
True
Suppose 0 = 4*f + 2*j + 1178, -4*f + j = 6*j + 1163. Is -3 + -5 + 4 - f prime?
True
Suppose -5*h + 0*m = -5*m + 2135, -4*m - 848 = 2*h. Let t = h + 733. Is t a composite number?
False
Let j be (-186)/4*18/(-27). Suppose 0 = -g + 5*a + 12, a - j = -5*g - 3*a. Suppose 0 = g*c - 3*c - 260. Is c prime?
False
Is (22 - -43078 - (-18)/(-3)) + -7 composite?
True
Suppose -11*j - 13748 = -25*j. Is j a prime number?
False
Let l = -261692 + 386233. Is l composite?
False
Let i be 0 - 5/((-30)/48). Suppose -5874 = -i*k + 2*k. Is k a composite number?
True
Let n(h) = 2334*h**2 + h - 2. Is n(1) prime?
True
Let q be 6/(-21) - 27/(-21). Let z be 2 + 0 + (-1 - q). Suppose -j = -w + 58, z*j = 2*w + j - 101. Is w prime?
True
Is 831110/54 + (-86)/(-1161) a prime number?
Tru