- 19 + 3 = 0. Does 10 divide l?
True
Let j be 1/(2/68) + -2. Suppose -4*u + 101 = -v, u - v - j = -3*v. Suppose -4*h - u = -2*r, r + h - 3 = 4. Is 5 a factor of r?
False
Suppose 2*x = -3*b - 223, -x + 0*x = 5*b + 367. Let f = -9 - b. Is 18 a factor of f?
False
Let z(b) = -2*b - 1. Let y(r) = 2*r + 2. Let n(u) = u**2 + 4*u - 8. Let p be n(-6). Let m(g) = p*z(g) + 3*y(g). Is 6 a factor of m(-4)?
False
Suppose -6 - 2 = 2*q, 0 = -2*o + 4*q + 40. Is o a multiple of 12?
True
Does 6 divide 0 + 3/(42/236)*7?
False
Let j(t) = -t**2 + 7*t + 9. Let x be 8 + 1*(-2 - -1). Is j(x) a multiple of 9?
True
Let u = -4 - -4. Suppose -4*o + 7*k - 2*k + 20 = u, 4*o = 2*k + 8. Suppose o = -3*v + 28 + 98. Does 18 divide v?
False
Is 3 a factor of 1 - -11 - (-2 + 5)?
True
Let t be 0 + (-3)/((-9)/6). Suppose 2*x - 8 + t = 0. Suppose 0 = -8*a + x*a + 200. Is a a multiple of 12?
False
Let w = 12 + -8. Let l be 0 + -2 + w - 1. Does 9 divide -50*l/(-2) - 0?
False
Let n = -52 - -204. Is n a multiple of 38?
True
Suppose 5*z - j = -4*j + 355, 2*j - 350 = -5*z. Does 68 divide z?
True
Let f be ((-3)/1)/((-2)/2). Suppose 0 = 5*r + 5*q - q - 27, 5*r - 6 = f*q. Let x = r + 2. Is x a multiple of 5?
True
Let a(g) = 10*g**2 - 5*g - 5. Does 23 divide a(-2)?
False
Let w be 2/(-1) + 2 - 2. Let m be 2/(-6)*0 - w. Suppose 0 = m*t - 48 - 8. Is t a multiple of 14?
True
Suppose -2*o + 9 = o. Suppose -o*a = -7*a + 64. Suppose -2*c + a = 2*c. Is 3 a factor of c?
False
Let g(z) = 11*z + 5. Is g(8) a multiple of 18?
False
Let y be 15*(-3)/((-9)/14). Suppose 2*q = -4, -2*q - y + 24 = -2*l. Is 7 a factor of l?
True
Suppose -5*f + 204 = -471. Does 9 divide f?
True
Suppose x - 7 + 1 = 0. Suppose 0 = d + 3*i - 8, -d = -4*i - 9 - x. Is 11 a factor of d?
True
Let z(r) = r**3 - 10*r**2 - 12*r - 13. Let h be z(11). Is h*((-12)/(-9) - 2) a multiple of 5?
False
Suppose m + 6 + 3 = 0. Let p = 43 - m. Does 17 divide p?
False
Suppose 5*u - 6*w - 43 = -4*w, 3*w + 42 = 5*u. Is u a multiple of 2?
False
Does 6 divide 2/(158/(-54) - -3)?
False
Suppose 14*s - 650 = 8. Is s a multiple of 12?
False
Let p = 7 - 5. Let j(s) = -1 + 2 - s**p + 5*s**2 - s. Is j(1) a multiple of 3?
False
Does 15 divide -9*(4 + 156/(-9))?
True
Let j(x) be the first derivative of x**4/4 + x**3/3 - 3*x**2/2 + x + 1. Does 14 divide j(3)?
True
Suppose -2*g - g - 3*q - 6 = 0, g = 3*q + 14. Suppose -r + 3 = -g. Suppose -b - 120 = -r*b. Is 15 a factor of b?
True
Let v(u) = 3*u**2 + 18*u + 21. Is 12 a factor of v(-6)?
False
Suppose -4*o + 9 = 25, -4*b = 5*o - 4. Suppose b*p - 116 = 2*p. Is 6 a factor of p?
False
Suppose -10 = 4*d + d. Is d + (58 - 1) + -2 a multiple of 14?
False
Suppose -5*n - 2*k - 9 = -29, 4*n - 28 = -4*k. Let y be -21*(n - (-16)/(-6)). Let s = 31 - y. Does 13 divide s?
False
Let r be (-2)/((-9)/3 + 1). Let l(c) = 5*c**2 - c. Let j be l(r). Let d = j - -1. Is d a multiple of 2?
False
Suppose -5*d = -7*d + 100. Does 25 divide d?
True
Suppose 10*o - 2*o = 136. Does 17 divide o?
True
Suppose 3*o + 4*i = -0*i + 454, 604 = 4*o + 4*i. Is o a multiple of 25?
True
Let s(v) = -v - 5. Let x be s(4). Let y = -12 - -14. Is (3/x + y)*3 a multiple of 2?
False
Suppose -3*c - 5*k - 215 = 0, -2*c - 2*c - 281 = k. Let d = c - -163. Suppose -3*n - 6*i + 3*i = -d, 2*n = 5*i + 55. Does 10 divide n?
True
Suppose -3*b + 14 = -7. Let u = -3 + b. Suppose -19 = u*w - 123. Does 10 divide w?
False
Let b be 5 - 3/(3/2). Suppose -s - 8 = 3*s, b*z = -4*s - 434. Is (-12)/42 - z/7 a multiple of 8?
False
Let o(b) = -2*b**2 + 50*b - 46. Does 43 divide o(22)?
True
Let x = 403 + -285. Is 26 a factor of x?
False
Let f(s) = -s**3 + 2*s**2 + s - 1. Let y be f(2). Let z(r) = 6*r**2 + r. Let x be z(y). Suppose x*w - 120 = 2*w. Does 12 divide w?
True
Suppose 276 - 62 = x. Suppose 62 - x = -4*a. Is a a multiple of 15?
False
Let z(u) = u**3 - 5*u**2 + u - 2. Let j be z(5). Suppose -j*c - 50 = -5*c. Does 7 divide c?
False
Suppose -2*r + 8 = -3*s, -12 = -0*s - 3*s - 3*r. Let f be (-5 - -2)*(-2 - -1). Suppose 15 = f*x, s*i + 50 = i + 4*x. Is i a multiple of 15?
True
Let u = 3 + -1. Suppose -u*w + 149 = -151. Suppose -4*y = -9*y + w. Is 11 a factor of y?
False
Let a = -1 + 5. Let t = -5 + a. Let i = t + 15. Is 4 a factor of i?
False
Suppose -2*g - p + 190 = 0, 443 = 3*g - 3*p + 158. Is 19 a factor of g?
True
Suppose 5*j + 125 = -2*r, 0 = -2*r + 5*j - 157 + 42. Let v be (-6)/(9/r*1). Suppose -v = -m - 2*i - 0*i, -115 = -3*m - i. Is 13 a factor of m?
False
Let x(w) = -5*w - 5. Is x(-4) a multiple of 15?
True
Suppose 104 + 34 = 3*s. Does 12 divide s?
False
Suppose -f + 4 = 0, 2*c + 2*c = -4*f + 52. Let h = c - 4. Is (-12)/30 + 77/h a multiple of 5?
True
Let x be 10/(6/((-6)/(-2))). Suppose -x*u + 2 = -3. Suppose -20 = -5*k, l + 4*l = 4*k - u. Is l a multiple of 3?
True
Let w be (8 - -2)*63/(-6). Let o = 148 + w. Does 15 divide o?
False
Suppose 2*a - g + 2 = -a, 5*a = g - 2. Suppose a = h - 0*h - 6. Is h even?
True
Let c = 6 + -4. Suppose c*j + 0*j = -6. Is 12 a factor of (2/j)/((-2)/87)?
False
Suppose -3 = a, -p - 4*a - a = 3. Is 11 a factor of p?
False
Suppose 3*z = 5*i + 4, 5*i + 3*z - 14 = -0*z. Is 10/(i/(9/2)) a multiple of 23?
False
Let n = 2 + 9. Is 11 a factor of n?
True
Let x(t) = 9*t + 2. Let z(h) = -h**2 + 5*h + 5. Let o be z(5). Does 24 divide x(o)?
False
Let l = -16 - -108. Does 14 divide l?
False
Suppose -3*p + 5*p = -5*k + 32, -3*k - 5*p + 23 = 0. Let a(z) = z + 1. Does 3 divide a(k)?
False
Let w(f) = f**2 + 15*f - 12. Is 19 a factor of w(6)?
True
Suppose 21 + 3 = 4*a. Let r(q) = 2*q**2 - 6*q - 8. Is 12 a factor of r(a)?
False
Let i(h) = 7*h**2 + 3*h - 10. Let x(r) = -6*r**2 - 3*r + 9. Let c(v) = -4*i(v) - 5*x(v). Let n be (-2)/6 + (-14)/3. Is c(n) a multiple of 10?
True
Let n = 180 + -149. Is 29 a factor of n?
False
Let n(z) = z**2 + 2*z. Let h be n(6). Suppose -5*d + 558 = h. Suppose 0 = -5*k - 4*g + d, -4*g = 2*k - 9*g - 54. Is k a multiple of 9?
False
Let u be -1 + (-2 - 0) + 7. Suppose -p + u = 7, 120 = 4*x + 4*p. Does 10 divide x?
False
Suppose -b + 48 = -5*c, 2*b - 137 + 21 = 5*c. Let n = b + -35. Is n a multiple of 11?
True
Is 10 a factor of 34 + 5/(20/12)?
False
Suppose 0*y + 4*y = -24. Let j(t) = -2*t - 8. Does 2 divide j(y)?
True
Let q be (1*-9)/((-9)/6). Suppose 0 = -u + 1 + q. Does 3 divide u?
False
Suppose 2*p + 4 = 2*s - 2, 0 = 5*p + s - 15. Suppose -2*x = p*x - 96. Is 22 a factor of x?
False
Let d = -2 - -2. Suppose 3*p - 2*p + 4*w - 15 = d, -p - 3 = -2*w. Is p + (-1 - -15) + -2 a multiple of 12?
False
Let q(j) be the third derivative of -j**6/120 - j**5/12 - 5*j**4/24 - 5*j**3/6 - 2*j**2. Is 8 a factor of q(-5)?
False
Suppose 0 = b + b - 10. Let i(a) = -a**3 + 5*a**2 + 2. Let j be i(b). Suppose 0*t - 5*q - 3 = -j*t, 5*t - 85 = -3*q. Is t a multiple of 13?
False
Suppose 0 = -g - 2*w, 5*g - 4*w = -3*w + 22. Is g even?
True
Let v(b) = -3*b - 15. Let x(s) = -s - 5. Let y(w) = -4*v(w) + 11*x(w). Let i = -7 + 19. Does 8 divide y(i)?
False
Let v(f) be the third derivative of -f**4/8 - 5*f**3/3 - f**2. Is 14 a factor of v(-9)?
False
Let l(q) = -q - 2. Let a be l(-6). Suppose 4*r + 4*x - 136 = 0, -a*r - 5*x + 177 = 44. Is 14 a factor of r?
False
Let v(g) = -g**3 - 9*g**2 - 7*g - 2. Let y(q) = 3*q + 7. Let p be y(-5). Let r be v(p). Does 13 divide 16/r*(-35)/2?
False
Let i(t) be the second derivative of t**5/20 + t**4/4 - 5*t**3/6 + 2*t. Let h be i(4). Suppose g = -3*g + h. Is g a multiple of 11?
False
Let n be 67/5 + (-18)/45. Suppose 4*p = -4*a + 144, -5*p + 3*a = -n - 167. Is p a multiple of 17?
False
Let p = -231 - -361. Is 12 a factor of p?
False
Let v be 20/12 - (-1)/3. Suppose k - o - 44 = -2*k, -2*o = -v*k + 24. Does 8 divide k?
True
Let b(w) = -w**2 + 21*w - 27. Is 9 a factor of b(12)?
True
Suppose -5 - 3 = 4*s. Let t(y) = -5*y - 5. Is t(s) a multiple of 5?
True
Let p = 73 - 31. Suppose -p = -6*b + 3*b. Is 7 a factor of b?
True
Suppose -2*b + 57 = 1. Does 5 divide b?
False
Let o = -10 + 10. Is 4 a factor of (-9 + 1)/(o - 2)?
True
Suppose 5 = 2*l - 1. Suppose 60 = l*s + 2*s. Does 6 divide s?
True
Suppose 0 = -10*f + 2*f + 1336. Does 29 divide f?
False
Suppose -9*f = -415 + 73. Is f a multiple of 19?
True
Let k = -7 - -10. Suppose v - 4 = w, -2*v + 20 = -k*w + 3*v. Suppose w*s + s = 4. Does 4 divide s?
True
Let f be (-2)/(-6)*(-45)/(-3). Suppose -10