ose 4*o - l = 28. Let d = o - -6. Is d a multiple of 12?
False
Suppose 3*k = 2*k + 6. Suppose 2*p = k*p. Suppose -5*r + 0*r + 130 = p. Is r a multiple of 8?
False
Let w = -4 + 7. Suppose w + 1 = 2*q. Suppose 16 = 4*j, 0*x + 2*x - 60 = -q*j. Does 11 divide x?
False
Suppose -2*l + 850 = -22*c + 17*c, 0 = -4*c. Does 45 divide l?
False
Let z(o) = 3*o**2 + 2*o + 2. Let t be z(-2). Suppose -6*l = -t*l + 312. Does 8 divide l?
False
Let l(r) = -r**3 + 7*r**2 - 18*r - 4. Is l(-10) a multiple of 77?
False
Let c = -9 + 9. Suppose -u + 3*q - 30 = 4*q, c = 5*u + q + 162. Does 5 divide (-583)/u + (-4)/6?
False
Let j(h) be the first derivative of 37*h**4/6 - h**2/2 - 2*h + 7. Let p(m) be the first derivative of j(m). Does 20 divide p(1)?
False
Let x = 819 + -577. Does 32 divide x?
False
Let f(z) = -2*z**2 + 37*z - 7. Let k = 136 - 121. Is 21 a factor of f(k)?
False
Suppose 5*t = -j + 3*j + 29, 0 = -5*t + 5*j + 35. Let s(c) = 3*c - 3*c**3 + t*c**2 + 2*c**3 + 2*c - 2*c. Is s(4) a multiple of 21?
False
Let y be ((-2)/(-4))/((-2)/(-252)). Suppose -2*u - 3*n = -46, 5*u + 5*n + 10 = 130. Let k = y - u. Is 20 a factor of k?
False
Suppose -3*x = 3*u - 33, 0 = u + 1 - 0. Suppose -39 = 16*y - 3*y. Let o = y + x. Does 3 divide o?
True
Suppose 4*m - 163 = -3*c, -3*c + 69 = -2*c + 5*m. Suppose -10 = -2*u, 93 = 5*t + 4*u - 32. Let v = c - t. Is v a multiple of 8?
False
Suppose 5*c = -4*l + 32, -l + 4*l + 4*c = 25. Is 1/1*(39 + l) a multiple of 14?
True
Let u be 5 + -8 - (-3)/(-3). Let k(w) = -w**2 - 6*w - 3. Let t be k(u). Suppose -6*c = -3*c - 3*j - 15, 2*c + t*j = 3. Is 4 a factor of c?
True
Let t = -47 + 29. Let p = 34 + t. Is p a multiple of 8?
True
Suppose -5*j = 9 - 49. Suppose -j*b - 78 = -11*b. Let f = -8 + b. Is 12 a factor of f?
False
Suppose 16*r = -7*r - 2369. Let j = 212 + r. Is j a multiple of 65?
False
Let x(k) = 7*k**2 + 1. Suppose 5 = -4*n + 29. Let t(h) = 13*h**2 + 3. Let b(v) = n*t(v) - 11*x(v). Is 16 a factor of b(5)?
True
Let k(g) = g**3 - 5*g**2 + 2*g - 6. Let y be k(5). Suppose 5*i = -0*w + y*w - 41, 11 = -w - 3*i. Suppose -w*d + 9 + 51 = 0. Is 5 a factor of d?
True
Let j(o) = -o**3 + 19*o - 15 + 6*o**2 + 9*o**2 - 15. Is 18 a factor of j(16)?
True
Let y = 41 - 32. Let n(r) = -2 + r**2 + 3*r**2 - 3*r - 3*r**2. Does 13 divide n(y)?
True
Suppose b - 408 - 140 = 0. Let y = b - 330. Let o = y + -145. Is 26 a factor of o?
False
Suppose 194 = -3*v + 2*l, 4*v + 268 = -0*v - 2*l. Let n = v - -128. Does 3 divide n?
False
Suppose -3*d + 5*i = -8*d + 2620, 3*d = 2*i + 1587. Is d a multiple of 31?
True
Suppose 7*w = 32 - 4. Suppose 32 = 6*t - 4*t + w*p, -4*p = -4*t + 112. Is 8 a factor of t?
True
Let g(t) = 8*t - 44. Let p be g(7). Does 8 divide (-32)/(-12)*p + (-6)/3?
False
Let h(s) = -2*s + 8. Let a(z) = -z**3 - 6*z**2 - 6*z - 2. Let p be a(-4). Is 4 a factor of h(p)?
True
Suppose 0*c - 6 = 3*c. Suppose 0 = -0*x + 2*x + 5*m - 345, -4*x + 635 = -m. Is c/9 + x/72 even?
True
Let r = 636 - 572. Is r a multiple of 8?
True
Let f be 166/(-18) + 4/18. Let c = 21 + f. Is 4 a factor of ((-66)/9)/((-4)/c)?
False
Suppose -280 = 41*x - 46*x. Suppose 3*m - 6*m = -3*h + 24, x = 3*h + 5*m. Is h a multiple of 6?
True
Let w(s) = 7*s**2 + 7*s + 12. Let p(v) = -6*v**2 - 7*v - 13. Let h(f) = -5*p(f) - 4*w(f). Is h(-4) a multiple of 20?
False
Suppose -3*l - 3*y + 4251 = 0, -2*l + 15*y - 19*y + 2830 = 0. Is 33 a factor of l?
True
Let r(o) be the first derivative of o**2/2 - o - 1. Let q be r(3). Is 11 a factor of ((-9)/(-18))/(q/88)?
True
Let x be 2/(((-4)/78)/(-1)). Suppose 0 = -5*c - 4*l + 200, -c - l + 0*l + x = 0. Does 22 divide c?
True
Let h be (-6 - -5)/(3/(-6)). Let o be h - (2 + (-3)/1). Is 11 a factor of ((-39)/2 + o)*-2?
True
Let j(q) = 6*q**3 - 19*q**2 + 4*q - 1. Let f(x) = 4*x**3 - 13*x**2 + 3*x - 1. Let s(y) = -7*f(y) + 5*j(y). Let c be -1 - -3 - 1 - -2. Is 7 a factor of s(c)?
False
Let s = 863 + -688. Is s a multiple of 25?
True
Suppose 0 = -24*l + 758 + 1882. Is 22 a factor of l?
True
Let x be (3 + (-11 - -6))/(4/(-30)). Let w = x - 1. Is 3 a factor of w?
False
Let l(d) = -d**3 - 9*d**2 - 11*d - 10. Let a be l(-11). Let t = a + -179. Is 16 a factor of t?
False
Let r(s) = 2711*s**2 + 3*s + 1. Is r(-1) a multiple of 21?
True
Suppose 0*f = 3*f. Let b = 3 - f. Is 3 a factor of b?
True
Let t = -1091 + 2027. Is t a multiple of 72?
True
Let u(n) be the first derivative of -n**3/3 + 5*n**2/2 - 3*n + 3. Let i be u(3). Suppose q = 5*j - 2 + 18, 6 = -i*j. Is 2 a factor of q?
True
Suppose -2*p = w + 4*w + 25, 0 = -5*p - 25. Is 4 a factor of w + 177/9 - 8/12?
True
Suppose 5*k - 2*k = -9, -3*k + 39 = 4*u. Suppose 0 = -2*f + u + 32. Does 5 divide f?
False
Let y(q) be the second derivative of -q**3/3 + 3*q**2/2 + 8*q. Let d be y(-12). Let w = d - -14. Is w a multiple of 15?
False
Let z be 6/30 + (-1358)/(-10). Suppose 25 = -k - 2*s + 62, -4*k = 4*s - z. Let h = 53 - k. Is 22 a factor of h?
True
Let h(l) = -l**3 - 6*l**2 + 3. Let j be h(-6). Let c(b) = b**2 - b + 2. Let s be c(7). Suppose -o - j*o = -s. Is o a multiple of 6?
False
Let w(r) = 20*r**2 + r. Let b be w(2). Suppose 5*k - 357 = -b. Suppose -v - 5*x - k = -2*v, 2*v - 75 = 3*x. Is v a multiple of 6?
True
Let j = 84 - 122. Let m = j - -70. Is 266/3 + m/24 a multiple of 16?
False
Let t be 0 - (6 - 3 - 5). Let b be ((-13)/2)/(t/(-4)). Let p = 27 - b. Does 4 divide p?
False
Let y(t) = -t**3 + 7*t**2 - 2*t + 16. Let b be y(7). Suppose -b*q + 8*q = 72. Is q a multiple of 3?
True
Suppose 0 = 14*k - 803 - 765. Does 28 divide k?
True
Let w(h) = -6*h**2 - 2*h + 1. Let v be w(-3). Let o be 0 + 0 + 0 - v. Suppose 0 = -3*a - 4*t + 151, 0*a + 3*t = -a + o. Does 18 divide a?
False
Let f = 106 - 154. Let r = 59 - f. Is r a multiple of 9?
False
Let t = -269 - -38. Let g = t + 333. Is g a multiple of 34?
True
Let l(n) = -n**2 + 21. Let t be l(-5). Is 116 - (t/22 - (-9)/(-11)) a multiple of 19?
False
Let q = 206 - 84. Let l = -80 + q. Is l a multiple of 14?
True
Suppose c = -3*n + 347, 75 = n - c - 38. Does 5 divide n?
True
Does 15 divide 2596/(-110)*25/(-2)?
False
Let s = -145 + 253. Is s a multiple of 12?
True
Suppose 33*a - 21*a = 840. Is 7 a factor of a?
True
Suppose -6*o + 3525 = -22215. Is o a multiple of 110?
True
Suppose 2*z + 7 = -4*l + 3*z, 3*z = -5*l - 13. Is (l/(-7))/(2/14) a multiple of 2?
True
Let s = 17 + -14. Suppose 3*v = 3*u - 12, 4*v - 41 = -5*u - s. Let z = 1 + u. Is z a multiple of 3?
False
Suppose 3*d + 20 = -40. Let i = -16 - d. Suppose 124 = 3*p + i. Does 10 divide p?
True
Suppose -g = 3*g - 64. Let f(m) = 19*m - 4 - g*m + 6*m. Does 10 divide f(6)?
True
Suppose 2*g + 3 = 3*g, 0 = 3*v + 3*g - 5058. Does 11 divide v?
True
Let x(d) = -d + 44. Is 19 a factor of x(6)?
True
Suppose -11001 = -7*o + 2*g, -22*o + 4*g = -20*o - 3126. Is 54 a factor of o?
False
Let k(o) = -o**2 - 9. Let g be k(0). Does 7 divide (-2)/2*(-2 + g)?
False
Let q(i) be the first derivative of -i**3/3 + 16*i**2 + 7*i - 9. Let f(s) be the first derivative of q(s). Is 11 a factor of f(0)?
False
Let z be (5 + -2 + 7)/2. Suppose -s = 2*s - 2*k - 17, -5*s = -z*k - 30. Suppose -s*b + 152 = -b. Does 10 divide b?
False
Let u be ((-7)/21)/(1/(-6)). Suppose -5*c + u = -4*c. Does 7 divide (3 - 4)/(c/(-14))?
True
Let t = 14 + 281. Is 5 a factor of t?
True
Let t(r) be the second derivative of -r**3/3 + 11*r**2 - 3*r. Is 11 a factor of t(0)?
True
Suppose 115 = s - 2690. Is 11 a factor of s?
True
Does 4 divide 153 + -10 + (4 - 1)/3?
True
Let a(t) = -t**3 - 7*t**2 + 6*t - 11. Let o be a(-8). Suppose 0 = -7*y + o*y. Suppose 175 = 5*p - m, 4*p - 154 = -y*p - 2*m. Does 6 divide p?
True
Suppose -30 = 2*c - 2*m, -78 + 26 = 3*c + 4*m. Is 28 a factor of -2*1*2648/c?
False
Is ((-84)/14)/((-3)/33) a multiple of 33?
True
Let r(y) = 147*y - 33. Is r(8) a multiple of 118?
False
Suppose 108*h - 109*h = -189. Is h a multiple of 27?
True
Let z(v) = -25*v - 61. Is 3 a factor of z(-5)?
False
Suppose 63*j = 30*j + 18909. Is 9 a factor of j?
False
Is (-9159)/(-172) - ((-9)/(-4) - 2) a multiple of 17?
False
Does 22 divide -4 - 546/(-143) - (-3392)/22?
True
Does 59 divide (-2 - -788) + (7 - 11)?
False
Suppose -5*v + 4839 = -9176. Is 36 a factor of v?
False
Let h = -8 - -11. Let d(v) = v - 2. Let k be d(h). Is 5 a factor of (4 - k)/3 - -24?
True
Let k(i) be the first derivative of i**4/8 