= -3*w + 5*w - n - 22, 3*w = -4*n + v. Is 11 a factor of w?
True
Let c = 139 + -93. Suppose 0*a - 2*y = 2*a - c, -y = -4*a + 97. Is 8 a factor of a?
True
Suppose 2*v - 16 - 10 = 0. Is v a multiple of 7?
False
Is 30 a factor of 3/((-27)/(-60))*3*6?
True
Suppose 0 = 4*t + i - 1528, 2*t - 7*t - i = -1910. Is 20 a factor of t?
False
Suppose -3*w = -2*m - 26, 2*w + 0*m = 3*m + 24. Let o be 82/(-3) - (-2)/(-3). Is 0 + (-3)/(w/o) a multiple of 7?
True
Let a(f) = 26*f - 3. Let h(d) = -1. Let l(t) = -a(t) + 6*h(t). Is 13 a factor of l(-2)?
False
Let u(l) = -10*l**3 - l**2 - 2*l - 1. Let h be u(-1). Let g(m) = -m**3 + 11*m**2 - 2*m - 11. Is g(h) a multiple of 23?
True
Let o(z) = -z**3 - 6*z**2 - 2*z - 4. Does 2 divide o(-6)?
True
Let h = 343 + -194. Is 40 a factor of h?
False
Let o be 1/((-33)/18 - -2). Suppose -x - 4*w - 156 = -o*x, 5*w = -4*x + 133. Is 8 a factor of x?
True
Let t be (-1)/(-2 - 0)*4. Is 12 a factor of 0/(t + -5) + 12?
True
Suppose 0 = -3*t - 5 + 80. Does 2 divide t?
False
Let l be (6 + -1)*(-56)/(-20). Suppose 0 = -2*x + l. Suppose x = q + 3, -3*q - 76 = -4*b. Does 11 divide b?
True
Suppose 2*o + 2 = 62. Let f = o + -13. Is 13 a factor of f?
False
Let v(i) = 0 - 2*i - i**2 + 2 - 2*i**2. Let b be v(-2). Is 2/b*-3*50 a multiple of 25?
True
Let w(q) = 2 - q**3 - q + 4*q**2 - 2 + 0*q + 4. Let f be w(4). Suppose f = 3*s - 2*s - 4. Is s a multiple of 2?
True
Suppose -h = 4*h, 4*q + 5*h - 132 = 0. Let x = 7 + q. Suppose 2*k - a + 13 = x, k + 3*a = 10. Is 13 a factor of k?
True
Suppose -8*z = -191 - 145. Does 16 divide z?
False
Suppose 15 = 4*c + r, -27 + 2 = -c + 4*r. Is 5 a factor of 2 + -2 + c + 0?
True
Let m be 981/(-45) + (-2)/10. Let s = -22 + 39. Let f = s - m. Does 17 divide f?
False
Suppose 50 = -8*j + 202. Is j a multiple of 10?
False
Does 4 divide (-3861)/(-162) - 2/(-12)?
True
Suppose -2 + 4 = 2*r. Suppose h - r = 1. Is 9 a factor of 3 + -3 + h + 12?
False
Does 3 divide 29 - -28 - (1 + 0)?
False
Suppose 0 = -3*z + 316 + 62. Let h = z - 76. Is h a multiple of 25?
True
Let b(i) = -i**2 + 10*i - 7. Let v(p) = p - 2. Let l be v(8). Is b(l) a multiple of 6?
False
Let d(q) = q**2 + 9*q - 5. Let k be d(-11). Let p = k + 82. Is 33 a factor of p?
True
Let d(i) = i**2 + 4*i + 63. Is d(0) a multiple of 9?
True
Let s(v) be the first derivative of -2 + v - 9/2*v**2 - 1/3*v**3. Is 10 a factor of s(-7)?
False
Let m(y) = 2*y + 3. Is m(6) a multiple of 5?
True
Let g = -7 + 12. Suppose -3*x = 3*r - 3, -5*r + 4*x = -x + g. Suppose r = -2*h + 5 + 15. Does 4 divide h?
False
Let p(i) = 4*i**2 - i. Let u be p(1). Let y be u/2*20/15. Suppose -m = -3*m - 6, 4*m - 34 = -y*q. Is q a multiple of 12?
False
Let z = -60 + 90. Is 30 a factor of z?
True
Let k(d) be the third derivative of 7*d**5/60 - d**3/2 - 3*d**2. Does 20 divide k(3)?
True
Let y(h) = -h**2 - 12*h + 4. Let r(q) = 4*q**2 + 36*q - 13. Let l(z) = -2*r(z) - 7*y(z). Let c be (-6)/(4/32*-6). Does 15 divide l(c)?
True
Suppose 4*f - 5*l = 1596, -4*l + 1304 = 5*f - 691. Suppose 0 = 5*i - 4*w - f, i - 2*w + 174 = 3*i. Is i a multiple of 12?
False
Let f(l) be the first derivative of 3/2*l**2 + 1 + 8*l. Is 14 a factor of f(11)?
False
Suppose 9 = -7*r + 79. Suppose 5*w + 4*s = 4, w - 3*s - 1 = -4. Suppose w*p + r = 2*p. Is 4 a factor of p?
False
Suppose 20 = -3*h - h - 4*a, 0 = -2*h + 2*a - 22. Let s = 11 + h. Is s even?
False
Let p = -4 - -36. Does 16 divide p?
True
Suppose -27 = 5*m - 3*h + h, 0 = 3*m + 4*h + 11. Let d(u) = -u**2 - 6*u - 7. Let b be d(m). Is 20 a factor of (-1 + 17)*(-5)/b?
True
Let j(i) = 9 - 2*i**3 + i**3 + 5. Let l = 3 - 3. Does 12 divide j(l)?
False
Let b = 80 - -207. Does 16 divide b?
False
Let z = 527 - 340. Does 45 divide z?
False
Suppose g - 17 = -l - 0*g, -4*g - 51 = -3*l. Let q be (-2)/(-1) + l - -1. Suppose 4*x - 32 = q. Is 13 a factor of x?
True
Let a = 6 - 3. Suppose 13 - 115 = -a*y. Is y a multiple of 14?
False
Suppose -60 = -2*k - 2*k. Suppose k = -4*a + 7*a. Is a*(1 + 4 + -1) a multiple of 10?
True
Suppose 119 = 3*t - 37. Is 9 a factor of t?
False
Suppose 4*o = 4*r - 84, 3*o + 72 = 4*r - 7. Let t be (-12)/(6/r*-2). Suppose 3*m = 5*j - t, 5*j = j + 20. Is 3 a factor of m?
True
Suppose 108 + 332 = 5*p. Is p a multiple of 19?
False
Suppose 0 = -c - 11 + 4. Let s be 10/(-35) - 646/c. Suppose 0 = -5*k + s + 48. Is k a multiple of 12?
False
Suppose 3*g + g = -28. Let i(t) = 3*t - 6. Let v(n) = 3*n - 5. Let u(y) = g*v(y) + 6*i(y). Is 9 a factor of u(-8)?
False
Let s(l) = l - 3. Let x be s(5). Suppose x - 12 = -2*y. Suppose 0*h + 5*v = 3*h - 40, y*v - 50 = -3*h. Is 10 a factor of h?
False
Suppose -3*a + 139 = -0*w - 2*w, 5*a = 25. Let h = -26 - w. Is h a multiple of 18?
True
Let w(n) = -34*n - 1. Let d be w(-1). Suppose -4*g + d = -3*g. Is 11 a factor of g?
True
Suppose 6*a - 81 = 3*a. Is a a multiple of 27?
True
Let m(o) = -70*o**3. Is m(-1) a multiple of 10?
True
Let i = 528 + -340. Suppose 0 = -4*x + 2*a + i, 245 = 4*x - 4*a + 49. Does 12 divide x?
False
Let k = -14 + 21. Let u(b) = 6*b + 4. Is u(k) a multiple of 20?
False
Suppose -d = -1 - 2, 2*f - 5*d = -15. Suppose -2*v - 3*v + 75 = f. Does 5 divide v?
True
Let u(y) be the second derivative of y**7/1260 - 7*y**6/720 + y**5/60 + y**4/12 + 2*y. Let l(n) be the third derivative of u(n). Does 6 divide l(5)?
False
Let s be 4/6 + (-397)/(-3). Suppose -2*d - z = -191, 0*d + 4*z = d - 73. Let c = s - d. Does 20 divide c?
True
Let z be (-27)/3*(-1)/3. Suppose -4*a = -z*m - 15, -4*m - m - 25 = 4*a. Suppose 18 = -a*s + s. Does 18 divide s?
True
Let y be 9*((-24)/(-9))/4. Let z(r) = 5*r + 12. Is 21 a factor of z(y)?
True
Let a = 120 - 58. Is 10 a factor of a?
False
Let j be (-350)/(-4) - 3/(-6). Suppose p + 2*l - 39 = 0, j = -p + 3*p - l. Does 17 divide p?
False
Suppose 0 = -5*x - 0*a + 5*a + 920, -2*x + 368 = 5*a. Is 23 a factor of x?
True
Suppose -6*n + 4*n = 0. Suppose -4*v + 160 = -n*v. Suppose -x = x - v. Does 10 divide x?
True
Let t(r) = r**2 + 5*r + 79. Is 13 a factor of t(0)?
False
Let l = 48 + -11. Is l a multiple of 12?
False
Suppose 4*u + 4 = 5*w - 0, -5*w + 2 = -2*u. Let h be ((-1)/1)/(u/(-1)). Let y = h + 7. Does 6 divide y?
True
Let j(a) = a**2 + a + 2. Let q(l) = -l**2 - 2*l + 5. Suppose -5*u + 3*i - 20 = 0, 2*u + 3*u + 20 = i. Let d be q(u). Is 8 a factor of j(d)?
True
Let b = -55 - -131. Let i = 107 - b. Does 31 divide i?
True
Let z(x) = -28*x. Let s be z(-2). Let r = 84 + -16. Suppose 0 = 2*l + 2*t + t - r, 2*l - 3*t = s. Does 15 divide l?
False
Let j(w) be the first derivative of w**4/4 - 4*w**3/3 - 5*w**2/2 + 6*w + 1. Let q be j(5). Suppose -f = -0*f - q. Does 6 divide f?
True
Suppose -3*b = 4*s + 8 + 17, -s + 4*b - 30 = 0. Let j(x) = -x**2 - 14*x + 2. Is 19 a factor of j(s)?
False
Let d(z) = 10*z**2 + 0*z**3 - 8*z**2 - 4 - 3*z + z**3. Is 8 a factor of d(3)?
True
Let d(o) = -4*o + 1. Let l be d(-1). Let m = l + -4. Is 12 a factor of 0/m - -27 - -1?
False
Let s = 15 - 11. Suppose x = -s*x + 255. Suppose -3*a - 3*n + x = 0, a + 0*n = 4*n + 2. Does 7 divide a?
True
Let f(m) = -m**2 + 9*m + 3. Suppose z - 22 = 4*t, -8 = 2*z - 0*z + 5*t. Does 9 divide f(z)?
False
Let d = -2 - -7. Let m be -11*2/(4/(-2)). Let l = m - d. Is 5 a factor of l?
False
Let y(i) = -44*i**3 + 17*i**2 - 3*i - 11. Let w(f) = 15*f**3 - 6*f**2 + f + 4. Let t(r) = -17*w(r) - 6*y(r). Does 18 divide t(2)?
True
Suppose 0*d = 2*d + 36. Let r be (-2336)/d - (-2)/9. Suppose -c - r = -6*c. Is 13 a factor of c?
True
Suppose -26 = -r + 9. Suppose -2*c + r = -7. Is 21 a factor of c?
True
Let m(r) = 4*r - 1. Suppose -3*f = p + 4*p - 12, f - 4 = -p. Is m(f) a multiple of 7?
False
Let w(v) = -v**3 - 7*v**2 - 3*v - 7. Let b = -23 - -16. Is w(b) a multiple of 6?
False
Let v = 28 - 18. Suppose v*i - 11*i = -17. Does 8 divide i?
False
Let j(c) = -c**3 + 5*c**2 + 6*c + 3. Let q be j(6). Suppose -18 = -3*k - q. Is k a multiple of 2?
False
Does 18 divide 2 - (6 - 4) - -36?
True
Let p be 3/2 - 6/4. Suppose 3*i - 74 = -0*i + 5*v, p = -3*i - 5*v + 94. Does 14 divide i?
True
Let q(h) = -29*h + 5. Is 17 a factor of q(-1)?
True
Suppose 2*j - 5*d = -0*d + 20, 0 = 4*j - 2*d - 72. Suppose 6*i = i - j. Is (-43)/(-4) + i/(-16) a multiple of 11?
True
Suppose -31*j + 116 = -27*j. Is j a multiple of 25?
False
Let o(i) be the first derivative of i**3/3 - i**2/2 + 33*i + 3. Is o(0) a 