 2821 - 2010. Does 12 divide o?
False
Suppose 2194 = 5*g - 1041. Is 11 a factor of g?
False
Let s(x) = x**3 + 2*x**2 - x + 42. Suppose -5*m - 15 - 5 = 3*w, 3*m = 4*w - 12. Does 42 divide s(w)?
True
Let h be -27 - (-4 + (5 - 1)). Suppose 2*r - 2*l + 3*l = 28, -4*r - l + 54 = 0. Let z = r - h. Is z a multiple of 19?
False
Let f(h) = 22*h**2 + 52*h + 1. Does 12 divide f(-4)?
False
Let j be (7/((-7)/20))/(5/(-40)). Suppose 6*m - 2*m - j = 0. Is 8 a factor of m?
True
Suppose -s + 24 = -31. Let d = s - -37. Is d a multiple of 29?
False
Let c(b) = 7*b**2 + 347*b + 11. Does 15 divide c(-56)?
False
Let d(v) = -v**2 - 3*v + 405. Let r be d(0). Suppose -3*i + r = 2*i. Is 21 a factor of i?
False
Let o = -1683 - -4983. Does 36 divide o?
False
Is 5 a factor of 9/(-1)*(-2118)/(-81)*-3?
False
Suppose 153 = m + 4*d - 0*d, -m + 4*d = -161. Let s be ((-7)/(-14))/((-1)/(-6)). Suppose 4*y + 2*w = 208, -w + m = s*y - 0*w. Is 14 a factor of y?
False
Let s be 50/(-6) - 1/(-3). Let v = s + 11. Suppose h - 46 = 3*i, -v*i = 2*h - 2*i - 92. Does 11 divide h?
False
Let p = 1025 - -350. Does 19 divide p?
False
Suppose 5*y - 636 = 2*y. Let u = y - 108. Does 27 divide u?
False
Suppose 3*w = -4 - 38. Is (-7)/(w/(-6)) - -31 a multiple of 7?
True
Let l = -19 + 13. Suppose -3*f - 240 = -9*f. Is 7 a factor of f + l/2 + 4?
False
Let f be 3 - (-2 + 8)*-1. Suppose f = -2*y - y. Let k = y + 22. Does 5 divide k?
False
Let n = 2329 + -62. Is n a multiple of 10?
False
Let r(y) = 5*y**2 - 2*y + 1. Let v be r(1). Suppose -6*l = -v*l - j - 118, -4*l + 5*j = -236. Let s = -26 + l. Is s a multiple of 11?
True
Let l(b) = b**3. Let o(m) = -5*m**3 + 6*m - 7. Let g(c) = -2*l(c) - o(c). Does 14 divide g(3)?
True
Suppose 4*i - 3 = 3*i. Suppose i*d + 2*v - 59 = 0, -d + 13 + 5 = v. Does 20 divide d?
False
Let v(n) = n**3 - 5*n**2 + 6*n - 4. Let m be v(5). Let p be m/10 + (-4)/(-10). Is 12 a factor of -2*p/6*-53?
False
Let q(r) = -8*r**2 - 10*r + 3*r**2 - 6*r**2 + r**3 - 14. Does 4 divide q(12)?
False
Let p(d) = 2*d**2 + 3*d - 9. Suppose 0 = 5*a - 25, 2*y = -y + 3*a - 3. Does 5 divide p(y)?
True
Let u = 60 + -178. Let n = 323 + u. Suppose -25 + n = 3*v. Does 17 divide v?
False
Suppose x + z = 4, 0*z - z = 5*x. Let h(d) be the first derivative of 46*d**3/3 - d**2/2 - d + 2. Does 23 divide h(x)?
True
Let p(h) = 12*h**2 + 11*h. Does 11 divide p(-7)?
False
Let u(k) = -5*k + 0*k**2 + 2 + k**2 - 8. Suppose -i + 0*i + 1 = -4*f, 5*i = 4*f + 37. Is 9 a factor of u(i)?
False
Is (2 + 4)*(2 - -957) a multiple of 137?
True
Let h(l) = -l**3 + 14*l**2 - 13*l - 1. Let t be h(13). Let d(n) = -161*n**3 - n**2. Is d(t) a multiple of 32?
True
Let i(j) = -j**3 + 5*j**2 + 14*j + 1. Let y be i(7). Let h(c) be the first derivative of 5*c**4/4 + 2*c**3/3 - c**2 + c + 1. Is h(y) a multiple of 6?
True
Let u = 227 - -152. Does 29 divide u?
False
Suppose 34*o + 680 = 2*d + 38*o, -3*o = 2*d - 684. Is d a multiple of 4?
True
Let c = 14 - -134. Let k = -73 + c. Does 25 divide k?
True
Let o be (308/66)/((-4)/6). Is (-233)/o + 2/(-7) a multiple of 20?
False
Let z be -2 + 122 - (0 + -2). Suppose n = -2*d + 49, 2*n - 2*d - 2*d - z = 0. Suppose -i = 2*i + 4*w - 56, n = 5*i - w. Is 9 a factor of i?
False
Suppose 2*a + 160 = -2*a. Suppose -3*s = -263 + 8. Let u = a + s. Is 15 a factor of u?
True
Let z(c) = -10*c**2 - 2. Let u(q) = 21*q**2 + 5. Let t(l) = -3*u(l) - 7*z(l). Is t(1) even?
True
Suppose -3*f + 13*f = 3780. Is f a multiple of 18?
True
Suppose -5*p = -17 + 7. Suppose 0*s - p*s = -8. Suppose -n - 3 + s = 4*q, 64 = 4*n + q. Is 3 a factor of n?
False
Let a(b) = 29*b + 2. Let u be a(5). Does 5 divide u/15 - 2/(-10)?
True
Suppose -20*o = -36*o + 5744. Does 5 divide o?
False
Let c(k) = k**3 + 6*k**2 - 5*k - 1. Let x be c(-7). Let h = x - -17. Does 4 divide (-24 - 8/h)/(-2)?
False
Let g = 13 + -10. Suppose z - g*j = -44, -3*z + j = -3*j + 122. Is (z/8)/((-1)/4) a multiple of 8?
False
Suppose c + c = c. Suppose c = -4*i + 122 + 286. Is i a multiple of 34?
True
Let k(o) = -o**3 + 16*o**2 - 15*o + 10. Let d be k(15). Is 41 a factor of (-14 - -629)*6/d?
True
Is 31 a factor of ((-114)/24 - 3)*-44?
True
Let y(i) = -3 + 0*i**2 + 0*i**2 + i**2 - 3*i - 3. Let z be y(5). Suppose z*l + 6*a - 3*a - 247 = 0, 0 = -3*l - 3*a + 186. Does 11 divide l?
False
Suppose 0 = 5*q - 2*x + 1695, q - 3*x = -4*q - 1695. Let d = -123 - q. Is d a multiple of 18?
True
Let b = -529 + 601. Is 12 a factor of b?
True
Let h(v) = -v**3 - 2*v. Let f be h(3). Let n be (-6)/33 - 6/f. Does 3 divide (7 - 6)*(n - -3)?
True
Suppose -6 = 2*q + 2. Let f be (q/6)/((-4)/36). Does 2 divide (-15)/f*6/(-5)?
False
Suppose 0 = 3*o - 5*b - 23, 26 = 5*o + 2*b + 2*b. Is (12 - -1) + -7 + o + -2 even?
True
Let u(g) = 2*g**2 + 4*g - 10. Let x be 2*(-10)/15*-3. Is 7 a factor of u(x)?
False
Is 8 a factor of ((-30688)/(-411))/(1/6)?
True
Let h be (902/(-4))/((-12)/48). Suppose -10*w + 2902 = h. Is w a multiple of 48?
False
Suppose -5*x = c + 29, x = -3*c - 0*x - 31. Let u = 21 + c. Is 3 a factor of u?
True
Let g be 0/(1 - 0/3). Suppose -3*d - i - i - 2 = g, -2*d + 2 = -2*i. Suppose -2*a + a + 51 = d. Does 21 divide a?
False
Let u be (-3)/(-15) - (-344)/5. Does 15 divide (u/4)/(3/8)?
False
Let z(a) = 20*a - 16. Let w be z(-12). Let i = 426 + w. Does 14 divide i?
False
Suppose -33 = -5*j + 3*s, 4*j + 3*s - 9 = 12. Suppose -j*m = -9*m + 90. Is 15 a factor of m?
True
Suppose 4*l - 958 = -2*u, 5*l - 997 - 202 = -3*u. Is 14 a factor of l?
True
Suppose 3*l - 969 = l + 3*u, -3*l + 4*u + 1455 = 0. Let j = -253 + l. Suppose 5*x - j = -41. Is x a multiple of 13?
True
Suppose -133*q = -16*q - 293319. Is q a multiple of 59?
False
Let o(a) be the first derivative of a**3/3 - a**2 - 2*a + 4. Let p be o(4). Does 9 divide ((-9)/(-1))/(3/p)?
True
Suppose 0 = 3*k + k. Let a be 12 + k + 3 + -3. Suppose -a = -3*d + d. Does 2 divide d?
True
Let g(b) = -20*b**3 - b**2 + 3. Let r be g(-3). Suppose 560 - 610 = -10*d. Suppose r = 11*x - d*x. Is x a multiple of 20?
False
Suppose c - 17*l = -13*l + 622, -5*l - 3095 = -5*c. Does 6 divide c?
True
Let p(v) = -v**2 - 32*v - 93. Is 2 a factor of p(-25)?
True
Let x = 719 - -420. Is x a multiple of 17?
True
Suppose -2*l = -p + 13, l + l = 2*p - 18. Let f be 1/p - 282/(-15). Suppose 1 = -3*a + f. Does 5 divide a?
False
Is 26 a factor of (-2)/(-3)*(3904 - 24/6)?
True
Let c(w) be the first derivative of 2*w**3/3 + 7*w**2/2 + 11*w - 15. Is 12 a factor of c(5)?
True
Let r be (-4)/(0 - -4) - 2. Let u be (r*1)/(3/(-2)). Suppose -s + 4*i = -13, -2*s - 4*i + 16 - u = 0. Is 3 a factor of s?
True
Suppose 4*f = -5*j + 141, -f - 3*j + 32 = -5. Suppose 3*p - 5*o = 85, 2*p - 21 = 5*o + f. Is p a multiple of 30?
True
Let m = 234 - -265. Is m a multiple of 54?
False
Let v(u) = 382*u**3 - 2*u + 1. Let y be v(1). Let l = y - 261. Is l a multiple of 15?
True
Let v = -462 + 641. Is 8 a factor of v?
False
Let v be -5*((-48)/(-20))/(-6). Is 3 a factor of -4 + 12 - (v + -1)?
False
Let b(f) = 2*f + 17. Let x be b(-10). Is x/12 + 126/24 a multiple of 3?
False
Suppose -2*x + 4 = -0*x, -3*x + 2 = -2*z. Suppose -m = z*m - 915. Suppose 3*a = 8*a - m. Is a a multiple of 13?
False
Let m = 1323 + -743. Is 20 a factor of m?
True
Let v = -33 - -162. Let b = 239 - v. Does 10 divide b?
True
Suppose -4*c + 310 = 3*d + 65, -4*d + 120 = 2*c. Is c a multiple of 3?
False
Suppose -4*f + 3208 = 2*a, f + 4*a - 684 = 132. Does 20 divide f?
True
Suppose -7*g + 411 = -6*g - 5*n, 3*n - 874 = -2*g. Is g a multiple of 3?
False
Let v(b) = -b - 4. Let j be v(-3). Let u be j*(-3)/(-6)*6. Is 14 a factor of (21/(-3))/(u/12)?
True
Suppose -17 = 7*u - 8*u. Let s = u - 8. Is 2 a factor of s?
False
Let a(f) = -f**2 - f. Let c(z) = 4 + 3*z - 2 + 0*z + 6*z**2. Let m(g) = 3*a(g) + c(g). Is m(-2) a multiple of 14?
True
Let w = 156 + -153. Let b = -11 + 67. Suppose w*f - 34 = b. Is 15 a factor of f?
True
Let y(u) = u**2 + 21*u + 25. Let n be y(-17). Let o = n + 54. Is o a multiple of 11?
True
Let s(z) = z**3 - 12*z**2 + 3*z + 16. Suppose 3*m - 5*b - 21 = 0, -3*m = -6*m + b + 33. Is 13 a factor of s(m)?
True
Suppose -25 = 4*l - 3*h, -h + 0*h = -2*l - 11. Let f be (-42)/l*(-84)/(-49). Suppose -3*g = 2*m - f, 24 = 4*m - 2*g + 5*g. Is m a multiple of 3?
True
Let h(t) be the second derivative of t**6/120 - t**5/40 + t**4/8 + t**3/3 - 10*t. Let 