e ((-6)/4)/(d/8)?
True
Let j be (2/3)/(2/(-30)). Is (170/50)/((-2)/j) a multiple of 3?
False
Does 10 divide (-1 + -3)/(-2) + 38?
True
Let m(z) be the third derivative of z**6/120 - 2*z**5/15 + z**4/4 - 3*z**2. Does 18 divide m(8)?
False
Suppose d = -4*o + 26, -d = -2*d - 2*o + 20. Is 6 a factor of d?
False
Let u = 1 - -39. Does 10 divide u?
True
Suppose 3*t = 5*t + 24. Is t*5/(40/(-44)) a multiple of 22?
True
Suppose 4*v - t + 7 = -0, 0 = -5*v + 5*t + 10. Let o be (v/(-9) - 0)*15. Suppose -o*g = -2*k + 15, -4*k + 4*g = -0*k - 24. Is k a multiple of 5?
True
Suppose 63 - 11 = 2*y. Let d = 42 - y. Does 8 divide d?
True
Suppose 2*r + 54 = -r. Let z = 53 + r. Does 13 divide z?
False
Suppose l - 2*l = -5*t + 5, 4*t = 5*l - 17. Suppose -4*a - 20 = 0, 0 = -l*u - a + 49 + 66. Does 24 divide u?
True
Let t = 4 - 2. Let o(z) = -3*z**3 - 2*z + 4*z**2 - 4 + t*z**2 + 4*z**3. Is o(-6) a multiple of 3?
False
Let g(m) = m + 8. Does 5 divide g(1)?
False
Does 2 divide 2/(-4)*(-2 - 36)?
False
Let i(j) = 2*j**2 - 7*j - 2. Let l be i(6). Let k = l + -18. Suppose w = 6*w - k. Is w a multiple of 2?
True
Let q(g) = -5*g - 6. Let v be q(-4). Suppose -x + 0*a - 16 = 2*a, 4*x - 2*a + v = 0. Let j(h) = -h**3 - 7*h**2 - 7*h + 2. Does 4 divide j(x)?
True
Let a be (1 - -1) + -4 - -12. Let l = 3 + a. Is l a multiple of 11?
False
Suppose -95 = -4*r + 61. Is 9 a factor of r?
False
Does 19 divide (-3)/6 - (-428)/8?
False
Is 5/(-30)*3*-68 a multiple of 3?
False
Let c(j) = 5*j**2 + 0*j**3 - j**3 + 2 + 0 + 0 + 7*j. Let m(v) = 3*v**2 + 3*v. Let r be m(-2). Does 6 divide c(r)?
False
Let b = -12 + 20. Let i = 27 + b. Does 10 divide i?
False
Suppose -88 = -5*a + 102. Suppose -a = -l - l. Is l a multiple of 19?
True
Suppose 0*n + 4*n + 64 = l, -5*l + 415 = -n. Is 21 a factor of l?
True
Let x be (-82)/(-12) + 4/24. Suppose x*j = 2*j. Suppose -n - 14 = -2*n - 4*z, -2*n + z + 28 = j. Is 11 a factor of n?
False
Let y = -21 + 25. Does 3 divide -1*y/(-4) - -6?
False
Suppose -3*h + 6*r = 2*r - 410, 3*r = 4*h - 542. Does 40 divide h?
False
Suppose -4*z - 3*l + 6*l + 149 = 0, -4*l = -z + 47. Let j = z - 17. Is 18 a factor of j?
True
Suppose 4*q - 1036 = 548. Suppose b - q = -4*i, -5*i + 84 + 411 = b. Does 30 divide i?
False
Let o(h) be the first derivative of -h**3/3 - 13*h**2/2 - 5*h + 1. Is o(-11) a multiple of 17?
True
Let w(h) = h**2 - 3*h - 6. Is w(5) a multiple of 3?
False
Suppose 0*j + 78 = -3*j. Let z = j - -89. Is 22 a factor of z?
False
Let m = -20 - -78. Is 21 a factor of m?
False
Let v be 36/15 - 2/5. Suppose -18 + 7 = -5*l + 3*b, v*l = 4*b - 4. Suppose -3*m - 3*p = -51, 3*p = -3*m + l*p + 31. Is 6 a factor of m?
True
Let j be (-2)/(-4) + 22/(-4). Let o be 7/21*(1 - j). Suppose -2*z + 2*m - 3*m + 12 = 0, -o*m = z - 3. Is z a multiple of 7?
True
Let l = 10 - 6. Suppose 0 = -4*d + 68 + l. Let m = d - 9. Is 9 a factor of m?
True
Suppose 2*h - 2*t - 184 = 0, 6*t = h + 2*t - 80. Does 8 divide h?
True
Let a(i) be the third derivative of i**5/60 + i**4/8 - 7*i**3/6 - i**2. Suppose -h = 2*z + 2*h + 1, 5*h = 15. Does 3 divide a(z)?
True
Suppose x - 17 = 32. Does 23 divide x?
False
Let m = -11 - -17. Let d(q) = -2*q - 4*q**3 - 6*q + 3*q**3 + 0*q**3 + 8*q**2 - 3. Is d(m) a multiple of 21?
True
Let m(i) = -i**2 + i + 2. Let p be m(2). Suppose -2*o = -p*o - 70. Is o a multiple of 10?
False
Suppose 3 = -t + 7. Let u = t - 9. Let m = u - -9. Is 2 a factor of m?
True
Suppose 39 = 8*i + 7. Does 4 divide i?
True
Let k = -9 - -16. Let x = -51 + 98. Suppose c - 17 = -b, 3*b = -k*c + 3*c + x. Does 8 divide b?
False
Suppose -2*c - 4 = 2*c. Let q = c - -4. Suppose q*u - 3*v + 2*v = 70, -50 = -2*u - v. Is u a multiple of 8?
True
Suppose -u - 7 + 1 = -k, -2*k = 5*u - 5. Suppose k*z = 51 + 84. Is z a multiple of 9?
True
Suppose -3*q + 5 = 5*x, -1 = -2*q - 2*x + x. Suppose q = 2*r + 4*m - 10, 0 = -5*m + 4*m + 1. Let p(w) = 3*w + 2. Is p(r) a multiple of 11?
True
Let r = -2 + 3. Is 3/(r + 2) + 21 a multiple of 11?
True
Let q(x) = x**3 + 7*x**2 - 5*x - 10. Let h be q(-7). Suppose -v + h = 5*t, -3*t = 3*v + 2 - 17. Is t a multiple of 3?
False
Let y be (-7 + 9)*7/2. Suppose y*m - 259 = 3*m - n, -6 = -2*n. Is 17 a factor of m?
False
Suppose -3*r + 0 = -12. Suppose 4*c + c - j - 96 = 0, -4*c - r*j = -72. Suppose 70 - c = w. Does 19 divide w?
False
Let n(u) = -7*u - 1. Let d be n(2). Let i be (-66)/d + 4/(-10). Suppose i*r + 40 = 2*g, 3*g - 3*r - 25 = -4*r. Does 6 divide g?
False
Suppose -w - 4*w + 2*v + 63 = 0, 4*w + 4*v - 56 = 0. Let r = 1 - w. Does 4 divide (-33)/r*(-8)/(-2)?
False
Let k = 135 + -98. Does 14 divide k?
False
Let n(p) = 3*p + 3. Let c be n(-3). Let a = -6 - c. Suppose a*u + 4*u = 36. Is 9 a factor of u?
True
Let k = 12 - 8. Let p(a) = -a**2 + 6*a - 3. Let l be p(k). Suppose -l*t + 83 = -57. Does 14 divide t?
True
Let f = -112 + 150. Is f a multiple of 2?
True
Let w be (-102)/(-4) + (-2)/(-4). Let j = w - 7. Is j a multiple of 15?
False
Let x(r) = -r**3 + 3*r**2 + 2*r + 3. Suppose 0 = -4*g + 21 - 9. Is x(g) a multiple of 3?
True
Suppose 5*w - 4*j - 270 = 0, -4*j - 54 = -3*w + 2*w. Let s be 3*1*37/(-3). Let n = s + w. Does 17 divide n?
True
Let p be -3 + (2 - 1) + 0. Is 10 a factor of p/(-7) + (-187)/(-7)?
False
Let h(t) = -7*t + 2. Let u be h(2). Let v(c) be the third derivative of c**6/120 + 13*c**5/60 + 5*c**4/12 + 13*c**3/6 + 3*c**2. Does 12 divide v(u)?
False
Let f(j) = -7*j**2 + 19*j - 2. Let c(a) = -4*a**2 + 10*a - 1. Let d(y) = -5*c(y) + 3*f(y). Let b be 32/5 - (-6)/(-15). Is 2 a factor of d(b)?
False
Suppose 3*b = -0*b + 6. Let j be 3/(-12) + 868/16. Suppose j = 3*t - b*a - a, 3*a = t - 26. Is 8 a factor of t?
False
Is -4 - (0 - 1710/5) a multiple of 13?
True
Let a = 0 - 7. Let r be (-241)/(-4) + a/28. Suppose 0 = -5*u + 20 + r. Is 6 a factor of u?
False
Suppose 50 = -4*k + 2246. Suppose -3*y = 2*y + w - k, -3*y + w + 331 = 0. Is y a multiple of 25?
False
Let f(g) = 61*g - 3. Let k = 3 + -1. Let q be f(k). Suppose 1 = 5*b - q. Does 12 divide b?
True
Let c(p) be the second derivative of p**4/12 + p**3 - p**2 + 2*p. Is c(4) a multiple of 19?
True
Let d be (1 + -2 + 3)*3. Is 8 a factor of 146/d - 5/15?
True
Suppose 5 = -3*v - 10, 0 = u + v + 3. Suppose -u*f = 2*f - 72. Is 11 a factor of f?
False
Let a(l) = 2*l**2 - 9*l - 3. Does 13 divide a(7)?
False
Let c(d) = -11*d - 26. Does 31 divide c(-6)?
False
Let v(n) = 10*n**2 + 4*n - 3. Is v(2) a multiple of 5?
True
Let r(k) = -4*k - 3. Let l(s) = 2*s + 1. Let x(g) = -11*l(g) - 6*r(g). Let p be x(5). Is 5 a factor of (p/2)/(1/2)?
False
Let d(b) = -b**3 + 5*b**2 + 6*b + 3. Let v be d(6). Is 8 a factor of -40*v/(-15)*2?
True
Does 5 divide -1*3 + 29 + -8?
False
Let f = -272 + 406. Does 38 divide f?
False
Suppose 0 = -4*l + 16 + 32. Let k = 4 - 6. Is 231/l - k/(-8) a multiple of 12?
False
Does 3 divide (-2)/8*(-24 + -4)?
False
Let a = -23 + 40. Let y = 6 - a. Let v = 19 - y. Is 17 a factor of v?
False
Let p(l) be the third derivative of 3*l**4/4 + 7*l**3/6 + l**2. Is 24 a factor of p(3)?
False
Let w(h) = -3*h**3 + 10*h**2 - 7*h + 11. Let v(c) = -13*c**3 + 41*c**2 - 27*c + 45. Let x(l) = -2*v(l) + 9*w(l). Suppose p = -4*p + 30. Is 13 a factor of x(p)?
False
Let j(o) = -o**3 - o**2 + o. Let w(a) = 4*a**3 + 19*a**2 - 14*a + 18. Let h(s) = -3*j(s) - w(s). Is 28 a factor of h(-17)?
True
Let r = -15 + 20. Suppose -r*k + 7*v - 3*v = -307, k = 4*v + 55. Is k a multiple of 21?
True
Does 40 divide (1 + 4)/(0 + 1/48)?
True
Suppose 0 = 11*v - 9*v - 168. Is v a multiple of 13?
False
Suppose -3*t + 8 = -2*l - 2, 2*l + 26 = -t. Let m = -14 - -11. Does 4 divide l*(6/m - -1)?
False
Is 52/3 + 3/(-9) a multiple of 4?
False
Let r(t) = 5*t - 5. Let o(l) = l**2 + 2*l - 1. Let h be o(1). Suppose -4*x - 3*z + 52 = 14, h*x - 22 = -3*z. Does 16 divide r(x)?
False
Let m(p) be the third derivative of p**4/12 - 5*p**3/6 - 2*p**2. Let d be m(7). Does 3 divide -1 + (-4)/((-4)/d)?
False
Let g be ((-2)/(-4))/((-4)/(-48)). Let m = 27 - g. Is m a multiple of 7?
True
Let h(d) = -2*d - 38. Is h(-34) a multiple of 22?
False
Let g(o) = -5*o + 5. Let x be g(6). Let b = -20 - x. Does 5 divide b?
True
Let m = 12 + -12. Suppose 0 = -2*h + 2 - m, -5*c + 57 = -3*h. Is c a multiple of 12?
True
Suppose 2*o + 20 = -2*o - 2*s, -8 = -4*s. Let a(k) = -k**3 - 7*k**2 - 5*k + 8. Let b be a(o). Suppose -5*