 4. Let c = -1 + 10. Let l = c - 5. Does 18 divide q(l)?
True
Let m = 96 - 81. Does 5 divide m?
True
Let r = -35 + 68. Is r a multiple of 13?
False
Suppose 0*b + b = 81. Is 13 a factor of b?
False
Suppose -2*l + 70 = 10. Is (-9)/l*4*-20 a multiple of 11?
False
Let m(z) = -z**3 + z**2 - 2*z + 22. Suppose 4*g + 0*g + 3*i + 9 = 0, 2*i = -2*g - 6. Is m(g) a multiple of 11?
True
Suppose -x = -2*r - 3, -8 = 2*r + 5*x - 23. Suppose -o - 3 + 7 = r. Suppose -14 - o = -w. Is 18 a factor of w?
True
Suppose -33 = 4*r - 5*y, -4*r - 5 = -9*r - 3*y. Let i be (1/3)/(r/66). Let o = 9 - i. Does 10 divide o?
True
Suppose -3*a = 3*q - 60, 24 = 3*a - 4*q - 36. Suppose 5*b = -5 + a. Is 10 a factor of (24 - 0)*b/6?
False
Let l(w) = -w**2 - 7*w - 4. Let c be l(-6). Is 5 a factor of ((-9)/(-2) - -2)*c?
False
Is 21 a factor of 1*(-1)/((-4)/132)?
False
Suppose 2*y + 20 = 7*y + i, 4 = y - 2*i. Suppose y*m + 342 = m. Does 3 divide m/(-15) - 2/(-5)?
False
Let q = -8 + 11. Suppose j = -w - q*w + 269, 5*j + 107 = 2*w. Does 23 divide w?
False
Let x = -469 - -812. Is x a multiple of 40?
False
Let y be (-4)/10 - (-68)/20. Suppose 106 = 3*g + z - 2*z, y*g - 2*z = 107. Is g a multiple of 19?
False
Suppose -4*s = -s - 3*w - 237, 0 = -4*s - 4*w + 292. Is 38 a factor of s?
True
Suppose 6*u + 2*z + 2 = 2*u, 3*u = -5*z - 19. Suppose 3 = -u*a - 1. Is (a/(-5))/((-3)/(-165)) a multiple of 11?
True
Let g(v) = v**2 - 1. Let l be g(-3). Suppose 2*r + l + 0 = 0. Let f(q) = -q**2 - 9*q - 6. Does 12 divide f(r)?
False
Suppose -5 + 30 = -5*f + 3*u, 0 = 3*f - 5*u + 31. Let v = f - -4. Suppose 0*h + h - v = 0. Is h even?
True
Suppose 4*s - 10 = -z, 2*s = s + 2. Let c = 1 + z. Suppose -4*f = c - 39. Does 5 divide f?
False
Let z = -30 - -42. Suppose -z = -q - 3*q. Suppose 0 = 4*n - q*h - 60, 2*n + h - 4*h - 36 = 0. Is n a multiple of 12?
True
Let q(t) = 3*t - 18. Let x be q(-8). Let s = 99 + x. Does 19 divide s?
True
Let c(z) = -z**3 + 6*z**2 + z + 3. Suppose 3*f - 14 = -2. Is 14 a factor of c(f)?
False
Let h(x) be the third derivative of 7*x**5/60 + 5*x**4/24 + x**3/2 + 3*x**2. Does 11 divide h(-3)?
False
Let l = 51 + -36. Let c = l + -5. Let d = c + -6. Is d a multiple of 4?
True
Let s(i) = i + 5. Let x be s(-7). Is 12/(1/(-2) - x) a multiple of 8?
True
Let y be 1*((-18)/(-2))/3. Suppose y*n - n = 32. Does 8 divide n?
True
Let r be 186/4*(-2)/3. Let i = 53 + r. Is 5 a factor of i?
False
Let y(s) = -s**2 + 9*s + 7. Does 15 divide y(5)?
False
Let j(r) = -r**3 + 9*r**2 - 6*r - 5. Let g(s) = s - 1. Let l be g(3). Suppose -16 + 2 = -l*w. Does 18 divide j(w)?
False
Suppose 3*d = 5*s + 131, -4*d - 3*s = -4*s - 203. Let b = -29 + d. Does 13 divide b?
False
Let w = 119 - 6. Does 31 divide w?
False
Let t be (16/(-20))/(2/(-5)). Suppose 0 = -5*x + 5*m + 55, -t*m + 49 = 5*x - 20. Is 13 a factor of x?
True
Let w = -6 + 17. Let j(a) = -w*a + 2 + 1 - a**2 - 5. Is 11 a factor of j(-8)?
True
Let v(y) = 32*y + 3. Does 10 divide v(4)?
False
Suppose -36 = -0*p - p. Is p a multiple of 12?
True
Suppose 13 = -4*v - 3*l, 3*l - l - 22 = 5*v. Let h be (-3)/((-9)/v + -3). Let f = 14 - h. Is 3 a factor of f?
False
Let r be -2 - -8 - (-1)/(-1). Suppose r = -5*u - 5. Is 3/(u/((-4)/3)) a multiple of 2?
True
Suppose 4*r - 5*i = -r + 45, -2*r + 33 = 3*i. Is 3 a factor of r?
True
Let t(m) = -m**3 - 2*m**2 - 2*m - 1. Let k be t(-1). Suppose -3*a = -g - 23, 5*a + k*g = g + 37. Let r = a + 21. Is r a multiple of 14?
True
Let h(k) = -k + 56. Does 27 divide h(-25)?
True
Let h = 14 - 8. Is h a multiple of 2?
True
Let z(c) = 2*c**2 + c - 2. Suppose 5*o + 10 = -3*g, -6*o + o = 2*g + 15. Suppose -g = -5*v, -2*r - 11 + 0 = -5*v. Is z(r) a multiple of 13?
True
Let y = 178 - 166. Is y a multiple of 2?
True
Let i(t) = 2*t**3 + 8*t - t**3 + 0*t - 2 - 7*t**2. Let g be i(7). Suppose 0*j = 2*j - g. Does 9 divide j?
True
Let z = 12 - 2. Is (-4)/z - 274/(-10) a multiple of 9?
True
Suppose 2*a = -15 + 55. Is a a multiple of 5?
True
Let a(b) = b**2 + b - 6. Let o be a(0). Is 16 a factor of (-292)/(-6) - o/(-9)?
True
Let u(l) = -2*l. Let j be u(-4). Suppose 4*p = 4*m - j, 2*p + 3 = -m + 11. Suppose -r + 33 = o, p*r - 2*o = o + 66. Does 17 divide r?
False
Suppose 4*j - 10 = -j. Suppose 3*q + 9 = 2*p - 0, -j*q = -2. Does 3 divide p?
True
Let r(c) = -c**3 - 7*c**2 + 11*c - 1. Let v be (-1)/((-2)/(-18) - 0). Is r(v) a multiple of 25?
False
Suppose 100 = 5*y - 4*y. Is ((-18)/(-15))/(6/y) a multiple of 3?
False
Is 12 a factor of (-4)/(-10) + 236/10?
True
Suppose 30 = 3*i + 4*h, -5*h + 58 = 5*i - h. Is 36*(-3 - i/(-4)) a multiple of 9?
True
Suppose -2*t - 316 = -6*t. Suppose 0 = 5*s - x - t - 167, 5*s - 244 = -x. Let k = s + -15. Is 14 a factor of k?
False
Let t(k) = k**2 - 2*k + 5. Suppose 0 = p - q - 5, -3*q = 3*p + 2*p - 57. Let o be (2 + -3)*3 + p. Does 11 divide t(o)?
False
Suppose -4*u + 4*w = 32, 3*u - w = 3*w - 29. Let o be (u/6)/((-1)/6). Suppose -21 = o*q - 57. Does 12 divide q?
True
Suppose -4*w - 3*z = -2*z - 916, w - 229 = 2*z. Does 24 divide w?
False
Is 18 a factor of (-4)/2 + (131 - 3)?
True
Suppose -l = -3*k - 1, 2*l - 10 = -2*k - 0*l. Let x = 1 - k. Suppose 2*n + x*n = 18. Is 4 a factor of n?
False
Let x = 80 - 33. Suppose 3*z - z = -l - 37, x = -l - 4*z. Let k = 61 + l. Does 19 divide k?
False
Let u(b) = -b - 8. Let v be u(-4). Let j(g) = -2*g - 5. Let q be j(v). Let s = q + 21. Does 15 divide s?
False
Suppose 2*w - 4*t - 10 = 0, 3*w + 2*t + 6 = t. Let u(o) = 8*o**2 + o. Is u(w) a multiple of 7?
True
Let h(a) = -2*a**3 + 4*a**2 + a - 6. Let c = -1 - -7. Let p be h(c). Is 5 a factor of p/(-27) - 1/(-3)?
False
Suppose 3*b - 15 = 0, l - b - 5 = -0*l. Does 5 divide l?
True
Suppose 0 = 3*r - 2 - 1. Let a(d) = 79*d**3 - 2*d**2 + 2*d - 1. Does 26 divide a(r)?
True
Suppose 56 = 4*u + 2*s, 5*s - 25 - 19 = -4*u. Suppose 3*j = j + u. Is j a multiple of 4?
True
Let l be 12 - ((0 - -1) + 0). Let r(c) = 13*c**3 - c**2 + 1. Let n be r(1). Let h = n + l. Does 8 divide h?
True
Let y(c) be the first derivative of 2*c**3/3 + 15*c**2/2 - c + 2. Let r(n) = 3*n**2 + 23*n - 2. Let k(p) = -5*r(p) + 7*y(p). Is 12 a factor of k(-8)?
False
Let u be 0/(-3)*(-3)/(-3). Suppose -3*s - 1 - 2 = u. Is 1 - s - 11/(-1) a multiple of 5?
False
Let y = -46 - -69. Is y a multiple of 12?
False
Let g(m) = 2*m**2 + 4*m. Let j = 6 + -4. Suppose -s - 9 = j*s. Does 3 divide g(s)?
True
Suppose -198 = 2*q - 4*q. Does 9 divide q?
True
Suppose 0 = 3*b - 203 + 68. Does 14 divide b?
False
Is 5 a factor of 24/(-18)*795/(-10)?
False
Let h(s) = -11*s + 1. Let g be h(1). Let i = -130 - g. Does 15 divide i/28*(1 - 8)?
True
Let n(q) = -q**2 + 9*q + 5. Let y be n(8). Let j(u) = u**2 - 8*u - 17. Is 10 a factor of j(y)?
False
Suppose 2*v + 852 = -5*m, 4*v + 2 = 2*v. Let c = -102 - m. Let o = c - 38. Is 13 a factor of o?
False
Suppose 8 - 2 = 2*j. Suppose 0 = o - 3, -3*o - 18 = -j*k - 7*o. Is k a multiple of 2?
True
Let b(m) = -4*m + 5. Let c be b(-5). Suppose 3*s = -2*y + 7*y - c, 20 = -4*s + 4*y. Suppose j - 2*j + 7 = s. Does 3 divide j?
False
Suppose -4*c - 581 = -3*w, -w = -3*w + 2*c + 386. Is w a multiple of 16?
False
Let l = -44 - -61. Is 17 a factor of l?
True
Suppose -2 = -s + 1, 2*g = 2*s + 294. Does 30 divide g?
True
Let d(a) = 5*a**3 - 4*a**2 + a + 4. Let j be d(3). Suppose -j = -2*s - t, -5*s + 5*t - 45 = -280. Is s a multiple of 11?
False
Let u(j) = -j**2 - 8*j + 9. Let a be u(-9). Suppose a = -0*q + 3*q + 6. Is 6 a factor of 4 + q - (-10)/2?
False
Suppose 202 = -5*l + 2832. Let j = l + -362. Suppose -3*p - 3*r - 23 = -j, 0 = 2*p - r - 88. Is 16 a factor of p?
False
Let b(q) = 2*q + 5. Let r(w) = w**3 + 7*w**2 - 10*w - 1. Let o be r(-8). Suppose 0 = -5*c + o + 15. Is b(c) a multiple of 13?
False
Suppose 4*g - 5*w = -20, 3*w - 4 = 8. Let m = g - 1. Is 11 - -1*(-2 - m) a multiple of 5?
True
Let o be (-4686)/(-30) + 1/(-5). Suppose a + 3*a - o = 0. Does 13 divide a?
True
Let p = 1 - -1. Suppose -5*f = c + 172, f = -4*c + 8*c - 26. Does 17 divide (1/p)/((-1)/f)?
True
Let a(p) = 5*p + 1. Let v = 1 - 0. Let y be a(v). Suppose 0 = 2*h + 2*n - 22, -y = -0*n + 2*n. Is h a multiple of 5?
False
Let b(g) = g**2 - g + 126. Let x be b(0). Suppose -5*l - s + 104 + x = 0, -35 = -l + 2*s. Is l a multiple of 15?
True
Let a be 0/((-3)/(-3) - -1). Let y be (a - -1 - 1)/(-2). Suppose -4*w + h + 70 = y, -