2)/3). Let u(h) = -h**3 - 3*h**2 - 6*h + 1. Let o be u(n). Suppose 6*r = 2*f + 3*r - 114, 0 = -3*f - 2*r + o. Is f composite?
True
Let f be -5 + 1 + (-1 - -32). Let m be (-36)/f + (-47)/3. Let v = 17 - m. Is v a prime number?
False
Let o = 26179 - 13284. Is o a composite number?
True
Let d(w) = 529*w**3 - 6*w**2 + 3*w + 1. Is d(3) a prime number?
False
Suppose -4*d = -5*n - 116399, 14*d - 17*d = -n - 87302. Is d a composite number?
False
Is (-1)/(341356/(-3072042) - 54/(-486)) composite?
False
Suppose -3*h - 2*m = 1, 3*h - m - 9 = 5. Suppose 0*b = -t + 3*b + 1949, 0 = h*b. Is t composite?
False
Let h = -726 - -1275. Suppose -c = -3*l + 540, 194 - h = -2*l - c. Is l composite?
False
Is 154/2 + -5 + -2 + 1 a composite number?
False
Let d be 15558/(-12)*(-2)/(-1). Let x = d - -3912. Is x composite?
False
Suppose -l + 1145 = 352. Let b = 2264 - l. Is b a prime number?
True
Suppose 0 = 2*s - 4, -176 = -2*p + 6*s - 3*s. Let y(t) = -t - 2. Let w be y(4). Is (p/(-2))/7*w composite?
True
Suppose -2*m = -5*j - 7*m + 25, -5*m = -2*j + 10. Suppose -5*u + 0*f = -f - 1785, -1765 = -5*u + j*f. Suppose 0 = -p - p + u. Is p composite?
False
Let m(s) = -2612*s + 3. Let j be m(1). Let w = j + 3804. Is w composite?
True
Let o = 4077 + 1256. Is o composite?
False
Let h = 19352 - -31415. Is h a composite number?
False
Let u be (4/(-3))/(2/36). Is (1*223)/((-8)/u) a prime number?
False
Suppose 18*p + 0*p - 784854 = 0. Is p a prime number?
False
Let q(w) = -2*w**3 + 2*w**2 + 6*w - 2. Let o be q(2). Is (-3792)/(-14) + 39/(-21) + o a composite number?
False
Let l be (2/(-5))/(12/(-3480)). Suppose 3*t - 7*t - l = -s, 5*t = -5*s - 145. Let f = 51 + t. Is f prime?
False
Let u(l) be the third derivative of l**6/120 - l**5/20 + 5*l**4/24 - l**3/6 + 9*l**2. Let i be u(2). Suppose -4231 = -i*m - 1076. Is m a prime number?
True
Suppose 3*h = 5*h - 4672. Suppose 3*f - h = 2*f + 3*y, 2 = -2*y. Is f a composite number?
False
Let v = 111960 + -63053. Is v a prime number?
True
Suppose 4 = -4*y, -5*w = y - 117 - 327. Suppose b = w + 314. Suppose -342 - b = -5*i. Is i composite?
False
Let t(a) = -23*a**2 + 3*a + 8. Let j(k) = 22*k**2 - 2*k - 7. Let w(p) = 5*j(p) + 4*t(p). Is w(4) composite?
False
Suppose 18 = 4*y + 2*y. Suppose 3*m - 259 = -z - 3*z, y*m - 192 = -3*z. Is z prime?
True
Suppose 27 = 3*i - 39. Let h = -29 + i. Let g(q) = 11*q**2 + 11*q + 5. Is g(h) a composite number?
False
Let k(t) = 20 - 7*t + 4*t + 14*t**2 - t**3 + 17*t. Let h be k(15). Suppose -j - 4*j = h*c - 1070, 0 = -2*c - 3*j + 431. Is c composite?
False
Let b(f) = 7*f - 29. Let n be b(15). Suppose -75*p + n*p = 51. Is p composite?
True
Let j be 613/((-1 - 3) + 135/30). Suppose -14*l - j = -16*l. Is l composite?
False
Suppose -2*j + 5096 = 2*d, -5*j + 0*j + 2560 = d. Is d a composite number?
True
Suppose 2*s - 5*m = 5915, 4*m = -4*s + 6*m + 11854. Is s a prime number?
False
Let u = -23 - -6. Let l = u + 19. Suppose -l*z = -3*q - 251, 0*q + 2*q = -5*z + 637. Is z composite?
False
Let q = -33 + 38. Suppose -17 - 3 = -q*t. Suppose -t*o + 933 = -1895. Is o a prime number?
False
Let c(l) = l**3 - l + 3. Let t be c(0). Suppose 2*v + t*m + 90 - 1063 = 0, 0 = -5*m - 25. Is (-12)/42 - v/(-14) a composite number?
True
Let g be (-52)/(-12) + 4/6. Suppose -s + 4*w = g + 21, 4*s - 4*w + 44 = 0. Is 125 - -3*(-4)/s a prime number?
True
Let r be (2 + -6)/1*3/(-6). Suppose -2*a - 3*q + 5058 = a, -4*q = -r*a + 3366. Is a prime?
False
Suppose -z - 5*z + 23658 = 0. Is z prime?
True
Suppose 4*z = 5*j + 131, -2*j = -2 + 8. Suppose z*f - 2692 = 25*f. Is f prime?
True
Let p = 28 - 243. Let w = p - -484. Is w a composite number?
False
Let f(o) = 10*o**2 - 11*o - 94. Is f(-9) composite?
True
Is ((-6)/(-33) - (-2)/(-11)) + 4201 composite?
False
Let w = -76 + 79. Let b(j) = 352*j + 1. Is b(w) a prime number?
False
Let q(c) = c**3 + 10*c**2 - 4*c - 12. Let m(z) = -5*z**3 - 49*z**2 + 21*z + 60. Let w(h) = 2*m(h) + 11*q(h). Let s be w(-12). Is (-6)/9*(-954)/s composite?
False
Let o be 15/25 - ((-285372)/15)/2. Let s = o + -5246. Is s prime?
False
Suppose 5*c - 2*i = 7979, 2*c + 4*i = 3*c - 1585. Is c prime?
True
Let v(r) be the third derivative of r**4/24 + 35*r**3/6 - r**2. Suppose 4*t + 4 = -2*c - 2, 2*t = -4*c - 12. Is v(t) composite?
True
Let y be (-11 - -2)*1/(-9)*3. Suppose y*k - 3*v = -0*k + 216, -2*v = 5*k - 374. Is k a prime number?
False
Let s = 1817 + 2232. Is s a composite number?
False
Suppose 4*d = 12, -5*m + 3665 = 3*d - 1389. Is m composite?
False
Let t(z) = 17*z**3 - 3*z**2 - 8*z + 1. Let h = 13 - 9. Is t(h) composite?
False
Let u be 6*(-7)/((-21)/4). Is 1560/u - (-4)/(-1) a prime number?
True
Let c = -458 - -228. Let u = 261 - c. Is u prime?
True
Let f(c) = 4*c - 6. Let k be f(7). Suppose 23*j - k*j = 223. Is j composite?
False
Let k be 5/4*(20/(-2) - -6). Let o(g) = 61*g**2 - 7*g + 3. Is o(k) prime?
False
Let d(l) = -2*l + 55. Let x(h) = -h - 43. Let j be x(-22). Is d(j) prime?
True
Suppose 4 = -p, 2*p = -2*k + 6491 + 25699. Is k prime?
False
Suppose 13 = 15*p - 32. Suppose p*v + 4*k = 1245 + 7864, 0 = -4*k + 16. Is v prime?
False
Let n(p) be the third derivative of p**5/60 + p**4/12 - 5*p**3/6 - 7*p**2. Let q be n(-4). Suppose -7*k = -q*k - 1308. Is k composite?
True
Let f(y) be the third derivative of -7*y**5/30 - 13*y**4/24 - 4*y**3/3 - y**2. Let p(u) be the first derivative of f(u). Is p(-8) a composite number?
False
Let a be ((-54)/(-4))/(-9)*-4. Suppose a*h - 444 = 294. Is h a prime number?
False
Suppose 11374 = 4*d + 4490. Is d prime?
True
Let k(y) = -y**3 + y**2 + 1067. Let j be k(0). Let b be -213*(-2 + 1 - -3). Let d = b + j. Is d a composite number?
False
Suppose 25 = 5*v - 520. Let b = 40 + v. Is b a prime number?
True
Let l be ((-60772)/(-12) - -1) + (-10)/(-15). Let s = l - 3160. Is s a composite number?
True
Let u = 16089 - -5224. Is u composite?
False
Let z = -3305 + 5838. Let h = -1790 + z. Is h prime?
True
Let n(t) = 14*t**2 - 4*t + 3. Let q be n(6). Suppose 4*r - q - 405 = 0. Suppose -37*b + 39*b - r = 0. Is b composite?
True
Let s = -922 - -2760. Is s*(-2 + 4 + 1/(-1)) a prime number?
False
Suppose -77579 = -3*i - 14705. Let s = i - 13397. Is s composite?
False
Suppose 111026 = 26*k - 1721168. Is k prime?
False
Let l(g) = 9*g**2 - 18*g + 8. Let o be l(10). Let a = -141 + o. Is a prime?
True
Let k = -13085 + 21436. Suppose q + 0*q = -5*x + k, -2*x + 3338 = -2*q. Is (-2)/4 + x/20 a composite number?
False
Suppose c + 0 = 10. Let a be (-2)/(-1) - (-16 - -1). Let x = a - c. Is x composite?
False
Let l(c) = 25*c + 2. Let r be l(-5). Let v = r + 284. Is v*(-2 - 9/(-3)) prime?
False
Suppose -4*h = 4*u - 57204, -3*u = 2*h + 2845 - 45750. Is u prime?
True
Let g = 91 + -334. Let u = g + 454. Is u composite?
False
Let k(x) be the first derivative of x**4/4 + x**3 - x**2 + 191*x - 6. Is k(0) a composite number?
False
Let h = 12 + -8. Suppose 80 = h*z - 4. Is 124/(-3)*z/(-14) prime?
False
Let w(v) = 4*v**2 - 2*v + 19. Is w(-8) prime?
False
Is ((-1)/(-2))/(-5 - 26586/(-5316)) a composite number?
False
Let x(l) = -6*l + 9*l**2 - 9 + 4*l**2 - 11*l**2. Suppose -3*q = -6*q - 33. Is x(q) prime?
False
Let h = -21 - -24. Let o be (-2 - (1 - -3))*h. Let s = o + 71. Is s composite?
False
Let l(v) = v**3 - 16*v**2 + 40*v - 11. Is l(17) composite?
True
Let o = 2799 + -1782. Suppose -5*k = -7*k + 1436. Let p = o - k. Is p a prime number?
False
Let n = 763 - -7738. Is n a composite number?
False
Let r = 20374 - 4325. Is r a composite number?
True
Suppose -4*q + 12 = -0. Let d = 359 - 211. Suppose 4*b - 5*l = -l + d, -l = -q*b + 103. Is b prime?
False
Let f(c) = 4*c**3 - 8*c**2 - 3*c + 9. Suppose 2*m = -2*m + 24. Let i be f(m). Suppose -b + i = 4*j, b + b = 2*j - 276. Is j a prime number?
False
Suppose -3 = -2*c - 3*q, -2*q = -6*q - 12. Let u = 1030 + -553. Suppose -3*n = -c*n + u. Is n a prime number?
False
Let f(w) = 8*w + 0 + 7 + 0*w**2 + 2*w**2 - 12. Let n be f(-5). Suppose 5*m - 1075 = -n*g, -3*g - 2*g = 4*m - 864. Is m a composite number?
False
Suppose -3*x = -0*x - 12. Suppose -x*g + 299 = -969. Is g composite?
False
Let r be (20/18*-3)/(2/27). Let l(b) = -b**2 + 3. Let w be l(-3). Is (-3)/((-9)/w) - r prime?
True
Let i(t) = -t**3 + 4*t**2 + 4*t - 16. Let s be i(4). Suppose s = 4*j - 9*j + 255. Is j a prime number?
Fals