le of 14?
True
Let f(m) = m + 1. Let o be f(4). Suppose 5*l = 3*v - 22, o*v + 13 = -l + 3. Is 3 - l/(-2)*-2 a multiple of 8?
True
Let s(i) = 3*i**2 + i - 2. Let c(w) = -w + 8. Let q be c(6). Suppose -q*v = -1 - 5. Does 15 divide s(v)?
False
Let b be (-40)/(3*8/(-12)). Suppose 0 = -4*z + b, 49 = 3*t + 4*z - 1. Is 4 a factor of t?
False
Let i(o) = -2*o**3 - 5*o**2 + 5*o - 4. Is 32 a factor of i(-5)?
True
Let m(b) = -b**3 - 13*b**2 - 11*b - 14. Is 34 a factor of m(-13)?
False
Let s be ((-4)/6)/((-3)/9). Suppose -s*o - 21 = -o. Let u = -5 - o. Is 16 a factor of u?
True
Suppose 0 = -3*i + 3 - 21. Let a be (-266)/i - 2/6. Let p = a + -18. Is p a multiple of 13?
True
Let n be ((-2)/(2/5))/(-1). Let k(p) = -3 + n*p - p - 1. Does 8 divide k(3)?
True
Suppose 0 = -5*b + 3 + 22. Suppose -b*p + 19 = 4. Suppose p*u + u = 2*a - 60, u - 128 = -5*a. Is a a multiple of 17?
False
Let f(l) = -l**3 + 4*l**2 - l - 3. Let u be f(3). Let t(g) = -g**3 + 4*g**2 - 3*g - 1. Let a be t(u). Let h(w) = -27*w - 1. Does 16 divide h(a)?
False
Let v = 76 + -5. Is v a multiple of 16?
False
Suppose 1630 = -0*w + 5*w - i, -5*i - 1610 = -5*w. Suppose 0 = -b - 2 + 4, 2*u = -4*b + 20. Is 19 a factor of (-1)/2 + w/u?
False
Suppose 7*f - 5*f + 14 = 0. Let r(v) = -v**3 - 6*v**2 + 6*v - 5. Let b be r(f). Is 2*5/b*1 a multiple of 5?
True
Suppose -4*k - 116 = 3*l, 2*l - 72 = 4*k + 64. Suppose -a = 5, 5*a + 80 = 5*c + a. Is 12 a factor of k/c*(-9)/2?
True
Let i(r) = r + 1. Let z(q) = -q**3 + 8*q**2 - 3*q + 14. Let y(w) = 6*i(w) - z(w). Does 3 divide y(7)?
True
Suppose 2*p - 7*p + 35 = 0. Let z be (-26)/(-7) - (-2)/p. Suppose -z*h = h - 4*w - 116, -3*h - 3*w + 75 = 0. Is 12 a factor of h?
True
Suppose -z - 63 = 2*q + 43, -2*q - 106 = -4*z. Let o = -33 - q. Is o a multiple of 10?
True
Suppose -6*m + m - 45 = 0. Does 8 divide (-215)/(-15) - 6/m?
False
Let t(a) = -3*a**3 - 2*a - 1. Let z be t(-1). Suppose -15*h = -20*h + 160. Suppose -h = z*w - 160. Is 14 a factor of w?
False
Suppose 0*q = 2*q - 6. Suppose 4*p = 2*z + 94, -4*p + 46 = 2*z - 28. Suppose 24 = q*x - p. Does 15 divide x?
True
Let p(y) be the third derivative of -y**3 - 1/8*y**4 + 0*y - 2*y**2 + 0. Is 7 a factor of p(-7)?
False
Suppose a = 61 + 29. Does 18 divide a?
True
Let u be (6/(-4))/(1/(-18)). Suppose -4*l = -57 - u. Is l a multiple of 21?
True
Suppose -2*q + 3 = -l, 48 - 8 = 5*q + 4*l. Suppose x - q*x = -93. Suppose -3*i + 9 = -3*k, -2*i + x = 5*k + 11. Is 2 a factor of k?
True
Let z = 581 - 408. Is z a multiple of 61?
False
Let n(y) be the second derivative of -5*y**3/3 + 2*y**2 - 2*y. Let i be n(-5). Is (i/12)/(6/8) a multiple of 6?
True
Let v(y) = -8*y - 8. Is v(-6) a multiple of 2?
True
Let o = 16 - -10. Let t be o*(0 + (-2)/4). Let v = t + 30. Is 12 a factor of v?
False
Let k = 109 + -81. Is 9 a factor of k?
False
Let m(x) = 10*x**2 + x + 4. Let j be m(3). Let r be (-133)/(-42) + 2/(-12). Suppose -5*g = -2*t + j, 49 = r*t - 2*t - 3*g. Is 23 a factor of t?
True
Let h = -25 + 38. Suppose -z - h = -3*z - 5*p, -z + 7 = 3*p. Is z a multiple of 2?
True
Let l(b) = -b**2 - 11*b + 8. Is 7 a factor of l(-11)?
False
Suppose 5*j - 25 = 0, 31 = 3*f + j + 4*j. Is (-258)/(-9) + f/6 a multiple of 10?
False
Suppose 42 = 2*s + s. Is s a multiple of 14?
True
Let a(q) = 3*q**2 + 4*q - 9. Suppose 10 = h + h. Is a(h) a multiple of 28?
False
Is -55*2/4*-2 a multiple of 12?
False
Let j = -12 - -6. Let u be j/(-15) - 528/20. Let x = u + 60. Is x a multiple of 17?
True
Let u be 1*-33 - (2 - 1). Does 5 divide (u/(-14) + -1)*7?
True
Let k = -70 - -134. Is 8 a factor of k?
True
Suppose 0 = -2*v - 4*b + 24, 4*b + b - 24 = -v. Suppose -18 = -v*i + 3*i - 3*g, -i - 17 = -4*g. Suppose 0 = -t + i*t - 30. Is t a multiple of 8?
False
Let q(b) = -b**3 + 6*b**2 + 4*b - 1. Let r(t) = -t**3 + 3*t**2 + 2*t. Let y be r(3). Is 16 a factor of q(y)?
False
Suppose 3*v + v - 1810 = -5*i, -v - 2*i + 454 = 0. Suppose 2*c - v = -c. Is 4 a factor of c/14 - 14/(-49)?
False
Suppose -3*j - 5*h = -j - 15, -21 = -5*j + 4*h. Suppose -2*i = j - 21. Is 5 a factor of i?
False
Suppose 3*g - 298 = -2*u, 3*g - 2*g - 461 = -3*u. Suppose -4*v + 2*s = -11 - 119, 5*v + 5*s = u. Is 8 a factor of v?
True
Let v be 4/((-4)/1) - -3. Suppose 0 = -4*w + w + j + 74, 3*w = v*j + 76. Is w a multiple of 6?
True
Let t be 2025/65 - 4/26. Suppose -2*q + 9 = -t. Does 11 divide q?
False
Let m(w) = w + 6. Let j be m(-6). Suppose j*k + 2*k = 0. Suppose k*s = x - s - 12, 5*x - s - 52 = 0. Is x a multiple of 5?
True
Let m(j) be the second derivative of -5*j**3/6 + j**2 + 4*j. Does 10 divide m(-2)?
False
Let s(a) = -6*a + 4. Let h(g) = 5*g - 3. Let z(u) = 7*h(u) + 6*s(u). Let x be z(0). Suppose -4*f + x*p + 93 = 0, 3*f + 2*f + 5*p = 125. Does 12 divide f?
True
Let s(o) = -o**3 + 4*o**2 + 7*o - 6. Let w be s(5). Let t(u) = u + 6*u - 1 - 4*u**2 + u**2 - u**3 - w*u**2. Is t(-8) a multiple of 6?
False
Let y = -34 + 76. Does 8 divide y?
False
Let m = -2 + 4. Suppose 48 = l + m*l. Is 16 a factor of l?
True
Suppose -2*k + 4*k = 186. Suppose -28 + k = 3*n - 2*d, -54 = -2*n - 4*d. Let o = n - 12. Does 4 divide o?
False
Suppose -144 = -4*p + p. Let y = p - 34. Is y a multiple of 6?
False
Let k(i) = 28*i**3 - i**2. Does 8 divide k(1)?
False
Suppose -3*q = 3*d - 114, 6*q = 3*q + 12. Is d a multiple of 5?
False
Let w(d) = -d**2 + 10*d + 9. Let t be w(10). Let s(r) = -r**3 + 9*r**2 + 4*r. Is s(t) a multiple of 9?
True
Let x(u) = -u**3 - 3*u**2 + 6*u. Let s = -16 + 22. Let g(f) = -f + 1. Let w be g(s). Does 10 divide x(w)?
True
Is ((-549)/(-6))/(3/6) a multiple of 14?
False
Let o = 2 + -2. Suppose o = 3*q - 69 + 27. Does 14 divide q?
True
Suppose 12 = -4*n + 2*x, -2 + 6 = 3*n + 5*x. Let a = n + 28. Is a a multiple of 13?
True
Let m be 86/12 - 1/6. Let x(q) = 9*q**2 + m*q - 2*q**2 + q**3 - 27 + 32. Is 25 a factor of x(-4)?
True
Suppose 5 = f + 3. Suppose -4*g = 3*q - 20, 2*g + 40 = 6*g - f*q. Does 8 divide g?
True
Let g be 39 - 2*(-1)/2. Suppose l = -4*l + g. Is 7 a factor of l?
False
Suppose -4 = 2*j + 8. Suppose 0 = 3*s + s - 12. Is (-46)/(-4) - s/j a multiple of 5?
False
Suppose 2*a = -4*w - 8, -2*w = 2*w + 16. Let n = -41 - -43. Suppose 84 = a*x - n*x. Is 21 a factor of x?
True
Let q = 331 + -166. Suppose -39 - q = -4*f. Is 17 a factor of f?
True
Let p(t) = 0*t**2 + 3 + 19*t**2 + 3*t - 2*t - 4*t. Is 20 a factor of p(2)?
False
Suppose 4*f + 5*a = -2, -5*a - 2 = 2*f + 4. Let r be (-103)/(f/(3 - 1)). Let l = r + 155. Is l a multiple of 23?
False
Let v(q) = -40*q + 1. Let n(c) = c**3 - 6*c**2 + c - 7. Let p be n(6). Does 11 divide v(p)?
False
Let z be (-1 + 9)/(0 - 1). Let a(j) = j**2 + 6*j - 4. Is 12 a factor of a(z)?
True
Suppose 11*y + 240 = 13*y. Is y a multiple of 10?
True
Let t be -28 + (0 + 2 - 0). Does 13 divide ((-4)/(-2))/((-4)/t)?
True
Let l(x) = -x**2 + 6*x + 1. Let b be l(7). Let n = 12 + b. Is 6 a factor of n?
True
Let j(h) = h**3 - 1. Let a be j(1). Let d(z) = -z**2 - 19. Let g be d(a). Let w = -5 - g. Is w a multiple of 8?
False
Let q(w) = -2*w**3 - 7*w**2 - 6*w + 1. Let x be q(-5). Suppose -x = -7*h + 5*h. Is h a multiple of 14?
False
Suppose -4*l = -4*z - 0*l + 800, 3*z - l - 600 = 0. Is z a multiple of 21?
False
Let g(n) = n + 14. Suppose -a + 2*u = u + 15, 4*u = a + 30. Let z be g(a). Suppose z*l = 13 + 7. Is l a multiple of 5?
True
Suppose -127 - 170 = -3*i. Does 13 divide i?
False
Suppose 16 = 2*h - 0. Suppose 5*f + 3*j - 47 = h, 0 = f + j - 11. Is f a multiple of 4?
False
Let v(y) = 5*y - 5 + 0 - y**2 + 5*y. Let j be v(6). Suppose -2*b + 3*d = -52, b - 5*d = -0*b + j. Is b a multiple of 16?
False
Suppose -4*o = 3*o - 182. Is 13 a factor of o?
True
Let r(m) = m**3 + 5*m**2 - 6*m - 2. Suppose 5*d + 41 = 4*f, 6 = -4*d - f - 10. Is r(d) a multiple of 14?
True
Let i be (-1)/((-1)/18 + 0). Suppose 4*k = -4*x + 8, 4*x + 8 = -k + 1. Suppose -2*u = -v - 28, -i - 34 = -k*u - 2*v. Is u a multiple of 9?
False
Let i(u) = -37*u**3 - 2*u**2 - 2*u - 1. Is i(-1) a multiple of 9?
True
Suppose 126 = 3*t + 4*l, 3*t - 2*l = 3*l + 99. Does 19 divide t?
True
Suppose 4 = -2*m - 0. Let y be ((-6)/(-2))/(3/36). Let g = m + y. Does 17 divide g?
True
Let s(q) = q**3 - 4*q**2 + 3*q + 3. Suppose -2*t = 5 - 13. Does 15 divide s(t)?
True
Let y(z) = -6*z**3 - 3*z**2 - z + 8. Let g(l) = -3*l - 9 + 2*l**3 + 4*l + 3*l**2 + 5*l**3. L