8 = -4*h, 5*d + 0*h - 2*h = 26. Suppose 3*z + 3*o + 48 = 0, -d = -0*z + 2*z - 5*o. Is 14 a factor of (-1)/(-3) + (-428)/z?
False
Suppose -5*x = -2*b + 1 + 2, -x - 7 = -2*b. Let t be (2/(-4))/(x/(-6)). Does 4 divide (1 - 0)/(t/12)?
True
Suppose -2*s = -s + 2. Is (0 - -84)*(-1)/s a multiple of 21?
True
Suppose -2*j = -5*i - 16 + 4, 5*j + 3*i + 1 = 0. Let u = j + -6. Is 5 a factor of 264/30 - 1/u?
False
Let r be 5 + 2/3*-3. Suppose 3*x + 12 = v, r*v - 4 = -x + 2*x. Suppose d + v*c = -5*c + 3, 4*d - 69 = -c. Does 9 divide d?
True
Let g = 122 + -24. Is g a multiple of 14?
True
Suppose 3*i = 257 + 256. Suppose 50 = -n + i. Let b = n - 76. Is b a multiple of 17?
False
Suppose 0 = 2*f + 2*f - 32. Let n be (-4)/f + (-14)/(-4). Suppose -n*g = -3*l + 45, -2*g = 3*l - 4*l + 13. Is l a multiple of 13?
False
Let s be (-2)/(-4) + (-405)/(-6). Suppose 7 - 23 = -4*d. Suppose -3*r + d*v = 2*v - s, -v - 111 = -5*r. Is r a multiple of 9?
False
Suppose 5*g + 2*g - 287 = 0. Is 6 a factor of g?
False
Let g = 215 + -72. Suppose -2 = -5*z + g. Is z a multiple of 8?
False
Let z be (-1 - -1)*(-1)/3. Suppose z = 4*t + 2*n, 2*t = 3*t + 3*n. Is 9 a factor of (t - 9/6)*-6?
True
Let b(t) = -t**2 + 7*t - 6. Let q be b(5). Suppose -q*v = v - 245. Is 14 a factor of v?
False
Let w = -78 + 47. Let x = w + 50. Is 9 a factor of x?
False
Let r = 9 + -25. Let v be (-20)/r + 2/(-8). Does 3 divide 2*1 + 4/v?
True
Let i = 5 - -9. Let y be 2/(-9) - 142/9. Let o = i - y. Does 11 divide o?
False
Suppose -3*o - 4 = -2*o. Let w(h) = -14*h + 14*h + 2*h**2 + 4. Does 18 divide w(o)?
True
Suppose -8 = -2*i - 72. Let p = i - -58. Does 13 divide p?
True
Suppose 288 = 2*b + 2*b. Is b a multiple of 9?
True
Let n be (-5 + 3)*(-19)/2. Suppose 2*f + 2 = -2*p, 0*p = -p + 3*f + n. Suppose 0 = -p*r + 4 + 8. Is 2 a factor of r?
False
Suppose -h = 2*h + 4*b - 29, 4*h = -5*b + 40. Suppose -5*l + 27 = 2*v - h, 0 = l - 2. Is 13 a factor of v?
False
Does 2 divide 13/((-156)/(-80))*6?
True
Let k be (-4)/(-2) - (3 + -28). Let d(r) = r**3 - 2*r**2 + 2*r - 1. Let h be d(2). Suppose 0 = -h*z + 108 - k. Is 10 a factor of z?
False
Let l = 374 + -239. Suppose -k + l = 4*k. Does 18 divide k?
False
Does 22 divide 8 - (5 + 2) - (-44 + 1)?
True
Let q(c) = -21*c - 2. Is q(-4) a multiple of 6?
False
Suppose -v - 2*v + 6 = 0. Let z be (-1 - -3) + (-52)/v. Does 11 divide 1/6 - 860/z?
False
Suppose -2*l = -3*l + i + 19, -i = -5*l + 95. Let p = -13 + l. Is 4 a factor of p?
False
Let a = 2 + 0. Suppose 2*q - 26 = 3*b - a*b, 2*q = -5*b + 2. Is q a multiple of 7?
False
Let q(x) = -3*x + 9 - 3*x**2 - 11 + 4*x**2. Let b be q(4). Suppose 0 = g - b*g + 33. Is 17 a factor of g?
False
Is 16 a factor of 4*13/(65/180)?
True
Let w(t) = 8*t. Let i be ((-4)/3)/((-4)/(-42)). Let n be (-6)/(-21) + (-24)/i. Is w(n) a multiple of 10?
False
Let a(y) = 7 - 15*y - 7 + 0. Does 15 divide a(-2)?
True
Let d(c) = 11*c**2 - c - 4. Is 14 a factor of d(-3)?
True
Suppose -11*i = -16*i + 195. Does 3 divide i?
True
Suppose 18*x - 16*x = -78. Suppose 7*w - 3*w + 108 = 0. Let p = w - x. Is p a multiple of 11?
False
Let m = 8 + -4. Suppose 0 = -3*j - 14 - m. Does 14 divide 2/(-3) - 118/j?
False
Suppose -6*n = -0*n - 162. Is 10 a factor of n?
False
Suppose -11 + 2 = -3*f. Suppose f*u - u + 5*t - 35 = 0, 4 = -4*t. Does 10 divide u?
True
Let t be (3/(-6))/((-7)/126). Let v = t - 2. Is 7 a factor of v?
True
Let h(g) = -g**3 - 5*g**2 + 6*g + 3. Let l be h(-6). Let s = l - 0. Is s a multiple of 3?
True
Let z(b) = 2*b**2 - 3*b - 4. Let s(y) = -2*y**2 + 3*y + 3. Let c(h) = -4*s(h) - 3*z(h). Is c(5) a multiple of 20?
False
Let z(s) = -25*s + 4. Is 46 a factor of z(-8)?
False
Suppose -5*z - 2*n = -66, 5*n = 3*z - 13 - 39. Does 4 divide z?
False
Suppose -u + 1 = -y + 3, -3*y + 5*u + 4 = 0. Let j = 39 - 29. Does 4 divide ((-4)/j)/(y/(-105))?
False
Suppose -6*l + 24 = -3*l + x, 0 = -2*x. Suppose -l = -2*v + 2. Is v a multiple of 5?
True
Let v(o) = -o**3 + 2*o + 1. Let r be v(-3). Suppose 2*i + 5*b = -0*i - r, 3*i + 7 = -b. Is (i - -3)/2 + 17 a multiple of 9?
True
Let d(c) = 2 - 2*c + 8*c - 7*c**2 + 3 + c**3. Is d(6) even?
False
Suppose 0 = -2*f + 6*f. Suppose -2*n + f*n = -38. Is n a multiple of 19?
True
Suppose 40 = 4*h + 4*r - 0*r, 0 = -3*h - 4*r + 30. Is h a multiple of 10?
True
Let s be 5/(-10) - (-2277)/6. Suppose 4*i = -3*n + 6*n + 317, -5*i + s = 2*n. Is 23 a factor of i?
False
Let x = 25 + -17. Let m be (-10)/15*(x + 1). Let n(b) = b**3 + 6*b**2 - b + 6. Does 6 divide n(m)?
True
Suppose -i = 4*o - 228, 3*i - 4*o = -2*i + 1116. Is i a multiple of 32?
True
Let z(l) = -5*l**2 + 2*l - 1. Let m be z(1). Let a(f) = -4*f - 6. Let q be a(m). Is 14 a factor of ((-56)/(-10))/(2/q)?
True
Let o = -10 + 12. Suppose -p = o*b + 4*p - 72, 5*p = 3*b - 58. Is b a multiple of 11?
False
Suppose -20 = -k - k. Is k a multiple of 10?
True
Let b(x) = 35*x**3 + x**2 - 2*x + 2. Is b(1) a multiple of 20?
False
Let z(x) = 5*x**2 + 23*x + 22. Does 13 divide z(-9)?
False
Let j(g) = 3*g**2 - 4*g - 6. Is 24 a factor of j(-5)?
False
Let m(k) = -7*k**3 + k**2 + 2*k + 1. Suppose -2*o - 5*u = 2, u + 0 = -4*o - 4. Does 3 divide m(o)?
False
Let c(d) be the first derivative of 9*d**4/4 - 2*d**3/3 - 3*d**2/2 + 3*d + 4. Is 9 a factor of c(2)?
False
Let k be 0 + (-8)/(-2) + -3. Does 3 divide k - (-3)/(9/15)?
True
Let n be (3 + -2)/(2/(-10)). Let b = 8 + n. Does 2 divide b?
False
Suppose w = 6*w - 140. Suppose 2*h = -2*h + w. Let u(c) = c**3 - 8*c**2 + 10*c - 8. Is u(h) a multiple of 13?
True
Suppose -4*h + 5*r = -43, h - 4*r - 5 - 14 = 0. Let o(q) be the first derivative of -q**3/3 + 4*q**2 + 2*q - 7. Is o(h) a multiple of 9?
True
Let n be (89 + -2 - -2) + 0. Let c = -47 + n. Does 21 divide c?
True
Suppose 99 = 3*h - 66. Is h a multiple of 19?
False
Let n(a) = -5*a - 7. Let g(s) = -11*s - 15. Let r(w) = -2*g(w) + 5*n(w). Let o be r(-4). Suppose -m + o = -t - 26, 8 = m + 4*t. Is 14 a factor of m?
True
Does 20 divide (-187)/(-5) - 10/25?
False
Does 6 divide -3 + (-40)/(-1) + -3?
False
Let k = -6 + 102. Is 16 a factor of k?
True
Suppose 4*t - 2*x = 9 - 1, -13 = -3*t - 2*x. Let y = 3 + -1. Suppose -5*i = y*c - 0*c - 68, -12 = -t*c. Is i a multiple of 6?
True
Suppose 4*j + 19 = -5. Let y = -8 - j. Let z = y + 13. Is 6 a factor of z?
False
Let s = -4 - -2. Does 16 divide 274/6 - s/(-3)?
False
Let v = -18 - -28. Let o(y) = 0*y - 3*y + v*y. Is 14 a factor of o(4)?
True
Suppose -2*x = -8 - 2. Suppose 6*k - 44 = x*k. Does 17 divide k?
False
Let d(n) be the first derivative of n**3/3 - n**2/2 - 8*n - 10. Let z = 6 - -1. Does 18 divide d(z)?
False
Let w(q) = 26*q**2 + 2*q - 1. Let l be -1*2 + 9/3. Is w(l) a multiple of 11?
False
Let r = -56 + 166. Does 5 divide r?
True
Suppose -3*y = -8*y - 3*a + 314, 2*y - 4*a = 136. Is y a multiple of 14?
False
Suppose -2*f + 4*a = -100, f = -2*a + 3*a + 53. Is f a multiple of 18?
False
Let i = 8 + -6. Suppose 0*l = -l + i. Suppose -3*a + 15 = -l*a. Is a a multiple of 15?
True
Let a = -3 + 5. Let u be 2 + a - -1 - 2. Suppose 2 = -x + u, 0 = t + 3*x - 16. Is t a multiple of 11?
False
Suppose w + 219 = t, 3*t + 4*w + w - 697 = 0. Does 28 divide t?
True
Suppose 0 = -c - 3*i, -2*i - 2 = 5*c + 63. Let q = 7 - c. Is q a multiple of 11?
True
Suppose -2 = -z + 6*v - v, 2*z - 3*v + 10 = 0. Let f be (z/(-6))/((-1)/(-3)). Is 7 a factor of 38/(f*(-1)/(-2))?
False
Let s be 6/(-9) - (-1596)/(-9). Let i = -126 - s. Is 8 a factor of i?
False
Let o(w) = -39*w + 1. Let s be o(1). Let a = -22 - s. Is a a multiple of 16?
True
Let u = 74 - 50. Does 12 divide u?
True
Let k = 13 - 6. Suppose -80 = -3*b + k. Does 8 divide b?
False
Let s be (-3 - 5/(-3))*3. Is (s/5)/(8/(-60)) a multiple of 2?
True
Let o(c) = 2*c - 3. Let u be o(3). Suppose u*s = -12, -2*s + 12 = 5*l - 5. Suppose q + 0 = -p + 1, 4*p + l*q = 1. Is 2 a factor of p?
True
Let j(m) = -10*m + 2. Is 4 a factor of j(-1)?
True
Suppose -5*f + 2*u = -0*u - 245, 0 = 4*u. Let s = f - 27. Is 11 a factor of s?
True
Let i be (0 + 45/(-1))*-1. Suppose 0 = -4*y + 3*x + i, x - 55 = -5*y + 6*x. Is 6 a factor of y?
True
Let l(x) = 44*x - 17. Is l(3) a multiple of 38?
False
Suppose 0 = -4*c + 2*c + 5*w + 193, -491 = -5*c + 4*w. Is c a multiple of 33?
True
Suppose -4*p + 40 = -2*p. Is p a multiple of 4?
True
Let f(j) = -3*j + 55. Is f(0) a multiple of 5?
True
Le