ue
Let v(n) = -n**2 + 4*n + 2. Let g be v(4). Suppose 4*u + 4*t + g = 6, 5*u = 4*t + 41. Suppose 0 = -3*h + u*h - 36. Does 9 divide h?
True
Suppose 5*l = -0*l + 5. Let k(u) = 5*u**3 - u**2 + u - 1. Is k(l) a multiple of 2?
True
Is 1/(-7) + 632/14 a multiple of 15?
True
Suppose 0 = 5*r - 12 + 2. Is 2 a factor of r?
True
Is 3 + (-4)/(20/(-125)) a multiple of 21?
False
Let z(x) = 9*x + 8. Is 36 a factor of z(6)?
False
Let c(j) = -8 + 0*j + j**2 - 6*j + 3*j**2 - 3*j**2. Is 3 a factor of c(8)?
False
Suppose 4*t = -3*n + 5*t + 146, 94 = 2*n + t. Does 8 divide n?
True
Let z be ((-146)/(-6))/(3/(-18)). Let g = z + 98. Let x = -32 - g. Is x a multiple of 8?
True
Suppose 0 = t + 2*u + 5, -u + 3 = -2*u. Suppose 5*k - 7 = -y, k = -t - 1. Does 17 divide y?
True
Let r(v) = v**2 - 10*v + 12. Let z be r(9). Suppose 23 = z*x + 2. Does 3 divide x?
False
Let n = -24 + 13. Let j(f) = -f**3 - 11*f**2 - 4*f + 5. Is 14 a factor of j(n)?
False
Let h(f) = 7*f**3 - 4*f**2 + 6*f - 7. Is h(2) a multiple of 9?
True
Let p(x) be the third derivative of x**5/60 + x**4/12 - 5*x**3/3 + 4*x**2. Does 13 divide p(-8)?
False
Suppose 8*h - 45 = 7*h. Is h a multiple of 5?
True
Suppose 0 = -4*m + 35 + 33. Does 17 divide m?
True
Suppose 3*z = -0*h - 5*h + 23, -5*h = 5*z - 25. Suppose -g - 9 = -h*g. Let k = g + -1. Is k even?
True
Let s = 26 + -19. Does 2 divide s?
False
Let b(n) = -n**2 + 1 - 4*n + 0*n + 0*n. Let a be b(-3). Suppose a*f = 4*i + 24, 2*f + f + 3*i = 0. Is 3 a factor of f?
True
Suppose 0 = 4*b - 3*b + 3*m - 72, -4*b + 328 = 2*m. Is b a multiple of 21?
True
Does 22 divide 273/12*(-1 + 5)?
False
Let s(b) = 0 + 4*b - b + 3. Let l be s(-5). Let x = 27 + l. Is x a multiple of 15?
True
Suppose -4*b + 5*a + 352 = 0, 352 = 4*b - a - 3*a. Suppose 0 = -4*m - 3*v + 119, -3*m - 2*v + b = -v. Is 26 a factor of m?
False
Let r(j) = -j - 1. Suppose 0 = -t + 4*f + 11, t + f - 1 = -0*f. Suppose -c - 2*w - t - 9 = 0, 5*c - 4*w = -4. Is r(c) a multiple of 2?
False
Let w(p) = -p**2 - 6*p - 14*p**3 + 1 + 5*p - 2. Is w(-1) a multiple of 13?
True
Let n be (4 - 1) + 1 + -1. Let o(u) = 13*u**2 + u - 1. Let b be o(-2). Is 17 a factor of b - n/(1 + 2)?
False
Suppose 0 = -q - 4*q + y + 78, 0 = y - 2. Is q a multiple of 4?
True
Let n(f) = -f**2 + 16*f - 3. Let w be n(14). Does 7 divide (-10)/w + (-114)/(-10)?
False
Let b be (2/7)/((-4)/(-28)). Suppose -3*h + 120 = b*h. Does 12 divide h?
True
Let k = 9 - -89. Suppose -2*s + k = -0*s. Let j = -16 + s. Does 11 divide j?
True
Let f(p) = p. Let u be f(0). Does 5 divide 0 + 4*(3 - u)?
False
Suppose 4 = -4*n + g, -5 - 15 = 4*n + 3*g. Let l = n - 6. Let b = 38 + l. Does 15 divide b?
True
Suppose -3*k + 8*k - 205 = 0. Does 14 divide k?
False
Let j(d) = 8*d**3 - d**2 + d - 2. Let y be j(-2). Let z = -40 - y. Does 7 divide z?
False
Suppose -2*z + h + 6 = -5, 0 = -z - h - 2. Suppose 4*j = -o - z*o + 268, -5*j = -o - 323. Is j a multiple of 13?
True
Suppose -3*i + 2*u - 296 = 0, -2*i - 3*u - 106 = -i. Let m = i + 71. Let w = m - -58. Does 14 divide w?
False
Let k = -86 - -143. Is k a multiple of 7?
False
Let f(s) = -2*s**2 + 1 + 3*s**2 - 11 + 9*s + 0*s**2. Is 6 a factor of f(-11)?
True
Suppose 58 - 616 = -6*k. Is k a multiple of 33?
False
Let n be 2 - 0/(0 - -2). Let s(a) = -8*a**3 + 2*a**2 + a. Let k be s(-1). Is 12 a factor of (-572)/(-18) + n/k?
False
Let t(k) = k**2 - 9*k + 12. Let i be t(8). Let g(c) = -3 - 3*c + i - 35*c. Is g(-1) a multiple of 19?
False
Suppose 734 = 5*u + 4*c - 3*c, c = 4. Is 12 a factor of u?
False
Suppose -4*j - 12 = 0, -5*j - 9 + 108 = 2*f. Is f a multiple of 20?
False
Let o(t) = -14*t - 14. Is o(-7) a multiple of 28?
True
Suppose f - 2*f - 12 = 2*j, -f = -3*j - 13. Let h = 9 + j. Suppose 0 = -b - h - 1, 3*o - 5*b = 55. Does 5 divide o?
True
Suppose 0 = q + 2, -5*a = 3*q + 2*q + 105. Let g(d) = -9*d - 6. Let y be g(-5). Let o = a + y. Is 18 a factor of o?
False
Let m = -60 - -105. Does 5 divide m?
True
Let u(f) = -13*f**2 - 13*f + 11. Let d(v) = 3*v**2 + 3*v - 3. Let l(t) = 9*d(t) + 2*u(t). Suppose 13 = -5*r - 7. Is 3 a factor of l(r)?
False
Does 4 divide (-33)/22*(-20)/3?
False
Let c(s) = -4*s**2 + 9*s + 3. Let b(z) = -z**2 - z. Let n(u) = 3*b(u) - c(u). Is n(15) a multiple of 14?
True
Let a = 8 + -6. Suppose 6*p = a*p + 228. Does 27 divide p?
False
Let b(q) = -2*q**2 + 21*q + 23. Let o(l) = l**2 - 10*l - 12. Let p(v) = 3*b(v) + 5*o(v). Is 17 a factor of p(7)?
True
Let g = -1 - 3. Let h be (-3)/(-6) + 2658/g. Is 2/(-10) - h/20 a multiple of 17?
False
Let j(f) = 6*f - 7*f + 0*f**2 + 3*f**3 - 2 + f**2. Is j(2) a multiple of 12?
True
Let y(w) = w + 9. Let h be y(-9). Suppose j - 3*j + 4 = h. Suppose 0 = 4*p, 5*g - j = 5*p + 18. Is g a multiple of 4?
True
Suppose 3*i = 6*i - 180. Does 13 divide i?
False
Suppose -5*p = 3*f + 24, 24 = -3*f - 0*f + p. Is 100/f*(-2 - 0) a multiple of 22?
False
Let q = -11 + 5. Let f(c) = -19*c - 23*c + 2 + 41*c. Does 4 divide f(q)?
True
Let z = -18 - -13. Let k = 28 - z. Is k a multiple of 9?
False
Is -22*(-6)/12 + 2 a multiple of 12?
False
Suppose -5*o - 3*y + 392 = 0, 2 = -4*y + 18. Is o a multiple of 16?
False
Suppose 0 = -a - 3*w - 12, -w - 8 = -a - 4. Suppose -5*f - 2*i + 168 = a, 3*f - 38 = 2*f + 4*i. Is 19 a factor of f?
False
Is 13/((-26)/(-8) + -3) a multiple of 28?
False
Suppose -2*i - 2*v = -110, -2*i - 3*i - 4*v + 274 = 0. Does 15 divide i?
False
Let s = -98 + 173. Let t = s - 51. Does 10 divide t?
False
Suppose -3*y - 48 = -5*f + y, -f + 3*y + 14 = 0. Does 5 divide f?
False
Let j(g) = -g**3 + 6*g**2 - 8*g + 7. Let a be j(5). Let s = 11 + a. Suppose -v - s*c + 13 = 0, -v - 4*c + 13 = -2*c. Is 13 a factor of v?
True
Let d be 2 + -4 - 0/6. Let k = 9 + d. Is 7 a factor of k?
True
Let h(t) = t**2 - 2*t + 1. Let j be h(3). Let d = -1 + j. Is 5 a factor of -10*(d/2 - 2)?
True
Let a = 146 + 131. Let c be 2/9 - a/(-9). Suppose -4*d = 0, 3*b - d + 10 - c = 0. Does 6 divide b?
False
Let p = 224 + 131. Suppose 4*w - 3*j + 0*j - p = 0, j = -5*w + 458. Suppose 3*l + m = -27 + 104, 0 = 4*l - m - w. Is 12 a factor of l?
True
Suppose -6*u = 70 - 358. Is 24 a factor of u?
True
Let d = 20 + -11. Let z = d + -5. Suppose z*m + 3 - 55 = 0. Is m a multiple of 7?
False
Let m = -38 - -61. Is 5 a factor of m?
False
Suppose 5*w + 3 = -2. Suppose j - 3 = -1. Let v = j - w. Does 3 divide v?
True
Let t(i) = i**2 - 11*i - 3. Let z be t(5). Is 21 a factor of (-6)/z + (-647)/(-11)?
False
Let y(a) = a**3 - 6*a + 6. Is y(3) a multiple of 3?
True
Suppose 3*p + 5*k = 38, p + 0*k - 41 = 4*k. Is p a multiple of 4?
False
Is 7 a factor of ((-1)/((-2)/28))/2?
True
Let z(v) = 2*v**3 - 5*v**2 - 11*v + 19. Does 5 divide z(6)?
True
Let v(m) = 2*m**2 - 2*m + 2. Does 21 divide v(-4)?
True
Suppose 4*g + v - 13 = 0, -2*g = g + 4*v - 26. Suppose -3*a + 2 = -g*a. Suppose -27 = -5*w + a*w. Is 9 a factor of w?
True
Does 11 divide (-6 + -12)/((-6)/8)?
False
Let h(u) be the third derivative of u**5/30 - u**4/3 - u**3/3 + 3*u**2. Let r be h(8). Suppose -3*z = -67 - r. Is 11 a factor of z?
False
Let w = -36 - -72. Is 18 a factor of w?
True
Let c(x) = -x**2 - 9*x - 7. Let b be c(-6). Let f = b + -2. Is f a multiple of 9?
True
Suppose 2*p + 1130 = 5*a, -a + 2*p + 218 = -0*a. Is 24 a factor of a?
False
Let g = -14 + 179. Is 8 a factor of ((-2)/3)/((-5)/g)?
False
Let v = 4 - -65. Does 6 divide v?
False
Let p(u) = u**2 + 7*u + 5. Let s(z) be the first derivative of z**2/2 - 7*z - 1. Let k be s(0). Is p(k) a multiple of 2?
False
Is -3 - ((-4750)/(-5))/(-5) a multiple of 11?
True
Let m = 14 - 11. Let a(x) = x**3 - x**2 - 2*x - 4. Let n be a(3). Suppose -m*k + n = z, -3*k - k - z = -11. Is k even?
False
Let s be (2/2 - 0)*-12. Let c = s + 48. Is c a multiple of 12?
True
Let g(d) = d**2 + 11*d. Let v be g(-7). Let k = v - -58. Let c = -14 + k. Is 8 a factor of c?
True
Suppose 5*k - 3*i - 124 = 157, -5*i - 43 = -k. Does 21 divide k?
False
Suppose -3*h + 12 = -69. Is 12 a factor of h?
False
Let x(d) = -20*d - 1. Is 9 a factor of x(-1)?
False
Let r = -6 + 12. Let w(y) = 7*y - 1. Let v be w(3). Is (-264)/v*(-20)/r a multiple of 24?
False
Let r be (-324)/(-2) - 6/(-2). Suppose r = 3*s - 0*s. Is 25 a factor of s?
False
Let d = 14 + -11. Suppose -b - 5*m = -d, -2*m + 5*m = -6. Is b a multiple of 13?
True
Let x be 1/3 - (-22)/6. Suppose 2*o - x*b - 96 = 0, 3*b + 0*