 composite?
False
Let d(o) = -14*o**2 - 5*o + 22. Let x(b) = 29*b**2 + 10*b - 43. Let i(h) = -13*d(h) - 6*x(h). Is i(-13) composite?
False
Suppose -5 = -j, 2*h = h + 5*j + 164. Suppose 18 = 4*i - 2*b, i - 4*i - 5*b = 19. Suppose i*g - h = -23. Is g prime?
True
Suppose -16*w = -17*w, a - 2833 = -2*w. Is a a prime number?
True
Suppose 12*y - 12 = 6*y. Is 2710/(-15)*(-3)/y a prime number?
True
Let c(t) = 2*t**3 - 3*t**2 + 2*t - 3. Suppose 2 - 6 = -2*r. Let u be c(r). Suppose 0 = u*s - 5*a - 1080, 0 = 4*s + 2*a + a - 857. Is s a composite number?
True
Let j(l) = 15*l**2 + 40*l - 30. Let f(p) = -p**3 - 3*p**2 + 4*p - 11. Let i be f(-5). Is j(i) composite?
True
Suppose 381*d - 265542 = 375*d. Is d composite?
False
Suppose 0*l = -5*s - 5*l + 975, 0 = -4*l - 20. Suppose -5*r + f + 370 = -3*f, 3*r + 2*f - s = 0. Suppose 105 = k + 2*k + w, 2*k - r = -4*w. Is k a prime number?
False
Let y = 8 + -9. Let n be (36/24)/(y/(-102)). Suppose -n = -3*t + 2*g, -5*g = 5*t - 76 - 179. Is t a prime number?
False
Let d(u) = 8*u**3 - 3*u**2 - u - 3. Let x be d(3). Suppose 0 = 3*l + x - 30. Let w = -36 - l. Is w a composite number?
True
Suppose 2*o + 3*o = 5*y - 23655, -3*o = 12. Is y prime?
False
Let u(d) = 14*d**2 + 9*d + 2. Is u(-11) a composite number?
False
Let a(l) = -5*l + 1. Let w be a(1). Let c(q) = 3*q + 2. Let o be c(w). Is (24/o)/((-4)/10) a prime number?
False
Let d(s) be the second derivative of 29*s**3/3 + 3*s**2/2 - 15*s. Is d(7) a composite number?
False
Let n(u) = 10*u**3 + 3*u**2 - 5*u + 4. Let d be n(2). Suppose -188 = -2*o - 4*a + d, -16 = 4*a. Is o a composite number?
True
Suppose -f + 0*f + 2*r = -3017, 2*f - 2*r = 6028. Is f prime?
True
Let v be 18/45 - 5052/5. Let z = -511 - v. Is z a composite number?
False
Suppose 11278 = 2*v - 0*g + 4*g, -5*v = 4*g - 28195. Is v a composite number?
False
Let k(m) = 74*m**2 + 7*m + 14. Is k(9) composite?
True
Let j = -21 - -4. Let i = 9 + j. Let u(x) = -x**3 - 3*x**2 + 11. Is u(i) a prime number?
True
Let b(o) = -o**2 + 3*o + 7. Let d(m) be the first derivative of -2*m**3/3 + 3*m**2/2 + 7*m - 5. Let h(f) = 5*b(f) - 4*d(f). Is h(-5) a prime number?
True
Let t(f) = 186*f**2 - 18*f - 41. Is t(-7) composite?
False
Suppose 4*n + 72527 = 3*g - 11610, -2*n = g - 28059. Is g a prime number?
True
Let k(h) = h**3 + 6*h**2 + 4*h - 7. Suppose 0 = -3*q - 2*f + 14, q = -q - f + 10. Is k(q) a composite number?
False
Suppose -2*v = 2*f - 8, 0 = f - 2*f + 2. Suppose 261 = b - v*o - 154, o = -2*b + 815. Is b prime?
True
Let g(b) = 16590*b**2 + 7*b + 6. Is g(-1) a composite number?
True
Let o = 14191 - 3462. Is o a prime number?
True
Let o be 28/21 + (-4)/(-6). Suppose -4920 = -5*i - 5*p, i - o*i - 4*p = -987. Is i a prime number?
True
Suppose -5*h + 9*h - 3*a - 3359 = 0, 4213 = 5*h + a. Let k = -435 + h. Is k composite?
True
Let i = 5769 + 232. Is i a prime number?
False
Let w = 37589 + -24742. Is w prime?
False
Let v = 36162 + -23682. Let s = v + -8539. Is s a composite number?
True
Let p = 87841 - -8820. Is p prime?
True
Let q = 17 - 38. Is (-6495)/q - (-2)/(-7) composite?
True
Suppose 4*l + 8 = -8. Let u be 42/(-4) + (-2)/l. Let s(i) = -i**3 - 5*i**2 + 14*i + 13. Is s(u) a composite number?
False
Suppose 59452 + 47967 = 13*i. Is i composite?
False
Let a be 4/6 - (-1352)/6. Suppose -4*b = 7*b + 1584. Let v = b + a. Is v prime?
False
Suppose 58936 = 19*n - 11*n. Is n prime?
False
Let g(y) be the first derivative of -28*y**2 + 21*y + 20. Is g(-13) prime?
False
Suppose -2*t + 3*t = -13. Let y(d) = 2*d**3 + 2 + 15*d**2 + 9*d - 11 - d**3 + 5. Is y(t) a prime number?
False
Let o = 14 - 11. Suppose -5*y + 63 = 2*u + 365, -y - 453 = o*u. Let p = u - -236. Is p composite?
True
Let i(w) be the first derivative of -3*w**4/2 - 4*w**3/3 + 4*w**2 - w - 6. Is i(-4) composite?
True
Is 6483/((-23)/(-5) + -4) composite?
True
Let n = -3930 - -7721. Is n a composite number?
True
Let u be 3*((-6)/(-2) + -1). Is (u/3 + -253)/(-1) composite?
False
Let v = -30 + 42. Let f be (-80731)/(-114) - 2/v. Suppose 3*m - f = -m. Is m prime?
False
Suppose 14346 = 4*w + 30*a - 28*a, -w + 4*a = -3609. Is w a composite number?
True
Let z be (-9)/2 + (-5)/10. Let b be (3 + z + 2)/(-1). Suppose -5*a - d + 13 = 0, 3*a + d + b = 7. Is a a prime number?
True
Let k be -541*(-2 - 9/(-3)). Let v = k + 1986. Suppose -v = -2*y - 3*y. Is y composite?
True
Let z(k) = -9 - 4 - 9 - 235*k + 11. Is z(-6) a prime number?
True
Let a(y) = 73*y**2 + 36*y + 211. Is a(-16) prime?
False
Suppose 0 = 27*w - 22852 - 59255. Is w a prime number?
True
Is 6997*(0 + (5 - 4)) composite?
False
Let j(d) = -131*d - 80. Is j(-21) composite?
False
Let q(h) = -382*h + 25. Is q(-6) a composite number?
True
Suppose -g - 244 = -723. Suppose -3*q = -2*q - g. Is q composite?
False
Suppose 476 = 6*l - 1006. Suppose j + 4*h = 2*j - l, 467 = 2*j + h. Is j prime?
False
Let l = -8 - -12. Suppose 0 = l*m + t - 17 + 3, 0 = -2*m + 2*t + 2. Is (-62)/m*(-3)/2 composite?
False
Let v(o) = -3040*o - 3. Let m = 91 + -92. Is v(m) prime?
True
Suppose 367919 + 352951 = 30*u. Is u a prime number?
True
Let x be 34/9 + 10/45. Suppose -x*i - i = -5. Is ((-139)/5)/(i/(-5)) prime?
True
Suppose 65*z - 6155 = 64*z. Is z a composite number?
True
Is 100058 + -6*3/2 a prime number?
True
Let l be (2 + 1)*-1*10/(-15). Suppose p - 3*d = 365 + 249, 4*d = -l*p + 1228. Is p a composite number?
True
Let v = 5615 + -3504. Is v composite?
False
Let p(i) = 3*i - 9. Let j be p(4). Suppose s = -3*m + 1820, -1825 = -j*m + s - 3*s. Suppose -4*w + m = w. Is w composite?
True
Let f be (3/2 - 1)*4. Suppose q = -2*n + 5*q + 2136, -f*q - 8 = 0. Suppose -a + n = 3*a. Is a composite?
True
Let f(d) = 69*d**3 + 6*d**2 + 41*d - 389. Is f(9) prime?
True
Let s = 81645 + -53352. Is s prime?
False
Suppose -2*u + 3*o + 8 = 0, -12 = -3*u + 4*o - o. Suppose 0 = -u*x + i + 122, -2*x = -3*x - 5*i + 20. Suppose 7 = l - x. Is l composite?
False
Let w = 37 - 36. Let k(j) = 2042*j + 3. Is k(w) composite?
True
Is ((-217004)/14)/((-110)/385) prime?
True
Let x = -10 + 12. Suppose 3*k + 22 = -b, -4*k - 3*b = -x*b + 28. Let y(m) = -m**3 - 3*m**2 + 2*m - 11. Is y(k) composite?
True
Suppose 2*n + 276 - 61 = 5*d, 5*d + 4*n - 185 = 0. Suppose -4*q + 3 = -d. Is q prime?
True
Suppose 0 = -4*c - y + 56407, 17199 - 45395 = -2*c + 2*y. Is c a prime number?
False
Let g be (-2 + 6 - (-4 + 3)) + -2. Suppose -4*q = g*i - 4776 - 753, 4*i = -q + 7372. Is i a prime number?
False
Suppose 52*s = 2*s - 4*s. Let k = 6 - 0. Suppose s = -k*n + 3*n + 4197. Is n a prime number?
True
Let n = -4567 - -2027. Is (-22)/8*1*n/5 a prime number?
False
Suppose -1171 = 8*u + 53. Let c = 58 - u. Is c a prime number?
True
Suppose -23*v + 21352 = -15*v. Is v a composite number?
True
Let r(k) = -k - 37*k - 49*k - 3. Let g be r(8). Let m = 1184 + g. Is m a prime number?
False
Suppose 0*v = -2*v + 2006. Is v a composite number?
True
Is (-27)/(-189) - 32*4987/(-14) prime?
True
Suppose 10 = -2*v + 32. Suppose -3*a + y + v = -0*a, 4*a - 18 = -2*y. Is 634 - (13 + -1)/a composite?
False
Let o(n) = -23*n - 34. Let i(s) = 70*s + 101. Let c(l) = 6*i(l) + 17*o(l). Is c(17) prime?
True
Let c = 13994 + -2223. Is c a prime number?
False
Let z(w) = w + 33. Let v be z(0). Let f = v + -20. Let j = f + 40. Is j a prime number?
True
Let j be 1 + -5 + (15925/(-7))/(-1). Is 1/2 - j/(-12)*2 prime?
True
Let f(w) = 55*w**2 - 66*w - 114. Is f(-25) prime?
True
Suppose -r + 5 = -4*m, 3*r + 2*m = 1 + 28. Suppose -4*o - 1555 = -r*o. Is o prime?
True
Let b = -6721 + 9494. Is b prime?
False
Suppose -3*v = -5*s - 7*v + 60673, 15 = -5*v. Is s prime?
False
Let c(s) be the first derivative of 2*s**3 + 2*s**2 + 11*s - 2. Is c(6) a composite number?
False
Suppose 17328 = 25*z - 859097. Is z a composite number?
True
Suppose 2*n + 5*j - 9146 = 0, -4*n + 3*j - 4*j = -18328. Is n composite?
False
Suppose -108 = 8*z + 4*z. Is ((-9258)/z)/((-44)/(-12) + -3) composite?
False
Let b(u) = 5*u**3 - 22*u**2 + 9*u - 10. Let i be b(12). Suppose -3*m = -8*m + i. Is m a prime number?
False
Suppose k - 11540 = 30929. Is k composite?
True
Is 128 - 10 - (-1 + -3) a prime number?
False
Let i(r) = 139*r**2 - 54*r - 20. Is i(9) a composite number?
False
Suppose 6 = 4*m - 2*m. Suppose -4*a + 3047 = -m*v, -2280 = -3*a - v - 2*v. Suppose -314 = -5*p + a. Is p compos