ppose 2*r + 468 = 6*r. Suppose -m = -4*m + r. Does 13 divide m?
True
Let h = 10 - 8. Is 35 - h - (-1 - -2) a multiple of 16?
True
Let p(v) = v**2 + 5*v. Does 12 divide p(7)?
True
Does 8 divide (6 - 7)/(2/(-122))?
False
Let c(p) be the first derivative of -1/2*p**2 - 2 + 1/3*p**3 - 2*p. Does 14 divide c(-5)?
True
Suppose -p - 36 = 2*p. Let s(q) = -q**2 - 13*q + 8. Is s(p) a multiple of 20?
True
Suppose -2*c + 60 + 52 = -2*j, 0 = 3*c. Let o = j + 82. Is o a multiple of 13?
True
Let x(j) = j**3 - 6*j**2 - 10*j + 4. Let t be x(7). Let o = -5 - t. Is 12 a factor of o?
True
Let p = 108 - 56. Is p a multiple of 13?
True
Let f be 10/55 - 2042/(-22). Let u = -39 + f. Is u a multiple of 28?
False
Let x = -3 + 6. Let s be 10*x/(-18)*-3. Suppose -3*h - 34 = -n - s*h, 0 = -h - 1. Does 12 divide n?
True
Suppose -d = d + 6. Let x be (d - -2) + 0 - -9. Suppose -4*g + 4*l + x + 40 = 0, -28 = -2*g + 3*l. Is g a multiple of 8?
True
Suppose 0 = -3*z - 4*q + 2 + 1, -4*q - 4 = -4*z. Let k(m) = 18*m**2 + m - 1. Is k(z) a multiple of 5?
False
Let d = -30 + 65. Is 9 a factor of d?
False
Let y(c) = c + 14. Suppose -36 = 3*i + i. Is 2 a factor of y(i)?
False
Let b(u) = -u**2 - 7*u + 6. Let y be b(-7). Is (y/(-9))/(2/(-198)) a multiple of 25?
False
Let b = 0 - -6. Is b a multiple of 2?
True
Let p be 6 + (-1)/(2/(-2)). Let n(o) be the third derivative of -o**6/120 + 7*o**5/60 + o**4/8 + o**3/6 + 4*o**2. Is n(p) a multiple of 9?
False
Let i be 20/(-6)*(-6)/5. Suppose -3*h - 27 = -i*a, -h - h - 10 = 0. Suppose 0*r + a*r - 36 = 0. Is r a multiple of 6?
True
Let a(j) = j**3 + 9*j**2 - j + 5 - 5*j**2 + 0*j**3 + 8*j**2. Let z be a(-12). Let c = z - 8. Does 3 divide c?
True
Suppose -80 = -4*h + x, 42 = 5*h - 3*h - x. Suppose -5*i + 2*d + h = -2*d, -15 = -5*i + 5*d. Is i a multiple of 7?
True
Let h = 910 - 621. Is 17 a factor of h?
True
Let u(x) = -x**3 + 4*x + 3. Let q be u(-2). Let y be (-1)/q*(-14 - 1). Suppose -2*h + 31 = y*k, 2*k + 2*h - 3 = 13. Does 3 divide k?
False
Let a(b) = -4*b**3 + 2*b**2 + 5*b + 7. Let q(o) = 3*o**3 - 3*o**2 - 6*o - 7. Suppose -1 = f - 6. Let y(v) = f*q(v) + 4*a(v). Does 8 divide y(-6)?
False
Let h(j) = 2*j**3 + j**2 - j - 1. Let m be h(2). Suppose 2*x + 5*w + m = 4*w, 0 = -2*x + 5*w - 23. Let d = 13 + x. Is d a multiple of 4?
True
Let q(c) = -c + 2. Let l be q(4). Is 17 a factor of (6 - 2)*(-17)/l?
True
Let h = -4 + 8. Does 2 divide h?
True
Let u(k) = -2*k + 29. Is 6 a factor of u(0)?
False
Let r(i) = 4*i**3 + 5*i**2 + i - 5. Let z(d) = -5*d**3 - 6*d**2 - d + 6. Let v(g) = -4*r(g) - 3*z(g). Is v(-5) a multiple of 17?
False
Let o be 1*(-2 + (1 - -1)). Let y = o - -4. Suppose 53 - 5 = y*s. Is 4 a factor of s?
True
Let u be ((-12)/18)/(2/(-78)). Is 2*u - (-8 - -8) a multiple of 13?
True
Let s(o) = -o**3 + 8*o**2 - 5*o + 2. Is 11 a factor of s(6)?
True
Let x(p) = -2 - 2 + p - p**3 + 7*p**2 + 3*p. Let o be x(6). Suppose -8 = 2*y - o. Is 12 a factor of y?
True
Suppose 5*v + 3 = -j, j + 0 = -4*v - 3. Suppose v*c = -5*c + 20. Suppose 4*y + c*h = 56, y = -y + 3*h + 3. Is y a multiple of 7?
False
Let s = 6 - 2. Suppose 5*k + 4*q = 55, -s*q + 34 = 4*k - 2*k. Is 7 a factor of k?
True
Suppose -45*j + 37*j = -608. Is j a multiple of 19?
True
Does 34 divide (-1368)/(-20) - 2/5?
True
Let t be (50/15)/((-2)/(-3)). Suppose -h = t*c - 199, h = -5*c + c + 159. Suppose -2*x + 36 = 4*r, 2*r = -3*r - 5*x + c. Is 4 a factor of r?
False
Suppose 4*h - 8*h = -16. Suppose -6*k - 2 = -2*q - h*k, -5*q + k = 11. Let p = 10 + q. Does 5 divide p?
False
Let v = 24 + -35. Let u = 6 - v. Is 10 a factor of u?
False
Let o(w) = 3*w**2 + 3*w. Let k(l) = 2*l**2 + l. Let u(z) = -5*k(z) + 3*o(z). Let n be u(3). Suppose -5*y + 25 = -5*r, -n*r + 5 = 2*y - 20. Does 4 divide y?
True
Suppose 0*y - 4*y = -168. Does 14 divide y?
True
Suppose -t + 10 = -2. Let f = t + -9. Suppose -2*p + 50 = f*p. Is 5 a factor of p?
True
Let x(q) = -q**3 + 8*q**2 + 6*q - 2. Suppose -4*s + 38 - 6 = 0. Does 13 divide x(s)?
False
Suppose 6*b - 10*b = -20. Does 2 divide 26/b + 2/(-10)?
False
Suppose -5*t = 5*j - 310, 22 = 3*t + 7. Let a = -8 + j. Suppose 81 + a = 5*v. Does 13 divide v?
True
Suppose -u + 11 = j, j + j = -5*u + 46. Let q be 5/20 + 998/u. Suppose -2*s = 3*s - q. Does 12 divide s?
False
Let h(q) = 5*q**3 - 9*q**2 - 7*q - 9. Let d(u) = u**3 - u - 1. Let p(k) = -6*d(k) + h(k). Is 2 a factor of p(-9)?
True
Let n(w) = 2*w**3 - 4*w**2 - 3. Let f be n(3). Suppose c + 3*c + 12 = 0, -3*y = -3*c - f. Is y even?
True
Let r be (-9)/6*210/(-9). Suppose 5*o = 5*v - 55, r = v + o + 4*o. Does 5 divide v?
True
Let v(z) = -5 - z + 31*z**2 + 3 + 1. Does 17 divide v(-1)?
False
Let z(b) = -b**2 - 8*b + 4. Let l(x) = 2*x + 3. Let j be l(-5). Is 11 a factor of z(j)?
True
Let n(w) = -22*w + 7 + 2*w - 2. Let m be n(-5). Suppose -6*p = -p - m. Is p a multiple of 21?
True
Let m(c) = 34*c**3 + 2*c**2 - c. Let w = 2 - 1. Let h be m(w). Suppose -h + 4 = -a. Is a a multiple of 13?
False
Let m be (-3)/(1 + 2)*0. Suppose m = -3*t - 4 + 10. Is 2 a factor of t?
True
Suppose n + 15 = -4*n, 5*h - 339 = 3*n. Does 22 divide 24/(-9)*h/(-4)?
True
Suppose 0 = -r + 6 - 0. Is 3 a factor of r?
True
Suppose 4*d = -i - 0*i - 34, -4*d + 2*i - 40 = 0. Let p = d - -21. Does 12 divide p?
True
Suppose -3*g - 4*d - 15 = -6*g, 4*d = 0. Let i(p) = 4*p + 1. Is 21 a factor of i(g)?
True
Is 8 a factor of (-28)/6*42/(-4)?
False
Let s = 0 + -3. Let x = s + 14. Is 11 a factor of x?
True
Let v = 91 - -129. Is v a multiple of 44?
True
Let s(q) = -q + 11. Let d be s(7). Suppose d*v = -8, -2*v = -4*b - v + 50. Suppose b = 3*x - 9. Is 4 a factor of x?
False
Let a be (-79)/7 - 16/(-56). Let v = 19 + a. Is v a multiple of 5?
False
Let p = 67 + -10. Is p a multiple of 19?
True
Let d(u) = -u**2 - 9*u - 9. Suppose 5*z = 20, -o - 8*z + 10 = -4*z. Does 9 divide d(o)?
True
Suppose 15 = -b + 4*b. Suppose -b*q - 2*x + 136 = 0, 3*q = 2*q + x + 23. Is 13 a factor of q?
True
Suppose 3*u - 3*v - 5 = 4, -27 = -5*u - v. Suppose 0 = u*a - 191 - 34. Does 15 divide a?
True
Let i(s) = 10*s - 3. Is i(2) a multiple of 17?
True
Let z = 6 - 3. Suppose 3*k - z = -0*k. Is (35/(-7))/(k/(-9)) a multiple of 12?
False
Let t be -5*2/4*-2. Suppose t*w + 117 = 12. Is 3 a factor of (-4)/14 + (-132)/w?
True
Let q(x) = x**3 - 6*x**2 + 8*x - 3. Is q(6) a multiple of 45?
True
Let s(b) = -37*b**3 - b**2 - 2*b - 1. Let w be s(-1). Suppose 36 = -4*d + 2*j - 136, d + j = -w. Let i = d + 95. Is i a multiple of 22?
False
Let m(l) = 2*l**2 + l - 7. Let r be m(-7). Does 14 divide (9/27)/(2/r)?
True
Let g(k) = k**2 - k - 1. Suppose 0*x - x = 0. Let y be g(x). Is 12 a factor of (36/(-3) + -1)*y?
False
Is 10 a factor of (-153)/6*(-4)/2?
False
Let t be (-538)/(-6) + (-1)/(-3). Let h = 129 - t. Does 19 divide h?
False
Let w(u) = -u**3 + 13*u**2 - 17*u - 14. Is 18 a factor of w(11)?
False
Let l = 17 + -13. Is l a multiple of 3?
False
Let y(x) = x**3 - 2*x**2 + 2*x - 4. Is 5 a factor of y(4)?
False
Does 18 divide (46*9/(2 - 5))/(-2)?
False
Suppose 300 = 8*p - 4*p. Does 5 divide p?
True
Let f(v) = -v**2 + 6*v. Let l be f(8). Let q = 48 - 11. Let b = l + q. Does 14 divide b?
False
Let r = 11 + -4. Let y = -3 + r. Is y a multiple of 3?
False
Suppose -3*y + 20 - 5 = 0, 0 = -5*u + 4*y. Is (u + 1)/(9/72) a multiple of 8?
True
Suppose c - 2*o - 2*o - 1 = 0, 0 = -2*c + 5*o + 5. Suppose -4*n = c*y - 475 - 45, -3*y + 5*n = -312. Suppose y = 4*p - 0*p. Does 10 divide p?
False
Let r(v) = -v**3 + 0*v + 2*v**2 + v**2 + 2*v + 1 + v**2. Does 9 divide r(4)?
True
Suppose 4*b - 35 = -d, -d = -5*b - 8 - 9. Is d a multiple of 7?
False
Let w be 10 - (8/(-2))/(-4). Suppose -n = 3*y - 25, 0 = y + 4*n - w*n - 35. Is y a multiple of 10?
True
Let h = 13 + 24. Is h a multiple of 13?
False
Let b(v) = v**2 + 6*v. Let r be b(-6). Let n = 30 - -45. Suppose -u = -2*u + 5*j + n, r = -j - 4. Does 15 divide u?
False
Let w(g) = -g**2 - 7*g - 3. Let x be w(-6). Suppose -l + f + 94 = 0, l - 370 = -x*l - 2*f. Is 11 a factor of (-4)/(-10) + l/5?
False
Suppose 0 = -4*r + 3*k + 11 - 1, 3*r = k + 5. Is 12 a factor of 1 + r/(1/47)?
True
Suppose -5*x - 19 = 1. Let u(w) = -2*w - 3. Let b be u(x). Suppose 4*g - 4 = 0, -b*c - 7*g + 95 = -2*g. Is 9 a factor of c?
True
Let y(c) = 11*c**3 - 3*c**2 + c + 4. Does 21 divide y(2)?
False
Suppose 2*o + 3*o = -55. Let g = 2 +