 - f*x + 10 = 4*u, -5*x - 4*u + 50 = 0. Is 9 a factor of x?
False
Let u be 6/(-8)*-1*264. Suppose 3*i = 6*i + u. Let f = -26 - i. Is f a multiple of 20?
True
Let h(w) be the first derivative of w**5/20 - w**4/2 + 7*w**3/6 - w**2 + 3*w + 1. Let k(q) be the first derivative of h(q). Is 3 a factor of k(5)?
False
Let u(s) = -4*s**2 - 150*s + 3. Is 10 a factor of u(-36)?
False
Suppose -2*c + 2*a + a = -38, 5*c + 4*a = 72. Is c a multiple of 11?
False
Let q(l) be the first derivative of -l**2/2 - 10. Let o(z) = z**2 + 8*z - 3. Let r be o(-8). Is 3 a factor of q(r)?
True
Suppose -1540 = 10*l - 14*l - 4*k, 5*l + 2*k = 1940. Is l a multiple of 13?
True
Suppose -2*y - 8*y + 850 = 0. Is y a multiple of 17?
True
Let b(d) = -80*d - 32. Let w be b(-16). Is ((-3)/7)/(-1) + w/28 a multiple of 7?
False
Let k(r) = 4*r. Let p be k(3). Let b = p - 8. Suppose o + j = 18, -b*o - j + 96 = -3*j. Does 6 divide o?
False
Suppose -165 = -3*g - 2*w + 263, 3*g - 2*w = 436. Is 8 a factor of g?
True
Let j be (-9)/27 + (-28)/6. Let l(s) = -s**2 - 16*s - 5. Is 7 a factor of l(j)?
False
Suppose -3798*a = -3792*a - 18732. Is 108 a factor of a?
False
Let k(p) = -27*p**2. Let b be k(-1). Let y = b + 24. Does 14 divide (y/6)/((-2)/112)?
True
Suppose 0*n = 5*n. Suppose n = l - 0*l - 178. Does 34 divide l?
False
Suppose n - 8 = -3. Let r(p) = -n + 5 + 0 + 18*p - 2. Does 17 divide r(2)?
True
Let r = -40 + 39. Is (0 - r)/(7 - 750/108) a multiple of 18?
True
Suppose 5*k = -w + 354, 5*w + 249 + 81 = 5*k. Is 7 a factor of k?
True
Let c(t) = -3*t + 3. Is 2 a factor of c(-13)?
True
Suppose -2 = -j + 2. Suppose 11 - 27 = -j*q. Suppose 82 = q*l - 94. Is l a multiple of 12?
False
Does 53 divide ((-10618)/(-8) - 2) + (-66)/264?
True
Suppose -126 - 129 = -3*m. Suppose 2*h = -3*h - 25, 3*f - m = -h. Is 11 a factor of f?
False
Suppose 588 = 18*k - 11*k. Does 3 divide k?
True
Does 9 divide (-7)/(-63)*-3*-747?
False
Let u(s) = 7*s**2 + s + 6. Is u(2) a multiple of 12?
True
Let n = 1 - 0. Suppose 0 = 5*i - 6 + n. Is i*(-1)/2*-36 a multiple of 9?
True
Let t = -227 + 256. Let m(u) = -u**2 - u - 3. Let x be m(3). Let h = t + x. Does 5 divide h?
False
Let m(q) = -12 + 36*q + 4*q + 27*q - 36*q. Is m(3) a multiple of 31?
False
Suppose 652*m - 396 = 648*m. Is m a multiple of 11?
True
Suppose -4*v - 3*h - 60 = 0, -2*v - v + h = 58. Let r = v + 21. Suppose 2*z = -r*m + 158, 5*m - m - 3*z = 222. Does 18 divide m?
True
Let r(s) = 2*s**2 + 2*s - 7. Let v be 43/(-6) - 1/(-6). Let t be r(v). Suppose t = -d + 2*d. Does 12 divide d?
False
Let q(u) = -u**2 - 10*u - 2. Let b be q(-6). Let n = b - 11. Is (-22)/n - (-1 - 13) a multiple of 12?
True
Suppose 7*i = 39 + 17. Does 3 divide (138/12 - 5)/(2/i)?
False
Let t = -17 - -26. Let c be 39/t - 1/3. Suppose 3*p - 3*k = 6, c*p + 0*k + 2*k = 20. Is p a multiple of 4?
True
Let n be (-2)/(-3) - (-50)/6. Let f(c) = -6*c + 9. Let d be f(5). Is 11 a factor of (-238)/d + (-3)/n?
True
Let c = -43 + 57. Suppose -262 = 12*m - c*m. Is m a multiple of 35?
False
Suppose 13*q + 4 = 14*q. Let f(j) = q*j**3 - 10*j - 3*j**2 - 5*j**3 - 2*j**2 - 7*j**2 + 14. Is 2 a factor of f(-11)?
False
Let p(i) = 4*i - 23. Let d be p(7). Suppose 0 = b + 2*h + 3*h - 13, -3*h - 65 = -5*b. Let x = b + d. Is x a multiple of 7?
False
Let w(s) = -13*s + 30. Let p be 2/4*(1 + -27). Let d be w(p). Suppose -29 + d = 2*o. Is o a multiple of 15?
False
Let f(i) = i**3 - 7*i**2 + 5*i - 10. Let h be f(7). Suppose 2*l - h = -b - l, 3*b - 4*l = 36. Does 16 divide b?
True
Suppose 5*n + 3*z + 85 = 18, 5*n - 3*z = -73. Does 18 divide 36/5*(-35)/n?
True
Let f(u) = -u**3 + 4*u**2 + 11*u - 4. Let j = -4 - 0. Is 8 a factor of f(j)?
True
Let v(s) = -s**3 - 6*s**2 + 5*s - 8. Let n be v(-7). Suppose -n = 4*g - 134. Is g a multiple of 8?
True
Let x(f) = f + 1. Let v(u) = -3*u + 3. Let g(z) = v(z) + x(z). Let m be g(-4). Suppose 64 = s + m. Is 13 a factor of s?
True
Let k be 1 - (0 + 1) - (2 - 2). Suppose -5*i + 3*i + 2 = k, i + 323 = 4*y. Is y a multiple of 7?
False
Let x be 26/5 + 3/(-15). Suppose -x*t - 12 = -57. Is (17*t)/(9/6) a multiple of 34?
True
Suppose 54 = 2*c - 94. Let i = c + -3. Is i a multiple of 7?
False
Let p = 125 - 5. Suppose 8*o - 528 + p = 0. Is 16 a factor of o?
False
Suppose 2*d = -6, 0*d - 2*d + 4 = -2*r. Let j(y) = -y**3 - 5*y**2 + 2*y - 1. Let p be j(r). Let x = p + 40. Does 19 divide x?
False
Is 1227 + (50/(-40))/(1/(-4)) a multiple of 22?
True
Let a(k) = k**2 + 10*k + 24. Let d(o) = -9*o - 25. Let v(c) = 2*a(c) + 3*d(c). Is v(9) a multiple of 9?
True
Suppose 40*h - 910 = 30*h. Is h a multiple of 3?
False
Suppose 3*m - 18 = m. Suppose -3*k = -2*p - m - 36, 0 = 2*k - 5*p - 19. Is 12 a factor of k?
False
Let m(q) = 9*q + q**2 + 1 + 2 - 9*q - 4*q. Is 6 a factor of m(7)?
True
Suppose 5*n - 11*n + 210 = 0. Suppose 2*t - 3*d - 446 = 0, -4*d - 263 + n = -t. Is t a multiple of 46?
False
Let q(u) be the first derivative of -33*u**4/4 - u**3/3 + u**2/2 + u + 1. Let j = -189 - -188. Does 16 divide q(j)?
True
Let p = 10 - 5. Suppose 2*r + p*k - 202 = 0, 0*k - k = -4*r + 360. Let x = r - 23. Does 26 divide x?
False
Let k(t) = 2 - 1 + 36*t - 31*t + 22*t**2 + 0. Does 46 divide k(-3)?
True
Let o(w) be the third derivative of w**4/8 - 8*w**3/3 + w**2. Let z(k) = 2*k**3 + 9*k**2 - 3. Let j be z(-4). Does 12 divide o(j)?
False
Let i be ((-12)/(-10))/((-5)/125). Is 16 a factor of i/25*-5*8?
True
Let z = -2013 - -2916. Does 13 divide z?
False
Let u(d) = -11*d - 9. Let z(t) = -t. Let g(j) = u(j) - 2*z(j). Is g(-6) a multiple of 9?
True
Suppose -8*d = -4*d - 20. Suppose d*q - 5*s = -4*s + 263, 3 = -s. Does 13 divide q?
True
Let z = 1 - 1. Suppose -7 = -k + 5*m, z*k + 5*m + 3 = -k. Suppose k*d + 145 = 4*d - 5*b, -4*b + 66 = d. Is d a multiple of 27?
False
Let k = 30 - 24. Suppose -4*s - 180 = -k*s. Is s a multiple of 12?
False
Let s be 535/(-15) + 2/3. Let a = -15 - s. Suppose -31 - a = -3*j. Is 17 a factor of j?
True
Does 25 divide 315/(-6)*180/(-30)?
False
Let l = -20 + 38. Let n = l + -14. Suppose 2 = 2*d, n*m = m - 4*d + 22. Is m a multiple of 6?
True
Let y(w) = -3*w - 7. Let u be y(-3). Suppose -2*z = -d - 4*z - 4, 0 = u*d - z + 8. Let o(b) = b**3 + 6*b**2 + b - 4. Is o(d) a multiple of 6?
True
Suppose -3*x - 12 = -4*x. Let a(s) = -2*s + 30. Let o(r) = -3*r + 60. Let h(n) = -7*a(n) + 3*o(n). Is h(x) a multiple of 15?
True
Suppose -25*v - 34 = -27*v. Is 17 a factor of v?
True
Suppose 0*i + 44 = -i. Let a = i + 10. Let z = 65 + a. Is z a multiple of 16?
False
Let g(y) = y**2 + 3*y - 13. Let a be g(-11). Suppose -a = 2*s - 181. Let l = -27 + s. Does 13 divide l?
True
Suppose -o + 1 = -2. Suppose 0 = -o*m + 5*m. Does 24 divide -2 - m - (-38 - 1)?
False
Suppose 10*u = 502 + 1548. Let l = u + -121. Is 14 a factor of l?
True
Let z = -16 - -19. Suppose 4*t - y - 290 = 0, -3*y = -0*t + z*t - 210. Is t a multiple of 8?
True
Suppose 45*u = 37*u + 400. Suppose 0 = -l - 0*l - 8. Let i = u + l. Is 12 a factor of i?
False
Let n = 396 - 274. Let f = n - 193. Let d = 167 + f. Is d a multiple of 31?
False
Let r be (2 - -2 - 2)*1. Suppose -2*z = 2*u + 4, z + r*u + 14 = 4*u. Let q = 15 + z. Is 5 a factor of q?
False
Let f(j) = 2*j**2 - j + 1. Let t be f(-2). Let b = -16 - -17. Let c = t + b. Does 12 divide c?
True
Let w = 679 - 587. Is 46 a factor of w?
True
Let k(c) = 19 + 5*c - 29*c**2 + 34*c**2 - 10*c - 7. Is k(2) a multiple of 4?
False
Let d(n) be the first derivative of 14*n**3/3 + 5*n**2/2 + 7*n + 9. Let u be d(3). Let g = u - 44. Is 26 a factor of g?
True
Suppose -4*l - 5*o + 1435 = 0, 353 = l - o - 8. Is l a multiple of 24?
True
Suppose 5*k - 2 = -4*m, 2*k = -2*m + m - 1. Suppose 0*y + m*x - 24 = -y, -x - 31 = -4*y. Is 4 a factor of y?
False
Let z = -21 + 17. Let p = z - -4. Suppose -2*x - o = -29, 2*o - 22 = -x - p*x. Is 4 a factor of x?
True
Suppose 11*w = 9*w - 40. Let c be w/3*(-57)/2. Let v = c + -133. Does 22 divide v?
False
Does 6 divide ((-111)/3)/((-6)/36)?
True
Suppose 0*i = -5*y + 4*i + 10, 3*i = 0. Suppose j + 125 = 2*j + 2*d, 0 = -y*d + 8. Does 17 divide j?
False
Suppose -4*r + 3*g - 7 = 0, 0 = 2*r - 0*r - 5*g + 21. Suppose 0 = -4*i - r*w + 254, -4*i = -2*w - 3*w - 219. Let q = i - 37. Is q a multiple of 24?
True
Let d(g) = -2*g**3 + 4*g**2 + 21*g + 7. Is d(-5) a multiple of 21?
True
Suppose 0*y = y - 3. Suppose -y*x 