3*b**3 - 4*b**2 - b - 7. Let y(g) = 4*g**3 + 3*g**2 + 7. Let x(f) = 3*v(f) + 2*y(f). Does 9 divide x(-6)?
False
Let j(b) = -b**3 + 6*b**2 - b. Suppose -6*w - c + 17 = -2*w, 4*c = -w - 7. Does 10 divide j(w)?
True
Suppose 6 = k + 2*k. Suppose 24 = k*r - 38. Is 14 a factor of r?
False
Let o(p) = -3*p - p**2 + 2 + 5*p + 4*p. Does 2 divide o(5)?
False
Suppose 4*f = -5*d + 135, -2*d - 3*f + 71 = 2*f. Does 5 divide d?
False
Suppose -2*b + 414 = 5*a, 0*a - 5*b + 405 = 5*a. Is a a multiple of 12?
True
Let a(h) = 2*h**2 + h + 4. Let s(y) = -y**2 - y - 1. Let f(u) = -a(u) - 3*s(u). Let p be f(-6). Let z = 35 - p. Is 6 a factor of z?
True
Let s = 56 + 38. Is 13 a factor of s?
False
Suppose -2*y + 2*p = -102, 0 = 3*y - 5*p + p - 151. Is 6 a factor of y?
False
Let b be 1/((-4)/6)*-2. Let m be 2*(-2)/(-4) - b. Let k = 3 - m. Does 4 divide k?
False
Let m(g) = -5*g**2 + 2 + 10*g**3 - 4*g + 1 - 11*g**3. Let p be m(-4). Suppose -3*t - 2*d + 25 = -2*t, 0 = p*t - 5*d - 53. Does 17 divide t?
False
Suppose 2*m = -3*m - 10. Let b(x) be the first derivative of -3*x**4/4 + 2*x**3/3 + x**2 + 3*x - 2. Does 20 divide b(m)?
False
Suppose 2*l + 2*z = -0*l + 8, 5*z = -2*l + 11. Let x(n) = n + 3. Let u be x(l). Is 5 a factor of (9/4)/(u/32)?
False
Let h be -1*1/2*2. Let l be (1 - h)/((-2)/12). Let d = l + 24. Does 7 divide d?
False
Let m(l) = l**3 + 6*l**2 + 5*l + 4. Let r be m(-4). Suppose 5*j - 114 = r. Is j a multiple of 13?
True
Suppose -2*z - 2 = -0. Let c = z + 23. Is 12 a factor of c?
False
Suppose 2*o - o = -15. Does 4 divide (-10)/o*18*1?
True
Let u(m) = 3*m + 4. Let s(c) = c**3 + c**2 - 3*c - 3. Let d be s(-2). Let j be d/(-2*3/24). Is u(j) a multiple of 8?
True
Let l(f) = -25*f - 1. Let o(s) = -s + 4. Let j be o(5). Is 9 a factor of l(j)?
False
Suppose -u + 30 = -9. Is 18 a factor of u?
False
Does 4 divide 8/12 - 92/(-6)?
True
Suppose 6*g - 405 = g. Suppose -r = 4*d + 61, 2*d - 16 - 15 = r. Let t = g + r. Is t a multiple of 11?
False
Suppose -32 = -d - 4*i, 5*i + 3 = -5*d + 88. Suppose -4 = -3*n - l, 2*n + 0*l - 16 = 2*l. Suppose 2 = -c + 4*z, d = c - n*z + 6*z. Is 5 a factor of c?
False
Suppose 5*z - 2*h - 43 = 0, 0 = 4*z - 3*z + 2*h + 1. Let v be 1320/35 - (-2)/z. Suppose -4*w = -4*q - 84, 2*q = -4*w + w + v. Is w a multiple of 8?
True
Suppose 6*f - 2*f - 55 = 5*g, 5*f - 70 = 5*g. Is f a multiple of 3?
True
Suppose -3*a = 2*r - 18, -4*a = -4*r - 16 - 8. Suppose -a*u + 30 = -u. Is u a multiple of 6?
True
Let i = -13 + 25. Let w be (6/9)/(2/i). Suppose -w*a = a - 40. Is a a multiple of 8?
True
Let c(y) = y**3 - y**2 + y - 1. Let g be c(2). Let t be (13 + 0)*1 - 2. Suppose -3*l = 3*j - 0*j - 45, -l - g*j + t = 0. Does 10 divide l?
False
Let y(m) = -5*m**2 - 1. Let r be y(1). Let i(c) = 5 - 3 + 0*c - 2*c - c. Does 20 divide i(r)?
True
Suppose -5*h - 85 = -5*z, -5*z - 8*h + 112 = -4*h. Does 14 divide z?
False
Suppose 4*s - 1 = 3. Is 10 a factor of s + (13 - 1) + -3?
True
Let v be 5*(1 + 14/10). Suppose 0 = 3*u - u + v. Does 4 divide ((-8)/12)/(1/u)?
True
Suppose 0 = -9*w - 0*w + 2394. Is 34 a factor of w?
False
Suppose 0 = 2*b - 6, -f - 3*b + 103 = -146. Is f a multiple of 40?
True
Let n(i) be the second derivative of -i**3/6 + 4*i**2 - i. Let q be n(6). Suppose 4*p = 2*j - 20, 0 = j - 6*p + p + q. Does 9 divide j?
True
Suppose 3*z - t = -0*t + 19, -7 = z + 3*t. Suppose -z*n + 7 = 2*b - 15, 3*n - 10 = 2*b. Suppose -n*r - 6 = -6*r. Is r even?
False
Suppose -113 = -3*i + m, 3*i + 5*m + 0*m - 83 = 0. Is i a multiple of 3?
True
Suppose -2*t - 7 + 25 = 0. Suppose b - v = t, 2*b - 2*v - 23 = -v. Is 14 a factor of b?
True
Suppose -6*u + 16 = 4. Suppose 1 + 7 = u*c, 2*w + c - 30 = 0. Is w a multiple of 4?
False
Suppose 0 = o - 2 - 4. Suppose o*l - l = 90. Is 18 a factor of l?
True
Let s = 32 - 7. Let l be 4/18 + s/9. Suppose 0 = 5*z + 25, -l*q + z + 141 = -2*z. Does 15 divide q?
False
Let q(f) = -f + 9. Let z be q(6). Suppose -3*u - 11 = 4*t - 4, -25 = -5*t + z*u. Let p = t - -13. Is p a multiple of 15?
True
Suppose 5*k + 0*k = 0. Suppose 0 = 5*b - k*b - 130. Is b a multiple of 10?
False
Suppose -v + j - 52 = -3*v, -j = -2. Let g = -18 + v. Does 5 divide g?
False
Suppose -2*p - 3 = -h - 5, h = 2. Let j = -4 + 7. Suppose -t + p*w = -18, j*w - 4 = -2*t - 3. Is 5 a factor of t?
False
Suppose 3*g - 4*g = 5*r - 11, r + 3 = 5*g. Suppose -5*w + 5*d + g + 4 = 0, 0 = 2*w - 3*d. Suppose 0*t + 45 = w*t. Is 15 a factor of t?
True
Let l be ((-3)/(-1))/(2/22). Suppose 2*y = -u - 21, -2*y - u - 4*u - l = 0. Is 2/(-6) + (-318)/y a multiple of 22?
False
Let g be 2/(-6) - (-62)/6. Let z = g - 19. Let y = 11 - z. Is 10 a factor of y?
True
Let j(h) = -h + 5. Let a be j(0). Suppose -622 = -4*n - 30. Suppose -n = -a*c + 3*m, 5*m = -5 + 25. Does 11 divide c?
False
Suppose -m + 119 = -2*o, 4 = -2*m + 3*o + 242. Let y = m + -53. Is 22 a factor of y?
True
Suppose -5*u + 0*u + 10 = 0. Suppose -2*i = i + 4*b - 122, b = u*i - 74. Is i a multiple of 12?
False
Let x = 48 - 22. Is x a multiple of 13?
True
Let t(o) = 2*o**3 - 2*o**2 - 2*o. Let a be (-2)/(-4) + 26/(-4). Let d be ((-2)/(-4))/((-1)/a). Is t(d) a multiple of 15?
True
Is 24/16 - 37/(-2) a multiple of 20?
True
Let i(n) = -n - 1. Let y(c) = -20*c - 1. Suppose 4*x = 3*j - 0*x + 13, -x = -2*j - 2. Let s(k) = j*y(k) - i(k). Does 6 divide s(-1)?
False
Suppose -m - 2*g + 47 = 2*m, -5*m + 2*g = -73. Does 3 divide m?
True
Suppose 3*q = l + 48, -3*l = -3*q - 2*q + 84. Suppose 127 = 4*h + q. Is 12 a factor of h?
False
Suppose 0*g = -3*g + 4*x - 148, 2*g = -4*x - 92. Let w be (-478)/(-6) + 7/21. Let l = g + w. Is 20 a factor of l?
False
Suppose 0 = -5*y - 4*g - 21, 3*g + 12 + 2 = -2*y. Let o be 2/(-1)*y/2. Let a(s) = 10*s**2 + 2*s - 1. Is 4 a factor of a(o)?
False
Let y(k) = 5*k**3 - 8*k - 4. Let b(x) = 6*x**3 + x**2 - 9*x - 5. Let d(n) = -4*b(n) + 5*y(n). Does 16 divide d(6)?
True
Let k(r) = 1. Let q(n) = -31*n + 4. Let z(c) = -3*k(c) + q(c). Does 10 divide z(-1)?
False
Let i(k) be the first derivative of 2*k**3/3 - k**2/2 - 6*k - 3. Let f be i(7). Suppose 0 = -4*b - y + f, -5*y = 2*b + b - 51. Is b a multiple of 11?
True
Suppose -4*w + 476 = -u, 9*u - 4*u = 5*w - 580. Is 24 a factor of w?
True
Let g(s) = s**3 + 11*s**2 - 2*s - 6. Let t be g(-11). Suppose 0 = -0*j - 2*j + t. Is 7 a factor of 202/j + (-2)/8?
False
Let a(l) = 5*l**3 - l**2 + 3*l - 3. Let m be a(-3). Does 21 divide m/(-1)*3/6?
False
Suppose 957 = 8*m - 555. Is 12 a factor of m?
False
Is 24 a factor of -1 - (1 - 68 - -2)?
False
Suppose -5*i - 18 + 3 = -5*k, 5*k - 4*i = 17. Suppose 4*g + 3 = k*f, -5*g - 18 = -f - 10*g. Does 4 divide 6*5*1/f?
False
Let w(c) = 5*c**2 - 10. Does 14 divide w(4)?
True
Let f = -42 + 115. Is 10 a factor of f?
False
Let x be 208/20 - 4/10. Is 21 a factor of 225/(-30)*(-56)/x?
True
Let y = 30 + 9. Is 7 a factor of y?
False
Let r(o) = o**3 + 8*o**2 + 9*o + 1. Let s be r(-6). Let m = s + -8. Is 2 a factor of m?
False
Suppose 3*c + 0*h - 14 = 4*h, -10 = -2*c + 3*h. Suppose c*g = 4*n - 2, 3*n - 18 = -5*g + 16. Is 2 a factor of g?
False
Suppose h - 4*g + 22 = 2*h, -h + 17 = 3*g. Is h even?
True
Let h(a) = 4*a**2 - 2. Let z be h(-2). Is 21 a factor of (-2)/(-16)*z*24?
True
Let r(o) = 5*o - o**3 + 1 - 3 + 5 - o + o**2. Suppose -8 = l + 2*v, 0 = l + 5*v + 9 + 8. Is 7 a factor of r(l)?
True
Suppose v + 162 = 7*v. Is v a multiple of 19?
False
Let k be 70/21 + (-2)/6. Is 8 a factor of (-2)/(k/12*-1)?
True
Let w(c) = -c**3 - 6*c**2 + 8*c + 7. Let a be w(-7). Does 13 divide (-105)/(-5) - (a - -3)?
False
Let m = 7 - -6. Does 5 divide m?
False
Let b be 8*2/(8/2). Suppose -2*j + 1 = -21. Suppose -2*m + j = -d - 4*d, -b*m + 2*d = -62. Is m a multiple of 9?
True
Does 27 divide ((-1458)/(-135))/(3/40)?
False
Suppose -7*z + 53 = -220. Is 13 a factor of z?
True
Suppose 7 - 31 = h. Suppose 2*q - 4*b + 168 = 0, -q - 248 = 2*q - 5*b. Let n = h - q. Is n a multiple of 22?
False
Is 12 a factor of (-4*(-4)/3)/(68/714)?
False
Suppose s - 4*l + 5 = -4*s, 3*l + 20 = -s. Let d = 10 + s. Suppose d*f + p = -0*p + 55, 75 = 5*f - 3*p. Is 6 a factor of f?
True
Suppose -5*n = 5*k - 7 - 43, 0 = 5*n - 2*k - 50. Let o be 108/30 + 6/(-10). Suppose -2*f + o*f - n = 0. Does 5 divide f?
True
Suppose r - 3*r = f - 359, -4*r + f + 721 = 0. Does 15 divide r?
True
Let f be ((-12)/30)/(2/(-130)). Suppose -274 = -