et x = -8 - m. Suppose -s - 204 = -5*b + 2*b, x*s = -9. Is b prime?
True
Let d(g) = -28*g - 1. Is d(-3) a prime number?
True
Suppose 14 = 2*x - 2*z, -4*x - z = -29 - 4. Is 1*376 + (x - 5) prime?
True
Let f = 66 + -264. Let m = f - -467. Is m a prime number?
True
Let l = 110 - -101. Is l prime?
True
Suppose 5*z + 404 = -1416. Is (0 + 1)*z/(-4) prime?
False
Suppose -4*v + 7 + 25 = 0. Let d(x) = -4*x - 27. Let q be d(-8). Suppose -n + 5*n = -v, q*w - 1167 = -4*n. Is w composite?
True
Let i(d) = -8*d**2 - 2 - 7*d + d**3 + 3*d - 2*d. Let b be i(7). Let a = b - -182. Is a prime?
True
Suppose 2*j = 4*h - 403 - 71, 5*j + 580 = 5*h. Suppose 2*c + h = g, -c - 3*c - 369 = -3*g. Is g prime?
True
Suppose 5*l - 7*l = 0. Let n(o) = -o + 37. Is n(l) prime?
True
Suppose 0 = 2*a - 5*t + 104, 3*a = -4*t + 2*t - 156. Let g(p) = 3*p**2 - 4*p - 3. Let h be g(-6). Let n = h + a. Is n a composite number?
True
Let z = -819 - -2620. Is z a composite number?
False
Let y = 16 - 5. Is (y - 0)*(-3 + 5) a composite number?
True
Suppose 4*t + 99 = 5*t. Let v = -28 - -206. Let r = v - t. Is r a prime number?
True
Suppose -2*m - 3*m + 185 = 0. Suppose l - 1 = -3. Is (l - -4)/(2/m) composite?
False
Let v(x) = x**2 + 8*x + 9. Let n be v(-7). Suppose n*c - 79 = 183. Is c a composite number?
False
Let v(a) = 1 + 6 - 14*a - 2. Is v(-6) composite?
False
Suppose -6*z + 3*z + 1527 = 0. Is z prime?
True
Let l be 4/14 + (-166)/(-7). Is l/9*111 + -3 composite?
False
Let d = -5 + 13. Suppose p + d = 5*p. Suppose 0 = p*s + 2*s - 220. Is s a composite number?
True
Suppose 2*y = -3*f + 7802, -6*y + y = -f - 19539. Is y prime?
True
Is (0 + -1)/((-9)/19449) prime?
True
Let o be ((-24)/(-5))/(2/5). Is 38/o*(11 + -5) composite?
False
Is (3 + (-980)/12)/(4/(-6)) a composite number?
True
Suppose -16 = -2*p - r + 357, 3*r = 3*p - 573. Suppose 4*s - 168 - p = -f, 267 = 3*s - 3*f. Is s a composite number?
False
Let x(y) = -7*y**3 - 6*y**2 + 7*y - 307. Let z(i) = i**3 + i**2 - i + 1. Let a(d) = -x(d) - 6*z(d). Is a(0) composite?
True
Let x(q) = 105*q + 10. Is x(9) prime?
False
Is 180/1 - (-9 + 10) prime?
True
Let x(m) = -m**3 - m**2 - m - 2. Let h be x(-2). Let u = h - 1. Suppose r = -u*r + 5*c + 160, r - 15 = -5*c. Is r a prime number?
False
Suppose 0 = 5*q + 4*j - 3365, 0*j - 4*j = 0. Is q prime?
True
Let p(u) = u**2 - 8*u + 6. Let h be p(8). Let m(f) = -f**3 + 7*f**2 + 3*f - 3. Is m(h) a prime number?
False
Let c(o) = 0*o**2 + 4*o - 4 - 5*o + o**2. Let h be c(3). Suppose -h*k = -6*k + 24. Is k a prime number?
False
Suppose -6*u = -3*q - 2*u + 669, -4*u = 0. Is q prime?
True
Let y(t) be the second derivative of t**4/12 - 2*t**3/3 + 5*t**2/2 - t. Is y(8) composite?
False
Let c = 41 - 20. Is c prime?
False
Let f = -215 + 1206. Is f a prime number?
True
Let l(o) = -1. Let n(d) = 3*d + 1. Let p(w) = 4*l(w) - n(w). Let z be p(-4). Suppose -3*x = -z*x + 844. Is x a composite number?
False
Suppose 3*t = 14 - 5. Suppose 257 = 2*x + 5*z + 22, 365 = t*x + 5*z. Suppose x = 5*c - 3*c. Is c a prime number?
False
Let u(z) = -2*z + 1 - z**2 + 0 - 2*z**2. Let v be u(-3). Let t = 15 - v. Is t a prime number?
False
Let u(r) = 6*r**2 - r + 13. Let w(l) = -l**2. Let m(t) = u(t) + w(t). Is m(7) composite?
False
Is (-163)/(4/(-8)*2) prime?
True
Suppose -b + 9 = m, 2*m - 2*b - 3*b - 39 = 0. Suppose 2*z - 157 = -3*f - 8, 0 = -3*z + m. Is f a prime number?
True
Let d(u) = -2*u - 10. Let w be d(-7). Suppose -4 = 2*p - w*p. Suppose -y + 33 = p*y. Is y composite?
False
Let p(x) = x + 1. Let h(z) = -z - 1. Let o(w) = h(w) + 2*p(w). Let d be o(3). Suppose -d*j + j = -669. Is j composite?
False
Let r = -3 - -2. Let l be ((-22)/(-8))/(r/(-4)). Suppose -6*s + l*s = 1055. Is s a prime number?
True
Let k(u) = -92*u - 2. Let y be k(-2). Suppose 3*j - y = -41. Is j prime?
True
Let v be -1 + 394*(-6)/(-4). Suppose -2*u + 4*u = v. Is u composite?
True
Suppose 2*q - 672 = -4*x, -x + 3*q + 138 + 16 = 0. Let u be (x/(-6))/((-2)/6). Let a = u + -48. Is a prime?
False
Let g(y) = -18*y - 3. Let b be g(-5). Let r = b + -29. Is r a prime number?
False
Let j(b) = -3*b**3 - 23*b**2 + 14*b - 3. Is j(-10) prime?
True
Let o = -30 + 51. Suppose 2*v + v = o. Is v prime?
True
Let k(s) = 2*s**3 - 2*s**2 + s. Let v be k(1). Is 1584/20 + v/(-5) composite?
False
Let z(y) = -13*y**2 - 7*y + 7. Let b(d) = -7*d**2 - 4*d + 4. Let x(p) = -5*b(p) + 3*z(p). Let u(w) be the first derivative of x(w). Is u(-2) prime?
False
Let i = -52 - -101. Suppose 5*a + 0*a = -5*l + 285, 0 = -a - 5*l + i. Is a a composite number?
False
Suppose -g + 4*g = 918. Let k = 493 - g. Is k prime?
False
Let c = -1115 + 1756. Is c composite?
False
Let z = 19 - 14. Suppose -2*t - 1253 = -5*q, 0 = z*t - 3 - 2. Is q prime?
True
Let z(b) = 359*b + 5. Let u be z(3). Suppose -p + u = p. Is p prime?
True
Suppose 0*r = -4*r - 28. Let z = 17 + r. Is z prime?
False
Let k = 18 + -18. Let g = -2 - -81. Suppose g = -k*s + s. Is s a prime number?
True
Let t be 1 - 3/3*-9. Suppose 2*d = -0*d - 5*u + 32, -5*d + t = -5*u. Suppose 0 = 5*k - g - 93, -d*k - g + 78 = -2*k. Is k a composite number?
False
Suppose -4*n + 3 = -9. Suppose -n*t - 43 = -2*t. Let h = 80 + t. Is h composite?
False
Let i = -24 + 2333. Is i composite?
False
Suppose 168 = 2*u - 5*u. Let p = u + 78. Is p a prime number?
False
Is -531*(1 + 16/(-12)) composite?
True
Suppose 4*d = 3*g - 46 + 2910, -5*d + 3579 = -4*g. Is d prime?
True
Is 3 - -492 - (7 - 3) prime?
True
Let u be (5 - 2)*(-10)/3. Let k be -2*(-1)/6*-21. Let s = k - u. Is s a composite number?
False
Is 12/30 - (-2433)/5 prime?
True
Suppose j - 743 = 2*m, -743 = -j - 3*m - 0*m. Is j composite?
False
Let i be (1/3)/(3/18). Suppose -a - i + 0 = 0, -2*a = y - 21. Is y a composite number?
True
Suppose -36 = -2*i + 218. Is i a composite number?
False
Suppose 0 = 2*l + 1020 - 4394. Is l a prime number?
False
Let f(z) = 53*z**2 - z + 1. Let u(k) = -3*k - 1. Let p be u(-1). Let i be f(p). Let g = i - 98. Is g prime?
True
Let l(b) be the third derivative of b**5/15 + b**4/12 + b**3/6 + 5*b**2. Let y be l(-1). Suppose -y*q + 50 = -q. Is q prime?
False
Let v be 2/9 + 5150/(-90). Is (-4 - -6)/((-6)/v) composite?
False
Suppose -i - i = -556. Is i a composite number?
True
Let p(j) = 7*j**2 - 4*j + 5. Is p(-4) a composite number?
True
Let o be (-30)/25*(-5)/2. Suppose -2*u = o*u - 35. Is u a prime number?
True
Suppose -5*r = 3*o - 1194, 4*o - 623 = -4*r + 337. Is r a composite number?
True
Is (-1738)/55*10*(-3)/12 a composite number?
False
Suppose -3*l + 4*f + 921 = 0, 0*l - 3*l - 4*f = -921. Is l a prime number?
True
Let j = -165 + 1048. Is j a composite number?
False
Let s(z) = -z**3 + 10*z**2 - 3*z + 8. Let d be s(7). Is 1/(270/d + -2) a prime number?
True
Let u be (-10*1)/(9/(-27)). Suppose u = -5*x + 295. Is x a composite number?
False
Let h = -18 - -18. Suppose 4*p = -i + 5*i + 872, -4*i + 20 = h. Is p composite?
False
Let o(v) = v**3 - 23*v**2 - 20*v - 1. Is o(24) a composite number?
True
Let z(f) = -4 + 4 + 5 - f**2. Let h be z(-7). Let p = h - -75. Is p a prime number?
True
Let i = 14 + -9. Suppose 0*v + v - 4 = 0. Suppose -k + 221 = i*q - 46, -v*q + 218 = 3*k. Is q prime?
True
Let w = 397 + -60. Is w prime?
True
Suppose 3*u - 8*u = -6295. Is u a prime number?
True
Suppose -4*l + 3*i = -4321, -5*l + 5401 = -7*i + 3*i. Is l prime?
False
Is -485*(2 + -4)/2 composite?
True
Suppose -802 = -3*h + 83. Is h prime?
False
Let t(n) = 11*n + 2 + 0*n**2 + 2 + n**2 + 3. Let o be t(-11). Suppose -y + 42 = -o. Is y composite?
True
Let t = 16 - 9. Suppose -3*n + 4*i = -t*n + 488, -5*i = -4*n + 533. Is n prime?
True
Suppose 4*g + 2*w - 5*w - 1552 = 0, 0 = 5*g - 3*w - 1943. Is g composite?
True
Let r(g) = -80*g + 27. Is r(-11) prime?
True
Let w(i) = i**2 - 3*i. Let y be w(4). Let s = 153 - y. Is s composite?
False
Suppose 0 = -3*f + 2 - 20. Let b(v) be the third derivative of -v**4/24 + 7*v**3/6 + v**2. Is b(f) a composite number?
False
Let r(m) = -m**2 - 6*m - 4. Let l be (3 - -1) + 1 - 2. Suppose -13 - l = 4*t. Is r(t) a composite number?
True
Let h(i) = 5*i**2 - 2*i - 2. Let x be h(-2). Suppose 0 = 3*o - x - 104. Suppose -5*n + o = -973. Is n a composite number?
True
Let g be ((7 + -2)/(-1))/(-1). Let p = g - -10. Is p a prime number?
False
Let c be (-2)/1 + 6 + -2. Let q(f) = f**2 - 9*f + 9. Let j 