r of a?
True
Let x(m) = -3*m + 9. Let h be (-4)/(-6)*33*1. Let l be x(h). Let q = -29 - l. Does 7 divide q?
True
Suppose 5*g - 265196 = 3*w - 22265, -w = 2. Is 15 a factor of g?
True
Let s be 5/(5/(-1)) - 5. Let r be (-992)/(-48) - (-4)/s. Suppose -r*v + 12*v + 1968 = 0. Is 16 a factor of v?
False
Let u(n) = 90*n + 996. Is 21 a factor of u(16)?
True
Suppose 0 = -4*p - 5*j + 7733, 4*j + 1083 + 866 = p. Is 13 a factor of p?
True
Suppose 3*s + 9*l = 7*l + 6169, -4122 = -2*s + l. Is 71 a factor of s?
True
Suppose -2*x + 2*d = -780, x - 588 = -5*d - 180. Let w = 361 + x. Is 58 a factor of w?
True
Let o(h) = 9358*h**2 + 593*h + 592. Is o(-1) a multiple of 9?
False
Let t be -2*((14 - -2) + -2). Let g = 34 + t. Is g a multiple of 6?
True
Let l(n) be the third derivative of 5/12*n**4 + 0 - 19/3*n**3 - 6*n**2 + 0*n. Does 22 divide l(6)?
True
Let a(h) be the third derivative of 17*h**6/720 + h**5/12 - 3*h**4/4 - 10*h**2. Let p(j) be the second derivative of a(j). Is 40 a factor of p(12)?
False
Suppose -4*b = 23*k - 20*k - 18650, -b = -2. Suppose 6*j - k + 2164 = 0. Does 15 divide j?
True
Is 304040/33 + 5 + 6/9 a multiple of 40?
False
Let w = -75 - -75. Let y be 4/(0 - (2 + w)). Does 5 divide 48 - 0 - (1 + y + -1)?
True
Suppose h = -5*k + 2460, -9*h - 5*k + 7400 = -6*h. Does 3 divide h?
False
Let h be 3/2 - (-1)/2. Suppose b - 21 = -h*u, 5*u + 0 = b - 7. Suppose 14*j + 18 = b*j. Is j a multiple of 6?
True
Let z = -182 - -310. Let j = z - 110. Suppose 0*g = j*g - 144. Is g a multiple of 3?
False
Suppose 792*w = 789*w + 15. Suppose t - 64 = -2*l, -7*l + w*l - 64 = -t. Is t even?
True
Let f = 12049 - -3484. Is 64 a factor of f?
False
Suppose 0 = 4*s + 35 - 31. Let t be s*16/(-5) - 14/70. Suppose -2*a + 5*x = a - 409, t*x - 241 = -2*a. Is 33 a factor of a?
False
Let x be -7 - (-959)/63 - 4/18. Suppose -2369 + 409 = -x*z. Does 42 divide z?
False
Is 21 a factor of (7 - 5 - 110)/((-389)/(-196) - 2)?
True
Let f = -354 + 358. Suppose 2980 = f*z - 16*i + 18*i, -3*i + 3725 = 5*z. Is 18 a factor of z?
False
Suppose a - 2 = -a + 3*u, -26 = -5*a - 3*u. Suppose -2*z - 2*z + 12 = a*s, 5*z - 3*s = 7. Let f(w) = 12*w**3 - w**2 - 5*w + 5. Does 22 divide f(z)?
False
Suppose 10 = 2*p, 3*q - 6*q = -p + 41. Is 24525/36 + q/(-16) a multiple of 22?
True
Does 106 divide -6 + 2/((-37160)/(-334035) + 7/(-63))?
True
Suppose -14889 - 45 = -19*c. Is c a multiple of 3?
True
Let k(c) = -c**3 + 5*c**2 + 10*c + 1. Let w = 33 - 28. Let d be k(w). Suppose 0 = 16*s - 13*s - d. Is s a multiple of 8?
False
Suppose -31*d = -17965 - 4851. Does 4 divide d?
True
Let f(o) = o**3 - 5*o**2 + 3*o + 4. Let h be f(4). Let m(y) = 55 - 6*y**2 - 6*y**2 + 15*y**2 - 3*y**2 + y**3. Is m(h) a multiple of 11?
True
Let i be (-7 - -9)/4*0. Does 28 divide 199 + i/(-6) + 2 + -5?
True
Let w = 1404 + 39800. Does 88 divide w?
False
Let z be -1488*(-2)/(4/2 - 0). Suppose z = 6*q - 54. Suppose -2*b = -107 - q. Is 14 a factor of b?
True
Let g = -11 + 7. Let w be 5/((-125)/(-20))*(-275)/(-2). Is 9 a factor of 30 - ((-20)/w + g/(-22))?
False
Is 6011/2 - (120 + -123) - 6/(-4) a multiple of 35?
True
Let v(l) = -l**2 - 23*l - 88. Is 5 a factor of v(-15)?
False
Suppose -19*t + 12*t = -22*t + 33270. Does 10 divide t?
False
Suppose 0 = -19*c - 18*c - 25*c + 1751748. Does 136 divide c?
False
Suppose 4*b - 580 = -4*f, 6*b = b - 3*f + 719. Let w = 329 - b. Is w a multiple of 16?
False
Let y be 2*7*(-6)/(6/7). Let d = y + 146. Is d a multiple of 16?
True
Let s = -304 - -304. Suppose s = 3*x - 4*x + 583. Does 53 divide x?
True
Let w(a) = 6*a**2 - 26*a - 23. Let p be w(8). Is 17 a factor of (p + 21)/(9/30)?
False
Suppose 5*l - 7448 + 1568 = 5*h, -3*h - 5884 = -5*l. Is 14 a factor of l?
False
Let k = 844 + -3633. Let b = -1384 - k. Is 19 a factor of b?
False
Suppose -3*v - 22 = -2*w - 0*w, 2*v = -4. Suppose -z + w*z - 245 = 0. Is z even?
False
Let y be ((-6)/(-30) + 1)/((-4)/(-10)). Let x be (-16)/4 + 907 + y/(-1). Suppose 5*h + x = 10*h. Is h a multiple of 36?
True
Suppose 3*o + 3*c = -24, 11*o - 3*c = 10*o. Let z be (-144)/27 + (8/o)/(-1). Is 10 a factor of z/6 - (964/(-6) - 6)?
False
Let x be (-40)/10 - (-660)/1. Suppose 23*u - 333 = x. Is u a multiple of 3?
False
Suppose -5*d + 2457 = b - 2389, 5*b + 990 = d. Does 6 divide d?
False
Suppose 4 = 4*t, 10*w - 9*w + 3*t = 3693. Suppose -3*a - 2*x = -7*a + w, 4*x - 3684 = -4*a. Is a a multiple of 37?
False
Let s(z) = 2*z + 1. Let h(o) = 26*o + 73. Let p(j) = -h(j) + 3*s(j). Does 54 divide p(-17)?
True
Let t(u) = -7*u. Let a(q) = -7*q. Let l(r) = -6*a(r) + 7*t(r). Let j(k) = -3*k**3 - 8*k**2 + 4*k - 8. Let f be j(-3). Does 7 divide l(f)?
True
Let l(p) = -p + 1. Let t(m) = -22*m. Let r(s) = 45*s - 1. Let y(n) = -2*r(n) - 5*t(n). Let z(k) = -5*l(k) + y(k). Does 7 divide z(2)?
False
Let y be (1/(-4))/((-37)/444). Let b(l) = 10*l**3 - 4*l**2 - 5*l + 16. Is b(y) a multiple of 17?
False
Let c(z) = -31*z - 352. Let g(j) = 16*j + 175. Let i(m) = -4*c(m) - 7*g(m). Is i(31) a multiple of 32?
False
Let f(g) = -3*g + 9. Let n be f(2). Suppose 5*y + 2*k - 635 = 5447, -12 = n*k. Is y a multiple of 58?
True
Suppose 7*k + 30 = -3*k. Let u = k - 2. Is 14 a factor of 3/(-12) + ((-6195)/12)/u?
False
Suppose 1592 = -31*m - 8824. Is ((-10)/(-6))/((-16)/m) a multiple of 5?
True
Suppose -15424 = -10*x + 2216. Suppose 0 = -3*r + 10*r - x. Is r a multiple of 14?
True
Suppose 117 = 2*u + 111. Suppose 4*h + u*a = 7*a + 3536, 12 = -3*a. Does 10 divide h?
True
Let s(n) = 5*n**2 - 5*n - 32. Let k be s(4). Suppose -k*w + 667 + 1265 = 0. Is 2 a factor of w?
False
Let r(p) = -p**3 - 10*p**2 - 15*p + 8. Let j be r(-8). Suppose 58*o - 57*o + 18 = j. Does 17 divide (-303)/o + ((-39)/(-18) - 2)?
True
Let u(b) be the second derivative of b**6/360 + 11*b**5/120 + 31*b**4/12 - 19*b. Let i(s) be the third derivative of u(s). Is 2 a factor of i(5)?
False
Suppose 2612 = x - 2*c, 5*x + 897 = c + 13885. Is 22 a factor of x?
True
Let p = 16090 + -13557. Is 4 a factor of p?
False
Let r(a) = -1. Let p(l) = 6*l**2 + 2*l - l - 20 + 0*l**2 - 5*l**2. Let g(m) = -p(m) - 3*r(m). Does 4 divide g(0)?
False
Suppose -19*q = -24*q + 180. Let r be (-5)/(-2) + (-18)/q. Suppose r*z + 2*l + l = 69, 3*z = -4*l + 104. Is 6 a factor of z?
True
Let a(k) = 1056*k**2 - 77*k + 213. Is a(3) a multiple of 17?
True
Suppose -4*g - 3 = -f, -3*f + 10 = -5*g + 1. Suppose f = 3*c - 9. Suppose -2*v - c*x = -36, 0 = 2*x - 5*x - 3. Is v a multiple of 8?
False
Let r = -36356 + 40794. Does 14 divide r?
True
Suppose 0 = 10*d - 172 - 28. Is 18 a factor of 3132/d + (-3)/5?
False
Let o = 154 - -101. Let h = o - 235. Is h a multiple of 5?
True
Suppose -2*a - j = -4*j - 40127, j = 5*a - 100337. Is 40 a factor of a?
False
Let c = 738 - -371. Suppose -295 = -12*l + c. Is 9 a factor of l?
True
Suppose 0 = -2*t + 18*t. Suppose t = 3*k - 5*c + 9, 3*k + 0*k = 2*c. Is 14 a factor of -5*((-188)/20 - k)?
False
Suppose -7*s - 5*s - 7*s + 255379 = 0. Is s a multiple of 8?
False
Let w be 2/6 + (-3 - 115/(-15)). Suppose w*j - 80 = j - 2*d, -j - 3*d = -10. Let r = 71 + j. Is r a multiple of 31?
True
Let p = 511 + -477. Suppose 0 = 5*u - j + 2*j + 129, -j = -u - 27. Let a = u + p. Is a a multiple of 8?
True
Let o(n) be the second derivative of 0*n**2 + 0 - 11*n - 35/6*n**3. Is o(-3) a multiple of 21?
True
Suppose 50*s = -4*m + 53*s + 10292, m = -5*s + 2596. Does 112 divide m?
True
Suppose 44*g - 96*g + 36*g + 96800 = 0. Does 110 divide g?
True
Suppose 80 = -7*g - g. Let x be (-10)/25 - 34/g. Suppose -2*t + v = -190, v + x*v = 16. Does 11 divide t?
False
Let z(u) = 3*u**3 - 4*u**2 - 21*u - 1. Let l be z(6). Let m = 590 - l. Is 8 a factor of m?
False
Suppose -28 = 2*u - 9*u. Suppose 67 = v - k, 4*v + 3*k - u*k = 283. Is 6 a factor of v?
True
Suppose h - 885 - 2634 = 0. Does 14 divide h?
False
Let h be -6*(-1 + (-3)/(-18)). Suppose -2*x - 5*c = 56, -171 = h*x - c - 2*c. Is 3 a factor of -4*(-12)/64 - x/4?
True
Let i(n) be the first derivative of n**4/4 + 7*n**3/3 + 9*n**2/2 + 8*n + 70. Let q(r) = -5*r**3 + 2*r**2 - 2*r + 1. Let f be q(1). Is i(f) a multiple of 4?
True
Suppose -13*d + 114 = -7*d. Let b be (68/(-10))/((-14)/35). Let s = d + b. Is s a multiple of 18?
True
Suppose -909 + 4785 = -4*b. Let s = 516 - b. Suppose -9*r = 6*r - s. Is r a multiple of 33?
True
Let v = 46 - 56. Let p be