 multiple of 17?
False
Suppose 6*y = -123 - 33. Let w = 47 - y. Is 17 a factor of w?
False
Let w(p) = 7 + p + 3 - 7*p. Is w(-7) a multiple of 24?
False
Let d = 3 - 3. Suppose 5*r + 3*w - 35 = -13, -r - 5*w = d. Suppose 5 = a, 2*p - r*p + 7 = -a. Is 3 a factor of p?
False
Suppose v = -2*m + 12, 2*m = 6*m + 3*v - 26. Is m a multiple of 2?
False
Let x = -11 - -7. Let u(z) = -z + 1. Is u(x) even?
False
Suppose 5*v - 3*t + 6*t + 11669 = 0, 0 = 3*v + 5*t + 7011. Does 13 divide v/(-36) - (-4)/18?
True
Let j(l) = -l**3 + 2*l**2 + l. Let w be j(2). Suppose -53 = -w*n - 5*u, -3*u = u - 20. Suppose -2*x = r - n - 21, -r = -3*x - 50. Does 15 divide r?
False
Let k(x) = 2*x + 254. Is 17 a factor of k(0)?
False
Let f(i) = -8*i - 8. Is f(-6) a multiple of 10?
True
Let w be (6 - 12)/(2/12). Let k = w + 126. Suppose 5*c - k = -0*c. Is 18 a factor of c?
True
Suppose 0 = -5*h + 4*o + 246, 0 = -0*h + 3*h - 3*o - 150. Is 23 a factor of h?
True
Let n be 885/27 - 6/(-27). Suppose o = 4*o + 5*w - n, -4*w = o - 11. Is o a multiple of 4?
False
Suppose 4*q - 5*u + 3*u - 22 = 0, -16 = -q - 3*u. Let m(d) = -d - 1. Let c be m(-4). Let s = c + q. Is 10 a factor of s?
True
Let c = 214 + -51. Is c a multiple of 58?
False
Let z = 4 + 14. Suppose 6*s - 60 = -z. Does 4 divide s?
False
Suppose -4*i = -s - 480, -2*i - 3*i - s + 600 = 0. Is 24 a factor of i?
True
Suppose 0 = 5*o + 4*j - 694 + 69, -2*o + 3*j = -250. Suppose -n + 4 = -0*n. Suppose n*h - o = -h. Is 14 a factor of h?
False
Let t be 1*(-3)/(-6)*2. Let q = 4 - t. Is q a multiple of 2?
False
Let y(l) = 5*l**2 + 17*l - 11. Let h(s) = 4*s**2 + 16*s - 12. Let n(x) = 4*h(x) - 3*y(x). Does 11 divide n(-16)?
True
Suppose -u + 17 + 86 = 0. Does 18 divide u?
False
Let x(a) = 3*a**3 + 7*a**2 + 9*a - 6. Let y(b) = 4*b**3 + 7*b**2 + 9*b - 5. Let j(l) = -5*x(l) + 4*y(l). Let u be j(8). Does 17 divide u - 1 - (-25 + 5)?
False
Suppose 5*g - 553 = -183. Is g a multiple of 14?
False
Let g(y) = -25*y - 1. Let t be g(-2). Suppose 0 = 4*v + 4*z - 136, 0 = v - 2*v + 2*z + t. Is 13 a factor of v?
True
Suppose i + 2*u = -4, 4*i + i = -5*u - 20. Let l(h) be the first derivative of h**3/3 + 2*h**2 + 4*h + 2. Is 3 a factor of l(i)?
False
Suppose 23 = -6*s + 7*s. Let b = -45 + s. Is 430/55 - 4/b a multiple of 8?
True
Suppose -x = 3 - 5. Suppose -w + 0*w - 3*p - x = 0, -p + 2 = w. Is w a multiple of 3?
False
Let n(g) = 4*g - 9. Does 10 divide n(11)?
False
Let p = -51 + 131. Is 8 a factor of p?
True
Let f be (-8)/(-3)*(-6)/(-4). Suppose 3*y + 4 = y, 0 = f*d + 5*y - 2. Suppose 5*j + 4*h + 2 = d*j, -5*h = 5*j - 5. Is j even?
False
Let p(d) be the third derivative of 0 - 2*d**2 + 1/2*d**3 + 1/8*d**4 + 1/60*d**5 + 0*d. Does 3 divide p(-4)?
False
Let g = -6 - -8. Suppose -3*h = -y - 47, 0*h + 4*h = 2*y + 62. Suppose -h = -g*f + 52. Is 17 a factor of f?
True
Is ((-9)/(-5))/((-54)/(-180)) even?
True
Let y = -8 + 10. Let d(k) = 26*k. Is 13 a factor of d(y)?
True
Suppose 5*b - 40 - 31 = 2*w, -b = -5*w - 5. Let a = -10 + 11. Suppose -g + b = a. Is 7 a factor of g?
True
Let u = 106 - 67. Suppose 5*j - 2*o = 45, -2*j = 2*o - 7*o - u. Is j a multiple of 7?
True
Is ((-324)/(-15))/(((-6)/(-40))/1) a multiple of 24?
True
Let m(z) = z**2 + z + 5. Let c be m(0). Suppose -10 - c = 3*l. Let i = l + 9. Is i even?
True
Let g(u) = 5*u**2 + 2*u - 1. Let z be g(1). Let v(c) = c**3 - 7*c**2 - c + 5. Let t be v(z). Let a = -21 - t. Does 16 divide a?
True
Let g(v) be the second derivative of -v**4/12 + v**3/3 + 3*v**2/2 - 4*v. Let q be g(-6). Is 10/3*q/(-10) a multiple of 15?
True
Let t(d) = -d**2 - 9*d + 5. Suppose 2*w = 6*w - 12. Suppose -4*h - 1 = o + 4, w*o + 15 = -h. Is t(o) a multiple of 14?
False
Suppose 73 = -3*b + 235. Is 18 a factor of b?
True
Let s(h) be the first derivative of h**3/3 + 3*h**2 + 9*h + 4. Is 4 a factor of s(-7)?
True
Let u(b) = -129*b - 3. Let d be u(-1). Suppose -z + 207 = -4*z. Let o = d + z. Is o a multiple of 19?
True
Suppose -4*k + 31 - 95 = 0. Suppose 2*m - 70 = 5*y, 2*y + 0*y = 4. Let u = m + k. Does 12 divide u?
True
Let m(w) = -w**3 - 6*w**2 - 3*w - 7. Does 3 divide m(-6)?
False
Let f(l) = -5*l - 8. Let m be f(6). Let h be (-1)/(-1)*m/(-1). Is h - ((-6)/(-3))/(-1) a multiple of 14?
False
Suppose 6*a = -a + 392. Does 8 divide a?
True
Let p = -24 + 68. Does 17 divide p?
False
Let f(y) be the first derivative of -y**4/4 - 10*y**3/3 + 4*y**2 - 7*y + 36. Let r(j) = -j**2 - j + 1. Let u be r(3). Is 26 a factor of f(u)?
True
Let s(j) = 9*j - 1. Let g be s(2). Let h = g - 7. Is h a multiple of 5?
True
Suppose -x = 4*l + 33, 0 = -2*x - 3*x - 3*l - 131. Is 13 a factor of 4 + -4 + (1 - x)?
True
Suppose -5*i + 20 + 2 = 3*m, 4*m = 3*i + 10. Is 1 - m - (-41)/1 a multiple of 19?
True
Suppose i - 9 = 4*c + 47, -84 = -2*i + c. Is 10 a factor of i?
True
Let s = -192 + 114. Suppose -8 = -20*a + 16*a. Is 20 a factor of 1 - a/(4/s)?
True
Let u be (-281)/(-5) + 1/(-5). Let k = 101 - u. Is 17 a factor of k?
False
Let u(r) = -268*r**2 - 8*r + 11. Let q(y) = -179*y**2 - 5*y + 7. Let s(t) = -8*q(t) + 5*u(t). Is s(1) a multiple of 23?
False
Let t be -2*(-4 - -3)*-1. Let a be t*11/(-2) + -3. Is (a/(-10))/(5/(-25)) a multiple of 2?
True
Does 29 divide -1 + (3 - -119) - 2?
False
Suppose l = -3*h + 17, 3*h + 0*h = -2*l + 40. Does 2 divide l?
False
Let v be 1 - 0 - (2 - 3). Suppose -v*l + 12 = -2*o, 2*l - 6 = 5*l + 5*o. Suppose 26 = 2*x + b, -l*x - 2*b = -4*b - 32. Does 5 divide x?
False
Let k(c) = c + 7 - 4 - 2 + 4. Is k(5) a multiple of 5?
True
Let t(d) be the first derivative of 5*d**2 + 2*d + 4. Is 8 a factor of t(2)?
False
Suppose 0 = -3*m + 3, -2*y - 3*m = -0*m - 139. Does 4 divide 2/(-8) - y/(-16)?
True
Suppose -5*y + 8 = -1742. Does 25 divide y/(-15)*3/(-2)?
False
Suppose -k + 0*k = 5*a - 139, 0 = -5*a + 3*k + 123. Does 6 divide a?
False
Suppose -3*v - 15 = -72. Does 7 divide v?
False
Let w(n) = -n**2 - 16*n + 7. Let c be (-222)/21 + (-6)/14. Does 21 divide w(c)?
False
Let p be 5 + -3 + 76/1. Let i = p - 46. Does 16 divide i?
True
Suppose -3*n - 3*h + 303 = 0, -2*n + 0*h = -2*h - 190. Let u = -6 - 48. Let o = n + u. Does 22 divide o?
True
Is (27/(-6) + 3)/(3/(-76)) a multiple of 38?
True
Let i(a) = 5*a**2 + a - 1. Let c(o) = -o - 7. Let p(h) = -2*h - 14. Let w(x) = -13*c(x) + 6*p(x). Let q be w(-5). Does 8 divide i(q)?
False
Let b = 357 + -130. Is 20 a factor of b?
False
Let c = -296 + 470. Does 42 divide c?
False
Suppose 0 = 3*q + 13 - 1. Let x be ((-2)/q)/((-2)/(-20)). Suppose 0 = x*g + 4*h - 71, 4*g - 23 - 37 = -4*h. Does 9 divide g?
False
Suppose 2*j = -5*f + 105, 0*f - 3*f + 234 = 5*j. Is 15 a factor of j?
True
Let d = 10 + 8. Does 3 divide d?
True
Let o(m) = -m**2 - 16*m - 4. Suppose 3*q + 28 = -q. Let c be q/(-21) + (-68)/6. Is o(c) a multiple of 16?
False
Let j(g) = g**2 - 3*g + 1. Let o = 9 - 5. Is 5 a factor of j(o)?
True
Let u(k) = -k - 2. Let r be u(3). Let y(p) = -p**2 - 6*p - 5. Let c be y(r). Suppose c = -o + 2*o - 38. Is o a multiple of 14?
False
Let s = -49 - -145. Is s a multiple of 12?
True
Does 7 divide 61/2 - 11/(-22)?
False
Suppose 2*h = 2*p + 24, -5*h = 3*p + 6 - 2. Let w(a) = a**3 + 9*a**2 + a - 2. Is 16 a factor of w(p)?
False
Let a(g) = -43*g + 1. Is a(-1) a multiple of 17?
False
Suppose -5*j + 2*j - 441 = 0. Let u = -103 - j. Suppose -5*m + 66 = -u. Does 8 divide m?
False
Let w be 3/(6/14) - 1. Let h(t) = t**2 + 2*t + 4. Let x(p) = -3*p**2 - 4*p - 9. Let n(o) = -5*h(o) - 2*x(o). Is 13 a factor of n(w)?
False
Suppose -5*y = -12*y + 2534. Is 16 a factor of y?
False
Let p = -185 - -275. Is 18 a factor of p?
True
Suppose -2*n + 2 = 0, d - 4 = 3*n - 11. Let t(x) = 8*x**2 - 4*x - 5. Let r be t(d). Suppose 5*q - 31 - r = 0. Does 14 divide q?
False
Suppose -2*t + x = -1, -3*t + 6*t + 3*x - 24 = 0. Suppose 6*r - 15 = r. Suppose -h = -r*h - 2*k + 18, t*k = -12. Is h a multiple of 13?
True
Let w(h) = h**2 - h + 1. Is 8 a factor of w(-5)?
False
Let g(l) be the first derivative of l**3/3 - 5*l + 8. Is 4 a factor of g(-4)?
False
Suppose -3*n + 328 = n. Let t = n - 36. Does 16 divide t?
False
Suppose 56 = 5*d - 3*g, 43 = 3*d - 3*g + 7. Is d a multiple of 3?
False
Is (4/(-12) - 3)*-3 a multiple of 2?
True
Let s(g) = 32*g**3 - 8*g**2 - 8*g + 8. Let h(w) = 11*w**3 - 3*w**2 - 3*w + 3. Let q(j) = -11*h(j) + 4*s(j). Is q(2) a multiple of 18?
False
Suppose