alse
Suppose -3*r + 9*r = 1674. Suppose 14*f - 981 = r. Does 5 divide f?
True
Suppose 0 = 11*u - 42 - 46. Suppose 5*n - 34 = 3*b, 2*n = n + b + u. Suppose 3*p + 24 = 2*g, g - n*p + 0 + 2 = 0. Does 9 divide g?
True
Suppose 3955 = 148*a - 141*a. Suppose -f + a = -5*n, n + 823 + 830 = 3*f. Is 10 a factor of f?
True
Let u be ((-68)/(-5))/(2/(-5)). Does 23 divide (-5478)/u + 8/(-68)?
True
Suppose -3*k = -2 - 13. Suppose -5*n - v = 3 - 41, 0 = -k*n + 5*v + 20. Let b(h) = -h**2 + 10*h - 11. Is b(n) a multiple of 5?
True
Suppose 4*c - 2*b - 61626 = 40536, -3*b + 127741 = 5*c. Is c a multiple of 62?
True
Let s be 85/(-4) + 3/(-4). Let i = s - -69. Suppose 4*w + 5*u - i = 0, -2*w - 3*u = -0*u - 21. Is w a multiple of 18?
True
Suppose -6*m - 8 = -10*m. Suppose -7*z + m*z + 193 = 2*b, -3*b = 5*z - 297. Suppose 5*v = 7*v - b. Does 13 divide v?
True
Suppose 0 = -87*y - 597084 + 1738089. Is y a multiple of 61?
True
Suppose 4*h - 71 = -5*k, 3*h + 16 - 43 = 5*k. Suppose w - 189 = -h. Does 19 divide w?
False
Suppose -x + 58 = -3*x. Let u be (280/(-112))/(-1 + 46/44). Let m = x - u. Is m a multiple of 13?
True
Let n(u) = 284*u - 406. Does 7 divide n(7)?
True
Let o(t) = -85*t + 14619. Does 7 divide o(164)?
True
Let k be 254*7/28 - (-5)/(-2). Let v = 5 + 6. Suppose 4*f = k + v. Does 11 divide f?
False
Suppose 0 = -4*r - 4*a + 12, 0 = 2*r - 2*a - 0 - 6. Let z(i) = -10 + 44 - 14 - 20 + 38*i. Does 19 divide z(r)?
True
Let s = -21 - -19. Does 10 divide s/(-19) + 6150/57?
False
Let r = -13985 - -20870. Does 75 divide r?
False
Let j(o) = -299*o - 3. Let p be j(-6). Suppose 3*i = -3*t + p, -2*t + 1206 = -0*i - 2*i. Is t a multiple of 20?
True
Let h be 575/3 - (-7 + 69/9). Let a = h + 306. Does 71 divide a?
True
Suppose 8 = 2*z + 4. Let l(u) = -u + 6. Let n be l(z). Is 12 a factor of ((-16)/n + -228)/(-2)?
False
Let f = 6709 - -373. Is f a multiple of 30?
False
Suppose 3*v - 3*f = 19 + 8, -4*v + 39 = -5*f. Suppose -17*c = v*c - 7728. Does 28 divide c?
True
Let j(n) = -40*n - 1620. Is 11 a factor of j(-56)?
False
Let b(j) = j**2 + 8*j + 12. Let z = -69 + 63. Let a be b(z). Suppose a = 5*o - 4*o - 68. Is 31 a factor of o?
False
Let y(n) = n**2 - 9*n - 65. Let t be y(14). Suppose -t*k + 2*a + 2396 = 0, k + 2*a = a + 482. Does 12 divide k?
True
Suppose 0 = 345*s - 326*s - 410856. Is 159 a factor of s?
True
Let t be (2 - 1)*3*1. Let c(b) be the third derivative of 15*b**4/8 - 4*b**3/3 + 2*b**2 + 14*b. Is 17 a factor of c(t)?
False
Suppose -18*v + 128 = -14*v. Let m be (9/6 - 0)/((-6)/v). Is 56*-4*6/m a multiple of 28?
True
Let u = -1107 - -276. Let t = -246 - u. Is 39 a factor of t?
True
Let y be 0/(3 + -9) - (1 + -368). Suppose u = m - 2*m + y, -5*m + 4*u + 1826 = 0. Is m a multiple of 31?
False
Let u(f) = -f**3 + 12*f**2 + 7*f + 7. Suppose 4*s - 89 + 41 = 0. Let o be u(s). Suppose 4*r = 4*b - 804, b - o = -4*r + 85. Is b a multiple of 19?
False
Is (-2976)/124*2*-337 a multiple of 338?
False
Suppose 423 = -22*s + 31*s. Suppose 8*o = 3*o - 205. Let x = o + s. Does 6 divide x?
True
Suppose 0 = 4*b - 3*l + 5, 2*b - 2*l + 6*l = -30. Suppose 0 = 2*q + 4*i + 12, -7*i - 25 = -2*i. Is 5 a factor of -5 + q - (b*3 - 1)?
True
Suppose -19638 = -2*x + h, 4*h + 9826 = 5*x - 4*x. Does 26 divide x?
False
Let y be (-9)/6 - (0 + 3/(-6)). Let t(c) = -385*c + 16. Does 48 divide t(y)?
False
Let j be (517/94)/(-1*1/(-4)). Is (2/6)/(j/3432) even?
True
Let f be (19/38)/((2/(-796))/1). Let t = -59 - f. Is 35 a factor of t?
True
Let v be ((-1)/(1 + 0))/1. Is ((-305)/20)/v*4 a multiple of 11?
False
Let s = -25349 - -32134. Is s a multiple of 7?
False
Let l be 12/56*-618 + (-12)/(-28). Let w = 327 + l. Does 13 divide -3*(w/(-5))/3?
True
Suppose 0 = 5*t - 4*t - 5*w + 25, 3*t - 4*w + 20 = 0. Let g(q) = -3*q**3 + 12*q**2 + 40*q - 17. Let b be g(6). Suppose t = -2*a + b + 19. Is a a multiple of 3?
False
Let q(s) = 77*s**3 + 4*s**2 + 2*s + 2. Let f be q(-2). Let h = f + 1218. Does 11 divide h?
True
Suppose 2199 = d + 689. Suppose 24*z + d = 29*z + 5*h, 0 = -5*z + 5*h + 1470. Does 12 divide z?
False
Suppose 0 = -5*f + m + 27373, -56*m = -61*m + 10. Does 15 divide f?
True
Is ((-79618)/33 + -1)/(-1) - (-1)/3 a multiple of 71?
True
Let k(z) = 22*z + 20. Let h be k(-2). Is 4 + 0/1 - (-357 - h) a multiple of 26?
False
Suppose -51*z + 1014371 = -147322 - 1721745. Does 162 divide z?
True
Let j = -5083 + 5307. Is 4 a factor of j?
True
Suppose -304 = -0*j + 3*j - 4*l, j + 3*l = -97. Let o be ((-6)/5)/(8/j - 0). Let k = o + 21. Is 3 a factor of k?
True
Let d(u) = -u - 627. Let o be d(0). Let g = -166 - o. Is 23 a factor of g?
False
Suppose 0 = x - 4*x - 6975. Suppose 4*y + 50 = -5*b, -4*b - 3*y = -6*y + 71. Is 13 a factor of 6/b - x/35?
False
Suppose 3*m - 5*u - 30310 = 0, 963 = 2*u + 955. Is 6 a factor of m?
True
Let u(b) = -225*b**3 - b**2 - 11*b - 17. Does 65 divide u(-2)?
False
Suppose -24181 = -2*f - 5*t, -529 - 47841 = -4*f - 2*t. Is f a multiple of 87?
True
Let i(o) = -2*o**3 - 93*o**2 + 26*o + 33. Is 138 a factor of i(-49)?
True
Let w(i) = 7*i - 625*i**3 + 765*i**3 + 0 - 5 - 2*i**2. Is w(1) a multiple of 7?
True
Let s = -74 + -43. Let d = s + 119. Suppose k - d*k + 288 = 0. Is k a multiple of 40?
False
Let b(u) = -2*u**2 + 63*u**3 + 461*u - 2*u**2 - 458*u. Does 50 divide b(2)?
False
Let u = -3338 - -5536. Is u a multiple of 157?
True
Let t be -330*(13/12 + (-37)/(-148)). Let l = 704 + t. Does 24 divide l?
True
Suppose 6*y = -6*g + 9*y + 80334, 2*y - 8 = 0. Does 2 divide g?
False
Let u = -10 - -14. Suppose n + 6*n - 56 = 0. Suppose -n*v + u*v = -348. Is 29 a factor of v?
True
Let p(c) = 17142*c**3 - 4*c**2 + 6*c - 2. Is 133 a factor of p(1)?
False
Suppose k = -1, -4*a + 2*k + 83 = 5. Let n(g) = 46*g - 4. Is 37 a factor of n(a)?
False
Let m = -41 - -42. Let r(k) = k**3 + 3*k**2 - 2*k + 1. Let y be r(m). Suppose -2*q = -4*h - 7*q + 230, 0 = -y*h + 5*q + 155. Is 11 a factor of h?
True
Suppose c + 25 - 25 = 0. Suppose c = -17*f + 11*f + 48. Suppose f*p = p + 532. Is p a multiple of 19?
True
Let v be (-4 - (-55)/22)/((-6)/(-44)). Is 18 a factor of ((-60)/(-25))/(v/(4950/(-12)))?
True
Is 11 a factor of 6*1 - (-1716 - (4 + 12))?
True
Does 74 divide 120/(-80)*((-20)/(-6) - 2) - -23582?
False
Let v(k) = 3*k**3 + 94*k**2 - 35*k + 73. Is 24 a factor of v(-29)?
False
Suppose 18 = n - 14. Suppose b - n + 8 = 0. Is 6 a factor of b?
True
Suppose 0 = -2716*b + 2731*b - 19035. Does 47 divide b?
True
Suppose 0 = -3*f + 29 + 7. Let l be ((-15)/f)/(-2 + 28/16). Suppose 0*y - 2*v + 40 = l*y, -44 = -4*y - 4*v. Is 6 a factor of y?
True
Suppose 0 = 3*x - 102 + 18. Is 7 a factor of (2 - x/20) + 2358/45?
False
Let m(n) = 57*n - 57. Let d be (9 + -6)/((-1)/(-7)*3). Does 19 divide m(d)?
True
Let z = -25 - 252. Let k = 615 + z. Is 10 a factor of k?
False
Let q = -4010 - -5623. Let j = q - 1053. Does 70 divide j?
True
Let r(f) = 12*f - 13. Let i be 24/(-9) - (3 + 11/(-3)). Let h = 21 + i. Is 30 a factor of r(h)?
False
Suppose 0 = -4*d + m + 3361, -5*d - 75*m = -70*m - 4195. Does 14 divide d?
True
Let c be 46*(-41 - 24/2). Suppose 9 - 39 = 3*o. Is 40 a factor of (-1)/(-5) + c/o + -4?
True
Let v = -436 - -438. Suppose 4*f - 1095 - 1115 = -2*m, 1117 = m - v*f. Is 11 a factor of m?
True
Let s be -1 - ((-5620)/14 + 92/(-161)). Suppose 4*m + 4*r - 35 = s, 3*m - r - 339 = 0. Does 8 divide m?
True
Let j(m) = -27*m**3 - 2*m**2 - 23*m - 5. Let d be j(-4). Suppose 19*n - d = 820. Is 14 a factor of n?
False
Suppose 5*i + 5*t = 89890, -5*i + 48*t - 44*t = -89899. Does 224 divide i?
False
Suppose 5*t - 48192 = 2*g, 28*t - 5*g + 19242 = 30*t. Is t a multiple of 33?
True
Suppose 0*o = -49*o + 152880. Is 73 a factor of o?
False
Let x(k) = k**3 - 7*k**2 - 19*k + 17. Let o be x(9). Suppose -o*z - 4*z = -3240. Is z a multiple of 46?
False
Let c(h) be the first derivative of -23*h**6/120 - h**5/60 + h**3/6 + 21*h**2/2 + 2. Let w(z) be the second derivative of c(z). Does 4 divide w(-1)?
False
Is 255/(-45) - (-5)/(-15) - -6188 a multiple of 13?
False
Suppose 148 = 2*s - 100. Let g = s - 115. Suppose -2*i + 5*j = -307, -g*i + 5*j + 619 = -5*i. Is 13 a factor of i?
True
Suppose -4*b - 3*y + 2695 = 0, 5*y = -3*b + 3167 - 1143. Let p = 1056 - b. Is p a multiple of 15?
False
Let w be (-9)/(-6)*(14 - 120). Let n = w - -369. Is n a multiple of 20?
False
Suppose -2*m