 = h + s. Does 5 divide a?
True
Suppose 195 = 5*o - 4*l, -4*l + 191 = 5*o + 36. Is o a multiple of 18?
False
Does 5 divide 2/14 + 124/14?
False
Let f(k) = k**2 + 2*k - 5. Suppose -3*l = -0*l + 3. Let n = -4 + l. Is 5 a factor of f(n)?
True
Let x be 6/(-2)*(-13 - -4). Suppose -3*b - x = -4*b. Is 9 a factor of b?
True
Is 34 a factor of ((-69)/(-23))/(6/272)?
True
Let k = 17 + -12. Suppose -k*h + 0*h = -165. Is 11 a factor of h?
True
Let m(q) = -13*q + 1. Does 8 divide m(-4)?
False
Suppose 2*h + 0*h = 180. Is h a multiple of 18?
True
Let y(s) = 4*s**2 - 1. Let c be y(1). Suppose -u + 0*o = 2*o - 2, -3*o + 9 = c*u. Is 4*3/3*u a multiple of 16?
True
Let w(l) = -11*l. Let t(q) = -2*q**3 + q. Let d be t(1). Does 11 divide w(d)?
True
Let o(a) = -a - 5. Let g be o(-7). Suppose 2*m - 5 = -l, -3*m - g*m + 20 = l. Suppose -m*z + 118 + 8 = 4*s, 3*s = -2*z + 98. Does 22 divide s?
False
Let z(c) = -c**3 + 22*c**2 + 32*c - 39. Is 19 a factor of z(23)?
False
Let g(x) = x**2 - 9*x + 10. Let n be g(8). Let i(c) = 7*c - 3. Does 11 divide i(n)?
True
Let f(k) be the second derivative of -1/2*k**2 - 2*k + 0 + 1/3*k**4 + 1/3*k**3. Is 19 a factor of f(2)?
True
Let r = -390 - -589. Suppose -5*z = -36 - r. Is z a multiple of 20?
False
Suppose 0 = 3*n - 5*y + 1, -3*n + 2*y + 2 + 3 = 0. Suppose 0 = n*k + k - 32. Is 4 a factor of k?
True
Let h be (-4)/(-14) - (-235)/35. Let q = h - -30. Does 15 divide q?
False
Suppose 0 = 2*r - 1 - 5. Suppose h = -5, -45 = r*k - 8*k + 2*h. Is 2 a factor of k?
False
Suppose -774 = -2*a - 4*a. Is 19 a factor of a?
False
Is 9/6 - 75/(-2) even?
False
Suppose -w + 4 = 2*b - 4*b, -2*w + 16 = 4*b. Let d be (2/w)/(7/(-21)). Is 15 a factor of (15/(-6))/(d/6)?
True
Suppose 6 = 4*u - 2. Suppose -2*x + 5*v = -6, -x - u*v + 2 = -10. Is 8 a factor of x?
True
Let f = -102 + 222. Suppose -a - 2*a = -f. Suppose 6*h = 4*h + a. Does 7 divide h?
False
Let o(r) = -2*r - 8. Let j be o(-6). Suppose 2*k = 2*n + 18, n + 30 = j*k - 9. Is 3 a factor of k?
False
Let y be (-11)/(-3) + (-2)/3. Let b(g) = g**3 - 7*g**2 + 6*g + 5. Let j be b(6). Is 17 a factor of 11*y + (j - 4)?
True
Let z = -15 + 11. Let l = 8 + z. Let r(y) = 3*y + 3. Does 5 divide r(l)?
True
Is 55/(-11)*36/(-5) a multiple of 8?
False
Let q = 20 + -10. Suppose 2*u = -5*s + q, 4*u - 8 = 6*u - 4*s. Suppose 5*y + 4*z - 12 = u, 6 = y - 5*z - 8. Is 2 a factor of y?
True
Let z = 201 + -69. Does 33 divide z?
True
Let u be (2 + (-6)/4)*4. Suppose u*z - 21 = z. Does 10 divide z?
False
Suppose 0*n - 4*n + 12 = 0. Suppose n*b + l = 11, -3*l + 21 = 4*b + b. Is 16 a factor of 27 - (b - (-4)/(-1))?
False
Let s be 0 - (-18 + 0)/(-3). Let r = -3 - s. Let y(m) = 9*m - 3. Does 9 divide y(r)?
False
Let s(g) = -5*g**2 - 12. Let p(n) = 6*n**2 + 11. Let q(r) = -4*p(r) - 5*s(r). Does 6 divide q(0)?
False
Suppose 2*l = -0*l + 2. Let v = l - -4. Suppose 5*k + v*y - 11 = 9, k - 2 = -2*y. Is 6 a factor of k?
True
Let w = 17 - 15. Suppose 2*y + w*y + 2*s - 46 = 0, 3*s = -3*y + 39. Does 10 divide y?
True
Let m(y) = -y**2 + 5. Let x be m(-5). Is 2 a factor of (-4)/6 + x/(-3)?
True
Suppose -2*f + 1 = f - 5*q, 3*f = q + 17. Let g = f - 4. Suppose g = 3*r - 12. Is 5 a factor of r?
True
Let x(h) = 2*h**3 - 5*h**2 - 9*h - 14. Is x(6) a multiple of 8?
True
Suppose -f = -4*f + 15. Suppose -f*i - 25 = 0, 0 = m + m - 2*i - 18. Suppose -2*u = 0, -2*u - 10 = -m*d + 14. Is 2 a factor of d?
True
Suppose l + h = 2*h + 12, -18 = -4*l - 2*h. Is 2 a factor of l?
False
Suppose -2*l = d - 139, -2*l + 69 + 60 = 3*d. Is l a multiple of 15?
False
Suppose -f + 16 = -0*f. Suppose -2*y + 10 = -f. Is y a multiple of 4?
False
Suppose -u - 2 = -y, -4*u - y + 4 = 12. Let n be -2*3/u - 0. Suppose c = -5*m + 146, -5*c + 44 = n*m - 48. Is m a multiple of 8?
False
Let b(k) = -k**2 - 5. Let m(r) = -4*r**2 - r**2 - 8 - 17 - 5*r + 6*r. Let f(l) = -11*b(l) + 2*m(l). Is 10 a factor of f(-5)?
True
Let r(n) = n**3 - 7*n**2 + n. Is 24 a factor of r(8)?
True
Let y = -11 + 13. Let o be y/8 + 65/(-4). Is (99/6)/((-6)/o) a multiple of 19?
False
Suppose d - 44 = -o + 17, -2*o = 5*d - 311. Does 21 divide d?
True
Suppose 7*n - 1048 = -n. Is 35 a factor of n?
False
Let y = -43 + 16. Let j = -4 - y. Is j a multiple of 8?
False
Let j be (-455)/(-21) + 1/3. Let k = 60 - j. Is 12 a factor of k?
False
Let d(l) = 5*l**3 - l**2 - 3*l + 9. Does 6 divide d(3)?
True
Let a(j) = 8*j**2 - j - 1. Let u be a(-1). Let m = u + 4. Is m a multiple of 6?
True
Suppose -4*q + 4*i = -168, -i + 2*i - 168 = -4*q. Let n = q + -14. Is n a multiple of 7?
True
Let k be (-6)/(-45)*-3*-395. Suppose -4*f = -22 - k. Does 15 divide f?
True
Suppose 7*y - 474 = 506. Is y a multiple of 20?
True
Let r(a) = a**3 - 15*a**2 + 7*a - 18. Is 17 a factor of r(15)?
False
Let o = 96 - 65. Does 13 divide o?
False
Let c = 8 - 5. Suppose -5*o = 3*k + 22 - 125, -4*k + 89 = -c*o. Is k a multiple of 13?
True
Let x = 216 + -107. Suppose x = 5*a - 41. Is 30 a factor of a?
True
Let x = 5 + -7. Let b(o) = o**2 + 12*o - 2. Let f be b(-7). Let u = x - f. Is 10 a factor of u?
False
Suppose -12 = -g - 40. Is -4 + (-3 - g - 3) a multiple of 4?
False
Let o(r) = -r**3 + 2*r**2 + 5*r - 4. Let w be o(3). Suppose w*k + k = 129. Is 13 a factor of k?
False
Let b(y) = -8*y**2 - y + 1. Let n be b(2). Let t = n - -130. Does 35 divide t?
False
Let f = -15 + 81. Is 11 a factor of f?
True
Suppose -2*j + 3*j - 5 = 4*g, 0 = g. Suppose -168 = 10*o - 13*o. Suppose a - j*a = -o. Is a a multiple of 14?
True
Let u be (-3)/(-12) - (-28)/16. Let f(x) = 3*x**3 - 2*x**2 - 2*x + 1. Is f(u) a multiple of 3?
False
Suppose -10 = 3*t - 1. Let h(z) = z**2 + 3*z + 3. Does 3 divide h(t)?
True
Suppose -337 = -8*s + 23. Is s a multiple of 9?
True
Let s(w) = -w**3 - 2*w**2 - w + 2. Let i be s(-2). Suppose -4*o - u + 69 = 0, -2*o - 4*u - 66 = -5*o. Let h = o - i. Is h a multiple of 14?
True
Suppose -3*a = -8 + 2, 0 = 3*n + 3*a - 48. Let q = n + 6. Does 20 divide q?
True
Let f = 121 + -30. Does 15 divide f?
False
Suppose -3*o = -4*p + 20, -25 = 5*o - 4*p - p. Suppose 3*l = -3, -2*v - 3*l - 22 - 1 = o. Is 10 a factor of 2/(-10) - 292/v?
False
Let u(y) be the first derivative of y**4/3 + y**3/3 - y**2/2 - y - 1. Let h(n) be the first derivative of u(n). Is 2 a factor of h(1)?
False
Let d(f) = -f + 8. Let a be d(6). Suppose o - 5 = 5*p + 6, 0 = 2*o + a*p - 22. Let g = 22 - o. Does 11 divide g?
True
Let v be (26 - 6)*2/8. Suppose -v*a = s + 2, a = -5*s + 2*a + 42. Is 4 a factor of s?
True
Suppose 4*o - f - 174 = 99, 0 = f + 1. Does 26 divide o?
False
Let s = -13 - -15. Suppose -5*l + 138 = -s*l. Is 14 a factor of l?
False
Suppose w - 5*w + 40 = 5*f, -4*w = 3*f - 32. Is 11 a factor of f/(-6) + (-35)/(-3)?
True
Suppose n + 2*q = 6 - 0, -4*n = -4*q - 72. Is 12 a factor of n?
False
Let t be (2/6)/(3/18). Suppose -4 = -t*u + u. Is u a multiple of 4?
True
Let n = -29 + 56. Does 9 divide n?
True
Let i = -81 + 128. Let n = i + -15. Is 16 a factor of n?
True
Let z = 32 - 6. Is z a multiple of 2?
True
Suppose 0 = -6*z + 2*z + 24. Let n(f) = -f**2 + 2*f + 8. Let x(w) = w. Let o(r) = -n(r) + 6*x(r). Does 18 divide o(z)?
False
Let r(s) = 5 + 0 + s + 3. Let n = -1 + 9. Is r(n) a multiple of 8?
True
Let j be -16*2*2/(-4). Suppose -j = h + 2*v - 78, -209 = -4*h + 5*v. Does 18 divide h?
False
Let r(a) = 149*a**3 + a**2. Is 30 a factor of r(1)?
True
Suppose 835 = 2*a + 3*a + 4*g, 2*a + 4*g - 322 = 0. Is a a multiple of 12?
False
Let v = 135 + 73. Does 13 divide v?
True
Suppose 3*v - 6 = -3. Let y be 20/6 + v/(-3). Suppose 4*g - 23 = -a, 17 = g + a - y*a. Is g a multiple of 7?
True
Suppose 268 = 82*x - 78*x. Is x a multiple of 16?
False
Suppose -10 = -2*t + 4*t. Let f be (-1)/t + (-84)/20. Let w(a) = -2*a - 1. Is 7 a factor of w(f)?
True
Let p = 175 + -119. Is 30 a factor of p?
False
Suppose 5*m - 143 - 247 = 0. Is m a multiple of 13?
True
Let k = 45 + 90. Is 5 a factor of k?
True
Is 3790/40 + (-1)/(-4) a multiple of 19?
True
Let f be (20 - -72) + -2*1. Let a be 1 + -1 + -2*2. Is (a/(-6))/(5/f) a multiple of 8?
False
Let i(q) = -3*q**3 - q**2 - 2*q. Does 26 divide i(-3)?
True
Suppose -5*w = 3*g - 18, -3*g + 15 = -0*g + 4*w. Is 6 a factor of (4/(12/87))/g?
False
Suppose 0 = y - 3 - 2. Suppose -g - 12 = -y*o, 5*g - 30 = -4*o - o. Suppose f = -o*f + 64. Does 12 divide f?
False
Let s(o) = -o**2 - 11