4 + -68. Suppose g*k - 164 = 14*k. Is k a multiple of 14?
False
Let d be 4/20 + (-79)/(-5). Is 9 a factor of (-1533)/(-28) - (-4)/d?
False
Suppose -18*i = 2801 - 14951. Is 25 a factor of i?
True
Does 37 divide (-3777)/(-3 + 2) + 26/13?
False
Let c(a) = 69 - a - 4*a + 6*a. Is c(0) a multiple of 23?
True
Suppose -4*n + 12 = -n, n = -5*t - 381. Let o = 195 + t. Is o a multiple of 16?
False
Let g(k) = -3*k + 12. Is g(-19) a multiple of 3?
True
Let y(b) = -3*b**3 - 7*b**2 - 4*b - 2. Does 5 divide y(-5)?
False
Let n(m) be the first derivative of -5*m**2/2 + 36*m + 14. Is n(-24) a multiple of 23?
False
Suppose 3*t = 1548 + 8028. Does 76 divide t?
True
Let x = 7 - -14. Suppose 5*o + z = -3*z + 20, 5*o + 25 = 5*z. Suppose o = k - x - 21. Is 20 a factor of k?
False
Let g(c) = 2*c**2 - 2*c - 18. Let b be g(-6). Let n = b - -15. Is 9 a factor of n?
True
Let b(k) = -k**2 + 4*k + 28. Let w be b(8). Is -3*(-483)/9 + w a multiple of 21?
False
Let c(h) = -h**3 - 8*h**2 - 11*h - 15. Let y be c(-6). Let g = y - -37. Does 4 divide g?
True
Suppose 8*w + 5*i = 10*w - 3270, w - 1624 = -3*i. Does 10 divide w?
True
Suppose s - 12 - 52 = 0. Does 9 divide (1/(3/(-90)))/((-24)/s)?
False
Let h(j) = j**2 + 4*j + 6. Let z be h(-3). Is 56 + (2 - z) + 3 a multiple of 13?
False
Let c be ((-6)/18)/((-1)/771). Let g = c - 101. Is g a multiple of 52?
True
Suppose 0*s + 67 = s. Let k = s - 51. Is 8 a factor of k?
True
Let p = -35 + 23. Let o be (18/p)/((-3)/4). Suppose -4*s + 114 = o*d - 7*s, 5*d = 4*s + 292. Is d a multiple of 15?
True
Let f(l) = -20*l - 16*l**2 + 17*l - 5 + 15*l**2 - l**3. Let p(a) = -a**3 + 3*a**2 - a. Let r be p(3). Is 11 a factor of f(r)?
True
Let s = 51 + -111. Let f be (4/12)/(3/9)*-42. Let k = f - s. Is k a multiple of 10?
False
Is (-6 + 1)*(-200 - -34) a multiple of 51?
False
Let f = -1014 + -6305. Let m be (-4)/34 - f/221. Suppose 4*u - m = 75. Is u a multiple of 8?
False
Let b = -952 + 2185. Does 14 divide b?
False
Let d = -100 + 96. Let k(l) = -8*l + l - 14 - 10*l. Is k(d) a multiple of 9?
True
Let r(z) = 11*z + 34. Does 3 divide r(3)?
False
Does 4 divide (13 + -14)/(2/(-8))?
True
Let n(g) = -4*g - 2. Let u be n(-1). Suppose u*j + 102 = 3*j. Is j a multiple of 17?
True
Let r be (-50)/(4/(-16)*2). Suppose r = w + 20. Is 20 a factor of w?
True
Let p(m) = -m**3 - 7*m**2 - 2*m - 2. Suppose -2*x = -0*x - 16. Suppose 40 = -x*c + 3*c. Does 13 divide p(c)?
True
Let o = -63 + 67. Suppose -o*r = j + j - 128, -2*j = -r - 133. Is 33 a factor of j?
True
Let w(h) be the third derivative of h**7/1680 + h**6/360 + h**5/10 + 5*h**2. Let x(z) be the third derivative of w(z). Is x(3) a multiple of 4?
False
Let c(y) = y**3 - 8*y**2 - 13*y + 32. Is 25 a factor of c(10)?
False
Let f = -1330 - 113. Let x be f/(-15) - (-5)/(-25). Is 2 a factor of x/9 - 4/(-12)?
False
Let a = 4 + 7. Suppose 4*m - a = b, 5*b - 28 = -2*m + b. Suppose i = m*o + 26, -2*o - 68 = -5*i + 116. Does 15 divide i?
False
Let g be (2/(-3))/((-20)/720). Suppose -21*n = -g*n + 6. Suppose 0 = 3*i - n*i - 21. Is 7 a factor of i?
True
Suppose -5*p + 0*m = 4*m - 2554, 0 = -4*m - 16. Is p a multiple of 15?
False
Suppose 2*g = f - 14, 3 = 4*g + 23. Suppose 0 = -0*a + f*a - 88. Is a/4 + (-3)/(-6) even?
True
Let w = 2767 + -1509. Is w a multiple of 34?
True
Let u = 220 + 73. Is 15 a factor of u?
False
Suppose -5*f + 4*x + 3 = -8, -8 = -f - 5*x. Suppose t - 204 = -f*t. Is 13 a factor of t?
False
Suppose 2*d - 282 = 266. Does 51 divide d?
False
Let a(p) = p + 4. Let h be a(4). Let d(q) = -2*q**3 + 8*q**2 + 3*q + 5. Let u(l) = -l**3 + l**2 + 1. Let z(b) = -d(b) + u(b). Is z(h) a multiple of 12?
True
Let z(t) = -7*t**3 - 13*t**2 - 35*t - 40. Let f(h) = -4*h**3 - 6*h**2 - 17*h - 20. Let v(i) = -5*f(i) + 3*z(i). Is v(-8) a multiple of 13?
False
Is 10 a factor of 333/(-15)*(-1540)/84?
False
Suppose 0 = -4*h + 4*j + 264, 2*h - 5*j - 22 - 98 = 0. Does 5 divide h?
True
Suppose -2*p + 1 = -2*u + 3, 0 = -3*u + 4*p + 2. Suppose 3*a + 2*r - 55 + 5 = 0, u*a + 3*r - 25 = 0. Is a a multiple of 10?
True
Let j(d) = 32*d**2 + 13*d - 208. Is j(8) a multiple of 24?
True
Let p(j) = -2*j - 20. Let z be p(4). Let m = 75 + -13. Let k = m + z. Is 17 a factor of k?
True
Suppose -2*z = -230 - 1218. Is z a multiple of 27?
False
Suppose -3*w + w = -j + 10, 2*j - 2*w = 16. Suppose 2*o = 4*z - j, -z = -0*z - 2*o. Suppose -3*h - z*k = -123, h - k - 36 = -0*h. Is 19 a factor of h?
False
Suppose 46*s - 45*s - b = 86, -4*s - 4*b = -376. Does 15 divide s?
True
Let u(x) = -2*x - 15. Let m be u(-10). Suppose 3*i - 3*r - 117 = 0, r + 4*r = -m*i + 205. Is i a multiple of 4?
True
Let a be (0 - -2)*111/6. Suppose 2*k - a = -q - 2*k, 5*q - 2*k = 141. Does 11 divide q?
False
Suppose -42*c = -38*c - 3264. Does 34 divide c?
True
Suppose -5*i - z = -971, -6*z + 768 = 4*i - 3*z. Suppose -797 + i = -7*g. Is g a multiple of 7?
False
Suppose 5*v - t = 872, -3*v = -2*v + 4*t - 166. Suppose 3*q + 2*q = 4*g - v, 3*q = 3*g - 132. Is 20 a factor of g?
False
Let c(h) = -h**3 + 3*h**2 + 9*h - 1. Let m be c(4). Suppose m*b - 21*b = -110. Is b a multiple of 11?
True
Let w = 233 + -70. Suppose 4*o = -w - 117. Is 24 a factor of (-2)/5 + (-5068)/o?
True
Suppose 4*w - 171 = w + r, 0 = -2*w - 2*r + 122. Suppose 7*u = 5*u - 2. Let m = w + u. Does 19 divide m?
True
Let b be 14*(-2)/12*-3. Let h(i) = -14 + i - i - b*i. Is 11 a factor of h(-7)?
False
Let k be 3/((-6)/(-2)) + 5. Let s(o) = 2 - k*o + 4 - 1 + 0*o. Is s(-5) a multiple of 18?
False
Suppose -49 = 7*f - 119. Suppose -f = 5*n, -2*b - b = -3*n - 102. Suppose b = 3*r - 166. Does 21 divide r?
False
Does 35 divide 60/140 + 29520/14?
False
Let b(w) = 227*w - 239. Is 50 a factor of b(7)?
True
Let f(h) = 2*h**2 - 8*h - 30. Let j(i) = i**2. Let g(l) = -f(l) + 3*j(l). Is 3 a factor of g(-12)?
True
Let o(g) = 5*g. Let u be o(4). Let w be 11/(-22)*(16 - (0 - 0)). Let z = w + u. Is 3 a factor of z?
True
Suppose -h - 2 = -7. Suppose t - 3 = h. Suppose 4*a + d - t = 34, -a + 15 = -2*d. Is 9 a factor of a?
False
Let w be (-18)/(-10)*(-10)/(-6). Suppose w*l = 3*n + 679 - 136, 2*l + 4*n = 356. Is l a multiple of 12?
True
Let b = 0 + 6. Suppose -b = 4*t + 258. Let y = -12 - t. Does 11 divide y?
False
Let v(s) = 22*s**2 - 6*s + 10. Let m be v(4). Suppose -4*c = -m - 622. Does 27 divide c?
False
Let h = 704 - -605. Is h a multiple of 13?
False
Let y be 33*(22/(-4))/((-18)/12). Let f = -73 + y. Does 8 divide f?
True
Let t = 2 - -5. Suppose w - 3*i + t = -0, 4*w - 14 = -2*i. Is w a multiple of 2?
True
Let i = -119 - -255. Does 2 divide i?
True
Let w(c) = -c**3 - 24*c**2 - 8*c + 9. Does 6 divide w(-25)?
True
Suppose -2*v + 0*f = 3*f + 27, -4*v - 49 = 5*f. Let m = 32 + v. Suppose 4 = j - 2*t, -3*j + m + 26 = 2*t. Is 14 a factor of j?
True
Suppose -10*m - 47 = -197. Does 5 divide m*4*2/6?
True
Let u = 268 - 157. Is 12 a factor of u?
False
Suppose -2*b + 2 = -4*b. Let c = b + 1. Suppose c = 4*x + k - 69, -x - 2*k + 90 = 4*x. Is x a multiple of 8?
True
Suppose 4*z - 5*z - a + 624 = 0, -619 = -z + 4*a. Does 43 divide z?
False
Let t = -94 - -250. Is 7 a factor of t?
False
Let z(y) = 4*y**3 - 13*y**2 - 7*y - 18. Let d(g) = 5*g**3 - 13*g**2 - 6*g - 19. Let c(v) = 5*d(v) - 6*z(v). Is 3 a factor of c(-12)?
False
Suppose 0 = -2*x + 7 + 1. Suppose x*h - 153 = -33. Is 15 a factor of h?
True
Suppose -275*u + 282*u = 1498. Is u a multiple of 10?
False
Suppose 0 = -5*s + h + 18, -5*s + 24 = -2*h + 4*h. Suppose 5*j = 3*c + 348, 232 = 3*j - 0*c + s*c. Is j a multiple of 12?
True
Let a(r) = -3*r**3 + 5*r**2 + 3*r + 12. Let p be a(-5). Suppose -9*c = -16*c + p. Is c a multiple of 26?
False
Let m(i) = -2*i**3 - 31*i**2 + 16*i - 40. Does 15 divide m(-17)?
True
Suppose 3*u + 2*l - 52 = 0, -2*u + 3*l = -2*l - 22. Let n = 36 + u. Does 6 divide n?
False
Let o(f) = -2*f + 275. Does 30 divide o(19)?
False
Let m = 1507 - 929. Is 13 a factor of m?
False
Let u(j) = -3*j**2 + 7 + 12*j**2 + j - 6*j**2 - 23. Does 7 divide u(6)?
True
Let r = 10 - 8. Suppose 75 = r*l + l. Suppose 0 = -5*g - 0*g - l, 345 = 5*p - 5*g. Is p a multiple of 28?
False
Let m(q) = q**2 + 5*q + 6. Let g be m(-13). Let w = g + -40. Is 10 a factor of w?
True
Let m(l) = l**3 + 7*l**2 + 5*l - 4. Let s be m(-6). Suppose -5*h + 7*x + 155 = s*x, 0 = -3*x. Is 8 a factor of h?
False
Let h = 1 + 4. Suppose 16 = h*a 