or of 22/u - 2/z?
False
Suppose -3*b - b + 964 = s, 3*s + 980 = 4*b. Is 21 a factor of b?
False
Suppose -4 = -2*k + 2. Is (2*3)/(k/2) even?
True
Let v(i) = -14*i - 10. Let n(t) = 15*t + 9. Let s(k) = 5*n(k) + 6*v(k). Is 16 a factor of s(-7)?
True
Suppose 0 = 18*r - 7*r - 935. Does 3 divide r?
False
Suppose 3 = -5*z + 13. Suppose 3*a - 13 = -h - z, -5*a = -5. Does 8 divide h?
True
Suppose -n - 2*w + 17 = 0, -4*n + 6*w + 16 = w. Suppose -3*z = n + 15. Let b(q) = -q + 3. Is b(z) a multiple of 5?
False
Let p(y) = y**3 + 11*y**2 - 13*y + 13. Is 8 a factor of p(-12)?
False
Let u(o) = o**3 + 7*o**2 + 4*o - 6. Let r be u(-6). Let v be ((-12)/(-15))/(r/15). Suppose 3*k + a = 6*k - 91, -4*k + 118 = v*a. Is k a multiple of 15?
True
Suppose -y + 9 = -l, -2*y + 0*l + 16 = -4*l. Does 2 divide (-6)/(-10) + 64/y?
False
Suppose 4*k = k + 21. Let s(t) = t**3 - 8*t**2 + 6*t - 1. Let c(u) = u - 1. Let p(a) = 2*c(a) - s(a). Is p(k) a multiple of 14?
False
Suppose 4*p - 360 = -p. Is p a multiple of 16?
False
Suppose 6 = 15*l - 14*l. Is l a multiple of 3?
True
Suppose 6 = 3*r - 0. Let n = -44 - -7. Is r*(n/(-2) + 1) a multiple of 17?
False
Let k(h) = 8 + 2 - 9*h - 2 - 3*h. Is k(-6) a multiple of 20?
True
Let v(u) = 36*u**2 + 0 + 2*u - 2 - 5*u. Let d be v(-2). Is ((-2)/4)/((-2)/d) a multiple of 14?
False
Suppose 4*p + 101 = 1181. Suppose q - p = -3*t, q + 4*q = 2*t - 163. Does 20 divide t?
False
Suppose 3*x - 2*q - 40 = 89, -4*x + 195 = 5*q. Suppose j + 5*n = -5, 8*n = 4*j + 3*n + 145. Is 16 a factor of (-5)/(x/12)*j?
False
Let l = 12 - -9. Let c = l + 15. Does 12 divide c?
True
Let i = 32 - 16. Suppose -2*f + 72 = -i. Is f a multiple of 12?
False
Let k(o) = o**3 - 5*o**2 - 2*o + 2. Suppose 0*x - 18 = -3*x. Let r be k(x). Suppose c = g + r, -5*c + 170 = 2*g + 3*g. Is 15 a factor of c?
True
Suppose 5 = -y + 2. Let m(s) = 4*s**2 - 6. Is 15 a factor of m(y)?
True
Suppose -20 = -5*j, 7*j + 38 = 5*g + 4*j. Let s = 23 - g. Suppose -5*l = 4*q - 82, l + s = 3*l - 5*q. Does 7 divide l?
True
Let m(c) = c**2 + 6*c + 2. Let j be m(-5). Let w = j + 8. Does 3 divide w?
False
Does 32 divide 5/(-40) + (-5124)/(-32)?
True
Let s(o) = 9*o - 5. Let h be s(2). Suppose -5*v = z + 37 - 4, z = v + 3. Let f = v + h. Is 4 a factor of f?
False
Let r = 8 - 3. Let m = r - -24. Does 16 divide m?
False
Suppose -3*z + 7*z + 20 = 2*d, 2*z + 18 = 3*d. Suppose d*b = 2*s + 14, 5*b = -3*s + 7 + 5. Does 2 divide b?
False
Suppose 8 = 5*a - 2, 30 = 5*y + 5*a. Is y a multiple of 4?
True
Let t be (1 + -1)*(-3 - -2). Let x be (7 + t)/((-1)/(-3)). Let l = 32 - x. Is 11 a factor of l?
True
Let x = -119 - -381. Is 21 a factor of x?
False
Let f(m) = -4*m - 2. Let x be f(-2). Let w be 2/x - 741/9. Is -1 + (-1)/(2/w) a multiple of 20?
True
Let k(f) = 3*f**2 - f. Does 7 divide k(-2)?
True
Suppose 0 = -0*x - x + 4*z + 94, 0 = 2*x - z - 160. Is x a multiple of 26?
True
Suppose 0 = -6*s + s + 40. Is (-2)/(-4) - (-252)/s a multiple of 11?
False
Let d = 157 + -51. Does 41 divide d?
False
Let y(r) = r**3 + r**2 - 1. Let n(h) = 6*h. Let f be n(1). Let k(z) = 5*z**3 + 13*z**2 - 15. Let p(i) = f*y(i) - k(i). Is 4 a factor of p(7)?
False
Let y be (-15)/(-10)*76/3. Let n = y - 2. Does 20 divide n?
False
Let w(q) = 3*q - 6. Suppose -3*v + 6 = -2*v. Is 5 a factor of w(v)?
False
Suppose 64 + 104 = 3*i. Is 20 a factor of i?
False
Let k = 0 + 25. Is k a multiple of 20?
False
Let z(t) = 13*t**3 + t**2 - 9*t + 4. Let w(g) = -7*g**3 - g**2 + 5*g - 2. Let h(i) = 11*w(i) + 6*z(i). Let m be h(4). Let p = 49 + m. Is 13 a factor of p?
True
Suppose 5 = 5*r, r = -2*y - 2*r + 27. Suppose 10*w - y*w + 52 = 0. Does 10 divide w?
False
Suppose 0 = 3*h - 5*l - 31, 37 = 3*h - 0*h + l. Let u = h + -21. Let k = u + 17. Does 8 divide k?
True
Suppose 2*t + p - 16 = -0*p, 32 = 4*t - 3*p. Does 4 divide t?
True
Let o = -4 - -9. Let s be 12/o - (-2)/(-5). Suppose 2*g - 4*w = 7 + 29, 66 = 3*g - s*w. Is 11 a factor of g?
False
Suppose 10 + 22 = c - 2*m, -4*m = -5*c + 154. Suppose d = -d + c. Is 11 a factor of d?
False
Let h = 42 + 24. Does 33 divide h?
True
Suppose 4*z - 5*p - 20 = -8, -5*z - 3*p = -15. Suppose t = z*x - 19, -4*t - t = -4*x + 18. Let d(v) = v**2 - 5*v + 2. Does 16 divide d(x)?
True
Let j be 1/(-2 - (-11)/5). Suppose 0 = -j*k - 0*k. Suppose k = 4*y + 5*f - 29, 3*y - 40 = -3*f - 16. Is y a multiple of 9?
False
Let v(h) = 134*h**3 + 2*h**2 - 1. Let t be v(1). Let c(q) = q**3 - 2*q + 1. Let o be c(1). Suppose -t = -o*g - 3*g. Is g a multiple of 15?
True
Let a = -154 + 270. Suppose -169 - a = -5*o. Is 19 a factor of o?
True
Suppose -x + 5*b + 252 = 0, 4*x - 6*b + 8*b - 1008 = 0. Does 18 divide x?
True
Let i be 0/(-2 - -4) - 16. Suppose j + 2 = -2*p - 4*j, j = 5*p + 59. Let c = p - i. Is 3 a factor of c?
False
Let l = 1439 + -909. Suppose -5*z = -2*v + 244 - 9, -4*v = 2*z - l. Suppose -2*f - 30 + v = 0. Is 13 a factor of f?
False
Let p = -17 + 24. Is 3 a factor of p?
False
Let l(k) = 8*k**3 - k**2 - 2. Is 41 a factor of l(3)?
True
Suppose 0 = 18*d - 0*d - 2016. Is d a multiple of 8?
True
Let j(g) = g**2 + 2*g - 5. Let t(p) = p**2 - p - 1. Let s be t(3). Let y be j(s). Let m = y - -3. Is 11 a factor of m?
True
Suppose -9*t - 255 = -4*t. Suppose 3*s = -6, 2*m + 32 + 0 = -2*s. Let b = m - t. Is 13 a factor of b?
False
Let u = -16 - -18. Suppose -u*h + 40 = -4. Is h a multiple of 11?
True
Let v(q) = -q**2 - q - 2. Let f be v(-2). Let w(s) = -2 - 3*s - 3*s**2 - s**2 - s**3 + 4. Does 7 divide w(f)?
True
Suppose -4*u + 3*k + 170 = -63, u + k = 53. Does 7 divide u?
True
Let n(a) = a**3 + 3*a**2 + 3*a. Let v be n(-2). Is 34 - (v - 0)/(-1) a multiple of 10?
False
Let b = 41 - 17. Suppose 2*u - b = -2*a, 3*a + u + 0*u = 28. Is 8 a factor of a?
True
Suppose -3*p - 2 = 13, -l = 5*p + 20. Suppose -310 = -l*r - 35. Let a = r + -30. Is 13 a factor of a?
False
Suppose 5*s - 48 = 4*s. Is 12 a factor of s?
True
Let m be (0 + 1)*(7 + -5). Suppose 2*h = -m*f + 2, 0 = -2*h - f + 5*f + 32. Is 5 a factor of h?
False
Suppose k - 38 = -5*t, -2*t - 5*k = 3*t - 30. Is 3 - (t - -3)*-1 a multiple of 7?
True
Suppose 72 - 24 = 4*n. Is 3 a factor of n?
True
Let m(q) = -q**3 - 5*q**2 - 3*q + 4. Let t be m(-4). Let u(f) = -2*f**2 + f + 60. Is 30 a factor of u(t)?
True
Suppose 2*h - 163 - 107 = 0. Is h a multiple of 9?
True
Let g be (6 - 7)/(2/(-6)). Suppose -2*z - a = -5, -5*z + 20 = 5*a - a. Suppose -3*h - g*b = -33, -h + z = 5*b + 1. Is 7 a factor of h?
True
Let c(x) = 4*x**3 - 3*x**2 + x + 2. Let m(t) = -t**2 + 8*t - 5. Let n be m(7). Does 12 divide c(n)?
True
Suppose -7*s = 5*k - 2*s - 360, -5*s + 220 = 3*k. Is 31 a factor of k?
False
Let w(h) = -h**3 + 6*h**2 + 7*h + 2. Let j be w(7). Let i = j + 32. Is i a multiple of 19?
False
Suppose -o - 3 = -2. Let q be -2 + 1*-17 - o. Does 7 divide ((-76)/(-6))/((-12)/q)?
False
Suppose -140 - 84 = -4*f. Does 12 divide f?
False
Let g be (6/18)/(1/15). Suppose g*p - 5 + 0 = 0. Let j(o) = 29*o. Is j(p) a multiple of 13?
False
Suppose -7*v + 10*v - 468 = 0. Is v a multiple of 9?
False
Suppose 3*l - 157 = -2*s, -l + 3*s + 2*s = -41. Let b = l - 101. Let y = b - -78. Is 10 a factor of y?
False
Suppose 0 = 3*q + 9, 15 = -3*i + 4*q - 3*q. Let o = i - -15. Is 5 a factor of o?
False
Let d be (-6)/(-21) - 145/(-7). Let g = -12 + d. Let a(j) = j**3 - 10*j**2 + 10*j + 9. Does 18 divide a(g)?
True
Suppose 27*c = 20*c + 448. Does 13 divide c?
False
Suppose a - 144 = -2*a. Is 12 a factor of a?
True
Let l(o) = -o**3 + 4*o**2 - 2*o - 1. Let y be l(3). Suppose -j + y = -2. Suppose -j*n = -n - 99. Does 17 divide n?
False
Let p = 10 - 8. Let i be 56 + -6 - p*1. Suppose 10*c - 6*c - i = 0. Is 12 a factor of c?
True
Let k be 18 + (-5)/((-10)/(-4)). Suppose -g - g = 5*y - 16, 2*y - k = -2*g. Does 7 divide g?
False
Let d(b) = -3*b**2 + 7*b - 155. Let l(t) = t**2 - 2*t + 52. Let q(x) = 2*d(x) + 7*l(x). Is q(0) a multiple of 27?
True
Let s(f) = 2*f + 15. Let c(y) = -y - 7. Let o(g) = 11*c(g) + 6*s(g). Let j be o(-8). Does 8 divide 234/15 + 2/j?
True
Let b(v) be the second derivative of v**5/20 + v**3/6 + 45*v**2 - 6*v. Is b(0) a multiple of 30?
True
Let r(b) = 10*b + 3. Let t be r(-3). Let n = t + 55. Is n a multiple of 12?
False
Let m(o) = o**2 - o - 2. Let p be m(2). Suppose h - 3*h = p. Suppose h = -j - 2*i - 2*i + 10, -5*j = -i - 71. Is j a multiple of 7?