Let c = -1 - 2. Let l be 57/(-4) + c/(-12). Let b = l - -23. Is b a multiple of 6?
False
Let x(l) = -51*l - 1. Let f be x(-2). Suppose 3*k - 426 = -5*p + f, 5*p - 499 = 4*k. Suppose -5*s + 2*j + 146 = 0, p = -4*s + 8*s + 3*j. Does 13 divide s?
False
Let b = -50 - -112. Is 27 a factor of (0 + b)*3/6?
False
Let d(b) = -9*b**2 + b**3 + 4*b - 4*b + 0*b**3 + 7*b + 8. Let x be d(8). Suppose 2*s - 48 = -2*i, 0 = i - x - 3. Is s a multiple of 14?
False
Suppose -c - 3*c = -5*o + 11, -4*c = -4*o + 8. Does 2 divide o?
False
Suppose -13*z = -3*z - 680. Is z a multiple of 28?
False
Suppose -5*p + j + 3*j = -5, -3*p - 5*j + 3 = 0. Is p/(3/(-90)*-1) a multiple of 10?
True
Suppose -5*j + 180 = -0*j. Does 13 divide j?
False
Suppose -4*h = 2 - 14. Let s = -56 - -102. Suppose -4*a - s = -h*t - 2*a, 5*a - 18 = -2*t. Does 14 divide t?
True
Let j be -2 + 3/3 + 25. Suppose 0*o = -4*o + j. Is 6 a factor of o?
True
Suppose 69 = m - 72. Suppose m = 5*r - 139. Is 28 a factor of r?
True
Suppose 0 = -5*c - 4*t + 366, -2*c + 0*c = 5*t - 160. Does 15 divide c?
False
Let o(a) = -a**2 - 2. Let v be o(-2). Let p(u) = -u**2 - 11*u. Does 10 divide p(v)?
True
Is (-42)/5*(-14 + 4) a multiple of 28?
True
Let k = -58 - -83. Suppose -2*p = -4*p - 3*h + 45, -p = 4*h - k. Is p a multiple of 21?
True
Let r = -15 + 57. Is r a multiple of 7?
True
Let g(v) = 4*v**2 + 33*v + 23. Let i(x) = 2*x**2 + 16*x + 11. Let y(w) = -2*g(w) + 5*i(w). Does 15 divide y(-9)?
True
Suppose -m = -3*m. Does 7 divide (-49)/(-21)*(3 + m)?
True
Suppose -5*b = -34 + 9. Suppose -b*o + 10 = 0, 4*r - o + 17 = -9. Let l(p) = p**2 - 5. Is 12 a factor of l(r)?
False
Suppose -8 = 5*k - 278. Does 18 divide k?
True
Let r(o) = o**2 - o + 4. Let t be r(5). Does 11 divide t + (0/2 - 2)?
True
Suppose -2*w + 2*v - 142 + 1016 = 0, 3*w + 3*v = 1329. Does 20 divide w?
True
Suppose 2*k = -y - 9, 4*k + 5 = -15. Let d = 27 + y. Does 14 divide d?
True
Let i = 21 + -8. Let t = -9 + i. Suppose -t*d + 4*p = -152, -134 = -4*d - 3*p - 3. Does 19 divide d?
False
Let k(s) = 6*s - 10 + 10. Let n be -2*(-1*1 - 0). Does 6 divide k(n)?
True
Let u be 4/((-4)/3)*-1. Suppose y = u*y. Suppose b + 4*r + 24 = 2*b, y = -3*b - 4*r + 120. Is 10 a factor of b?
False
Does 5 divide (-91)/(-5) - 1/5?
False
Suppose 5*s - 2*z - 79 = 0, 0 = -5*s - 0*s + 3*z + 81. Does 3 divide s?
True
Let x(d) = 2*d + 1. Let n be x(-6). Is 25 a factor of (-22)/(-121) + (-548)/n?
True
Let i be (-520)/(-90) - 4/(-18). Is 15 a factor of (-6)/18 + 326/i?
False
Suppose 2*x - 5*x + 129 = 0. Suppose -t = 1, 4*u + 3*t = -0*u - 103. Let a = x + u. Does 7 divide a?
False
Suppose q - 84 + 15 = 0. Does 9 divide q?
False
Suppose -5*v + 3*y + 12 = 0, 0 = -2*v - y + 4*y + 12. Suppose -5*s + 5 = v, s = -0*c - 2*c + 33. Does 8 divide c?
True
Let s(k) be the third derivative of k**8/6720 - k**7/420 - k**6/360 - k**4/8 + 3*k**2. Let o(v) be the second derivative of s(v). Is 11 a factor of o(7)?
False
Let v(i) = -i - 3. Suppose -5*b + 0*b - 3*g = 50, 5*b = g - 50. Is 7 a factor of v(b)?
True
Let n = -99 - -165. Is n a multiple of 22?
True
Let u(v) = -2*v**3 - 6*v**2 - 5*v - 2. Let h be 6/(-4) - 30/12. Is u(h) a multiple of 25?
True
Let q = -9 - -15. Let s be (-10)/(-15) + (-94)/q. Let p = 25 + s. Is p a multiple of 10?
True
Let u(c) = -c**3 + 9*c**2 + 21*c + 24. Does 13 divide u(10)?
False
Let d(c) = c**3 + 4*c**2 - 6*c + 3. Let g be d(-5). Suppose 2*k - g*k + 150 = 0. Is k a multiple of 16?
False
Let b(m) = -2*m - 9. Let i be b(-12). Does 15 divide 1/5 + 447/i?
True
Let i be (3/3)/(2/2). Is 9 a factor of -2 - -1 - i*-28?
True
Suppose -2*o = -0*o - 96. Does 24 divide o?
True
Let a(r) = 11 - 8*r + 4*r - r**2 + 11*r + 8*r. Is a(11) a multiple of 20?
False
Suppose 0 = -3*a - 106 + 355. Is 16 a factor of a?
False
Does 20 divide ((-51)/(-12))/(92/(-96) - -1)?
False
Does 34 divide (0 + 2)*79/2?
False
Let f(c) = -52*c**3 - c**2 + 1. Is f(-1) a multiple of 16?
False
Suppose -3*c - 5 = -3*m - m, -5*c = 4*m - 45. Suppose 90 = m*x - 0*x. Does 8 divide x?
False
Let o(r) be the first derivative of -r**3/3 - 4*r**2 + 2*r - 2. Let u be o(-7). Suppose 5*g - 51 = u. Is 10 a factor of g?
False
Let f(q) = 13*q - 4. Let p be f(4). Suppose 2*k - p = -0*k. Is 12 a factor of k?
True
Let g = -14 + 10. Is -15*(4/g + 0) a multiple of 15?
True
Let l(c) = -4*c - 2. Is l(-6) a multiple of 21?
False
Let d(c) = -2*c**3 + 3*c**2 + 3*c + 1. Suppose y = -4*t - 9, -6 = y + 3*t - 0*t. Let r be (1/y)/(4/(-24)). Does 6 divide d(r)?
False
Is 9 a factor of (-2)/11 - 244/(-11)?
False
Does 14 divide ((-440)/25)/((-6)/15)?
False
Suppose -4 - 74 = -3*d. Suppose -n + d = n. Is n a multiple of 13?
True
Suppose 3*p - 7*p + 4*y - 4 = 0, 5*p = -3*y + 19. Does 20 divide 68/(4/p) - 0?
False
Let o be -3 - (-1 + (-1)/(-1)). Let m(c) = 17*c - 4. Let l(y) = 35*y - 7. Let q(x) = o*l(x) + 5*m(x). Is q(-2) a multiple of 15?
False
Let l = -94 - -21. Let w = 105 + l. Is w a multiple of 16?
True
Let c(r) = 2*r**2 + 10*r - 1. Is 27 a factor of c(-7)?
True
Let a = 9 + -1. Is a a multiple of 7?
False
Let x(i) = -i**2 - 3*i + 4. Let v be x(-3). Suppose v*f + 0 = 4. Let h = 9 - f. Is 8 a factor of h?
True
Suppose 0 = -12*w + 3*w + 162. Does 9 divide w?
True
Let k(o) = -o - 4. Let b be k(0). Let j = b - -20. Does 8 divide j?
True
Suppose -h + 5 = -3. Is h even?
True
Suppose 4*f - 2*q = 356, 0*q - 83 = -f - q. Suppose s - f = -23. Does 16 divide s?
True
Let s be 2/(-9) + 74/9. Let h(g) = -7*g + 4*g + 0 - s. Is 8 a factor of h(-7)?
False
Suppose -t = -3*f - 13, -4*f - 6 = -t + 10. Does 11 divide (-1 + 0/f)*-33?
True
Is 1/((-5 - -3)/(-148)) a multiple of 18?
False
Let n = 44 - 16. Does 12 divide n?
False
Let g = -195 + 91. Let s = 170 + g. Does 22 divide s?
True
Suppose -4*k + 1 = 13. Let z = 21 + k. Does 18 divide z?
True
Let r = -30 + 52. Suppose -3*l - s = -43, 2*s = -0*l - 2*l + r. Does 16 divide l?
True
Suppose 5*j - 170 - 80 = -4*h, 3*j - 2*h - 150 = 0. Suppose 0 = -6*t + t + j. Does 5 divide t?
True
Suppose 0 = -2*x - 18 - 4. Let s = 11 - x. Does 4 divide s?
False
Suppose -5*k + 23 + 32 = 0. Let i(r) = 2*r - 8. Is 9 a factor of i(k)?
False
Let u be 7/14*(0 + 6). Is (-1 - (-17 + -3))*u a multiple of 14?
False
Let z = 4 - 22. Let q = -98 + 44. Let x = z - q. Is x a multiple of 19?
False
Let a(j) = j**2 - 2*j - 1. Let n be a(6). Let o = n - 2. Is o a multiple of 21?
True
Does 16 divide (-6)/9 - 290/(-3)?
True
Let q(i) = 69*i**3 - 1. Let w = 3 - 2. Let j be q(w). Suppose -3*d + d + 10 = 0, -4*d = -4*r + j. Is 10 a factor of r?
False
Let p(n) = 2*n**3 - 2*n**2 - 4*n + 6. Does 6 divide p(3)?
True
Let l = -74 - -194. Is 29 a factor of l?
False
Let j = -2 + 4. Is 2*(2 - (-11)/j) a multiple of 12?
False
Suppose -2*p + 23 = x - 3*p, -2*x - 2*p + 50 = 0. Suppose 0*j + j - a - x = 0, -5*a = -3*j + 72. Is 8 a factor of j?
True
Let w = -1 + 4. Suppose z - 8 = -w*z. Suppose -20 = -z*s - 2*s. Is s a multiple of 3?
False
Let n be (-1)/(-1 + 21/18). Let q be (-6)/9 + (-28)/n. Suppose -26 - 6 = -q*c. Is c a multiple of 7?
False
Let d(y) = -4*y**3 - 2*y**2 + 2*y + 3. Let h be d(3). Let n = 61 + h. Is (n/(-12))/((-2)/(-6)) a multiple of 14?
True
Let u(x) = -x**2 + 13*x + 14. Is u(12) a multiple of 13?
True
Let t(o) = o**2 + o - 1. Let f(x) = -2*x + 10*x + 0*x**2 + 3*x + 4*x**2. Let a(r) = -f(r) + 5*t(r). Is a(8) a multiple of 5?
False
Suppose 2*o = -2*o + 672. Is 19 a factor of o?
False
Suppose -f + 13 = y, 5*y = 3*f - f - 5. Is f a multiple of 4?
False
Let q = -25 - -179. Is 14 a factor of q?
True
Suppose 2*v - 10 = 12. Is v a multiple of 4?
False
Suppose -168 = -3*p - p. Is 7 a factor of p?
True
Suppose -y + l - 3 = -0*y, 0 = -3*y - 4*l - 37. Let n = 6 + -3. Is 15 a factor of (n + -7)*1*y?
False
Suppose -11*b + b + 1480 = 0. Does 23 divide b?
False
Let p(q) = q + 18. Let x(l) = -9. Let b(g) = -3*p(g) - 5*x(g). Does 9 divide b(-9)?
True
Let m be 3 + (-1 - 6/3). Suppose 2*y - 39 - 71 = m. Suppose -y = -5*w + 20. Is w a multiple of 5?
True
Suppose -b = b. Suppose b = -5*a - g + 10, -2 = -a - g. Suppose a*r = -s + 22, -r - 109 + 32 = -5*s. Is s a multiple of 9?
False
Let a(i) = -i - 5. Let s be a(-7). Suppose -5*p + 577 = -4*j, -30 = -4*j + s*p - 616. Is 4 a factor of j/(-18) + 8/(-36)?
True
Is 18 a factor of (-516)/3*(-6)/24?
False
Let f = -2 - -10. Is 11 a factor of 32/(-6)*