e (-1)/((-3)/18) + -2. Let a be d(r). Suppose -j = 4*v - 8 - a, 2*v + 9 = 5*j. Is v a multiple of 2?
False
Let b = -4 - 5. Let q = b + 13. Does 2 divide q?
True
Suppose 0 = 2*v - 0*v + 2*c - 82, -c = -3*v + 127. Is 21 a factor of v?
True
Suppose -5*t + 24 = -21. Let f(y) be the first derivative of -y**3/3 + 6*y**2 + 12*y - 4. Is 13 a factor of f(t)?
True
Suppose 132 = p + 3*p. Suppose 4*k - p = 15. Let g = k - 3. Is 8 a factor of g?
False
Let d = 9 - 7. Suppose 3*x = 2*z - 21, 12 = 2*z + d*z + 4*x. Suppose z*m = 3*m + 72. Does 12 divide m?
True
Let p(x) = x**2 + 8*x + 16. Let q be p(-7). Let w = q - -21. Is 10 a factor of w?
True
Suppose 0*b = -2*k - 2*b + 4, 5*k - 4*b = -35. Let h be 6*(1 - (-2)/k). Let w = h + 3. Is 2 a factor of w?
False
Let j(b) = -4*b - 4 - 2 + 9*b + 0. Is j(5) a multiple of 8?
False
Does 7 divide (7/(-4))/((-5)/60)?
True
Let a(f) = f**3 - 8*f**2 + 7*f - 1. Let w be a(7). Let u(p) be the second derivative of 4*p**4/3 + p**2/2 - 3*p. Does 12 divide u(w)?
False
Let n be 2/8 + (-45)/4. Let y(s) = -3*s + 12. Is 15 a factor of y(n)?
True
Let m(q) = 2*q - 1. Let j be m(2). Suppose -i = j*i - 24. Is 13 a factor of (52/i)/((-3)/(-9))?
True
Suppose -3*w - 2*w - 20 = 0. Let d(l) = -3*l - 25. Let g be d(-8). Is ((-6)/w + g)*40 a multiple of 20?
True
Suppose 8*f + 96 = 11*f. Does 21 divide f?
False
Is 2 a factor of 20/((-16)/(-4)) + 4?
False
Suppose 5*w - 3*w - 30 = 0. Is w a multiple of 15?
True
Let v be (2 + -3)/((-2)/6). Suppose -4*l - 5 = v. Let o(w) = -2*w. Is 4 a factor of o(l)?
True
Let w = 4 + -4. Let z = w + 5. Suppose -12 = -3*b, -99 - z = -4*f - b. Is 11 a factor of f?
False
Let w(m) = -44*m**3 + m**2 - m - 1. Is 15 a factor of w(-1)?
True
Does 10 divide (-3)/(-2)*-2*-10?
True
Let i = 0 + -2. Is (-429)/(-18) + i/(-12) a multiple of 12?
True
Let i(m) be the first derivative of -m**3/3 - 7*m**2/2 + 4*m + 1. Is i(-7) a multiple of 4?
True
Let z = -12 - -7. Let m = z - -34. Is m a multiple of 15?
False
Let k = 3 + 1. Suppose -g - k*g = -80. Does 8 divide g?
True
Let k be 539/42 + 1/6. Let q(g) = -g**2 + 12*g + 18. Is q(k) a multiple of 4?
False
Let u(t) = -90*t - 3. Does 27 divide u(-2)?
False
Suppose 5*q = -0*q + 1005. Suppose 4*o - q + 33 = 0. Is o a multiple of 14?
True
Suppose -3*a - 5*h + 10 = 0, -2*a + 20 = a - 5*h. Suppose 0 = -5*u + 4*u - a, -3*u = m + 3. Suppose -m = -s + 14. Is s a multiple of 16?
False
Let u = 42 + -14. Is 7 a factor of 6/(-8) - (-217)/u?
True
Let a = -14 - -13. Let g = 41 + a. Is g a multiple of 20?
True
Let m be (108 + 3)*1 - -3. Let p be (-74)/(-14) - 4/14. Suppose 4*h - 92 = 4*g, -p*h + 3*g = -g - m. Is 9 a factor of h?
False
Suppose -v = -3*v + 4. Suppose k - 2*k = -5*d - 57, 3*k - 132 = v*d. Does 15 divide k?
False
Suppose -2*z + 0*z = -38. Suppose 0 = 5*f + 4*b - 0 - 21, -3*f + 4*b = -z. Suppose -5*d + d = -4*j + 96, -j + f*d + 24 = 0. Does 12 divide j?
True
Let k = -2 + 1. Let t be (-2 + 1)/(k/2). Let w = t - -6. Is 8 a factor of w?
True
Suppose 83 + 2 = 5*g. Suppose 2*n = -3*d + g, -27 = -5*d - 2*n - n. Let v = 31 + d. Does 17 divide v?
True
Let t be -3 - (-7)/((-7)/(-2)). Let v = 14 - t. Is 15 a factor of v?
True
Let d(z) = z**3 - 2*z**2 - 3*z + 5. Does 12 divide d(4)?
False
Let c = 210 + -81. Is 27 a factor of c?
False
Let w(t) = -t**2 - 10*t + 2. Let b be w(-9). Let m(x) = -x**2 + 12*x - 1. Does 10 divide m(b)?
True
Let x(t) = 10*t**3 + 6*t - 6. Let f(c) = -c**3 - c + 1. Let q(h) = 5*f(h) + x(h). Is 18 a factor of q(2)?
False
Let y(p) be the first derivative of -p**4/4 - 11*p**3/3 + 16*p + 1. Does 8 divide y(-11)?
True
Let c(l) = 2*l - 6. Let z be c(8). Suppose 4*v - z = -2. Does 13 divide (1 + -20)*(-3 + v)?
False
Suppose -2*j + 56 = t, 0*j + 4*t = -3*j + 84. Does 7 divide j?
True
Let r(p) = p**2 - 20*p + 51. Does 14 divide r(21)?
False
Let a = 78 - -19. Is a a multiple of 22?
False
Let i be 166/2 + 1 + -3. Suppose 3*v + 0*v - i = 0. Is v a multiple of 14?
False
Suppose 0*c = 4*c. Suppose 0 = 5*b + 2*o - 11, 10 = o - 6*o. Suppose -4 + 3 = 2*u + 3*i, c = -b*i - 15. Does 5 divide u?
False
Let q(a) = -a**2 + 11*a + 9. Is q(10) a multiple of 5?
False
Let o be 1/(-2)*(2 - 12). Suppose o*j - 79 = 36. Suppose 19 = 2*s - j. Is 21 a factor of s?
True
Suppose -3*i - 22 = -4*i. Does 11 divide i?
True
Is ((-2)/(-6))/((-11)/(-1089)) a multiple of 33?
True
Let k(x) = x**3 - 7*x**2 + 14*x - 3. Does 15 divide k(6)?
True
Let g = 79 - 40. Suppose 4*n = n - 4*f + g, -26 = -2*n - 5*f. Is 9 a factor of n?
False
Let q(g) = -g**2 - 6*g + 8. Let c be q(-7). Let m(z) = 3*z - 2 + z + c. Is 3 a factor of m(1)?
True
Is 18 a factor of (-26 + 8)/(2/(-8))?
True
Suppose 10*d = 5*d + 420. Does 21 divide d?
True
Suppose -2*p + 2*o + 10 = 2*p, -2*p = -2*o - 10. Suppose p = f + 29 - 7. Let i = f - -50. Does 17 divide i?
False
Does 30 divide (-10)/10 - (-1 - 90)?
True
Let c(h) = 47*h**2 + h. Let i be c(1). Suppose i = -0*m + 3*m. Is 8 a factor of m?
True
Suppose -4*d = 4*v - 24, d + 3*d = -8. Suppose 0 = -q - 4*x + v, 3*x + 2 - 25 = -5*q. Suppose -y - q*y - 95 = -4*b, -2*y = -b + 20. Is 15 a factor of b?
True
Suppose 5*i - 8 = -23. Let b be i/((-27)/(-6))*18. Does 12 divide 1/(-3) - 148/b?
True
Let c = 190 - 114. Is 19 a factor of (-2 - -5)*c/6?
True
Suppose c = -2*c + 48. Let s = c + -8. Does 8 divide s?
True
Let p = -22 - -49. Is p a multiple of 12?
False
Let f = 9 - 4. Suppose 47 = c + f. Is 14 a factor of c?
True
Let z = -109 - -212. Let d = z - 33. Is d a multiple of 18?
False
Let j(a) = a**2 - 8*a + 2. Let l be j(8). Let h(u) = 6*u**3 + 2*u**2 + u - 1. Is 19 a factor of h(l)?
True
Let u(q) = -2*q - 8. Let x = -3 - 3. Let p be u(x). Is (14 - 0)*6/p a multiple of 19?
False
Let i = 20 - 12. Is 21 + (i - (2 - -2)) a multiple of 5?
True
Suppose -13*k + 5*k + 272 = 0. Is k a multiple of 27?
False
Let s(k) = k**3 + 6*k**2 - 15*k - 14. Is 3 a factor of s(-7)?
True
Let g = 8 + -11. Let l = g - -3. Suppose y - 2*y + 34 = l. Is y a multiple of 9?
False
Suppose 0 = -4*r - 1 + 13. Is r even?
False
Let d = 29 - 17. Is 4 a factor of d?
True
Let n be (-68)/6*(-9)/6. Let c(b) = b**3 - 5*b**2 + 3*b - 6. Let p be c(5). Let o = n - p. Does 4 divide o?
True
Suppose 0 = -2*l + 3*x + 96, -2*l - 2*x - 56 + 172 = 0. Is l a multiple of 6?
True
Let x be (190/15)/(4/(-6)). Let q = x - -43. Does 8 divide q?
True
Let m = -7 - -11. Let i be (-2)/(-4) - (-6)/m. Suppose 2*f = -z + 11, -3*z + i*z = -5*f + 45. Is 4 a factor of f?
True
Suppose 4*s - 52 = -3*i, s + 15 = -2*s. Is 12 a factor of i?
True
Let t = 0 - -2. Suppose -47 = r + t. Let y = r + 79. Is 10 a factor of y?
True
Suppose -2*i + 20 = 8. Let w(s) = s - 4. Let g be w(i). Suppose -5*p + g*l + 0*l = -176, 3*l + 174 = 5*p. Is 14 a factor of p?
False
Let r(y) = y**3 + 9*y**2 - 3*y - 3. Let j be r(-9). Suppose f - 23 = -5*a, -4*a = 4*f - a - j. Suppose 0 = -5*n, -2*h - n - f*n + 28 = 0. Is 6 a factor of h?
False
Let n = -14 - -17. Is 3 a factor of n?
True
Let q(b) = -b**3 + 11*b**2 + 2*b - 13. Let c = -46 - -25. Let t = -10 - c. Is 9 a factor of q(t)?
True
Suppose -5*c + 11 = 4*y, -2*y + y + 4*c + 8 = 0. Suppose y*f - 56 = 2*f. Is f/2*4/8 a multiple of 3?
False
Let p(w) = 4*w - 14. Let c be p(11). Let g be 5 + (1 - 2) + -2. Suppose -3*f + c = g*f. Does 6 divide f?
True
Let j be 3 - 4/(-2) - -2. Suppose 4*u + 3*i - j = -2*i, 3*u + 9 = i. Does 3 divide 84/15 + u/(-5)?
True
Let n(w) be the third derivative of 37*w**6/120 - w**4/24 - 7*w**2. Is 12 a factor of n(1)?
True
Let r(t) = t**2 - 2*t - 4. Let c be r(5). Let g = -5 + c. Suppose -h - g = -a, -66 = -6*a + a - 4*h. Does 7 divide a?
False
Let a(b) = -13*b. Let k be 8/3 - (-2)/(-3). Let o be (-1)/2*-2 - k. Does 13 divide a(o)?
True
Let f be (0 + 0)/1 + 2. Suppose -8 = -3*q - f. Does 7 divide (-14)/(-2 - -3 - q)?
True
Suppose 0 = 5*y + 8 - 23. Suppose 4*g - 222 = y*t, 3*g = 2*t + 102 + 65. Does 15 divide g?
False
Let t(y) = y**3 + 10*y**2 - 4*y - 12. Let i be t(-7). Let m = i + -59. Is m a multiple of 26?
True
Suppose 0 = -3*d - 2*d + 495. Suppose -5*i + 66 = -d. Is i a multiple of 11?
True
Let z(i) = -i**3 - 11*i**2 + 4*i + 6. Let s be z(-9). Let t = -99 - s. Is 29 a factor of t?
False
Let z be (2/(-5))/((-2)/40). Let g(l) = l - 4. Let o be g(z). Suppose 1 = o*n - 135. Is n a multiple of 15?
False
Let k(w) = -3*w**3 + 9*w**2 + 3 - 10 - 2*w**2