
Let b = 2986 + 697. Is b a prime number?
False
Suppose 3*f = -4*x + 1187, 2*x - 5*x = f - 389. Is f a prime number?
True
Suppose -k - 6 = 4*m, -m + 3*k - 8 = -0*k. Let y be 3 - m/(4/30). Is (y - -1)*(6 + -1) a composite number?
True
Suppose 0 = -3*m + 6*m + 18. Let k = m - -88. Is k a prime number?
False
Let y(l) = l + 35. Is y(0) a composite number?
True
Let u be (-3)/(4 - 1) + 1. Let x be (u + -3)*1*-31. Is x/5 - 2/(-5) a composite number?
False
Let k = -386 - -643. Suppose -4*m + 3*q = -1014, -2*q = m - q - k. Suppose -3*g = 2*g - m. Is g prime?
False
Let z(m) = -998*m - 1. Is z(-1) a composite number?
False
Let g = 91 + -35. Let w = g - 24. Suppose -5*j + w = 5*y - 83, -3*j = -12. Is y prime?
True
Let t(l) = 6*l**2 - 8*l - 25. Is t(-10) prime?
False
Let c = -1 - -5. Suppose -7*g + 3*g + 26 = 2*q, -5*q = c*g - 29. Is g a composite number?
True
Is (8302/4)/(4 - (-7)/(-2)) prime?
False
Let w = 118 + -74. Let d be (-1)/2*-6*1. Suppose -13 = -d*p + w. Is p a prime number?
True
Is (-1300)/(-15) + (-2)/(-6) a composite number?
True
Let v be (4/10)/((-2)/(-600)). Let j = -27 - 4. Let i = j + v. Is i prime?
True
Suppose -5 = a + s, 2*a = 4*s + 5 + 9. Let k be 13 + (-1 + -1 - a). Suppose o + j = -j + k, -5*o = 4*j - 66. Is o prime?
False
Suppose 5*x - c - 21712 + 7014 = 0, 11750 = 4*x + 2*c. Is x composite?
False
Suppose 0*l - 3*l - 16 = -5*h, -4 = 2*l. Suppose z - 2*x = 6, 6*x = -3*z + h*x - 12. Suppose -2*r - 47 = -3*q + 114, z = -2*q + 5*r + 89. Is q composite?
True
Let r = -216 + 143. Let c = -52 - r. Is c composite?
True
Let q(s) = 2*s + 5. Let z be q(7). Let a be z/4 - (-7)/28. Suppose -t = 5*m - 299, 3*m + 3*t - 169 = a*t. Is m a prime number?
True
Let c(z) = -z + 8. Let o be c(7). Suppose k - 174 = -5*h + 3*h, 0 = -h + o. Suppose 0 = -5*x + k + 93. Is x prime?
True
Suppose -552 = 4*a - 2*a. Let m = 421 + a. Suppose 0 = -2*t, -5*l + 20 = -4*t - m. Is l a composite number?
True
Let o(z) = 4*z**2 + z - 5. Let k(w) = -w + 6 - 3*w**2 - 1 + 1. Let f(i) = 5*k(i) + 6*o(i). Is f(-2) prime?
False
Let v = 1947 - 1145. Is v a prime number?
False
Let d = 1 - -1. Is 21/(-1)*d/(-6) a composite number?
False
Let x(d) = -d**3 - 12*d**2 + 8*d - 2. Let u be x(-7). Let z = u - -714. Is z composite?
True
Let g = 214 + 2984. Suppose -o + g = 2*o. Is o/8 - 3/12 prime?
False
Let b = -3384 - -6299. Suppose -5*k = -0*k - b. Is k a composite number?
True
Suppose 4*q = 4 + 4. Suppose -4*o - 3*h = o - 173, 0 = 2*h - q. Is o prime?
False
Suppose g + 6 = m + 23, -4*g + m = -62. Is g a composite number?
True
Suppose 3*i = 4*u - 0*u - 5, -5*i - 2*u = 17. Let z(g) = -23*g - 2. Is z(i) prime?
True
Let q = 12 + 1. Let b = 18 - q. Suppose 0 = 3*y - 34 - b. Is y prime?
True
Let u(b) = b**2 + 10*b - 2. Let w be u(-10). Let s(d) = -11*d**3 - d**2 + 2*d + 2. Is s(w) a prime number?
False
Let o(s) = -s**3 - 2*s**2 - 3*s - 11. Is o(-5) composite?
False
Suppose -d - 10 + 53 = 0. Is d composite?
False
Let w(o) = o**3 + 4*o**2 - 8*o - 2. Is w(-3) a prime number?
True
Suppose -2*y - 5*y = -539. Is y composite?
True
Is (12/(-10))/((-14)/1505) a composite number?
True
Let b(m) = m**3 - 3*m**2 - 5*m + 4. Let z be b(4). Suppose j - 4*s - 235 = z, 0*j - 4*j - 2*s = -850. Is j composite?
True
Suppose f + 275 = 94. Let k be 5*8*(-48)/5. Let s = f - k. Is s a composite number?
True
Let x(i) = 46*i**2 + 3*i - 48. Is x(7) composite?
True
Let u = -5 - -27. Suppose h - 55 = u. Is h a composite number?
True
Let c = -21 + 12. Let o be (80/(-3))/(3/c). Let s = 123 - o. Is s a composite number?
False
Suppose 689 - 80 = 3*a. Is a a composite number?
True
Let j(p) = 5*p**3 + 0*p - 3*p**3 - 6*p - 6 - p**3 + 8*p**2. Is j(-7) composite?
True
Let k = -68 + 121. Is k a prime number?
True
Let i = 3468 + -1816. Suppose -i = -5*x - 3*n, 2*n + 347 - 1669 = -4*x. Is x composite?
False
Let f(l) = -5*l + 18*l**2 - 4*l**2 + 0*l + 0*l + l**3 - 11. Is f(-14) a composite number?
False
Suppose 4*j - 8 = 0, -3*b + b + 10 = -3*j. Let l(s) = s**2 - 8*s + 4. Let y be l(b). Suppose y*d - 5*a + 7 = 0, 5*d + a = 2*a + 7. Is d composite?
False
Let g(b) = b**3 - 4*b + 3. Let q be g(2). Suppose -9 - 6 = -q*w. Suppose 0 = 3*x + 4*i - 385, w*x + 0*x - 4*i - 631 = 0. Is x composite?
False
Let i = 16 + -9. Is (-6)/21 - (-1731)/i a composite number?
True
Let s be (-4)/(-18) - (-8320)/(-18). Let x = 653 + s. Is x composite?
False
Suppose 4*r + 3*f = -7 - 0, r + f = -3. Suppose r*u = 2, v - 37 - 20 = 2*u. Is v composite?
False
Let l be 284*(-3)/3 - 1. Let v = l - -446. Is v a composite number?
True
Suppose 5*w = 677 + 138. Is w prime?
True
Suppose -4*i - 23 + 3 = 0. Let x be i + (-2 - (-1 + 0)). Let b(p) = -p**3 - 3*p**2 + 9*p + 1. Is b(x) prime?
False
Suppose 4*k = -5*p + 16545, -k = -4*p - 4465 + 334. Is k a prime number?
False
Suppose -19 = -4*p + 5. Is (p/(-2))/(2 - 3) prime?
True
Let i be (2 + 2)*(-1)/2. Let k be (11/i)/((-3)/6). Suppose 3*w - 89 = -k. Is w prime?
False
Let n(w) = 38*w**3 - 5*w + 4. Let a be n(3). Suppose -4*q + 21 = -a. Is q a prime number?
False
Suppose 0 = -3*c + 8*c. Suppose c*m - 3*m = -12. Is (m/(-6))/(2/(-57)) prime?
True
Let i = -12 + 15. Suppose 8*x - 4*x = 0, 0 = 2*z + i*x - 174. Is z a composite number?
True
Let s(o) = 3*o + 32. Is s(13) a prime number?
True
Let t(j) = j - 2. Let z be t(-6). Let h be (2*z*2)/1. Let l = h - -47. Is l prime?
False
Suppose -s + 30 = -277. Is s a composite number?
False
Let h = 9 + 13. Let r = -2 + h. Let o = 54 - r. Is o composite?
True
Suppose 6*y = 7*y. Suppose 3*m + 5*u - 2633 + 744 = y, 2*u = 8. Is m a composite number?
True
Let k(o) = o**3 + 10*o**2 + 10*o + 9. Let v be k(-9). Suppose v = -b + 4*w + 73, 2*b = -5*w + 133. Is b prime?
False
Suppose 2392 = 4*s + 5*v, -163 - 442 = -s - 3*v. Let z = -300 + s. Is z a composite number?
False
Let u = -34 + -14. Let v = -17 - u. Is -4*(0 - v/4) a prime number?
True
Let r = -3 - -5. Suppose 2*y = -r*y + 848. Suppose 5*s - 183 = y. Is s a composite number?
False
Let y = -14912 - -22147. Is y composite?
True
Is (0 - -89) + 9/(-3) composite?
True
Suppose -210 + 16 = 2*z. Let a(q) = 16*q + 10. Let w be a(-11). Let x = z - w. Is x a composite number?
True
Is ((0 + 1)*-331)/(9/(-9)) a composite number?
False
Let o(m) = 15*m**2 + 2*m - 9. Let t(n) = 8*n**2 + n - 5. Let r(b) = 4*o(b) - 7*t(b). Let x be r(1). Suppose 9*v = x*v + 95. Is v a composite number?
False
Suppose 5*c + 3*u - 15 = 4*c, 0 = 3*u - 15. Suppose c = -2*w - 5*x + 55, -w - 2*x = 3*x - 20. Is w composite?
True
Let l(d) = -d**3 + 11*d**2 + 15*d + 8. Let x(z) = z**2 + 0*z**2 - 1 + z + 0*z**2 + 0. Let f(v) = -l(v) + 4*x(v). Is f(9) prime?
False
Suppose -7 = -2*n + 4*k - 33, -4*k = 2*n - 6. Is (-1 - n)/(-2) + 193 prime?
True
Let h(t) = -t**2 - 13*t - 1. Is h(-9) composite?
True
Suppose -127 = -2*o - 4*v + 387, 2*o = v + 529. Is o composite?
False
Let p(y) = 8*y**2 - 2*y - 1. Let f be p(-1). Let t be (-1)/1 - (-1 + -3). Let m = f - t. Is m composite?
True
Suppose -173 = 4*k - 553. Is k a prime number?
False
Let j be ((-3)/(-3))/((-1)/18). Let u = j - -39. Let m = u + 18. Is m a composite number?
True
Suppose -j = -2*j + 8. Let b = j + -8. Let w(y) = -y + 91. Is w(b) composite?
True
Suppose 0 = -5*i + o + 594, 4*i = 2*i - 4*o + 242. Is i a composite number?
True
Let u be 7/28 + 438/8. Let t = u - -25. Is (-5)/15 + t/6 composite?
False
Let r(k) = k**2 - k + 251. Is r(0) a prime number?
True
Suppose -77*d + 76*d = -1471. Is d a composite number?
False
Suppose -1602 = 3*b - 6*b + 3*u, 0 = 2*b - 3*u - 1073. Is b composite?
True
Let u(w) = -15*w - 1. Is u(-10) a prime number?
True
Let g(o) = -33*o**3 + 7*o**2 + 6*o + 7. Is g(-4) prime?
True
Suppose 0 = -2*f - 5*z + 10, 0 = 2*f - 2*z - 2*z - 28. Let t be f/15*1062/4. Suppose -t = -2*o - o. Is o composite?
False
Let m be 0 + 3 - 0/(-1). Let h be (134/(-2))/(m/(-9)). Suppose 0 = 5*x - 2*x - h. Is x prime?
True
Let d = 3 - -2. Suppose 0*t - 395 = -d*t. Is t composite?
False
Let w(y) = 5*y**2 + y**3 - 6*y**2 - 9 + 8*y - 6*y**2. Let s be w(6). Suppose s*p = -0*p + 57. Is p a composite number?
False
Let v be (27/(-2))/(3/(-6)). Suppose c + 138 = 4*c. Let o = c - v. Is o a composite number?
False
Let y(m) = 17*m**2 + 1. Let k be y(1). Let o be ((-3)/3)/((-2)/k). Is (183/o + -2)*3 a prime number?
False
Let u(c) be the third derivative of