*x + 2991. Is x a prime number?
True
Let v = 39 + -27. Is (-2)/6 + 1456/v prime?
False
Let c = 496 + -179. Is c composite?
False
Suppose 0*o = 2*o. Suppose g + l = 1, o*l = -g + 4*l - 4. Suppose g = -4*b + 2*x + 150, -2*b - 2*b + 3*x = -147. Is b composite?
True
Is 2/(-6) - (-1624)/3 a prime number?
True
Let d = 5 - 3. Suppose d*o = 2*l - 62 - 36, l = -4*o + 69. Is l a composite number?
False
Let h = 8 - 11. Is (10/h)/((-4)/222) a composite number?
True
Let h(k) = -k**2 - 11*k - 2. Let i be h(-11). Is 8/16 + (-93)/i a composite number?
False
Let z(a) = -a**3 + 2*a**2 + 3*a - 1. Is z(-7) a prime number?
True
Suppose 529 = 5*a + 59. Let x = 19 + a. Suppose 3*i - 96 = -4*g + 5*i, 0 = -5*g - i + x. Is g composite?
False
Suppose -7*p + 47510 = 3*p. Is p a prime number?
True
Suppose 460 = -3*j - 2*j - 3*i, 3*i - 341 = 4*j. Let v = j + 126. Is v composite?
False
Let x be ((-724)/6)/(20/(-30)). Suppose 2*v = v + x. Is v a composite number?
False
Let k(v) = 49*v + 1. Let s be k(5). Suppose 0 = -5*b - 4*d - s + 659, 270 = 3*b - 5*d. Is b a composite number?
True
Let z(c) be the third derivative of 1/6*c**3 - 1/40*c**6 + 1/24*c**4 + 0*c**5 + 0*c + 0 + 2*c**2. Is z(-3) a composite number?
False
Let m be (10/6)/((-4)/(-12)). Suppose -12 = m*q - q. Is ((-2)/q)/(6/63) a composite number?
False
Let u(c) be the third derivative of c**4/24 - c**3/2 + c**2. Let d be u(6). Suppose -m + 70 = d*l, 0*m - 2*m - 3*l + 155 = 0. Is m a prime number?
False
Suppose 0 = p - 4*p + 3*x + 297, -3*p + 267 = 3*x. Is p a prime number?
False
Is (-4)/(72/(-7863)) + (-1)/(-6) a composite number?
True
Let k = 2 - 3. Let s be (-6)/(1*-3 - k). Suppose z = 14 - s. Is z a prime number?
True
Suppose t - 3*k = 74, k - 3*k = 0. Suppose -3*g = 4*z - 148, -2*z = -4*g - 0*g - t. Is z a prime number?
True
Let w(j) = -6*j + 4. Let m be w(-3). Suppose -4*x + 130 = -290. Let f = m + x. Is f composite?
False
Suppose 12 = 3*k, 5*k = i - 975 - 474. Is i a prime number?
False
Let p(m) = -26*m + 1. Let t be (3/2)/(6/(-8)). Is p(t) prime?
True
Let b(w) = w**3 + 3*w**2 + 5*w + 4. Let t be b(-3). Is (t/(-2))/(6/84) a prime number?
False
Suppose 562 = 3*a + 1. Is a prime?
False
Let o(s) = -s**2 + 5*s - 3. Let w be o(3). Let t(a) = a + 1. Let v(y) = 7*y - 3. Let h(z) = 2*t(z) + v(z). Is h(w) composite?
True
Suppose -2*o = -2*g + 10, -g + 5*o + 18 = -3*g. Let n be (-2 - -1)*1/g. Is n*((-1 - 28) + -2) prime?
True
Let y(j) = 27*j + 2. Let f be y(9). Suppose 955 = 4*w - 3*h, w - 2*h - f = -0*w. Is w composite?
True
Is 2540/8 - (-3)/2 a prime number?
False
Suppose -5*u - 4*m + 50 = 0, m + 95 = 5*u - 4*m. Let z be 4/u + (-99)/(-21). Suppose z*w - 85 = -5*i + 510, 0 = 2*w. Is i prime?
False
Let d be ((-8)/(-10))/((-9)/90). Let l(n) = -n - 4. Let g be l(d). Suppose 2*u = 4*u + 2, v = g*u + 27. Is v prime?
True
Let m = 6819 + -3224. Is m a composite number?
True
Is 3*(-1 - -432) - (0 - 0) a composite number?
True
Suppose 2*r + 4 = x, -x - 3*r = 19 - 8. Is (-117)/x + (-4)/(-8) a composite number?
False
Let z be (-14)/(-2) + 1 + -1. Let s = -12 - -14. Suppose 425 = z*i - s*i. Is i a composite number?
True
Let v(t) = 2*t**2 - t - 7*t + t**2 + 2*t - 3 - t**3. Let j be (-40)/15*3/2. Is v(j) composite?
True
Let d(b) = 24*b**2 + 12*b - 35. Is d(6) a prime number?
False
Let f = -321 + 575. Is -1 - (f + -2)/(-1) a prime number?
True
Let x(c) = -22*c**2 - 7*c + 5. Let w be x(4). Is (1 - w) + (-3 - -6) a prime number?
True
Let u(w) = w**3 + 3*w**2 + 3*w. Suppose 4*q = o + 22, -3*q = 2*o - 4*q + 9. Let p be u(o). Let a(x) = 5*x**2 + 3*x. Is a(p) prime?
False
Suppose 1607 = 5*z + 4*d, 1605 = 5*z + 3*d + 2*d. Is z a prime number?
False
Suppose -r = -2*t + 972, -2*t + 201 = -2*r - 773. Is t a prime number?
False
Let r(q) = -10*q - 2. Let l be r(-5). Let c = l - 11. Is c composite?
False
Suppose -505 = 8*f - 6209. Is f a prime number?
False
Let l(p) be the first derivative of -3*p**2 - p + 2. Let y be l(-4). Let o = 56 - y. Is o prime?
False
Let u = -7 - -11. Let z(x) = x. Let l be z(u). Suppose -2*t + 0 = -2*w - 12, 0 = l*t - 3*w - 28. Is t prime?
False
Let a(c) = 177*c + 8. Is a(2) a prime number?
False
Let h(x) = -117*x - 1. Suppose a = 3*r + 2*a + 6, 2*r + a = -5. Let w be h(r). Suppose 0 = -5*v + 5*i + 120, 5*v - i = 2*i + w. Is v a composite number?
True
Let t be 7 - 1 - (1 - -2). Suppose -70 = -t*j + 77. Is j prime?
False
Suppose -2*i = -3*r - 2701, -1340 = -5*i + 4*i + 5*r. Is i composite?
True
Let w(n) = -91*n - 1. Let x be w(-3). Is x/3 - (-5)/15 composite?
True
Let z(d) = -d**3 + 4*d**2 + 2. Is z(2) a composite number?
True
Suppose k = 2*p - 845, 2*p - 3*p = 4*k - 418. Is p prime?
False
Let b(y) = -y + 2. Let x be b(0). Suppose 0 = -4*s + 4, -m + 6 = m + 2*s. Suppose 5*k + 3*g - x*g = 183, m*g = -2*k + 70. Is k a composite number?
False
Let n = -17 + 11. Let b(g) = 13*g**2 + 5*g + 7. Is b(n) a prime number?
False
Let i = -124 + 56. Let g = 95 + i. Suppose -2*b - 4*m = -10, m + g = 3*b + 3*m. Is b a composite number?
False
Is (14316/(-24))/(2/(-4)) a composite number?
False
Let f(y) be the second derivative of y**4/12 - 5*y**3/3 + 9*y**2/2 + 2*y. Let a be f(9). Suppose a*z - 3*z + 39 = 0. Is z a composite number?
False
Suppose 4*s + 33 = 3013. Is s composite?
True
Let v(s) = s**2 + s + 5899. Is v(0) prime?
False
Let h = 20 + 55. Suppose -h = -v - 32. Is v a prime number?
True
Let r(k) = 520*k**2 + k + 2. Is r(-1) a composite number?
False
Suppose -5*r + w - 15 = -3*r, 0 = -r + 5*w - 21. Let j be (-2)/3 + (-142)/r. Let d = j - 10. Is d a composite number?
False
Suppose -237 = -5*y + 4*q + 122, 0 = y + 4*q - 67. Is y prime?
True
Suppose 3*c - 425 = -2*c - h, 3*c - h = 255. Is c prime?
False
Let j(u) = 7*u - 5. Let d be j(5). Let p(w) = w**3 + 6*w**2 + 3*w - 6. Let t be p(-5). Suppose -26 = -2*k + 5*x, t*x + d = k + k. Is k a composite number?
False
Suppose -t = t - b - 416, 0 = 3*b. Let y = -99 + t. Is y composite?
False
Suppose 3*t + 575 = 5*k, 4*t - 16 = 4. Suppose -2*s + k - 2 = 0. Is s a prime number?
False
Let s(m) = 27*m - 8. Let n(f) = -28*f + 9. Suppose 6*w = 5*w - 5. Let r(j) = w*n(j) - 6*s(j). Is r(-3) prime?
False
Let m be -66 + 12/(0 + -3). Let z = 48 - m. Is z a prime number?
False
Let n = 2125 - 1418. Is n a prime number?
False
Let k = -8 + 12. Suppose 2*w + 134 = k*w. Is w a composite number?
False
Let r(f) = 376*f + 3. Is r(1) a prime number?
True
Let k(i) = -27*i. Let l be k(1). Let f = -16 - l. Is f a composite number?
False
Let t = -201 + 505. Suppose 5*i = -4*m + 586, 0 = 2*m - 0*m - 3*i - t. Is m a prime number?
True
Let u(c) = c**2 + 4*c + 41. Is u(14) prime?
True
Suppose -4*w + 4*l = w - 3, 0 = 2*w - 2*l. Let k = 0 + w. Suppose 5*a - 74 = -4*b + k*a, -3*b = -5*a - 62. Is b composite?
False
Suppose -a + 86 = -2*q, 4*q + 8 - 24 = 0. Is a composite?
True
Let n be 21/6 + (-2)/4. Let c(g) be the third derivative of g**5/20 + 5*g**4/24 - g**3/2 - g**2. Is c(n) prime?
False
Suppose 0 = -5*q + 4*q. Let z = -100 + 103. Suppose z*m - 33 = -q*m. Is m a prime number?
True
Let w = -1301 + 1978. Is w a prime number?
True
Let a(x) = 25*x + x**2 - 5*x**2 + 3*x**2 - 9. Is a(10) a prime number?
False
Suppose 6*w - 3*w - 9 = 0. Suppose 6 = m - 3*i + i, w*m - 2 = 2*i. Is 2/m - 344/(-4) a composite number?
True
Let k = -4 + 0. Let i(u) = -u**3 - 3*u**2 - u - 5. Is i(k) a composite number?
True
Let v = 797 + -306. Is v a prime number?
True
Suppose 2*x + 5*m = 471, -5*m + 28 = 3. Is x a composite number?
False
Suppose 787 = 2*g - i, -5*g - 151 = -5*i - 2111. Is g prime?
False
Suppose 4*h - 9 + 1 = 0. Is (-1 + 316/h)*1 a composite number?
False
Let o(g) be the first derivative of -g**3/3 - 9*g**2/2 + g - 9. Suppose -1 = -r - 8. Is o(r) a prime number?
False
Let g be (1/3)/1*0. Let b = 2 + g. Suppose 1 = -b*d + 5. Is d composite?
False
Let a(t) = -t. Let l be a(-2). Suppose -j = q + l*j - 51, -2*j = 0. Let f = q - 30. Is f prime?
False
Suppose 6 = -3*n - 0. Is -1*(-62)/(-4)*n prime?
True
Let v(x) = 10 - 2 + 4*x + x + 0. Let u be v(10). Let h = 120 - u. Is h prime?
False
Let z(x) = 10*x**2 + x. Let q = 4 + -5. Let v be z(q). Suppose -b - v + 60 = 0. Is b a prime number?
False
Let p(t) = t**3 - 4*t**2 - 4*t - 5. Let u = 13 - 8. Let j be p(u). Let o(m) = m**3 + m + 13. Is o(j) prime?
True
Suppose -293 = -6*v + 1537. Is v a