, 4*b = -2*n + 24 + 18. Is b a multiple of 6?
True
Let t(s) = -s**3 + 8*s**2 + 10*s + 9. Is 7 a factor of t(9)?
False
Suppose -y = -2 + 7. Let w(t) be the first derivative of -t**4/4 - 5*t**3/3 - t**2 + 6*t + 3. Does 16 divide w(y)?
True
Let w = -17 + 30. Is w a multiple of 4?
False
Suppose 0 = 6*n - n - 20. Suppose -n = -2*p - 0*p. Suppose -4*l - l - 2*w = -76, p*w = 6. Is 7 a factor of l?
True
Suppose -k + 2*k = -b + 59, 231 = 4*b + 3*k. Let y = -21 + b. Let p = y - 14. Is p a multiple of 10?
False
Let z be (-183)/(-21) - 4/(-14). Let u = z - 6. Is u even?
False
Let o be 2415/20 + 3/(-4). Let v = o + -55. Let n = -37 + v. Is 10 a factor of n?
False
Let a(b) = -b**3 + 10*b**2 - 9*b - 14. Is 14 a factor of a(8)?
True
Let o = 19 - 9. Suppose o + 0 = -5*q, 2*q = -5*c - 44. Is 6 a factor of (27/(-12))/(3/c)?
True
Suppose 4*d - 10 = 6. Suppose 4*v = -d*f + 24, -2*v = -5*f - v + 24. Suppose -2*y = -y - f. Does 3 divide y?
False
Suppose -12*x = -4*x - 136. Is 17 a factor of x?
True
Let r(g) = 353*g**2 - 1. Let b be r(1). Is 13 a factor of b/12 - (-1)/(-3)?
False
Let f be 4/(-2 - 8/(-6)). Let y be (1 - 2)/(2/f). Suppose s + y = 16. Is s a multiple of 6?
False
Suppose 2*o + 56 + 3 = 5*i, o = 4*i - 22. Let b = o + 96. Does 18 divide b?
True
Suppose -4*z = -20, -3*v + 0*v - 5*z = -61. Is 6 a factor of v?
True
Suppose -5*m + 3*u = -1946, -3*m - 2*m + 1934 = 3*u. Is 30 a factor of m?
False
Let n be 4/(-4) + 1 + 46. Suppose h = -x + 8, 4*h - 2*h - n = 4*x. Is 12 a factor of h?
False
Let y(n) = -n + 1. Let c(g) = 6. Let w(a) = -c(a) - 3*y(a). Let k be (-2 - -8) + 1 - 0. Is 6 a factor of w(k)?
True
Suppose o = -6 - 0. Is 17 a factor of (2/o)/((-2)/204)?
True
Let p be 45/(-6)*(10 - 0). Let m = p + 111. Does 18 divide m?
True
Let c = 3 - -192. Does 16 divide c?
False
Let t(n) = n**2 + n. Let w be t(0). Suppose w*g + 4*g = 156. Does 16 divide g?
False
Let p = -10 - -8. Is (14/10)/(p/(-10)) a multiple of 3?
False
Suppose -2*j + 2 + 2 = 0. Let u(c) = -11*c**3 + 4*c**2 - 3*c + 1. Let v be u(j). Let l = -42 - v. Is l a multiple of 17?
False
Suppose 4*y + 43 = 2*b + 1, -3*y + 4*b = 39. Let r be -1 + -6*6/y. Suppose 0 = r*s - 52 - 5. Is s a multiple of 19?
True
Let j(d) = -d**3 - 2*d**2 - 3*d - 3. Let z(y) = -3 - 4 + 3 - y - 3. Let b be z(-5). Is j(b) a multiple of 3?
True
Suppose -2*h = -d - 0*h + 20, 4*d - 80 = 2*h. Is d a multiple of 9?
False
Let v be 0/((-2)/4*2). Suppose v = -0*n + 2*n + w - 110, 4*w - 110 = -2*n. Let l = n + -21. Is l a multiple of 12?
False
Let o(n) = 4. Let x(h) = 4*h - 112. Let l(m) = 112*o(m) + 4*x(m). Let c(p) = -33*p. Let u(v) = -2*c(v) - 5*l(v). Does 14 divide u(-2)?
True
Let m = -28 - -66. Does 7 divide m?
False
Let s be (-15)/10 - (-6)/(-4). Let a be (9/6)/(s/52). Let l = a + 38. Is 6 a factor of l?
True
Suppose -4*f + 3*t - 1386 = 0, 3*t - 1733 = 5*f - t. Does 13 divide 6/27 + f/(-27)?
True
Let w(x) = -x**2 - 3*x + 4. Let u be w(-5). Suppose 2*h + r = h - 12, -4*r = -2*h - 24. Let a = u - h. Is a a multiple of 4?
False
Suppose 2*p - 40 = -2*p. Let j be (2*p)/(1/3). Suppose 0 = -4*d - 3*h + j, 19 + 11 = 2*d - 3*h. Is d a multiple of 15?
True
Let n(a) = -a**2 - 7*a - 6. Let l be (-81)/18*(-2)/3. Suppose -5 = -l*j - 5*g, -2*j + 40 = -6*j + 5*g. Is n(j) a multiple of 4?
True
Suppose -2 = 2*p - o, 0*p = 3*p - o + 2. Suppose p*g = 3*g - 108. Is 12 a factor of g?
True
Does 9 divide (-1)/(-2)*(2 + 50)?
False
Let p(o) = -3*o**2 + 5*o - 3. Let t(k) = 5*k**2 - 10*k + 6. Let s(y) = -5*p(y) - 2*t(y). Is s(3) a multiple of 11?
True
Suppose 2*o - 6 = -0*o. Let q be 12/18 - 74/o. Let p = -16 - q. Is p a multiple of 3?
False
Let a(t) = -20*t. Suppose 4*q + 2 = -10. Is 20 a factor of a(q)?
True
Let h(v) = -2 - 40*v**2 + 34*v**2 + v**3 - 3 - 7*v. Is 13 a factor of h(8)?
False
Suppose -2*n = 65 - 225. Is n a multiple of 20?
True
Does 14 divide (-52)/((-2)/14*2)?
True
Let t be 2/(-3*(-2)/81). Suppose -t = -4*u + 41. Is u a multiple of 3?
False
Let x(o) be the second derivative of -o**5/20 - 7*o**4/12 - 4*o**3/3 + 3*o**2 + o. Let f be x(-6). Does 2 divide ((-6)/f)/((-2)/18)?
False
Let v be -1*(-3 + 1 - 1). Suppose -2*x - x + 13 = z, 3*z = x + 69. Suppose 0 = v*g - z - 119. Is g a multiple of 16?
False
Let h be 2/1 + 8/(-2). Suppose 3*w - 3*u = -4*u + 5, -20 = -4*u. Is w + -1 + 5 + h even?
True
Let b(r) be the first derivative of -2*r - 3 + 2/3*r**3 - 4*r**2. Is 11 a factor of b(6)?
True
Suppose -8*b + 6 = -6*b. Is b even?
False
Let v(r) = 2*r - 10. Let b be v(5). Suppose -222 = -5*q + 23. Suppose 0 = -b*c + c - q. Is 14 a factor of c?
False
Suppose -4*h + 4*g + 104 = -20, h = -5*g + 13. Is h a multiple of 8?
False
Let g = 119 + -29. Suppose g = u + 2*u. Is u a multiple of 15?
True
Suppose 3*l = 2*l + 54. Is l a multiple of 18?
True
Let g(s) = 2*s**2 - 58*s + 4. Is g(30) a multiple of 18?
False
Is (-2)/(-6) - (-987)/9 a multiple of 10?
True
Suppose 2 = 2*z, -5*w + 2*w + 319 = -5*z. Does 12 divide w?
True
Let d(s) = 4*s**2 + s + 5. Is 22 a factor of d(3)?
True
Suppose -3*n + 81 = -3*l, 5*n - 4*l - 106 = 27. Is 7 a factor of n?
False
Suppose -2*k = -6, 3*x - 183 = -5*k - 0*k. Is x a multiple of 14?
True
Let h = -3 + 5. Suppose 2*b - 22 = h. Is 7 a factor of b?
False
Suppose 18 = 5*v - 3*z, 4*z - 7 = -3*v - 2. Let d(w) = 2*w + 2. Is d(v) a multiple of 3?
False
Let x(v) = 2*v - 7. Suppose -3*n + 7 - 1 = 3*b, -20 = 5*n. Is x(b) a multiple of 4?
False
Suppose 5*u - 124 - 26 = 0. Suppose -5*l = -4*z - 236, -l + 68 = -z + 20. Let o = l - u. Is 13 a factor of o?
False
Let g be 10/(-20) + (-157)/(-2). Let q = 1 + g. Does 38 divide q?
False
Let n(d) = -7*d**3 + 6*d**2 - 2*d - 5. Let m(t) = -13*t**3 + 12*t**2 - 3*t - 10. Let o(p) = -6*m(p) + 11*n(p). Does 10 divide o(7)?
False
Suppose 5*d - 4*w - 18 = 0, -3*w = -3*d - 2*w + 15. Suppose 4*t + 70 = d*t. Is t a multiple of 17?
False
Let v(h) = h**2 - h. Let n be v(-1). Suppose r + r = -n. Is -6 - -5 - (r + -3) even?
False
Suppose -j = -5*o + 479, 2*o + j - 2*j = 194. Does 31 divide o?
False
Let r(z) = 6*z**2 + 2*z + 0*z - 8 + 1 + z**3. Does 6 divide r(-5)?
False
Let o = 42 + -33. Is 3 a factor of o?
True
Is (-15)/10 - 123/(-2) a multiple of 16?
False
Let u = 22 - 6. Is 11 a factor of u?
False
Suppose 0 = 5*s - 0*s - 10. Let p = s + 0. Suppose 0 = -p*v + 6. Is 2 a factor of v?
False
Let b = -8 + 23. Suppose 2*a + 156 = 4*t, -2*t + 3*a = -0*a - 78. Suppose 0 = l - t + b. Does 12 divide l?
True
Let a be 17/4 + 2/(-8). Suppose 4*n = -92 + a. Let g = n - -37. Is 15 a factor of g?
True
Let y(s) = s**3 + 8*s**2 + 2. Let t be y(-8). Suppose -t*n = -n - 45. Does 8 divide n?
False
Suppose -3*f + 30 = l, 2*f - 3*l + 0 - 20 = 0. Is 10 a factor of f?
True
Let l(n) = 2*n**3 + 5*n**2 - 3*n - 2. Let g be l(-4). Let k = g + 69. Does 15 divide k?
False
Let q = 11 + -7. Does 7 divide 70/15*6/q?
True
Let o(f) = f**3 + 8*f**2 - 3. Let g be o(-8). Is 3 a factor of 6 + (g - -2) + 0?
False
Suppose i = 3*i - 4*h - 484, -5*i + 1270 = 2*h. Is 28 a factor of i?
True
Suppose -5*r = -2*r. Suppose r*t - 18 = -t. Does 9 divide t?
True
Suppose 5*p = -2*p + 21. Suppose y - 5 = 0, -2 = -5*s + p*y + 28. Is s a multiple of 4?
False
Is 2 a factor of (-1)/7 + (-2679)/(-133)?
True
Suppose 4*t - 41 + 13 = 0. Is 7 a factor of t?
True
Let z(a) = a + 2. Let g be z(2). Does 2 divide 1 - g*(-3 - -2)?
False
Suppose -11*n - 12 = -210. Is n a multiple of 3?
True
Suppose -g + 0*z + z + 23 = 0, -3*g + 37 = 5*z. Let f = g + -5. Does 4 divide f?
False
Suppose -l = 2*l - 4*b - 25, 2*b + 2 = -2*l. Does 8 divide 5*(l - (-51)/15)?
True
Let y = -1 - -1. Let o be (-6)/(-36) - 173/(-6). Suppose -2*j + 35 + o = y. Is 16 a factor of j?
True
Let r(l) = 4*l**3 - 2*l + 3. Let i be r(3). Suppose 2*z = -3*z + i. Let y = 41 - z. Does 9 divide y?
False
Suppose 0 = -3*y + 5*y - 12. Does 21 divide (-1 + 31)/(y + -5)?
False
Let w be (-1 + -15)*52/(-16). Suppose -5*a = -9*a + w. Is a a multiple of 7?
False
Let r be 112/21*(5 + -2). Suppose -2*u + 87 = u. Suppose -15 = 5*g, 3*p - u = g + r. Is p a multiple of 14?
True
Is 3/(-4) - 76/(-16) a multiple of 4?
True
Suppose -60 = -5*a + 45. Suppose 0*q - a = -q. Does 7 divide q?
True
Suppose 4*r = 5*c - 8, 3*c = r + 2*r + 3. Suppose -4*m + 0*a + 18 = 2*a, -r*a = -2*m + 21. Is m a multiple of 3?
True
Let i(w) = w**2 + 21*w + 24. Is 2 a factor of 