ose 0 = r - 5*w, -2*r - w = -3*r. Let a = g - r. Is 4 a factor of a?
False
Suppose -3*g + 17 = 8*r - 3*r, 2*r - 3*g = -10. Is 9 a factor of 22 - (2 - 0)*r?
False
Suppose -8*b = -13*b + 5. Is 50 + (-3 - b/(-1)) a multiple of 13?
False
Suppose 145 = -5*q + 570. Let x = q + -37. Is x a multiple of 16?
True
Let q(x) be the first derivative of x**4/4 + 5*x**3/3 + 3*x**2 + 5*x - 1. Let v be q(-4). Is 10 a factor of 1/v - (-70)/3?
False
Suppose 0 = 5*h - 105 - 145. Is 20 a factor of h?
False
Let p(v) = -v**3 - 5*v**2 + 8*v - 10. Does 16 divide p(-7)?
True
Let u be 3/(-6) - 21/(-2). Is u + 5/(5/3) a multiple of 7?
False
Let v be (-4)/(-4) + 0 + -1. Let g be (25/15)/(1/6). Let l = v + g. Is l a multiple of 3?
False
Let s(h) = h**2 + 3*h + 2. Let u be s(-2). Suppose -264 = -u*j - 3*j. Let y = -57 + j. Does 21 divide y?
False
Let h = -4 + 20. Let t be -1*(-1)/(2/h). Suppose 3*j - 4 = t. Is 3 a factor of j?
False
Suppose -3*l + l + 95 = f, -3*f + 300 = 3*l. Is f a multiple of 21?
True
Suppose 1680 = 7*y + 13*y. Does 3 divide y?
True
Let h be 4/8*(5 + -3). Does 16 divide -2 + (38 - h) - 3?
True
Let x(b) = -4. Let n(z) = z. Let o(v) = v - 4. Let g be o(3). Let k(m) = g*x(m) + 8*n(m). Is k(3) a multiple of 14?
True
Let a(j) = 28*j**2 + 3*j + 4. Does 3 divide a(-1)?
False
Suppose 3*w = 25 + 59. Does 14 divide w?
True
Let k(g) = g**3 + 7*g**2 + g + 2. Let t(z) = z**3 + z**2 + z. Let b(r) = -k(r) + 4*t(r). Is 8 a factor of b(2)?
True
Let f(x) = -x - 1. Does 8 divide f(-14)?
False
Let k(x) = x**2 - 8*x - 5. Let w be k(9). Suppose 0 = -3*y + 5*g + 48, 48 = 4*y + w*g - 48. Is y a multiple of 6?
False
Suppose 5*a - 1890 = -9*a. Does 9 divide a?
True
Suppose -20 = 5*m, -5*m - 18 + 4 = 2*n. Suppose n*f - 16 = -f. Is f even?
True
Suppose 0 = 5*u + n + 7 - 42, 4*n = -2*u + 32. Does 2 divide u?
True
Let i = 34 - 18. Does 16 divide (i - (2 - 1)) + 1?
True
Suppose -40 = -4*s + 2*r, 3*r = -s + 6*r + 15. Let p = 27 + s. Is 12 a factor of p?
True
Let f(g) = -9*g**2 + 2*g - 3. Let t be f(2). Let d = t - 21. Does 14 divide (d/6)/((-12)/18)?
True
Let b(j) = 258*j**3 + j - 3. Does 14 divide b(1)?
False
Suppose 4*u = l - 18, 5*l + 8 = 3*l - 3*u. Let z be (21/(-6))/((-1)/l). Let t = 12 - z. Does 5 divide t?
True
Let i(j) = 4*j + 10. Let m be i(9). Let c = m + -26. Is c a multiple of 9?
False
Suppose -3*z - 149 = -7*z - 5*k, 176 = 5*z - 4*k. Is z a multiple of 12?
True
Suppose 2*b - 3*b - 4*k + 22 = 0, 3*b - 4*k - 2 = 0. Let z = 5 - b. Let q(u) = -5*u. Is q(z) a multiple of 3?
False
Let s = 10 - -35. Does 16 divide s?
False
Suppose 116 = 4*l + a, 3*a + 162 = 7*l - 2*l. Is l a multiple of 10?
True
Suppose -o - 17 = 3*b - b, 0 = -4*o - 5*b - 62. Let f = o - -25. Is 12 a factor of f?
True
Suppose 4*x - z - 5 = 0, x + 15 = -3*x - 3*z. Suppose 3*d + x = 2*g - 15, g + 3*d + 15 = 0. Suppose -5*t - 20 = g, y + y = -2*t. Is y even?
True
Suppose 4*a = 3 + 25. Suppose -4*u + a*u - 12 = 0. Suppose -y + 56 = -u*k, 26 = 2*y + 2*k - 36. Does 12 divide y?
True
Suppose u + 3*f = -4 - 1, -4*f = 3*u + 5. Let m be (u*6)/((-3)/4). Let w(a) = a**3 + 8*a**2 - a - 2. Is 2 a factor of w(m)?
True
Let g(l) = 9*l - 1. Let r(p) = -2*p**2 - 1. Let t(v) = 3*v**2 - v + 2. Let z(a) = 5*r(a) + 3*t(a). Let k be z(-3). Does 4 divide g(k)?
True
Let o = -2 - 2. Let n be 153/6 + 2/o. Suppose 19 = 4*u - n. Is u a multiple of 11?
True
Suppose a + 6*a = 714. Is a a multiple of 34?
True
Suppose -132 = -4*m + 2*b, 4*m - 2*b = -m + 163. Is 6 a factor of m?
False
Suppose -4*s = -3*t - 9 + 220, 4*t - 288 = 2*s. Is 10 a factor of t?
False
Suppose -4*c + 62 = 2*u, 0*c - 3*u = 5*c - 76. Is c a multiple of 4?
False
Suppose -4*c + 2*c + 10 = 0. Let i(s) = 7*s + 4. Is 13 a factor of i(c)?
True
Let w(i) = 4*i. Let p be w(1). Let b(t) = 7*t**3 + 6*t**2 - 2*t**3 - p*t**3 + 7 - 7*t. Is b(-7) a multiple of 3?
False
Suppose -5*w = -152 - 128. Is 8 a factor of w?
True
Let q be 12*(3 - 6/4). Suppose w + 2*d - 3*d + 2 = 0, -3*w - q = 3*d. Does 4 divide w/10 - (-188)/20?
False
Let g = -1 - 13. Is 3 a factor of g/(-21) - 32/(-6)?
True
Let w(r) = -2*r - 8 - r - 1. Is w(-6) a multiple of 5?
False
Let m = -79 + 121. Is 6 a factor of m?
True
Let g be 0 - 1 - 6/(-2). Suppose -5*c - p + 238 = 0, g*c - c - 50 = -p. Does 10 divide c?
False
Is 2 a factor of (-33)/11 + (-1 - -7) - -19?
True
Let s = -157 + 290. Is 8 a factor of s?
False
Suppose -2*t = -6*t + 92. Let l = 68 - t. Does 8 divide l?
False
Is (-18 - 20)*(-1 - (-22)/(-4)) a multiple of 24?
False
Suppose -k + 4 = -0. Suppose 0 = 4*a - 42 - 98. Suppose -17 = -k*f + a. Is f a multiple of 13?
True
Let k(g) = 54*g**2 + 2*g + 3. Let p be k(-2). Suppose 0*s = -5*s + p. Is s a multiple of 17?
False
Is ((-476)/(-4) - 0) + (-3)/1 a multiple of 22?
False
Let g(b) = -b**3 - 14*b**2 - 12*b + 15. Let k be g(-13). Suppose 4*t + 37 = 3*c, 56 = 6*c - k*c - 4*t. Is 9 a factor of c?
False
Let i = 5 + -4. Let n be ((i + -46)/(-3))/1. Let j = 0 + n. Does 14 divide j?
False
Suppose -2*s - 2*s - 76 = 0. Let z = -13 - s. Does 3 divide z?
True
Suppose 2*u - 2 = 0, -194 - 105 = -3*w + 4*u. Is w a multiple of 12?
False
Suppose 0 = l + l - 18. Is 8 a factor of l?
False
Suppose -2*o = 3*o - 2*k - 1798, 5*o - 5*k - 1810 = 0. Is 12 a factor of o?
False
Let i = 36 - 25. Is i a multiple of 7?
False
Let z(t) = 5 + 2*t**2 - 8*t**2 - 5*t + 5*t**2. Is 5 a factor of z(-5)?
True
Let l(n) = 2*n - 4 + 10*n**2 - 8*n**2 - n. Is 12 a factor of l(-4)?
True
Let a(m) = -2*m - 7. Let t be a(-9). Let y(h) = h**3 - 5*h - 13 + 5*h - t*h**2 + 12*h. Is 5 a factor of y(10)?
False
Suppose -z = 4, -2*o + z = -z - 178. Suppose 0 = 2*y + y - 5*i - o, -70 = -3*y + 2*i. Is y a multiple of 6?
False
Let c(t) = -t + 4*t - 4 + 4*t. Let b be c(-6). Let n = -10 - b. Does 12 divide n?
True
Suppose -2*c = c + 12, 5*b = 4*c + 71. Is 6 a factor of b?
False
Let q(j) = -j**2 + j + 2. Let a be q(-2). Let n = 2 - a. Is 7 a factor of (-28)/(-6)*(-3 + n)?
True
Let l(g) = -g + 11. Is l(-4) a multiple of 5?
True
Let j be ((-48)/(-10))/(2/10). Let n = j - 11. Does 13 divide n?
True
Let h(y) = 9*y**2 + 2. Let g be h(-2). Let k = g + -22. Suppose 3*t - c = -6*c + 161, k = 4*c. Does 13 divide t?
False
Let z(f) = -79*f + 3. Does 18 divide z(-1)?
False
Let s(m) = -17*m**3 + 2*m**2 + m. Let j be s(-1). Let n = j - -3. Is 7 a factor of n?
True
Is 33 a factor of 1/((-2)/594*-3)?
True
Suppose f = -4*t + 96, 2*t - 24 = t + f. Let l = -8 + t. Is 6 a factor of l?
False
Let z(i) = i - 5. Let s be z(0). Let b = s + 18. Is 6 a factor of b?
False
Let v be (-6)/4*(-4)/3. Suppose v*o = o + 7. Is o even?
False
Suppose 0*a = -3*a + 894. Suppose -5*p + 32 + a = 0. Suppose m + p = 4*m. Is m a multiple of 18?
False
Suppose 2*r = 2*h, h - 4 = 5*r - 20. Suppose 4*k + 12 = 2*o, -2 = -r*k - 2*o - 14. Is (-686)/(-21) + (-1)/k a multiple of 13?
False
Suppose -3*j - 7 = -4*j + p, -5*j + p + 35 = 0. Suppose -7 - j = -u - 5*m, 5*u + 5*m - 70 = 0. Does 7 divide u?
True
Suppose 30 = -5*y + 285. Let s = 96 - y. Is 15 a factor of s?
True
Let t(x) be the third derivative of -x**9/2520 - x**7/5040 - x**6/720 + x**5/30 - 2*x**2. Let v(s) be the third derivative of t(s). Is 12 a factor of v(-1)?
True
Suppose 0*z = 7*z - 273. Is z a multiple of 5?
False
Let k = -76 + 196. Is k a multiple of 30?
True
Let l = -6 + 9. Let c be (-4)/2*(-3)/l. Suppose -c*v + 2 = -v. Is 2 a factor of v?
True
Suppose 0*z = -z + 4. Suppose -z*a + 29 = -131. Let t = -21 + a. Does 11 divide t?
False
Let w be 128 + (0 - 1)*2. Suppose 0 = -2*h - h + w. Let k = h + -24. Does 13 divide k?
False
Suppose 2*q - 2*j - 1 = -3, -4*j + 25 = 3*q. Suppose -248 + 66 = -4*u + 2*g, q*g = 2*u - 97. Does 22 divide u?
True
Suppose -2*m + 0*m = -42. Does 21 divide m?
True
Let o(m) = -m**3 + 9*m**2 - 1. Let p be o(9). Is p*(2 - 3)*44 a multiple of 19?
False
Let b be (-2)/(-4) - 4638/(-12). Suppose 0 = f + 2*f - b. Suppose 0 = 4*p - 6*p - 5*k + 69, -4*p = k - f. Does 16 divide p?
True
Let s = -7 - -1. Let n be (-1)/6 - 5681/(-138). Let b = s + n. Is b a multiple of 13?
False
Let h(p) = p**2 - 8*p + 12. Does 12 divide h(8)?
True
Let x = 77 + -37. Is 20 a factor of x?
True
Let a(v) = -3 - 9*v + v**2 + 15 + 0*v - 1. Does 3 divide a(8)?
True
Suppose 2*u + 328 = 2*x + 6*u, -5*x = 2*u - 796. Is 34 a factor of x?
False
Suppose 3*w + 7*w = 1790. Does 12 divide w?
