. Let w(u) = 3*b(u) + k(u). Let z be w(8). Is -25*(z + -1 + 2) composite?
True
Let i(q) = -q - 22. Let m be i(0). Let d be 6/33 + (-1030)/m. Let a = d + -28. Is a prime?
True
Let c(o) = -12*o**3 + 8*o**2 + 8*o - 21. Suppose -y + 3*y - 4*w + 30 = 0, -5*y - 2*w - 15 = 0. Is c(y) prime?
False
Suppose -2*j - 15 + 1 = -2*o, 2*j + 19 = -3*o. Let k be 78/j - 11/44. Is 4/(-10) - 1314/k a composite number?
False
Let s = 1773 - -287. Suppose -s = -o + 670. Suppose 3*a - 3*j = o, -4*a + 3631 = -0*j - j. Is a a prime number?
True
Suppose -3*k - 4*y + y + 756 = 0, y + 248 = k. Let t = -101 + k. Suppose -2*v = -v - t. Is v prime?
True
Let d = -19 - -11. Let m(s) be the first derivative of 7*s**3/3 + 5*s**2 - s - 3. Is m(d) composite?
False
Let m = 832 - -62727. Is m a prime number?
True
Let l = 6 + 0. Suppose u - l*u = -515. Is u a prime number?
True
Let n = 40 + -35. Let u(c) = -11*c**3 - 47*c**2 - 65*c - 1. Let t(s) = 7*s**3 + 31*s**2 + 43*s + 1. Let a(b) = n*u(b) + 8*t(b). Is a(-10) prime?
True
Let j(f) = -f**2 - 3*f + 20. Let p be j(-6). Suppose -2*m = -p*i + 11160, -13182 = -2*i - 3*m - 2027. Is i composite?
True
Suppose -4*l + 1503 = 5*s, 4*l + 5*s - 1506 = 3*s. Suppose 0 = -7*u + 414 + l. Is u a composite number?
False
Suppose -w = a + 4, -2*w + 16 = -6*w. Suppose -13*q - 1173 + 38912 = a. Is q a composite number?
False
Let c = -16370 - -52537. Is c a composite number?
True
Let y be (2*7)/((-22)/(-11)). Let s(x) = 9*x + 2. Is s(y) prime?
False
Let w(t) = -t**2 + 5*t + 1. Let r be w(4). Suppose 5*q - 2*f - 984 + 4325 = 0, 2*f + 3349 = -r*q. Is (-1)/(-1 - 666/q) a prime number?
True
Let x(s) = -s**2 - 13*s - 8. Let v be (18/21)/(1/(-7)). Let u be ((-18)/8)/(v/(-16)). Is x(u) a prime number?
False
Let j(i) = -4 - 2 - i**2 - 5*i + 0*i**2 - 2. Let a be j(-6). Is (-4)/a + (-6226)/(-14) a prime number?
False
Suppose -4*t + 5*b = -0*b + 56, -4*b - 92 = 4*t. Let k = t + 21. Suppose 3*z = 5*a - 1891 - 162, k*a - 830 = -z. Is a a composite number?
True
Let a = -533 + 1272. Is a composite?
False
Suppose 5*r - 834 - 246 = -5*q, 623 = 3*r - 2*q. Suppose 4*k - r = -x + 3*k, 2*x + k = 424. Is x a composite number?
True
Let n(f) be the third derivative of 25*f**4/6 + 7*f**3/6 - 8*f**2. Is n(4) prime?
False
Let o be ((-2136)/(-10))/((-17)/(-85)). Let i = o - 751. Is i a composite number?
False
Let h(i) = -29*i**2 - 3 - 3*i**3 + 21*i**2 - 4*i + i**3 - 3. Let j be h(-7). Suppose 0 = 6*c - 2*c - j. Is c a prime number?
True
Let r be 6/(-6) + 8/2. Suppose 0 = 4*p + 5*l - r, 0 = -2*p - 4*l + 8 - 2. Is (-1)/(4 + p)*-319 a prime number?
False
Suppose -222*s + 230*s - 19288 = 0. Is s prime?
True
Let j(r) = -14*r**2 + 1131. Let m(k) = 5*k**2 - 377. Let o(x) = 6*j(x) + 17*m(x). Is o(0) composite?
True
Suppose -2*s - 2368 = -2*y, 2*s - s = -3*y + 3564. Let o = 1752 + y. Is o composite?
False
Let z = 1302 + 287. Is z composite?
True
Let h be 5*((-3)/(-2))/((-135)/(-36)). Suppose 0*z = -2*z - 6, -h*n + 2*z = -3512. Is n composite?
False
Suppose 4*v = -3*y + 335982 - 2834, -5*v = -5*y - 416435. Is v a composite number?
True
Let m(g) = -5389*g - 51. Is m(-2) composite?
True
Suppose 7*b - 101073 = -0*b. Is b composite?
True
Suppose -d + 11 = d + 5*q, -4*d + 3*q = -9. Suppose d = -2*z + 11. Suppose 0*b + 308 = z*b. Is b a prime number?
False
Suppose -2*a + 4*o = -6314, -o = 5*a + 3*o - 15827. Is a composite?
False
Let p(x) = 4*x**3 - 14*x**2 + 20*x - 17. Is p(9) composite?
True
Let i(l) = 4*l**3 + l**2 + 2*l + 61. Is i(12) composite?
True
Let q(b) = -14*b - 3. Let l be q(-4). Suppose 13 = -6*d - l. Is ((-6)/4)/(d/1562) prime?
False
Let g(f) be the third derivative of 17*f**4/8 + 5*f**3/3 - 151*f**2. Let b = -8 + 13. Is g(b) a composite number?
True
Let m(g) = 9*g - 1 - 25*g + 2 + 18. Is m(-4) prime?
True
Let n be (-10)/3*(-4 + (-44)/(-8)). Is (n - (-49 + -4)) + 5 composite?
False
Let w = -2292 - -5429. Is w prime?
True
Let q(t) = 8924*t**2 - 17*t - 18. Is q(-1) prime?
True
Suppose p - 13 = 3*y, 4*p - 2*y - 51 = 51. Let t = p - 17. Is t composite?
False
Suppose 0 = -4*g + 4*h + 12, 2*g + h - 5 = g. Is 25*-3*g/(-12) composite?
True
Suppose -9*u = 20*u - 10759. Is u composite?
True
Let c = -34551 + 51070. Is c composite?
False
Let k(n) = -10*n - 18. Let m(o) = 7*o + 12. Let x(s) = 5*k(s) + 7*m(s). Let p be x(-6). Suppose p = 3*t - 0 - 261. Is t a composite number?
True
Suppose 3*x = 4*r + 42, x = -2*r - 21 + 5. Let b be 530/45 + (-2)/r. Suppose b*t = 7*t + 715. Is t prime?
False
Is (-3020)/(-2)*3 - -1 prime?
False
Let q be (623/(-14))/(-1 - 29/(-28)). Let u = -839 - q. Is u a prime number?
False
Suppose 2*x - 5*x + 210 = 0. Let m = x + 151. Let q = m - 82. Is q prime?
True
Suppose -2*m = -4*q + 2*m - 48, q + m = -2. Is q - -3 - (-971)/1 prime?
True
Suppose 0 = -w + 65 + 20244. Is w a composite number?
True
Let b be 15/21 + (-6)/(-21). Suppose -b = -n - 3*j + 2*j, -5*j = -4*n + 22. Is (-5 + n)/(2/(-449)) composite?
False
Let l = -10198 - -14981. Is l composite?
False
Suppose -4*u = i - 19 + 1, -u = -i - 2. Let o = -65 + 65. Suppose i*y = 50 - o. Is y composite?
True
Let i(u) = -3*u + 2. Let d be i(-2). Let x be d/28 + (-3208)/7. Let r = x + 659. Is r composite?
True
Suppose -2*i - 5*w + 79 = 0, -2*i - 173 = -6*i + 5*w. Suppose 5*x - i = 2*x. Is x prime?
False
Suppose -4*c = -4*j + 4187 - 991, -4*j = 3*c - 3224. Is j a composite number?
True
Let p be ((-8)/(-2) - -1)/(3/(-78297)). Is 1 - (-52)/(-44) - p/11 a composite number?
False
Let s = 15964 - 9017. Is s a prime number?
True
Let s(k) = 5*k**2 - 2*k + 10. Let d be s(-9). Suppose 0 = v - 3*w - d, -2*v - w + 1339 = v. Is v a prime number?
False
Suppose 2*u + 268 = u. Let n = 402 + u. Is n composite?
True
Suppose 3*z = -z + 21688. Let p = z - -2835. Is p a prime number?
False
Suppose n - 2*n - 11 = -4*m, 0 = m - 4*n - 14. Suppose -1039 = -3*w - 4*d, -m*d + 718 + 313 = 3*w. Is w a prime number?
False
Let d be 50/(-20)*(-8)/5. Suppose d*n - 11 - 5 = -4*w, 0 = 4*w - n - 26. Let z(i) = 2*i**2 + 2. Is z(w) prime?
False
Let p(b) = b**2 + 10*b - 2. Let w be p(-10). Let i(x) = -4*x - 1. Let v be i(w). Suppose l = 15 + v. Is l prime?
False
Let n(r) be the third derivative of -17*r**4/24 - 2*r**3/3 + 38*r**2. Let g(d) = -d - 3. Let j be g(4). Is n(j) a composite number?
True
Let c(x) = -x**2 + 7*x - 6. Let o(v) = -v**2 - 7*v + 5. Let j be o(-7). Let a be c(j). Suppose 8*b - 44 = a*b. Is b a prime number?
True
Let o = 344 + -105. Is o a composite number?
False
Let x be (-5082)/55 - 4/(-10). Let v = 159 + x. Is v a prime number?
True
Let f = 1370 - 97. Is f a composite number?
True
Let t(n) = 156*n**2 - 3*n + 2. Is t(3) composite?
True
Let h(d) = -18 + 6*d + 5*d**2 + 4*d**2 + 0*d**2 + 25. Let r = -5 + -1. Is h(r) prime?
False
Let v(a) = -2*a**3 - 41*a**2 - 116*a + 17. Is v(-31) prime?
False
Suppose 3*q + 14 = -1. Let o(a) = -44*a**3 - 2*a**2 + 2*a - 2. Let h be o(2). Is (q/(-10))/((-1)/h) a prime number?
True
Let u = -12604 + 24611. Is u a composite number?
False
Suppose 32*t - 345178 = -7290. Is t composite?
False
Suppose k - 1 = 2. Suppose 29 = -3*f + a - 27, k*a = f + 32. Let j(b) = -3*b + 38. Is j(f) a prime number?
True
Let r be 75*(1 - 556/(-12)). Suppose -5*g + r = 5*m, -4 = -4*g - 0. Is m composite?
False
Suppose 4*q = 12470 + 69014. Is q composite?
True
Suppose 9*d = 8*d + 1097. Is d a composite number?
False
Let m be (-172)/(-14) + 2/(-7). Let l = m + -12. Suppose -2*d + 3*j = 920 - 2280, l = 2*d - 2*j - 1358. Is d a composite number?
False
Let o(r) = 2*r - 51. Let q be o(0). Let y(n) = -10*n**2 + n + 9. Let f be y(5). Let a = q - f. Is a a composite number?
True
Suppose -1012 = o - 2426. Let p = o - 781. Is p composite?
True
Let l = 162 + -76. Suppose -s = -3*f - l, -3*s + 0*s = -4*f - 113. Let o = f - -62. Is o a composite number?
True
Let t(v) = -v**2 - 8*v + 3. Let r be t(-8). Suppose 2071 - 742 = r*a. Is a composite?
False
Let r(u) = -2*u**2 - 8*u + 5. Let x be r(-4). Suppose 0 = -3*o - x*y + 10355, -3*y - 17281 = -5*o - 0*o. Is o composite?
True
Suppose -c + 3 = y, -2*y + 2*c = c - 12. Suppose 5*v + 4*d - 13729 = 2*v, y*d - 22890 = -5*v. Is v a composite number?
False
Suppose 0 = -p - 3, 5*r - 3*p + 2*p - 78 = 0. Suppose -r*x = -8*x - 3143. Is x composite?
False
Let x = -53 + 55. Suppose 0*q - 3628 = -x*q. Is q a prime number?
Fal