+ 88 = 0. Is 7 a factor of h?
False
Let z = -165 + 451. Is 26 a factor of z?
True
Suppose 0 = 5*w + 36 - 16. Let g be (w/6)/((-2)/(-36)). Is (-8)/g + (-134)/(-6) a multiple of 6?
False
Let l be (2/(-5))/((-5)/(-25)). Let j = l + 6. Suppose x - 19 = -j. Does 9 divide x?
False
Let z = 166 + -78. Suppose 4*p - 2*t - z = 0, 0 = -p - 0*t + 3*t + 27. Let c = 24 - p. Does 3 divide c?
True
Suppose -4*b = -2*b + 2. Let u = 6 + b. Suppose -136 - 34 = -u*v. Is v a multiple of 34?
True
Let p = -34 + 57. Let l = p + 13. Does 12 divide l?
True
Let r(f) = -3*f**3 + 96*f**2 + 7*f - 47. Does 2 divide r(32)?
False
Suppose -700 - 780 = -4*k. Is 76 a factor of k?
False
Let o = 213 + -49. Suppose 0*x - o = -4*x. Is 14 a factor of (-5)/10*-2 + x?
True
Let i be -1 + (-220)/4*3. Let r = i + 232. Let g = r - 15. Is 19 a factor of g?
False
Suppose -w = 3*i - 34 - 29, -i + 343 = 5*w. Let k = 116 - w. Is 19 a factor of k?
False
Suppose -16 = 3*q + 5*v, 4*q + 65 + 3 = 5*v. Let w = q - -31. Is 3 a factor of w?
False
Does 56 divide (-7449)/(-11) + (-44)/242?
False
Let f(k) = -10*k - 15. Let y be f(-2). Suppose -800 = -y*x + 460. Does 28 divide x?
True
Let x = -7 - -6. Let t(v) = 273*v**2 + 2*v + 1. Let w be t(x). Suppose 0*c - 4*c = -w. Is c a multiple of 17?
True
Let h be ((-4)/6)/((-4)/(-30)). Let t(c) = -c - 1. Let g be t(h). Suppose -16 = z - g*r - 3, -2*z - 6 = -4*r. Is z even?
False
Let x(t) = 4*t**2 + 2*t - 2*t**2 + 15 - 3*t + 105. Does 10 divide x(0)?
True
Suppose 1341 = q + 5*k + 526, 0 = 5*q - 3*k - 4215. Is q a multiple of 65?
False
Suppose -3*z - 2*z - 5*f = -20, -4*z - f = -10. Let l(s) = -s**2 + 11*s - 9. Let i be l(7). Suppose o - z*c + 7*c - i = 0, -2*c = -2*o + 2. Does 3 divide o?
False
Suppose -4*i + 129 = 169. Is 13 a factor of 1 - (-14)/i - 10755/(-75)?
True
Let j(p) = 78*p - 84. Does 36 divide j(2)?
True
Let f(w) = -w**2 + 9*w + 7. Let x be 20/6*84/70. Suppose i + 36 = 4*i - x*s, 9 = -3*s. Is 15 a factor of f(i)?
True
Suppose 4*k + 867 - 2115 = 0. Is k a multiple of 26?
True
Is (5 + (-4926)/(-12))/(4/8) a multiple of 22?
False
Let i be 36/16 + 1 - 4/16. Suppose i*g - 89 = 16. Does 7 divide g?
True
Suppose 6*v - 1097 = 811. Is 10 a factor of (-16)/(-56) - v/(-14)?
False
Suppose 2*d - 15 = 5*x + 3, 3*x - d = -10. Suppose 0 = 3*i - 5*s - 26, -5*i = s - 70 - 20. Is 6 a factor of 3/(-2) - i/x?
False
Suppose 18*x - 20*x + 10 = 0. Suppose 179 = x*y - 116. Is 13 a factor of y?
False
Let i(g) = -g**3 - 9*g**2 + 12*g - 22. Let h be i(-12). Suppose 0 = 4*m - 4*f - 260, 3*m = -m - 2*f + h. Is m a multiple of 7?
False
Suppose i = 2*u - 5, -3*u + 5*i - i = -10. Is ((-1)/4 + u)*12 a multiple of 15?
False
Let n(k) = k**3 + 22*k**2 - 23*k + 3. Let h be n(-23). Suppose 563 = 3*m + h*r - 523, -4*m - 3*r + 1444 = 0. Does 15 divide m?
False
Suppose -5 = -2*s - 5*g, s = -s - 4*g + 6. Suppose 0 = -s*b + 67 - 2. Suppose 2*d - 51 + b = 0. Does 4 divide d?
False
Let p be 0/((1 - -2) + -1). Suppose 3*v - b = 7*v - 20, p = -b. Suppose 0*u = v*u - 500. Does 17 divide u?
False
Let q(c) = -8*c**2 + 2*c + c**2 - 15*c - 38 - c**3 - 12*c**2. Does 18 divide q(-19)?
False
Suppose 3*m = 3*k - 558, 2*k - 161 = k - 4*m. Suppose k + 53 = 3*g. Suppose 5*q - 4*h = g, -h + 2 = -2*h. Is 6 a factor of q?
False
Suppose -10 = j - 6*j. Suppose -j*t = 4*f - 92, -t - 2*t = -12. Let s = 77 - f. Is 17 a factor of s?
False
Let d be (-2)/7 - 12/7. Let b(r) = -9*r + 15. Let j(n) = 9*n - 19. Let t(z) = 4*b(z) + 3*j(z). Is t(d) a multiple of 8?
False
Let x = -83 - -119. Let f be x/(-8)*(-4)/6. Does 7 divide (-105)/20*(-8)/f?
True
Let p = 448 - 255. Suppose 73 = -3*i + p. Is i a multiple of 10?
True
Suppose 3*n - n + 6 = 0. Is 6/(-9) + (-1040)/n a multiple of 48?
False
Let p(q) = -q + 2. Let d be p(0). Suppose 0*v = d*v - 342. Does 13 divide v?
False
Let d(p) = -4*p + 5. Let f(l) = -3*l + 4. Let r(y) = 3*d(y) - 2*f(y). Let c be r(5). Let v = c - -39. Is 5 a factor of v?
False
Let z(l) = l**3 - 12*l**2 + 9*l - 10. Let v(p) = -p**3 - p - 1. Let k(n) = 2*v(n) + z(n). Is k(-13) a multiple of 13?
False
Suppose -935 = -2*p - 13*f + 8*f, 947 = 2*p + f. Does 25 divide p?
True
Suppose -2 + 14 = 4*t - b, 4*t - 24 = 4*b. Suppose -3*d = d. Suppose d = -w + 47 - t. Does 7 divide w?
False
Let g(b) = 11*b - 8. Let s be g(5). Suppose -5*h - 45 = -2*v, 1 + s = 3*v - h. Is v a multiple of 5?
True
Suppose 3*t = -u + 91, -t - 9*u = -5*u - 34. Suppose 202 = 5*c + 2*v, 0 = -c + v + 16 + t. Is 7 a factor of c?
True
Let r(a) = 10*a**2 + 6*a + 27. Suppose -y - 2*n - 15 = 0, 0 = -2*y + 4*n - 7*n - 25. Is r(y) a multiple of 49?
False
Let u = -19 - -19. Suppose u = -3*s - 2*q + q + 211, 0 = s - 5*q - 97. Does 7 divide s?
False
Suppose 0 = 5*b - 3*b - 4. Suppose 0 = -3*u - b*l + 215, -3*u - 2*u = 2*l - 353. Let n = u + -29. Is 17 a factor of n?
False
Suppose -17*o + 12*o + 1595 = 5*g, 4*g - 1301 = o. Is 54 a factor of g?
True
Let d(u) = -7*u + 14*u - 1 - 8. Let j be d(5). Suppose f - 46 = j. Does 24 divide f?
True
Suppose 0 = t - 0*t - 2*o + 217, -o + 636 = -3*t. Let u = t - -379. Is u a multiple of 24?
True
Suppose -q = -5*i + 932, 0 = 4*q + 1 + 7. Does 6 divide i?
True
Let d(p) = 2*p**3 - p**2. Let u be 20/12*(-30)/(-25). Is 3 a factor of d(u)?
True
Suppose -2*t = -2*h - 0*h + 8, t + 14 = 3*h. Suppose h - 105 = -b. Is b a multiple of 25?
True
Let b(t) be the third derivative of -t**5/60 + t**4/4 + 8*t**3/3 + 10*t**2. Let x be b(7). Does 9 divide 30*x*(-2)/(-15)?
True
Let a = 87 - 49. Suppose -k + 2 = -0, -3*d - 5*k - a = 0. Is 37 + 4/(d/(-12)) a multiple of 12?
False
Let d(k) = -10*k**3 - k**2 - 2*k - 1. Let x be d(-1). Let s = 1 - x. Does 35 divide (-3)/s + (-628)/(-6)?
True
Let g(d) = 1. Let t(v) = v + 6. Let x(l) = 4*g(l) - t(l). Let y = -13 - -3. Is x(y) a multiple of 8?
True
Suppose 30 = -5*j - j. Let b be j - (0 - 3) - 3. Is 7 a factor of b*9/((-135)/84)?
True
Let r(d) = 14*d**3 - 4*d**2 - 2*d + 2. Let y = 127 + -125. Does 30 divide r(y)?
False
Is ((-220)/6)/(0 - (-1)/(-3)) a multiple of 10?
True
Suppose -30*a - 10*a + 3080 = 0. Is 11 a factor of a?
True
Let b be 6/(2 + 0) - (-9 - -12). Suppose y - 2*d - 3*d + 8 = b, d + 11 = 2*y. Does 4 divide y?
False
Let y(g) = 34*g - 117. Is y(4) a multiple of 5?
False
Suppose 5*i + x - 2*x = -271, 3*i = 5*x - 167. Suppose -3*f - 107 = 223. Let p = i - f. Is 14 a factor of p?
True
Let m be 21 + -6*3/(-6). Suppose 0*a + m = 3*a. Is 4 a factor of a + -5 - (-22)/2?
False
Let m(p) = -p - 1. Let r(z) = -3*z + 18. Let s(d) = -4*m(d) + r(d). Suppose 69*q - 71*q = -32. Does 19 divide s(q)?
True
Suppose 146 = -v - 0*s - 5*s, -4*s = 16. Let f = v - -82. Does 12 divide (6/(-2))/(6/f)?
False
Suppose 0 = -6*j + 9979 + 2087. Is 11 a factor of j?
False
Let b = -12 + 32. Suppose -b + 10 = -2*i. Is i a multiple of 2?
False
Let m = 124 + -119. Let k(i) = 4*i**2 + 10*i - 24. Is 14 a factor of k(m)?
True
Let g be 26/3 + 26/(-39). Let s(k) = g*k + 8*k - 3 + 12*k - 11*k. Is 12 a factor of s(3)?
True
Let i(d) = 13*d - 23. Let z be i(16). Suppose -3*h = 2*h - z. Does 17 divide h?
False
Let i(z) be the first derivative of 2*z**3/3 + 7*z**2/2 - 5*z + 2. Is i(-7) a multiple of 10?
False
Suppose 12088 = 13*w - 1120. Is w a multiple of 4?
True
Let z = -829 + 2521. Does 9 divide z?
True
Let m(a) = -a**3 + 4*a**2 + 2*a + 989. Is 5 a factor of m(0)?
False
Suppose 2*c = v + 1282, -3*c = -5*c - 5*v + 1270. Does 5 divide c?
True
Let r(w) = 10*w**2 - 78*w + 2. Is 11 a factor of r(-9)?
False
Let o be ((-18)/24)/((-2)/8). Suppose 0 = 3*r + o*w - 339, -2*w = -4*r + 83 + 387. Is r a multiple of 24?
False
Suppose -2641 = -13*b + 7018. Is 57 a factor of b?
False
Suppose 3*g = 3*v + 78, 0*g + 5*g + v = 112. Suppose 3*a + 0*n - 63 = n, a = n + g. Is 10 a factor of a?
True
Let p = -198 - -246. Is p a multiple of 12?
True
Suppose 27*i = 26*i + 2079. Is 27 a factor of i?
True
Suppose 4*l + 20 = -a - a, -40 = 2*a - l. Let i = 13 + a. Does 16 divide 10*(-1)/i*8?
True
Let l(n) = 1330*n - 406. Does 52 divide l(3)?
False
Suppose -2*c - 2*c = 0. Suppose 5*w + 2*p + c*p = -520, -4*p - 20 = 0. Does 5 divide 2/(-6) + w/(-9)?
False
Suppose 113 = 2*x - 13. Suppose 0 = -2*l + 3*o + x + 86, -243 = -4*l - 5*o. Let p = l - 35. Is p a multiple of 17?
False
Suppose 3*j = 5*i - 268, -2*j + 5*i = 1 + 181. Is (j/(-5))/(1 - 6/10) a multiple of 8?
False
Le