v?
True
Suppose 55*q = 65*q - 1620. Is 10 a factor of q?
False
Let n = 1980 - 1467. Does 21 divide n?
False
Suppose -543 - 1983 = -6*p. Does 20 divide p?
False
Does 82 divide (-5688)/(-15) - (-17)/(-85)?
False
Suppose -d - 49*q + 44*q + 3575 = 0, 14420 = 4*d - 4*q. Does 30 divide d?
True
Let j = 2372 - 820. Does 8 divide j?
True
Let d(h) = 329*h**3 - 4*h**2 + 2*h + 1. Let f be d(1). Suppose 3*x - 2*x - 4*r - f = 0, -2*x - r = -620. Does 26 divide x?
True
Let f(t) = t + 8. Let m be f(-4). Suppose m*k = 2*k + 4. Suppose k*a - 6*a = 4*h - 116, -5*a = 3*h - 149. Is a a multiple of 21?
False
Let s(n) = 3*n**2 - 24*n - 3. Is s(11) a multiple of 21?
False
Let k = 939 - 507. Suppose -10*f + k = -6*f. Does 18 divide f?
True
Suppose 0 = -33*t + 39*t - 1032. Is (18/(-27) - t/(-6))*8 a multiple of 18?
False
Does 51 divide (-2 - 32128/(-36)) + (-8)/18?
False
Suppose -7356 = n - 5*n. Is 95 a factor of n?
False
Suppose -z = 4*d - 8 + 3, 5*z + 9 = -3*d. Suppose 2*f = 2*k + f - 88, 0 = -d*k + 3*f + 96. Suppose 4*b + 98 + k = 2*a, 4*a = -5*b + 215. Does 12 divide a?
True
Let h = 3822 - 2120. Is h a multiple of 15?
False
Suppose 22*o - 5*o - 35343 = 0. Is o a multiple of 99?
True
Suppose 3*p + 6 = 24. Suppose -258 = -p*m + 192. Does 14 divide m?
False
Let p(b) = -b**2 - 19*b - 24. Let v(c) = c**2 - 17*c + 27. Let x be v(14). Is p(x) a multiple of 3?
True
Let c(h) = h**3 + 10*h**2 + h + 14. Let y be c(-10). Suppose -10 = 3*l - 4*r - 50, y*r = 4*l - 52. Does 3 divide l?
True
Let k(d) = -22*d + 1318. Is 19 a factor of k(0)?
False
Suppose 2*t - 58 = -4*l, t + 3*l - 30 - 3 = 0. Let d = t + -17. Is d even?
True
Let c(i) be the second derivative of -i**5/20 - i**4/6 + i**3/6 - 6*i**2 + 3*i. Is 18 a factor of c(-6)?
True
Suppose 0 = 4*r + 3*w - 1926, r - 541 + 54 = 2*w. Is r a multiple of 23?
True
Suppose -10 = 2*c - 2*n, -c - 4*c = 2*n + 39. Let s(z) = -z**2 - 2*z + 7. Let u be s(-6). Let t = c - u. Is 3 a factor of t?
False
Suppose 3*v + 5*l = -v - 332, 0 = -3*v + 5*l - 284. Let i = v + 132. Is i a multiple of 11?
True
Suppose 2*s + 10 = -3*q + 8*q, 0 = q + 3*s + 15. Suppose -5*n + q = -10. Is 17 a factor of 3 - (n + -1) - -32?
True
Let x = 6 - 7. Let a(s) = 3*s**2 + s + 1. Let p be a(x). Let d(w) = -w**2 + 6*w - 2. Is d(p) a multiple of 2?
False
Suppose -12*s - 3153 = -28521. Is 44 a factor of s?
False
Let r be (6/5)/((-12)/(-180)). Is (-1268)/(-3) - (-6)/r a multiple of 47?
True
Let r = -20 + 25. Suppose -139 = -c + 3*w - 2*w, 4*w + 694 = r*c. Is c a multiple of 42?
False
Let y(u) = -5*u**2 - 71*u + 42. Is 15 a factor of y(-13)?
True
Let q be (-40)/(-30) + 130/(-3). Does 20 divide 2 - 2 - (-7)/(q/(-1920))?
True
Suppose -31 = -16*g + 369. Is 10/g + (-528)/(-5) a multiple of 23?
False
Suppose -5*q + 3*r = -110, 4*q - 3*r = -5 + 96. Suppose c = -2*c + 6. Suppose 0 = -c*o - 4*u + 142, o + 4*u - q = 58. Is 13 a factor of o?
True
Suppose 466 = 3*h + 33*y - 28*y, -2*h = 4*y - 310. Is h a multiple of 8?
False
Let t = 20 - -487. Is 39 a factor of t?
True
Let p(v) = -3*v**3 - 7*v**2 + 13*v - 25. Let y(w) = -w**3 - 3*w**2 + 7*w - 12. Let n(a) = -2*p(a) + 5*y(a). Does 6 divide n(4)?
False
Let i = -49 - -53. Suppose 5*c + 25 = 0, i*m = -c - 0*c + 527. Is m a multiple of 19?
True
Is ((-378)/(-3))/((-5)/((-40)/12)) a multiple of 42?
True
Let p = 3672 - 1250. Does 17 divide p?
False
Is ((-8)/(-14))/(-4 + 5720/1428) even?
True
Let v = -278 + 456. Is 34 a factor of v?
False
Is 10 a factor of (190 - 10/(-2)) + 5?
True
Let m = -8 + 43. Is 7 a factor of (m/(-4))/((-17)/68)?
True
Let g be 2/((1/3)/((-9160)/(-60))). Suppose 4*w = w - 5*m + g, 4*w = -2*m + 1212. Is 30 a factor of w?
False
Let v(n) be the first derivative of -7 - 4*n**2 - 3*n + 4*n - 3*n + n. Is 19 a factor of v(-6)?
False
Suppose -5*p + 3*f = 75, 4*f = -p - f + 13. Suppose 4*s - y = 7*s - 32, 2*y + 13 = s. Let l = s - p. Is l a multiple of 9?
False
Suppose 2*k = -5*n + 1050, 0*n - n - 2571 = -5*k. Does 17 divide (-2)/(k/(-170) + 3)?
True
Let r be (4/(-10))/((-14)/(-4760)). Let g = r - -241. Is g a multiple of 45?
False
Suppose -3*l + 4*g = 485, 4*l - g = -110 - 554. Let u = 53 - l. Is u a multiple of 39?
False
Let l be (-2 - 2) + (-4 - -6). Let c = l + 14. Is 3 a factor of c?
True
Let k = 3 - -3. Let x = 8 - k. Suppose -x*j + j = -27. Is 9 a factor of j?
True
Let y = -730 + 1222. Suppose -a = -b + 6*b - 597, 0 = 4*b - 4*a - y. Is 33 a factor of b?
False
Suppose -2*x + 2*h + 127 = 5*h, -4*x = -3*h - 299. Let v = 134 - x. Is 9 a factor of v?
True
Let u(f) be the third derivative of f**6/120 - 4*f**5/15 + f**4/24 + 10*f**3/3 - 10*f**2. Is u(16) a multiple of 9?
True
Let a = 113 + -33. Is a a multiple of 20?
True
Let i(d) = 6*d**2 - 7*d + 5. Let u be i(-5). Is 7 a factor of u/6 - (4/6)/1?
False
Let o(i) = i**3 - 6*i**2 - 20*i + 14. Does 4 divide o(9)?
False
Let r(o) = -o**2 + 6*o - 6. Let h be r(6). Let i be 2/h - (-88)/3. Suppose p - c - i + 2 = 0, 0 = -p - 2*c + 27. Is p a multiple of 8?
False
Suppose 3*m = -4*m - 49. Let s be ((-150)/m)/((-5)/(-35)). Suppose -5*r + 45 = -s. Is 13 a factor of r?
True
Let h = -68 + 72. Suppose 0 = -2*r + h*k - 0*k + 230, 5*r - 583 = 2*k. Does 18 divide r?
False
Let a(b) = 16*b**2 + 2. Let g be a(-2). Let i(w) = -w**3 - 21*w**2 - 66*w + 38. Let l be i(-17). Suppose -4*z + 88 = 5*o - 146, -o = -l*z - g. Does 25 divide o?
True
Let n(z) = 25*z**2 + 3*z + 4. Let v be n(-4). Let l = v - 279. Is l a multiple of 16?
False
Suppose 4*c = 5*g + 11, 4*c = g + 13 + 2. Let m be 19/57 + c/6. Suppose 13 = s + m. Is 12 a factor of s?
True
Suppose 4*u + 22 = -66. Let y be (-4)/u + (-756)/(-77). Suppose r - 19 - y = 0. Does 11 divide r?
False
Let y be ((-2524)/10)/(8/(-20)). Suppose 0 = -5*v - s + 26 + y, -4*s + 139 = v. Does 32 divide v?
False
Let s be (1 + 1)*(-3)/2. Let g be 28/3 - s/(-9). Is 16 a factor of (3/g)/(2/348)?
False
Suppose -5*y - 36 + 6 = -5*f, 4*f + 4*y = 0. Suppose -f*j = -55 - 200. Is j a multiple of 14?
False
Let x(b) = 10 - 14*b + b**3 + 19 - 19*b**2 - 9 + 1. Does 12 divide x(20)?
False
Let j be (-6)/(-4) - (-6 + 234/4). Let y = 176 + j. Is y a multiple of 43?
False
Suppose -2*m = 5*a - 1930, -1912 = -19*m + 17*m + 4*a. Does 60 divide m?
True
Let f be ((-1)/4)/((-1)/((-24)/(-3))). Does 5 divide 28 + f - (-2 - 1 - -2)?
False
Let k(s) = -2*s**3 + 3*s**2 - 2*s + 3. Let y be k(3). Let z = y - -38. Is 4 a factor of z?
True
Let m = -43 + 1527. Does 14 divide m?
True
Let m(s) = s**3 + 27*s**2 + 22*s + 56. Is m(-26) a multiple of 16?
True
Suppose 3*i = -5*o + o - 45, -4*i + 52 = -4*o. Let m(s) = s**3 + 13*s**2 + 8*s - 9. Let l be m(o). Let x = l + 7. Is 46 a factor of x?
True
Does 5 divide (-4)/((-6)/(-4)*(-4)/1437)?
False
Let i be 7*-7*(7 - 9). Let v = i + 136. Does 18 divide v?
True
Suppose 5*o + 22 = -s, 4*o = 2*s - 23 - 3. Let g(h) = h**2 + h - 4. Does 3 divide g(o)?
False
Let o = 8 - 8. Let g be (2 - o)/((-3)/(-6)). Is 6 a factor of (-9 + g)*129/(-15)?
False
Is 22 a factor of 0 - 5 - 1/2*-1510?
False
Let j = 474 + -450. Is 6 a factor of j?
True
Suppose 9*w - 3868 = 812. Does 13 divide w?
True
Suppose 6*h = -838 + 1252. Does 3 divide h?
True
Let f = 4669 + -3085. Is f a multiple of 36?
True
Suppose 0*n = -5*n + 60. Let r = n + -12. Let b(w) = w**2 - 2*w + 54. Is 18 a factor of b(r)?
True
Let n(u) = -u**2 - 4*u + 7. Let m be n(-5). Suppose -m*p - 171 = -3*p. Does 21 divide p?
False
Suppose -19763 = -11*k + 2512. Does 13 divide k?
False
Let g(f) = f - 9. Let c be g(8). Let v be (32 + 12/(-4))/c. Let j = v + 77. Is 11 a factor of j?
False
Suppose -2*c + 2*y + 3*y = 3455, -4*c + y - 6955 = 0. Is 34 a factor of (-1)/(51/c) - 16/136?
True
Suppose 0 = 4*o + b - 9358, -3*o + 44*b + 7010 = 49*b. Is o a multiple of 52?
True
Let r = -869 - -954. Is 32 a factor of r?
False
Let x be (-31)/(40/(-12) + 3). Suppose 19 = n + 5*j, 3*n - x = 2*j - 5*j. Suppose -94 + n = -3*l. Does 10 divide l?
True
Let h(w) be the first derivative of -w**4/4 + 10*w**3/3 + w**2 + 16*w + 2. Let b be h(11). Let g = b - -174. Does 13 divide g?
True
Suppose -5*z + 5*u = 2*u - 98, 0 = z - 4*u - 6. Is (-4)/z - (-11323)/143 a multiple of 28?
False
Let v(q) = -2*q**2 + 36*q - 3. Let d be v(18). Does 7 divide -4 - -12*d/(-2)?
True
Suppose 0 = 4*a + 3*g - 10, 0*a - 3*g + 5 = -a. Let o be 0 - (-3 + a + -3). Suppose -o*t - z + 39 = -2*z,