ue
Suppose 0 = -2*l + 5*u - 30, -2*u - 46 = 8*l - 3*l. Let d(z) = -7*z + 6. Is 23 a factor of d(l)?
False
Suppose -19*v + 7542 = -10*v. Suppose -h - 5*s + 159 = -19, s + v = 5*h. Is h a multiple of 8?
True
Let q(i) = -i**3 + 7*i + 15*i - 3*i**2 - 18*i - 1 + 4. Is 16 a factor of q(-6)?
False
Let j be 4 - (-52 - (-2 + 3)). Let b = j + -37. Suppose 3*q + 21 = 5*x, 4*x + q - b = 5*q. Does 3 divide x?
True
Let d = 22 + -28. Let s = -1 - d. Suppose 125 - s = 5*v. Is v a multiple of 8?
True
Let r = 110 + -110. Suppose -3*x + 0*k + 5*k + 291 = r, 0 = 2*x + k - 207. Does 21 divide x?
False
Let f be 115/30 + (-3)/(-18). Suppose f*b - 9 - 15 = 0. Suppose v + 0 = b. Does 5 divide v?
False
Let f(d) = 2*d + 6. Let i be f(-2). Is 8 a factor of (2 - (i + -2)) + 71?
False
Let m be 188/2 + -2 + 4. Suppose 0 = -17*r + 19*r - m. Does 8 divide r?
True
Suppose -q + 10 = 4*j - 10, 3*j + 3*q - 15 = 0. Suppose -5 = d - j*k + 10, 2*d + 19 = -k. Let x = 2 - d. Is x a multiple of 6?
True
Does 57 divide (56/(-12))/((-2)/183)?
False
Suppose -1227*g = -1220*g - 8988. Is g a multiple of 18?
False
Let d = 71 + -69. Is 15 a factor of (21/35)/(d/50)?
True
Let w(j) = -j**2 + 7*j - 6. Let l be w(6). Suppose 0 = -3*k + 4*i - 9 - 1, -2*k - i + 8 = l. Does 17 divide 4/8 - (-33)/k?
True
Let q(b) = -b**2 + 51*b - 43. Is 5 a factor of q(39)?
True
Let f(l) = -8*l**2 + l. Let w(n) = 9*n**2 + 1. Let a(t) = -5*f(t) - 4*w(t). Suppose -2*x - 1 = -9. Is a(x) a multiple of 11?
False
Let r = 2 - -22. Let d = -1 + r. Is d a multiple of 7?
False
Suppose 0 = -398*v + 393*v - 3930. Let i = 2 + -6. Is 2/i - v/12 a multiple of 14?
False
Suppose -5*j = 2*b - 333 - 56, 5*j - 393 = -4*b. Is 10 a factor of j?
False
Let h = 68 + -64. Suppose -h*k + 4*w = -2*k - 8, 0 = -3*k + 2*w + 16. Does 5 divide k?
False
Let l = -46 - -49. Is 4/(l + 1)*1 + 224 a multiple of 45?
True
Let d(s) = 51*s + 91. Is 52 a factor of d(4)?
False
Is (13 - 169)/(8/(-3) - -2) a multiple of 18?
True
Let s(i) = -10*i - 7. Let x(f) = 10*f + 8. Let g(b) = 4*s(b) + 3*x(b). Let l = 25 + -27. Is 11 a factor of g(l)?
False
Let a(h) = h**3 + 31*h**2 + 80*h - 37. Is 3 a factor of a(-28)?
True
Let i(v) = 3*v**2 + 3*v + 159. Is i(-17) a multiple of 72?
False
Let j(s) = s**3 - 5*s**2 - 8*s + 6. Let a(n) = -n + 13. Let g be a(6). Does 16 divide j(g)?
True
Suppose h + 4 = 3*h. Suppose -2*c + 2*q = -226, -3*q = -h*c + 128 + 99. Suppose c + 3 = 5*l. Is 11 a factor of l?
False
Let d = 20 + -6. Suppose -39 = -5*p - d. Suppose 228 = p*t - 3*c, -67 + 11 = -t - 2*c. Does 12 divide t?
True
Suppose -4*j + 25 = l, l = -3*l - j + 40. Let y(d) be the first derivative of -d**3/3 + 7*d**2 - 2. Is 15 a factor of y(l)?
True
Suppose 3*l - 173 = -w, -2*l = -5*w + 1062 - 197. Suppose -5*a - 63 = -w. Is a a multiple of 22?
True
Let m = -37 - -142. Is 15 a factor of m?
True
Let t(s) = s**3 + 13*s**2 - 13*s + 16. Let m be t(-14). Suppose -m*r = -6*r - 68. Let g = -13 - r. Does 2 divide g?
True
Suppose 3*f - 5077 = -1786. Let v = 1165 + f. Does 7 divide 2/18 - v/(-54)?
True
Let g be (7 + -8)/((-1)/11). Let t(b) = -3*b + 3. Let k be t(-4). Let z = k + g. Is 10 a factor of z?
False
Suppose 0 = -4*f + 5*a - 1 - 0, -5*a + 4 = -f. Is 14 a factor of 95 - (f + -5 - -8)?
False
Suppose 5*c = 5*f + 30 - 0, 0 = 4*c + 2*f - 18. Suppose -t + 12 = -4*t, -5*m - c*t + 35 = 0. Is m a multiple of 11?
True
Let j(n) = -n + 28. Let r be j(13). Suppose -l + h + r = 2*l, -11 = -5*l - 3*h. Suppose -2*i = -5*o - l*i + 22, -4*o - 5*i + 21 = 0. Is o a multiple of 4?
True
Suppose -2*g - 3*d = -0*d - 149, -5*g = d - 353. Is g a multiple of 22?
False
Let p(u) = 91*u**2 - 2*u - 1. Let n be p(-1). Let x = 52 - -8. Let v = n - x. Does 9 divide v?
False
Let x(u) be the second derivative of -u**3/2 + 3*u. Let k be (-3 + 1)/(6/15). Is 5 a factor of x(k)?
True
Suppose 0 = -k + 22 + 20. Suppose r = 55 + k. Is 15 a factor of r?
False
Let j be (64/(-24))/(1/3). Let q be 3/(-12) - 138/j. Let z = q - -29. Is 23 a factor of z?
True
Suppose 2*t = -4*j - 2*t - 500, -5*t - 5 = 0. Let f be (-1)/(4/j) + 1. Is 3*(f/12 - 2) a multiple of 2?
True
Let v(f) = f**3 - 3*f**2 + 2*f + 1. Suppose -2*a - 5*k + 89 = 0, 0 = -4*a - k + 192 - 59. Let w be a/10 - 18/90. Is 4 a factor of v(w)?
False
Suppose -2*r + 33 = 5*v, -6*v + 11*v + 15 = 0. Is 4 a factor of r?
True
Suppose 10*u = 3*u + 14. Is 5 a factor of (-2)/(3/(-201)*u)?
False
Let h(c) = -2*c**3 + 4*c**2 - c - 2. Let r be h(2). Is (-71 + 6)*r/5 a multiple of 13?
True
Suppose w - 1 + 42 = 0. Let n = -31 - w. Is n a multiple of 6?
False
Let j(t) = -2*t + 2. Let y be j(-1). Suppose -5*h - 180 = -y*s, 6*s + 4*h = s + 266. Is s a multiple of 9?
False
Let z = 81 + -76. Let n = 27 - z. Is n a multiple of 11?
True
Suppose -2*p + 3*p = 0. Suppose p = -3*w - 41 + 80. Is w a multiple of 4?
False
Let j(d) = 5*d - 24. Let b be j(7). Suppose b*v = 10*v + 46. Let c = v + -14. Is c a multiple of 7?
False
Let a(g) = 80*g**2 - 11*g - 26. Is 16 a factor of a(-2)?
False
Suppose 0 = -2*i - 5*z + 65, 0 = -4*i - 5*z + 78 + 47. Is i a multiple of 2?
True
Let d = 13 + -3. Let q = 12 - d. Let b(a) = a**3 + a**2 + 3*a - 1. Is b(q) a multiple of 17?
True
Suppose -49*a + 47*a = -720. Does 27 divide a?
False
Suppose 0 - 4 = -g. Suppose 0*r - 4 = -2*r + 5*w, 0 = -3*r - g*w + 6. Suppose -x - r*b = x - 22, 3*x = 2*b + 8. Is 6 a factor of x?
True
Let n(g) = g**3 - 1. Let q(a) = -5*a**3 - 2*a**2 - 13*a + 16. Let o(p) = 6*n(p) + q(p). Let w be o(8). Suppose m - w = -4*m. Is 12 a factor of m?
False
Let l = -32 + 34. Suppose 0 = -k + l*b - b + 64, 2*b - 320 = -5*k. Is k a multiple of 32?
True
Let c(f) be the first derivative of f**3/3 - f**2 - 2*f + 1. Let l be c(2). Is 10 a factor of (-4)/l + 1 + 10?
False
Let b(j) = j**3 - 7*j**2 + 7*j - 6. Suppose 4*h = 41 - 17. Let r be b(h). Suppose r = 5*v + 104 - 284. Is v a multiple of 9?
True
Let n be (-32)/(-12) - (-1)/3. Suppose 0*c + 60 = -n*c. Does 11 divide (c/(-25))/(2/110)?
True
Is 66 a factor of 1 - (7 + -5 + -6139)?
True
Let b(h) = -22*h - 23*h + 43*h - 18. Let l be b(-10). Suppose -20 = -l*f + 24. Is f a multiple of 7?
False
Let m = -26 - -76. Let b = 74 - m. Is b a multiple of 4?
True
Suppose 436 = 2*l + 30. Suppose l = 5*d + 38. Is 4 a factor of (d/(-9))/((-5)/15)?
False
Suppose -16*i = -54*i + 34960. Is i a multiple of 7?
False
Let y = 2625 - 1656. Does 51 divide y?
True
Let l(o) = -6*o**3 + 3*o**2 + 33 - 3*o**2 - 35. Is 13 a factor of l(-2)?
False
Suppose 4*t - 55 = -3*l, -l = -0*l + 4*t - 13. Is 23 a factor of l + -18 - (-402)/2?
False
Let m be (0 - -6 - 4)*2. Suppose 0 = -2*b - 2*n + 10, 3*n + 17 = b + 4*b. Suppose -m*l - 3*y = -325, 2*l + b*y - 160 = -0*y. Is l a multiple of 27?
False
Suppose -3*y - 2*y - 16 = 3*r, -5*r = 2*y - 5. Suppose 25 = 2*v + 3*d, d + 0 - r = 0. Suppose -5*w = -4*m - 40, -w = -2*w - m + v. Is w a multiple of 8?
True
Let v(b) be the second derivative of -b**5/20 + b**4/2 - 2*b**3/3 - b**2 + 6*b. Let g be v(5). Suppose -132 = -g*m - 0. Is 15 a factor of m?
False
Let z = 10 - 14. Let v = z + 11. Suppose v*s + 20 = 8*s. Does 9 divide s?
False
Let z = 503 + -91. Is z a multiple of 10?
False
Let k(a) = -10*a + 125. Is k(-10) a multiple of 5?
True
Suppose 9*d - 391 = 3371. Does 22 divide d?
True
Let y be (-476)/14*(-7)/(-2). Let q = 209 + y. Is q a multiple of 24?
False
Suppose -2*i - 9 + 1 = 0. Let r(x) = -3*x**3 + 6*x**2 + 6*x + 1. Let a be r(i). Suppose s + 116 = 3*j - 47, -a = -5*j - 5*s. Does 19 divide j?
False
Let l be 6/(-18) - 65/3. Let z = l + -73. Let b = z + 139. Is 22 a factor of b?
True
Let g = -1737 + 2079. Is 9 a factor of g?
True
Let r be ((-2 - -2) + -4)*3. Let l(j) = -j**2 - 12*j + 15. Is l(r) a multiple of 3?
True
Let q(j) = 7*j**2 - 10*j + 19. Let t(r) = -r**2 + 1. Let h(m) = q(m) + 6*t(m). Does 4 divide h(10)?
False
Let j(g) = g**2 - 7*g - 1. Let w be j(8). Let q = w - 18. Let v = 9 - q. Does 15 divide v?
False
Let t(g) be the third derivative of 0 - 5/24*g**4 + 0*g + 5*g**2 + 0*g**3. Is t(-2) a multiple of 10?
True
Let f(g) = g**2 - 10*g + 11. Let i be f(10). Suppose -2*a + i = -67. Let y = -11 + a. Is 4 a factor of y?
True
Suppose 9*i - 6*i = 18. Does 2 divide ((-6)/i)/((-1)/7)*2?
True
Let r(c) = -7*c + 4. Let d be r(1). Let u(z) = -4*z**3 - 3*z**2 - 3*z. Does 18 divide u(d)?
True
Suppose 2*r - 31 = -15. Suppo