Is 1/u*3 - (-3768)/10 a multiple of 14?
False
Let z = 161 - 867. Let o = z + 1012. Does 15 divide o?
False
Let b be 70*-7*(-160)/(-25). Is 12/30 - b/10 a multiple of 31?
False
Let k(j) = -126*j + 66. Let h(m) = 41*m - 22. Let v(l) = 11*h(l) + 4*k(l). Is v(-10) a multiple of 6?
True
Let c(g) = 9*g**3 + 27*g**2 - 18*g + 182. Is 13 a factor of c(16)?
False
Does 18 divide ((-3348)/(-930))/(2/20815)?
False
Let o(a) = -6*a - 3. Let k(x) = 10*x + 9. Let r be k(-3). Does 10 divide o(r)?
False
Suppose -3*k - 3*o = -35214, -71*o + 75*o = 2*k - 23488. Is 76 a factor of k?
False
Is 20 a factor of ((-3402)/15)/(((-12)/(-148))/(30/(-4)))?
False
Suppose 0 = 5*h - 3*c - 500, 0*h = -2*h - c + 200. Let i be h/(-4)*12/10. Is i/(-12)*(-12)/10 - -28 a multiple of 11?
False
Suppose 2*m - 8*b = -5*b + 35174, -3*m = -4*b - 52764. Is 53 a factor of m?
True
Let t(s) = 48*s**2 - 36*s - 50. Is 95 a factor of t(20)?
True
Let v = 790 + -787. Suppose 5*a + v*j - 1629 + 126 = 0, -5*j = a - 305. Is a a multiple of 15?
True
Let y = -301 - -304. Let o be 3 + -2 + -4 - -6. Suppose o*t - 19 + 7 = 0, t - 532 = -y*x. Is 44 a factor of x?
True
Suppose 0 = 5*g + 4*s - 206852, 82748 = -11*g + 13*g - 2*s. Is g a multiple of 79?
False
Suppose 3*z + 2*z = z. Let p be (-11)/(-11) + -1 + z. Let t(v) = v**2 + 2*v + 4. Is t(p) a multiple of 4?
True
Let l be -103 - -1 - 1 - (-17)/17. Is 7 a factor of 7 - 42/7 - l?
False
Let h(f) = 48*f**2 - 74*f - 100. Is h(14) a multiple of 29?
False
Let f = -2796 + 4820. Does 6 divide f?
False
Let c(l) be the third derivative of l**4/24 + 16*l**3 - 28*l**2 - l. Does 4 divide c(0)?
True
Suppose 972 = 183*f - 179*f. Suppose -2*r + 2*c = 238, -c = 2*r - 4*r - f. Let q = -27 - r. Is q a multiple of 19?
False
Suppose 0 = 2593*f - 2612*f + 117857. Is 102 a factor of f?
False
Suppose 6*k - 2370 = -3*h, -4*h + 1185 = -24*k + 27*k. Does 111 divide k?
False
Suppose 5*o = 5, i - 620 = 2*o + 36. Suppose 0 = -6*x + i + 350. Does 14 divide x?
True
Let w = -91 - -93. Suppose -11 = s + 5*t, w*t + 2*t = 2*s - 48. Does 33 divide 275/(-50)*1*-1*s?
False
Suppose 4*v + 2*q = 47106, 29*v - 25*v = -5*q + 47109. Is 64 a factor of v?
True
Let n = -21 + 24. Suppose n*v = 2*v - 54. Let a = v - -202. Is 37 a factor of a?
True
Let l(q) = 2*q**3 - 3*q**2 - 3*q - 5. Let w(p) = -p**3 + 4*p**2 + 4*p + 6. Suppose 3 + 5 = 2*v. Let r(a) = v*l(a) + 3*w(a). Does 13 divide r(2)?
False
Let k(x) be the third derivative of 59*x**4/12 - 2*x**3/3 - 9*x**2 + 6*x. Does 8 divide k(2)?
True
Suppose -40 = -j - 5*i - 41, j + i = 3. Is (0 - 12)/((0 - j)/80) a multiple of 4?
True
Let z = 23426 + -9090. Is z a multiple of 105?
False
Is 7 a factor of (-360)/56 - 1*(-3)/7 - -3758?
True
Let z(l) = -l**3 + 13*l**2 - l + 11. Let o be z(13). Let v be 0/(-4) - o - -561. Suppose 0 = -2*d - m + 377, -3*d = 3*m + m - v. Does 13 divide d?
False
Let w = -366 - -521. Let u = w + -27. Is 32 a factor of u?
True
Let u be (-4)/(-8)*-4 + 40. Suppose -4*s - u = -46. Let o(l) = 3*l + 10. Is 5 a factor of o(s)?
False
Suppose 2*w + 15546 = 2*y, 5*y - 504*w = -508*w + 38802. Does 9 divide y?
False
Suppose -11*m - 10 = -16*m. Suppose -4*l - 3*y = -2, m*l - 10*y + 6*y - 12 = 0. Suppose -3*w - 117 = -2*u, 4*w = l*u - 163 + 43. Is 6 a factor of u?
True
Let a = 152 - 154. Let b(v) = 35*v**2 + 13*v + 3. Is b(a) a multiple of 9?
True
Let s(c) = c - 58. Let d be s(-3). Is 8 + 5 + -12 - (d + -2) a multiple of 8?
True
Suppose 4*l = 3*t - 95, -5*t + l - 3*l + 141 = 0. Suppose -99 - 1003 = -t*g. Does 4 divide g?
False
Suppose 0*s + 5*s = -2*s. Suppose s = 5*z - 3*c - 19, -z - 2*z - 4*c - 6 = 0. Does 3 divide z/4*(46 + 0)?
False
Suppose j = 42*j - 246. Suppose j*z - z = 5*k + 4210, -4*z + 2*k = -3364. Is z a multiple of 40?
True
Suppose -17*d = 9389 + 3497. Let s = -431 - d. Does 41 divide s?
False
Let h be ((-7)/3)/((-20)/(-840)). Let o = -96 - h. Is 56/(o + 5/(-3)) a multiple of 10?
False
Let z be 70/(-20)*(-4)/7. Suppose 0 = 4*l + 5*i - 3440, -5*l + z*i + 2*i + 4259 = 0. Let q = l - 580. Is q a multiple of 25?
True
Suppose -25 = 10*u + 35. Is -5*u/(-5)*-12 a multiple of 18?
True
Suppose 8*l - 14*l + 780 = 0. Let s = l - 23. Is s a multiple of 3?
False
Suppose 1 + 183 = 2*t. Suppose 0 = 3*q + 66 - 663. Let p = q - t. Is 6 a factor of p?
False
Let w = 689 - 671. Suppose 3 = r - 2. Suppose -2*x = -3*x - 3*t + w, 4*t = r*x - 128. Is x a multiple of 6?
True
Let s(f) = 7 + 30*f - 16*f - 13*f. Let i be s(-7). Suppose 4*r = -2*g + 226, 4*g + 5*r - 319 - 139 = i. Is 9 a factor of g?
True
Suppose 3*s + 109151 = 5*g, 2*g - 3*s - 24930 = 18734. Is 104 a factor of g?
False
Suppose -22*z = -24*z - 59*z + 496052. Is 15 a factor of z?
False
Suppose 3*j + 5*k - 4654 = -1384, j + 6*k - 1116 = 0. Is 4 a factor of j?
True
Let k(z) = -3*z - 3*z + 15 + 6*z + 79 + 8*z. Does 23 divide k(17)?
True
Suppose -16*s - 264 = -3368. Let k = s - 78. Is 29 a factor of k?
True
Suppose 3*s + 15 = -9. Let j be s/(-10) + 1199/(-55). Let q = 1 - j. Is q a multiple of 11?
True
Let y(n) be the first derivative of 8*n**2 + 10*n + 1. Suppose -4*v + 5*w + 11 = 0, 5*v + 6*w = 5*w + 50. Is 13 a factor of y(v)?
False
Let c(u) = u**3 - u**2 - 2*u + 4. Let r be c(3). Suppose -2*l + 12 - r = 0. Does 13 divide ((-77)/2)/((7/l)/7)?
False
Is (-5 + -1)*((-20408)/48 - 18) a multiple of 8?
False
Let u = 8162 - 493. Does 19 divide u?
False
Suppose -n = 3*r - 2*r + 14, 2*n = -5*r - 28. Let l(k) = 7*k**2 + 55*k + 1. Is l(n) a multiple of 9?
True
Suppose 33*v - 23179 = 176405. Does 56 divide v?
True
Let s(h) = -69*h - 202. Let o be s(9). Let a = o + 1333. Is 15 a factor of a?
True
Suppose -186*p + 406339 + 615545 = 0. Does 28 divide p?
False
Let p(w) = -44 - 60 - 78 + 188 - 51 + 10*w. Let r(k) = -22*k - 1. Let j be r(-1). Is 33 a factor of p(j)?
True
Let s be 7 + (-2 - 6 - -6). Suppose -5*f = -3*j - 1182, s*f = 8*f - 2*j - 710. Is 9 a factor of f?
True
Is (15 - -207)/((-6)/(-24)) a multiple of 3?
True
Let x(y) = y**3 - 7*y**2 - 30*y + 10. Let z be x(12). Suppose -2*q + z = w, -5*q + 0 = 10. Is 22 a factor of w?
True
Suppose -4*s - 196 = -3*g + 762, 4*s = 5*g - 1602. Suppose -5*y + 281 = -4*j, 49 - g = -5*y + 2*j. Suppose -73 = -3*c + y. Is c a multiple of 6?
True
Let v(h) = -35*h**3 - 8*h**2 - 27*h - 49. Is v(-7) a multiple of 73?
True
Let v be 1*(-6 - 2)/(-1). Suppose 0 = -7*m + v + 13. Suppose -y + 2*y - 4*x - 106 = 0, 0 = -m*y + x + 296. Is 14 a factor of y?
True
Let x be (-1 - (-6)/10)/((-10)/100). Let i(h) = 178*h + 8. Let o be i(x). Suppose g + 5*g - o = 0. Does 40 divide g?
True
Suppose -9*y + 9146 - 24338 = 0. Let m = y + 3001. Does 13 divide m?
True
Let j(u) = u**2 - 8*u + 15. Let n be j(7). Suppose 0 = -3*a, 0*i - a + n = 2*i. Suppose -9*q - 4*k + 41 = -i*q, -40 = -4*q + 4*k. Is 2 a factor of q?
False
Suppose -3*w - r = -4862, -4*w - 2*r - 2*r + 6488 = 0. Is w a multiple of 36?
True
Suppose 0 = 56*n - 145153 - 225287. Does 9 divide n?
True
Let t = 17115 + -8028. Is 6 a factor of t?
False
Does 66 divide 3626105/(-626)*(22/(-10) + (-6)/(-6))?
False
Suppose -528 = -3*c + 29 + 8815. Is c a multiple of 22?
True
Let b be (-3 - -2) + 17 - (16 + -10). Is 48 a factor of -21*((-24)/b)/((-126)/(-360))?
True
Let d(k) = 9*k**3 + k**2 + 8. Does 12 divide d(4)?
True
Suppose 4*x + 4720 = 4*z, -121*z - 3*x = -116*z - 5932. Is 28 a factor of z?
False
Let i = 0 - 1. Let c(x) = 143*x**3 + 12*x**2 + 5*x - 2. Let h(a) = -72*a**3 - 7*a**2 - 3*a + 1. Let z(b) = -3*c(b) - 5*h(b). Does 28 divide z(i)?
False
Let x(q) be the second derivative of q**4/6 + q**3/6 - 2*q**2 - 19*q. Let w be x(2). Suppose w*c = -109 + 397. Is c a multiple of 12?
True
Let a be -1*(8 + 1 + -4 + 0). Does 32 divide (a + -1)*(-512)/48?
True
Let i be (-5)/(-75)*3 + (-8648)/(-10). Suppose 3*v - i = -2*s, 0*v - 2*v + 4*s + 598 = 0. Suppose -4*y - 19 = 4*r - v, 0 = -4*y + r + 292. Does 12 divide y?
True
Let t = -64 - -106. Does 10 divide (-4)/t + 51896/273?
True
Suppose -907*n = -882*n - 209000. Does 39 divide n?
False
Suppose 3*o = -d + 2*o, 12 = -3*o. Suppose 3*p - 42 = -3*n, -2*p + 4 = n + p. Suppose -n + 99 = d*a. Is 3 a factor of a?
False
Suppose -490 = -0*g + 2*g. Let n = g + 306. Does 61 divide n?
True
Let x(b) = 13*b**2 - 117*b + 1530. Is 20 a factor of x(19)?
True
Let o = -7203 + 17811. Is o a multiple of 13?
True
Let w = -16 - -18. S