ose 2*v - 16 = -0. Let w = 0 + v. Is w a multiple of 4?
True
Suppose -c = 2, -5*y + c + 655 = 6*c. Is 20 a factor of y?
False
Let b = 518 - 367. Is 36 a factor of b?
False
Suppose 0 = n - 0*n - 5. Suppose 40 = n*b - 65. Is b a multiple of 6?
False
Let h(p) = 3*p**2 + p - 3. Let t be h(-3). Suppose -4*o + 29 = -5*m - t, -o = -3*m - 16. Does 5 divide o?
True
Let a be 3/(-2)*10/(-3). Suppose a*f + 78 = 6*f. Suppose 8 - f = -5*d. Does 14 divide d?
True
Does 41 divide (-2)/(-3) - 6314/(-42)?
False
Let p(g) = -486*g**3 - g**2 - g. Let y be p(-1). Is ((-2)/(-3))/(12/y) a multiple of 11?
False
Let x(u) be the third derivative of -u**6/120 + u**5/60 - u**4/24 + u**3/3 + 8*u**2. Let m = 0 + -2. Is x(m) a multiple of 7?
False
Suppose 2*z - 11 = 3*z + 5*x, -2*x = 3*z - 32. Does 7 divide z?
True
Let w = 2 - -2. Does 4 divide w?
True
Suppose 2 = -r + 3. Let l(a) = 2*a + 0 - 9*a + r + 1. Is l(-4) a multiple of 9?
False
Let n(l) = l**2 - 5*l - 7. Let i(d) = 2*d + 3. Let w(a) = 5*i(a) + 2*n(a). Does 2 divide w(1)?
False
Let n be 22*(-3 - 7/(-2)). Suppose 3*x = 5*j - 177, -9 = 5*x + n. Is 13 a factor of j?
False
Let g(p) = -p**2 - 11*p - 6. Is 15 a factor of g(-7)?
False
Let u = 21 + -72. Let r = -35 - u. Is r a multiple of 6?
False
Let a = -13 - -21. Suppose r - a = -3*r. Suppose r*n = 3*n - 4, -19 = -5*o - n. Is o a multiple of 2?
False
Let p = 417 + -162. Suppose 2*i + 3*i = p. Suppose i = -b + 4*b. Is b a multiple of 17?
True
Let h(o) = -o**2 + 12*o - 15. Let v be h(10). Is 36*v/((-45)/(-6)) a multiple of 13?
False
Let a be (-250)/15 + 1/(-3). Let o(p) = -4*p**3 + 2*p + 1. Let s be o(2). Let b = a - s. Is b a multiple of 7?
False
Suppose 3*b - 42 = 78. Suppose 0 = 2*j + 2*j - b. Let x = j - -8. Is 12 a factor of x?
False
Suppose 1029 = 6*d + 15*d. Does 3 divide d?
False
Let p = -21 + 13. Is ((-44)/p)/((-4)/(-40)) a multiple of 14?
False
Let j(y) = -7*y - 2. Let f(b) = -b**2 - 9*b - 3. Let d be f(-8). Suppose 2*u + 8 = 4*u, -u = d*w + 6. Is 7 a factor of j(w)?
False
Suppose 0 = -2*i - 2*i + 56. Let j = -7 + i. Is j a multiple of 7?
True
Let n(h) = -h**3 - 4*h**2 - h + 2. Let u be n(-4). Let f be u/(-3 + 30/8). Is 14 a factor of (-123)/(-4) - 6/f?
False
Let d = -3 - -11. Let t(j) be the second derivative of j**3/6 + j**2 + 2*j. Is t(d) a multiple of 10?
True
Suppose 2*w - 3*j - 24 + 4 = 0, 5*w = -5*j + 100. Is 1/(-2) - (-1256)/w a multiple of 26?
True
Let t(m) = m**2 + 4*m + 3. Let g be t(-2). Let p = g + 10. Suppose q = -2*d + 41, p*d - 35 = -q + 4*d. Does 16 divide q?
False
Let i = 12 + 7. Does 12 divide i?
False
Suppose -3*h = -6*h + 18. Does 5 divide h?
False
Let k(j) = 13*j**2 - j - 10. Does 23 divide k(3)?
False
Let c be (-1 - -1 - -2) + 2. Suppose -2*f + 208 = -3*v - 0*f, 0 = c*v - 2*f + 274. Let j = -38 - v. Is j a multiple of 21?
False
Let v(z) = 4*z - 11. Does 21 divide v(8)?
True
Let x = -56 - 4. Let w be 6/(1 - -2) - x. Let i = -36 + w. Is i a multiple of 13?
True
Let l(q) be the first derivative of q**3 + 2*q**2 - 5*q + 2. Let g be l(4). Suppose 5*z + g - 7 = 4*i, 0 = -4*z. Is i a multiple of 12?
False
Suppose -5*t + 36 = -4*t. Does 12 divide t?
True
Let n(m) = -24*m. Let l be n(-1). Suppose -4*c + 32 = -l. Is c a multiple of 14?
True
Let z = -8 + 12. Suppose 63 = 3*o - r - 52, 0 = z*r - 8. Is o a multiple of 19?
False
Let l(i) = 5*i**3 - 4*i**2 - 26*i + 6. Let g(a) = a**3 - a**2 - 5*a + 1. Let c(d) = -11*g(d) + 2*l(d). Is 8 a factor of c(3)?
False
Let z be (-7)/14 - (-7)/2. Suppose 3*l = -0*w - z*w + 75, -5*w = -5. Is 12 a factor of l?
True
Let l = 6 - 4. Suppose 0 = -0*v + l*v - 10. Suppose 0 = -4*w - 5*s + 35, -s - 4*s + v = -2*w. Is 2 a factor of w?
False
Let n = 0 + 0. Let t = -4 + 7. Suppose t*r - 6 = 0, n = 2*k - 6*k + 4*r + 76. Is 15 a factor of k?
False
Is (-18)/(-5)*(304/12 + -2) a multiple of 10?
False
Suppose 7*n - 4*n = 6. Suppose -n*q = -5*i - 10, 0 = 4*q - i - 12 - 44. Is 8 a factor of q?
False
Suppose 384 = 4*z + 24. Is z a multiple of 10?
True
Suppose 3*i - 60 = -2*i. Suppose 2*p = -4*v - i, 0 = 5*v + 2 + 23. Suppose -d + 2 = -p. Is 3 a factor of d?
True
Let g(k) = -14*k + 4. Let v be g(-3). Suppose -4*p = -v - 18. Is 5 a factor of p?
False
Let r(v) = v**3 - 5*v**2 + 2*v - 4. Let i(l) = -3*l**3 + 16*l**2 - 6*l + 13. Let x(s) = 2*i(s) + 7*r(s). Is 6 a factor of x(4)?
False
Suppose 3*r + 36 = -9. Let v = r + 27. Is 3 a factor of v?
True
Let m be 138/(0 + 3) - 2. Let c = m + -28. Is c a multiple of 3?
False
Suppose 0*b = g - 2*b + 58, 5*b = -5*g - 215. Is g/(-4)*2/6 a multiple of 4?
True
Suppose 6 = -p + 133. Does 24 divide p?
False
Let p(x) = 2*x**2 - x. Let v be p(-1). Suppose -4*w + 3 = -v*w - 3*m, -m = 0. Suppose 0 = -3*i + 18 - w. Does 2 divide i?
False
Let s = -21 + -1. Let v be 2/(-1 - 1)*s. Let i = v - 3. Does 14 divide i?
False
Suppose 4 + 21 = -o. Let l be (-10)/o + (-1276)/(-10). Suppose l = 5*p + 3*v - 2*v, 5*p - 132 = v. Does 16 divide p?
False
Suppose 10 = -5*j - 0*j, 0 = 2*o + 5*j + 42. Let z = -7 - o. Does 9 divide z?
True
Let b be 38/8 - 2/(-8). Suppose b*x - 125 = -4*r + 15, 2*r = -x + 28. Does 20 divide x?
False
Let g(c) = 5*c - 23. Let w(x) = -x**2 + 6*x + 5. Let b be w(5). Is g(b) a multiple of 21?
False
Let l(s) = s**3 + 14*s**2 - s + 8. Is l(-14) even?
True
Suppose 0 = 2*a - a + 2. Let d be 2/a*0/(-1). Is 14 a factor of (-1 - d)/((-3)/84)?
True
Let s(l) = 5*l. Let p be s(-1). Let a(k) be the third derivative of -k**5/60 - 11*k**4/24 - 2*k**3/3 + 2*k**2. Is 13 a factor of a(p)?
True
Let o(q) be the third derivative of -q**4/24 + 5*q**3/6 + 2*q**2. Let c = -13 + 9. Does 7 divide o(c)?
False
Let x be 27/(-9) - 7*-1. Suppose -3*r + 27 = 3*z, z = 2*r - x - 2. Is r a multiple of 2?
False
Let v = -8 - -9. Suppose 0 = -4*d - 0*c - 2*c + 26, 0 = c - v. Is 6 a factor of d?
True
Suppose 2*b + 6*b = 264. Is 14 a factor of b?
False
Let z(i) be the second derivative of -i**4/12 - i**3/6 + 19*i**2/2 + 2*i. Let l = 12 + -12. Is z(l) a multiple of 15?
False
Let n = -41 + 69. Does 14 divide n?
True
Suppose 3*c + 42 = 4*c. Does 15 divide c?
False
Let b be (2/2)/(4/20). Suppose 0 = -0*g + b*g. Suppose g = -3*c - 19 + 55. Does 6 divide c?
True
Let k = 47 + -27. Is 9 a factor of k?
False
Let u = 4 + -6. Is u/(-6) - 70/(-6) a multiple of 4?
True
Suppose a - 728 = -3*a. Is 14 a factor of a?
True
Let i be 3/9*(0 + 6). Suppose 11 = -i*f + f. Let k = f + 17. Is k a multiple of 5?
False
Suppose -756 - 359 = -5*x. Suppose 122 + x = 5*i. Does 20 divide i?
False
Suppose 3*j + 294 + 192 = 0. Is (-8)/6*j/12 a multiple of 17?
False
Suppose -3*r - 90 = -4*k - r, 0 = k - 5*r - 36. Let s = -4 + -7. Let z = k + s. Is z a multiple of 10?
True
Let v(r) = 2*r**2 - 10*r + 4. Does 17 divide v(11)?
True
Let r = 7 - -25. Does 16 divide r?
True
Suppose -8*h - 30 = -9*h. Does 4 divide h?
False
Let r(n) = n**2 + 6*n - 7. Let x be r(-7). Let g(d) = -d + 34. Is g(x) a multiple of 17?
True
Let i(y) = 5*y - 13. Is i(7) a multiple of 6?
False
Let f = -4 - -14. Is 10 a factor of f?
True
Let a be (1 - 4)*(-4)/6. Let x be 4*a*3/(-2). Does 10 divide (-32)/x*30/4?
True
Let n = -9 + 8. Let d = 0 - n. Suppose -21 + d = -z. Is z a multiple of 10?
True
Let t = -10 + 13. Suppose -2*l - h = -20, -t*h = 2*l - 6*l + 40. Suppose l = -5*c + 115. Does 12 divide c?
False
Suppose -2*v - 97 = -3*l, 0*v - 142 = 3*v - l. Let g = -34 - v. Is g a multiple of 4?
False
Let w = 22 + -13. Does 3 divide w?
True
Let n = 3 - -3. Does 4 divide n?
False
Let h(q) be the third derivative of -q**4/8 + q**3 - 6*q**2. Is h(-6) a multiple of 8?
True
Suppose 0*p - 3*p = -24. Let x = -10 - p. Is 6*x/15*-5 a multiple of 18?
True
Let w(j) = j + 3. Let x be w(-6). Let b(o) = o**3 + 2*o**2 - 2*o + 1. Let m be b(-3). Is 6 a factor of 10 + (m + 2 - x)?
False
Let t(y) = 4*y**2 - y + 1. Let b be t(1). Does 9 divide b/24 + (-106)/(-12)?
True
Let s be -3 + 4 + 2 + -1. Suppose 15 = s*w + w. Suppose -o + 20 = -2*d, 0 = -w*o - 5*d + 4*d + 89. Is 13 a factor of o?
False
Let d be 107/2 + 42/(-28). Let j(o) = o - 27. Let c be j(0). Let s = c + d. Is s a multiple of 11?
False
Suppose -4*m - 5*c - 2 = -1, -3*c = 4*m - 1. Does 3 divide (0 + 1 + 2)*m?
True
Suppose -l - 1 = r, 3*r - l = 2*l + 27. Let w be r/(-12) + (-26)/(-6). Suppose -h = 2*o - 45, -4*h = -w*o + 118 - 10. Does 12 divide o?
True
Let j(s) = -3*s - 25*