omposite?
False
Suppose 40*r - 7635 = 37*r. Is r prime?
False
Is (-12)/(-9) + (-1158)/(-9) + -3 composite?
False
Let c(a) = 4*a**2 - 10*a + 3. Is c(11) composite?
True
Let d = 7 - 5. Suppose y - 381 = -d*y. Is y a composite number?
False
Is 4025/28 - (-6)/(-8) composite?
True
Let f = -540 + 130. Let w = f + 636. Is w composite?
True
Let z(q) = -q - 1. Let x be z(4). Let u = x + 8. Suppose u*y - 79 = -22. Is y composite?
False
Suppose -3*b = 2*m, 0*m + m + 5*b = 0. Suppose 5*k = u + 97, -5*k - 2*u - u + 89 = m. Is k a composite number?
False
Suppose 0 = -v - 3*v + 16. Suppose -9 = -v*q + q. Suppose 0 = -t + q*t - 62. Is t a prime number?
True
Let l(z) = z**2 + 8*z + 3. Let i(o) = o**2 + 17*o + 7. Suppose 5*h + 4 = -16, -5*q = h + 14. Let a(d) = q*i(d) + 5*l(d). Is a(-5) a composite number?
True
Suppose 2 = -0*n - 2*n. Suppose -4*i + 5*m + 5 = 12, m - 11 = -4*i. Is (n + 142/4)*i a composite number?
True
Suppose 4*m - 533 = -81. Suppose 519 - m = 2*w. Is w a prime number?
False
Let d = -4 - 57. Let u = d - -99. Is u a composite number?
True
Let c(s) = s**2 - 5*s + 2. Let b be c(5). Let z(l) = -2*l**b + 2*l**2 - 10*l - l**3 + 7 + 8*l**2 + l. Is z(6) composite?
True
Let k be (-2)/4 - (-1)/2. Let x be (0 + 6)/(2 - k). Suppose -4*q - q + 181 = -x*v, -3*q - v + 103 = 0. Is q a composite number?
True
Let x = 84 - 188. Let f = -26 - x. Suppose -2*v - f = -5*v. Is v a prime number?
False
Suppose -y = z - 83, z + 4*z - y - 445 = 0. Suppose c = 5*c - z. Is c a composite number?
True
Suppose 10*d - 4*v = 5*d + 8869, 4*d - 7096 = 3*v. Is d composite?
False
Let u = -550 + 804. Is u prime?
False
Suppose 2*r + t - 68 = 0, 3*r - 41 = 2*r - 4*t. Suppose -r = -c + 12. Suppose 177 - c = 4*j. Is j prime?
False
Suppose 0 = -0*v - 3*v + 9. Suppose -v*c + 275 = -1063. Is c/(-2 - 4*-1) a prime number?
True
Let d be (-54)/(-8) - 1/(-4). Let k be 1532/28 + 2/d. Suppose w + 0*w = k. Is w prime?
False
Suppose -3*t + 22 = 4*c, 3*t + 2 = c + c. Let r(q) = 16*q**2 - 2*q + 7. Let z be r(-5). Is 1/t - z/(-2) prime?
False
Let w(h) = 13 - 14*h**2 + 4*h**2 - 2*h**3 + 3*h**3 + 11*h - 10*h. Is w(10) prime?
True
Let b = -958 - -1871. Is b a composite number?
True
Let u = 8 - 4. Suppose 350 = 4*b + 2*l, -5*b - 4*l + 77 = -u*b. Is b prime?
True
Let y(f) = 1877*f - 7. Is y(2) composite?
True
Let b be (-25)/(-10)*4/5. Suppose 0 = -b*w + 3*w + 4. Is (2 + w)*1 + 85 prime?
True
Suppose 4982 = 3*g + 1166. Suppose -4*w + 2*i = -g, -i - 182 = 4*w - 1460. Is w prime?
False
Suppose 4*h = x + 10, -h - 2*h = x - 4. Let j(y) = -3 + 0*y - 2*y - 2*y**3 - 27*y**3. Is j(x) composite?
False
Suppose -v = -0*v - 46. Let y = v + -27. Suppose 52 = 3*s + y. Is s composite?
False
Suppose 3*n = p + 232, 3*n - 4*p - 333 = -116. Is n a composite number?
False
Suppose 19*d + 260 = 23*d. Is d a composite number?
True
Suppose 0 = 5*v + i - 394, 3*v = i - 0*i + 238. Is v prime?
True
Let f = -6035 + 9718. Is f prime?
False
Suppose -4*g + 2*g + 4 = 0. Suppose -g*l - 5 = -3*l. Suppose -l*b = 3*o - 266, 8*o = 4*o + 3*b + 345. Is o composite?
True
Suppose 0 = 5*z - 11*z + 64806. Is z a composite number?
True
Suppose 5*c = 5*d + 8768 + 4287, 13055 = 5*c + 4*d. Is c composite?
True
Let g be -1 - 119 - (-3 - -2). Let b = 166 + g. Is b composite?
False
Let u = 1392 + 2551. Is u composite?
False
Suppose 0 = 2*p + 5*c - 1277, 4*p - 1274 = 2*p - 4*c. Is p composite?
False
Suppose 2 + 1 = t, -4*t + 44 = 4*i. Suppose y - 16 = 4*b, 2*b + i = -3*y - 0*b. Suppose y*n = 3*n - 30. Is n a prime number?
False
Suppose 19*b - 2982 = 13*b. Is b prime?
False
Suppose 5 = -8*y + 3*y - 5*g, 0 = 3*y + g + 5. Is y/(4/(-18)) - 2 prime?
True
Let q(s) = s**2 - 6*s - 2. Let p be q(7). Suppose -1336 - 1021 = -3*m - 2*w, p*w = -4*m + 3138. Is m a composite number?
False
Let m = 3 - -9. Suppose m = 4*l + k, -30 = -5*l - 7*k + 2*k. Is (39/l)/(9/12) prime?
False
Let q = -1 - 1. Is (-1)/(-2) - 69/q prime?
False
Suppose 2 + 3 = 2*s - 5*y, -s - y = -6. Suppose 185 = s*q - 0*q. Is q a composite number?
False
Let u = 15 + -8. Suppose -33 = -t + u. Let z = t + -27. Is z composite?
False
Is 154/(-4)*(1 - (3 + 0)) composite?
True
Suppose 3*q - q + 20 = 0. Let m(d) be the second derivative of -d**3/6 - 3*d**2/2 + 2*d. Is m(q) prime?
True
Let p = 16 + -9. Let b = -5 + p. Suppose -l = b*l - 471. Is l a prime number?
True
Let t = 1141 - 814. Is t prime?
False
Suppose -3*g = d + 2*d + 111, 0 = 5*d - 3*g + 177. Let a be (2/3)/((-8)/d). Suppose -a*l = -l - 6. Is l a composite number?
False
Is (-2)/3*-1 - (-26939)/33 prime?
False
Let i(x) = x**3 - 4*x**2 + 2*x. Suppose -2*l = -5*h - 10, 4*l + 13 = -h + 33. Is i(l) prime?
False
Let y be (6 - -4)*(-3)/(-5). Suppose -100 = y*x - 814. Is x prime?
False
Let m be 7/(28/(-16)) + -2. Let i(y) = -23*y + 5. Is i(m) a prime number?
False
Let b(n) = -3*n**3 - 3*n**2 - n + 12. Is b(-5) a composite number?
False
Let i = 11 + -8. Suppose 2*q = -i*q + 805. Is q composite?
True
Suppose -3*t - 16 = -4, t + 757 = 3*s. Is s composite?
False
Let m = -4 - -16. Is -1*(-4)/(m/897) prime?
False
Let l be (-1542)/(-4) + (-2)/(-4). Suppose 4*v - 489 = -5*a, -3*a + 2*v + l = a. Is a a prime number?
True
Let t = 1 - -1. Suppose -8*s + 530 = -6*s - 3*o, t*s - 2*o = 530. Is s a composite number?
True
Let l(x) be the second derivative of 5*x**4/12 - x**3/6 + x**2/2 - x. Let w be l(1). Suppose p = 3*b - 18 - w, -4*p + 20 = 4*b. Is b prime?
True
Let z = 65 - 51. Let v = 12 + -23. Let f = v + z. Is f composite?
False
Let j = -148 - -229. Suppose 0 = 3*c - 2*z - 2*z + 142, -c = -4*z + 42. Let m = c + j. Is m composite?
False
Let x(g) = -g**2 - 10*g + 7. Let r be x(-10). Suppose -432 = -4*o + 2*c, 0 = -4*o + 4*c + 447 - r. Is o a prime number?
False
Let r(i) be the third derivative of 0 - 2*i**2 + 0*i - 1/6*i**3 - 11/12*i**4. Is r(-1) a composite number?
True
Let c = -14 - -17. Let u(p) = 3*p**2 + p + 1. Is u(c) prime?
True
Let b(f) = 199*f**2 + 16*f - 25. Is b(6) a prime number?
False
Is (5/4)/((-3)/(-636)) a composite number?
True
Suppose -16*x = -12*x - 3652. Is x prime?
False
Suppose -5*x + 4*k + 10 = -1, x - 4 = -k. Suppose 0 = r + m - 147, -x*m - 136 + 5 = -r. Is r composite?
True
Let g(b) = -6*b - 8. Let m be g(-6). Suppose i - m = 18. Is i a composite number?
True
Let y be 1/((-3)/81 - 0). Let q = y + 43. Let i = q - 9. Is i composite?
False
Let d be (-33)/(6/(-2)) + -2. Suppose 0 = -2*b - b + d. Suppose 0 = -y + 3*n + 31 - b, 85 = 5*y - 4*n. Is y prime?
True
Suppose -1885 = 5*c - 10*c. Is c a composite number?
True
Suppose -4*a = -2*k + 32, -k + 0*k - a + 13 = 0. Is 1/(0 - (-2)/k) a composite number?
False
Let r(z) = 8*z**3 + 2*z**2 - z + 2. Let a be r(-2). Let u be -4*1*(-5)/20. Is a/(-4) + u*2 composite?
True
Let t be ((-2)/(-3))/((-4)/(-6)). Suppose w + 22 = 5*r - t, 3*w = r + 1. Suppose 5*h = 5*f + 250, 4*h - w*f + 0*f = 198. Is h a prime number?
False
Suppose -2*b + 3 = -3. Suppose u - 39 = 5*x, -84 = -b*u - u + 2*x. Is u composite?
False
Let l(s) = 787*s. Is l(1) composite?
False
Is (1358 + 3)*(-3)/(-3) a composite number?
False
Let w(m) = -8*m**3 - 2*m**2 + 2*m + 3. Let l be -5*4*2/20. Is w(l) a prime number?
False
Suppose 1206 = 2*z - 1880. Is z prime?
True
Suppose 2*k + 4*l - 5422 = 0, 4*k = -l - l + 10826. Is k a prime number?
False
Let p(g) = 2*g**3 + 1. Let y be p(1). Suppose -4*l = -y*l - 47. Is l prime?
True
Let v be 2/(-3)*-3 - 10. Let k = v + 51. Is k composite?
False
Suppose -5*h - 31 = -4*j - 0*h, 2*h = 2*j - 14. Suppose b = -j + 5. Is b/(2/474*3) prime?
True
Let u(d) = -d**3 - 6*d**2 + 2*d - 7. Let h be u(5). Is 2/(h/(-134) + -2) prime?
True
Let s = 11 - 9. Suppose -s*m + 21 = -m. Is m a composite number?
True
Let f = -2911 - -5984. Is f composite?
True
Suppose 0*x - 42 = -x. Suppose f + 2*f - 18 = -g, 0 = -5*g + f + x. Let d = g - -1. Is d a composite number?
True
Suppose -3*i - 3*q = -66, -7 = i - q - 35. Is i prime?
False
Let m(o) = 5 + 19*o**2 - 6 - 18*o - 8 - o**3. Is m(13) composite?
True
Suppose 10 = 5*k - 3*k. Suppose 4*s - 117 + 26 = -k*i, 4*i - 107 = -5*s. Is s a prime number?
True
Let p = -3 + 3. Let r be p + 1 - (-236)/(-2). Let l = r + 380. Is l a composite number?
False
Suppose 161 = 4*w - 135. Suppose -5*n + w = 9. Is n a prime number?
True
Suppose -17*m + 16*m + 133 = 0. Is m composite?
True
Suppose -4*a + 590