Let n = z + -1171. Is n composite?
True
Suppose 3*r + 5*m = 7*r - 45, -3*r + 33 = -3*m. Let k = -210 + -43. Let y = r - k. Is y a prime number?
True
Suppose 0*j + 288 = -2*j. Let z = j - -60. Is (-1)/(0 - (-4)/z) prime?
False
Let l be 2/7 - 21351/(-21). Is (4 + -6)*l/(-6) prime?
False
Suppose -16*d + 810 + 71718 = 0. Is d prime?
False
Let o = 9926 - 6612. Is o a composite number?
True
Is 30740160/1080 - (-2)/(-18) composite?
False
Let h(x) = -x**3 - 2*x**2 - 6*x + 1. Suppose d + 2*d + 4*y + 6 = 0, 0 = 4*d - 2*y + 30. Let j be (d - (-1 + 3)) + 2. Is h(j) a composite number?
False
Suppose -3*y + n + 36741 = 2*y, -n = 2*y - 14702. Is y composite?
False
Let t(f) = 677*f**3 + f**2 - 4*f - 4. Let d(p) = -1353*p**3 - 2*p**2 + 7*p + 7. Let b(v) = 3*d(v) + 5*t(v). Is b(-1) a prime number?
True
Let g(w) = 7268*w + 3. Is g(1) a prime number?
False
Let j(a) be the third derivative of 5*a**4/12 + 7*a**3/6 + 12*a**2. Let g be 3/6 - (-27)/6. Is j(g) a composite number?
True
Let j = -19 - -23. Suppose -j = -7*t + 10. Suppose 3*o - t*v = -o + 2744, -4*o + 4*v = -2748. Is o composite?
True
Let g(w) = -3*w - 4. Let p be g(-2). Suppose -p*r + 4*r - 838 = 0. Is r prime?
True
Let z = 48 - 48. Is (107 + 2 + z)*4/4 a composite number?
False
Suppose 3*r = 2*r + 3*m + 670, -4*r + 2713 = -m. Is r a prime number?
False
Suppose -2*z = -8, -y = -2*z + 19 - 5. Let l(p) = -p**3 + 7*p**2 - 3*p - 8. Is l(y) composite?
True
Let d = -15 + 2. Let z = 16 + d. Suppose 8 - 2 = -2*w, 0 = 4*i + z*w - 499. Is i composite?
False
Let b(j) = 11*j**2 + 57*j + 339. Is b(-35) a prime number?
False
Let f = 31937 - 20266. Is f composite?
True
Suppose 2*w + 5*f = -16, 0*w = -5*w - 4*f - 40. Let y(v) = -v**2 - 9*v - 8. Let g be y(w). Suppose -d + 4*q + 39 = 0, 5*d - 5*q = -g*q + 210. Is d composite?
False
Let o = -16 - -16. Suppose -290 = -b - o*b. Suppose w - b = -w. Is w a composite number?
True
Suppose -12*d + 212181 = -363231. Is d prime?
True
Let b be -1 - -1 - (36/(-4) - -5). Suppose -5*f + s + 455 = 0, 4*f + b*s = 58 + 306. Is f a prime number?
False
Let t(z) = -2*z**2 + 2*z + 6505. Is t(0) a composite number?
True
Suppose -4*r = 2*l - 26 - 2, -4*l - r = -35. Suppose -5*s + l*s - 165 = 0. Is s a composite number?
True
Suppose -5094 = -2*y + 386. Suppose y = 8*s - 2836. Is s a prime number?
False
Suppose 5*n + 3*j + 15 = 0, -5*n + 5*j = -10 - 15. Suppose 2*b - d - 10 = n, -3*b + 2*d - d + 13 = 0. Is 35 - (-2)/b*-6 a prime number?
True
Let r be (4/(-12))/(3/(-9)) - 41. Is (23326/(-5))/(-2) - 16/r a composite number?
False
Let h = 2574 + -45157. Let b = h + 29038. Is 2/(-8) + b/(-20) prime?
True
Let i(l) be the third derivative of 0 + 5/6*l**3 - 3*l**2 + 0*l - 1/2*l**4. Is i(-5) prime?
False
Let b = 100 + 103. Is b a prime number?
False
Let v = 3126 + -10310. Let i = -4713 - v. Is i prime?
False
Let a be (13 - 14)/((-2)/10). Let r(g) = g + 5. Let c be r(a). Suppose 2*f - 3*s - 1474 = 0, -5*s + c = -10. Is f a composite number?
False
Suppose -3*a - a = 3*l - 23, 2*a = 4. Let v = 721 - 116. Suppose l*p - v = 30. Is p prime?
True
Suppose 0 = -2*m - 2*t - 12, 3*t = -3*m - 2*m - 20. Let p be m/(0 + (-2)/904). Suppose 5*o + 3*u = p, -2*u - 2*u - 186 = -2*o. Is o composite?
True
Let b = 23 + -9. Let y = 13 - b. Is 189/((-1)/y) + 2 prime?
True
Suppose -82 + 73 = -3*y. Suppose 0 = m + 5*h - 744, m - y*h - 162 = 542. Is m prime?
True
Is 513147/17 - 16/136 composite?
True
Suppose -h - 66 = 2*h. Let n = 84 + h. Is n composite?
True
Is (2/(-3))/((-34)/415293) a composite number?
True
Let j(d) = -d**3 + 16*d**2 + 9*d - 5. Is j(-11) a composite number?
False
Suppose -196 = -c - m + 17071, -5*c + 4*m + 86299 = 0. Is c a prime number?
False
Let b(t) = -63*t + 11. Let k(s) = s**3 - 7*s**2 - 8*s + 2. Let p be k(8). Let l be 1*(p + -1)*-10. Is b(l) a prime number?
True
Suppose 2*t - 1996 = -0*t - 2*f, 2*f = -5*t + 4975. Let h = 1505 + -833. Let w = t - h. Is w a composite number?
True
Suppose u - 472 = -3*h, 0 = 2*u - 7*u - 2*h + 2347. Is u prime?
False
Let p(r) = -3*r - 1. Let v be p(-2). Suppose 56 + 34 = -v*j. Is ((-526)/6)/(j/108) prime?
False
Let w be 9/2 - 21/(-14). Let o(t) = 252*t - 14. Let a be o(w). Suppose -h - 3*i = -6*h + a, 3*h = 3*i + 894. Is h a composite number?
True
Let z = 2177 - -716. Is z prime?
False
Let k(r) = -5*r + 0 - 3 + 6 + 11*r**2. Let n be 0*1*(3 + -4) - -2. Is k(n) a prime number?
True
Let f = 546 + 1163. Is f composite?
False
Suppose 0*r = 4*r - 24. Suppose -326 = -r*h - 32. Is h composite?
True
Suppose 0*r = -15*r + 69945. Is r a composite number?
False
Let d(a) = 3328*a + 45. Is d(3) a prime number?
False
Is ((-2)/(-7) + (-99)/77)*-2203 a composite number?
False
Suppose 0 = 4*r + 8, 3*o + o - 8 = -2*r. Let g(y) = 53*y**2 + 3*y - 2 + 5 + 16*y**2. Is g(o) prime?
False
Let l = 4779 - 2282. Is l a prime number?
False
Let w = 1349 + -3417. Let u = w + 6459. Is u composite?
False
Suppose 7*i - 12*i + 25 = 0. Suppose 2*m + 2*s + 6 - 28 = 0, m - 23 = -i*s. Let o = m - -51. Is o a composite number?
False
Let x = 932 - 480. Let o(d) = -d**3 - 4*d**2 + 3*d - 5. Let h be o(-5). Suppose -4*c + 3*b - 8*b = -x, h*b + 565 = 5*c. Is c prime?
True
Suppose 13 = -5*z + 3. Let t be z/(820/412 - 2). Suppose -4*s + t = -2*s. Is s a prime number?
True
Suppose 5*d = -25, 5*h = 7*d - 3*d + 40. Suppose -4*y + 2 = -v + y, 0 = -3*v + 3*y - 6. Is 134 + (v - -3) - h a composite number?
False
Let q be (-36 + 2)/(-2)*1. Suppose -20*h + 969 = -q*h. Is h a prime number?
False
Suppose -3*w + 5*q = -26656, -21*q + 35549 = 4*w - 20*q. Is w prime?
True
Suppose 2*s = -3*y + 16, -3*y + 13 = 4*s - 1. Suppose 2*a + 1980 = y*a. Is (a/12 - 2)*4 composite?
False
Let b(m) = 101*m**2 + 55*m + 337. Is b(-22) a composite number?
True
Let u(c) = -2934*c**3 - 3*c**2 - 47*c - 93. Is u(-2) a prime number?
False
Let r = 37 + -21. Suppose -3*y + r = y. Suppose -n + 995 = y*n. Is n prime?
True
Suppose 2257 = 5*v - 2*l, 4*l - 1803 = -4*v + 3*l. Let o = 1602 - v. Is o a composite number?
False
Suppose 6*i + 5579 = 40415. Is i composite?
True
Let u be (12/10)/((-6)/40). Let i = 13 + u. Suppose 0 = -4*t - 8, -x + 0*x - i*t = -325. Is x a prime number?
False
Suppose -4*z - 2*w - 1922 = 0, -3*w + 2*w = 3. Let t = -135 - z. Let d = 957 - t. Is d a prime number?
True
Suppose -4*n - 24 = -5*l, -3*n + 4*n = 3*l + 1. Let h = -14 - n. Is ((-67)/h)/((-4)/(-12)) a prime number?
True
Suppose 5*y - 2*y - 1 = 5*s, -4*y = -5*s - 3. Let p(f) = 20*f**2 - 4*f - 8. Let k be p(-6). Suppose -4*j - d = -k, 0*j = y*j + 3*d - 358. Is j a prime number?
False
Suppose -48 = -2*x - 2*d + 5*d, -80 = -4*x - 2*d. Let g(p) = 12*p**2 - 10*p + 10*p**2 - 13 - x*p**2. Is g(12) a prime number?
True
Suppose 21 + 3 = 3*v. Is 39967/68 + ((-6)/v)/1 composite?
False
Suppose -4*q - 4*y - 6 = -2, 5*q - 5*y = 25. Is (3 + -95)*q/(-4) prime?
False
Is (5730 - (-15)/5) + 4 + 0 a prime number?
True
Suppose -63590 + 362606 = 36*f. Is f composite?
True
Let j(l) = 5*l + 4. Let t be j(4). Suppose t = -3*y + y. Is (-1)/(-1)*(y - -307) a prime number?
False
Is 2/2*(-16)/(32/(-31222)) a prime number?
False
Let k = 5328 + -3019. Is k a prime number?
True
Let h(s) = s**2 + 5*s + 22. Let q be h(-17). Let i = -149 + q. Let r = i + -12. Is r a prime number?
False
Let l = -3 - -5. Suppose -5*n + 8 = -l. Is n*(-3)/3 + 129 composite?
False
Suppose -2*i + 5*u - 3*u = -2162, -3*u - 9 = 0. Let a = -593 + i. Is a a composite number?
True
Let z(u) = u**3 - 13*u**2 + 13*u - 12. Suppose -5*d + 50 + 10 = 0. Let t be z(d). Suppose -5*b + 255 = -t*b. Is b prime?
False
Let z(f) = f**3 - 5*f - 3*f**2 + 3 + 0*f**3 + 2. Let n be z(4). Let x(w) = 4*w**2. Is x(n) a composite number?
True
Suppose -45804 = -12*g - 0*g. Is g a prime number?
False
Let n(v) = -2 + v**2 + v + 2*v - 3*v**2 + 16*v**3 - 1. Let f be n(2). Is (f/9)/(3/18) composite?
True
Let f(q) = 111*q + 1. Let r = 0 + -3. Let d(s) = -110*s. Let o(z) = r*f(z) - 4*d(z). Is o(2) prime?
True
Let n be (-16)/(-40)*(7 - -3). Suppose 8 = -d + 5*d. Suppose d*c = -2*m + 654, -c + n*m + 65 + 282 = 0. Is c prime?
True
Let p = -5 + 8. Let i(n) = 141*n - 8. Let y(t) = 141*t - 10. Let m(s) = 3*i(s) - 2*y(s). Is m(p) a composite number?
False
Let p(d) = -d + 7. Let v be p(5). Suppose r + 5 = 4*b, v*b - 4*b - 5*r - 3 = 0. Is -1 + b + (2 - -209) composite?
False
Let z(o