0. Is 4 a factor of j?
False
Suppose -o + i = 11, -i = -4*o - 6*i - 53. Let s = 20 + o. Is 4 a factor of s?
True
Suppose -t - 5*i = -6*t + 495, i + 4 = 0. Does 32 divide t?
False
Suppose 11*h + 1584 = 19*h. Does 11 divide h?
True
Let t(v) be the second derivative of v**5/20 - v**4/4 - 5*v**3/6 - v**2 - 2*v. Does 14 divide t(5)?
False
Suppose h - 5*h - 4*k - 92 = 0, -4*h - 2*k - 82 = 0. Let a = -13 - h. Is a a multiple of 2?
False
Let b = -103 + 145. Does 21 divide b?
True
Suppose 2*z = 2*h + 196, -2*z - 5*h + 269 = 45. Is 70 a factor of z?
False
Let m = -37 + 109. Is m a multiple of 12?
True
Let r = 240 - 121. Is 12 a factor of (-2)/(-14) - (-6052)/r?
False
Let a(k) = -k**3 - 8*k**2 - 8*k - 16. Is 8 a factor of a(-8)?
True
Let b(n) = n**2 - 7*n - 1. Let m be b(7). Is -1 + 19 - (-3)/m a multiple of 12?
False
Let k(v) = -v**2 + 4*v + 2. Let n be k(4). Let y = -7 - 1. Is (-166)/(-8) - n/y a multiple of 10?
False
Let k = 6 + -3. Suppose -4*o + 2*y + 8 = 0, o + 4*o = k*y + 11. Is 4 - 2/o - -37 a multiple of 13?
True
Suppose -2*u = -g + 6, 0 = -0*g - g - 2*u + 2. Suppose 0*b = -b + g*z + 26, -3*b + 2*z + 78 = 0. Is 7 a factor of b?
False
Let s = -162 + 247. Suppose y - 3 = 3*y - 3*c, -4*y + 4*c + 4 = 0. Suppose -y*j = -j - s. Is j a multiple of 14?
False
Suppose -3 - 26 = -n. Let z be 35/2 + 2/4. Let f = n - z. Is 11 a factor of f?
True
Let b(m) = -8*m - 1. Let c be b(2). Let q = 26 + c. Does 9 divide q?
True
Let g(t) = 5*t**3 - 3*t**2 - t + 2. Is 14 a factor of g(2)?
True
Let m be -1*(207/3 - 2). Let g = 100 + m. Does 11 divide g?
True
Suppose -3*p + 3*c + 178 = -44, -c = 5*p - 400. Does 17 divide p?
False
Suppose 2*t = -1 - 7. Let a be ((-8)/(-6))/(t/(-6)). Is 8/16*108/a a multiple of 9?
True
Suppose 2*h - 197 + 69 = 0. Let u = 96 - h. Suppose -4*z - b - 3*b + u = 0, z = 3*b + 12. Is z a multiple of 9?
True
Suppose -4*c - 3 + 19 = 0. Suppose -c*f - 10 = f. Does 4 divide 4/f*13/(-2)?
False
Suppose 3*w - 12 = -3. Let h = 0 + w. Suppose -4*x = -2*i - 82, 5*x - h*i + 4*i - 85 = 0. Is x a multiple of 9?
True
Suppose -j + 2*j = 24. Is j a multiple of 12?
True
Suppose -5*g + 5*h + 845 = 0, h + 691 = 3*g + g. Let t = -113 + g. Is 13 a factor of t?
False
Let w = 534 + -380. Is 22 a factor of w?
True
Let l = 153 - 83. Is 14 a factor of l?
True
Let o be (-11 - -14) + 19*3. Suppose 4*r = -5*n + 100, -12 = -2*r + 3*n + o. Is 10 a factor of r?
True
Let k = 8 - 4. Suppose 2*r - k*r + 28 = 0. Is 14 a factor of r?
True
Suppose 0 = -0*y - 3*y - 12. Let p be ((-6)/y)/(3/292). Suppose -5*s = a - 14, -4*a - 4*s = -2*s - p. Is a a multiple of 13?
True
Is (-4)/(-14) - 966/(-49) a multiple of 5?
True
Suppose 4*v = -x + 1562, 2*v + 4*x = 60 + 728. Is v a multiple of 10?
True
Let w(z) = -z**3 + z**2 - 4*z + 1. Suppose 5 + 7 = 3*j. Let i be w(j). Let q = -30 - i. Is q a multiple of 15?
False
Suppose -50 - 126 = -5*f + 4*l, -4*l = -f + 32. Is 10 a factor of f?
False
Let o(k) = k**2 - 4*k - 8. Suppose i + 3*x + 9 = 0, 2*i + i + 2*x - 8 = 0. Let n be o(i). Suppose 0 = -4*h - 10*s + 5*s + 14, -s - 26 = -n*h. Does 6 divide h?
True
Suppose 0 = -3*k + p + 17, -3*p = -3*k + 2*k + 19. Let t(x) = 3*x**2 - x + x**2 - 3*x**2 - 5. Is t(k) a multiple of 6?
False
Let i(d) = 115*d + 1. Let y be i(1). Let u = y + -55. Suppose 0 = -3*w - 7 + u. Does 18 divide w?
True
Suppose s + 3*s - 24 = 0. Let g = 23 + s. Is 8 a factor of g?
False
Suppose -2*l = l - h - 9, -23 = -4*l + 5*h. Let z be l/1 - 0 - -7. Suppose o = 1 + z. Is 4 a factor of o?
False
Suppose -4*r + 21 = -11. Let v = r + -6. Suppose -v*y + 3*q + 30 = 0, -3*q = 1 - 7. Is 10 a factor of y?
False
Suppose -q + 1 + 2 = 0. Suppose q*b - 13 = -2*g, -3*g = -2*b - 2*b - 11. Does 5 divide g?
True
Let l(v) = v**3 + 2*v**2 + 19. Is 24 a factor of l(4)?
False
Let o(r) = -5*r - 2. Let s be o(-3). Does 15 divide (s/2 - -2)*2?
False
Let s = 1 - -10. Let c be s/3 + 2/6. Is (11/c)/((-1)/(-4)) a multiple of 8?
False
Let n = -3 - -5. Let r(m) = -7*m + 2 + m**n + 12*m + 3. Is r(-6) a multiple of 11?
True
Let y be ((-78)/6)/((-1)/(-2)). Let o = y - -53. Is 27 a factor of o?
True
Let g be 6/(-3)*-2 + 1. Suppose -38 = -2*q + 4*s, g*q - s = 2*q + 37. Is 5 a factor of q?
False
Let t be ((-82)/1)/(-2 - 0). Let d = 76 - t. Suppose 2*p = d - 1. Is 7 a factor of p?
False
Suppose p - 4*p + 231 = 0. Suppose -7 = -2*w + p. Let v = -18 + w. Is 13 a factor of v?
False
Let b(v) = -3*v - 3. Suppose -h + 0*h = 5. Does 12 divide b(h)?
True
Let a(b) = b + 1. Let q be a(1). Suppose 0 = p + q*p + 2*j - 153, -2*j = 0. Is 14 a factor of p?
False
Suppose 4*y + 3*h - 9 = y, h = 3*y + 7. Let w = y - -14. Does 10 divide w?
False
Let q = 23 + -50. Let o = 15 - q. Is 14 a factor of o?
True
Let r = -51 + 81. Is r + 4/(4/3) a multiple of 11?
True
Let f(m) = m**2 + 13*m + 15. Let d be f(-12). Suppose 0 = -2*w + u - 3*u + 18, 0 = d*w - 3*u - 21. Is w a multiple of 4?
True
Let b be 1/2*36/6. Suppose 5 = b*g - 4. Is g even?
False
Let h = 22 - 16. Suppose 4*t - 3*t = h. Does 3 divide t?
True
Suppose -o - 10 - 17 = 3*i, -4 = -4*i. Suppose -f - 2 = -10. Is f/6*o/(-4) a multiple of 7?
False
Does 39 divide (-6)/(-4) - 3610/(-20)?
False
Suppose 26 = -4*o + 5*x - 55, 0 = 5*o + x + 65. Let g = o - -38. Is g a multiple of 13?
False
Suppose 0 = 6*b - b. Suppose -5*u + 50 = -b*u. Is u a multiple of 2?
True
Suppose 0 = -15*l + 20*l - 20. Let o = 11 - l. Is o a multiple of 3?
False
Let u(i) = 51*i**2 + 1. Is 21 a factor of u(1)?
False
Let m = -11 + 7. Let i(u) = -3*u - 4. Let q be i(m). Suppose -j - 10 + 0 = 4*x, 2*x + q = 0. Is 5 a factor of j?
False
Suppose 0 = 2*k, 4*w + k = 24 + 4. Suppose -3*b + w*b = 56. Is b a multiple of 7?
True
Suppose -2*p = -7*p - 465. Is 7 a factor of (-2)/8 + p/(-4)?
False
Let z(i) = 49*i - 1. Let j be z(4). Suppose -2*s - 3*s + j = 0. Does 13 divide s?
True
Let g = -10 + 2. Let c(z) be the second derivative of z**5/20 + 3*z**4/4 + 5*z**3/6 - 5*z**2 + 19*z. Does 5 divide c(g)?
False
Let y = -31 - -21. Let z be (-10)/(-4) - (-5)/y. Suppose z = -b, f - b = b + 11. Is 7 a factor of f?
True
Let z be 62*2*1/(-4). Let l = -10 - z. Is l a multiple of 7?
True
Let z(g) = -4*g - 3. Let m be z(-2). Suppose m*w = w + 2*c + 66, 81 = 5*w - 4*c. Is w a multiple of 10?
False
Suppose 0 = -9*m - 5*m + 2730. Does 15 divide m?
True
Let l(w) = -2*w**3 - 4*w**2 + 4*w. Is 15 a factor of l(-4)?
False
Suppose 4*v - q + 6*q = 41, -4*v + 31 = -5*q. Suppose 57 = 4*n + v. Let c = 2 + n. Is c a multiple of 14?
True
Suppose 3*l = -4*z + 14, 4*l = -0*z - 5*z + 18. Let u(h) = 4*h**z + h + 3 - h - 7 + 2*h. Is u(3) a multiple of 19?
True
Let x(y) = -y**2 + 19*y - 14. Does 18 divide x(12)?
False
Let g(m) = 5*m - 2. Let i(l) = l + 1. Let k(s) = -g(s) + 4*i(s). Does 3 divide k(0)?
True
Suppose 5 = -5*p + 2*s + 28, -p + 2*s + 11 = 0. Suppose -12 = -0*o - p*o. Let d(z) = -z + 9. Does 5 divide d(o)?
True
Let v = -1 + 6. Suppose -v*m = -10*m + 35. Is m a multiple of 5?
False
Suppose 2*l + 88 = 6*l. Does 11 divide l?
True
Let g(l) be the second derivative of 2*l**3/3 - 5*l**2 + 4*l. Does 10 divide g(8)?
False
Suppose 38 = 4*m - 18. Is m a multiple of 14?
True
Let s(l) = -5*l**2 - 8*l + 9. Let u(i) = 14*i**2 + 24*i - 26. Let f(x) = 17*s(x) + 6*u(x). Suppose o = 4*b - 0*b + 18, 5*o = -b + 27. Is f(o) a multiple of 6?
False
Let t(h) = -h + 7. Let m be t(4). Let u be ((-441)/6)/(m/(-4)). Let r = -53 + u. Is 17 a factor of r?
False
Let v = 15 + 43. Let q = v - 40. Does 9 divide q?
True
Let a(b) = 3*b**3 + 5*b**2 + 2*b + 1. Does 17 divide a(4)?
False
Let u(t) = t + 2. Let m be (-8)/(-3) + 6/(-9). Let x be u(m). Suppose -x*g = -c - 5, -4*c + 19 = 3*g + 1. Is c a multiple of 3?
True
Suppose 356 = 9*v - 616. Is 36 a factor of v?
True
Let j be (-49)/(-3) + (-2)/6. Suppose -v - 4 = 5*o + 16, -4*o = -4*v + j. Suppose v = -k + 2*k - 2. Is k a multiple of 2?
True
Let i be -3*(-3 + 0 - -2). Suppose -1 = -4*r + i. Let f(h) = 15*h - 1. Is 7 a factor of f(r)?
True
Suppose 22 = 2*w + 2*p, 0 = -4*p + 19 - 3. Is w a multiple of 7?
True
Let s(o) = 19*o**2 + o - 6. Does 8 divide s(2)?
True
Let v(c) = c**2. Does 3 divide v(-3)?
True
Suppose -4*v + 3*c + 178 = c, -3*c - 9 = 0. Does 5 divide v?
False
Suppose 12 + 48 = 5*j. Does 9 divide j?
False
Let b(a) = -5 + 2*a - 10*a + 2 + 0. Suppose 2*i = z + 10, 5 = z - 0*z + 3*i. Is 13 a fact