 6*v - 2*v + 24, 2*v - 4*y = 6. Let u be m(v). Let l = u + 65. Is l a multiple of 11?
True
Let p(x) = -x**3 + 11*x**2 + x + 3. Let a be p(11). Let d be ((-7)/a)/(1/2). Is 3 + d - 10*-7 a multiple of 16?
False
Let h(u) = -u**3 + 15*u**2 + 18*u - 34. Is 18 a factor of h(-10)?
True
Suppose -3*z = z - 4*u - 40, 3*z = -3*u. Suppose -x + 0*x + z = 0. Is 17 a factor of (-7 + x)/((-4)/54)?
False
Suppose -t = -0*t - 2. Suppose t*n + n - 47 = 4*a, 4*a = 16. Does 3 divide n?
True
Let v(o) = -o**3 - 12*o**2 - 2*o - 1. Let c be v(-12). Let n = 12 - c. Is (-2)/n - (-350)/11 a multiple of 12?
False
Let u(b) = 3*b**2 + 15*b + 205. Is 20 a factor of u(20)?
False
Let p be 16/5 + 1/(-5). Suppose -p*g + 86 = -g. Is g a multiple of 10?
False
Let d(c) = -c**2 + 53*c + 14. Is d(18) a multiple of 4?
True
Suppose -5*t - 30 = 5*h, -5*h = 4*t - 0*t + 28. Does 11 divide -3*44*h/12?
True
Let d(p) = -p**3 - 12*p**2 + 5*p - 7. Let h(c) = -5*c**3 - 49*c**2 + 20*c - 28. Let j(b) = -9*d(b) + 2*h(b). Is 12 a factor of j(9)?
False
Suppose -892*g + 909*g - 8432 = 0. Does 16 divide g?
True
Let n = 21 - 19. Suppose -2*m - y + 47 = -56, 2*m + n*y = 102. Let h = 102 - m. Is h a multiple of 23?
False
Let y(r) = 2*r - 19 - 25*r + 14*r. Is y(-15) a multiple of 13?
False
Let n be (4/4)/(3/(-9)). Is ((-20)/5 + -215)*1/n a multiple of 19?
False
Suppose -21801 = -16*y + 11543. Does 18 divide y?
False
Let c = 17 + -4. Let x = 57 - 58. Let n = c + x. Is n a multiple of 4?
True
Let m = 11 - 6. Let t(u) = 5*u**3 + 3*u**2 + 4*u. Let s be t(3). Suppose 0 = -b - 3*p + 64, -3*b + s = m*p - 2*p. Is b a multiple of 15?
False
Let g(z) = z**2 - 12*z + 16. Let c be g(11). Suppose 4*s + 5*y - 84 = 2*s, 0 = 5*s - c*y - 140. Does 8 divide s?
True
Let w be (-6)/(-9)*4/(8/(-3)). Is ((-68)/(-6))/(w - (-34)/30) a multiple of 10?
False
Let r be (1 + -2)*3 + 9. Let j be 0*(2 - 15/r). Does 16 divide (j - -4)/((-4)/(-16))?
True
Let v(y) = 1 + 0*y - 9*y + 0*y. Let c = -905 - -902. Does 7 divide v(c)?
True
Is 19749/13 + (-560)/91 + 6 a multiple of 10?
False
Let r(t) = t**2 - 4*t - 4. Let x be r(-7). Let h = x - -23. Is 22 a factor of h?
False
Let v(u) = 8 - 4*u**2 + u**3 + 13*u**2 + 9*u - 3. Does 10 divide v(-7)?
True
Let n(p) = 20*p**2 - 7*p - 26. Does 23 divide n(-6)?
True
Let c(v) = -v**3 + 6*v**2 + 2*v + 35. Let x be c(7). Suppose x = -2*j + b + 242, 3*j - 4*b = 2*j + 128. Is j a multiple of 15?
True
Let v(y) = -y**3 + 5*y**2 + 4*y + 10. Let n be v(6). Does 10 divide 2*((-199)/n - -3)?
False
Let p be 9009/15 - 2/(-5) - -2. Suppose -5*n = -p - 42. Does 11 divide n?
False
Let x = 15 - 1. Is 8 a factor of x?
False
Let v(b) = b**2 + 27*b + 126. Is 24 a factor of v(-40)?
False
Let b(f) = 2*f - 2*f + 10 - 1 + 4*f. Let m(l) = -7*l - 18. Let s(v) = 5*b(v) + 3*m(v). Does 2 divide s(-11)?
True
Does 18 divide 4 + ((-24)/30)/(2/(-485))?
True
Is (-1449)/(-54) - 9/(-54) a multiple of 2?
False
Suppose r + 5 = -2. Let v = r - -13. Is 7 a factor of 63/v*(-4)/(-2)?
True
Let o be 9/(-5)*(-20)/6. Let y = -2 + o. Let f = y + 6. Does 10 divide f?
True
Let s(i) = 4*i + 4. Suppose 234 = q + 8*q. Is s(q) a multiple of 21?
False
Suppose s - 15*o - 78 = -10*o, 3*s - o - 248 = 0. Is s a multiple of 4?
False
Does 44 divide -22*-12*(-6)/(-9)?
True
Let o = -3 - -2. Let x = 7 - 5. Does 14 divide x/2 + (-64)/o?
False
Let f be (2 - (-4 + 2)) + 20. Let o(v) = 3 + 4 - 2 - 6 - f*v. Is o(-1) a multiple of 4?
False
Suppose 0 = -14*o + 19*o. Suppose o*k - 398 = -2*k. Suppose -4*d + 185 = -k. Does 32 divide d?
True
Let g(u) = 8*u**2 + 13*u - 78. Is 28 a factor of g(6)?
False
Let m(r) = 32*r**2 + 60*r - 6. Is m(-3) a multiple of 4?
False
Let t(m) = m**3 - m**2. Let j = 8 - 8. Let r be t(j). Suppose r = 18*f - 17*f - 6. Is f a multiple of 6?
True
Let m(z) = 6*z - 37. Let v be m(7). Does 7 divide v/(-20)*8*-1 + 12?
True
Let a = 41 + 11. Is -3 + a + (-1 - 3) a multiple of 8?
False
Let h(s) = s**2 + 7*s - 24. Does 5 divide h(4)?
True
Suppose -35*s + 14824 = 1524. Does 27 divide s?
False
Let o = -162 - -282. Suppose 0 = 4*g + 2*h - 94, 4*g - 5*h = 9*g - o. Is g a multiple of 3?
False
Let j(m) = 13*m + 0*m**2 - 1412 + m**2 + 1449. Does 5 divide j(-12)?
True
Is 15 a factor of 1489 + 4*(-5)/5?
True
Let b(h) = -58*h + 452. Is 6 a factor of b(0)?
False
Suppose -3*b - 5 + 20 = 0. Suppose 86 = b*l + 21. Let x(f) = -f**2 + 15*f + 16. Is 12 a factor of x(l)?
False
Let s = 3058 + -1832. Does 25 divide s?
False
Suppose -3*f + 5*a + 199 = 0, -5*a + 194 = 3*f - 9*a. Does 4 divide f?
False
Let h(m) = -m**2 + m - 51. Let g be h(0). Let o = -9 - g. Does 17 divide o?
False
Suppose -4*v - 14 = -34, 5*v - 25 = -5*f. Suppose f*a + 2 = a. Suppose -a*o = o + 5*t - 30, 4*o - t - 40 = 0. Is o a multiple of 4?
False
Suppose 0 = -i - 5 - 5. Let c = 69 - 37. Let h = c - i. Is h a multiple of 14?
True
Suppose 0 = 6*v + 96 + 102. Let x = v + 58. Is x a multiple of 23?
False
Let a = 12 + -16. Let y = -1 - a. Suppose -2*p = -4*i + y*p + 55, -3*i = 5*p - 85. Is 10 a factor of i?
True
Does 92 divide 845 + (-5 - 4) - 12?
False
Let u(v) = v**3 - 4*v**2 - 3*v - 7. Let a be u(5). Let y(w) = -w - w**3 - 8*w**a - w**2 + 1 + 0*w**2 + 1. Does 24 divide y(-2)?
True
Suppose u - 96 = 43. Is 10 a factor of u?
False
Let m be (1 + -7)*(-3 - -10). Let a = m + 79. Does 10 divide a?
False
Let l(k) = 4*k - 3. Let s be l(-1). Let v = 22 + s. Does 15 divide v?
True
Let w(l) = 5*l + 3. Let q be w(6). Suppose q*a - 34*a = -4. Is 2 a factor of a?
True
Let q(y) = y - 1. Let u be q(5). Suppose -4*i - 140 = -4*h, 0 = 4*i - 0*i - u. Is h a multiple of 12?
True
Suppose -13*x + 18*x - 3*s = 5188, -3*s - 3 = 0. Is 117 a factor of x?
False
Let g be (-404)/(-7) + 7/(98/4). Does 29 divide (0 + g)/(((-15)/(-2))/15)?
True
Suppose -5*n + 617 = 24*l - 20*l, -623 = -4*l - 3*n. Does 14 divide l?
False
Let d(k) = 19*k**2 + 9*k + 10. Let w be d(-3). Let f = w + -4. Does 30 divide f?
True
Let h(r) = r + 98. Is 4 a factor of h(6)?
True
Suppose -n + 19 = n + 5*k, 62 = 5*n - 2*k. Let y(g) = -g**3 + 14*g**2 - 15*g. Is 12 a factor of y(n)?
True
Let d = 76 - 3. Suppose -28*j + 27*j + d = 0. Is j a multiple of 17?
False
Suppose -y + i + 14 = 4*i, -2*y - 2*i + 48 = 0. Suppose -p = -y + 1. Is p a multiple of 5?
False
Suppose 5*p - 3*a = 8*p - 2985, 5*p = 3*a + 4935. Does 13 divide p?
False
Let l be (-67)/(1/(-2)*2). Let p = -38 + l. Is p a multiple of 5?
False
Let d(y) = -y**3 - 23*y**2 - 14*y + 26. Is 29 a factor of d(-23)?
True
Suppose -5*m - i = -135 + 32, 3*i = -3*m + 69. Suppose -m = 4*l, -5*f + 2*l + 100 = 525. Let v = 34 - f. Does 29 divide v?
False
Let w = 257 - -390. Is 14 a factor of w?
False
Let d = -5302 + 7901. Is d a multiple of 21?
False
Let q be 23/(-1) + (6 - 0) + -3. Let b = q + 104. Does 11 divide b?
False
Let t(w) = w - 3. Let h be t(10). Suppose -2*r + h*r = 210. Suppose v = -v + r. Is v a multiple of 12?
False
Let u be (-10)/(-20) - (-6)/4. Suppose -6*q = -u*q - 252. Is 16 a factor of q?
False
Let g = -44 - -47. Suppose -g*v - 4*p - 2 = 0, -4 - 9 = 2*v + 5*p. Does 3 divide v?
True
Let r(z) = 137*z - 738. Is r(12) a multiple of 6?
True
Let q be (3 + -1)*(-14 + 15). Suppose 0 = -4*p - 3*c + q, -5*p + 4*c + c + 20 = 0. Suppose 0*i + 5*i - 236 = -p*d, 4*d = -3*i + 150. Does 23 divide i?
True
Suppose 5*g + 15 = 5*a, 4*g + a + 3*a + 20 = 0. Does 5 divide (-2 + 10/g)*-6?
False
Let i(y) = 2*y**3 + 2*y - 8. Let t(g) = 1. Let k(x) = i(x) + t(x). Let c(p) be the first derivative of k(p). Is 28 a factor of c(-3)?
True
Is (-292)/(-3)*1 - 16/48 a multiple of 3?
False
Let f(h) be the second derivative of 0 + 3*h - 1/3*h**3 - 7/2*h**2. Is f(-7) a multiple of 2?
False
Suppose 2*y - 4*h = 2116, -3*y + 3189 = -3*h - 0*h. Let x be ((-5)/15)/((-1)/y). Suppose -x = -5*s - 6. Does 35 divide s?
True
Suppose 3*v - 2*v = -4, -5*v + 20 = 5*s. Suppose 259 = -k + s*k. Is k a multiple of 4?
False
Let t(s) = s**3 - 4 + s + s - s + s - 4*s**2. Let a be t(4). Does 4 divide (8/a)/((-1)/(-2))?
True
Is 4 a factor of (5824/65)/(6/15)?
True
Let t be (-2)/12 + 311/(-6). Let j(b) = b + 6. Let w be j(-12). Is (-39)/(-26)*t/w even?
False
Suppose 3*b = -5*c + 510, 0*b + 816 = 5*b - 3*c. Does 11 divide b?
True
Suppose 142*k + 7140 = 145*k. Is 51 a factor of k?
False
Let x = 17 - 14. Suppose x*h = -c + 6, -5*h = -6 + 1. Suppose 2*k - c*m = 117, 4*m - 53 + 27