((-8)/(-8 - -4)) + 0. Is w/(-1) + 29 + 5 prime?
True
Let w(r) = 1319*r + 9. Is w(2) prime?
True
Let w(i) = -323*i**3 - 2*i + 67. Is w(-6) prime?
True
Let b(o) = -2*o**3 + 4*o**2 + o - 1. Let h be b(3). Let z = 4 - -101. Let f = z + h. Is f a composite number?
False
Let d be (-37)/(-7) + 26/(-91). Suppose -d*y + 2164 = -y. Is y prime?
True
Suppose -12*c + 6*c = -36. Suppose -46 - 1076 = -c*w. Is w a composite number?
True
Let y = 5 - -6. Suppose -93 = y*q - 12*q. Is q a composite number?
True
Suppose 0 = 71*k - 81*k + 100370. Is k a composite number?
False
Let l(r) = -681*r + 94. Is l(-27) prime?
True
Suppose 4*t + 13 = 5*s, -2*t + 0*t = 3*s + 1. Let w(v) = 192*v**2 + 2*v + 6. Let u be w(t). Suppose -k + 5*y = -316, -4*k - 2*y + 560 = -u. Is k prime?
True
Suppose 9375 = 4*z - 2*i - 5731, 4*i = -4*z + 15124. Suppose -5*q + 3*h + 5126 + 1172 = 0, 3*q - z = h. Is q prime?
True
Let g(s) = -s**2 - 13*s + 13. Let w be g(-14). Is (1731/(-3))/(w/1) composite?
False
Suppose -33*q + 31*q = 32. Let c = q - -95. Is c prime?
True
Suppose 0 = -7*h - 27 + 69. Suppose 0 = q + h - 4. Is (1020/8 + q)*2 composite?
False
Let l be (4 + (-5 - 8))*-157. Suppose 0 = -0*p + 3*p - l. Is p prime?
False
Suppose -9*c = -13*c + 4, -4*i + 1155 = -c. Is i prime?
False
Suppose 5*c + 15*u = 17*u + 39485, -4*u = -4*c + 31600. Is c a prime number?
False
Let w(q) = 133*q - 7. Let k = 9 - 3. Is w(k) prime?
False
Suppose 4*f + 3 = 15. Suppose 0 = -f*n + 87 + 207. Suppose -o + n = o. Is o a composite number?
True
Suppose -3*b = h - 6, 2 = 2*h - h + 5*b. Is 51/6*(h + -2) a prime number?
False
Suppose -4*r = -2*r - 16. Suppose -4*c + 0 = -r. Is c - (-51 - (-1 + 1)) a composite number?
False
Suppose 80139 + 120572 = 53*z. Is z a prime number?
False
Let s be ((-112)/32)/((-1)/2). Suppose -6*a = -s*a + 445. Is a a prime number?
False
Let h be (3 + 35/4)/(8/2208). Suppose h = y + 2*y. Is y a composite number?
True
Let j be (-4)/(2/1 - 3). Suppose 1 + 5 = 5*q - j*a, -4*q = a - 9. Suppose -q*r - 116 = 2*w - 428, -154 = -w - 3*r. Is w prime?
True
Suppose 22*r - 9185 = 17*r. Is r composite?
True
Let y be 2/(4/18) - 2. Let x = y + -2. Suppose -2*j = -5*l + 196 + 69, 275 = x*l - 4*j. Is l composite?
True
Is (108/324)/(((-2)/(-18978))/1) prime?
True
Let i(y) be the second derivative of y + 0 - 1/20*y**5 + 13/6*y**3 + 3/4*y**4 + 4*y**2. Is i(10) composite?
True
Suppose -2*g = c - 11873, -c + 17799 = 3*g + 4*c. Is g prime?
False
Is (-335332)/(-6)*((-184)/16 + 13) composite?
False
Let w(m) = -1. Let a(x) = 11*x - 10. Let b(l) = -a(l) - 5*w(l). Let h be (-6)/21 + (-220)/14. Is b(h) prime?
True
Suppose -23*x = -9050 - 19539. Is x a prime number?
False
Let k(b) = -b**3 - 3*b**2 - 6*b + 11. Suppose t = -0 - 12. Is k(t) a composite number?
True
Suppose -4*o - w - 1 = 0, 5*o - 3*w + 3 = -6*w. Suppose 4*k = -2*l + 3358 + 1914, o = -k - 5*l + 1309. Is k composite?
False
Let o = -2 - -5. Suppose -3 - 3 = -o*z. Suppose -z*j - 385 = -3*l, -516 = -6*l + 2*l + 4*j. Is l prime?
True
Let o be 2/(-5) - 66/(-15). Suppose 0 = -3*v + 2*t + 1701, -o*t - 9 = 3. Is v a composite number?
True
Suppose 27705 = 5*f - 1600. Let n = f + -2218. Is n a composite number?
False
Suppose t - 3*t - 6 = 0. Let h(s) = 37*s + 7. Let k(u) = 38*u + 7. Let y(l) = -6*h(l) + 5*k(l). Is y(t) a prime number?
True
Let g = 1607 - -5012. Is g a prime number?
True
Suppose 4*g + 34*o - 33*o = 24928, -4*g = -4*o - 24948. Is g a composite number?
True
Let u be (-1 - -3) + (-6 - -8). Suppose 0 = 2*k - 4*j - 3682, -10429 = -u*k + 2*j - 3095. Is k composite?
False
Let g(f) = -4*f**3 - 5*f**2 + 9*f + 11. Let h be g(-9). Let z = h + -1260. Is z prime?
True
Suppose 3*y - 3*b - 1947 = 0, -y - 2*b = -514 - 144. Is y + (3/(-4))/(3/12) a prime number?
False
Let y(x) = 72*x - 17. Let b(w) = 8 - 36*w - 4 + 0 + 5. Let m(c) = 7*b(c) + 4*y(c). Is m(3) a prime number?
True
Let y(z) = -2*z**3 - z + 1. Let m(c) = -c**3 - c. Let p(o) = 3*m(o) + y(o). Let b be p(-3). Suppose -2*a + 0*a + b = 0. Is a a composite number?
True
Let l be ((-3)/(-6) + 0)/((-1)/(-134)). Suppose d = 2 - 4, -z + l = 5*d. Is z composite?
True
Suppose -w = 3, -3*g + 21*w + 13530 = 18*w. Is g a prime number?
True
Suppose 163*v + 150802 = 165*v. Is v a prime number?
True
Let h(s) be the first derivative of s**4/2 - 2*s**3 - 3*s**2/2 + 4*s + 45. Let i(f) = -f**2 + 6*f + 5. Let n be i(6). Is h(n) a prime number?
True
Let t(u) = u**3 + u**2 + u - 9. Let b be t(0). Is (b/54*10972)/(2/(-3)) prime?
False
Let w be -1*(2/6 - 5/15). Suppose -3 = 3*n - w, -3*x + 839 = -5*n. Is x prime?
False
Let z be (-8)/(-4 - -6) - (2 - -61). Suppose 4*k - 3*p - 33 = 5*k, -2*p = k + 32. Let n = k - z. Is n a composite number?
False
Let c(b) = -16*b + 1. Let q be c(5). Let f = q + -72. Let p = -62 - f. Is p prime?
True
Suppose 5*q + 3*x = 84, 2*x = 4*q - 2*x - 48. Suppose -q*s + 19*s = 0. Suppose s = -4*p + 1247 + 4293. Is p a prime number?
False
Let k(r) = -r**3 + 2*r**2 - 3*r + 2. Let f be k(1). Suppose 4*g + 0*g + 3*y - 2027 = 0, -5*g - 2*y + 2539 = f. Is g a composite number?
False
Is ((-1)/1)/(12/(-40908)) composite?
True
Let t = -163 - -165. Suppose -j - 2*u + 1873 = -272, -10773 = -5*j + t*u. Is j prime?
True
Let j(f) = -f**2 + 9*f - 11. Let u be j(7). Suppose u*p + 5556 = 5*p - t, 0 = 4*t - 8. Is p a prime number?
False
Let w(v) = v**3 + 5*v**2 - 6*v + 4. Let a be w(-6). Suppose -a*t + 8*t - 2164 = 0. Is t a composite number?
False
Let c = -4 - -4. Suppose c = -4*p - 16, -1 = -2*g - 2*p + 11. Is (-3 + 4)*(g - 1) prime?
False
Suppose b + 6 = 5*k, 2 = -2*k + 5*b - 14. Suppose 5*v + 3*u - 8 = 0, -3*v + v - k*u = 0. Suppose -2*a - l + 522 = 0, 0 = v*a + a + 3*l - 1307. Is a composite?
True
Let r(d) = 2*d**3 - 4*d**2 - d. Let i be r(5). Suppose 22*b = -24*b - 4554. Let u = i + b. Is u prime?
False
Suppose 0 = 2*x - 6*x - 8. Let j(c) = -32*c**3 - 2*c**2 - 3. Let h be j(x). Suppose -2*s + h = 2*s - 5*m, -2*s = m - 105. Is s a composite number?
True
Suppose 2448 = 8*h - 3848. Is h prime?
True
Let c = 27 - 21. Is 2*2 - (c + -823) composite?
False
Let r be (-4 + 2)/(-4)*-14. Let j(p) = 195*p. Let n be j(r). Let g = 2836 + n. Is g composite?
False
Let d be (-216)/(-21) + (-2)/14*2. Is 404 + (30/(-25))/((-4)/d) prime?
False
Suppose -6*q + 3209 = 1163. Suppose -h + q = -548. Is h prime?
False
Let q = 0 + 5. Suppose 4*a - 93 = -2*v + 17, -290 = -5*v + q*a. Suppose -h - 3*j = -5*j - v, 0 = -h + 3*j + 59. Is h a prime number?
True
Suppose 0 = -2*h - 2434 + 15724. Suppose -12*f = -17*f + h. Is f prime?
False
Let b = -58 - -103. Suppose 2*i = -2*g + 172, 3*i + 2*g = 306 - b. Is i a prime number?
True
Let o be (-1382)/(-4) + 2 - 2/4. Let p = o + 896. Is p a composite number?
True
Is (-38224)/(-24)*(-27)/(-6) a composite number?
True
Suppose 22*d - 19*d = 23151. Is d prime?
True
Let p(h) = 5*h - 15. Let y be p(6). Suppose -3*m - y = -111. Is 194*(-4)/m*-4 prime?
True
Let q be (-13)/(-2) + (-5)/10. Let o = q + 0. Suppose o*s - 1175 = s. Is s a prime number?
False
Let d(o) = -o + 7. Let t be d(3). Suppose 3*v = -t*a + 24, -5*v + 4*a = -7 - 1. Suppose v*i - 2*m - 639 = -i, 5*m = 4*i - 518. Is i composite?
False
Let d(b) = b + 9. Let f be d(0). Suppose -j + 4*i = -3*j + 6, 3*i = 3*j - f. Suppose 0 = -j*k + 5*k - 218. Is k prime?
True
Suppose z + 8 + 244 = 0. Let r be 1/(-4) - z/48. Suppose 237 = a - i, -a + 2*i - r*i + 221 = 0. Is a prime?
True
Is (-3 - 0)/((-21)/156359) a prime number?
False
Let j = -95 + 97. Suppose 2*m = i - j*m - 2179, -m = 2*i - 4367. Is i prime?
False
Suppose -4*d = -5*m - 657 - 5704, -4770 = -3*d + 3*m. Suppose 5*g + n = d, 0 = -5*n + 5 + 15. Is g/4 + (-3)/12 prime?
True
Suppose -650*u = -654*u + 12. Let k(a) = -7 + 1 - 1 + 24*a. Is k(u) a prime number?
False
Let c(m) be the third derivative of m**6/120 - m**5/30 - m**4/24 + 1117*m**3/6 + 9*m**2. Is c(0) a composite number?
False
Let i = 9377 + -4528. Is i a prime number?
False
Suppose p - 3*l = 6, 3*p - 5 = l + 5. Suppose -5*q + 26 = -p*n, q = -3*n + 3*q - 14. Is ((-2)/3)/(n/447) a composite number?
False
Suppose 2*x - 11532 = -4*x. Let y = 4173 - x. Is y a composite number?
False
Let u(j) = j**2 + 18*j + 21. Let t be u(-17). Suppose -22762 = 5*q - 2*l - 8766, -5*q - t*l = 13978. Is (-4)/22 + q/(-22) prime?
True
Let j = -570 - -1034. Is 3 + 1/(1/j) a composite 