m) = -6*m**2 - 4*m - 2. Let g(c) = -6*c**2 - 4*c - 2. Let a(r) = -5*g(r) + 4*t(r). Does 18 divide a(u)?
True
Let v(t) = -t + 8. Let b be v(6). Let n be 235 + -1 + b + 1. Suppose 0 = -g + 3, 0 = -5*r + g + n. Is 12 a factor of r?
True
Suppose 232 = -a + 9*a. Is a a multiple of 2?
False
Suppose 5*c + 3 = 18. Suppose -c*s - 2 = -20. Suppose 0 = 3*z - 2*p - 10, -s*z - 3*p = -z - 4. Is 2 a factor of z?
True
Suppose -2*g - a = -57, -5*g + 32 = 2*a - 109. Is g a multiple of 9?
True
Let i(x) = -x**3 - 36*x**2 + 68*x + 184. Is 8 a factor of i(-38)?
True
Let w(u) = 19*u**2 - 9*u - 15. Let r be w(-5). Let i = -232 + r. Is 39 a factor of i?
True
Let b = 15 + -12. Does 13 divide (11/b)/(3/54)?
False
Suppose -c = r + 120, -4*c + 8*c - 2*r + 480 = 0. Does 14 divide ((-68)/16)/(5/c)?
False
Let u(o) = o**2 + 3*o + 2. Let k be u(-5). Let x = k - 10. Suppose -x*g + 110 = -0*g. Does 9 divide g?
False
Let f = -362 + 1928. Is f a multiple of 18?
True
Let h(j) = j**2 + 8*j + 26. Let u = -83 + 75. Is h(u) a multiple of 3?
False
Let p(n) = n**3 + 9*n**2 - n + 7. Let r be p(-9). Suppose -7*c = 82 + r. Is c/77 - 596/(-11) a multiple of 18?
True
Suppose -15*w + 19*w + n - 1456 = 0, -w + 2*n = -364. Does 28 divide w?
True
Let q(z) = 15 + 22*z - 11 - 8. Is 6 a factor of q(2)?
False
Let n be (16/(-6))/2*39/26. Does 3 divide (-18 + (-4 - n))*-1?
False
Let i(k) = -19*k - 94. Is i(-11) a multiple of 46?
False
Let u = 346 + -218. Is u a multiple of 16?
True
Let f be (198/55)/(4/30). Let x be 144/f*(-3)/(-2). Suppose x*q - 441 = q. Does 9 divide q?
True
Suppose 4*p - 24 = 10*p. Let c = p - -149. Does 23 divide c?
False
Suppose k + 31 = -3*p, -5*p + k + k - 70 = 0. Let c = -11 - p. Is (14/10 - c)*60 a multiple of 8?
True
Suppose i - 3*y = 2*i - 1686, i - 1662 = 3*y. Is 9 a factor of i?
True
Suppose -2*l - 134 = -5*g, 4*g = 2*l + g + 138. Let u(r) = -r**2 + 2*r - 28. Let w be u(0). Let h = w - l. Is 11 a factor of h?
True
Let a(i) = i**3 + 5*i**2 - 2*i + 1045. Is 37 a factor of a(0)?
False
Is 13 a factor of 576794/207 + (-4)/9?
False
Let m(w) = 6*w**2 - 34*w + 38. Is m(9) a multiple of 20?
False
Let z be 80/(-60)*21/(-2). Let w = 29 - z. Is 14 a factor of w?
False
Let d = 4 + -37. Let f = 51 - d. Is 14 a factor of f?
True
Suppose 8 + 9 = -4*z + 3*m, -3*m = -2*z - 13. Does 6 divide (-3)/z - (-172)/8?
False
Suppose 2*g = 3*d + 1466, 0*g - g + 4*d + 743 = 0. Is g a multiple of 26?
False
Let p(w) = -w**3 - w**2 - 6*w + 9. Does 15 divide p(-7)?
True
Let i(v) = 2*v**2 - 63*v - 48. Is 10 a factor of i(33)?
False
Suppose -5*t - 1937 = -3*n - 4744, 0 = -2*n - 8. Is 8 a factor of t?
False
Does 33 divide (5082/35)/(6/15)?
True
Let g(u) = u**2 - 12*u + 10. Let s be g(11). Let y be 235/15*(-3)/s. Let c = y - -21. Is 19 a factor of c?
False
Let b(m) = m**3 + 4*m**2 - 14*m. Let l be b(-6). Suppose -3*j - 32 = -4*v + l, -30 = -3*v + 3*j. Does 14 divide v?
True
Suppose 16 = r - 5*j - 117, -3*j - 133 = -r. Let q be (4/6)/((-6)/(-657)). Let p = r - q. Is p a multiple of 20?
True
Suppose -748 = 36*y - 38*y. Is 17 a factor of y?
True
Let y(u) = 3 + 2*u**2 + 6 + 2 - u**2 - u. Let q be y(-5). Let w = q - 14. Does 9 divide w?
True
Let o = 38 + 112. Is o a multiple of 6?
True
Let l(i) = 2*i + 476. Is 14 a factor of l(0)?
True
Suppose -5*z + 4*q = -40, 2*z + 2*z - 3*q - 33 = 0. Does 10 divide 6*(3 - -2*z/8)?
False
Suppose -6*q = -56 - 28. Suppose g + q = 2*g. Is g a multiple of 14?
True
Let w(m) = -m**3 - 5*m**2 + 4*m + 3. Let s be w(-6). Is (-5)/(-2)*42/s a multiple of 2?
False
Let s(p) = -p**3 + p**2 - 12. Let q(o) = o + 1. Let l be q(-1). Let d be s(l). Is 6 a factor of (-167)/(-11) + d/66?
False
Let z be (-3 - -1)/(-10) + 541/(-5). Let j = -73 - z. Is 35 a factor of j?
True
Suppose 84*z = 82*z - i + 691, 0 = i - 3. Does 8 divide z?
True
Let a = -459 + 451. Let s(t) = 6 - t - 26 - 6*t. Is s(a) a multiple of 17?
False
Let h = -96 - -48. Suppose 9*p = 8*p + 6. Let f = p - h. Is f a multiple of 9?
True
Suppose 0 = -38*k + 37*k + 442. Is k a multiple of 17?
True
Let c(w) = 16*w**2 - 4*w + 1. Let y(l) = -18*l**2 + 3*l - 1. Let i(k) = -2*c(k) - 3*y(k). Let x(g) = -g + 4. Let j be x(3). Does 19 divide i(j)?
False
Let i(w) = -w**2 - 27*w - 43. Let q be i(-25). Is (5 - 4)*(-3 + q) a multiple of 2?
True
Let v = -136 + 135. Does 26 divide (13/(-3))/((-3)/(-108))*v?
True
Let s = -22 - -32. Let n = 13 - s. Suppose -15 = 5*p, -n*p + 43 = 2*g - 28. Is 20 a factor of g?
True
Suppose -47*i + 13948 = -3583. Is i a multiple of 5?
False
Let c(l) = -3*l**2 - 2*l**2 - 2*l - 8*l + l**3 + 2*l. Let v be c(6). Is (-80)/v*18/15 a multiple of 6?
False
Suppose -30 = 2*r + 2. Let f(c) = c - 55. Let p be f(-5). Does 11 divide (45/p)/(1/r)?
False
Suppose -2*v = -3*s - 0*s + 804, -4*s = -3*v - 1071. Is 5 a factor of s?
True
Let l = -134 - -136. Suppose 2*u - u = -l*q + 44, 0 = -3*u + 3*q + 177. Does 9 divide u?
True
Suppose 5*x = -37 + 147. Is x a multiple of 11?
True
Suppose -8 = 4*d, -6*d = -5*q + 2*q + 1323. Is 36 a factor of q?
False
Let d(x) = 8*x**3 - 9*x**2 - 5*x + 12. Is d(4) a multiple of 12?
True
Suppose 5003 = 4*q + 3*a - 10001, 3*q - 11253 = -7*a. Does 30 divide q?
False
Suppose -3*a + 0 + 19 = 2*r, r = -2*a + 12. Let o be (27/18)/((-3)/(-208)). Suppose 0*z = r*z - o. Does 26 divide z?
True
Let l = 15 + 0. Let x = -17 + l. Let a(f) = -2*f. Is 2 a factor of a(x)?
True
Let k = 12 + -29. Let o(r) = -4*r - 7. Does 8 divide o(k)?
False
Let b be (14/(-4))/7 + (-210)/4. Let r = 11 - b. Is 8 a factor of r?
True
Let u be (-3)/21 + (-150)/(-21). Let y(k) = 15*k + 23. Is 16 a factor of y(u)?
True
Let p be (-1)/(-3 - (-34)/12). Suppose 2*c = -3*l + 7, -c + 2*l = 6*l - p. Suppose c*b + r = 100, 4*b + r = 3*r + 192. Is b a multiple of 18?
False
Let p(j) = -j**3 - j**2 - j + 3. Let m be p(0). Suppose 0 = g - 4*h + 14 - 2, h = -3*g + m. Let x(z) = -z**3 + z**2 + 46. Is x(g) a multiple of 13?
False
Suppose 5*a - 766 = -2*d - 46, 0 = -d. Is 36 a factor of a?
True
Suppose -212 + 653 = 5*j + 2*f, 0 = -2*j + 4*f + 162. Suppose -a + 2*a = y + j, -2*a + 204 = 4*y. Does 23 divide a?
True
Suppose -4147 = -28*z + 1985. Is 41 a factor of z?
False
Let n(f) be the second derivative of f**4/3 + 7*f**3/6 - 5*f**2/2 + 11*f. Is 19 a factor of n(-9)?
False
Suppose 3*h + 5*r - 38 = 0, 2*h - 4*r + 8*r - 24 = 0. Let p = h - -8. Suppose 2*q = -0*q + p. Does 3 divide q?
True
Let h(q) = -q**2 - 47*q - 300. Does 15 divide h(-17)?
True
Suppose -5*b + 1 = -14. Does 21 divide b/((-4)/(2060/(-15)))?
False
Let u = -24 - -36. Suppose u - 3 = a. Is 2 a factor of a?
False
Does 66 divide 74652/39 - (3 + 111/(-39))?
True
Let n(b) = b**3 + 11*b**2 + 24*b + 21. Is 2 a factor of n(-6)?
False
Let k = 77 - 77. Is (-96 - k)*40/(-24) a multiple of 32?
True
Let v(c) = 2*c - 1. Let p be v(-3). Let i(r) be the third derivative of -r**4/2 + 5*r**3/6 + 48*r**2. Is 23 a factor of i(p)?
False
Let u(z) = 6*z**3 - 2*z**2 + 2*z. Let a = -6 + -2. Let j be (-22)/a + 45/(-60). Is u(j) a multiple of 11?
True
Let u = 734 - 248. Is u a multiple of 14?
False
Let w be ((-8)/12*-5)/(4/(-18)). Suppose -2*m - 4 = 0, 112 = -5*p - 3*m - 44. Is w/p - (-33)/2 a multiple of 6?
False
Suppose t - 5*t + 8 = 0. Suppose -2*a = t*z - 7*z + 19, 5*a - 2*z + 16 = 0. Let c = a - -17. Is c a multiple of 3?
True
Is (2/(-6)*-277)/((-2)/(-6)) a multiple of 13?
False
Let a(t) = t - 5 - t**3 + t + 4*t**2 - 12*t**2 + t. Let h be a(-9). Let k = 87 - h. Is 24 a factor of k?
False
Suppose -3*n - 294 = -5*i + 6333, -4*i + 5*n = -5299. Does 26 divide i?
True
Let k(n) = 177*n**2 - 34*n - 175. Is k(-5) a multiple of 34?
True
Does 3 divide (-1665)/(-75)*(-1 + 16)?
True
Let b be (3 - 2)*(3 - 9). Let t be b/(-3 - (-126)/44). Suppose -n + 4*j = -t, -3*n = 2*n - j - 163. Does 16 divide n?
True
Let k(u) = u**3 - 5*u**2 + 5*u - 2. Let h be k(4). Suppose h*y + y - 165 = 0. Suppose y = m - 2*g, -2 + 17 = -3*g. Does 23 divide m?
False
Let f(x) = 126*x - 277. Is 2 a factor of f(4)?
False
Let f be -8*(-13 + -1 + 2/2). Suppose 9*a + f = 284. Is 20 a factor of a?
True
Suppose 4*l + 36 = 5*n, -4*l - 4 = -3*l. Suppose -n*t = 3*t + 14. Let o(f) = -2*f + 6. Is o(t) a multiple of 9?
False
Suppose 3*y - 9 = 0, 4 = 5*j - 2*y - 0. Suppose v = 2*n - 267, -j*n = 3*v + 2*v - 261. Is 4 a factor of n?
False
Suppose -4*l - 4*n + 13612 = 0, -10*l + n + 