 (-2)/4?
False
Suppose 3*k + d - 53 = 0, -5*k + 3*d + 38 = -55. Does 18 divide k?
True
Suppose 22 = 5*a - 18. Is 8 a factor of a?
True
Let f = 0 + 3. Suppose m + f = 21. Suppose 0*t = 2*t - m. Does 9 divide t?
True
Suppose -42 - 88 = 2*i. Let w = -23 - i. Is w a multiple of 17?
False
Suppose 0 = -3*t + 4 + 2. Suppose -t*d - 5 = 1. Let h(z) = z**3 + 5*z**2 + 4*z + 2. Is h(d) a multiple of 4?
True
Let y(a) = a**2 - 4*a - 2. Let c be y(5). Let o be 103/(1/(-2 + c)). Suppose 2*f - 2 = -0*f, -4*g = -f - o. Is 9 a factor of g?
False
Let l(c) = -c**2 + 25*c - 75. Does 15 divide l(19)?
False
Suppose 15 = 5*i + 5*d, -d + 0*d = -2*i - 3. Suppose -3*p = -i*n - 3*n - 93, n = -5. Is p a multiple of 7?
False
Let i(x) be the second derivative of x**4/12 - x**3 - 5*x**2 - 3*x. Is i(10) a multiple of 16?
False
Let s(o) = o**2 - o - 20. Does 28 divide s(13)?
False
Let z be -4*2*1/(-4). Let c(m) = 10*m**2 + 3*m - 1. Is c(z) a multiple of 15?
True
Let b(d) = -d**3 - 11*d**2 - 3*d + 5. Does 17 divide b(-11)?
False
Let j be 123/12 - 3/12. Let x = -6 + j. Is 4 a factor of x?
True
Suppose -2*g + 8 = 2*g. Suppose 4*v = -4*x, -6 - 6 = -2*x + g*v. Is 3 a factor of x?
True
Suppose 1708 - 476 = 7*q. Let a = q - 122. Is a a multiple of 18?
True
Let p be (-9 + 8)/((-2)/142). Let k = -21 + p. Is 13 a factor of k?
False
Let d(u) = -3*u - 3. Let b = 4 - 9. Let p be d(b). Does 4 divide (-2)/(-8) - (-129)/p?
False
Let v(f) be the third derivative of -f**5/60 + f**4/3 + f**3/3 - 2*f**2. Is v(5) a multiple of 5?
False
Suppose 4*s - 19 = -s - 2*k, -11 = -s - 4*k. Suppose -s*u - 5 = 2*u. Is 15/u*3/(-9) a multiple of 3?
False
Is 9 a factor of (18/(-5))/(12/(-160))?
False
Suppose -3*v + 2 = -1. Let s = v - -35. Suppose 6*b = 2*b + s. Is b a multiple of 9?
True
Suppose -3*k = -4*p - 290, -k - 9*p + 12*p + 90 = 0. Does 17 divide k?
True
Suppose 2025 = 54*n - 49*n. Does 27 divide n?
True
Let t(b) = -4*b + 1. Let j be t(2). Let y(a) = a**3 + 7*a**2 + 4. Let m be y(j). Suppose -4*c = -3*q + 10 - 2, 2*q - m*c = 0. Is q a multiple of 5?
False
Let f(m) = -m + 7. Let l be f(3). Suppose -u = -l*u - 5*y + 162, -216 = -4*u + y. Is 18 a factor of u?
True
Suppose -2*t = -t + 4*x + 7, 2*t + 26 = -2*x. Suppose 0 = -5*m - 39 - 86. Let i = t - m. Is i a multiple of 6?
False
Let h(x) = -5*x**2 + x**2 + 3*x**2 - 10*x + 9. Suppose 0 = 3*f + 20 + 4. Is 10 a factor of h(f)?
False
Let k(y) = 2*y**2 - 2*y + 3. Is 21 a factor of k(-5)?
True
Suppose -2*h - 121 = -6*h + w, h - 4*w - 49 = 0. Does 9 divide h?
False
Let m(f) = 5*f**3 - 11*f**2 + 7*f - 9. Let n(x) = 14*x**3 - 32*x**2 + 21*x - 26. Let b = -18 + 35. Let c(z) = b*m(z) - 6*n(z). Is 6 a factor of c(-6)?
False
Let b = -65 + 269. Does 51 divide b?
True
Let h be ((-9)/1)/((-4)/8). Suppose a + v = -v + h, 5*a + 3*v = 125. Is 14 a factor of a?
True
Let w(a) = 2*a. Suppose 3*x - 4*p = -5 - 2, -2*x = -4*p + 6. Let d be w(x). Let i = d + 10. Is i a multiple of 4?
True
Let x = 7 + 15. Does 11 divide 2/11 + 348/x?
False
Suppose 0 = 4*o - 28 - 76. Does 13 divide o?
True
Suppose -n - 102 = -3*n. Suppose 0 = -f - 2*f + n. Is f a multiple of 6?
False
Suppose 98 + 170 = 4*j. Is j even?
False
Let b = -113 - -232. Let m = -83 + b. Is 9 a factor of m?
True
Let q(c) = 2*c**2 - 3*c - 1. Suppose -2*r + 3*r + 4*g = 3, g - 15 = -5*r. Is q(r) a multiple of 3?
False
Let v(d) = 17*d**2 + 4*d + 3. Let z be 2 + 4*-1 + 0. Is 16 a factor of v(z)?
False
Suppose -2*d - 4 = 2*s, -5*d + 9*s = 4*s + 10. Is (d - 40)*(4 - 5) a multiple of 21?
True
Let l(p) = -p**2 - 8*p + 1. Let s be l(-8). Suppose -3*n + 1 = 4*v, -4*n + 3*n = 2*v - 1. Is 8 a factor of n + 0 - s*-9?
True
Let c(p) = 18*p + 6. Does 6 divide c(3)?
True
Suppose 705 = 2*w + 3*w. Suppose -w = -6*m + 3*m + s, -218 = -5*m - 4*s. Is m a multiple of 17?
False
Let f(t) = 16*t + 15. Let n(o) = 11*o + 16. Let g(j) = 11*j + 17. Let b(p) = 6*g(p) - 7*n(p). Let x(s) = -7*b(s) - 5*f(s). Is x(-5) a multiple of 10?
True
Suppose -4*o + 337 = -719. Does 44 divide o?
True
Let w be (12 - 0) + (2 - 4). Let t be w/3 + (-6)/(-9). Let d = t + -1. Is d even?
False
Suppose 87 = 3*x - 0*x. Let b = x - 6. Is b a multiple of 8?
False
Let b = -9 + 45. Suppose z - 72 = -4*p + 6*z, 0 = 2*p - 4*z - b. Let l = p - 3. Is 4 a factor of l?
False
Suppose -a = 1 - 3. Let w(f) = f**2 + 12*f + 18. Let t be w(-12). Suppose -a*y + t + 0 = 0. Is y a multiple of 3?
True
Suppose -13 = -4*m - v, -3*v + v = 3*m - 16. Let w(y) = 6*y**2 + 1. Does 7 divide w(m)?
False
Suppose b = -3*f + 18, 2*b + 5 = 2*f + 1. Suppose 0 = b*l - 2*j - 132, -j - 2*j = -5*l + 220. Suppose l = z + z. Is z a multiple of 11?
True
Let k(o) = o**2 - 6*o + 8. Let u be k(7). Let c = u - 2. Is c a multiple of 13?
True
Let v = -1 + 11. Let t(a) = -a + 2. Let q be t(-3). Suppose -5*w + 84 = 4*c, 2*c + q*w - v - 42 = 0. Does 8 divide c?
True
Suppose -113 = -5*l + 237. Suppose -t + 0*t = 5. Does 9 divide l/4 - t/10?
True
Let i(a) = a**3 + 14*a**2 - 5*a - 1. Is 23 a factor of i(-14)?
True
Suppose -j + 3 = -0. Suppose -p = j*p - 12. Suppose p*i - 28 = 14. Is i a multiple of 9?
False
Let x(y) = -29*y**2 + 2*y + 3. Let g(o) = 30*o**2 - 3*o - 4. Let l be (-4)/(-4)*(-3 + 0). Let s(f) = l*x(f) - 2*g(f). Is 13 a factor of s(1)?
True
Let o be (2/(-2))/(3/(-75)). Let l = o + -11. Is l a multiple of 7?
True
Suppose 5*l + p - 18 = 0, 6*l + 2*p - 21 = l. Let r = 7 - l. Suppose -5*d = g - 73, -4*g + 50 = r*d - 18. Does 5 divide d?
False
Let z = -19 - -25. Does 6 divide 4/z*(-2 - -11)?
True
Does 5 divide (2 + 8/4)*4?
False
Let s be -3*(28/(-3) + 0). Suppose -2*u - 4 = 3*r - 47, -2*u + s = 2*r. Is 5 a factor of r?
True
Let x(o) be the first derivative of 29*o**2/2 + o - 3. Does 20 divide x(1)?
False
Let w = 60 + -13. Does 11 divide w?
False
Suppose 2*f + 66 = f. Is 12/f + (-431)/(-11) a multiple of 13?
True
Let y = -22 - -41. Is y a multiple of 19?
True
Let u = -10 - -12. Is 2 a factor of u?
True
Let t = -2 - -5. Let n(d) = d**2 - 2*d + 1. Let u be n(1). Suppose -x = 5*j - t*j - 13, -5*x - 2*j + 33 = u. Is 5 a factor of x?
True
Let r(s) = -s**2 - 15*s + 14. Is 17 a factor of r(-9)?
True
Suppose 0*q = -2*q. Suppose 0 = k - q*k - 63. Let s = k + -15. Is 19 a factor of s?
False
Suppose 2 = 3*l - 2*q + q, 4*l + 3*q + 6 = 0. Suppose -4*p + l*p - 4 = 0. Does 6 divide ((-18)/p)/3 + 2?
False
Does 16 divide ((-96)/(-20))/(-4)*-40?
True
Suppose a + 6 = -m, -5 = 4*m - 5*a - 17. Let t be 3 - (-3 - m - 16). Suppose 4*i = t, -44 = -3*j + 5*i - 15. Does 8 divide j?
False
Let d(y) = -17*y**3 - 2*y**2 - 4*y - 6. Does 9 divide d(-2)?
False
Let k(x) = 12*x - 40. Is 16 a factor of k(15)?
False
Let h = -11 - -9. Does 19 divide (19/h)/((-6)/36)?
True
Let c(k) be the third derivative of 59*k**4/24 - k**3/2 + 2*k**2. Let u be c(2). Suppose u = 5*p + 10. Is 21 a factor of p?
True
Is 32 a factor of 4796/30 - 34/(-255)?
True
Let r(m) = m**3 - 3*m**2 - 4*m + 6. Let f be r(4). Suppose u + 2*u + 78 = 0. Let p = f - u. Does 16 divide p?
True
Suppose 4*b = -4*c + 56, 3*c - 47 = -3*b - b. Let d be -59 - (c - 0)/(-3). Let u = -30 - d. Is 13 a factor of u?
True
Let f = 6 + -4. Let p = 4 - f. Suppose -v - 3*i = p*v - 54, 4*v - 81 = 5*i. Is v a multiple of 9?
False
Let h(u) = -u**3 - 6*u**2 - 4*u + 4. Let g be h(-5). Does 21 divide (1 - g - 3)*-21?
True
Suppose -3*d - 86 + 248 = 0. Is d a multiple of 15?
False
Suppose -217 = 5*z + 3*w - 865, -z + 2*w = -140. Is 33 a factor of z?
True
Let r(c) = c**3 - 6*c**2 - 4*c + 3. Let x be r(4). Suppose -5*v = -v + 16. Is ((-8)/(-6))/v*x a multiple of 15?
True
Let l(a) = a**2 - 7*a + 1. Let v be l(7). Is v - -1 - 1*-20 a multiple of 11?
True
Let d be ((-1)/3)/((-2)/18). Suppose 0 = -k + d*b - b + 18, -2*b - 10 = 0. Suppose -2*c = -k - 28. Is c a multiple of 6?
True
Suppose 0 = 4*w + 5*n - 26 - 11, 2*w + 5*n = 31. Suppose 0*m = -w*m + 21. Is m a multiple of 2?
False
Let u(w) = 5*w**2 + w + 2. Is 6 a factor of u(-1)?
True
Is (-522)/(-42) - (-6)/(-14) a multiple of 3?
True
Let p = 10 - 27. Let v = 26 + p. Let y = v - 4. Is 3 a factor of y?
False
Suppose 5*g + 43 = 3*z, -2*g = -2*z + 3*g + 32. Suppose -2*v - z + 2 = 3*k, -3 = -3*k. Is 6 a factor of (-100)/(-8) - v/4?
False
Let h(g) = -g**3 - g**2 + 10*g + 3. Does 7 divide h(-4)?
False
Let g be (-2)/3 + (-17)/(-3). Suppose 3*x - 52 = 2*l, g*x + 6*l - 45 = l. Does 14 divide