e
Let n = 142 + -71. Does 21 divide n?
False
Let u be (-3)/(-3 - 45/(-16)). Is (34/(-8))/((-4)/u) a multiple of 17?
True
Suppose 3 = 3*r - 3, 4 = 4*k - 4*r. Let d be 0/(-1 - -3) + k. Suppose 4*f - 32 = -4*h, -2*f = f - d. Is 3 a factor of h?
False
Let t be (-2)/(-6) + (-2)/6. Suppose 3*a = -t*a + 2*x + 30, 5*x + 7 = -a. Does 4 divide a?
True
Suppose -3*i + 2*q = -113, 3*i + 2*q + q = 123. Is i a multiple of 13?
True
Is 2 a factor of ((-2)/(-2))/(1/8)?
True
Suppose -3*j = 64 + 41. Let h = j - -98. Suppose -19 + h = 2*b. Is 6 a factor of b?
False
Suppose 4*h - 3*h = 23. Suppose h = -3*c + 182. Is 12 a factor of c?
False
Suppose 4*c - y - 50 = 94, -4*c = 3*y - 144. Does 4 divide c?
True
Suppose 3*b + 0*b = i + 131, 209 = 5*b - 4*i. Is b a multiple of 13?
False
Suppose q + 3*m = -1 - 4, q + 4*m = -8. Suppose -q*o + 48 = -0*o. Is o a multiple of 6?
True
Suppose -2*k - 3*k - t = 57, 3*k - t = -39. Does 16 divide k/(-6) + 64 + 1?
False
Let f(y) = 4*y**2. Let v be f(1). Let m = -3 - -6. Suppose 0*i - 189 = -v*i + m*l, -i - l = -42. Does 12 divide i?
False
Suppose -4*z + 36 = 4*h, 7 = -5*h + 27. Suppose 3*r - b + 9 - 41 = 0, z*b = 5. Is 4 a factor of r?
False
Let o(r) = -20*r**3 + 21*r**2 + 24*r + 6. Let w(l) = 7*l**3 - 7*l**2 - 8*l - 2. Let q(g) = 6*o(g) + 17*w(g). Is 20 a factor of q(7)?
False
Suppose 4*i + w = 2*i + 26, -5*w = -10. Is i a multiple of 4?
True
Suppose -l + 2*l + 5*f - 6 = 0, -2*l + 3 = f. Suppose -l + 6 = x. Does 5 divide x?
True
Let r(a) = -a**2 + 42. Does 7 divide r(0)?
True
Let b(k) = -k**3 + 6*k**2 + 9*k + 7. Let q be b(7). Let z = -15 + q. Let p = z - -16. Is 11 a factor of p?
True
Let z(x) = -x**3 - 2*x**2 + 2*x + 1. Let v(y) = y**2 - 6*y - 9. Let b be v(7). Let c be z(b). Is 8 a factor of (c + -1)/((-8)/48)?
True
Suppose 5*a - 3*t - t = 22, 4*t = -2*a + 20. Suppose -a*j + j + 165 = 0. Does 30 divide j?
False
Suppose -2*l + 2 = -4. Suppose 15 = 8*j - l*j. Suppose -j*g = 2*g - 20. Does 3 divide g?
False
Suppose 0 = -2*a + 6 + 2. Suppose 0*p = p. Suppose p*y + 64 = a*y. Is 11 a factor of y?
False
Let c = 21 + -16. Is c even?
False
Suppose -2*r = -2*l + 16, -4*r - 2 = -3*r + l. Let u = 4 + r. Is 8 + (-1 - u - -2) a multiple of 4?
False
Let v be 1/(-6)*-4*162. Suppose 2*i = -2*p + 44, 0*p + 3*i = -5*p + v. Is 5 a factor of p?
False
Suppose -4*h + 18 + 130 = 0. Does 4 divide h?
False
Suppose 0 = x + 4*c + 47, 3*c = -6 - 6. Let q = x - -62. Is 10 a factor of q?
False
Let z(n) = 2*n**3 - 9*n**2 + 23*n - 5. Is 7 a factor of z(4)?
False
Let g be ((-4)/(-6))/((-4)/(-18)). Let b(m) = 2*m**2 - 3*m + 3. Let j be b(2). Let x = j + g. Does 8 divide x?
True
Let k = 1 + -2. Let m be (-40)/((k/1)/2). Suppose -b + m = 3*f + 26, f - 11 = 2*b. Does 6 divide f?
False
Let o(f) = 1 + 2*f - 6*f - 9*f - 2*f. Is o(-2) a multiple of 31?
True
Let r = 10 + -6. Let q be ((-10)/r)/(2/(-140)). Does 10 divide ((-8)/10)/((-7)/q)?
True
Suppose -x + 2*t = 36, t - 3*t + 204 = -5*x. Let l = -24 - x. Is l a multiple of 4?
False
Let k(i) = i - 1. Let r be k(5). Suppose r*u - 27 = 1. Let p = u - 4. Is 2 a factor of p?
False
Suppose 3*k - 2*k - 4*q + 13 = 0, -5*q + 11 = -3*k. Let h be ((-2)/k)/(2/(-3)). Suppose -2 = 3*i - 5*f, 5*i - 5*f - 11 = -h. Is 3 a factor of i?
True
Let w(a) be the second derivative of 0 + 3/2*a**2 - 8/3*a**3 + a. Is 23 a factor of w(-4)?
False
Suppose 0 = -8*s + 15*s - 539. Is 11 a factor of s?
True
Let t(k) = k + 8. Does 4 divide t(0)?
True
Let t be ((-6)/10)/(8/(-280)). Let f be 28/t*(-3)/(-2). Suppose -2*m + 48 = 4*u, -2*m + 37 = 5*u - f*u. Is u a multiple of 6?
False
Let f(j) = 4*j**2 - j. Let t be f(1). Suppose t*z = -z - i - 5, 2*z - 4*i = 20. Suppose 4*x - 4*o - 20 = z, 4 = 3*x + o - 15. Does 3 divide x?
True
Suppose -2*g = 1 - 7. Suppose -22 = g*i - 5*i. Is 2/1 - i*-2 a multiple of 12?
True
Let v(d) = -32*d - 4. Let p(j) = -31*j - 3. Let l(z) = 5*p(z) - 4*v(z). Is l(-1) a multiple of 19?
False
Let b be (2 - 3)/(2 + -1). Let f be 5/2 + b/(-2). Suppose f*c - 35 = -2*c. Is c a multiple of 5?
False
Let v = 125 + -86. Let m = v + -15. Is 17 a factor of m?
False
Let v = 120 + -51. Does 7 divide v?
False
Let x(y) be the second derivative of 2*y**3 + 3*y**2/2 + 4*y. Does 9 divide x(3)?
False
Let b(o) = o**3 + o**2 + o + 62. Let t be 0/(-2 + 2 - -1). Let u be b(t). Suppose -u = w - 4*w - 4*x, w - 24 = 2*x. Is w a multiple of 11?
True
Let q be (-91)/(-26) + (-2)/4. Is 7 a factor of (-1 + q)*261/18?
False
Let z = 0 + 0. Is (z + 11)*(-4 + 5) a multiple of 4?
False
Let p(b) = 3*b - 2 + 7*b - 4 - b**2. Is 9 a factor of p(4)?
True
Let a(l) = -25*l - 51. Is 9 a factor of a(-7)?
False
Let c = 83 - 142. Does 16 divide -3 - (c - -4 - -4)?
True
Does 4 divide 2/(-4)*(-18 + -2)?
False
Let d = 403 - 71. Does 17 divide d?
False
Suppose 3*t + t = 48. Let n(f) = -t + f**2 + 4*f + 6*f**2 + 2 - f**3. Is 14 a factor of n(7)?
False
Suppose 3*p - 5*p - 68 = 0. Let z = p - -49. Let f = -1 + z. Is f a multiple of 10?
False
Is 35*(24/28 + 0) a multiple of 10?
True
Let w = 220 + -98. Suppose 2*a + 5*s - w = 0, 0*a = -3*a + 3*s + 204. Does 11 divide (-1)/(-1*3/a)?
True
Let i = 379 + -213. Suppose -8 = -2*c - 0. Suppose -208 = -5*o + g, -c*o = g - 2*g - i. Is o a multiple of 21?
True
Let u = -16 + -39. Does 12 divide 482/10 - (-11)/u?
True
Suppose 5*q = -3*m + 1, -2 = m + 5*q + 1. Let a = -4 - m. Let s = 46 + a. Is 14 a factor of s?
False
Suppose -7*y - 2*w + 25 = -2*y, 16 = -3*y + 5*w. Let b(x) = 2*x. Let g be b(2). Suppose y*d - 51 = -g*s, 5*s - 16 = 4*d + 9. Does 5 divide s?
False
Let r = 4 - 1. Suppose w - 1 = 0, -3*s = r*w + 8 - 26. Suppose -t - 4*t - s*m = -60, -4*m = 5*t - 64. Is t a multiple of 15?
False
Let g be 0/(-1) - 0/8. Suppose g = -3*a - 2*a + 40. Is 4 a factor of a?
True
Let r = 71 + -39. Does 8 divide r?
True
Let t be (-36)/(-15) - 4/10. Suppose -3*l + 69 = 3*o - 5*l, -5*l - 78 = -3*o. Let c = o - t. Does 10 divide c?
False
Let z = -2 - -5. Suppose 0 = z*m + p - 40, -2*m = m + 4*p - 25. Is m a multiple of 15?
True
Let i = -14 - -6. Let d = i - -22. Is 5 a factor of d?
False
Suppose -4*l - 3*x + 359 - 106 = 0, 0 = l + 4*x - 47. Does 22 divide l?
False
Let t be (-2*1 - -2)/(-2). Suppose -2*w - 4*o + 148 = -2*o, -5*w + o + 394 = t. Suppose -4*p + p = -w. Does 14 divide p?
False
Let n = 12 - 4. Suppose -4*u + n*u = 8. Suppose 2*t + 12 = -u*t, -21 = -3*m - t. Does 4 divide m?
True
Suppose -2*s + 6*s = 768. Suppose u - s = -u. Suppose u = -3*g + 5*g. Is g a multiple of 18?
False
Let i = -90 - -142. Does 26 divide i?
True
Suppose 0*r - 5*r + 105 = s, 4*r = -s + 84. Is r a multiple of 4?
False
Suppose 0 = 4*p + 3*l + l - 32, 0 = -5*p + 5*l + 90. Does 13 divide p?
True
Does 5 divide ((-36)/(-4) - 0) + -1?
False
Let c = -4 + 4. Suppose c = -t, -3*d - t = -0*t - 6. Is 11 a factor of d*11/(-2)*-1?
True
Let o(d) = d + 0 + 0*d + 9. Let y = -10 + 17. Does 7 divide o(y)?
False
Let g(c) be the third derivative of c**4/24 - c**3/2 + 4*c**2. Let k be g(0). Does 12 divide ((-19)/k)/(2/6)?
False
Let i(c) = 6*c**2 - 4*c + 2. Is i(3) a multiple of 44?
True
Let g(v) = -v**2 - 14*v - 8. Is g(-5) a multiple of 10?
False
Suppose -4*a + g - 37 = a, -4*a - 5*g = 18. Let z(r) = r**2 + 2*r - 3. Let m(p) = p**2 + 2*p - 3. Let l(i) = -3*m(i) + 4*z(i). Is l(a) a multiple of 16?
True
Suppose -100 - 10 = -q + 2*i, -2*q = 2*i - 244. Is q a multiple of 18?
False
Let o(x) = 16*x**2 - 9*x - 7. Is o(-2) a multiple of 7?
False
Suppose 0 = -5*z + 17 - 92. Let f be (-4)/10 - 66/z. Suppose 0 = -5*r + 5*s + 205, 0*s = -f*r - 4*s + 148. Is 13 a factor of r?
True
Suppose 0 = -3*p - 0*p + 9. Let l(a) = 9*a - 2. Is 11 a factor of l(p)?
False
Let o = 5 + -2. Suppose -91 = -o*s - 31. Is 10 a factor of s?
True
Suppose -4*u = u - 15. Let q(t) = -4 - 2*t**2 - u*t**2 - 3*t - 4*t - t**3. Does 3 divide q(-4)?
False
Let s(n) = 39*n**2 - n + 1. Let x be s(2). Suppose 0 = 2*t - 9 - x. Suppose -18 - t = -5*y. Is y a multiple of 20?
True
Let g = 17 - 14. Is g even?
False
Let b(c) = -c**2 + c - 1 + 6 - 6*c. Is b(-5) a multiple of 2?
False
Let v(x) = 44*x**2 + x - 2. Is v(2) a multiple of 37?
False
Suppose 4*t + t - 15 = 0. Let l be 3*(-40)/(-12)*2. Suppose 0 = t*m - 5*m + l. Is m a multiple of 5?
True
Let t(g) be the first derivative of g**5/20 + g**4/24 + 4*g**3/3 + 4. Let z(h) be the third derivative of t(h). Is 7