1) - 2). Suppose v = 5*m - 3*m + 90. Is m/(-6)*(-8)/(-6) a multiple of 8?
False
Suppose -40 = g - 2*k, g + 2*g = 5*k - 123. Does 13 divide -2*(-2)/(-4)*g?
False
Suppose -12 + 62 = 5*d. Let x(s) = -1 - 18*s + d*s + s**2 - 2*s**2. Is x(-6) a multiple of 11?
True
Suppose 60 = 2*n + n. Let o = n - 0. Does 20 divide o?
True
Let z = -4 + 4. Suppose 4*v - 3*v = z. Suppose v*q = -2*q + 8. Is q a multiple of 2?
True
Let t(u) be the first derivative of 3*u**2/2 + 2. Suppose -2*p + p + 3 = 0. Does 4 divide t(p)?
False
Let s = 11 + 123. Is 35 a factor of s?
False
Suppose -u = 4*d - 3*u - 300, d - 5*u - 75 = 0. Does 25 divide d?
True
Let i = -1 + 4. Let o(d) = -d**2 + 0*d**2 + 1 - d + 4*d**3 + 15*d**i. Does 13 divide o(1)?
False
Suppose 2*y = -4*f + 2*f + 6, f + 21 = 3*y. Does 2 divide y?
True
Let x(k) = -k**2 + 8*k - 3. Is x(6) a multiple of 2?
False
Let n(x) = -30*x - 1. Is 9 a factor of n(-1)?
False
Let j = -79 + 207. Does 16 divide j?
True
Let n(v) = -v - 1. Let j be n(-6). Let b = j + -1. Let g(u) = 2*u. Is g(b) a multiple of 8?
True
Suppose 0 = -3*k - 4*o + 172, 2*o + 24 = k - 30. Is k a multiple of 20?
False
Let h = -2 - 0. Suppose 4*p = 3*g - 350, 0 = -g - g - p + 226. Is g/4 + 1/h a multiple of 14?
True
Is 19 a factor of (6/9)/(0 - (-2)/114)?
True
Does 20 divide (-5)/((-640)/212 + 3)?
False
Let a(l) = -33*l. Does 11 divide a(-2)?
True
Let u(r) = r**3 + 4*r**2 + r - 4. Let j be u(-3). Let y = j + -6. Is 16 a factor of (-282)/(-4)*y/(-6)?
False
Suppose 2*w = -w + 27. Suppose 0*b + w = 3*b. Let m = 15 + b. Is 7 a factor of m?
False
Suppose -p = 2, 3*o + 2 = o - 3*p. Suppose o*w - 2*v - 78 = -2*w, 0 = -w + 5*v + 42. Is 13 a factor of w?
False
Let y(x) = -7*x - 1. Let a(f) = -6*f - 1. Let g(k) = -6*a(k) + 5*y(k). Let o be g(-1). Suppose o*h - 32 = -4*h. Does 8 divide h?
True
Suppose -5*p + 14 = 4. Suppose -32 = y - t, 4*y + 46 = p*y - 4*t. Does 14 divide y/3*-3 - 1?
True
Let z = 116 - 184. Let x = z - -102. Is x a multiple of 14?
False
Let k(u) be the third derivative of 3*u**5/20 - u**4/24 + u**3/6 + u**2. Let q be (-6)/2 + (2 - -2). Does 5 divide k(q)?
False
Is 12 a factor of 24/(-120) - (-1082)/10?
True
Let a be (-3)/(9/(-6)) - -1. Suppose 4*n = 4*t - 0*n - 60, a*t - n = 37. Is t a multiple of 3?
False
Let x(m) = -m + 2*m**2 - 11*m**3 - 10*m**3 + 0*m. Let f be x(1). Let b = f - -32. Is 12 a factor of b?
True
Let z be 0 - (-7)/(14/12). Let a be ((-10)/z)/((-1)/(-9)). Does 18 divide (-23)/3*a/5?
False
Suppose 4*t + 0*v + 3*v = 1, -18 = 3*t - 4*v. Is 11 a factor of (t/3)/(28/(-1218))?
False
Let y be 69/(2/2 - 0). Let j = 133 + -85. Let q = y - j. Does 14 divide q?
False
Let n(y) be the first derivative of -y**2 - 4*y + 2. Let j(w) = w**3 - 2*w**2 - 4*w - 1. Let q be j(3). Is 4 a factor of n(q)?
True
Let d be (916/(-6))/((-14)/21). Suppose -3*v - d = 6*x - 11*x, 2*v = 2*x - 94. Does 22 divide x?
True
Is (-1449)/(-28) - (-2)/8 a multiple of 7?
False
Let p = -11 + 34. Suppose -y = -2*y + p. Is 9 a factor of (-2)/(-1)*y/2?
False
Let u be 2*(-1 + (-5)/(-2)). Suppose -u*k + 12 = 3. Suppose -5*i + 3*b = -58, 6*i - k*i - 4*b - 26 = 0. Is i a multiple of 7?
True
Let k be ((-1)/2)/((-6)/72). Suppose 3*g = g + k. Does 9 divide g*-3*(1 + -2)?
True
Suppose -3*i + 58 = -2. Suppose 0*r = -2*r + i. Does 5 divide r?
True
Suppose o - 4*t - 12 = -4*o, 5*o + 3*t - 26 = 0. Suppose -o*i + 5*f = -9*i + 160, -3*i - 4*f + 99 = 0. Is 16 a factor of i?
False
Let m(t) = -5*t - t**3 - 2*t + 1 + 11*t**2 - 2*t**2. Let n(p) = p + 4. Let q be n(4). Is m(q) a multiple of 9?
True
Let f = -46 - -74. Is 8 a factor of f?
False
Let d(y) = -y**2 - 1 + 0*y**2 - 3 - 13*y. Let k be d(-10). Suppose 3*v - 43 = t, 4*v - t - 33 = k. Is v a multiple of 8?
True
Let x(w) = 31*w**3 + w**2 - w + 1. Let q be (-6)/(-27) - (-7)/9. Let l be 2 + (-2 - -1)/q. Does 16 divide x(l)?
True
Let n(y) = -6 + 8*y**2 + 6 + 1. Is 11 a factor of n(-2)?
True
Is 88/3 + (16/(-12) - -2) a multiple of 5?
True
Suppose -4*f = 3*s - 20, -5*f + 0*f = -5*s - 25. Let k be (-9)/(-1 - s) + -2. Suppose k*u - 4*u - 159 = 0. Is u a multiple of 19?
False
Let u(f) = f**3 + 7*f**2 + 5*f - 8. Let g be u(-6). Let s(i) be the first derivative of -7*i**2/2 - 2*i - 2. Is 6 a factor of s(g)?
True
Let o = 10 + 2. Let y = -22 + o. Let n = y - -16. Is n a multiple of 2?
True
Let n be 140/(-22)*5 + 12/(-66). Let o = 3 + -4. Is 1 - n/((-2)/o) a multiple of 14?
False
Let d = 22 - 4. Does 14 divide d?
False
Suppose 17*g + 20 = 21*g. Suppose -g*h - 2 = -5*l + 3, -5*l - 5*h = -55. Does 3 divide l?
True
Let d be 2/(1/(-19)*2). Let r = -9 - d. Does 4 divide r?
False
Suppose -4*j + 47 + 9 = 0. Does 3 divide j?
False
Let x = 21 + 2. Is x a multiple of 10?
False
Let d(m) = 2*m**2 - 5*m + 4. Is 10 a factor of d(4)?
False
Suppose 6*m - 3*m = 0. Suppose -5*w + 155 = -m*w. Let z = w + -9. Is z a multiple of 19?
False
Let h = -51 - -75. Does 6 divide h?
True
Suppose 0 = -2*t + 16 + 26. Let n be (-6)/t + (-576)/(-7). Suppose 3*l - n = 50. Is 16 a factor of l?
False
Let w(d) = 31*d - 7. Does 11 divide w(2)?
True
Let j be (-482)/(-6) - 9/27. Let a = 116 - j. Does 18 divide a?
True
Let a be 4 - -1 - (5 - 2). Suppose 3*t - 44 = -d, -3*t = a*t - 5*d - 80. Is 4 a factor of t?
False
Suppose -5*o - 9 - 1 = 0. Let a(l) = -5*l - 2*l - 3 + 2 - l. Does 8 divide a(o)?
False
Let g(u) = -9*u - 3*u**3 + u**3 + 5*u**2 - 1 + 6*u. Let y be g(3). Let j = -11 - y. Is j a multiple of 8?
True
Suppose -9*s = -14*s + 1625. Does 57 divide s?
False
Suppose -b = -5*q - 25, 3*q + b = 2*q - 5. Let r = q + 17. Does 12 divide r?
True
Let g(c) = 4 - 16*c - 5 - 1. Is g(-5) a multiple of 13?
True
Let k = 16 - 8. Suppose -5*o = z - 2*o + k, z - o = 0. Is 20 a factor of 3 + 4/z + 20?
False
Suppose -5*b + 20 = -4*b. Is b a multiple of 8?
False
Let d(b) be the second derivative of 0 + 3*b + 17/6*b**4 + 0*b**3 - 1/2*b**2. Is 11 a factor of d(1)?
True
Let j(l) = l**2. Let w be j(-7). Let g = w - 11. Does 19 divide g?
True
Suppose 0 = -q - a + 105, 2*q + 101 = 3*q - 3*a. Suppose -5*x + q = 9. Is 17 a factor of x + (0 - (2 + 0))?
True
Let s(q) be the third derivative of -q**6/120 + 7*q**5/60 + q**4/12 + 5*q**3/3 - 4*q**2. Is 8 a factor of s(7)?
True
Suppose -7*t = -359 - 152. Does 5 divide t?
False
Let s be 2/(-6) + (-26)/(-6). Let f be 11 - ((-6)/(-8))/((-1)/4). Let r = f + s. Is r a multiple of 9?
True
Let h = 13 + -5. Does 3 divide h?
False
Suppose -2*i + 4 = -t + 15, 5*t + i = 33. Suppose t = -m + 20. Suppose -p + 20 = 2*d, -5*p = -5*d - m - 42. Is 7 a factor of p?
True
Let x = -78 - -121. Let z = x - -1. Does 15 divide z?
False
Suppose 4*c + g = -g - 92, 3*c + 4*g + 74 = 0. Let n = c + 97. Is 11 a factor of 2*(n/6 - 0)?
False
Let w(h) = -h**2 - 7*h - 3. Let n be w(-6). Suppose -2*j = 3*k + n*j - 111, 4*k = 2*j + 174. Does 14 divide k?
True
Let i be 280 - (-2)/6*0. Suppose -m + 236 = 4*y, y = 6*y + 5*m - i. Suppose 0*p + n = -2*p + 33, 3*p = -5*n + y. Does 11 divide p?
False
Let f(q) = 7*q + 7. Let y(d) be the first derivative of d**4/4 + 2*d**3 + 2*d**2 + d - 4. Let o be y(-5). Is 14 a factor of f(o)?
False
Let a(p) = -7*p**3 - p**2 - 3*p + 2. Does 20 divide a(-2)?
True
Let f(y) = -3*y + 7. Let b be f(-5). Is 0 + (2 - 2) + b a multiple of 11?
True
Suppose -w + 101 = -57. Suppose 4*c = -h - 150, 0 = c + 3*c - 3*h + w. Let a = -19 - c. Is a a multiple of 10?
False
Suppose -1552 = 4*q + 992. Is 10 a factor of q/(-18) - 1/3?
False
Suppose 107 = 5*c - 23. Is c a multiple of 3?
False
Let r = 3 - -20. Let p = r + -9. Suppose 2*o - p - 52 = 0. Is 13 a factor of o?
False
Let k(b) = 11*b**3 - 4*b**2 - 2*b - 20. Let a(y) = 4*y**3 - y**2 - y - 7. Let f(r) = -8*a(r) + 3*k(r). Is f(4) a multiple of 3?
False
Suppose -n + 2*w + 4 = 4*n, 0 = 3*n + w - 9. Suppose -k - 39 = -4*k. Is 13 a factor of ((-4)/(-1))/(n/k)?
True
Let t(g) = -g**2 - 12*g - 8. Let i(a) = a**3 - 6*a**2 - a - 2. Let n be ((-2)/2)/(4/(-24)). Let d be i(n). Does 12 divide t(d)?
True
Let d = 2 + 2. Let k(h) = h**3 - 2*h**2 - 3*h - 3. Let u be k(d). Suppose -i + 10 = -u. Does 11 divide i?
False
Let g(x) = -x**3 + 5*x**2 + 17*x - 13. Is 2 a factor of g(7)?
True
Suppose -5 = 5*g - 60. Suppose d = -1 + g. Does 3 divide d?
False
Suppose -k + 4 + 1 = 3*t, -t = -5*k - 7. Is 18 a factor of t/8 + (-575)/(-20)?
False
Suppose 0 = r + r + 76. Does 6 divide (-1