 x(a) composite?
True
Let a be (27/18)/(1/2). Suppose -3*u = 3*c - 6*c + 9, u + 13 = a*c. Suppose 2205 + 2060 = c*m. Is m composite?
False
Suppose -23381 - 35871 = -2*q + 3*j, -3*q - 2*j + 88891 = 0. Is q composite?
False
Let c(v) = -5*v - 25. Let u be c(-7). Let l(y) = -y**3 + 5*y**2 - 3*y - 4. Let g be l(4). Is -9 + u - (-34 + g) prime?
False
Suppose -3*f + 95 - 32 = 0. Suppose 10*o - 1169 = f. Is o prime?
False
Let x(c) be the third derivative of 37*c**5/60 - c**4/24 + c**3/6 - 6*c**2. Is x(1) a composite number?
False
Let y = -36 - -34. Is 4/16*y*-1838 composite?
False
Let k = -6 + 8. Suppose 2*r = -k*r. Suppose x - 111 = -r*x. Is x composite?
True
Let g(s) = -13*s**3 - 7*s**2 - 7*s - 4. Let n be (12/3)/(-4)*(1 + 4). Is g(n) a prime number?
True
Is 4/3 - (-2056239)/81 prime?
False
Let c(d) = 103*d**2 + 12*d - 6. Let y = 54 + -49. Is c(y) prime?
False
Suppose 91*b = 94*b - 42. Let k(g) = -1 - 4 - 14*g + 2*g**2 + 0*g**2. Is k(b) a prime number?
True
Let k = -1249 - -2904. Is k a prime number?
False
Let h(i) be the third derivative of -29*i**4/24 - 11*i**3/2 + 22*i**2. Is h(-8) prime?
True
Let g(j) = 6*j**2 + 7*j + 17. Suppose 18 = f + 22. Is g(f) a prime number?
False
Let i = 24847 - 52537. Let p be (i/(-15))/(2 + 0). Let k = p - 586. Is k composite?
False
Suppose -4*b - 18 = 2*c, -5*c + 2*c + 21 = -2*b. Let y be (1*2/(-6))/((-3)/27). Is b + y + (-120)/(-3) prime?
True
Let g = 7 - 5. Let s(w) = -230*w - 5. Let l be s(-7). Suppose -f = g*f - l. Is f composite?
True
Let p(z) = -80*z - 1. Let x(t) = 4*t + 5. Let s(y) = -3*y - 4. Let w(f) = -5*s(f) - 4*x(f). Let o be w(1). Is p(o) prime?
True
Let u be 7*(-6)/(-28)*2. Is 2/u + (-9487)/(-3) a prime number?
True
Suppose -21*a = -27*a + 54342. Is a a prime number?
False
Let p = -14014 - -25283. Is p a prime number?
False
Let h(u) = 464*u**2 - 56*u - 301. Is h(-5) prime?
True
Let a(f) = 82*f**3 + 2*f + 1. Let h be a(-2). Let j = h + 1180. Is j a composite number?
False
Let f(h) = -545*h + 4. Let d be f(-4). Let c = d - -2081. Is c prime?
False
Is (5/10)/((-16)/(-352288)) composite?
True
Suppose 0*l - 12 = -3*l. Suppose 2946 = 2*p + l*s, 0 = p + s - 0*s - 1477. Is p a prime number?
True
Suppose 4*g - 3*c - 14626 = -2325, 4*g = -c + 12321. Is g composite?
False
Let q(o) = 5*o**2 - 18*o - 13. Let a = -40 - -50. Is q(a) prime?
True
Let c be -20348 - -2 - (-24)/8. Let s = c - -38937. Is (-1)/5 + s/45 composite?
True
Suppose -362650 = -5*l + 5*v, 63*l = 60*l - 5*v + 217614. Is l a prime number?
True
Suppose -16*p + 12*p = s - 7699, -s + 5*p = -7726. Is s prime?
False
Suppose -4 - 2 = -d. Let g be ((-50)/3)/((-13)/(-3783)). Is (g/15)/((-4)/d) a prime number?
False
Let q(c) = 819*c**2 + 2*c - 8. Is q(5) a composite number?
False
Let l(g) = g**3 + 5*g**2 + 2*g. Let z be l(-5). Let c = -5 - z. Suppose 0 = -c*d - 5*m + 180, -6*d = -4*d + 3*m - 69. Is d a prime number?
False
Suppose 0 = n - 3*n - 6. Is (672 - n) + (5 - 1) a prime number?
False
Let i(d) = -9*d**3 - d**2 + 3*d + 4. Let x(j) = 27*j**3 + 2*j**2 - 9*j - 12. Let u(l) = 7*i(l) + 2*x(l). Let m be (0 + -2)/((-12)/(-18)). Is u(m) prime?
True
Let q(o) = -151*o**2 + 4*o + 300*o**2 - 151*o**2 - 5 + 52*o**3 + 0*o. Is q(2) a composite number?
True
Suppose -i - 3*o = 17 + 21, -3*o - 3 = 0. Let r be 21/i + 26/10. Suppose r*z - 633 = -3*w, 3*w = 5*z + 533 + 100. Is w prime?
True
Let k = 3672 + -915. Is k a prime number?
False
Suppose 0 = -0*q + q - 8. Suppose -q*i + 16 = -4*i. Suppose 0 = -2*b + 10, -2*b = i*y - 0*y - 102. Is y composite?
False
Let g be ((-215)/(-10))/1*38. Suppose -t + g = t - b, 4*t = -b + 1637. Is t prime?
True
Suppose -f - 2*l = -l - 499, 0 = -f - 5*l + 499. Is f a composite number?
False
Suppose 21*q = 4694 + 16495. Is q a prime number?
True
Is (-1205342)/(-248) + 6/8 a prime number?
True
Let d(t) = 6*t**2 - 32*t - 28. Let b(n) = -2*n**2 + 11*n + 9. Let c(v) = 11*b(v) + 4*d(v). Let z be c(10). Let k = -48 + z. Is k a prime number?
False
Let a = -23375 + 48898. Is a composite?
False
Suppose 4*w - 4*a = 113124, -12*w = -15*w + a + 84847. Is w a prime number?
True
Suppose 2*h + 1085 = r, -5*r - 3*h = -4*h - 5470. Let b = 1882 - r. Is b a composite number?
False
Suppose 3*o = -3*t - 132, 0*t - 47 = o - 2*t. Let c = o + 302. Is c a prime number?
True
Let f(i) = 15*i - 16. Let g be 1/(-2) + 46/4. Is f(g) prime?
True
Suppose n - 1628 = 3*n + c, -c = 2. Let f = n + 1194. Is f composite?
True
Let m(k) = k**2 + 1. Let o be m(2). Suppose o*w + 2*b - 10 = 0, -4*b + 2*b + 10 = 0. Suppose h - 41 - 28 = w. Is h composite?
True
Let v be -22 + (1 - 4) + 2. Let n = v - -24. Suppose 4*p + 101 = m - n, -10 = 2*p. Is m prime?
False
Suppose -2*v + 1483 = 201. Is v composite?
False
Let v(n) = -n**3 + n**2 + 4. Let r be v(0). Let y(j) be the first derivative of 2*j**2 - 2*j + 12. Is y(r) composite?
True
Let b be (-3)/(-3) + 0 - -3. Let n be -3 + (55 - -3) + 2. Suppose 0 = b*o - 211 - n. Is o a prime number?
True
Suppose -36*t = -34*t - 5*y - 1323, -4*t + 5*y + 2671 = 0. Is t composite?
True
Let p = 385 - 902. Let o = p + 954. Is o composite?
True
Let x = -7 + 23. Let k = x + -11. Suppose -5*y = -0*y - 3*v - 916, -y = -k*v - 170. Is y a composite number?
True
Suppose -5*p + 2*p = 2*i - 737, -p - 4*i = -239. Let n = p - -202. Is n prime?
True
Let z be -4 - (0 - -2 - -2). Is z/(-48) + (-347)/(-6) composite?
True
Suppose -8*b + 210 + 37798 = 0. Is b composite?
False
Is (-4 + -2 - -7)/((-2)/(-1774)) a composite number?
False
Suppose -2*w = -4*w - 10, -3*t = 4*w - 11479. Is t a composite number?
False
Is (1 - 1 - 257)/(43/(-1247)) prime?
False
Let y be (-1 - -2)/(22472/7492 + -3). Let c = 522 - y. Is c prime?
False
Let d(a) = -2*a + 18. Let u(z) = -3*z + 36. Let m(h) = 11*d(h) - 6*u(h). Is m(-16) composite?
True
Suppose -4*r + r = 9, 0 = x - 4*r - 11. Let j(s) = 42*s**2 + 4 - 2 + 0 - 1. Is j(x) a composite number?
False
Let v be (-1 - 0)/((-1)/(-3)). Let i(a) = -21*a**3 + 2*a**2 + a + 4. Is i(v) prime?
False
Let t(k) = k**3 - 2*k**2 - 5*k - 29. Is t(9) a prime number?
False
Suppose 2*r + 23 = 3*w - 0*r, -4*r = -w + 21. Suppose 12*b - 9*b + 366 = 0. Let y = w - b. Is y a prime number?
True
Let h be -2 - (-3 - 4 - -1). Suppose -h*p - 2935 = -9*p. Is p prime?
True
Suppose -5*k - 3*j = -5815, -5*k + 10*k + 2*j = 5815. Is k composite?
False
Let y(v) = 5*v**3 - 4*v**3 - 24*v**2 + 5 + 18*v**2 + 11*v. Is y(7) a prime number?
True
Let o(c) = 1 + 14*c - 1 + 10*c**2 + 4 - 17*c. Is o(9) a prime number?
True
Let w(s) = 4*s**2 - 13. Let y be w(-12). Suppose 3*u = y + 2584. Is u prime?
True
Let m(c) = 7016*c - 13. Is m(6) composite?
False
Let h(u) = -u - 2. Let m be h(1). Is (-879)/(-9) - (-2)/m a prime number?
True
Is (-269)/(1/((-37)/38) + 1) prime?
False
Is (-33)/(-22) + (0 - (-59126)/4) a prime number?
True
Let r(d) = d**3 + 2*d - 1. Let a(b) = -2*b**3 - b - 2610. Let m(p) = -a(p) - r(p). Is m(0) a composite number?
True
Let m = -99 - -87. Is -7 + (-54646)/(-12) + (-2)/m composite?
False
Suppose -2*a - 5437 = 9*d - 10*d, 0 = 4*d - 12. Let p = 5038 + a. Is p prime?
False
Suppose 5*i - 97 = 33. Let g = -36 + i. Let j = g + 113. Is j a prime number?
True
Suppose -n = 5*c + 2, -3*c + 4*c = 4*n - 34. Let q = n + -3. Suppose -q*i + 1048 = 3*i. Is i prime?
True
Let f(l) = 125*l**2 - l + 2. Let h be f(2). Let k be ((-17)/2)/((-2)/h). Let c = k + -962. Is c a composite number?
False
Is (-110)/15*52365/(-10) a prime number?
False
Let x(p) = 297*p**2 + 4*p + 7. Is x(-2) a composite number?
False
Let g = 3213 - 341. Suppose -2*n - g = -6*n. Is n a prime number?
False
Let n be 6/(-8) + (2 - 143/(-4)). Let y = n - 23. Is y composite?
True
Suppose -5*s - 1591 = -4*i, 0*i - 1601 = -4*i + 3*s. Is i - (0*1/(-2) + -3) prime?
False
Let f = 30 - 28. Let z(r) = 715*r + 7. Is z(f) a prime number?
False
Let j = -58 - -54. Let h(r) = -289*r - 11. Is h(j) composite?
True
Suppose -3*a - 181 = q + 2*a, -q + 5*a = 161. Let d = q + 258. Is d a prime number?
False
Is 44/132 - 75176/(-3) prime?
False
Let y(q) = q + 8. Suppose 3*f + h - 11 = 0, -2*f + 5*h - h = -12. Let c be y(f). Suppose -3*p - j = p - c, -4*j = -5*p + 36. Is p prime?
False
Let r be ((-70)/98)/((-1)/7). Suppose -2*m = -0*m + 3*s - 1013, -2475 = -r*m + 4*s. Is m prime?
True
Suppose -2*v + 6 = -30. Let n = 27 - v. Suppose 0 = -3*y + 6*u - u + 