2 - 5*s + 6. Suppose -11 = -2*k + 1. Is 16 a factor of i(k)?
True
Let w be 1*((3 - 0) + -2). Is (-1 + w - 0) + 37 a multiple of 13?
False
Suppose -3*v = -3*c + c + 5, v = 2*c + 5. Is 4 a factor of 94/10 + (-3)/c?
False
Does 52 divide -3 - (-2 - (-3*293)/(-3))?
False
Suppose 0 = -v - 5*c + 17, 0*v + 3*v - 3*c + 39 = 0. Is 4 a factor of -2*(-10 + v/(-4))?
True
Let c(r) = r**3 + 5*r**2. Let x be c(-5). Suppose x = 3*q - 6*q + 159. Is 17 a factor of q?
False
Let q = -3 + 0. Does 12 divide ((-9)/q + -1)*18?
True
Let x(b) = -6*b**2 - 3*b + 6. Let v be 81/15 + (-2)/5. Let r(z) = 5*z**2 + 2*z - 5. Let w(d) = v*r(d) + 4*x(d). Is w(-2) a multiple of 7?
True
Does 4 divide 46 + 11/(-4) + 45/60?
True
Suppose -95 = -5*v + g, -86 = -5*v - 4*g + 34. Is v a multiple of 4?
True
Let h(g) = g**3 + 18*g**2 + 18*g + 3. Let t be h(-15). Does 10 divide 15/75 - t/(-10)?
False
Let y = -49 + 73. Is 14 a factor of y?
False
Suppose -i + 2*i + 3 = 0. Suppose 0 = 5*y + 86 - 21. Let r = i - y. Is 10 a factor of r?
True
Suppose -2*u = -14 - 2. Is u a multiple of 2?
True
Let n = 15 - -81. Does 32 divide n?
True
Suppose -2*b = -2*f, 3*f + 0*f = -3*b - 12. Let y = 7 + -4. Let o = y - b. Does 3 divide o?
False
Suppose 2089 = 9*l + 307. Does 33 divide l?
True
Let y be 6/(-45)*-12*40. Suppose -r - 18 = -2*h - 4*r, r = 4*h - y. Let f = h + 11. Is f a multiple of 12?
False
Let k be (20/6)/(2/(-6)). Let c = 906 + -542. Does 14 divide 8/(-20) - c/k?
False
Suppose 25 = -5*j, -3*j = -q - j + 13. Suppose 3*a - 3*f = -3, 8 + 4 = q*f. Suppose -a*d + 2*i = -24, 4*d + 16 - 49 = 3*i. Does 3 divide d?
True
Suppose -6*j = -2*j + 148. Suppose -2*n + 295 = 3*n. Let v = n + j. Does 11 divide v?
True
Let v = 84 + -9. Is 20 a factor of v?
False
Let m be -3*(-12)/(-9)*2. Let x = 11 + m. Suppose x*k - 5*q + 21 = 4*k, 0 = -5*k + q + 131. Is 13 a factor of k?
True
Let m = 2 - 2. Let d = -7 - m. Does 2 divide 132/28 - 2/d?
False
Let d be (-22)/8 + (-3)/(-4). Let y be 20/11 + d/(-11). Suppose -4 = q - y*q. Does 2 divide q?
True
Let g(d) = 88*d - 14. Is g(2) a multiple of 31?
False
Let y(l) = 0*l - l + 4*l - 3. Let s be y(2). Suppose -19 = -2*o + s*n, 5*o - 140 = -3*n - 40. Is 17 a factor of o?
True
Is 583/5 + -2*(-2)/10 a multiple of 9?
True
Suppose 0 = -2*y - 34 + 114. Suppose 7*t - 3*t + y = 0. Let m = 17 + t. Is m even?
False
Suppose 3*i = 5*i - 242. Let r = i + -61. Does 14 divide r?
False
Let y(z) = -11*z + 5. Let n be y(-5). Let o = -42 + n. Does 5 divide o?
False
Let a(p) = -p**3 + 6*p**2 + 9*p - 10. Let o be a(7). Let l(g) = 2*g - 5. Let u be l(o). Suppose 7*v = u*v + 32. Does 4 divide v?
True
Let z = 15 + -11. Let i = 11 - z. Does 7 divide i?
True
Suppose 0 = 3*g + g + 4*o - 40, 3*g - 44 = 4*o. Does 12 divide g?
True
Let u be (-468)/(-45) + (-4)/10. Suppose 4*t = -3*b + 31, u = -6*t + t. Does 13 divide b?
True
Does 7 divide (-1)/(-1*(-3)/(-21))?
True
Let w be (15/4)/((-2)/8). Is 6 a factor of (-3 - w/6)*-26?
False
Let x(r) = -r - 7. Let m(h) = 4*h**3 - h**2 + h + 1. Let i be m(-1). Let n be x(i). Is (-398)/(-9) + n/9 a multiple of 16?
False
Let j = -3 - -5. Suppose 0 = -2*r - 4*x + 22, -3*x - 11 = -r - j*x. Is r a multiple of 4?
False
Let d(r) = -3*r - 12. Does 14 divide d(-18)?
True
Let u = 49 - 42. Is u a multiple of 2?
False
Let z(c) = -13*c + 43. Let f(l) = 7*l - 21. Let m(j) = 11*f(j) + 6*z(j). Is 19 a factor of m(0)?
False
Let n = -43 + 58. Is n a multiple of 3?
True
Let t = -59 - -103. Is 11 a factor of t?
True
Let l(s) = 8*s - 2. Let k = 0 + -2. Let n be l(k). Let a = 30 - n. Is a a multiple of 16?
True
Suppose -4*j + 2*x - 5*x - 71 = 0, 2*j - 3*x = -13. Let d = 26 + j. Does 5 divide d?
False
Let j = 8 + -6. Is (54/15)/(j/5) a multiple of 7?
False
Let f = -220 + 372. Suppose 0 = -2*h + f - 48. Is h a multiple of 13?
True
Suppose -3*r = -9, -v - 2*r = -4 + 1. Is (v/(-6))/((-3)/(-228)) a multiple of 16?
False
Let u = -86 - -129. Is 25 a factor of u?
False
Suppose 3*b = -0*h - 5*h - 9, 0 = -3*h. Is (3/1)/b - -7 a multiple of 5?
False
Let i(b) = 10*b + 2. Let o be i(6). Suppose 3 + o = -v. Let t = v + 109. Is 22 a factor of t?
True
Let d(z) = -9*z + 4. Let x(g) = 9*g - 5. Let v(y) = -6*d(y) - 5*x(y). Let m be v(6). Suppose 0 = -3*k - a + 29 + 4, -4*k = 5*a - m. Is k a multiple of 7?
False
Let g(o) = -7*o**2 + o + 4. Let q(w) = -8*w**2 + 2*w + 5. Let n(j) = 7*g(j) - 6*q(j). Is n(-4) even?
True
Let p = 70 - 26. Does 26 divide p?
False
Let w be (12/20)/(3/15). Suppose -w*g + 36 = 5*u, 0*u - 18 = -2*u - 3*g. Does 2 divide u?
True
Let z(q) = -5*q**3 + 4*q**3 + 5*q + 2*q**2 - 6 + 2*q**2. Suppose 3*o + 3*c = 27, -c = -o - 0*c - 1. Is 7 a factor of z(o)?
True
Let s(r) = r - 8. Let k be s(11). Does 7 divide 0 - -29 - (k - 6)?
False
Let a be (-3)/9 + 1700/6. Let q = a + -159. Suppose 5*l - 139 = -5*h - 29, 0 = -5*h + 2*l + q. Is 12 a factor of h?
True
Let l = 186 - 24. Is 9 a factor of l?
True
Let a(g) = g - 3. Let z be a(3). Suppose 5*l + z*l = 0. Let q = l - -4. Is 4 a factor of q?
True
Let c(k) = 9*k**2 - 2*k. Let f be (-2 - -1) + -5 + 8. Does 8 divide c(f)?
True
Let n(k) = 39*k**2 - k. Let b be n(-1). Let y = b - 13. Let j = 57 - y. Does 15 divide j?
True
Let m(h) = h**3 - 6*h**2 - 7*h. Is m(8) a multiple of 8?
True
Let d = 165 + -96. Does 25 divide d?
False
Let p(o) = -15*o + 9. Is p(-4) a multiple of 33?
False
Let k(t) = t**2 + t - 2. Let n be k(2). Suppose -2*u + n*s = -9 - 9, -3*u - s = -6. Is u a multiple of 2?
False
Suppose 4*g + 4*q - 16 = 0, g - 3*g - q = -7. Suppose -3*r - 4*w = -7*w - 135, g*w = -4*r + 145. Is r a multiple of 14?
False
Let f(o) = o**2 - 5*o - 2. Let z be f(6). Suppose 8*l - z*l - 116 = 0. Is 10 a factor of l?
False
Suppose -2*f + 3*f = 0. Let t be 0*3*1/9. Suppose 3*u + t*u - 12 = f. Does 4 divide u?
True
Let i(t) = t**3 + 3*t**2 - 4*t + 5. Is i(4) a multiple of 11?
False
Let n(p) = -17*p + 1. Let d(h) = 2*h - 3 - 1 - 3*h + 3. Let k be d(0). Does 9 divide n(k)?
True
Suppose -5*q + 8 = -3*l, -q = -4*l + 1 + 11. Suppose 0*h + 180 = l*h. Does 17 divide h?
False
Let t = -33 - -67. Let s = 57 - t. Let y = -16 + s. Does 5 divide y?
False
Let i(x) = x**3 + 8*x**2 - 11*x + 4. Suppose c - 9 = 2*c. Is i(c) a multiple of 11?
True
Let p(z) = z**2 + 2*z - 3. Suppose 4*i = 2*s + 10 + 20, 0 = 5*i + 5*s - 30. Does 12 divide p(i)?
True
Let p = -10 - -32. Suppose 3*k = v + 6*k - 3, v - 3*k = -21. Let m = v + p. Is m a multiple of 9?
False
Suppose c - 169 = -4*w + w, 157 = 3*w - 2*c. Is 17 a factor of w?
False
Let k(o) = -o**3 + 2*o**2 + o. Let p be k(2). Suppose -110 = -p*g - 6. Does 17 divide g?
False
Suppose 0*z = -z - 5*v + 5, -z + 5 = 3*v. Is z a multiple of 5?
True
Let k = -1 + 9. Let t = 21 - k. Is t a multiple of 13?
True
Is 14*(3 - 45/(-21)) a multiple of 9?
True
Suppose -5*o + 6 + 14 = 0. Suppose -o*a + 9*a - 10 = 0. Is a a multiple of 2?
True
Let p = -151 - -279. Suppose 5*g - p = g. Does 16 divide g?
True
Suppose -51 = -2*l - 35. Is 3 a factor of l?
False
Is 12 a factor of (-123)/(-5) + (-24)/(-60)?
False
Let a(n) = -n**2 - 18*n - 10. Let c be a(-15). Suppose v - 35 = 37. Let p = v - c. Is p a multiple of 15?
False
Suppose 3*t + 3*c - 6*c = 114, -5*c + 161 = 4*t. Is t a multiple of 14?
False
Let a(l) = -36*l**3 - l**2 - 2*l - 1. Let k be a(-1). Let r = -25 + k. Is 5 a factor of r?
False
Let v = -3 + 6. Let m = v + 2. Let j = 0 + m. Is 5 a factor of j?
True
Suppose -1638 = -17*w + 4*w. Does 9 divide w?
True
Let f be 28/(-5)*10/(-4). Suppose -4*o = 2 - f. Suppose 0 = 3*t + o, 0 = 4*q - 2*t - 26 - 92. Is 8 a factor of q?
False
Let k = 0 + 26. Is 10 a factor of k?
False
Let k(w) = -w**2 + 4*w + 5. Let g be k(5). Suppose g*h + 15 = 3*h. Is h even?
False
Let c(q) = -q**3 - 11*q**2 + 11. Suppose 0 = -2*r + 5*x + 34, 0*r = -r + 3*x + 16. Suppose 3*n - n + r = 0. Is 3 a factor of c(n)?
False
Let y = 3 + 2. Let n be (-252)/(-105) + (-4)/10. Suppose y*z - 2*u - 142 = 0, u - 3*u = n*z - 54. Is z a multiple of 8?
False
Suppose -2*o + o - 2*f = -31, -f = -1. Suppose 5*y = -o + 89. Suppose 4*g = -2*t - t + 74, 4*t = -g + y. Does 10 divide g?
True
Let o be (-12)/((-5)/2 - -1). Is -1 - (o*-4 + -2) a multiple of 20?
False
Let h(f) = 7 - 1 - f + 1. Does 5 divide h(-5)?
False
Suppose b = 3*b - 8. Let m(r) be the first derivative of r**4/4 - 4*r**3/3 + 5*r**2/2 - 6*r + 2. Does 7 divide m(b)?
Tru