Does 2 divide ((-24)/16)/(6/j)?
True
Let a = -6 - -7. Let c = a + 3. Does 7 divide (-1 - -17) + (-8)/c?
True
Let v(w) = w**2 - 6. Let u be v(0). Let y(b) = -b**3 - 5*b**2 - b - 2. Is y(u) a multiple of 25?
False
Suppose -7*c = -3*c + 5*m - 107, -80 = -3*c - 4*m. Is c a multiple of 8?
False
Suppose 0 = 4*r - 13*r + 297. Is 5 a factor of r?
False
Let h be (18/(-15))/(6/20). Let w = -1 - h. Suppose u - 5*a - 43 = 0, -2*a + 0 - 64 = -w*u. Is u a multiple of 18?
True
Let m = -2 + 5. Suppose -m*r - r = -20. Suppose -r*n + n = -64. Is n a multiple of 12?
False
Let j(t) = 6*t - 11. Is 23 a factor of j(12)?
False
Let c = -1084 - -368. Let l = c + 32. Is 19 a factor of (-6)/(-15) - l/15?
False
Let j be ((-16)/5)/((-16)/40). Suppose -4 - j = -3*s. Is 3 a factor of s?
False
Let n be ((-21)/(-9))/((-2)/6). Let d = n + 29. Is 1/(-3) - d/(-3) a multiple of 5?
False
Let h = -2 + 8. Is 118/h + 8/24 a multiple of 14?
False
Let p(z) = z + 1. Let o be p(-2). Let x = 8 - o. Is 5 a factor of x?
False
Suppose -2*q - 58 = -2*x, 0*x = x - 3*q - 37. Is 11 a factor of x?
False
Suppose 0*p + 6 = -p + 2*k, -2*p + 13 = k. Suppose -4*z + 72 = -p. Does 7 divide z?
False
Let a be 3/((3/(-2))/(-1)). Suppose -2*m + 34 = 3*m - 3*z, -a*z + 36 = 4*m. Is m a multiple of 3?
False
Let r(o) = o**3 + 2*o**2 - 2. Suppose -3*q + 3*g = -9, -5*g - 8 + 3 = 0. Does 14 divide r(q)?
True
Suppose -a + 23 = 7. Let v be a/56 + 173/7. Let t = v - -15. Is t a multiple of 20?
True
Let p = 66 - 3. Does 13 divide p?
False
Suppose r - 14 = 31. Does 9 divide r?
True
Suppose -3*n = -5*n + 4. Suppose -7*s = -n*s - 80. Does 13 divide s?
False
Suppose u - 3*k = 33, -2*u - 3*k - 129 = -7*u. Is 24 a factor of u?
True
Let g be (6/7)/((-4)/(-14)). Suppose 3*r - g*i - 25 - 2 = 0, -r + 5 = 3*i. Does 8 divide r?
True
Suppose -4*r - 16 = -2*r. Let d = r - -13. Is 4 a factor of d?
False
Let w be 40/22 - ((-91)/77 + 1). Let m be (0 + -1)*(1 - 0). Is 3 a factor of (m + w - 0)*7?
False
Suppose r = 8 - 3. Suppose r*a + 28 = 118. Is 15 a factor of a?
False
Is 2 + 0 + 76 - 3 a multiple of 22?
False
Is -2 + 199/2 + 33/(-22) a multiple of 8?
True
Let i(l) = l + 7. Let y(z) = -7 - 2*z + z + 2*z. Let m be y(4). Is 2 a factor of i(m)?
True
Let w = 1 - -4. Suppose -15 = -4*t - t. Suppose -2*i = w*c - 11, 0*i + 3*i = t*c + 69. Is 18 a factor of i?
True
Let w(c) = 4*c - 4. Suppose 0 = -2*o - 0*o + 8. Suppose -o*y - 13 = -4*z - 29, y = 3*z. Is 10 a factor of w(y)?
True
Suppose -4*v = 2*h - 55 - 1, -v + 3*h + 7 = 0. Suppose -5*o = -5*b - 120, 61 - v = 3*o + 3*b. Is 20 a factor of o?
True
Suppose 2*l - 96 = 3*n, 58 = 2*l - l - 4*n. Does 14 divide l?
True
Let j(g) = g + 1. Let o be j(-5). Let c(x) = x**2 + 2*x + 1. Is 2 a factor of c(o)?
False
Suppose -3*p + 2*t + 14 = 6*t, -14 = -4*p - 3*t. Does 2 divide p?
True
Let v(m) = m**2 - 4*m + 6. Let z be 5 + (3 - 4/1). Does 3 divide v(z)?
True
Let u = -6 + 12. Let t = 4 - u. Let f = 0 - t. Is 2 a factor of f?
True
Let p(u) = -u + 9. Is p(-13) a multiple of 13?
False
Suppose 1 = u + 8. Let f = u + 37. Does 9 divide f?
False
Suppose 0 = m - 5, 3*m - 13 = -s + 14. Does 9 divide 24/((-5)/((-80)/s))?
False
Let s(z) = -2*z - 1. Let f be s(1). Let g be 2 + f/3*-1. Suppose 21 = l + c, -1 = l + g*c - 28. Is 8 a factor of l?
False
Let o(m) = -m - 5. Suppose 0 = 5*d + u + 30, 2*u - 40 = 5*d + u. Let b be o(d). Suppose b*r - 9 = -3. Is r a multiple of 3?
True
Let h(z) = -36*z. Let w = 4 + -5. Is h(w) a multiple of 13?
False
Suppose o + 0 = -4. Let t = -67 - o. Is 5 a factor of (-2)/3*t/6?
False
Let y be ((-1)/(-2))/((-1)/4). Suppose -3*f - r - 7 = 0, f + r = -4 - 1. Is 15 a factor of (-1 + f)/(y/22)?
False
Let a be (0 - -2)*1 + 2. Let s(x) = a*x - x + 7*x. Is s(1) a multiple of 4?
False
Suppose 0 = 3*t + 9 - 3, 4*t = p + 1. Let c(q) = -q**3 - 9*q**2 - q - 3. Does 3 divide c(p)?
True
Let q(x) = 8*x**2 + 2*x - 1. Is 2 a factor of q(1)?
False
Let b be 52 - 0*4/(-16). Suppose 5*f = -g + 3*g + 59, -4*f + b = -4*g. Is 4 a factor of f?
False
Let l be ((-5)/3)/(3/(-9)). Suppose -l = -0*k - k. Let a(q) = -q + 11. Is 3 a factor of a(k)?
True
Suppose 2*v - 5*v = 93. Is 5 a factor of (-5 - v)*2/4?
False
Let a(y) = 2*y**2 + y - 1. Is a(-10) a multiple of 27?
True
Let l(k) = 1 + k**2 - 8*k - k - 2*k**2. Let f be l(-9). Is (-17)/3*(f - 4) a multiple of 17?
True
Suppose -5*a + 15 + 25 = 0. Is a a multiple of 2?
True
Let m(z) = z**2 - 5*z + 3. Let s be m(4). Let t be ((-2)/(-5))/s*-5. Suppose -t*y + 4 = -30. Is 10 a factor of y?
False
Let y = -15 - -9. Does 6 divide 20/y*36/(-10)?
True
Let h(g) = g**2 - 11*g + 32. Is 23 a factor of h(14)?
False
Let i(v) = 33*v**2. Is 13 a factor of i(-1)?
False
Suppose 50 = v + 4*v. Is (114/15)/(4/v) a multiple of 19?
True
Let h = 15 - 8. Is h a multiple of 2?
False
Suppose 5*x - 10 = -0*x. Let g = 5 - x. Suppose 6*n - 42 = g*n. Does 7 divide n?
True
Suppose 5*j - 19 = -z, j + 10 = 4*z - 3. Suppose 2*y - 4*w = 14 + 12, -z*y + 37 = -3*w. Is 7 a factor of y?
True
Let y be 6/4 - (-30)/12. Suppose y*p = -5*v + 195, -v + 117 = 2*v - 2*p. Is v a multiple of 12?
False
Let c = 1 + 3. Suppose 0 = c*o + o. Suppose o = -z + 4 + 12. Does 8 divide z?
True
Let p(n) = -n**3 - 8*n**2 - 16*n - 4. Is p(-8) a multiple of 31?
True
Let m(g) = -g**3 + 7*g**2 - 4*g - 8. Let v be m(6). Suppose 0 = -2*h + v*h + 3*i - 39, 4*h - 51 = 3*i. Does 7 divide h?
False
Let p be 3/(1 - 0) + 0. Suppose 0 = p*s - 53 - 7. Does 8 divide s?
False
Suppose 360 = 5*u - 0*u. Is u a multiple of 12?
True
Let q(b) = -15*b + 6. Let g = 5 + -9. Is 22 a factor of q(g)?
True
Suppose 0 = 3*v - 4*v - 5*c + 15, 4*v - 9 = -3*c. Suppose 3*u - 4*u + 4 = 0. Suppose -4*g + 3*x = -2, 3*g + v*x = x + u. Is g even?
True
Let z = -2 - -4. Suppose 0 = -z*i + 3*m - 9, i = -4*i - 4*m + 12. Suppose 2*o - 78 = -i*o. Is 15 a factor of o?
False
Let g(r) = -r + 11. Is 5 a factor of g(-5)?
False
Suppose -5*t = 5*z - 90, 5*t - 61 + 5 = -3*z. Is 3 a factor of z?
False
Does 9 divide 54/(-4)*(-138)/23?
True
Suppose -3*b + 7 = -65. Does 8 divide b?
True
Suppose 4*w = 7*w + 66. Let p = 42 + w. Does 18 divide p?
False
Let o = 6 - 2. Let z = 10 + o. Is 7 a factor of z?
True
Is ((-4)/(-5))/((-6)/(-450)) a multiple of 15?
True
Let f(l) = 13*l + 1. Suppose -2*b - b - 4*w = -24, 3*b - 3*w = 3. Suppose 3*r - r = b. Is 14 a factor of f(r)?
False
Let y(o) = -2*o**2 + 5*o - 3. Let t be y(4). Let h = t - -24. Is 9 a factor of h?
True
Let t be -3 - (-1 + 1) - -3. Suppose 2*o - 120 + 6 = t. Is o a multiple of 19?
True
Suppose 0 = b - 1 + 5. Let r be ((-2)/b)/((-3)/(-78)). Suppose 0 = -w + r + 5. Is w a multiple of 10?
False
Let p = -1 - -2. Is 17 a factor of -1*(p/(-1) + -48)?
False
Let z be (-2)/4*2*0. Is 7 a factor of 2 + z + 12*1?
True
Suppose -3*i = 4*z - 331 - 7, 2*i = 5*z - 434. Is 13 a factor of z?
False
Let g(v) = -33*v**3 - v**2 - v - 1. Let s be g(-1). Suppose -s = -3*p + 79. Suppose 4*n - 7 = -3, -5*q = 2*n - p. Does 4 divide q?
False
Does 4 divide 6 + 4/6 + (-1)/(-3)?
False
Does 7 divide (-3)/2*(-34)/3?
False
Let i(y) = 27*y + 3. Let x(z) = -z. Let k(r) = i(r) - 3*x(r). Let o(d) = 15*d + 1. Let c(v) = -2*k(v) + 5*o(v). Does 9 divide c(1)?
False
Let h be (0 - -1) + (-4)/(-2). Let q be ((-24)/9)/((-2)/h). Suppose q*u - 79 = -15. Is 8 a factor of u?
True
Let n(i) = -10*i + 5. Suppose 0 = -5*a - 13 - 7. Is 18 a factor of n(a)?
False
Suppose 3*q - 14 = 28. Let i be 7/q + (-15)/(-2). Let y(l) = l**2 - 3*l - 6. Does 17 divide y(i)?
True
Let d = -12 + 13. Is 4/6*(25 - d) a multiple of 16?
True
Let m(g) = -2*g + 2. Let z(c) = c**2 + 4*c - 5. Let i be z(-4). Let k be m(i). Suppose 5 = -d + k. Is 5 a factor of d?
False
Let c(n) = -n + 17. Let z be c(0). Suppose 2*h - 43 = z. Is 15 a factor of h?
True
Suppose -4*h - 27 = -5*b, 0 = -b + 5*h + 18. Suppose 152 = 4*y - 4*q, 145 - 43 = 3*y + b*q. Does 18 divide y?
True
Does 7 divide (0 - 2)*17/(-2)?
False
Let w(s) = -s**3 - 2*s**2 - s + 10. Is w(-6) a multiple of 20?
True
Let h(l) = l**3 + 6*l**2 - 5*l + 5. Let m be h(-6). Let n be (-2 - -1)/((-8)/(-16)). Is 18 a factor of (84/m)/(n/(-15))?
True
Let q(v) = -v**3 + 5*v**2 - 3*v + 2. Let z be q(4). Let f(t) = 12*t + 8. Let s be f(z). Suppose o = -3*o + s. Is o a multiple of 10?
True
Suppose -4*q - q = 10. Let j be 20/(-4) + -2 + 3. Does 15 divide 2/j + (-73)/q?
False
Is -8*(-41