+ -105. Let b = y - -62. Is b a multiple of 16?
True
Let a(l) = 7*l**2 + 2*l + 0 - 2 + l**3 - 2. Is 10 a factor of a(-6)?
True
Let h(k) = -3*k**3 - 2*k**2 + 5*k + 1. Is h(-3) a multiple of 7?
True
Suppose 3*p = -2*b + 7, 4*p + 4*b = 4 - 0. Does 2 divide p?
False
Does 12 divide (-4 + -23)*12/(-9)?
True
Suppose 3*s + 2 = -4. Is -1*(s - (-2 + 12)) a multiple of 11?
False
Suppose 9*w + 5*i = 4*w + 165, -2*i = 4*w - 136. Suppose 5*v = 15 + 10. Suppose -v*y + 155 = w. Does 9 divide y?
False
Let c = -9 - -13. Is 4 a factor of c?
True
Suppose 3*j = 3*f - 21, 0 = 2*f - 4*j + 8 - 26. Is (6/f)/((-8)/(-260)) a multiple of 11?
False
Let i(l) = -l**3 - 4*l**2 + 14*l + 33. Is i(-7) a multiple of 12?
False
Suppose 0 = -q - 6. Is 11 a factor of ((-2)/4)/(q/132)?
True
Suppose 2*t - 24 = -5*f + f, -2*f = -2*t. Suppose 4*m - 4 = -w, -2*m - w - f = w. Suppose m*r + 2*r - 20 = 0. Is r a multiple of 4?
False
Suppose 4*i - 6 - 6 = 0. Suppose 2*j + i*j - 5*n + 15 = 0, -5*j - 21 = n. Let a(g) = -7*g - 1. Does 13 divide a(j)?
False
Suppose 0 = 3*x + 7 - 55. Let h = 35 - x. Does 15 divide h?
False
Let d be 1*(1 - -2) - 0. Suppose -n + d*n = -26. Let i = n + 33. Is i a multiple of 13?
False
Suppose 30 = t + 4*t. Let u(n) = -n**2 + 8*n - 3. Let i be u(t). Suppose 5*c + i = 89. Is 8 a factor of c?
True
Suppose 3*v - 3*j + j = -4, -2*v - 3*j = -6. Suppose v*d = 2*d - 76. Is 13 a factor of d?
False
Let u(q) = q**2 - 4*q + 17. Is 5 a factor of u(6)?
False
Is 12 a factor of (-50)/(-425) + 5200/17?
False
Let g = -13 - -9. Let l be 2*(-1 - (-19)/2). Let m = l + g. Is 5 a factor of m?
False
Let n = -41 + 57. Is n a multiple of 4?
True
Let l = 53 + 56. Suppose -6*s + 2*s = 16, t - 2*s - l = 0. Does 14 divide t?
False
Suppose -178 = -5*i + 367. Suppose -2*n + i = -57. Is 26 a factor of n?
False
Suppose -4*a = -4, 2*h - 9 = -5*a + 2*a. Let q(i) = i + 6*i**2 - 5*i - 3*i**2 - 5 + 2*i**2 + i**h. Is q(-5) a multiple of 15?
True
Suppose 2*z - 3 = 9. Does 2 divide z?
True
Let s(t) be the second derivative of 3*t**5/20 - t**4/4 + t**3/3 - t**2 + 2*t. Suppose -5 = -3*o + 1. Is 7 a factor of s(o)?
True
Is 7 a factor of 568/40 - (-1)/(-5)?
True
Let g = 3 + -3. Suppose -3*w + g*w = -15. Let i = w + 14. Is 11 a factor of i?
False
Suppose 2*d - 6*d = t - 57, -54 = -4*d - 2*t. Does 3 divide d?
True
Let y(u) = -u**2 + 2*u - 1. Let z be y(1). Let g be (-2)/3*(z - 3). Suppose -5*h - 49 = 4*q - 187, -63 = -g*h + q. Is h a multiple of 11?
False
Let c be -2 - (-1 + (-1)/1). Does 14 divide 594/9 - (-4 - c)?
True
Suppose -9 + 36 = r. Is 10 a factor of r?
False
Let u(i) = 2*i**3 + 6*i**2 - 9*i - 1. Let n(z) = z + 4. Let p be n(-5). Let c(g) = g**3 - g - 1. Let a(k) = p*u(k) + 3*c(k). Is 2 a factor of a(5)?
False
Let p = -14 - -35. Does 13 divide p?
False
Suppose -1560 = -4*n - 9*n. Is 12 a factor of n?
True
Let k(q) = q**3 + 15*q**2 - 7*q - 18. Does 14 divide k(-15)?
False
Let a(w) = -w**2 + w + 20. Let q be a(0). Suppose -x - 4*h = 4*x + q, 5*x - 15 = 3*h. Suppose 2*r = -x*r + 60. Is r a multiple of 13?
False
Suppose -3*o = -6*o + 6. Suppose 250 = 3*l + o*l. Does 25 divide l?
True
Suppose -2*p + 476 = -28. Does 36 divide p?
True
Suppose 0*q + 5*s - 2 = -q, 5*s = -10. Suppose 4*c + 4*y = 5 + 67, 0 = -c - 2*y + 15. Let b = c - q. Is 4 a factor of b?
False
Suppose -5*q = -7*q + 24. Let r = q - 8. Does 11 divide (2/r)/((-4)/(-88))?
True
Suppose a - 61 = t, -3*t = -a - 4*a + 309. Is a a multiple of 9?
True
Let x(b) = b**2 + 6*b + 5. Let d(w) = -2*w**2 - 5*w - 6. Let s(f) = 2*d(f) + 3*x(f). Let j be s(6). Is (-8)/(((-12)/j)/2) a multiple of 10?
True
Suppose 221 = 3*c - 3*z + 23, -3*c + 4*z + 194 = 0. Let x = c - 41. Does 26 divide x?
False
Let n(j) = -j**3 + 13*j**2 + 3*j + 4. Is 5 a factor of n(13)?
False
Let u = -4 + 4. Suppose k + u*k = 67. Is 17 a factor of k?
False
Is (2/(-3))/(16/(-216)) a multiple of 5?
False
Let n(u) = 1 + u**2 + 0*u**2 - 2*u + u**2. Suppose f - s + 1 = -3*s, f - 5*s = 13. Is 5 a factor of n(f)?
False
Is 10 a factor of (80/56)/((-1)/(-35))?
True
Suppose -z = -r + 8, 5*r - 14 = -z - 4. Is r/(-9) - 68/(-6) a multiple of 11?
True
Suppose -5*u - 867 = -5*d - u, -2*d + 3*u + 351 = 0. Suppose -7*q + d = -4*q. Does 19 divide q?
True
Suppose 4*l - 51 = 29. Is 4 a factor of l?
True
Let r(t) = t**2 + 5*t - 2. Let z be r(-5). Let c be z + 3 + -2 - -70. Let w = c + -47. Is 11 a factor of w?
True
Let m(c) be the first derivative of -c**3/3 - 5*c**2 - 8*c + 1. Let f be m(-7). Suppose 5*p = 5*a - a + 11, 0 = -3*p - 4*a + f. Is 3 a factor of p?
True
Is 1 - (-44)/(-4)*-1 a multiple of 8?
False
Suppose 0 = -4*z - 3*r + 660, 0*r + 818 = 5*z + 2*r. Does 27 divide z?
True
Let o(r) = 20*r**3 - r**2 - r. Let v be o(-1). Let p = v - -1. Let g = 43 + p. Is 8 a factor of g?
True
Suppose -8 = 2*j, -d + 297 = 4*d - 3*j. Suppose 4*x + 2*y = 218, 3*y = x + 4*y - d. Is 27 a factor of x?
False
Let g(o) = 3*o - 7. Let f(k) = 3*k - 7. Let l(v) = 3*f(v) - 2*g(v). Does 10 divide l(7)?
False
Let h(c) = 13*c**2 - 7*c. Does 30 divide h(-3)?
False
Suppose -t = -0*t. Suppose -5*k - 5 = t, 5*w - 83 = 3*k + 175. Does 19 divide w?
False
Let f be (-3)/1*(-1)/1. Suppose 136 = f*b + b. Does 17 divide b?
True
Let k = -8 - -69. Suppose 57 = 2*s - t, -2*s - 3*t = 16 - k. Let i = s - -11. Is 14 a factor of i?
False
Suppose 1104 = 24*o - 8*o. Is 23 a factor of o?
True
Suppose -30 - 26 = -2*c. Is c a multiple of 5?
False
Suppose -5*v - 3*r - 29 = 0, v - 3*v = 2*r + 10. Let l(q) = -q**3 - 8*q**2 - 10*q + 3. Does 9 divide l(v)?
False
Let h be (-6)/8 - 11/(-4). Suppose 0*k - h*k = 2*o - 20, 2*k - 4*o = 8. Does 4 divide k?
True
Let q = 33 - -32. Suppose 4*o + 4*r - 8 = 84, -q = -3*o - 4*r. Does 9 divide o?
True
Suppose -5*i = -0*i + b - 13, -4*i - 7 = -5*b. Let n be 1/i - (-1)/2. Suppose 3 + n = u. Is u even?
True
Let h(a) = 27*a - 2. Let s be h(2). Suppose -11 = 5*i + 5*u + 4, 0 = -3*i + 3*u + 21. Suppose i*t + 0*t = s. Is 13 a factor of t?
True
Let b(w) = 5*w**2 + 4*w. Let v be b(-8). Let g = -4 - -8. Is 14 a factor of ((-1)/(-2))/(g/v)?
False
Suppose -3*q + 90 - 8 = 4*n, n = 5*q + 32. Is 2 a factor of n?
True
Let a = -46 + 239. Is 14 a factor of a?
False
Let u be (-14)/(-70) + 4*(-34)/(-20). Let l(h) be the second derivative of h**3/6 + 5*h**2 - h. Is 17 a factor of l(u)?
True
Let y(w) = w - 3. Let j(c) be the second derivative of -c**4/12 - 3*c**3/2 - c**2 + 2*c. Let g be j(-8). Is y(g) a multiple of 2?
False
Let k = -81 + 161. Let r = k + -32. Is 24 a factor of r?
True
Let w(n) = n**2 + 6*n + 2. Let g be w(-6). Suppose -6 = g*o - 4*o. Suppose -56 = y - o*y. Is 14 a factor of y?
True
Let z be 1/(1 - (-114)/(-117)). Suppose m - x - 13 = 0, -m + x = -4*m + z. Is 13 a factor of m?
True
Let l = 207 + -123. Suppose l = 3*r + 12. Is r a multiple of 10?
False
Suppose -5*b - 3*l + 505 = 0, 2*l - 304 = -0*b - 3*b. Is b a multiple of 25?
False
Let t(u) be the second derivative of 0 + 1/6*u**4 - 1/2*u**2 + 2*u + 1/3*u**3 - 1/5*u**5. Is t(-2) a multiple of 11?
False
Let y(m) be the third derivative of 7*m**4/4 - m**3/6 - 2*m**2. Let o be y(1). Suppose 18 = n + d, 3*n - 5*d + 3 - o = 0. Is n a multiple of 8?
True
Let t(z) = 4*z + 1. Let n(d) = 7*d + 2. Let i(f) = -6*n(f) + 13*t(f). Suppose -5*p - 3*g - 5 = 0, 0 = p - 5*p + 4*g + 28. Is i(p) a multiple of 21?
True
Let k(f) = 11*f**3 + 4*f - 7. Is 17 a factor of k(2)?
False
Suppose -5*s + 121 = 21. Is 10 a factor of s?
True
Suppose -u = -2 - 1. Suppose 5*d = d + 16, -60 = -f + u*d. Is f a multiple of 18?
True
Let z(w) be the first derivative of 3*w**2/2 - 14*w + 4. Is z(17) a multiple of 9?
False
Let b be 0 - (-2 - -1 - 2). Suppose -b*h - 25 = 47. Let s = 37 + h. Does 9 divide s?
False
Does 12 divide (-2 + 1)*(-2 + -201) - -1?
True
Suppose 0 = 4*v + 16 - 60. Does 11 divide v?
True
Let v = 16 + -9. Let k(n) = n**2 - 6*n + 5. Does 11 divide k(v)?
False
Let s be 8/12 - 7/(-3). Let w be -3*4/s*1. Is 6 a factor of (-1)/w - 201/(-12)?
False
Let a be 12/(2 + 1) - -5. Let h = 1 + a. Does 3 divide h?
False
Suppose 4*t = 47 + 65. Is 28 a factor of t?
True
Let b = -2 - -4. Suppose -4*u - 3*v + 1 = -2, 4*v = -4*u. Suppose -b*z - 10 = -u*z. Is z a multiple of 5?
True
Let w = 3 - -2. Suppose 0 = -w*u + u + 56. Is u a multiple of 9?
False
Let p(s) = -13*s + 12. Let l be p(-8). Suppose 8 + 38 = 2*n - m, l = 5*n - 