ose 0 = z + z. Suppose z = -5*r + 4*q + 271, 0*r + q = -r + 47. Suppose -7*b + r = -26. Is b a multiple of 2?
False
Let v(j) = 19 - 9 + j**2 - j - 5*j. Is 2 a factor of v(4)?
True
Suppose 3*b - 4*g - 31074 = 0, 2*b + 3*b = -g + 51813. Does 12 divide 3/2 - 2 - b/(-44)?
False
Let u(j) = -2*j**3 - 10*j**2 - 2*j - 1. Does 21 divide u(-6)?
False
Let i = -554 + 577. Is 9 a factor of i?
False
Does 4 divide (4400/(-30))/11*24/(-10)?
True
Let g(w) = -10*w + 346. Does 5 divide g(-54)?
False
Let a(v) = v**3 + v**2 - 2*v + 168. Suppose -2*n = -0*t - 2*t - 8, -8 = 5*t - 2*n. Is a(t) a multiple of 12?
True
Suppose -90*j + 4030 = -80*j. Is j a multiple of 66?
False
Suppose 2*w - 10 = 4*u, 0*u + 2*u = -w - 3. Suppose w = -5*q + 11. Suppose -3*f + 2*o + 30 = -2*f, f + 5*o = q. Is f a multiple of 6?
False
Let s be 4 - (6 - 1) - -5. Let c be -10*(-9 + s) - -1. Let a = c - 33. Does 9 divide a?
True
Let q = 348 - -29. Is 7 a factor of q?
False
Let a = -51 - 103. Let l = -80 - a. Does 37 divide l?
True
Let q be (20/(-8) + 1)*-6. Suppose 16 = 4*t + 2*y, 5*y - 1 = q. Suppose t*j - 10 - 38 = 0. Is j a multiple of 5?
False
Let p be (1 - 2)/(6/(-30)). Let z = -7 - 0. Let g = p - z. Is 6 a factor of g?
True
Suppose -h + r - 2 = 3, -3*h - 15 = 3*r. Let q be -1*(3/1 + h). Suppose 5*p = d - 96, -q*d + 3*p = d - 252. Is d a multiple of 18?
False
Let g(m) = m**2 + 14*m - 219. Is 41 a factor of g(-31)?
False
Let r(w) = -3*w + 2. Let d(u) = -7*u + 5. Let i(l) = 2*d(l) - 5*r(l). Let a be i(3). Suppose -a*c + 2*v = -51, c + 5*v = -c + 15. Is c a multiple of 3?
True
Suppose -77*g = -94*g + 6052. Is 20 a factor of g?
False
Suppose -3*h = 3*h + 60. Let b(k) = k + 27. Is b(h) a multiple of 6?
False
Let f(t) = 47*t**3 - 2. Let a be f(2). Is 3 a factor of a/14 + (-4)/(-14)?
True
Let n = 6 - -18. Suppose 2*h + n = -h. Let s = 2 - h. Is 5 a factor of s?
True
Let f(r) be the second derivative of -r**6/120 - 2*r**5/15 - r**4/3 - 7*r. Let s(u) be the third derivative of f(u). Is 19 a factor of s(-9)?
True
Let a(n) = -n + 2. Let r be a(0). Is 9 a factor of (r - -1*34) + 0?
True
Let u = 23 - 25. Let d be 0/u + (-45)/(-15). Suppose 19 = d*i + g, 2*g - 16 = -3*i + 4*g. Does 6 divide i?
True
Suppose -10*k + 11357 + 3123 = 0. Is k a multiple of 21?
False
Suppose 175 - 7 = 6*y. Suppose 27*i = y*i - 63. Is i a multiple of 21?
True
Let x(h) = -h**2 + 7*h - 11. Let b be x(10). Let a = b + 62. Suppose 0*u + 4*c = -u + a, -2*u + 18 = -4*c. Does 13 divide u?
True
Let h = -1287 - -1432. Does 5 divide h?
True
Suppose -3 = -4*m + 1. Let j be 4 + (m - 1) - 4. Suppose j = -5*x + 2*x + 207. Does 21 divide x?
False
Let t(y) = -y. Let l(x) = -x + 4. Let v be l(0). Let z be t(v). Is (z/3 - -1)*-9 a multiple of 2?
False
Suppose 4118 = 7*s - 7922. Is s a multiple of 20?
True
Suppose 3*c = -c + 604. Suppose 7*d = 4*d + m + 89, -c = -5*d - m. Let r = d - 9. Is r a multiple of 7?
True
Suppose -5*d - 3*o + 1399 = -4*o, 0 = -3*d - o + 841. Does 3 divide d?
False
Let j = 77 - -1625. Does 46 divide j?
True
Let h(c) = 11*c + 359. Is h(-11) a multiple of 14?
True
Suppose 11*a = 13*a - 22. Suppose a*q + 6 = 12*q. Does 3 divide q?
True
Let d(f) = -f**3 + 15*f**2 - f + 18. Suppose -2*x - x + 47 = n, 25 = x + 5*n. Let w be d(x). Suppose w*b = -b + 144. Does 9 divide b?
True
Suppose -16*g + 6 = -17*g. Let j be (-11 + 35)*(-16)/g. Suppose 19*r - 15*r - j = 0. Is r a multiple of 7?
False
Let t(x) = -x**3 - x**2 + 7*x + 3. Let v be t(-3). Suppose v*p = -3*p + 201. Does 16 divide p?
False
Let u = -17 + 18. Let h be (-108)/6*u/(-2). Is 4 a factor of 21/h*(11 + -2)?
False
Let r = -12 + 17. Let j(t) = t**3 - 6*t**2 + 7*t + 1. Let f be j(r). Suppose 3*c = 56 - f. Does 5 divide c?
True
Let k = 29 + -47. Is (-96)/18*k/8 a multiple of 12?
True
Let u = -161 + 532. Is 14 a factor of u?
False
Let z(a) = a**3 + 5*a**2 + 3*a + 3. Let s be z(-3). Let p = s + -12. Let w = 14 + p. Does 7 divide w?
True
Let j(o) = -o**3 + o**2 + o + 5. Let m be j(0). Suppose -3*u = 3, 3*d - m = -2*u - 2*u. Suppose 4*w - 4*v - 92 = 0, w + d*v = 3*w - 50. Is 7 a factor of w?
False
Suppose 0 = -36*v + 24173 + 13267. Does 10 divide v?
True
Is (-2 + 5)*(-111)/(-9) a multiple of 2?
False
Does 18 divide (0 - 74)/((-22)/3 + 7)?
False
Let j(b) be the first derivative of b**7/840 + b**6/60 - b**5/40 - 5*b**4/24 + 2*b**3/3 + 1. Let t(w) be the third derivative of j(w). Is t(-6) a multiple of 9?
False
Suppose -2*o - 3656 = -4*c + 1758, -3*c = -3*o - 4065. Is 41 a factor of c?
False
Suppose 0 = 105*a - 92*a - 10400. Is 40 a factor of a?
True
Is 11 a factor of (366/(-2))/((-75)/175)?
False
Let l be -5*(1 - (-24)/(-15)). Suppose -l*t - 18 = -t. Is -2 - 3/(t/87) a multiple of 17?
False
Suppose 642 = 9*k + 21. Is 19 a factor of k?
False
Let a = 63 + 22. Let i = 166 - a. Is 14 a factor of i?
False
Is 9 a factor of (-6)/21 + (-6688)/(-133)?
False
Let z be (-33 - -33)*2/(-6). Suppose 0*s - t = 2*s - 172, z = 5*s - 5*t - 400. Does 29 divide s?
False
Suppose -131 = -10*v + 9*v. Suppose -121 = -7*l + v. Does 36 divide l?
True
Let k(g) = 972*g**3 + 5*g - 4. Is 11 a factor of k(1)?
False
Suppose 95 = -2*d - 3*c, -2*c + 260 = -5*d - 5*c. Suppose 11*t + 222 = 9*t. Let k = d - t. Is 15 a factor of k?
False
Let p(w) = 398*w + 1. Let u be p(3). Suppose 5*k - u = -5*s - 0*k, 0 = -2*s - 5*k + 475. Let h = s + -131. Does 16 divide h?
False
Let j(n) be the second derivative of -11*n - 1/20*n**5 + 0 - 7/2*n**2 - 1/3*n**3 - 1/2*n**4. Is 5 a factor of j(-6)?
True
Let c(u) = 100*u**3 - u + 2. Let j be c(2). Suppose 12*p + j = 22*p. Does 8 divide p?
True
Let l = 8 - 0. Let y be 0 - l*5/(-10). Suppose -170 = -9*x + y*x. Is 16 a factor of x?
False
Let k be 4*9/(-12) + (-4 - 0). Does 15 divide (-262)/k + 45/(-105)?
False
Let a be (-6 + 5)/((-3)/(-42)). Let s be 16/(-56) + (-32)/a. Suppose -s*k = -3 - 55. Is 16 a factor of k?
False
Let q be (3/(-1))/(35/28 + -2). Suppose -q*o - 3*b = 2*b - 31, -4*o + 71 = -3*b. Is o a multiple of 7?
True
Suppose -7*b + 9*b = 6. Suppose 0 = -7*w + b*w + 380. Does 19 divide w?
True
Let b = 58 - 56. Suppose 3*t - t - 262 = 5*q, -b*t + 2*q + 256 = 0. Does 13 divide t?
False
Let g = 1 - 1. Let h(y) = 12*y + 86. Let n be h(-7). Suppose -n*d + g*d + 24 = 0. Is 6 a factor of d?
True
Let u be (-22)/(-8) + 18/(-24). Let k(j) = -2*j**2 + 2*j. Let q be k(u). Is 5 a factor of 4 + (q - (-22 + -2))?
False
Let x(h) = -13*h + 1. Suppose -7*l + 6 = -1. Let v be x(l). Does 34 divide 3/v + (-322)/(-8)?
False
Let d = -449 + 701. Is d a multiple of 19?
False
Suppose 8*z - 36 = -4. Let l = 69 - z. Is l a multiple of 13?
True
Let l(s) = s**3 + 15*s**2 - 4*s - 32. Is l(-12) a multiple of 28?
True
Let w = -2573 - -3631. Does 46 divide w?
True
Let c(k) = 12*k**2 + 6*k + 6. Let a(r) = -12*r**2 - 7*r - 7. Let d(q) = 3*a(q) + 4*c(q). Let z(o) = o**2 + 4*o - 2. Let x be z(-4). Is 12 a factor of d(x)?
False
Let n = 16 + -12. Suppose -n*c = -c. Suppose -5*r = 2*t - 371, 2*r - 140 = -c*r - 5*t. Is r a multiple of 18?
False
Suppose -3*u = 6 - 15. Suppose y - 20 = -u*y. Suppose -34 = -2*l - 5*r, 4*r + 39 = 5*l + y*r. Is l even?
False
Let t be (-4)/6*6 - -4. Suppose -q - 2 = -2*q, 2*g - 5*q - 42 = t. Suppose 0 = 2*w + d - g, 5*w = -0*w + 2*d + 56. Is 3 a factor of w?
True
Let u(r) = -r - 2. Let m be u(2). Let l be (m + (1 - -3))/1. Suppose l = -3*b - 4*t - 0 + 79, 0 = b - 3*t - 35. Is b a multiple of 15?
False
Let a = 196 + -74. Suppose b - a = -2*g + 5*b, g - 65 = 4*b. Is g a multiple of 9?
False
Let l be 45/(-6)*(-1008)/30. Suppose -l = 9*w - 23*w. Does 9 divide w?
True
Let k = 5 + -10. Let f be -1 - (k/1 - -2). Suppose 0 = -3*u - 6, 2*x - 8 = -f*u + 2. Does 7 divide x?
True
Let v(x) = x**3 + 4*x**2 + 2*x + 2. Let y be v(-2). Suppose 512 = 5*m + 4*j, -m + 112 = 2*j - y*j. Is 21 a factor of m?
False
Suppose -2*v + 19 = -3*r + 2*r, 2*v - 34 = 4*r. Suppose -63 = -8*k + v*k. Is k a multiple of 14?
False
Let k(q) = 3*q - 5 - q - 5 - q. Let t be k(6). Does 7 divide (37 + t)/((-6)/(-8))?
False
Let z(h) = -h**3 - 55*h**2 - 2*h - 55. Is z(-55) a multiple of 5?
True
Let p(h) = 13*h - 53. Is 3 a factor of p(5)?
True
Let m be (-3 + (5 - 2))/(-2). Suppose m*q + 3*q = 24. Does 21 divide 354/(-4)*q/(-12)?
False
Let o(q) = q**3 + 7*q**2 + 7*q + 7. Let u be o(-6). Suppose -7 - u = -4*n. Does 19 divide 19/(-4)*(n + -6)?