et v(j) = j - 4. Let u be v(7). Let t be 0/u + 3*1. Suppose -3*c - 22 = -t*w + 26, -4*c + 21 = w. Does 7 divide w?
False
Suppose -5*t - 4*c + 80 = 0, 2*c + 90 = -0*t + 4*t. Suppose -2*w - s = -w - 35, -t = -4*s. Suppose 0*d - d + w = 2*l, 5 = l. Is d a multiple of 10?
True
Suppose 4*c - 15 = 1. Is 1/c - (-652)/16 a multiple of 15?
False
Let w = 60 + -20. Is w a multiple of 19?
False
Let h(p) = -p**2 + 6*p + 1. Let x be h(5). Let k(c) = -c**3 + 8*c**2 - 5*c + 2. Is k(x) a multiple of 17?
False
Let j = 281 + -56. Suppose a = -p + 53, -a - 4*a = -5*p + j. Is p a multiple of 12?
False
Let c(k) = -6*k + 5. Is 8 a factor of c(-6)?
False
Suppose 0*w - 4*w = -3*b - 63, w + 13 = -5*b. Suppose 5*y - t + 5*t = 101, -3*t = -w. Is y a multiple of 17?
True
Is (-24)/10*(-165)/6 a multiple of 11?
True
Let n(u) = u**3 - 2*u**2 - 6*u. Let k be n(6). Suppose -3*q = q - k. Is q a multiple of 16?
False
Let o(y) = -y + 4. Let w be o(3). Let s = -1 + w. Suppose -c = 3*h - 8, c - 7 = -s*c - 4*h. Does 11 divide c?
True
Suppose 0 = 3*v + 4*d - 2*d - 30, -2*d - 66 = -5*v. Suppose -q = 2*q + v. Is 16 a factor of (-2 + (-6)/q)*-96?
True
Let j = 4 - -2. Suppose -j*g + 3 = -5*g. Let o = g + 2. Is 2 a factor of o?
False
Let q(d) be the third derivative of 59*d**5/60 - d**4/24 - d**2. Let o be q(-1). Does 10 divide ((-3)/(-6))/(1/o)?
True
Let s = -21 + 56. Suppose -2*g - 7 = -s. Does 7 divide g?
True
Is -1*2390/(-18) - (-2)/9 a multiple of 7?
True
Let o be (0 - 0)/(6 + -8). Let r = o - -19. Is 10 a factor of r?
False
Is 22 a factor of (-15)/(-2)*-1*-4?
False
Suppose 2*w - 10 = 0, -4*g + 2*w + 0*w = -6. Let o(m) be the first derivative of 2*m**3/3 - 2*m**2 + 2*m - 2. Is 9 a factor of o(g)?
True
Suppose -142*h + 252 = -139*h. Is h a multiple of 10?
False
Suppose -3*o - 2*o - 2*y = 16, -4*o + 5*y + 7 = 0. Is (4 - 64/2)/o a multiple of 14?
True
Let l(g) = 10*g - 2. Let u be l(-2). Suppose -2*v - v - 24 = 0. Let a = v - u. Is a a multiple of 5?
False
Suppose 2*t - 60 = -2*t - 4*p, -2*p - 2 = 0. Suppose 0 = -2*y - 2*y + t. Suppose 0 = 2*o - y*s - 20, s = -0*o + 5*o - 50. Does 6 divide o?
False
Suppose 25*b - 960 = 19*b. Is b a multiple of 12?
False
Let w(i) = i + 64. Let v be w(0). Let t = 43 - 39. Suppose 4*u = -3*f + 69, 4*f + 0*u - v = t*u. Does 12 divide f?
False
Let q(l) = 1 - 2*l**2 - 4*l + 5*l - 2*l + 13*l**2. Suppose -z + 4 = 2. Is q(z) a multiple of 21?
False
Suppose -2*l - 4*u + 5 = -21, 2*l - 35 = 5*u. Is 12 a factor of l?
False
Suppose -5*i + 4*h = -23, 2*i - h = -0*i + 8. Let s(y) = 11*y**2 - 7 - 2*y**2 - y**3 + i - 9*y. Is s(7) a multiple of 21?
False
Let k(q) = 3*q**2 + q + 2. Let a be k(6). Let u = -81 + a. Is u a multiple of 11?
False
Let d(w) be the second derivative of -w**5/120 + 25*w**4/12 - w**3/6 - w. Let k(t) be the second derivative of d(t). Does 15 divide k(0)?
False
Suppose 2*x + f = 18 + 16, -90 = -5*x - 5*f. Is x a multiple of 10?
False
Suppose 4*l - 300 = -l. Let q = l - 36. Suppose -3*u = u - q. Does 6 divide u?
True
Let y = 256 - 180. Is 4 a factor of 6/(-27) - y/(-18)?
True
Suppose 5 = d - 4. Let j = -26 + d. Let i = -10 - j. Is i a multiple of 3?
False
Suppose 5 - 1 = j. Let n be 518/4 - (-2)/j. Suppose n = 2*t + 2*p + 36, 50 = t + 4*p. Is 18 a factor of t?
False
Let h = 77 - 63. Is h a multiple of 14?
True
Suppose -3*b - 2*b + 10 = 3*s, -4*s - 25 = -b. Suppose -b*g + 11 = 1. Suppose -2*v = -g*k + 24, 0*k + 3*v = 4*k - 49. Is 13 a factor of k?
True
Let c(q) = 9*q - 6. Let x be c(5). Suppose -2*p = -f - x, p + 4*f - 64 = -2*p. Is p a multiple of 16?
False
Suppose 0 = -3*w + w + 128. Suppose k - 5*k = -w. Is k a multiple of 11?
False
Let r be (1/(-3))/((-4)/408). Does 23 divide (27/2)/(17/r)?
False
Suppose 0*s + 4*s = 0. Suppose -6*h + 3*h + 42 = s. Is 12 a factor of h?
False
Suppose 0 = -3*q + x + 21 + 4, 4*x - 30 = -q. Let f = q - -30. Is f a multiple of 20?
True
Suppose -251 = r + h, r + 5*h + 759 = -2*r. Let t = -138 - r. Suppose 0 = 4*w - t - 90. Is w a multiple of 20?
False
Let b(m) = -5*m - 2. Does 13 divide b(-5)?
False
Let t be (1/2)/((-4)/(-8)). Let p = t - -23. Is p a multiple of 12?
True
Suppose 4*y = 125 + 43. Is 7 a factor of y?
True
Suppose 3*g = 9*g - 108. Does 4 divide g?
False
Let v be 42/8 + (-3)/12. Suppose v*t - 21 = 4*n - 0*n, -2*t - 5*n = -15. Suppose 71 = t*u + 11. Does 12 divide u?
True
Let a = -11 - 3. Is (-11 + -1)*a/8 a multiple of 21?
True
Let m(r) = r**3 + 6*r**2 + 5*r - 4. Let g be m(-4). Suppose 0*b - 4*b = -g. Suppose -b*o + o = d - 32, -5*o = -2*d + 64. Does 16 divide d?
True
Suppose -33*a = -38*a + 25. Suppose -13 = -p - 4*h - a, -115 = -5*p - 5*h. Does 5 divide p?
False
Let p(k) = -k**3 + 3*k**2 - k - 2. Let v = -4 + 6. Let a be p(v). Suppose a*g + g - 17 = 0. Does 12 divide g?
False
Let q(u) = 3*u**2 + 10*u - 3. Let v(z) = z**2 + 5*z - 2. Let p(a) = 2*q(a) - 5*v(a). Let s(x) = -x**2 + 5*x + 3. Let t be s(4). Is 9 a factor of p(t)?
True
Let y(r) be the third derivative of r**5/20 - r**4/8 - 11*r**3/6 + r**2. Is 12 a factor of y(-5)?
False
Let b(p) = -p**3 + p**2 + 9. Is 2 a factor of b(0)?
False
Let b(j) = j**3 + 10*j**2 - 7*j - 10. Let o(n) = -n**3 + n**2. Let i(a) = b(a) + 2*o(a). Let r be i(11). Suppose 0*y - r = -y. Does 15 divide y?
False
Suppose -1 - 9 = -2*a. Suppose 5*d - 63 = -a*i + 77, 4*d - 2*i - 100 = 0. Does 10 divide d?
False
Suppose 2*k - 21 = -3. Let o(j) = -j**2 - 6*j - 2. Let a be o(-5). Is (-4)/a*-1*k a multiple of 4?
True
Suppose y = -y + 248. Suppose -j + 4*j - 12 = 0, y = 4*k - 4*j. Is k a multiple of 14?
False
Let h = 36 + 34. Does 35 divide h?
True
Let p(s) = -s**2 + 8*s + 9. Let r(h) = 2*h + 1. Let o be r(-3). Let n(i) = -2*i - 3. Let t be n(o). Does 8 divide p(t)?
True
Suppose 29 + 259 = 4*p. Does 18 divide p?
True
Let u = -1 + 10. Is 9 a factor of u?
True
Let d = 16 + -31. Let x be 10/d + (-2)/(-3). Suppose x*s = -s + 26. Does 12 divide s?
False
Let m(f) = -4*f + 31. Let l(c) = 6*c - 47. Let o(i) = 5*l(i) + 8*m(i). Let r be -1*8*1 + -3. Does 10 divide o(r)?
False
Let b(p) = -p - 4. Let f be b(-10). Is 3 a factor of f + 2/(-2 + 3)?
False
Suppose -14 = -h + 3*f, 0*h = -4*h + 2*f + 6. Let a = 18 - h. Is a a multiple of 19?
True
Let r = -7 - -4. Let d(f) = f**3 + 2*f**2 - 3*f - 3. Let a be d(r). Is a*(20/(-6) + 0) a multiple of 5?
True
Let q(n) = n**3 - 2*n**2 - 5*n - 2. Let d be q(5). Suppose 2*r - d = -4*i, 3*i - 6 = -5*r + 30. Is 6 a factor of i?
True
Suppose -3 = g, 7 = -4*z - 3*g + 2*g. Is 5 - (-2 - -2)/z a multiple of 5?
True
Let y = 656 - 356. Does 31 divide y?
False
Suppose 0*x = -x + 3*v + 26, 0 = -3*x - 5*v + 120. Does 5 divide x?
True
Let f = -6 + 10. Suppose 2*h = -5*j + 67, -2*h - 27 = -3*h + f*j. Suppose 107 - h = 2*k. Is 19 a factor of k?
True
Let h = 16 + -6. Suppose 0 = -4*z + 6 - 2. Does 19 divide (-7 + h)*19*z?
True
Does 12 divide 5/(-15) - (-2885)/15?
True
Suppose -3*p = 3*v - 510, -2*v - 63 = -5*p + 822. Suppose 6*m = 11*m - p. Does 18 divide m?
False
Suppose 2*y - 5 + 1 = 0. Suppose -21 = -3*q - 0*q - y*i, -2*i = 4*q - 26. Suppose -4*c - q*x + 149 = 0, 3*c = 2*c + x + 35. Is 18 a factor of c?
True
Suppose -3*h + j + 11 = -4*j, 0 = 3*h + 5*j - 31. Let p = -4 + h. Suppose -u = p*m + 12, -m + 7 = -0*u + 4*u. Is 3 a factor of u?
True
Let y be 40/30 + (-56)/(-3). Let m = 34 - y. Is 3 a factor of m?
False
Let t be 3/(9/(-12)) - -3. Does 6 divide t*3/2*-6?
False
Let a(i) = i**2 - i - 1. Let b(d) = -d**3 - d**2 - 4*d - 1. Let q(u) = -3*a(u) + b(u). Is 3 a factor of q(-4)?
True
Suppose -b + 5*b - 16 = 5*y, -4*y = -2*b + 8. Is 9 a factor of 2/(y + 2) + 8?
True
Suppose -3*k = 68 - 176. Let m be (-4)/(1*-2) - 12. Does 2 divide (k/30)/((-4)/m)?
False
Let p(v) = -v**3 + 4*v**2 + 2*v - 3. Does 19 divide p(-3)?
False
Let c(p) be the first derivative of -7*p**2/2 + 2. Let f be 4 + 3/(6/(-20)). Is 14 a factor of c(f)?
True
Suppose -2*v - 5*a = -24, -2*a + 0*a = -5*v + 2. Suppose 2*k = 3*m - 56, 19 = -m + v*m - k. Is m a multiple of 6?
True
Suppose 6*m - 285 = m. Does 22 divide m?
False
Suppose 4*c + 8 = 0, -2*t + 2*c = -t - 19. Is 2 a factor of t?
False
Does 14 divide 11/(2*(-4)/(-48))?
False
Suppose 1 = 3*r - 5. Suppose 13 = r*y - 45. Suppose -5*b + 1 + y = 0. Is 6 a factor of b?
True
Suppose -i = -2*i + 4. Is 6/((-9)/(-168)*i) a multiple of 14?
True
Let i be (0/3)/((-1)/1). Suppose