h = 4*i + 5*h - 28. Is (-8)/i - -69 - -2 a composite number?
True
Let q = -291 + 241. Let l(f) = -100*f - 5. Let o be l(-5). Let n = o + q. Is n composite?
True
Let j = -43 - -116202. Is j prime?
True
Let a(m) = 786*m + 119. Is a(10) a composite number?
True
Let k(v) = -v - 12. Let s be k(-12). Suppose -p - 3*a = 3*p - 521, 3*p - 5*a - 369 = s. Let t = 181 - p. Is t prime?
True
Let o(j) = 4*j**2 + j - 1. Let m be o(2). Let l = 1 + m. Suppose t - 145 = l. Is t a prime number?
True
Let c(z) = z**3 - 8*z**2 + 10*z - 9. Let x be c(6). Let y = 23 + x. Is (-2)/(3*y/(-1227)) a composite number?
False
Suppose 0 = 27*b - 33*b + 17418. Is b a prime number?
True
Let g be -1318*(4/(-8) + 1). Is -7 + 3 - (g + 2) prime?
True
Let f = -407 + 652. Suppose f = 4*q - 5171. Suppose q = n + n. Is n composite?
False
Let f(a) = -a**3 + 9*a**2 + 12*a - 11. Let p(s) be the first derivative of -s**3/3 + 4*s**2 + 10*s + 1. Let x be p(8). Is f(x) composite?
True
Suppose -20*s = -17*s + 12. Let l(g) = -24*g - 7. Is l(s) a composite number?
False
Let y(x) = x**2. Let q(w) = -53*w**2 - 10*w + 2. Let m(v) = -q(v) + 4*y(v). Is m(3) a prime number?
True
Let z = 34456 - 22971. Suppose 2*i = 3*p + 821 + 6835, 3*i - z = 4*p. Is i a prime number?
False
Let n(s) = -s**3 - s**2 - s - 1. Let r be n(0). Let m be r - (-4 + (-1)/(-1)). Suppose -l - 4*l = -2*w + 431, -m*l = -4*w + 886. Is w composite?
False
Let d(x) = 26*x**2 - 70*x + 25. Is d(17) a prime number?
False
Let w(c) = 3*c - 1. Let s be w(-3). Let p be s/35 - 40/7. Let i(d) = 4*d**2 - d - 7. Is i(p) a prime number?
False
Suppose 4*z = -2886 - 2078. Let u = 2812 + z. Is u composite?
False
Suppose 5*k = -4 - 6. Is (k + 0)/(-8) - (-37075)/100 prime?
False
Is 24911425/(-550)*2*2/(-7) composite?
True
Suppose -4*t + 53 + 383 = 0. Is t prime?
True
Let w = -32 - -28. Let n = w - -257. Is n composite?
True
Let y = 54 + -50. Suppose -y*t = -576 - 292. Is t a prime number?
False
Let v be (4/6)/(3/(-81)). Suppose -5*n + 100 = d, 6*n - 3*n - 67 = -2*d. Let f = n - v. Is f prime?
True
Let m(s) = s + 1. Let n(k) = 162*k**2 - 3*k - 2. Let y(g) = m(g) + n(g). Let c be y(4). Suppose 0*h + c = 9*h. Is h composite?
True
Let s = -7776 + 14279. Is s prime?
False
Let q(g) = -4*g - 5*g**2 - 11 + 4*g**2 - 1 - 8*g. Is q(-7) composite?
False
Is 3/(-12) - (-991221)/132 a composite number?
True
Let n(r) = -20*r - 14. Is n(-6) a prime number?
False
Suppose 4*a - 4 = 0, 2*h = -5*a + a + 23376. Suppose 4*t = -8, 5*v - 2*v = 5*t + h. Is (v/6)/((-2)/(-3)) composite?
True
Let l(p) = p**3 - 9*p**2 - p + 12. Let g be l(9). Suppose -6*d + 4*d + 10 = -g*a, 3*d - a = 8. Suppose j = -d*j + 429. Is j composite?
True
Suppose 0*g = -3*g + 2376. Suppose -b + g = t - 2*b, t + b = 796. Is 0 + t + 1 + -4 a prime number?
False
Is 98678/(2 - 0/(-2)) composite?
False
Suppose 0 = 3*m - 354 - 360. Let w = 2074 + -1283. Let v = w - m. Is v composite?
True
Let i = 175 - 464. Let v = -199 - i. Let c = 269 + v. Is c a composite number?
False
Suppose 4 = -4*s, 4*x + 0 = -2*s + 2. Is x + 94 + 1 + -5 a composite number?
True
Let t(g) = -5*g**3 + 42*g**2 + 27*g - 71. Is t(-21) a composite number?
False
Suppose 24982 = 6*r - 92804. Is r a composite number?
True
Suppose 6*y = y + 5. Is ((-32499)/(-12) - y/4) + -3 composite?
True
Let r = -6 + 10. Suppose 2*b - b = x - 8, 3*x = r*b + 29. Suppose -3*o - x*y = 2*o - 521, -5*o + 5*y + 545 = 0. Is o composite?
True
Suppose 0 = 5*h + 144 - 34. Let y = 18 + h. Is (6/(-15))/(y/4220) a prime number?
False
Let d(t) = 74*t**3 + t**2 - 5*t + 1. Is d(6) prime?
True
Suppose 0 = g + 6*o - o - 15, 2*g - 3 = -o. Suppose -537 = -3*u - g*u. Is u a composite number?
False
Let b = 10 + -11. Let l(s) = 839*s**2. Is l(b) prime?
True
Let a be 1*-2*(-5055)/6. Suppose -8*p - a = -13*p. Is p a prime number?
True
Suppose 5*r - 34193 = -12*v + 8*v, -5*v + 13667 = 2*r. Is r composite?
False
Let t = 80 - 85. Is ((-1964)/(-12))/((t + 3)/(-30)) a prime number?
False
Suppose 9066 = 3*r - 2*a, -a = r - 3328 + 311. Suppose -k - r = -5*k. Let q = k - 198. Is q a composite number?
False
Let w(a) be the first derivative of 65*a - a**2 - 1/3*a**3 - 3. Is w(0) a prime number?
False
Let u(c) be the first derivative of 13*c**4/6 + c**3/6 + c**2 + 3*c - 3. Let j(v) be the first derivative of u(v). Is j(-3) a prime number?
True
Suppose -154 = 3*r - 1036. Suppose r = 3*l + 63. Is l composite?
True
Let t(u) = u**2 - 6*u - 3. Let c be t(5). Let a(w) = -68*w - 3. Is a(c) composite?
False
Is 4/(-14)*112/(-48)*38013 prime?
False
Let o be 10/(-6) - (-10)/15. Let g be 0 + -13 + 2 + o. Is 1*52 + g/(-4) prime?
False
Suppose -2*x + 5*x = -3, 4*k - 34 = 2*x. Suppose -4*q + k + 4 = 0. Let o(t) = 163*t - 2. Is o(q) composite?
False
Let v = -86 + 33. Let m be 1461/6 + 3/6. Let o = v + m. Is o prime?
True
Let g = 30645 - 10436. Is g a prime number?
False
Let q(k) = 11*k - 2. Let w(i) = 11*i - 1. Let c(u) = -3*q(u) + 2*w(u). Let z be c(13). Let f = z - -226. Is f a composite number?
True
Suppose -5*a + 32906 = -k, -4*k - 10 = -6. Is a prime?
True
Let t = 239 + -362. Suppose 348 = -2*u + 3*u. Let w = u - t. Is w composite?
True
Suppose -m - m = 18. Is 2/6 - 798/m composite?
False
Let d be (-135)/75*10/(-6). Suppose 5*x + 2*r = 36091, -7258 = -x + d*r - 33. Is x a composite number?
False
Suppose -2*g + 0*x = -4*x + 26, -4*g - 85 = 3*x. Let o = g + 24. Suppose q + o = 358. Is q a composite number?
False
Let c be 2/6*6/1. Suppose -2*x + 80 = 4*i, 2*i + 115 = 4*x + i. Suppose c*v - 20 = x. Is v prime?
False
Let f = -424 - -1670. Is ((-51)/34)/((-3)/f) prime?
False
Suppose 12*a - 60679 = -9283. Is a composite?
False
Let o = 23761 - 14174. Is o a prime number?
True
Let a be ((-1752)/(-9))/(4/6). Let t = a - 113. Is t a prime number?
True
Let o(k) = 4*k - 5. Let x be o(-3). Let f = 17 + x. Is (-1)/(-2)*(f + 1418) a composite number?
False
Suppose 0 = -2*i + 3*u + 45, 20 = 4*i + 4*u - 20. Is (-10)/(-15) + 2345/i composite?
False
Is (0 + -8)/(-8)*30293 a prime number?
True
Let x(q) be the second derivative of -3*q**5/10 - q**4/4 - q**3/3 + 2*q**2 - q. Suppose -5*s + 3*m - 19 = 8, 5*s + 19 = m. Is x(s) a prime number?
False
Suppose -29*j - 86513 = -546424. Is j prime?
True
Let m = 13 + -6. Suppose -m*b + 8 = 1. Is (3289/13)/(0 + b) prime?
False
Let m = 9 + -4. Suppose n - 3 = 0, -2*n - 9 = -m*d - 0*n. Is d a prime number?
True
Suppose 5 = -0*t + t. Suppose 0 = t*l + 5*k - 4315, 0 = -3*k - 10 - 2. Suppose -3*p = -j + 2*p + 278, -3*j + 4*p + l = 0. Is j composite?
False
Let u(j) be the first derivative of -2*j**3/3 - j**2/2 - 6*j - 6. Let m(o) = 2*o**2 + 2*o + 5. Let n(i) = 3*m(i) + 2*u(i). Is n(9) a prime number?
False
Suppose 27*d = 26*d + 2*y + 4345, 3*d = -2*y + 13067. Is d prime?
False
Let k(m) = -m**3 - 28*m**2 - 23*m + 37. Let c be k(-27). Suppose 0 = -2*u + 2*f - 222, -4*f - 580 + 52 = 5*u. Let j = c - u. Is j composite?
False
Suppose 4*d + y = 87837, 0 = -2*d + 2*y - 2339 + 46255. Is d composite?
True
Let c(k) = 2*k**3 - 7*k**2 - 25*k + 283. Is c(14) prime?
True
Let n(q) be the first derivative of 5*q**3/3 + 11*q**2/2 - 7*q - 121. Let h = 9 - 3. Is n(h) a prime number?
True
Let f(x) = 52*x - 71. Is f(10) prime?
True
Suppose -39*l = -36*l - 28581. Is l prime?
False
Let u be 7376/(-20) + 1/(-5). Let z = -189 + u. Let n = -271 - z. Is n a composite number?
True
Let s(j) = -22*j - 5. Let d = -13 + 11. Let c be s(d). Let y = 70 - c. Is y prime?
True
Let d(s) be the first derivative of -13 + 22 - 3*s + 55*s**2 - 12. Is d(8) a prime number?
True
Suppose -6*w + 3*w = -9. Suppose 0 = 3*o - 4*c + 30, 5*c + 70 = -w*o + 13. Let y = 60 + o. Is y prime?
False
Suppose 15 + 12 = 2*u - 3*o, -2*u = -5*o - 29. Is ((-18)/u)/(3/(-1594)) prime?
True
Let i = -30 + 36. Let j(r) = r**3 - r**2 + 2*r - 7. Is j(i) a composite number?
True
Suppose -2*r + 1 = d, -r + 2*r - 4 = 3*d. Is d/(((-2)/6)/(2198/21)) composite?
True
Is 254/(9/1431*6) a composite number?
True
Let w(r) = 2228*r**3 - r**2 - r + 1. Is w(1) a composite number?
True
Let p(k) = -155*k + 37. Let f be p(7). Is 5/((-20)/f) + -3 composite?
True
Let h(b) = 8*b**2 - 19*b - 20. Suppose -16*r + 7 - 151 = 0. Is h(r) a composite number?
True
Suppose 9*n = 91879 + 122330. Is n a prime number?
True
Let o = -224 + 597. Is o composite?
False
Let q(d) = d - 4. Let l be q(6). S