17*t**3/6 - 25*t**2. Is x(-19) composite?
True
Suppose 17 - 47 = -5*f. Suppose -3*b = -f*b. Suppose b = d - 3*v + 19 - 78, 2*v - 312 = -5*d. Is d a prime number?
False
Is 4*139506/84*(-7)/(-2) a prime number?
True
Let z = 429 + -2922. Let a = -305 - z. Suppose 4*j - a = 4168. Is j prime?
False
Let q(u) = u**3 + 26*u**2 + u + 32. Let c be q(-26). Suppose c*l - 3070 = l. Is l a prime number?
False
Let l = 13972 + -7650. Let s be (-3)/(-15) - l/10. Let a = s + 1081. Is a a composite number?
False
Let q(v) = v**3 + 11*v**2 + 7*v - 2. Let d be 0 - 18/(6/3). Is q(d) prime?
True
Let v(t) = -t**3 - 6*t**2 + 5*t - 13. Let k(m) = -m**2 + 10*m - 9. Let c be k(9). Let g be 1 + 2 + c - 12. Is v(g) prime?
False
Let l be 30123 - (1/(-4) + (-11)/4). Suppose 0 = 8*f - 50458 - l. Is f prime?
False
Is -85774*((-9)/(-6) + -2) prime?
False
Let o = 9680 + -4453. Is o a prime number?
True
Suppose -3*g + 2*d + 5 + 0 = 0, 2*g - 5*d = 18. Let y = g - 5. Is (-41)/2*(y - 0) a prime number?
False
Let u = 1316 + -444. Suppose -3*j - 113 = -u. Is j a prime number?
False
Let f(l) = -4283*l + 62. Is f(-4) a composite number?
True
Let x be (4 - 2)*2 - -2. Suppose -4*o - 12 = 0, -z - 903 = -x*z - 4*o. Is z prime?
False
Let c(o) = -16 - 12 + 25 + o**3 - 9. Suppose 5*i - 16 = 4, 4*u + 2*i - 28 = 0. Is c(u) a prime number?
True
Suppose 0 = 29*m - 86344 + 15671. Is m a composite number?
False
Let b be (-6)/(-4) - (-4)/8. Let s(i) = 9*i**b - 2*i**3 + 0*i**3 - 2 + i**3 - 4*i**2 + 5*i. Is s(5) a composite number?
False
Let n = -174 + -169. Let p = 489 + n. Is p a composite number?
True
Is 8 + 121657 - (2 + 2) composite?
False
Let x(g) = -492*g - 2. Let d be x(-2). Let o = -554 + d. Suppose -3*l + s + o = 0, -4*l + 394 = 4*s - 150. Is l prime?
False
Let w = 24081 + 185678. Is w composite?
True
Suppose 2*l - 37007 = -3*w, 0 = 2*w - 3*l - 3167 - 21500. Is w prime?
False
Suppose -n - 4*n = 0. Suppose 2*q + 464 = -n*q. Let j = q + 489. Is j composite?
False
Let d(o) = -2613*o + 593. Is d(-6) a prime number?
False
Let z be (-50)/(-4)*(-32)/40. Let v(b) = b**2 - 8*b + 11. Is v(z) prime?
True
Suppose -6*l = 28 + 20. Let r(t) = -2*t - 13. Let q be r(l). Suppose q*n - 26 = 535. Is n a prime number?
False
Suppose 4*o = 2*o + 6. Suppose -3*c + 1524 = o*c. Is c composite?
True
Is 13/52 - 10/16*-2734 prime?
True
Let k = 83587 - 30038. Is k composite?
False
Let b = 10234 + -2999. Is b a composite number?
True
Suppose 2*r - 3*r - 11 = 5*f, -4*f - 28 = 2*r. Let v(o) = -o - 16. Let g be v(r). Suppose g = -5*u - 4*t + 2477, -2*u = t - 693 - 296. Is u a prime number?
False
Let u = -970 + 1481. Is u a prime number?
False
Let h = -64 + 112. Suppose -p + 13 = a - 15, 0 = -a - 5*p + h. Is a prime?
True
Suppose -4131 - 2439 = -5*l. Let w = l + -631. Is w prime?
True
Let h(o) = 8*o**2 - 19*o - 15. Let f be h(-14). Suppose 0 = 3*w - 8*w + l + 4534, 5*l - f = -2*w. Is w composite?
False
Let a(n) = 1994*n**2 - 1. Let t be a(-1). Let z(g) = 70*g - 6. Let w be z(-20). Let x = w + t. Is x prime?
True
Let w(m) = m**2 - 11. Suppose -5*o = -5*p + 65, o = 4*o + 4*p + 11. Let f = o + 17. Is w(f) a composite number?
False
Let u be (-890)/4*(-8 + 6). Suppose z = -5*w - 1490 + u, -5*z = 0. Let n = w - -336. Is n a prime number?
True
Suppose 3*l + 3 = -3*u + 21, 0 = -u + 4*l - 14. Let k(q) = 197*q**2 - 2*q - 2. Let r be k(u). Suppose 8*j - r = 6*j. Is j composite?
True
Suppose 42 = 2*o + o. Suppose 0 = 2*u - 0 - o. Is (-55 + 0)*u/(-5) a prime number?
False
Let n = 7 + -3. Suppose 0 = 4*l + 2*b - 24, 4*l - 4*b - n = -l. Suppose 16 = -d + 4*j + 225, -l*j = 4. Is d composite?
True
Let t be (3 + 4 + 801/(-2))*-2. Suppose 5*f = -4*o + 4276 - 1128, -o = 3*f - t. Is o a composite number?
False
Suppose 10*f - 15*f = -45905. Is f a composite number?
False
Let p(y) = 16*y**2 + 5*y + 8. Let k(a) = 16*a**2 + 4*a + 7. Suppose 0 = o + 2 + 2. Let g(v) = o*p(v) + 5*k(v). Is g(-7) a composite number?
False
Let k = 1132 - 1005. Is k prime?
True
Let r be 10*21*6/((-36)/87). Let t = r + 5204. Is t composite?
True
Let d(m) = -430*m - 109. Is d(-2) composite?
False
Suppose -85390 - 128624 = -6*z. Is z prime?
False
Suppose -5*v = -10, -4*b - 5*v + 3*v + 20 = 0. Let q = -10 + 12. Suppose -40 = -3*x + 5*a + b, 0 = -4*x - q*a + 50. Is x prime?
True
Let f(t) = t**3 - 3*t**2 + t - 3. Let m be f(3). Suppose 0 = -2*c - m + 14. Suppose c = 2*g - 7. Is g a composite number?
False
Let b(t) = -4*t - 55. Let h(p) = 8*p + 110. Let k(v) = -5*b(v) - 2*h(v). Is k(14) composite?
True
Let q be 0 - -13563 - ((0 - 6) + 6). Suppose q = -3*z + 12*z. Is z a prime number?
False
Suppose -3*b = -9*b. Suppose 2*i - 9*i - 266 = b. Is i/95 + 3794/10 composite?
False
Suppose 8 = -q + i, 2*q + i + 16 = -3*q. Is (-2571)/(-7) - (q + 150/35) composite?
False
Suppose 0 = 12*i + 23404 - 95032. Is i composite?
True
Let r be (-138)/5*50/(-4). Let a = r + -179. Is a a prime number?
False
Suppose -27*v + 34 = -29*v. Let b = v - -26. Is b a prime number?
False
Suppose -2*t = 6, -4*t + 1017 = 2*p - 233. Suppose -2*l + 685 = -3*y + 269, -3*l = -y - p. Is l a composite number?
False
Let w(s) = s**2 + 4*s + 9. Let l be w(-3). Suppose 603 = 15*i - l*i. Is i prime?
True
Let i(t) = 19*t**3 - 14*t**3 - 6*t**3 + 20 + 14*t + 10*t**2. Is i(11) a composite number?
False
Let j(y) = 3*y**3 - 6*y**2 - 13*y + 1. Is j(9) a composite number?
True
Let h(r) = -8*r**2 - 4*r - 1 + 2 + r**3 - 6*r**2 - 7. Is h(15) composite?
True
Let s be (-6)/((-41442)/10356 - -4). Let r be (-9)/(250/251 - 1). Let m = s - r. Is m prime?
True
Let g be (-19 + 4)*(-8)/5. Let x be -22 + g - (3 - 1). Suppose 2*z - 2206 = h - 6*h, x = -4*h. Is z a composite number?
False
Suppose 80 - 8 = -12*h. Is 5676/27*3 + (-2)/h a composite number?
False
Let m = 0 + 2573. Is m a prime number?
False
Let h(o) = 13*o**2 + 10*o - 6. Is h(13) prime?
False
Let o(y) = 12*y**2 + 16. Let c be o(-5). Suppose 3*p - p = 12. Suppose -p*d + 2*d = -c. Is d a composite number?
False
Suppose 5*a + 1767 = -1548. Let i = 392 - a. Is i prime?
False
Suppose -2*b - 2*g + 1128 = 0, 3*b - 1645 = 2*g + 57. Let w = b + -383. Suppose -4*k + 595 = w. Is k a composite number?
False
Suppose 0 = 3*b - 312 - 2715. Is b composite?
False
Is 2 - (-84828)/(-3 - -7) composite?
True
Suppose 26 = -2*l + 5*k, -k - 32 = 2*l - 3*k. Let h(c) = c**3 + 20*c**2 + 22*c - 13. Let u be h(l). Is 1 - (u + -1)*-1 a composite number?
False
Let j(g) be the third derivative of -g**4/12 - 5*g**3/6 + 13*g**2. Let o be j(-4). Let l(u) = 32*u**3 + 5*u**2 + 2. Is l(o) a composite number?
False
Suppose 9*c - 5261 = 6898. Let f = c - 662. Is f prime?
False
Let q = 96 - 96. Is (q - 8594/(-3))*(-72)/(-48) a prime number?
True
Suppose -5*q - 30 = -4*k, 2*q - 3*k - 2*k + 29 = 0. Let h be 2/q*12/(-4). Suppose 3*y - 1655 = 4*z, 0 = -h*y + 5*z + 675 + 976. Is y a prime number?
True
Suppose 0*w = 5*v + 3*w - 1091, -5*v - 2*w + 1094 = 0. Let n = 133 + v. Is n a prime number?
True
Suppose 3246 = 68*c - 66*c. Is c a composite number?
True
Let j(o) = 4 - 11*o - 5 - 61*o + 9. Let z be j(-6). Suppose 2*r + q = 177, -6*q = 5*r - q - z. Is r a prime number?
True
Let x = -3 + -16. Let i(j) = j**3 + 20*j**2 - 4*j + 20. Is i(x) composite?
False
Let u(g) = g + 8. Let r be u(7). Let b(k) = k**3 - 16*k**2 + 14*k + 8. Let s be b(r). Is (-6880)/s + 10/70 a composite number?
False
Suppose 2*r = 3*o + 212, 5*o - 4*o = -3*r + 307. Let m = 76 + r. Is m composite?
False
Let q = 35627 - 2796. Is q a prime number?
True
Suppose 28*l - 88479 = l. Is l a prime number?
False
Suppose 18*g - 4*g - 57946 = 0. Is g a composite number?
False
Let u(x) = 35*x**2 + 3*x - 4. Let r be (10 - 2)*2/4. Let f be u(r). Let v = f + -273. Is v a composite number?
True
Let w = 57 + -60. Is 2/(w - 451*(-5)/751) a prime number?
True
Let a(d) = -1937*d - 98. Is a(-5) prime?
True
Let n = 119 + -26. Suppose -2*s + n = -193. Is s a composite number?
True
Suppose -8*k + 4*k = -12. Let x(i) = 76*i**2 + i + 4. Is x(k) a prime number?
True
Suppose -6*t - 12 = -8*t. Suppose 0 = 5*n - 5, t*i - 2*i + n = -11. Let x(z) = 27*z**2 - 3*z + 1. Is x(i) a composite number?
True
Suppose 12450 = -4*t + 36334. Is t a prime number?
False
Let x(i) = 192*i**2 - 17*i + 2. Is x(5) composite?
True
Let z = -410 - -1471. Is z a composite number?
False
Suppose 3*y + 4*f = 2*f + 17761, 