*(h - 0)?
False
Suppose 4*i - 60 = -2*c, -4*i = -4*c + 80 + 16. Suppose -2*l + 12 = -c. Is 5 a factor of l?
False
Let p(a) = -15*a - 8. Let o be p(-8). Let k = -66 + o. Suppose 4*h = -8, -z + k = -4*h - h. Is 12 a factor of z?
True
Let u(o) be the second derivative of o**5/30 - o**4/8 + o**3/3 - o**2 + o. Let n(h) be the first derivative of u(h). Is 17 a factor of n(5)?
False
Let m(x) = -x**3 + x**2 - x + 3. Suppose 0 = 4*y - y. Let k be m(y). Suppose -b + 14 = -k*w + 6*w, 0 = -4*b + 2*w + 112. Is 13 a factor of b?
True
Let a(i) = i**2 + i + 2. Let n = 11 + -5. Let q = -4 + n. Is a(q) a multiple of 4?
True
Does 7 divide ((-4)/4 - -4) + 38?
False
Let x = -105 + 245. Suppose -5*m = -0*m - x. Is 28 a factor of m?
True
Is 14 a factor of (135 - -1) + (-3 - -7)?
True
Let p = 9 - 18. Let c = p - -12. Suppose -c*b = b - 56. Is 14 a factor of b?
True
Let j = -3 + 2. Let i(h) = -h**2 - 2*h. Let v be i(j). Suppose -5*u = -34 - v. Is 7 a factor of u?
True
Suppose 254 - 54 = 4*u. Is u a multiple of 10?
True
Let i(u) = -u**3 + 11*u**2 - 7*u - 1. Let w = -7 + 17. Is i(w) a multiple of 12?
False
Let q(f) = -11*f + 3. Is 12 a factor of q(-5)?
False
Suppose 6*n - 4*n = 116. Is 31 a factor of n?
False
Let r = 38 + -25. Suppose -r + 83 = 5*u. Is u a multiple of 7?
True
Is 3 a factor of (62/(-5))/((-24)/(-15) + -2)?
False
Suppose r - 12 = -r. Does 19 divide 304/r + (-4)/(-12)?
False
Let x(l) = 152*l - 2. Does 12 divide x(1)?
False
Suppose -3*g + 0*g - 3 = 3*v, 3*v - 3*g = 9. Does 8 divide v/(2/(59 - 1))?
False
Let y(u) = u + 1. Let z be y(1). Let n be (2 + 2)/(3 - z). Suppose 4*o + 0*o - 136 = -n*q, 4*q = -o + 49. Is 13 a factor of o?
False
Let x = 3 - 2. Let c be 64/(-2) + (x - 2). Is 16 a factor of 2 + (c + 2)*-1?
False
Suppose 8*z - 2496 = 136. Is z a multiple of 47?
True
Let c(x) = -2*x + 14. Does 6 divide c(-5)?
True
Is (-2)/5*(-116 - 9) a multiple of 10?
True
Let l = 16 - -14. Let j = l + -1. Is 14 a factor of j?
False
Suppose -4*q + 136 = 2*i, -2*q + 5*i + 31 = -13. Is 16 a factor of q?
True
Let r(d) = 5*d**2 - 18*d + 11. Is r(7) a multiple of 10?
True
Let b = 19 + 99. Does 23 divide b?
False
Suppose 5*j - v - 37 = 2*v, -v = j - 9. Let f = j - 3. Suppose 15 = f*c - 3*c + 5*r, 0 = c + r - 6. Does 5 divide c?
True
Let g be ((-21)/(-6))/((-3)/(-6)). Is (1/(-2))/(g/(-70)) a multiple of 5?
True
Let t be 3/(9/12*2). Suppose -4*j + 274 = 5*z, 4 = 2*j + t. Does 16 divide z?
False
Let f(y) = 137*y**2 + y - 1. Let l be f(1). Suppose -173 - l = -5*r. Suppose 5*v - r = -2*q, 2*q = -4*v - 2*q + 52. Does 6 divide v?
True
Let i(j) = j**3 + 7*j**2 - 8*j + 4. Let v be i(-8). Suppose -4*d - m + 111 = 0, 0*d = d + v*m - 9. Suppose 2*c = -5*s + d, 5*s - 24 = -4*c + 9. Does 2 divide c?
True
Let w(u) = 69*u. Let d be w(1). Let n = 18 - d. Is (-28)/(-21)*n/(-2) a multiple of 11?
False
Let r(n) = -n**2 + 13*n + 16. Let b be r(14). Is (-1)/b - (-62)/4 a multiple of 15?
True
Let l = 10 - -2. Is 9 a factor of l?
False
Let s(a) be the first derivative of -a**4/4 - 2*a**3/3 + 3*a**2/2 + a - 3. Let z be s(-4). Is 13 a factor of 48/(-14)*z/(-2)?
False
Let z(x) = x**3 - 3*x**2 + 2*x - 3. Is z(3) even?
False
Let d(v) = -v**3 - 10*v**2 - v. Let z be -10 - (3 - (3 + 2)). Let y be d(z). Is y/(-9) + (-4)/12 a multiple of 12?
False
Let j(y) = 2*y**3 + 4*y**2 + 4*y + 2. Let m be j(-2). Let l = m + -1. Is 360/14 + (-2)/l a multiple of 13?
True
Suppose 4*q - 99 - 37 = 0. Does 13 divide q?
False
Let w(c) = -2*c - 6. Let b be w(-4). Suppose 4*z + 19 = t + b*t, -4*z = 2*t - 6. Is 12 a factor of 0/(0 + z) + 18?
False
Suppose 0 = -m + 2*m - 4. Suppose -3*z = -m*z + 15. Is 13 a factor of 249/15 - (-6)/z?
False
Let i = 10 - 4. Let x(g) be the first derivative of 5*g**2/2 - 2*g - 1. Is x(i) a multiple of 14?
True
Let v(m) = 6*m + 7*m**2 - 6*m - m**3 + 7*m - 3 - 2*m**2. Does 8 divide v(5)?
True
Let i = 0 - -3. Suppose 132 = -d - i*d. Let w = -18 - d. Is w a multiple of 9?
False
Let b be 2 - 1*(-78 - -3). Let k = b - 23. Does 25 divide k?
False
Let k(u) = 4*u + 3. Let w(z) = -4*z - 3. Let n(s) = 3*k(s) + 2*w(s). Is n(4) a multiple of 6?
False
Let h be 886/8 - 6/8. Suppose 0 = -j - 4*j + h. Is j a multiple of 6?
False
Suppose 0 = 4*k + 2*f - 2, 1 + 3 = 3*k + 2*f. Let g be (-2)/(-4) - 63/k. Is 15/(-4)*g/(-6) a multiple of 10?
True
Let m(t) = t**2 - 2*t - 2. Let a be m(2). Is a/9 - (-3164)/63 a multiple of 15?
False
Suppose -6 = 3*v + 12. Is 12 a factor of (-568)/(-10) - v/30?
False
Let r = -12 + 17. Suppose 0 = -2*y - 2*c + 38, r*y - 77 = c + 3*c. Suppose -3 = -t + 2*k + 28, -y = -2*t - 5*k. Does 8 divide t?
False
Suppose 2536 = -2*f + 6*f. Suppose 0 = -5*o - f + 109. Is (2/5)/((-3)/o) a multiple of 10?
False
Let c(q) be the first derivative of -q**2 - 4*q + 2. Is 8 a factor of c(-10)?
True
Let d(g) = -g**3 - 11*g**2 + 13*g + 13. Let l be d(-12). Let i(a) = 7*a**3 - 2*a + 1. Is 3 a factor of i(l)?
True
Let n = 6 - 9. Suppose 13*i - 8*i = 15. Let g = i - n. Is 6 a factor of g?
True
Suppose 4*y - 3*u - 27 = 0, 4*u = 4*y + 2*u - 22. Suppose -y*l + 2*l = -28. Is l a multiple of 13?
False
Suppose -5 = v, -5*v - 46 + 19 = -y. Is 10 a factor of 3/(-3)*y - -16?
False
Suppose 5*g = 3*g. Let m be (-24 - -3)/(-1 - g). Suppose 3*s = c - 0*c - 17, c + s = m. Is 10 a factor of c?
True
Suppose -a - 2*u = 1, -3*a - 3*u + 6 = a. Let d = a + 4. Is 3 a factor of d?
False
Let z be (-68)/7 + 4/(-14). Let u = -16 - z. Is (-16 + 4)/(4/u) a multiple of 9?
True
Let a(l) = -l**3 - 4*l**2 - l. Let g be a(-3). Does 19 divide ((-3)/g)/(1/108)?
False
Suppose 2*b - 52 = 128. Is 23 a factor of b?
False
Let h(l) = l**3 + 6*l**2 + l - 2. Let z be h(-6). Let d = z + 0. Is 8 a factor of (-2)/(-1*(-2)/d)?
True
Suppose -c + 3*b = -2*c + 2, 3*c - 3*b + 42 = 0. Let w = 50 + c. Does 10 divide w?
True
Let i be -3 - (-4 - (4 - 1)). Is 11 a factor of 11/(i*(-1)/(-4))?
True
Let v(y) = 70*y**3 - 1. Let c be v(1). Let o = c + 26. Suppose 0 = -4*l + o - 7. Is 11 a factor of l?
True
Suppose -2*i + 79 = -3*q, 3*i - 55 = -q + 80. Is i a multiple of 15?
False
Let d(w) = 2*w**2 + 5*w - 3. Is d(-4) even?
False
Is ((-90)/(-21))/(3/14) a multiple of 20?
True
Suppose 3*w = -4*n + 122, 5 = 5*n + 10. Is 22 a factor of w?
False
Let r = -5 + 8. Suppose -2*z = 4*i - 16, -5*z = -r*i - 0*i + 12. Suppose 0 = i*m + m - 70. Is m a multiple of 7?
True
Let a be (0*1/2)/(-1). Let h = 20 - a. Suppose 4*n - 2*n = h. Is 10 a factor of n?
True
Is 6 a factor of ((-72)/2)/(-1) - 0/(-9)?
True
Is 12 a factor of 3*1 + (-12 - 6)*-13?
False
Suppose -2*t + t = -224. Suppose -3*k - j = -340, 0*k + 2*k - 2*j = t. Suppose -4*g - 33 = -o, 2*g = -5*o + k - 36. Is 6 a factor of o?
False
Let m(z) be the third derivative of 23*z**9/60480 - z**8/10080 + z**6/720 - z**5/30 + z**2. Let l(k) be the third derivative of m(k). Does 11 divide l(1)?
True
Let h = 0 + 2. Suppose h*s - 4 = -4*o, -14 = s - 2*s + 4*o. Let y = 5 + s. Is 8 a factor of y?
False
Suppose -14 = -3*c + m, -5*m = -3*m + 10. Let z(y) = 0 + c - 1 - 5 - y. Is z(-5) a multiple of 2?
True
Let c(s) = -s**2 - 10*s - 14. Is 11 a factor of c(-5)?
True
Let a = 86 + -31. Does 12 divide a?
False
Let n(d) = d**2 - 4*d + 1. Let p be n(3). Let s be 53 - (3 + p/1). Suppose -4 = -x - 5*a, 2*a + 3*a = 3*x - s. Does 7 divide x?
True
Is 5486/52 - (-2)/4 a multiple of 12?
False
Suppose -19 = 5*b - 109. Is b a multiple of 5?
False
Suppose 4*v - 9*v = -460. Is v a multiple of 48?
False
Suppose r = -4*r. Let v be (2/(-4) - r)*-8. Suppose -v*t = 4*f - 116, 3 = 2*t - 3. Does 13 divide f?
True
Let c be 2/4*(-96)/(-8). Let g(q) = q**3 - 6*q**2 + q - 3. Is g(c) a multiple of 3?
True
Let j = 51 + -17. Is j a multiple of 17?
True
Suppose 0*x + 3*x = 5*a + 1, -x + 5 = 3*a. Suppose 3*r - 19 = -x*g, -g - 2*g = -5*r. Suppose 8*f = r*f + 125. Is f a multiple of 14?
False
Suppose -2*q - 2*z + 11 = q, 3*q + z - 16 = 0. Let u = q - 2. Is u a multiple of 5?
True
Suppose -c + n + 243 = 0, -419 = 5*c + 4*n - 1652. Is c a multiple of 20?
False
Suppose 3*y - 7*y + 16 = 0. Is y even?
True
Suppose 5*u + 8 + 2 = 0. Does 6 divide u - 1 - (-14 + 0)?
False
Suppose 0 = 3*b - 4*b. Suppose n = -b*n + 31. Is 16 a factor of n?
False
Let w(t) = 25*t**2 - 4*t**2 + 6*t**2. Is w(1) a multiple of 14?
False
Let x be (-3)/(-1*(-1)/(-2)). Suppose x*z - 6 = 3*z. Suppose 7*g - 3*n = 3*g + 58, -