. Let r be y(-8). Let h = r - -80. Is 20 a factor of h?
False
Is 2/(-1 + 58/56) a multiple of 17?
False
Let h(d) = 22*d + 24. Is 48 a factor of h(12)?
True
Let w be (-2 + 3)/(2/(-36)). Let u = 32 + w. Does 7 divide u?
True
Suppose 0 = 5*u - u - 32. Let c(b) = 2*b + 2. Let i be c(2). Let k = u - i. Does 2 divide k?
True
Let t be 6/(-15) + (-8)/5. Let n(c) = c**3 - 5*c**2 + 7*c + 2. Let h be n(5). Let p = h + t. Is 14 a factor of p?
False
Suppose 5*f - 204 = 3*y, -4*y + 8 = -0*y. Is f a multiple of 12?
False
Suppose 2*d - 5 = -1. Suppose -4*p - 2*i = -8, -3*p + 0 = 2*i - 4. Is p/5*95/d a multiple of 10?
False
Suppose 12 = -5*l + 4*l. Is (-4)/24 - 482/l a multiple of 10?
True
Suppose -3*i - 4 = -7*i. Suppose -i = -0*h - h + o, -o - 1 = -3*h. Suppose h = 2*z + z - 69. Does 23 divide z?
True
Let m = -17 - -210. Let w = -103 + m. Is w/3*(-3)/(-6) a multiple of 11?
False
Let c = 62 - 50. Is 3 a factor of c?
True
Let g be ((-3)/(-5))/(2/(-10)). Is 6 a factor of (-196)/(-21)*g/(-2)?
False
Is 16 a factor of -6*(-96)/(-27)*-3?
True
Suppose -l + 8 = l. Suppose -2*d = -l*z - 162, -5*z - 2*d + 6*d = 207. Is 19 a factor of (-3)/(((-6)/z)/(-2))?
False
Let d(q) = 14*q**2 - 3*q - 2. Let v be 1 - 1 - (0 - -2). Let b be d(v). Is 4/2*b/8 a multiple of 8?
False
Let n = 10 - 5. Suppose -3*u - 5*h + 104 = 0, -3*u - h = -n*h - 122. Is u a multiple of 19?
True
Suppose 0 = -2*u - 14*b + 10*b + 382, -u = 4*b - 185. Is u a multiple of 11?
False
Let k be (-29 + 1)*147/(-28). Is 11 a factor of ((-1)/1)/((-7)/k)?
False
Let h = -39 - -17. Suppose 2*c = 4*a - 2*a + 100, 2*c = -2*a + 84. Let j = h + c. Does 10 divide j?
False
Let z(v) = -11*v + 1. Let h be z(-1). Suppose s = 3*q + h, 3*q - 6 = -0*s - s. Is s even?
False
Let y = 9 + -8. Let a = -8 + y. Let i(u) = -5*u - 9. Is i(a) a multiple of 26?
True
Let x = -6 + 9. Let n be x/6 + 26/4. Suppose -4*q + 55 - n = 0. Does 12 divide q?
True
Suppose -570 = -4*x + x - 3*y, 2*y = -10. Let d = 137 - x. Let i = d - -84. Is i a multiple of 13?
True
Let h be (-56)/(-6)*(6 - 3). Let j(z) = 4*z + 5. Let g be j(-6). Let m = g + h. Is m a multiple of 5?
False
Let d = -2 + 20. Let m = d + -6. Is 6 a factor of m?
True
Let q be 12/(-8)*4/3. Let l be (-1)/q + (-15)/(-6). Suppose -v = l*v - 52. Is v a multiple of 13?
True
Let p = 44 + -18. Does 17 divide p?
False
Let f(s) = s**2 + s + 9*s**3 - 2*s**2 - 8*s**3. Let v be f(0). Suppose -5*d - 5*h + 242 = -33, 3*h = v. Is d a multiple of 23?
False
Let m = 6 + -4. Suppose -4*l - 4 = 4, l + 10 = m*g. Does 2 divide g?
True
Is (0 - 1)/((-2)/68) a multiple of 7?
False
Let r be 29/5 - 3/(-15). Is 10 a factor of 62/6 - 2/r?
True
Let j be -3*(2 + (-4)/3). Let q = 32 - j. Is 17 a factor of q?
True
Let h(y) be the first derivative of y**4/4 - y**3/3 + y**2 + 4*y + 4. Suppose -5*u + 8 = -7. Does 14 divide h(u)?
True
Suppose -3 = 4*p + 1. Let r(x) = 17*x. Let s(m) = 84*m. Let g(n) = 14*r(n) - 3*s(n). Is 7 a factor of g(p)?
True
Let f(h) = 2*h**2 + 10*h + 23. Is f(-13) a multiple of 12?
False
Suppose 2*h + 2*h - 16 = 0. Is 4 a factor of h/((3/9)/1)?
True
Suppose 5*i = 16 + 9. Suppose -i*z + 281 = -4*p, 0 = p + 3 - 4. Does 16 divide z?
False
Suppose -2*p = -2, 5*p = r - 0*r + 2. Suppose -3*a - 22 = -6*l + l, r*l = 5*a + 10. Suppose 5*f + g = 134, f - l*g + 76 = 4*f. Does 9 divide f?
True
Let o(u) = 6*u**2 - 4*u - 2. Is 13 a factor of o(-3)?
False
Let y be (-2)/(-7) + (-468)/(-28). Let s = y + 3. Does 10 divide s?
True
Let a be 4/10*(-60)/3. Let v be 21/(6/a*-2). Does 20 divide 556/v + (-6)/(-21)?
True
Suppose -5*f + 7 = -3*o + 22, 4*o - 2*f = 6. Suppose v + v - 8 = o. Suppose -v*p - 5*x + 32 = -12, -4*p + 3*x + 44 = 0. Is 5 a factor of p?
False
Let d be (-15)/(-4) + 3/12. Suppose -2*w = -d*w + 34. Suppose -w - 2 = -s. Does 9 divide s?
False
Suppose -17 = -3*q - 5*u, 4*q + 3*u - 15 = q. Let s(b) = b + 4 + 3*b + 3*b. Does 16 divide s(q)?
True
Is 12 a factor of (-4)/(-2)*568/16?
False
Is 38 a factor of -8*-19*(-4)/(-8)?
True
Suppose 0 = -5*h + 7*h. Suppose -f - 4*f + 110 = h. Is f a multiple of 13?
False
Let l(o) be the second derivative of -o**5/20 - o**4/12 - o**3/6 + 7*o**2/2 - o. Let p(j) = j**2 - 6*j. Let a be p(6). Is l(a) a multiple of 6?
False
Suppose 5*p - 6 = 14. Suppose -111 = g - p*g. Is g a multiple of 8?
False
Suppose 4*n - 473 = 3*i, -132 = -2*n + n - 2*i. Does 12 divide n?
False
Let m(r) = -r**2 - 5*r - 1. Let s be m(-2). Suppose 0 = -t + 2*a - 7*a + 133, s*t = 4*a + 549. Let y = -81 + t. Is 16 a factor of y?
True
Suppose -r = 3*b + 12, -b + 4*r = -3 + 7. Does 6 divide -3 - 2*18/b?
True
Let n = -54 - -23. Let j = n + 61. Does 23 divide j?
False
Suppose m + 2*m = 0. Suppose -y + 40 + 5 = d, m = y - 4*d - 65. Does 11 divide y?
False
Let r = -52 + 71. Is r even?
False
Suppose -c = 1 + 3. Does 8 divide ((-1)/1)/(c/68)?
False
Let r be (-4)/(-26) - (-900)/65. Suppose 14 = -5*y + 49. Let x = y + r. Is 9 a factor of x?
False
Let p(a) = a**2 + a. Let b be p(1). Suppose -62 + 20 = -g. Suppose 0 = o - b*m - g, -91 = 4*o - m - 259. Is 21 a factor of o?
True
Let k(r) = -44*r + 9. Is 33 a factor of k(-6)?
False
Let j = 28 - 34. Does 17 divide 1683/27 - (-2)/j?
False
Let n be ((-6)/(-5))/((-12)/(-30)). Suppose -m - 63 = -p, 2*p + n*m - 323 = -3*p. Suppose -c + p = 4*y, -y + 2*c + 32 = y. Is y a multiple of 15?
False
Let q = 1 + 2. Suppose -2*g + q*g - 29 = 0. Is 8 a factor of g?
False
Suppose 0 = 2*u + 4*w - 18, 0 = -u + 4*u + 3*w - 33. Is 13 a factor of u?
True
Suppose 0 = 5*m + 4*o - 87, 5*m - o + 2*o - 78 = 0. Is m - -1 - 8/4 a multiple of 7?
True
Let d(a) = a + 2. Let j be d(4). Let v(c) = -c + 4. Let g be v(j). Does 12 divide (-27 - -2)*(-3 - g)?
False
Let k be 2*(-15)/(-12)*12. Suppose n + 0*n = k. Is 13 a factor of n?
False
Suppose 2*q - 15 + 1 = 0. Let f = 34 - q. Suppose i = -2*i + f. Is i a multiple of 8?
False
Suppose 3*c + 3*n - 8*n = 82, 3*c + 3*n = 66. Does 8 divide c?
True
Suppose 7*l - 8*l + 37 = 0. Does 15 divide l?
False
Let i(u) = -2*u - 9. Let s be i(-6). Suppose 2*m + 16 = 3*a, -s*a + 3*m + 15 = -6. Let z = a - -7. Is z a multiple of 9?
True
Let v(h) = 10*h**2 + 3*h + 1. Suppose -3*l - 5 = 1. Is 12 a factor of v(l)?
False
Let u(q) = 9*q + 17. Let i(s) = -18*s - 33. Let a(x) = -3*i(x) - 5*u(x). Is 14 a factor of a(6)?
False
Let v = -5 - -5. Suppose 4*d - 172 = -q + 2*q, -4*q = v. Is 23 a factor of d?
False
Let o(y) = -y**2 + 12*y + 3. Let q be o(12). Let w be 3 - ((-681)/q + 1). Suppose -2*h = -5*g - 3*h + w, -141 = -3*g + 3*h. Is 23 a factor of g?
True
Let l(v) = -48*v**3 - v**2 - 3*v - 2. Does 24 divide l(-1)?
True
Let y = 5 + -7. Is (1 + -59)/y + -3 a multiple of 13?
True
Let q(m) = 13*m**2 + 3*m + 2. Does 12 divide q(-1)?
True
Let j(o) = 32*o - 15. Let t(p) = -11*p + 5. Let y(z) = -3*j(z) - 8*t(z). Is y(-4) a multiple of 13?
False
Suppose 3*i = 2*p + 2*p - 179, 5*i + 49 = p. Is p a multiple of 6?
False
Does 35 divide 212/3 + (-2)/3?
True
Let x = -13 + 9. Let o = 12 - x. Is 8 a factor of o?
True
Suppose 10 = 4*h + 2*t, -5*h - t + 9 = -2*t. Suppose -3*r + 35 = h*r. Is 2 a factor of r?
False
Suppose 2*k = 12 + 2. Let l = k + -2. Is l a multiple of 5?
True
Let b(x) = 17*x + 11. Let w be b(13). Suppose -d - 2*z + 48 = 0, -4*d = -z - z - w. Is d a multiple of 15?
False
Suppose -198 = -19*q + 18*q. Does 33 divide q?
True
Suppose 0 = c - 3. Suppose -b + 32 = c*p, 2*p + 107 = 3*b - 0*b. Does 9 divide b?
False
Let t(p) = 8*p + 1. Let f be t(1). Let c be (-1)/(-2)*(f + 1). Suppose c*u = -2*i - 3*i + 140, -4*i + 3*u + 119 = 0. Is i a multiple of 18?
False
Let k = -37 + 62. Let c be -2*(-1 + (-3)/(-6)). Is 9 a factor of k/c + 2 + -1?
False
Let x be (-57)/(-12) + 1/4. Suppose -t + 51 = x*n - n, 11 = -n - 5*t. Let y = 28 - n. Does 7 divide y?
True
Suppose 4*m + 4*r - 49 = -r, 2*r + 14 = 4*m. Suppose -5*x - 5*c + 2*c - 32 = 0, -5*x - 36 = 4*c. Does 10 divide x/m - (-310)/15?
True
Let q(w) = -22*w**3 + 2*w**2 - 3*w - 3. Let l be q(-2). Is 2/4 - l/(-22) a multiple of 5?
False
Let j(g) = 2*g - 6 + 6 - 3*g + g**2. Does 6 divide j(-3)?
True
Let c = 43 - 18. Is 25 a factor of c?
True
Suppose 333 = 3*l + 3*n, l = -l - n + 226. Is 23 a factor of l?
True
Let b(w) = 3*w**3 - 2*w**2 - w. Suppose o + 17 = 2*h - 6*h, 18 = -2*o - 4*h. Let j be 2 + (2 + o)*0. Does 7 divide b(j)?
True
Let o = 10 + 34. Is o a multiple o