 -6. Is 2 a factor of (-2)/g*(-3 - o)?
True
Suppose -b + 2 = 0, 2*b = -2*k - 3 - 1. Let v = 8 + k. Suppose -20 = -2*i - 2*f, 2*i = -2*i + v*f + 56. Does 6 divide i?
True
Let q(h) = 3*h + h**2 + 2 - 7 + 0. Let p be q(-5). Suppose 2*d - p*m = 16 - 2, 28 = 2*d + 2*m. Is 6 a factor of d?
True
Suppose 2*d + 4*z = 3*z + 460, -5*z = -20. Does 16 divide d/8 + (-2)/4?
False
Let z be (-6)/(-9) + 2/6. Let i be 2 - (20 + (0 - z)). Let p = -9 - i. Is 5 a factor of p?
False
Suppose -m = -3*m + 18. Is 10*1*(-7 + m) a multiple of 10?
True
Let f(a) = a**3 + 5*a**2 + a - 4. Let y be f(-4). Let h = 17 - 20. Is 16 a factor of (-92)/y*(h + 1)?
False
Let t(v) = 2*v**2 + 3*v - 11. Is t(-5) a multiple of 10?
False
Suppose 6 = -4*l + 14. Let k(u) = 3*u**3 - 2*u**2 + 2*u + 2. Is k(l) a multiple of 12?
False
Suppose -5*u + 3*p + 3 + 0 = 0, -2*u = -p - 2. Let k(f) = -4*f**3 + f**2 - 3. Let v(j) = -3*j**3 - 3. Let b(x) = 4*k(x) - 5*v(x). Is 12 a factor of b(u)?
True
Let s(f) = 17*f**2 - 3*f + 2. Is 12 a factor of s(1)?
False
Does 23 divide 2/1*(-90)/(-4)?
False
Is 2 a factor of 9 - (-3 - (3 - 2))?
False
Is 13 a factor of (-1)/(2*(-3)/78)?
True
Suppose 5*l + 4*n = 697, -n = 4*n - 15. Does 10 divide l?
False
Let r(i) be the second derivative of 5*i**3/6 - 3*i**2 - i. Suppose -4 = -d + 1. Is 8 a factor of r(d)?
False
Let c be 1*(2 + -3) - -3. Suppose c*u = 5*u - 114. Is 26 a factor of u?
False
Let b(m) = 0 - 4 - 7*m**2 - 6*m**3 + 8 + 5*m**3. Suppose 5*n + 18 = -17. Does 3 divide b(n)?
False
Let h = -1 + -2. Let k(c) = 3*c**2 - 3*c + 3. Let t be k(h). Suppose 0 = -2*n - n + t. Is n a multiple of 13?
True
Suppose 4*d = 20 + 20. Suppose 2*s + 4*o - d = 0, 0 = -8*s + 3*s + 3*o - 1. Is 15 a factor of (-1)/s + (2 - -14)?
True
Suppose 2*s - 156 = -4*u - 0*u, 5*u - 20 = 0. Is 14 a factor of s?
True
Is 3 a factor of 240/18*(-6)/(-4)?
False
Let i = 3 + -1. Suppose i*z - 3 = -a + 10, -z + 3 = 0. Is a a multiple of 2?
False
Suppose -z + 95 = 4*z. Let r = 51 - z. Does 11 divide r?
False
Suppose -h + 3*o = 9, -5*h = -4*h + 5*o - 15. Suppose h*b + 140 = 5*b. Is 14 a factor of b?
True
Suppose -1 = -4*r + 3. Let i = 9 + r. Does 5 divide i?
True
Let o be (12/9)/(2/39). Let n = 1 - o. Is (-4)/(-2) - (n + -3) a multiple of 12?
False
Suppose -3*b = b - 48. Suppose -z + b + 13 = 0. Suppose -l = -0*r + 2*r - 71, -z = -r + 3*l. Is 17 a factor of r?
True
Let f(h) = 113*h - 3. Is 21 a factor of f(3)?
True
Let g(b) = 6*b**3 + 2*b**2 - 2*b + 1. Let r be g(1). Let z = 36 + r. Is 10 a factor of z?
False
Suppose -2*s + 78 = -42. Does 10 divide s?
True
Let r(b) = b**3 - 3*b**2 + 9*b - 2. Let v be r(6). Suppose -v = -4*y - y. Does 16 divide y?
True
Let g = -1 + 6. Suppose 4*d = 5*n - 169, 168 = n + 3*n + g*d. Is 14 a factor of n?
False
Is 13 a factor of (-7)/(-14) - 51/(-2)?
True
Let t = 35 - 9. Let o = t - 6. Does 10 divide o?
True
Let x = 300 + -211. Does 3 divide x?
False
Let o = 20 - 2. Does 8 divide o?
False
Let x(p) be the second derivative of 2*p**3 - 2*p**2 + 2*p. Let k be ((-1)/1)/(13/(-52)). Is 22 a factor of x(k)?
True
Does 18 divide (-8)/16*(-128 - 0)?
False
Let s be (-2)/(-3)*12/8. Let t(v) = v**2 + 1. Let w be t(s). Is 8 a factor of w*3 + (-2)/(-1)?
True
Let y = 128 - 104. Does 23 divide y?
False
Let k(d) = -d - 3. Let r be k(3). Let l be ((-2)/(-5))/(3/(-15)). Is 3 a factor of r*(-1)/(-1 - l)?
True
Suppose -4*i + 838 = 5*x - 489, -4*x - i = -1055. Is 46 a factor of x?
False
Suppose 0 = -4*o - 396 - 220. Does 17 divide o/(-3) - 3/9?
True
Let v = 3 - 1. Let l(d) = -v*d + 6*d**2 - d**3 - 9 + d + 5. Does 7 divide l(3)?
False
Let g = -8 - -13. Suppose 0*i + 4792 = g*i - 4*c, 0 = -4*c - 12. Is 20 a factor of i/24 + 1/6?
True
Let r(d) = d**3 + 8*d**2 + 2*d. Let k be r(-6). Suppose -5*p = -2*p - k. Does 10 divide p?
True
Suppose 0 = 5*m + 3*g - 75, -2*g - 6 = m - 28. Is 12 a factor of m?
True
Let l = 17 + -9. Let f = 0 - -2. Suppose f*g + 2*g = -l, 2*g + 109 = 5*t. Is 9 a factor of t?
False
Let z(m) = 4*m**2 - 14*m + 9. Let d(k) = 11*k**2 - 42*k + 26. Let q(f) = -3*d(f) + 8*z(f). Is q(8) a multiple of 14?
True
Suppose 3*s - 5*s + 4*t - 460 = 0, -3*t - 1085 = 5*s. Let r = s + 321. Does 28 divide r?
False
Suppose 0*r + 2*m + 56 = -r, 4*r + 2*m + 236 = 0. Is (5/3)/((-4)/r) a multiple of 17?
False
Let u(f) = f**3 - 11*f**2 - 9*f + 1. Is u(12) a multiple of 37?
True
Suppose -12 = k - 24. Is k a multiple of 10?
False
Let o = 20 + -13. Suppose -19 - o = -4*w + 3*h, 2 = -w + 5*h. Let d(n) = 2*n - 3. Is 11 a factor of d(w)?
False
Let c(w) = -w + 20. Let i(p) = -p + 1. Let r(q) = c(q) - 5*i(q). Is 21 a factor of r(11)?
False
Let m(j) = -j**3 + 8*j**2 + 10*j - 5. Let b be m(9). Suppose b*d - 48 = -0*d. Is d a multiple of 3?
True
Suppose -2*i + 87 = -95. Does 13 divide i?
True
Suppose y - m - 159 = 0, -3*y + 8*y - 765 = -5*m. Suppose z = -z + y. Let f = z + -54. Is f a multiple of 9?
False
Suppose 10 = i + 4*i. Suppose 17 = 5*l + i. Is 2 a factor of l?
False
Suppose 3*f - 4*p = 298, -2*f - f + 5*p = -302. Does 17 divide f?
False
Suppose 8 = -3*h + 2*h. Let p be (3/(6/h))/(-2). Suppose 0 = -p*z + 4*z - 34. Does 6 divide z?
False
Let x(y) = 7*y**2 + y - 2. Is x(2) a multiple of 4?
True
Let g(i) = i - 18. Let t be g(14). Is (-1)/(-2 - 6/t) even?
True
Let h(a) = 7*a**2 + a - 1. Let d be h(1). Suppose 2*f + 40 = d*f. Is f a multiple of 2?
True
Let n(i) = 3*i - 7. Suppose -9 = -3*t, 0*o + 4*t = 3*o + 54. Let d = o + 20. Does 11 divide n(d)?
True
Let r = -7 + 30. Is 10 a factor of r?
False
Does 33 divide 4/6 - (-3032)/24?
False
Does 41 divide 449 + 1 - (1 + (-6)/3)?
True
Let x(o) = -o**2 - 6*o + 8. Let i be x(-6). Suppose -i = -4*h + 3*h. Is h a multiple of 4?
True
Let c be 1*(-3 + -5 - -3). Let z(q) = -14*q**2 - 9*q - 1. Let d(o) = 5*o**2 + 3*o. Let w(s) = -11*d(s) - 4*z(s). Is w(c) a multiple of 7?
True
Let p(t) = -3*t + 18. Does 15 divide p(-9)?
True
Suppose -3*i + i = -10. Suppose -16 = 4*d + 5*h + 9, 4*d + h = -i. Suppose d = 2*m - 0 + 6, 0 = 4*a + 2*m - 78. Is 21 a factor of a?
True
Let v(p) = -7*p - 7. Is v(-5) a multiple of 11?
False
Does 3 divide 56/(-6)*(-5)/((-20)/(-12))?
False
Suppose -6*y + 11*y - 115 = 0. Does 6 divide y?
False
Let y = 22 + -3. Let c = 31 - y. Is 6 a factor of c?
True
Let b(n) = -n + 2 + 2 - 4. Let d be b(-2). Suppose 2*f - 3*w - 140 = -d*f, 2*f - 52 = -3*w. Does 16 divide f?
True
Let h be 3/(-9)*(1 + -1). Suppose 2*i = -h*i + 144. Suppose 0 = 4*a - 0*a - i. Does 18 divide a?
True
Suppose 0*s = s + 2. Is 7 a factor of s/5 - 328/(-20)?
False
Suppose 6*t - t = -2*l + 33, -4*t + 40 = 5*l. Let a(w) = 3*w - w + 3*w - 6. Does 12 divide a(l)?
False
Let s = 32 - -109. Is s a multiple of 46?
False
Is 20 a factor of (-1)/(3/(-120)*1)?
True
Let f(a) = -7*a + 4. Suppose 4*b = -4*d, -b = -4*d - 0*b - 15. Is f(d) a multiple of 9?
False
Suppose -5*q + 12 = -q. Let w be (-2 - -11)/(q/(-9)). Let b = -19 - w. Is b a multiple of 8?
True
Suppose -z + 172 = -21. Suppose 3 = -5*v + z. Is v a multiple of 19?
True
Suppose 5*i + 3*r = r + 432, 5*r + 20 = 0. Is i a multiple of 12?
False
Let w = -20 + 36. Let b(m) = m**3 + 9*m**2 + 8*m - 17. Let z be b(-8). Let j = w - z. Does 9 divide j?
False
Let x(z) = z**3 + 6*z**2 + z + 5. Let t be x(-7). Let r be 4/(-1)*t/(-12). Let l = r - -35. Is l a multiple of 8?
False
Let q(g) = 5*g + 2. Let s be q(-6). Let t = s + 68. Is 20 a factor of t?
True
Let l = 18 + -3. Does 5 divide l?
True
Is 3 - 1/(5/(-245)) a multiple of 9?
False
Let h(l) = -4*l + 7. Let p be h(-5). Suppose p = -3*o + 2*q - 5*q, -4*q - 12 = 0. Let i = 23 + o. Is 7 a factor of i?
False
Let n(h) = 0 + 4*h**2 + 3*h**2 - h - 2 - 6*h**2. Let z be n(4). Let c = -8 + z. Is 2 a factor of c?
True
Let y(q) = -9*q - 1. Suppose 5*d + 11 + 6 = o, -2*o = 4*d + 22. Let l be y(d). Suppose -l = -4*i - 3. Is i a multiple of 8?
True
Suppose -3*c + 4 = c. Let r(m) = 36*m**2 + 2*m - 1. Does 17 divide r(c)?
False
Let q(v) be the second derivative of -5*v**3/3 + 2*v. Let t be q(-1). Suppose -5*w + t = 0, -2*w + 119 = 5*z + 20. Is 7 a factor of z?
False
Let c = -148 + 213. Does 13 divide c?
True
Let u(z) = 8*z - 3. Let k be (9/(-6))/((-3)/4). Suppose -k*v = -v - 3. Is 21 a factor of u(v)?
True
Suppose 0 = 2*r - 4*r. Suppose -m = 5*j - 15, 3*j - 141 = -r*m - 5*m. Is m a multiple of 15?
True
Let a(x) = -x**2 + 4*x - 3. Let v be a