ivative of c**3/2 - 2*c**2 + 2*c. Does 10 divide x(6)?
False
Is (-515)/(-9) + 3 + 2/(-9) a multiple of 23?
False
Let j = 15 + -12. Suppose 17 = -2*b - 2*s + 55, j*b - 2*s = 77. Is 11 a factor of b?
False
Suppose -7*r = -4*r + 84. Let s be ((-12)/1)/(4/6). Let z = s - r. Is z a multiple of 10?
True
Let f = -143 + 325. Is 26 a factor of f?
True
Suppose p + 7 = 16. Suppose 5*n - p = -d, 0*n + n = 3*d - 11. Is (4/d)/((-2)/(-32)) a multiple of 16?
True
Let c(v) = 5*v**2 - 2 + 0 - v**3 - 1 - 3*v. Suppose -3*x = x - 12. Is 6 a factor of c(x)?
True
Suppose -3*i = 2*i - 240. Is i a multiple of 9?
False
Let q(l) = -l**3 + 14*l**2 + 18*l + 14. Does 19 divide q(14)?
True
Suppose 21*p - 256 = 17*p. Is p a multiple of 32?
True
Let s be (-2 - (-636)/(-9))*-3. Suppose -2*c + 5*t + 138 = 9, 4*c - 2*t = s. Suppose 0 = -m + 1, -6*q + c = -4*q + 4*m. Does 12 divide q?
True
Let a(m) be the third derivative of -m**6/120 + 3*m**5/20 + 7*m**4/12 + m**3/3 + 3*m**2. Is 14 a factor of a(10)?
True
Let g = -70 + 166. Suppose 3*h = g + 48. Suppose 2*j - h = -j. Is 8 a factor of j?
True
Let t(a) = 7*a**3 - 2*a**2 + 1. Let p be t(-1). Let d = -5 - p. Suppose d*n - 22 = 5. Is n a multiple of 4?
False
Suppose q - 87 = 4*q. Let c be 0/(-3) + -2 - q. Suppose -v - 5*k = -34, -5*v - 4*k = -59 - c. Is v a multiple of 11?
False
Let t(i) = 2*i + 0 + 0 + 5 - 12*i**2. Let x(d) = 13*d**2 - d - 4. Let h(m) = 3*t(m) + 4*x(m). Is 17 a factor of h(1)?
True
Let l(b) = -b**3 - 2*b**2 - 2. Let c be l(-3). Suppose -p - t + 19 = -c, -t + 54 = 2*p. Does 16 divide p?
False
Suppose 3*a = -1 - 2, a + 1 = -5*h. Suppose -2*m - 4*g - 88 = -3*m, 5*m + g - 524 = h. Does 23 divide m?
False
Let t = -27 + 4. Let u = t - -43. Is u a multiple of 10?
True
Let y(q) = -3*q - 7. Does 3 divide y(-4)?
False
Let p be 984/18 - 2/(-6). Let q = 3 - 42. Let d = p + q. Does 16 divide d?
True
Let v(b) = 3*b - b**2 + 2 + 0*b**2 - 6*b. Let f be v(-4). Let d(s) = 6*s**2. Is 9 a factor of d(f)?
False
Is 17 a factor of (-20)/(-110) - 2240/(-22)?
True
Let k be -6 + 28 - (-4)/2. Let a = -9 + k. Let o = 13 + a. Does 11 divide o?
False
Let q(g) = -g**3 + 7*g**2 - 4*g - 8. Let k be q(6). Let f(j) = 2*j**3 - 4*j**2 - 6*j + 10. Is f(k) a multiple of 12?
False
Let k be -1 - (0/3)/(-3). Is (-4 - -30)/(k - -2) a multiple of 14?
False
Let t(c) = c**2 - 6*c + 11. Let h be t(5). Suppose 41 = -4*a + 117. Let j = a + h. Is j a multiple of 25?
True
Let o(n) = n + 0 + 4 + n + 4. Let v be o(11). Suppose 3*y - 27 = -5*t + v, -2*t - 4*y = -20. Does 9 divide t?
False
Let u = -1 + 6. Suppose -4*v + 2 = u*l + 34, -v = 5*l + 23. Is 1/v - 68/(-6) a multiple of 11?
True
Let q = -3 + 11. Suppose 3 + 30 = 5*s - d, -4*d = -q. Does 3 divide s?
False
Suppose 2*j = -j - 4*n + 235, -2*n = 2*j - 158. Is 8 a factor of j?
False
Suppose 0 = 3*i - 0*i - 117. Is 12 a factor of i?
False
Let n(h) = -2*h - 9. Let d(y) = 5*y + 26. Let m(t) = -4*d(t) - 11*n(t). Does 17 divide m(11)?
True
Let d = -16 - -45. Let i = d + -14. Is i a multiple of 5?
True
Suppose 3*d + 2*d = 4*y + 192, 195 = 5*d - 5*y. Is 7 a factor of d?
False
Suppose 0 = 8*a - 316 - 92. Is 9 a factor of a?
False
Let g = -6 + 12. Suppose 4*l = -s + g*s + 16, 5*l - 5*s = 15. Does 6 divide -7*(l + 1/7)?
True
Let r = -281 - -421. Is 10 a factor of r?
True
Let n(b) = b**2 - 4*b + 12. Does 22 divide n(8)?
True
Let g(i) = -2*i**3 - 7*i**2 - 4*i - 5. Let t be g(-5). Suppose 0 = z + 3, -b + t = 2*b - 5*z. Does 8 divide b?
False
Let u(d) be the third derivative of 0 + 0*d**4 + 0*d - 1/6*d**3 + 9/20*d**5 - 2*d**2. Does 13 divide u(-1)?
True
Let v(j) = -j**2 + 2*j + 6. Let n be v(5). Is 4 a factor of 4/(-18) + (-65)/n?
False
Suppose d - 14 = -4*b, 2*d - 2 = -4*b + 6. Is 7 a factor of (-15)/d*(-14)/(-5)?
True
Let r = 0 + -2. Is 6 a factor of -2 + (30 - 3) + r?
False
Let t(u) = -u**3 - 4*u**2 + 3*u - 4. Is t(-6) a multiple of 10?
True
Suppose -3*t - 1 = -13. Suppose 3*n - 16 = -a, n - t*a + 0 = -12. Suppose 3*x + 56 = 8*x + 3*f, n*x - 32 = 4*f. Is x a multiple of 4?
False
Suppose -2 = d - 5, 3*d + 9 = 3*l. Is 6 a factor of l?
True
Suppose -5 = w - 5*q - 17, -5*w - q = -8. Is 26 a factor of (3 - (w - 24)) + 1?
True
Let n(y) = -11*y + 3. Let x(c) = -34*c + 9. Let v(h) = 11*n(h) - 4*x(h). Is 2 a factor of v(1)?
True
Let u be (-4)/(-12)*(1 + 158). Suppose -w + u = i + i, -w - 5*i = -50. Is 20 a factor of w?
False
Let l = 20 + -17. Is 2 a factor of l?
False
Suppose -2*z - 3*b = -19, -2*z - 1 - 15 = -4*b. Suppose 2*h - 12 = -z*o, 5*o - 3*h = -0 + 6. Suppose -v + 6 = -q, -q = 2*v + o*q. Is v a multiple of 4?
True
Let d = 15 - 11. Let g(z) = 2*z - 5. Let b be g(d). Does 24 divide ((-216)/15)/(b/(-10))?
True
Suppose -5*f = -2*f. Suppose -5*l + 120 = -f*l. Does 5 divide l?
False
Suppose 2*h = -2*t - 2*t + 58, 0 = 3*t + 6. Does 32 divide h?
False
Let s be -3 + (-1 + 2 - -3). Let a be -26 + s + -3 + 1. Let j = 41 + a. Is 7 a factor of j?
True
Is ((-6)/5)/((-3)/135) a multiple of 54?
True
Suppose 5*a + 3*y + 18 - 1 = 0, 2*a = -y - 7. Let b(l) = l**2 + 2*l - 2. Let m be b(a). Let t(d) = -d**2 + 11*d. Is 16 a factor of t(m)?
False
Is 6 a factor of 1670/40 + (-2)/(-8)?
True
Suppose -27 - 55 = -2*q. Let t = q + -29. Does 4 divide t?
True
Let l = -8 - -16. Let y = l - 5. Is y a multiple of 3?
True
Let w(t) = -t - 2. Let j(x) = 9*x + 21. Let s(m) = -2*j(m) - 21*w(m). Let a be s(1). Suppose a*l - 5*u - 71 = 0, l + 0*u - 52 = -4*u. Is l a multiple of 16?
True
Let n = -20 + 36. Let l(a) = -a**3 + a**2 + 4*a - 4. Let k be l(3). Let b = k + n. Does 3 divide b?
True
Let w(d) = -d**3 - 9*d**2 + d + 12. Let g be w(-9). Suppose -o + 3*x + 15 = o, g*x = 4*o - 21. Suppose 4*j - 128 = -a, -2*j + o*j = -a + 29. Does 11 divide j?
True
Let l(v) = v**2 + 3*v + 5. Let p = -9 - -3. Is l(p) a multiple of 23?
True
Let i = -35 + 64. Suppose i = k - 38. Does 21 divide k?
False
Suppose 0 = 5*y - 144 - 21. Suppose 3*r + 115 = -5*a - 2*r, -a + 4*r = y. Is (-10)/a - 38/(-5) a multiple of 8?
True
Suppose 87 = r + 3*x - 379, 0 = 2*x - 2. Suppose -u - r = -5*p, 3*p = p - 4*u + 172. Let h = p + -66. Is 11 a factor of h?
False
Let z = -65 - -180. Is z a multiple of 25?
False
Let q(j) = -j + 19. Does 17 divide q(-15)?
True
Suppose -3*m + 5*t + 40 = -16, 2*m - 40 = 2*t. Suppose 2*s - m = -0*s. Does 6 divide s?
False
Let i(l) = 27*l - 1. Let z be i(3). Suppose -h + z = 3*h. Does 10 divide h?
True
Suppose -5*v + 262 = -2*p, 3*v - p = -4*p + 153. Is 9 a factor of v?
False
Suppose 0 = 5*l + 4*r - 71, -1 = 5*r + 4. Is l a multiple of 15?
True
Let q(h) be the first derivative of 1 + 4*h + h - 2*h**2 - 3*h + 1. Does 10 divide q(-2)?
True
Suppose -3*b + 51 = 3*m, 3*m = 5*b - 16 - 69. Is 17 a factor of b?
True
Let h be (-1 - 0)/(3/18). Let r be (6*h)/(3/(-2)). Does 2 divide (-2)/(-2 + r/14)?
False
Suppose -t - 407 = -4*o, -2*o - 2*o = 4*t + 1588. Is t/(-35) + 2/(-5) a multiple of 4?
False
Let m = -8 - -5. Let d = 0 + m. Let j = 14 - d. Is j a multiple of 17?
True
Let l be (-1 - -5)*(-3)/(-4). Let k(p) = 3*p + 4. Is 12 a factor of k(l)?
False
Let u(v) = 2*v**2 + 2*v + 3. Is 5 a factor of u(-3)?
True
Suppose 8*a - 909 = -a. Does 30 divide a?
False
Suppose -3*m - 2*k + 334 = 0, -3*m + 3*k + 354 = 15. Suppose -2*g + m = 34. Is g a multiple of 20?
False
Let c(v) = -v**3 + 2*v**2 + 3*v - 1. Let m(d) = d**3 - 4*d**2 + 4*d - 1. Let i be m(3). Let x be c(i). Let t(f) = 2*f**2 - 7*f + 1. Is t(x) a multiple of 8?
True
Is 22 a factor of (22/2)/(7/84)?
True
Let v = -13 + 2. Let k = v - -14. Is k a multiple of 2?
False
Let q(v) = -4*v**2 + 4*v - 6. Let w(j) = 8*j**2 - 7*j + 11. Let o(p) = 5*q(p) + 3*w(p). Is o(3) a multiple of 12?
True
Let w(t) = -t**3 - 4*t**2 + 4. Let q be w(-3). Let i(a) = -6*a - 3*a - 3 + 2*a. Is i(q) a multiple of 16?
True
Suppose -u + 2*p + 2*p - 110 = 0, 4*p + 266 = -3*u. Let g(a) = 5*a**2 - 8*a - 1. Let c be g(6). Let f = u + c. Is f a multiple of 15?
False
Suppose 0 = h - 4 - 8. Suppose 4*o - 36 = h. Suppose -o = b - 3*b. Is 3 a factor of b?
True
Let v(n) = -n**3 + 9*n**2 - 7*n - 8. Let k be v(8). Let r be (-2)/6 - (-30)/9. Suppose 4*w - 4*q + 5 = 29, k = 3*w + r*q - 12. Does 3 divide w?
False
Let n(h) = 5*h + 3. Let j(y) = -y**2 - 14*y - 9. Let l be j(-13). Is n(l) a multiple of 21?
False
Suppose 3*v - 6 = -v + 2*x, 0 = 4*v - 4*x - 4. Suppose -3*t = v*b + 8, 6*b 