2, d - 1041 = 5*o. Is d prime?
True
Let a = 284 + -45. Is a a composite number?
False
Let n(q) = 117*q**2 + 4*q + 5. Is n(4) a prime number?
False
Let c = -159 + 272. Is c a prime number?
True
Let m = -95 - -41. Is (-6)/(-27) - 18294/m a prime number?
False
Suppose -5*v - 4*q + 4 = 0, -2*q + 4 = -4*v + 2. Suppose 4*o - 39 = 3*o + 2*g, -2*o - 2*g + 54 = v. Is o composite?
False
Let g(w) = -w + 2. Let z be g(-4). Let x(n) = -n**3 + 9*n**2 + 5*n + 2. Let v be x(z). Suppose -4*o + 0*o + v = 0. Is o composite?
True
Suppose 6*g + 412 = 2074. Is g a prime number?
True
Let y = 2605 - 494. Is y a composite number?
False
Let d be 77/(-14) + (-2)/4. Let x(w) = 3*w**2 - 5*w + 1. Is x(d) composite?
False
Is (-56)/(-1) + -1 + 3 a prime number?
False
Let n(b) = -b**3 - 5*b**2 + 2*b + 4. Let a be n(-5). Is ((-10)/a)/((-3)/(-63)) composite?
True
Suppose 5*h + 58 = 8. Is (405 + 1)*h/(-20) composite?
True
Is 158/1*(-2)/(-4) a prime number?
True
Let r(a) = a**3 + 5*a**2 - 5*a + 8. Let o be r(-6). Suppose -3*c = o*c - 15. Let q(u) = 71*u - 2. Is q(c) a composite number?
False
Let x = 159 + -106. Is x composite?
False
Let h(r) = r**2 - 8*r - 1. Is h(10) composite?
False
Suppose -974 = -11*v + 9*v. Is v a composite number?
False
Let g(s) be the third derivative of -s**4/12 + s**3/3 - 5*s**2. Let k = 7 + -13. Is g(k) prime?
False
Suppose -4*g = -941 - 2103. Is g a prime number?
True
Let d(i) be the third derivative of i**5/20 - i**4/24 - i**3/6 - i**2. Is d(-5) a composite number?
False
Let i(n) = 2*n + 1. Let x be i(-10). Let w = -15 - x. Is w a composite number?
True
Let v be 2/13 - (-6)/(-39). Let h(m) = m**2 + m + 6. Let a be h(v). Is (-4)/a + (-44)/(-3) prime?
False
Let l = -25 - -29. Suppose 2*a - 3*a - 3*k + 189 = 0, -k = -l. Is a composite?
True
Let n(p) = 5*p**2 - 4*p - 3. Is n(-4) a composite number?
True
Let w = 8 - 6. Let s(t) = 5 + 3*t**3 - 2*t**w - t**3 - 3*t**3. Is s(-4) a composite number?
False
Suppose 0 = h + 3*q - 13, -q + 113 = 5*h + 2*q. Let x = h - 0. Is x prime?
False
Let w be ((3 - 3) + -3)/(-3). Suppose -5*l - 209 - 154 = -2*u, -l = w. Is u composite?
False
Let m be -33 - -2 - (-6)/(-2). Let c = -19 - m. Is c a prime number?
False
Let c(j) = -208*j - 25. Is c(-8) prime?
False
Let h(w) = 2*w**2 + 6*w - 3. Is h(3) prime?
False
Suppose 0 = 3*w - 3*a - 531, -2*a + 4 = -3*a. Suppose -6*q + 2*q + 151 = r, -5*q + w = -4*r. Is q composite?
False
Let x(z) = -51*z - 17. Is x(-6) a prime number?
False
Suppose 0 = 2*k + 2*x - 222, k = x + 123 - 12. Is k composite?
True
Suppose 2*q + 2*m = 66, 4*q - 2*q - 5*m - 73 = 0. Suppose -5*n - 4*c + 24 = -119, n - c = q. Let s = 54 - n. Is s a prime number?
True
Suppose -5*r + 8 = 2*o, -o + 2*o + 3*r = 4. Suppose -z = o*p + 27, 0*z + 2*z - 3*p = -109. Let n = -28 - z. Is n a prime number?
True
Is ((-1004)/6)/((-2)/3) prime?
True
Let t = 6 + 0. Suppose -l = l - t. Suppose -d + 305 = 2*f, 2*d - 457 = l*f + 160. Is d composite?
False
Suppose -5*t + 5765 = 5*h - 7490, 0 = 3*t + 6. Is h a prime number?
False
Let x = 1285 - -1294. Is x a composite number?
False
Is ((-8)/(-32) + (-4787)/4)*-2 composite?
False
Suppose 3 = 3*z, -3*z = -2*q + 84 + 135. Is q prime?
False
Let g(n) = -3*n**3 - 3*n**2 - 3*n - 4. Let q be (2/4)/((-1)/6). Is g(q) prime?
True
Suppose -27*p - 5245 = -32*p. Is p a prime number?
True
Suppose 191 + 9 = 5*f. Let r be ((-222)/24)/((-2)/f). Suppose -4*b = b - r. Is b prime?
True
Suppose -v + 3*v = 62. Let n(m) = -9*m + 1. Let c be n(2). Let q = v + c. Is q prime?
False
Let q(p) = -9*p - 6. Let l be q(-7). Let g = -20 + l. Is g a composite number?
False
Let h be -34*((-5)/(-2) - 2). Let f = h - -120. Let d = f - -204. Is d a prime number?
True
Let t = -15 + 17. Suppose -t*f + 40 = -358. Is f prime?
True
Let j(x) = -x - 11. Let m be j(0). Let g be m*1/(2 + -3). Let u = g - 8. Is u prime?
True
Let m = 230 - 27. Is m composite?
True
Suppose 0 = 3*s + 2*f - 431, 0 = 3*s + s - 2*f - 570. Is s a prime number?
False
Let h be (-27)/18 - (-2)/4. Is ((-163)/(-2))/(h/(-2)) composite?
False
Let z = -1 + -1. Let k be (-5)/(-1) + 2/z. Suppose 8*m - 2*a - 334 = k*m, -m = -a - 82. Is m prime?
False
Suppose -2*c + 1758 = 3*z, -3*z + 1767 = -0*c + 5*c. Suppose m - 608 = -3*m + 3*w, -4*m - 3*w + z = 0. Is m a prime number?
True
Let q be (-1)/(1 + -2*1). Let m = -1 + q. Suppose -3*a + 30 = -m*a. Is a prime?
False
Suppose -l = 57 + 69. Suppose -x + d - 41 = 0, 5*d + 28 + 157 = -5*x. Let h = x - l. Is h a prime number?
False
Let a = 1016 + -609. Is a a composite number?
True
Let k be 674 + 1 - 4/2. Suppose -2*x = -5*j + 3365, 2*j - 4*x - k = j. Suppose 3*u = -4*a + j + 519, -3*u = a - 307. Is a a composite number?
True
Is (-598)/(-4) + (-4)/8 a prime number?
True
Let g(a) = 4*a**2 - 4 + 3*a - a**3 + 4*a + 0*a**3. Let l be g(5). Suppose 50 + l = 4*q. Is q prime?
False
Suppose 3*x - 425 = -2*k, -3*x + 568 = x + 2*k. Is x a prime number?
False
Suppose -123 = -2*k + 27. Suppose g - k = 4*g. Let i = 62 + g. Is i a composite number?
False
Suppose 2*d - 4*u - 11 = d, -3*d + 17 = -4*u. Let j = 0 + d. Suppose 20 = j*z - 91. Is z composite?
False
Let v = -3 - 1. Is (-81)/v + 21/28 a composite number?
True
Suppose -2*j + 2262 = 2*u + 730, -5*u = -j - 3848. Is u a prime number?
True
Suppose 0 = -3*u - 2*u - 375. Suppose 61 = 2*v - 181. Let i = v + u. Is i prime?
False
Let u(x) = -x**3 + 9*x**2 - 11*x - 7. Let w be u(9). Let l = w - -159. Is l a prime number?
True
Suppose -26*q + 27*q = 301. Is q composite?
True
Let l be 14/21 - 20/(-6). Suppose -5*d + 79 = l*a, 3*d + 2*a = 3*a + 61. Is d prime?
True
Let l(m) = 3*m**3 - m**2 - m + 53 - m**3 - 3*m**3. Is l(0) prime?
True
Let y be (-2)/2 + 2 + 2. Suppose 0 = y*w - w - 20. Is w composite?
True
Suppose c + 2 = 3. Suppose c = 2*n - 3. Is (-4)/(-6)*231/n prime?
False
Suppose 2*i - 3*z - 18224 = 0, 3*i - 2*z - 3*z - 27337 = 0. Is i a prime number?
True
Let w = 1305 + -902. Suppose 0 = 5*r + 5*x - 1000, -4*r - x + w = -2*r. Is r composite?
True
Suppose -u + 5*o = 3*o + 25, 4*u - 5*o + 88 = 0. Let r = 30 + u. Is r prime?
True
Let d(b) be the second derivative of b**4/12 - b**3/2 - 3*b**2 + 2*b. Let h be d(7). Suppose 4*v - 134 - h = 0. Is v a prime number?
False
Suppose 9*c + 715 = 5*w + 4*c, 3*w - 4*c - 424 = 0. Let o be w/3*(-36)/(-8). Suppose 0 = -p + 2*k + 83, 5*p - o = -5*k + 223. Is p a prime number?
False
Let r(z) = -z + 13. Let w be r(10). Let k(v) = w*v - 11*v + 3 - 8. Is k(-5) prime?
False
Let d be (-4)/26 + (-652)/(-13). Suppose -3*z + d = -13. Is z composite?
True
Let m(n) = 320*n + 7. Is m(3) composite?
False
Suppose 465 = -2*b + 7*b. Let n = -26 + b. Is n a prime number?
True
Is 8/(-2) + (-2985)/(-3) a composite number?
False
Suppose -331 = -0*r - r. Is r a composite number?
False
Let h(k) = 6*k**2 - 1 + 10*k - 2 - 7*k**2 + 8. Is h(9) composite?
True
Let w be 2 + -9 + (-4)/(-2). Let b(o) = -o**2 - 3*o + 7. Let m be b(w). Is 56/1 - (m - -4) composite?
True
Let b(y) = 57*y - 1. Let s be b(1). Is (-2)/10 - s/(-5) prime?
True
Let m(x) = 20*x + 21. Is m(7) prime?
False
Let k = -82 + 227. Is k a composite number?
True
Is -422*3/18*9/(-3) a composite number?
False
Suppose -907 + 274 = -3*f. Is f composite?
False
Let w = 5 - 3. Suppose z + w = 40. Is z composite?
True
Let s(p) = p**2 - 7*p - 7. Let z = 0 + 11. Is s(z) prime?
True
Let m = 203 + -92. Is m a prime number?
False
Let o = 17 + -7. Let h be (-6)/51 + 2/17. Suppose o = x - h*x. Is x prime?
False
Let d(k) = -26*k**3 + 3*k**2 + 5*k + 2. Let c(p) = -51*p**3 + 5*p**2 + 9*p + 3. Let g(n) = 3*c(n) - 5*d(n). Is g(-2) a composite number?
False
Suppose 2*b = 2, -500 = -2*z + 2*b - 0*b. Suppose 0 = -2*k - p + 179, -p - 4*p = 3*k - z. Is k/6 - (-7)/(-21) a prime number?
False
Suppose 4*n - 231 = 101. Let r = 53 - n. Let m = r - -53. Is m a composite number?
False
Let y be (-1 - 0)*2 - -4. Suppose -y*v + 98 = 2*z, -5*v - 3*z + 272 = 35. Is 6*(v/(-6))/(-3) composite?
True
Let c = -282 - -530. Let s = c - 99. Is s a composite number?
False
Let s(a) = 14*a**3 - 7*a**2 - 3*a + 23. Is s(6) a composite number?
False
Suppose -5*n + 154 = -141. Is n a prime number?
True
Let h = -1624 + 2617. Is h a prime number?
False
Let f = 10 - 3. Suppose f*k + 339 = 10*k. Is k a prime number?
True
Suppose 10*q - 6403 + 893 = 0. Is q composite?
True
Suppose 0 = -