. Let k = 49 - o. Is k a composite number?
True
Suppose -518 = p - 3*p. Is p composite?
True
Is -1*(-2 + 3)*-191 a prime number?
True
Let k(y) = -85*y. Let f(g) be the second derivative of g**4/12 + g**3/3 - g**2/2 + 2*g. Let i be f(-2). Is k(i) a composite number?
True
Let x(n) = n - 8. Let b be x(7). Is b/(-3)*(-4 + 22) a prime number?
False
Let l(z) = 13*z - 3. Let k be 15/(-2) + 1/2. Let p = k + 11. Is l(p) a prime number?
False
Let w(j) = j**2 - 15*j - 15. Let x be w(11). Let h = x - -292. Is h a composite number?
False
Suppose 4*m - 2*g - 1326 = 3*g, 6 = 3*g. Is m a composite number?
True
Let z = 782 - 250. Is (z/16)/((-2)/(-8)) a composite number?
True
Let a(r) = 4*r - 3. Let f be a(5). Suppose 0 = 3*k - 12, -10 = -3*w + 5*k + 75. Suppose 4*h - w = f. Is h composite?
False
Let x(l) = -l**3 + 12*l**2 + l - 17. Is x(8) a composite number?
True
Let z(v) be the first derivative of -v**4/2 + 2*v**2 - 15*v + 1. Let m(p) = -3*p**3 + 7*p - 30. Let l(o) = -3*m(o) + 5*z(o). Is l(0) a composite number?
True
Suppose 0 = 4*h - 237 - 179. Suppose -2*p = h - 358. Is p composite?
False
Let r(x) = 3*x**2 + 9*x + 5. Is r(-9) composite?
False
Suppose 3*v + 341 = 3*g - g, -5*g + 833 = -v. Suppose d - k - g = -2*k, -2*k = -d + 151. Is d a composite number?
True
Let k(o) = o**2 - 5*o - 8. Let h be k(6). Is (-2)/(-4)*h*-43 a prime number?
True
Let v(w) = -w**2 + 4*w - 5. Let y be v(4). Let s(m) = -8*m**2 - 6*m + 1. Let z(p) = 7*p**2 + 5*p - 1. Let i(a) = 3*s(a) + 4*z(a). Is i(y) a prime number?
True
Suppose -877 + 229 = -4*l. Let z = 249 - l. Is z a composite number?
True
Is (-96)/(-52) + -2 + 119/13 composite?
True
Let c(y) = -8*y - 9. Is c(-5) a composite number?
False
Suppose 0*l - 4 = -2*l. Suppose -l*a + 3*a = 37. Is a prime?
True
Let x(f) be the third derivative of 2*f**5/15 - f**4/24 - f**3/6 + 2*f**2. Let t be x(-2). Suppose t = 2*g + 7. Is g prime?
True
Let x(t) = -9*t - 29. Is x(-12) a composite number?
False
Is 32/208 + (-21097)/(-13) composite?
True
Suppose 2*r + 49 = -2*d + 133, 0 = -4*r + 3*d + 133. Is r a composite number?
False
Let q(k) = -k - 7. Let c(j) = -j**2 - 7*j - 4. Let t be c(-5). Suppose -t*s + s - 55 = 0. Is q(s) prime?
False
Let i(m) = -174*m - 7. Is i(-4) prime?
False
Suppose -b - o - 16 = 0, -2*b + 6 = 3*o + 39. Let t be 12/b*5*-31. Suppose -q - t = -5*q. Is q composite?
False
Suppose 0*l = -l, 0 = -3*d - l + 27. Let h be -1*1 - (-6 + 3). Suppose d = v + 2*r, 4*v - h*r - 9 - 17 = 0. Is v a composite number?
False
Let z be 0 - (-26)/(-4)*-68. Suppose 4*r = 2*t + z, 4*r - t = 529 - 88. Suppose l - r = -l. Is l composite?
True
Is 5/(-1 + 6)*7639 a composite number?
False
Suppose 0 = -2*t - 3*p + 5*p + 258, 3*t + 2*p - 412 = 0. Let y(j) = j**3 + 7*j**2 - 2*j - 3. Let r be y(-6). Let n = t - r. Is n a composite number?
False
Let h be (24/20)/(4/10). Is (2 - 1767/h)/(-1) prime?
True
Suppose -g - 3 + 4 = 0. Let b(d) = -d**2 + 4*d + 3. Let r be b(5). Is r - -33 - (-2)/g prime?
False
Let o = 12 + 18. Let j = 61 - o. Is j composite?
False
Suppose 0*c - 4*n = -2*c + 22, 2*c + 2 = -4*n. Suppose -s - 764 = -c*s. Is s composite?
False
Let x(w) = -70*w - 19. Let j(c) = -35*c - 10. Let u(k) = 5*j(k) - 3*x(k). Let q be u(5). Suppose -6*y + q = -4*y. Is y composite?
True
Let a(m) be the second derivative of 1/20*m**5 - 2*m + 0 + 4/3*m**3 - 2/3*m**4 + m**2. Is a(7) composite?
True
Let v(p) = 7*p**3 + p**2 - 2*p + 1. Suppose -4*x - 3*q - 6 = -x, -x + 4 = -q. Let y be 6*x*1/3. Is v(y) composite?
True
Let w = 0 + 4. Let t be (-79)/(-3) - w/(-6). Let o = -5 + t. Is o a prime number?
False
Let d(z) = -z**3 - 2*z**2 + z + 2. Let m be d(-1). Suppose m = -2*k + 54 + 104. Is k prime?
True
Is ((-138)/(-4))/((-2)/(-4)) a prime number?
False
Is 9/(-12) + (-3214)/(-8)*1 a composite number?
False
Let n be (-3 - -4)*4/1. Suppose 4*c = 5*i + n + 20, -2*c - 4*i = 14. Is (c + -3)*35/(-2) a prime number?
False
Let f(q) = -q**3 + 7*q**2 + 3*q - 9. Let s be f(7). Let j = 32 - s. Suppose j = -w + 6*w, -3*w = 5*b - 457. Is b composite?
False
Let m be -1311 + 0 + 3 + -1. Let x be m/(-2) - (-3)/6. Suppose 3*r = -2*r + x. Is r a composite number?
False
Suppose -2778 = -9*t - 15. Is t a prime number?
True
Let x(y) = -y**3 + 10*y**2 - 5*y + 13. Let u be x(10). Let g = u + 132. Is g composite?
True
Suppose 12 = 3*t - 2*y, 3*t - 3*y - 6 = 9. Suppose -t*w + 68 = -6. Is w a prime number?
True
Let t be 200/(-35) + 2/(-7). Let n(d) = -d**3 - d**2 + 4*d + 1. Is n(t) composite?
False
Let q be (-1)/4 - 17/(-4). Suppose 2*o - 13 = -k + 4*o, 0 = k - q*o - 21. Suppose 3*x - 152 = k*n - 486, 5*n - 2*x = 331. Is n a prime number?
False
Let t(k) = -2*k - 1. Let z be t(-1). Let d(r) = -3*r + 1. Let c be d(z). Is c/3 - (-101)/3 prime?
False
Suppose h + 3*h + 5*u = 2670, 2*h - 5*u = 1320. Suppose 0 = 3*s + 2*s - h. Is s a prime number?
False
Let l(x) be the first derivative of -15*x**2/2 + 2*x - 2. Let y be l(10). Let q = 359 + y. Is q prime?
True
Let d(l) = 50*l**2 - 2*l + 4. Let j be d(3). Suppose s + 2 = -5*z + 569, -2*s = -4*z + j. Is z prime?
True
Let l be 2*(4/4 - -1). Let u = 64 - 45. Let q = u - l. Is q a prime number?
False
Let n(l) = 106*l - 4. Is n(3) a prime number?
False
Let o(r) = -r**3 + 7*r**2 + 2*r - 1. Let q be -2 + (-28)/8*-2. Is o(q) prime?
True
Suppose 5*s = s - 40. Let x = 116 + s. Is 5/((-15)/(-9)) + x composite?
False
Suppose -15*p + 32285 + 89920 = 0. Is p prime?
True
Let t = 15 + -11. Let g = 131 - t. Is g a composite number?
False
Suppose 3*h = 5*q - 873, 5*q + 2*h = h + 889. Is q prime?
False
Let x(n) = 2 + 0*n**2 + 2*n**2 + n**2 + n. Let v be x(-3). Suppose 2*l = -0*l + v. Is l a composite number?
False
Let o = 5163 + -2380. Suppose -5*g + 4*s - s + 2779 = 0, 5*g = s + o. Is g a prime number?
True
Let m(p) = -p**3 - p**2 + 5. Let z be m(0). Suppose -2*d + 0*l + 29 = z*l, 2*d - l + 1 = 0. Suppose h - 4 = d. Is h a composite number?
True
Let i(n) = 209*n + 2. Let f be i(1). Let j = f - 120. Is j prime?
False
Suppose -3*k = 3*i - 147, -3 = k - 2*k. Suppose q + 4*a - 20 = 0, 34 = 4*q + a - i. Is (-5)/q - (-82)/8 prime?
False
Let o = -316 + 173. Let p = 200 + o. Is p composite?
True
Is 2/4 + (-1191)/(-18)*3 composite?
False
Suppose -25 = 2*w - 7*w. Let l(y) = 8*y - 1. Let g be l(2). Suppose 4*a - 165 = -w*v, -3*v + 0*v + g = 0. Is a prime?
False
Let b be (1 - 3) + (0 - 0). Let o be (4/6)/(b/(-159)). Suppose -o = -3*j + 2*l, 0 = -2*j - 2*l + 4*l + 32. Is j prime?
False
Let y(f) = 46*f**2 - f. Is y(-1) a prime number?
True
Suppose 4*l + 530 = k - 597, -4*k + 5*l + 4464 = 0. Is k prime?
False
Suppose 520 = v + 69. Is v prime?
False
Let l = 9 - 5. Suppose 0 = l*z - 52 + 12. Is z - (-6 - -3 - -2) a prime number?
True
Let m = 18 + 0. Suppose 10 = 4*t - 4*b - m, -5*t + 28 = 2*b. Let i(w) = w**2 - 4*w - 2. Is i(t) a prime number?
False
Let o(q) = -q**3 + 11*q**2 + 14*q - 2. Let t = -17 - -29. Is o(t) a prime number?
False
Is (-387 - 4 - 2)/(-1) a composite number?
True
Let u(a) = 387*a**2 - a - 1. Let g be u(-1). Is g - 4 - (0 - -2) composite?
True
Suppose 4*m - 6*m - 204 = 0. Let r = m - -169. Is r a prime number?
True
Suppose 6 = f - 4. Let y = -6 + f. Suppose -2*m = o + 3*o - 182, o = -y*m + 336. Is m a prime number?
True
Let b(q) = q - 7. Suppose -30 = 2*p - 7*p. Let l be b(p). Is l/(2/76*-2) prime?
True
Suppose -3*j = -2*j + 141. Is j/(-2)*168/36 prime?
False
Suppose -4*y + 3461 - 9 = 0. Is y a composite number?
False
Suppose 0*q - 70 = -2*q. Is q prime?
False
Let h = 1794 - 1103. Is h prime?
True
Suppose -3*y = 3*h - 6618, 4*h = y + 3*h - 2200. Is y prime?
True
Let i = 1162 - 599. Is i a composite number?
False
Let t = 131984 + -236824. Let j be 4/18 - t/45. Suppose -m = 2*m + 15, 5*d - j = -m. Is d a prime number?
True
Suppose 2*v - 5*c = 157, -v = -0*v - 3*c - 76. Is v prime?
False
Let p(u) = -2*u - 4. Let k be (-2)/(6/9)*1. Let l be p(k). Suppose 3*h + l*x = 43, -29 = -h - 2*h + 5*x. Is h a composite number?
False
Let g be -1 - -2 - -1*7. Let h = g + -3. Suppose 5*m = 2*t + 43 + 17, -h*t = m + 15. Is m composite?
True
Let c = -9 - -15. Let b(j) = j**2 - 4*j + 13. Is b(c) prime?
False
Suppose 0 = -35*b + 32*b + 228. Let w = -27 + b. Is w composite?
True
Let b(x) = -x**3 + 8*x**2 - 10*x + 3. Let r(l) = -2*l**3 + 17*l**2 - 21*l + 5. Let p(w) = -5*b(w) + 2*r(w). Is p(