 - u**2/2 + 1. Is i(h) composite?
True
Suppose -76*p + 71*p - 20 = 0, 0 = -4*a - 5*p + 2744. Is a a prime number?
True
Let o be ((-4)/(-2) - 2)/2. Let u be 1 + -3 + o + -1762. Is (u/(-4) - -1) + -3 composite?
False
Suppose -2*k = -4*r + 167422, -24*r + 25*r = 5*k + 41842. Is r composite?
True
Let b(z) be the third derivative of -z**5/30 + 13*z**4/8 + 5*z**3/3 + 29*z**2. Is b(9) a composite number?
False
Let d be (-72)/15 - 4/20. Let i be 633/15 - (-1)/d. Let x = i + -28. Is x composite?
True
Suppose -12*q + 10*q = 0. Suppose -4*w - 6 + 22 = q. Is (-45678)/(-26) - w/(-26) a prime number?
False
Suppose a + a = 130. Suppose a + 414 = x. Is x prime?
True
Let j(s) = 111*s. Let h be j(1). Suppose 113*r = h*r + 1042. Is r prime?
True
Let n be 12/(-12)*(0 - -1) - -2. Is ((-2)/3 + n)*(2913 - 0) a prime number?
True
Suppose 0 = 4*l + 5*o - 16859, -4*l + 66*o = 70*o - 16856. Is l a prime number?
True
Let o(p) = -p**2 + 5*p. Let d be o(6). Let a(t) = t + t + 6*t**2 + 3*t + 9 + 3*t. Is a(d) composite?
True
Suppose 4*l + 519 = 3*i, 4*i - 498 = 2*l + 204. Is i composite?
True
Let s(o) be the first derivative of 9*o**2/2 + 46*o + 29. Is s(17) prime?
True
Suppose -5*m - 3747 = -4*z - 820, 5*z - 3668 = -3*m. Is z prime?
True
Suppose 0 = -33*o + 51*o - 27486. Is o a prime number?
False
Suppose -24 = 3*g + 3*g. Is 740 + (2 + g - -5) a prime number?
True
Let v(h) = h**3 + 4*h**2 + 4*h - 1. Let o be v(-2). Let q be (9/(45/(-220)))/o. Let d = q + -22. Is d a prime number?
False
Let u(k) = 9*k - 7. Let i be u(14). Let b = 526 - i. Is b a composite number?
True
Let t = 13541 - 8758. Is t composite?
False
Suppose 0 = -5*l - 2*r + 42937, 4*l + 7*r - 34351 = 4*r. Is l a prime number?
False
Suppose -13*g + 8 = -11*g. Let r = 195 - g. Is r a composite number?
False
Let f be (-42)/24*-4*7. Let v = f - -48. Is v prime?
True
Let h be 2/4 + 1/(-2). Suppose h = -x + 162 + 511. Is x composite?
False
Let c = 18576 - 10429. Is c prime?
True
Let j be 0*(-2)/(-2)*-1 + 171. Let i = j + 638. Is i composite?
False
Suppose -34 = 5*u - k - 0*k, 20 = 5*k. Let t(r) be the second derivative of 2*r**4/3 - r**3/2 - 5*r**2/2 - 8*r. Is t(u) composite?
True
Suppose 2*v - 2 = 8. Suppose 0 = 2*i + v*g + 194, -i - 9 - 88 = g. Is (i/(-2))/(6/24) prime?
False
Suppose 74*m - 78*m + v + 116215 = 0, 5*m + v - 145262 = 0. Is m a prime number?
False
Let r(z) = z**3 - 14*z**2 + 9*z - 11. Let x = 25 - 11. Is r(x) a composite number?
True
Suppose -h - 364 = -o + 4*h, 0 = 2*o + 3*h - 676. Suppose 2*s - 284 = o. Is s prime?
False
Suppose -86*u = -126*u + 5442280. Is u a prime number?
True
Suppose 4*a = -4*p + 40968, 29*p - 31*p + 3*a = -20489. Is p prime?
True
Let i = 27 - 14. Suppose 0 = i*q - 10*q - 9. Is q prime?
True
Suppose q - 7050 = -5*y, y + 5*q - 4230 = -2*y. Suppose y = 4*n + 2*n. Is n a prime number?
False
Suppose -2*s + 2*i + 4578 = 0, -4*i + 10648 - 1460 = 4*s. Is s prime?
True
Suppose -2*t = -3*p - 11, -4 = 5*p + 1. Suppose -t*z + 6 + 2 = 0. Suppose 85 + 31 = z*m. Is m prime?
False
Let h be 5*(2 - 142/(-5)). Let g be (-1)/2 + h/(-16). Is 895/g*(-1 + -1) prime?
True
Suppose -22*q - 4872 + 55670 = 0. Is q a prime number?
True
Let k(m) = 46*m**2 + 15*m - 34. Let s be k(-14). Suppose -s = -5*h + 2313. Is h a composite number?
True
Let d be (218 + 3)*(3 + -2). Let s = -10 + d. Is s prime?
True
Let i(q) = -q**2 + 17. Let c be i(0). Let z(g) = g**2 + 14*g - 24. Is z(c) a prime number?
True
Let q be -1 - (1 + -2 + 0). Suppose -7*l - 20 = t - 2*l, -3*t - 3*l - 12 = q. Suppose 8*n - 10*n + 130 = t. Is n a prime number?
False
Suppose -2*v + 251 = -3*k, 2*k + 420 = -3*k + 5*v. Let u = 114 + k. Is u prime?
True
Suppose -6 = 3*d, -3*l + 7*l - 30 = 5*d. Suppose 2*y + 24177 = l*y. Is y prime?
True
Suppose 2*r = -3*n - 1244 + 22641, 4*n + 2*r - 28532 = 0. Is n a composite number?
True
Let w(z) = -8661*z - 80. Is w(-3) prime?
True
Let i(d) = 24*d**3 - 6*d**2 + 4*d + 75. Is i(14) composite?
False
Let c(k) = 33*k + 55*k + 28*k + 8. Let m be c(7). Suppose 5*b - m = b. Is b prime?
False
Suppose l = -2*n - l + 47694, 4*n = 3*l + 95402. Is n a prime number?
False
Let q(c) = 5*c**2 - 7*c + 1. Let b(p) = p + 10. Let o be b(-8). Suppose -2*w + z = o*z - 12, -5*w - z = -27. Is q(w) prime?
False
Suppose 12*c = 10467 - 2343. Is c prime?
True
Suppose -2*a - 22485 = -4*c + 184933, -a + 51850 = c. Is c prime?
True
Let c(j) = -7*j**3 - 15*j**2 - 23*j + 14. Let d(l) = 4*l**3 + 8*l**2 + 12*l - 7. Let a(x) = -6*c(x) - 11*d(x). Is a(-5) composite?
False
Suppose -4*z + 0*z = 0. Let r be 169 - (3 + -1 - -2). Suppose z = 5*k - r. Is k prime?
False
Suppose -14*b - 8 = -12*b. Suppose -m = -3*n + 44, 5*n + 98 = -2*m - 1. Is (b + 3)/(1/m) composite?
False
Let o = 38 + 1785. Is o prime?
True
Let q be 6/(-3)*(-6)/4. Suppose -4*b = -q*h + 242 + 4707, 5*b = 5. Is h composite?
True
Let k(p) = 342*p**2 - 10*p - 31. Is k(-11) prime?
False
Let p(m) = 96*m + 131. Let d(h) = -19*h - 26. Let n(s) = -11*d(s) - 2*p(s). Is n(5) composite?
False
Let b = 59863 - 35832. Is b a composite number?
True
Suppose -6*x + 7*x = 5669. Is x prime?
True
Let t = -11 - -14. Is ((-3)/(-15))/(t/1695) composite?
False
Is (-4)/(-2 + (-118986)/(-59507)) prime?
True
Let r be 5/(-20) - (-22)/(-8). Let t = r + 6. Suppose 0*o - 75 = -d + o, -t*o = -4*d + 302. Is d composite?
True
Suppose -2*h = 5*b - 1495, 0*h = -5*h. Is b composite?
True
Is (6 - 2)*(-77955)/(-60) a composite number?
False
Let y = 724 - 320. Let w = y + -188. Suppose -5*z - 196 + 543 = -4*h, 5*h = 3*z - w. Is z a composite number?
False
Suppose -6*m + 12 = -18. Let f(d) = d**3 + 3*d**2 + 2*d. Let z be f(-2). Suppose m*t = -z*t + 45. Is t composite?
True
Suppose 11*f - 13385 + 4728 = 0. Suppose -3*o = -4*o + f. Is o a prime number?
True
Let m = -502 + -244. Let n = -375 - m. Let v = -208 + n. Is v a composite number?
False
Let f = 680 + -288. Let m = 195 + f. Is m prime?
True
Let p(f) = f**3 + 10*f**2 + f + 7. Let w(b) = -b + 1. Let h be w(-11). Suppose -h = 3*x + 12. Is p(x) a composite number?
False
Suppose -18*x + 43*x - 338425 = 0. Is x a prime number?
True
Let j(i) = -i**3 + 11*i**2 - 11*i - 7. Let h be j(9). Suppose -3*g + 19 = -h. Is g a prime number?
False
Let z(v) = -v**3 + 4*v**2 - 4*v + 6. Let x be z(6). Let c be ((-29)/(-3))/((-5)/x). Suppose 3*l - c = -3*s, -4*l - 4*s = -9*s - 205. Is l a composite number?
True
Is (-119769)/(-6) + 1 + (-21)/14 composite?
False
Let w = -21 + 196. Suppose 37*s - 292 = 36*s. Suppose 0 = -x + w + s. Is x a prime number?
True
Let g(b) = 2*b**3 - 59*b**2 - 69*b + 493. Is g(43) a prime number?
False
Let q(b) be the first derivative of 65/2*b**2 + 3*b - 2. Is q(6) a composite number?
True
Let g = 43 + -36. Let p = g + 2. Suppose h + 5080 = p*h. Is h composite?
True
Let c(x) = 57361*x + 10. Is c(1) composite?
True
Let w = -29 - -24. Let s(o) = -o**3 + 5*o**2 + 7. Is s(w) composite?
False
Let t(b) = 4*b**3 - 10*b**2 + 37*b - 32. Let m be t(14). Let w = -4907 + m. Is w composite?
True
Suppose 3*t + 2*g - g = 10, -2*t + 20 = 4*g. Let d be (-1 + t)*2 - -1. Let z(r) = 51*r - 4. Is z(d) composite?
False
Let l = -25 + 28. Is 505/4 - ((-45)/12 + l) prime?
True
Suppose -5*a + 2*t = -8, 2*a - 4*a - 1 = -5*t. Suppose -382 = -s + a*v + v, 5*s - 4*v = 1965. Is s a prime number?
True
Suppose -3*w + 6*w = o, 4*o + 34 = -5*w. Is o + 3 + -2 + 1104 composite?
True
Suppose -13*z + 8*z = 2*c - 46883, 3*z - 23444 = -c. Is c prime?
False
Suppose -4*d - 3*s - 5145 = 0, -s = -5*d + s - 6460. Let r = -843 - d. Is r a composite number?
True
Let o be (-1323)/14*(-252)/(-2). Let h = -6536 - o. Is h prime?
False
Suppose 0 = -65*g + 61*g + 32836. Is g prime?
True
Suppose -13*l + 18*l = 20. Suppose -v + l*v = 30. Is 735/v*(-4)/(-6) prime?
False
Suppose 12249 = 3*i + 4*z, i - 394*z = -390*z + 4083. Is i composite?
True
Let o be ((-2)/5)/((-2)/535). Suppose -w - 2*m + 135 = 0, 5*m + o = -2*w + 3*w. Is w prime?
True
Suppose 2253425 + 5057471 = 152*m. Is m prime?
False
Suppose -2*a + 2*i + 18 = 0, -3*a - i + 5 = -22. Is (180/(-8))/a*1676/(-5) a prime number?
False
Let x(g) = 57*g**2 + 20*g + 296. Is x(-59) a composite number?
True
Let j = 4835 + -2703. Suppose -4*m = -0*m + 2*p - 4272, -2*m + p = -j. Is m a composite number?
True
Let o = 1718 + -63. Is o a composite number?
True
Suppose -2*l + 1 = 7. Let 