posite?
True
Let l(i) = 211*i. Let n be l(1). Suppose 0 = -3*t - 4*f + n, 3*t + 2*f - 256 = 7*f. Is t a composite number?
True
Suppose -7*j - 15993 = -10*j. Is j composite?
True
Let w = 201 - 110. Is w prime?
False
Let s(a) = 8*a + 3. Is s(4) prime?
False
Suppose -4*x - f = -41 - 21, 4*f + 56 = 3*x. Let b be 927/4*x/6. Suppose -n = -0*z + 2*z - 308, 4*z + n = b. Is z a composite number?
True
Suppose d = -4*m + 3*d + 130, 4*m - 136 = 4*d. Suppose 35 = 3*v - m. Is v composite?
True
Suppose -33*a - 2722 = -35*a. Is a a composite number?
False
Let r = 53 - 32. Let p = -10 + r. Suppose x = p - 0. Is x a prime number?
True
Let g = 181 - 62. Is g composite?
True
Let u(x) be the second derivative of 7*x**4/4 - x**3/6 + x**2/2 - 3*x. Is u(-2) prime?
False
Suppose -2*v = -0*v + 5*g + 513, 3*g - 15 = 0. Let q = v + 380. Suppose 0 = -x + 4*x - q. Is x a prime number?
True
Suppose 25127 = 5*k - 2*x - 26720, -3*k - 4*x + 31103 = 0. Is k composite?
False
Is ((-7)/7)/(2/(-398)) prime?
True
Let s = 5 + -3. Suppose -4*n = 5*p + n + 135, -s*p + 3*n = 29. Let l = -9 - p. Is l a composite number?
False
Let q(k) = k - 5. Let i be q(8). Suppose 3*r + 36 = i*x, -4*x + 0 + 72 = 4*r. Is x composite?
True
Suppose g + 1 + 3 = 0. Is (-628)/(-12) - g/6 a prime number?
True
Suppose 4*r = -r. Suppose -4*t = -r*t. Suppose u + t = 35. Is u prime?
False
Suppose 124 = 3*j - j. Let h = 70 + -43. Let c = j - h. Is c a composite number?
True
Suppose -i + 1 = -r, -2*r + 5 = -i + 2. Suppose -68 = -i*l + 302. Is l composite?
True
Let l be 4*(-1)/(-4)*39. Let y = l + -63. Let z = y - -39. Is z a prime number?
False
Let b = -178 + -528. Let h = b - -1302. Suppose 5*n + 31 = h. Is n a composite number?
False
Let t = -138 + 297. Let a = t - 80. Is a composite?
False
Let q(n) = 38*n**2 + 2*n + 1. Let x = -11 - -10. Let m be q(x). Suppose f + 3*f = 3*g + m, -4*f + g + 39 = 0. Is f composite?
True
Let t = 43 + 13. Let p = t + -25. Is p prime?
True
Let p(s) be the second derivative of 0 - 1/6*s**4 - 2/3*s**3 - 3/2*s**2 - 3/20*s**5 + s. Is p(-2) a prime number?
False
Let n(p) = p**2 + 5*p + 5. Suppose 0 = -2*v - 3*v - 25. Let m be n(v). Suppose 4*k + 3*b - 10 = 208, -263 = -m*k + b. Is k prime?
True
Let i(d) = 17*d + 27. Let x(q) = -8*q - 13. Let y(g) = -4*i(g) - 9*x(g). Is y(7) prime?
True
Let h = 2 + 0. Let i(w) = 2*w - 2. Let p be i(h). Suppose -p*z + 36 = 2*z. Is z prime?
False
Let a be 6/(-2) - (-1 - -2). Let h(s) be the second derivative of -4*s**3/3 + 3*s**2/2 - s. Is h(a) composite?
True
Let m = 1 + 3. Let r(i) = i**2 - 5*i. Let q be r(m). Is 19/((-3)/(q - -1)) prime?
True
Is (-6)/3*(-127)/2 composite?
False
Let m(i) = -i**3 + 5*i**2 + 3*i - 9. Let r be m(6). Let f = r + 95. Suppose 2*x - f = -2. Is x a prime number?
False
Suppose -4*r - 4*v = -9*v + 97, 0 = -4*r + 4*v - 92. Let j = 70 - 76. Is (-6)/r - 232/j a prime number?
False
Is -4 - 0 - (-528 - -3) a composite number?
False
Let u = 6495 + -3776. Is u prime?
True
Let s = 700 - 485. Is s a prime number?
False
Let z be (-42)/8 - (-1)/4. Let n = 4 + z. Is n + 54 - (0 - 2) prime?
False
Suppose t = -0*t + 319. Is t a composite number?
True
Suppose j = -j + 2*v, j + 5*v = 0. Suppose 4*i = -j*i + 16. Is 1 + i/6*27 prime?
True
Suppose 3*v + v - 1608 = 0. Suppose -824 = -4*o + 4*s, 0 = 2*o - 0*o - 4*s - v. Is o composite?
False
Let d = -9 - -9. Suppose d = 3*h + 34 - 343. Is h a prime number?
True
Let b(i) = 34*i - 5. Let z be 1 - (-6 - (-1 + -2)). Is b(z) composite?
False
Let v(j) = -j**3 + 5*j**2 - 3*j - 1. Let a be v(4). Suppose -2*w + 4 = -x - x, a*x = 0. Suppose 6 = 3*q + 3*r, 7*r + 1 = -w*q + 4*r. Is q a composite number?
False
Let p = 42 - -135. Is p composite?
True
Suppose 2*u - 2509 + 0 = -3*m, 3*u + 12 = 0. Is m composite?
False
Let z(w) = w**2 - 4*w - 11. Is z(10) a composite number?
True
Let l(h) = -h + 2. Suppose 8*b = 4*b. Let w be l(b). Suppose -w*u + 0*u + 38 = 0. Is u a prime number?
True
Is -3687*(-1)/5 + 6/(-15) a composite number?
True
Let y(o) = 4*o**2 - 12*o + 11. Is y(10) prime?
False
Let s(d) = -2659*d - 12. Is s(-1) composite?
False
Let w = 294 - 83. Is w a prime number?
True
Suppose 0*z - z + 3*j + 452 = 0, -2*z = 4*j - 874. Is z prime?
True
Is (-2 - -169)*(0 + 5) a composite number?
True
Let r(s) = 121*s**2 - 3*s + 1. Is r(2) prime?
True
Let m(f) = f**3 - 3*f**2 + 10*f + 3. Let w(o) = -5*o**3 + 11*o**2 - 41*o - 12. Let b(d) = -9*m(d) - 2*w(d). Suppose -3*g + 4*g = -5. Is b(g) a composite number?
False
Let j(r) = -3*r. Let t be j(-1). Let w(g) = 7*g**3 - g + 1. Let x be w(t). Suppose -273 - x = -4*b. Is b a prime number?
False
Suppose -35*n + 41*n - 2886 = 0. Is n composite?
True
Suppose -4*x + 7*x + 2*q = -89, -4*x - 120 = 3*q. Let g be 5/((-10)/(-96)) - 2. Let y = x + g. Is y composite?
False
Is 1458/12 - 2/4 a composite number?
True
Let y be ((-9)/(-2))/(4/344). Suppose 4*a - y = 853. Suppose -r + a = 4*r. Is r a prime number?
False
Let m(a) = a**3 - 4*a**2 - a + 4. Let s be m(4). Suppose -3*o = -y - y - 4, s = -o + y + 2. Suppose o = 5*w + 10, 5*r + 0*w - 399 = 2*w. Is r composite?
False
Suppose 3*y - 4*g = 6*y - 467, -2*g + 797 = 5*y. Is y a prime number?
False
Let r(o) be the third derivative of 13*o**4/8 + o**3/6 - o**2. Is r(4) a composite number?
False
Let s = 7 - 5. Let m = 5 - s. Suppose -m*c + 25 = -2*c - 2*h, -4*h + 19 = c. Is c a composite number?
False
Let q = 9396 - 6401. Is q prime?
False
Suppose 4*c + 2*u - 1677 = 165, 4*c + 3*u - 1843 = 0. Suppose 5*q + 329 = 2*n, 5*n - 4*q - 405 - c = 0. Suppose 0 = -5*r + n - 22. Is r a prime number?
True
Let d = -10 + 8. Let y(c) = 38*c + 4. Let z(b) = -39*b - 5. Let m(r) = -6*y(r) - 5*z(r). Is m(d) composite?
False
Let s(c) = -129*c**3 - 2*c + 1. Let h be s(1). Let z = -43 - h. Is z a composite number?
True
Let r(g) = 25*g - 11. Let i(j) = -13*j + 6. Let u(s) = -11*i(s) - 6*r(s). Let z be u(-1). Suppose -l - 70 = -z*b + 2*b, 3*b + 2*l = 55. Is b a prime number?
False
Is (346 - 1/1) + 2 a prime number?
True
Let x = 2 - 0. Suppose 0 = -x*o - 10 - 0. Let j = o + 26. Is j a prime number?
False
Let p(z) be the second derivative of -5/2*z**2 - 2/3*z**3 + 0 + 2*z. Is p(-5) composite?
True
Suppose 2*d - 4*d = -286. Is d composite?
True
Suppose -4*p = 0, 4*n + 5*p = 3*n + 2334. Suppose 4*z + 250 = n. Is z a prime number?
True
Suppose 0 = 4*u - l - 9, 9 - 30 = -4*u - 3*l. Suppose -185 = -5*i - 2*y, -u*y - 190 = -5*i - 4*y. Is i a composite number?
True
Let k(z) = z**3 + 15*z**2 + 11. Is k(-15) composite?
False
Suppose 2*k = -5*m + 35, -2*k + 6 = -3*m - 53. Suppose 0*f + k = 5*f. Suppose c + 2*q - 7*q = 43, -f*c - q + 267 = 0. Is c a prime number?
True
Let m(t) = t**3 - 3*t - 5. Let h be m(-2). Let a(c) be the third derivative of -c**6/120 - 7*c**5/60 - 5*c**4/24 - c**3/3 - c**2. Is a(h) a prime number?
False
Let q = 11 - -18. Let i(y) = -y**2 + 4*y + 1. Let r be i(3). Let g = r + q. Is g composite?
True
Let k(l) = 19*l + 1. Let d(r) = 2*r - 1. Let c be d(1). Let z = 3 - c. Is k(z) a composite number?
True
Suppose 9*z + 0*z - 747 = 0. Is z composite?
False
Let w(u) = 10*u**2 - 15*u + 2. Is w(13) prime?
False
Let l be 8/(-6)*(-9)/6. Let f(s) = 2*s**2 - 2*s - 2. Let m be f(l). Is (9 - 3) + (2 - m) composite?
True
Let x(j) = 46*j**2 + 1. Suppose -2*d + 0 = -2, -1 = o + 3*d. Let p = 5 + o. Is x(p) a composite number?
False
Is (-6 - 287)*(-15)/3 a prime number?
False
Let n = -103 - -70. Let a be 6/33 - 1347/n. Let s = 66 - a. Is s a composite number?
True
Suppose 887 = p + 5*b - 1156, p = -3*b + 2047. Is p composite?
False
Let p(g) = 9*g**3 + g**2 + 2. Let k be p(2). Suppose -a - 554 = -5*h, -5*h = 4*a - 481 - k. Is h prime?
False
Let f be ((-3)/6)/(1/2). Is f + -2 + 1 - -16 a composite number?
True
Let y = -1906 - -4035. Is y a prime number?
True
Let p(g) = 3*g + 131. Is p(0) a prime number?
True
Let f be 1/4 + (-1)/4. Suppose 4*n - 378 - 370 = f. Is n prime?
False
Let d(g) = -g**2 - 14*g - 9. Let c(o) = 3*o + 4. Let u be c(-4). Let z be d(u). Let n = 76 - z. Is n a composite number?
False
Let z be 2 - 1 - 2*-2. Let a = z - 2. Is ((-69)/a*1)/(-1) a prime number?
True
Suppose 0*u = -u + 4. Suppose 3*r - 1128 = -5*d + 1136, -5*d + 2262 = u*r. Suppose 179 = -5*z + d. Is z a composite number?
True
Let m(y) = -y**3 - 8*y**2 - 4. Let b be m(-8). Let c = -1 - b. Is c + -1 + 