43, -2*i = i + 3*f + 30. Let y = i + 19. Is 6 a factor of y?
True
Let v be 3 + -4 + (2 - 78). Does 13 divide v/(-3) + 1/3?
True
Suppose 7*j + 0*j = 1323. Is 32 a factor of j?
False
Let n(l) = l**2 + 7*l - 8. Is 15 a factor of n(-14)?
True
Suppose -k = -0*k - 7. Is k a multiple of 7?
True
Let k = 151 + -88. Does 15 divide k?
False
Suppose 2*a = 5*g - a - 166, 4*a - 24 = -g. Let u = g - -21. Suppose -i + u = 4*d - 3*d, -2*d = i - 58. Does 19 divide i?
False
Let u = -74 - -43. Let m = u - -61. Does 15 divide m?
True
Is ((-16)/10)/(-4) - (-1456)/35 a multiple of 7?
True
Let z(w) = w**2 - 11*w + 14. Let n be z(10). Suppose -2*f = -3*d - 83, n*d + 0*f + 119 = f. Let q = 67 + d. Does 12 divide q?
True
Suppose 16*d = 12*d + 196. Is 7 a factor of d?
True
Suppose -q - 1 = -3*k + 3, -4*k + 22 = 2*q. Is k a multiple of 2?
False
Let r = 115 + -90. Does 3 divide r?
False
Let i = 578 + -290. Does 18 divide i?
True
Suppose -2*q + 3*g + 64 = -69, 0 = g + 3. Does 12 divide q?
False
Does 13 divide 4/8 - (-50)/4?
True
Let x(m) = m**3 + 5*m**2 - 4*m. Let p be x(-5). Suppose 6*y - y = -p. Is 16 a factor of (y - -2)*-17 + 0?
False
Let r(l) = 6 - 4*l**2 - 2*l + 0*l**2 - 9*l**3 + 0*l**2 + 11*l**3. Is 23 a factor of r(4)?
False
Suppose 3*x - 13 - 53 = 0. Is 4 a factor of x?
False
Let i(s) = -s**3 - 10*s**2 - 11*s - 8. Let y(u) = u**2 + u. Let z(w) = i(w) + 3*y(w). Let g be z(-6). Is 26/g*(2 + 0) a multiple of 4?
False
Let q be 49 + 0/((-2)/(-1)). Let l be q - (9/(-3) - -1). Does 14 divide (0 - l)*(-2)/3?
False
Let u be 4/14 - (-96)/(-42). Does 12 divide 27 + (-6 - u - -3)?
False
Let w(y) = -y**3 - y. Let l(f) = -19*f**3 + 6*f - 1. Let j(s) = -l(s) - 4*w(s). Is j(1) a multiple of 22?
True
Is (-6)/(-5)*(-135)/(-6) a multiple of 8?
False
Suppose -3*b - 6 = -5*b. Suppose 2*r + 270 = -0*r - 3*u, -5*u = 3*r + 404. Does 9 divide 1/(b/(r/(-2)))?
False
Suppose 79*c - 147 = 76*c. Is 4 a factor of c?
False
Suppose l + 0*l - 5 = 0. Suppose 5*d + 144 = l*o - 226, 0 = -4*d. Is o a multiple of 29?
False
Let y(b) = -b**3 - b**2 - b + 160. Does 20 divide y(0)?
True
Suppose 5*g = -3*x - 8, 2*g = x + g + 8. Is 18 a factor of (-69)/x*(6 - 4)?
False
Is 19 a factor of (-7)/((-105)/10)*72?
False
Let g(s) = 97*s**2 + s. Does 37 divide g(-1)?
False
Let w = -27 - -47. Let t = w + -13. Is 7 a factor of t?
True
Let t = -101 - 29. Let c = 198 + t. Suppose 2*y - c = -0*y. Is y a multiple of 14?
False
Let x be 4/((-4)/1)*-13. Suppose 0 = -k - 0*k + x. Does 3 divide k?
False
Let r = -49 + 78. Does 9 divide r?
False
Suppose 2*j + 4*a = 5*j - 24, 0 = -4*j + 4*a + 28. Let f(c) = 6*c**2. Let s be f(-2). Suppose -j*h + s = -0*h. Is h a multiple of 4?
False
Let o(h) = h + 7. Let b be o(-9). Let f be (0 + -1 - b) + 1. Suppose -120 = -2*u - f*u. Is 15 a factor of u?
True
Let s(q) = -q + 6. Let l be s(7). Is (4 - l) + (-6)/6 a multiple of 3?
False
Let f(x) = x + 5. Does 6 divide f(5)?
False
Let a = 13 - 2. Let y = a - 6. Suppose -2*x = y*j - 35, -x + 110 = 4*x + 5*j. Does 9 divide x?
False
Let y(q) = -q**3 - 15*q**2 - 27*q + 15. Is 11 a factor of y(-13)?
False
Let a(t) = -6*t**3 + t**2 + t. Let n be a(-1). Let u(c) = c**3 - 4*c**2 - 9*c + 4. Does 22 divide u(n)?
True
Let w = -4 - -6. Let u be w/4 - 51/(-6). Is 12 a factor of 6/u - (-43)/3?
False
Let c(n) = n**2 - 2*n + 2. Let r be c(3). Suppose -r*j = 3*l - 76, -l - 2*j - 24 = -3*l. Does 6 divide l?
False
Let m(q) = -q**3 - q**2 - q + 3. Let r be m(0). Let v be (-578)/(-8) + r/(-12). Suppose 7*k = 3*k + v. Is 9 a factor of k?
True
Suppose 4*h - 52 - 56 = 0. Let g = -11 + h. Let v = 35 - g. Does 19 divide v?
True
Let x(f) = -2*f**3 - 6*f**2 - 6*f - 3. Let q be x(-3). Suppose 4*g + 3*k = 2*k + 33, 2*g = k + q. Is 8 a factor of g?
True
Let t(y) = -5*y**2 + 5*y. Let d be t(4). Suppose -2*g = 71 + 15. Let a = g - d. Is a a multiple of 17?
True
Suppose -2*v - 4 - 2 = 0. Let w(s) be the first derivative of -5*s**2/2 - s - 1. Does 9 divide w(v)?
False
Let t(r) = 19*r**2 + 1. Is 5 a factor of t(1)?
True
Suppose -2 = -3*n + 5*h - 13, 4*n - h - 8 = 0. Let o(q) = q**2 - q - 1. Let j(w) = -w**3 + 8*w**2 - 2*w. Let t(g) = j(g) - o(g). Is 13 a factor of t(n)?
False
Suppose 30 = -7*v + 2*v. Is 20 a factor of (-1)/3 - 242/v?
True
Suppose 3*l = -2*x + 12, 2*x = 3*l - x - 12. Let z = 62 - 25. Suppose -l*f + 11 = -z. Is 9 a factor of f?
False
Let p(x) = 2*x + 6. Is 18 a factor of p(6)?
True
Suppose -4*g + 5*g = 2. Suppose -5*j - 31 = -2*m, m - 6*j - 20 = -g*j. Is m a multiple of 8?
True
Suppose 180 = 3*a - 0*a. Is 10 a factor of a?
True
Let w(m) = 2*m**3 + 4*m**2 - 2*m - 4. Let f be w(3). Suppose 2*d + 3*d - f = 0. Does 8 divide d?
True
Is 3 a factor of 3*(-3 - -4 - 0)?
True
Let c be (-8)/10*15/(-2). Suppose -5*v = -c*v + 73. Is 26 a factor of v?
False
Does 2 divide 1/2*(21 + 5)?
False
Let l(j) = j**2 + 13*j - 7. Let y(o) = -4*o**2 + 2*o - 2. Let f be y(2). Does 7 divide l(f)?
True
Let y be (-282)/9 - (-2)/(-3). Let b = -20 - y. Is 11 a factor of b?
False
Suppose -4*w = -4 - 0. Let q = 2 + w. Suppose -5*n - 80 = -4*d, q*n = 5*n. Is 16 a factor of d?
False
Suppose 34 = 12*s - 50. Is 2 a factor of s?
False
Let h(o) = o**3 - 15*o**2 + 17*o. Is h(14) a multiple of 12?
False
Let v be 3/(-1)*(-10)/(-3). Let x = -4 - v. Suppose c - 20 = -3*p, 2*p - 120 = -5*c + x. Does 12 divide c?
False
Let r = -3 + 6. Suppose 2*d = d + 5. Suppose -r*j + 101 = d*q, -2*q + 55 = q - j. Does 14 divide q?
False
Let k(m) = -m - 2. Let p be k(-8). Is 10 a factor of (-1)/(-2) - (-63)/p?
False
Let g = -69 + 152. Is g a multiple of 15?
False
Let s = 1 - -4. Let l(c) = c + 15. Let x be l(-7). Let t = x - s. Is t even?
False
Suppose -96 = -3*c - 3*l, c + 18 - 54 = -5*l. Is c a multiple of 31?
True
Let h(y) = 2*y**2 + 14*y - 4. Let t be 1*(3 - 12) - 1. Is h(t) a multiple of 23?
False
Let q = -10 - -15. Suppose 0 = q*w + 3*n - 75, 4*n = -10 - 10. Is 9 a factor of w?
True
Suppose -2*l = i - 3*l - 103, -3*i + 284 = 2*l. Is 49 a factor of i?
True
Suppose d - 1 - 7 = 0. Is d a multiple of 5?
False
Let n be (-62)/(-8)*-2*-6. Suppose -3*a - 5*f = -7*a + n, 3*f = 4*a - 99. Does 9 divide a?
True
Let j(g) = g**3 - 6*g**2 + 5*g + 4. Let w be j(5). Suppose 3*x - x + 4*o = 0, 4*x + 5*o = 0. Suppose -32 = -w*a - x. Is a a multiple of 8?
True
Suppose 6 = 4*y - 10. Suppose -3*t - 4*d + 90 = d, y*t = -3*d + 131. Is 7 a factor of t?
True
Suppose 0 = 3*u - 1050 + 192. Is 20 a factor of u?
False
Let n = -24 + 69. Is n a multiple of 17?
False
Let p be (-3)/6 + (-2)/(-4). Suppose 3*c + 4*d - 22 = p, 0*c - d + 37 = 3*c. Is 7 a factor of c?
True
Suppose -6*i - 22 = -8*i. Is 11 a factor of i?
True
Let b(r) = r**3 + 7*r**2 + 7*r + 6. Suppose -5*f + 51 - 1 = 0. Let v be (8/f)/(1/(-5)). Is 13 a factor of b(v)?
True
Let u(i) = i**2 - 2*i - 1. Let l(w) = w**3 - 3*w + 2. Let x be l(2). Is u(x) a multiple of 2?
False
Let y(w) = -w**3 - 12*w**2 + 15*w + 8. Let f be y(-13). Is (-2)/(-6) - 264/f a multiple of 15?
True
Suppose 2*d + 2 - 37 = 5*z, 0 = 4*d + 3*z - 5. Suppose d*l - 156 = -6. Is l a multiple of 12?
False
Let a(n) = -n**3 + 2*n**2 - 1. Let u be a(1). Suppose w = -2*s + 23, -3*s + 2*w - 3*w + 35 = u. Is s a multiple of 10?
False
Suppose -20 = -2*s + 2*t + 36, -2*s - 3*t = -61. Does 10 divide s?
False
Suppose 0 = -d + 26 + 31. Is d a multiple of 5?
False
Suppose d = -0*d. Suppose f = 13 - d. Does 6 divide f?
False
Let u(l) = 2*l - 4 + l - 2*l**3 - 4*l - 6*l**2. Suppose -8*z + 4 = -9*z. Is 16 a factor of u(z)?
True
Suppose -9 = -3*o + 6. Suppose 0 = -o*c + 4 + 1. Is c/(0 + 1)*8 a multiple of 4?
True
Let k be 2/(-4)*-6 + 2. Suppose q + 240 = k*q. Is q a multiple of 30?
True
Let i(j) = 3*j. Does 3 divide i(4)?
True
Let b(l) = l**3 + 10*l**2 + 8*l - 6. Let w be b(-9). Suppose -w*t + t = -48. Suppose -y = -2*i + i - t, -i = 4*y - 81. Is y a multiple of 8?
False
Let o(l) = l**2 + l + 3. Let u be o(-3). Suppose -w = -u - 9. Suppose 3*n - n = w. Does 9 divide n?
True
Let f(r) = r**3 - 9*r**2 - 7*r + 13. Let h be f(9). Let p be 3/(-12) + h/(-8). Is 3 a factor of 27/p*(-8)/(-6)?
True
Let t be (-8)/(-3) + (-6)/(-18). Suppose t*j + 7 + 11 = 0. Let z = 10 + j. Does 2 divide z?
True
Let d(u) be the second derivative of u**5/10 - u**4/3 + 2*u**3/3 - u**2 - 2*u. Is d(2) a multiple of 4?
False
Let n(f) = -f**3 - 4*f**2 + 4*f + 11. Let j(m) = m**2 - 9