5 divide h?
False
Let b(z) = 2*z**2 - z + 11. Let m be b(-4). Suppose -96 = -5*q - 4*x - 29, -m = -3*q + x. Is q a multiple of 3?
True
Suppose -g = -4*g + 90. Let z = g - 15. Let b = z + 11. Does 13 divide b?
True
Let l = 855 + -481. Does 5 divide l?
False
Let r(b) = -b**2 - 4*b - 8. Let z be r(-9). Let d = 104 + z. Let y = -32 + d. Is 7 a factor of y?
False
Let f = -992 - -2378. Is f a multiple of 38?
False
Let j(p) = p**2 - 3*p - 8. Let k(h) = 16*h + 2. Let c be k(1). Suppose -c*b = -15*b + 18. Is j(b) a multiple of 12?
False
Let h(r) = -r**3 - 16*r**2 + 2. Let a be h(-16). Suppose -2*u - 17 = f - 247, a*f - 470 = u. Is f a multiple of 34?
False
Let l(g) = 2*g**2 + 4*g + 40. Is 4 a factor of l(0)?
True
Let h = 98 - 94. Suppose 0 = -h*b - 0*b - i + 197, 5*b = 3*i + 225. Does 16 divide b?
True
Suppose -8*b + 7*b + 5 = 0. Suppose -r - b*f = -0*r - 39, 3*r - 5*f - 17 = 0. Is 7 a factor of r?
True
Let y = 2 + 70. Suppose -2*v - y = 2*v. Let j = -13 - v. Does 5 divide j?
True
Let u be 6*2*(-5)/(-10). Let n be -1 + 9 - (6 - u). Let d = n + -3. Does 2 divide d?
False
Let z = -9343 - -14001. Does 84 divide z?
False
Suppose 9 = 5*k - 3*z, k + z = -3*z + 11. Suppose k*r - 249 = 483. Suppose 0*j - r = -5*l + j, -5*l = -4*j - 256. Is l a multiple of 24?
True
Suppose -b = -5, 70 = -z + 6*z - b. Does 8 divide (-12)/15 + 1092/z?
True
Let q = 46 + -47. Does 4 divide (96/72)/(q*1/(-6))?
True
Let i(a) = -244*a + 103. Is 26 a factor of i(-3)?
False
Suppose -i = -2 + 2. Suppose 3*n - 220 = -16. Suppose -4*k + n = -i*k. Is 16 a factor of k?
False
Let v(c) = c**3 - 12*c - 2 - 2*c**2 + 27*c - 16*c. Let q be v(3). Suppose 5*p - 2*t = 122, -q*t - 62 = -2*p - p. Is p a multiple of 13?
True
Let v be (4/4 - (4 + 3))*-65. Let p = v + -191. Is 14 a factor of p?
False
Let y be (5 - (6 + -3))/((-3)/(-24)). Let u be (-1)/1 - -1*621. Does 18 divide u/y + (-4)/(-16)?
False
Suppose 2*a + 0*a + 6 = 2*w, 4*w + 3*a - 12 = 0. Suppose 6*z - 6 = w*z. Is z/(-3) + 505/15 a multiple of 11?
True
Let i = -37 + 63. Suppose 0 = m - 3*u - i, -132 = -2*m - 2*m - 2*u. Is 22 a factor of m?
False
Let d = 526 - 226. Is 15 a factor of d?
True
Let k be 5 - -3*4/(-12). Suppose -k*f - 4*c = -576, -f + 288 = f + 3*c. Is f a multiple of 25?
False
Suppose 5*w = -4*l + 961, -4*l + 629 + 139 = 4*w. Let m = -42 + w. Suppose -m = -4*q - 0*y + y, y = -3. Does 14 divide q?
False
Let f be (2/(-3))/((-4)/78). Suppose 4*q - f = v, -12 - 8 = -4*v - 2*q. Suppose 10 = -v*o + 1, 35 = 2*b - o. Does 8 divide b?
True
Let w(g) = 2*g**2 + 4*g - 6. Let d(u) = 4 + 3 + u - 7 - 2. Let m be d(6). Is w(m) a multiple of 14?
True
Let p = -6 + 8. Suppose 0 = -2*x + 12 + p. Suppose -x*t = -4*t - 30. Is 5 a factor of t?
True
Is -2 - 9/(9/(-283)) a multiple of 6?
False
Suppose -10*s = -8*s. Suppose -5*x = 0, -5*v + 10 + 5 = 4*x. Suppose -v*h = -s*h - 102. Is h a multiple of 12?
False
Let i be (0/5)/(2 + 0). Suppose p - 4 = -2*n - i*p, 5*n = -p + 13. Does 3 divide n?
True
Suppose d = 4*f - 1061, 3*d - 2*d + 263 = f. Is f a multiple of 38?
True
Does 10 divide -10*(-6 - 21/(-35))?
False
Is 14 a factor of (1 + 346/(-8))*(-13 - -5)?
False
Let m = -33 + 32. Let z be m/(-5) + 3/(-15). Let t = z + 23. Does 12 divide t?
False
Let n = 2135 - 1068. Is 63 a factor of n?
False
Let v = 262 + -133. Let g = v + -124. Is 5 a factor of g?
True
Let z be 1/(0 - 1) - (-13 + 10). Suppose -z*t + 12 = -68. Does 40 divide t?
True
Suppose -r + 2 = -3*r. Let q be (-2 + r)*(2 + 76). Does 16 divide 1 - -1 - q/3?
True
Let v(s) = -s**2 + 6*s + 5. Let y be v(6). Let t = 11 - y. Suppose -203 = -5*z + 2*a, 5*a = t*z - z - 215. Is z a multiple of 16?
False
Let y be (-2 - -1)/((-9)/36). Is 28 a factor of 16*(-1 + y + 4)?
True
Let q(u) = -u**2 + 10*u - 28. Let b be q(9). Let l = 5 - b. Does 6 divide l?
True
Suppose 8 = 5*a - 7. Suppose 136 + 168 = 16*u. Suppose -94 = -a*j - 4*p + u, -2*p = 5*j - 179. Is j a multiple of 33?
False
Let m(v) = v**2. Let s(q) = -4*q**2 + 6*q + 3. Let g(r) = 3*m(r) + s(r). Does 8 divide g(5)?
True
Let c be ((-32)/14 - -2) + 10770/14. Suppose 7*q + 2*o = 2*q + c, -3*o = 4*q - 618. Is q a multiple of 17?
True
Suppose 0*x + 1101 = 3*y + 3*x, 1840 = 5*y + 4*x. Is 31 a factor of y?
True
Let d(k) = -68*k**3 + 3*k**2 + 2*k. Let u(s) = -68*s**3 + 4*s**2 + 3*s. Let l(v) = 4*d(v) - 3*u(v). Is 9 a factor of l(-1)?
False
Let m(b) = b**2 + 8*b - 30. Let k be m(-9). Does 12 divide (34/7)/((-3)/k)?
False
Suppose -2*z + 84 = 2*m - 7*z, -4*z = -3*m + 126. Suppose -3*i + m = -i. Suppose a = -4*b + i + 9, b + 4*a = 0. Does 5 divide b?
False
Suppose -6*u + 7811 = 1511. Does 75 divide u?
True
Let n = 51 + 26. Does 11 divide n?
True
Is 1/(((4/(-10))/(-2))/165) a multiple of 37?
False
Let q(h) = -h**3 - 2*h - 3. Let j be q(-2). Suppose 0 = -2*z + 5*z - j. Is 84 + z/(-3)*1 a multiple of 26?
False
Let h be (-1 - -1) + (-3)/(-1). Suppose 0 = h*y - 2*s - 26, y - 3*s - 4 = 14. Let r = 12 - y. Does 3 divide r?
True
Let g = 19 - 6. Let a = 134 - g. Is 28 a factor of a?
False
Suppose -1946 = -3*m + v - 175, 0 = m - 2*v - 582. Is m a multiple of 9?
False
Let n(o) = 2*o + 3. Let f be n(6). Is 5 a factor of 10/((-1 + -1)*f/(-105))?
True
Let i(l) = -5*l + 1. Let h be i(1). Let k be (-1 - 4 - h)*0. Suppose 9*s - 4*s - 140 = k. Does 8 divide s?
False
Let i = 284 + -200. Suppose 0 = 5*o - o - i. Is o a multiple of 2?
False
Suppose -18*f = -f - 5032. Is f a multiple of 74?
True
Let t = -86 - -134. Is t a multiple of 18?
False
Suppose 7*w = 433 + 3312. Is w a multiple of 9?
False
Let c(o) = 502*o - 77. Is 14 a factor of c(6)?
False
Let u(v) = v**2 + 5*v + 2. Suppose 5*b - 2*a - 12 = 0, -5*b + 32 = 3*a - 0. Is 2 a factor of u(b)?
True
Suppose 4*n = 2*p + 12, p - 5*p = 0. Suppose 366 = n*c + t, 3*c - 3*t = -t + 366. Suppose 2*f - 44 = -y, -3*y + 3*f - 4*f + c = 0. Does 20 divide y?
True
Let u = 24 + -21. Let o(z) = 2*z + 9. Does 11 divide o(u)?
False
Let p be ((-6)/(-5))/((-34)/(-85)). Suppose -a + x + 4 = 15, p*x = a + 3. Let g = a + 50. Does 25 divide g?
False
Let j(r) = -32*r - 243. Is j(-12) a multiple of 21?
False
Let q(m) = 3*m**2 - 13 - m**2 - m**2 + 2*m + 0*m**2. Is q(4) a multiple of 5?
False
Let s(v) = 4*v**3 - 5*v**2 - 2*v + 9. Is 8 a factor of s(5)?
False
Suppose -7*y = -494 + 32. Let g = -58 + y. Is g a multiple of 6?
False
Is (318/12)/(2/4) a multiple of 4?
False
Suppose 205 = -10*s + 11*s. Suppose -l = -5*t - 11, -5*l + 3*t - 8*t = -s. Is 13 a factor of l?
False
Suppose -4*u + 6*q + 291 = 7*q, 0 = -3*u + 3*q + 207. Does 36 divide u?
True
Suppose 988 = p - 1168. Is p a multiple of 44?
True
Suppose 0 = -5*k + 5*w + 2080, 7*k - 2074 = 2*k - w. Is 5 a factor of k?
True
Let o = 154 - 98. Let z = 212 - 209. Suppose m - 3 + 62 = z*h, 0 = -2*h + 4*m + o. Does 8 divide h?
False
Suppose -2*m - m + 18 = 0. Suppose m = -d + 3*d, 0 = -5*q - 4*d + 12. Suppose q = g + 5*h, 3*g + h - 26 - 2 = 0. Is g a multiple of 5?
True
Let l(u) = -21*u - 19 + 22*u - 4*u**2 + u**2 - u**3. Is l(-6) a multiple of 23?
False
Suppose 0 = -6*j - 581 + 1631. Is j a multiple of 3?
False
Let z(w) = -18*w - 112. Is 19 a factor of z(-22)?
False
Is 85 a factor of ((-887)/(-3))/(5/(92 + -2))?
False
Suppose 0 = -2*d - 3*p + 33, -3*p = -4*d - 5 + 26. Let s = 14 - d. Suppose b = s*b - 64. Does 16 divide b?
True
Let a(o) = 0*o**2 + 9*o**2 - 24 - 6*o**2 + 0*o**2. Is 8 a factor of a(8)?
True
Suppose -w - 111 + 91 = 0. Does 11 divide (w/8)/(1/(-22))?
True
Let b(f) = 2*f**2 + 2*f - 2. Let n = 10 - 12. Let q be b(n). Suppose -q*o + 60 = -0*w + 4*w, -o - 40 = -3*w. Is w a multiple of 14?
True
Let d = 2604 - 60. Does 106 divide d?
True
Let n = 58 - -28. Let q = n + -32. Does 18 divide q?
True
Suppose 24 = 2*h - 2*k, 2 = -h - 4*k + 9. Let u be (0 - 2) + h + -7. Suppose -2*b = 2, -3*g - u*b = 3*b - 139. Is 12 a factor of g?
True
Let b(z) = 219*z**2 + 4*z + 1. Let y = 41 - 42. Is 36 a factor of b(y)?
True
Suppose -153*c + 26 = -152*c. Is c a multiple of 11?
False
Let h be 9/((2/(-8))/((-6)/36)). Suppose 100 = -h*w + 1816. Is w a multiple of 26?
True
Let g(t) = t**3 - 17*t**2 + 25*t + 10. Let a be g(18). Suppose -4*z - a = -8*z. Is 28 a factor of z?
True
Is (1 + 44/(-33))*(-2733)/1 a multiple of 94?
False
Let c be 4 + 0/(2 + -1). Suppose v + 2*r - 20 = -v, 0 = -c*r + 20. Suppose -n - 24 = -v*n. Does 4 divide n?
False
Let