tiple of 2?
True
Suppose -5*z = 3*r - 460 - 485, -756 = -4*z - 5*r. Suppose -z - 323 = -4*s. Is 8 a factor of (-6)/(-4)*s/24?
True
Is (-11646)/54*-3 + (3 - -1) a multiple of 13?
False
Suppose 0*y = -2*y + 4*x + 4002, -3*y = 2*x - 5995. Is y a multiple of 18?
False
Suppose 3*i - 3*b + 57 = 0, 4*i - b = -3*b - 58. Let v = i + 26. Does 10 divide v?
True
Suppose -b + 42 = 3*u, 3*b = -0*u + u + 86. Suppose l + 15 + 5 = -3*z, 2*l + b = -4*z. Let x(j) = j**3 + 6*j**2 - j + 2. Is x(l) a multiple of 16?
True
Let i(m) = m**3 + 6*m**2 - 2*m - 3. Is 16 a factor of i(-5)?
True
Let c = 46 - 147. Let a = c - -143. Is a a multiple of 7?
True
Is 54 a factor of 1789 + -66 - (-4 + -1)?
True
Let t(d) = -d + 1. Let x(z) = -14*z - 12. Let w(k) = -3*t(k) - x(k). Is w(3) a multiple of 15?
True
Let g(i) = -i**3 - 4*i**2 - 5*i - 10. Let v(p) = p**2 + 10*p - 32. Let c be v(-13). Suppose -29 + 1 = c*m. Does 5 divide g(m)?
True
Suppose 2300 = 10*o - 13440. Does 14 divide o?
False
Suppose 2*w + 94 + 52 = 0. Let j = w + 109. Is 6 a factor of j?
True
Suppose 0 = u - 4*v + 420, 5*u + 2016 = -v - 0*v. Is u/(-10) - -3*(-2)/15 a multiple of 4?
True
Let j(t) = t**3 - t**2. Let r be j(3). Suppose 0 = b - 2, y + b = -3*y + r. Let x(g) = 5*g + 8. Does 7 divide x(y)?
True
Let j = -118 - -84. Let t = 74 + j. Does 20 divide t?
True
Suppose 0*y = 2*y. Let o be ((-20)/30)/(4/(-282)). Is 11 a factor of 0 + -3 + (o - y)?
True
Is (-60)/(-140) + 2461/7 a multiple of 11?
True
Let y(h) = -116*h - 181. Is 33 a factor of y(-7)?
False
Suppose -17*l = -20*l + 678. Is 12 a factor of l?
False
Does 43 divide -3 - (109708/(-24) + (-5)/(-30))?
False
Let g(l) = 340*l**2. Let k be g(-1). Suppose k = 5*s - 40. Let w = s - -28. Does 26 divide w?
True
Suppose 4*h = -5*k - 5 - 3, -2*k = 5*h + 10. Is 1 + (51 - k) - (3 - 2) a multiple of 10?
False
Let f(c) = -c**3 - 14*c**2 - c + 3. Let w be f(-14). Let l = w - 13. Does 2 divide l?
True
Let g = -648 + 1856. Does 42 divide g?
False
Suppose 9 - 36 = a - 3*h, h - 39 = 2*a. Let o be (a/4)/((-6)/(-60)). Is 13 a factor of (-27)/o + 364/10?
False
Suppose -5 = 2*a + 11. Let o = a + 6. Let q = 13 - o. Is q a multiple of 15?
True
Suppose 14*t - 11248 - 7400 = 0. Is 74 a factor of t?
True
Let p be 38/(-14) + 10/(-35). Let w be 40/(-3) + (-1)/p. Let y = 23 + w. Is 3 a factor of y?
False
Let c(y) = y**2 - 11*y - 23. Let w be c(-4). Suppose -2*b = -2, 0 = 2*i + 3*b - w - 156. Does 7 divide i?
False
Let a(p) be the third derivative of 5/24*p**4 + 0*p + 0 + 1/60*p**5 + 10*p**2 + 13/6*p**3. Is a(-8) a multiple of 12?
False
Suppose 0 = -3*p + 17 - 8. Suppose 2*k - p*k = -5*q + 185, 5*k = -25. Does 9 divide q?
True
Let f be ((-30)/(-12)*-1)/((-1)/2). Suppose -f*d + 80 = -30. Is d a multiple of 4?
False
Let m = 566 + -265. Is m a multiple of 4?
False
Let y(b) = b**3 + 4*b**2 - 4*b + 9. Let w be y(-5). Suppose -2*h + 74 = -2*l, -h + w*l - l + 47 = 0. Does 11 divide h?
False
Let q(s) = -s**3 + 3*s**2 + 13*s + 28. Does 84 divide q(-5)?
False
Let t = -977 - -1652. Suppose 9*a - t = -162. Does 10 divide a?
False
Let m = -1043 - -1574. Is m a multiple of 9?
True
Does 3 divide (-3372)/(-30) + (-4)/10 + 4?
False
Let q be ((-135)/36)/((-6)/8)*2. Is 3 a factor of q*(3 + (-16)/10)?
False
Let i(b) = 8*b + 3. Let z(h) = -7*h - 2. Let f be 50/(-12) + 7/42. Let k(x) = f*i(x) - 6*z(x). Is 5 a factor of k(2)?
True
Let x be 1/2 + 1468/8. Let m be 1/(-2) - 14/(-4). Suppose h - x = -m*h. Is 12 a factor of h?
False
Suppose -2*j - 3*k = -3*j + 5, -2*k + 2 = -2*j. Does 11 divide 165*((-3)/36)/(1/j)?
True
Suppose 3*j - 2*v - 968 = 0, -j + 5*v + 316 = v. Is j a multiple of 10?
False
Suppose 2 - 6 = -y. Suppose -y*k + 11 = -37. Suppose -v = -k + 2. Is 7 a factor of v?
False
Suppose 9*f = 5*f - 4. Is f/4 + 1980/48 a multiple of 41?
True
Suppose -85 = -4*g + 75. Is 2 a factor of g?
True
Suppose -2*m + 0 = 4. Let i(c) = 32*c - 4. Let v be i(m). Is 4 a factor of 10/15 - v/6?
True
Suppose 10*l + 14 = 9*l. Let a(r) = -r**2 - 14*r + 4. Let n be a(l). Suppose k - 21 = -3*m, 2*k - 2*m + 26 = n*k. Does 9 divide k?
True
Let j = -370 + 903. Is j a multiple of 39?
False
Suppose 0 = 2*n - 6 - 8. Let k = -10 + n. Does 14 divide 51 - (1 - (7 + k))?
False
Suppose 0 = -5*i + 6*i - 200. Suppose -r + 5*t = -73 + 12, -4*t = -5*r + i. Is 14 a factor of -1*(-9)/(r/112)?
True
Suppose 2*b = -3*b + 1050. Suppose b = 2*l - w - w, -5*l = 2*w - 490. Is l a multiple of 16?
False
Let c(m) be the second derivative of m**4/6 - m**3/6 + m**2/2 - m. Let g(h) = -h**2 - 11*h - 21. Let r be g(-9). Is 11 a factor of c(r)?
True
Let b(h) = -5*h - 33. Let o be b(-7). Suppose 0 = -2*k - o*p + 470, -2*p + 0*p = 5*k - 1184. Does 14 divide k?
True
Let m = 400 - -63. Is 19 a factor of m?
False
Is 36/(-45) + (-16233)/(-35) a multiple of 7?
False
Let t = -561 - -860. Is t a multiple of 23?
True
Let w be (5 - 2)/((9/(-6))/(-1)). Suppose -w*y + o + 214 = -14, -o - 115 = -y. Does 28 divide y?
False
Let h = 4502 - 2139. Does 102 divide h?
False
Let t(l) = -4*l + 6*l + 13 - 3*l + 15. Is 15 a factor of t(-17)?
True
Suppose -5*w - 5*h + 1540 = 0, -5*w + 6*h + 1540 = 2*h. Let v = -166 + w. Is v a multiple of 12?
False
Let p(b) = 2*b + 3. Let g(d) = -d**3 + 2*d. Let i be g(0). Let n be p(i). Suppose 0 = -n*x + 7*x - 168. Is 21 a factor of x?
True
Suppose a + 3*v = 14, -5*a = -4*a - v - 2. Let s(n) = n**2 - 4. Is s(a) a multiple of 7?
True
Let c(d) be the first derivative of d**3/3 + d - 63. Let r = 3 - 5. Does 4 divide c(r)?
False
Let m = 396 + -361. Is m a multiple of 3?
False
Let a(z) = z**3 - 11*z**2 - 9*z - 3. Let i be a(12). Suppose -5*x + 0*x = 5, 0 = -2*v - x + i. Suppose 15*d = v*d - 26. Is 6 a factor of d?
False
Let b(v) be the third derivative of -2*v**4/3 - v**3/3 - 2*v**2. Let i be b(-5). Suppose 5*q + i - 223 = 0. Is 10 a factor of q?
False
Let p(r) = -r**3 - 15*r**2 + 14*r + 15. Let v be p(-18). Let m = v - 480. Does 15 divide m?
True
Suppose -3*v + 0*v = 0. Suppose v = -2*z + j - 4*j - 12, -j = 3*z + 4. Suppose 0 = -2*t - t + 4*q + 89, 5*q + 10 = z. Is t a multiple of 9?
True
Suppose 5*c + 1 = -2*t, 5*t - 2*c - 31 = 39. Suppose -3*q = q - t. Let z(m) = 2*m**2 - 5*m + 4. Is z(q) even?
False
Suppose -48*b + 34*b + 4914 = 0. Does 22 divide b?
False
Suppose -9*t + 13*t = 20. Suppose -8*b + t*b - 294 = 0. Let k = 173 + b. Is 25 a factor of k?
True
Suppose -4*l + 13 = 1. Let r be 1/(100/33 - l). Let n = r + 81. Is 33 a factor of n?
False
Let t be 0 - (-1 + -6 + 4). Let s(n) = n**2 + 4*n - 1. Is 10 a factor of s(t)?
True
Let j(l) = -15*l**2 + 18*l**2 - l**3 - l + l. Let v be j(2). Suppose v*h - 7*h + 21 = 0. Is h a multiple of 4?
False
Let a(n) = 2*n**2 - 21*n + 2. Does 76 divide a(18)?
False
Let b(k) = -8 - 46*k + 15 - 11. Is b(-2) a multiple of 15?
False
Let d(m) = -5*m**2 - 137*m - 22. Does 17 divide d(-27)?
False
Suppose 5*j = -3*c + 16, 0*j - 4*j = c - 10. Let a = 1 + c. Is 21 a factor of (-46)/((12/a)/(-4))?
False
Let s = 1169 - 685. Is s a multiple of 44?
True
Let m(x) = -88*x - 90. Does 12 divide m(-2)?
False
Let n be 42/4 + 3/6. Suppose -3*q + n = 5. Suppose 0 = 2*m - m + 3, -q*i - 3*m = -13. Is 5 a factor of i?
False
Let i(b) = -b**2 - 5*b + 10. Let p(o) = o. Let s(d) = -i(d) - 2*p(d). Let m be s(-5). Suppose m = -5*y - 26 + 281. Is 23 a factor of y?
False
Let r = -40 + 152. Is r a multiple of 4?
True
Let f = 34 - 3. Suppose -25 + f = 2*b. Does 10 divide (612/48)/(b/16)?
False
Let v(u) = -56*u - 679. Does 23 divide v(-24)?
False
Let b(n) = 646*n**3 - n**2 - 3*n + 4. Is b(1) a multiple of 24?
False
Let w(n) = 9*n**2 - 49*n. Is 6 a factor of w(9)?
True
Suppose -b + 71 = -4*k - 0*b, 0 = k + 2*b + 29. Is 16 a factor of 1 + 11 + (-15 - k)?
True
Let r(o) = 10*o - 32. Suppose b - 22 = -2*v + 3, -4*b = -5*v + 56. Is 11 a factor of r(v)?
True
Suppose -2*x - 58 = -62. Does 14 divide (x/(-9) - 0) + (-2146)/(-18)?
False
Let x be (-214)/8 + 12/16. Let r = -24 - x. Is r a multiple of 2?
True
Let w = -27 - -363. Does 42 divide w?
True
Suppose -4*r = 2*u + 518, 6*r - 2*r = -3*u - 519. Let l be (-5)/10 - r/(-6). Let d = 29 + l. Does 7 divide d?
True
Let v be 0 + (5 - (2 - 3)). Let d = v - -163. Does 13 divide d?
True
Suppose -2*m + 3280 = -2*x, 0*m - x + 3274 = 2*m. Is m a multiple of 14?
True
Is ((-468)/(-24))/(3/52) a multiple of 11?
False
Suppose 0 = -2