True
Suppose -35*b - 46*b + 6465339 = 0. Is b a composite number?
True
Let r(p) = p**3 - 13*p**2 - 34*p - 26. Let b be r(15). Suppose 0*d = -2*d - 1074. Let a = b - d. Is a composite?
True
Let y = 74 - 86. Let d(u) = -8*u**3 - 17*u**2 - 50*u - 7. Is d(y) composite?
False
Suppose -18*j + 4874719 + 876371 = 0. Is j composite?
True
Suppose 0 = 5*i + 90 - 190. Is (-23151)/2*i/(-30) a composite number?
False
Let g(r) = -117*r - 2. Let o = 86 - 48. Let v = o - 43. Is g(v) prime?
False
Let f(x) = 4*x**3 - 22*x**2 - 9*x - 4. Let b be f(6). Suppose -2*p - 4 - 6 = 0. Is (2 - p/(10/57))*b composite?
True
Suppose 2*w = 2*t + 34652, -4909 - 47067 = -3*w + 2*t. Let d = w + -8823. Is d a prime number?
True
Is 67142/(-4)*(-59)/(1652/56) a composite number?
True
Is (-1397922)/36*-18*(26/6 + -2) a composite number?
True
Suppose 207*v - 197*v = 7953730. Is v a prime number?
False
Suppose z - x - 17 + 4 = 0, 0 = -2*z + 5*x + 35. Let r(v) be the first derivative of 281*v**2/2 + 17*v - 3737. Is r(z) prime?
False
Suppose 4*i - 623692 = -t, -5*i - 27*t + 779629 = -24*t. Is i a composite number?
False
Suppose 581805 = 597*k - 278472. Is k prime?
False
Let m be ((-1)/3)/((-47)/282). Suppose 2*s - 27503 = 10*w - 9*w, -27500 = -m*s - 2*w. Is s prime?
True
Is (544614/(-18) + 5)*9/(-6) prime?
True
Suppose -2*u + 3*w + 8 = w, -5*u = 2*w + 1. Let s be ((0/5)/3)/u. Suppose -l + 2*l + 4*r - 143 = s, -l + 5*r = -188. Is l a composite number?
False
Suppose -w + 5 = -0. Suppose -w*m - 30 = 5*i, -2*m - 1 = 3*i + 15. Is (2722/i)/((-12)/24) prime?
True
Suppose x + 4*i - 7 - 148 = 0, 2*i = x - 167. Let g = x + -245. Let a = g - -213. Is a a composite number?
False
Suppose -8366*m = -8369*m + 770577. Is m a composite number?
True
Suppose -32*p = -37*p - 15. Is 21231/27 - 2/p composite?
False
Is ((-40)/(2400/90))/(-2 + 76555/38278) a composite number?
True
Let i = 41 - 30. Suppose -i*q + 1726 = -9*q. Suppose -q = -p - 0*p. Is p prime?
True
Suppose j - 1 = 3*h - 2*h, 3*h = j + 1. Let o be h - 7/5 - (-2076)/15. Let y = 392 - o. Is y prime?
False
Let n(j) = -2*j**3 + 6*j**2 + 36*j - 1. Let f(c) = c**3 - 7*c**2 - 37*c - 1. Let g(i) = 3*f(i) + 2*n(i). Is g(-16) a composite number?
False
Let w(z) be the third derivative of 3*z**5/20 - 5*z**4/8 + 26*z**3/3 - z**2 - 62. Is w(-23) a prime number?
False
Suppose -29925828 = -112*c + 4*c. Is c composite?
True
Let y(n) = -535*n + 11. Let j(v) = -4*v**2 + 6*v + 4. Let r be j(3). Is y(r) prime?
False
Suppose -239329 = -2*w + 11*w - 10*w. Is w a prime number?
True
Suppose 2*r + 9*r = 1251358 + 99189. Is r prime?
True
Suppose -4*d = 5*n + 167339 - 442208, -4*d + 274859 = 3*n. Is d composite?
False
Is (1992425 - 1 - 8) + 5 - -12 a composite number?
False
Suppose -16370 = 4*l - 6*l + 3*d, 0 = -4*d + 16. Is l a composite number?
False
Let g = 140 + -160. Let d(q) = -q**3 - 19*q**2 + 4*q - 81. Is d(g) a composite number?
False
Suppose 11031 - 1749 = -7*j. Let p = 2375 + j. Is p a prime number?
True
Suppose 5*v - 77075 = c, -4*v - 4*c + 47176 = -14484. Is v a composite number?
True
Let v(z) = 80*z**3 - z - 4. Let l(r) = -8*r - 3. Let b be l(-1). Suppose 26 = b*u + 11. Is v(u) a composite number?
False
Let b = 68 + -168. Let v = b - -98. Is 1/2 - (2733/v - -6) a prime number?
True
Let r(k) = 408*k**2 - 4*k + 21. Let m be r(6). Let l = -6028 + m. Is l a composite number?
True
Let w be 1/2*(-154 + 2 - -4). Let v = 104 - w. Suppose -71*u + 73*u = v. Is u composite?
False
Suppose -10 = 5*j, -3*j + 8 = 4*w - 7*j. Let l(x) = x**2 + 23*x + 3877. Is l(w) composite?
False
Suppose -4*y - 12 = 0, -4*i + 3*y = -5 - 4. Suppose 5*t - 50 - 145 = i. Let k = t + 20. Is k a composite number?
False
Let g(h) = 347*h - 2. Suppose -5*c - 7 + 1 = -3*u, 4*u = -4*c + 8. Suppose -7 = -6*r + u*r - 5*k, 3*r + 5*k - 4 = 0. Is g(r) a prime number?
True
Is (98/21 - 8 - -7)/((-2)/(-563802)) prime?
False
Suppose 1704 + 4846 = -h. Let n = h + 14581. Is n a prime number?
False
Let w be (-24)/(-9) - (-7 + 8)/(-3). Is (18/4)/w*178/3 a composite number?
False
Let u(z) = -z + 50. Let c be u(15). Suppose -c*t + 34*t + 2359 = 0. Is t prime?
False
Suppose -2*j = 5*s - 492637, 3*j - 9*s - 738910 = -10*s. Is j a composite number?
True
Let t = 28 - 29. Let b(w) = -w - 1. Let u(x) = 127*x - 19. Let l(s) = t*u(s) + 6*b(s). Is l(-8) prime?
False
Suppose 3*w - 211 = -3*x + 935, 1534 = 4*x + w. Suppose -x = -b + 8. Suppose -i + b = -39. Is i a composite number?
False
Let r(u) be the second derivative of 170*u**4/3 + u**3/6 + 29*u. Is r(-1) a prime number?
False
Let p = 30 + -15. Suppose 3*s + 4*u - p = 0, 2*u - 25 = -5*s - 2*u. Suppose -s*k + 1215 = 50. Is k a prime number?
True
Suppose -5*j = -5*c - 179390, -14*c + 10*c + 179345 = 5*j. Is j a composite number?
True
Suppose 2898904 = 65*t + 3175309 - 7867300. Is t a prime number?
False
Suppose 0 = 16*l - 33*l - 81*l + 6229174. Is l a prime number?
False
Suppose -151265 - 79014 = -6*o - 28061. Is o composite?
False
Let a = 51 - 50. Let p be (-1*716 - a)/(12/8). Is (-3 - p) + 2 + -1 + 5 prime?
False
Suppose 4*w + t - 36179 = 6924, 4*w = t + 43097. Suppose -7*l + 10771 = -2*l + 3*d, 0 = -5*l - 5*d + w. Is l a composite number?
False
Let g(z) = 12*z - 75. Let x be g(6). Is (5 + x - (0 + 1)) + 2788 prime?
True
Let c be 11/22 + 3 - 2/4. Let z(r) = 1253*r + 19. Is z(c) composite?
True
Let z = -203 + 207. Suppose z*q - 47 = -c, q = 15*c - 17*c + 66. Is c a composite number?
False
Let r = -21 + 26. Suppose 4*i + 64052 = -0*i. Is (-6)/(-15) - i/r prime?
True
Let l(u) = 10*u**2 + 2*u - 2. Let r be l(2). Let a be (-10221)/(-45) - (-34)/(-255). Let p = a - r. Is p a prime number?
False
Let l(b) = 12*b**3 + b**2 + 3*b + 33. Suppose -5 = -q - 1. Let n(h) = 24*h**3 + h**2 + 6*h + 67. Let g(t) = q*n(t) - 9*l(t). Is g(-5) a prime number?
True
Suppose 0 = 5*n - 10*n + 3*s + 18981, 0 = 2*n + s - 7599. Let p = n + -2044. Is p composite?
True
Suppose 0 = 168*t - 157*t - 831127. Is t a prime number?
True
Suppose -4*j - 905 = -5*j. Let q = j + 1190. Is q composite?
True
Suppose 5*z - 5*f - 855515 = 0, -1016686 = -5*z + 3*f - 161163. Is z composite?
True
Let r be ((-12890)/(-25))/(8/(-80)). Is -7 - -22 - r - (0 + 0) a prime number?
True
Let q(w) = w**2 + 13*w + 39. Let l be q(-8). Let r(n) = 12*n**2 - 1. Let j be r(l). Suppose -7*v = -j*v + 16444. Is v a composite number?
False
Suppose -2*t = -2*o + 10, 6*t - 7 = -3*o + t. Suppose -o*y + 9 + 7 = 0. Suppose 7*d - 3*q = 3*d + 1000, -4*q + 1028 = y*d. Is d composite?
True
Suppose g = 2*o - 1, 4*g = 2*o + 3*o + 2. Suppose 5*m + 6*w - 18190 = w, -w = o*m - 7281. Is m composite?
False
Let d(z) be the second derivative of -z**5/20 + 25*z**4/12 - 11*z**3/6 + 14*z**2 - z - 12. Is d(17) a prime number?
True
Let c(n) = -n**2 - 3*n. Let i be c(-3). Is (-2)/(-6)*(-12114)/(i - 6) a composite number?
False
Suppose 0 = -9*a - 0*a + 585. Suppose a*s = 66*s - 85. Suppose 89*m - 596 = s*m. Is m composite?
False
Suppose 4*v + 2*a = -3*a - 3433, 0 = v + 3*a + 867. Let p = v + 6589. Is p a prime number?
True
Suppose 0 = -r + 3*r + 10, -2*r = -w + 30. Is 5/w + (-10377)/(-12) prime?
False
Suppose 4*a - 2022 = -114. Let z = 2312 - a. Is z a composite number?
True
Let b = -489144 + 735385. Is b a composite number?
False
Let w(v) = -269*v**3 - 4*v**2 - 49*v + 1. Is w(-5) a composite number?
True
Suppose 2*g - 5*q + 25 = 0, 0 = -5*g + q - 5. Let f(k) = k**2 + 2*k - 6. Let w be f(g). Is 2 + w + (-1524)/(-4) a prime number?
False
Let m(y) = y**2 - 5*y + 12. Let s be m(7). Let p(z) = z**3 - 27*z**2 + 37*z + 43. Is p(s) prime?
False
Suppose 5*o + 5*m = 15, -20*o - 3*m = -23*o + 33. Suppose -10*x + 6117 = -o*x. Is x prime?
True
Is 338619/41 - -4*2 composite?
True
Let w(y) = -y**3 + 2*y**2 + 19*y + 9. Let s be w(6). Is 44358/s*((-126)/12 + 7) a prime number?
True
Suppose 5*n + 20*j - 520769 = 16*j, 0 = -3*n + j + 312458. Is n prime?
False
Suppose 0 = -12*q + 19*q - 331457. Let i = -32148 + q. Is i a prime number?
False
Let r be -18*6*(3 + (-52)/16). Suppose -8597 = -r*c + 26098. Is c prime?
False
Let a(y) = y**2 + 24*y + 57. Let i be a(-21). Is 4/i - (-168735)/45 composite?
True
Let p(g) = 9*g**2 + 44*g - 2. Let c be p(-5). Is c + 125/(-45) + 22442/18 a composite number?
True
Let k(n) = 965*n - 3114. Is k(25) a prime number?
True
Let n(q) = 62773*q**2 - 143*q 