*(-165)/z?
False
Let x(a) be the first derivative of a**4/4 - 4*a**3/3 + 3*a**2/2 + a + 2. Let s be x(4). Let z = s + -4. Is 3 a factor of z?
True
Is 1009/6 - (-3 + (-171)/(-54)) a multiple of 14?
True
Let a(s) = -s**3 + 14*s**2 + 4*s - 8. Does 16 divide a(14)?
True
Suppose 0*t - 5*t = 0. Suppose t = p + p - 156. Does 26 divide p?
True
Suppose 0*n = -n + 4*p + 245, 3*n - 711 = 4*p. Suppose 0 = 5*u + 3*z - 7*z - n, -5*z = 3*u - 125. Does 15 divide u?
True
Suppose -6*z = -z - 410. Suppose 3*s + 51 = -4*f + 176, 4*f - z = -2*s. Is 18 a factor of s?
False
Let u(z) = z**2 - z - 1. Let y(f) = f - 1. Let m be y(0). Let t be u(m). Does 2 divide 2 + (t - 2) + 4?
False
Let a(n) = -n**3 + 11*n**2 - 12*n - 6. Does 17 divide a(9)?
False
Let a = -454 + 812. Let s be (-6)/(-15) + a/5. Suppose -3*t - t = -s. Does 9 divide t?
True
Let c(y) = y**2 - 6*y + 2. Does 7 divide c(-4)?
True
Let v be (7/3 - 3)*-6. Suppose 0*l = v*l - 24. Is (-2 - (-18)/4)*l a multiple of 15?
True
Let c = -53 + 83. Let k be ((-4)/5)/((-6)/c). Suppose k*y = 77 + 27. Is 13 a factor of y?
True
Suppose -2*d - 3*p = -32, 3*d - 4*d - 3*p + 10 = 0. Does 11 divide d?
True
Suppose -5*o = -4*o - 2. Suppose o*w - 39 = -w. Is 13 a factor of w?
True
Let i(c) = 3*c**2 - 9*c - 9. Does 14 divide i(7)?
False
Let g(v) = -v**2 - 8*v - 5. Let t be g(-7). Suppose -t*o + 1 = -7. Does 3 divide o?
False
Let s = -4 + 38. Let y = 47 + s. Suppose -p - y = -4*p. Does 21 divide p?
False
Let r = 74 + -38. Does 12 divide r?
True
Suppose l = -m + 15 + 15, -2*l = -m - 66. Let s(i) = -l*i - 1 + 12*i + 2. Is s(-1) a multiple of 8?
False
Suppose -5*n + 33 = -352. Suppose 0 = 4*l + 2*y + 17 - n, l = y + 12. Is 14 a factor of l?
True
Let s be (-90)/12 + (-3)/(-2). Let x(t) = -2*t + 8. Is x(s) a multiple of 5?
True
Let z(g) be the second derivative of g**5/20 + g**4/2 - g**3 + 7*g**2/2 - 2*g. Is 10 a factor of z(-6)?
False
Is (31 - 9) + (-1 - (-6)/2) a multiple of 12?
True
Suppose -4*h + 2*h + 3*i + 28 = 0, h + 2*i = 0. Suppose -110 = -h*b + 3*b. Is 7 a factor of b?
False
Let b = 14 - 28. Let o = b - -64. Is o a multiple of 10?
True
Suppose t = 5*t + 28. Let m(r) = -r**3 - 6*r**2 + 7*r + 9. Is 7 a factor of m(t)?
False
Let q be 13/(-26)*-41*4. Suppose -4*b + q = -142. Is b a multiple of 12?
False
Let n(i) = 2*i**3 - 7*i**2 + 2*i + 4. Let p be n(5). Let w = p + -49. Does 22 divide w?
False
Let m be 20/(-6)*(-12)/10. Let b = m - -20. Is 6 a factor of b?
True
Let v(c) = -c - 7. Let j be v(-7). Let r(a) = a + 57. Is r(j) a multiple of 19?
True
Let a be (-4)/22 + (-644)/(-154). Let p(z) = -13*z. Let n be p(-2). Suppose -2*v = -2*b - b - n, 3*v = a*b + 40. Is 13 a factor of v?
False
Suppose 4*r + 32 = 332. Suppose 0 = -3*x - x - 20, -3*x + r = -5*w. Is -2*(w + (-2)/(-1)) a multiple of 16?
True
Let v(u) = 0 + 4*u**2 + 1 - u**3 + 4 - 7. Let c be v(4). Does 25 divide ((-25)/(-2))/((-1)/c)?
True
Let m(b) = 4*b**2 + b - 1. Let a be m(1). Suppose -a*x + 36 = -88. Is 12 a factor of x?
False
Let z = 0 + 0. Suppose 5*b + 263 - 963 = z. Suppose -5*o + 5 = -b. Does 10 divide o?
False
Is ((-6)/2 - -3) + 8 a multiple of 8?
True
Let y(c) = -2 + 1 + 3 + 2 + c. Is 4 a factor of y(7)?
False
Does 14 divide 1 + (2 - 3)*-29 - 2?
True
Suppose 4*d + 3*f - 538 = 0, -5*d - 6*f + 669 = -4*f. Does 10 divide d?
False
Let k(a) = -4*a - 9 + 6*a + 3*a. Is 7 a factor of k(6)?
True
Suppose 5*v - 6 = 2*v. Suppose -v*l + 25 + 13 = 0. Is l a multiple of 19?
True
Suppose 2*g + 0 + 6 = -5*y, 0 = 5*g - 5*y - 55. Let o = g - -32. Is o a multiple of 21?
False
Let g be 3 + 0 + -1 + 1. Suppose -5*z + 22 = 3*w, -5*w - g*z - z + 28 = 0. Suppose 3*a + 5*c = 58, w*a + 3*c + 0*c - 59 = 0. Does 11 divide a?
True
Let t = -16 - -38. Does 10 divide t?
False
Let j(y) = -y**3 - 7*y**2 + y - 9. Is 10 a factor of j(-8)?
False
Suppose 2*j - 4*g + 12 = 0, -3*j + 0*g = 3*g + 9. Suppose 0 = -x + 3*x - 24. Let w = j + x. Does 8 divide w?
True
Let z(k) = 3. Let u(y) = -y + 6. Let f(v) = -4*u(v) + 7*z(v). Let j be f(2). Suppose -6*r - 47 = -j*d - 2*r, -d = -2*r - 7. Does 4 divide d?
False
Let v(u) = -2*u**3 + 1 + 0*u**3 - u - 1. Is v(-1) a multiple of 3?
True
Let h be -2 + 8 - 2 - 1. Suppose -h*q = -4*z - 6*q + 71, 3*z + 5*q = 56. Does 17 divide z?
True
Let h(s) = s**3 - 8*s**2. Let g be h(8). Suppose -n + 2 + 5 = g. Suppose 2*l + 25 = n*l. Does 4 divide l?
False
Suppose -2*u - 2*r + 8 = 0, 3*u - 4*r - 27 = -8. Suppose 4*i + 3*k - 7*k - 500 = 0, 465 = 4*i + 3*k. Suppose -u*c - x = -3*x - i, 24 = c + x. Does 12 divide c?
True
Is 9 a factor of (9/(-6))/(1/(-84))?
True
Suppose -g + 2 = -2*g. Let t = g + 11. Is t a multiple of 2?
False
Let j = 345 - 225. Does 24 divide j?
True
Suppose -v = 2*v + 18. Let c = 7 - v. Is c a multiple of 6?
False
Suppose -5 - 11 = -h. Suppose 3 = 4*o - 1, -4*d = 3*o + 5. Let b = d + h. Is b a multiple of 14?
True
Suppose -370 + 1169 = 4*a + 3*y, a = 2*y + 186. Is a a multiple of 28?
True
Is 0 + 0 - 630/(-10) a multiple of 12?
False
Let b(o) = 12*o**2 - 2*o + 4. Let s be b(6). Suppose -116 + s = 4*d. Does 15 divide d?
False
Suppose -5*q + 246 = -144. Is q a multiple of 13?
True
Suppose 0 = 4*k + 8. Let l be k/7 - (-80)/(-14). Is 6 a factor of (-114)/(-9) + 4/l?
True
Suppose 0*v = -2*v + 374. Suppose -v - 1 = 4*l. Let o = -25 - l. Is 9 a factor of o?
False
Suppose 3*i = 3 + 3. Suppose -5*b + 2*b - 74 = -i*y, y = 4*b + 32. Is y a multiple of 20?
True
Suppose 0 = -22*n + 10*n + 2352. Is 14 a factor of n?
True
Let l = -39 - -92. Does 11 divide l?
False
Suppose -5*d - 64 = -v + 5, 131 = 3*v + 4*d. Is v a multiple of 3?
False
Let a = -12 + 28. Is a even?
True
Suppose 27 = 3*r + 5*a, a - 25 = -5*r + 42. Let u be (-2 - -2)/(-2 + 4). Suppose 2*j + r - 2 = h, u = -h - 4*j + 24. Is h a multiple of 16?
True
Suppose 2*v = -s, 3*s - 30 = -0*v + 4*v. Let p(b) = 1 - 9*b + b**3 + s*b**2 + 6 + 2*b**2 - 2. Is p(-9) a multiple of 5?
True
Let f = -14 + 19. Is f a multiple of 5?
True
Let o = -25 - -36. Let j = 23 - o. Is 12 a factor of j?
True
Is 3*(-704)/(-15) - (-2)/10 a multiple of 17?
False
Let x = -21 - -9. Let l = x - -40. Does 10 divide l?
False
Let u(f) = 3*f + 1. Suppose 3*j = 2*w + 13, -5*j + 21 = -w - 3*w. Let m be u(j). Suppose -2*y + 0 = -3*c - 25, y - m = -2*c. Is y a multiple of 14?
True
Suppose 3*n - 28 = 7*n. Is 13 a factor of (n - 0)*49/(-7)?
False
Does 19 divide 2/3 - (-224)/6?
True
Suppose 92 = 5*l - y - 2*y, 0 = 2*l + y - 28. Is 18 a factor of (-5)/((-5)/2) + l?
True
Let y = 60 - 41. Is 19 a factor of y?
True
Let a(u) = -11*u - 3. Let g(i) = -12*i - 2. Let w(m) = 2*a(m) - 3*g(m). Is w(1) a multiple of 5?
False
Let a = 142 + -62. Suppose 5*l - a - 100 = 0. Is 13 a factor of l?
False
Suppose -3*k - 13 = -298. Does 9 divide k?
False
Let j(a) = a**3 + a**2 - 3*a + 2. Let n be j(-3). Let f = n - -9. Suppose -17 - 69 = -f*u. Is u a multiple of 20?
False
Suppose 9*k = 5*k + 336. Is 12 a factor of k?
True
Does 16 divide (0/2)/3 - (12 - 230)?
False
Suppose 0 = 10*g - 1020 - 870. Is g a multiple of 27?
True
Suppose -5*y + 2*y + 3 = 0. Let z = y + 3. Suppose -m + 3*m - 72 = -5*p, -z*p = 5*m - 146. Is 16 a factor of m?
False
Let p(l) = -4*l + 4. Is p(-8) a multiple of 28?
False
Suppose 4*r + 2 = 4*q + 2*r, -q + 11 = 3*r. Does 8 divide (-9 - -3)/(q/(-3))?
False
Suppose -2*s = -4*s + 4. Let k(j) = s + 0 + 3 - 3*j. Is 14 a factor of k(-5)?
False
Suppose -5*y + 39 = 4. Suppose 2*r - 9 = 3*a, -2*r - 2*r + y = 5*a. Does 3 divide r?
True
Let p(t) = -t**3 + 9*t**2 + 7. Does 4 divide p(9)?
False
Suppose a + 3*a - d = 321, 3 = -3*d. Suppose -2*j + a = 2*j. Suppose 4*p - 18 = 5*r, 2*p + 0*r + 3*r = j. Is 7 a factor of p?
True
Let y = 10 + 25. Does 35 divide y?
True
Let h(t) = -t + 17. Let k be h(0). Suppose -4*p + 12 = y - 14, 5*y + k = p. Is 2 a factor of p?
False
Let a(d) = -d + 2. Let j be a(-2). Suppose j*m - 4*n = 200, 0*m - 105 = -2*m + 3*n. Is m a multiple of 12?
False
Suppose 2*p + 4 = 6*p. Suppose 2*u = -2*j, 0*u - 5*j = -5*u - 10. Does 3 divide 9 - (p + 1 + u)?
False
Suppose 3*v - 4*y = 7, -3*y = 4*v + 2*y - 30. Let w(u) = -u**2 + 3*u. Let g be w(3). Suppose g = v*l - 12 - 68. Does 8 divide l?
True
Let z be (-3)/(-6)*(4 - 0). Suppose z*t - 9 = -4*j + 11, 2*t = j + 30. Is (0 - -20)*t/35 a multiple of 6?
False
Let k = 10 + -1. Let q = k + 1. Does 10 divide q?
True
Suppose 0 = -0