mber?
True
Is (-3)/(-2)*398/3 a composite number?
False
Suppose -6*z + 118 + 644 = 0. Is z a composite number?
False
Let j(w) = -7*w - 3*w**2 - 3*w**2 + 0 - 10 + 3*w**2. Let x be j(-7). Let t = -55 - x. Is t a composite number?
False
Let w(j) = -j**2 + 19*j + 5. Let s = 14 + 2. Is w(s) a composite number?
False
Let w be 0*(2 - 1)/(-2). Suppose w = 4*h - 5*h + 149. Is h a composite number?
False
Let l be -6 - (2 + -3 + 2). Is (-8)/(-28) + (-243)/l a composite number?
True
Let j(p) = p - 4. Let o be j(5). Suppose 0 = -3*m - 3*k + 4 + 179, 0 = k - o. Suppose 2*z + 2*z = m. Is z a prime number?
False
Let s(r) = -6*r + 9*r + 22*r**2 + 3 + 2*r**3 + 2*r + 14*r. Let n(q) = q**3 + 7*q**2 + 6*q + 1. Let c(m) = -7*n(m) + 2*s(m). Is c(-3) a prime number?
True
Let k(a) = a**3 - 7*a**2. Let s be k(7). Is 6*-1*(-1 - s) a composite number?
True
Suppose -3*w = -4*o + 1459, -5*w = 4*o - w - 1424. Let h = -234 + o. Is h a composite number?
False
Let c(v) = -10*v + 6. Is c(-8) a composite number?
True
Let s = -52 + 48. Let h(c) = -13*c**3 - 5*c**2 + 9*c + 2. Let d(f) = 7*f**3 + 2*f**2 - 5*f - 1. Let j(t) = -11*d(t) - 6*h(t). Is j(s) a prime number?
True
Let g be 2 - -1 - (-2)/1. Suppose g*t = 4*c + 240, 0 = -c - 3*t + t - 73. Let u = c - -96. Is u prime?
True
Let n = 964 - 513. Is n a prime number?
False
Let z = 1997 + -1134. Is z a prime number?
True
Let p(v) = -5*v**3 - 3*v**2 - v - 2. Let u be p(-2). Suppose 20 = 4*k - 16. Let d = k + u. Is d a composite number?
False
Let o be (-4)/8*4 - -7. Suppose o*i - 277 = p, 0 = 2*p - 7*p - 10. Is i a prime number?
False
Let i(l) = l**2 - l + 1. Let a be i(2). Let p(f) = 2*f + f - f + 1. Is p(a) prime?
True
Let q be (1 + 1)*(-1 - -2). Let i(m) = -3 - 4*m**2 - 4*m**2 + 2*m**2 + 5*m + 2*m**3 + 3*m**q. Is i(4) prime?
True
Let z(b) = -3*b + 8. Let q(a) = 7*a - 17. Let o(r) = 2*q(r) + 5*z(r). Let u be o(0). Suppose 0 = -i - u + 16. Is i a composite number?
True
Let o = 18 - 26. Let u = o - -5. Is 1/(u/462*-2) a composite number?
True
Let c = -7 + 90. Let p = c - -41. Let z = p - 45. Is z composite?
False
Suppose -4*l - k + 79 + 69 = 0, 3*l + 4*k - 124 = 0. Is ((-12)/l)/(1/(-861)) a composite number?
True
Let g = 183 + -86. Is g prime?
True
Let w be 3/(-2)*12/(-3). Let m(i) = 2*i**2 - 13. Is m(w) prime?
True
Suppose -3*x - 2 = -2*x. Let t be 1*(x + 2 + 4). Suppose -3*y - 2*y = c - 64, -t*c + 298 = -y. Is c prime?
False
Let w(t) be the third derivative of 101*t**5/30 + t**4/24 + 4*t**2. Is w(1) prime?
False
Is (339/(-6) - 3)/(1/(-2)) a composite number?
True
Let w(v) = -v**3 + 4*v**2 - v - 1. Let s be w(2). Suppose 4*t - s*n = -49, 0*n + 1 = -t - n. Is 274/6 + (-2)/t composite?
True
Suppose j - 377 = 2*s, s - 383 = -j - 3*s. Is j prime?
True
Let p = 9225 - 4940. Is p prime?
False
Let c(x) = x - 15. Let p be c(5). Let q = 53 + p. Is q composite?
False
Suppose 0 = -2*r - 0 - 4. Let v(o) = -55*o + 1. Let n be v(r). Let t = 208 - n. Is t a prime number?
True
Let b(a) = 9 + 6*a**2 + 3*a + 3*a**2 - 2*a**2 - a**3 + 2*a**2. Is b(8) prime?
True
Suppose 4*v - 3*v = n - 647, -4*n + 2*v = -2598. Suppose -6*y + n = -2*y. Is y prime?
True
Let q be 2/(-10) - 266/70. Is q/(8/(-42)) - 2 prime?
True
Let i(x) be the first derivative of -4*x**3/3 - 5*x - 1. Let p be i(-5). Is (1/(-3))/(5/p) a prime number?
True
Is (2/8)/((-26)/(-339144)) prime?
False
Let q(x) = 4*x**2 - 1. Let g be q(-2). Let b = g - 0. Is b prime?
False
Let c(j) = j**3 - 13*j**2 - 5*j + 4. Is c(15) a prime number?
True
Suppose 4*a - 6*a + 4*t + 5790 = 0, -3*a = 5*t - 8707. Is a composite?
True
Let r = -8517 - -12028. Is r a prime number?
True
Let s(u) = 2*u + 3. Let q = -2 + 10. Is s(q) a composite number?
False
Let u(s) be the third derivative of s**4/3 + 7*s**3/6 + 11*s**2. Suppose 4*t + 0*t = 24. Is u(t) prime?
False
Suppose -4*g = -7*g + 7113. Is g a composite number?
False
Let r = 256 - 171. Is r composite?
True
Let m(p) = -69*p + 3. Let q be m(2). Let h = q + 358. Is h composite?
False
Suppose 0 = 4*d - l - 4*l + 3403, -4*d = -l + 3407. Is (3/2)/((-9)/d) a prime number?
False
Let o(y) = y**3 + 9*y**2 - y + 10. Is o(-5) prime?
False
Let c(i) be the second derivative of -i**4/12 - 7*i**3/6 - 2*i**2 + i. Suppose 0*w + 3*w = -15. Is c(w) a prime number?
False
Let k be (-4)/(-6)*(-501)/(-2). Suppose -5*w + k + 108 = 0. Is w composite?
True
Let z be (7 + 1)/4 + 104. Let u = 215 - z. Is u a composite number?
False
Suppose 105 = -n - 2*q + 380, -n - 3*q = -272. Suppose -5*d = s + 2*s - n, 2*s + 216 = 4*d. Is d prime?
False
Is 6/33 - (0 - (-1637)/(-11)) a prime number?
True
Let g = -374 + 681. Let d = -139 - -67. Let b = d + g. Is b composite?
True
Let a = -38 + 381. Let r = a + -194. Is r prime?
True
Let g be (-1 + 1 - 1) + 5. Suppose 3*h = -0 + 6, g*b - 460 = -2*h. Is b/27 - 4/18 a prime number?
False
Suppose 872 = -2*l + 300. Is l/(-8) + 15/(-20) a composite number?
True
Let j(n) = -n**2 + n + 253. Let c(o) = o**2. Let d be c(0). Let b be j(d). Let s = b + -130. Is s a composite number?
True
Suppose 2*a - 3*a = -16. Let j = a + 5. Is j prime?
False
Suppose 3*i - 5 = 5*v + 15, 2*v - 14 = -i. Let n(y) = -y**3 + 13*y**2 + 3*y + 5. Is n(i) composite?
True
Suppose 3*s + 75 = -0*s. Let t = s - -35. Let f = t - -4. Is f composite?
True
Let i(l) be the first derivative of 4*l + 2 + 16/3*l**3 - 5/2*l**2. Is i(3) a prime number?
False
Suppose -g = g - 10. Suppose 5*a - 79 = 3*d, 6*a + 4*d - 2 = g*a. Is a prime?
False
Suppose -s + 84 = 4*a - 2*s, -4*a + 84 = -2*s. Is a prime?
False
Suppose 2*w - 5*b + 30 = 0, 11 = -2*w + 4*b - 15. Let p = w - -5. Suppose p*l = -2*l + 154. Is l a prime number?
False
Let w be ((-6)/10)/((-3)/15). Suppose 0 = -w*c + 3*m - 6, 0 = 3*c + 3*m - 0*m - 24. Let v(k) = 3*k**2 - k + 1. Is v(c) a composite number?
True
Let t = 1 - -1. Let u be (-2 - 4)*6/(-9). Suppose -u*b = 3*s - 85, 4*s - t*b - 122 = -3*b. Is s prime?
True
Suppose -g = 416 - 1213. Is g a composite number?
False
Let g(w) = w**3 + 85. Suppose 3*p = 2*p. Let u be g(p). Let z = u - -30. Is z a composite number?
True
Let k be (-13)/(-2) + 6/12. Let o(i) = -i**2 + 7*i. Let b be o(k). Suppose -m - m + 382 = b. Is m a prime number?
True
Let a(s) = s**3 - 10*s**2 + 2*s - 10. Let z be a(10). Suppose 0 = -u - 4*y + 73, -z = u - 3*y - 90. Is u composite?
True
Let p = 4 + -1. Suppose 4*s = -4*v + 280, p*s - v - 216 = -6*v. Is s prime?
True
Let r(l) = 8*l**3 - l**2 - l + 1. Let p be r(1). Suppose 2*f - p*f = 90. Is (-1180)/(-36) + (-4)/f prime?
False
Let f = -11 + -25. Is 1/(-2)*-2 - f prime?
True
Suppose 0 = -o + 2*q + 9, -3*o + 5*q = -13 - 10. Let m = -1 - o. Is ((-1)/m)/((-1)/(-422)) a prime number?
True
Let t(i) = -i**3 - 12*i**2 - i + 41. Is t(-12) composite?
False
Suppose -3*v + 28 = 4*s, -2*v + 14 = s - 3*s. Let k(w) = w**2 - 3. Let q be k(7). Suppose -4*i - 3*l + 34 + v = 0, -5*l = 4*i - q. Is i composite?
True
Suppose -3*f = -1 - 11. Is 865/f + (-3)/(-4) a prime number?
False
Let i be 15/(-3)*(-3 + 4). Let c(o) = -3*o**3 - 3*o**2 - o + 2. Is c(i) a composite number?
False
Let w(k) = k - 4. Is w(14) composite?
True
Let d be (-60)/(-36) + 1/3. Is (-1)/d*(-1254)/3 composite?
True
Let k(u) be the second derivative of 7*u**4/12 - 5*u**3/6 - 5*u**2/2 - 2*u. Is k(-4) prime?
True
Let v = 3652 - 1599. Is v a composite number?
False
Let r(y) = -676*y - 1. Is r(-3) prime?
True
Suppose -338 = 3*m + 139. Let v = m + -12. Let c = 8 - v. Is c prime?
True
Let q = 38 - 54. Let w = q + 50. Is w a composite number?
True
Suppose -2*h = -3*n + 1247, -8 = 6*h - 4*h. Is n prime?
False
Let o be 0 + (2 + 0 - -597). Suppose -3*t + 2*t + 3*k = -o, -4*k - 1792 = -3*t. Suppose -2*j - 4*h + 566 = 0, -j - 2*h = -3*j + t. Is j composite?
False
Suppose 0 = -6*g - 646 + 10888. Is g a prime number?
False
Let o be 251 - (-7 - -1)/(-3). Is 1/((12/o)/4) a prime number?
True
Let a = -408 + 755. Is a prime?
True
Let i be (7/(-2))/(1/(-26)). Suppose 0 = -2*g - 3*g + 25. Suppose g*o - 4 = i. Is o composite?
False
Let i be (-8)/(-5) + (-8)/(-20). Let w = i - -57. Is w composite?
False
Is 2/(-9) + 8612/36 a composite number?
False
Let a(b) = 39*b**2 - 2*b - 4. Is a(-3) prime?
True
Let k = -5 + -1. Let u = 12 + k. Suppose -3*n + 63 = u. Is n prime?
True
Suppose -2*g + 3*h + 5 + 7 = 0, 0 = 5*g + 2*h + 8. Suppose -4*n = -2*f - 10, 4*n = -g*f + 5*f