ltiple of 24?
False
Suppose -4*c + 12 + 0 = 0. Suppose -c*m - 4*k = k - 113, 5*m + 4*k - 184 = 0. Is (2 + 0)/(3/m) a multiple of 12?
True
Let f(w) = -39*w + 127. Does 6 divide f(-27)?
False
Let q be ((-252)/70)/(-1 - 12/(-10)). Is 5 a factor of 0 + 1 - (-3 + 2*q)?
True
Let b = -13 + -2. Let k = b + 21. Suppose 0 = -2*c - 2*g + k, 0*c - g - 1 = -c. Is c a multiple of 2?
True
Does 22 divide (-2)/3 + 6457/33?
False
Suppose -357 - 13643 = -8*w. Is 15 a factor of w?
False
Let s(k) be the first derivative of 65*k**2/2 - 2*k + 22. Does 21 divide s(1)?
True
Let m(r) = r**3 + 6*r**2 + 6*r - 1. Let f be m(-5). Suppose -w - 3*d = 16, 0 = 4*w - 2*d - 8 + 2. Is (f - (-4 - w)) + 36 a multiple of 13?
False
Let f = -55 + 98. Let a = 95 - f. Suppose -k + a = 3*k. Does 5 divide k?
False
Let j(z) = -z**3 - z**2 + 1. Let v(r) = 5*r**3 + 14*r**2 - 8*r - 1. Let o(u) = 6*j(u) + v(u). Does 8 divide o(5)?
True
Suppose -9 = 3*l - 6*l. Suppose 160 = l*a - 875. Suppose 6*u + a = 11*u. Does 12 divide u?
False
Let z(f) = 11*f - 36 - 14 - 24*f - 11*f. Is z(-12) a multiple of 34?
True
Let y(p) be the second derivative of p**5/20 + 7*p**4/6 + 2*p**3/3 + p**2/2 - 13*p. Is 14 a factor of y(-5)?
False
Suppose 0*f = -2*h + f + 31, 0 = 5*h + 3*f - 94. Let z = h - 27. Does 5 divide ((-5)/3)/(z/180)?
True
Let k = -2244 + 3906. Is k a multiple of 69?
False
Let h = 16 - 13. Suppose -j = -h*j - 4. Does 7 divide 1/((-73)/37 - j)?
False
Let u(a) = 12*a + 16. Let m be u(5). Let j = m + 18. Is j a multiple of 23?
False
Let y(j) = 25*j + 7. Let q be y(-1). Is 97/(q/(-8) + -2) a multiple of 13?
False
Suppose 134 = 4*p - 5*b, 0 = -5*p - 6*b + 3*b + 186. Suppose 80 - 140 = 6*v. Is 2 a factor of (p/10)/(v/(-25))?
False
Does 17 divide 2684/5 + 48/40 + -2?
False
Let o = 833 + -273. Is o a multiple of 35?
True
Suppose r - 803 = -4*k, -3*k - 4*r = k - 812. Is 8 a factor of k?
True
Is 9*(156 - (-4 - 5)) a multiple of 9?
True
Let s(o) = 7*o**3 - 2*o**2 + 5*o + 8. Let l(n) = 4*n**3 - n**2 + 3*n + 4. Let g(r) = -5*l(r) + 3*s(r). Let p be g(0). Let x = 19 - p. Does 4 divide x?
False
Let i(f) = 7*f - 71. Is i(15) a multiple of 17?
True
Let w be ((-520)/4)/(-2) - 4. Suppose 121 = 2*g - w. Is g a multiple of 28?
False
Suppose 0 = 35*l - 12349 - 31751. Is 12 a factor of l?
True
Let w(h) = -h**2 + 4*h + 11. Let k be w(5). Is 12 a factor of k/27 + (-3230)/(-45)?
True
Let o = -826 - -2002. Is 49 a factor of o?
True
Let u(q) = -6*q**3 + 41*q**2 - 4*q + 15. Does 18 divide u(6)?
False
Let s(r) = 16*r**2 + 10*r - 20. Let x(l) = 3*l**2 + 2*l - 4. Let f(q) = -2*s(q) + 11*x(q). Is 9 a factor of f(8)?
False
Suppose 0 = -39*s - 67158 + 173043. Is s a multiple of 14?
False
Let p(b) = b**2 + 17*b + 25. Let i(r) = -r**2 - 26*r - 38. Let o(l) = 5*i(l) + 7*p(l). Is 21 a factor of o(-10)?
False
Suppose -o - 12 = -h, -4*h + 2*h - 3*o + 39 = 0. Suppose 0 = 3*c + 2*c - h. Suppose 53 = -2*y + c*y. Is 16 a factor of y?
False
Suppose -4*a + 5*i + 215 = -241, -a + i + 113 = 0. Let v = -196 + a. Let o = -45 - v. Does 7 divide o?
True
Let n = -61 + 87. Let c(b) = b**3 - 25*b**2 - 26*b + 40. Is c(n) a multiple of 10?
True
Let g = 631 + -255. Is 10 a factor of g?
False
Suppose -259 = -u + 4. Let k = u - 101. Is k a multiple of 19?
False
Let q(v) = 5*v + 1. Let b(f) = -6*f - 2. Let j(t) = 4*b(t) + 5*q(t). Let s be j(6). Suppose s*l - 66 = -3*p, 128 = 5*l - 0*p - p. Is l a multiple of 14?
False
Let d(c) = 11*c + 13. Let r be d(-2). Let p(l) = -12*l - 3. Does 35 divide p(r)?
True
Suppose s = 5*m - 63, 5*m - 98 = 5*s + 277. Let y(t) = -32*t**2 - 2*t - 1. Let w be y(2). Let r = s - w. Is r a multiple of 11?
True
Suppose 38*t - 28*t = 11370. Is 45 a factor of t?
False
Let o be ((-1)/(-3))/((-4)/(-24)). Suppose -4*n - 28 = x, 4*n + 12 = -o*x - 28. Let w(i) = i**2 + 11*i + 7. Does 6 divide w(x)?
False
Suppose -z - 5*z + 12 = 0. Suppose z*q = -i + 11 - 2, q - 5*i + 1 = 0. Does 14 divide 8/(-6)*(-25 + q)?
True
Suppose 4*f - 280 = -4*r, 2*r - 139 = -f - 2*f. Let o = r + 7. Suppose -2*l - 3*v + o + 99 = 0, v = -5*l + 436. Is l a multiple of 29?
True
Let l(p) = -86*p - 18. Let x(j) = j. Let h(y) = -l(y) - 3*x(y). Is h(2) a multiple of 12?
False
Let t be 4 - (3/((-6)/(-4)) - 4). Is 14 a factor of (1 - -27)/(t/336*7)?
True
Let k(m) = 3*m + 2. Suppose -2*t - 1 = 5*d - 7, 0 = t - 5*d - 3. Let c be k(t). Let z = c - -26. Does 14 divide z?
False
Suppose 2*k = -2*h - 4, -2*k + 5 = -7*k - 4*h. Suppose 3*b - 180 = -k*z, 2*b + 3*z = 83 + 33. Is 16 a factor of b?
True
Let o(l) = -l**2 + l + 4. Suppose -4*n = -n - j - 17, 5*n = 2*j + 30. Let q be o(n). Does 14 divide (31 - 7)*(-6)/q?
False
Let h(p) = -p**3 + 10*p**2 + 2*p - 13. Let g be h(10). Let o be 5/(-20) + g/(-4). Let k(j) = 6*j**2 + 4*j + 3. Does 4 divide k(o)?
False
Let b(y) = 3*y**3 + 20*y**2 + 5*y - 8. Let d be (9/2)/(18/24). Let g(s) = -s**3 - 7*s**2 - 2*s + 3. Let m(o) = d*b(o) + 17*g(o). Is m(2) a multiple of 6?
False
Let a = -35 - -53. Suppose 0 = -i - i - a. Let x = i - -35. Does 26 divide x?
True
Let u be 1 + 4 - 57/19. Suppose -g = -5*y - u*g + 159, 2 = -2*g. Does 16 divide y?
True
Let g(r) be the first derivative of -6*r**2 - 3*r + 6. Is 15 a factor of g(-4)?
True
Suppose 2*y - 538 = -5*k, -y + 2*y = 3*k + 258. Is y a multiple of 24?
True
Let r be 24/3 - (-2 - (0 - 6)). Suppose 4*z - 22 = -3*c, -2*c + 20 = -2*z - r. Is 10 a factor of c?
True
Is ((-238)/35)/((-8)/1420) - 0 a multiple of 17?
True
Let x be (-10 - -9)/((-2)/10). Let q = 42 + -32. Let j = q + x. Is j a multiple of 5?
True
Let m(z) = z**2 + 8*z + 7. Let b be m(-4). Let j(s) = s**2 + 5*s + 7. Does 25 divide j(b)?
False
Let i(f) = 3*f - 18. Let q be 4/(-14) + (-176)/(-28). Let x be i(q). Suppose -2*l - 21 + 65 = x. Does 22 divide l?
True
Let q = 287 + -181. Is q a multiple of 11?
False
Let i(x) = -x**3 - 17*x**2 + 19*x + 36. Let d be i(-18). Suppose -2*r - 1 = 3*p, r + 2*p + d = 4*r. Is r even?
True
Suppose 77 + 98 = -5*i. Let a = -37 - i. Is a/(-6) + 56/12 a multiple of 5?
True
Suppose -2*v - 4*b = 3*v + 26, -13 = 3*v + 5*b. Let a = 10 + v. Is 12 a factor of 54*((-32)/(-12))/a?
True
Let p = 11 - 17. Let c(y) = 8 - 10*y - 1 - 5*y + 0. Is 25 a factor of c(p)?
False
Let b = 281 + -146. Suppose -5*h = -a + 65, -3*a + h = -2*h - b. Let s = a + 48. Is s a multiple of 27?
False
Suppose 5*u = -354 + 3014. Let o = 760 - u. Does 19 divide o?
True
Let j(r) = 7*r - 5. Let w be j(2). Suppose -3 = u - w. Does 3 divide u?
True
Let o = 30 + -16. Suppose o = 3*i - 1. Is i a multiple of 5?
True
Suppose 10*i + 288 = 11*i. Does 7 divide i?
False
Let y = 365 - -41. Is 29 a factor of y?
True
Suppose d = 12 - 0. Is 27 a factor of (d/(-5))/(6/(-135))?
True
Suppose -5*s - 3*f = -1621, 3*s - 3*f - 871 - 92 = 0. Does 6 divide s?
False
Suppose 0 = -31*g - 33*g + 64064. Is 7 a factor of g?
True
Let a be -3*2/(-21) - (-596)/(-28). Let w = a - -132. Is w a multiple of 14?
False
Suppose 18*j + 76 = 22*j. Suppose 3*s = 5 + 1. Suppose -l + s*l - j = 0. Does 9 divide l?
False
Suppose -2*q = -3*q - 9. Let v = q + 3. Let x(h) = -h**2 - 10*h + 2. Is x(v) a multiple of 12?
False
Suppose 4*a - 2*z - 1288 = 2350, 0 = 4*a + 4*z - 3668. Is 38 a factor of a?
True
Suppose -a + 0*a = -r - 41, -r = 3*a - 103. Is 15 a factor of a?
False
Let y(a) = -1417*a + 17. Is 16 a factor of y(-1)?
False
Let r(c) = 16*c + 2. Let o be -3*(3/(-5) - (-3)/(-45)). Is r(o) a multiple of 34?
True
Suppose 3*n + 32 - 26 = 0. Is 2 a factor of 1/n*(-9 + -21)?
False
Let x be (13 - -1 - 2) + -4. Suppose -5*s = -x*s + 57. Suppose h + 6 = -3*f + 1, -s = -h + 3*f. Is h a multiple of 5?
False
Let q(a) be the third derivative of -a**5/60 - a**4/2 + 19*a**3/6 - 5*a**2. Does 10 divide q(-11)?
True
Suppose -2*j - 194 = -56. Let g = -9 - j. Is g a multiple of 10?
True
Let r be (-1 - -23) + 6/(-3). Let n = r + -15. Suppose 3*m - n = -s, 0 = -5*s - m + 24 + 71. Is s a multiple of 8?
False
Let v(m) = -m**2 + 9*m + 3. Let i be 30/4 - (11/2 + -5). Does 6 divide v(i)?
False
Let x = 522 - 270. Does 6 divide x?
True
Suppose -i + 5*u - 8*u - 81 = 0, -67 = i - 4*u. Let r = 194 + i. Does 26 divide r?
False
Let f(o) = 1910*o**3 - 11*o**2 + 11*o - 1. Is f(1) a multiple of 8?
False
Let m = -1597 - -2587. Suppose -3*d - 267 = -m. Is 25 a factor of d?
False
Let o(j) = j**2 + 7*j + 9. Let t be ((-2)/(-4))/(14/(-168)). Let w b