e
Let o(m) = 2*m. Let c = -2 + 3. Let f be o(c). Suppose -z + 10 = -f. Is 6 a factor of z?
True
Let c = 2 - 3. Let t be (-20)/(-2)*c/(-2). Suppose -24 = -t*q - 4*l + 66, 0 = -4*q + l + 72. Is q a multiple of 10?
False
Does 15 divide -3 - (2 + -35 + 0)?
True
Let o = 10 - 8. Suppose 4*m + k + o*k = 55, 4*k = -3*m + 50. Is 3 a factor of m?
False
Suppose -2*y + 2*c + 6 = 3*c, 5*c = 3*y - 9. Let d be (3/y - 0)*5. Let x = -3 + d. Is x a multiple of 2?
True
Suppose s + 2*s + 114 = 0. Is 1 - 4/8*s a multiple of 4?
True
Suppose 2*f + 328 = 7*f + 4*x, 3*x = f - 58. Is 16 a factor of f?
True
Suppose 455 + 85 = 6*x. Is 18 a factor of x?
True
Let p(j) be the first derivative of 4*j**3/3 - 3*j**2 + 3*j - 4. Is 15 a factor of p(4)?
False
Let o = -29 + 66. Is 7 a factor of o?
False
Suppose -62 - 736 = -2*z. Is 57 a factor of z?
True
Let b = -7 - -10. Suppose 0*g - b*g = -48. Is 8 a factor of g?
True
Let f(u) = -7*u**3 - 2*u**2 - 2*u - 1. Let k be f(-1). Let v be 2/(-3) + 28/k. Suppose 4*g - 3*g + 10 = 5*m, 10 = 2*g - v*m. Is 13 a factor of g?
False
Let n be (1/2)/(5/(-10)). Let v(b) = -b**2 - 3*b - 1. Let t be v(-3). Does 5 divide (-2)/n + (t - -5)?
False
Let f be (-2)/(0 + (-6)/(-9)). Let c = f + 11. Is c a multiple of 4?
True
Does 20 divide 4 - (-3 + 1 + -26)?
False
Let d(s) = s + 6. Is d(3) a multiple of 5?
False
Let w(p) = p**3 + 12*p**2 + 35*p + 15. Is 7 a factor of w(-6)?
True
Let w(t) = 13*t**2 - 6*t - 1. Suppose -5*o + 5*d - 5 = 0, 4*o + 0*d + 2*d = 8. Let f(y) = -y**2 + y. Let x(l) = o*w(l) + 5*f(l). Does 14 divide x(-2)?
False
Suppose 33 = 3*i - 0. Is 10 a factor of i?
False
Let r(d) = -d**2 + 7*d + 3. Is r(4) a multiple of 11?
False
Suppose 0 = -j + 3*g + 18, 9 = 2*j - 5*g - 32. Suppose -3*f + 9 = j. Does 14 divide (-226)/f + 5/(-20)?
True
Let z(l) = 14*l - 3. Let k(d) = 41*d - 8. Let y(r) = -4*k(r) + 11*z(r). Is 9 a factor of y(-1)?
True
Let y(b) = b**3 + 16*b**2 - 7*b - 40. Is y(-16) a multiple of 8?
True
Let f(d) = -d**3 + 6*d**2 - 3*d + 6. Let g be f(4). Let x be ((-420)/(-49))/((-1)/14*-2). Suppose 4*j = -4*y + x, 2*y + 2*j = j + g. Does 11 divide y?
True
Let l(f) = -f**2 - 16*f - 32. Is l(-10) a multiple of 13?
False
Let z(t) = t**3 - t**2 + 6*t + 6. Does 14 divide z(3)?
True
Let s = -106 - -194. Suppose s = 3*b - 35. Is b a multiple of 17?
False
Suppose -207*k + 211*k = 76. Is 19 a factor of k?
True
Let l(a) = -3*a - 2. Let z be l(-3). Let t(u) = -4*u - 2 - 1 + z. Is t(-4) a multiple of 10?
True
Suppose 10*j - 1150 = 60. Is j a multiple of 16?
False
Suppose -1 = -2*s + c - 17, 5*s - 5*c = -40. Let v = -8 - s. Is 17 a factor of -2 + 2 - (-34 - v)?
True
Let p be (-66)/(-9) + (-2)/6. Let s = 0 + -3. Let n = p - s. Is n a multiple of 6?
False
Let f = 4 - 1. Suppose f*z - z = 22. Is 4 a factor of z?
False
Let w(b) = b**3 - 2*b**2 - 5*b - 2. Let t(y) = -y**2 + 5*y - 2. Suppose 0 = -5*a + 20 - 5. Let h be t(a). Is w(h) a multiple of 10?
True
Let u(b) = b**2 - b + 3. Is 15 a factor of u(-6)?
True
Let a = 6 - 3. Suppose 0 = o - 5 - a. Is o a multiple of 8?
True
Let s = -10 - -15. Suppose -x = -3*m + 62, -m + 32 = 2*m + s*x. Is m a multiple of 19?
True
Let q be 46/(5 - (3 - 0)). Let n = -13 + q. Does 3 divide n?
False
Let x(o) = 29 + 21*o**2 + 2*o - 5*o - 29. Is 18 a factor of x(-2)?
True
Let v = -7 - -7. Suppose -q + v*q + 5 = 0. Is 3 a factor of q?
False
Suppose 0*f - 3*f = 21. Let c = f - -17. Is 5 a factor of c?
True
Let w be 0 - (2 - 3) - -1. Let g = -8 - w. Let v = 22 - g. Does 18 divide v?
False
Suppose 110 = 2*q - q. Suppose 3*o - q = -5*w, 2*w = -3*w - 5*o + 110. Is 11 a factor of w?
True
Let l = -6 - -13. Let u(f) = f**2 - 5*f - 9. Is 3 a factor of u(l)?
False
Let x(o) = o**2 + 3*o - 2. Let g(c) = -c. Let b(j) = -j**2 - j + 6. Let d(w) = -b(w) - 4*g(w). Let m be d(-5). Is 7 a factor of x(m)?
False
Let a = -53 - -29. Is 2/(-3)*756/a a multiple of 13?
False
Let c(y) = -7*y - 11. Is 4 a factor of c(-8)?
False
Let y(d) = -d**3 - 7*d**2 - 2*d - 9. Let f be y(-7). Suppose f*l - 6 = 4*l. Does 3 divide l?
True
Is 15 a factor of (-1)/3 - (-2115)/27?
False
Let l(v) = -2*v + 6. Suppose -2*o - 8 = 2*a, 2*a - o - 7 = -6*o. Is l(a) a multiple of 12?
True
Suppose 4*f - 2*w = 396 + 128, 252 = 2*f + 4*w. Does 26 divide f?
True
Suppose 63 = 3*v + 5*h, 0 = -5*v - h - 0*h + 127. Is v a multiple of 26?
True
Suppose -13 = 3*l - g, l + g = -g + 5. Let s(o) = -o + 1. Let f(k) = 2*k + 3. Let u(d) = -f(d) + s(d). Is u(l) a multiple of 3?
False
Let o(m) = -m**2 - 16*m + 2. Let d be o(-14). Let x = d + -13. Is x a multiple of 12?
False
Suppose -170 = -c - c. Is c a multiple of 17?
True
Let c be -1 + (0 - 1) + 4. Suppose 0 = c*x - 5*r - 99, 0 = -x + 4*x - r - 129. Is x a multiple of 14?
True
Let h be 32/6*(16 + -13). Let k = h - -17. Is 11 a factor of k?
True
Let p(a) = -a - 7. Let u be p(-6). Let o be u + 7*(4 + 1). Let k = o + -18. Is k a multiple of 8?
True
Suppose 13 = 2*l - 3. Let p(u) = 0 - l*u**2 - u**3 - 7*u + u**2 + 7. Is 13 a factor of p(-6)?
True
Let g(q) be the third derivative of q**5/60 - q**4/12 + q**3/6 + 3*q**2. Let a = -17 - -12. Does 19 divide g(a)?
False
Suppose -4*k - 12 = 4. Let o = k + 15. Is o a multiple of 11?
True
Let n = 8 + 12. Is 10 a factor of n?
True
Let h(c) = -c**3 - 2*c - 1. Let d be h(-4). Let k = d + -43. Is k a multiple of 14?
True
Let u be (-60)/16*(-8)/3. Does 10 divide (-5)/2*(-44)/u?
False
Suppose 4*b + 621 = 7*b. Is b a multiple of 9?
True
Suppose 0 = 5*f - 20, 3*y - 1 = f - 8. Let m be y + (18/3 - 0). Suppose -28 = -m*v + v. Is v a multiple of 7?
True
Let u = -89 - -179. Is 8 a factor of u?
False
Let v = -9 + 11. Suppose v*s + k - 65 = -2*s, -4*s = 4*k - 80. Is 13 a factor of s?
False
Let p = 92 + -44. Let o = p - 31. Is o a multiple of 13?
False
Suppose 232 = -3*w + w. Is (12/3)/((-8)/w) a multiple of 24?
False
Let r = 238 + -165. Does 14 divide r?
False
Suppose 0 - 6 = -3*p - 3*u, 3*p = -u - 4. Let i = p + 18. Is 15 a factor of i?
True
Let t = -68 - -85. Is t even?
False
Let s(r) = r + 11. Let h(b) = 3*b**3 + b**2 + b - 1. Let d be h(1). Suppose d*w - 5*w = 0. Is 11 a factor of s(w)?
True
Is (18/2)/(-3) + 263 a multiple of 10?
True
Suppose 104 + 150 = 2*z. Suppose m + 5*i = 131, m - 4*i - z = -41. Let f = m - 76. Does 15 divide f?
True
Is -3*(-9)/(54/316) a multiple of 10?
False
Let v = -2 + 17. Let x = v + -9. Suppose -2*h + 4*z = -x - 0, -4*h + 3*z = -12. Is h even?
False
Let x = 10 - 7. Suppose -x*n + 5*f - 2*f + 120 = 0, 116 = 3*n - 2*f. Is 12 a factor of n?
True
Suppose -268 = -4*g - 68. Is 12 a factor of g?
False
Let c be ((-10)/(-15))/(2/12). Suppose 0 = c*g + 11 + 25. Let k = g + 21. Is 12 a factor of k?
True
Let i(h) = h**3 - 8*h**2 + 10*h - 7. Does 9 divide i(7)?
False
Let i(f) = 5*f**2 - 40*f - 22. Let c(q) = 2*q**2 - 20*q - 11. Let l(m) = 7*c(m) - 3*i(m). Is 6 a factor of l(-18)?
False
Let s be (5/(-2))/(-5)*146. Suppose 5*v = 2*v - 138. Let i = v + s. Is 14 a factor of i?
False
Let a be (-6)/(-12)*0/1. Suppose 2*p + p - 69 = a. Suppose p = 3*r - 1. Is 8 a factor of r?
True
Is (-778)/(-12) + (-14)/(-84) a multiple of 24?
False
Let r be (-404)/6 + (-3)/(-9). Let j = r + 113. Is 23 a factor of j?
True
Let o be 1*-10*8/(-20). Suppose -o*n - 51 = -7*n. Suppose -4*b - 4*i = -40, -n = -4*b - 5*i + 23. Is b a multiple of 7?
False
Let m = -7 - -11. Suppose -m = -2*n - 0*n. Suppose 0 = -x + n*i + 42, i + 117 = 3*x + 4*i. Is x a multiple of 15?
False
Let o(z) = -6 + 32 + 9*z**3 - 10*z**3. Is 7 a factor of o(0)?
False
Let z(s) be the first derivative of -s**4/12 + s**3 - s**2/2 + s - 2. Let j(l) be the first derivative of z(l). Does 4 divide j(5)?
True
Let a(z) = z**2 + 4*z - 6. Is 16 a factor of a(-11)?
False
Is 17 a factor of 31 - (-6)/(-4)*-2?
True
Suppose 2*q - 23 = 9. Is 8 a factor of q?
True
Suppose -3*a - 70 = -8*a. Is 14 a factor of a?
True
Is 10 a factor of 40*3/(6 + -3)?
True
Let v be ((-38)/(-8))/(2/8). Suppose 20 + 1 = 3*p. Suppose v = 2*m - p. Does 5 divide m?
False
Let q be (-14)/(-21) + (-86)/(-6). Suppose -2*x + 3 = q. Does 15 divide -27*x/9 + -2?
False
Suppose -96 = -27*c + 25*c. Does 8 divide c?
True
Let w(i) = -i**3 + 11*i**2 - 7*i + 8. Does 20 divide w(9)?
False
Suppose 4*c = -3*i + 7, 0 = 2*i + 8 - 2. Suppose p - c*k = 68, -2*k + 20 = 2*k. Does 22 divide p?
True
Suppose -5*p + 19 = -76. Let b be 1 +