oes 6 divide h?
False
Let a(j) = -103*j - 1. Let k be (3 + -4)*-1 + -4. Is a(k) a multiple of 28?
True
Let v = 845 + -588. Is 2 a factor of v?
False
Let l(s) = s**2 + 12*s + 5. Let c be l(-12). Suppose c*z + 235 = -65. Does 27 divide (-4090)/z - 1/6?
False
Let o = -1533 + 2198. Suppose c + 2*c - o = b, -1131 = -5*c - 4*b. Let n = c + -133. Is 37 a factor of n?
False
Suppose -5*x - 3*i - 20 = 2*i, -3*i + 44 = -4*x. Is 42 a factor of (-40)/x + (122 - 1)?
True
Let i = 27 - 25. Suppose -2*j + 3*z + 425 = 0, -3*z = -i*j - 8*z + 465. Is j a multiple of 10?
True
Let l(u) = u + 1. Let x(s) = 1. Let m(b) = -3*l(b) - x(b). Let i = -52 + 43. Is m(i) a multiple of 16?
False
Let u be 143/55 - 3/5. Suppose -u*d - 90 = d. Is (d/50)/((-1)/15) a multiple of 3?
True
Let z(v) = -v**3 + 41*v**2 + 81*v + 284. Is 69 a factor of z(43)?
True
Suppose -v + 120 = 3*v. Suppose 5 = -o + v. Does 25 divide o?
True
Suppose 0 = 4*c - 4*r - 252, 0*c + 4*r - 196 = -3*c. Let l = c + -26. Is 16 a factor of l?
False
Let s(l) = 90*l**3 - l**2 + l - 3. Does 13 divide s(2)?
True
Let z(l) = 3*l**2 + 15*l + 6. Let f be z(-5). Let i(o) = o**3 - 4*o**2 - 3*o - 12. Is i(f) a multiple of 14?
True
Let v = -14 + 17. Suppose -k + v = -d, -4*d + 29 = -2*d + 5*k. Is 4 a factor of (d + (-22)/6)*-3?
False
Let h(q) = -48*q**3 + 9*q**2 + 10*q + 9. Does 13 divide h(-4)?
True
Let g(v) = v - 8. Let n be g(11). Let a(o) = 14 + 2*o**2 + 7*o + 2*o**2 - 2*o**2 - n*o**2. Is a(6) a multiple of 10?
True
Let f = 4 + -3. Let h be f - 5/(5/34). Let c = 69 + h. Does 9 divide c?
True
Does 92 divide (-17)/(11/((-8833)/11))?
False
Let a = 543 + -824. Let w = 398 + a. Does 23 divide w?
False
Let k(w) = -w**2 - 2*w + 1. Let o be k(-3). Suppose l - 5*b - 47 = 0, -5*b - 15 = -0*b. Let i = o + l. Is 19 a factor of i?
False
Let c = 2973 + -2038. Is 85 a factor of c?
True
Let k(a) = a - 3. Let w be k(6). Let p(v) = v**w + v**2 + 6*v**2 - v + 7 - 9*v. Is 17 a factor of p(-8)?
False
Let h(o) = -o**3 + 11*o**2 - 15*o - 2. Let k = 67 - 59. Does 10 divide h(k)?
True
Suppose -11 + 56 = 9*f. Is f + 10*(-3 - -8) a multiple of 11?
True
Let n = -1 - -4. Suppose n*x = -3*h - 42, 4*h + x = -4*x - 59. Let m = h - -25. Is m a multiple of 4?
False
Let l be 2/(-10) + (-189)/(-45). Let c(a) = -4 + a + 2*a + 2. Is c(l) a multiple of 5?
True
Let q = -120 + 271. Is q a multiple of 22?
False
Let l be -60*(2 + -4 + 3). Let d = 98 + l. Is 19 a factor of d?
True
Suppose 505 = 9*p - 3590. Does 15 divide p?
False
Suppose -12*s = -14*s + 1254. Is s a multiple of 19?
True
Suppose -456 = -9*z + 12. Is z a multiple of 13?
True
Let y(v) = 60*v**2 - v - 3. Let q be y(2). Suppose 0 = 4*k - q - 117. Suppose k = 2*t - 16. Is t a multiple of 13?
True
Let j(q) = 54*q + 9. Let m be j(-2). Let z = m - -177. Is 13 a factor of z + 0*(-4)/(-8)?
True
Suppose -2*g + 6 = 2*h - 192, -3*g - 2*h = -294. Suppose -g = -30*a + 27*a. Is a a multiple of 25?
False
Suppose s - 2 - 13 = 0. Suppose 0 = f - 6*f + s. Suppose f*y + 9 = 45. Is y a multiple of 7?
False
Let x(l) = -2*l - 46. Let d be x(-24). Suppose -d*c = c - 456. Is 8 a factor of c?
True
Let r(v) = 2*v**2 + 5*v + 50. Is 46 a factor of r(-6)?
True
Let f be (20/6)/((-16)/24). Let l = f - -39. Does 6 divide l?
False
Suppose -4*n - 95 = -2*t + 139, 3*t = 3*n + 348. Let h = 231 - t. Is h a multiple of 15?
False
Let c(n) = n + 7. Let r be c(-5). Let t be 1 - (-3 + 0 + 1). Suppose -3*u + 23 = -2*h, r*h + 24 = t*u - h. Is u a multiple of 3?
False
Suppose -9*x + 4*x = 0. Let l = -9 - x. Let r(m) = m**3 + 9*m**2 - m + 13. Does 10 divide r(l)?
False
Suppose 3*w - 19 = w + m, 40 = 5*w + 5*m. Suppose w - 1 = x. Does 2 divide x?
True
Suppose 3*o = -u - 2*u + 33, -4*o + 34 = 3*u. Let v(t) = 5*t + 20. Is 5 a factor of v(u)?
True
Let a(o) be the second derivative of -9*o + 0 + 1/6*o**3 - 3*o**2. Does 2 divide a(12)?
True
Suppose 5 = 5*o - 3*q, -o - 5*q + 45 = 4*o. Let g be 6 - o - (133 + 1). Is (2/8)/((-3)/g) a multiple of 11?
True
Let l(i) = 32*i**2 + 2*i. Let f be l(2). Suppose 0 = 10*t - 8*t - f. Is t a multiple of 20?
False
Let n = 765 + -237. Is 33 a factor of n?
True
Let w = 28 - 29. Is 54/(-63)*(w + -90) a multiple of 13?
True
Suppose -l = -k - 4, -4*k - 4*l - 6 = 2. Let o = k - -49. Is o a multiple of 23?
True
Let p(v) = -5*v**3 + v. Let m be p(-1). Suppose -91 - 61 = -m*j. Is j a multiple of 19?
True
Let o(s) = s**2 + s + 53. Let k be o(0). Let p be 13 + -15 - 5*-1. Suppose 3*u + l = u + k, p*u - 2*l = 69. Is u a multiple of 10?
False
Let i = 2729 - 1603. Is i a multiple of 51?
False
Let w = 211 - 58. Let z = 220 - w. Is z a multiple of 14?
False
Is 10 a factor of (-8 + 4)/(1/((-1851)/12))?
False
Let l = -39 - -513. Suppose -290 = -4*t + l. Is t a multiple of 39?
False
Suppose -10*r = -3*r + 7. Is (-28 - 3/3)*r a multiple of 11?
False
Let q(l) = 2*l + 20. Let i be q(-8). Suppose i*x - 145 = -3*k, -5*x + k = -3*k - 158. Does 8 divide x?
False
Let w = -1 + -1. Let x(c) = c**2 + 4*c + 7. Let d(l) = l**2 + 4*l + 7. Let q(s) = w*x(s) + 3*d(s). Is 6 a factor of q(-5)?
True
Suppose -2*i - 1946 = -5*a, -12*a = -13*a - 5*i + 400. Is 5 a factor of a?
True
Suppose 14 = -y + 35. Suppose -3*x + y = -27. Is x a multiple of 16?
True
Suppose j - 16 = -10. Suppose 0 = g - 4*i - 116, i = -3*g + j*i + 355. Does 30 divide g?
True
Suppose -24 = -z + 4*l, 0 = 3*z - 5*z - 5*l + 48. Does 4 divide z?
True
Suppose 2*f = u + 10, 5*f + 50 - 10 = -4*u. Let b = u - -13. Suppose 19 = b*g - 35. Does 9 divide g?
True
Suppose -10*z + 589 + 611 = 0. Is 10 a factor of z?
True
Let u(g) = -467*g - 8. Is u(-3) a multiple of 26?
False
Let r(a) = -3*a - 7. Let d be r(-4). Suppose 3 = -3*v, -2*y + 11 = -0*y - d*v. Suppose y*b = 5*b - 32. Is b a multiple of 5?
False
Let s(r) = 5*r - 31. Let l be s(9). Is 3 a factor of (-3*4/8*l)/(-1)?
True
Suppose 61707 = 9*c + 12135. Is 27 a factor of c?
True
Let r(j) = -j**3 - 5*j**2 - 2*j + 8. Let f be r(-6). Is (-1)/7 - (-1128)/f a multiple of 20?
True
Let m = -22 + 11. Let f = 51 + m. Does 20 divide f?
True
Let q = 34 + -30. Let p = 14 - q. Is 5 a factor of p?
True
Let z = 1274 + -896. Is z a multiple of 14?
True
Suppose 5*z + 9*c - 910 = 7*c, -3*z = -c - 535. Is z a multiple of 15?
True
Let v(u) = -u**3 - 5*u**2 - 5*u - 1. Let a be v(-4). Suppose y + 188 = 4*z - y, a*y = 4*z - 188. Is z a multiple of 19?
False
Let n(r) = -12*r + 24. Let k be n(6). Is 12 a factor of (-10)/4*(k/(-2))/(-2)?
False
Suppose -3*m = -2*r - 42, 0 = -m + 5*m + 4*r - 76. Suppose 0 = m*j + 136 - 1160. Does 8 divide j?
True
Let b(h) = -h**2 + 43*h - 162. Does 36 divide b(25)?
True
Suppose -10 = 2*k, 4*s - 3*s - 3*k = 59. Let x = s - 4. Is x a multiple of 39?
False
Suppose 19 = r - x, -r + 2*x = -16 - 2. Suppose -2*g = -7*g + r. Does 14 divide 36/3 + 8/g?
True
Does 107 divide 2889/6*(-2)/(-3)?
True
Suppose 2197 = 7*s + 692. Suppose -347 = -5*m - 0*v + 3*v, 5*v - s = -3*m. Is 10 a factor of m?
True
Suppose 0 = -10*q + 38 + 42. Is q a multiple of 2?
True
Suppose 3*z + 35 = -2*z. Let s = 2 + -16. Let y = z - s. Is y a multiple of 6?
False
Let r be (-50)/(-4) - 7/(42/9). Let j(z) = 4*z + 54. Does 14 divide j(r)?
True
Suppose 3*o + 3*l - 9 = 0, -2*o + 5*l + 17 + 3 = 0. Suppose 0 = 2*s + s + 3*u - 51, 67 = o*s - u. Let y = s - 0. Does 14 divide y?
True
Let o = 7 - 3. Suppose -4*i + 2*i + 20 = o*k, 0 = 2*k + 3*i - 2. Let p(y) = 5*y + 1. Is 19 a factor of p(k)?
False
Let u(r) = -13*r**3 + r**2 + r. Let w(s) = -s - 5. Let p be ((-6)/(-2))/(15/(-20)). Let a be w(p). Does 13 divide u(a)?
True
Let z = 1548 + -1482. Is z a multiple of 66?
True
Let n be (-2)/(-4 - 24/(-4)). Is 13 a factor of ((-3 - 69) + -2)*n?
False
Let o be (8*(-5)/(-10))/2. Is 8 a factor of 4/(1/(8/2)*o)?
True
Let r be 1/2 + (-102)/(-12). Let p be (-78)/(-4)*12/r. Suppose 4*q = 2*q + p. Is 6 a factor of q?
False
Let x(p) = 5*p**2 + 9*p + 8. Let r(d) = -9*d**2 - 18*d - 16. Let k(s) = -4*r(s) - 7*x(s). Let n be k(-8). Suppose n = -v + 7 + 21. Is v a multiple of 7?
True
Suppose 3*b - 4*k - k = 99, b = -2*k + 33. Let w = 69 - b. Is w a multiple of 12?
True
Suppose -3*b = -3*n + 534, -b - 538 = 6*n - 9*n. Suppose 4*u - 396 = p, -2*u = -12*p + 7*p - n. Is 10 a factor of u?
True
Let o be ((-78)/10)/((-2)/30). Let p = -35 + o. Is 12 a factor of p?
False
Is 31 a factor of (-2 - 100/6)*(-3450)/20?
False
L