s b(3) a composite number?
False
Is 157 + (2/(-6) - (-4)/12) a prime number?
True
Let q = -6 - -6. Let w(o) = o**3 + o**2 + o + 25. Is w(q) a prime number?
False
Let r = 11305 - 7850. Is r a prime number?
False
Let k = 204 - 122. Is k composite?
True
Is (0 - 66/9)/(2/(-6)) composite?
True
Let r(j) = j**3 - 6*j**2 - j + 8. Let x be r(6). Let t = 75 + x. Is t prime?
False
Suppose 2*m + 1238 = 4*v, 0*v - m = 4*v - 1223. Is v prime?
True
Let c = 0 + -2. Is (c + 0)*1 - -16 composite?
True
Suppose 0 = -3*h - o + 1909, -2*o - 3*o + 3195 = 5*h. Is h composite?
True
Suppose -5*z - 1996 = -9*z. Is z composite?
False
Suppose -3*h - 24 - 17 = -4*t, -5*t + 25 = 0. Let g = 11 + h. Suppose -4*a - 3*j = -j - 306, 0 = -a - g*j + 73. Is a a composite number?
True
Let a be (-2 + (-15)/(-6))*12. Is 753/9 + (-4)/a composite?
False
Let l be 1 + 1 + -2 + 2. Suppose r = 3*r. Suppose -h - 2*b = b - 55, -h + l*b + 75 = r. Is h a composite number?
False
Let t be (-12)/(-42) - 52/(-14). Is 4 + -414*(-2)/t prime?
True
Let p be (-9)/(-12) + 85/4. Is p - ((-6)/(-3))/(-2) composite?
False
Suppose -g + 9 = -4*g. Is 4/6 + (-235)/g a composite number?
False
Suppose -4*n + 699 + 457 = 0. Is n a prime number?
False
Let i(a) = 40*a - 13. Is i(8) composite?
False
Let h be 11 - 4*(1 - 2). Suppose h*k = 20*k - 1655. Is k prime?
True
Suppose 3*g - n = 1976 - 33, -8 = -2*n. Is g a composite number?
True
Let r(l) = l**3 - 4*l**2 - 9*l + 1. Let m be r(6). Suppose -4*t + 2*t = -3*f + 18, t - 4*f + m = 0. Is ((-3)/2)/(t/30) a composite number?
True
Let d = -5 + 3. Let c be 3*(d - (-26)/6). Let n = c - -12. Is n composite?
False
Let z = 3 - 3. Let g be -16 - (z/3 - 1). Is (-106)/3*g/10 a composite number?
False
Let z be (4 - 2) + -4 + 2. Suppose z = 3*u - 14 + 5. Suppose -u*h = -h - 52. Is h a composite number?
True
Let t = 1460 - 765. Is t a prime number?
False
Let i(g) = g + 2. Let s be i(-4). Is -31*((-6)/s - 4) a prime number?
True
Suppose -5*k + 20 = 0, -2*k + 495 = q + 2*k. Is q prime?
True
Let n = 787 - 152. Is n prime?
False
Let n(g) = -3*g + g - g + 6 + g. Let w be n(5). Let k(h) = -18*h + 5. Is k(w) a prime number?
False
Suppose -2*d + 274 = -170. Suppose k = -2*k + d. Is k a composite number?
True
Let w be 1*(46/2)/(-1). Let t = w + 42. Is t composite?
False
Suppose -3*j = 124 + 191. Suppose 9*b - 8*b - 148 = 0. Let i = b + j. Is i a composite number?
False
Let d be (-2 - -1)*3*-1. Suppose m - 4*m + d*y = -12, -2*y = 2*m. Is 43/m - 1/2 a composite number?
True
Suppose s - 8 = -s. Suppose 0 = -s*h + 2*z - 6*z, 4*h = -z + 12. Suppose -3*q = -h*t + 95, 3*t + 0*q = 5*q + 74. Is t a composite number?
False
Suppose 3910 = 4*z - 2*j, 0 = -3*z + 3*j + 2202 + 732. Is z a composite number?
False
Let f be ((-2)/4)/((-2)/12). Is 250/f - 4/12 composite?
False
Let h = -136 - -245. Let m = h + -24. Is m composite?
True
Is (-1814)/(-3)*(-6)/(-4) a composite number?
False
Suppose 2*b = -3*m + 22, 3*b = 5*m - 5 - 0. Let t = b - -2. Let l(i) = 4*i + 3. Is l(t) a prime number?
True
Let n(x) = -3 + 1 - 4*x**3 - x**2 - x + 3*x**3 + 0*x. Is n(-3) a composite number?
False
Let y = -369 - -582. Is y composite?
True
Suppose -2*x = 3*t - 526 - 0, -4*x - 2*t + 1036 = 0. Is x composite?
False
Let t(i) = -i**2 - 6*i - 4. Let q be t(-6). Let a(f) = -8*f**2 + 0*f + 2 - 2*f - f**3 + 4*f**2. Is a(q) prime?
False
Let i(z) = z**2 + 8*z + 7. Let k be i(-7). Suppose 0 = 2*c + 3*l - 193, k = -2*c - 2*l + 240 - 52. Is c a composite number?
False
Suppose 4*w + b = 1084, 3*w = b + 618 + 188. Suppose w + 108 = n - h, 0 = 4*n + 3*h - 1533. Is n a prime number?
False
Suppose -4*v + 37 = -39. Suppose -v = 5*x - 6*x. Is x a prime number?
True
Let b(s) = s - 5. Let n be b(0). Let o(h) be the third derivative of h**5/60 - h**4/8 - 7*h**3/6 + 12*h**2. Is o(n) a prime number?
False
Is (-2*(-381)/(-6))/(-1) a composite number?
False
Suppose 2*a = -8, 1105 = m - 2*a + 180. Is m composite?
True
Suppose -2*j = 4*t - 18, 4*j - 14 = 2*j - 2*t. Suppose 0*d - 485 = -j*y + 5*d, -2*y - 3*d + 219 = 0. Let a = y - -9. Is a prime?
False
Suppose 5*c - 839 = 3*l, 0 = c + c + 2*l - 326. Is c prime?
False
Let y be 1 - (3 + -4 + 2). Suppose y = -5*x - 4*g + 763, -x + 3*g + 629 = 3*x. Is x a prime number?
False
Suppose 13 = w - 5*h, 0*w + w + h = -11. Let l(o) be the first derivative of o**3/3 - o**2/2 - o - 2. Is l(w) a prime number?
False
Is 66 + -7 + (-1 - 0) composite?
True
Suppose -3*h + 2 = -4. Suppose 0 = 3*j - 4*j + 3*n + 109, -4*j = -h*n - 426. Is j prime?
False
Suppose -3*n - 215 + 1472 = 0. Is n prime?
True
Is 331 + (3 - 5 - 0) a prime number?
False
Suppose 5*s - 209 = -3*i, -s - s = -5*i - 96. Is s a composite number?
False
Is -4 + -1 + 99 + -41 composite?
False
Is 384/18 + (-2)/6 composite?
True
Let z be ((-4)/5)/(4/(-20)). Suppose -p + z*p = -w + 146, p - 37 = 2*w. Is p a composite number?
False
Let a be 0 + (-2 - 20/(-4)). Suppose -a*k + 42 + 121 = -t, 3*k + 5*t = 175. Is k prime?
False
Let t(j) = 35*j**2 + j. Let a be t(1). Let q = a + -13. Is q a composite number?
False
Let n = 8 + -5. Suppose 181 = 2*w + 5*o, 274 = 3*w + n*o + 2*o. Is w a prime number?
False
Is 613/5 - 12/(-30) prime?
False
Let j(g) = g + 3. Let r be j(10). Suppose d + r = 72. Is d a composite number?
False
Let n(z) = -37*z. Is n(-1) prime?
True
Let x(c) = -c**3 - c**2 + c + 50. Let v be x(0). Suppose -447 + 66 = -3*o. Suppose 3*r + 4*g = v, -5*r = g - o + 21. Is r a prime number?
False
Suppose -2*f + 0*l = -l - 6, -f - 5*l = 8. Suppose f*j - 5*j = -6. Is j a prime number?
True
Let o = 43 - -32. Let b = o + 74. Is b prime?
True
Let z(m) = -5*m**3 + 2*m - 1. Let s be z(1). Is ((-746)/s*-2)/(-1) a composite number?
False
Suppose 2686 = -2*x - 278. Is x/(-4) - (-6)/12 composite?
True
Let g = -34 + 399. Is g composite?
True
Suppose 4*o + 0*o + 8720 = 4*u, -5*u - 4*o + 10891 = 0. Is u prime?
True
Let a(o) = o**2 + 2*o + 23. Is a(0) prime?
True
Suppose -5*i + 4*s = -8 + 1, -1 = 4*i - s. Let w be (i - (-6)/(-10))*-5. Let q = w + 11. Is q prime?
True
Let a(i) = i**3 + 8*i**2 - 9*i + 3. Let t be a(-9). Suppose -2*y - 2*w - 18 = 3*w, -t*y - 4*w - 13 = 0. Is 1/(-2)*y*-98 composite?
True
Let g(a) = 17*a - 4. Let s be g(-6). Let b = s + 185. Is b a prime number?
True
Suppose 0 = 10*l - 5*l - 1730. Is l prime?
False
Suppose 2*q - 6*q + 120 = 0. Suppose -4*h = 5*b - q, 7*b - h = 3*b + 24. Is b prime?
False
Let l(k) be the first derivative of 7*k**2 + 11*k + 4. Is l(12) prime?
True
Let h(q) = -q**3 + 3*q + 2. Let i be h(-2). Suppose i*u + u = -485. Let v = u + 188. Is v composite?
True
Let r = 67 - 37. Suppose 0 = w - r - 13. Suppose z - 34 = w. Is z a prime number?
False
Let a be 6 + 1 + -2 + -1. Suppose -722 = a*l + 814. Is (-2)/(-10) + l/(-5) a composite number?
True
Suppose 0 = -2*i - 5*i - 7. Is 2676/4 - (1 - i) a composite number?
True
Suppose -d = 4*l - 21, -4*d + 2 + 4 = 3*l. Suppose -l = -x + 16. Is x a composite number?
True
Let l = -1756 + 4117. Is l prime?
False
Suppose 3*n - 462 = -168. Let k = -8 + 14. Is 1 + k/(-3) + n composite?
False
Let u(d) = -71*d + 25. Is u(-14) composite?
False
Let z = 1 + 106. Suppose 75 + z = 2*i. Is i prime?
False
Let z = -97 - -51. Let g = z - -200. Is 0 + 2 + g/2 prime?
True
Let o(r) = r**2 + 5*r - 10. Let t be o(-7). Suppose -t*u - 20 = 0, 2*u + 89 = 3*w + 4*u. Is w a composite number?
True
Suppose 0*f + 238 = 2*f. Is f composite?
True
Let l be (-535)/(-15) + 2/6. Suppose 0 = j - l - 175. Is j a prime number?
True
Suppose 2*b + 0*w + 21 = 5*w, 0 = 5*b - w - 5. Is -3 - (-522 + (b - 4)) a composite number?
False
Let z(g) = 10*g**3 + 7*g**2 - 5*g - 1. Is z(4) composite?
True
Let n(l) = -l**3 + 22*l**2 + 31*l + 31. Is n(23) composite?
True
Is 3 + (-3)/3 + 555 a composite number?
False
Suppose 0*y = 3*y + 201. Let b = y + 134. Is b a composite number?
False
Suppose -163 = 10*n - 11*n. Is n composite?
False
Let m be 1652/16 - (-6)/8. Let t = m + -67. Is t composite?
False
Let f(s) = s**3 + 8*s**2 + 7*s + 6. Let b = 2 + -14. Let q = b + 7. Is f(q) composite?
True
Suppose 0*b = -2*b - 10, u + 15 = -3*b. Suppose u*q + q - 4*x + 2 = 0, 2*q + x - 14 = 0. Is q composite?
True
Suppose -2*a + 122 = n, 3*n + n - 501 = 5*a. Let x = -71 + n. Is x a composite number?
False
Suppose -7*j + 23*j = 15472. Is j a prime number?
True
Let b = -8 + 5. Let f