iple of 10?
False
Does 7 divide (-1 + 10)/(6/16)?
False
Suppose 2*s - 57 = -s. Is 3 a factor of s?
False
Let l(n) = 15 - 6*n + 0*n**2 - 4*n + n**2. Does 10 divide l(10)?
False
Suppose -2*o - 17 = -u, 0 = u - 6*u + 3*o + 57. Does 3 divide u?
True
Let f(d) = -d**3 - 8. Let t be f(0). Let j(u) = u + 10. Is j(t) a multiple of 2?
True
Let p = 3 + 27. Suppose -2*y + p = y. Is 3 a factor of (8/y)/((-10)/(-75))?
True
Let r = -15 - -8. Let w(t) = -t - 4. Let c be w(r). Is 2 a factor of (4/4)/(1/c)?
False
Does 10 divide ((-10)/20)/((-1)/40)?
True
Suppose -2*t + 4*b - 112 = 0, -3*b - 73 = 4*t + 107. Is 14 a factor of -1 + -2 + t/(-2)?
False
Let q(t) = t**2 + 6*t + 2. Let n be q(-6). Let f(l) = -5*l**2 - l**3 - 4*l + 4*l**n - 5*l**2 - 1. Is 10 a factor of f(-6)?
False
Suppose -2*h - 7 - 17 = 4*b, -4*h - b - 27 = 0. Let a = h - -18. Is a a multiple of 3?
True
Suppose -3*s + 5*o + 260 = 0, 0 = 5*s + o + 3*o - 384. Is 16 a factor of s?
True
Let y(j) = j**2 - 2. Suppose 4*g + 0*g = -12. Is y(g) a multiple of 2?
False
Let d(g) = -7*g**3 + 15*g**2 - 6*g + 8. Let p(l) = 3*l**3 - 7*l**2 + 3*l - 4. Let i(k) = -2*d(k) - 5*p(k). Does 8 divide i(4)?
True
Suppose -2*r = -4*a - 3*r - 24, 4*a + 12 = -4*r. Let o(l) = l**2 + 6*l - 7. Let n be o(a). Suppose n = -q - q + 60. Is 15 a factor of q?
True
Suppose -4*r = 3*j - 16, 2 = -2*r - 5*j + j. Let c = 32 - r. Does 8 divide c?
False
Let c be 0/((-3*1)/3). Suppose -z + 3*d - 14 = 0, 0 = -2*z - c*d - 2*d - 12. Let o = 13 + z. Does 5 divide o?
True
Let r(z) = 17*z - 28. Let k(d) = 4*d - 7. Let a(j) = -9*k(j) + 2*r(j). Does 15 divide a(-12)?
False
Suppose -3*b - 4*a + 53 = -0*b, -a = 3*b - 56. Is 3 a factor of b?
False
Suppose p + 4*d - 3*d = 0, 4 = -d. Let a be p*5/4*-2. Is 4/(-10) - 44/a a multiple of 4?
True
Let x(b) = b**3 + 11*b**2 - 5*b - 13. Does 17 divide x(-11)?
False
Let t be (-27)/(-3) + 2 - 1. Let u be t/35 - 66/(-14). Is 2 a factor of (-3)/(-5)*u/1?
False
Let y(z) = -z**2 + 17*z + 33. Is y(15) a multiple of 7?
True
Suppose 5*a - 6*a + 1 = 0. Let g(x) = 14*x**2 - 1. Does 3 divide g(a)?
False
Let j(q) = q**2 + 3*q - 4. Let b be (-19)/7 - 4/14. Let x be j(b). Does 2 divide (21/(-6))/(2/x)?
False
Suppose 0 = -z - 3*z + 408. Suppose -2*i = 8 - z. Suppose -4*f + 12 = 0, -q - q + i = f. Is q a multiple of 11?
True
Let l(m) = -8*m + 1. Let u(s) = 7*s - 2. Let v(n) = -7*l(n) - 6*u(n). Let q be v(7). Let c = q + -61. Is c a multiple of 21?
True
Let r(w) = w + 5. Let y be r(-3). Suppose -2*t - y*q - 2*q = -72, 3*q + 72 = 3*t. Is 14 a factor of t?
True
Let b be 70/22 + 6/(-33). Suppose -u = -b*u + 154. Suppose 3*d = -11 + u. Is 21 a factor of d?
False
Let f = -118 - -250. Does 22 divide f?
True
Is 8 a factor of (5 - 0)/(2/12)?
False
Let a(v) = v**3 - 15*v**2 + 19*v - 20. Does 10 divide a(14)?
True
Let h = 104 + -10. Let t = h - 63. Suppose 0 = -5*n - 4*f + t + 206, f = 3. Is n a multiple of 15?
True
Let x be (-1)/(2 - (-3 - -6)). Is 4 a factor of 2 - -2*3/x?
True
Let n be (-32)/(-6) - (-4)/(-12). Suppose 0 = n*v - 330 - 135. Let g = -63 + v. Is 10 a factor of g?
True
Let h(p) = -p**3 + 5*p**2 - 5*p - 2. Let i be h(4). Let q(k) = k**3 + 7*k**2 + 4*k. Is 6 a factor of q(i)?
True
Is (-330)/(-4) + 51/34 a multiple of 2?
True
Suppose -3*l + 15 = 2*m, 4*m + 4*l - 13 - 11 = 0. Suppose -3*f + m = -a, -5*a - 5*f + 11 = -34. Is a a multiple of 4?
False
Let w(n) = -n**2 + 10*n - 8. Let t be w(9). Let y(p) = 9*p**2. Is y(t) a multiple of 8?
False
Let r = -56 + 31. Let v = -9 - r. Is 16 a factor of v?
True
Let u = -1 + -4. Let m(h) = 7*h + 5. Let w(a) = -13*a - 11. Let o(x) = -5*m(x) - 2*w(x). Is o(u) a multiple of 21?
True
Is 5 a factor of 5/(-15)*(-1 + -53)?
False
Suppose h - 2*u - 121 = -3*u, 3*u = -4*h + 487. Does 28 divide h?
False
Is ((-66)/(-8))/((-30)/(-240)) a multiple of 50?
False
Let m = 19 + 32. Suppose 0*d - m = -2*d + 3*i, 5*d - 190 = -5*i. Let n = d + -19. Is 14 a factor of n?
True
Let g be (-37)/7 - 4/(-14). Let x = g - -3. Let v(a) = -14*a - 1. Is v(x) a multiple of 10?
False
Let q(h) = 42*h**3 + 2*h + 1. Let x be q(-1). Let l = 53 - x. Does 23 divide l?
False
Suppose 4*d = -d + 25. Suppose -n - 2*j + 7 = 3, -d*n - 16 = -2*j. Is -11*n/(1 + 1) a multiple of 4?
False
Suppose 74 = 2*p + 2. Let d = p - -8. Does 11 divide d?
True
Let x(d) be the first derivative of 9*d**7/280 + d**6/360 - d**5/60 + d**4/24 + d**3/3 - 2. Let c(v) be the third derivative of x(v). Does 14 divide c(1)?
False
Let z = 88 + -18. Let x = z + -46. Does 12 divide x?
True
Let a be (-20)/8 + (-2)/(-4). Let p be (-1)/(1 + a) + 25. Suppose 5*i - 39 = p. Is i a multiple of 13?
True
Suppose -5 = 2*f + 3*i - 23, 4*i = 16. Suppose 10 = f*u - u. Is u a multiple of 5?
True
Let f = 5 + -7. Let j(w) = -6*w - 3. Let i be j(f). Let p = i + -1. Does 8 divide p?
True
Let n(b) = -b**3 + 3*b**2 + 3*b + 2. Let x be n(3). Let d = 29 + x. Does 20 divide d?
True
Suppose 12 = 3*n, -2*v - n = -59 - 33. Is 22 a factor of v?
True
Let s = 1 - -1. Does 3 divide -33*(s/(-6) - 0)?
False
Let h = 15 - 11. Is 238/4 + h/8 a multiple of 15?
True
Let o(u) = -u**2 - 5*u + 1. Let v be o(-6). Let h be 1/((v/3)/(-5)). Suppose p = 8 - h. Does 3 divide p?
False
Let i(d) = -2*d**3 + 3*d**2 - 2*d + 3. Is 17 a factor of i(-4)?
True
Let j = -112 - -143. Is j a multiple of 5?
False
Suppose -3*q - 422 - 67 = -3*k, k - 5*q = 179. Does 14 divide k?
False
Let w(i) = -4*i**2 - 3*i - 6. Let d be w(-4). Let o = -27 - d. Does 8 divide o?
False
Let j(d) = -d + 3. Let i be j(-4). Let f(x) = 12*x - 21. Is f(i) a multiple of 21?
True
Let c(y) = -y - 9. Let o be c(-8). Let v be o/((-2)/((-90)/(-3))). Does 12 divide ((-72)/15)/((-3)/v)?
True
Let i(v) = -3*v**3 + v**2 + v. Let k be i(-1). Let g = 0 + k. Suppose g*m = 5*m - 24. Is m a multiple of 6?
True
Let v = 38 - -54. Does 46 divide v?
True
Let s = 7 - 5. Suppose 0 = 2*o - 4*w - 36, -2*o + 30 = -0*o - s*w. Is o a multiple of 12?
True
Suppose 0*h + 5*l = -h + 66, -3*h + 156 = l. Is h a multiple of 26?
False
Suppose 0 = -4*c - 0*c - 40. Let a be (-1316)/(-10) + (-4)/c. Does 11 divide ((-4)/(-6))/(8/a)?
True
Is (85/2)/((-1)/(-2)) a multiple of 17?
True
Suppose 0 = 5*r + 3*f + 5, -9 = -2*r - 2*f + 3*f. Suppose -4*t - 33 = 5*a, r*a - 5*t + 2*t = -4. Does 5 divide 6/(-3)*a + 2?
False
Let c(n) = n - 1. Let o(u) = -15*u**2 + 75*u - 75. Let m(j) = 75*c(j) - o(j). Does 5 divide m(-1)?
True
Let v be ((-14)/(-21))/((-2)/(-27)). Does 18 divide 1074/27 + 2/v?
False
Let i be (3 + (-81)/(-6))*2. Let t = 54 - i. Is 21 a factor of t?
True
Suppose 2*l + 252 = 6*l. Is 9 a factor of l?
True
Suppose -7 = -2*m - 5. Is 8 a factor of (0 - m*-27)*1?
False
Let j(i) = 2*i + 3. Let y be j(4). Is 28 a factor of y/66 + (-449)/(-6)?
False
Suppose 0 = 4*n - 3*x - 521, -3*x - 35 = n - 154. Is 32 a factor of n?
True
Suppose -4*m = m + 10. Does 4 divide (-9)/m*(-1 + 3)?
False
Let r = 29 - 15. Let k be (-4)/14 - (-4)/r. Suppose k = j - 2*j + 8. Is j a multiple of 5?
False
Is ((-29)/(-2))/(7/14) a multiple of 17?
False
Let l(v) = 2*v**2 - 6*v + 2. Is 19 a factor of l(6)?
True
Let m = -14 + 34. Is m a multiple of 10?
True
Is 16 a factor of (-130)/4*16/(-5)?
False
Let m = 107 - -5. Does 19 divide m?
False
Suppose x - 5 = 6. Let i = 6 + x. Does 10 divide i?
False
Let r = 73 + -35. Suppose -3*s = f - r, 23 + 25 = 4*s + 2*f. Is s a multiple of 3?
False
Let v = -4 + 4. Let s = 30 + v. Let g = 63 - s. Is g a multiple of 13?
False
Let u(k) be the second derivative of k**3/6 + k. Let h be u(3). Let x(i) = 5*i + 1. Is 10 a factor of x(h)?
False
Let m = -3 - -4. Let p = m + 17. Suppose -3*q = y - 34, -2*y = -q + y + p. Is 12 a factor of q?
True
Suppose -7*x = -3*x + 56. Let c = x + 32. Is 9 a factor of c?
True
Suppose 2*j = -5*b - j - 3, 4*b - 2*j = 2. Let g = b - -40. Is g a multiple of 12?
False
Let x be (-6)/27 + (-40)/(-18). Let z(c) = -1 + 6*c + 4 - 2. Is 13 a factor of z(x)?
True
Let s(p) = p**3 - 7*p**2 + 2*p + 4. Let j(u) = u**2 + 3*u - 3. Let n be j(2). Is 18 a factor of s(n)?
True
Suppose 4*w = 2*w + 8. Suppose -w = -3*x + 2*x. Is 4 a factor of x?
True
Let n = -14 - -14. Is (n - -14) + 1 + 1 a multiple of 16?
True
Let o(i) = i. Let s be o(-2). Does 5 divide s/(-1) + 6 + -2?
False
Let u be (2/(-6))/((-4)/(-60)). Let h(s) = -s**2 + 7*s + 7. Let z be h(u). Let c = z + 97. Does 22 divide c?
True
Sup