. Let y = x + -10. Is (1 - y) + 83/1 composite?
True
Let b = -197 - -349. Suppose 0 = -3*c + b + 97. Is c prime?
True
Suppose 159*k = 161*k - 3702. Is k composite?
True
Let w(p) = p**3 + 7*p**2 - 4*p + 3. Let l(h) = -3*h**3 - 2*h + 1. Let n be l(1). Is w(n) composite?
False
Suppose 0 = 5*r - 3*l - 99, 1 = -3*l - 8. Let h be r/(-24) - (-22)/8. Suppose 1736 = 4*q - h*i + 290, -4*i = 4. Is q a composite number?
True
Let u(i) be the third derivative of 31*i**7/5040 - i**6/120 + i**5/10 - 7*i**2. Let a(n) be the third derivative of u(n). Is a(7) a composite number?
False
Let a be ((-5)/(-15))/(2/24). Let l = 104 + 130. Suppose -1246 = -a*u - l. Is u prime?
False
Let l = 2021 + -728. Is l prime?
False
Suppose -92 = 4*s - 280. Let o = s - -626. Is o a composite number?
False
Suppose 28*a + 193146 = 521334. Is a prime?
False
Let w = 61 - 64. Is 518 + -2 + (-3)/w composite?
True
Suppose 1425842 = -18*p + 40*p. Is p a prime number?
True
Let n be 32/(-12)*6/(-4). Suppose 4*f - 3*b = 1345, -670 = -n*f + 2*f + 4*b. Is f prime?
True
Let d(b) = 37*b**3 + 6*b**2 - 2*b + 6. Is d(5) a composite number?
True
Let c(x) = 76*x**2 + 34*x - 1. Is c(-8) prime?
True
Let a = 2498 - -6351. Is a a prime number?
True
Is ((-29228)/(-14))/((-160)/56 - -3) composite?
True
Let u = 2113 - -1936. Is u a composite number?
False
Suppose -n + 162683 = -4*x, 5*n - 585608 = -5*x + 227732. Is n a composite number?
False
Let x = 22 - 24. Is ((-703)/x)/((-18)/(-36)) a composite number?
True
Suppose -4*v = -u - 5, 3*u - 3 = v + 2*v. Suppose 1469 = 2*a + u*o, -2*o = 3*a - 879 - 1337. Let b = -389 + a. Is b a prime number?
True
Suppose -3*f = -7 - 5. Suppose -5*i + 6595 = 5*z - 3*z, 5276 = 4*i - f*z. Is i prime?
True
Suppose d + 0*d + 1 = -k, 0 = 5*k - 2*d - 23. Suppose -k*u - 1049 = -5*s, -4*s = -5*u + u - 836. Is s prime?
True
Let g(p) = -15643*p + 211. Is g(-4) composite?
True
Suppose -5*h + 217 + 48 = 0. Suppose 0 = -2*p - 0*p - 5*z + h, -12 = -4*z. Is p a composite number?
False
Let a = -687 + -192. Let w be (2/(-4))/(1/(-2504)). Let c = a + w. Is c prime?
True
Suppose 7*p + 4 = 3*p, 0 = -3*t + 5*p + 13184. Is t prime?
False
Let h = 12 - 20. Let d(b) be the third derivative of -b**6/120 - b**5/12 - 3*b**4/8 + b**3/6 + 31*b**2. Is d(h) composite?
True
Is (2/4 - (-45)/(-30))*-13261 composite?
True
Suppose 5*q = -3*s + 1897 + 13302, -2*s - 4 = 0. Is q composite?
False
Suppose -6*d + 67217 + 7621 = 0. Is d a prime number?
True
Suppose -5*o + 4604 = -o. Is o composite?
False
Let t = 1714 + -617. Is t prime?
True
Let x(f) = 224*f**3 + f**2 - 3*f - 7. Let u(d) = -112*d**3 - d**2 + 2*d + 4. Let a(q) = -5*u(q) - 3*x(q). Is a(-2) composite?
False
Suppose -14*j = -10057 - 96469. Is j a composite number?
True
Suppose 6*c - 11*c = 3*x - 33680, 3*c = 4*x + 20237. Is c a prime number?
False
Let c = -77 + 77. Suppose c = 3*x - 3285 + 1068. Is x prime?
True
Let x(h) = -2*h**2 + 2. Let z be x(2). Let j = z - -6. Is 22 + (j - -8) + -4 composite?
True
Suppose 26*w - 24*w = 6. Suppose 5*x - 9227 = -2*p, 0 = -x + w*x + 3*p - 3682. Is x a composite number?
False
Is 120912/(-32)*6/(-9) prime?
False
Suppose 64*p = 30*p + 192678. Is p composite?
True
Suppose 0 = -4*i + 5*i - 19. Let h(c) = -c**3 + 20*c**2 - 30. Is h(i) a prime number?
True
Let u be 2 + 2 + 8*5. Is (u/16)/((1 + 2)/36) prime?
False
Suppose -2*x + 40 = 2*x. Suppose x = -4*z + 6*z - 4*q, -5*z + 3*q = -18. Is (4 - z)/((-3)/(-345)) a prime number?
False
Let d = 165 - 313. Let c = d - -297. Is c composite?
False
Is -6 - (16/(-8) - 4563) prime?
False
Is 74162*((-1)/2 + (-7)/(-7)) prime?
False
Let o(r) = -r**2 - 12*r - 16. Let j = -41 + 34. Is o(j) prime?
True
Let g(i) = -29*i + 22. Let r(j) = 5*j - 16. Let d be r(8). Suppose -4*l = -0*y - 4*y + d, l - 5*y + 10 = 0. Is g(l) a prime number?
True
Is (13/(-39))/(4/(-183108)) prime?
True
Let m = 16577 + -11498. Is m composite?
True
Suppose -z = -2*t - 8, 4*z + t - 14 = 3*t. Suppose -z*v - 204 = -1688. Is v*(-3 - (-7)/2) composite?
True
Suppose 0 = -11*v - 832 - 587. Let r = 842 + v. Is r prime?
False
Suppose -q = -1568 - 704. Suppose 6761 = 3*x + 4*o, q = -0*x + x + 5*o. Let j = x + -1370. Is j composite?
False
Let p(z) = 4*z**2 + 17*z + 5. Suppose 4*h - 12*h = -112. Is p(h) prime?
False
Is ((-5444)/(-8))/(1 - 3/6) prime?
True
Let w(x) = -x**2 + 7*x + 11. Let c be 1/(1/(1 + 7)). Let k be w(c). Suppose k*d + 89 = 4*d. Is d prime?
True
Suppose 3*s + 221 = j - 167, -2*s - 1502 = -4*j. Is j composite?
False
Suppose -4*w - 4*z - 16 = 0, 3*w - 4*w + 2*z + 8 = 0. Suppose -2*j - 2 - 2 = w. Is (j - 0)*(-237)/3 a composite number?
True
Let f = 18 + -18. Suppose f = -8*r - 1851 + 10195. Is r a prime number?
False
Let b(g) be the first derivative of 10*g**3/3 - 9*g**2 + 7*g + 12. Is b(7) prime?
False
Suppose -n + 2*a = -10, 0 = -0*a + 4*a + 16. Suppose -246 = -n*j + 136. Is j composite?
False
Let m(n) = -12*n**2 + 6*n - 1. Let a(u) = 13*u**2 - 7*u + 1. Let y be 12/15*15/6. Let q(k) = y*m(k) + 3*a(k). Is q(6) a prime number?
True
Suppose -4*r - 2*z = -23756, 4*r - 23780 = 3*z + z. Is r prime?
False
Suppose -4*j = 2*x + 4284, 5*j - 2382 + 275 = x. Let k = 3541 + x. Is k prime?
True
Let w(o) = 2*o**3 - o**2 + o - 1. Let y be w(1). Let g = -4 - y. Let x(m) = -33*m - 4. Is x(g) a composite number?
True
Let m be (-4 - 0)/(2/(-257)). Suppose 0*x + m = 2*x. Is x composite?
False
Suppose 40576 = 3*t + 8506. Let g = -3263 + t. Is g a composite number?
True
Suppose 5*w + 12 = 2*u, -1 = 3*w + 4*u + 1. Is 1/w + 1265/22 composite?
True
Let m(u) = -u**3 + 9*u**2 + 22*u + 5. Let a be m(11). Suppose -f + 170 = -3*p, 2*f - a*p - 345 = -0*f. Is f prime?
False
Let k(g) = 607*g + 60. Is k(11) a composite number?
False
Let k be 1 + 4/6*3. Is k + 34/2 + -1 prime?
True
Is ((-8)/52 - 2392291/(-286))*2 composite?
False
Suppose 0 = -4*m - 2*s - 126, -2*m + 68 = -4*m + 4*s. Let r = 23 - m. Is r a composite number?
True
Let v = 26985 - 4048. Is v a prime number?
True
Is (0 + 412/4)*(-236)/(-4) composite?
True
Let m(o) = -442*o - 83. Is m(-61) prime?
True
Let m = 14391 + -9332. Is m composite?
False
Suppose 0 = -6*m + 944 + 454. Let c = m + 436. Is c a prime number?
False
Suppose -2*k = d - 40711, 43*d - 46*d + 122088 = -3*k. Is d composite?
True
Suppose -472 = -15*c + 11*c. Suppose 6*o - 4*o - c = 0. Is o prime?
True
Let g(d) = 2717*d**2 - 124*d - 19. Is g(8) prime?
True
Let x be (-235)/45 + 8/36. Let q(f) = -157*f. Is q(x) a composite number?
True
Let i(y) = 35*y - 18. Let h(c) = -18*c + 9. Let q(d) = -5*h(d) - 2*i(d). Is q(6) composite?
True
Let t(g) = 2*g + 37. Let z be t(-16). Let k(m) be the second derivative of -m**4/12 + m**3 + m**2 + m. Is k(z) prime?
True
Let b = 1679 - 914. Suppose 0 = -3*o + 114 + b. Is o prime?
True
Suppose 4*w + 3 = -13. Is (-599)/(-4) + w/(-16)*-3 composite?
False
Let l = 134034 - 86975. Is l a composite number?
False
Let m be (-27196)/(-6) - (-65)/(-39). Suppose -z + 3*k + 1517 = 0, k - m = -z - 2*z. Is z composite?
False
Let i = 43 + -23. Suppose y + i = -4*y. Is (-2)/y*370 - 0 a composite number?
True
Suppose 27329 = -2*z - 2*w + 82341, -2*w - 6 = 0. Is z a composite number?
False
Suppose -4*c = -329 - 87723. Is c composite?
False
Let r(u) = 100*u**3 + 10 + 7*u**3 + 3*u - 2*u**2 - 15. Is r(2) a composite number?
True
Let v = 40563 + -14234. Is v prime?
False
Let b = 179 + -119. Suppose -2*k + b = g + g, 15 = -5*g. Is k/(-1)*(-9 - -8) composite?
True
Let t = 118 + -56. Is (-18021)/2*t/(-93) a composite number?
False
Suppose 4*z = -3*z - 14. Let q(o) be the first derivative of -4*o**4 - o**3/3 - o**2 - o - 1. Is q(z) prime?
True
Let y(d) = 34903*d**3 - 4*d**2 + 2*d. Is y(1) a composite number?
True
Suppose -8*j + 184780 = 12*j. Is j composite?
False
Let v = 80954 + -26468. Suppose -7040 = 14*f - v. Is f composite?
False
Suppose 4*k + 14 = u, -4*u - 49 = -9*u - k. Let s be (u/(-6))/(25/(-30)). Is 1 + (3 - (-87 + s)) composite?
False
Suppose 0 = 5*h - v - 0*v - 10, 4*h - 5*v + 13 = 0. Suppose -3*x = q - 389, 3*x - 5*x = h*q - 1167. Is q a composite number?
False
Suppose -36*c = -46*c + 24710. Is c prime?
False
Let c(d) = -2 - d**3 + 8*d**3 - 1 - 11*d**2 - 6*d - 6*d**3. Is c(12) a prime number?
False
Let d(l) = l**2 + l - 156. Let h be d(0). Let g = h - -79. Let w = g + 163. Is w a prime number?
False
Let q(m) = 