?
False
Let i(y) = 2*y - 1. Let x be i(-2). Let j = x + 3. Is (10/(-15))/(j/267) a prime number?
True
Let a be 18/(-12)*1772/(-6). Suppose -18 + a = 5*h. Is h prime?
False
Let d = -19547 + 28500. Suppose -7*t + 3220 = -d. Is t a composite number?
True
Suppose 3*t - 3*y = 48, 2*t + 5*y - 23 = 9. Let v(r) = 3*r - 41. Is v(t) prime?
True
Let y = 10780 - -3709. Is y composite?
False
Suppose 0 = -2*q - 2*y + 3842, 4*y + 2154 = 3*q - 3595. Is q a composite number?
True
Let c = 228 + -203. Let s = -1 - -1. Suppose -o + c + 58 = s. Is o a composite number?
False
Let f(u) = 7*u**3 + 10*u**2 - u - 13. Let w(a) = 4*a**3 + 5*a**2 - a - 7. Let p(q) = -3*f(q) + 5*w(q). Let b be p(-4). Is 7*(8/b + 61) composite?
True
Let v be 4/22 + (-6990)/(-33). Let d = 621 - v. Suppose b - 5*f = -b + d, 666 = 3*b + 3*f. Is b composite?
True
Let p = -4 - -13. Let f be p - 9 - 228/(-2). Let u = f + 49. Is u prime?
True
Let l(x) = -10*x - 27. Suppose -7*s - 82 = 93. Is l(s) a prime number?
True
Suppose 3*k - 4918 = -2*f - k, 5*f + 3*k - 12295 = 0. Is f prime?
True
Let i(o) = -2070*o + 499. Is i(-15) a prime number?
False
Is (3 - 211758/(-9)) + (-6)/9 a prime number?
True
Let r(f) = -214*f**3 + 6*f**2 + 6*f + 3. Is r(-2) a prime number?
False
Let l = 4030 + 23161. Is l composite?
False
Let g be 70/(-15)*966/(-4). Let u(p) = -p - 10. Let r be u(-15). Suppose -r*y - 3*c + g = c, 5*c = 15. Is y composite?
False
Let r(v) = v**2 + v + 12. Let z be r(8). Let o = z - 31. Is o a prime number?
True
Let q(o) = -o**2 + 4*o + 6. Let p be q(10). Let g = 162 + p. Suppose g - 568 = -4*j. Is j prime?
False
Let y be (0 + 0)*(3 - (-30)/(-12)). Suppose y = 15*v - 8902 + 1087. Is v prime?
True
Suppose -15 = 3*u, 3*s - 7*u - 2204 = -6*u. Is s a prime number?
True
Suppose -5*h - 2 = 3*r - 31, 0 = -5*r - 5*h + 35. Suppose -y + 5*u = -87, 2*y - 435 = -3*y + r*u. Is y prime?
False
Let f = 20236 + -6771. Is f composite?
True
Suppose 3*i = -3*g + 1551, 6*g - 4*g = i - 529. Is i a composite number?
False
Let j(n) = n + 13. Let c be j(-10). Suppose -c*w = -2*w - 491. Suppose 2*u = 1525 - w. Is u a prime number?
False
Let o = 3 - 27. Is (2384/o)/(6/(-117)) composite?
True
Let f(a) = 3*a + 2. Let b be f(-2). Let g(j) be the first derivative of -9*j**2/2 - 3*j + 9. Is g(b) prime?
False
Let v be (-2)/(-7) + (-5028)/(-210)*5. Let r = v + -49. Is r a composite number?
False
Let d(w) = -w**2 - 17*w - 19. Let b be d(-15). Let q = -17 - b. Is ((-407)/(-22))/((-2)/q) a composite number?
True
Let v = -113 - -113. Suppose -9*n + 2297 + 2140 = v. Is n composite?
True
Let x(a) = a**2 + 6*a + 6. Let t be x(-4). Let w be (-3)/t*674/3. Suppose -4*s = 3*f - w, 8*s = 5*f + 4*s - 583. Is f a composite number?
True
Let x(y) be the third derivative of -179*y**4/24 + y**3/3 + 2*y**2. Suppose -3*v - 10 + 7 = 0. Is x(v) a prime number?
True
Let t be 21*(16/12 + -1). Suppose 2*k = t*k - 1765. Is k prime?
True
Let p(u) = 392*u**3 + 5*u**2 - 5. Let i(b) = 391*b**3 + 6*b**2 - 6. Let n(k) = 5*i(k) - 6*p(k). Is n(-1) a composite number?
False
Let o(v) = -v**3 + 36*v**2 - 5*v - 37. Is o(16) prime?
True
Suppose -5*s + 2*v = 9387, 3*v - 9388 = 3*s + 2*s. Let d = -76 - s. Is d a prime number?
True
Let p be 3 + 4 + (2 - 5). Is 13996/36 - p/(-18) composite?
False
Suppose -4*h = h + 15. Let i be 180*(117/(-6))/h. Suppose -3*k = -3*v + i, -v - 5*k + k + 385 = 0. Is v composite?
False
Let d = 4814 + 519. Is d a composite number?
False
Suppose -13 = -4*l - 1. Let n(q) = -2*q**2 - 7*q - 1. Let z be n(-2). Suppose 6*m - 2*m - 1721 = 3*o, z*m + l*o = 2158. Is m composite?
False
Let f be ((-1)/(-2))/((-1)/(-2)). Let d(p) = -1 + 2*p + 0*p - 44*p**3 - p**2 + 178*p**3 + 71*p**3. Is d(f) prime?
False
Let a(x) = -x**3 + x**2 + 14*x - 9. Let q be a(5). Is 298/6*q/(-13) composite?
False
Let g(r) = 36*r + 10. Suppose t + 11 + 13 = 5*h, -5*h + 4 = 4*t. Let n be -3 + h + -1 + 8. Is g(n) a composite number?
True
Is 170/255 - 51482/(-6) prime?
True
Suppose -9094 = -1199*t + 1198*t. Is t a composite number?
True
Let s(f) = 31*f + 4. Let w(z) = 30*z + 3. Let m(r) = 2*s(r) - 3*w(r). Let h be m(-5). Suppose 465 = 2*n + h. Is n a composite number?
False
Let n be -1 + (4 - 2 - 1). Let y(t) = t**2 - t + 344. Let m be y(n). Let w = 715 - m. Is w prime?
False
Let f(u) be the third derivative of -11*u**4/24 + 2*u**3/3 - 38*u**2. Suppose 5*s - 4*s + 2 = 0. Is f(s) composite?
True
Let v = -13 - -19. Suppose -2*u + 20 = 5*s, -s = -u - v + 2. Suppose s*a + 148 = 8*a. Is a a prime number?
True
Let s(o) be the second derivative of 7*o**3/6 - 9*o**2 - 7*o. Let h be s(15). Let k = 149 - h. Is k composite?
True
Suppose -14*s + 27465 = -11*s. Is s composite?
True
Let h(j) = -j**3 + j**2 - 1. Let s(i) = 2*i**3 - 5*i**2 + 6*i + 9. Let x(k) = 5*h(k) + s(k). Let t be x(-4). Suppose 7*p = 11*p - t. Is p a composite number?
False
Suppose -3*f = -6*f + 25344. Let y = f - 5555. Is y a prime number?
False
Let x = -28 - -24. Is (x/12)/((-3)/333) composite?
False
Suppose -3*v = 4*g + 4, -3*g + 2*v - v + 10 = 0. Let q(x) = -2*x**2 - x**2 + 0*x**3 + 9 + 0*x**g - x**3. Is q(-8) a composite number?
True
Let u(c) = c**2 - 14*c + 28. Let h be u(12). Suppose 5638 = h*y - 6982. Is y a prime number?
False
Suppose 5*o - 2*o = 8250. Let u = 5761 - o. Is u prime?
True
Let w = -216 - -1003. Is w a prime number?
True
Let n(w) = -19*w**2 + 6*w - 2. Let o be n(4). Let h = 888 + -385. Let c = o + h. Is c a prime number?
False
Let v be (1/(-2))/((-6)/48). Suppose -v - 4 = -2*t. Suppose 71 = 4*k - y, -k + 4*y - t + 3 = 0. Is k prime?
True
Let w(h) = 2*h**2 - 2*h - 3. Let m be w(-2). Let o(l) = -m*l - 11*l + 11 - 27*l. Is o(-6) composite?
False
Let a(f) = -5946*f + 35. Is a(-5) a prime number?
False
Suppose -5*r + 2*k + 324 = -r, 3*r - 2*k - 244 = 0. Let g = 29 + -74. Let j = g + r. Is j composite?
True
Let m(p) be the third derivative of 17/15*p**5 + 0 - p**3 + 1/6*p**4 + 0*p - 8*p**2. Is m(2) composite?
True
Let r be -4*(-2)/28 + (-59066)/(-98). Let p = 856 - r. Is p composite?
True
Let d be (1 - (4 + 1)) + 9. Suppose 2*u + 5*t - 4222 = -u, -25 = -d*t. Is u a composite number?
False
Suppose 4*t + 3*c = 174943, 3*t - 238*c = -237*c + 131204. Is t a prime number?
False
Let y(o) = -5*o**2 - 2*o. Let m(d) = 4*d**2 + 2*d - 1. Let j = -1 - 5. Let i(l) = j*m(l) - 5*y(l). Is i(9) a prime number?
False
Suppose -5*o - 1520 = -4*o. Let r = -741 - o. Is r prime?
False
Let h(b) = -32*b + 14*b + 793 + 13*b. Is h(0) composite?
True
Suppose -21560 = -4*l - 6*l. Let r = 3702 - l. Is r a prime number?
False
Suppose -4*t + 6248 = -1908. Is t prime?
True
Let u = -62 - -64. Suppose -13*y + 15465 = u*y. Is y a composite number?
False
Let i = 237 + -160. Is i composite?
True
Suppose -4*d - 6 = -3*d. Let q(w) = 4*w**3 + 6*w - 77. Let z(l) = 5*l**3 + 7*l - 76. Let r(o) = d*q(o) + 5*z(o). Is r(0) a prime number?
False
Let v(b) = b + 11. Suppose m = -m - 16. Let x be v(m). Suppose w - h = h + 47, -h = -x*w + 116. Is w a composite number?
False
Suppose 5*y - 115257 = -4*x, 4*x + 4*y - 115250 = 6*y. Is x a composite number?
False
Is (-1 + -1)*((-681402)/4)/3 composite?
False
Let l(f) = 893*f**2 + 54*f - 109. Is l(2) a prime number?
True
Let k(t) = -13*t**2 - t - 15. Let g(v) = 14*v**2 + v + 16. Let p(j) = -2*g(j) - 3*k(j). Let a be p(-10). Suppose -3*i + 1126 + a = 0. Is i a prime number?
True
Let h(w) = -w**3 + 2*w**2 + 5*w + 3. Let y be h(4). Is 28 + -3*12/y - -3 a composite number?
True
Let q(x) = x**3 - 6*x**2 - 8*x + 10. Let p be q(7). Is 7986/9 - p/9 composite?
False
Let y(m) be the first derivative of -m**3/3 + 7*m**2/2 - 3*m - 2. Let f be y(6). Suppose 0 = -o - 1 - 1, 0 = f*l - 3*o - 243. Is l prime?
True
Let l(y) = 9*y + 11*y**2 + 11 + y**3 - 5*y**2 + 10*y**2 - 2*y**2. Is l(-12) prime?
True
Let q(u) be the first derivative of -11*u + 2*u**2 + 6 + 50/3*u**3. Is q(5) prime?
True
Suppose -6*q + 5*j = -2*q - 541, 5*q = -4*j + 625. Let v = q - 67. Is v prime?
False
Let x(c) be the second derivative of -c**5/5 + c**4/4 - 2*c**3/3 + 9*c. Let l be x(-3). Suppose l = 2*t - 959. Is t composite?
True
Suppose 0 = -35*u + 36*u - 2. Is -3*((-2746)/(-12) - u)*-2 a prime number?
True
Let o(b) = -b**3 + 9*b**2 + 10*b + 2. Let j be o(10). Suppose -j*u = -3*h + 2*u + 89, h + 5*u + 2 = 0. Is h composite?
False
Let i be (2 - 12)/((-10)/4284). 