se -z - 2*h = -10, -3*h + 7*h + 10 = 3*z. Is 16 a factor of (z - 2)/(5/60)?
True
Let y = 3 - 2. Let q = 5 + y. Let o = q - 0. Is o a multiple of 6?
True
Let g(d) = -3*d**3 - 16*d**2 - 6*d. Let o(h) = 9*h + 39. Let y be o(-5). Is 9 a factor of g(y)?
True
Is (-4)/10 + 9381/15 + 5 a multiple of 10?
True
Let p(o) be the first derivative of 5*o**2/2 - 7*o - 69. Suppose -2*k = 5*d - 6 - 39, -5*d - 3*k = -45. Is p(d) a multiple of 12?
False
Let r(b) = 12*b - 5. Let f(s) = -23*s + 9. Suppose -20 = 3*k - 5*i, 4*k + 21 = -k - 4*i. Let o(y) = k*r(y) - 3*f(y). Does 9 divide o(2)?
False
Suppose 5*l - 5 = -5*z - 0*z, -4*z + 4 = -l. Suppose 0 = -4*h + 8, 2*t + h - 268 + 78 = l. Does 20 divide t?
False
Is (-9651)/(-3) + (-3 + -3 - -10) a multiple of 16?
False
Suppose -l + 3*q - 6 = 0, 0 = l + 2*l - 3*q. Suppose -l*y = -m + 118, -3*m = -2*y + 5*y - 342. Suppose -u - 4*u = 5*w - m, 20 = w - 2*u. Is w a multiple of 12?
False
Suppose -18 = -0*s + 3*s. Let g be (s/(-4))/(19/38). Suppose -4*x + 469 = -g*t, 2*t = -x - 0*t + 131. Is 14 a factor of x?
False
Suppose -4*n - 16 = -356. Does 21 divide ((-164)/(-5))/(34/n)?
False
Let n be 7/3 - (-4)/6. Let y(b) = -16*b + 4. Let j(f) = -19*f + 5. Let a(o) = 2*j(o) - 3*y(o). Is 28 a factor of a(n)?
True
Let f(i) = -5*i**2 + i - 4. Suppose -5*m - 4*b = -0*m - 10, m + 5*b + 19 = 0. Let v(p) = -6*p**2 + 2*p - 4. Let h(k) = m*v(k) - 7*f(k). Is 4 a factor of h(4)?
True
Let w be (120/(-28))/(-5)*14. Let x = 14 - w. Let b = x + 29. Is 7 a factor of b?
False
Let y(w) = w**2 - 4*w. Let p be y(5). Suppose -33 - 29 = -3*x + i, -p*x = -5*i - 100. Is (7/x)/(1/57) a multiple of 19?
True
Suppose 0 = 3*j - 21*y + 23*y - 4620, -3*y + 3075 = 2*j. Is 23 a factor of j?
False
Suppose -2*g - 1 = 3*f + 10, -g = f + 3. Suppose 2*o - 5 = b, -b + 8 = 3*o - g. Is 5 a factor of 8*o + 4 + -4?
False
Let t = -57 - -57. Does 2 divide ((-287)/(-7))/((1 - 0) + t)?
False
Let w(c) be the first derivative of -c**3/3 - 6*c**2 + 32*c + 12. Is 2 a factor of w(-13)?
False
Suppose -t + 5 = -j, -19 + 4 = 2*j - 3*t. Let n = -34 + 40. Suppose j = -n*v + 2*v + 20. Does 5 divide v?
True
Let w(q) = -3*q + 30. Let a be w(12). Let p be (-3)/((-19)/9 - -2). Let n = a + p. Is 6 a factor of n?
False
Suppose 5*v + 0 = -3*j - 5, -3*j + 5*v = -35. Suppose -2*a - 4*w + 4 = -2, 3*a - w = -j. Does 3 divide 5 + (a - (-6)/3)?
True
Let n = 30 - 31. Let v(i) be the second derivative of -3*i**5/5 + i**4/4 + 2*i**3/3 + i**2 - 9*i. Is v(n) a multiple of 2?
False
Suppose g + 2*g = 0. Let m(f) = 22 + g*f**2 - f**2 + 16. Does 19 divide m(0)?
True
Let i(z) = 9*z**2 - z. Let g be i(1). Suppose 0 - g = -a. Let l = a + 7. Is l a multiple of 5?
True
Let i = 24 - 37. Let v(m) = -m**3 - 17*m**2 - 18*m + 18. Let c be v(i). Is c/(-30) + 4/(-30) a multiple of 7?
True
Let p = 123 - 68. Is p a multiple of 33?
False
Let d(y) = -14*y + 4. Let v be d(-5). Let a = v - 140. Let n = a + 152. Does 21 divide n?
False
Suppose 4*k + 5*l + 58 = 0, k + 0*l - l + 19 = 0. Let r = 28 + k. Is 4 a factor of r?
False
Let z(f) = -f + 7. Let i be z(5). Suppose 2*p - i - 46 = 0. Is 3 a factor of p?
True
Let l be (-1 - -2)*-1*23. Suppose 7*p = 11*p + 20, -p + 63 = -4*c. Let k = c - l. Is k a multiple of 3?
True
Is 16 a factor of (3 - (-56)/(-21)) + (-3436)/(-6)?
False
Suppose -b = 2*b - 2*n - 727, 4*b - 968 = 3*n. Is b a multiple of 7?
True
Suppose 3*p + 417 = 4*j - 136, 0 = j + 4*p - 124. Is 34 a factor of j?
True
Let c be (-4 + -8)*2/(-4). Suppose -c*y - y + 385 = 0. Is y a multiple of 15?
False
Let x(c) = 44*c**2 + 62*c - 228. Is x(4) a multiple of 23?
False
Does 10 divide 10/(-25)*(1 + -301)?
True
Suppose 37*t - 41*t + 236 = 0. Is t a multiple of 17?
False
Suppose 2*w = 469 + 67. Is 22 a factor of w?
False
Suppose -19*p = -17*p - 8. Suppose -81 = -r - p*u + 40, -r = -5*u - 85. Is 21 a factor of r?
True
Suppose 4*p = 129 + 35. Suppose -4*w - 34 = -2*d, 0 = w + 4*w - d + p. Let g(s) = s**2 + 2*s - 9. Is 16 a factor of g(w)?
False
Let l = -108 + 112. Let t = 41 - 22. Suppose l*v - 29 - t = 0. Does 3 divide v?
True
Let d(r) = -r**3 - 5*r**2 - 4*r + 3. Let z be d(-4). Suppose -105 = 9*l - 10*l. Suppose 3*t - z - l = 0. Is t a multiple of 9?
True
Suppose 0 = -24*l + 9*l + 30. Suppose 34 = 2*u - r + l*r, -5*u + 85 = 5*r. Does 2 divide u?
False
Let m be (-8)/12*-6 - (1 + -3). Let z(o) be the third derivative of o**4/8 + o**3/2 + o**2. Is 7 a factor of z(m)?
True
Suppose 3*x - 62 = -20. Suppose 13 + x = s. Does 27 divide s?
True
Let b = 125 + 213. Is b a multiple of 55?
False
Let q = 29 - 11. Let j be (11 + 0)*1*-1. Let b = q + j. Is b even?
False
Suppose 4*y - 16*u + 12*u - 18048 = 0, u - 27072 = -6*y. Is 12 a factor of y?
True
Let j = 91 - 198. Let b = j + 140. Is 11 a factor of b?
True
Let k(q) = -6*q**3 + 2*q**2 - 1. Let o be k(-1). Is 17 a factor of 1092/o + (-2 - -1)?
False
Let m be (-2)/(-4) - (-54)/4. Does 8 divide (120/(-42))/((-4)/m)?
False
Let j = 61 - 51. Is 5 a factor of j*(6 - (-4)/(-2))?
True
Let c(v) = 9*v**3 - 6*v**2 + 6. Let h(u) = u**2 - 1. Let n(k) = c(k) + 5*h(k). Suppose 12 = 3*b + 3*z, 14 = -b + 7*z - 2*z. Does 6 divide n(b)?
False
Suppose 0*l + 10 = 5*l. Let w(f) = -f**3 + 0*f**2 - 20*f + 24*f - 3*f**l. Is 30 a factor of w(-5)?
True
Let z(f) = 2*f**3 + 22*f**2 - 6*f + 15. Let k be z(-11). Suppose -q + k = 41. Is 20 a factor of q?
True
Suppose -4*f - f = 25. Let m(z) = 3*z - 15. Let j(c) = c - 2. Let b(h) = 2*j(h) - m(h). Does 12 divide b(f)?
False
Let j be -1*(0 - 0) - -2. Suppose j*q - 145 = -4*g + 3*g, g + 287 = 4*q. Is q a multiple of 12?
True
Suppose 0*b + 126 = b. Let g be b/(-2 + 5) - -3. Let z = g + -17. Does 11 divide z?
False
Let i(r) = -r**2 + 11*r + 11. Let x be i(11). Let f = -12 + x. Is 16 a factor of f/3 + (-1160)/(-24)?
True
Let k = -188 + 353. Suppose -111 = -2*u - 0*n - n, 3*u = -n + k. Does 2 divide u?
True
Let q(l) = -l**2 - l. Let w(t) = -6*t**2 - 7*t + 12. Let d(u) = 5*q(u) - w(u). Does 26 divide d(12)?
True
Let w = 159 - 76. Is w a multiple of 83?
True
Suppose o - 3*o = 0. Let a(l) = -l**3 - l**2 + 4. Let s be a(o). Suppose -128 = -s*h - 20. Does 10 divide h?
False
Suppose 4*f - 9 + 2 = -3*s, -3*s = -4*f - 23. Is 11 a factor of ((-1)/(f/124))/2?
False
Suppose 2*a + 17 = -2*u + 7, -a = -4*u - 30. Let f(b) = -b**3 - 7*b**2 - 5*b - 5. Let l be f(u). Suppose 3*p - 42 = l. Is 12 a factor of p?
True
Suppose -6*l = -9*l + 6. Suppose l*f - 97 = 69. Does 29 divide f?
False
Suppose -f + 3*i = 10, 4*f + 44 - 4 = 4*i. Let p(q) = 3*q**2 + 13*q - 6. Does 33 divide p(f)?
False
Let d = -20 + 23. Suppose 4*o + 2*i - 25 + 3 = 0, -4*o + 19 = d*i. Is 7 a factor of o?
True
Let i(s) = s**3 + s**2 - s + 1. Let v be i(1). Suppose 0 = d - 0 + 1, -2*y - 4*d = -v. Suppose 60 = y*k + 2*k. Is 12 a factor of k?
True
Suppose 0 = -922*n + 929*n - 1428. Is n a multiple of 4?
True
Suppose 6*z - 89 = 487. Does 4 divide z?
True
Let l = -6 - 3. Suppose 47 = 3*p - 61. Let o = p - l. Is o a multiple of 10?
False
Let h be -3 + 1 - (-1 + -213 + -4). Suppose -h = -7*o + 3*o. Is o a multiple of 27?
True
Let c(z) = 5*z + 3. Let r be c(15). Suppose 2*b = 5*b + r. Let y = b + 50. Does 13 divide y?
False
Let x = 711 + -626. Is 5 a factor of x?
True
Let s = -72 + 113. Let b = 65 + -54. Let i = s - b. Is i a multiple of 12?
False
Suppose 5*m = -s + 15 + 201, 2*m - 4*s - 82 = 0. Suppose 4*a + 100 = -2*w, -5*a = -a + 5*w + 94. Let u = a + m. Is 14 a factor of u?
False
Let y be 1/2 + -15*(-6)/36. Suppose a - 18 = -x - y*a, -2*x + 2*a + 46 = 0. Is x a multiple of 11?
True
Let l be (-12 - -10)*5/(-2). Suppose 2*o = 4*q + 192, -l*q + 1 = -14. Is o a multiple of 23?
False
Is 2 a factor of ((-2)/(-6) - 3358/(-69)) + -4?
False
Suppose -198 = -3*r - 3*a, 62 = r - a - 0*a. Suppose -r = -4*v + 4*p, -2*v - 2*p + 24 = -12. Is 8 a factor of v?
False
Does 31 divide 15/(-10) - -209*(-15)/(-6)?
False
Let g(k) = 5*k + 117. Does 5 divide g(-18)?
False
Suppose -3*w = 0, -4*n - 4*w - 29 = -1. Let q = 2 + n. Does 10 divide 7/((-1)/q + 0)?
False
Let i(o) = o**2 - 3*o - 5. Let t be i(5). Suppose 0 = 2*c - 122 + 48. Suppose c = 2*n - t*f, 0 = f - 2*f - 1. Does 11 divide n?
False
Suppose -9*m = 41*m - 10150. Is 10 a factor of m?
False
Let r = -25 + 36. Suppose -y = -71 + r. Suppose 9*q - 13*q + y = 0. Is q a multiple of 5?
True
Is 8 a factor of -13 + 9 - 