 10/4 + (-1)/2. Suppose 2*b - 4*b = -k. Let g = b + 9. Is 10 a factor of g?
True
Let u(m) = 5*m - 11. Let a be ((-6)/2)/((-30)/80). Does 16 divide u(a)?
False
Let j(w) = w**2 - 11*w - 4. Let m(z) = 1 - 1 + 1. Let p(i) = -j(i) - 6*m(i). Is 11 a factor of p(8)?
True
Let l be (2 - (-6)/3)/2. Let d(p) = p + 2. Let f be d(l). Suppose 2*g + 9 = 2*c - 7, 0 = f*c + g - 7. Is c even?
False
Let i(f) = -1. Let d(c) = -12 + 0*c + c - 4*c. Let l(g) = -d(g) + 2*i(g). Does 11 divide l(7)?
False
Let q(l) be the third derivative of l**5/60 + 5*l**4/8 + 5*l**3/2 - 2*l**2. Let g be q(-11). Is g/(-1) - (5 - 7) a multiple of 12?
False
Let u be (-1 - -2) + (3 - 1). Suppose -4*n = -3*h - 3, -n = 2*h - 13 + 4. Let b = n + u. Is b a multiple of 3?
True
Let f(r) = r + 7. Let t be (2/(-3))/(2/(-24)). Let i be f(t). Let z = 10 + i. Does 11 divide z?
False
Suppose 3*q - 28 = 17. Is 2 a factor of q?
False
Suppose m = 2*f + 30, f = 3*m - 69 - 6. Suppose -6 = 5*s + m. Let y(w) = -w**3 - 6*w**2 - 3*w - 3. Does 11 divide y(s)?
False
Let s(h) = h**3 + 14*h**2 - 16*h + 3. Is 11 a factor of s(-15)?
False
Let l(u) = 2*u - 9. Does 9 divide l(15)?
False
Suppose 0 = 3*j - 7*j + 160. Let s = j - 15. Does 25 divide s?
True
Let s(n) = n**2 - 5*n - 1. Let z be s(6). Suppose z*o + 265 = f + 3*f, 258 = 4*f + 2*o. Let y = f - 35. Is y a multiple of 15?
True
Let a(k) = -8*k + 2. Does 13 divide a(-3)?
True
Suppose 0*f - 68 = -4*f. Let j = f - 7. Is j a multiple of 5?
True
Suppose -f + 2*f = -3*n + 4, 5*n + 5*f = 0. Let h(y) be the first derivative of y**4/2 + y**3 - 3*y**2/2 + y - 1. Is h(n) a multiple of 6?
False
Let g = 70 - 28. Is 21 a factor of g?
True
Let n be 6*146 - 1*2. Let p be n/10 + (-12)/(-20). Suppose -r + 28 = 5*v, 2*v + p = 5*r + v. Is r a multiple of 9?
True
Suppose -3*v - 5 - 7 = 0. Is (-124)/(-4) - v/(-4) a multiple of 10?
True
Let k be 10/3*12/10. Suppose -36 = -2*s - 3*v + 1, -5*v + 73 = k*s. Is 17 a factor of s?
True
Suppose 15*u - 829 = 746. Is u a multiple of 15?
True
Suppose -11 = -u - o, -2*u - o + 0*o = -20. Suppose -4*q + 56 = -3*q. Let r = q - u. Is 12 a factor of r?
False
Suppose -s + 6 = -126. Let l be s/28 - (-4)/14. Suppose 2*z = -j + 18, l*j - 5*z - 85 = j. Is 17 a factor of j?
False
Let x(m) = m**3 + 9*m**2 + 11*m + 11. Let p be x(-8). Does 2 divide (-63)/p + (-30)/(-195)?
False
Let x(s) = s**2 + s - 1. Suppose 2 = 5*b - f, 0*f - 8 = 4*b - 4*f. Let r be x(b). Is 6 a factor of (-3)/((-3)/20) - r?
False
Suppose -2*n + 230 = 3*n. Does 8 divide n?
False
Suppose 2 = -0*b + b. Suppose b*l = 5 - 3. Suppose -5 = -u + l. Is 6 a factor of u?
True
Let i = -32 + 57. Is 12 a factor of i?
False
Let d(c) = c**2 + 4*c + 2. Let g be d(-4). Let y(q) = -q**2 + 7*q**g + 3*q**2 + 5 + q**3 - 2*q - 2*q**2. Does 19 divide y(-7)?
True
Suppose -4*r - 10 = z, 0 = -4*z + 5*r + 26 - 3. Suppose u + 5*g - 20 = 0, -z*u + 2*g = -g - 66. Is u a multiple of 15?
True
Suppose 5*j - 9*j + 8 = 0. Suppose j*o + m + 4*m - 66 = 0, o - 3*m = 11. Is o a multiple of 14?
False
Let w be (1 + -15)*(-1 - -2). Let v = 4 - 8. Is 20 a factor of v/w + 692/28?
False
Let v(b) = -b**2 + 8*b - 9. Let o be v(6). Suppose -o*x = 5*i, 0*x - 14 = x - 3*i. Let j = x - -34. Does 20 divide j?
False
Let a = 117 + -69. Suppose a = 5*h - h. Is h a multiple of 5?
False
Suppose 22 = b + 7. Is b a multiple of 14?
False
Suppose -4*v = -3 - 29. Let m = v + 7. Is m a multiple of 14?
False
Suppose 3*y - 1252 = -331. Is 8 a factor of y?
False
Let p be ((-2 - -2)/3)/2. Let u(k) = p - 2 + 3 + 13*k. Does 14 divide u(1)?
True
Let f(r) = 17*r**2 - 1. Let g be f(1). Suppose 2*v - g = -4. Is 2 a factor of v?
True
Suppose z + 4*z - 355 = 0. Suppose -p = -2*f + z, 3*f - 8*f + 160 = p. Is f a multiple of 11?
True
Suppose 177 = -4*w + 33. Let h be (-122)/(-18) - 8/w. Suppose -3*a = 0, 4*k - 28 = h*a - 2*a. Does 3 divide k?
False
Suppose 4*w = 4*p, -2*w + 2*p = 5*p - 20. Suppose -3*f = -w*f - 5*o + 25, -o = -5. Suppose f = 7*l - 3*l - 104. Is l a multiple of 13?
True
Let s(d) = 4*d**3 + 2*d**2 + 2*d - 3. Let r be s(2). Let f = r - 20. Does 10 divide f?
False
Let f(j) = -1 + 0*j + 2*j + j. Let r be f(3). Suppose -r = w - 2*w. Is 4 a factor of w?
True
Is 36 - 0 - (-4)/(1 - 2) a multiple of 19?
False
Suppose 4*w = -0*w + 384. Is w a multiple of 4?
True
Suppose q = -2*z + 3*z + 100, -4*q + 5*z = -396. Does 11 divide q?
False
Suppose -5*z = -18 - 22. Does 8 divide z?
True
Let z(m) = -m**2 - 11*m - 2. Let v be z(-5). Is (v/7)/(2/17) a multiple of 9?
False
Let k be (-2)/(-4)*34*1. Suppose r + 12 = -3*d, -2*d + 0*r - 3*r = 1. Let z = k + d. Is 5 a factor of z?
False
Suppose 0 = -5*z - 3*n + 61, -4*z + 27 = -z - 3*n. Let v(c) = z*c**2 + 3*c**2 - 4*c**2. Does 6 divide v(1)?
False
Let z be (-1 + 7)/(-2) - 0. Is (-7 - z)/(-4) - -110 a multiple of 16?
False
Suppose -64 = 16*b - 18*b. Is 3 a factor of b?
False
Suppose 3*t = 2*h + 43, 3*t + 4*h = -1 + 68. Is t - (-4 - 1/(-1)) a multiple of 5?
True
Suppose 3*o + 15 = 2*u, 35 = 8*u - 4*u - 5*o. Let b = 37 - u. Is 20 a factor of b?
False
Suppose 3*k = -5*n - 5, 2*k + 0*k = 2*n - 14. Suppose -n*c - 2 = -0. Is ((-3)/(-6))/(c/(-10)) a multiple of 5?
True
Let a be (-1)/(-3) + 1887/9. Let p = a + -142. Is p a multiple of 33?
False
Let a = -12 - -19. Let h = -2 + a. Does 4 divide h?
False
Let h = 105 - 37. Is h a multiple of 17?
True
Let l be (2 + -2)*3/6. Let h be (l + -1)/((-6)/462). Let n = -53 + h. Is 16 a factor of n?
False
Let o(l) = l**2 + 2*l - 4. Let y be (16/(-24))/(2/(-21)). Is 20 a factor of o(y)?
False
Let o be -4 + 2 - -1 - -8. Suppose 2*u = -1 + o. Is 11 a factor of 24 + 1 - (u - 1)?
False
Let l be (-2)/(-7) - (-19)/7. Suppose -t = l*t - 64. Is 11 a factor of t?
False
Let z be 25/9 + (-6)/(-27). Is 7 a factor of 1/(z/(0 - -51))?
False
Let o be 2 + 0 - 1*-2. Does 8 divide ((-14)/o)/(4/(-16))?
False
Suppose k + 0*a = a - 7, 4*a = k + 22. Is (9/12)/(k/(-72)) a multiple of 7?
False
Suppose 4*j + 2 - 22 = 4*p, 2*p + 3*j = 0. Let d be 2*p/6 + 89. Suppose -3*w - d = -5*w. Does 13 divide w?
False
Suppose o + 2*o = 3*a + 3, -5*o = -2*a - 5. Suppose 3*w + 21 = 2*d + 2, -o = w. Is d a multiple of 4?
True
Let j(h) = 12*h - 6. Let u be j(7). Is 16 a factor of 1/(1 - u/81)?
False
Suppose -45 = -0*l - 3*l. Let o be 1/((-27)/l - -2). Suppose -3*c + 52 = o*s, 3*c - 15 - 25 = s. Does 5 divide c?
False
Suppose 715 = 10*i - 535. Is 8 a factor of i?
False
Let x be (3/(-2))/(2/(-12)). Let y = x + -5. Suppose -36 = -y*n + 140. Is 16 a factor of n?
False
Let i be (168/10)/(1/5). Suppose i = 5*k + 2*n, 5*n + 4 = 2*k - 47. Is 12 a factor of k?
False
Let j = 119 + 99. Is j a multiple of 22?
False
Let t(i) = -2*i + 1. Let a be t(-2). Suppose -3*u = -4*u - 5*d, 3*u + a*d = 10. Suppose 2*g - 5*g - 4*v + 89 = 0, 0 = -u*g - 3*v + 130. Does 8 divide g?
False
Suppose -3*k = -0*k - 3*g - 3, 11 = 2*k + g. Does 4 divide k?
True
Suppose 2*d = -3*y + 7, 3*d - 18 = -5*y - 7. Let q = 7 - d. Suppose -68 = -q*o + 62. Is 13 a factor of o?
True
Let y be 2/(-8) + (-63)/(-12). Suppose 0 = -0*o - y*o - 5. Let l = 23 + o. Is 14 a factor of l?
False
Let r = 295 - -83. Is 18 a factor of r?
True
Let a(t) = t**3 - 9*t**2 - 2*t + 2. Let y be a(9). Let z = 28 - y. Is 22 a factor of z?
True
Let m(f) = -5*f**3 - 9*f**3 + f**2 - 2*f**2. Let k be 3/(-5) - (-2)/(-5). Does 13 divide m(k)?
True
Suppose -3*j = -2*j - 6. Suppose -g + j = 5*n, -69 = g - 4*g + 2*n. Does 19 divide g?
False
Let g(m) = 6 + 0*m + m + m**2 - 2. Suppose 0 = 4*x + 3*v, -3*v = 5*x - 0 + 3. Is g(x) a multiple of 6?
False
Let x(q) = -q**3 + 9*q**2 - 6*q - 8. Does 13 divide x(6)?
False
Suppose 0 = 5*u - 4*r + 3005, -5*u - 2*r = -u + 2430. Let q = 31 - u. Is 6/(-21) - q/(-21) a multiple of 10?
True
Let t = 186 + -134. Does 13 divide t?
True
Let x(n) be the second derivative of -n**5/20 - 5*n**4/6 + 3*n**3/2 - n**2 + 2*n. Is 10 a factor of x(-11)?
True
Suppose 5*f = 4*v - 8, 3*v - 5*f + 3 - 14 = 0. Let i be (-1)/2*(-3 - v). Suppose u = -i + 13. Does 10 divide u?
False
Is 18 a factor of (-4 - -225) + -5 + 3?
False
Suppose 0 = 5*z + d - 9 - 5, 5*d + 8 = z. Let u be 3 - (-2 + z) - -14. Let v = -4 + u. Does 12 divide v?
True
Suppose j + j + 3*t - 221 = 0, 0 = 4*j - t - 477. Does 15 divide j?
False
Suppose -w = 4*c + 20, -w + 10 = w - 2*c. Suppose -m + 3*f - 10 = 0, f = -w*f + 3. Is 24 a factor of 