 = t*v - 7091 - 1537. Is v composite?
False
Let j be 0 + -1 + ((-28)/1)/(-7). Let d be 8/3*(-12)/(-8). Suppose k - 4*k - j*h + 3768 = 0, -d*h - 2530 = -2*k. Is k a composite number?
False
Let n = 899 + -8. Suppose -n = -3*q + 2031. Is 5/10*(0 + q) a prime number?
True
Suppose 3*u - 903 = -3*o, -2*o + 3*o = 2*u - 602. Suppose -w + 5*p - 1425 = -6*w, w = 3*p + u. Suppose y + 2*s - 99 = 4*s, -w = -3*y + 4*s. Is y prime?
False
Let s(d) = d**2 + 7*d + 41. Is s(-10) a composite number?
False
Suppose -8*h = -55016 - 142688. Is h a prime number?
False
Let i(b) = 22*b**2 + 18*b - 13. Let l be i(-8). Let v = 2942 + l. Is v a prime number?
False
Let p(k) be the third derivative of 0*k + 0 - 5/6*k**3 + 1/12*k**4 - 4*k**2 + 1/60*k**5. Is p(-8) a composite number?
False
Suppose -4*i = 3*r, r + 0*i = 2*i. Suppose -5*d + 4764 = -x, 5*d = -r*x - x + 4766. Is d prime?
True
Suppose 0*w - r = -4*w - 1673, -5*w - 2107 = 4*r. Let p = w - -591. Suppose 3*g - p - 623 = 0. Is g prime?
False
Suppose 22 = 7*g - 13. Let p(t) = 69*t - 10. Is p(g) a prime number?
False
Suppose -49*y + 55148 = -45*y. Is y prime?
False
Suppose -8*g + 37280 = -27768. Is g a prime number?
False
Let u(x) = -608*x + 1. Let l be u(-6). Let q = l - 2025. Suppose 4*r - q + 548 = 0. Is r prime?
True
Suppose 20*k - 15*k + 121525 = 0. Is k/(-15) + 4/6 composite?
False
Suppose -9*r + 14*r = 0, -2*t + 10726 = 3*r. Is t composite?
True
Let a(f) = 230*f**3 - 8*f**2 + 6*f + 5. Is a(5) a prime number?
False
Let x(u) = 1. Let l(p) be the first derivative of -p**2 + 12*p - 1. Let d(v) = -l(v) + 5*x(v). Is d(5) composite?
False
Let d(p) = p - 5 - 7*p - 6*p + 4*p**2. Is d(-5) a composite number?
True
Let u be (-9 - -2) + 0 - 4. Let x(i) = 452*i - 5. Let s(t) = 151*t - 2. Let j(q) = u*s(q) + 4*x(q). Is j(1) a prime number?
True
Suppose -f - 10 = -6*f. Suppose -4*a = d - 23, -5*a + 1 = f*d - 36. Is d prime?
True
Suppose 4*p - 31 = p + 5*k, 4*k = -20. Let g be (p - 6) + 5 - 3. Is ((-18)/4 - g)*-58 prime?
False
Suppose -27*q + 23*q + 32588 = 4*w, 4*q = 3*w + 32588. Is q prime?
True
Suppose -30*w + 604308 = -18*w. Is w composite?
False
Let o = -843 - -1384. Is o a composite number?
False
Let i be (-43 + 89)*(16 + (0 - -1)). Suppose i = 14*n - 12*n. Is n composite?
True
Suppose 2*r = 20 - 4. Is 9990/r + 2/16*2 a composite number?
False
Let c = -16531 + 45420. Is c composite?
True
Let c(l) = -1639*l**2 - 5. Let r(s) = -1638*s**2 - s - 6. Let j(t) = -4*c(t) + 3*r(t). Let v be j(1). Let x = -1139 + v. Is x composite?
True
Let x be 6/4*(-12)/(-18). Let i(d) = 11*d - 10. Let r(l) = 1. Let o(g) = x*i(g) + 6*r(g). Is o(10) a prime number?
False
Let r = 466 + -231. Is r a composite number?
True
Let x be (105 + 1)*(15 + -4). Let z = -632 - x. Let n = z + 3359. Is n prime?
False
Let n = -91 + 12. Let w = -178 - n. Let h = w - -212. Is h a prime number?
True
Let j(s) = 24*s - 20. Let b(o) = -48*o + 41. Let q(p) = -3*b(p) - 7*j(p). Is q(-6) a composite number?
True
Suppose -4*p - p + 10 = 0. Suppose p = -4*v + 10. Suppose -x - 21 = -5*b, -2*x = x - v*b - 2. Is x a prime number?
False
Suppose g = -1044 + 9037. Is g composite?
False
Let z = 10 - 11. Let i be 419 - (-2 + -2 + 3). Let h = i + z. Is h a composite number?
False
Let f(w) = 2*w**2 + 3*w - 2. Let v be f(2). Suppose -v*y = -9*y. Is -3 + 144/1 + y a composite number?
True
Suppose -15*g - 2 = -14*g, 2*x - 4*g - 754 = 0. Is x prime?
True
Let w = -13 - -15. Suppose 4*c + w*g = g - 520, 5*c + 657 = -3*g. Is c/(-4)*(-4 - -8) a composite number?
True
Suppose -5*p = j + 7, -2*j - 2*j + 16 = -2*p. Suppose t = -u - 4109, 8210 = -2*t + j*u - u. Is t/(-7) + 32/112 composite?
False
Suppose 3*d = -4*k + 360, -2*d = -7*d + 3*k + 629. Suppose -3*l + d = l. Is l composite?
False
Suppose 0 = 4*h - 33 + 13. Suppose h*f + 7*f - 948 = 0. Is f a prime number?
True
Suppose 0 = -4*w + 20. Suppose -q - 14 = -x + 3*q, 0 = -5*x + w*q + 25. Suppose 4*k = 3*r - 130 + 548, -5*r = -x*k + 216. Is k a prime number?
True
Let v(l) = 236*l + 331*l + 307*l + 3. Is v(1) a prime number?
True
Suppose 2*f - 5659 = 3*u, -4*f + 0*u + 11343 = -u. Let r = -1798 + f. Is r a composite number?
False
Suppose 2*j - 10 = 0, -4*h + 0*j + 2*j = -182. Let r be (-2)/5 + h/20. Suppose 5*k - 534 = r*k. Is k prime?
False
Suppose -2*z = -2*r + 4668, -2*r + 4*z - 1369 + 6047 = 0. Is r composite?
True
Let j(m) = 16*m**3 - 4*m**2 - 3. Suppose -3*f + f + 6 = 0. Is j(f) a composite number?
True
Let l be (-2)/4*4*1. Let s(d) = -18*d - 1. Let y be s(l). Let h = 114 - y. Is h composite?
False
Suppose -2918 = -2*i + 20916. Is i prime?
False
Suppose -m + 0*m = -210. Suppose m = 3*n - 6*n. Let l = -33 - n. Is l prime?
True
Let g(c) = 3*c**2 - 4*c - 27. Let r(q) = q**2 - 10. Let j be r(7). Let o = -23 + j. Is g(o) a composite number?
False
Let l(u) = -96*u - 5. Let k be l(-14). Let p = 2282 - k. Is p prime?
False
Let i(z) = -z**2 - 4*z. Suppose r = -4*s + 2*s - 4, 0 = 5*s. Let o be i(r). Is (o - 2)*(-295)/2 a prime number?
False
Suppose -4*k - 62375 = -3*h, 4*k = 5*h - 80906 - 23047. Is h a composite number?
False
Suppose i - 8 = -4. Suppose 7 = -o - i*d + d, 3*o - 23 = 2*d. Suppose o*b = 6*b - 179. Is b prime?
True
Suppose -43 = -2*m - 37. Suppose m*h + 2*q - 623 = 0, q - 4*q - 15 = 0. Is h a prime number?
True
Let v(o) = o**3 + 3*o**2 - o + 1. Let g be v(-3). Is g/(-5) + 3147/15 a prime number?
False
Let f(r) = -r + 71. Let d = 18 - 10. Let n = -8 + d. Is f(n) a composite number?
False
Let b(r) = 7*r**2 - 11*r + 1. Suppose 1 = 5*u - 9. Suppose -4*k - 16 = -4*l - 0, -38 = -u*l - 4*k. Is b(l) a prime number?
False
Suppose 0 = z + l - 23256, l - 64410 + 17903 = -2*z. Is z a prime number?
True
Suppose -i - 2*i + 66711 = 0. Is i a composite number?
True
Let r(z) = -z. Let x(p) = 4*p - 9. Let w(q) = -3*r(q) - x(q). Let l be w(5). Suppose -5*i + l*k = -0*i - 1163, -k - 702 = -3*i. Is i a prime number?
False
Suppose -5*a = -4*h + 6*h + 46, 5*h = -2*a - 73. Let l(n) = -n**3 - 9*n**2 - 10*n - 21. Is l(h) composite?
True
Let c(g) = 2*g + 20. Let a be c(-6). Suppose -6136 = -a*l - 0*l. Is l prime?
False
Suppose 8*t - 86158 + 23766 = 0. Is t a composite number?
True
Suppose -2*z = -10, -386 = -4*f + 2*z + 1076. Suppose -f = -4*q - o + 6*o, 0 = -3*q + 5*o + 271. Is q a composite number?
False
Suppose -3 = -j - 2*j. Suppose 3*q - j = -4. Is q/4 + 1905/20 composite?
True
Suppose 2*h = 9 + 1. Suppose -313 + h = -4*n. Suppose -3*g + 2*c = -67, 0*c - 4*c = -3*g + n. Is g prime?
True
Suppose -49516 = 142*p - 146*p. Is p a composite number?
False
Suppose -3*m + 9364 - 2437 = 0. Let i = m - 642. Suppose 44 - i = -3*v. Is v composite?
False
Let t(v) = v + 241. Is t(13) prime?
False
Suppose 0 = -j - 3*d + 23, 3*j - j - 3*d - 19 = 0. Let f(t) = 51*t + 3. Let i be f(-2). Let k = j - i. Is k a prime number?
True
Let b(p) = 203*p**2 + 11*p - 5. Is b(-4) a prime number?
False
Let b be (-1 - 30/(-8)) + 6/24. Is (b + -20)/(2/(-142)) a prime number?
False
Let y be (-2)/13 + 640/104. Suppose 2*v = -5*d + y*v + 47, 0 = -2*d - 3*v + 5. Is d prime?
True
Suppose 50*h = 36*h + 35210. Is h a composite number?
True
Let o(r) = -r**3 + 10*r**2 + r - 12. Let z be o(10). Let d be (-2)/(z - 25/(-10)). Is 7480/16 + (-6)/d a prime number?
False
Suppose -o + 4*t = -20787, 0*o - 2*o + 41554 = -3*t. Is o prime?
True
Let s(h) = -h**3 + 3*h**2 + 21*h - 19. Let u(m) = -m**2 - 11*m + 10. Let g(f) = 3*s(f) + 5*u(f). Is g(-6) a composite number?
True
Let x(i) = -77*i + 17. Let n(h) = -76*h + 18. Let z(k) = 6*n(k) - 5*x(k). Is z(-4) composite?
False
Let k be (-1)/(3/30*-2). Suppose -4*s - k = s, -1288 = -4*v - 4*s. Suppose h = -2*u + 169, 0*h + 2*h = u + v. Is h composite?
False
Let h(s) = -s**2 - 5*s + 7. Let d be h(-7). Is 9/12*(731 + d) prime?
False
Let x(u) = -5*u + 4*u + 15 + 89*u. Is x(8) a prime number?
True
Let y(a) = 121*a**2 - 8*a + 11. Suppose -2*w - w + 6 = 0. Is y(w) a composite number?
False
Let k(f) = 187*f + 1. Let d(m) = 190*m + 1 - 2*m - 1 + 1. Let c(s) = 3*d(s) - 2*k(s). Is c(1) a prime number?
True
Suppose 9*t + 16104 = 6*t. Let y = 2155 - t. Suppose y = 5*a + 1938. Is a composite?
False
Let u(s) = 69*s**3 + 4*s**2 + 5*s - 7. Is u(3) a composite number?
False
Let t(f) = -13*f + 21. Let x be t(3). Let j = 49 + x. Is j composite?
False
Let k(s) = -s**3 + 23*s**2 - 21*s - 1