tive of u**4 + 2*u**3/3 - u**2 - 2. Is 9 a factor of t(2)?
True
Let y(t) = -t**2 + 13*t - 21. Is 3 a factor of y(6)?
True
Is ((-4)/(4/9))/(1/(-15)) a multiple of 15?
True
Let n(w) = w**3 - w**2 - 5*w + 3. Let m be n(3). Let i(r) = r**2 - 5*r + 6. Does 4 divide i(m)?
True
Suppose 5*k + 47 - 137 = 0. Is k a multiple of 18?
True
Suppose 2*v + 2*b = 12, -b - 3 + 5 = 0. Is v a multiple of 4?
True
Let n = 9 - 0. Suppose -6*z + 3*z = -n. Suppose -a + z*a - 16 = 0. Is 4 a factor of a?
True
Let x = 0 + 0. Suppose 4*m - m - 42 = x. Does 7 divide m?
True
Suppose 2*k - 8 + 0 = 0. Let s(l) = l**3 - 4*l**2 + 3*l. Let h be s(k). Let u = h - -36. Does 13 divide u?
False
Suppose s + 4*d - 4 = 0, -3*d + 0*d - 6 = 0. Is 11 a factor of s?
False
Let z be -20 + (9/(-3) - -6). Let g(b) = 2*b**2 + 5*b - 8. Let m be g(-6). Let p = m + z. Is p a multiple of 9?
False
Let n(d) be the third derivative of -d**6/120 + d**5/10 + 2*d**3/3 + 2*d**2. Is 8 a factor of n(3)?
False
Is (1 - 7)/((-4)/24) a multiple of 9?
True
Let c(i) = -i**3 + 4*i**2 - 3*i. Let u be c(3). Suppose 8 = -u*k + 4*k. Is 19 + (0 - k*-1) a multiple of 18?
False
Suppose -4*l - o = -153, l - o = 4*o + 12. Is 5 a factor of l?
False
Suppose 3*w - 324 = -0*w. Is w a multiple of 12?
True
Let g = -4 + 5. Let p = g - -2. Suppose -5*f + 3*f = -6, 31 = 5*h - p*f. Does 4 divide h?
True
Suppose 3*n - 38 = -4*r, -6*r = -4*n - r + 30. Suppose u - n = -4. Is 16 a factor of (-112)/u*(-27)/18?
False
Let t = -4 + 2. Let r = t + 7. Suppose u = -r*x - 0*u + 69, 4*x = -3*u + 64. Is 5 a factor of x?
False
Let d = -4 + 3. Let k = 8 + d. Is 3 a factor of k?
False
Does 3 divide 32/5 + 8/(-20)?
True
Let a(n) = 14*n - 28. Does 42 divide a(14)?
True
Let y(q) = q + 8. Suppose -27 = -2*i - 3*i + 4*u, -2*i = -2*u - 12. Let r = i - 3. Is 8 a factor of y(r)?
True
Suppose 6*v - 108 = 5*v. Does 12 divide v?
True
Let o(b) be the third derivative of b**5/60 - 5*b**4/24 - b**3/6 - 3*b**2. Let q be o(6). Suppose d + 1 = 5*r - 2, 4*r - 72 = -q*d. Is 12 a factor of d?
True
Let v(b) be the third derivative of -1/12*b**5 + 7/6*b**3 - 2*b**2 - 5/12*b**4 + 0 + 1/120*b**6 + 0*b. Is v(7) a multiple of 19?
False
Let o be (8 + -4)/((-1)/(-2)). Let n = 14 - o. Suppose -144 = -3*p + 5*b, -n*p - b + 144 = -3*p. Is 18 a factor of p?
False
Let d(q) = -18*q - 11. Is 20 a factor of d(-5)?
False
Suppose 4*a - j + 16 = 44, 5*a + 2*j - 35 = 0. Suppose 25 = -5*h, a*r - 293 = 3*r + h. Is 18 a factor of r?
True
Is 17 a factor of (4/6)/((-4)/(-306))?
True
Let d(u) = -18*u - 1. Let s be 2*(2 + 15/(-6)). Let a be d(s). Suppose 3*o - a = 2*o. Is o a multiple of 17?
True
Let y = 156 - 106. Is 15 a factor of y?
False
Suppose 2*a + 3*o - 273 = 0, 5*a - 632 - 64 = -3*o. Does 16 divide a?
False
Let y(j) = 5*j - 2. Let l be y(3). Suppose -4*h + l = -7. Suppose 2*k = 6, -h*i + 9 = -2*k - 15. Is 3 a factor of i?
True
Let a(m) = 2 - 4*m + 2 - 6 - 1. Is a(-4) a multiple of 5?
False
Let r(m) = -m**2 + 7*m - 8. Let s be r(6). Is (3/s)/((-5)/50) a multiple of 15?
True
Let d(i) = -5*i. Suppose -3*m = -2*v + 9, m + 0*m + 7 = 2*v. Let l be d(m). Suppose 8 = -2*q, -l*c - 5*q + 12 + 3 = 0. Does 6 divide c?
False
Suppose -3*k + w - 9 = 0, k + 12 = -3*k - 4*w. Let f = k - -2. Is 1 - (-1)/f*-3 a multiple of 4?
True
Suppose -670 = 4*l - 9*l. Does 20 divide l?
False
Let y(a) = a + 39. Let t be (6 + -3)*2/2. Suppose 0 = -t*n - n. Is 13 a factor of y(n)?
True
Let h(x) = x**3 + 4*x**2 + 10*x - 8. Let k(m) = 2*m**3 + 9*m**2 + 19*m - 15. Let d(g) = 5*h(g) - 3*k(g). Is d(-6) a multiple of 11?
True
Let r = -6 + 6. Suppose 0 = -r*x - x + 6. Let l(h) = 5*h - 8. Is 13 a factor of l(x)?
False
Suppose 40 = -0*f - 5*f. Let a(v) = -4*v + 0*v - 8 + v - 2*v. Is 16 a factor of a(f)?
True
Let m(i) = -2*i**2 + 14*i - 9. Let b be m(6). Is 19 a factor of 3/9 + 149/b?
False
Suppose 0 = 3*p + 2*p + 5, 5*u = -3*p + 37. Does 2 divide u?
True
Let n(g) be the first derivative of -7*g**2 + g + 2. Is 19 a factor of n(-4)?
True
Let j(s) = -s**3 + 7*s**2 - s + 3. Let f be j(7). Let h(d) = -2*d + 5. Is h(f) a multiple of 4?
False
Let r(w) = -7*w + 5*w + 0 - 6. Does 10 divide r(-8)?
True
Suppose 5*j + 5*y + 30 = 0, 4*j + 41 = 5*y - 1. Let s be (-138)/j + 3/(-12). Suppose -3*a + s = 2, 15 = 5*o - 2*a. Does 4 divide o?
False
Let s = 7 + 29. Is 18 a factor of s?
True
Let z(d) = -1 - 1 - d**2 - 9 + 2 - 10*d. Is z(-8) a multiple of 7?
True
Let f(y) = -10*y - 9. Let b(a) = 5*a + 5. Let c(l) = -5*b(l) - 2*f(l). Let v be c(6). Is 14 a factor of 2/(3 + 109/v)?
False
Let z(a) = a**3 + 5*a**2 - a + 8. Let q be z(-6). Let t = q + 47. Is t a multiple of 9?
False
Let o = -5 + 28. Let k = -32 - -31. Is -1 - (0 - k - o) a multiple of 10?
False
Suppose 4*r + 175 + 229 = 2*h, 0 = -5*h + 3*r + 1038. Does 10 divide h?
True
Suppose 0 = -5*h + 52 - 7. Is h even?
False
Let h = -63 - -139. Does 16 divide h?
False
Let j = 21 + 30. Suppose -3*g + 0*g = -j. Does 5 divide g?
False
Let i(g) = -2*g**3 + g**2 + 2*g + 1. Let n(b) = -2*b - 12. Let w be n(-5). Is 5 a factor of i(w)?
False
Suppose m - 3*m = -4. Suppose 0 = 2*d + o - 19, 5*o - 29 = -m*d - 6. Does 3 divide d?
True
Suppose 0*v = -6*v + 972. Does 25 divide v?
False
Let q(d) = 5*d - 6. Let w be q(7). Let i be (-2)/8 - 18/(-8). Suppose -1 = 4*t + 4*v - w, -t + i*v + 1 = 0. Does 4 divide t?
False
Let g = -17 + 34. Does 17 divide g?
True
Let a = -2 - -12. Is 4/a + 112/20 a multiple of 3?
True
Suppose 9 = 2*j + j. Suppose 1 - 10 = -j*d. Is d a multiple of 2?
False
Let j(d) = -d**3 + 9*d**2 + 3*d + 9. Is j(9) a multiple of 15?
False
Let f = -20 - -22. Is f a multiple of 2?
True
Suppose 4*y - 417 = 3*t, t + 3 = -0*t. Is y a multiple of 21?
False
Let g be 0 + 1*-2 - -10. Let d = 14 + g. Does 8 divide d?
False
Suppose 0 = 2*f + 4 + 38. Let n = f + 35. Is 14 a factor of n?
True
Let x(b) be the first derivative of b**2/2 - 3. Let v be x(0). Suppose v*c - 16 = -c. Is 10 a factor of c?
False
Let q = 0 - 3. Let u = q + 5. Suppose 10 = u*f - 0*f. Is 3 a factor of f?
False
Let h = -73 + 47. Let p be 24/13 + (-4)/h. Suppose 4*y - 3*m = 167, -4*m - 79 = -p*y - m. Does 12 divide y?
False
Let s = 35 - 15. Let j be (-8)/s + (-362)/(-5). Suppose 2*n = -0*n + j. Is n a multiple of 16?
False
Suppose 5*b + v + 0*v - 164 = 0, b - 5*v = 12. Is 10 a factor of b?
False
Let z(k) = -23*k - 5. Let i be z(-5). Suppose -h + i = 2*t, -4*h - 286 = -7*h + 5*t. Suppose -y + 42 = 5*u, -2*u - h = -5*y - 0*u. Is 8 a factor of y?
False
Let m = 4 - 4. Let o be (0 - m)/(-5 + 3). Does 14 divide 4*9 - (o + 0)?
False
Suppose 0 = -i - 4*n - 2, 5*i + 3*n = 2*n - 105. Let c = -19 - i. Is c a multiple of 2?
False
Suppose -s = -3*y - 0*s + 68, y - 4*s = 19. Is y a multiple of 23?
True
Let h(b) = -b + 2*b + 4*b + 2*b + 1. Is 13 a factor of h(6)?
False
Suppose 0 = -0*i + i + 2*v - 15, 3*i - 55 = -v. Is i a multiple of 19?
True
Let f = -77 - -173. Is 12 a factor of f?
True
Let h(w) be the second derivative of 2*w**3/3 + w**2 - 6*w. Is h(2) a multiple of 10?
True
Suppose -3*k - 78 = 114. Let b = k + 98. Does 17 divide b?
True
Suppose 5*r = 5*h + 115, -r - 69 = 3*h - 0*r. Let f = 82 + h. Does 22 divide f?
False
Suppose -10*f + 25 = -5*f. Is 4 a factor of f?
False
Suppose 0 = -l + 25 + 51. Is l a multiple of 12?
False
Suppose 3*a = 4*u - 3*u - 1073, -a + 5*u = 381. Does 17 divide (-4)/(-28) - a/7?
True
Suppose 9*j + 15 = 4*j, -4*j = -z + 36. Is z a multiple of 6?
True
Let c(d) = -2*d**3 - 2*d**2 - 4*d - 4. Suppose 2*u = 2*o - 14, 5*o = 3*u - 0*o + 29. Let a be c(u). Suppose 4*n - 8 - a = 0. Is n a multiple of 13?
True
Is 37 a factor of (1 + 1)/((-12)/(-666))?
True
Let f = -196 + 299. Does 30 divide f?
False
Suppose 0 = -4*h - 100 + 356. Let m = h - 43. Does 5 divide m?
False
Let r(o) = 10*o**2. Let i be 4/(-8) + (-6)/(-4). Is 10 a factor of r(i)?
True
Suppose -y + 5 = g + 4*g, -5*y = g + 23. Is 2/g + 14/2 a multiple of 8?
True
Suppose -a - a = -4. Does 8 divide 1/a - 165/(-10)?
False
Suppose -2 + 11 = 3*n. Is 19/n + 4/(-12) even?
True
Suppose z + 3*c + 5 = -0*z, -3 = 3*z + 5*c. Let j = z + -4. Suppose r + 1 - 9 = j. Does 4 divide r?
True
Suppose -f + 0 + 10 = 0. Suppose 168 = -8*a + f*a. Does 28 divide a?
True
Let x(k) = -k**3 + 8*k**2 - 12*k. Let c be x(6). Suppose -4*i - 27 + 151 = 5*d, -2*d - 2*i = -48. Suppose c = -4*p + 104 - d. Is 19 a factor