7*i - 513. Is x(10) prime?
True
Suppose -5*t + 75 = 3*d + 2*d, t - 29 = -2*d. Is 921/9 - (d/6 + -3) a prime number?
True
Let b = 1006 - -724. Let c = b - 107. Is c composite?
True
Let h(z) = 18*z**3 + 5*z**2 + 17*z + 3. Is h(9) a composite number?
True
Suppose -16*s = -11*s - 245. Let h = 138 - s. Let p = h - -77. Is p composite?
True
Let w(t) = -2*t**3 - 10*t**2 + 10*t + 16. Let i(o) = -2*o**3 - 11*o**2 + 11*o + 15. Let j(h) = 3*i(h) - 4*w(h). Is j(8) prime?
False
Let x(p) = 20*p**2 - 4*p**3 + 5*p**3 - 15*p - 10*p - 11. Is x(-18) a prime number?
True
Let g = 488 + 9879. Is g a prime number?
False
Let s(q) be the third derivative of 59*q**5/60 - 7*q**4/24 - q**3/6 + 18*q**2. Is s(-7) composite?
False
Let t = 12 + -9. Suppose -12 = 4*x, t*q + 4 = -x + 1. Suppose -5*o + 0*d - 3*d + 1480 = q, -5*o + 5*d = -1440. Is o a composite number?
False
Suppose 2*r - 7*r + 25 = 0, 3 = 2*d - r. Let p(j) = j - 3*j**3 - 2*j - 5 + j**3 - d*j - 5*j**2. Is p(-5) composite?
True
Suppose 5*y - 2783 = -788. Suppose 0 = c + 138 - y. Let r = c + -182. Is r a prime number?
True
Let b be (3 + -2 + -1)/(-2). Suppose 5*u + 267 - 1382 = b. Is u composite?
False
Suppose -3*r + 1 = 4, 5*v = 4*r + 13669. Is v a composite number?
True
Let z(r) = -7*r**3 + 2*r**2 - r + 1. Suppose -4*q - 3*j - 21 = -q, -4*j = -4*q - 20. Let n be (4/q)/((-3)/(-9)). Is z(n) a prime number?
True
Suppose 0 = 5*r + 5*a - 3*a + 14, 4*a = -8. Let k(d) = -85*d**3 + d**2 - 2*d - 2. Let f(v) = v**3 + v**2 - v. Let i(u) = r*f(u) - k(u). Is i(2) a prime number?
False
Suppose 0 = -9*n + 5*n - 176. Is (-1)/(-4) - 50105/n a composite number?
True
Suppose 4*q + 2*x - 2926 = 4*x, -4*q + 2914 = 2*x. Let z = q + -437. Is z prime?
True
Suppose -2*t + 9*t = -7. Let l be t*6*5/(-10). Suppose -288 - 1149 = -l*n. Is n prime?
True
Let s be 9 + 1 + 13 + -12. Suppose -s*l + 1804 = -7*l. Is l a prime number?
False
Let w(m) = -81*m + 112. Is w(-5) a composite number?
True
Let y = 9 - 6. Let x(d) = 0*d + 18*d**3 + d**2 + 13 - 26 - 4*d + 17. Is x(y) a prime number?
True
Suppose -i - b + 3255 = 0, -3*i - 7*b = -8*b - 9781. Is i composite?
False
Let l be 8 + (12/(-1))/4. Suppose n - l = m, m - 2*m - 14 = -4*n. Is -3*(n + (-1712)/12) a composite number?
False
Is -2*(1 + 0) + (-1 - -236) a prime number?
True
Suppose -2*u - 4*y = -5510, 4*u = -13*y + 9*y + 11032. Is u a composite number?
True
Suppose 4*t - 3*t + 93 = 0. Let h be t/(-33) - 10/(-55). Suppose 13 = -h*n + 5*w, n - 7 = -3*w + 12. Is n a prime number?
False
Suppose -w - 2*w = 0. Suppose -3*j + 2*j = w. Suppose -t + r = -60, -3*t + j*r - 2*r + 165 = 0. Is t prime?
False
Let o(a) = -a**3 + 12*a**2 - 12*a + 13. Let y be o(11). Let s be (-8 - -9)/(y/8). Suppose 53 = s*x - 23. Is x a composite number?
False
Let o be (9 - 11)/(2/(-20)). Suppose -6*u = -4*u - o. Is 632/10*25/u composite?
True
Is 4*(8 - 9495/(-20)) prime?
True
Let y(w) = 2*w - 20. Let q(g) = -g + 10. Let r(h) = 7*q(h) + 3*y(h). Let m be r(7). Suppose 0*c + m*c - 255 = 0. Is c prime?
False
Let m(d) = -d**3 + 8*d**2 + d + 2. Let n be m(8). Suppose n - 4 = y. Is -31*1*(y - 13) a composite number?
True
Suppose -3*b + 33014 + 30685 = 0. Is b a prime number?
False
Let f be 16434/(-42) - 6/(-21). Let y = f + 830. Is y prime?
True
Let i = 5227 + -1841. Is i a prime number?
False
Let g = -11014 + 19655. Is g a composite number?
False
Suppose -14*w + 13*w = -43. Suppose -6*r + w = -5*r. Is r prime?
True
Suppose 13*u - 8*u + 4*x - 12287 = 0, x = -4*u + 9823. Is u prime?
False
Let r = -50405 + 86134. Is r a composite number?
False
Let n be 2/8 - (-5)/(-20). Suppose -4*m + 6*m - 604 = n. Let z = m - 193. Is z prime?
True
Suppose 0 = w - 5837 - 6852. Is w prime?
True
Suppose 76*f = 60*f + 68272. Is f composite?
True
Let h(j) = 1529*j**3 + 7*j**2 - 7*j + 5. Is h(2) prime?
True
Is 1371/(-6)*-14 - -4 a composite number?
False
Suppose -24*v + 20472 + 284064 = 0. Is v prime?
True
Let z = 56335 + -39170. Is z a prime number?
False
Suppose -3721 = -5*h + 4*a, -h + 750 = -0*h + 5*a. Is h prime?
False
Let o(u) = -4*u**2 + 33*u - 15. Let z(w) = -6*w**2 + 49*w - 23. Let k(a) = 8*o(a) - 5*z(a). Is k(6) composite?
False
Suppose 0 = 2*h - 10 + 2. Suppose -75 = -h*f + f. Suppose 0 = -r - 0*c + 2*c + f, 5*r - 4*c = 113. Is r composite?
True
Let f = 34 - 42. Let z(v) = -117*v - 10. Is z(f) a composite number?
True
Let l(x) = -2*x - 8. Let z be l(-5). Let o be z/2*32/4. Let v = o + 5. Is v prime?
True
Let v(m) = -35*m - 14. Let k be -5 + -3 + (-1 - -4). Is v(k) composite?
True
Let q(j) = 9*j**3 + 8*j - 43. Is q(6) prime?
True
Suppose 4*n + 1 = -3, 2*v + 5*n - 767 = 0. Let a be (2*v)/(9 - 7). Suppose -a = -3*r + r + 3*k, -3*r = k - 601. Is r a prime number?
True
Let w(p) = -p**3 - 3*p**3 - 2 + 1. Let s be w(-1). Is 1 + 15 - -1*s composite?
False
Suppose 12*d - 37331 = 58585. Is d prime?
True
Suppose 3*r = 1241 - 314. Suppose 3*a - r - 9 = 0. Is a prime?
False
Let k(t) = -t**2 - 11*t - 8. Let l be k(-10). Suppose -444 - 64 = -l*d. Suppose -h - h = -d. Is h a prime number?
True
Let x(h) = 3238*h**2 - 2*h. Let u be x(1). Is u/(-6)*3/(-2) a composite number?
False
Suppose -282235 = -37*m - 109704. Is m prime?
True
Suppose -2*c = -2*a + 5588, -c - 14670 = -5*a - 720. Is a a prime number?
True
Let i(a) be the third derivative of 5/3*a**3 + 0 + 2*a**2 - 1/4*a**4 + 0*a. Is i(-8) prime?
False
Suppose -n = -5*x + 53899, -5*x - 1470 = 2*n - 55357. Is x prime?
False
Suppose 19*u - 2892968 = -33*u. Is u prime?
False
Suppose -c = 6*c - 37268. Is c/6 - (-6)/(-18) a composite number?
False
Suppose 2*z = 3*d - 2*z + 1, 5*d + 25 = 2*z. Let c be 2*((-77)/(-2))/d. Let n = c + 17. Is n a prime number?
False
Let t = 4259 + -2788. Is t a prime number?
True
Let t be 3/(-3) + 2/2. Suppose t*r - 3*r = -3*s + 3, -r + 2*s - 1 = 0. Let u(a) = -92*a - 1. Is u(r) composite?
True
Suppose 249*t - 238*t - 194227 = 0. Is t a composite number?
False
Let j = -11 - -19. Let p = j - 4. Suppose p*g = -2*i + 450, -3*g - i = 4*i - 348. Is g prime?
False
Let s(o) = -3385*o + 551. Is s(-6) a composite number?
True
Let h(u) = -u - 1. Let b be h(-4). Suppose 2*i + 0 + 2 = 0, 2*g - 167 = -b*i. Is g a composite number?
True
Let p be (8/4)/2 - -1. Is -1 + -5*p/(-5) + 1254 a prime number?
False
Suppose -3*m - 4*b + 67423 = 0, 2 = -3*b + 14. Is m prime?
True
Let p(i) = -168*i + 83. Is p(-12) composite?
False
Let c(f) = f**3 - 8*f**2 - 12*f - 8. Suppose 8*y = 4*y + 20. Suppose 2 = 2*d - 4*h, -y*d + 44 = -5*h + 14. Is c(d) a prime number?
True
Let o(t) = 3 - 3 + 2*t - 3. Let i be o(2). Suppose 4*y - 99 = -2*l + 5*l, -y - 4*l + i = 0. Is y a composite number?
True
Let a = 4 + -4. Suppose 5*k = 3*s + 1112, a = -2*k - 2*s - 93 + 541. Is k a composite number?
False
Suppose -p = 5*d - 59, 2*d - 4*p = d + 16. Suppose 3*c + 5*f + 18 = 0, 3*c + 2*f + d = c. Is (-2)/c*0 - -467 prime?
True
Suppose 19274 = 14*a - 10588. Suppose -911 = -4*w + a. Is w prime?
True
Let v = 21 - 19. Let d(y) = 8 + 0*y - y + v - 2*y. Is d(-19) composite?
False
Let a(k) = 80*k + 3. Suppose 4*l = -5*l + 108. Suppose 3*d + 1 + 0 = 2*h, 0 = 4*h + 4*d - l. Is a(h) prime?
True
Is (-1)/(12/(-4) - (-6752)/2251) a prime number?
True
Let r(m) = 86*m - 12. Let y be r(2). Is 1/8 + 164940/y prime?
True
Suppose -y = -3*y + 12. Let i be (-6)/4*(-8)/y. Suppose i*o = -o + 753. Is o composite?
False
Let b(i) be the third derivative of -i**6/120 - i**5/30 + i**4/24 - 5*i**3/6 + 2*i**2. Is b(-5) a composite number?
True
Suppose p + 59405 = 3*o, -23*o = -24*o - 5*p + 19791. Is o composite?
False
Suppose 9*l = 5*l - 168. Suppose -339 = -5*i + 146. Let c = l + i. Is c composite?
True
Let n(y) = 88*y**2 + 2*y - 3. Let h(q) = -89*q**2 - 2*q + 2. Let w(g) = -4*h(g) - 3*n(g). Suppose c + 1 = -0*c. Is w(c) prime?
False
Suppose 15*b + 3*f = 19*b - 3914, 2*b = f + 1956. Is b composite?
False
Let g(x) be the first derivative of x**4/4 - 2*x**3 - 21*x**2/2 - 17*x + 4. Is g(15) prime?
True
Let o(g) = 113*g**3 - 3*g**2 - 5*g - 8. Let r be o(-2). Suppose 5*j - 6127 = 1208. Let k = j + r. Is k a prime number?
False
Let o(i) = i**2 + 2*i + 12. Let g be (-4)/(32/20)*-22. Suppose 0 = -6*t + t + g. Is o(t) composite?
True
Suppose -314572 = -20*b + 154648. Is b a composite number?
True
Suppose 15*h + 4*g - 5730 = 13*h, -h - 4*g = -2867. Is h prime?
False
Let w(d) 