t t be (-21)/6*8/(-14). Suppose 0 = -5*a + 2*c + 182, 5*a + t*c - 124 - 54 = 0. Is 12 a factor of a?
True
Let q(y) = -y**2 - 4*y - 2. Let h be q(-2). Let b(z) = 5*z - 1. Let o be b(1). Suppose h*m - 8 = o. Is 3 a factor of m?
True
Suppose 4*r + r - 260 = 0. Does 13 divide r?
True
Let k(g) = 15*g + 14. Is 13 a factor of k(6)?
True
Let i(v) = -5 - 5*v**2 + 14 + 7*v**2 - 6*v. Is i(6) a multiple of 20?
False
Let y(d) = d**3 + 14*d**2 - 3*d - 4. Is 19 a factor of y(-14)?
True
Let x(w) = 3*w**3 - 8*w**2 + 4*w - 6. Let m(j) = 2*j**3 - 7*j**2 + 4*j - 5. Let l(b) = 5*m(b) - 4*x(b). Suppose -13 - 2 = 5*t. Is l(t) a multiple of 12?
False
Suppose -14*v = -15*v - 2. Let z(x) = -x**3 - x**2 - 2*x - 2. Is z(v) a multiple of 5?
False
Let b = -6 + 0. Is 5 + (-1)/(3/b) even?
False
Let x(p) = 5 - p - 3*p - p**2 + 3*p**2 + p**3 + 2*p**2. Let n be x(-5). Suppose 0*w + 3*w - 36 = n. Is w a multiple of 6?
True
Suppose -4*y = -2*a - 18, 3*a - 18 = a - 5*y. Let l be (8/3)/(a/(-3)). Let o = 19 - l. Does 7 divide o?
False
Suppose 18 = 7*l - 4*l. Suppose h = l*h - 240. Does 16 divide h?
True
Suppose 3*l - 15 = -2*z + 56, -3*l = z - 28. Let v = z - 19. Is 24 a factor of v?
True
Let t(y) = y**2 - y + 17. Let n be t(0). Let c = n + -3. Does 14 divide c?
True
Let h(f) = 7*f + 10. Is h(0) a multiple of 2?
True
Let o = -26 + 21. Let t = o - -21. Is t a multiple of 16?
True
Suppose -2*s - 2*s = -12. Suppose -22 = 5*b + 3*n + 23, -38 = s*b + 4*n. Let f = 22 + b. Is 6 a factor of f?
False
Suppose j + 2*j - 189 = 0. Is 20 a factor of j?
False
Let w = -16 - -22. Suppose 2*k - w = -5*s, 6*k - 2*k + 3*s = -16. Does 18 divide 2/7 - 292/k?
False
Let c be 4/12 - (-100)/6. Suppose -5*k + 0 + 1 = 2*g, 5*g - c = 2*k. Does 3 divide g?
True
Let a be 32/12 - 4/6. Let m be (1 - a - -12) + -2. Let q = 16 - m. Is q a multiple of 5?
False
Let v(a) = -a**2 - 8*a + 2. Let d be v(-8). Let t be (d + -12)/(-5 + 3). Suppose 3*g + n = 21, 2*n - t*n = 4*g - 23. Is g a multiple of 3?
False
Let c = 47 + -2. Is c a multiple of 9?
True
Let n be (-3)/2*(-8)/(-3). Let w(z) be the third derivative of z**5/60 - z**4/24 - z**3/6 - z**2. Is 9 a factor of w(n)?
False
Let c be (-1)/2*(-1 + -39). Suppose -5*m + c = -0*m. Suppose -g = m*k - 184, -5*g = 2*k + k - 155. Is 20 a factor of k?
False
Let m(s) = s**2 - 16*s + 2. Let d be m(16). Suppose 5*o + 7 - 2 = 0, -36 = -l - d*o. Is l a multiple of 10?
False
Let z(q) = 2 - 4 + 13*q**2 - 8*q - 14*q**2. Let t be z(-7). Suppose 0 = 3*g - 3*i + 5*i - 37, 0 = -4*g + t*i + 34. Is 11 a factor of g?
True
Let p(z) be the third derivative of z**6/120 - z**5/15 - z**4/8 - z**3/2 - 2*z**2. Let b be p(5). Does 4 divide b - (1 - (-6)/3)?
True
Is 14 a factor of 109 + 0 + (-3 - -6)?
True
Suppose 3*o + 4*g - 55 = 0, 4*g - 25 = -9. Does 2 divide o?
False
Let c(d) = -d + 3. Is 7 a factor of c(-5)?
False
Does 4 divide (-640)/(-24) - 1/(-3)?
False
Is 9 a factor of 11 + 6/(-5 - -2)?
True
Let q(f) = 1 - 13*f - 2 + 0 + 2. Does 20 divide q(-3)?
True
Suppose g + 5 = -x + 3*x, -11 = -3*x + 5*g. Let a(c) = 9*c**2 - 2*c - 2. Is a(x) a multiple of 12?
False
Suppose -4*v = -9 - 11. Suppose -32 = -3*w - v. Let u(j) = j**3 - 10*j**2 + 12*j. Is u(w) a multiple of 9?
True
Let b(o) = -2*o - 3. Let q be (8/(-6))/(3/(-9)). Suppose 0 = q*j - 0 + 12. Does 3 divide b(j)?
True
Suppose -2*g + 485 = 3*g. Does 17 divide g?
False
Suppose 3*f + 5*k = 37, -f + 0*k = -k + 1. Suppose -5 = 4*r - d, -f*r = -3*r + d. Does 22 divide (63 - (-1)/1) + r?
False
Let x be ((-14)/(-4))/(3/6). Let o(z) = -z**2 + 10*z + 9. Is 10 a factor of o(x)?
True
Is 2/5 + (-22)/5 + 301 a multiple of 43?
False
Let q = -9 + -4. Let v(i) = -i**2 - 14*i - 5. Is 4 a factor of v(q)?
True
Suppose 3*s = 4*o - 92, -5*s - 112 + 12 = -4*o. Suppose 0 = 2*q, -l = -3*q - 14 - 0. Let p = o - l. Does 3 divide p?
True
Suppose 0 = -2*b + 44 + 60. Does 15 divide b?
False
Suppose 0 = -3*x + x. Suppose 4*l + 11 + 9 = x, -3*l + 57 = 3*j. Is j a multiple of 24?
True
Suppose 0*p = -4*p - 4. Let f be (3 - 5) + 1 + 29. Is p/(-3)*f*3 a multiple of 12?
False
Let z(y) = 6*y - 3 + y**2 + 4 + 2 - 6. Is z(5) a multiple of 19?
False
Let c = 98 - 53. Is c a multiple of 15?
True
Let r(z) = -z + z - z + 2. Let o be r(0). Suppose 0 = 2*c - 10 + o. Does 2 divide c?
True
Suppose b = 6 + 4. Is b/25 - (-48)/5 a multiple of 10?
True
Suppose 182 + 58 = 5*w. Is 10 a factor of w?
False
Let l = -35 + 60. Does 3 divide l?
False
Let v(z) = -2*z. Let a(k) = k. Let j(i) = 5*a(i) - v(i). Let t be j(2). Let y = t + 2. Is 16 a factor of y?
True
Let g(p) = p**2 + 10*p - 17. Suppose -r - 4*j + 8 = -0*r, 5*j = -5*r - 35. Is g(r) a multiple of 2?
False
Let o(g) be the third derivative of -g**4/12 + 2*g**3/3 - g**2. Let z be o(-6). Suppose i - 31 = -0*i + 5*a, 2*a = i - z. Is i a multiple of 4?
False
Let y(q) be the third derivative of -q**5/60 - 5*q**4/12 + 2*q**3/3 - q**2. Is 2 a factor of y(-10)?
True
Suppose 2*s - 3*k - 8 = s, -6 = -5*s - 2*k. Suppose -150 = -2*n - s*o, o = 1 + 1. Is n a multiple of 11?
False
Let d = 37 - -3. Is 10 a factor of d?
True
Suppose 0 = -o + 2*o + 19. Let r = -10 - o. Suppose -2*z + j + r + 7 = 0, 0 = -2*z - 3*j + 16. Is 6 a factor of z?
False
Let o(t) = t**3 - 8*t**2 + t + 9. Does 14 divide o(9)?
False
Suppose 2*a = -2*a - 152. Let i = a + 59. Is i a multiple of 6?
False
Let a(x) = x**2 + 2*x + 2. Let p be a(-3). Suppose 0 = -0*k - p*k + 5. Is 8 a factor of k/(-3) - (-98)/6?
True
Let b be (-5)/(-2)*(-8)/(-4). Let o be (-13)/(-5) + 2/b. Suppose 0 = -0*h + o*h - 60. Is h a multiple of 10?
True
Suppose 5*x + 2*r + 0*r = -35, -3*r = -15. Is (3/x - 0)*-141 a multiple of 17?
False
Suppose 0*a = 8*a - 528. Is a a multiple of 36?
False
Let z be (-3)/1*(-7)/7. Suppose z*o - 99 = -15. Is o a multiple of 18?
False
Let l(f) = 2*f**2 + 3*f - 4. Let w(h) = h**2 - 7*h + 2. Let z be w(6). Does 5 divide l(z)?
False
Suppose 2*i + 4*t = 116, 0 = -3*t + 7*t + 8. Let m = 14 + i. Suppose -p - g = g - 32, 0 = -3*p - g + m. Is p a multiple of 11?
False
Suppose 3*i + 0*i = -4*l + 129, 2*i - 5*l = 86. Is 16 a factor of i + -1*6/(-3)?
False
Let m = 14 - -7. Is m a multiple of 7?
True
Let o = 158 + -107. Is o a multiple of 8?
False
Let b(y) = y - 3. Let d be b(3). Suppose 2*t = 5*a + 19, d = -t + a - 0*a + 5. Let x(s) = 3*s**3 - s**2 - s + 2. Does 8 divide x(t)?
False
Let r = -2 + 6. Does 4 divide r?
True
Let l(i) = i**3 + 5*i**2 + 3*i - 2. Suppose b = -5*r, 0 = -2*b + 7 + 3. Let h = r + -2. Is l(h) a multiple of 7?
True
Let r(d) = 3*d**2 + 4*d - 2. Let f(x) = x**2 - x + 1. Let v(g) = 2*f(g) - r(g). Is v(-4) a multiple of 6?
True
Suppose -k + 0*k = -5. Suppose 0 = -k*r + 3*r + 30. Is r a multiple of 14?
False
Let b(w) = w**2 - 2*w - 9. Let q = -32 + 23. Let v be b(q). Suppose 3*f + 30 = v. Is f a multiple of 7?
False
Let n be 6/(-15) + 7/5. Let j be ((-12)/(-5))/(n/15). Suppose -2*i - j = -4*i. Does 9 divide i?
True
Suppose 3*w + 3*p = 30, -4*p = 4*w - p - 38. Let h = 0 + w. Is 3 a factor of h?
False
Let z(v) = v**3 - 5*v**3 + 3*v**3 + 6*v**2 - 4 + v. Let y be z(6). Suppose 0 = -y*n + n + 22. Does 11 divide n?
True
Suppose -246 = -4*x - 2*d, 0*x - 5*x - 5*d + 315 = 0. Suppose 9*h - x = -3*r + 4*h, 4*h - 12 = 0. Is r a multiple of 5?
True
Suppose -4*j - 5*i = 197, 5*j + 187 = 2*i - 18. Let z = j + 84. Suppose 3*s - 4 = z. Is s a multiple of 6?
False
Let m = 3 + -1. Suppose m = -q + 2*q. Suppose 0 = q*x, x + 96 = v + 2*v. Is v a multiple of 14?
False
Suppose 13*h = 12*h + 24. Does 3 divide h?
True
Suppose -2*d = -0*d + 5*b - 14, -2*d + 4*b + 14 = 0. Suppose -3*v = -p - d, -3*v + 12 = 4*p - 5. Does 2 divide v?
False
Let o = -240 - -363. Does 17 divide o*5*(-2)/(-15)?
False
Let h(k) = 3*k + 2. Let n(l) = -l**2 + l - 1. Let v(u) = -h(u) - 2*n(u). Is 16 a factor of v(-4)?
False
Let z = -21 - -38. Does 11 divide z?
False
Suppose 49 = 5*v + 19. Suppose -v*s + 3*s + 21 = 0. Is s even?
False
Let q(t) = t**3 + 6*t**2 + 2*t + 5. Let j = -9 - -5. Let o be q(j). Suppose 0 = -5*u - 4*i + 51, -3*u + o = 5*i - 12. Is u a multiple of 3?
False
Suppose 0 = -5*u + 4*l + 189, 4*u - 3*u = 5*l + 21. Suppose 4*g - a = u, 4*g = -2*a + 2 + 24. Does 3 divide g?
True
Suppose -17 = -t + 3. Let n = t - 9. Does 3 divide n?
False
Let o = 2 + 6. Is o a multiple of 4?
True
Let o be 2 + 4/(-2) + 2. Suppose -x - o*x = 0. Suppose