b/(-25))/((-6)/20). Suppose 2*o - d = 20. Does 6 divide o?
False
Suppose -u - 2*u + 147 = 0. Suppose 59 = 4*n - u. Suppose 0 = -h - 0*h + n. Is 14 a factor of h?
False
Suppose 4*v + 1 = 25. Does 15 divide (-45)/v*(-14)/7?
True
Suppose -2*d = -m - 154, -5*d + 240 = -2*d + 3*m. Is 11 a factor of d?
False
Let q = 13 - 8. Let r(l) be the third derivative of l**6/120 - l**5/20 - l**4/6 + l**3/3 + 3*l**2. Is r(q) a multiple of 16?
True
Suppose -2 = 2*d - 6, -3*d = -3*v + 45. Suppose 3 + v = p. Is 10 a factor of p?
True
Let a(y) = -y**3 + y**2 + 2. Let c be a(-3). Let g = c + -28. Is 2 a factor of g?
True
Let v be 26/8 - (-3)/(-12). Suppose -b - 1 = v. Is (5/(-2))/(2/b) a multiple of 5?
True
Suppose -2*y - 2*y + 4*l = -64, -104 = -4*y - 4*l. Does 3 divide y?
True
Suppose -2*o + 44 = -86. Does 13 divide o?
True
Let r(a) = -a**3 + 5*a**2 + 5*a + 8. Let g be r(6). Let d(b) = 7*b**2 + 0*b**g - 2*b**3 + b**3 + 2*b. Does 6 divide d(7)?
False
Is 11 a factor of -6 + 3 - 0 - (-3 + -121)?
True
Suppose 0 = 4*o + o + 25, 2*o = 5*p - 40. Is p a multiple of 5?
False
Suppose 24*i - 25*i + 256 = 0. Is 16 a factor of i?
True
Let d(k) = -23*k - 1. Let w be d(-1). Let g = w - -14. Suppose -j - g = -4*j. Is j a multiple of 6?
True
Suppose 0 = -g - 4*r - 5, 4*g + r + 3*r - 40 = 0. Is g a multiple of 3?
True
Let y be (6/(-7))/(1/(-7)). Let s(j) be the third derivative of j**4/6 - j**3/6 - 2*j**2. Does 9 divide s(y)?
False
Let s(o) = -o**2 - o + 1. Let a(r) = r**3 - 4*r**2 + 4*r. Let i(y) = -a(y) - 2*s(y). Is 6 a factor of i(5)?
False
Let o(m) = -8*m + 2. Does 18 divide o(-2)?
True
Suppose c - 36 = 18. Suppose 0 = -v + 3*v - c. Does 18 divide v?
False
Suppose 5*c - 37 = 233. Is 9 a factor of c?
True
Let c(q) = -q**3 + 2*q**2 + q + 2. Let v be c(3). Let h(x) = x**3 + 5*x**2 - x - 3. Let o be h(v). Let y = o + 16. Is y a multiple of 25?
False
Let k(v) = v**3 - 18*v**2 - 13*v + 38. Does 39 divide k(19)?
False
Let d = 29 + -15. Does 7 divide d?
True
Is 15 a factor of -3 - ((-70)/1 - 0)?
False
Let t(i) = 2*i + 4. Let h be t(-3). Let a(f) = 5*f**2 + 2*f. Is 10 a factor of a(h)?
False
Suppose -9 + 1 = -2*p. Suppose t = 3, 0 = -4*o + 2*t + p - 2. Is 0*o/(-6) - -5 a multiple of 5?
True
Let u be (1 + 1)/(4/10). Let x(w) = -w**3 - 6*w**2 - 10*w - 4. Let s be x(-8). Suppose -9*f = -u*f - s. Is f a multiple of 14?
False
Suppose b + 6 = -2*b. Is 10 a factor of 1/(-4)*b*42?
False
Let i = -104 - -154. Let y = -2 - -8. Suppose -y*v + v = -i. Is 4 a factor of v?
False
Suppose -11 = -3*a + 7. Does 5 divide a?
False
Suppose -c - 6 = -4*c. Suppose -c*m + 2*q = -54, 2*q + 163 = 5*m + 4*q. Suppose 5*l = -4*d + 74, -2*l = -3*d + m + 36. Does 10 divide d?
False
Let n = -59 + 66. Is 4 a factor of n?
False
Let u = 72 + -60. Is 2 a factor of u?
True
Suppose -15*s = -13*s - 480. Is s a multiple of 40?
True
Suppose 0*k + 3*k + 39 = 0. Suppose -7*l + 2*l + 100 = 0. Let h = l + k. Is h a multiple of 2?
False
Is 27 a factor of (-6)/(3 - 166/54)?
True
Let a be 4/(-10) - 129/15. Is 8 a factor of a/(-6)*-7*-2?
False
Let v = 10 + -5. Suppose 0*c + c = 3*d - 52, -90 = -v*d + c. Is 5 a factor of d?
False
Is 13 a factor of (-13)/(-3 + 4 + -2)?
True
Does 4 divide (125 - 0) + 9/3?
True
Let n(q) be the second derivative of q**5/20 - 5*q**4/6 - 4*q**3/3 - 5*q**2 + 3*q. Is 12 a factor of n(11)?
False
Let b(f) = 12*f**2 + 1. Let o be b(1). Let r = 36 + o. Is 20 a factor of r?
False
Suppose 3*f = -p - 2, 6 = 4*p - f - f. Suppose -v - 16 = -p. Let j = 25 + v. Does 10 divide j?
True
Suppose 5*r + 13 = -h, -5*h + r + 47 = -2*r. Suppose v - 48 = 5*v. Does 14 divide h/6*-2*v?
True
Let o be (9/6 + -2)*-10. Suppose o*r - 4*r = 68. Let k = r - 45. Does 9 divide k?
False
Let o be (1 - -2)*16/(-6). Let a be 34/o - 12/16. Let z(y) = y**3 + 6*y**2 - 3. Does 11 divide z(a)?
True
Let y(q) = q**3 + 13*q**2 + q + 31. Is y(-13) a multiple of 6?
True
Let f = -12 + 17. Suppose -2 = 2*l + f*g - 14, 5*l = -3*g + 30. Is 6 a factor of l?
True
Suppose 0 = 4*p + 5*o - 175, -3*p + 0*o + 126 = 2*o. Is p a multiple of 5?
True
Let k be (-11 + 5)*(-2)/2. Suppose 0 = -5*h + 4*h + k. Suppose -h*p + 2*p + 200 = 0. Is 18 a factor of p?
False
Let j be -2 + 1 - (-2 - -1). Does 5 divide (27 - j)/3 + -2?
False
Let z(k) = -4*k. Does 12 divide z(-3)?
True
Is (-1 - 1)/(-1 - 561/(-567)) a multiple of 21?
True
Let r(k) = k**2 + k - k - 3 - 2*k. Let m be r(3). Suppose m = o + 14 - 46. Is 12 a factor of o?
False
Let o be (-226)/(-2) + -2 + 3. Suppose -h = h - o. Is 22 a factor of h?
False
Let f be -1*(4 - 2)/2. Let q be (4/3)/(f/(-3)). Is q*5 + (-1 - -1) a multiple of 9?
False
Let t(a) = 6*a**2 + 11*a - 10. Does 28 divide t(-6)?
True
Let v = 36 - 9. Suppose -4*j - k - 5 + 0 = 0, -3*k = 15. Suppose 2*a + a - v = j. Is a a multiple of 3?
True
Let d = 173 + -98. Does 15 divide d?
True
Suppose 0 = 3*g - 4*p - 18, -26 + 5 = -3*g + 3*p. Let s be (1/2)/(g/(-20)). Let o(q) = -14*q + 1. Is o(s) a multiple of 6?
False
Let n = -53 - -75. Suppose 3*t - 26 - n = 0. Does 7 divide t?
False
Let g(z) = -z + 1. Is 2 a factor of g(-7)?
True
Let x be 925/(-4) + 6/24. Let g = -129 - x. Suppose t + 2*d = 39, 2*t - 4*t + 2*d = -g. Is t a multiple of 12?
False
Let l(x) = -3*x - 6. Is l(-14) a multiple of 2?
True
Let g(k) be the third derivative of -k**6/120 - k**5/60 + k**4/8 - 2*k**3/3 - 3*k**2. Let x be g(-3). Suppose x*z - 50 = -0*z. Does 10 divide z?
True
Let w(f) be the third derivative of 29*f**4/24 + f**3/6 - f**2. Is 15 a factor of w(1)?
True
Is 30 a factor of 8/3*90/8?
True
Let l be 0*-1*(3 + -2). Let d be (-1 + 1)/3 + l. Suppose 20 = -d*q + 4*q, 3*b = 3*q + 57. Is b a multiple of 24?
True
Let m(l) be the first derivative of 13*l**6/90 + 2*l**3/3 - 4. Let f(u) be the third derivative of m(u). Is f(-1) a multiple of 14?
False
Let m(q) = -17*q - 4. Let h(b) = -2*b - 2. Let j be h(0). Is m(j) a multiple of 9?
False
Suppose 1 = -2*b - 49. Let d = -30 - 11. Let u = b - d. Does 15 divide u?
False
Let y(g) = 10*g. Let k be y(3). Is 8 a factor of -8*(k/(-8) + 2)?
False
Let t = -16 - -30. Is t a multiple of 14?
True
Let u(i) = 2*i**2 + 3*i - 2. Let z be u(-4). Suppose -4*m + f + 23 = m, -2*m = 4*f - z. Suppose -2*p - 2*d = -m*d - 33, 5*p = -2*d + 54. Is 11 a factor of p?
False
Let w be 1 + (0/1 - -1). Suppose 0 = u + 9 - 24. Suppose w*t + 3*j - 15 = 0, 0*t - j = -t + u. Does 7 divide t?
False
Suppose -31 = 4*x + 17. Let a = -6 + x. Is 17 a factor of a*(-3 + 2) - 1?
True
Let a(h) = -4*h**2 + 10*h - 7. Let n(b) = -6*b**2 + 15*b - 10. Let s(k) = -8*a(k) + 5*n(k). Is 2 a factor of s(3)?
False
Let v = 54 - 34. Is 4 a factor of v?
True
Let n be 31/4 + (-4)/(-16). Let z = n + 0. Let y = z + 9. Does 6 divide y?
False
Suppose -2*h + j = -119, 0*h - h - 2*j = -52. Let k = -22 + h. Does 12 divide k?
True
Does 4 divide 4*-1 - (8 - 20)?
True
Suppose -3*i = 4*j - 325, -2*i - 89 + 321 = -5*j. Is i a multiple of 37?
True
Suppose w - 6*w + 55 = -5*d, -53 = -5*w + 3*d. Suppose w*f - 8*f = 48. Is 6 a factor of f?
True
Let h be (-7 - -3)/((-8)/18). Let n(i) = 5*i**2 + 11*i - 7. Let x(b) = -4*b**2 - 11*b + 8. Let l(t) = -5*n(t) - 6*x(t). Does 3 divide l(h)?
False
Suppose -4 = -3*y + 2. Let r = -54 - -24. Is 6 a factor of y*(r/(-4) - 2)?
False
Let a = -70 - -77. Is a even?
False
Suppose 4*u + 3 + 1 = -3*z, 2 = -2*z - 2*u. Suppose 3*s - 7*s = -l - 140, -4*l = 0. Suppose z = 3*x + 5*d + 10, -2*x - 4*d = -5*x + s. Does 5 divide x?
True
Suppose -1 = 4*v - 5. Let p be 2 + 0 - (v + 0). Does 5 divide ((-26)/6)/(p/(-3))?
False
Is (6/4 + -1)*96 a multiple of 6?
True
Let r(y) = 8*y**2 + y. Let d be r(1). Let z be (6/4)/(d/12). Suppose 2*s = 2*a - 5 - 5, -3*s = z*a. Is a a multiple of 3?
True
Suppose 40 = -4*c - 5*b + 134, -3*b = -c + 15. Is 6 a factor of 1*1/(1/c)?
False
Suppose -2*k + 3*k = -4. Let h = k + 2. Let v(a) = -5*a**3 + a. Is 19 a factor of v(h)?
True
Let y(k) = 3*k - 1 + 2 - 7*k. Let d be y(-1). Let c = 5 + d. Is c a multiple of 4?
False
Let p(i) = i**2 + 1. Let v be p(-2). Suppose -4*z + v*q + 99 = 0, -5*z - 3*q + 132 = -q. Does 13 divide z?
True
Let c(r) = r**2 - r + 1. Let f be c(2). Does 14 divide -3 + f - 84/(-2)?
True
Suppose -10 = l + l. Let g = l - -17. Suppose g = 4*o - 0. Is 2 a factor of o?
False
Let o = 0 - 1. Let y = o - -21. Does 9 divide y?
False
Let t(o) = o**2 + 5*o - 4. Let y be t(-5