r. Suppose -7 = 3*l + 4*c, 6*c = -l + c - r. Is l a multiple of 3?
True
Suppose -22*c + 152 = -18*c. Does 35 divide c?
False
Let d(j) = -14*j - 2. Suppose 3*h - 10 = 17. Let r be 12/h*-3 - 0. Is 20 a factor of d(r)?
False
Let z = 73 + -24. Let f = z - 25. Does 8 divide f?
True
Let s(i) = i**2 - 6*i - 4. Let m be s(7). Let z(d) = -d**3 + 6*d**2 - 5*d + 3. Let u be z(4). Let l = u - m. Is 6 a factor of l?
True
Let r = -225 + 41. Let k = r - -306. Suppose 3*p = -h + k, 5*p - 136 = p + 4*h. Does 20 divide p?
False
Let o(w) = -w**2 + w - 7. Let c be o(0). Let z = c + 17. Does 5 divide z?
True
Let t be 20/(3 - 5)*1. Is t/(-1 - 4 - -3) a multiple of 5?
True
Suppose -15 - 195 = -7*n. Does 5 divide n?
True
Let k(q) = -q**2 - 12*q + 27. Does 9 divide k(-12)?
True
Suppose 575 + 525 = -2*a. Does 15 divide a/(-12) - 6/(-36)?
False
Suppose 0*i - 71 = -4*o - i, -o = -2*i - 11. Suppose -4*w = -0*z - 3*z - 79, -z - o = w. Let t = -4 - z. Is t a multiple of 17?
True
Suppose 2 = -0*m + m. Suppose -q = m*l + 299, 2*q + 5*l + 442 = -158. Is q/(-25) - (-1)/5 a multiple of 4?
True
Suppose -2*a - a - 4*w + 376 = 0, -2*a + 2*w + 246 = 0. Is 31 a factor of a?
True
Suppose 5*k + 3 = -3*o + 2*k, o + 5*k = -17. Is ((-1)/o)/((-2)/156) a multiple of 13?
True
Let l(c) be the first derivative of c**3/3 + 5*c**2/2 + 4*c - 2. Let j be l(-4). Is 11 a factor of (11 + j)/((-2)/(-6))?
True
Let i = 0 + -3. Let j = i - -33. Is j a multiple of 15?
True
Let h be ((-20)/(-25))/((-4)/(-10)). Suppose h*i - 59 = 9. Let j = 49 - i. Is j a multiple of 15?
True
Suppose -3*s + 35 = -8*s. Let c be s/(98/(-24))*7. Let m = c + -2. Is m a multiple of 3?
False
Let g(z) = -2*z + 4. Let y be g(3). Let x be y*(-1 + 2)*-2. Suppose -c + 126 = -0*r + x*r, -r + 4*c = -23. Does 13 divide r?
False
Let y(h) = -h**3 + 2*h**2 + 5*h. Let q(o) = 1 + 2*o**3 - 6*o**2 + 5*o**2 + 2*o**3 - 3*o**3 - 5*o. Let i(x) = -4*q(x) - 5*y(x). Is i(7) a multiple of 3?
False
Let x = 1 - 1. Suppose 0 = q - x*q - 3. Is 3 a factor of q?
True
Suppose -169 + 10 = -3*z. Is z a multiple of 10?
False
Suppose -3 = -5*y + 82. Is 6 a factor of y?
False
Suppose 5*q + 82 = -4*g - 75, 2*g - 4 = 0. Let z = 48 + q. Is z a multiple of 8?
False
Suppose -2*q + 252 = 2*q. Does 19 divide q?
False
Let a = -6 + 8. Let o = a - -2. Is 4 a factor of o?
True
Is -3 + 4 + -1 + 15 a multiple of 5?
True
Let b = -52 + 103. Let f = -31 + b. Is f a multiple of 5?
True
Does 15 divide 1/5 - (-4995)/25?
False
Suppose 0 = 3*j + 2*j. Let r = 3 - j. Suppose -5*p + 4*q + 40 = 0, 4*p + r*q + 5 = 37. Does 4 divide p?
True
Suppose -m - 322 = -3*m. Suppose -f - 2*f - 4*k + m = 0, -3*f - 3*k = -156. Does 9 divide f?
False
Suppose 6*d - 29 = 5*d. Does 14 divide d?
False
Suppose -4*q - 2*u + 46 = 0, -4*q + 0*u = 4*u - 56. Is 6 a factor of q?
False
Suppose -3*v = 4*t - 45, v + 3*v - 3*t - 85 = 0. Is 4 a factor of v?
False
Suppose -2937 = -7*w - 872. Is w a multiple of 15?
False
Let g = 6 - 1. Suppose 0 = -g*f + 4*l - 11 + 26, -9 = -3*f - 4*l. Suppose 0 = f*w - 2*w - 18. Is 9 a factor of w?
True
Let r = -8 - -15. Let z(y) = -y**2 + 7*y + 2. Let d be z(r). Suppose 0*f - 22 = -d*f - i, -2*f + 10 = -5*i. Does 10 divide f?
True
Suppose -4 = -2*c + 4. Does 8 divide -1*(-2)/c*48?
True
Suppose 6 = -r + 3*r. Suppose 4*k + 64 = 4*h, r*k - 34 - 23 = -4*h. Is 7 a factor of h?
False
Suppose 0 = -5*a + 21 + 9. Suppose 3*h + a = 15, -4*h + 9 = -m. Is ((-4)/6)/(m/(-27)) a multiple of 2?
True
Suppose 2*j - 32 = 5*f + 41, -j = -3*f - 34. Suppose 4*i + s - 301 = -j, 3*s + 315 = 5*i. Suppose -13 = -4*u + 2*d + i, 4*u - 78 = 3*d. Does 9 divide u?
True
Suppose -30 = -5*l - 5*k, k - 34 = -3*l - 12. Is 4 a factor of l?
True
Let a(f) = -6*f - 30. Is a(-21) a multiple of 10?
False
Suppose 5*l - 140 = l. Suppose 6*x - x = l. Is x a multiple of 2?
False
Let o(j) = j + 5. Let g be o(-7). Let n(k) = -22*k - 8. Let w(u) = -u - 1. Let x(t) = n(t) - 5*w(t). Is 18 a factor of x(g)?
False
Suppose 0 = m + 3, 5*m = -0*f - 4*f + 529. Suppose 4*o - f = -0*o. Suppose -4*p - 24 = -2*q, o = 3*q - q + p. Does 8 divide q?
True
Let a = 10 - 7. Let b = 22 - 13. Does 4 divide b + (-9)/a + 4?
False
Let c be (1 - -2) + 3 + -2. Suppose -c*k = 7*p - 5*p - 28, 0 = -2*p + k + 23. Is p/(-2 + 11/4) a multiple of 8?
True
Suppose -u = -0*u + 19. Let w = 3 + -4. Let k = w - u. Does 6 divide k?
True
Suppose 6*f + 84 = 9*f. Is f a multiple of 14?
True
Let q = 12 + -24. Let j = q + 17. Is (2 - 1)/(j/65) a multiple of 12?
False
Let j(z) = z - 3. Let t(r) = 7*r - 1. Let o be t(1). Let x be j(o). Suppose x*w = w + 10. Is 3 a factor of w?
False
Does 4 divide -7*(-1)/(3/36)?
True
Is 22 a factor of (-10)/75*-3 - 356/(-10)?
False
Let q be 1 + 2/(2/2). Suppose -3*a - 2*v = -a - 20, 4*a = 5*v + 49. Suppose 19 = q*f - a. Is 10 a factor of f?
True
Suppose -3*l + 63 - 21 = 2*i, -3*l + i = -51. Is 10 a factor of 5/(-8)*-2*l?
True
Let t(q) = 2*q**2 - 1. Let f(l) = l**3 + 5*l**2 + l + 3. Let g be f(-5). Is t(g) a multiple of 7?
True
Is (-3)/(102/(-50) + 2) a multiple of 32?
False
Let l(w) be the first derivative of -w**3/3 + 7*w**2/2 + 3*w + 1. Let s be l(7). Suppose -s*o + 2*o + 14 = 0. Is 7 a factor of o?
True
Suppose -22 = -2*u - 2*p - 0*p, 2*u - 4*p = 52. Is u a multiple of 3?
False
Let h(p) = -p**2 - 1. Let s(u) = 7*u**2 - 11*u - 7. Let v(m) = -6*h(m) - s(m). Let l be v(9). Let f = l - 2. Is 12 a factor of f?
False
Let s = -22 - -25. Suppose 3*p - 53 = 19. Suppose 0 = x - p + s. Is 7 a factor of x?
True
Suppose b + b = 0. Let l = b + 1. Suppose -g + 26 = s, -3 = -g + l. Is 16 a factor of s?
False
Suppose 5 = 4*o - 3. Suppose -7 = 4*w - 3*r, 4*r = 3*w + 12 + o. Does 2 divide w?
True
Suppose -5*y - l + 385 = 0, 0 = 5*y - 5*l + 132 - 487. Is y a multiple of 22?
False
Let q(n) = -12*n + 10. Is 23 a factor of q(-3)?
True
Suppose -4*b = u - 136 - 45, 4*b + 2*u - 186 = 0. Does 11 divide b?
True
Let f(r) = r**3 + 5*r**2 + r + 4. Let b be f(-3). Let p = b - -4. Suppose 2*w = -5 + p. Is w a multiple of 9?
True
Let r be 1/(2/4) - 2. Suppose 5*i + 59 - 164 = r. Is i a multiple of 14?
False
Let i be 4 - ((-1 - -3) + 0). Suppose -g = u - 30, -2 - 6 = -i*u. Is 17 a factor of g?
False
Let x be (0 - 2/(-2)) + -37. Is 133/4 - 27/x a multiple of 13?
False
Let f(w) = w - 3. Let t be f(6). Let v = 18 - 4. Suppose -t*a + 5*a - v = 0. Does 7 divide a?
True
Is (1/(-1) - 48)/(3/(-6)) a multiple of 14?
True
Let n(f) = f**2 - 7*f - 10. Let b be n(7). Let l be (-4)/(-6) - b/3. Suppose l*w - 133 = x, -3*w + 5*x - 2 = -89. Is w a multiple of 12?
False
Let u = 124 + -89. Is 13 a factor of u?
False
Suppose 6 + 2 = 4*r. Suppose 2*n + 3 = -5*v, 3*n - 6*v + 62 = -r*v. Is 10 a factor of 7/(n/20)*-1?
True
Let w be 2/3*(-60)/(-8). Suppose w*d = -39 + 9. Is (4/(-10))/(d/150) a multiple of 9?
False
Let w(m) be the second derivative of 5*m**3/6 - 3*m. Is w(4) a multiple of 18?
False
Let h(g) = -g**2 - 8*g. Let d be h(-8). Let a be 4 + -1 + (d - 1). Suppose 17 = a*p - 37. Does 9 divide p?
True
Let j = 26 - 19. Is 2 a factor of j?
False
Let p(f) = 18*f**2 - 3*f + 4. Does 25 divide p(-3)?
True
Let r(b) be the second derivative of -b**4/12 - b**3 + b**2/2 + 3*b. Let c be r(-7). Let y = c - -9. Is y a multiple of 2?
False
Let x(u) = u**3 - 11*u**2 - 17*u - 3. Let s be x(13). Suppose -309 = -5*p - s. Does 8 divide p?
False
Let k(t) = -t**3 + 2*t - 1. Suppose -5 = -6*w + w. Let f be k(w). Suppose -2*z - 12 + 52 = f. Is z a multiple of 20?
True
Let n = -68 - -101. Does 2 divide n?
False
Suppose 2*s - 3*s = 2*l - 114, -2*s = 2*l - 116. Is l a multiple of 14?
True
Let t = -18 - -6. Does 5 divide (-8)/4 - 0 - t?
True
Suppose 3*z + 181 = 2*j, -2*j + 0*j + z = -187. Suppose -5*h + 15 = -j. Is h a multiple of 11?
True
Let n(y) = y**3 + 10*y**2 + 10*y + 11. Let l be n(-8). Let s = 83 - l. Is 12 a factor of s?
True
Let p(z) = -3*z - 1. Let j be p(-1). Suppose 0 = -c - j*c + 3*d + 27, -d = -5*c + 49. Is 5 a factor of c?
True
Let g(d) = d + 7. Let s be g(-10). Let i = s - -14. Does 11 divide i?
True
Let n(x) = -x**2 + 14*x + 1. Let c be n(14). Suppose 4 - c = f. Is f a multiple of 2?
False
Is 4/3*(-7)/(21/(-9)) a multiple of 2?
True
Let u(h) = 91*h + 1. Is u(1) a multiple of 23?
True
Suppose 3*s - 7*s - 444 = 0. Let f be 2*(0 + s/(-6)). Suppose f = 3*p - 53. Does 15 divide p?
True
Let v(f) = 14*f**2.