e
Is 4/(-3 + 228/75) a multiple of 32?
False
Let f(v) be the first derivative of v**3/3 - 3*v**2/2 + 3*v + 1. Let j be f(9). Suppose 5*g + 5 = 0, 0 = -7*l + 5*l - 3*g + j. Is 17 a factor of l?
False
Let x(a) = -2*a + 2. Let y be x(-4). Is (-3)/((-6)/2) + y a multiple of 10?
False
Let k = 22 + -20. Let t(g) = 2*g**3 - 3*g**2 + 3*g - 2. Is 6 a factor of t(k)?
False
Suppose 2*w = 3*w - 8. Suppose 4*y = w*y - 12. Suppose -4*v + 124 = 3*l, y*l = -3*v - 0*l + 96. Does 13 divide v?
False
Suppose 15*k + 144 = 17*k. Does 13 divide k?
False
Suppose 4*v - 3*v = 2. Let i = 6 - v. Suppose 5*c = -0*c - 2*h + i, c = -2*h - 4. Is c a multiple of 2?
True
Let x be (3 + -3)*(-2 - -3). Let y = 16 - x. Does 12 divide y?
False
Let f(c) = c**2 + 10*c - 11. Does 15 divide f(-13)?
False
Suppose 154 = 9*i - 2*i. Is 19 a factor of i?
False
Suppose -5*c + 3 = -6*c. Let g = 9 + c. Does 5 divide g?
False
Let q(d) = d**2 - 2*d - 6. Is 11 a factor of q(6)?
False
Let u be (-152)/(-8) + 1 + -1. Suppose 0 = 4*i - 2*h - 6, u = 5*i + h - 6. Is i a multiple of 2?
True
Suppose 11 = 2*d - 1. Is 3 a factor of 6/9 + 50/d?
True
Suppose -6 - 10 = -4*i. Suppose 0*f - 52 = -i*f + 4*r, 4*r = -5*f + 92. Is 11 a factor of f?
False
Suppose 5*o - t - 3 = o, -t = -2*o - 1. Does 10 divide 2/((-48)/26 + o)?
False
Let o(g) = 2*g**2 - 2*g - 1. Let v be o(-1). Suppose 0*f - 3*f = -c - 1, -v*c = 4*f - 10. Suppose -k = -14 - f. Is k a multiple of 15?
True
Suppose 2*t = 5*t - 15. Suppose 0 = -2*x + x + 2*h + 4, 4*x - 13 = t*h. Does 13 divide x/(2/(-7))*-2?
False
Let o(r) = 9*r - 5. Let f(w) = -8*w + 6. Let s(h) = 4*f(h) + 3*o(h). Let i be s(-8). Suppose 0 = -3*x + 2*z + i, 3*z + 65 + 16 = 5*x. Does 15 divide x?
True
Let l be (-2)/(-3) - 1/(-3). Suppose -4*n + d + 14 = 0, d = 2*n - 7 + l. Does 4 divide n?
True
Suppose 95 - 452 = -3*h. Let a = -77 + h. Is 11 a factor of a?
False
Let q = 77 - 43. Let d = q - 24. Is 5 a factor of d?
True
Let x(q) = q**3 + 28*q**2 - 29*q + 72. Is x(-29) a multiple of 6?
True
Let p = -215 + 306. Does 13 divide p?
True
Let v(z) = 31*z - 35. Let u(o) = 6*o - 7. Let d(g) = 11*u(g) - 2*v(g). Let r be d(6). Suppose 5 - r = -4*i. Is 2 a factor of i?
False
Let j(v) = -v**2 + 4*v**2 + 3 - 2*v - 2*v**2. Let u be j(2). Suppose -u*o + c = -55, 4*o - 26 = -3*c + 56. Is 7 a factor of o?
False
Suppose 2258 = -5*k - 317. Is 24 a factor of k/(-9) - 2/9?
False
Suppose -5*p = g - 54, -2*p - 5*g - 16 = -3*p. Does 3 divide p?
False
Is 3 a factor of (18/12)/(1/6)?
True
Let m(k) = 11 + k - 1 - 2*k. Let t be m(8). Suppose -2*w - 3*v + 31 = 0, -41 = -2*w - 3*v - t*v. Is w a multiple of 5?
False
Let l be ((1 - 3) + 8)*5. Does 8 divide l + (-1)/(3/6)?
False
Let i be (2 - 0)*(2 - 1). Suppose -8 - 22 = -i*r. Is 15 a factor of r?
True
Suppose 3*h + 51 = 237. Does 31 divide h?
True
Suppose -n = j - 164, j + 3*j + n = 668. Is j a multiple of 28?
True
Let t be (-6 - -4) + (-2)/(-1). Suppose t = 7*i - 3*i - 120. Is 15 a factor of i?
True
Let s(i) = i**2 + 10*i + 6. Let x be (1 - 7)*20/15. Let w be s(x). Is 5 a factor of (-27)/(-5) - w/(-25)?
True
Let g(c) = 2*c**2 + 5*c + 3. Does 8 divide g(-5)?
False
Does 20 divide 10 - -171 - (1 + -6)?
False
Suppose -11 = -2*o + 59. Is 6 a factor of o?
False
Is 12 a factor of 552/15 - (-8)/(-10)?
True
Let s(j) be the first derivative of -j**3/3 - 3*j**2 - 3*j + 1. Let r be s(-2). Suppose -r*t + 22 = -3*t. Is t a multiple of 11?
True
Suppose -3*b = 6 + 3. Let p(f) = -4*f**3 - 3*f**2 + 2*f + 2. Does 21 divide p(b)?
False
Let h be 3 - (1 + 8 + 3). Let d(m) = m**3 + 11*m**2 + 14*m + 12. Is d(h) a multiple of 16?
True
Let h be (2 - 2)/((-4)/2). Suppose -2*b + 69 - 9 = h. Does 15 divide b?
True
Suppose -2*u = 2*u - 76. Suppose -111 = -5*k + u. Does 13 divide k?
True
Let z(t) = -t**2 + 7*t - 7. Let k be z(5). Suppose -18 = -4*n - 2*h, 5*h = 2 + k. Suppose -197 = -5*s - n*y, 10*s - 5*s - y - 207 = 0. Does 20 divide s?
False
Suppose 0 = -4*x + 2*a + 17 + 641, x + 2*a - 152 = 0. Let q = x + -96. Does 17 divide q?
False
Suppose 4*u = -2*h - 2, 0*h + 5*u - 47 = 3*h. Let q = h + 26. Does 12 divide q?
False
Suppose 2*h = -2*h - 4. Let n be (2 - 1) + h - 1. Let x = 6 + n. Is 5 a factor of x?
True
Suppose 2*o + 48 = 6*o. Let h = o - 7. Suppose -4*d + 2*q - 40 = -6*d, 3*d + h*q - 70 = 0. Is d a multiple of 15?
True
Suppose -15*o - 15 = -20*o. Is 2 a factor of o?
False
Let t(i) = 15*i + 80. Does 3 divide t(-5)?
False
Let g(l) = -2*l + 4. Let w be g(5). Let z = w - -8. Is 4 a factor of 1/(3/12) + z?
False
Let i be (8/6)/(5/(-15)). Let j be 4 + (i - (-9)/3). Suppose 0 = -4*d + l + 34, -3*d + 0*l + 33 = j*l. Is d a multiple of 5?
False
Suppose -4*m = -1 - 7, 3*u + 4*m - 17 = 0. Let k be 5*22*u/6. Suppose -k = -2*o + 35. Does 18 divide o?
False
Let v(i) = i**2 + 4*i - 7. Let g be v(-5). Let b(s) = -26*s - 1. Is b(g) a multiple of 17?
True
Let h(l) = -10*l - 5. Let b(o) = o**3 - o**2 + o - 1. Let j be b(2). Suppose -5*r = 5 - 20, 5*z + 5*r + j = 0. Does 13 divide h(z)?
False
Suppose 120 = 6*g - g. Let j = g - 37. Let s = j + 29. Does 7 divide s?
False
Suppose 3*u + 5*j = 130, -3*u - 5*j = -2*j - 126. Is u a multiple of 12?
False
Let y(r) = r**3 - 5*r**2 + 11*r - 20. Does 7 divide y(5)?
True
Let v(z) = -z**3 - 6*z**2 - 6*z + 5. Let h be v(-4). Let i(q) = q. Let a(r) = -11*r - 3. Let o(k) = a(k) + 5*i(k). Is 4 a factor of o(h)?
False
Suppose 2*m - 25 = -z - 4*z, -3*m - 3*z + 15 = 0. Suppose 5*b = 5*q - 3 - 22, m = 3*b - 9. Does 7 divide q?
False
Let g(h) = h + 2. Let c(f) = -2*f**2 - 4*f - 2. Let p be c(-2). Let w be g(p). Is 34 - (-1 + w + 2) a multiple of 13?
False
Does 34 divide ((-50)/(10/(-5)))/(1/14)?
False
Is (-12)/30 - 688/(-20) a multiple of 17?
True
Suppose 6*d - 187 = 149. Is d a multiple of 4?
True
Suppose o = 2*o + 20. Let b = o - -63. Does 16 divide b?
False
Let i(q) = q**3 - 4*q**2 - 3. Let k be i(4). Let v(y) = -y**3 - y**2 + 3*y - 4. Let o be v(k). Suppose -7 = -4*s + o*x + 21, 0 = -s - 2*x + 20. Does 5 divide s?
False
Let t(g) = -g**2 - g + 10. Let r(y) = 5*y**2 + 5*y - 39. Let c(p) = 2*r(p) + 9*t(p). Let n be (-1)/3 + 2/6. Is c(n) a multiple of 6?
True
Let g(c) = -3*c**2 + 5*c - 6. Let a be g(5). Suppose -7 = m - 3. Is (2/m)/(2/a) a multiple of 5?
False
Suppose 5*q + 0*q + 45 = 0. Let b be (-30)/q - 1/3. Suppose 72 = d + b*d. Is d a multiple of 9?
True
Suppose 2*o + 4*b - b = -1, 2*o + 2*b = 0. Let f(m) = 4*m + 1. Let a be f(o). Let s = a - -3. Does 4 divide s?
True
Let b(s) = -11*s**2 - 3*s + 2. Let p be b(-3). Let c = p + 53. Let k = c - -59. Is 9 a factor of k?
False
Is 24 a factor of (-2)/3 - (-7 - (-719)/(-3))?
False
Suppose -m - 11 = 2*p, -3*m - 2*m = 4*p + 43. Let b(t) = t + 24. Is 10 a factor of b(m)?
False
Let b be (0/(0 - 3) - 2) + 32. Let s = 7 + -10. Is 4/6*(s + b) a multiple of 9?
True
Let g = 141 - 132. Does 9 divide g?
True
Suppose 0 = 5*g + 3*k - 1870, -k + 452 = 2*g - 295. Is 18 a factor of g?
False
Suppose 0 = 3*v - 0*v + 3*z - 36, 2*z = 2*v - 4. Suppose 4*p = 2*p + 2*c - 2, -2*p + 3*c = v. Is p a multiple of 4?
True
Suppose -h = 3*h + 104. Let t = 10 - h. Is t a multiple of 18?
True
Let z(p) be the first derivative of -p**4/4 + 13*p**3/3 - 6*p**2 + 18*p - 3. Is z(12) a multiple of 9?
True
Suppose -o - 5 + 1 = 4*f, -3*o + 8 = 2*f. Let h be (-5 - -4)*0/f. Is 8 a factor of (h - 4)*(-45)/6?
False
Suppose 5*d - z = 43, 14 + 12 = 4*d - 5*z. Is 4 a factor of d?
False
Let y(m) = -m**3 + 3*m**2 + m - 1. Let l be y(3). Is 12 a factor of 3 + -5 - l*-19?
True
Let c(s) = s**3 - 5*s**2 - 4*s + 1. Let h be c(6). Let d = 9 + h. Is 17 a factor of d?
False
Let s = 15 - 6. Let p = 23 - s. Is 7 a factor of p?
True
Let d be (-310)/(-3)*(-12 - -15). Suppose -f - 4*f + d = 0. Is 15 a factor of f?
False
Suppose -4*n = -36 + 12. Let x be (-2)/(-12) - 1/n. Let c = 3 + x. Does 2 divide c?
False
Let p = 6 - 16. Let c = p + 33. Does 23 divide c?
True
Let o = 157 + -17. Is o a multiple of 50?
False
Let s be 55/(-2) + (-2)/(-4). Let a = 47 + s. Let b = a + 4. Does 9 divide b?
False
Let z(x) = x**2 - x - 7. Is z(-5) a multiple of 6?
False
Suppose -2*i + 10 = -3*i. Let z = i + 16. Is z a multiple of 2?
True
Suppose -4*n + 117 + 179 = 0. Is 17 a factor of n?
False
Let x be (-3)/(-6)*(-2)/(-1). Let s(v) = 35*v**3 + v**2 + v - 1. Is s(x) a multiple of 18?
True
Let h be 2/(-2) - (4 - 11). L