pose 2*u = 10 + 84. Is u composite?
False
Suppose -5*p = -4*v + 1, v + 2*p - 10 = -0*p. Suppose -v*g - 88 - 500 = -4*i, 2*i - 288 = -g. Is i a composite number?
True
Let t = 522 + 737. Is t composite?
False
Let c = 894 - 487. Is c composite?
True
Suppose 2*o - 1 = 5*o - 2*x, -x = -4*o - 3. Let g be (6/4)/(o/(-2)). Suppose -g*h + 3*n + 234 = 0, 2*h - 3*n - n - 154 = 0. Is h a composite number?
False
Is ((-1497)/(3/(-1)))/1 composite?
False
Suppose -d + 6 = 3. Is d a composite number?
False
Suppose -2*k = -3*k + 319. Is k prime?
False
Let p be (-4)/2*(-42)/12. Suppose p = -b + 2*b. Suppose 285 = b*u - 4*u. Is u a composite number?
True
Let c(m) = 3*m - 2. Let o be c(2). Suppose -4*q + 508 = 4*z, -o*q - 107 = -z - q. Is z a prime number?
False
Let w(x) = -x**3 + 16*x**2 + 19*x - 3. Is w(17) prime?
True
Let r = -907 + 1441. Suppose -4*k = -g + 3*g - 422, -4*g - r = -5*k. Is (1 - 3/6)*k a composite number?
False
Let v be 4/(-22) - (-35)/11. Let o be v + 9 + 6/(-2). Suppose o = 3*u - 48. Is u prime?
True
Let p be 1 + (-6)/(-3) + 57. Let t = 106 - p. Is t composite?
True
Let a = 17 - 15. Let j = 0 - -2. Suppose 5*z = -j*b + 153, -z - a*z = b - 76. Is b a prime number?
True
Let v(w) = -3482*w**3 + w**2 + 3*w + 2. Is v(-1) composite?
True
Suppose q = -0*q + 420. Let d = q + -91. Is d a composite number?
True
Is ((-3)/(-2))/((-12)/(-776)) prime?
True
Let l(j) = -2 - 1 - 4*j**2 + 0*j + 0*j. Let x be l(3). Let g = x - -70. Is g a prime number?
True
Let s(k) = k**3 + 2*k**2 - 3*k - 3. Let c be s(-3). Let f = c - -8. Suppose 3*t = -f*o + 148, -5*t = o - 248 - 6. Is t a prime number?
False
Suppose 0 = 3*f - 12 - 18. Suppose -f - 10 = -4*o. Suppose o*q - 22 - 83 = 0. Is q a prime number?
False
Let q = 400 + -99. Is q prime?
False
Let s(t) be the first derivative of 5*t**4/24 + t**3/3 + t**2/2 + 1. Let p(q) be the second derivative of s(q). Is p(4) a composite number?
True
Let p = 150 + -90. Let w = 36 - 87. Let f = p - w. Is f prime?
False
Let o = -510 - -340. Let l = o - -261. Is l a composite number?
True
Let t(x) = x**2 + 5*x - 3. Let v be t(-5). Let h(o) = -o**2 - 4*o + 4. Let l(y) = 4*y**2 + 21*y - 21. Let r(k) = -11*h(k) - 2*l(k). Is r(v) a prime number?
True
Is -1 + 12*(0 + 33) prime?
False
Let i(j) be the third derivative of -j**4/12 + 3*j**3 - 3*j**2. Let h be i(12). Let n = h - -88. Is n a prime number?
False
Let k be -4*((-29)/4 - 0). Let o = 44 - k. Is o a composite number?
True
Let q = 118 + -53. Is q a prime number?
False
Let w = -612 - -1355. Is w a prime number?
True
Let f(p) be the third derivative of -3*p**5/20 - p**4/12 - p**3/3 - p**2. Let c be f(-3). Let v = -28 - c. Is v a composite number?
True
Let a(y) = -2*y - 8. Let h be a(-6). Suppose v + 0*v = -5*l + 66, -2*l = 2*v - 20. Is 326/l + h/(-14) a composite number?
False
Suppose 4*g - 644 = -0*g + 3*d, -2*g + 312 = d. Is g composite?
True
Let q = 3 - 8. Let l be 1/((10/(-12))/q). Let k(n) = n**3 - 5*n**2 - 5*n + 5. Is k(l) composite?
False
Is 0 + -3 - -58*2 a composite number?
False
Let u be (1/(3/(-18)))/(-2). Suppose -417 = 5*x - 3*j, j - 251 = u*x - 0*j. Let i = x + 233. Is i prime?
True
Suppose -4*d - d = -490. Suppose d + 97 = 3*y. Is y a prime number?
False
Suppose -570 = 9*f - 15*f. Is f composite?
True
Let u(y) = -y**2 - 7*y + 2. Let f be u(-5). Let b(p) = 13*p + 5. Is b(f) a composite number?
True
Let t(f) = -2*f**3 - 4*f**2 + 5*f + 2. Is t(-5) a prime number?
True
Let n = 44 - 25. Is n a prime number?
True
Suppose 3*m + m = 20. Suppose 4*j - 2*n = 123 - 13, -m*j = 5*n - 115. Is j prime?
False
Let a be (-2042)/(-22) - 8/(-44). Is ((-16)/24)/((-1)/a) a prime number?
False
Let p = -4 + 7. Suppose -p*z + 167 = -2*m, -z - 2*m + 4 = -65. Is z composite?
False
Suppose -y - 15 = -142. Is y a prime number?
True
Let w be (0 - (1 - 1)) + -3. Let n be 152/(-6) + 2/w. Let k = 36 + n. Is k a composite number?
True
Suppose 5*h = 3*r + 10, 0 = 5*h + r + 2*r - 10. Suppose m - 389 = h*p - 78, m + 4*p - 299 = 0. Is m a composite number?
False
Let p(x) = x**3 + 7*x**2 - 3*x - 6. Let s be p(-6). Let d = 111 + -72. Suppose 5*t + j = s, -4*t + d = -j - 3. Is t prime?
False
Suppose 4*h - 8*h - 4*p = -60, 4*h = 3*p + 88. Let i = h + 94. Is i a composite number?
False
Let n = -73 + 108. Let w = 170 + n. Let v = w + -138. Is v a composite number?
False
Let q(d) = -4*d**3 - 4*d**2 - 2*d + 1. Suppose 5 - 3 = n + 4*x, -x + 1 = 0. Is q(n) prime?
False
Suppose 0*m = -m. Suppose 5*v - 2*q - 155 = m, -2*q - 40 - 16 = -2*v. Is v a prime number?
False
Let s be 2/(-4) - 366/(-12). Let k = 88 - s. Suppose -4*y + 18 + k = 0. Is y a composite number?
False
Let g(x) = -x**2 + 5*x + 4. Let a be g(6). Let f(c) = 19*c**2 - 2*c - 1. Let h be f(a). Is -1 + h + (-1 - 0) prime?
False
Let t = 1156 - 677. Is t composite?
False
Suppose 0*n = 3*n + 60. Is (-2852)/n + (-2)/(-5) a prime number?
False
Let i(m) = m**3 + 4. Is i(3) a composite number?
False
Let n be 4/(-6) - 1871/(-3). Let x = n + -384. Suppose 0 = -3*o - 2 + x. Is o composite?
False
Let m = -76 - -185. Is m a prime number?
True
Let y(b) = 7*b**3 - 2*b**2 - b + 3. Is y(4) a prime number?
False
Suppose 3*v - 53 = -278. Let p = v - -202. Is p a prime number?
True
Suppose -f + 457 - 14 = 3*q, 2*f - 10 = 0. Suppose -2*n = -q - 116. Is n a prime number?
True
Let y(x) = 106*x - 11. Is y(5) a prime number?
False
Let z(j) = -3 - 6*j + 0 + 0 + 1. Is z(-2) prime?
False
Let n be (-4 - 2)*1/(-3). Let f be n + 0*3/9. Suppose 0 = 4*y + f*c - 322, y + 4*c + 0*c - 91 = 0. Is y a composite number?
False
Let r be (0 - 0)*(-6)/18. Suppose -d + 91 = -r*d. Suppose -3*z + 2*s = -d, -z - 2*s + 157 = 4*z. Is z composite?
False
Suppose 5*g - 1851 = 2084. Is g a composite number?
False
Let k = 18 - 9. Let o be (-1)/3 + 1596/k. Suppose 132 + o = 3*w. Is w a prime number?
True
Let m(l) be the second derivative of l**8/1680 - l**7/630 - l**6/120 + l**5/120 + l**4/6 - l. Let g(q) be the third derivative of m(q). Is g(4) prime?
False
Let n = 6 - 2. Let i(y) = -41*y + 14. Let l(q) = 14*q - 5. Let t(o) = n*i(o) + 11*l(o). Is t(-9) composite?
True
Suppose -c + 2 = 5, 3 = r - 2*c. Let m = 1 - r. Suppose 0 = -h - m*h + 455. Is h a composite number?
True
Let c(s) = -15*s + 1. Let b(n) = -n - 5. Let r be b(-3). Is c(r) prime?
True
Let k = 631 - 74. Is k a composite number?
False
Let n(x) = 16*x**2 + x + 2. Is n(-5) prime?
True
Suppose 4*w + 6 = 3*b - 3, 5*b - 15 = 4*w. Suppose 3*y + 5*o - 422 = 0, w*o + 10 = -2*o. Is y composite?
False
Suppose -5*i - g + 1525 = -4*g, -25 = -5*g. Suppose 0*j - 4*j = -i. Is j composite?
True
Let r(q) = 4*q**3 - 5*q**2 - 7*q + 3. Let a(z) = z**3 + 10*z**2 + 8*z - 3. Let o be a(-9). Let m be r(o). Suppose -4*y + y + m = 0. Is y a composite number?
True
Let l(g) be the first derivative of 11*g**2/2 - 6*g + 4. Is l(4) prime?
False
Suppose 0 = 5*q - 0*q - m - 3422, -2 = m. Let s = -367 + q. Is s a composite number?
False
Suppose -12 = 2*p + 2*p. Let r(m) = -10*m + 3. Is r(p) a composite number?
True
Let s = -5 - -28. Is s a prime number?
True
Let s(i) = 2*i**2 - 5*i + 1. Let z(a) = -3*a**2 + 8*a - 2. Let j(o) = 8*s(o) + 5*z(o). Is j(3) a composite number?
False
Let v = -1 + 6. Suppose -v + 3 = 2*c. Is (4/12)/(c/(-159)) a composite number?
False
Let f = -14 - -19. Is 3/f - (-2035)/25 a composite number?
True
Let b = -2420 + 3633. Is b a composite number?
False
Suppose 13 + 17 = 3*g. Is -37*2*g/(-20) prime?
True
Suppose -q + 7 - 2 = 0. Suppose 3*s - 2*s + 4*u = 336, u + 1575 = q*s. Suppose 0 = -3*i - i + s. Is i prime?
True
Suppose -5*t + 16 = -4. Suppose -4*p + 3*p + t = 0. Suppose a - 36 = 3*c - 14, -53 = -3*a - p*c. Is a a composite number?
False
Let v = 618 + -407. Is v prime?
True
Let v be (5/(-1) + 0)*-1. Suppose d + v*o - 4 = 0, -4*d + 3*o - 26 = 27. Let t = d + 26. Is t a composite number?
True
Let s(j) = 2*j**3 + 5*j**2 - 5. Let r be (-5 - -4) + 10/2. Is s(r) a composite number?
True
Suppose -21 = -x - 2*x. Let n(v) = 3*v**2 + 2*v. Is n(x) a prime number?
False
Suppose -2*c + 0*r - 2 = 2*r, -2*c - r - 3 = 0. Is (1 - c - 6) + 214 composite?
False
Let l be 1/(1 - 202/203). Suppose -a - 4*y + l = 0, -3*y = -y + 10. Is a a composite number?
False
Let y = 767 - 479. Suppose -2*n = -4*x - 6*n + y, -3*x = 4*n - 216. Let z = x + -19. Is z a composite number?
False
Let m(f) 