pose 5 = -i*a + 5*a. Suppose 44 - 219 = -a*v. Is v composite?
True
Let m(u) = -3*u + 1 - 4*u**3 - 3*u**2 - 3*u**3 + 3*u + 2*u. Is m(-3) a prime number?
True
Suppose -1578 = -3*n - 5*z, 3*n - z = 4*z + 1548. Is n a prime number?
True
Let y(g) = -10*g**2 - 6*g + 8. Let d be y(-7). Let s = -287 - d. Let q = s - 86. Is q composite?
False
Suppose 8*o = 5*o - 609. Let i = -145 - o. Is i composite?
True
Suppose 0 = -f + 2*f - 32. Let x = f - -411. Is x prime?
True
Let l = 5 - 5. Let c be (l - 12/(-3))/1. Suppose c*m - 122 - 82 = 0. Is m a prime number?
False
Suppose -2*a + 4365 = 5*m + 3*a, 2647 = 3*m - 4*a. Is m composite?
False
Suppose -k - m - 5 = -2*k, -k = -2*m. Suppose -2*g + k = -4. Is g composite?
False
Suppose -201 = -5*h + 2*h. Is h composite?
False
Let n = -156 - -318. Suppose 3*x = -5*f + n, 5*x + 2 = -3. Is f composite?
True
Let z be 6*(-15)/(-6)*3. Let i = z + -66. Is -2 - (-1 + (i - -1)) prime?
True
Let s be (2 - 3) + (-3 - -107). Let z = s - 58. Suppose n = -2*n + z. Is n prime?
False
Let q(u) = 3*u + 5. Let j be q(-4). Let k(r) = -11*r + 2. Is k(j) a composite number?
False
Suppose s - 2*s + 7 = 0. Is s prime?
True
Let j = -730 + 2707. Is j composite?
True
Let l = 0 - -3. Suppose 5*x + g - 30 = 2*g, -l*x + 2*g + 25 = 0. Suppose -x*c = 5*j - 390, -2*c - 2 = -0. Is j a prime number?
True
Suppose -2*a + a = 3*o - 1340, -6700 = -5*a + 4*o. Is 3/(5/(a/12)) a prime number?
True
Let c be 36/(-10) - 2/5. Let m(l) = l + 1. Let i(q) = 41*q - 3. Let f(r) = -i(r) + 2*m(r). Is f(c) a composite number?
True
Suppose -3*s + 483 = b, 3*b + 259 = 3*s - 224. Is s a prime number?
False
Let d be -1*12*2/(-2). Let u = d - 5. Is u prime?
True
Let l = -1 + -75. Let c = l + 209. Is c a prime number?
False
Let c = 2171 + -1150. Suppose -1194 = -5*a + c. Is a composite?
False
Let x(p) = -p**2 - 2*p + 5. Let z be x(-3). Suppose -3*n + 114 = 3*c, z*c - n - 4*n = 69. Is c a prime number?
True
Suppose 4*s + d = 0, 0 = -s + 2*d - 3*d. Suppose s = -3*l - 7 + 100. Is l a prime number?
True
Suppose -2*o + 3*o = 0. Suppose o = -r + 2*r - 46. Is r a composite number?
True
Let s(r) = 2*r**2 - 2*r - 1. Let y be s(-1). Is 55 - (4 - -1 - y) prime?
True
Let l be (-2)/11 - 6800/110. Is (-6 - -8)/((-4)/l) prime?
True
Suppose 0 = 2*w - w - 2. Suppose -4*k + 211 = 5*x, -w*x - 4*k - 10 = -104. Is x a composite number?
True
Let q = -10 - -14. Let c be 1216/10 + q/10. Let y = c + -27. Is y a prime number?
False
Let h be 4/10 - (-154)/(-10). Let c(p) = p**2 - 4*p + 8. Is c(h) a composite number?
False
Suppose 6*d - d = 635. Is d a composite number?
False
Suppose 3*o - d = 2*o + 27, 5*o - 144 = -4*d. Suppose 2*g = 1 + 47. Suppose -g = -4*i + o. Is i composite?
False
Let s(h) = -13*h + 7. Let t be s(-6). Suppose 5*k - 167 = -3*f - f, -2*f - 3*k = -t. Is f composite?
True
Let o be (0 + 2)*(-5)/(-2). Let a = o - 2. Suppose a*y = -5*x + 260, -x + 6*x + 5*y = 250. Is x composite?
True
Suppose -4*v + 4517 = 3*t, 0 = 5*v + 2 + 18. Is t a composite number?
False
Let g(n) = -n + 2. Let r be g(5). Let a(h) = 7*h + 4. Let b(t) = 15*t + 7. Let s(k) = r*b(k) + 7*a(k). Is s(6) composite?
False
Suppose -2*p = -3*p + 22. Let u(n) = -n**2 + n + 89. Let w be u(0). Suppose g = -p + w. Is g composite?
False
Suppose -o = -4*a - 279, a = 5*o - 1614 + 143. Is o prime?
False
Suppose -5*w + 1213 = 158. Is w a prime number?
True
Let g(w) = w**2 - w - 9. Suppose -6*o = -11*o + 40. Is g(o) a prime number?
True
Let s(c) = c**3 + 7. Is s(0) a composite number?
False
Suppose -5*r = 748 - 1973. Suppose -5*j = -3*o + r + 55, 4*o - j - 383 = 0. Is o composite?
True
Let g = -1026 + 1865. Is g composite?
False
Let o = -15 - 27. Let f = -23 - o. Is f a prime number?
True
Suppose -258 - 1068 = -5*q + 3*d, 4*d + 1323 = 5*q. Is q a prime number?
False
Suppose -b + 284 = 3*b. Let a = b - 34. Is a a prime number?
True
Let u = 8 - 6. Let o(y) = y**3 + 10*y**2 + 9*y + 20. Let s be o(-9). Suppose -4*k - z = -s, -5*z - 32 = -u*k - 0*z. Is k a composite number?
True
Let u(v) = v**3 + 3*v**2 - 2*v + 3. Let w be 21/(-9) + (-2)/(-6). Let p be -3*1/3*w. Is u(p) prime?
True
Let w(r) = r**2 + 6*r + 6. Let l be w(-4). Let g(d) be the third derivative of -d**4/6 - d**3/3 - d**2. Is g(l) a composite number?
True
Suppose -1084 + 421 = -3*v. Suppose 4*y - 328 = 2*o, 3*o = 3*y - v - 28. Suppose 5*s - y = -2*u + 24, 66 = 4*s - 2*u. Is s a composite number?
False
Let k(w) = -2*w + 5. Let f be k(4). Let l = f + 4. Is 51 - -4 - (l + -1) composite?
True
Let a(x) = 2*x - 2. Let f be a(-6). Is (f/8)/(1/(-12)) a prime number?
False
Let y(n) be the third derivative of -n**6/120 + 3*n**5/20 - 7*n**4/24 - n**3/6 + 3*n**2. Let g be -10*(26/(-10) + 2). Is y(g) a composite number?
True
Let m(b) = 63*b**3 - 2*b**2 + b. Is m(1) a composite number?
True
Let o = 172 + 739. Is o a prime number?
True
Is 2 + (-7)/3 - 2464/(-3) composite?
False
Let a = -7 + 7. Is -1 + (a/2 - -260) composite?
True
Let i be (-1)/(-1) + 0 + -1. Suppose 3*p - 90 = -3*f, -3*f - 2*p = -i*p - 95. Is f composite?
True
Let o = 58 + -103. Is 10/o + 1426/18 prime?
True
Let q = 4 - 4. Suppose 42 = -5*o - 2*v, q*o + o - 3*v + 22 = 0. Let m = o - -17. Is m a prime number?
True
Suppose -3*s - s = 0. Suppose s*g + 4*g = 80. Suppose n + 73 = 6*n + a, g = 2*n + 5*a. Is n a composite number?
True
Suppose -12 = -4*s + 4*f, -21 = -4*s - 2*f - 3*f. Suppose 5*c - 214 = -s*q + 209, 3*c + 3*q = 255. Is c a prime number?
True
Suppose 0*z - 4*z + 336 = 0. Is z + (0 - (-1 - 2)) a prime number?
False
Let b(s) = s**3 - 7*s**2 + 5*s + 8. Let v(g) = -2*g - 2. Let u be v(-4). Let c be b(u). Suppose -c*p + 273 = p. Is p prime?
False
Let n = 46 + -26. Suppose n = -5*j, -h - 102 = -3*h - 4*j. Is h prime?
True
Suppose -2*i + 0*i = -578. Is i composite?
True
Is (-2 + -417 + 0)/(-1) composite?
False
Suppose 8357 + 4624 = 3*g. Is g composite?
False
Let q(i) = 2*i**2 - 14*i + 4. Let b be q(-13). Suppose 0 = -a + b - 87. Is a a composite number?
True
Let z be (-2)/(-4) + (-28)/8. Is z - -2 - -19*2 a prime number?
True
Is 128 + 3 - (-2 - -2) a prime number?
True
Is -2 - (-387 + (5 - 2)) composite?
True
Let s(h) = h**2 + 3*h - 2. Let a be s(-4). Suppose a*t = 5*t - 174. Is t composite?
True
Suppose -5*m + 12 = -18. Is m a prime number?
False
Let d be 1/(-1)*-3*2. Suppose -2*c - 2*r - d = 0, 3*c + 2*c + 39 = 3*r. Let t(u) = u**3 + 6*u**2 - u + 1. Is t(c) a composite number?
False
Suppose x = -2*x + 2*y + 3157, -4*x + 5*y = -4221. Is x a prime number?
True
Let j = -243 + 174. Let o = -46 - j. Is o prime?
True
Let d(c) = 2*c**3 - 5*c**2 + 4*c + 4. Let x be (-6)/12 - (-11)/2. Is d(x) a prime number?
True
Suppose -3*y - 2*h = -3*h - 169, -5*h + 255 = 5*y. Suppose 3*m - y - 50 = 0. Is m a prime number?
False
Suppose 6 = -0*u + 4*u + o, 0 = -u - o. Let h be (2/6)/(2/42). Suppose u*i + h - 33 = 0. Is i composite?
False
Let q(a) = a**3 + 3*a**2 - 6*a - 3. Let l be q(-4). Suppose 5*c = 5*t + 1 - 6, 0 = -l*t + 4*c. Is (-583)/t - 12/16 prime?
False
Suppose 3*h = 5*p - 74, -5*p = -2*h - 6*p - 32. Let o = 39 + h. Is o a composite number?
True
Let q be (0 + -1 - -15) + -2. Suppose -t + q = 3*t. Suppose -2*o + 88 = t*p - 11, -o - 152 = -5*p. Is p a prime number?
True
Suppose 3*f - 8 - 137 = 2*u, u = f - 48. Is f composite?
True
Let x be 0/(-3 + 1) + 2. Suppose -x*l + 118 = -0*l. Is l a composite number?
False
Suppose -13*p + 11*p + 760 = -2*g, -757 = -2*p - g. Is p a prime number?
True
Let z(t) = -145*t + 7. Is z(-4) composite?
False
Let v be (0/4)/((-1)/1). Suppose 3*i - 114 - 120 = v. Suppose -3*r - 4*d = -113, 2*r - i = -0*r - 2*d. Is r prime?
True
Suppose 2*j - 18 = 4*r - 4, j = 4*r + 11. Suppose 0 = -j*d + 6*d - 159. Is d a prime number?
True
Let b = -28 - -130. Suppose -v = 2*q - 107, 0*v + v = -q + b. Is v prime?
True
Let v(k) = k - 8. Let f be v(10). Let i(q) = -5*q - 7 + 3*q + 2*q**f - 3*q. Is i(6) composite?
True
Let c(u) = u**3 + u - 646. Let k be c(0). Let z = -1035 - k. Let x = 600 + z. Is x composite?
False
Let x = -102 + 33. Let m = 268 - x. Is m a composite number?
False
Suppose 228 = 2*i + 2*i. Suppose o - 17 - i = 0. Is o a composite number?
True
Let n = 9 - 4. Suppose n*r = 18 + 7. Suppose 5*k - 2*k - 5*a = 283, r*k - 4*a - 463 = 0. Is k prime?
False
Let d be (1 + 1)/(5/15). Let h(i) = i**3 - 7*i**2 + 7*i - 4. Let 