et n be b(13). Suppose -17*u + 57203 = -n. Is u composite?
True
Suppose -4*c + 2*c = -z + 2728, -4*c - 5452 = -3*z. Let u = -279 - c. Is u a prime number?
True
Suppose 0 = -15*k + 67 + 8. Suppose -m = 5, -815 = -k*l + m + m. Is l a composite number?
True
Let r(v) = -17*v**3 - v**2 - v + 14. Let u(o) = -25*o**3 + 4 + 25 - 2*o**2 - 2*o - 8. Let p(h) = 7*r(h) - 5*u(h). Is p(4) a composite number?
True
Suppose 18063 = -53*v + 652420. Is v prime?
True
Let t(w) = 16*w**2 - 32*w + 29. Let k be 17 - (8/(-5))/(4/(-10)). Is t(k) composite?
True
Suppose 279*j = 293*j - 2944634. Is j a composite number?
True
Suppose -13*f - 9342 = -15*f. Let b be 0 + 1*(4 - -1). Suppose -3*x - x = 5*z - f, -4*x + b*z = -4721. Is x a composite number?
True
Suppose 10*u = 943165 + 333025. Is u a prime number?
False
Let l be 28*((-1)/4 + 65689/(-26)). Let z be 2/3 - 443/3. Is l/z + ((-4)/(-7))/(-2) a prime number?
False
Let c = -78 - -80. Suppose 3*x + 3*p - 6453 = 0, 0 = -c*x - 0*p + 3*p + 4292. Is x a composite number?
True
Let o(r) = -4*r**2 - 9*r + 8. Let g be o(-4). Let l(h) = h**3 + 29*h**2 + 63*h - 13. Is l(g) prime?
False
Let z(w) = -w**3 + 13*w**2 - 68*w + 4. Let v be z(5). Let t = 114 + 99. Let m = v + t. Is m a composite number?
True
Let d(a) = a**3 - 11*a**2 + 19*a - 6. Suppose -4*h = -m + 1, -8*h = 5*m - 9*h - 43. Let k be d(m). Suppose k*f + f - 3476 = 0. Is f composite?
True
Suppose -91*p + 19581162 - 17737865 = -36999234. Is p a composite number?
False
Let l(v) = -29*v**3 - 24*v**2 - 145*v - 625. Is l(-28) a prime number?
True
Suppose 4*t - 328 = 2*n, 2*t + n - 172 = 4*n. Suppose 85*k = t*k + 1895. Is k a composite number?
False
Let l = -2 + 2. Suppose 0 = -5*j - w + 24, 5*w = -5*j - l*j + 40. Is (7 - (-1 + j)) + 17 a composite number?
True
Let d(c) be the third derivative of 0*c - 10/3*c**3 + 0 + 7/8*c**4 - 9*c**2 + 17/60*c**5 - 1/120*c**6. Is d(18) composite?
True
Suppose -8*t + 3*t + 30 = 0. Suppose -t*d + 17202 = -81912. Is d a composite number?
False
Let h(s) be the second derivative of -s**4/12 + 8*s**3/3 - 11*s**2 + 16*s. Let j be h(14). Suppose 0 = j*z - 8*z + 110. Is z a composite number?
True
Let y(x) = -241*x**3 - 5*x**2 + 3*x + 1. Let l(g) = -2*g**3 + 12*g**2 - 17*g + 2. Let d be l(4). Is y(d) a prime number?
False
Let n(r) = 261*r - 31. Let q be n(-1). Let i = 351 + q. Is i composite?
False
Let i = 419667 - 47969. Suppose -36*a = -i - 109514. Is a prime?
True
Suppose -5*k + 75 = 2*s, 5*s - 3*k + 4*k = 245. Let d be (-1 - s/(-5))*-7. Let y = d + 1714. Is y prime?
False
Suppose 0 = -4*h + 23 - 7. Is (16659/(-12))/((-14)/56) + h composite?
False
Let h be 9/6 + 366/12. Suppose 46*j + h = 48*j. Is 2 - (2 - j)*(-105)/(-10) a prime number?
True
Let g(v) be the third derivative of 0 - 2*v**2 + 7/3*v**3 + 0*v + 5/12*v**4 + 23/60*v**5. Is g(-17) composite?
False
Suppose -272*o - 391377 = -293*o. Is o prime?
True
Let q be 0/(-4 - -8)*1. Suppose 4*y = -q - 4. Is (-1)/(y + (-70)/(-67))*-3 a prime number?
True
Let s = 76894 + 1059. Is s composite?
True
Suppose 720430 = 9*i + 72421. Is i prime?
False
Suppose -3*r = -5*o - 0*r + 37, 0 = -3*o + 5*r + 19. Is (-4)/(-64)*-4 + 5386/o a composite number?
False
Let z be (8 - 0) + -58 + 74. Suppose 4*q = z*q - 114620. Is q a composite number?
True
Let b be 2/(-13) - (-130617)/39. Suppose 0 = -10*l - 14984 - 7536. Let x = l + b. Is x composite?
False
Let h(f) = 371*f**2 + 3*f + 1826 - 1797 + 10*f. Is h(-5) composite?
False
Let u = -6 + 33. Suppose 0 = -2*o + u + 31. Suppose 898 = o*x - 27*x. Is x composite?
False
Let r(h) be the third derivative of -5*h**4/4 - 17*h**3/6 + 6*h**2. Let x = -23 - -17. Is r(x) prime?
True
Suppose 259585 = 3*k + 6*q - 2*q, 2*q = 4*k - 346062. Is k prime?
False
Suppose -r + v = -5332, -3*r + 14857 = -5*v - 1131. Let d = -10357 + r. Let g = -3222 - d. Is g prime?
False
Let q = -88 - -110. Suppose 0 = 5*s + 5*k - 120, -7*s - q = -8*s + k. Is 425 + s - (0 + 2) a composite number?
True
Suppose 76 = 25*w - 74. Suppose 1741 = -w*o + 6775. Is o prime?
True
Let t(f) = 15*f**3 + 10*f**2 - 65*f + 314. Is t(15) a prime number?
False
Let h(q) = -1017*q + 155. Let j be h(-12). Suppose -5005 = -4*d + j. Is d prime?
False
Let k(y) = 1011*y**3 + 9*y - 1037*y**3 + 4 + 6*y**2 + 3 + 2. Is k(-4) composite?
False
Let k = -486512 - -730051. Is k prime?
True
Let f(g) = -2*g**3 + 22*g**2 + 13. Let n be f(11). Let l(j) = 304*j**2 - 10*j - 169. Is l(n) prime?
False
Is ((-153196)/14)/(7 - 1188/168) - 5 prime?
True
Suppose x + 0*x - 9 = 0. Suppose 4*d - 19 = -3*m, -d - 41 = 3*m - 66. Is (-149)/((-2)/x - m/(-405)) composite?
True
Suppose -6*d = 50938 + 14318. Let o = d + 15981. Is o composite?
True
Let i = -428 + 45859. Is i a prime number?
False
Let s(k) be the second derivative of -6*k**5/5 - k**4/3 - 7*k**3/6 - k**2 + k. Let o be s(-5). Let b = o + -2032. Is b composite?
True
Suppose 3*q = 1 + 11. Suppose -q*n = -j - 12, -5*n = -3*n - 8. Suppose 963 = j*c - 473. Is c composite?
False
Let v(p) be the third derivative of -p**7/2520 - p**6/360 + 11*p**5/24 + 7*p**4/24 + 12*p**2. Let z(a) be the second derivative of v(a). Is z(0) composite?
True
Let g(n) = -3183*n + 418. Is g(-15) composite?
False
Let j(u) = 6360*u - 10. Let a(z) = 2120*z - 3. Let v(f) = -11*a(f) + 4*j(f). Is v(3) a composite number?
False
Suppose -3*z + 1115 = -4*j, -4*j = 4*z + z - 1901. Let f = 724 - z. Is f a composite number?
False
Is 4*(0 - (-1)/(-2) - -79182) a composite number?
True
Let x = 247 + -213. Suppose x*b = 38*b - 13412. Is b composite?
True
Is (9914746/(-6))/((-350)/42) + 8/100 a prime number?
False
Let k = -342 + 198. Is 7117/12 + 12/k composite?
False
Let y = 38177 - 13830. Is y a prime number?
False
Let m(h) = -8*h - 421. Let p(q) = 8*q + 422. Let a(w) = -3*m(w) - 2*p(w). Is a(0) prime?
True
Suppose -12746762 = -20*z - 46*z - 32*z. Is z composite?
False
Let l(v) = v + 6. Let h be l(-3). Suppose 6*s + h = 7*s. Is 0 + s*43 + (-3 - -1) a prime number?
True
Let j(f) = -f**3 + 3*f**2 + 12*f - 7. Let u be j(5). Suppose -15 = -5*r, -2*t - 5*r + 8 - 1 = 0. Is (u - 1)*-2*1561/t a composite number?
True
Is 875382/60*(14 - 4) prime?
True
Suppose -2320505 - 11066154 = -32*j + 3550589. Is j prime?
False
Let j = 51 - 48. Suppose -28728 = -j*o + 16599. Is o a prime number?
False
Let w(o) = 3745*o + 1734. Is w(17) composite?
True
Let s = -204 + 211. Suppose 5*b = s*b - 298. Is b composite?
False
Suppose 5*m - 35 = -5*i, 24 = 2*i + 4*m + 4. Suppose 2*h = -10, -2*w - 2*w = i*h - 1032. Is w a composite number?
False
Let k be (-1987575)/(-45) + 4/6. Let q = k - 1558. Is q prime?
True
Let u = 22 + -20. Suppose v = 2*v - u. Is 289 + -5 + v + 7 a composite number?
False
Let w(g) = -11*g + 15 - 9*g + 7*g. Let x be 7*(-24)/(-21) + -16. Is w(x) a prime number?
False
Let x be (-1)/(2/(-177))*(-128)/(-96). Let b = 951 + x. Is b a prime number?
True
Is (-3862796)/8*16/10*(-15)/42 a composite number?
True
Let w(p) = -p**3 - 20*p**2 + 20*p - 29. Let t be w(-21). Is (t + 7)*(1 - 19862) a composite number?
False
Let p be (3 - (-3149 + 0)) + -3. Suppose 5*x = -4*g + p, -x - x = -2*g - 1256. Is x a prime number?
False
Let h(t) be the first derivative of -27*t**4/4 - 5*t**3/3 + t - 37. Is h(-5) prime?
True
Let b(g) = g**2 - 12*g + 303. Let x be b(0). Suppose -i + 381 = p, -5*i + 1600 = 4*p - x. Is i prime?
True
Let p(d) = d**3 + 8*d**2 + 4*d + 3. Let z be p(-6). Suppose -37*h - 10794 = -z*h. Is h composite?
True
Suppose r - 4*z - 25486 = 0, -3*r - 2*z = 3219 - 79677. Let d = -16265 + r. Is d a composite number?
False
Suppose -5*a + 18563 = 5*g - 3*g, -a + 3 = 0. Suppose 3*u = -1660 + g. Suppose -4*d + u = 190. Is d a composite number?
False
Let i = -100 + 49. Let d = -35 - i. Suppose 15*v - d*v = -781. Is v composite?
True
Let o(j) = 2565*j**2 - 71*j - 7. Is o(6) a prime number?
False
Let s(i) = 2*i - 1. Let z(o) = 1162*o - 57. Let t(v) = -4*s(v) - z(v). Is t(-7) prime?
False
Let p be (-744310)/(-22) - 3/11. Let k = p - 18443. Is k prime?
False
Let a be (1/3)/(15/45). Let k be (11 - -2)*a*(-1 + -56). Let m = -40 - k. Is m prime?
True
Suppose f - 16 = -0. Suppose 464 = -8*m + f*m. Is m prime?
False
Let o(k) = 86906*k + 193. Is o(3) a prime number?
False
Suppose 131*n + 36 = 134*n. Suppose -13*w + n = 12. Suppose -11*z + 1542 - 541 = w. Is z prime?
False
Let v = -34 +