
Let q = 3 - -1. Let v be ((-9)/(-2))/(15/80). Suppose -2*u + q + v = 0. Does 12 divide u?
False
Let c(v) = 2*v**2 - 3*v + 3. Is c(4) a multiple of 16?
False
Suppose -2*g + 3*l - 12 = -2*l, 12 = 3*l. Suppose 5*x - 9 = -2*f, g = -x + 3. Is 3 a factor of f?
False
Let t = 21 - 13. Is t a multiple of 3?
False
Let f be 0 - (-6*2)/3. Suppose -4*n - n = f*c - 17, -5*n = 5*c - 25. Is c a multiple of 8?
True
Let p(y) be the first derivative of -5*y**2/2 - 4*y - 1. Let h(m) = -m**3 - 5*m**2 - 4*m - 3. Let k be h(-4). Is p(k) a multiple of 11?
True
Suppose -103 = -4*p + 197. Suppose -3*u + 15 = -p. Does 10 divide u?
True
Suppose 3*c = -2*c. Let h(y) = y**2 + 4*y - 1. Let u be h(-5). Suppose 0 = -l - 3*m - 3, c = -u*l + 3*m + 36 + 12. Is 9 a factor of l?
True
Let d be 12/16 - (-1)/4. Is 15/d*(-4)/(-3) a multiple of 6?
False
Let d = -13 - -65. Suppose 2*g = d - 14. Is 4 a factor of g?
False
Suppose 22 = 2*m - w, 5*m - 6*m - 4*w + 20 = 0. Is (20/(-6))/((-2)/m) a multiple of 17?
False
Suppose v + 2*c - 44 = 0, -147 = -0*v - 3*v - c. Is 25 a factor of v?
True
Suppose 5*t + 60 = t. Is t*3/6*-2 a multiple of 10?
False
Let x be (2*9/24)/((-3)/12). Let b = -4 + 2. Does 3 divide (0 + x)/(b - -1)?
True
Is (-3)/(-2)*(-40)/(-3) a multiple of 5?
True
Suppose 3*b + b - 8 = 0. Is (-1210)/(-33) - b/3 a multiple of 12?
True
Let m(q) = q**2 - 3*q - 4. Let o = -8 + 5. Let t be m(o). Is 14 a factor of (t/(-5))/(2/(-20))?
True
Suppose 0 = f - 12 - 20. Suppose -2*g = 4*s - f, -g + 20 = 4*g - 2*s. Is g a multiple of 3?
True
Let f be (-6)/(-1) + -1 + -1. Suppose 0 = -f*d - 0*d + 56. Is 14 a factor of d?
True
Let l(u) = -3*u**2 - 5*u - 5. Let a be l(-5). Let r = -134 - a. Let x = r + 113. Does 17 divide x?
True
Let q = 24 - -1. Suppose 5*l + 0*l - q = 0. Suppose 3*r - r = f + 19, -l*r + 51 = f. Is r a multiple of 10?
True
Let v(i) = -i**2 - 9*i - 8. Let j be v(-9). Let g = 0 + j. Does 3 divide 1 + -2 - g/1?
False
Suppose -4*t = -t - 36. Let v = -21 + t. Let b(m) = -4*m - 9. Is 8 a factor of b(v)?
False
Let d = 4 - 10. Let u be (-2)/d*(-1 - 2). Does 11 divide 1 - (12 - 2)/u?
True
Let v(f) = 2*f + 1. Is v(3) a multiple of 2?
False
Let s = -61 - -103. Suppose -4*h + i = 2*i - 10, 3*i = 2*h + 2. Suppose f = 5*p + h*f - 262, p - 5*f = s. Does 20 divide p?
False
Let p(x) be the first derivative of -7*x**2/2 + 2*x - 3. Does 8 divide p(-2)?
True
Let x = -10 - -12. Let p be 5*(2*-1 - -1). Is 4 a factor of x/p + (-22)/(-5)?
True
Let l = 8 - 8. Is (16/(-3) + l)*-3 a multiple of 16?
True
Let z(u) = 3*u**2 - 6*u + 7. Let h(a) = -4*a**2 - 2*a**2 - 29 + 23*a - 6*a**2 - a**2. Let r(v) = -2*h(v) - 9*z(v). Is 5 a factor of r(4)?
False
Suppose l - 1 = -3*t + 3, 5*t - 4*l = -16. Let g(x) = -3*x. Let p be g(5). Let u = t - p. Is 8 a factor of u?
False
Suppose -4*d = -0*d + 28. Let p(n) = n**3 + 8*n**2 + n - 6. Is 12 a factor of p(d)?
True
Suppose 6*q - q = 0. Suppose q = -2*k + 54 - 2. Is k a multiple of 12?
False
Let b = 10 + -20. Let y = -85 - -55. Let t = b - y. Is t a multiple of 14?
False
Let r = 135 - 24. Is r a multiple of 36?
False
Let l(i) = i**2 + i + 6. Let v(m) = -m**3 + 7*m**2 - 7*m. Suppose 0 + 12 = 2*u. Let o be v(u). Is 13 a factor of l(o)?
False
Let g = 605 - 355. Does 50 divide g?
True
Suppose 2*q + 3*f - 10 = 0, 0 = -q + 2*q - 5*f + 8. Suppose 4*d - 10 = q. Suppose 12 - d = c. Does 7 divide c?
False
Let f(z) = -2*z**3 - z**2 - 1 + z + 2*z + 0. Does 32 divide f(-3)?
False
Let i(k) = 4*k**2 - 13*k - 9. Let q(n) = -2*n**2 + 7*n + 5. Let b(s) = 6*i(s) + 11*q(s). Let u be b(-2). Suppose z = u + 12. Is z a multiple of 16?
False
Suppose 9*n - 381 + 30 = 0. Does 7 divide n?
False
Let x(u) = 3*u**3 - 3*u**2 - 2*u + 2. Let s(k) = -k**3 + k**2 + k - 1. Let i(l) = 4*s(l) + x(l). Let r be i(2). Is (-3)/(r - -1)*7 a multiple of 15?
False
Suppose 4*a + 0*a = 804. Suppose -4*o - 246 = 2*v, a = -3*o + 4*v - 0*v. Let w = -43 - o. Is 10 a factor of w?
True
Let v = -1 - -5. Let n(h) = 9*h + 7. Is 8 a factor of n(v)?
False
Suppose 5*k + 34 = -2*d, 0 = -5*d + 2*k - 3*k - 39. Let u be (-1)/((3/d)/3). Does 6 divide u*1/(21/18)?
True
Let u(c) = 2*c + 3. Let h be u(-4). Let a be (3 - 3 - h) + 2. Suppose m - 25 - a = 0. Is 13 a factor of m?
False
Suppose 3*o + 15 = 0, -h + 4*o = -2*h + 150. Suppose y + h = 6*y. Does 17 divide y?
True
Suppose -g + 4*p = -3*g + 30, -5*g + 47 = 3*p. Let v(w) = -w**3 + 7*w**2 + 3*w - 10. Is 4 a factor of v(g)?
False
Suppose -w = -4*w + 12, 4*w - 484 = -4*l. Is l a multiple of 13?
True
Does 8 divide ((-24)/2)/(36/(-48))?
True
Let y be (2 - 3)*-1 - 1. Suppose -2*q + y*q + 76 = 0. Does 12 divide q?
False
Suppose o - 23 = 3*m - 5*m, 2*o - 28 = 5*m. Suppose o - 125 = -2*v. Does 18 divide v?
False
Suppose -10 = -14*u + 9*u. Suppose u*z = -5*j + 230 + 10, -j = -z - 48. Is 9 a factor of j?
False
Suppose 10 = 4*c - 2. Suppose b = c*g - 82, -2*g + 2*b = -36 - 16. Does 14 divide g?
True
Let r be ((-4)/12)/((-1)/6). Is r/9 + (-604)/(-36) a multiple of 17?
True
Suppose -z = -98 - 62. Does 15 divide (3/6)/(2/z)?
False
Let k be (-4)/8 - (-834)/4. Suppose 0*f = 4*f - k. Does 14 divide f?
False
Let d be (56/35)/((-2)/(-15)). Let i = d + 16. Is i a multiple of 14?
True
Let z = -24 + 86. Is 8 a factor of z?
False
Let y be (-6 - -2)*(-1)/2. Let g(n) = -1 - 4*n**y - n + 2*n**2 + n**3 - 3*n. Is g(4) a multiple of 14?
False
Is 13 a factor of 11/(-22) + (-63)/(-2)?
False
Let l = -7 - -10. Let y = 25 - l. Is y a multiple of 10?
False
Let g = 0 - -4. Is 21/(-2)*g/(-3) a multiple of 7?
True
Suppose 0 = -13*k + 1110 - 239. Is 5 a factor of k?
False
Is 9 a factor of (-8)/40 - (-116)/5?
False
Let k(g) = -g**2 + 5*g + 8. Let d be k(6). Suppose -4*f - w + 0*w = -21, -3*w = 3*f - 27. Suppose f*q = -8, -d*m - 2*q + 11 + 13 = 0. Is 7 a factor of m?
True
Let t(g) = g**3 + 7*g**2 + 3*g + 8. Let w be t(-7). Let b = w + 8. Does 4 divide ((-4)/5)/(1/b)?
True
Let t = -3 + -1. Let u be t/(-6) - 22/6. Is (9/u - -3) + 12 a multiple of 8?
False
Let q(o) = -5*o**3 + o**2 - 5*o - 4. Let c(l) = -6*l**3 - 5*l - 5. Let s(y) = 4*c(y) - 5*q(y). Does 22 divide s(6)?
True
Suppose -3*l + 80 = 2*l. Does 5 divide l?
False
Suppose 0*p + 34 = p. Let c = -4 + p. Does 17 divide c?
False
Suppose -53 - 73 = -2*a. Suppose -a = -2*h + j, -h - 2*j + 32 = -12. Does 6 divide h?
False
Let l(s) = s - 4. Let y(n) = -n**2 + n + 14. Let b be y(0). Is 5 a factor of l(b)?
True
Let j(n) = 3*n**2 + n + 1. Let y be j(-1). Let g = 7 + 7. Is 18 a factor of (y + -1)*203/g?
False
Let m be -1*(0/1)/(-3). Let b = m - -1. Is -2*b*21/(-2) a multiple of 13?
False
Let x = 6 + 30. Let a = 104 - x. Is a a multiple of 15?
False
Let h(j) = -7*j + 5. Let g(z) = z**3 - 5*z**2 - 4*z - 7. Let f be g(6). Suppose f*l - 2*y = -19, -y - 6 = y. Does 17 divide h(l)?
False
Suppose -3*s = -0*s + 4*f - 50, 15 = 3*f. Let t = s + -7. Is t a multiple of 2?
False
Let y = -2 + 11. Is y a multiple of 2?
False
Let z be 2*5/((-5)/(-2)). Suppose -d - d + z = 0. Is d even?
True
Let a = -62 - -95. Does 7 divide a?
False
Suppose r + r + 2 = 0. Let w = r + 4. Let j(l) = 7*l + 3. Is 17 a factor of j(w)?
False
Does 2 divide 8/(-4) - (1 - 8)?
False
Suppose -3*j + 2*x - 3*x + 21 = 0, 1 = -j - 3*x. Let p = 14 - j. Does 6 divide p?
True
Is 6 a factor of (7 + 7)*(-10)/(-4)?
False
Is 13 a factor of (10 - (-2*2 + 3)) + 2?
True
Let s = 15 - -58. Does 20 divide s?
False
Suppose 0 = x - 26 + 6. Suppose -k = -6*k + x. Suppose 0 = k*l - 0*l - 8. Is l a multiple of 2?
True
Suppose -k + 5*q = -0*k + 9, -5*q = -10. Let z be (2 + -2)*k + 36. Suppose -j + 4*j = z. Is 6 a factor of j?
True
Is 2/(-8) + 4044/48 a multiple of 12?
True
Suppose a = 4*a - 21. Let d(h) be the third derivative of -h**6/120 + 2*h**5/15 - 5*h**4/24 - h**3/3 + h**2. Is d(a) a multiple of 6?
True
Suppose 2*v = 3*x + 1 - 5, 3*x - 4*v - 14 = 0. Let g be 1 - x - (1 - 3). Suppose 5*j = -g*y + 105, -3*y - 2*j + 31 + 31 = 0. Is y a multiple of 20?
True
Let n(q) = q + 3. Let m be n(-3). Let j = 4 + m. Suppose -74 = -j*f - 10. Is f a multiple of 16?
True
Let m(w) = w**2 + 3*w - 3. Let q be m(-4). Suppose -2*c + 7 = q. Does 11 divide 32/c + 1/3?
True
Suppose 0 = -0*c + 5*c - 90. Is c a multiple of 9?
True
Suppose 208 = 4*t + 80. Is 8 a factor of t?
True
Let x be (-1)/4*-2*-2. Let z(y) be the second derivative of -7*y**3/3 - y**2/2 + 3*y. Does 13 