 -5*k = -2*k - t. Does 28 divide k?
True
Suppose -9*m - 21 = -129. Suppose -4*x - m = 0, 3*n + 5*x - 210 = 72. Is 18 a factor of n?
False
Let j(k) = -23*k - 3. Let h(f) = 93*f + 12. Let o(v) = 4*h(v) + 15*j(v). Suppose 2*z - 18 = -4*z. Is 14 a factor of o(z)?
True
Let k = -9 - -20. Let g(c) = c + 3 - 4*c - k*c + c. Is 14 a factor of g(-3)?
True
Let t = 573 - 341. Is 58 a factor of t?
True
Suppose 4*r + 5*l - 2071 = 0, l - 1545 = 12*r - 15*r. Is 47 a factor of r?
False
Suppose 290 = 7*a - 6745. Is 18 a factor of a?
False
Let c be 0/(6*(-2)/4). Suppose -340 = -c*n - 5*n. Is n a multiple of 17?
True
Let r = -13 + 15. Let v = r - -1. Suppose v*j - 4*m - 12 + 3 = 0, 0 = 2*j + 4*m - 26. Is j a multiple of 3?
False
Let j(k) = -k**2 - 7*k + 3*k - 3 + 0*k**2. Let v be j(-3). Suppose 4*c - 3 - 61 = v. Does 4 divide c?
True
Suppose -16*d + 17*d = 4. Suppose d*s - 2*l = 2*s + 14, l - 53 = -5*s. Is 2 a factor of s?
True
Let j be (-7618)/(-14) + (-17)/119. Suppose -2*q = 4*z - 5*q - 434, 3*q = 5*z - j. Is z a multiple of 22?
True
Let s be -39 + 1*2/(-2). Let x be (32/s)/(2/(-115)). Let p = 146 - x. Does 20 divide p?
True
Is 22 a factor of 660/55 - (-207 + -1)?
True
Suppose 5*y + 4*h + 2 = 0, -3*y = -y - 5*h - 19. Suppose -5*x + 153 - 29 = -f, -y*x + 3*f + 60 = 0. Suppose 7 = -q + x. Does 9 divide q?
False
Suppose -n + 57 = 4*f, -4*n - 3*f + 268 = n. Is n a multiple of 25?
False
Suppose j - 19 = 2*m, j + 3*j = -m + 13. Let b be 10/1 + 3/(-1). Does 17 divide m/b - (0 + -18)?
True
Let y be (-80)/(-3)*66/55. Suppose 36*p - y*p = 92. Is p a multiple of 10?
False
Let p = 1 + 6. Let y = p - -10. Suppose 4*s + y = 41. Is 5 a factor of s?
False
Suppose -6*n + 229 = 49. Is 26 a factor of n?
False
Suppose -28*t + 5701 = -18855. Does 127 divide t?
False
Suppose 3*z - 1816 = -65*u + 61*u, 0 = 3*u + 2*z - 1361. Is u a multiple of 11?
True
Let q(r) = -160*r + 10. Is 17 a factor of q(-1)?
True
Let i(z) = -z**3 - 5*z**2 - 5*z. Let n be i(-4). Suppose s + 1 = 4, n*s - 12 = 4*p. Suppose l - 1 - 11 = p. Is 7 a factor of l?
False
Let w(q) = q - 1. Let r be w(5). Let a = 6 - r. Suppose -168 = -2*u - a*u. Does 9 divide u?
False
Does 17 divide 23656/24 + (-1)/(-3)?
True
Let k be (24/(-32))/(2/(-8)). Suppose -k*d = -2*d - 114. Is d a multiple of 28?
False
Suppose -24480 = -40*w - 0*w. Is w a multiple of 9?
True
Let y(v) = -18*v**2 + 8*v + 10. Suppose 2 = q - 5. Let u be y(q). Is u/(-40) - (-6)/10 a multiple of 7?
True
Let n(x) = -x**2 - 16*x - 33. Let i be n(-13). Suppose -21 = -3*r - 3. Is 7 a factor of 3/r*i*7?
True
Let w be (((-27)/2)/9)/(3/(-16)). Suppose -w*c + 10*c = 20. Is c a multiple of 6?
False
Suppose -q = 8*q. Is 15 a factor of (10/2)/(q + (-5)/(-90))?
True
Let k(h) = 15*h**3 - h**2 + 1. Let j be k(1). Let m = 19 - j. Is 9 a factor of ((-363)/(-44))/(1/m)?
False
Let r = -92 - -95. Suppose 0 = -l - r, -g + 5*l + 82 = 8*l. Is g a multiple of 39?
False
Let t = 395 - 219. Let h = -8 + t. Is 21 a factor of h?
True
Suppose 2*c = 5*v + 471, -c - 2*v = 2*v - 203. Let q = c - -12. Is 49 a factor of q?
False
Let f(m) = -m**2 + 7*m - 6. Let b be f(4). Let t(a) = a**3 - 4*a**2 - 9*a + 3. Is 3 a factor of t(b)?
True
Suppose 0 = 5*b + 2 - 27. Suppose -o + b + 3 = 0. Is o even?
True
Let c be (3/2)/(6/16). Suppose -4*k - 8 = -c*i, -k - 2*k - 14 = -5*i. Suppose -o = i*o - 45. Does 9 divide o?
True
Let z = -13 - -16. Let v(y) = -22*y**2 + 11*y**2 + 4*y**3 - z*y**3 + 2*y + 2 + 6*y**2. Does 5 divide v(5)?
False
Let b = -7 + 5. Let s be ((-594)/63)/(b/14). Suppose s = -3*r + 6*r. Is 17 a factor of r?
False
Let j = 54 + -42. Let p be (-1 + -1 + 7)*1. Let s = j - p. Does 7 divide s?
True
Suppose 25 = 3*a - 689. Let l = a + -40. Is l a multiple of 18?
True
Let w(v) be the second derivative of v**5/20 + 3*v**4/4 + 7*v**3/6 - v**2 + 6*v. Let s be w(-8). Let d = s - -14. Is 5 a factor of d?
True
Suppose j = -2*h + 355, h - 350 = -j - 0*h. Is 5 a factor of j?
True
Let d = 152 + 153. Suppose 5*z = 4*l - d, -2*l - z + 65 = -l. Is l a multiple of 18?
False
Let z(v) = 9*v**2 - 5*v + 0*v**2 + 6*v. Does 34 divide z(-2)?
True
Suppose -11*x = -1389 - 2857. Does 58 divide x?
False
Let w = 17 + -24. Let a be 28/(-49)*w/2. Suppose -3*j - a*b = -79, -2*b + 8 = 2*b. Is j a multiple of 4?
False
Suppose 5*f + 2*p = 55, -2*f - f + 3*p + 54 = 0. Let d = f - -35. Is d a multiple of 16?
True
Let h(z) = z**3 + 3*z**2 - 5*z + 7. Suppose -r + 41 = 3*r - 5*y, 0 = 5*r + 3*y - 5. Is h(r) a multiple of 12?
False
Suppose 0 = -3*a + 4*w - w + 4770, a - 5*w - 1586 = 0. Is a a multiple of 37?
True
Let h(d) = 7*d**2 + 3. Does 23 divide h(4)?
True
Suppose -59*o - 4676 = -s - 62*o, -2*s + 9352 = 3*o. Is s a multiple of 28?
True
Suppose 389 = 4*m - 27. Is m a multiple of 13?
True
Suppose 12 = 4*x - 2*h, 0*h = -2*x - 5*h + 30. Suppose 3*s = x*l + 257, 5*l = 3*s + 4*l - 265. Is 18 a factor of -4*(4 + s/(-4))?
False
Let d = 3291 + -2015. Is d a multiple of 44?
True
Let f = 237 + -165. Is f a multiple of 12?
True
Let c(f) = 3*f**2 + 12*f - 6. Let v = 3 - 7. Let y(o) = o**2 + o. Let s(z) = v*y(z) + c(z). Is 5 a factor of s(4)?
True
Let j = 1081 - 1077. Suppose 52 = 3*q - s, q + 2*q = -2*s + 58. Suppose 4*b + 4*d - 16 = 0, -3*d + q = j*b - d. Is 4 a factor of b?
False
Let p(z) = z**3 + 9*z**2 - 11*z + 7. Let i be p(-10). Suppose i*h - 12*h = 125. Is 3 a factor of h?
False
Suppose 0 = 71*a - 77*a + 24. Let p(k) = 2*k + k**3 - 2*k**2 - 3*k**2 + 2*k**2. Is p(a) a multiple of 8?
True
Suppose 0 = -0*f - 4*f + 4*h - 36, -4*f + 3*h = 31. Let x(l) = -101*l + 37. Is x(f) a multiple of 49?
True
Let b(j) = j**3 + 4*j**2 - 6*j - 1. Let y be b(-5). Suppose -4*i + 19 = -3*l, -11 = -4*i - 9*l + y*l. Suppose -i*v = 10 - 82. Does 18 divide v?
True
Let f(k) = 36*k**2 + 15*k + 2. Is f(5) a multiple of 48?
False
Let w(m) = -12*m**3 + m**2 - 1. Let t be w(1). Let n = 15 + t. Suppose 0 = -2*j + 4*l + 72, -n*j - l - 2 + 89 = 0. Is 10 a factor of j?
True
Suppose -w + 3*s = -3*w + 3314, -w + 5*s + 1631 = 0. Does 13 divide w?
True
Suppose -s = 133 - 45. Let m be 31/11 + (-16)/s. Suppose -5*c + 57 = -0*c + 3*v, -c - m*v + 9 = 0. Does 12 divide c?
True
Suppose -5*i = 2*y - 184, 12*y = 4*i + 7*y - 134. Does 11 divide i?
False
Let d be -4*(-9)/(-24)*-2. Suppose 0 = d*t - 2*q - 345, 0*t = -t - 4*q + 115. Let b = t + -61. Does 18 divide b?
True
Is 11 a factor of (-16)/(-40) - (-1953)/5?
False
Let c be 1 - 4*2/8. Suppose -3*a = -c*a + 6. Does 10 divide (a + (-6)/(-4))*-50?
False
Let q(v) = 2*v**3 - 47*v**2 - 15*v + 3. Does 19 divide q(24)?
False
Let s = 711 - -441. Is 8 a factor of s?
True
Let p = -6 - -4. Let d = p - 13. Let u = -13 - d. Does 2 divide u?
True
Let m(a) = -a**3 + a**2 - a + 107. Let i be m(0). Suppose 4*g - i + 35 = 0. Is 15 a factor of g?
False
Suppose 0 = 138*z - 140*z + 254. Suppose 4*c = 85 + z. Is 3 a factor of c?
False
Suppose d - 25 = 2*j, -5*d + j + 77 = 3*j. Suppose -d*x + 12*x = -50. Is 27 a factor of (36/x)/((-1)/(-30))?
True
Suppose 29*f - 877 = 11883. Is 8 a factor of f?
True
Suppose 5*a = -4*t + 3900, 107*t - 106*t - 950 = 5*a. Is 13 a factor of t?
False
Let w(h) = 2*h**3 + 11*h**2 + 17*h + 1. Let n(a) = -a**3 - a**2 + a - 1. Let u(y) = 3*n(y) + w(y). Is u(8) a multiple of 16?
False
Suppose -22*p = 29*p. Let c be (-155)/(-9) + (-4)/18. Suppose -u = -2*o + c, -o - 3*u - 1 - 1 = p. Does 7 divide o?
True
Let t be (-8)/16 + 1/(-2). Let j be 0 + 1 + t/(-1). Suppose -3*z - 35 = -j*w + 29, -4*z = -3*w + 96. Is 6 a factor of w?
False
Let w be (-1)/6 + (-114)/(-36). Let v be -1 + -3 + 0 + w. Is 4 a factor of 0 + (-2 - v) + 8?
False
Let a(s) = -s**2 - s - 11. Let o be a(-5). Let m = 6 - o. Is m a multiple of 7?
False
Let o(u) be the second derivative of -7*u**4/24 - u**3/3 - 2*u**2 + 2*u. Let a(m) be the first derivative of o(m). Is 6 a factor of a(-2)?
True
Let c(j) = -j**2 + 8*j - 8. Let n be c(7). Let s be n/(-2) + (-90)/12. Let i = s - -16. Is i a multiple of 3?
True
Let v = -34 + 37. Suppose z = -z - 4, 5*q - 496 = v*z. Is 14 a factor of q?
True
Let z(t) = t**2 + 12*t - 8. Let l be z(-13). Suppose l*i = -4*p + 108, -p + 4*p = i + 62. Is p a multiple of 11?
True
Let h = 6 + 11. Suppose h*r = 21*r. Suppose r = o - 30 - 82. Is 35 a factor of o?
False
Let c(t) be the first derivative of 7*t**4/4 - t**3 + 3*t**2/2 - 7*t + 14. Does 24 divide c(3