6, x - 38 = -2*x - j*v. Is x a multiple of 9?
False
Suppose -m - t + 213 = m, 2*m = 3*t + 201. Does 21 divide m?
True
Let k be (-48)/10 + (-1)/5. Let v = k + 36. Is v a multiple of 8?
False
Let b(c) be the third derivative of -c**6/120 + c**5/10 - c**4/24 + 2*c**3/3 - c**2. Let l be b(6). Is 15 a factor of (0 - 2)/(l/44)?
False
Let g(u) = -2*u**3 - 4*u**2 + 6*u + 1. Let o be g(-4). Suppose 4*t = 3*n + 106, n = 5*t - 86 - o. Does 14 divide t?
False
Let t be (-8)/4*6/(-4). Suppose -4*i + i = t, 4*i + 168 = 4*p. Let b = -27 + p. Is 14 a factor of b?
True
Let b(w) be the first derivative of -w**3/3 - 7*w**2/2 + 4*w - 3. Does 4 divide b(-6)?
False
Let g = 12 + -8. Suppose 33 + 85 = 3*u - g*h, 5*h - 33 = -u. Is 19 a factor of u?
True
Suppose -5 = -3*y + 7. Is 18 a factor of (172/y - 2) + -3?
False
Suppose -4*n = -2*n + 14. Let h be 2/n + 94/(-14). Let f(o) = -3*o - 5. Is 6 a factor of f(h)?
False
Let a = -94 - -157. Is a a multiple of 12?
False
Let x(z) = -4*z - 12. Let a be ((-9)/(-2))/(4/(-8)). Is 8 a factor of x(a)?
True
Let g be (-906)/(-12) + (-1)/(-2). Does 19 divide g*1/4*2?
True
Suppose 0 = -5*r + 4*u - 1, -r + 2*u = 6*u - 19. Suppose -r*w + 4*l = -8, 5*l + 0 = -10. Suppose -3*c + 63 + 36 = w. Is 11 a factor of c?
True
Suppose -219 = -9*s + 33. Is 4 a factor of s?
True
Suppose -4*c + 4*i = -424, -2*c + i - 2*i = -218. Suppose -3*v = -6*v + c. Does 18 divide v?
True
Does 47 divide (376/5)/(18/45)?
True
Does 14 divide (7/(-3))/(-1 + 106/108)?
True
Suppose m - c - 159 = -0*m, -4*m + 632 = -5*c. Is 20 a factor of m?
False
Let l(o) be the first derivative of -o**4 + o**3 + 3*o**2/2 + 4. Does 23 divide l(-2)?
False
Let r(i) = i + 26. Does 9 divide r(-8)?
True
Suppose -4*m + s - 10 = 0, m + 2*m + 3*s = 0. Is m/(-2) - (-8 - 1) a multiple of 7?
False
Let m(a) = a**3 - 4 - 5*a**2 + a**2 + 2*a - a**2. Let y be m(5). Let z = 16 - y. Is z a multiple of 10?
True
Suppose 2 + 7 = 3*n. Let m(i) = i**3 + 0*i**3 - 2*i**3 + 4*i - 4*i**2 - 1 + 2*i**n. Is 9 a factor of m(4)?
False
Let r be 27/15 + 3/15. Is 7 a factor of -1 + (r - (-12)/2)?
True
Let w = -5 + 8. Does 11 divide 78*(w + 20/(-8))?
False
Let b be ((-25)/3)/((-1)/3). Suppose 5*f + b - 280 = 0. Is 13 a factor of f?
False
Suppose 5*x + 0 = 120. Is x a multiple of 6?
True
Suppose 3*c - 6*c + 417 = 3*r, 0 = -2*c + 4*r + 284. Suppose 0*n + c = -5*n. Does 12 divide n/(-2)*18/21?
True
Let x = -5 + 5. Suppose 0 = -x*r - 4*r + 12. Is 118/r + 8/12 a multiple of 16?
False
Suppose -3*h + 303 = 93. Does 18 divide h?
False
Let j(w) = -w**3 + 7*w**2 + 10*w - 6. Let o be j(8). Suppose o = 2*c - 0*c. Is 5 a factor of c?
True
Let p(x) = 223*x + 1. Let o be p(1). Suppose -8*f + o = -4*f. Does 15 divide f?
False
Suppose -5*t - 5*c = -4*c - 214, -4*t = -2*c - 160. Is 23 a factor of t?
False
Suppose -5*x = -x - 312. Let h = x + -26. Suppose 0 = -5*c - g + h, 2*g - g - 41 = -4*c. Is c a multiple of 3?
False
Suppose -4*w - 7 = -3. Let a(f) = -f**2 - 1. Let l(u) = -u**3 - 2*u**2 + 6*u + 6. Let z(r) = w*l(r) - 2*a(r). Is z(-4) a multiple of 10?
True
Let r be 2 + -1 + -1 + -5. Is 130/8 - r/(-20) a multiple of 8?
True
Let z(a) = a**2 - 8*a + 4. Suppose -8 = -5*j + 7. Let u(n) = 2*n**2 - 15*n + 9. Let r(c) = j*u(c) - 5*z(c). Does 7 divide r(7)?
True
Suppose -4*l = 4*u - 2*u - 162, -u = -1. Is l a multiple of 8?
True
Suppose -u + 17 = 2*c - 4*u, -5*c + 47 = -3*u. Is c a multiple of 10?
True
Suppose 192 = 4*m + 4*c, 96 = 2*m - 0*m - 5*c. Is m a multiple of 12?
True
Is (160/12)/(-5)*-45 a multiple of 23?
False
Let f = -8 - -30. Suppose l + f = 2*l. Is l a multiple of 11?
True
Suppose 0 = -4*s + 6*s. Suppose 5*i + 24 - 4 = s. Does 20 divide 464/24 + i/(-6)?
True
Let o(q) = -q**3 + 5*q**2 + 8*q - 4. Suppose 0*w - 4*w = -16. Let u = 2 + w. Is 8 a factor of o(u)?
True
Let n(z) = -z**3 + 8*z**2 - 6*z. Suppose -r = -0 - 1. Let s be r/3*21*1. Does 7 divide n(s)?
True
Let l = 143 - 98. Suppose w = l - 9. Is 12 a factor of w?
True
Suppose -2*b = -2*x - 1 + 15, 0 = 2*x + 3*b - 4. Suppose 2*u + 5*q = -21, -2*q + q + 5 = x*u. Suppose -20 - 16 = -u*c. Is 18 a factor of c?
True
Suppose -2*x - 2*q + 3*q = -18, 5*x - 3*q = 46. Let b(c) = -c**2 + 12*c + 8. Does 23 divide b(x)?
False
Suppose 0 = -3*s + 2*s + 9. Suppose b - s = -2*b. Is b a multiple of 3?
True
Suppose -2*t = -2 - 8. Suppose -t*c = -2*c + 6, -v = 3*c - 15. Is v a multiple of 7?
True
Suppose 56 = 4*z + 3*t + 9, -4*t + 26 = 2*z. Is z even?
False
Suppose -k = -2*j + 8, 2*k + 0 = -4*j + 8. Is 20 a factor of 62*1 + (1 - j)?
True
Suppose 0 = 3*g + 3*i - 6*i - 6, 0 = 3*g + 4*i - 34. Let n(k) = k. Let x(b) = -8*b + 7. Let l(s) = -5*n(s) - x(s). Does 3 divide l(g)?
False
Let k(y) = 2*y**2 - 11*y - 3. Is k(6) a multiple of 3?
True
Suppose 0*z + 2*z = -4*a + 114, -4*z + 5*a = -215. Let q = z - 9. Does 18 divide q?
False
Suppose 0 = -4*a - 59 + 427. Let w = a - 47. Is 15 a factor of w?
True
Let a be 10/2 + 3 + -5. Is 31 a factor of 45 - a/(-3) - 0?
False
Let z(s) = 2*s**2 + s - 1. Is z(2) a multiple of 2?
False
Is (2 - 4 - -32) + 3 a multiple of 16?
False
Suppose 5*r = 2*t + 35, 0 = -r + t + 4*t + 30. Let f(g) = 2*g**2 - 8*g + 7. Does 17 divide f(r)?
True
Let f = -5 + 0. Let v = f - -7. Is v even?
True
Let i(m) = -m**3 - 3*m**2 + 4*m + 2. Let q be i(-4). Suppose -y + 0*x = -2*x - 14, 5*y - 58 = -q*x. Let h(j) = 2*j + 6. Is 10 a factor of h(y)?
True
Let u(y) = -y - 7. Let n(i) = -3*i - 20. Suppose -5*v = -2*c + 1, 5*c - 2*v + 0*v = 34. Let z(m) = c*u(m) - 3*n(m). Is 11 a factor of z(7)?
True
Let x(z) = -12*z - 66. Does 26 divide x(-12)?
True
Suppose -4*d - 8 = -60. Let p(b) = -8*b**3 + 3*b**2 + 7*b. Let z(t) = 17*t**3 - 6*t**2 - 15*t. Let n(q) = d*p(q) + 6*z(q). Is 13 a factor of n(-2)?
True
Let p = -2 + 3. Is 4 a factor of (p - -2)/(-3) + 17?
True
Suppose -3*z + 2*z = 0. Does 13 divide 140/5 - (-1 - z)?
False
Let q(n) = 1 + 5 - 5. Let m(i) = 6*i - 4. Let j(k) = -m(k) - 4*q(k). Is j(-5) a multiple of 10?
True
Let h = 29 - 20. Does 3 divide h?
True
Let x be (-4)/(-14) - 1254/(-21). Suppose -5*d - 5*w = -x, -5*w + 0*w + 24 = d. Is d a multiple of 5?
False
Let o(g) = -g**2 + 6*g - 3. Let x be o(5). Let m be 1*-1 - 14/1. Let p = x - m. Is p a multiple of 6?
False
Let p(v) = -v**3 - 6*v**2 - 5*v - 1. Let k be p(-5). Let u(w) = 5*w**2. Let x be u(k). Suppose -x*t + 72 = -4*t. Is t a multiple of 25?
False
Let h = 6 - 6. Let s(f) be the first derivative of -f**2/2 + 19*f - 4. Does 11 divide s(h)?
False
Suppose 33 = 2*n + n. Suppose -n*k - 152 = -15*k. Is 13 a factor of k?
False
Let f = 5 - 4. Suppose -5 = -4*n - f. Is 6 a factor of (-1)/1 + n + 6?
True
Let v(k) = -k**3 - k**2 - k + 7. Is 7 a factor of v(0)?
True
Let b(m) = 2*m + 31. Is 12 a factor of b(18)?
False
Let j(u) be the third derivative of u**5/60 + u**4/6 + 5*u**3/6 - 3*u**2. Suppose 4*s - q = 4*q - 31, 3*q = 5*s + 29. Is 3 a factor of j(s)?
False
Let g = 8 - -1. Let j(k) = 2*k - 12. Is j(g) a multiple of 2?
True
Let b be 9/5*20/3. Suppose b = h + l, -3*h + 3*l + 0 + 6 = 0. Does 3 divide h?
False
Let o(a) = -2*a - 2. Let f be o(-5). Let b = 9 - f. Does 19 divide 2 + 34 + b/(-1)?
False
Is 20*-1*42/(-28) a multiple of 6?
True
Suppose 0 = 4*l - 2*i - 404 - 122, -653 = -5*l + 4*i. Does 7 divide l?
True
Let v = 94 + -39. Does 14 divide v?
False
Let u be (-1)/3 - 140/30. Let r = 23 + u. Is r a multiple of 10?
False
Is 244/10 + 6/(-15) a multiple of 3?
True
Let l = 51 - 27. Suppose 31*h = 33*h - 26. Let c = l - h. Is 10 a factor of c?
False
Let p = 1 + -4. Let b = 18 + p. Suppose -3*f + b = 5*j, 4*j - 38 = 3*f - 8*f. Is f a multiple of 10?
True
Let g be (-2)/(-2*(-1 + 0)). Let m(r) = 24*r**2 + r. Is m(g) a multiple of 16?
False
Suppose 2*x - 378 = -3*b + 522, 0 = b + 2*x - 300. Is 25 a factor of b?
True
Let p be (-7)/(-3)*(7 - -8). Let d = p + 9. Suppose d = 5*y + h - 140, -4*y + 124 = -5*h. Does 11 divide y?
False
Suppose -2*o - o = -9. Suppose 4*i + 0 + 8 = 0, -o*t + 3*i = -12. Suppose t = 3*f - 25. Is 3 a factor of f?
True
Let u = 26 - 14. Let o = -7 + u. Is o even?
False
Let c(l) = l**3 + 10*l**2 + 2*l + 8. Is 25 a factor of c(-9)?
False
Let n = 31 - 17. Suppose -2*i = -0*i - n. Suppose t = i - 2. Does 5 divide t?
True
Suppose 0 = -3*c - 4*s - 0*s + 164, 0 = -3*c + 5*s + 200. Let t be (3 - -1) + 1 - (0 - -2). Suppose -z + c = t*z. Is 9 a factor o