 -2*t + d + 9010, -4902 = -t - d. Is t a composite number?
True
Let z(v) = -129*v. Let s be z(-1). Is (-3)/(-2)*(-16)/(-12) + s a composite number?
False
Let q = 2686 - 1515. Is q a composite number?
False
Let c(y) = -2*y**3 - 4*y**2 + 6*y - 9. Let s be c(-7). Suppose -3*a = 2*o + 2*o - s, 0 = 2*o + 4. Is a composite?
False
Suppose -r = 4*t + 5, -t + 2*t = -5*r + 13. Suppose -8*d = -r*d - 1825. Is d composite?
True
Suppose 5*s - 2515 = -560. Is (1 - -1)/(-1) + s a composite number?
False
Let l(c) = 754*c - 37. Is l(24) a prime number?
True
Let w(o) = o - 4. Let q be w(6). Let l be -6 + (q - 0) + -3. Is 1782/14 + 2/l a prime number?
True
Suppose 0 = 2*c + p - 122, 6*c - c - 299 = -4*p. Suppose -2*x + 343 = -c. Is x composite?
True
Let w be (-32)/(-10) + 2/(-10). Let k(v) = 9*v**3 + 4*v**2 - 9*v + 7. Is k(w) a prime number?
False
Let o = -26 - -29. Let n be 4533/6 + o/6. Let t = n + -449. Is t prime?
True
Suppose 4*n - 7 - 17 = -5*j, j - 9 = -5*n. Let q be (205 - 1)/(n/1). Let p = q + -86. Is p a composite number?
True
Is (537 - 4 - -5)/(2/1) prime?
True
Let z(b) = b - 13. Let d be z(17). Suppose 4*h + 68 = 4*m + 404, -m = d*h - 331. Is h a prime number?
True
Suppose 4*m = 2*b + 990, m - 5*b - 261 = -0*m. Let h(n) = 5*n**2 + 2. Let u be h(-3). Suppose m = o + u. Is o composite?
False
Let i = 23147 - 15154. Is i prime?
True
Let o = 23372 + -13941. Is o composite?
False
Suppose 0 = -4*o + o + f + 6976, 2322 = o - f. Is o a prime number?
False
Let b = 121 - -15. Let j = b - 53. Is j a prime number?
True
Suppose 8*q = i + 11*q - 1609, q - 6381 = -4*i. Is i a composite number?
True
Let f be (3 + -3)/(2 + -5). Is (f + -2)/(3 - (-2139)/(-711)) a composite number?
True
Let l(s) = 6*s**2 - 14. Let f be l(0). Is f/(-7) + (3161 - 0) composite?
False
Let w be 1/2 + (-10)/(-4) - -2. Suppose 1186 = 3*z + w*f, z = -2*z + f + 1192. Is z composite?
False
Suppose -14 = 3*f + 58. Let q be (-2)/11 + f/(-11). Suppose 0*k + q*k = 74. Is k a composite number?
False
Let q(u) = 9871*u**3 + 3*u**2 - 24*u + 21. Is q(1) a prime number?
True
Let k = 6 - -62. Let o = 225 - k. Is o a composite number?
False
Let k = -72 - -375. Suppose 5*i - 537 - 1103 = -5*b, i - 4*b - k = 0. Is i prime?
False
Let k be (3/3 - -60) + 5. Is (-5520)/(-11) + 1 + 12/k prime?
True
Suppose 4*b + 4 = 0, 2*x = -27*b + 26*b + 3081. Is x a prime number?
False
Suppose 48697 = 14*x - 84681. Is x a prime number?
False
Let x = 7 + 2. Let d(l) = l**2 + 15*l + 49. Let c be d(-10). Is 2 + c + x - -1 a prime number?
True
Let f(l) = l**3 - 8*l**2 - 7*l - 3. Suppose 3*o + 20 = t, 5*o + 2*t + 24 = -t. Let q be -6*9/o + 1. Is f(q) composite?
False
Suppose 3*k + 15 = 8*k. Suppose -8*p + 3*p = -5*y - 2710, -k*p = 2*y - 1621. Is p a prime number?
True
Let k(s) = -7*s**2 + 139*s - 32. Let r be k(25). Suppose 0*o + o + 403 = -3*p, -p = o + 395. Let w = o - r. Is w composite?
False
Suppose 75 = 3*x + 12. Let y be (-6)/4*(-70)/x. Suppose -y*q + 662 = -3*q. Is q a prime number?
True
Let o(i) = 22*i**2 + 4*i + 2. Let s be o(4). Let v = s - -11. Is v prime?
False
Is -4 - (44/(-8))/((-2)/(-1276)) a composite number?
True
Suppose p + 1485 = -5*s + 9612, -p - s + 8143 = 0. Is p prime?
True
Let w = -4472 + 9187. Let o = -2669 + w. Suppose 3*f - o = -3*a, -2*a - 2*f = 3*f - 1361. Is a a composite number?
False
Suppose 2*x - 4*x + 33836 = -3*i, 84601 = 5*x - 2*i. Is x composite?
False
Let i(k) = 8*k**2 + 6*k + 12. Let j be i(-8). Suppose 20 = -3*p + 7*p. Suppose q - 3*z = 5*q - j, 5*q - 595 = p*z. Is q a composite number?
True
Let i = 12 - 4. Let g(o) = o**3 - 5*o**2 - 6*o + 11. Let m be g(i). Suppose -s - 2*x + 60 = s, 4*s - 3*x - m = 0. Is s prime?
False
Let x(h) = -h**2 - h - 1. Let m(f) be the first derivative of 2*f**3/3 - 7*f**2 - 2*f + 2. Let q(k) = -m(k) - x(k). Is q(12) a prime number?
False
Suppose 56*l - 515866 = 30*l. Is l prime?
True
Let r = 1114 - 318. Suppose -30*c = -34*c + r. Is c a prime number?
True
Suppose 2300*q = 2308*q - 674008. Is q prime?
False
Suppose 0 = -p + 1520 - 339. Suppose 393 = o + j, o + 4*j - p = -2*o. Is o prime?
False
Let x(l) = 2*l + 17. Let g be x(-7). Suppose 1148 = 4*f + b, 3*f - f = -g*b + 574. Suppose f - 93 = 2*c. Is c prime?
True
Is (-64)/(-800) + 24096/50 a composite number?
True
Suppose -r - g + 6527 = 0, 2*r - 7*r + 2*g = -32607. Is r prime?
False
Let h(f) = -f**2 + 191. Let u be -1 - 0 - (-13)/13. Is h(u) composite?
False
Is (-1)/((-6)/14510) + (-2)/(-3) composite?
True
Let s(j) = j**3 + 13*j**2 + 10*j + 6. Let o be s(-12). Is (1*2)/(o/3345) composite?
False
Let a(u) = -71*u**3 - 2*u**2 - 4*u + 5. Suppose 5*q - 6 = -2*f, 5*f - 3*f + 2*q = 0. Is a(f) a composite number?
True
Let y(r) = r**3 - r**2. Let f(b) = -b**3 + 18*b**2 + 11. Let t(m) = f(m) + 6*y(m). Is t(10) composite?
False
Suppose -i + q + 33184 = 0, 3*i + 6*q = 11*q + 99562. Is i a composite number?
False
Suppose 2*y - 1162 = -2*s, 861 = 2*y + s - 306. Suppose -2*a + y = 4*f, -f + 720 = 4*f + 5*a. Is f composite?
False
Suppose -x - 6 = -2*x. Let a(l) = 19*l**2 - 10*l + 26. Let g be a(4). Suppose -x*p = -p - g. Is p composite?
True
Let d = 619 - 429. Suppose 0 = -3*z - 2*z + d. Is z a composite number?
True
Let b(m) = -24*m - 41. Let g be 1/(-2) - (-30)/4. Let s(d) = 12*d + 21. Let t(l) = g*s(l) + 4*b(l). Is t(-12) a composite number?
False
Suppose -k = 4*s - 499068, -9*k + 249524 = 2*s - 11*k. Is s a composite number?
True
Let z(t) = -18*t + 11. Let a = -5 - 0. Let c be z(a). Let d = c - 24. Is d composite?
True
Is ((-14)/(-42))/(6/486828) a prime number?
False
Let r(c) = -10561*c**3 - 4*c**2 - 5*c - 3. Is r(-1) a composite number?
False
Let w be ((-2178)/5)/(4/(-20)). Let c = w + -1091. Is c composite?
False
Suppose 3*u + 15261 = -5*o + 81439, 26475 = 2*o + 5*u. Is o a composite number?
True
Suppose -20*d + 43638 = -14*d. Is d prime?
False
Suppose 4*p = -0*p + 12. Suppose 0 = p*s - r, -s - 4*s = -3*r. Suppose 2*f + f - 261 = s. Is f composite?
True
Let y = 35 + -30. Let w(u) = 2*u**3 + 0*u**3 - 3*u**3 - 1 + 8*u**2. Is w(y) a composite number?
True
Suppose -110 = -5*m - 20. Suppose 24*p - 3786 = m*p. Is p a composite number?
False
Let h(w) = 144*w**2 - 53*w - 553. Is h(-22) a composite number?
False
Suppose 22 = -z - z. Let g = z + 15. Suppose -46 = g*o - 666. Is o prime?
False
Let l be 7/1 + -1 - 0. Let n be (l/(-5))/(18/(-60)). Suppose -5*f + n*h = -51, h = 2*f - 25 + 7. Is f a composite number?
False
Is 2/(-7) + (-1477800)/(-840) prime?
True
Is (-6 + (9746 - -3))/(4 - 3) prime?
True
Let f(p) = -3286*p + 223. Is f(-19) prime?
False
Suppose -443 = -3*n + 586. Let w = n - -136. Is w prime?
True
Suppose 2*k - 5*g = -140, 3*g = 5*k - 2*g + 320. Let v be 3/(-2)*(-280)/k. Let t(h) = -2*h**3 + h**2 - 5*h - 3. Is t(v) a prime number?
False
Suppose -3*l = -4*l. Suppose -4*p - 2563 + 6075 = l. Is p composite?
True
Let f(l) = 30*l - 3. Let q be f(11). Suppose 16463 = 8*n + q. Is n a prime number?
True
Let u = -14 + 15. Suppose 0 = p + 4*m - 15, 2*m + 4 = 3*p + u. Suppose -p*n = n - 356. Is n a composite number?
False
Let g be 24/(-20)*340/(-6). Let i = g - 1646. Let x = i + 3265. Is x a prime number?
False
Suppose -2*w = -0*w - 88. Let g = -8 + w. Suppose -g = y - 91. Is y prime?
False
Let n be (-2)/(-3) - 516/18. Let f be (-4)/(-6) - n/(-42). Suppose -7*i + 2*i + 5*a + 450 = f, 0 = -5*i - 3*a + 482. Is i a composite number?
True
Let t(b) be the first derivative of b**2 - 7*b + 6. Let f be t(5). Is f/(-15) + (-236)/(-5) a composite number?
False
Suppose 0*r + 9793 = 7*r. Is r a composite number?
False
Suppose 2*b - 4*b + 3*c = -52, 3*b + c - 56 = 0. Suppose b = 4*t - 4*p, 5*t - 3*p - 45 = -14. Is (92/t + 4)*2 prime?
True
Let c(y) be the third derivative of -13*y**6/120 - y**5/20 - y**4/12 + y**3/6 + 10*y**2. Let t be c(-4). Let o = -472 + t. Is o a composite number?
True
Let j = 493 + -1430. Let g = 1924 - j. Is g a composite number?
False
Let h be 2/(-5) + (-165348)/(-20). Suppose -h = 8*p - 23203. Is p a prime number?
True
Let g = 3 - 0. Suppose 0 = 2*m - f + 4 - 3, 3*f = -2*m + g. Suppose 0 = 5*s - 5*k - 1645, m = k - 0*k. Is s composite?
True
Let b = -19 - -19. Suppose 3*a - 1059 = -b*a. Is a prime?
True
Let q = -8125 - -14106. Is q composite?
False
Let j(r) = 15*r + 13. Let z(s) = -s. Let f(p) = -j(p) - 3*z(p). Suppose 0 