o. Is 10 a factor of q(7)?
True
Let o = -12 + 16. Suppose -3*f = -v + 69, 5*v - 87 = -o*f + 201. Is v a multiple of 20?
True
Let v(m) = -7*m - 10. Is 7 a factor of v(-7)?
False
Suppose -2*g + 68 = -52. Let d(r) = -r - 3. Let p be d(-6). Suppose g = p*k + 2*k. Does 7 divide k?
False
Let o(u) = -66*u. Does 11 divide o(-1)?
True
Suppose -18*b = -20*b + 24. Does 9 divide b?
False
Let u = 73 - 3. Is 10 a factor of u?
True
Let i = -7 - -9. Suppose 4*k - 185 = -l, -i*k - 4*l = -3*l - 95. Is k a multiple of 15?
True
Let q = 4 + -6. Let t = -2 + q. Is (-72)/4*2/t a multiple of 9?
True
Let h(n) = 8*n**2 + 2*n - 7*n**2 + 7*n**2 + 1 + 2*n**2. Suppose -6 = 5*i - 1. Is h(i) a multiple of 9?
True
Suppose -5*n + 8 = -2*d + 76, -3*n = -3*d + 111. Does 20 divide d?
False
Let p(a) = -163*a + 8. Let w be p(6). Is 24 a factor of w/(-20) + (-1)/2?
True
Let g = -2 + 61. Does 4 divide g?
False
Let r(i) = -8 + 12*i + i - 5*i. Is r(7) a multiple of 16?
True
Let i(a) = 20*a**2 + a + 1. Does 12 divide i(-2)?
False
Let f = -254 + 358. Suppose 0 = -4*u - 0*u + f. Does 13 divide u?
True
Suppose 0 - 8 = 4*t. Let j(g) = -15*g + 4. Is j(t) a multiple of 13?
False
Suppose 0 = -2*h + 4*h - 20. Let j be (44/h)/((-2)/(-10)). Suppose -5*q + 13 = -j. Is 3 a factor of q?
False
Suppose 4*p + 2*w - 7*w - 522 = 0, -667 = -5*p - w. Suppose -4*o = -19 - p. Is o a multiple of 29?
False
Let i(v) = -18*v - 3. Let w(x) = -x - 1. Let s(r) = i(r) + 6*w(r). Is s(-4) a multiple of 38?
False
Suppose -q = -17 - 26. Is q a multiple of 11?
False
Let p be (-4)/10*(4 - -1). Let x be 2 - (p - (-2)/2). Is (-3)/(1*x/(-10)) a multiple of 5?
True
Suppose -2*a = -3*a + 2*v + 9, -2*v = 10. Let k be (1/(-2))/(a/46). Let x = 59 - k. Does 12 divide x?
True
Suppose -4*g - 598 = -5*t, 671 - 67 = 5*t - 2*g. Is t a multiple of 8?
False
Is 9/(-2 - -5) - -6 a multiple of 9?
True
Let q(r) = -r + 3. Let i be ((-9)/(-6))/(1/2). Let x be q(i). Suppose -2*v = -6 - x. Is v a multiple of 3?
True
Let h(f) = -2*f**2 + f + 2*f**2 + 2*f**2 - 3. Does 15 divide h(3)?
False
Is 4 + 5 - (-3 - 1) a multiple of 13?
True
Let u(s) = -s**2 - 6*s. Let i be u(-5). Suppose -i*n = -248 - 2. Is 17 a factor of n?
False
Let h be (-14)/(0 + 2) - 1. Let y = 29 + h. Is y a multiple of 6?
False
Let d = 15 + 18. Does 26 divide d?
False
Suppose -3*m - 15 = 0, -2*a - 4*m = a + 20. Suppose a*w = w. Suppose w*d + 12 = d. Is 12 a factor of d?
True
Suppose -2*a - 5 = 4*y + 1, -2*a = 3*y + 2. Does 4 divide a?
False
Does 24 divide 996/30*(-10)/(-4)?
False
Suppose 4*c - 5*g + 50 = 0, -51 = -0*c + 3*c + 3*g. Let d = c - -21. Suppose -d + 81 = 4*a + 5*r, 3*a + r = 48. Is 9 a factor of a?
False
Let h(d) = 8*d**2 - d - 3. Let u(b) = -1. Let i(y) = h(y) - 3*u(y). Suppose -5*t + 2 - 12 = 0. Is 17 a factor of i(t)?
True
Let g(f) = f**3 + 4*f**2 - 7*f - 6. Let k be g(-5). Is 12*k - -1 - -2 a multiple of 17?
True
Suppose 45 = -3*i - 204. Let q = 131 + i. Does 16 divide q?
True
Let o(v) = -v - 5. Let t(w) = w**3 + 7*w**2 - 8. Let a be t(-7). Let u be o(a). Suppose 5*b = -2*n + 71, -u*b - 5*n = -3*n - 45. Does 6 divide b?
False
Let k(y) = 3*y**3 + 2*y**2 - 3*y + 8. Is 14 a factor of k(3)?
True
Let n = 6 - 6. Suppose -12 = -4*v - 68. Does 8 divide n*1/2 - v?
False
Let p(z) = -z**2 + 2*z + 2. Let v be p(4). Let r(s) = -s**2 - s + 10. Let y be r(0). Let g = y + v. Is g a multiple of 2?
True
Let z = -1 + 3. Let h be (z - (-1 + 3))/(-2). Suppose h = -t + 6*d - 2*d + 10, 0 = -t + 3*d + 12. Is t a multiple of 6?
True
Let z be 0 - (-1 + -1) - -3. Suppose 3*x - 20 = z*p, p = 2*x + 6*p + 20. Suppose k - 2 = x, -4*j + 2 = -2*k - 2. Is 2 a factor of j?
True
Suppose -3*j + 209 = j + 5*o, -2*j + o = -87. Is j a multiple of 18?
False
Suppose -8*t + 7*t = -15. Is t even?
False
Let t = -104 + 176. Is t a multiple of 19?
False
Suppose 2*j = 4*j. Suppose 2*p = 3*d - j*d - 62, -5*d + 5*p = -105. Is d a multiple of 9?
False
Suppose 0 = -77*w + 75*w + 186. Is w a multiple of 21?
False
Suppose -4*h + 11 = 31. Let i = 4 + h. Does 15 divide (2/i - -3) + 16?
False
Suppose 0 = 2*a + 5*r + 8, -3*a = a + 5*r + 6. Let s be -4*((-2)/(-4) - a). Suppose -s*v + 59 - 11 = 0. Is 12 a factor of v?
True
Suppose 5*p = -8 - 47. Let t = p + 16. Suppose 25 = 2*c + t. Does 3 divide c?
False
Let d(b) = 3*b**3 + 17*b**2 - 9*b - 10. Let v(u) = 2*u**3 + 9*u**2 - 5*u - 5. Let w(g) = -3*d(g) + 5*v(g). Is 7 a factor of w(6)?
False
Suppose 10 = 4*b - 6. Let g(j) = -j**2 + 24*j - 24. Let s be g(15). Suppose -b*p + 53 = -s. Is 16 a factor of p?
False
Let l(o) = -o**3 + 9*o**2 - 3*o + 4. Let r(j) = -j**2 - 8*j + 7. Let p be r(-6). Let a = -11 + p. Is 16 a factor of l(a)?
False
Let p = 24 - -66. Is 15 a factor of p?
True
Suppose 2*f - 8 = -2*s, -4*s + f - 2 - 2 = 0. Let x(t) be the third derivative of t**6/120 - t**4/24 + 13*t**3/3 + t**2. Does 13 divide x(s)?
True
Let z = -2 - 0. Let l be ((-6)/(-3))/(z/(-7)). Let k(i) = -i**3 + 7*i**2 + 2*i + 2. Is k(l) a multiple of 14?
False
Let d(k) = -k**2 + 1. Let y be d(-2). Is (y/12)/(4/(-48)) a multiple of 3?
True
Is 15 a factor of 1*(-4)/8*-60?
True
Let w(n) = -9*n**2 + 2*n + 1. Let i be w(-1). Is 6/i + (-163)/(-5) a multiple of 16?
True
Let r(t) = 3*t + 1. Let z(w) = -4*w - 2. Let o(g) = 7*r(g) + 5*z(g). Does 4 divide o(8)?
False
Does 14 divide 0 + 17 + -1 + -2?
True
Suppose 5*w + c - 6*c = 655, -4*w = c - 549. Is 34 a factor of w?
True
Let f = -5 - -1. Let g(c) be the second derivative of -c**3/2 - c**2/2 - 3*c. Does 11 divide g(f)?
True
Suppose -o + 4*q = -15, 4*o - 113 = q + 7. Let n = o - 13. Is 7 a factor of n?
False
Let f(b) = -2*b - 2. Let q be f(-2). Suppose q*n - 12 = -2*n. Suppose -n*l - 14 = -w, -3*l - 7 = 5*w - 41. Is w a multiple of 5?
False
Suppose -5*l - 19 + 2 = 2*c, -4*c - 5*l - 9 = 0. Suppose 4*h + 26 = p, 5*h + 6 = -c*p + 110. Is 13 a factor of p?
True
Let d(n) = 2*n**2 + 14*n + 6. Is 17 a factor of d(-10)?
False
Let f be 10/(2*(-3)/(-48)). Suppose -3*k + 124 = -f. Is (-10)/(-35) - k/(-7) a multiple of 6?
False
Suppose -2*r + 5*r = i - 60, -4*i + 180 = 3*r. Is 6 a factor of i?
True
Let l(c) = 1 - 7*c - 1. Let s be l(3). Let f = -13 - s. Does 8 divide f?
True
Let y = 2 + 3. Suppose z + y = 3*c, -4*c = c - 20. Is z a multiple of 4?
False
Let w(x) = 2*x - 1. Let l be w(5). Suppose -6 - l = -5*s. Suppose 0 = s*y + 5*c - 29, 2*c - 5 = y - 33. Is 9 a factor of y?
True
Let f = 8 + 41. Does 10 divide f?
False
Suppose -4 = -c - 2. Suppose -12 - 14 = -c*y. Is 13 a factor of y?
True
Let x be (-4)/(-14) - (-152)/56. Suppose 0*d + 21 = x*d. Does 2 divide d?
False
Let m(a) = a**2 + 3*a + 2. Let q(h) = h**2 + 2*h + 3. Let f(s) = -4*m(s) + 5*q(s). Let i be f(9). Suppose -5*d + i = -50. Is 12 a factor of d?
True
Suppose 0 = 2*q - 0*d - 4*d + 44, 26 = -q - 2*d. Let n = 65 + q. Is 12 a factor of n?
False
Let o = -6 + 18. Let q(h) = -h**3 - 4*h**2 + 4*h - 6. Let c be q(-5). Let w = o + c. Is w a multiple of 11?
True
Suppose 2*f - 8 = h, -2*f + h + 12 = 2*f. Let t(g) = -5 - 9*g + 2 + f. Is t(-1) a multiple of 8?
True
Let m = 6 - 9. Let v be 2 - (m + 0 + 3). Suppose -5*x + v*l = -115, l - 5*l + 20 = 0. Does 18 divide x?
False
Suppose 0 = f + f. Let c = -4 - f. Does 7 divide ((-13)/c)/((-4)/(-16))?
False
Let s = 65 + -109. Let q be 2 + -2*s/1. Let b = -45 + q. Does 17 divide b?
False
Let z(p) = 4*p**2 + 11*p - 20. Is z(-10) a multiple of 30?
True
Let s(a) = a**3 - 7*a**2 - 7*a + 4. Let d be s(8). Suppose -d = -0*i - 4*i. Does 3 divide i?
True
Let b be (0 + -3)*(-3)/(-9). Let h be -1*((-43 - b) + 2). Is 15 a factor of ((-12)/16)/((-2)/h)?
True
Let r be 13/5 - (-2)/5. Suppose -106 = a - r*a. Let t = 0 + a. Is t a multiple of 22?
False
Suppose n = -2*n + 3*g + 225, 3*n + 3*g = 195. Does 12 divide n?
False
Let y = -3 + 2. Let z(u) = 17*u**2 + u. Is z(y) a multiple of 16?
True
Let c(x) = 0*x**3 + 0*x**3 - x**3 - 3*x + 5*x + 6*x**2. Is 9 a factor of c(6)?
False
Suppose v + 4*a = -10, v = 2*v + 2*a + 4. Suppose v*x = 3*x - 2. Suppose 0 = -f + x + 1. Is 2 a factor of f?
False
Let k(b) = 8*b**2 - 11 - 2*b - b**2 + 13 - b**2. Is k(2) a multiple of 11?
True
Let v(p) be the second derivative of p**4/12 - p**3/3 + p**2 - 2*p. Does 13 divide v(-4)?
True
Is (-116)/29 - (-51 - 1) a multiple of 21?
False
Suppose 4*s - 157 = 163. Does 4 divide s?
True
Let d(h) = -h**2 - h + 22. Let z(w) = -w**3 