17 divide h?
False
Suppose 1 = 2*n - 3. Suppose 1 = n*o - 3. Does 2 divide (-1)/(1/o) + 9?
False
Suppose n - 4*j = 2*n - 11, 4*j = n + 5. Let a = 0 + n. Suppose 22 = 5*g - a. Does 2 divide g?
False
Let s = -733 + 922. Is s a multiple of 55?
False
Suppose 38 - 1574 = -4*k. Is k a multiple of 8?
True
Let u(x) = -80*x + 480. Is u(-21) a multiple of 51?
False
Let r be ((-9)/(-6))/((-12)/(-16)). Let s be 104 - (-1 + r + -4). Let q = s + -65. Is q a multiple of 14?
True
Let m(a) = 8*a - 2. Let c be m(-7). Let z = -35 + -1. Let y = z - c. Is 9 a factor of y?
False
Suppose s + 2 = -2*g + 4*g, -5*g = -s + 7. Suppose 11 = -6*b + b - 2*x, 5*x - 16 = 2*b. Let a = b - s. Does 3 divide a?
False
Suppose -k + t + 5 = 17, t = -2*k - 18. Suppose -5*w + 9 = -6. Does 16 divide 216/k*(w + -8)?
False
Let y(s) = s**3 - 2*s**2 + 18*s - 144. Does 6 divide y(12)?
True
Suppose 0 = -3*v + 6. Let j = 1 + v. Suppose 2*x = -j*x + k + 22, -12 = -4*k. Does 5 divide x?
True
Suppose -74*i - 5980 = -87*i. Is i a multiple of 9?
False
Suppose -22 + 7 = -5*s. Suppose i + 4*g - 85 = 0, s*g = 3*i - 6*i + 210. Is 5 a factor of i?
True
Let y(k) = -84*k - 121. Is y(-4) a multiple of 18?
False
Suppose 3*u - 354 = -3*b, 61 + 165 = 2*b - 3*u. Is b even?
True
Let k = -7 + 11. Suppose k*c = -2*j + 146, -5*j + 205 = 4*c + 50. Does 4 divide c?
False
Let x = 48 - 35. Let l(a) = 5*a - 39. Is l(x) a multiple of 26?
True
Let w(o) be the third derivative of o**6/720 + o**5/60 - o**4/4 + o**2. Let d(j) be the second derivative of w(j). Does 6 divide d(10)?
True
Let b = 132 - -38. Does 34 divide b?
True
Suppose -2*h + 0 - 2 = 2*u, 3*h + 38 = 4*u. Does 4 divide (4/h)/(8/(-348))?
False
Let y be 2/(-7) - 78/21. Let n be -31 + (-1 - y) + -3. Let i = n + 57. Does 8 divide i?
False
Let q be -170*(-4)/(-8) - -4. Does 9 divide (-18)/q - 2102/(-18)?
True
Is (376/(-28) + 4)*(5 + -26) a multiple of 6?
True
Let v(y) = 8*y + 43. Is 7 a factor of v(35)?
False
Suppose 15*t - 2259 = 11526. Does 13 divide t?
False
Let w = -96 + 123. Does 2 divide w?
False
Let m(r) = r + 4. Let l(t) = -t**2 + 8*t - 5. Let h be l(7). Let q be m(h). Does 8 divide 1 + 1 - (-168)/q?
False
Let r = -4 + 17. Suppose 0 = 6*a - 11 - r. Suppose 85 = o + a*o. Is 17 a factor of o?
True
Suppose 9*y - 18*y + 1314 = 0. Is y a multiple of 13?
False
Let f = -401 - -861. Is 23 a factor of (12/8)/(15/f)?
True
Let h be ((-24)/30)/(4/30). Let c be 3*5/h*-10. Suppose v - 60 = -c. Does 8 divide v?
False
Let x = -33 + 35. Suppose 0 = -5*q + x*q + 18. Is q a multiple of 3?
True
Let c(v) = -v**3 - 9*v**2 - 17*v + 15. Let r = 4 - 12. Does 6 divide c(r)?
False
Let j(f) = 3*f**2 + 85*f - 24. Is 27 a factor of j(-32)?
False
Let i be (-1)/5 - (-7)/35. Suppose -4*l = -b + 13, i*b = b - 3*l - 17. Is 29 a factor of b?
True
Let b(s) be the second derivative of -s**4/12 + s**3 + 7*s**2/2 - 6*s. Let q be b(6). Let i = -2 + q. Does 3 divide i?
False
Suppose 0 = 5*g + 71 - 316. Suppose -4*p + 445 = p. Let j = p - g. Is 8 a factor of j?
True
Let u be (-24)/(-60) + 18/5. Is 11 a factor of 198/u*20/(-45)*-3?
True
Let r(t) = 29*t**2 - 17*t + 54. Does 75 divide r(4)?
True
Does 58 divide (-21480)/(-80)*(-2)/(-3)?
False
Let a(n) = n - 9 + n**2 - 3*n + 0*n - 5*n. Let c be a(7). Is 5 a factor of c/((-5)/(-2) - 3)?
False
Let k = -12 + 20. Suppose -k*n = -13*n + 290. Does 29 divide n?
True
Suppose 15209 = 19*f - 1131. Is 86 a factor of f?
True
Let h be (2/6)/((-11)/363). Let u(i) = i**2 + 6*i - 10. Is u(h) a multiple of 15?
True
Suppose -4*h = h + 40. Let w = -5 - h. Suppose -9 - 18 = -w*g. Does 4 divide g?
False
Let o(s) = 60*s**3 - 2*s**2 + 3*s - 1. Let k be o(1). Let b be 8/k*9*10. Suppose -2*p + 6 = -b. Is 2 a factor of p?
False
Suppose -12*z + 231 + 69 = 0. Does 2 divide z?
False
Let m(t) = t**3 + t**2 - 4. Let y be m(0). Is ((-144)/(-27))/(y/(-18)) a multiple of 18?
False
Does 47 divide (102/5)/(21/2030)?
False
Let a be 96/(-36) - 1/3. Does 8 divide a + 6 - 4 - -59?
False
Suppose 3*f + 535 = 3*l - 575, -l + 354 = 3*f. Is 67 a factor of l?
False
Let q(c) = c**3 + 5*c**2 - 2*c. Let o be q(-3). Suppose -2*t + 2*d + 10 = -14, o = 2*t + 2*d. Is 5 a factor of t?
False
Let q = 571 + 872. Does 37 divide q?
True
Let v(i) = -i**2 + 39*i - 7. Is v(13) a multiple of 9?
False
Suppose 848 + 5440 = 16*q. Does 19 divide q?
False
Suppose -4*s - 35 - 259 = -2*i, -2*i = -s - 81. Let b = -37 - s. Is 4 a factor of b?
False
Let a be (-30)/(-8)*(-832)/(-24). Let w = a - 78. Suppose w = t + 3*t. Does 8 divide t?
False
Let a = 329 - 281. Does 8 divide a?
True
Let o(z) = 18*z**2 - 3*z + 63. Is 42 a factor of o(7)?
True
Let d(f) = -f**2 + 4*f + 15. Let v be d(6). Suppose 4*s - 3*h - 217 = 0, -v*s + 160 = -0*s - 5*h. Is s a multiple of 21?
False
Let h(k) = -5*k - 8. Let p be h(-4). Let c(x) = -x**3 + 11*x**2 + 13*x + 4. Let s be c(p). Let q = s + -6. Is q a multiple of 6?
False
Does 2 divide (-13 + 33/(-11))*(-1)/2?
True
Let l(s) = 5*s**2 + 5*s - 100. Is 4 a factor of l(7)?
True
Suppose -3*t - 159 = -4*x - 1, -5*t = 5*x - 180. Suppose x*u - 165 = 37*u. Suppose 5*l = u + 45. Is l a multiple of 11?
False
Suppose -3*p + 520 = 4*z, p - 20 = -4*p. Is 16 a factor of z?
False
Let m(f) be the first derivative of f**6/360 + f**5/40 + f**4/8 + f**3 - 1. Let w(g) be the third derivative of m(g). Does 13 divide w(-5)?
True
Let f = 194 - 151. Is f a multiple of 3?
False
Let r(l) = -4*l + 76. Is 3 a factor of r(-2)?
True
Let j = 338 - 203. Suppose 5*v + 5*c - j = 0, 0 = -2*v + 3*c + 52 + 7. Let x = v - 16. Is x a multiple of 4?
True
Let i(u) = u**2 - 3. Let h be i(3). Let l(r) = 6*r + 17. Is 6 a factor of l(h)?
False
Let f(s) = -7*s. Let y be f(-1). Let i = 9 - y. Suppose -4*w + 162 = 3*p, p + 90 = i*w - 2*p. Does 8 divide w?
False
Let j(i) = -i**2 - 10*i - 6. Let n be ((-2)/6)/(2/102). Let y = n - -13. Is j(y) a multiple of 18?
True
Let j be (-4 - -1) + (-15)/(-3). Suppose j*a = 24 + 134. Suppose -4*t = -259 + a. Does 15 divide t?
True
Let l = -3 + 7. Let b be 4/4*l/(-4). Is ((-18)/4)/(b/2) a multiple of 9?
True
Suppose -1535 = -3*d + 1387. Is 9 a factor of d?
False
Let h(b) = 51*b - 31. Is 14 a factor of h(5)?
True
Let w(a) = 2*a**2 - 4*a - 2. Let t be w(3). Suppose 0 = h - t, 2*h = 3*m - 3*h - 190. Is m a multiple of 23?
False
Does 10 divide (-2 - -26) + (-12 - -18)?
True
Let x = 507 - -136. Suppose x = 2*c + 3*j, -j - 1321 = 9*c - 13*c. Is 47 a factor of c?
True
Let z(c) = -c**2 - 2*c - 3. Let k be z(-3). Let p = 3 + k. Is (-1)/(p*2/54) a multiple of 8?
False
Let d = 114 + -220. Let y = -6 - d. Is 51 a factor of y?
False
Suppose 0 = 355*u - 356*u + 94. Is u a multiple of 94?
True
Let i be 1*-33*((-28)/12 - -2). Let y be ((-58)/(-2))/(2 + -1). Let w = y - i. Is 7 a factor of w?
False
Let x(q) = 5*q**2 - 3*q + 3. Let b = -103 - -106. Is x(b) a multiple of 11?
False
Let p = 465 + -272. Is p a multiple of 19?
False
Suppose 3*n - 21 = -4*b + 70, -b + 31 = n. Is n a multiple of 3?
True
Let k(s) = s**3 - 10*s**2 + 9*s - 11. Let f be k(9). Let p(q) = 62*q**2. Let z be p(1). Let i = f + z. Is i a multiple of 17?
True
Suppose 2*c = 7*c - 60. Let t = c - 8. Suppose 2*b = -3*z + 37, 6 = -t*b - 5*z + 81. Does 5 divide b?
True
Let l(k) = 3*k**3 - 1 - 2*k**2 - 5*k**2 - 4*k**3 - 7*k. Let i(q) = -8*q + 9. Let h be i(2). Does 21 divide l(h)?
False
Suppose d + 5*d = d. Let k(l) = -l**3 + 30. Does 7 divide k(d)?
False
Suppose -f - 4*f - 1745 = -5*t, -t + 2*f + 348 = 0. Is t a multiple of 50?
True
Let b = 37 - 111. Let h = -56 - b. Is 11 a factor of h?
False
Is 38 a factor of 1836/8 - 33/22?
True
Let g(k) = k**2 - 32*k - 144. Is g(-28) a multiple of 12?
True
Let q be ((-2)/4)/((-5)/70). Suppose -u + 4*b = 20, u + q*b + 6 = 4*b. Let x = u - -20. Is 3 a factor of x?
False
Let w be 60/8*5/((-15)/(-2)). Suppose -w*r - 17 = -n + 41, -3*r - 144 = -2*n. Is n a multiple of 13?
True
Let q(d) = -8*d + 3. Let n be q(-3). Let u = n + -12. Suppose -5*h = -6*h + u. Is h a multiple of 5?
True
Suppose -7*t - 20 = -12*t. Suppose -2*c - 12 = -t*c. Is ((-210)/(-9))/5*c a multiple of 20?
False
Let p(a) = a + 3. Suppose 5*h - 43 = 2*s, h - s = -h + 17. Does 4 divide p(h)?
True
Let q(o) = -2*o**3 + o - 3. Let m be q(-3). Is 1/(-6) + 8312/m a multiple of 12?
False
Let k(d) = -d**3 - 6*d**2 - 32*d + 25. Does 44 divide k(-11)?
False
Suppose 0 = 5*i - 24 -