)/(-3) - -1) a multiple of 9?
True
Let s(w) = 19*w**3 + w**2 - 7*w + 11. Is s(2) a multiple of 17?
True
Let u(b) = -5*b - 9 - 4 + 3. Is 25 a factor of u(-17)?
True
Let u(k) = -44*k + 350. Is 3 a factor of u(7)?
True
Let a(t) = -t**2 - 6*t + 4. Is 12 a factor of a(-4)?
True
Let b = 969 + -648. Suppose 6*m - b - 111 = 0. Is 12 a factor of m?
True
Let y = 579 - 117. Does 42 divide y?
True
Let t = -79 - -56. Let x = t - -27. Suppose -4*d + 432 = -x*w, -d + 3*w = -2*d + 96. Is d a multiple of 19?
False
Suppose -485 = -5*r - u, -2*r + u + 56 = -131. Does 12 divide r?
True
Let i = 1822 - 918. Does 8 divide i?
True
Let m = 110 - 62. Let r be (-5)/25 - m/(-15). Suppose r*f + 3*y - 81 = 0, -2*y + 151 = 5*f - y. Is 18 a factor of f?
False
Let r = 1045 - 720. Is 42 a factor of r?
False
Let w = -1939 - -2239. Is 6 a factor of w?
True
Let n(g) be the third derivative of g**5/60 - g**4/4 + 7*g**3/6 + 21*g**2. Does 3 divide n(6)?
False
Let f = -135 - -420. Is 20 a factor of f?
False
Let p = -119 - -116. Let i(n) be the third derivative of -n**4/4 - n**2. Does 18 divide i(p)?
True
Let g = -450 - -672. Does 37 divide g?
True
Let h be 2*7*(-23)/46. Let d = h - -15. Does 2 divide d?
True
Suppose 6 = -15*b + 17*b. Suppose -15 = -b*r - 2*r. Suppose -s + 55 = 4*s + 5*n, r*s - 4*n = 5. Is s a multiple of 6?
False
Let g be 16/10 + (-6)/10 + -194. Is (-3)/12 + g/(-4) a multiple of 12?
True
Let s be (54/8)/((-3)/12). Let u = s + 63. Is 9 a factor of u?
True
Let t(z) = z**3 - 6*z**2 + 3*z + 6. Let j be t(4). Let q(n) = 14*n. Let y be q(5). Let c = y + j. Does 14 divide c?
True
Let j be 78*-1*(-54)/(-12). Let b = j + 531. Is b a multiple of 36?
True
Suppose o + 2028 = 4*b - 3*o, -5*b + 4*o = -2532. Does 7 divide b?
True
Let y(b) = 3*b + 3. Let x be y(-3). Let h = 120 + x. Does 28 divide h?
False
Let w be 9/(-1)*(-56)/12. Is ((-36)/(-10))/(w/140) a multiple of 7?
False
Let r(y) = 191*y**2 - 7*y - 24. Is 44 a factor of r(-3)?
True
Suppose -5*f + 2*z = -3448, -3*z - 1388 = -16*f + 14*f. Is f a multiple of 4?
True
Suppose 3*t + 13 = 2*o, -t = -2*o + 4 + 3. Suppose -5*v = -b + 244, o*b + 125 = 5*v + 613. Does 32 divide b?
False
Suppose -6*i + 720 = -4*i. Does 36 divide i?
True
Let z(h) = 8*h**3 + 2*h**2 - 7*h + 4. Is z(3) a multiple of 9?
False
Let p(o) be the second derivative of 2*o**3 - 3*o**2 - 9*o. Let b be (-1 - 0) + 6 - 1. Is p(b) a multiple of 14?
True
Let h be (-4)/6 + (-3970)/(-15). Suppose 15*z - h = 12*z. Does 22 divide z?
True
Suppose 0 = -2*z - 6*z + 3160. Let y = -255 + z. Does 28 divide y?
True
Let l be 4/5*(-25)/(-2). Suppose -r + l = -43. Is 7 a factor of r?
False
Let a(n) = -58 + 27 + 3*n + 27. Is a(7) a multiple of 5?
False
Suppose -8*q + 161 = -95. Suppose 56 = -3*m - v, 4*m + 81 = 5*v + 19. Let k = q + m. Does 4 divide k?
False
Let a(t) = t**2 - 16*t + 58. Does 43 divide a(44)?
True
Let w = -4 + 7. Suppose -w*d = -p + 2*d + 59, -3*d - 12 = 0. Is 15 a factor of p?
False
Let x be (0 - (2 + 0))*-2. Let i(k) = 2*k + 11. Let r be i(-4). Suppose x*h = 5 + r. Does 2 divide h?
True
Suppose 35 = 17*u - 33. Suppose 0 = -b + u*j + 125, -4*b + 511 = -0*b - 5*j. Is 43 a factor of b?
True
Suppose 2*i = 4*k + 8 + 14, 2*k = -2*i - 2. Suppose -i*n = -5*h - 115, -h + 229 = 5*n - 0*h. Is 45 a factor of n?
True
Suppose -4*o = y - 10224, -42*y = -3*o - 43*y + 7667. Is 58 a factor of o?
False
Let w(m) = 277*m + 143. Is w(5) a multiple of 6?
False
Let r = -414 + 628. Suppose -r = -5*z + 131. Is 24 a factor of z?
False
Let g(a) = 5*a**3 + a**2 - a. Let d be g(1). Suppose 0*n - n = -d. Suppose -4*f - 64 = -4*q - q, n*f = 5*q - 65. Is q a multiple of 12?
True
Suppose 9*z - 279 + 27 = 0. Is z a multiple of 2?
True
Let s(k) = 18*k**2 - 10*k + 4. Let a be s(4). Let j = -172 + a. Is 34 a factor of j?
False
Let o(s) = s**2 + 15*s + 16. Let c be o(-11). Let d = -29 - c. Is 14 a factor of -1 + (-228)/(4/d)?
True
Suppose -24*q = -18*q - 1380. Does 10 divide q?
True
Let r(w) = 133*w - 2*w**2 - 124*w + 2*w**2 + w**2 - 66. Is 24 a factor of r(-18)?
True
Does 21 divide 556/(((-9)/18)/((-1)/4))?
False
Suppose 18*s = 5446 - 586. Is s a multiple of 10?
True
Let h(p) = -5*p**2 - 46*p - 25. Let k(a) = -a**2 - 9*a - 5. Let w(s) = -2*h(s) + 11*k(s). Let y be w(-6). Suppose 7 = 4*v - y, 3*b - 32 = 2*v. Does 3 divide b?
True
Is 69 a factor of (-2)/(-14)*-24*(-161)/2?
True
Let k(i) = -8 - 3*i**2 - 2 + 2*i**2 + 13*i. Let j be k(11). Is 26 a factor of (-422)/(-8) + j/(-16)?
True
Suppose n = 3*n. Is 6 a factor of 6 - (3 + -5 + (n - -2))?
True
Suppose 2*g - 55 - 681 = 0. Is g a multiple of 16?
True
Let t = -1 - 4. Let y = 3 + t. Is 6 a factor of 3 - (2 + 18/y)?
False
Suppose 3*p = 19 - 7. Let y be -1*2*(p - 5). Suppose 2*r + y - 88 = 0. Is 15 a factor of r?
False
Suppose 2 - 5 = -m. Suppose 15 = -m*u, t - 5*u + 10*u - 24 = 0. Suppose 0 = -4*f + t + 7. Is 6 a factor of f?
False
Let k be 2/(-2)*(-120)/(-10). Is (-8)/6*(-33 - k) a multiple of 8?
False
Let a = 349 - 919. Let x = a + 798. Suppose 6*j - j + 2*f = x, 0 = -f - 1. Is 13 a factor of j?
False
Suppose 37224 = -147*q + 169*q. Does 18 divide q?
True
Suppose 4*c = 9*c. Suppose 3*i + c = 15. Suppose -i*k + 5*a = -310, -2*a = -2 - 0. Is k a multiple of 7?
True
Let d be -2 - (-1 - (240 - 2)). Suppose 0 = -6*i + d + 291. Suppose 12 + i = 5*f. Is f a multiple of 10?
True
Suppose 5*s - 68 - 153 = -r, 0 = -2*s + 2*r + 98. Does 33 divide s?
False
Let q be 9/18*10*11. Let g be (6/(-4))/((-6)/(-128)). Let l = g + q. Is l a multiple of 9?
False
Suppose 4*u - 162 = 3*o, -3*u - 5*o - 205 = -8*u. Suppose -4*f = -149 - u. Is f a multiple of 9?
False
Let a be (-2*1)/(13/52). Let q = -13 - a. Is 15 a factor of (-3444)/(-70) - 4/q?
False
Let j = 143 - 117. Is j even?
True
Let i(k) = -9 - k + 0 - k + 215*k**2 + 7. Is i(-1) a multiple of 43?
True
Let n be (5/((-10)/52))/((-4)/8). Let p = n + 129. Is p a multiple of 15?
False
Let z(n) = 25*n**2 + 2*n + 7. Let m be z(-3). Let t = m - 52. Is 58 a factor of t?
True
Let c(d) = -d**3 - 9*d**2 - 14*d + 1. Let t be c(-7). Suppose -a + t = 0, -h + 111 = 4*a - 16. Is 9 a factor of h?
False
Suppose -4*v + i - 7 + 2 = 0, i - 1 = 0. Is (-9 - -7) + -1 + 16 + v a multiple of 4?
True
Suppose s - 12 = -0*s. Let q be (-31)/(-4) - 3/(-12). Let z = s - q. Is z a multiple of 3?
False
Is 39 a factor of 1102/(-4)*(-3 + -1)?
False
Let w(d) = 116*d - 3. Let m be w(3). Let z = 590 - m. Suppose 3*x = -4*r + 277, x = -5*r + 93 + z. Is 20 a factor of r?
False
Suppose -4*v + 3*u = -337, -166 = 2*v - 4*v + 2*u. Does 7 divide (-2)/3 - v/(-6)?
True
Suppose 0*k - 99 = -3*k. Let o = k - 4. Suppose 0 = 5*x - 2*w - 306, -3*x + 163 = -4*w - o. Does 15 divide x?
True
Let y(j) = -10*j + 8. Let p(q) = 1. Let d(o) = -12*p(o) + y(o). Does 8 divide d(-6)?
True
Let r(d) = 2*d + 7. Let g(u) = u**2 - u + 1. Let s(c) = 3*g(c) - r(c). Suppose -12 = -12*f + 48. Does 16 divide s(f)?
False
Let g(k) = k**2 - 6 - 3 - k + 1 - 3. Let v be g(7). Let t = v + 14. Is 8 a factor of t?
False
Suppose 144 = 8*y - 1872. Does 18 divide y?
True
Let k be (-1)/((-2)/140) - -2. Suppose -2*u = -4*u + k. Is u a multiple of 12?
True
Let o(i) = -16*i**2 - 3*i + 1. Let g(k) = 6*k**2 + k. Let a(f) = 11*g(f) + 4*o(f). Suppose -4*b + 2*v + 11 = 3*v, -5*v = 25. Does 32 divide a(b)?
True
Let h = 62 + -34. Let w be (h/35)/(2/50). Let r = w - -20. Is 20 a factor of r?
True
Does 18 divide (0 - -1467) + (70 - 66)?
False
Suppose 34*c = 31*c + 12. Suppose -5*p + c*w = -0*p - 184, 0 = -5*p + 2*w + 182. Does 12 divide p?
True
Let j = 21 - 11. Let k = j + -17. Does 10 divide (18/(-14) + -3)*k?
True
Let n = -789 - -1413. Does 52 divide n?
True
Let c(h) = -h**3 + 18*h**2 + 18*h + 22. Let a be c(19). Suppose 0 = a*m + 49 - 229. Does 30 divide m?
True
Suppose u - 16 = -3*u. Suppose 0 = -u*z - z + 20. Suppose -z*h - s = -100 - 41, -s + 5 = 0. Is h a multiple of 14?
False
Let k(c) be the first derivative of -1 - 3*c + 15/2*c**2. Is k(3) a multiple of 21?
True
Suppose 3*c = -x + 4*c + 7, 0 = 2*x + c + 1. Suppose 0 = -x*b - 0*b + 10. Suppose b*f - 117 = 2*f. Is f a multiple of 17?
False
Suppose 0 = 48*n - 41*n + 679. Let z = 23 - n. Is 20 a factor of z?
True
Suppose l + 16 = 5*f, -4*l + 0*l - 13 = -3*f. Suppose -57 = -f*p + 159. Is 24 a factor of p?
True
Is 26 a factor of 1 + (-1462)/(-4) + (-25)/(-10)?
False
Let 