Is h a multiple of 20?
False
Let p(m) = -m**3 - 6*m**2 - 3. Let r be p(-6). Let s be 3 + -1 + (r - 2). Does 7 divide (14/s)/((-4)/6)?
True
Suppose 10*u - 11*u = -5. Does 3 divide u?
False
Let r(o) be the second derivative of -1/12*o**4 + 1/2*o**2 + 0 - o + 1/20*o**5 - 1/6*o**3. Is r(3) a multiple of 12?
False
Let g(p) = 6*p**2 - 8*p - 24. Does 44 divide g(-6)?
False
Suppose 6 = w - 9. Is w a multiple of 5?
True
Let t = -1 - -1. Suppose t = 2*u - 9 - 15. Suppose -4*d - 4 = -u. Is 2 a factor of d?
True
Let p(b) = 168*b**3 - b + 1. Is 29 a factor of p(1)?
False
Let l = 0 + 2. Does 14 divide (l - -44)*1/2?
False
Suppose 5*d = -4*f + 19, -4*d = 4*f - f - 14. Let z(y) = -3*y - 4 - y**3 + 5*y**2 + y**2 + 4*y. Is z(f) even?
True
Let z(c) be the second derivative of -c**3/3 + 5*c**2/2 + 2*c. Let t be z(6). Let m(l) = l**2 + 7*l + 10. Is 8 a factor of m(t)?
False
Suppose -3*i + 7*f + 34 = 2*f, -13 = 4*i + 5*f. Suppose -q - i*o + 4 = -3, 2*o = q - 32. Does 17 divide q?
False
Let t(k) = -k**2 + 8*k + 6. Let l be t(8). Suppose -6 = -3*y + l. Suppose y*r = -r + 40. Is 5 a factor of r?
False
Let w(b) be the first derivative of -b**3/3 + b**2/2 + b + 2. Let n(g) = -3*g**2 - 6*g. Let s(i) = n(i) - 2*w(i). Does 14 divide s(-4)?
True
Let k(n) = -2*n + 14. Let j(q) = q**2 + 14*q + 10. Let u be j(-12). Does 14 divide k(u)?
True
Let m = 35 - 49. Is m/4*3*-2 a multiple of 8?
False
Let u(o) = o**3 - 2*o**2 - 3*o - 4. Let i be u(3). Let s(v) = 3*v**3 - v**2. Let a be s(1). Is 8 a factor of a + i/((-8)/42)?
False
Let w = 104 - 100. Is w a multiple of 2?
True
Suppose 0 = -n + 5. Suppose -n - 3 = -4*j. Suppose 3*z - 58 = j. Does 10 divide z?
True
Suppose -3*h + 318 - 84 = 0. Does 11 divide h?
False
Suppose 420 = 5*w + 5*o - 4*o, -2*o - 435 = -5*w. Suppose -h = -3, -s + 0*s = 5*h - w. Does 12 divide s?
False
Suppose 0 = 5*m - m. Suppose m*i - 3*i = -3*z + 108, -3*z + i + 102 = 0. Is z a multiple of 21?
False
Let j(y) = -3*y**2 + y**2 + 3*y**2 + y - 4*y + 2. Let k be j(3). Suppose -w = k*c - 16, 4*w = -8 - 0. Is c a multiple of 4?
False
Suppose -7*v + 6*v = -20. Is 2 a factor of v?
True
Is (-302)/((-5 - 0) + 4) a multiple of 39?
False
Suppose 6*f = f + 1440. Is ((-14)/(-8))/(12/f) a multiple of 21?
True
Let x(d) = d**3 - 3*d**2 - 7*d + 6. Let r be x(4). Let w be (-2)/(-6) - (-56)/r. Is (-58)/(-6) + (-3)/w a multiple of 4?
False
Let q(a) be the first derivative of 0 + a - 1 + a**2 + 3*a**2. Is q(1) a multiple of 9?
True
Let h = -4 - -7. Suppose h*r = 3*k - 291, 5*k - 4*r = 499 - 16. Is k a multiple of 28?
False
Suppose 5*v + 103 = 418. Let l = 97 + v. Suppose 5*m - l = 5*k, -k - 29 = -2*m - 6*k. Is 11 a factor of m?
False
Let o = 17 + -1. Let i = o - 8. Does 4 divide i?
True
Suppose 2*f - 4*n - 268 = 0, 2*n - 400 = -3*f + 6*n. Is f a multiple of 22?
True
Suppose r - 27 = -5*a, a = -3*r + r + 45. Is r a multiple of 4?
False
Let p = -8 + 29. Is p a multiple of 16?
False
Let r = 109 + -36. Let p = r - -45. Suppose 4*w - 16 = 0, -5*y + p = 4*w + 12. Does 9 divide y?
True
Let l = -14 + 18. Let f(v) = 7*v + 4. Is f(l) a multiple of 16?
True
Let o = 11 - -23. Is o a multiple of 17?
True
Let f = -18 - -70. Is f a multiple of 14?
False
Let l = -24 + 28. Suppose y - g = -4*g + 58, y - l*g - 93 = 0. Is y a multiple of 18?
False
Let r = -13 - -23. Let x be 48/(-15)*-1*r. Let c = 4 + x. Is c a multiple of 14?
False
Let n(r) = r**3 + 3*r**2 - 2*r - 3. Let w be n(-3). Let y be w + (0 - 2) - -3. Suppose -y*h + 92 = -3*t - 53, h - 5*t - 32 = 0. Is h a multiple of 24?
False
Let x(r) = r - 6. Let d be x(5). Let z be 5/d*-1*9. Let c = z - 25. Is 10 a factor of c?
True
Let k(p) = p**2 + 6*p - 11. Let f be k(-8). Suppose -f*l = r - 4*r + 83, 0 = 2*l - 4. Is r a multiple of 13?
False
Let u(p) = 24*p - 2. Let s be (3 - 3 - 2)/(-2). Is 22 a factor of u(s)?
True
Suppose 5*v - 516 - 229 = 0. Does 33 divide v?
False
Suppose -5 = -4*f + 7. Suppose -f*g = 150 - 456. Suppose 4*j = j + g. Is j a multiple of 17?
True
Suppose 0 = -o + 2*o - 1. Let n(h) = 27*h + 1. Is 14 a factor of n(o)?
True
Let q(g) = 5*g + 20. Is 4 a factor of q(0)?
True
Let i(p) = -p**3 - 3*p**2 - 2*p - 1. Let d be i(-2). Is d + (-2 - -9) - 0 even?
True
Let n(f) = -2*f**3 - 9*f**2 - 5*f - 2. Is n(-5) a multiple of 7?
False
Let q be (4/8)/((-1)/(-158)). Suppose 5*v - 86 = q. Is v a multiple of 10?
False
Let r = 155 + -107. Does 24 divide r?
True
Is 15 a factor of ((-30)/(-1))/((20/24)/5)?
True
Let o(l) = -l**2 - 14*l + 14. Is o(-10) a multiple of 9?
True
Let d = 141 - 88. Is 4 a factor of d?
False
Let x(l) be the second derivative of -l**5/20 - l**4/2 - 7*l**3/6 - 2*l**2 - 3*l. Let r be x(-5). Suppose -r*q = -3*q - 42. Is q a multiple of 7?
True
Let r = 113 - -11. Does 28 divide r?
False
Let v be (-4)/22 + 1062/33. Let b = 23 - v. Let d = -1 - b. Does 4 divide d?
True
Let b = -1 + 1. Suppose 3*s - 12 + 0 = b. Is s a multiple of 4?
True
Suppose 2 = -u + 5. Does 14 divide (-12)/(-8)*(25 + u)?
True
Let m(a) = 2*a + 2. Let p(b) = -b**3 - 5*b**2 + 6*b + 2. Let s be p(-6). Suppose z + 3*z = -5*y + 8, -4 = -s*z + 5*y. Is 3 a factor of m(z)?
True
Let n(a) = a**2 - 6*a. Let o be n(6). Suppose -4*j = -3*v - o*v + 23, 2*v - j = 12. Is v even?
False
Let r be 1/4 - (-5)/(-20). Let s be (r/1)/(5/5). Suppose s = -4*u + 68 + 32. Is u a multiple of 15?
False
Let h be 1/((-1)/2)*-1. Let p(k) = k - 2. Let g be p(h). Suppose a - 2*a + 13 = g. Is 13 a factor of a?
True
Suppose -10*r + 18*r = 536. Is r a multiple of 28?
False
Suppose -20 = -2*p - 2*p. Let v = 7 - p. Let i = 12 - v. Is 6 a factor of i?
False
Let q = 889 + -500. Does 48 divide q?
False
Let r = 17 - 91. Suppose 5*w = 2*b - 175, 5*w - b + 14 = -166. Let u = w - r. Does 15 divide u?
False
Suppose -164 = -4*c + 76. Is c a multiple of 20?
True
Let h = 41 + -5. Is h a multiple of 12?
True
Let i = -2 + 3. Is (20/3)/(i/6) a multiple of 20?
True
Let a = -2 + 2. Suppose h + h - 12 = a. Suppose 4*p = p - 2*z + h, 12 = -4*z. Does 4 divide p?
True
Let d(r) = -r**2 + 11*r + 3. Does 7 divide d(9)?
True
Let t be (-6)/33 + 168/(-44). Let r = 6 - t. Does 10 divide r?
True
Is (-1)/4 - 267*(-6)/8 a multiple of 50?
True
Suppose 0 = -l - 3*p - 34 + 97, -3*l + 199 = -p. Is 21 a factor of l?
False
Suppose 0 = -u + 13 + 17. Is 30 a factor of u?
True
Is (5/(-3) + 1 - -4)*3 a multiple of 9?
False
Let c(o) be the first derivative of o**3 + o**2/2 + o + 10. Does 31 divide c(3)?
True
Let m(y) = y + 13. Let b be m(-6). Let f(i) = 6 + b*i - 4*i + i. Is 12 a factor of f(5)?
False
Let l = -40 + 28. Let v(r) = -r**3 - 12*r**2 - r + 5. Is 5 a factor of v(l)?
False
Let o(c) = -20*c + 1. Let m = 8 - 9. Is o(m) a multiple of 7?
True
Let k(r) = -r**2 - 4*r - 3. Let u be k(-3). Let t = 57 + -37. Suppose u = n - 4 - t. Is n a multiple of 12?
True
Let k be 2*(-3 - -2)*-4. Suppose 0 = -5*t - 2*y + k + 4, 0 = -3*t + 5*y + 1. Does 16 divide t + (-96)/(6/(-2))?
False
Suppose 0 = 3*b - 3*j - 21, 3*j + 17 = b + 4. Suppose -9*v = -b*v. Suppose w = -2*r + 3*w + 22, v = 2*w + 2. Does 7 divide r?
False
Let n(c) = c + 4. Let s be n(-10). Is s/(-21) + 164/14 a multiple of 5?
False
Let b be ((-2 - -10) + 2)/2. Suppose 0*v + 4*v = b*r - 86, -3*r - v = -38. Suppose 26 = 4*i + 4*j + j, -r = -5*i + 3*j. Does 4 divide i?
True
Suppose 3*i + 42 = -0*i. Does 12 divide i/(-1) - (6 - 8)?
False
Let z = 64 + 45. Is z a multiple of 15?
False
Let x = 3 - 1. Suppose -x*s = s - 72. Does 8 divide s?
True
Let a be ((-108)/(-7))/((-2)/(-14)). Suppose -2*y + a = 2*y. Is y a multiple of 14?
False
Let q = -11 - -57. Is 10 a factor of q?
False
Let o(h) = -h + 2. Let w be o(-6). Suppose -7*a + 3*a - r + 262 = 0, 0 = 4*r + w. Suppose 0 = -5*n + 3*j + 110, 2*n + 2*j - a = -n. Is 11 a factor of n?
True
Suppose 0 = -3*n - 3*d - 2*d + 500, -d + 804 = 5*n. Does 20 divide n?
True
Suppose -3*m = -4*g - 6, 2*g = -0*g. Suppose m*p + 6 = 30. Does 5 divide p?
False
Let m = 6 - 4. Suppose 3*d + m = 32. Is 8 a factor of d?
False
Suppose 0 = -2*y + 4, 4*y - 20 = q - 3*q. Suppose -q*w + 172 = -w - 2*v, -3*w + 99 = 3*v. Is w a multiple of 17?
True
Let g(v) = v**3 + 7*v**2 + 6*v + 5. Let o be g(-6). Suppose -o*x + 5 - 10 = 3*d, -2*d = -2*x - 18. Is 8 a factor of x/(-18) - 210/(-27)?
True
Let o(l) = 17*l**2 + 14*l + 4. Let r(w) = -6*w**2 - 5*w - 1. Let f(c) = 3*o(c) + 8*r(c). Does 12 di