4*a - 403 = -5*z, a = -4*z + g. Is z a prime number?
True
Suppose 3*s = 9 + 9. Let n(q) = -q**2 + 7*q + 4. Is n(s) composite?
True
Let n be (-4)/(-14) - (-33)/7. Suppose -2*l = -3*v + 180, n*v - 3*l = 4*v + 53. Is v prime?
False
Let o(a) = -a**3 + 3*a**2 - 10*a + 1. Is o(-12) a prime number?
True
Let d be 1/(-3 + (-56)/(-18)). Let c = d + -6. Suppose 109 - 31 = c*q. Is q composite?
True
Suppose 0 = -4*a - 17 - 3. Let b(v) be the third derivative of -v**5/60 - 7*v**4/24 + v**2. Is b(a) prime?
False
Let h be ((-9)/(-2) + -2)*-2. Let s(a) = -24*a - 6. Let q be s(h). Let k = -79 + q. Is k a composite number?
True
Let a(r) = -2*r**2 - r + 2. Let t be a(2). Let h = t - -51. Is h composite?
False
Let x(v) = v**2 + 11*v - 3. Let a be x(9). Let b = a - -56. Is b prime?
True
Let f(r) = 0 + 0 - 1 + 2*r + 4. Is f(8) composite?
False
Is (-2 - 28/(-12)) + 3244/6 a prime number?
True
Let c(p) = -p**3 + 4*p**2 - 3*p. Let b be c(2). Suppose -b = -x + 33. Is x prime?
False
Let q(y) = y**2 - 5*y - 6. Let s be q(6). Suppose 4*n = -s*n + 236. Is n a composite number?
False
Let h(d) = -2*d - 2. Let i be h(-3). Let w(k) = k**3 - 9*k**2 + 13*k - 10. Let g be w(8). Suppose 2*j + g = i*j. Is j a prime number?
False
Let a = 14 - 14. Suppose a = -2*h + 5*h - 177. Is h prime?
True
Let s = -163 - -234. Is s a prime number?
True
Suppose 5*x - 3*m = 2*x + 3591, 3*x - 3567 = -3*m. Is x prime?
True
Let t(h) = h**3 + 7*h**2 - 7*h + 10. Is t(-7) composite?
False
Let l be (2/2)/(2/144). Suppose -5*y + r = -71, 4*y = -3*r - 0*r + l. Let m = y - 5. Is m composite?
True
Let p(w) = -w**2 + 15*w + 21. Is p(13) a composite number?
False
Let j = -2 + 4. Suppose -3*x + 531 = 3*h, 5*x + 368 = j*h - 0*x. Is h a prime number?
True
Suppose 58 = 2*b - 120. Is b a prime number?
True
Suppose 1570 = 2*z + 456. Is z composite?
False
Suppose 6*x - 1506 = -0*x. Is x prime?
True
Let z = 74 + 335. Is z prime?
True
Let q be (-8)/6 + (-184)/24. Suppose -r - 5*i = 204, -2*i + 1106 = -5*r + 5. Is r/q - 4/(-6) a composite number?
True
Let n(r) = -3*r**3 + 2*r + 1. Let d be n(-2). Suppose -d = -3*b - 3*w, -3*w - 39 = -b - 2*b. Is b prime?
False
Let r(k) be the first derivative of -k**3/3 + 4*k**2 + 8*k - 3. Is r(7) composite?
True
Let x(o) = -o**3 - 2*o**2 + o + 337. Is x(0) prime?
True
Let t(c) = 2*c**2 - 3*c + 1. Let s be t(2). Suppose 9 = n - 2*z, -2*z - 35 = -5*n + s*z. Suppose -n*y + 10 = -0*y. Is y a prime number?
True
Let n be 6/4*(0 + 2). Let w(y) = 2*y**3 - 2*y**2 + 5*y - 2. Is w(n) a composite number?
True
Is 1/(-5) - 25593/(-15) prime?
False
Let i = 57 + -33. Suppose 0 = -5*p - d + i, -5*p - 5*d + 12 = -8. Suppose 0 = -p*v + 105 + 240. Is v prime?
False
Let d(o) = o**2 - 6*o + 2. Let u be d(6). Let h = 11 - 8. Suppose u*v - 66 = 3*f, -h*v = 3*f - 14 - 85. Is v a composite number?
True
Suppose 3199 = 5*i - 3086. Is i composite?
True
Suppose 6*t = t, -5*t + 16 = -2*v. Let k be (1 - 4)*v/(-1). Let r = k - -47. Is r a prime number?
True
Let s = -79 + 168. Is s prime?
True
Suppose 4*f - 7271 = -4*g - f, -5*g = 3*f - 9079. Is g composite?
True
Let m = 3 + -3. Suppose -n - 287 = 5*q, m*n = 5*q - 2*n + 296. Let g = q + 135. Is g composite?
True
Suppose -4*y + 1073 = 3*m, -5*y - 5*m + m + 1342 = 0. Suppose -2*n - 2*i + y = -6*i, 2*n - 264 = 2*i. Is n a prime number?
True
Suppose 5*t + 2*s + 65 = 0, -3*t - 27 = -3*s + 12. Is 5/((-40)/t + -3) a composite number?
True
Let u(b) = b**3 + 4*b**2 - 2*b - 13. Is u(8) a composite number?
False
Suppose 4*u = 4*f - 28, 4*f = u - 3 + 13. Is (-853)/(-7) + u/(-42) composite?
True
Let c be -62*(-2)/(2 + 2). Suppose -g + 4*q + 8 = g, 4*g = 3*q + c. Is g composite?
True
Suppose 4*o + 72 = -4*a, 0*a = -5*a. Suppose -2 = 2*r - 60. Let c = r + o. Is c composite?
False
Let u be 6/(-24) + 18/8. Let g = u + 0. Suppose -g*a - a = -99. Is a composite?
True
Let n(l) = 3*l**3 - 12*l**2 + l + 9. Is n(8) prime?
False
Let j be -2 + (2 - 0) + 2. Let o(m) = -3*m + 3 - 2*m**2 + 5*m**j - 4. Is o(-3) a prime number?
False
Suppose -3*s + 2257 = -3*d - 9119, -7554 = -2*s - 4*d. Is s prime?
False
Let j(i) = 2*i**2 - 3*i + 2. Is j(8) a composite number?
True
Let g be 2/(-8) - 5761/(-4). Suppose g = 3*n + 489. Is n a prime number?
True
Suppose -395 = -f + 3*p, p = 2 + 2. Is f composite?
True
Let w(h) = -2*h - 7. Let r be w(-6). Suppose -2*b - 70 = -2*i, -5*b + 4*b - 175 = -r*i. Is i a prime number?
False
Let v = 5 + -2. Is v/(-1) + 552/6 a composite number?
False
Suppose 0*t - 7*t - 14 = 0. Is (19 + -8)/(t/(-4)) a composite number?
True
Suppose -4*d + 5 = 1. Let g be (1 + -1 - d) + 3. Suppose 33 = z + 4*f, 0*f = -g*z - 4*f + 54. Is z composite?
True
Let n(o) = -3*o**2 + 7*o - 1. Let b(q) = q**2 - 1. Let d(l) = 6*b(l) + n(l). Is d(-6) a composite number?
False
Let p(d) = 5*d**3 + 6*d**2 + 3*d + 3. Let w(t) = -3*t**3 - 3*t**2 - 2*t - 2. Let l(u) = 4*p(u) + 7*w(u). Let o be l(4). Is 2*5*o/(-4) prime?
False
Suppose -2*x + 10 = 3*x. Suppose 7*n - 155 = x*n. Is n a composite number?
False
Let r be (-2)/4 + (-1)/(-2). Let d = 0 + 3. Suppose -b + 9 = -5*c - d, 4*b - 2*c - 138 = r. Is b composite?
False
Let u be 0 - 2 - 10 - 0. Let l = -6 - u. Suppose -l*d + 12 = -2*d. Is d a composite number?
False
Let l(s) = s**3 - 7*s**2 + 6*s - 6. Suppose 2*o + 7 - 19 = 0. Let j be l(o). Is 138/(-4)*4/j prime?
True
Let u(m) = m + 5. Let z be u(-7). Let w be (7 - 3)/(z/(-52)). Let l = w + -51. Is l a composite number?
False
Is 4/(-10) + 1614/10 a prime number?
False
Suppose 6 = 3*i + 5*l - 10, 0 = -4*i - 4*l + 8. Let q(b) = 6*b**2 - b + 2. Let f(h) = h + 1. Let k(x) = -4*f(x) + q(x). Is k(i) prime?
True
Suppose -3*k + 300 = 3*c, 36 = k - 3*c - 44. Is k composite?
True
Let x be (-6)/(-2)*8/(-3). Let v = x + 11. Let b = 9 - v. Is b a composite number?
True
Is 1/((-2)/(-9910)*5) a prime number?
True
Let s be (-2)/(-6) + 29/3. Let q be (4/s)/((-6)/960). Let k = 117 + q. Is k composite?
False
Suppose 2*n - 234 - 28 = 0. Is n a prime number?
True
Let a(z) be the first derivative of 63*z**2/2 + z + 3. Is a(2) a prime number?
True
Suppose -3*b + 0 = 9. Let u(p) = 254*p + 19. Let y(a) = -169*a - 13. Let j(v) = -5*u(v) - 7*y(v). Is j(b) prime?
True
Suppose -l + 4569 = -5*m, 5*m - 613 = -2*l - 5185. Let d = 1309 + m. Is d composite?
True
Let l = 1 + -1. Let z be -16 - ((1 - l) + -3). Let t = -8 - z. Is t a prime number?
False
Suppose 5*k + 2 - 16 = 3*d, -2*k = 2*d - 12. Suppose -r - 102 = -t, k*r = 3*t - 8*t + 501. Suppose -t = -4*s + 159. Is s a prime number?
False
Let l = 106 - -39. Is l composite?
True
Let t be (3 - 0) + 1 + -1. Let h = 3 + t. Is (76 + -2)*3/h a composite number?
False
Let n = -30 - -17. Is n*2*15/(-6) composite?
True
Let y be (-1)/(-4) - (-14)/8. Suppose -y*j + 4 + 40 = 0. Is j a composite number?
True
Suppose -3*y - 66 = -j, -5*j + y - 5*y = -406. Suppose -3*s + j = -3*g - s, -5*g - 137 = -s. Is (-514)/(-14) - 8/g a prime number?
True
Let x(j) = 2*j**2 + 9*j + 1. Let p be x(-6). Let k be p/(-5) + (-6)/30. Let l(v) = v**2 + 3*v - 2. Is l(k) prime?
True
Let t = -1 - -20. Is t prime?
True
Let y be (-4)/(-4 - -2) - 0. Let r(c) = -8*c**3 + 1. Let u be r(-2). Suppose -65 = -y*o + u. Is o prime?
False
Let d be (-2)/(-2)*18/6. Let g(w) = 4*w**3 - 2*w**2 - w + 2. Is g(d) a prime number?
True
Suppose 2*r = 3*s + r - 102, 136 = 4*s + 2*r. Suppose 3*k + 4 = s. Let z = 41 + k. Is z composite?
True
Let s(k) = -k**3 - 3*k**2 - 6*k - 3. Let i be (-1)/4 + (-1)/(-4). Let w be (2 - (1 - i))*-5. Is s(w) a prime number?
False
Let y(b) = b + 1. Let i(f) = f + 2. Let k(c) = 2*i(c) - 5*y(c). Let t be k(-1). Is (3/(-9))/(t/(-666)) composite?
True
Suppose -321 = -q - 2*y, -5*y = 7*q - 2*q - 1595. Let r = -184 + q. Is r composite?
True
Let j = 14 - -2. Let g = 37 - j. Is g composite?
True
Suppose f + 5 = 2*f, 3*f = 4*u + 1547. Is u/(-5) - (-4)/10 prime?
False
Suppose 4*q + q - 90 = 0. Is 770/q + (-4)/(-18) composite?
False
Let f(w) = 5*w**2 + 7*w - 1. Let h(i) = 3*i + 11 + 0*i - 5*i. Let t be h(8). Is f(t) composite?
False
Let w = 10 - 1. Let c be ((-12)/w)/(4/(-6)). Suppose -2*s = -v - 19, c*v - 42 = -5*s - v. Is s composite?
True
Is ((-111)/(-12))/((-2)/(-16)) a composite number?
True
Let z(s) = 10*s - 14. Let h(r) = -3*r + 5. Let u(c) = 11*h(c) + 4*z(c). Let d be u(7). Is d + (-1)/((-2)/2) composite?
True
Is -155*1/4*-4 pri