- 1. Let o = -14 - -20. Is x(o) composite?
True
Let y(g) = -20*g - 14. Let k be y(-5). Suppose 5*q = -2*o + 22, -k = -4*o + 5*q + 18. Is o prime?
False
Suppose -4*t - 5*x + 18 = 0, t + 2 = 5*x + 19. Suppose -3*c + 2 + t = 0. Suppose -c*m - 2*m + 325 = 0. Is m composite?
True
Suppose -5*r + 18 = 2*p, p + 3*r - 9 = -2*r. Is p/((-9)/3) + 50 a composite number?
False
Suppose 8 = 4*f, 2*h + f + 2*f = 12. Suppose h*o + 5*v - 978 = 0, 2*o - 151 = -v + 508. Is o a prime number?
True
Is 1*(-2746)/(-2)*1 a prime number?
True
Let a = 1 + 1. Let h be -1*(-1 + a) + 5. Suppose 2*k = -4*t + 5*t + 130, h*k = 5*t + 260. Is k a prime number?
False
Let l(i) = i**3 - 7*i**2 - 8*i + 7. Let s be l(8). Is 0 + -3 - (s + -104) prime?
False
Let x(i) = 1. Let k(c) = -c**3 - 7*c**2 + 6*c - 4. Let m be ((-21)/9 - -2)*3. Let a(g) = m*k(g) + 3*x(g). Is a(-7) a composite number?
True
Is 2 + (-15)/(1*(-4)/292) composite?
False
Suppose q + 4*a + 92 = 2*q, -2*a + 346 = 3*q. Let r = q + -226. Is r/8*4/(-1) a prime number?
False
Suppose q = -4*i + 20 + 1, -2*i + 28 = 4*q. Suppose -i*y + 188 = -2*y. Suppose -p = -m + y, -1 = p + 2. Is m prime?
False
Let x(b) = -5*b**2 + b**3 - 12 - 2*b + 4*b - 3*b**2. Let m be x(8). Suppose -2*y - 175 = -3*j, m - 5 = -y. Is j prime?
True
Let u(i) = 8*i**2 + 10*i - 31. Is u(16) a composite number?
True
Let k(v) = -25*v**3 - 3*v - 3. Is k(-2) a composite number?
True
Suppose -2*x - 3*a = -x - 523, 0 = -4*x + 3*a + 2152. Is x a composite number?
True
Let b = 3 + -2. Suppose -5*s + 9 = 2*w, -4 = -3*s - b. Suppose 0 = -2*z - w*z + 36. Is z composite?
True
Let p = -385 + 792. Is p a composite number?
True
Let x(f) = -4*f + 9. Let v(z) = -3*z + 9. Let b(y) = 5*v(y) - 4*x(y). Let l be b(-8). Is l/4 - (-748)/16 prime?
True
Suppose 4*z + 4*h - 1212 = 0, -2*z + 0*h = -h - 606. Is z a prime number?
False
Suppose 2*g - 4 = 2*n + 6*g, 2*n + 3*g = -1. Suppose -t = -n*t. Suppose -u = 2*d - 8, 3*u = -t*u - 4*d + 22. Is u a composite number?
True
Let j(g) = -4*g**3 + 2*g**2 + 5*g. Let v be j(-4). Suppose 4*s + s - 645 = 5*p, 3*p - v = -2*s. Is s a prime number?
True
Let c(r) = r**3 - r**2 + r + 33. Let i be c(0). Suppose -v + i = -90. Is v prime?
False
Let g(a) = -a + 10. Let o be g(7). Suppose j + 6 = o*j. Suppose j*t + u = 119, -5*u - 18 + 5 = -t. Is t prime?
False
Suppose 6*t - t = 6745. Is t prime?
False
Let l(m) = m + 7. Is l(-3) prime?
False
Let l = 65 + -12. Is l composite?
False
Let v(i) = i**2 - 12*i - 55. Is v(18) a prime number?
True
Let g = -2588 + 6523. Is g a prime number?
False
Let z = 18 - 15. Let o be 6/(-21) - (-408)/7. Suppose -o = -z*k - 13. Is k a prime number?
False
Let s = -264 + 178. Suppose -5*x - 5*u = -2*u - 13, 2*u = 4*x - 6. Is x/((-176)/s + -2) a prime number?
True
Let y be (-10)/(-4)*(0 - -100). Suppose -5*s = -135 - y. Is s a composite number?
True
Let c(b) = -10*b - 5. Let x = 11 + -17. Is c(x) prime?
False
Suppose 0 = -3*z + 2*m + 44, 0*m = -5*z + m + 64. Let b = z + 25. Is b composite?
False
Let p(d) = -4*d - 9. Let z = 3 + -9. Is p(z) prime?
False
Let g(i) = -14*i + 9. Let q be g(-9). Let z = 322 - q. Is z a composite number?
True
Let k(y) = 3*y**2 + y**2 - y**3 - 6 + 7*y + y**2. Let j be k(6). Suppose 0*p + p - 11 = j. Is p composite?
False
Suppose -5*g + 2*s + 264 = 0, -266 = -3*g - 2*g + 3*s. Suppose -7*j = -134 + 8. Let i = g - j. Is i composite?
True
Let b(u) be the first derivative of -u**3/3 + 239*u - 1. Is b(0) a prime number?
True
Let l = 1258 + 637. Is l a composite number?
True
Suppose 2*s = 5*s - 318. Is s a composite number?
True
Suppose -4*m + 3*k = 7*k - 604, 4*m - 586 = 2*k. Suppose 3*z - m = x, z = 2*z + x - 48. Is z composite?
True
Let h be (2 + 1)/((-12)/(-8)). Suppose -82 = -h*d + 100. Is d a composite number?
True
Let b(i) = 2*i**2 - 3*i - 4. Let v be (5 - 2)/9*9. Let g be b(v). Suppose g*f = -0*f + 70. Is f prime?
False
Let j be 4/6 - 157/(-3). Suppose 3*b - 106 = j. Is b composite?
False
Suppose 0 = -0*j - 4*j + 16. Suppose 9*t - j*t = 2605. Is t a prime number?
True
Suppose -z + 2*z - 21 = 0. Is z a prime number?
False
Let x(y) be the third derivative of y**8/2240 + y**6/180 - y**5/24 + y**4/24 + y**2. Let l(c) be the second derivative of x(c). Is l(4) prime?
False
Suppose -a - 4*a = -1705. Let j = a + -38. Is j prime?
False
Let f(l) = l**2 + 8*l - 11. Let p be (-9)/((-3)/(-3) + 0). Let j be f(p). Is j/7 - (-625)/7 composite?
False
Let l = -690 + 1576. Is l composite?
True
Suppose 6*n = 3*n + 573. Is n a prime number?
True
Suppose 0 = 8*n - 6*n. Is (-1 + n)/((-3)/381) a composite number?
False
Let n(b) = -27*b - 4. Suppose -2*m = m - 5*j - 1, 3*m + 5*j = -19. Is n(m) composite?
True
Let h(i) = -4*i**3 - 9*i**2 - 15*i + 1. Is h(-6) composite?
False
Suppose -2*l - 13 = 7. Is (134/3)/(l/(-45)) a composite number?
True
Let w(f) = -3*f**3 + 7 - 7*f**2 - 4*f**3 + 0*f - 4*f + 6*f**3. Is w(-7) prime?
False
Suppose 2*p - 1923 = -5*t, 5*t - 3*p - p = 1929. Suppose 4*h = -h + t. Is h a prime number?
False
Is (77 - -4) + 1 + 1 composite?
False
Suppose -u = 4*m - 724 - 1053, -4*u + 7008 = -4*m. Is u a composite number?
True
Suppose -2*h = -4 + 2. Let j be (-78)/10 + h/(-5). Let l(b) = -2*b - 9. Is l(j) composite?
False
Let a(b) = -5*b + 7. Suppose 3*r + 0*c = 3*c + 18, -r - 5*c = -6. Suppose -j + 30 = -r*j. Is a(j) prime?
True
Suppose 0 = -3*m - 4*w + 1441, -w - 3*w = -4*m + 1912. Is m composite?
False
Let v(u) = 2*u. Let k be v(2). Let j = 1 - k. Is (j - -2)*(-11 + 0) a composite number?
False
Suppose 0 = -3*f + 295 - 118. Is f composite?
False
Suppose 4*u + 94 = -0*u - 2*j, -u - 20 = 4*j. Let n = -92 - -49. Let a = u - n. Is a prime?
True
Let g(m) = -m**2 + 4*m + 2. Let s be ((-4)/(-6))/((-1)/(-6)). Is g(s) a prime number?
True
Suppose 5*t = 9425 - 880. Is t prime?
True
Let r(q) = -26*q + 2. Is r(-4) prime?
False
Suppose -3*i + 9 = 5*o - 17, 10 = i + 2*o. Suppose -i*b = -3*b + 541. Is b prime?
True
Let t(q) = -2*q**2 - 8*q + q + 3*q**2 + 3*q - 3. Is t(-7) prime?
False
Suppose -3*r + 2292 = -r - 4*x, 4*r = -3*x + 4540. Is r composite?
True
Suppose -5*x + 902 - 6 = 3*b, -2*b + 2*x = -624. Is b composite?
False
Suppose -522 = -c - f, 2*c - 63 = f + 966. Let x = c + -362. Is x prime?
False
Let w(k) = 4*k**3 + 2*k**2 + 2*k + 1. Let j be w(-1). Let i = j - -3. Suppose i*a - 6 = -2*a. Is a composite?
False
Let j be (2/(-4))/(3/(-36)). Suppose 14 = 2*z - b, 2*z + 4*b + 2 = j. Is z prime?
False
Suppose 5*d + 20 = 0, -2*d - 5 = l - 2. Suppose -l*f = -3*f + 2*a - 66, -20 = 5*a. Is f prime?
True
Suppose k = 61 + 51. Let m = 163 - k. Is m composite?
True
Let c(r) = 5*r**2 + 4*r + 3. Let f(a) = -9*a**2 - 7*a - 5. Let l(x) = 11*c(x) + 6*f(x). Is l(-4) composite?
False
Suppose 0 = -4*z - 5*f + 45, 2*z - 4*f - f + 15 = 0. Suppose 0*j - 65 = -z*j. Is j a prime number?
True
Suppose -3*b + b = -10. Suppose -b*q + 7 = -s, s + 0*q = 3*q - 3. Is -89*(s - 4)*1 a prime number?
True
Let d be -5*(9/(-5) - -1). Suppose d*k - 155 = 3*k. Let c = k - 60. Is c prime?
False
Is 8182*-1*2/8*-2 composite?
False
Let l(s) = 3*s**2 + 4*s - 2. Let i be l(4). Suppose p = -0*g - 3*g + 32, -p - 4*g + 33 = 0. Let q = i + p. Is q prime?
False
Let v = -1 - -1. Suppose -2*w - 3*u = -57, v*w = -2*w - 4*u + 54. Is w composite?
True
Let z = 7 - 4. Let n(j) = j**3 + 5*j - z - 4 - 8*j**2 + 13*j - 7*j. Is n(7) a prime number?
False
Suppose -2*r = -r - 15. Suppose 0 = 5*t - 0 - r. Suppose -2*s + 60 = 2*n, 0 = 5*s - 0*s - t*n - 190. Is s prime?
False
Let p = -26 + 68. Suppose -p - 186 = -4*y. Is y composite?
True
Suppose -5*w = -2*s + 953, -2*w + w + 466 = s. Is s composite?
True
Let m = 4 + 181. Is m composite?
True
Let x = 45 + 46. Is x a composite number?
True
Let q(b) = 2*b - 3*b + 4 - 6. Let v be q(-2). Suppose v = a - 4*a + 615. Is a prime?
False
Let q = -6 - -5. Let k be -3*(q + 34/(-6)). Suppose 0 = 4*o - 8 - k. Is o a composite number?
False
Let i = 19 + 207. Is i composite?
True
Suppose 0 = -v - 5*p + 23 + 6, 3*v = p + 39. Let b = v - -187. Is b a composite number?
True
Suppose -2*x + 9 = x. Suppose l + 1155 = -x*j + 6*l, 5*l = j + 375. Is 2/4*j/(-3) a composite number?
True
Let o(a) = -a**3 + 8*a**2 - 6*a + 7. Let n(f) = -f**2 + 1. Let k(y) = -4*n(y) + o(y). Is k(11) a composite number?
True
Let f(x) = x**3 + x**2. Let q(s) = -5*s**3 + 4*s**2 + 2*s - 7. L