se
Suppose 0 = -3*x - 5*y + 67, -x + 3*x = -5*y + 43. Is 8 a factor of x?
True
Suppose b + 3*r - 106 = 0, b - 71 = 4*r + 42. Is 9 a factor of b?
False
Let z be (3/1)/(9/12). Suppose 37 = r - 6*r + 3*m, 2*r - z*m = -12. Is 156/16 - 2/r a multiple of 5?
True
Let o = 7 - 2. Suppose 3*x = 4*d + 175, 3*x - o*x + 94 = 3*d. Is 30 a factor of x?
False
Let d(s) = 28*s + 2. Let c be -1 - (-3)/6*6. Suppose c*i - 1 - 3 = 0. Does 22 divide d(i)?
False
Let p = -13 - -25. Suppose -m = o - 5*o + 12, -p = -4*o - 4*m. Suppose 3*g = -y + 36, -2*g + o*g = 4*y + 25. Is g a multiple of 10?
False
Let t(q) = 2*q**2 - 2*q + 3. Let j = 8 - 12. Is 16 a factor of t(j)?
False
Let j = -7 - -7. Suppose -3*a + j*a = -2*l + 49, -4*a = l - 30. Is l a multiple of 9?
False
Let b be (-1 + 4)/(6/28). Suppose -2*m = 4*l + m - 27, -3*l = -4*m - b. Does 14 divide 3*(-2 - (-80)/l)?
False
Let p be -8*(-1)/2 - -54. Suppose 2*m - 191 = -f - p, 5*f - 25 = 0. Is 20 a factor of m?
False
Is (0 - -55 - -3) + (-1 - -4) a multiple of 4?
False
Suppose 2*t + 4 = -5*j - 4, 3*j - 2*t = 8. Let g = 0 + j. Suppose g*s = 2*s - 58. Is s a multiple of 13?
False
Suppose 2*k - 5*s = 24 + 19, k - 4*s - 23 = 0. Is k a multiple of 6?
False
Let r be (-6)/15 - (-208)/20. Suppose -8 - r = -3*m. Is 3 a factor of m?
True
Let a(d) = 2*d + 7. Let l be a(5). Suppose 2*r - l - 15 = 0. Is r a multiple of 8?
True
Let k = -8 + 16. Is k/(-36) + 436/18 a multiple of 12?
True
Let j be (-2)/4 - 34/(-4). Let g be (-96)/18*(-18)/j. Is g/8*(-44)/(-6) a multiple of 4?
False
Let z(d) = d**3 - 12*d**2 + 14*d + 15. Let k be z(11). Suppose 2*c - k = 30. Is 12 a factor of c?
False
Let r(s) = s**2 + s + 3. Let a be r(0). Suppose l + 4*w - 17 = 7*w, -a*l + 2*w = -23. Suppose 4 = u + b, -4*b - 47 = -10*u + l*u. Does 7 divide u?
True
Suppose r - 14 = -x + 41, -4*x - 179 = -3*r. Does 9 divide r?
False
Let u(k) = -4*k + 10. Is 12 a factor of u(-7)?
False
Let o = -88 - -113. Is 4 a factor of o?
False
Suppose -2*b + x + 45 = 0, -b + 5*b - 89 = 3*x. Does 13 divide b?
False
Let d = 1 + 4. Let s = d + 13. Suppose -3*c - 6*q = -2*q - s, 0 = 2*q. Is 6 a factor of c?
True
Suppose 0 = -0*m + 3*m. Suppose 4*s = w - m*w + 123, -2*s + 4*w + 72 = 0. Does 15 divide s?
True
Let m(i) = 2*i**2 + 3*i + 2. Let v be m(-2). Suppose -275 = -h - v*h. Does 12 divide h?
False
Let g = 25 - 18. Suppose 0 = g*u - 4*u - 84. Is u a multiple of 10?
False
Suppose 3*t - 17 = -4*d + 22, -3*d + 8 = t. Let s(h) = -h**2 + 16*h + 25. Is 4 a factor of s(t)?
True
Let d(t) be the second derivative of -t**5/20 - t**4/12 + 2*t**3/3 + t**2/2 + 3*t. Suppose -2*m - 5*i + 0*i = 6, -6 = 2*m - 3*i. Does 7 divide d(m)?
True
Let a = 21 - -6. Suppose 3*x - 19 = -r, 0*r = -3*x + 3*r + a. Is x a multiple of 7?
True
Suppose -4*v + 2*v = 0. Suppose v*c - 24 = -2*c. Does 7 divide c?
False
Let w = 161 + -99. Is w a multiple of 27?
False
Let x = -1 - -3. Let b(d) = -x - 6 + 3*d + 7*d. Is 24 a factor of b(6)?
False
Let k(d) = 4*d - 5. Let s be k(5). Suppose -3*y + 3*u + 136 = 4*u, -3*y + 133 = -2*u. Suppose -b + y = s. Does 8 divide b?
False
Suppose 2*g + 7 + 17 = 0. Is 3 a factor of (-1)/(3/g - 0)?
False
Suppose -2*x - 17 = j, 4*j = 14 - 2. Let n = -4 - x. Is 2 a factor of n?
True
Let j be (-8)/(20/5)*8. Suppose 6 = 3*o, -4*o = -3*d - o - 78. Let l = j - d. Is l a multiple of 3?
False
Suppose 0*n - 12 = 4*n. Let m be n/(-12) + (-333)/(-12). Suppose 46 = 2*o + 2*t + 2*t, -o - t = -m. Is 13 a factor of o?
False
Suppose -3*t = -4*q + 19, -5*q + t = -4*t - 25. Let k be (55/3)/(11/33). Suppose -q*i - y + 236 = 3*y, i + 3*y = k. Does 21 divide i?
False
Let y(x) = 159*x**3 + x**2 + 3*x - 3. Does 20 divide y(1)?
True
Let r(j) = 4*j - 9. Let f = 17 - 5. Let i = f - 3. Is 20 a factor of r(i)?
False
Let f(m) = -6*m + 9*m**2 - 3*m + 10 - m**3 + 0*m. Let t be f(8). Suppose -16 = y - t*y. Is 8 a factor of y?
True
Let b = 16 - -44. Is b a multiple of 17?
False
Let w = -8 + 8. Suppose -5*v - 3 + 13 = w. Suppose 3*a - v*a - 14 = 0. Does 8 divide a?
False
Let g(o) = 87*o - 3. Suppose 4 + 2 = 2*u. Let r be g(u). Suppose 86 = -4*p + r. Does 16 divide p?
False
Let x(c) = -c**2 + 6*c - 6. Is 2 a factor of x(4)?
True
Let p(f) = f. Let t(i) = -6*i + 1. Let o(w) = 5*p(w) + t(w). Let c be o(8). Let d(b) = b**3 + 9*b**2 + 10*b + 5. Is 21 a factor of d(c)?
False
Suppose 4 = s - 2*k, -5*s + 3*k + 12 = -15. Does 2 divide s?
True
Let o(x) = -3*x**3 + 18*x**2 - 15*x + 9. Let y(z) = z**3 - 6*z**2 + 5*z - 3. Let t(j) = -2*o(j) - 7*y(j). Is 8 a factor of t(4)?
False
Suppose -4*n + 10 + 6 = 0. Let l(b) = -4*b**2 - 3*b + 4. Let y be l(n). Let t = 103 + y. Is t a multiple of 15?
False
Let b(t) = -82*t. Suppose -n - 5 = -4*o + 7, 0 = -4*n - 16. Let r be b(o). Is 11 a factor of r/(-9) - 4/18?
False
Suppose 12*q - 15*q + 126 = 0. Does 21 divide q?
True
Is 195*2/(-10)*-2 a multiple of 13?
True
Suppose -4*i - 2*c = -458, 5*c + 8 = -7. Does 6 divide i?
False
Is 11 a factor of 66 + (4 - (5 - 1))?
True
Let z = -22 + 31. Suppose 11*a = z*a + 14. Is a a multiple of 7?
True
Is -1 + 1*(-2 + 53) a multiple of 5?
True
Let z(r) be the second derivative of r**5/20 + r**4/2 - r**3/6 - 5*r**2/2 + 2*r. Let u be z(-6). Is (82/6)/u*3 a multiple of 13?
False
Let s(m) = 2*m**3 - m**2 - m - 2. Suppose -g = 3*u - 26, 2*u - 5*g - 21 = -2*g. Suppose -1 = 4*j - u. Does 3 divide s(j)?
False
Let r = -1 - -8. Let p = r - 2. Suppose p*q - 48 = 12. Does 5 divide q?
False
Suppose 2*c + 0 + 26 = -3*a, -5*c - 5*a - 55 = 0. Let q = 22 - c. Does 12 divide q?
False
Let n = 148 + -37. Does 11 divide n?
False
Suppose 4*u = 8*u. Is 43 + 1 + 1 + u a multiple of 15?
True
Let q be 0/3 - -52 - 1. Suppose -q + 6 = -5*o. Suppose -4*a + o = -3. Is 3 a factor of a?
True
Suppose -4*b + 92 - 2 = 2*d, 3*d = -2*b + 55. Is b a multiple of 10?
True
Suppose -4*h - 5*u = -471, 102 = h - 9*u + 5*u. Is h a multiple of 19?
True
Let t(y) = 8*y**2 - 2*y + 1. Let l be t(1). Let f be (4*-6)/(4/(-6)). Suppose -3*c - l + 44 = -x, 2*x - f = -4*c. Is 8 a factor of c?
False
Let i(o) = -4 + 0*o**2 + 0*o - 5*o + 3 + o**2. Does 17 divide i(8)?
False
Suppose -j + 5*j - 180 = 4*o, 0 = -5*j + o + 229. Is j a multiple of 23?
True
Let t(m) = m**3 - 5*m**2 + m - 1. Let r be t(5). Let l(u) = -2*u - 4. Let w be l(r). Let x = w - -25. Is 13 a factor of x?
True
Let g(p) = 8*p. Let z be g(2). Suppose z = d + d. Suppose 0 = 3*n - d*n + 25. Is n even?
False
Suppose -5*y + 20 = 0, -4*y - 13 = -4*w - 5. Let l = 17 - w. Is l a multiple of 6?
False
Suppose 4*x - 4*d = -x - 271, -3*x = -4*d + 161. Let t = -25 - x. Is t a multiple of 10?
True
Suppose -3*k - 2 = w - 0*k, 4*w - k - 57 = 0. Suppose c - 41 = -3*c + 3*x, 2*c = 3*x + w. Is c a multiple of 14?
True
Suppose -2*z = -4*n + 2, 5*z + 2*n - 23 = -2*n. Suppose -z*u - 15 = -6*u. Suppose 5*q = -4*c + 82, -3*q = -u*c + 35 - 99. Does 6 divide q?
True
Let z = 204 + -93. Does 30 divide z?
False
Does 54 divide -9*(-94)/(-18)*-3?
False
Let t(k) = -2*k - 2. Let a be t(-2). Suppose a*n - 280 = -3*n. Is n a multiple of 14?
True
Let n(f) = f**2 + f + 3. Suppose 2 - 6 = -z. Let m be n(z). Suppose 2*l = 17 + m. Is 7 a factor of l?
False
Suppose -10*r + 530 = -0*r. Is r a multiple of 17?
False
Let d(l) = l**2 - 10*l + 1. Is d(-7) a multiple of 30?
True
Let o(s) = -s**2 + 19*s - 8. Is 10 a factor of o(16)?
True
Let w(j) = -j**2 + 4*j - 1. Let y be w(4). Let s(z) = 54*z + 2. Let t(m) = -27*m - 1. Let l(x) = 4*s(x) + 9*t(x). Does 13 divide l(y)?
True
Let j(v) be the first derivative of 4*v - 5/2*v**2 - 2. Is 13 a factor of j(-4)?
False
Is ((-4)/5)/((-8)/360) a multiple of 12?
True
Suppose 2 = -2*p - 10. Let t(r) = -8*r - 8. Is 20 a factor of t(p)?
True
Let i be 3*6/(-27)*-3. Let g = 22 - i. Let v = 28 - g. Does 8 divide v?
True
Let o(a) = 2*a**3 + 33*a**2 - 22*a + 31. Does 21 divide o(-17)?
False
Let b = -5 + 5. Suppose 4*l = -b*l. Does 25 divide (25 + l)/((-1)/(-1))?
True
Let w(p) = -p**3 - p**2 + 7. Let z(r) = 2*r**3 + r**2 - 6. Let g(n) = -4*w(n) - 5*z(n). Is 23 a factor of g(-2)?
True
Let f = -340 + 179. Let x = f + 233. Does 18 divide x?
True
Let f(h) = 9*h**2 + 2*h. Is f(-2) a multiple of 16?
True
Let b(u) = 29*u**2 - 13*u - 3. Let w(g) = 7*g**2 - 3*g - 1. Let a(j) = -2*b(j) + 9*w(j). Does 13 divide a(3)?
True
Let r(y) be the second derivative of -y**5/20 + 5*y**4/12 + 4*y**3/3 