0. Does 22 divide u?
True
Let h(b) = b**3 - 8*b**2 - 12*b - 23. Does 12 divide h(10)?
False
Is 12*((-7)/28 - (0 + -1)) a multiple of 9?
True
Suppose 5*l = 3*w - 0 - 2, 4*l - 12 = -w. Suppose -2*y + l = -22. Is y a multiple of 6?
True
Let r be (-18)/(-8)*(-16)/(-6). Suppose -r = -5*i + 19. Is 2 a factor of i?
False
Let i be -2 - -1 - 1*-1. Suppose 286*p = 282*p + 4. Is (-22)/(p + -2) - i a multiple of 17?
False
Suppose -4*i = 2*b - 340, 2*i + b = -2*b + 166. Does 11 divide i?
False
Suppose 3*c - 131 = 4*p - 0*p, 0 = -c - 2*p + 37. Is c a multiple of 5?
False
Suppose -4 = 4*n, 0*n + 2*n = z. Let m be 2 + (2 + z - -11). Let j = 1 + m. Does 14 divide j?
True
Let k be (-154)/(-55) - (-2)/10. Suppose 2*q = -q - 2*n + 64, -k*n = -5*q + 94. Is 10 a factor of q?
True
Let z(q) = -q**3 + 13*q**2 + 15*q + 5. Is z(14) a multiple of 19?
True
Suppose -4*u = 4*h - 182 - 10, 3*u - 50 = -h. Is 11 a factor of h?
False
Suppose -18 = 3*r - 78. Is r a multiple of 9?
False
Let m be (-4 + 3)*-3 + -4. Let n = 11 + m. Does 10 divide n?
True
Let o be 0*3/(-12) + 17. Suppose -5*v + 183 = -o. Is v a multiple of 9?
False
Suppose -225 = -4*l - l. Is l a multiple of 11?
False
Suppose a - 3*b = -2, 0 = -a + 4*a + 2*b + 6. Let y be (a/(-2))/(-1 - 0). Is 0 - (-8)/y*-1 a multiple of 8?
True
Suppose 96 = t + 20. Suppose -2*u + t = -4*b, 4*u - 178 = -b - 26. Is u a multiple of 13?
False
Let q(s) = -s**3 - 16*s**2 - 15*s + 15. Does 15 divide q(-15)?
True
Let p = -48 - -62. Does 7 divide p?
True
Suppose 2*b + 4*l = 4*b + 44, b - l + 17 = 0. Let f = b - -22. Is 3 a factor of f?
False
Suppose -2*h = -83 - 183. Does 7 divide h?
True
Is 82/((1 + 0)/((-17)/(-34))) a multiple of 3?
False
Let l(o) = o. Let v be l(5). Suppose -v*r + 5*n + 0*n + 30 = 0, 5*n = r + 2. Is 3 a factor of r?
False
Suppose -6 = -3*q, y + 17 = 3*q + 2. Let u = 58 - 36. Let c = u + y. Is c a multiple of 9?
False
Let u = -91 - -187. Is u a multiple of 17?
False
Let z(t) = -t**3 + 13*t**2 + 8*t - 25. Does 13 divide z(13)?
False
Let w = 34 + -19. Does 5 divide w?
True
Let w(n) = n**2 + 2. Does 10 divide w(-4)?
False
Let j = -9 + 11. Let m(x) = 0*x**j - 8*x + x**2 - 6 - 8*x + 5*x. Does 6 divide m(12)?
True
Let f be (-15)/10 - 3/(-2). Let t(q) = q**3 - q**2 + 3. Let x be t(f). Is 13 a factor of x/(3 - 0) + 12?
True
Let x = 151 + -103. Suppose 3*m - x = 30. Is m a multiple of 13?
True
Let i(k) = 7*k - 4. Let d be i(5). Suppose 3*u + 4 = d. Suppose -141 = -3*f - u. Does 22 divide f?
True
Suppose -3*p + 0 = -12. Suppose -p*i = -2*i. Suppose i*o - 12 = -4*n - o, 4*n - 3*o - 12 = 0. Is n a multiple of 2?
False
Let d = -8 - -12. Suppose -2*p + d*z = -10, -14 = -p - z + 3. Let r = p - -9. Is 17 a factor of r?
False
Let g(j) = -j**3 + 12*j**2 + 4*j - 1. Let w be g(12). Suppose -4*c + 17 = -w. Does 7 divide c?
False
Let z = -1 - -1. Does 3 divide -2 - -8 - (z + 2)?
False
Suppose -31 - 28 = -h. Is 36 a factor of h?
False
Let h(z) = -z**2 + 12*z - 13. Does 6 divide h(10)?
False
Is 504/90*10/4 a multiple of 14?
True
Let y = 50 - 28. Suppose 3*p = 2 + y. Is 8 a factor of p?
True
Let n(c) = 29*c**3 + 6*c**2 - 6*c - 2. Is n(2) a multiple of 11?
True
Is 6 a factor of (-3 + 0)/((-3)/18)?
True
Suppose 2*i = -0*i + 2. Let u be -2 + 1 + i - -2. Suppose -u*m = -o + 4*o - 106, -3*o - 144 = -3*m. Is 20 a factor of m?
False
Let d = 1 + -2. Let u be -1 + (-1)/(3 - 2). Does 7 divide 2*7*d/u?
True
Suppose -3*g - 4 = 5, g - 37 = -2*l. Is 4 a factor of l?
True
Let f = 27 - 16. Suppose -56 = -z + f. Suppose -5*p - 3*k + 168 = -k, -2*p = k - z. Is 17 a factor of p?
True
Let x(s) = 2*s**2 - 6*s + 4. Suppose -k + 7 - 2 = 0. Suppose -p = 4*r - 13, 2*p - 2*r - 16 = -k*r. Is x(p) a multiple of 16?
False
Let x(k) = -2*k + 0 + 1 - 2. Let j be x(-5). Suppose 3 = z - j. Is 12 a factor of z?
True
Is 12 a factor of (23 - 1)/(4/8)?
False
Let o = -86 + 167. Does 27 divide o?
True
Let p be 1/(-4) - 148/(-16). Let u(q) = q**3 - 10*q**2 + 10*q + 6. Does 6 divide u(p)?
False
Let k = 16 + 6. Does 11 divide k?
True
Suppose -2*h + 51 = 3*b, -3*h - 102 = -4*b - 34. Is b even?
False
Let l(p) = p**3 + 16*p**2 + 15*p + 8. Does 4 divide l(-15)?
True
Suppose 4*a = -4*q + 648, 4*a = 7*q - 2*q + 666. Is a a multiple of 26?
False
Suppose -5*z - h - 21 = -205, 3*z - 92 = 4*h. Is 9 a factor of z?
True
Let k(h) = h**3 + 5*h**2 - 3. Let a be k(-5). Is 6/(9/a) + 14 a multiple of 6?
True
Suppose 21*f - 19*f - 248 = 0. Does 31 divide f?
True
Let f be 9/2 - (-3)/(-6). Let h(a) = -a**3 + 4*a**2 + a - 2. Let b be h(f). Suppose 7*o - b*o - 95 = 0. Is 10 a factor of o?
False
Suppose 0 = -4*g + 3*r + 84, 4*r + 8 = -g + 2*g. Let h(p) = -p**2 - 3*p + 3. Let d be h(-3). Suppose d*b = -b + g. Is b a multiple of 4?
False
Is 2/3 + 7800/72 a multiple of 18?
False
Suppose -3*u + 172 = -134. Does 21 divide u?
False
Let x(s) = -s**3 - 5*s**2 + 5*s - 7. Let d be x(-6). Let k be 2/(-3)*21/d. Let f = k - -9. Is f a multiple of 13?
False
Suppose x + 3*x - 24 = 0. Suppose -x*p + 90 = -3*p. Is p a multiple of 10?
True
Let r = 103 + -62. Let t = r + -20. Does 6 divide t?
False
Let s = -8 - -10. Is 23 a factor of (20/(-8) + s)*-106?
False
Let g(z) = 7 - 4 + 1 - 15*z. Is g(-6) a multiple of 34?
False
Suppose -4*y + 40 = y. Suppose l = -l - y. Is ((-2)/l)/(5/130) a multiple of 7?
False
Let n(w) = w**3 - 7*w**2 + 7*w - 2. Let m be n(6). Let k = -5 + m. Let z = 15 + k. Is z a multiple of 14?
True
Let y = 3 + -7. Let u be y/((-36)/(-15))*-27. Suppose -u - 43 = -4*k. Is 11 a factor of k?
True
Let t(u) = u**2 - u - 3. Let b be t(3). Suppose 0 = -0*a + b*a - 162. Is a a multiple of 27?
True
Let a = -96 + 171. Does 25 divide a?
True
Let y be (-6)/(-24) - (-195)/4. Let f = y + -4. Is f a multiple of 15?
True
Let a(q) = -q**2 - 9*q - 4. Let t be a(-9). Is 2 a factor of (-2)/6*3*t?
True
Let r(o) = -3 + 0 - 5 - 14*o + 6*o. Does 10 divide r(-6)?
True
Let u(m) = -2*m**3 + m - 2 + 2*m**3 + 0*m**3 + 2*m**3 - 2*m**2. Is 8 a factor of u(2)?
True
Let w = 466 - 309. Is w a multiple of 29?
False
Let a(h) = -h. Let j(g) = -g**3 - g**2 + 5*g + 3. Let r(q) = -5*a(q) - j(q). Let s be r(0). Is 16 a factor of (-18)/(-1)*(-8)/s?
True
Let s(j) = j**2 + j. Let v be s(0). Let r(i) = -i + 10*i - 2 - i**2 + v. Is r(4) a multiple of 9?
True
Let i be 2/(4/(-26) - 0). Let j = i - -68. Is j a multiple of 19?
False
Suppose -8*g + 3*g = -2*k + 322, -k + g = -167. Is 17 a factor of k?
False
Suppose -146 = -t + 4*b, t - 2*b = -6*b + 178. Is 18 a factor of t?
True
Let j(i) = -i**3 - 6*i**2 + 7*i + 2. Let l be j(-7). Suppose -l*x - 43 = -143. Is 10 a factor of x?
True
Let o = -1 + 25. Does 4 divide o?
True
Let a = 8 + 12. Is 5 a factor of a?
True
Suppose 2*j - 5*i = 75, -30 = -j - 0*j + 5*i. Does 13 divide j?
False
Let a = 2 - -2. Suppose a*t = t + 36. Suppose 3*z + t = -f + 2*f, 3*z + 30 = 4*f. Does 6 divide f?
True
Let i be (-8904)/(-15) + (-3)/5. Suppose 1561 = -4*j + i. Does 10 divide j/(-8) - (-5)/(-20)?
True
Suppose 3*j = -0*j + 6. Suppose 3*c = j*c - 4, 200 = 5*y - 5*c. Is 9 a factor of y?
True
Let y(p) = p**2 - p - 10. Let d = 20 - 13. Let g be y(d). Let f = -11 + g. Is f a multiple of 9?
False
Suppose 0 = 4*n - 12, 2*f - 14 = -0*f - 2*n. Suppose -f*s = -5*s + 40. Is 9 a factor of s?
False
Let o(w) = w**3 + 10*w**2 + w - 9. Is 13 a factor of o(-9)?
False
Let f be ((0 - 1)*0)/2. Suppose -u = -f*u - 4. Suppose u*h - 12 = h. Is 4 a factor of h?
True
Let a be (0 + 32)/(3 - 4). Let k = a - 20. Is -2 + (1 - k)/1 a multiple of 14?
False
Suppose -175 = -5*a - 5*l, 5*l + 7 - 22 = 0. Suppose -2*r + 2*x - 44 + 126 = 0, 0 = r - 4*x - a. Does 22 divide r?
True
Let g(y) = y**3 + 5*y + 2. Let q be g(-3). Let p = 16 + q. Does 8 divide ((-6)/9)/(1/p)?
True
Let v be (3/4)/(1/4). Let p = -9 - -10. Is (69/9 - p)*v a multiple of 16?
False
Let g = -52 - -80. Is 12 a factor of g?
False
Let l(d) = -d - 9. Let t(f) = f + 9. Let g(n) = 5*l(n) + 6*t(n). Let c be g(-7). Suppose -c*z - 156 = -4*h, h + 0*h + 2*z = 39. Does 16 divide h?
False
Let b(h) = -3*h**3 - 2*h + 1. Let k be b(1). Let q be 0 + 2/(-4)*k. Is -5 + q - (0 - 18) a multiple of 9?
False
Let z = -1 - -5. Suppose -z*w + 29 = -111. Is w a multiple of 11?
False
Suppose -2*b + 2*r = -16, 8 = -b + 2*b - 5*r. Suppose -3*d = -43 - b. Let y = 37 - d. Does 10 divide y?
True
Suppose -s - 16 = 14. Is s/25*40/(-3) a mu