Suppose -5*b + 3*r + 212 = 0, 0 = -2*b + r + 70 + 15. Let w = 77 - b. Suppose -4*z + 84 = 5*a, a = 4*z - 26 - w. Is z a multiple of 7?
False
Is 54/(-12)*(-1 + -9) a multiple of 15?
True
Does 20 divide (28/(-3) - 4)*(-1 + -2)?
True
Is (-5)/2*(-304)/20 - -1 a multiple of 5?
False
Let y be 26/6 - (-1)/(-3). Suppose 4*t - 21 = -3*i, -y*i + 25 = 2*t + 3*t. Suppose 5*w = -2*p + 41, -p + t = -3*p + 5*w. Is 4 a factor of p?
True
Suppose -3*d - 5*s = -0*d - 177, 59 = d - s. Is 23 a factor of d?
False
Suppose -92*x + 135 = -87*x. Is x a multiple of 11?
False
Let i(p) = p. Let k be i(6). Let u(s) = s**3 - 7*s**2 + 8*s - 2. Is 10 a factor of u(k)?
True
Does 27 divide (-6 - 47/(-2))/(1/6)?
False
Let i(a) = a**3 - 4*a**2 - 4*a + 1. Let f be i(5). Is (26/f)/((-1)/(-6)) a multiple of 14?
False
Suppose -u + 2 = 7. Does 18 divide (2 + u)*100/(-6)?
False
Let z be (8/(-3))/(5/(-15)). Let a be (2/(-4))/(2/z). Let r = 15 - a. Is 17 a factor of r?
True
Let r be (-3)/(2*(-3)/4). Suppose -4*g + 3*s = -0*s - 156, r*g - 5*s = 92. Does 12 divide g?
True
Let t(a) be the first derivative of -a + 1/2*a**2 - 1 + 0*a**3 - 3/4*a**4. Is t(-2) a multiple of 12?
False
Let f(y) = -2*y - 10. Is 7 a factor of f(-12)?
True
Suppose 0 - 5 = x. Let l = x + 5. Suppose -6 = -v - l*v. Is 3 a factor of v?
True
Suppose 774 + 5278 = 17*n. Is 12 a factor of n?
False
Let y = 15 + -11. Suppose y*u - 21 = -5*o, o - u = u - 7. Is 18 a factor of (2 + o)*6/1?
True
Suppose 2*t - 5*j + 0*j = 33, 2*t + 17 = -5*j. Suppose 104 = -4*i - t*l, 13 = -4*i + 4*l - 67. Let q = -8 - i. Does 6 divide q?
False
Suppose 0 = 5*y + l - 99, 9*y - 111 = 4*y - 4*l. Is y a multiple of 8?
False
Suppose w - 2 = -2*v, -3*w - v = -27 - 4. Suppose -w - 9 = c. Let q = 61 + c. Does 20 divide q?
True
Does 12 divide (-1)/((-5)/(-4))*(-2 + -43)?
True
Let d(r) = -r**3 - 7*r**2 + 9*r + 7. Let z be d(-8). Let u(k) = -k - 1. Let a(o) = -7*o - 7. Let n(y) = z*a(y) + 4*u(y). Does 25 divide n(13)?
False
Let h = -121 - -175. Is h a multiple of 18?
True
Suppose -96 = p - 7*p. Is p a multiple of 4?
True
Suppose -4*p = -3*s + 67, -2*p + 15 = 2*s - 11. Is s a multiple of 17?
True
Suppose -2*h - 3 = -3*g - 0*g, -2*h = -2*g. Suppose -h*j + 21 = -33. Does 9 divide j?
True
Suppose 0*t + 22 = 2*t. Let k = -4 + t. Let z = -5 + k. Is z even?
True
Let m(w) = -21*w + 4. Let i(n) = -n + 1. Let v(r) = -3*i(r) + m(r). Is 19 a factor of v(-1)?
True
Let u = -302 - -444. Does 12 divide u?
False
Does 10 divide 33/(-12)*(-16 + 0)?
False
Let g be 3*2/(-2)*-33. Let f = g + -58. Let m = f - 17. Is 9 a factor of m?
False
Let g(m) = 7 + 4*m**3 + 4*m**2 - 3*m**3 - 2*m**3 + 5*m - 4. Is 3 a factor of g(5)?
True
Let a be 2/(1 - 0) + 2. Suppose -5*o = -5, -b - a*o + 4 = -2. Suppose -b*l - 2*l + 96 = 0. Does 12 divide l?
True
Let z(t) = 5 - t**2 + 2*t**2 - 2*t**2 + 4 + 10*t. Is z(10) a multiple of 9?
True
Let t(b) = -b**3 + b**2 - 5*b - 6. Is 4 a factor of t(-2)?
True
Suppose -26 + 102 = 2*v. Does 16 divide v?
False
Suppose 0*g = 19*g - 1596. Does 8 divide g?
False
Let c(d) = d**3 - 23*d**2 + 3*d - 33. Is 36 a factor of c(23)?
True
Is (0 - 6)*(-5)/(30/44) a multiple of 11?
True
Suppose 4*o - 12 = -5*b, 12 = 3*o - o + 4*b. Is 8 a factor of 18 - ((o - -1) + 3)?
True
Suppose -3*r + 12 = 2*h - 3*h, r = -3*h + 14. Suppose -h*l = s - 3*s + 21, 0 = 3*s - 2*l - 19. Suppose -4*c - 11 = -2*u + 29, -s*u + c = -75. Does 10 divide u?
False
Let t(d) = d**2 + 6*d - 14. Let o(s) = 2*s**2 + 11*s - 29. Let b(x) = 4*o(x) - 9*t(x). Does 10 divide b(-10)?
True
Let x be 4/4*14/(-2). Let q = 21 + -4. Let h = q + x. Does 5 divide h?
True
Suppose -2*t + 0 = 24. Let y be (t + 3)/((-2)/10). Suppose y + 71 = 4*q. Is 11 a factor of q?
False
Suppose 3*p + p - 20 = 0, -3*p + 71 = 2*o. Is o a multiple of 14?
True
Suppose -5*s = 4*y - 17, -5*y - 4*s + 2 + 8 = 0. Does 17 divide (1 - 1) + y + 24?
False
Suppose j = 3*j - 2*v - 2, 5*j - 33 = -2*v. Suppose -b - 16 = -j*b. Suppose 3*w + 80 = 2*d, -d + 200 = b*d + 4*w. Is 27 a factor of d?
False
Suppose 3*k = l - 11, -l + 4*k + 14 = -0*k. Suppose l*d + d - 24 = 0. Is 8 a factor of d?
True
Let p(h) = h**2 - 2*h - 12. Let l be p(10). Suppose 0 = 5*k + 5, 6*r - 3*k = r + l. Does 5 divide r?
False
Let y be (-2)/4 + (-10)/(-4). Suppose y*j - 7*j = -30. Does 6 divide j?
True
Let z(h) = 165*h**2 - h. Is z(1) a multiple of 41?
True
Let j be (0 - -1) + 33/(-3). Let o = 16 + j. Suppose -p = -o + 2, 3*m - 4*p = 68. Is m a multiple of 14?
True
Let b = 50 + -42. Does 4 divide b?
True
Let p = 59 + -109. Let r = 18 + p. Let y = r + 61. Is 10 a factor of y?
False
Let i(n) = -n + 1. Let g(o) = o**3 - 3*o**2 - 4*o - 5. Let d be g(4). Does 2 divide i(d)?
True
Let p(c) = 2*c + 11. Let z be p(7). Suppose -5*d + 10 = -z. Is 5 a factor of d?
False
Let f(q) = q**3 + 13*q**2 + 6*q - 7. Does 20 divide f(-12)?
False
Suppose 23 = 3*z + 4*u, -3*z - z + 14 = 2*u. Let n be 8/(2 - z - -1). Suppose 3*b = n*b - 21. Does 7 divide b?
True
Suppose 0 = 2*z + 5 - 11. Suppose -a = -z*a + 26. Does 3 divide a?
False
Let m(i) = i**2 + 11*i - 10. Suppose -l = 4*k + 24, -l + 4*k + 60 = -5*l. Let s be m(l). Suppose 2*g - 6 = 0, s*f + g - 23 = 4*g. Is 8 a factor of f?
True
Suppose 6*d - 138 = 6. Is 6 a factor of d?
True
Suppose 0 = 3*n - 0*n - 45. Suppose 2*p - 220 = -4*v, -1 = 4*p + n. Does 20 divide v?
False
Suppose -68 = -4*l - 3*z, 0 = 2*z + z + 12. Let h = 34 - l. Does 7 divide h?
True
Suppose -w + 7 - 2 = 3*h, h + w - 5 = 0. Let z(u) = -u**3 - 3*u**2 + 3. Let t be z(-3). Suppose t*y + y - 24 = h. Is 6 a factor of y?
True
Suppose 0 = -h, -h = -5*x + 33 + 102. Does 9 divide x?
True
Let a(d) = 164*d**3 + d**2 - 1. Does 36 divide a(1)?
False
Let t = 67 - 44. Is 5 a factor of t?
False
Let g(a) be the first derivative of -5*a**2/2 - 3*a + 2. Let k be g(-3). Does 19 divide (-157)/(-5) - k/30?
False
Let v(a) = -9*a**2 - 2*a + 1. Let c be v(1). Let u = -7 - c. Suppose 4 + u = x. Is 7 a factor of x?
True
Suppose -f - o = o - 58, f + 4*o - 64 = 0. Is f a multiple of 13?
True
Let w(v) = -v**2 + 22*v - 37. Is w(13) a multiple of 15?
False
Let y = -155 - -264. Does 26 divide y?
False
Let f = -214 - -369. Does 33 divide f?
False
Let j(r) = -3*r + 1. Let u(v) = -5*v + 3. Let o(m) = -5*j(m) + 2*u(m). Does 3 divide o(1)?
True
Let p = -2 - -19. Is 10 a factor of p?
False
Suppose n - 2*p - 2 + 8 = 0, -3*p + 11 = -2*n. Let u(a) = a**2 + 3*a - 1. Let o be u(n). Suppose -q + o*z = -33, 7*z = 2*z - 25. Does 13 divide q?
False
Suppose -4 = -4*o + 4, 4*h = -o + 14. Is 21 a factor of 21/2*(9 - h)?
True
Let r(u) = -u**2 - 12*u - 7. Is 19 a factor of r(-6)?
False
Let m(s) be the third derivative of -s**4/24 + 2*s**3/3 + 4*s**2. Let a be m(0). Let o = 3 + a. Does 3 divide o?
False
Let u(j) be the third derivative of j**4/24 + 3*j**3/2 + 2*j**2. Let g be u(-6). Is (125 - 1)*g/12 a multiple of 10?
False
Let k(p) be the third derivative of p**4/6 - 7*p**3/6 + 3*p**2. Let l(f) = -1. Let b(u) = -k(u) + 5*l(u). Is 17 a factor of b(-4)?
False
Suppose 0*j = 2*p - 3*j + 11, p - 3*j + 13 = 0. Suppose 3*u - 2*z - 13 - 3 = 0, -u = p*z. Suppose -n = -2*f - 22, 3*n + u*f - 10 - 6 = 0. Does 5 divide n?
False
Suppose 2*n - 3*b = 162, -b - 132 = -n - 49. Suppose -3*f + 2*t + 102 = 0, f = -2*f - 3*t + n. Suppose 0 = -2*m - 0*m + f. Is m a multiple of 8?
True
Let x be -2*(-1)/2 + -101. Let v = 145 + x. Is v a multiple of 26?
False
Suppose -15 = -4*b + 5*c, -5*b - 2*c + 15 = -12. Suppose b*z - 73 = 2. Does 9 divide z?
False
Suppose -4*a = -3*a - 5. Suppose -c - a*j = -10, 2*j - 60 = -3*c - 3*j. Let p = c + -12. Is p a multiple of 10?
False
Suppose 2*r + r - 27 = 0. Let p(t) = 5*t**3 + 37*t**2 + 35*t + 45. Let n(m) = -m**3 - 9*m**2 - 9*m - 11. Let v(g) = 9*n(g) + 2*p(g). Is v(r) a multiple of 19?
False
Let x = 1 + 6. Is x a multiple of 2?
False
Let q(s) = 5*s + 2 - 1 + 12*s - 4*s. Is 16 a factor of q(3)?
False
Suppose -5*m - 71 = -2*q - 297, -4*m - 4*q + 164 = 0. Is m a multiple of 4?
True
Suppose -2*x - x - 5*o + 63 = 0, -3*x + 33 = -5*o. Is 6 a factor of x?
False
Let a(p) be the second derivative of 3*p**3 + p**2 - 4*p. Is a(3) a multiple of 28?
True
Is (74/3)/1 + 28/(-42) a multiple of 6?
True
Let z = -1 - -3. Suppose -z*k - 32 = -4*k. Is 9 a factor of k?
False
Let f = 1 - 0. Let m be (0 - (2 + -2)) + f. Suppose -k + 4 = -m. Is 2 a factor of 