 17*u(s) - 6*x(s). Is b(21) prime?
True
Let z = -543820 + 893315. Is z a composite number?
True
Let w be (0 + 0)/(4 + (-1 - 1)). Suppose -4*x - 2*d + 10652 = w, -11905 - 1412 = -5*x - 2*d. Suppose -11*h = -6*h - x. Is h composite?
True
Is (-15)/35 + 2714836/28 a composite number?
True
Suppose 4*k - 21 = -3*j, -5 = -2*k + j + 8. Suppose 0 = k*n - 13 - 23. Is (-11782)/(-5) - 1/((-10)/n) prime?
True
Let x(w) = -6*w**3 + 41*w**2 - 9*w + 53. Is x(-25) prime?
True
Let c be -1*(-1 - -6) - -282. Let w = c - 210. Is w composite?
False
Let b = -5893 + 25110. Is b prime?
False
Let a(v) = 34*v**2 - 19*v - 2. Let x be a(-4). Let m = 6 + -4. Suppose -5*w - 5*d + 11775 = 0, m*w + x = 5*d + 5342. Is w a prime number?
True
Let a = 9 + -4. Suppose a*f - 19850 = 25135. Is f a composite number?
True
Is 2/(((-80)/8929640)/(1 + -2)) a prime number?
True
Suppose -29780 - 1200 = -5*l. Let u = l + 441. Is u a prime number?
True
Suppose 1521260 = 43*f + 9*f. Is f a prime number?
False
Let l = -1514900 + 854352. Is 1 + l/(-42) + (-4)/3 a prime number?
True
Let q = 1354 + 4005. Is q composite?
True
Let o = -268 + 279. Let n(a) = -a**2 + 23*a - 81. Is n(o) composite?
True
Suppose -3*v + 2*v = -26. Suppose -4*n + 2*n = 3*a - v, 5*n + 3*a = 56. Is 3312/5 - n/25 a composite number?
True
Let x(y) = -y**2 + 22*y + 22. Let f be x(22). Suppose z = f*z - 27699. Is z prime?
True
Is -10*(-28)/(-70) - -11525 composite?
True
Let y(n) be the first derivative of -2*n**3/3 - 4*n**2 + 3587*n - 135. Is y(0) a prime number?
False
Suppose 4*g = -5*m - 59929 + 316130, 0 = -g + m + 64048. Is g a prime number?
False
Suppose -3*w = 454 + 356. Let y be w - 8 - (1 - 0). Let q = 442 + y. Is q a prime number?
True
Let u(s) = -280*s - 3. Let l(d) = -576*d - 4. Let q(t) = -3*l(t) + 5*u(t). Let c = 15 - 10. Is q(c) prime?
True
Suppose 0 = -2*x + 8, 2*x - 13 = 3*r + 97. Let a = 37 + r. Let w(d) = 195*d**2 + 6*d - 16. Is w(a) a composite number?
True
Let m(y) = 15428*y**2 - 105*y + 534. Is m(5) a composite number?
False
Let j = -1 - -8. Suppose 0 = -3*z + j*z - 40. Is (-45683)/(-55) + 4/z a composite number?
True
Suppose -49 = -3*t + z, 2*z - 5*z + 61 = 4*t. Suppose t*y - 15*y - 2153 = 0. Is y a composite number?
False
Let w = 10 - 7. Suppose 5*a - 14470 = 2*v, 103*v = 4*a + 105*v - 11594. Suppose 5*c = 3*i - a, -i + 580 = w*c - 390. Is i composite?
False
Let w = -4255822 - -6923985. Is w a composite number?
False
Let b(i) = -6109*i - 3712. Is b(-5) a composite number?
False
Suppose -24555 = q - 5*a, 3*q + 73741 = 20*a - 24*a. Let n = -11784 - q. Is n a composite number?
False
Let v(c) = -64*c**3 - 9*c**2 - 70*c + 6. Let n(u) = u**2 - 39*u - 45. Let t be n(40). Is v(t) a composite number?
True
Is (17 + 2370585/(-30))*-2 a composite number?
True
Let t(w) = w + 22. Let z be ((1/3)/1)/((-40)/1320). Let o be t(z). Suppose 12*k = o*k + 347. Is k prime?
True
Let v be (13/(-2) - 4)*(-21032)/12. Suppose -6*f = -10679 - v. Is f composite?
True
Let t(z) be the third derivative of 37*z**5/6 + z**3/6 - 2*z**2. Suppose -4*a - 12 = 4*d, -11*d + 8*d = 12. Is t(a) composite?
True
Suppose 5*s - 11889 = 8*s. Suppose -9287 = h - 3*n, -5*n - 46375 = 2*h + 3*h. Let z = s - h. Is z composite?
True
Let b(k) = 348*k**2 + 2*k + k**3 + 11*k**3 + 6 - 342*k**2 + 5*k. Let l be b(-4). Is l/(-10) + (-2)/5 a composite number?
True
Let o = 21286 + -13307. Suppose o = -10*z + 51009. Is z composite?
True
Let o(m) = 21*m - 202. Let g be o(72). Let i(u) = 677*u**2 - u + 1. Let y be i(2). Let l = y - g. Is l a prime number?
False
Is (2955357/21)/(6/42) a composite number?
True
Suppose 0 = -4*v + 14*v - 30. Suppose 6*z + v*z - 36 = 0. Suppose -4*r = 4*n - 1540, -r + 2*n = z*n - 389. Is r a prime number?
False
Suppose 119*p = -175*p + 113844738. Is p a composite number?
False
Let q(c) be the third derivative of c**5/20 - c**4/2 + 23*c**3/3 - 82*c**2. Is q(-17) prime?
True
Let f be 8 + -2*2/(6 - 5). Suppose -o - 2*h - 50356 = -5*o, -50376 = -4*o - 3*h. Suppose -f*a + 13*a - o = 0. Is a composite?
False
Let w(a) = a**2 - 11*a + 21. Let l be w(9). Suppose 4*c + 917 = 2*q + 3*q, -4*q = l*c - 715. Is q a prime number?
True
Let z = 1734 - 646. Suppose 30*d = 31*d + w - z, 3*d + 2*w = 3263. Is d a prime number?
True
Suppose 0 = 11*h + 17*h - 29*h. Suppose h = 2*p + p - 10977. Is p a prime number?
True
Suppose 0 = -3*w - 4*m + 574933, -81009 = -w - 2*m + 110634. Is w prime?
False
Let i be (-1 - 1)*(-3)/(-6). Let k = 7664 - 9920. Is i*(-2 + k) + 0 composite?
True
Let n(y) = 52*y**2 + 5*y + 587. Is n(-30) a prime number?
True
Let o(z) = 14*z**2 + 19*z - 98. Suppose b = -3, -11*u + 5*b + 10 = -12*u. Is o(u) a composite number?
False
Suppose 0 = -3*t + 4*a + 35, 30 = 2*a + 40. Suppose -t*g + 2964 = -10541. Is g prime?
False
Suppose -42*z - 2*o - 575991 = -45*z, 4*o = -2*z + 384010. Is z a composite number?
False
Suppose -5*f - 5*y - 25072 = -255422, 5*f - y - 230368 = 0. Is f prime?
True
Suppose 5*m - 10*m + 10 = 0. Suppose 14*r - 33204 = m*r. Is r a composite number?
False
Suppose -14*z = -37 + 9. Suppose 2*l - z*k - 6919 - 1485 = 0, 3*k + 3 = 0. Is l composite?
False
Suppose -26*m + 97*m = 11759659. Is m a composite number?
True
Let n(v) = v**2 + 45*v + 166. Let h be n(-41). Suppose -4*q - 5*y + h*y + 11597 = 0, -5 = y. Is q a composite number?
False
Suppose -36*g = 24*g - 989104 - 435356. Is g a prime number?
True
Let w(c) = 2*c**2 - 2*c - 1. Let d be w(-2). Let g = -65 - d. Is (19/g)/((-2)/424) a prime number?
True
Let t(n) = 2645*n + 302. Let v(g) = 882*g + 101. Let u(i) = 4*t(i) - 11*v(i). Is u(8) composite?
False
Let d = 66 - 19. Let s = 70 - d. Suppose -s*x + 22*x + 541 = 0. Is x a composite number?
False
Is 343276/32 + 18/(-48) a prime number?
False
Let f(q) = 5644*q**3 - 16*q**2 + 12*q - 29. Is f(3) a composite number?
True
Suppose 5*x = 5*y - 40 - 20, 0 = 3*y - 15. Let h(m) = 1422*m - 14 - 1432*m + 0 + 184*m**2 - 55*m**2. Is h(x) composite?
True
Suppose -5*z = -5*h - 100350, 45860 = 5*z + 3*h - 54498. Is z a composite number?
False
Suppose -3*l + 0*n + 122722 = -n, 122720 = 3*l - 2*n. Suppose -6*g - 12456 = -l. Is g a prime number?
False
Let s = 48 + -45. Let f be 2103 + (s - 5 - 1). Suppose -10*m + 4990 = -f. Is m prime?
True
Let r(c) = 3*c + 4*c + 0*c - c + 3*c - 35 + 595*c**2. Is r(3) composite?
False
Suppose q = -8*w + 3*w - 15608, 3*q = 6. Let r = w + 5655. Is r prime?
False
Let s be (88/3)/(-2)*(-14820)/152. Suppose -s = 4*z - 13426. Is z composite?
False
Let s = 60 + -46. Let k = s + -11. Suppose 10 = 2*m, 7*u + 4*m - 1548 = k*u. Is u a prime number?
False
Is -13 - (-2 + -7303 + -3) prime?
False
Let f = -1979 + 2835. Suppose 0 = 5*j - 10, -4*d + f = -2*d + 3*j. Suppose 0 = i + i - 3*a - 170, -4*a - d = -5*i. Is i a composite number?
True
Suppose 3989 + 2571 = 5*x. Let s = 2477 - x. Is s prime?
False
Let m(v) be the second derivative of 889*v**3/3 + 15*v**2/2 - 54*v + 2. Is m(2) a composite number?
False
Let a be 6/39 + (-567)/(-117) - -11218. Let u = 25228 - a. Is u prime?
False
Suppose 7 = -3*f - 2, 0 = -4*j + f + 11. Suppose -x + 1942 + 114108 = 4*x. Suppose -j*t - x = -12*t. Is t a prime number?
False
Let r(u) = -u**3 + 10*u**2 - 10*u + 8. Let j be r(9). Let w be ((-2)/11 - (-19334)/(-22)) + j. Let p = 1421 + w. Is p a prime number?
True
Is (250/(-12))/25*-20379*2 a prime number?
False
Suppose 0 = 5*m - 5*u - 392116 - 92334, u + 290676 = 3*m. Is m a prime number?
True
Let t = -627282 + 3576619. Is t a composite number?
False
Let f(s) = 554*s**3 - 20*s**2 + 73*s - 64. Is f(3) a composite number?
True
Let y be -2 - (7 - 21)/((-10)/35). Is 33/(8 - (-399)/y) a composite number?
True
Let y = 846 + -846. Suppose 3*f + 733 - 5416 = y. Is f a prime number?
False
Let j = -35 - -37. Suppose 6 = j*r - 2. Let i(u) = 2*u**2 + u - 17. Is i(r) a composite number?
False
Suppose 5*t - 765 = -h - 0*h, 596 = 4*t + 4*h. Let z be 896 + ((-81)/3)/9. Let s = z - t. Is s composite?
False
Is (6871 - 1)*(-2)/(-1) - 3320/(-664) prime?
False
Suppose -4*o - 980 = 4*m, 518 = -4*o + 2*o + 5*m. Let w = -158 - o. Is w/28 - ((-15)/(-12) + -1) a prime number?
True
Let q(s) = -621*s - 6. Let z be q(-11). Suppose 8*o - z = 11*o. Let a = 4854 + o. Is a a composite number?
False
Suppose 0 = -x - 4, -104*u = -99*u + x - 16251. Is u a composite number?
False
Let c(t) =