5*f + 5*d = 10*f - 2150, 839 = 2*f + 5*d. Does 61 divide f?
True
Let g be (0 - 171 - (8 + -7))/(-1). Suppose 4*q - g = 2*f, 0*q - 2*q - 4*f + 86 = 0. Is q a multiple of 6?
False
Let h(p) = -1 + 8*p**2 - 10*p - p**3 - 10 - 3*p + 20*p. Is 16 a factor of h(7)?
False
Let o be (-6)/2 - (-3 + -3). Suppose 2*q = -2*q - 4, -2*x + o = 5*q. Suppose u - 2 = -x*m, 2*u + 2*m = 11 + 5. Is 6 a factor of u?
False
Let w(l) be the first derivative of 13*l**3/3 - 7*l**2/2 + 4*l - 2. Is w(3) a multiple of 28?
False
Let w(a) = -a**3 + 12*a**2 - 6*a + 11. Let g be w(12). Let q = 82 + g. Is 7 a factor of q?
True
Let f(a) = a**3 - 12*a**2 + 7*a - 3. Let s be f(7). Let g = -94 - s. Suppose 3*c - 5*w - 42 = 0, -5*c + g - 19 = -3*w. Does 19 divide c?
True
Suppose -57 - 93 = -3*a. Suppose -z - 3*x = -39, -2*z + 12 = -2*x - a. Suppose b = 25 + z. Is b a multiple of 28?
False
Is 16 a factor of 3950/13 + 560/91 + -6?
True
Let v = 388 - 795. Let o = -231 - v. Is 16 a factor of o?
True
Let p = -7024 + 12092. Is p a multiple of 91?
False
Let h(c) = c**2 - 8*c + 41. Is h(-14) a multiple of 4?
False
Let t(j) = j**3 - j - 1. Let h(a) = 4*a**2 - 3*a + 18. Let i(x) = -h(x) - t(x). Is i(-8) a multiple of 23?
True
Is 19 a factor of (374332/1383)/((-4)/6 + 1)?
False
Suppose 2*n - 1314 = 4*h, 16*h - 13*h - 1980 = -3*n. Is 12 a factor of n?
False
Let n be 35 - 0/((-5)/(-1)). Suppose n*i - 228 = 33*i. Is i a multiple of 26?
False
Let w be ((-1)/3)/(2/54). Let t be (-1 + w)/(17/(-238)). Suppose -5*q - 30 = -t. Is q a multiple of 9?
False
Suppose 0 = -4*x - 0*x - 24. Let y be ((-15)/x - 2)*22. Suppose 2*q - 85 = y. Is 12 a factor of q?
True
Let j(d) = 158*d - 171. Does 3 divide j(3)?
True
Let b(w) be the second derivative of w**8/6720 + w**7/504 - w**6/360 + w**5/20 + w**4/2 - w. Let t(j) be the third derivative of b(j). Is 8 a factor of t(-5)?
True
Let l be (1 - 4)/(2/10). Let h = 10 + l. Does 22 divide ((-348)/(-20))/((-1)/h)?
False
Suppose 132 = -14*b + 17*b. Let r = 148 - b. Does 9 divide r?
False
Suppose 3*b + 3*m = 69, -3*m - 42 + 39 = -b. Let s = 14 - 23. Let a = b + s. Does 5 divide a?
False
Suppose -13564 = -24*o + 13076. Is o a multiple of 37?
True
Suppose -132 - 3 = -5*i. Suppose f - 23 = i. Is 7 a factor of f?
False
Suppose 20*d - 4*d - 672 = 0. Does 14 divide d?
True
Suppose 3 + 3 = 2*h. Is -1 - (-37 - (h + -1)) a multiple of 5?
False
Let d(j) = 175*j + 158. Is d(6) a multiple of 15?
False
Let w be (4 + 14/(-4))*0. Suppose w = 4*o - 92 - 168. Is 13 a factor of o?
True
Let v be (-2 + 20)*(9/2 - 4). Suppose 33 = -v*y + 177. Does 3 divide y?
False
Let j(i) = 3*i + 11. Let v = 17 - 11. Let u be j(v). Suppose 4*s + u = k + 2*s, 5*k - 201 = -4*s. Does 13 divide k?
False
Is 12 a factor of 10 - 16 - -2798 - -4?
True
Let g = -74 + 77. Suppose 2*k - 408 = -3*u + 4*k, 2*u - g*k = 272. Is 34 a factor of u?
True
Suppose -3*o + 241 = -185. Suppose -o = -v + 7. Is v a multiple of 14?
False
Let g = -47 - -20. Let d = 57 - g. Is 28 a factor of d?
True
Suppose 24468 - 108163 = -19*r. Is r a multiple of 26?
False
Let g be 0 + (2 - 4) - -5. Suppose -4*r = 5*f - 42, -f = -0*r + g*r - 15. Suppose 3*d = -f*d + 702. Is 14 a factor of d?
False
Suppose -6*v = -v - 65. Suppose 26 + 16 = 7*p. Let j = v - p. Is 2 a factor of j?
False
Let m = 1847 - 1275. Is 11 a factor of m?
True
Let a(w) = w - 1. Let k(j) = -2. Let c(u) = 4*a(u) - 3*k(u). Let s be (-114)/(-27) + 4/(-18). Does 6 divide c(s)?
True
Let z(t) be the first derivative of t**3/3 + 9*t**2/2 + 12*t + 1. Let q(s) = -2*s**2 - 3*s + 5. Let b be q(2). Is 7 a factor of z(b)?
False
Let f(d) = 6*d**2 - 4 + 4*d + 2*d**3 + d**2 + 3*d**3 - 6*d**3. Let l be f(7). Suppose -4*m - 3*j = 2 - l, -j + 5 = m. Is 6 a factor of m?
False
Let y be 16/(-80) - (-82)/10. Let q be 6*(-2)/(y/(-758)). Is 19 a factor of (-10)/65 - q/(-39)?
False
Suppose 21 = 4*z - 2*p + 9, 5*p = z - 12. Let y(f) = -4*f - 34. Let i be y(-10). Suppose z*b - i + 53 = 3*t, -b = 4. Is 13 a factor of t?
True
Is 36 a factor of (30/20)/(3/556)?
False
Let p = 6 + -3. Let j(v) = v + 4. Let m be j(-4). Suppose m = 2*u - 35 + p. Is u a multiple of 4?
True
Suppose 2 = 2*s - s. Suppose -2*t - s = -3*t. Suppose 34 = t*o - 0*o. Is 7 a factor of o?
False
Suppose 5*k - 6905 = -4*t, -84*k = -88*k - 3*t + 5523. Is k a multiple of 16?
False
Suppose 4*i + 18 = 2*j, -2*j = 5*i + 6 + 3. Does 3 divide (4/(-2))/4*(-21 - i)?
True
Let b = -44 - -40. Does 23 divide (0 + 131/5)/(b/(-20))?
False
Let f = -722 + 1185. Is f a multiple of 43?
False
Let h(d) = 20*d**2 + 4*d + 1. Let p = -20 + 17. Is h(p) a multiple of 30?
False
Let o = 26 - -5. Let x(p) = 6 + 2 + o*p + 7 - 32*p. Does 4 divide x(-7)?
False
Let d(p) be the third derivative of p**6/120 + p**5/5 + 5*p**4/12 + 2*p**3/3 - 17*p**2. Does 20 divide d(-8)?
True
Let u(q) = 28*q**2 - 56*q - 4. Does 32 divide u(5)?
True
Suppose 5*f - 4*f = -5, 3*p - 1987 = 5*f. Is 43 a factor of p?
False
Let f(b) = 218*b + 52. Is 9 a factor of f(1)?
True
Suppose i + 3*i - 23 = -q, 3*q = 9. Suppose i*o - f = -0*o + 201, 3*o + 4*f - 116 = 0. Suppose -g - 3*g = -o. Is g a multiple of 2?
True
Suppose z = -4*q - 5, -2 - 4 = 2*q. Let w = z - -1. Is 3 + (w - -3) + -3 a multiple of 9?
False
Let k(t) = 11*t - 12. Let y = -5 + 11. Is k(y) a multiple of 27?
True
Let p = 553 - 478. Is 25 a factor of p?
True
Suppose 0 = 9*z - 8121 - 7098. Does 19 divide z?
True
Suppose 0 = -5*d + 16 - 1. Let r be (-3 - -6) + 0 - d. Suppose 4*y - 3*f - 43 - 12 = r, -25 = -5*y - 5*f. Does 5 divide y?
True
Suppose z = -2*z + 6. Suppose 385 = 2*w + 3*w + 5*n, 4*w - z*n = 314. Is 7 a factor of w?
False
Let r = -79 - -82. Suppose r*k - 422 - 298 = 0. Does 32 divide k?
False
Let f = 430 - -154. Does 28 divide f?
False
Let a(l) = l**3 - 9*l**2 - 4*l + 6. Let u be a(9). Let d = -29 - u. Is d/(0 - (-4)/280) a multiple of 10?
True
Let r = -11 - -159. Does 20 divide r?
False
Suppose 20 - 60 = 10*h. Does 6 divide (-2*(-54)/h)/((-30)/20)?
True
Let o be (-3)/2*128/16. Is 4 a factor of (-1)/((-2)/50) + o/(-12)?
False
Suppose 17 - 5 = p. Let c be 47/15 + p/(-90). Let q = 12 - c. Is q a multiple of 3?
True
Suppose -y - 2 = -2*y. Suppose v - y*v = -12. Does 6 divide v?
True
Let v(o) = -3*o - 3 - 2*o**2 - 7*o**3 - o + 2*o + 0. Let p be v(-2). Suppose -3*y + 2*u = -121, y = 2*y - 5*u - p. Is y a multiple of 19?
False
Let g be (-4)/14 - 7/((-343)/308). Suppose -g*l = -114 - 1074. Is l a multiple of 18?
True
Suppose 0 = -3*a + c + 2, 2*a = -5*c + 3 + 21. Suppose 160 = 6*n - a*n. Let o = n + -19. Is o a multiple of 8?
False
Let j(h) = -6*h - 24 - 2*h**2 - 2*h - 7*h**3 - 9*h**2 + 6*h**3. Is 11 a factor of j(-11)?
False
Let t = -2417 + 6179. Is t a multiple of 22?
True
Is 1239498/858 - (-8)/22 a multiple of 55?
False
Suppose -2*m + 45 = m. Let q = m + -10. Suppose -q*p + 176 + 49 = 0. Is p a multiple of 15?
True
Let l(o) = -o**3 + 9*o**2 - 4*o - 3. Let t be l(8). Let g = 51 - 32. Let v = t - g. Is v a multiple of 10?
True
Let c(z) = -z + 3. Let n be c(-5). Let w be n/12 + (-130)/6. Is (w/15 - 1)*-5 a multiple of 4?
True
Let h(w) = 296*w - 8 + 285*w - 570*w. Does 14 divide h(2)?
True
Let y = 2959 - 1471. Does 35 divide y?
False
Suppose -13*c + 2616 = 328. Is c a multiple of 13?
False
Let o(v) = v**3 - 9*v**2 - 9*v - 3. Is 4 a factor of o(10)?
False
Is (-10 + 14 + -508)*60/(-14) a multiple of 16?
True
Let b(a) = -4 + 2*a + 4 - a - 13. Let s be b(14). Is s + -1 - (4 - 59) a multiple of 11?
True
Let p = -554 - -2197. Is 19 a factor of p?
False
Suppose 4*k = k. Suppose 5*m - 4*b - 270 = k, -2*m = -2*b - 73 - 37. Is m a multiple of 10?
True
Suppose -2*k = -5*h - 130, 0 = 4*k - 0*h - 2*h - 276. Let l = k - 33. Let v = l + -18. Is 19 a factor of v?
True
Suppose 465 = 13*b - 16. Is b a multiple of 7?
False
Let x(i) = -67*i**3 - 2*i**2 + 1. Suppose -5*f = -0*f + 5. Is 9 a factor of x(f)?
False
Let x(o) = 79*o + 33. Does 51 divide x(6)?
False
Suppose g - 63 + 23 = 0. Is 39 a factor of (-4)/(g/2) + (-1443)/(-15)?
False
Suppose -18 = 2*y - 3*y - 5*r, -18 = -3*y - 3*r. Suppose -d + 1198 = 4*a - y*d, 3*d - 1193 = -4*a. Is 28 a factor of a?
False
Let q(b) = -b**2 + 3*b - 3. Let c be q(2). Is 9 a factor of (-32)/c + 8 + -4?
True
Suppose -a + 2*z = -528, 1084 = -6*a + 8*a + 3*z. Does 28 divide a?
False
Suppose 0 = 4*d + 8 + 4, -f + 10 = -2*d. Suppose -2*p + 