a multiple of 10?
True
Suppose 61*c - 62*c + 116 = 0. Let d = c + -52. Is d a multiple of 38?
False
Suppose -6*u + 240535 = 26*u + 41*u. Does 14 divide u?
False
Does 22 divide (6 - 1 - -17)*(-6314)/(-11)?
True
Suppose -2*z - 2 = 5*n, 4*z + 1 = 4*n + 3*z. Suppose 159 = 2*o + 3*s, n*s = -4*o + 5*s + 263. Does 12 divide o?
True
Let w(m) = m**3 - 9*m**2 + 16*m + 2. Let n be w(7). Let f(s) = s**3 - 17*s**2 + 15*s + 10. Let z be f(n). Is (-20 - 0)*(1 - z/(-2)) a multiple of 40?
True
Let r(d) = 2*d**2 + 8*d + 12. Suppose w + 2 = -4. Let x be r(w). Suppose -3*m = -2*m - x. Is m a multiple of 4?
True
Let q(i) be the second derivative of i**5/20 + 2*i**4/3 - 11*i**3/6 + 2*i**2 + 3*i - 48. Suppose -2*o = -8, -2*c - 5*o + 8 = 4. Is 23 a factor of q(c)?
True
Let y(w) = 4*w**2 + 30*w + 83. Suppose -19 = 3*n + 41. Does 34 divide y(n)?
False
Let g(y) = 17*y - 9. Suppose 5*r + 4*i = 34, r + 0*r - 2*i = 4. Let w be g(r). Suppose -12*b = -15 - w. Is b a multiple of 7?
False
Let p(w) = w**3 + 20*w**2 - 7*w - 50. Let j be p(-20). Let i = j + -74. Suppose -i*s - 294 = -1974. Is s a multiple of 15?
True
Suppose -17*f - 4050 = -26*f. Suppose f = 65*a - 62*a. Does 14 divide a?
False
Let d = 11715 + -10410. Does 15 divide d?
True
Suppose 3*m + i - 1904 = 0, -4*m + 4223 = -3*i + 1654. Is m a multiple of 13?
True
Suppose 0 = 3*i + 2*k - k - 67, i + 2*k = 24. Let n = i - 4. Is 16 a factor of (-4)/n - (-7 + (-6175)/45)?
True
Suppose 1 = -4*r + 6*r + z, -2 = 4*r - 2*z. Suppose 16*m - 6*m - 960 = r. Is 2 a factor of m?
True
Suppose -5*b + 4*z = -32794, -2*z + 32848 = 7*b - 2*b. Is 49 a factor of b?
True
Suppose -24*o + 20*o + 3*d = -12933, -1 = -d. Is 7 a factor of o?
True
Let u be 1394/4*(-10 - (-27 - -3)). Suppose 20*d - 27*d = -u. Is 69 a factor of d?
False
Is 34 a factor of 36/120 + (-8147)/(-10) - 4?
False
Let m = 22 - 20. Suppose 594 = 5*u - m*h, -3*u - 5*h + 375 = -0*h. Is 4 a factor of (-1*u/(-25))/((-6)/(-20))?
True
Let u(t) = -15*t - 164. Let b(v) = 45*v + 491. Let z(n) = -3*b(n) - 8*u(n). Does 56 divide z(-33)?
False
Is (-4599)/5*10*(-4)/12 a multiple of 29?
False
Suppose -4*j + 2604 = 2*q, 5*q + j - 6483 = -0*j. Let u = q + -829. Does 16 divide u?
False
Suppose -2*z + 12 = -0*l + 2*l, -5*l + z = -42. Suppose -5*a = -2*y + 2482, -l*a = -3*y - 10*a + 3723. Is 25 a factor of y?
False
Let h = 26 - 21. Suppose 0 = -100*l + 97*l, -h*r + l = -840. Is r a multiple of 23?
False
Let q be ((-20)/5 - -10)*(-5 + 6). Let y be (1/2)/(5/(-60)). Is 9 a factor of (-4)/q*9*(3 + y)?
True
Suppose -3*w - 5*i = -2 - 12, 0 = 3*i - 3. Let o be ((-2)/(-6))/(w/(-27))*14. Let h = 65 + o. Does 3 divide h?
False
Let l be 28/7 - 625 - -6. Let d = l - -1543. Is 16 a factor of d?
True
Let o(c) = -c. Let w(v) = -v**3 + 10*v**2 - 16*v + 7. Let i(j) = 6*o(j) - w(j). Let g be i(6). Is 26 a factor of (-26)/g - (-1 + (-1802)/14)?
True
Let a be -14*(-1)/(-4)*2. Let z = a - -5. Let w = 6 - z. Does 3 divide w?
False
Does 32 divide (382 + 2)*104/40*20/1?
True
Let n(t) = -261*t**3 - t - 2. Let q be (-13)/(26/57)*(-2 + 0). Let i = -58 + q. Does 13 divide n(i)?
True
Suppose -5*k + 2*p = -1197, 5*k + p - 601 = 593. Suppose -m = -42 + k. Let u = m - -296. Is u a multiple of 23?
False
Let r(x) = -7*x**3 - x**2 - 22. Is 2 a factor of r(-3)?
True
Suppose 0 = -s + 3*j + 3147, 2*s - 5*s + j = -9401. Does 58 divide s?
True
Suppose -43*n - 2267 = -90761. Let t = n + -1034. Is 16 a factor of t?
True
Suppose 96*u = 103*u - 161. Suppose -2*g + 3*f + 106 - u = 0, -2*f + 24 = g. Is g a multiple of 5?
False
Let g(b) = -b**3 + 2*b**2 - b. Let p = 107 - 106. Let n be g(p). Suppose f + 5*z - 118 = 0, 2*f + n*z + 4*z - 242 = 0. Is 11 a factor of f?
False
Let o = 42 - -771. Let v = o + -318. Is 45 a factor of v?
True
Let u(b) = -b**2 - 12*b - 22. Let j be u(-10). Let t(x) = x**3 + 3*x**2 - 1. Let q be t(j). Suppose -q*f = -5 - 10. Is 3 a factor of f?
False
Let g(u) = -u**2 - 34*u + 148. Let j be g(4). Is (j - -6)/(10/980) a multiple of 40?
False
Let j(z) = z - 72. Let f be j(0). Does 12 divide (-4 - (6 - 7))*f?
True
Suppose 5*m + 5*q - 45 = 0, q - 3*q + 25 = 3*m. Suppose w + 4*w = 1995. Does 11 divide 0 + -2 + w/m?
True
Let i(w) = -3*w**3 - 18*w**2 + 22*w - 11. Let h be (-3 - -7)/(-4 + (-54)/(-15)). Is 51 a factor of i(h)?
True
Let y(v) = 106 - 11*v - 68 - 57. Is 7 a factor of y(-31)?
True
Suppose 14 + 4 = 3*t. Suppose 0 = -3*p + t*p - 123. Suppose p*a = 39*a + 32. Is a a multiple of 12?
False
Suppose -15*z + 22*z = 812. Suppose -z = 11*h + 2161. Is 2/4*(-7 - h) a multiple of 25?
True
Suppose -13519*a = 5*x - 13516*a - 222264, 222261 = 5*x + 2*a. Does 48 divide x?
False
Let h be 4/(-10) + (8136/10)/4. Let n = h - 197. Is 4 a factor of n?
False
Suppose 54 = -2*q + 14. Let f = -330 - -289. Does 9 divide (f/2)/(q/40)?
False
Let m be 1 - (-1 - 0) - 23. Let x be (m/(-42))/((-2)/(-20)). Suppose 134 = x*l - 386. Is 13 a factor of l?
True
Let d be 3 + -7 + 30 + -2. Is 84/d*(-1452)/(-7) a multiple of 22?
True
Suppose -4 = -3*k + 29. Suppose 36*j - 5662 - 14102 = 0. Suppose -2*w + k*w = j. Is w a multiple of 18?
False
Is (2 - (-36)/(-14)) + 4778200/1225 a multiple of 24?
False
Let t(j) = j**2 - 4*j**2 - 20*j + 3*j**3 - 5 - 3 - 18*j**2 - 2*j**3. Does 28 divide t(22)?
False
Let u(i) = 4*i**2 - 3*i + 37. Does 16 divide u(-13)?
True
Let f = -73360 - -105051. Is f a multiple of 14?
False
Let u = -26 - -23. Let s be (3/(-8))/u + (-2975)/56. Let b = 123 + s. Is b a multiple of 10?
True
Suppose -206 = 4*s + 5*i, -2*i = -4*s + 1 - 221. Let t = -48 - s. Suppose -3*h + t*h - 711 = 0. Is 49 a factor of h?
False
Let r(y) = 1238*y + 13. Let g(k) = -413*k - 4. Let q(i) = 7*g(i) + 2*r(i). Is 65 a factor of q(-1)?
False
Let c(h) = h**3 - 17*h**2 + h - 17. Suppose 3*q + 4*k = 2*q - 3, -56 = -3*q + k. Let r be c(q). Does 48 divide -1*(-1 + r - (110 + 2))?
False
Suppose 1668*x - 1665*x - 40242 = 0. Is x a multiple of 57?
False
Let u = -10306 - -18010. Is u a multiple of 17?
False
Suppose -2*t - 7543 = -7*t + 2*z, 5*t - 3*z - 7542 = 0. Let b = t + -1069. Is b a multiple of 11?
True
Suppose -17*k + 2134 = -136025. Is k a multiple of 17?
False
Let p be (-52)/(-6)*(-4 - -1). Suppose 25*f = 40*f + 1110. Let x = p - f. Is 38 a factor of x?
False
Let j(v) = -13*v - 1. Let h(a) = -28*a - 1. Let i(o) = 6*h(o) - 13*j(o). Let q be i(-2). Suppose q*s - 56 = -2*s. Is s a multiple of 8?
True
Let h(p) = 6*p**3 - 22*p**2 - 2*p - 3. Does 6 divide h(9)?
False
Let x(o) = -44*o**3 + 6*o**2 + o - 17. Is x(-3) a multiple of 26?
True
Suppose -4*c + 8 = -0*m + 2*m, 2*m + 2*c - 8 = 0. Suppose -4 = 69*l - 71*l. Suppose -n = -5*y + 648, 3*n = l*y + m*n - 255. Does 13 divide y?
False
Let m(u) = 6*u - 18. Let c(o) = -8 + 53*o - 11 - 1 - 56*o. Let j be c(-8). Is 6 a factor of m(j)?
True
Suppose -s = w - 567, 4*s = 10*w - 12*w + 1130. Is w a multiple of 13?
False
Let a = -14063 + 43301. Is 11 a factor of a?
True
Let j(i) = 5*i**3 - 11*i**2 - 41*i - 34. Is 214 a factor of j(18)?
True
Let y = 213 - -57. Let v = -223 + y. Is 4 a factor of v?
False
Suppose -a = -3*a + 2*y + 928, 4*a - 3*y - 1850 = 0. Is 3 a factor of a?
False
Let b(x) = x**3 - 10*x**2 - 5*x + 54. Let h be b(10). Is 35 a factor of h + 385 - (-16)/(-4)?
True
Let v(j) be the first derivative of j**4/12 + 13*j**3/6 + 9*j**2/2 - 29*j + 5. Let o(z) be the first derivative of v(z). Is o(-17) a multiple of 11?
True
Is ((-2079)/495)/((-6)/1330) a multiple of 19?
True
Suppose -s - 31 = -33. Suppose -x + 838 = 3*n, -s*n + 0*n + 552 = -x. Is n a multiple of 56?
False
Let z be ((-7)/(-14))/(3/12). Suppose -z*i - 6 = 0, 2*f + f + 9 = 5*i. Let u(a) = 4*a**2 + 11*a - 8. Is 32 a factor of u(f)?
True
Let c(s) = 221*s**2 + 62*s - 248. Does 272 divide c(4)?
True
Let o(i) = -i**3 - 33*i**2 + 29*i + 88. Does 22 divide o(-35)?
False
Suppose 2 = -2*s, k - 5*s = -10*s + 84. Suppose 85*v - k*v = -220. Does 11 divide v?
True
Let j(d) = -2*d**2 + 12*d + 11. Let w be j(10). Let l be 0 - -1 - ((w - -1) + 2). Let t = l + -54. Is 13 a factor of t?
True
Let o(w) = 29*w + 42. Let l(r) = -28*r - 42. Let k(p) = 7*l(p) + 6*o(p). Is k(-11) a multiple of 21?
False
Let b be (2/3)/((-5)/((-36135)/6)). Suppose 2*x - 82 = 2*d + 452, 3*x = 2*d + b. Does 29 divide x?
False
Let w be (-7)/(140/8) - (-22)/5. Suppose -2*v + w = -2. Suppose -v*z - j + 3*j = -296, -3*j 