 = i + 5. Suppose 0 = -3*v - 2*v + r*c + 1892, -4*v + 1514 = -2*c. Is v a prime number?
True
Suppose -4*c + 7 = -13. Suppose 0 = -4*m - 4*l + 140, 0*l - 177 = -c*m - 4*l. Is m composite?
False
Let y(i) be the third derivative of i**6/40 - i**5/12 + i**4/12 - i**3/6 + 4*i**2. Is y(4) a prime number?
False
Let k be -5 + 12/4 - -1624. Suppose -i - 2*o = i - k, 4*i + 5*o = 3246. Is i prime?
True
Let l = -1 - -5. Suppose 0 = l*j + j - 275. Is j a composite number?
True
Is 7470/(-20)*2/(-3) composite?
True
Let x(f) be the second derivative of f**3/2 - f**2 + 4*f. Let q be x(6). Suppose p - 37 - q = 0. Is p a prime number?
True
Let u be 18/(-15) + 1/5. Let z(l) = -132*l**3 - 1. Is z(u) a composite number?
False
Let g(k) be the first derivative of -k**4/4 + k**2/2 + 63*k + 2. Let f be g(0). Suppose -c = -f + 25. Is c a prime number?
False
Let g(s) = s**3 - 4*s**2 - s - 3. Let l be g(4). Let n = l + 7. Suppose 0 = 2*b - b - p - 86, -b + 3*p + 92 = n. Is b a composite number?
False
Let v = 0 - 1. Let s be -1 + 1 + (-1 - v). Suppose 0*q - 4*q + 524 = s. Is q a composite number?
False
Let g(o) = 11*o**2 + 16*o - 32. Is g(9) prime?
False
Suppose 3*l + 5*h - 56 - 362 = 0, -15 = -3*h. Is l a composite number?
False
Let g be (-2)/(-12) + 77/42. Suppose x + 4*j = -4*x + 1463, 0 = -g*x - j + 584. Is x prime?
False
Suppose -20 = 5*i, -4*i - 49 = x - 192. Let g = x - 90. Is g a composite number?
True
Let w(y) = -y**3 + 9*y**2 - 7*y + 10. Let b be 9 - (2 - (2 - 2)). Is w(b) a composite number?
False
Let k(t) = 2*t**2 - 3 + 22*t + 5 - 29*t - 1. Is k(-8) a composite number?
True
Let t be 8/(-3)*(-30)/8. Let w = t - 16. Let q = -3 - w. Is q a composite number?
False
Let z(v) = v**3 - 6*v + 3 - v - 2*v**3 - 6*v**2. Let w be z(-6). Suppose -n + w + 2 = 0. Is n a composite number?
False
Let d be 11/66 + 263/6. Is (2 - 0) + -3 + d a composite number?
False
Let s(v) = -v**3 - 7*v**2 - 2*v + 9. Let f be s(-7). Suppose -5*u + f = -7. Let o = u + -3. Is o a composite number?
False
Is (-11 + 12)/((4/(-262))/(-2)) composite?
False
Suppose 3*n - 1171 = 284. Is n composite?
True
Suppose 6 = -3*v + f, 1 = -4*v - 4*f + 9. Let p = 38 + v. Let w = p + -24. Is w a prime number?
True
Let s(f) be the second derivative of f**5/20 - f**4/3 - 7*f**3/6 - 7*f**2/2 + 3*f. Is s(6) composite?
False
Let n be (2/3)/(2/(-6)). Let w be -68 + 1 - (1 - 2). Is (w/n)/((-1)/(-1)) a prime number?
False
Is (-4)/(-30) - (-7098)/90 a composite number?
False
Suppose -23*f + 24*f = 89. Is f composite?
False
Let y(c) = 5*c**2 + 16*c + 32. Is y(-15) a composite number?
True
Let y be -5*(-2)/4*38. Suppose -517 = -4*k + y. Suppose -4*f + 35 = -k. Is f composite?
False
Let j(w) = 9*w**2 + 6*w - 4. Is j(5) composite?
False
Let b(m) = -36*m + 3. Is b(-3) a prime number?
False
Let i(u) = -u**2 - 1. Let v be i(-3). Suppose -g = z + z - 110, 3*g - 274 = -5*z. Is v/(-15) + z/6 prime?
False
Suppose -4*v = 5*r - 858, -2*v - 4*r + r + 428 = 0. Is v a prime number?
False
Let n(a) = -a**2 - 9*a - 6. Let x be n(-9). Is 114/(-4)*4/x a prime number?
True
Let r(z) = -37*z - 3. Is r(-4) a composite number?
True
Let f(y) = -4*y**3 + 6*y**2 + 3*y - 9. Is f(-4) a prime number?
True
Let i = -13 + -7. Is (-2)/8 + (-5865)/i prime?
True
Is -1*(-267 - (-1 + -1)) a prime number?
False
Let b(z) = -6*z - 3. Let x(g) = 6*g + 4. Let j(r) = -3*b(r) - 2*x(r). Is j(8) a prime number?
False
Let t(c) = -c**2 + 6*c - 2. Let f be t(4). Suppose 514 = -f*a + 8*a. Is a prime?
True
Let y(v) = 2*v**2 - 9*v - 8. Let f be y(-6). Let s = f - 81. Is s a prime number?
True
Suppose -r = r - 326. Is r composite?
False
Suppose 9 = i + 24. Suppose 8*n - 33 - 31 = 0. Let p = n - i. Is p composite?
False
Suppose 2*p = -4*n + 2690, 3*n - 4*p = 5*n - 1342. Is n a composite number?
False
Suppose x - 3*s = s + 41, -3*s = -2*x + 57. Suppose x = o + 2. Is o a prime number?
True
Let i(z) = 10*z**2 + 3*z - 3. Let g(a) = a**3 + 4*a**2 + a + 4. Let k be g(-4). Suppose -3*y = k, 0*y = 2*q - 2*y - 4. Is i(q) prime?
True
Suppose 5*n - 14 = 16. Let k(a) = 13*a + 4. Is k(n) prime?
False
Suppose 0 = 4*j, -f = -0*f - 5*j - 325. Suppose 0*z = -5*z + f. Is z prime?
False
Suppose 0 = -h + 1146 + 65. Is (-17 - -16)/((-1)/h) a prime number?
False
Let k(d) = -4*d - 13. Suppose -3*x = 4*a + 3, -3*a + 0*x + 19 = -2*x. Suppose 0*z - 2*n + 43 = -a*z, 3*n - 37 = 2*z. Is k(z) prime?
True
Suppose 2*r + 31 = -53. Let w = -28 - r. Is w prime?
False
Let n(q) = q**3 - 9*q**2 - 9*q + 15. Is n(11) a composite number?
True
Suppose v + 2 = -v. Let u be (-2 - -6) + (v - 0). Is 1/(u/6) + 44 a prime number?
False
Suppose -2*m - 2*m = -40. Let a = -7 + m. Suppose 5*x - 185 = 3*d, 3*x + a*d + 0*d - 111 = 0. Is x a composite number?
False
Suppose 3*q = -j - 5, 8*q = 4*q + 3*j - 24. Is (1/q)/(3/(-1206)) a composite number?
True
Let r be 6/4*28/(-3). Let d be ((-62)/3)/(r/(-21)). Let f = 20 - d. Is f a prime number?
False
Let t(h) = 76*h**2 - 6*h - 21. Is t(9) composite?
True
Suppose -7*j = 2*j - 1206. Is j prime?
False
Suppose 5*k - 15 = 4*l + 15, -2*k - 4*l - 16 = 0. Suppose 2*z - 2*b - 1 = -5, 0 = -2*b + k. Let j(v) = -192*v**3 - 2*v**2 - v. Is j(z) composite?
False
Let n(x) = -148*x + 1. Let j be (16/(-48))/(1/3). Is n(j) a prime number?
True
Suppose 48 = k + 141. Suppose 5*f = u + 648, f + u - 140 = -4*u. Let x = f + k. Is x a prime number?
True
Let k = -282 - -2203. Is k composite?
True
Let u be (10/6)/((-3)/(-9)). Suppose u*h - 530 - 25 = 0. Suppose -4*r = -r - h. Is r prime?
True
Let z = -340 - -847. Suppose 3*k = -0*k + z. Is k composite?
True
Let h(r) be the second derivative of 31*r**4/3 + r**3/3 + r**2/2 + 8*r. Is h(-1) prime?
False
Suppose -7*a = -14*a + 3997. Is a a prime number?
True
Let a(z) = 18*z**3 + z. Is a(2) a composite number?
True
Let h(w) = -w**3 - 4*w**2 - w + 3. Let x(y) = 2*y**3 + 3*y**2 - 3. Let f(s) = 3*h(s) + 2*x(s). Let m be f(8). Let l = m + -18. Is l prime?
True
Let m = 15 - 10. Suppose -15 = 5*h + 3*u - 8*u, -4*u + 14 = -m*h. Is (-10)/((h + 1)/1) a composite number?
True
Suppose q + 10 = k, -2*q - 50 = -5*k - q. Is k a prime number?
False
Suppose 0 = -b + 3*j - 3, -j = -5*b + 4*j - 5. Let p be b*(-1 + 1/2). Let z = p - -3. Is z composite?
False
Let m(a) be the second derivative of a**5/20 - a**4/4 + a**3/3 - a**2 - 2*a. Let p be m(3). Suppose -p*k = -0*k - 84. Is k a prime number?
False
Let x(n) = 2*n**2 + 7*n + 6. Let t be x(-5). Let g = t + -15. Is g a composite number?
True
Suppose -3240 = -6*x + 5070. Is x a prime number?
False
Let y be -2*(-4 + 2) - -1. Let p = y + 0. Is p + 1 - (1 + -2) a composite number?
False
Let j(a) = 32*a**3 - 9*a**2 + 3*a + 7. Is j(5) a prime number?
True
Suppose 5*w = 2*w - 4*x + 917, 5*x + 926 = 3*w. Is w a prime number?
True
Let x = -189 + 112. Let i = -17 - 26. Let q = i - x. Is q composite?
True
Let w(v) = 12*v + 19. Is w(6) prime?
False
Suppose -16*l = -51477 + 3621. Is l a composite number?
True
Suppose 3 + 1 = -2*n. Let h be 486/10 - n/5. Let r = -28 + h. Is r prime?
False
Let w(m) = m**3 - 7*m**2 - 11*m - 11. Is w(10) composite?
False
Suppose -24 = -8*t - 0*t. Let y be (-4)/10 - 324/(-10). Let i = y + t. Is i a composite number?
True
Let z(m) = 4*m. Let r be z(1). Suppose r*u - 449 - 578 = 5*a, 258 = u - a. Is u composite?
False
Suppose 0 = -2*i + 3864 - 896. Let l = i - 739. Is l a composite number?
True
Let j = -6 - -4. Let w(q) = -59*q - 3. Is w(j) a prime number?
False
Let i = 3544 - 2301. Is i a prime number?
False
Suppose 2*w - 2*l = 158, l = 3*w + 4*l - 255. Let u = 223 - w. Is u a prime number?
False
Let q = -1051 + 690. Let i = -110 - q. Is i composite?
False
Suppose 7016 = 5*o + 3*o. Is o prime?
True
Let c(b) = b + 77. Is c(0) a composite number?
True
Suppose 2*c + c = 6. Suppose d - 2*r - c - 4 = 0, -d = -r - 3. Let f = 19 - d. Is f composite?
False
Let l be (-8)/6*9/(-6). Suppose l*g = -0*g + 194. Is g prime?
True
Let c be 8/3 + (-4)/6. Let f(t) = 2 - 5 - c*t - t. Is f(-2) prime?
True
Suppose 572 + 1 = 3*j. Let a = -371 + j. Let d = a + 343. Is d a composite number?
False
Let w(k) = k - 1. Let n be w(0). Let c = n + 261. Suppose -c = -4*v - 48. Is v composite?
False
Let t(w) = 3*w + 10. Let c(m) = 3*m + 11. Let u(x) = -2*c(x) + 3*t(x). Is u(6) a prime number?
False
Let j(u) = 18*u + 1. Is j(6) prime?
True
Let z(l) = 3*l