 7 + 34. Is i(0) a multiple of 7?
False
Does 6 divide 4/(-20) + (-372)/(-10)?
False
Let u(c) = -c**2 - 5*c + 4. Let l(z) = z - 1. Let h(d) = -5*l(d) - u(d). Is 10 a factor of h(-3)?
True
Let p = -13 - 22. Let r = -21 - p. Is 14 a factor of r?
True
Is 14 a factor of (-2 - -10)/(-2) + 44?
False
Suppose d - 3*b - 33 = 0, -2*b - 207 = -5*d - b. Suppose -2*t = 3*n - t - 63, -2*n + 3*t = -d. Is n a multiple of 11?
False
Let x(o) = o**2 - o - 1. Let r(w) = w**3 - 2*w**2 - 2*w. Let l(j) = -r(j) + 6*x(j). Does 6 divide l(7)?
False
Let b be (-1)/(-3) + 532/(-12). Suppose -4*a - q + 291 = 0, -3*q + 0 = 15. Let f = a + b. Is f a multiple of 15?
True
Suppose 4*k - 5*l = -k - 40, -l - 32 = 3*k. Does 13 divide 1/5 + (-258)/k?
True
Let f(b) = -b**3 - 6*b**2 + 7*b + 2. Let i be f(-7). Suppose -i*a = -3 - 9. Let q(w) = w**2 - 2*w + 2. Does 13 divide q(a)?
True
Suppose 0*y - 2*y + 4 = 0. Suppose -3*j + 42 = -y*j. Does 14 divide j?
True
Let n(u) = -132*u**2 - 2. Let i be n(-1). Suppose -q = q - 8. Is q/20 - i/5 a multiple of 10?
False
Let v(s) = -6*s - 5. Let d be v(-6). Let y = 14 - 0. Let z = d - y. Is 15 a factor of z?
False
Suppose 4*m - 54 = -0*m - 2*r, -5*m + 5*r = -105. Is m a multiple of 4?
True
Does 7 divide 74/5 + (-4)/5?
True
Let f(t) = 40*t - 2. Let k(z) = 13*z - 1. Let o(u) = -3*f(u) + 8*k(u). Is o(-2) a multiple of 12?
False
Suppose 4*z = 2*d + 90, 2*z = 3*d + 2*d + 65. Is z a multiple of 20?
True
Let k(o) = o**3 - 9*o**2 + 13*o - 8. Let c(z) = z**2 + z + 37. Let y be c(0). Suppose 5*i - y = -4*h, 5*h = -0*h - 4*i + 44. Is k(h) a multiple of 12?
False
Let p = 79 - 53. Suppose 3*h = -2*h - 50. Let v = p + h. Does 16 divide v?
True
Let u be (-2)/8 + (-102)/8. Let d = u + 7. Let z = d - -17. Is 3 a factor of z?
False
Let o(v) be the second derivative of -1/12*v**4 + 2*v - 15/2*v**2 + 0 + 2*v**3. Does 4 divide o(10)?
False
Let w(j) = -j**3 + 3 - 45*j**2 + 45*j**2 - j. Let z be w(3). Let n = z + 43. Is 8 a factor of n?
True
Let u(m) = m**2 + 29. Let n be u(0). Let p be (-2 - -1)/((-1)/9). Let x = n - p. Is 12 a factor of x?
False
Suppose -2*l = 3*l, -2*j - l + 36 = 0. Let u be j/(-8) + 2/8. Let w(t) = -3*t + 1. Is w(u) a multiple of 5?
False
Let n = -1 + 4. Let r = n - -7. Does 4 divide r?
False
Let i(m) = 20*m**3 - m**2 + m - 1. Suppose 0 = -f - 3*z - 0*z - 14, -f + 2*z + 11 = 0. Let t be i(f). Let d = t + 3. Does 11 divide d?
True
Suppose -3*y = 2*t + 3*t - 145, 2*y - 145 = -5*t. Suppose -3*b + t + 28 = 0. Is b a multiple of 7?
False
Let o(s) = s**2 - 11. Does 9 divide o(8)?
False
Suppose -2*b - 2 = -8. Suppose 0 = 6*d - b*d - 87. Does 20 divide d?
False
Let m = -26 + 26. Suppose -4*g + 196 = -m*g. Does 16 divide g?
False
Let i(z) = z**3 + 8*z**2 - 3. Let g be i(-8). Let y = -3 - g. Suppose 2*a + y*a = 36. Is a a multiple of 9?
True
Suppose d + 61 = -3*d + 3*v, 5*v = 2*d + 27. Let j = -2 - d. Let l = 22 - j. Is 8 a factor of l?
True
Suppose x = -3*k - 4, -2*k = -5*x + 14 - 0. Let t(c) = -c**x - c**2 + c + 6*c**2. Is t(2) a multiple of 5?
False
Suppose q + 0 + 2 = 4*j, -3*q + j = -5. Suppose q*f - 5*x - 44 = 0, -93 - 25 = -4*f - 5*x. Does 27 divide f?
True
Let b(x) = -6*x - 1. Let t be b(2). Let a = -18 - t. Is 2 a factor of 0 + a*(-2 - -1)?
False
Let o = 8 - -125. Suppose -f + 5*s + 21 = -2, -s + o = 3*f. Does 22 divide f?
False
Is (646/(-51))/(2/(-12)) a multiple of 19?
True
Let j(w) = -2*w**3 - 9*w**2 + 4*w - 9. Does 26 divide j(-7)?
True
Let r = 2 - 3. Let v = 2 + r. Is (v/(-3))/(3/(-99)) a multiple of 4?
False
Let o(f) be the first derivative of f**3/3 + 3*f**2/2 - 8. Let u(w) = -w - 1. Let n be u(6). Does 17 divide o(n)?
False
Let d(g) = 32 + 2*g - 32. Does 10 divide d(5)?
True
Let g be (-2)/5 - 17/(-5). Let f be (6/(-3))/((-1)/g). Suppose r - 4*b = 40, -5*r - b + f*b = -200. Does 14 divide r?
False
Let b(o) = -o**2 - o**3 - o - 9 + o - 5*o**2 - 4*o. Let f be 1/(-1) - (3 - -2). Does 11 divide b(f)?
False
Suppose -53 = -w - k, -w = w - 2*k - 122. Is 19 a factor of w?
True
Let s(m) = m**3 - 6*m**2 - 4*m - 10. Let y be (-1 - -1) + 5 + 2. Let z be s(y). Is 6 a factor of z*(1/(-1) - -2)?
False
Suppose 0 = -5*s + m + 7, -3*s + 3*m - 5 = -14. Does 9 divide 9 - (-1 - -1 - s)?
False
Let f be (16/6)/(3/(-9)). Let u = f + 10. Suppose u*p - 17 - 37 = 0. Is 9 a factor of p?
True
Suppose 0*w + 300 = 4*w. Is 27 a factor of w?
False
Does 39 divide 351/2*(-14)/(-21)?
True
Let h(i) = i**3 + 11*i**2 + 9*i + 13. Let z be h(-10). Suppose 4*v - z - 25 = -5*l, -3*l - 12 = 0. Is 13 a factor of v?
False
Suppose -4*k + 161 = -g - 0, -k = 4*g - 19. Does 11 divide k?
False
Let r be 14 + (0 + 1 - 3). Suppose t + y = 3, 5*t - 5*y = t + r. Suppose -t*j - 2*m = -18 - 5, -2*m - 40 = -4*j. Does 9 divide j?
True
Let b be (-943)/(-9) + (-2)/(-9). Suppose 2*h + 7 = b. Suppose 2*l - 5*x = -0*x + h, -20 = 4*x. Does 8 divide l?
False
Let n(k) = k**2 + 23. Let l be n(0). Suppose g + 3*z = 109 - l, -z = 1. Suppose 0 = f - 0*f + 4*a - 36, -g = -4*f - 5*a. Is f a multiple of 7?
False
Let u = -532 - -379. Let j = -104 - u. Does 14 divide j?
False
Does 18 divide -4 - (222/(-4))/((-12)/(-32))?
True
Suppose -4 = 6*i + 2. Let m = 15 - i. Is m a multiple of 16?
True
Suppose 20*x - 360 = 17*x. Is 15 a factor of x?
True
Let n(u) = u**3 + 9*u**2 + 11*u - 7. Let g(y) = 3*y**3 + 27*y**2 + 32*y - 21. Let d(c) = -4*g(c) + 11*n(c). Let x be d(-8). Let w = 8 + x. Does 7 divide w?
True
Let k(j) = -j**2 + j + 250. Let w be k(0). Suppose -3*o = 2*s - 147, 5*o = -5*s - 0*s + w. Does 16 divide o?
False
Let s(l) = l**3 + l**2 + 4*l - 3. Let j be s(3). Let k = j - 23. Does 7 divide k?
False
Let r(p) = -3*p - 2. Is r(-2) a multiple of 2?
True
Let n be 290/35 - (-2)/(-7). Let a(c) = -3 - 4*c - 2*c + n*c. Does 3 divide a(4)?
False
Suppose -2*n - 15 = 3*n. Is 11 - 0/2 - n a multiple of 9?
False
Let n(m) = m**2. Let w be n(0). Suppose -t + 0*t + 2 = w. Does 10 divide 26 + (t - (0 - -2))?
False
Let x = 2 + -2. Suppose i = o + 3 - 0, -5*i = x. Let z = o + 11. Does 4 divide z?
True
Is 2 a factor of (-4)/6 - (-52)/6?
True
Let q(j) = -3*j + 17. Let i(g) = g - 8. Let t(d) = -5*i(d) - 2*q(d). Is t(0) a multiple of 2?
True
Suppose 4*a - 339 = -3*p, 3*p - 100 = -a - 13. Suppose -2*l + a = l. Is 14 a factor of l?
True
Is 19 - (-1 - (-1)/(-1)) a multiple of 20?
False
Let z(s) = -s**2 + 6. Let c be (1 - -1 - 0) + 0. Let a = 2 - c. Is z(a) a multiple of 3?
True
Suppose -4*g - 2*m = -22, 0 = -3*g - m + 5 + 10. Suppose -g*r + 8 = -4*a, 4*r = -2*a + a + 18. Let l(d) = 5*d**3 - 2*d**2 - 2*d + 1. Is 13 a factor of l(a)?
False
Let o(t) = 10*t**2 + 6*t + 2. Is 5 a factor of o(-2)?
True
Let q(m) be the third derivative of m**6/120 - m**5/20 - m**4/24 + 5*m**3/6 + 6*m**2. Is q(4) a multiple of 17?
True
Let t(b) = -b**3 - 11*b**2 - 16*b - 21. Is 27 a factor of t(-12)?
False
Let i = -24 - -39. Is 14 a factor of i?
False
Let v be 1/((-42)/15 - -3). Let d(m) = 9*m - 5. Is d(v) a multiple of 10?
True
Suppose 2*x - 880 = -3*g, 0 = 5*g - 5*x - 350 - 1125. Does 14 divide g?
True
Let w be (1 - -3)*(-9)/(-12). Let f(m) = -4*m - 3*m**3 + 4 - 5 + 2*m**3 + 5*m**2. Does 4 divide f(w)?
False
Suppose 46 = 4*d - 2. Is d a multiple of 12?
True
Let v(s) = -s**2 + 63. Let j = 7 - 7. Let b be v(j). Suppose -4*c + 81 = -b. Does 24 divide c?
False
Suppose 8 + 7 = -5*k. Let b(w) = -4*w**3 - 13*w**2 + w + 9. Let r(q) = -6*q**3 - 19*q**2 + q + 13. Let i(x) = -7*b(x) + 5*r(x). Does 13 divide i(k)?
True
Suppose -8*g = -3*g - 10. Suppose 4*r - 56 = 2*n, 0 = g*r - 3*n - 15 - 9. Is r a multiple of 8?
False
Let u(g) = 21*g + 21. Let i(x) = -5*x - 5. Let m(s) = -9*i(s) - 2*u(s). Let f be m(-2). Is (0 + 6)*f/(-2) a multiple of 3?
True
Let w = -6 - -10. Suppose -o - 1 = -w. Suppose 7*n = 2*n + 2*a + 39, o*a = n - 13. Does 2 divide n?
False
Let p(v) be the second derivative of 7*v**4/12 + v**3/3 - 2*v. Let c be p(3). Suppose 0 = 3*t + 5*q - c, 2*q - 92 = -4*t + 4*q. Does 10 divide t?
False
Is (((-18)/(-7))/1)/(18/126) a multiple of 10?
False
Let d(s) = -s**2 - 6 - 2 - 1 - 6*s + 1. Let o be d(-6). Let k(w) = -w**2 - 9*w + 7. Does 8 divide k(o)?
False
Suppose -v + 10 = -0*v. Is v a multiple of 10?
True
Let y = 10 + -7. Does 3 divide y?
True
Let h(j) = j**2 - 3*j + 2. Let t(b) = 2*b**2 - 8 + 3*b**2 + 6*b + 2*b - b**3. Let r be t(6). Does 4 divide h(r)?
False
Suppose 0 = 4