ppose 5*a + 1 = 3*x + 3, 0 = 3*x - 2*a - 1. Let g be 30 + (2 - 1)*x. Suppose -5*w + 0*z = 3*z - g, 4*z = 2*w - 2. Is w a multiple of 4?
False
Suppose 0 = -a - 4*b + 14, a + 3*b + 5 = 16. Suppose 300 = a*y + 3*y. Is y a multiple of 17?
False
Suppose 0 = -0*c + 5*c - 140. Does 14 divide c?
True
Suppose -42 - 78 = -6*k. Is 4 a factor of k?
True
Let f(x) = -x**3 + 6*x**2 - x - 2. Suppose 3*c + 4*d + 5 = 0, 2*c = 2*d - 6*d - 10. Is f(c) a multiple of 8?
False
Suppose -6*z + 10 = -z, 0 = -5*s + 2*z + 21. Let i(y) = y**3 - 4*y**2 - 2*y - 5. Is 6 a factor of i(s)?
False
Let x(m) = m - 10. Let p be x(8). Does 14 divide ((-2)/3)/(p/66)?
False
Let t(y) = 2*y - 6. Let v be t(-7). Let g = 58 + v. Is 15 a factor of g?
False
Let k = -59 - 12. Let d = k + 111. Is 20 a factor of d?
True
Suppose 0 = -5*c + i + 482, 3*c - i = 4*i + 298. Does 24 divide c?
True
Suppose 5*t - 59 - 166 = 0. Is t a multiple of 4?
False
Suppose o = 10 + 42. Is 13 a factor of o?
True
Let v(i) = i**2 + 4*i - 6. Let h be v(-6). Let x be ((-136)/12)/((-2)/h). Is 12 a factor of ((-2)/(-2))/(1/x)?
False
Let m = -29 + 45. Is 3 a factor of m?
False
Suppose -5*m - 7 = v, 0 = 2*m - 6*m - 2*v - 2. Let p(f) = -5*f. Is 10 a factor of p(m)?
True
Suppose j = -j + d + 592, 3*j - 2*d - 886 = 0. Is 19 a factor of j?
False
Suppose -k - 74 = -3*u, -12 = -2*k - k. Does 13 divide u?
True
Suppose 0*l + 4*l = 352. Is l a multiple of 22?
True
Let w(c) = c**2 - 4*c + 5. Suppose -3*l = -2 - 19. Does 13 divide w(l)?
True
Let z = 2 + 3. Let p(s) = 4*s + 5. Is p(z) a multiple of 21?
False
Let q be -1*(-1 + 2)*-2. Suppose 0 = 3*x + q*x - 30. Is (92/6)/(4/x) a multiple of 7?
False
Let d = 36 + 0. Is d a multiple of 10?
False
Suppose -5*b + 48 = 4*o - b, 40 = 3*o + 4*b. Is o a multiple of 3?
False
Let s(w) = -w**3 + 6*w**2 - 7*w + 9. Let o be s(6). Does 16 divide (2 + o/12)*-64?
True
Let u(k) = -k + 3. Let f be u(-2). Suppose -4*d + 7 = 3*j, 19 = f*j + 2*d - 2. Is 5 a factor of j?
True
Suppose z + 3*z - 20 = 0, 0 = -4*y + 4*z + 9676. Is y/27 - (-2)/9 a multiple of 30?
True
Suppose 3*u = 6*u, -j = u - 3. Suppose -5*y - 23 = -2*a, -3*a + j*y + 28 = -2. Does 4 divide a?
False
Let u(z) = 3*z**3 - 2 + 5 - 2*z**3 + 12*z + 11 + 13*z**2. Does 14 divide u(-12)?
True
Suppose 0 = -5*s + 3*s + 8. Is 22 a factor of (s/8)/(2/144)?
False
Is 6 a factor of (32 + 1)*(3 + -2)?
False
Let s = -32 + 37. Let c = 64 + -43. Suppose 0 = -s*j + 2*j + c. Is j a multiple of 5?
False
Let v = 0 + 2. Let i(r) = -6 + r**3 - 5*r**2 - v*r + 7*r + 5. Is 3 a factor of i(4)?
True
Suppose -20 = -0*x - 4*x. Suppose 0 = c - x*c - 84. Does 10 divide (1 + c/6)*-8?
True
Does 3 divide 1/(185/90 - 2)?
True
Suppose 2 = -0*t - 2*t. Let h = t + 2. Does 11 divide 31/h - (1 + 1)?
False
Let r = 7 + -4. Let a(w) = -3*w - 1. Let x be a(-1). Is 6 a factor of (-13 - r - x)/(-2)?
False
Suppose -3*x - 5*s + 7 = 0, x - 8 = -2*x - 4*s. Is x even?
True
Let m be (1 + 3/(-2))*26. Let o(c) = 2*c**3 - 3*c**2 - c. Let s be o(3). Let i = s + m. Is 11 a factor of i?
True
Suppose 6*o = 5*o + 52. Does 19 divide o?
False
Let h be 5 - 3/(-9)*-3. Suppose -2*p = h*g - 2*g - 48, -2*p = 4*g - 50. Suppose p + 5 = s. Is 10 a factor of s?
False
Let q = -5 - -10. Suppose 50 = -q*x + 5. Does 15 divide (-351)/(-12) + x/(-12)?
True
Suppose 4*l + 16 = 0, 4*i = 2*i + 5*l + 370. Does 12 divide i?
False
Let p(l) = -10*l + 4. Let n(d) = d - 4. Let a be n(6). Let r be (a - -1)/3*-3. Is 12 a factor of p(r)?
False
Let d(t) = -t**2 - 31*t + 35. Does 24 divide d(-24)?
False
Let v be (2/(-2))/((-4)/76). Suppose -11 - v = -j. Is j a multiple of 15?
True
Let k = 76 - -14. Suppose -2*d - k = 3*d. Does 6 divide (-4)/d - (-104)/18?
True
Let u(b) = 2*b + 13. Let c be u(10). Suppose -2*f + 5*t = -c, 3*t - 51 = -f - 7. Is 8 a factor of f?
False
Suppose 24 = -5*c - 16. Let w = 16 + c. Is 2 a factor of w?
True
Let d be 2 + -39*(0 + 2). Let b = -28 - d. Does 24 divide b?
True
Suppose -4*r + 444 = 2*a, 5*r - 3*a - 269 - 286 = 0. Is 13 a factor of r?
False
Let z = -7 - -11. Suppose z*p = -p. Suppose p = 5*w - 4 - 21. Is w even?
False
Let l be 46 - (6/3 - 3). Suppose -4*w + l = v, 2*v + 0*w - 159 = 5*w. Is 28 a factor of v?
False
Suppose 0 = 2*o + 5 - 1. Let i be (0 + o)*(0 + -1). Suppose -7*n = -i*n - 55. Is n a multiple of 6?
False
Let d = 31 + -14. Is 11 a factor of d?
False
Let v(y) = y**3 + 8*y**2 - 11. Let o be v(-8). Suppose 3*z - 168 = -3*p, z - 217 = -3*z + 3*p. Does 3 divide (-10)/z + (-68)/o?
True
Suppose -2*z + 22 = -0*z. Is 7 a factor of z?
False
Let a(t) = -t**2 - t - 1. Let x(c) = -6*c**2 - 6. Let w(o) = 5*a(o) - x(o). Does 7 divide w(7)?
False
Let d(p) = p**2 - p + 3. Let h be d(0). Let y be 10*5 + (h - 4). Let g = -9 + y. Is 15 a factor of g?
False
Suppose 8 = 2*n, 4*y = -y + 5*n + 415. Is y a multiple of 18?
False
Suppose 3*z + 4*l - 14 = -2*z, 0 = -z + 4*l - 2. Suppose -2*h = -10, -99 = -2*q + h - z*h. Let a = -27 + q. Does 6 divide a?
False
Suppose 19 = -4*t + 5*p, -5 = -0*t - 4*t - 3*p. Is 9 a factor of t/(39/(-19) - -2)?
False
Suppose 4*y = 4*o + 32, -2*y - 36 = 5*o - 6*y. Is (-1953)/(-28) + 3/o a multiple of 26?
False
Let i(d) = d**2 + 7*d + 2. Is 2 a factor of i(-7)?
True
Suppose 2*r + 24 = 5*r. Let u = r - -32. Is 23 a factor of u?
False
Suppose s - 4*f - 8 = 3, -5*s + 77 = 2*f. Does 5 divide s?
True
Is (6 - (-24)/4)/((-3)/(-8)) a multiple of 4?
True
Let g = 64 - 37. Is g a multiple of 11?
False
Let b(t) be the second derivative of t**5/20 - t**4/2 + 4*t**3/3 - 5*t**2/2 - t. Is 5 a factor of b(5)?
True
Suppose -155 = -5*l + 40. Is 6 a factor of l?
False
Let s(b) = -b**2 - 8*b + 11. Let r = -28 - -19. Let a be s(r). Is 5 a factor of a - (-3 - 0/(-2))?
True
Is 16 a factor of (-4 + 1/(-1))*(-763)/35?
False
Let u(w) = -w**2 + w + 14. Let t be u(0). Suppose 3*q - t = 16. Is 10 a factor of q?
True
Let q = 0 - 5. Let r be (q/(-2))/(4/8). Suppose 5*c - 105 = -4*y - y, -105 = -r*c + 2*y. Does 21 divide c?
True
Is 31 a factor of 960/(-45)*9/(-4)?
False
Suppose 15 = l + 2*i, -4*i = -i - 15. Is ((-4)/l)/((-2)/100) a multiple of 20?
True
Suppose 288 = 12*w - 2592. Is 6 a factor of w?
True
Let j(w) = 98*w**2 - 7*w - 3. Let l(t) = -65*t**2 + 5*t + 2. Let p(s) = 5*j(s) + 7*l(s). Let d be (-7)/9 + 2/(-9). Is 17 a factor of p(d)?
True
Suppose 2*x + 4 = 5*z, 6*x - 9 = 3*x. Suppose -z*c + 26 = -0. Does 7 divide c?
False
Let z(m) = 3*m**3 - 9*m**2 - 7*m - 5. Is z(5) a multiple of 11?
True
Suppose 3*q = -q. Suppose q = -2*u - 3*l + 5*l + 4, -2*l = 2*u - 4. Suppose t = u*t - 17. Does 7 divide t?
False
Does 4 divide 1/(5/20) - -6?
False
Let t be (-2)/(-4)*(-2 + 14). Let x = t - 3. Does 7 divide x*(1 - (-30)/9)?
False
Let b = -69 + 81. Is 12 a factor of b?
True
Suppose 3*u = u, 3*u - 15 = 3*v. Does 7 divide (-3)/v - 167/(-5)?
False
Suppose -2*m = 2*m - 12. Let v be -6*(-4 + m/1). Let g(q) = 4*q - 3. Is 21 a factor of g(v)?
True
Let q(y) = 2*y**2 + 2*y. Let c be (-4)/(-3) + (-2)/(-3). Does 9 divide q(c)?
False
Suppose 5*p + 3*x = 10, 5*x + 10 = -3*p - 0*p. Suppose -p*k + 38 - 98 = 0. Is 7 a factor of (-260)/k + (-4)/6?
True
Let d = -1 + 11. Let p(t) = -2*t**3 - 10*t**2 + 6*t - 10. Let i(y) = y**3 - y. Let h(k) = 3*i(k) + p(k). Is h(d) a multiple of 20?
True
Suppose 6*j - 36 = -6. Does 3 divide j?
False
Let p(z) = 33*z + 6. Let t be p(3). Suppose -3*g - 33 + t = 0. Is g a multiple of 12?
True
Let p be 8*((-10)/(-4) - 2). Suppose -155 = -p*s + 105. Is 17 a factor of s?
False
Let g(d) = 5*d**3 + 2*d**2 - d - 1. Let b(z) = -z**2 + z + 1. Let f(m) = 6*m**2 - 2. Let y(p) = 4*b(p) + f(p). Let n be y(-2). Is g(n) a multiple of 13?
False
Let o(f) = f**3 - 6*f**2 + 5*f - 9. Let y be o(6). Suppose -y = 3*s - 99. Is 11 a factor of s?
False
Let j(y) = y**3 + 11*y**2 + 9*y - 7. Let z be j(-10). Let i(g) = g**3 + g**2 - 2. Is i(z) a multiple of 14?
False
Let u(x) = 11*x**2 + 2*x + 10*x**3 - 11 - 4*x**2 + 3 - 9*x**3. Does 3 divide u(-6)?
False
Let c(y) = -y**3 + y**2 - y + 1. Let m be c(1). Suppose m = 3*x + 6, -2*x - 2*x = z + 27. Let k = 2 - z. Does 8 divide k?
False
Let l = 20 + -14. Suppose -2*o - 32 = -l*o. Let j(d) = -d**3 + 9*d**2 - 7*d - 4. Is j(o) a multiple of 3?
False
Let f(h) = -h**3 + 16*h**2 - 4*h - 31. Is 10 a factor of f(15)?
False
Let u(x) = -46*x - 1. Is u(-1) a multiple of 19?
False
Let s(j) = 21*j + 1. Is s(1) a mu