 + 2*w(b). Does 9 divide v(n)?
False
Does 10 divide (-3)/(-6) + (-86)/(-4)?
False
Suppose 0*d = 4*d - 8. Let p(q) be the first derivative of 3*q**2/2 - 5. Does 3 divide p(d)?
True
Suppose -4*c + 114 = 2*m, -m + 150 = 2*m - c. Suppose -75 = -2*p - w, 0 = p + 5*w - 0*w - m. Is 16 a factor of p?
False
Let o = 2 - 5. Does 9 divide o*(0 + -1) + 15?
True
Let t = 13 + -6. Does 2 divide t?
False
Suppose -3*u + 8*u + 50 = 0. Let d(g) = -g**3 - 10*g**2 - 6*g - 13. Does 18 divide d(u)?
False
Suppose k - 10 = -k. Is k a multiple of 5?
True
Let a(w) = -w + 7. Let l be a(5). Suppose -18 - l = 5*y. Is ((-6)/y)/((-3)/(-6)) a multiple of 3?
True
Let k(r) = 7*r + 5. Let i be k(5). Let g be 33/9 - (-2)/6. Suppose 0*v - i = -g*v. Is 10 a factor of v?
True
Suppose -2*t = -2*b + 7*b - 4, -b + 56 = 5*t. Is 6 a factor of t?
True
Let n(s) = 2*s**2 + 7*s. Does 10 divide n(-6)?
True
Suppose -2*p = 3*v - 58, -59 = -4*v - p + 15. Is v/(-36)*(-1 - 63) a multiple of 8?
True
Let q(u) = -u + 8. Let d be q(8). Let t(c) = c**3 - c**2 + 5. Let m be t(d). Suppose 5*r + 15 = l, 1 = m*l - 3*r - 74. Is 15 a factor of l?
True
Let r = -63 + 111. Is r a multiple of 10?
False
Let q = -62 - -20. Suppose d - 4*k + 2*k = 3, -2*k = 2*d. Does 12 divide q*1/(-2)*d?
False
Let r(k) = k**2 + 6*k + 6. Let s be r(-4). Let b be (-18 + 8)/(s/(-9)). Does 11 divide -1 - b - (-1)/(-1)?
False
Let n(i) = -3*i - 4. Let h be n(-3). Suppose h*r - 10 = 0, 0 = -w - 3*r - 6 + 14. Suppose -112 = w*f - 6*f. Does 14 divide f?
True
Let o(u) = u**3 + 8*u**2 - 2*u - 6. Suppose 45 + 22 = 3*r + 5*k, r - 3*k = 27. Suppose 0*z - 28 = 2*a - 3*z, 2*a - 2*z = -r. Does 10 divide o(a)?
True
Let t(i) = 70*i + 2. Does 8 divide t(1)?
True
Let b(k) = k**3 + 8*k**2 + 4*k - 2. Does 5 divide b(-5)?
False
Let j(r) = 2*r**2 + 4*r + 2. Let c be j(5). Suppose 5*g - 2*g = c. Is 8 a factor of g?
True
Let z(f) = -4*f - 6. Suppose -2*b = -6*n + n - 13, 0 = 5*n - b + 14. Let d(p) = -p**3 - 4*p**2 - 2*p - 1. Let x be d(n). Does 5 divide z(x)?
True
Let w(i) = -i**3 + 8*i**2 - 4*i + 10. Is w(7) a multiple of 20?
False
Suppose -y = -4*y + 540. Suppose 5*a - a = y. Does 12 divide a?
False
Suppose 3*p + 0*p = -4*w + 5, -3*w - 5*p = -12. Is 11 a factor of w/(-2*(-1)/(-44))?
True
Let i(p) = -54*p**2 - 3*p + 2. Let f(j) = -54*j**2 - 2*j + 1. Let k(u) = -3*f(u) + 2*i(u). Is 21 a factor of k(-1)?
False
Let f = 121 - 44. Is 14 a factor of f?
False
Let d(v) = -3*v - 1. Let z(x) = x**2 + 4*x + 2. Let r be z(-2). Let h be d(r). Does 11 divide 5/(h/22) + 1?
False
Let v = 18 - -47. Does 9 divide v?
False
Let x(d) = 2*d**2 + 4*d - 11. Is x(6) a multiple of 5?
True
Suppose 0 = -b + 3. Does 13 divide 9/b*96/9?
False
Let z(p) = -p**3 + 7*p**2 + 3*p + 6. Let a be -1*2 - (-9)/1. Is 8 a factor of z(a)?
False
Let j(b) = 72*b - 1. Let v be (-7 + 4)/(-3) + 0. Does 22 divide j(v)?
False
Let h = 117 - -1. Does 17 divide h?
False
Let l be (-14 + 3 - 3)/(-2). Is 18/l*(-14)/(-3) a multiple of 6?
True
Let g(i) = -22*i - 8. Is g(-6) a multiple of 31?
True
Let x(k) = k**3 + 7*k**2 + 5*k + 3. Let j be x(-6). Let g(b) = -9 + j*b + b**3 - b**2 - 3*b - 6*b**2. Does 11 divide g(7)?
True
Suppose 0 = o - 1. Suppose -2*p + 13 = o. Suppose -b = -p*b + 100. Does 17 divide b?
False
Let z = 13 + 23. Is 12 a factor of z?
True
Suppose 4*n = 2*w + 2, -4*w = -0*w - 4. Let t(z) = -5*z**2 + 2*z - 1. Let y be t(n). Let l = 0 - y. Is l a multiple of 2?
True
Suppose -v + 4*v = 15. Is 8 a factor of (12/v)/(1/10)?
True
Let w(g) = 7*g - 2. Let f be w(3). Let d = 39 - f. Is 17 a factor of d?
False
Suppose 6*m - 5*m = 2. Suppose -4*z = -3*z + m, -3*z = -g - 80. Let b = -50 - g. Does 12 divide b?
True
Suppose 36 = 3*h - 0*h. Suppose -k = -4*v - h - 7, 28 = -3*k - 5*v. Is 12 a factor of 13/(2/(-4)*k)?
False
Suppose k - 176 = -3*k. Let j(q) = -9*q**2 + 2*q + 2. Let s be j(2). Let n = k + s. Is 7 a factor of n?
True
Is 12 a factor of 2 + 2 - 4*-38?
True
Suppose 5*w - 49 + 19 = 0. Does 6 divide w?
True
Let j(f) be the second derivative of -f**3/6 - 2*f**2 + f. Let c be j(-3). Let g = c + 11. Is 10 a factor of g?
True
Suppose 0 = 2*u + 10, -u - 2*u - 239 = -4*o. Does 48 divide o?
False
Suppose -5*h = 4*u - 15 - 6, -4*h = -u - 21. Suppose 3*g + 3*v = -0*v + 111, 4*v - 182 = -h*g. Is 16 a factor of g?
False
Suppose 33 + 12 = -5*g. Let m be ((-12)/g)/((-1)/21). Let t = 46 + m. Is t a multiple of 9?
True
Suppose 0*h + h - 13 = 0. Let n = h - 101. Is 11 a factor of (n/(-10))/(14/35)?
True
Let v(w) be the third derivative of w**5/60 + 7*w**4/24 - w**3/3 + w**2. Let f(k) be the first derivative of v(k). Does 7 divide f(5)?
False
Let z(f) = -4*f - 3 + 2 + 0. Is 11 a factor of z(-6)?
False
Suppose -2*a + 18 = -4*q, -2*q - 4*a + 3*a = 11. Let y(j) = j - 1. Let i(m) = m - 2. Let o(r) = q*i(r) + 6*y(r). Is o(0) a multiple of 4?
True
Let q(v) = 4*v**2. Is 16 a factor of q(-4)?
True
Suppose -17*z + 23*z - 462 = 0. Does 7 divide z?
True
Let z be 3/(-1) + (4 - -2). Suppose -3*c = -4*t + z*t - 151, -3*t + 210 = 4*c. Does 15 divide c?
False
Let i(d) = d**2 + 3*d + 1. Let j be i(-4). Suppose 5*t + j*r + 5 = 0, 2 - 1 = 2*t + r. Suppose t*l - 19 = -2*m + 7, -3*l = -4*m - 32. Is l a multiple of 6?
True
Let a = 44 + -22. Is 11 a factor of a?
True
Let p be (-2)/2*5*1. Let u(g) = g**2 + 7*g + 4. Let s(d) = 1. Let r(y) = -3*s(y) - u(y). Is 3 a factor of r(p)?
True
Is 28 a factor of (1 - (-35)/(-10))*-46?
False
Let o(d) = -d**3 + 8*d**2 - d - 1. Is o(7) a multiple of 17?
False
Let w be (0 + (1 - 2))*-43. Suppose -a + 49 = c - 4*c, c + w = a. Is a a multiple of 20?
True
Let k(g) be the second derivative of g**4/6 + g**3/3 + g**2/2 - g. Let v be k(-2). Suppose -5*b = 5*t - 115, 0 = 2*t - 3*t + v*b + 41. Is 13 a factor of t?
True
Let x = 93 - 63. Does 6 divide x?
True
Let u(k) = -k**3 + 4*k**2 - 2*k - 1. Let v be u(2). Suppose v*w - 16 = -w. Suppose -w = -3*l + 74. Is 13 a factor of l?
True
Suppose 3*s = -3*x + 15, 3*x + 22 = 2*s - 8. Suppose r - s - 1 = 0. Does 4 divide r?
False
Let t = 28 - 50. Let s = 15 + t. Let l = s + 23. Is 8 a factor of l?
True
Suppose 0 = -l - w - 10 - 21, -2*w - 4 = 0. Let o = l + 48. Does 19 divide o?
True
Let k(p) = -p**3 + p - 1. Let b(l) = -7*l**3 - 10*l**2 - 2*l - 8. Let v(f) = b(f) - 6*k(f). Let a be v(-9). Let x = -9 - a. Is x a multiple of 2?
True
Let c(v) = -v**3 - 5*v**2 - v. Let t be c(-5). Suppose t*z - 53 = 7. Does 9 divide z?
False
Suppose 2*u + 3*u = 20. Is (u/(-3))/((-6)/72) a multiple of 4?
True
Let o = 14 + 18. Is 2 a factor of o?
True
Let q(z) = -z**3 - 12*z**2 + 25*z - 24. Does 6 divide q(-14)?
True
Is 411/(-4)*8/(-6) a multiple of 8?
False
Let s = -14 - -6. Let o(d) = -d**2 - 7*d + 11. Is o(s) a multiple of 3?
True
Let h(g) = -g**2 - 13*g - 9. Does 7 divide h(-5)?
False
Does 29 divide 730/(-25)*2/(-4)*10?
False
Suppose -5*m - 193 = -4*q, -3*m + 20 = -4*q + 219. Does 13 divide q?
True
Let q(c) = -8 - 5 + 5*c + 1 - c**2 - 21*c. Is q(-13) a multiple of 6?
False
Let z = 12 + -1. Suppose 0 = b - z - 10. Is 16 a factor of b?
False
Let n(z) = 3*z + 9. Let l(d) = d + 1. Let u(t) = -4*l(t) + n(t). Let g(b) = -2*b - 1. Let o be g(2). Is 7 a factor of u(o)?
False
Let d = 75 + -54. Is 21 a factor of d?
True
Let t(v) = v + 13. Let i be t(-8). Let o be (0 - (-2 + 1))*i. Suppose -o*g + 27 = -13. Is 3 a factor of g?
False
Suppose -5*v + 894 = 2*s, -3*v + 5*s + 327 + 228 = 0. Suppose -4*r = r - v. Is 18 a factor of r?
True
Let w(q) = q**3 - 5*q**2 - 4*q - 2. Let u(p) = p**2 - 8*p - 14. Let b be u(10). Does 7 divide w(b)?
False
Suppose 0 = -5*j + 3*h + 571, h + h - 561 = -5*j. Does 20 divide j?
False
Let z(x) = -x**3 - 7*x**2 + 8*x + 4. Suppose -16 = 4*w + 16. Let n be z(w). Suppose 5*q - 142 + 32 = 3*v, n*q = 4*v + 88. Is 11 a factor of q?
True
Is 6 a factor of (-10)/15 - 74/(-3)?
True
Let y(r) = -5*r - 4. Suppose -3*h - 18 = -0*h. Does 13 divide y(h)?
True
Let p = 12 - 8. Is p a multiple of 2?
True
Let b = 129 - 59. Is 11 a factor of b?
False
Let c(j) = j + 4. Let s be c(0). Suppose 90 = s*i - 14. Is 7 a factor of i?
False
Let k(p) = -9*p**3 - 6*p**2 - 6*p + 2. Is k(-2) a multiple of 29?
False
Let q be (56/21)/((-4)/(-6)). Suppose -q*c + 71 + 25 = 0. Is 13 a factor of c?
False
Let z(y) = -25*y**3 + y**2 - 1. Suppose -2*t = 5*q + 8, 0 = -t + 3*q - q + 5. Let h be z(t). Let p = h + 47. Does 11 divide 