ivide h?
True
Suppose -2*m - 5*i = -13, 0*m + 4*i = 4*m + 16. Does 37 divide 11 + 68 + 1 + m?
False
Suppose 0 = -h + 5 + 1. Does 8 divide (2/h + 1)*6?
True
Let q = 15 + -8. Let f(v) = 9*v**3 + v**2 + 7*v + 3. Let a(j) = -5*j**3 - j**2 - 4*j - 2. Let t(c) = q*a(c) + 4*f(c). Is 14 a factor of t(4)?
True
Let t(q) = q**2 + 11*q + 8. Let z be t(-8). Is 15 a factor of 65/2 + 8/z?
False
Let m(v) = -43*v**2 + v - 1. Let g(b) = 43*b**2 - b + 1. Let j(h) = -3*g(h) - 4*m(h). Does 22 divide j(1)?
False
Let d(p) = p + 9. Let c be d(-6). Let y(k) = -k**3 + 14*k**2 - 6*k - 14. Let s(a) = a**3 - 15*a**2 + 6*a + 15. Let z(m) = c*s(m) + 4*y(m). Does 8 divide z(10)?
False
Suppose 2*l - 2*z + 7*z = 19, 0 = -2*l - 4*z + 24. Is 22 a factor of l?
True
Suppose 0 = -g + 30 - 8. Is g a multiple of 3?
False
Suppose 0 = u - 0*u - 5. Is u a multiple of 3?
False
Let c(h) = h - 8. Let l be c(11). Suppose -118 = -4*t + 2*u, -l*u = -t - 4*t + 149. Suppose -t = -2*w - 0. Is w a multiple of 7?
True
Suppose 5*m + n - 44 = -0*n, -4*m + 12 = -5*n. Let y(b) = -b**3 + 7*b**2 + 9*b + 3. Let f be y(m). Let t = 29 + f. Is t a multiple of 24?
False
Suppose c = 6*c - 15. Suppose -8*d = -9*d + 12. Is 17 a factor of (51/12)/(c/d)?
True
Suppose 3*r - 36 = -r. Suppose 12 = c - r. Is 19 a factor of c?
False
Let r be 40 + (0/2 - 0). Suppose -2*s - r = 6. Let p = -11 - s. Does 5 divide p?
False
Let d = -9 + 13. Suppose -d*p + 3*p + 105 = 5*u, 0 = 3*u - 5*p - 35. Is 10 a factor of u?
True
Let j(c) = 11*c**2 + 6 + 17*c + 0*c**3 + 17*c**2 + 0 - 4*c**3. Let x(u) = 3*u**3 - 19*u**2 - 11*u - 4. Let m(q) = -5*j(q) - 7*x(q). Is m(-6) a multiple of 3?
False
Suppose 355 = 2*a - 3*t, 3*t = -4*a - 0*t + 719. Does 24 divide a?
False
Let m(c) = -4*c - 16. Is m(-12) a multiple of 16?
True
Let b(i) = -i**2 - i + 70. Suppose m = d - 1, 2*d - 5*m - 3 - 2 = 0. Is b(d) a multiple of 19?
False
Suppose -6*g + 42 = -3*g. Does 7 divide g?
True
Let q(z) = -3*z**3 + 2*z**2 - z + 1. Let v be (-1 + 2)/(2/(-4)). Is 8 a factor of q(v)?
False
Let z be (-1 + 4)/((-6)/(-8)). Suppose 3*r - 291 = -3*o, o - z*r = -4*o + 449. Suppose -2*b + 38 = -3*u, 20 = -5*b + 2*u + o. Does 7 divide b?
False
Suppose -6*x = 2*x - 224. Is 7 a factor of x?
True
Suppose 0 = 2*i, -n = 4*n + 3*i - 10. Suppose -10 = n*g - 38. Is g a multiple of 14?
True
Let h = 21 + -16. Suppose 53 = h*g - 2*q, -2*q + 2 + 11 = g. Does 11 divide g?
True
Suppose -5*x + 111 + 24 = -5*r, -3*x = r - 73. Is x a multiple of 3?
False
Suppose 5 = 5*v - 10. Suppose v*u = -0*u. Suppose z + 3 - 5 = u. Is z a multiple of 2?
True
Does 11 divide 21 - (9/6 - 1)*-2?
True
Let x(t) = t**3 + 7*t**2 - 8*t + 2. Let n be x(-8). Suppose -2*l + a + 0*a = -47, 0 = n*l + 4*a - 22. Does 7 divide l?
True
Does 24 divide (0 - (3 - 2))*-74?
False
Let j = 5 - 0. Let p be 2/(-7) + (-710)/(-35). Suppose 0*x + x = -j*r - p, r = -x. Is 3 a factor of x?
False
Let h(z) = -5*z**2 - 3*z - 6. Let y be h(-6). Let i = -98 - y. Suppose -3*c + i = 2*f, -3*c + 25 + 7 = f. Is f a multiple of 19?
True
Suppose -4*l = -3*l - 22. Is l a multiple of 11?
True
Does 21 divide (-196)/8*96/(-14)?
True
Let b(k) = -7*k - 1. Let h be b(-1). Suppose 0 = o + 2*o - h. Is 2/((-2)/(-19))*o a multiple of 19?
True
Let n = 12 + 15. Does 9 divide n?
True
Let c = -13 + 51. Is 6 a factor of c?
False
Suppose -2*r - 3*r + 20 = 0. Let j be 5*(r + (-9)/3). Suppose -j*o = -69 - 71. Does 24 divide o?
False
Suppose 2*x = 5*x. Suppose 3*z = v - z - 10, z = x. Is 10 a factor of v?
True
Let k be (-1 - 0)/3*3. Is 12 a factor of (1/(3/(-36)))/k?
True
Let p(b) = 4*b**2 - 1. Let a be p(-1). Suppose a*y = -5*z + 7 + 15, -6 = -z - y. Is z even?
True
Let a(l) = l**3 + 2*l**2 + 1. Let f be a(-2). Is 12 a factor of 0 + 39 + f + -4?
True
Suppose -2*z + 3 = -3*i - 0*i, 3*i = 4*z - 3. Let t = i - -61. Is t a multiple of 12?
True
Suppose -39 = 4*o - 2*r - 153, 0 = -2*o - 5*r + 63. Is o a multiple of 5?
False
Suppose z - 9 = -2*z. Suppose 0*r = -z*r + 27. Suppose 0 = 3*c + r, m + 2*c = 6 + 20. Is m a multiple of 17?
False
Let v(h) = -12*h + 6. Does 26 divide v(-6)?
True
Suppose 15 = -3*n, 0*d + 4*d = -3*n + 177. Is d a multiple of 16?
True
Suppose 7*f = -0*f + 637. Is f a multiple of 24?
False
Does 17 divide (32/12)/(-2)*(-306)/4?
True
Let m(u) = 8*u + 2. Let w be m(5). Let g = -14 + w. Is 7 a factor of g?
True
Does 7 divide (296 - 2)*(-10)/(-30)?
True
Suppose -13*p + 12*p + 201 = 0. Does 33 divide p?
False
Let c(v) = -v**2 - 3*v**2 + 2*v + 2*v**2 + 12*v**2. Is c(-2) a multiple of 14?
False
Suppose 0 = 4*k - 2*l + 6, 3 = -5*k - 3*l + l. Let w = k + -25. Let o = -14 - w. Does 7 divide o?
False
Let k = 24 - -75. Suppose 2*s = 5*u + 3*s - 46, 3*s + 42 = 5*u. Suppose k = 4*b - u. Is b a multiple of 27?
True
Let f = -68 - -117. Suppose 5*o = o + 348. Let z = o - f. Is z a multiple of 19?
True
Let f(x) = x + 2. Let o be f(-4). Let k be (-40)/(-18) - o/(-9). Suppose -5 = p - k*p. Is 5 a factor of p?
True
Let v = -11 - -36. Suppose 4*n - 40 = -2*p - 0*n, 5*n = 5*p - v. Suppose -p = 5*t, -48 = -3*b - 3*t + 6*t. Is 9 a factor of b?
False
Let d be 2/(2 + 24/(-15)). Suppose -60 = -4*z + 156. Suppose -3*q = d*x - 5*q - 90, -3*x - 3*q + z = 0. Is 9 a factor of x?
True
Let k(q) = q**2 + 2*q + 168. Does 42 divide k(0)?
True
Suppose -2*y + 28 = x, 5*y - 3*y - 32 = x. Is y a multiple of 5?
True
Suppose -36 = v - 4*j, -2*j - 99 = 5*v - 7. Let p be (23 + -3)/((-2)/v). Suppose 0*y = -5*y + p. Is y a multiple of 11?
False
Does 34 divide (-84)/18*(-45)/2?
False
Let f(w) = w**2 - 3*w - 11. Let h be f(-6). Let d = -1 + h. Is 22 a factor of d?
False
Suppose -4*g + g = -3. Let h be 2 + (-186)/((-3)/g). Suppose 21 = m - 5*c - 11, 2*m - h = -5*c. Is m a multiple of 13?
False
Suppose -5*n = 5, -2 = 2*y + 3*n - 3. Suppose 7*i + 135 = 3*j + y*i, -4*i - 212 = -5*j. Does 8 divide j?
True
Suppose 0 = w + 3, -w = -3*u + 68 + 55. Is 8 a factor of u?
True
Is 10 a factor of (28/8 - 3)/(3/108)?
False
Suppose -5 - 1 = 2*o + 5*u, 0 = -3*o - 3*u. Suppose v - 11 = o. Does 6 divide v?
False
Let t = -14 + 11. Is 12 a factor of 4*5 - 1 - t?
False
Suppose -2*p + 18 = b, -2 + 20 = p + 5*b. Let x(q) = 2*q - 11. Is 3 a factor of x(p)?
False
Let f(o) = -3*o + 43. Let v(x) = -2*x + 29. Let b(j) = 5*f(j) - 7*v(j). Let g be b(9). Suppose 0 = -g*k + 3, -3*k + 7*k - 99 = -5*p. Is 19 a factor of p?
True
Let u(g) = 14 - 3*g + 0*g - 15 - 2*g + 2*g**2. Let s be u(6). Suppose -3*j + 0*j = 4*h - s, 0 = -j - 3*h + 17. Is j a multiple of 6?
False
Let c(t) be the third derivative of -t**4/6 - t**3/3 - t**2. Does 17 divide c(-9)?
True
Is 2761/33 + (4/(-3))/2 a multiple of 7?
False
Let k be -1 + (-1)/((-1)/(-8)). Let h be 4/18 + (-187)/k. Suppose 4*z - 19 = h. Does 4 divide z?
False
Let c be ((-44)/(-6))/((-2)/(-6)). Suppose -2*f + c = -0*f. Is 3 a factor of f?
False
Let g(h) = h**3 - 7*h**2 + 9*h - 15. Is g(6) a multiple of 3?
True
Let u be (-5)/((-15)/(-8))*-3. Let b = u + 20. Does 17 divide b?
False
Let s = 41 - 21. Is s a multiple of 5?
True
Let s(g) = 9*g**2 + 7 - 4 - 2 - 2*g. Let r be (-7)/((-14)/4) + -1. Is 8 a factor of s(r)?
True
Let o(i) = -2*i**3 - 2*i**2 + 2*i + 7. Let j be o(-6). Is 9 a factor of j/20 - (-1)/4?
True
Let y = -2 - -2. Suppose -3*f + 7 + 20 = y. Let n = 14 - f. Is n a multiple of 5?
True
Let s(t) = 2*t**2 + 1. Let g be s(-1). Suppose -b - 4*w = 12, -g*b = 2*b - w + 60. Does 6 divide 3/(6/2) - b?
False
Does 7 divide (90/4)/(-5)*-2?
False
Let z(g) be the second derivative of g**3/6 + 5*g**2/2 + g. Let f be z(-5). Suppose -5*m = -f*m - 3*t - 198, 0 = -4*m - 5*t + 151. Does 15 divide m?
False
Let m(x) = 7*x**2 - x + 1. Let l be m(1). Let n(u) = u + 2. Is 4 a factor of n(l)?
False
Suppose 0*z + 20 = 4*z + 2*f, -20 = -4*z - 5*f. Suppose 13 = 4*p + z. Does 2 divide p?
True
Suppose -26 = -0*i - 2*i + 4*w, 4*w = -i + 13. Is 13 a factor of i?
True
Let d = 23 + 13. Is 18 a factor of d?
True
Is 7*((-16)/(-4) + -2) a multiple of 14?
True
Let v(d) be the second derivative of d**4/12 + 2*d**3/3 + d**2/2 + 2*d. Let l be v(3). Suppose -l = -g - 2. Is g a multiple of 11?
False
Suppose -3*c = 0, 275 = g + 4*g + 4*c. Is 11 a factor of g?
True
Let p(d) = -2*d - 10. Let t be p(-9). Is 5 a factor of (150/40)/(2/t)?
True
Let y(g) = 2*g**2 - 14*g + 11. Is y(11) a multiple of 27?
False
Suppose 0 = x - 0 - 19. Is x a multip