92 - m. Is 26 a factor of v?
True
Suppose -25*y = -2*y - 3*y - 239700. Does 141 divide y?
True
Let s = 802 - -8464. Does 41 divide s?
True
Suppose -4*f - 3*v + 8 = 0, 0*v + 16 = -4*v. Does 61 divide ((-58)/(-10) - f)/(3/1965)?
False
Let t(v) be the third derivative of -v**5/15 - v**4/6 - 32*v**2. Let h be t(-2). Let r(b) = 5*b**2 - 7. Is 45 a factor of r(h)?
False
Let f = -2533 + 6076. Does 54 divide f?
False
Let g(q) = q**2 + 4*q - 40. Let w be g(6). Suppose -w*u - 6055 = -17335. Is u a multiple of 44?
False
Let j(s) = -4*s - 51. Let v be j(-17). Suppose -3900 = -v*h - 704. Is 91 a factor of h?
False
Let x be (-22)/(-66) + (-3514)/(-6). Suppose 4*h - 4*i - 464 = 0, -5*h - i + 4*i = -x. Is h a multiple of 22?
False
Let n = -10 + 12. Suppose -2*r - 4*x - 30 = -4*r, 5*r = n*x + 51. Is 12/r + 150/9 a multiple of 7?
False
Suppose 15*j = 19*j + 28. Let n be 4/3*(j - -10). Does 29 divide -1 + n - 9/(54/(-156))?
True
Let a(y) = -y**2 + 10*y - 9. Let o be a(9). Suppose 4*d + 2*g - 148 = o, -4*d + 144 = 5*g - 2*g. Does 8 divide (7470/d)/3 - (-16)/104?
True
Let s(d) = d**3 - d - 156. Let a be s(0). Let g = -158 + 155. Is 21 a factor of (76/12 + g)/((-4)/a)?
False
Let y be (156/(-30) + 4)/((-6)/2420). Let z = y - 310. Is 87 a factor of z?
True
Let z be (28/20 - 1)*5/2. Let m(x) = 2*x**3 + 3*x**2 - 5*x + 3. Let b be m(z). Suppose -q + 4*h - 75 = -2*q, -2*q = -b*h - 161. Is 18 a factor of q?
False
Let i = 534 - -11. Is 10 a factor of i?
False
Let r be (16/14)/(2/7) - -1. Let g be 2 + -5*(-3)/r. Suppose -g*c - 228 = -9*c. Does 19 divide c?
True
Let l = -6432 + 16456. Suppose l = 14*x + 2184. Is x a multiple of 10?
True
Let s = 4467 - 2005. Is 3 a factor of s?
False
Let v(p) = -46*p + 5. Let u(b) = 3*b - 6 - 3*b - 3*b + 4*b. Let l be u(3). Does 33 divide v(l)?
False
Let i be 656*(-5 + (-22)/(-4)*1). Let a = -311 + i. Is a a multiple of 2?
False
Let z = 202 - 128. Let g = z + -56. Is 6 a factor of g?
True
Let n be 3519/(-46) + ((-6)/4 - -2). Let x = 109 + n. Is x a multiple of 11?
True
Let c = 467 - 284. Suppose 0*o + o = 4*d - 837, -5*o + c = d. Is d a multiple of 52?
True
Let h be (10 - 2*(-12)/(-8)) + -2. Suppose 4*f = -3*w - 1768, 0 = -2*w - 0*w + f - 1175. Is 8 a factor of (-1)/h - w/15?
False
Suppose 0*f = 8*f - 16. Suppose 5*k - 1442 = -f*k. Is k a multiple of 45?
False
Let y(g) = -10*g - 3. Let r = -256 + 255. Is y(r) a multiple of 7?
True
Let v(l) = 2*l**2 - 3*l + 1. Let t be v(-4). Let j = t - 112. Let x = 116 + j. Is x a multiple of 7?
True
Suppose 32902 = 3*l - 1340. Is l a multiple of 53?
False
Let j = -6317 - -10966. Is 11 a factor of j?
False
Let v = 22265 - 3545. Is 82 a factor of v?
False
Let l(g) = -16*g + 1392. Does 4 divide l(65)?
True
Suppose -2*s - 3806 = -3*k + 3934, 0 = 4*s - 2*s. Is 45 a factor of k?
False
Suppose -x + 126 = t - 1905, -3*t = x - 2025. Does 6 divide x?
True
Let y = 18 + -5. Suppose -14*q = -y*q - 546. Suppose 0 = 5*z - a + 104 - q, -4*a = -12. Does 15 divide z?
False
Let t = 104 - 93. Let z(j) = 10*j**2 - 48*j - 3. Let k be z(t). Suppose 3*d - 2*s - k = 0, 2*d + s = -29 + 491. Is 29 a factor of d?
False
Let t(v) = -675*v - 4617. Is 9 a factor of t(-17)?
True
Suppose -29*i = -154*i + 372625. Is i a multiple of 15?
False
Suppose 22*z = 23*z - 3. Let y be (-5 + 5 - 6/2) + 11. Suppose 88 = y*i - z*i - 2*k, 5*k = 5. Is i a multiple of 9?
True
Let v = 6 + 22. Let i be 558/7 + 2/v*4. Let d = i + -3. Is 20 a factor of d?
False
Suppose -5*j = -a - 8881, -j + 1243 + 518 = -4*a. Suppose -j = -6*p + 299. Is 15 a factor of p?
False
Let s(v) = 88*v**2 + 113*v + 37. Is 30 a factor of s(17)?
True
Let s be 5 + 5/(-5)*-542. Let q = -273 + s. Is q a multiple of 87?
False
Suppose 0 = 167*o - 157*o - 13770. Does 17 divide o?
True
Let v(o) = -109*o + 1445. Is 60 a factor of v(5)?
True
Does 91 divide 321/4*(-5 + 18/4)*-200?
False
Let z(l) be the third derivative of -l**6/120 - 7*l**5/15 - 7*l**4/12 + 16*l**3/3 + 11*l**2 + 14. Is z(-28) a multiple of 53?
True
Let y = -19020 + 36660. Is 70 a factor of y?
True
Suppose -4*d = 66 - 50, 3*d - 44076 = -3*h. Is h a multiple of 143?
False
Let f(w) = w - 5. Let l be f(5). Suppose 2*z + 5*h - 457 = 0, z - 3*h + l*h = 201. Suppose 6*j - z = -36. Does 15 divide j?
True
Let v = -27 - -30. Suppose 6*i + 3*s - 9 = 4*i, -5*s + 13 = v*i. Let p = i + 9. Is p a multiple of 5?
True
Let w(r) = 161*r**2 + 39*r - 200. Does 134 divide w(5)?
True
Suppose 0 = b + 34*b - 70. Suppose 17 = -2*t + 5*g, t - 12 = 4*t - 3*g. Does 8 divide (-93)/(-6) - b/4 - t?
True
Suppose -361 = -23*l + 4*l. Suppose -l*n + 2340 = -5108. Does 28 divide n?
True
Let h(u) = 213*u - 880. Is 2 a factor of h(5)?
False
Let u(d) = 36*d + 111. Let i be u(-3). Suppose -4*m = i*p - 2321, -p - 4*m + 350 + 429 = 0. Does 64 divide p?
False
Suppose -98 = 2*x - 88. Is (x - 24/(0 + -3)) + 624 a multiple of 75?
False
Let n = -88 - -67. Let t be (-708)/n + (-4)/(-14). Suppose -2*m + 114 = -t. Is 18 a factor of m?
False
Let s(o) be the third derivative of o**6/40 - o**5/30 - 5*o**4/24 + 11*o**3/6 - 34*o**2. Let l be s(4). Suppose -31 - l = -2*b. Does 13 divide b?
True
Let c be ((-8)/(-16))/((-1)/28). Let d = c - -48. Is 82/(d/10 + -3) a multiple of 26?
False
Let i(u) = -3 - 87*u + 15 + 82*u. Let x be i(-5). Suppose -x + 331 = 2*w. Does 24 divide w?
False
Let p(s) = -s + 55. Let u be p(16). Let m = u + 449. Is m a multiple of 20?
False
Suppose 3*p - 2*f = 4291, 257*f = 4*p + 253*f - 5728. Does 8 divide p?
False
Is 12 a factor of (-806)/62 - (-33429 + 0)?
False
Let c = -25 + 41. Let v(u) = -2 + 31*u - c*u + 2*u**2 - 19. Is v(-11) a multiple of 18?
False
Suppose -1031 = -4*x + 1301. Is 53 a factor of x?
True
Let k = 82 + -46. Let v = k + -34. Suppose -v*t - t = -w - 337, -115 = -t + 3*w. Is 28 a factor of t?
True
Suppose -6*j - c + 184478 = 0, 0 = 61*j - 65*j + 4*c + 123004. Does 111 divide j?
True
Suppose 2091 = n - o, 4*n - o = 2267 + 6088. Let u = -1404 + n. Is 76 a factor of u?
True
Suppose 5*i = -5*g + 5130, 5*i + 1189 - 6359 = 5*g. Is i a multiple of 35?
False
Let x be 119 - 12/(8/2). Let m = x - 20. Is m a multiple of 32?
True
Let v(r) be the second derivative of -119*r**3/6 + r**2/2 - r + 8. Let p be v(-3). Suppose 3*h = f - 171, 148 + p = 3*f - 2*h. Is 8 a factor of f?
True
Let v(p) = 19*p + 77. Suppose 4*q - 41 + 5 = 0. Is v(q) a multiple of 24?
False
Let r be 2*((-9)/(-36))/((-1)/(-4)). Suppose -t + 53 + 63 = 5*n, r*n - 2*t - 56 = 0. Is 12 a factor of n?
True
Let z(u) = 3293*u**3 - u**2 + u. Does 103 divide z(1)?
False
Suppose -4*t + 46 - 46 = 0. Suppose -2*q = -t - 16. Suppose -f - q = -25. Is f a multiple of 2?
False
Let i(x) = -211*x + 177. Is i(-12) a multiple of 7?
True
Let t = -4862 - -9356. Is 7 a factor of t?
True
Let o(g) = 2*g**3 - 2*g**2 - g - 9. Let v be o(3). Suppose -p - 26*d = -v*d - 546, 2*p = 5*d + 1065. Is 45 a factor of p?
True
Suppose -14*t + 165 = -3*t. Let n(u) = -u**2 + 25*u + 25. Is n(t) a multiple of 35?
True
Suppose 3*j - 3*y = 50706, -36169 = 4*j - y - 103771. Is 52 a factor of j?
True
Suppose -5*g = -3*g - 440. Suppose 0 = 2*k + 3*q - 656, -3*k - 5*q = k - 1310. Let z = k - g. Does 7 divide z?
True
Let u be (3/6)/(-4*(-3)/72). Suppose -u*k + 167 = -187. Is k a multiple of 25?
False
Let i = -229 - -1546. Does 56 divide i?
False
Suppose 0 = 2*a + u - 11158, 4*a = 24*u - 17*u + 22280. Is 39 a factor of a?
True
Let n(s) = 2*s**2 + 9*s + 17. Let a be n(-8). Let j = a + 39. Suppose j = -4*l + 6*l. Is 14 a factor of l?
True
Let c = -372 - -538. Suppose 646 = 168*f - c*f. Is 19 a factor of f?
True
Let t = 274 + -276. Let p(f) = 340*f**2 + f - 2. Let l be p(1). Is t/8 + l/12 a multiple of 7?
True
Let u(k) = k**2 + 27*k + 104. Let h be u(15). Let f = h - 424. Is 22 a factor of f?
False
Let m(z) = -57*z**2 + z - 1. Let t be m(1). Suppose 25*p = 22*p + 225. Let b = p + t. Does 5 divide b?
False
Let u = -771 + 781. Does 89 divide u/20 + (-2669)/(-2)?
True
Let x(g) = 4*g + 7*g - 10*g + 3 + g. Let f be x(14). Suppose -249 - f = -2*i. Does 28 divide i?
True
Let y = 26045 + -2306. Does 123 divide y?
True
Suppose -522 = -12*b + 18*b. Is 6 a factor of (5 - b)*(-5)/(-10)?
False
Let g(h) = -21*h + 4. Let i be g(-3). Let v be (-4)/48 - 6285/180. Let m = i + v. Is m a multiple of 5?
False
Let s(a) = -30*a**2 - 25*a + 23. Let m(w) = 14*w**2 + 1