be 3/(-2)*(-16)/3. Is 189/39 + p/52 a multiple of 3?
False
Suppose 3*c = 4*i + 4*c - 22, 5*i = -3*c + 31. Let a = i + -4. Is 7 a factor of a*(-3)/(3/(-7))?
True
Is 21/(-35) + (-558)/(-5) a multiple of 13?
False
Suppose 4*a - 4 = 4. Does 11 divide a/(-7) + 1864/56?
True
Is 8 a factor of (-7)/(35/(-2)) + (-369)/(-15)?
False
Does 24 divide (2 + 196)*(-7)/(-14)?
False
Let r be (0 - 1 - -2)*27. Suppose 4*o = 0, -o = u - 5*o - r. Does 13 divide (1 - 1) + -1 + u?
True
Let u(t) = 34*t - 25. Does 53 divide u(5)?
False
Suppose 5*d - 2*v + 105 = 0, 2*d + 21 = d + v. Let x = d - -30. Is x a multiple of 2?
False
Suppose -2*n - 20 = -76. Is 9 a factor of n?
False
Is 35 a factor of (-1 - (-5)/((-5)/(-6)))*28?
True
Let y = -22 + 32. Let k = 8 - y. Is k/((-6)/(-9)) - -56 a multiple of 18?
False
Let z = 12 - 9. Suppose -z*u - 17 = -155. Does 19 divide u?
False
Let h(k) = 3*k**2 - 5*k + 24. Is h(8) a multiple of 8?
True
Let k(p) = 12*p**2 - 2*p. Is k(2) a multiple of 22?
True
Let d = 394 + -280. Does 16 divide d?
False
Suppose -5*n + 4 = -3*n, 0 = -3*s - 4*n + 8. Let z(r) = -r**2 + 4. Let w be z(s). Let t = 11 - w. Is t a multiple of 7?
True
Let m = 11 + -8. Let l be (1 + 6/m)/1. Suppose -4 = n, l*t + 2 = 8*t + 2*n. Is t a multiple of 2?
True
Let y(q) = -q + 4. Let w be y(-11). Is 7 a factor of 6/w + 219/15?
False
Suppose 0 = m + 4. Let j = m - -4. Suppose -4*x + j*x + 56 = 0. Is 7 a factor of x?
True
Let w(x) = -x**3 - 18*x**2 + 10*x - 43. Is 10 a factor of w(-19)?
False
Suppose -4 = w - 3*w. Suppose -w*t = -2, 3*u = -2*u - 4*t + 14. Is 26 a factor of ((-84)/18)/(u/(-15))?
False
Let g = 31 + -27. Is g a multiple of 4?
True
Let x be (2/5)/(5/(-10900)). Let m = x + 56. Does 10 divide m/(-27) - (-4)/(-18)?
True
Let r(z) be the third derivative of -7*z**4/24 - z**3/6 + z**2. Does 8 divide r(-2)?
False
Let h = 13 - 5. Let g(d) = d**2 - 8*d + 8. Is g(h) a multiple of 4?
True
Suppose 2*o + 5 = -2*u - 1, 2*o + 6 = 0. Suppose u = -i - 2 + 19. Is i a multiple of 14?
False
Let h = -185 + 276. Does 13 divide h?
True
Is -12*-2*3/8 a multiple of 8?
False
Suppose 0*g = g - 3. Suppose -3*t + 25 = g*z - 26, 2*t = 6. Does 14 divide z?
True
Let j(t) = -t**2 - t - 1. Let k be j(-2). Let b = k + 8. Suppose b*g - 80 = g. Is g a multiple of 10?
True
Suppose -216 = -4*o - 4*g, -2*g = 4*o - 9*o + 277. Is o a multiple of 31?
False
Let s(t) be the third derivative of 1/24*t**4 - 1/120*t**6 + 0 + 0*t**5 + 2*t**3 + 3*t**2 + 0*t. Does 12 divide s(0)?
True
Suppose 10*a - 1495 = -325. Is a a multiple of 13?
True
Does 7 divide ((-28)/3)/(4/(-6))?
True
Let u = -11 + 21. Is 10 a factor of u?
True
Let t(b) = -b**2 + 2*b - 6. Let u be t(5). Let c = u - -54. Does 13 divide c?
False
Suppose 0 = k + 4 - 85. Is 27 a factor of k?
True
Let x be (1/2)/(1/(-2)). Let n = 2 + x. Suppose 76 - n = 5*a. Is 15 a factor of a?
True
Is 2695/45 - 2/(-18) a multiple of 15?
True
Suppose 6*n - 5*h - 15 = n, 4*h = -3*n + 16. Suppose -i + 4*p - p + 32 = 0, 4*p + 144 = n*i. Is i a multiple of 14?
False
Let m(r) = -2*r + 110. Is 22 a factor of m(0)?
True
Suppose -2*f = 4*w - 36, -28 = -2*f + 4*w + 16. Does 5 divide f?
True
Let q = 83 + -42. Is q a multiple of 6?
False
Let n(k) be the first derivative of -k**6/360 - 11*k**5/120 - k**4/2 + k**3 - 4. Let o(q) be the third derivative of n(q). Is 12 a factor of o(-8)?
True
Let u(i) be the second derivative of 0 + i**2 - 2/3*i**3 + 2*i. Is 13 a factor of u(-6)?
True
Suppose -5*u + 134 + 94 = 3*o, 3*o = u - 60. Suppose -2*f = 2*f - u. Is 5 a factor of f?
False
Is (1 - 0)/((-2)/(-106)) a multiple of 21?
False
Does 33 divide 335 - (-4 + (-10)/(-5))?
False
Does 29 divide (-8)/(-2) + -5 + 146?
True
Let h(k) = -1 + 6*k - 13*k - 4. Is 9 a factor of h(-2)?
True
Let c(s) = -57*s - 13. Does 25 divide c(-1)?
False
Let q be 0/(3 + (2 - 7)). Does 2 divide 0 + q + (1 - -1)?
True
Let k = 9 + 71. Suppose -l + k = 3*l. Is 20 a factor of l?
True
Suppose -3*l - 2 + 35 = 0. Let w = l + -16. Let i(k) = k**3 + 7*k**2 + 3*k - 6. Does 15 divide i(w)?
False
Suppose 3*m = 69 + 57. Does 42 divide m?
True
Let s be -3 + 1/(-1) + 2. Let k be 2/(s/(-5) - 0). Is (-342)/(-10) + (-1)/k a multiple of 17?
True
Let s(f) be the third derivative of f**4/24 + f**3/2 - 2*f**2. Is s(3) a multiple of 3?
True
Let x = 173 - 99. Suppose -4*q + 4 = 0, -q - 1 + x = 4*n. Suppose 5*v + n - 113 = 0. Is 12 a factor of v?
False
Suppose 3*u = c - 2, -4*c - 23 = -9*c + 2*u. Does 5 divide c?
True
Suppose -13 = -3*u - 1, 3*f + 24 = -3*u. Let s = 15 + f. Does 2 divide s?
False
Suppose 2*d + d + 2*n + 20 = 0, 4*d + 5*n + 22 = 0. Suppose 0 = -2*l - 0 + 2. Does 10 divide 10/(-8)*d/l?
True
Let b(w) = 35*w + 30. Is b(9) a multiple of 21?
False
Let b(z) be the third derivative of 7*z**5/60 + z**4/12 - z**3/2 + 2*z**2. Is 18 a factor of b(-3)?
True
Let l = 2 + -3. Let d = l - -8. Does 2 divide d?
False
Is 5 a factor of (-227)/(-7) + 2/((-28)/6)?
False
Is ((-21)/2)/7*32/(-3) a multiple of 16?
True
Is 11 a factor of (-2)/11 - (-1355)/11?
False
Let b(p) = -4*p**2 + p - 3. Let i be b(4). Is 8 a factor of 1/4 + i/(-4)?
True
Suppose -u + 0*c + 3 = -c, -2*u + 3*c + 6 = 0. Suppose 102 = 4*j + 3*l, -3*l + u - 45 = -2*j. Let s = j - 4. Is s a multiple of 10?
True
Let r(a) = 4*a**2 - 2. Let k be r(2). Let n = k - 5. Is 7 a factor of n?
False
Let x(c) = -4*c**3 + c**2 - 2*c - 1. Suppose -i + 3*i = -5*v - 16, -v = -3*i - 7. Is x(v) a multiple of 13?
True
Let f be 2/((-9)/(-6) + -1). Suppose f*s = s + 33. Is 11 a factor of s?
True
Let c(d) = -14*d - 10. Let y be c(-7). Is (-5)/(-15) + y/6 a multiple of 5?
True
Is (-511)/(-3) - -1*(-5)/15 a multiple of 17?
True
Suppose -l + 3 = -4*v + 4, -2*v - 3 = -l. Is l a multiple of 4?
False
Let v be -12 - 0/3 - 0. Does 13 divide (-1)/(-1) - (v + 0)?
True
Let j(x) = -4*x + 1. Let d(b) = b + 6. Let a be d(-5). Suppose 4*h + a = -3. Is 2 a factor of j(h)?
False
Let w be (0/1 - 1)/(-1). Let h be (2 - 3)*w - -87. Let c = h + -56. Does 11 divide c?
False
Let a be 2 - 0*2/(-6). Suppose -2*m = a*x - 3*x - 3, -2*x = 3*m - 29. Does 7 divide x?
True
Suppose 2*q + 9 = -47. Is (-316)/q + 4/(-14) a multiple of 3?
False
Suppose 7*i - 3*i = -16. Let w be (198/4)/((-3)/i). Let f = w + -45. Is 10 a factor of f?
False
Let v(p) = -p**2 + 32. Does 8 divide v(0)?
True
Let l(h) = h**3 - 7*h**2 - 6*h + 6. Let t be l(8). Is 13 a factor of t + 0 - 0/1?
False
Suppose 0 = 2*k - 21 - 1. Does 10 divide k?
False
Suppose 337 + 383 = 10*i. Does 9 divide i?
True
Suppose -6*m + 7 = -m + 2*n, 5*n = -3*m - 11. Suppose -m*d = -0*d + 33. Let b = 1 - d. Is b a multiple of 6?
True
Let d(j) = -2*j**2 - j. Let g be d(-3). Let k = g + 27. Does 3 divide k?
True
Let x = -12 + 11. Does 7 divide ((-14)/(-4))/(x/(-2))?
True
Let m = -65 + 135. Does 35 divide m?
True
Suppose -5*w = -4*b + 161, -2*w + 3*w = -3*b + 135. Does 14 divide b?
False
Suppose 0*c + 20 = 4*z - 5*c, c = 4. Is z a multiple of 10?
True
Let t be 3/(-6)*(-2 - -2). Let a = t + 4. Is a/10 - 204/(-15) a multiple of 7?
True
Suppose -y - 175 = -6*y. Let h = y - 24. Is h a multiple of 4?
False
Let m(i) = i**2 + i + 2. Let u be m(-2). Suppose -10 + u = -2*h. Suppose -r + h*r - 56 = 0. Is r a multiple of 14?
True
Let i = -9 + 43. Is i + -2*(-3)/6 a multiple of 12?
False
Suppose -15*n + 350 = -10*n. Does 35 divide n?
True
Suppose -10*u - 38 = -228. Is 6 a factor of u?
False
Let j = 68 + -11. Suppose 0 = z - 5*c - j, 2*z - 61 = 4*c + 35. Does 21 divide z?
True
Suppose -2*h = 4*p + 68 - 28, 5*p = -5*h - 50. Let o = p - -18. Is 8 a factor of o?
True
Let b = 6 - 2. Suppose -20 = -b*x, 27 = c + 3*x - x. Suppose 15 = 4*g - c. Does 8 divide g?
True
Let f(q) = -q**3 + 7*q**2 - 7*q + 9. Let b be f(6). Is b/((-2)/(176/(-6))) a multiple of 16?
False
Let x(v) = 58*v**2 - 4*v - 4. Does 4 divide x(-1)?
False
Let f(m) = m**2 + 3*m + 4. Let o be f(-7). Let u = 3 + o. Suppose -10 - u = -5*j. Is 4 a factor of j?
False
Does 8 divide 160/(-30)*(-6)/4?
True
Let z be 4/1*(-3)/(-6). Suppose 5*l - 4*y = 291, -y + 43 = l + z*y. Does 11 divide l?
True
Let k(t) = 10*t**2 - 3*t**2 - 1 - 3*t - 7 + t**3. Suppose 3*m = b + 3, -2*b - 3*m = 7 + 8. Is k(b) a multiple of 23?
True
Let c = 15 - -69. Suppose 2*u = -u + c. Is u a multiple of 10?
False
Let t = 0 + -4. Let c(j) be the first derivative of -9*j**2/2 + 3*j - 1. Is 16 a factor of 