o = 14*o + 10. Suppose -5*h = -g - 278, -o*h + 4*g + 197 + 75 = 0. Is h a multiple of 7?
True
Let k(r) = -r**3 + r - 17. Let f be k(0). Suppose -a = -4*a + 5*j - 24, -68 = 5*a + j. Let o = a - f. Is o a multiple of 4?
True
Is 5621/8 + (-15)/200*-5 a multiple of 36?
False
Suppose 0 = 11*c - 12909 - 19651. Is c a multiple of 46?
False
Suppose -4*q + 15 - 1 = -5*g, 5*g + 10 = 0. Suppose -3*c = 3, -u + 5*c = q - 10. Suppose -o + 30 + u = 0. Is 11 a factor of o?
False
Suppose -n - n - 134 = -j, 0 = j - 5*n - 119. Is j a multiple of 6?
True
Let p(f) = -4*f**2 + 2*f - 6*f + 4*f**2 - 23*f**3 - 5*f**2. Is 11 a factor of p(-2)?
False
Let m be (-1 - 20/12)/(1/(-9)). Let u = 1 + m. Does 25 divide u?
True
Let a be 10/(-4)*(-18)/45. Let r be 19 + -15 - (a + 0). Suppose s = -m + 42, -m + 4*s + 46 = r*s. Is m a multiple of 7?
False
Let v(z) = z**2 - 27*z + 14. Is 3 a factor of v(29)?
True
Let v = 35 - 101. Let q = 174 + v. Is q a multiple of 25?
False
Suppose 0 = -41*u + 36*u + 2700. Is u a multiple of 54?
True
Suppose 3*a + 4*h - 795 = 0, 4*h = -2*a + h + 531. Is 29 a factor of a?
True
Let u(k) = -4 - 10 + 7 + 5*k - 7. Does 15 divide u(9)?
False
Let w = -303 - -346. Does 33 divide w?
False
Let s(y) = -17 + 0*y - 9 + 22*y**2 - 21*y**2 + 9*y. Does 16 divide s(-15)?
True
Let g = 42 - 11. Let j = g - 29. Suppose -3*f + 2*a = j*f - 539, f - 5*a = 94. Does 20 divide f?
False
Let b(t) = t + 175. Is b(-22) a multiple of 5?
False
Suppose 2*d = -0*l + 2*l + 152, 5*d + 2*l = 345. Suppose -3*g + 16 = 109. Let s = g + d. Is 10 a factor of s?
True
Let b = -17 + 10. Let w be 1 + b/(7/(-2)). Suppose v = -6*j + w*j + 40, 8 = j - 5*v. Does 13 divide j?
True
Let b = -17 - -10. Let g be (7 - (0 + 3)) + b. Does 20 divide g/(-15) - 398/(-10)?
True
Let g(c) = 73*c. Is g(3) a multiple of 23?
False
Let z(k) = 46*k + 906. Does 6 divide z(-14)?
False
Let a(t) be the first derivative of t**2/2 + 45*t - 1. Is 16 a factor of a(-13)?
True
Let f(v) = -2*v**3 - v**2 + 6*v + 6. Let b be (-1*2)/((-12)/30). Let n(t) = -t**3 + 6*t**2 - 6*t + 1. Let u be n(b). Is f(u) a multiple of 32?
False
Suppose -181*g + 2670 = -171*g. Does 45 divide g?
False
Let j(v) = 3*v**2 - 7*v - 4. Let a(n) = 6*n**2 - 14*n - 7. Let o(r) = 4*a(r) - 7*j(r). Is 6 a factor of o(6)?
True
Let h = -39 - -45. Suppose -h*n + 520 = 7*n. Does 4 divide n?
True
Suppose -48 = -4*k + 608. Does 5 divide k?
False
Let k be 39/15 + 2 + 8/(-5). Is 10 a factor of 273/6 - (-1 + k/6)?
False
Let a(d) = d**3 - 9*d**2 - 14*d + 2. Let k = 10 - 10. Suppose 21*v - 17*v - 44 = k. Does 15 divide a(v)?
True
Let b be -2*(-4046)/12 - 24/(-36). Suppose -b = p - 6*p. Is p a multiple of 15?
True
Let y = 100 + 80. Suppose 0 = -5*u - 4*f + y, -2*u - 4*f + 32 = -28. Is u a multiple of 9?
False
Let l = 12 + -7. Suppose -3 = 4*c + l. Is 22 a factor of c/(-8)*4 - -21?
True
Suppose 2*b + 1 + 5 = 0. Let x be 5/(b - -2)*-1. Suppose u = -x*a - 7, -2 = u + 4*a - 0. Is 6 a factor of u?
True
Suppose -t - d + 25 = 0, -5*d + 45 = 9*t - 8*t. Is 4 a factor of 1610/t - (-6)/4?
False
Let k(g) = -1. Let y(i) = -i**2 + 8*i - 21. Let x(c) = -3*k(c) - y(c). Is 11 a factor of x(10)?
True
Suppose 5*i = o + 11 + 5, -4*o - 13 = -3*i. Let r = 100 + -16. Suppose -i*n + r = n. Does 6 divide n?
False
Let m(u) = u**3 - u**2 - 2*u + 36. Let t(i) = -i**3 + 6*i**2 + 8*i - 10. Let d be t(7). Let z be (1 + 1 - -1) + d. Is 12 a factor of m(z)?
True
Suppose 17*a = 998 + 3762. Is 10 a factor of a?
True
Let h(m) = m**2 + 3*m + 4. Let g be h(-3). Suppose 4*j = 67 + 5. Suppose 70 = g*d - j. Is d a multiple of 17?
False
Suppose 0*i + 4*i + 8 = 4*t, 60 = 5*t + 5*i. Suppose -t*w + 35 = -6*w. Does 9 divide w?
False
Let l(m) = -3*m + m + m**2 - 2*m - 5 + 3*m. Let x be l(0). Let k = 14 + x. Is k a multiple of 6?
False
Suppose t - 20 + 0 = 0. Suppose l + l + t = 0. Does 8 divide l/25 + (-172)/(-5)?
False
Let c be (-46)/(-4) - 6/(-12). Suppose -3*j - 5*l = -365, l - 4*l + c = 0. Is 22 a factor of j?
False
Suppose 0 = -4*p + 3*o - 40 + 265, 69 = p - 5*o. Suppose 0 = -v - 0*v + p. Is 18 a factor of v?
True
Suppose -v + 0*n = 4*n - 366, -4*n = -3*v + 1162. Is 16 a factor of v?
False
Does 17 divide (-9)/(360/(-656))*10?
False
Suppose w - 227 - 231 = 0. Let l = w + -266. Is 48 a factor of l?
True
Suppose -2*j - 5 = -385. Let f = j - 131. Is 17 a factor of f?
False
Does 35 divide 6/14 + 5856/56?
True
Let n(y) = 2*y**3 + 12*y**2 - 5. Let w(m) = -m**3 - 11*m**2 - m + 5. Let g(u) = -2*n(u) - 3*w(u). Let o be g(9). Suppose 4*i = o + 34. Is 14 a factor of i?
True
Let w(n) = 4*n**2 + 21 - 11 - 2*n**2. Is w(9) a multiple of 9?
False
Suppose -4*t + 9*t + 10 = 0. Is 10 a factor of ((-632)/16 - (-3)/2)*t?
False
Suppose 0*g - 8 = 4*s - g, 4*s - 3*g + 16 = 0. Let v be (-2)/(-4) - s/(-2). Suppose -5*u + 45 = -5*n, v = 5*u - 2*n + 4*n - 17. Is 3 a factor of u?
False
Suppose 4*t - 12 = 0, -2*t - 1 = 3*h - 25. Let z be (4/h)/(11/33). Suppose z*i - i = -u + 21, 0 = u + 5*i - 41. Is 4 a factor of u?
True
Let o be (-13)/(65/30)*8/(-6). Suppose 0 = -3*i + 3*n - o*n + 105, 0 = -3*i + 4*n + 132. Is i a multiple of 19?
False
Let v(n) = n**2 + 36*n + 133. Is 49 a factor of v(-40)?
False
Let g(q) = -q + 6. Let x be g(4). Let n be 1/x*2 - -4. Suppose 22 = n*k - 3*k. Is k a multiple of 2?
False
Let y(x) = -x + 1. Let o be y(-6). Let l = o - 9. Is 5 a factor of (4 + l)/(4/10)?
True
Suppose 5*w - 31 = -1. Suppose -3*x = -5*g - w*x + 40, 3*g = -4*x + 35. Suppose 0 = -g*f - 4 - 11, -10 = -b - f. Does 11 divide b?
False
Let c = 461 + -348. Is 6 a factor of c?
False
Suppose 7 = -8*v - 1. Does 11 divide 4/v - (-112 + -2)?
True
Let f(c) = 31*c**2 + 10*c**2 - 2*c**2 - 9*c - 9*c**2. Is 33 a factor of f(-3)?
True
Let o be 17/102 - (-46)/12. Let d = 39 - o. Is d a multiple of 7?
True
Let k(c) = c**2 - 3*c + 15. Let g be k(-6). Suppose -5*y + 2*y = -g. Is y a multiple of 8?
False
Let q(k) be the third derivative of 1/60*k**6 + 0*k + 1/24*k**4 - 1/60*k**5 + 1/6*k**3 + 7*k**2 + 0. Is q(2) a multiple of 9?
False
Let m(k) = 5*k**3 + 5*k**2 - 5*k + 5. Let o(t) = -9*t**3 - 10*t**2 + 10*t - 10. Let b(p) = -7*m(p) - 4*o(p). Does 24 divide b(3)?
False
Suppose 2*i = 2*p + 12, 4*p = 2*i + p - 15. Let r = -240 + 240. Suppose r = i*h - 5*h + 90. Is h a multiple of 15?
True
Let z(s) = s**3 + 8*s**2 + 0*s**3 - 4*s**2 + 6*s - 2*s**3 - 7. Let t be z(5). Does 7 divide (-36)/t - (-7 + 4)?
True
Suppose a + 3*r + 101 - 545 = 0, 0 = a + 2*r - 449. Let u = a - 326. Is 9 a factor of u?
False
Is 17 a factor of (-57177)/(-57) + (-22)/209?
True
Is (-2)/5 + (-8972)/(-5) + -6 a multiple of 16?
False
Let p = -64 - -69. Let u = p - -35. Is 14 a factor of u?
False
Let q(z) = -3*z**3 - 14*z**2 - 30*z - 15. Is q(-10) a multiple of 48?
False
Let s(b) = 5*b**3 - 2*b**2 - 2*b - 2. Let m be s(3). Let j = m - 50. Is j a multiple of 20?
False
Let g be 118/(-12)*-2*-3. Let b = 84 + g. Does 11 divide b?
False
Suppose a = 4 - 2. Suppose -a*n - 8 = -4*n. Let r = n + 8. Is 6 a factor of r?
True
Let a = 308 + 151. Does 17 divide a?
True
Suppose -33 = g + 3*c, -g + 2*g = c - 21. Let b = 53 + g. Does 10 divide b?
False
Let l(r) = -90*r + 19. Is l(-1) a multiple of 3?
False
Suppose 5*t = -2*w + 1951, 2*t + 3135 - 1163 = 2*w. Is 20 a factor of w?
False
Let s(f) = -7*f + 31. Let c(a) = -6*a + 31. Let u(w) = 3*c(w) - 4*s(w). Does 11 divide u(9)?
False
Let r(t) = -t + 6. Let j be r(2). Suppose j*q = -0*q. Suppose 4*f + 11 = 3*i, -4*i - 5*f + 4 + 21 = q. Is i a multiple of 5?
True
Let i = -358 + 1324. Is 21 a factor of i?
True
Does 6 divide ((-2771)/51)/((-2)/6)?
False
Let j = 83 - 83. Suppose j = -a - 6 + 221. Is 43 a factor of a?
True
Let d(s) = s**3 + 7*s**2 - 3. Let p = -18 + 21. Suppose 2*r - 2*b - b + 1 = 0, 3*b - 6 = p*r. Does 17 divide d(r)?
False
Let o(i) = i**2 - 16*i + 27. Let k = 126 - 101. Does 42 divide o(k)?
True
Let f(w) = -w**3 + 18*w**2 + 94*w + 51. Does 27 divide f(21)?
True
Suppose -5*c - 28 = -b - b, 0 = -5*b + c + 116. Suppose 5*z - b = -n, -3*z - n = -0*z - 16. Suppose -5*s = 20, 491 = 6*g - g - z*s. Does 31 divide g?
False
Let c be 33*(6/2 + -4). Let h = -27 - c. Suppose h*x = x + 15. Does 3 divide x?
True
Let z be -1 - 3/((-9)/21). Let q be 53/(-2) - z/(-4). Let f = 55 + q. Is f a multiple of 15?
True
Let v(k) = 3*k - 4*k + 2 + 0*k + 6. Is 3 a factor of v(-17)?
False
Suppos