 = -11. Is (-3505)/(y/(5 - 4)) a composite number?
True
Let h be (402 + 0)/(-3)*12/(-8). Suppose -2*z + h + 181 = 0. Is z a prime number?
True
Let l = 4424 - 33. Is l composite?
False
Suppose -f + 5*f - 8 = 0, -2*f = 4*k - 20. Let c(y) = -y + 9. Let a be c(k). Suppose 0 = a*o - 0*t + t - 264, 4*o - 3*t - 215 = 0. Is o a composite number?
False
Let h = -5 + 4. Let m be h + 10*(-4)/(-8). Suppose -5*b = v + 4*v - 1620, m*v + 5*b = 1291. Is v prime?
False
Let i(d) = -d - 2. Let u be i(-5). Let t = 3 - u. Suppose t = -2*s + 5*s - 237. Is s composite?
False
Suppose 2*c - 86999 = 9*d, 40526 + 46468 = 2*c - 4*d. Is c a prime number?
False
Let g = -3426 - -8648. Suppose 4*x - g = 2642. Is x a composite number?
True
Suppose 0 = 5*t - 20, 3*t + 3153 = -4*m - 635. Let w = m - -221. Let d = w + 1160. Is d a composite number?
False
Let y be 53900/(-198) + (-2)/(-9). Let m = 269 - y. Is m prime?
True
Suppose 0 = -3*o + o + 6. Suppose -70304 = 5*b - o*b. Is b/(-65) + 1/5 a prime number?
True
Let h = -45 - -50. Suppose -h*y = -3251 + 426. Is y a prime number?
False
Let k be (6 + -12)/(-6) + 0 + 121. Suppose -5*i = -178 - 257. Let w = k - i. Is w composite?
True
Let w = 3586 + -2370. Suppose 3*x + 954 = 2*t + t, 5*t + 4*x = 1599. Suppose -5*g = -t - w. Is g composite?
False
Let v(q) be the first derivative of q**5/2 + q**4/6 - 5*q**3/6 - 2*q**2 - 9. Let g(y) be the second derivative of v(y). Is g(-3) prime?
False
Let g(t) = 12*t**3 - 2*t**3 - 2*t**3 - 20 - 18*t - 15*t**2 - 9*t**3. Let f be g(-16). Let s = 921 - f. Is s a prime number?
True
Let b be (-326)/(-22) + (-12)/(-66). Let v be (-1)/5 - 2277/b. Let k = v - -274. Is k a prime number?
False
Let w(v) = 3*v**2 + 41*v + 79. Is w(-31) a composite number?
True
Let h = 5849 + -1443. Is h prime?
False
Let a = 586 + -279. Is a a composite number?
False
Suppose -4*n - 2 = -3*g, g + 2 = -n - 2. Is (0 - (-484)/(n/1))/(-2) a composite number?
True
Let b = 1145 + -514. Is b composite?
False
Let c(j) = j**2 - 2*j + 1. Let m be c(1). Suppose -5*g - 4*d - 42 = -m*d, -2*d = -5*g - 24. Is (g/4)/(6/(-284)) a prime number?
True
Let l be (35/2 - (-11)/(-22)) + -1. Let i be 3*5 - (0 - -1). Is 326/4*(l - i) prime?
True
Suppose 4*r + 7 + 1 = 0, 3*b + r - 12559 = 0. Is b prime?
False
Let g(s) = -10*s + 4*s + 5*s. Let i be g(-6). Is i/8 + (-185)/(-4) a composite number?
False
Let u(b) = -b**3 + 3*b + 2. Let l be u(-2). Let w(c) = 79*c + 1 - 4 - l + 5. Is w(1) composite?
True
Suppose 12 = -4*o, 10 = 4*s + s + 5*o. Suppose 4*z - 7 = s. Suppose z*r - 8*r = -155. Is r a composite number?
False
Let l = 443 + -914. Let m = -114 - l. Suppose -4*d + 7*d = m. Is d prime?
False
Let t(p) = 51*p**2 - 48*p + 296. Is t(33) prime?
True
Suppose 0 = -3*y + 4*d + 47, 5*y - 6*y = 5*d - 3. Let z(k) = 71*k - 4. Is z(y) composite?
False
Let x(b) be the second derivative of -b**4/6 - 8*b**3/3 + 3*b**2/2 + 19*b. Is x(-8) a prime number?
True
Let x = 3 - 2. Suppose 5*b - x = 4*u + 102, 5*u + 165 = -b. Is -46*(-4)/(u/(-20)) a composite number?
True
Let p(i) = 43*i**2 + 3*i - 83. Is p(19) a prime number?
True
Suppose -4*v + 18 = -2. Suppose -3 = -y + v*x, -5*x - 6 = -1. Is y + 2 + (-30)/(-3) prime?
False
Suppose -f = -4*v - 24, 5*v + 30 = 3*f - 6*f. Let u = v - -11. Suppose u*w = -5*k + 1085, -w + 0*w + 862 = 4*k. Is k composite?
True
Suppose -p = 4*l - 16 - 7, l - 8 = 2*p. Let m(o) = o**3 - 4*o**2 + 12*o + 3. Let a be m(11). Is (-12)/18 + a/l prime?
True
Let y(v) = -6*v - 5. Suppose 4*a = 6 + 6. Suppose 4*z + 11 = -g - a, 24 = -5*z + 2*g. Is y(z) a prime number?
True
Let z = 30 - 27. Suppose -728 = -4*k - 0*k + 4*u, -3*u = z*k - 576. Is k a prime number?
False
Let n(k) = 2*k**2 - 10*k - 8. Let v be n(6). Suppose -z = -4, -1019 = -i + v*z + z. Is i a prime number?
True
Let t(c) be the second derivative of -c**4/3 - 5*c**3/3 + 5*c**2 + 4*c. Let y be t(-12). Let p = y - -679. Is p prime?
True
Is (-6 + (4 - 0))*(-13574)/4 a composite number?
True
Let m = -3 + 3. Suppose m = -4*n - 0 - 16. Is (-6)/n*568/4 prime?
False
Let q = -13 + 25. Let u be (1 + -7)/(q/(-114)). Suppose 0 = -l + 70 + u. Is l composite?
False
Let j = -36 + 41. Suppose -2076 = -j*h + 2539. Is h a composite number?
True
Suppose 0 = -13*s + 93557 + 90146. Is s a composite number?
True
Suppose -t + 0*z - 70 = 3*z, 2*t = 5*z - 140. Let q(r) = -13*r - 1. Let i be q(1). Is (-12274)/i - 20/t prime?
True
Let o = -998 + 1836. Is o composite?
True
Suppose k - 4*u - 5157 = -0*u, 3*k - 5*u = 15492. Let x = 3212 - k. Let c = 3354 + x. Is c prime?
False
Let r(b) = b**3 - b**2 - b. Let s(p) = -6*p**3 - 7*p**2 - p + 9. Let g(d) = 4*r(d) + s(d). Is g(-7) composite?
False
Suppose -2*z - 3*i + 871 + 523 = 0, 4*z + 5*i = 2784. Is z a composite number?
False
Suppose -3*l = -2*j - 12776, j + 18368 = 4*l + 1325. Is l composite?
True
Suppose -15188 - 1382 = -2*p. Is p a prime number?
False
Is (-18)/(-4)*116/6 prime?
False
Suppose 3 = -3*q + 2*x + 18, -3*q = 2*x - 15. Suppose -13709 = -q*l - 5274. Is l composite?
True
Let q = 10 - 9. Is 2/(q - 205/215) composite?
False
Suppose -b = -4*b + 1887. Let t = -444 + b. Suppose -t = -i - 4*i. Is i prime?
True
Let s = -5295 - -8546. Is s composite?
False
Is (-3)/13 + (-156049320)/(-780) prime?
True
Let x = -25 - -8. Let h = 24 + x. Suppose -5*k - v = -1309, -h*v + 2*v = 5. Is k prime?
False
Let q(o) = o**3 - 32*o**2 + 39*o - 43. Is q(33) prime?
True
Is (1 - -1)*3523182/156 prime?
False
Let d(m) = 2*m**3 - 2*m**2 - m + 1. Let j be d(2). Let z(v) be the second derivative of v**5/10 - v**4/3 + 11*v**3/6 - 2*v**2 + 19*v. Is z(j) prime?
True
Let y = -6 - -9. Suppose 4*v - y = 5. Suppose 3*s - p - 4*p = 766, -v*s + 509 = -5*p. Is s prime?
True
Let r(g) = -5*g - 28. Let t be r(-6). Suppose -t*j + 7*j = 2705. Is j a prime number?
True
Let d be 8/14*7/2. Suppose 0 = -3*a - 5*g + 1246, 0 = -2*a - 0*g - d*g + 824. Is a a prime number?
False
Suppose 5*c = -5*o + 765, -3*c - 2*c + 4*o + 765 = 0. Is ((-148)/(-6))/(6/c) prime?
False
Let n = 492 - 331. Is n a prime number?
False
Suppose -4*q = -412 - 980. Suppose 4*g + q = 10*g. Is g a prime number?
False
Let u = 3150 - 1789. Is u a prime number?
True
Let k(i) be the third derivative of i**8/2880 + i**7/1260 + i**6/120 + i**5/10 + i**2. Let r(g) be the third derivative of k(g). Is r(-5) composite?
True
Let k(w) = w**2 - 2*w + 10. Let r be k(6). Suppose 3*n + 4*h - r = 0, -h = n - 6*n + 49. Is n/15 - (-722)/6 prime?
False
Let k = 16 - 16. Suppose z + 0*z - 740 = j, -5*z - 4*j + 3727 = k. Is z a composite number?
False
Suppose 3080 = 5*m - 0*d + 3*d, 5*m + 2*d = 3085. Suppose -m = -3*w + 359. Is w composite?
True
Let t(v) = -94*v**3 - v**2 + v - 4. Let s be t(-5). Suppose -4*j - 2*y + s = 0, -4*y + 8235 = 3*j - 552. Is j a composite number?
True
Let a(b) = 48*b**2 + 12*b + 23. Let u(v) = 12*v**2 + 3*v + 6. Let m(i) = -2*a(i) + 9*u(i). Is m(-9) a composite number?
False
Suppose 5*z - 4 = 21. Suppose z*k - 7517 = -2282. Suppose -2*b - 217 = -k. Is b a composite number?
True
Suppose 11 = 2*c + c - 2*g, 0 = -2*c - 4*g + 18. Suppose c*q - 2340 = 5*p, -621 = -2*q - 5*p + 308. Is q a prime number?
True
Let f = 42206 + -20937. Is f a composite number?
False
Let h = -273 - -464. Suppose z - h = 156. Is z prime?
True
Suppose 10*w + 8 = 11*w. Is 2*4/w - -345 a prime number?
False
Let i be (-1 - -1804) + 2/2. Let s(a) = a**2 + 3*a - 8. Let v be s(2). Suppose -2*z = v*z - i. Is z composite?
True
Let i be (9/(-6) + -2)*-70. Let n = i - 118. Is n prime?
True
Suppose 2*v - 3 = 5. Is (4 - 4) + v + 165 composite?
True
Suppose -5*b + 2251 = 366. Is b a prime number?
False
Suppose -10*h = -6*h + 4. Let r = -4 - 0. Is (-1 + h)*38/r a prime number?
True
Let t = 2683 - 1389. Is t composite?
True
Suppose 49*b - 26*b = 24679. Is b a composite number?
True
Let k(q) = q**3 + q**2 + q + 2. Let r be k(0). Suppose h = -r*h. Suppose -5*c = -2*p - 9 + 50, h = -2*p - 2*c + 48. Is p composite?
False
Suppose 5*v + 0*y - 3*y - 6 = 0, 0 = 5*y - 15. Let j(s) be the second derivative of 5*s**4/4 - s**3/3 - s**2 + s. Is j(v) a prime number?
True
Suppose 9 = 3*g, -3*r + g - 5*g = -12. Is (79 - 0)*(2 + -1 + r) a composite number?
False
Let u(a) = -751*a**3 - 5*a - 5. Is u(-1) composite?
False
Suppose -232 = -4*k - q - 82, 4*k - 4*q - 160 = 0. Let t = k + 17. Is t composite?
True
Su