- 17. Is s(6) a composite number?
True
Let t(c) = 742*c**3 - 4*c**2 + 25*c - 95. Is t(6) composite?
False
Suppose -2*w - 10 = -4*h, -3*h + 3*w + 10 = 2*h. Suppose v + 996 = h*x - 30289, 0 = -2*x + 4*v + 12514. Is x prime?
True
Suppose 0 = 25891*j - 25907*j + 871888. Is j a composite number?
False
Suppose 0 = 3*w - 4*d - 1205, 2*w + 4*d - 765 = -d. Suppose 415 = 2*y - 5*r - 218, -4*y = -3*r - 1287. Let v = y + w. Is v a prime number?
True
Let z = 56740 - -59377. Is z a prime number?
False
Suppose 0*c = 3*c. Suppose c = -p - 2*p + 5*s + 2958, -3*s = p - 1000. Is p prime?
True
Suppose m - 4*i = -542, -m = -5*m - 3*i - 2092. Let z = m + 1317. Is z a composite number?
True
Suppose -3*n = -6*n + 4*s - 7, 2*s = -5*n + 23. Suppose -10 = 4*d - 5*b + n*b, -3*d = -5*b + 11. Is (-1 - d)*(-6 - -1055) a composite number?
False
Let n(i) be the second derivative of i**3/2 + 23*i**2/2 - 23*i. Let b be n(-8). Is b + 512 + (-7)/(-1) + -4 a composite number?
True
Let v = 34269 - 72965. Let k = v - -68509. Is k a prime number?
False
Suppose 3*l = -2*i - 8233, -5*l = 4*i - 2*l + 16481. Let v = i - -6285. Is v composite?
False
Suppose -47*m + 277385 + 175579 = -35*m. Is m composite?
False
Let a(u) = -89*u**2 + 12*u - 36. Let h be a(11). Let l = h + 24532. Is l prime?
True
Let w = 69 - 67. Suppose -17*z = -w*z - 43905. Is z composite?
False
Let z be 0/(-1 - (-5 + 5)). Suppose 0 = 5*x + 15, -4*j - 5*x + 2 - 5 = z. Suppose -2*y + 163 = -j*c + 1186, 5*y - 1364 = -4*c. Is c prime?
False
Suppose 0 = -3390*y + 3318*y + 22663512. Is y a composite number?
False
Suppose -17*x - 11*x + 7544845 = 49*x. Is x a composite number?
True
Suppose -48*i + 632432 = -285088. Is i a prime number?
False
Suppose 9*l - 5*l = -4*x, 0 = -2*l + x. Suppose 0 = -3*k + t + 52018, k - 2*t + 4*t - 17351 = l. Is k prime?
True
Let n(p) = 21*p**2 - 6*p + 536. Is n(-25) composite?
True
Is (31098510/72 - 10) + (-15)/20 composite?
True
Let o(l) be the first derivative of -17*l**2 - 13*l - 7. Let b = 25 + -31. Is o(b) composite?
False
Suppose -4*k = -14*k + 720580. Is 2/(7*4/k) composite?
False
Let b be 2959 + (-16)/(40/(-5)). Let x(j) = 81*j - 3. Let n be x(5). Suppose -3*d + b = n. Is d prime?
True
Let s be (1 + -28)/(6/(-2)). Suppose 0 = 3*z + s, c - 3*z - 263 = 1715. Is c a composite number?
True
Suppose 0 = -11*f + 15*f. Let k be 2 + f + 2/(-3)*-3. Is (1752 - k/(-2))/2 composite?
False
Suppose -2*h = -51 + 129. Let x = h + 41. Suppose g - x*g + 685 = 0. Is g prime?
False
Suppose 9*g = 12 - 111. Let r(d) = -d - 29. Let v be r(g). Is (-1198)/(-8) + v/24 a composite number?
False
Let m(h) = -5450*h - 485. Is m(-8) prime?
False
Let o(n) = -n - n**3 - 2*n - 21 - 11*n**2 - n. Let t = 1218 - 1229. Is o(t) a prime number?
True
Let s(y) = 35*y**2 - 5*y - 1. Let m be s(-1). Suppose 2*h + 9 = m. Suppose -a = 2*a + h, -4*z - 3*a + 4021 = 0. Is z a prime number?
True
Let s be ((-300)/(-42))/((-3)/(-5691)). Suppose -4*x + 33893 = 5*n - 5*x, -2*n + 4*x = -s. Is n composite?
False
Suppose -5*f + 2*f = 0. Suppose f*g + c = -g, c + 2 = 0. Let u(k) = 148*k**2 - k - 3. Is u(g) a composite number?
False
Let d(z) = z**3 + 9*z**2 + 18*z + 18. Let u be d(-6). Suppose -u*v = -2*v - 11056. Is v a composite number?
False
Suppose -5*y - 2*q - 3*q + 7420 = 0, -4*y + 5929 = -3*q. Let b = y - 1040. Is b prime?
True
Suppose 7*w - 11*w = -6*w. Is (-6 - -2 - -18057) + w a composite number?
True
Let o(g) = 543*g**3 - g**2 - 1. Let k(r) = -r**2 + 7*r - 3. Let v be k(6). Suppose 0*x = -v*x - l + 2, 2*x - 7 = 5*l. Is o(x) composite?
False
Let a(i) be the second derivative of i**6/24 + i**5/30 + 19*i**4/24 - i**3 - 5*i. Let l(n) be the second derivative of a(n). Is l(-6) a composite number?
True
Suppose -g + 994982 = 4*k, 2*k + 3*g - 127610 = 369866. Is k composite?
True
Suppose -96250 = -39*b + 492923. Is b a composite number?
False
Let j be ((-6)/13)/(-3) - 777732/(-39). Suppose 4*y + 6534 = j. Suppose -2*h = -3*x + 12745 - y, -5*x + 2*h = -15659. Is x a prime number?
False
Suppose 0 = -3*p - 948 - 786. Let l be 2*-1*p/4. Let s = 184 + l. Is s a prime number?
False
Let y = -881 + 1973. Suppose -3*v + 5*b - y = -4496, 3401 = 3*v - 2*b. Is v a composite number?
True
Let y(g) be the second derivative of -7*g**4/12 - g**3/2 - 3*g**2/2 + 2*g. Let u be y(-1). Let q(t) = -t**3 - 5*t**2 + 10*t + 15. Is q(u) prime?
True
Let k be ((-1760)/128 + (-1)/4)*-2. Suppose 293560 = k*v + 34196. Is v composite?
True
Suppose 2*z + i = 764243, 5*z + i - 856099 - 1054507 = 0. Is z a composite number?
True
Suppose -2 = -p - 26. Is ((-30)/p)/(1/1228) a prime number?
False
Suppose 5*j + 1709 + 1721 = 5*x, j = 3*x - 2052. Let h = x - 317. Suppose -2*n = -h + 104. Is n a prime number?
True
Is (245/21)/7 + 2 + 1231624/12 a composite number?
True
Let p(y) = -y + 7. Let i be p(-6). Suppose -84*s - 6 = -81*s, -8156 = -2*v - 5*s. Suppose 16*z = i*z + v. Is z prime?
True
Suppose 52*n - 43*n - 306 = 0. Suppose 26*a - n*a = -30376. Is a prime?
True
Suppose -4750 - 48154 = -k + 5*p, -2*k + 2*p = -105784. Is k prime?
True
Suppose -472169 = -d + 3*m, -d + 6*m + 472153 = 11*m. Is d a composite number?
False
Suppose 21*w = 7 + 245. Suppose 3*v = d + 10043, 2*d = w*v - 17*v + 16731. Is v prime?
True
Let r(v) = 5310*v**2 - v - 1. Let u be r(-1). Suppose -9*c = -0*c - u. Suppose -2*y - c = -4*j, -2*y - 2 = 8. Is j a prime number?
False
Suppose -3*f + 1620430 = k, 2*k - 3320826 = 3*f - 79921. Is k a prime number?
False
Let p = 1364707 - 685554. Is p a prime number?
True
Suppose 535179 - 77855 = 2*s. Suppose 0 = -7*v + 21*v - s. Is v a prime number?
True
Let i(o) = 1305*o**2 - 2*o + 15. Is i(6) prime?
False
Let g(n) = 25*n**3 - 12*n**2 + 7*n - 24. Is g(10) a composite number?
True
Let n(f) = -22451*f + 9739. Is n(-78) composite?
False
Is ((-6)/(-3))/((-4)/18 - (-348288)/1566324) a prime number?
True
Let f(i) = 85*i**2 - 12*i - 17. Let j be f(7). Let t = -477 + j. Is t a composite number?
True
Let h(k) = -k. Let l(s) = 33*s + 311. Let r(y) = -3*h(y) - l(y). Is r(-19) composite?
True
Let l be 4 - (2 + -3) - (-6 - -4). Let v = -4 + l. Suppose -v*k + 10*k - 1757 = 0. Is k prime?
True
Suppose 28 = 4*v, 668*l = 671*l + 3*v - 1929744. Is l composite?
True
Let r(g) = 1399*g + 44. Let y be (12 + -2)*(3 + (-19)/5). Let a be r(y). Is -3 - a/4 - -1 a prime number?
False
Let h(b) = -16654*b - 197. Is h(-9) a composite number?
False
Let h(u) = -26*u + 7. Let s(f) = -f + 1. Let k(c) = 3*h(c) - 15*s(c). Suppose 2*l + 3*w + 4 = -4, 3*w = 2*l + 20. Is k(l) prime?
False
Let q(o) = -2*o**3 + 10*o**2 + 4*o + 8. Let k be q(5). Let g = k - 28. Suppose g = -4*p - 4*t + 196, 3*t = -4*p - 0*t + 194. Is p a prime number?
True
Let s(o) = 2971*o - 214. Let c be s(10). Suppose 42*z = 75150 - c. Is z a prime number?
True
Let i be -5 + 747 - (-5)/1. Let m = 389 - i. Let b = -201 - m. Is b prime?
True
Let p(s) = s**2. Let d(r) = 25*r**2 + 6*r + 10. Let i(g) = d(g) - 4*p(g). Is i(-9) a prime number?
True
Let s(i) = -13796*i + 2559. Is s(-26) composite?
True
Suppose 5*y - 5 = 5*g - 0*g, -y + 25 = 5*g. Suppose -5*i + 4*l = -23, -g*i + 4 = -0*i + 4*l. Suppose i*a - 337 = 296. Is a composite?
False
Is (-4)/(1469748/104986 - 14) a composite number?
False
Let f(y) = -45*y - 257. Let l be f(-5). Let w(a) = 15*a**2 + 5*a - 111. Is w(l) composite?
True
Let b = -63 + 66. Suppose b*i - 3*v = 1113, 3*i - 7*i - 3*v + 1498 = 0. Is i prime?
True
Let n(r) = -41 - 68 - 26 + 137*r + 131*r. Is n(7) a composite number?
False
Let i = 83682 - -63599. Is i a composite number?
True
Suppose 3*m - 10 = -u, 5*m = u - 2 + 8. Suppose -u*b - 12 = 0, -5*b + 1828 = v - 7744. Is v composite?
False
Suppose 4*y - 42*a = -45*a + 336998, 5*a = -10. Is y a composite number?
True
Suppose -4*g = -111 + 91. Suppose -5*j + 3*o = -3*j - 1469, -o = g*j - 3630. Is j a prime number?
True
Let g = 60612 + -34393. Is g prime?
False
Let l be 5416/(-7) + 365/511. Let j = -830 + 443. Let f = j - l. Is f a composite number?
True
Let a(n) = n**2 - n + 11. Suppose 2*g + 2 - 6 = 0. Suppose 5*s - 2*s = 4*o + 34, 0 = -g*o + 10. Is a(s) a prime number?
True
Is 2*(-129)/4*-886*1/3 composite?
True
Is (-15)/6*19354/(-5) composite?
False
Let z be (2/(-4))/((-1)/4). Suppose 1 = -z*r + 5. Suppose 7*f - 7083 = -r*f. Is f composite?
False
Suppose -2*n + 5*n = 15741. Let g be -