 o a composite number?
False
Let u(r) = r**2 - r + 1. Let y be u(-5). Let b = y - 0. Is b a prime number?
True
Let d = -9 - -14. Suppose 0 = d*z - 3*f - 38, 30 = 3*z - 3*f + 6. Is z a prime number?
True
Let o(i) = -i**2 + i. Let s(l) = -8*l**2 + 4*l + 1. Let h(g) = 4*o(g) - s(g). Let t be h(1). Is (134/10)/(t/15) composite?
False
Suppose 4*l = -4*m + 3*m + 15, -4*m + 15 = l. Is (-3 - -5) + m + -3 a composite number?
False
Suppose 2*c - 507 - 4067 = 0. Is c prime?
True
Suppose x = 4*x - 2580. Suppose 4*o = -4*s + x, -1075 = -6*o + o + 3*s. Is o composite?
True
Suppose 3*w - 3 = 9, -1672 = -4*h + w. Is h prime?
True
Let x(m) = 17*m**2 + 14. Is x(-5) a composite number?
False
Suppose 2*k - 889 = k. Is k composite?
True
Let s(m) = m**2 - 6*m. Let u(t) = 6*t + 1. Let h(a) = 6*s(a) + 7*u(a). Is h(6) a composite number?
True
Let k(d) = d - 6. Let a be k(7). Suppose h + a = 2. Is (0 + 1)*h*53 prime?
True
Let d be 1/1*12/2. Suppose 0 = 3*l + 9 + d. Let x(o) = o**3 + 5*o**2 - 4*o - 7. Is x(l) composite?
False
Let t(o) = 18*o**3 + 4*o**2 + o - 4. Is t(5) a prime number?
True
Let o(b) = -b + 7. Let g be o(0). Let w(v) = v**2 - 7*v + 4. Let l be w(g). Suppose -65 = -c - l*c. Is c prime?
True
Let b = 354 + -23. Is b composite?
False
Let q(n) = 11*n + 2 - 6*n - 7*n - 7*n. Is q(-8) composite?
True
Suppose 25*k - 17*k - 2024 = 0. Is k a composite number?
True
Let r be 6/24 + (-2)/8. Suppose -5*o + 654 = -x + 5*x, -2*o + 4 = r. Is x composite?
True
Let a(u) = u**3 - 8*u**2 + 9*u + 1. Is a(10) prime?
False
Let j = 9 + -5. Let k = j - 0. Suppose v + x - 36 = -x, 0 = -k*v - x + 137. Is v a composite number?
True
Is (-1)/(2 + (-4225)/2110) composite?
True
Suppose -375 = -5*t + 5*p, 3*p - 142 - 158 = -4*t. Let h(m) = m**2 - 8*m - 4. Let q be h(9). Suppose 110 = q*i - t. Is i prime?
True
Suppose 5*s = 4*s. Suppose s*y + 14 = y. Is (-3 - y/(-4))*74 a composite number?
False
Let h be -1 - (2 - (1 + 5)). Suppose -5 = 2*m - h*c, c + 14 = m + 5*c. Suppose 15 = -l + m*l. Is l prime?
False
Let n = -465 + 1006. Is n composite?
False
Let w(v) = v**3 - 4*v**2 - 5*v + 6. Let c be w(5). Let o be (c/10)/((-7)/(-35)). Let r(j) = j**3 - j**2 - 3*j - 2. Is r(o) a composite number?
False
Let d be 3/(6/(-352)) - 2. Suppose -3*j = -2*j - 309. Let n = d + j. Is n composite?
False
Let n(i) = i**2 - 1. Let l(q) = -3*q**2 + 1. Let o(z) = -2*l(z) - 5*n(z). Suppose 2*y - 8 = x, -16 = x - 5*y + 4. Is o(x) composite?
False
Let y(a) be the first derivative of a**2 - 9*a + 2. Let f be y(6). Suppose f*l + l - 236 = 0. Is l a prime number?
True
Let p(t) = t**3 + 12*t**2 + 3*t - 5. Suppose -5*v = 3*w - v - 41, -5*w + 3*v + 20 = 0. Suppose -3*i = j - 8 + 39, -i + w = -4*j. Is p(i) composite?
False
Suppose -l - 59 = -m - 312, -5*l - 3*m = -1281. Suppose 5*s - l = -5*f, f - 32 - 16 = -2*s. Let b = f - 17. Is b a composite number?
False
Let s be (-1113)/(-2)*28/21. Let c = s + -295. Is c composite?
True
Suppose -2*a = -3*a + 2*n + 25, n + 86 = 4*a. Let h = a - -62. Is h a composite number?
False
Let k(u) = -u**3 + 6*u**2 + 2. Let j be k(6). Let g be 1 - j/1*-1. Suppose 2*w - 24 = t, 32 = w + w - g*t. Is w prime?
False
Let m = 22 - 16. Is (-3681)/(-36) - m/(-8) composite?
False
Suppose w + s = 6*s - 3, 3*s - 3 = 0. Suppose -w*r = -163 - 67. Let d = r + -68. Is d a composite number?
False
Let y = -7 - -7. Suppose q + 0*q - 857 = -2*h, y = h + q - 430. Is h a composite number?
True
Let z(q) = -13*q - 1. Let t(x) = -27*x - 2. Let j(f) = -6*t(f) + 13*z(f). Is j(-10) a prime number?
False
Suppose 0*z - 573 = -3*z. Is z a prime number?
True
Suppose 2*u - 3*u = -3*a + 2746, 10 = 2*u. Is a a composite number?
True
Suppose -f - 6 = f. Let q be f/2*-6 - 0. Is 114/q*(-6)/(-4) prime?
True
Let g = -99 - -152. Is g composite?
False
Suppose 3*n - 118 - 2165 = 0. Is n composite?
False
Suppose -2 = 3*w - 11. Suppose 0*p - 110 = -5*p + 3*q, -66 = -w*p - 4*q. Is p a prime number?
False
Let v = 6 - 3. Is v/4 - (-435)/12 a prime number?
True
Let h = -2 - 0. Let g(r) = -r + 2. Let j be g(3). Is 218/(-6)*(h + j) a prime number?
True
Let u = -20 + 0. Let n = u - -31. Is n a composite number?
False
Suppose -3*t = 91 - 325. Let z = 118 - t. Suppose -3*y = -271 + z. Is y prime?
False
Let s(x) = 15*x + 3. Let q be s(3). Suppose 0 = -0*i - 3*i - q. Let l = 105 + i. Is l a composite number?
False
Suppose -3*m - 4*i + 2090 = 0, -4*m = -7*m - 5*i + 2092. Is m a prime number?
False
Let g = -41 + 72. Is g prime?
True
Let x be (1 + -1 - 0) + 20. Suppose i - 3*i - x = 0. Is (-76)/i*(9 - 4) prime?
False
Let l(k) = 5*k**3 - k**2 + k - 2. Is l(3) composite?
False
Let a(p) = -p**2 + 2*p + 6. Let t be a(-7). Let i = t + 112. Is i composite?
True
Let f be ((-3)/6)/(1/74). Let i = 16 - f. Is i prime?
True
Suppose -5*m = -2*m + 393. Is m/(-2*(-1)/(-2)) a prime number?
True
Let b = 0 + 2. Suppose 0 = -0*o - b*o + 38. Is o a composite number?
False
Let v(c) = 7*c**2 + 3*c - 3. Is v(5) composite?
True
Let y = 6 - 4. Suppose -4*d + 5 = -v, -2*v + y*d = -d. Suppose 2*k + v*z - 119 = 0, -5*z + 70 = -4*k + 5*k. Is k a composite number?
True
Suppose -5*u = -3*x - 1778, 4*u - 3*x = x + 1424. Suppose -3*g - 408 = -3*m, u - 1047 = -5*m + g. Is m a composite number?
False
Let g(y) = 2*y**2 - 16*y - 12. Is g(13) a composite number?
True
Suppose -2*d + 63 = 7. Is d + 3/1*1 a prime number?
True
Is (-2590)/(-20) - (-3)/2 composite?
False
Suppose -2*m - 3*m = 95. Let w be (-1)/(-2 - m/9). Is (-3 - 30/w)*159 prime?
True
Let o(b) = 5*b**2 + 2. Let u be o(-3). Let f be (0 + 3)/(-3) + u. Suppose f + 28 = 2*j. Is j composite?
False
Suppose i + 2*l = -8, 0 = -5*i - 3*l - 12. Suppose i = -2*c + c + 31. Is c a composite number?
False
Suppose 4*r + 870 = 5*v, 4*r + r + 195 = v. Let k = v - 83. Is k prime?
False
Suppose 204 - 39 = 5*x. Is x prime?
False
Let q(c) = c**3 - 5*c**2 + 3*c. Let d be q(2). Is ((-15)/d)/(-5)*-118 prime?
True
Let n = -3 + 2. Let i be (n/(-3))/(3/9). Is i/5 + (-1536)/(-20) a prime number?
False
Let h(y) = -2 + 20*y - 7*y + 30*y. Suppose -7*a = -2*a - 15. Is h(a) composite?
False
Is 637 - (2/8 - 49/(-28)) composite?
True
Suppose 5*k - 9*k = 4*t - 292, 5*k = 4*t - 274. Is t composite?
False
Suppose -2*y + 511 = -163. Is y a prime number?
True
Suppose 0 = 4*s - 11691 - 17705. Is s a composite number?
False
Let k(p) = 104*p**2 + 2*p - 1. Is k(2) a composite number?
False
Let a(g) = 221*g. Is a(1) composite?
True
Suppose -w = -5*b + 23910, 0*b + b - 4778 = w. Is b a composite number?
False
Let v(h) = 18*h - 3. Let i(q) = -q**3 + 5*q**2 - 5*q + 6. Let c be i(4). Is v(c) a composite number?
True
Let t = -59 - -104. Let o(w) = 11*w**2 + w - 4. Let u be o(3). Suppose 0 = -3*b - 2*s + 113, -4*b + t + u = -5*s. Is b composite?
False
Let j be 384 + (-2 - 1) + 1. Suppose -g = g - j. Is g a composite number?
False
Let b = -30 + 8. Suppose -20*x = -12*x - 616. Let m = b + x. Is m composite?
True
Let f = 10 + -1. Suppose -4*k - 1 = -2*k - 3*r, -4*r + 1 = -3*k. Is k/3 + 60/f a composite number?
False
Suppose -2*r + 4*q - 4 = 68, -q + 31 = -r. Is (r/(-4) - -3)*22 a prime number?
False
Let l = -219 - -988. Is l a prime number?
True
Let j be ((-1836)/48)/((-3)/8). Suppose 18 - 3 = 5*z, -3*g - 3*z = -j. Is g composite?
False
Let g = 9 - -11. Let c = 14 - g. Let p(i) = i**3 + 11*i**2 + 4*i + 7. Is p(c) prime?
True
Suppose -5*k - 3*r = -6, 0 = -4*k - 5*r + 6 + 4. Let l(s) = -s**2 - s + 2. Let m be l(k). Is ((-51)/4)/(m/(-8)) composite?
True
Let k(f) = f**2 - f + 2. Let z be k(0). Let n(y) = y**2 + 5*y + 4. Let c be n(-4). Suppose c = z*w - 3*w + 15. Is w a composite number?
True
Is (-1335)/6*(-2)/1 a prime number?
False
Suppose 0 = -2*r + 2*a + 3*a + 2157, 4*r - 4*a = 4344. Is r prime?
True
Let c(n) = -n**3 + 9*n**2 - 7*n - 11. Is c(6) a composite number?
True
Suppose -3*g - 1 - 2 = 3*d, g = -3*d - 9. Suppose g*r - 5*b - 1310 = -2*r, 489 = 2*r + 5*b. Is r composite?
False
Let s(j) = -j + 12. Let m be s(12). Suppose m = -4*c - 5*y + 298, 3*c - 15 - 220 = 2*y. Is c composite?
True
Let l = 7 + 95. Let s(b) = -2*b**2 - 3*b + 3. Let k be s(-6). Let j = l + k. Is j prime?
False
Let q(c) = -c + 9. Let v(d) = -d**3 - 4*d**2 - 2*d - 3. Let h be v(-4). Let s be q(h). Suppose s*a - 237 = a. Is a composite?
False
Suppose 5*l - 2199 = 3046. Is l prime?
True
Let h = 29 + -15. Let 