21/(-6)*(-22 + 0)?
False
Let r(l) = l**3 - 3*l**2 - 2*l + 2. Let c be r(4). Suppose 0 = -x + c + 8. Is x a multiple of 18?
True
Let l(p) = 33*p - 12*p + 8 - 13*p. Is 30 a factor of l(7)?
False
Suppose 3*p + p + 5*b = -4, -b = -p + 8. Let d = p - 2. Is 3/d*(-78)/(-9) a multiple of 5?
False
Let k = -3 + 0. Is 14 a factor of 42/(k/(-6) + 1)?
True
Is 7 a factor of (-14)/28 + 50/4?
False
Suppose 10 = 2*f - f. Let j = f - 7. Let y = j + 2. Does 5 divide y?
True
Suppose 3*z - z = 52. Let h(r) = -5*r + 3. Let g be h(-2). Let k = z - g. Does 13 divide k?
True
Does 2 divide (-8)/(-4) - -2 - -2?
True
Let b(g) = g**2 + 10*g + 1. Let l be b(-7). Does 12 divide (-5)/l*2*58?
False
Let k = -20 - -11. Is 5 a factor of 3*(-15)/(k/3)?
True
Let n(i) = -125*i - 22. Does 38 divide n(-2)?
True
Suppose 11 = m + 5. Is (m/(-9))/((-6)/153) a multiple of 9?
False
Suppose 9 = 4*q - q. Suppose -3*c + 27 = -q. Does 10 divide c?
True
Let t = 1298 - 779. Suppose -20 = 4*o, -3*p + 0*p + o = 76. Is (-6)/27 - t/p a multiple of 17?
False
Let s be (-3)/(-4) - 14/8. Let y = 5 + s. Suppose 24 = -y*r + 8*r. Is r a multiple of 3?
True
Let w be 3/2*(-100)/(-3). Let m be (w/1)/(4 - 3). Is 12/10*m/15 a multiple of 4?
True
Let i(n) = -7*n - 3. Does 5 divide i(-2)?
False
Let f = -2 + 8. Suppose -z = 2*a + f, -4*z - 17 = a - 0. Does 2 divide (-21)/z - 3/(-4)?
True
Suppose 5 = 2*h + y - 6, 0 = 4*h + 4*y - 32. Suppose 0*k = -h*k + 45. Does 9 divide k?
False
Let l(c) = -11*c + 6. Does 36 divide l(-6)?
True
Let o be (-3)/(-9) - (-8)/12. Let u be (-4 + 3)*(o + 16). Let r = u - -45. Is r a multiple of 13?
False
Let h = 23 - 33. Is 2 a factor of (-162)/(-30) - (-4)/h?
False
Suppose 0 = 3*u + 6, 4*u + 24 = 2*v - 0*u. Does 6 divide 15/2 - (-4)/v?
False
Let z = -16 + 39. Suppose -5*a - 26 = -2*u, 0 = 5*a - u - 0 + z. Is ((-26)/(-4))/((-2)/a) a multiple of 5?
False
Does 11 divide (-173)/(-9) - 2/9?
False
Is (-10)/(-4)*(-6 + 16) a multiple of 7?
False
Suppose 0 = 2*n - 2*r - 114, -3*n + 194 = 3*r + 11. Is n a multiple of 25?
False
Suppose 3*h - 98 = -4*k + 210, -k - 112 = -h. Is 9 a factor of h?
True
Suppose -3 - 2 = 5*z. Let f(s) = -38*s**2 + 3*s - 1. Let n(c) = -113*c**2 + 8*c - 3. Let o(x) = 11*f(x) - 4*n(x). Is o(z) a multiple of 16?
False
Let q(i) = -22*i + 11*i - i**2 - 3 + 1. Does 14 divide q(-5)?
True
Let f = 38 + -12. Does 4 divide f?
False
Let r = -14 - -28. Is 2 a factor of r?
True
Let g = -48 + 68. Is 10 a factor of g?
True
Let w = 317 + -205. Let j = w + -38. Suppose 3*v + 2*v = -4*g + j, -g = 2*v - 32. Is v a multiple of 6?
True
Let y(s) = -7*s + 2. Is 30 a factor of y(-4)?
True
Let b = 7 - 16. Does 3 divide (-3)/(b/6) - -10?
True
Suppose 4 = d - 5*d, -2*t - 6 = 4*d. Let r be -1*1/2*18. Is 4 a factor of r/t - (0 - 0)?
False
Let w be (5 - 2)*6/9. Suppose 0 = m - w*s - 3*s + 19, -4*s = 3*m - 38. Is m a multiple of 3?
True
Suppose s = 5*f - 58, 5*f - 92 = -5*s - 22. Suppose -5*o - 5*b = 0, 2*o = -6*b + b - f. Suppose 0 = -4*r - o*n + 160, -n + 3*n - 2 = 0. Is 19 a factor of r?
False
Is (-24)/(3/(12/(-8))) a multiple of 6?
True
Let k = -332 + 522. Suppose 3*s - k = -2*s. Is 19 a factor of s?
True
Is 73*(-1)/((-3)/(-2))*-3 a multiple of 18?
False
Suppose 7 = -p - 3. Suppose 2*y - g - 26 - 13 = 0, -5*g + 85 = 4*y. Let u = p + y. Is u a multiple of 8?
False
Suppose -q + 3*v + 16 = -v, 2*q - 2*v = 14. Suppose -q*p + 17 = -43. Is p a multiple of 15?
True
Let t be (-2*(-9)/(-6))/(-1). Suppose 15 = 6*v + 3. Suppose 0 = -v*n - w + 55, -t*w = 3*n - w - 84. Is 24 a factor of n?
False
Suppose -2*n - 3*a + a + 48 = 0, -5*n = -3*a - 104. Does 11 divide n?
True
Let s(j) = 2*j + 7. Is 3 a factor of s(5)?
False
Suppose 3 = 2*q - 5*h, h - 10 = -4*q + 7. Let n(p) = p**3 - 7*p**2 + p - 2. Let k be n(7). Suppose q = -k*j + 39. Is 4 a factor of j?
False
Suppose 4*r - 4*z - 44 = 0, -3*z + 6*z = 4*r - 44. Let y be (-170)/40 + (-2)/(-8). Let m = y + r. Does 7 divide m?
True
Let f(m) = -1 - m**3 + 4 - 1 - 10*m - 9*m**2. Is f(-8) a multiple of 5?
False
Let n be 0 + -1 - -2 - -103. Suppose -2*v - 5*a + 148 = 0, -4*v = -v + 5*a - 212. Suppose 3*z = 4*y + 122, -n = -4*z + 4*y + v. Is z a multiple of 17?
False
Suppose -9*d - 5 = -4*d. Is 20 a factor of -13*(d + 0 + -3)?
False
Suppose -2*x = 4*k - 118, -4*k + 112 = -4*x - 0*x. Let n = -12 + k. Is 17 a factor of n?
True
Let b = 10 + -9. Suppose -d - 2*d - 5*w - 16 = 0, -3*w = -2*d + 21. Let i = d + b. Does 3 divide i?
False
Suppose 2*d + d - 2*q - 24 = 0, 2*q - 12 = -3*d. Suppose -5*w = -2*m + 5, -d*m + 4*w + 4 = -5*m. Suppose 3*o = 2*o - 4, m = z - 4*o - 25. Is z a multiple of 9?
True
Suppose -4*r + 0*r - 268 = -4*y, 77 = y + r. Is 6 a factor of y?
True
Suppose -4 = -2*b - 0*b. Suppose h + b = 4. Suppose h*g + 19 = 5*g - a, 0 = 4*g + a - 30. Is 7 a factor of g?
True
Let o = -15 - -79. Is o a multiple of 16?
True
Suppose 3*b + 7 = 16. Suppose -j = b*j - 48. Is j a multiple of 6?
True
Let n be 1 - (-40)/2 - -2. Let h = n - -19. Is 14 a factor of h?
True
Let n(x) = x**2 - x - 1. Let g be n(2). Let t be -1 - -2*(g + 0). Is 1 + (21 - (t + 0)) a multiple of 14?
False
Suppose 56 = 2*p - 2*f, 0 = -5*p + f + 3*f + 145. Is 22 a factor of p?
False
Suppose 3*h + 4 = 4*h. Let d = h + -6. Is -2 + (-1 - d)*27 a multiple of 15?
False
Let j = -19 + 40. Suppose 4*t = 3 + j. Is ((-72)/(-9))/(2/t) a multiple of 12?
True
Let d(k) = 2*k**2 - 3*k + 5. Let w = 8 - 2. Is d(w) a multiple of 12?
False
Let c be (61/(-4))/((-2)/8). Suppose -c + 13 = -4*a. Is 3 a factor of a?
True
Let q(g) = g**2 - g + 2. Let k be q(2). Suppose -3*n + k*n = 0. Suppose n = -2*y + 3*y - 7. Is y a multiple of 4?
False
Suppose 3*t - 3*p - 114 = 0, -4*p - 109 = -3*t - 0*t. Does 6 divide t?
False
Let c = -81 + 121. Is c a multiple of 8?
True
Suppose -11 = -4*a + 45. Suppose -4*h + a = 2*q - 10, 5*q + 2*h = 20. Suppose 0*z - 16 = -2*z + 2*o, -3*z + q*o = -24. Is 7 a factor of z?
False
Let s(y) = 2*y**2 - 3*y - 5. Let t be s(5). Suppose 0*h = -h + t. Is 11 a factor of h?
False
Let c(u) = -7*u**3 + u**2. Does 13 divide c(-2)?
False
Suppose -194 + 2 = -2*v. Is v a multiple of 32?
True
Suppose -2*n + 3*u + 43 + 12 = 0, 2*n = 5*u + 57. Let w = n - 9. Does 17 divide w?
True
Suppose 0*i + 5*i = 0. Suppose i = -2*m + 1 + 15. Suppose m = g - 6. Does 7 divide g?
True
Suppose 5*j - 20 = 0, 2*p = -3*j + j + 48. Let l = 2 + p. Is l a multiple of 11?
True
Suppose 2*c - 216 = 4*a, -4*a + 250 = -4*c + 690. Is c a multiple of 10?
False
Let c(i) = i**2 + 0*i - 2*i + 1 + i**2. Does 14 divide c(4)?
False
Suppose 3*v + 95 = t + v, -v - 352 = -4*t. Suppose -l = t + 29. Let n = 179 + l. Is 23 a factor of n?
False
Let a(b) = -9*b**2 - 5*b + 11. Let i(r) = -4*r**2 - 2*r + 5. Let o(p) = 2*a(p) - 5*i(p). Let k be o(-3). Does 5 divide (5/k)/(1/39)?
False
Let u(t) be the first derivative of -3*t + 2/3*t**3 - 5/2*t**2 + 2. Does 5 divide u(4)?
False
Let u = 12 + -24. Let c be ((-2)/(-4))/(1/40). Let s = c + u. Does 8 divide s?
True
Let q = -4 - -50. Suppose -5*y + 4*u - 2 - 4 = 0, -4*u = 5*y - 26. Suppose y*g + 56 = 3*g + 4*l, -g + l = -q. Does 16 divide g?
True
Let g(w) = 17*w**2 + 3*w - 2. Let b be g(1). Let p = 5 - 3. Suppose -y - a + 7 = 0, -a - b = -p*y - 2*y. Is 2 a factor of y?
False
Suppose s - 2*z - 108 = -0*s, 4*s + z - 477 = 0. Is s a multiple of 27?
False
Suppose -2*q = -0*q, 4*u - 4*q = 8. Suppose 0*x - u*x = -4. Suppose -5*w = x*a - 59, 4*a + w - 78 = -w. Is a a multiple of 10?
False
Is (-1)/5 + 243/15 a multiple of 16?
True
Let g be 6/(-27) - (-58)/18. Suppose 1 - 49 = -g*l. Does 10 divide l?
False
Let b(y) = 3*y**2 + 11*y + 17. Is 29 a factor of b(-7)?
True
Let d(f) = -f - 9. Let p(s) = -s - 8. Let q be (-1)/((-1)/2)*1. Let g(m) = q*d(m) - 3*p(m). Does 7 divide g(8)?
True
Suppose 13*n - 806 = -0*n. Does 19 divide n?
False
Suppose -7 = -4*p + 5. Suppose -p*w = -4 - 2. Suppose -w*l - 3*l = -100. Is l a multiple of 10?
True
Does 3 divide ((-11)/22)/(1/(-8))?
False
Suppose -t = -2*o - 160, -3*t + 4*o + 166 = -2*t. Does 7 divide t?
True
Let o = 54 - 26. Does 4 divide o?
True
Let j(r) = 4*r - 1 + 0*r + 6 - 2*r. Does 6 divide j(4)?
False
Let n(x) be the third derivative of -1/120*x**6 + 1/24*x**4 - 2*x**2 + 0 - 1/3*x**3 + 0*x - 1/20*x**5. Does 5 divide n(-4)?
True
Let f = 10 + -5. Suppose -4*h + c + 82 = -11, 2*h = f*c + 51. Is 16 a factor of