 3*h**2 + 2*h - 2. Let v be o(2). Is 15 a factor of 10*(0 - v/(-4))?
True
Suppose 0 = -g + 27 + 22. Does 7 divide g?
True
Let u(a) = a**2 + 2*a + 29. Does 13 divide u(8)?
False
Let f(q) = 2*q**2 - q - 4. Is 3 a factor of f(-3)?
False
Let n be (-152)/6 - (-1)/3. Let g be 62/1 + 32/(-8). Let x = n + g. Does 11 divide x?
True
Let i be (0 - -1) + (-49)/(-7). Let p = i - 6. Suppose 10 = 3*y - p. Is 2 a factor of y?
True
Let h = 12 - 7. Suppose 0 = h*b - 2*b + 4*l - 19, b - 8 = -3*l. Is 5 a factor of b?
True
Let r = -66 - -119. Is 4 a factor of r?
False
Is ((-35)/7)/(1/(-18)) a multiple of 10?
True
Let h = -2 + 6. Suppose 0 = 2*t + k - 39, h*t + k - 21 = 3*t. Does 11 divide (t/8)/((-9)/(-120))?
False
Let j = 63 - 108. Let d = -29 - j. Let y = d - 11. Is y a multiple of 5?
True
Let y = -253 + 519. Is 38 a factor of y?
True
Let k(t) = t**2 - 5*t - 7. Let p = -6 + 14. Let r be k(p). Let v = r + -12. Does 2 divide v?
False
Let q = -18 - -99. Is q a multiple of 27?
True
Suppose -5*s = -3 - 7. Does 9 divide s*((-62)/(-4) + -2)?
True
Let r(z) be the first derivative of 5*z**4/4 + z**2/2 + z + 2. Let u be r(2). Suppose 2*b = -2*d + 8, -5*b - u = 3*d - 5*d. Is 9 a factor of d?
True
Suppose 3*h = -h + 248. Is h a multiple of 35?
False
Let i = -37 + 59. Does 10 divide i?
False
Let t = 58 + -11. Is t a multiple of 14?
False
Suppose 2*m = -2*i - 2*m + 104, -i + 38 = -5*m. Is 24 a factor of i?
True
Let o(d) = -d**3 + 2*d**2 + 3*d - 3. Let w be o(2). Suppose -w*t = -2 - 4. Does 13 divide (-1 + (-1)/t)*-26?
True
Let j = 8 + -5. Suppose 7*w - j*w = 500. Suppose 6 + 6 = 4*a, -5*a - w = -5*n. Is n a multiple of 13?
False
Suppose 2*i + 2*r = 22, -5*i + 48 + 35 = -2*r. Let u be ((-2)/(6/i))/(-1). Suppose -u*p + 124 = -2*o, -3*p = 3*o - 51 - 15. Does 12 divide p?
True
Does 10 divide (8 - -4)/((-12)/(-16))?
False
Let n(m) = -m + 4. Suppose -5*w + 14 - 64 = 0. Let a be n(w). Is 4/a + (-1233)/(-21) a multiple of 23?
False
Suppose 2*q = 7*q + 150. Is 5 a factor of (6/(-4))/(3/q)?
True
Suppose x + 3*f - 5 = -31, 30 = -2*x + 5*f. Let q = -1 - x. Is q a multiple of 19?
True
Let p be (-8)/6*(-3)/2. Let g = p + -3. Does 2 divide g/(-3)*(-1 - -16)?
False
Let s = -43 - -24. Let t be s/(-4) - (-2)/8. Suppose -4 = t*x - 24. Is 3 a factor of x?
False
Suppose -4*t - 5*d + 16 - 1 = 0, 2*t - 9 = -3*d. Let h(j) = -j**3 - j**2 - j + 5. Does 5 divide h(t)?
True
Suppose 2*j = 4 - 0. Let m = j - 0. Suppose 3*n + m*g - 20 = -0, n + g - 8 = 0. Is n a multiple of 4?
True
Let y(x) = -x**3 - 3*x**2 - 8*x - 9. Is y(-6) a multiple of 27?
False
Suppose -2*q + 0 = -4. Suppose -48 = -l - q*l. Does 8 divide l?
True
Suppose 3*p + 2*s = 7, 4*p + 3*s - 10 = -0*p. Is 4 a factor of (11 - p)*12/10?
True
Let c be -3 + -411*(-4 + 3). Suppose 4*a = -0*a + c. Is a a multiple of 27?
False
Let h = -74 - -105. Does 10 divide h?
False
Let t = 7 + -11. Let h be (-8)/(-2) - (5 + t). Suppose -h*c + 34 = -2*c. Is 17 a factor of c?
True
Suppose 0 = 6*z - 7*z + 165. Suppose -5*b - r + 2*r = -155, 5*b + r = z. Does 16 divide b?
True
Suppose 0 = -6*l + 5*l + 116. Is l a multiple of 37?
False
Let o be 6/15 + 184/(-10). Suppose 14 + 70 = 2*l. Let k = o + l. Is k a multiple of 12?
True
Suppose -3*o + 4*d = -95, 5*d - 6 = -o + 13. Suppose 3*m + 2*t - 6*t - 55 = 0, -74 = -4*m + 5*t. Suppose m + o = 5*u. Does 6 divide u?
False
Suppose -n - 4*n = 0. Let o be (-7 - n)*2/(-7). Suppose z + 2*t - 8 = 0, -4*z = -7*z - o*t + 24. Is 8 a factor of z?
True
Suppose -3*x + 12 = -6. Does 4 divide x?
False
Let b = -2 - -4. Does 12 divide 3/6 - (-59)/b?
False
Let x(h) = 5*h. Let n = 7 + -3. Let b be -1 + 1 + n/2. Is 3 a factor of x(b)?
False
Let z be 2 - (-5)/(15/9). Suppose 2*w - 17 + z = 0. Does 6 divide w?
True
Suppose -9*q = -17 - 73. Does 5 divide q?
True
Let y be 0*(0 + -1) - 66. Let m = y + 126. Is 17 a factor of m?
False
Let q(m) = 2*m**2 - 6*m + 1. Is 6 a factor of q(4)?
False
Let o(j) = j**3 - 5*j**2 - 9*j - 3. Let d be (-3)/(-9) - 5/(-3). Let b be 14/2 + -2 + d. Is o(b) a multiple of 16?
True
Suppose x + 140 = 2*x. Is 28 a factor of x?
True
Let q(d) = 14*d + 14. Is 14 a factor of q(7)?
True
Suppose -1568 + 200 = -6*p. Does 10 divide p?
False
Let u(z) = z**2 + 6*z + 10. Is u(-10) a multiple of 25?
True
Let v(a) = a + 1. Let m be v(2). Suppose m*p - 2*q = 193, 0*p + 55 = p + 4*q. Does 10 divide -1 - 5/((-15)/p)?
True
Let b = 220 - 87. Is b a multiple of 17?
False
Let m(z) = 24*z**2 + 7*z - 1. Let d be m(6). Is 14 a factor of 3/4 + d/20?
False
Let v(x) = 12*x + 2. Does 23 divide v(5)?
False
Suppose 4*x + 4*i + 12 = 0, -6*x - i + 1 = -3*x. Suppose -x*v = 12 - 4, 52 = 2*c + v. Is c a multiple of 14?
True
Suppose -9 = -5*h - 59. Is 14 a factor of 4*9 + h + 7?
False
Let j = -17 + 12. Let k(r) = r**2 + 2*r + 5. Is k(j) a multiple of 5?
True
Suppose 0 = 2*y - 4*y + 2. Suppose 9 + y = h. Suppose -3*j + h = -26. Is 12 a factor of j?
True
Let z = 58 - 2. Does 14 divide z?
True
Let h = 1 + 1. Let f(j) = 2*j**3 - 3*j**2 - j + 2. Let u be f(h). Does 7 divide (19/1)/(4/u)?
False
Let u be (-440)/(-24) + (-2)/6. Suppose -v = 3*v + 32. Let k = u + v. Is k a multiple of 5?
True
Let r be ((-9)/(-3))/(3/4). Suppose 5*a - 3*o - 100 = 0, 5*a + r*o = a + 112. Suppose 4*j - 3*n - 38 = -j, 4*j - a = -5*n. Is j a multiple of 7?
True
Suppose 837 = 5*w + 4*u, -5*u + 30 = w - 129. Is 13 a factor of w?
True
Suppose 42 = 4*s - s. Suppose 12*n + 42 = s*n. Is n a multiple of 21?
True
Suppose -3*n = -n - 2*v - 114, 0 = -2*n + v + 117. Is 15 a factor of n?
True
Let g(i) = -i**2 + 0*i**3 + 6*i**2 - 2*i**3 + 3*i**3 - 4*i - 3. Does 20 divide g(-4)?
False
Let u(i) be the second derivative of i**4/4 + i. Does 12 divide u(-2)?
True
Let x(n) = -44*n - 11. Is 11 a factor of x(-3)?
True
Let y(c) = 125*c + 3. Is y(1) a multiple of 8?
True
Let f(r) = -2*r**3 - 4*r**2 + 8. Is f(-4) a multiple of 8?
True
Suppose -2 = 3*o - 14, -2*o = -2*t - 42. Let d = 29 + t. Does 12 divide d?
True
Suppose 0 = -q - q. Suppose -3*b + q*b = 0. Suppose -3*j = -b*j - 33. Is j a multiple of 7?
False
Let m(t) = -t - 1. Let o(y) = y**2 - 3*y. Let v(q) = -3*m(q) + o(q). Let c be v(0). Suppose c*l + 3*k = 24, 0 = -l + k + k + 20. Does 9 divide l?
False
Let d = -7 - -12. Let g(u) = u**2 - u - 5. Is 11 a factor of g(d)?
False
Suppose -2*z = -4*x - 8, z + 2*z = 6. Does 20 divide (2 + 0)*-10*x?
True
Suppose 5*c = 15 + 25. Suppose 0 = v - 15 - c. Does 18 divide v?
False
Let v = -9 - 23. Let q = 40 + -62. Let s = q - v. Is 7 a factor of s?
False
Let k = 11 - 18. Let s = k + 10. Suppose s*c + 2*c - 44 = -q, 2*c = 2*q + 20. Does 9 divide c?
True
Let n(h) = -3*h. Let x be n(1). Let b = 0 - x. Is 2 a factor of b?
False
Suppose 4*w = j + 638, -3*w - 4*j = -6*w + 472. Is 32 a factor of w?
True
Let o(j) = j**2 - 3*j - 6. Let m be (17 + -4)*(0 - 1). Let h = -6 - m. Is o(h) a multiple of 11?
True
Is (-4 - -1) + 60*18/4 a multiple of 29?
False
Suppose y - 35 = 12. Let w = y + -11. Is w a multiple of 12?
True
Suppose v = -0*v + 1. Let y be -4*3/6 + v. Is 14 a factor of y/((-86)/(-44) + -2)?
False
Let w be -1 + 1 + -4 + 7. Suppose 2*h + w*h - 85 = 0. Is 17 a factor of h?
True
Suppose -7*x = -6*x - 32. Is x a multiple of 16?
True
Let y = -92 + 207. Is y a multiple of 23?
True
Suppose -3*z + z + 3*w = -239, 5*z = -4*w + 540. Is z a multiple of 7?
True
Let j(p) be the third derivative of p**4/3 - p**3 + 3*p**2. Is j(4) a multiple of 8?
False
Let x(m) = -m**2 + m. Let i be x(0). Suppose i = 5*n - 10 - 0. Suppose 8 = -b + n*b. Is 8 a factor of b?
True
Let h = -6 + 5. Is (3 - 2) + h + 10 a multiple of 6?
False
Suppose 4*l - 2*l = 46. Suppose 3*r = 2*d + 46, 5*r + 3*d = 68 - l. Is 12 a factor of r?
True
Let a = 0 + 3. Suppose -a*l = -0*l - 12. Suppose 1 - 14 = n + 5*t, 3*t = -l*n + 16. Is 3 a factor of n?
False
Suppose -4*a + 2 = -n, 0 = a - 0 - 1. Suppose -n*k = -24 - 16. Is k a multiple of 7?
False
Suppose v + y - 5 = -4*v, 15 = -3*y. Suppose -v*r + 135 = 3*r. Is 9 a factor of r?
True
Let x = 3 + 0. Let i = -5 + x. Is 22*(0 + -2)/i a multiple of 11?
True
Suppose -2*f - 118 = -2*z, 2*z - f - 130 = 4*f. Is z a multiple of 8?
False
Suppose -1 - 1 = -w. Let k(c) = -5*c - 2 + w - 5. Is k(-5) a multiple of 8?
False
Let k = -7 - -7. Suppose -2*y + y + 11 = k. Does 8 divide y?
False
Let r(n) = n**3 - 5*n**2 - n + 5. Let x = -3 - -8. 