30 + 130. Is 20 a factor of g?
True
Let w = -40 - -97. Let g = 10 + 30. Let j = w - g. Is j a multiple of 17?
True
Let h be -12 + 2/(1 + 0). Let m be (h/6)/((-1)/3). Suppose 2*o + 2*o - 56 = -4*j, 0 = -3*j - m*o + 38. Does 9 divide j?
False
Let u = 82 + -44. Does 19 divide u?
True
Let c = 1 + 9. Let p = c - 8. Is p even?
True
Suppose 0 = -2*v - 2*v - d + 18, 2*v - 2 = -4*d. Suppose 124 = 3*m - 5*x - 93, -x + 343 = v*m. Is 22 a factor of m?
False
Suppose 3*y = 5*y + 54. Let h = -10 - y. Is h a multiple of 8?
False
Let u be (6/9)/((-6)/(-27)). Suppose u*a - 133 - 25 = -4*v, -2 = 2*v. Does 27 divide a?
True
Let k = 0 - -1. Suppose 2*f - 3*f = -k. Is (26/(-4))/(f/(-2)) a multiple of 13?
True
Let j(c) = c**3 + 8*c**2 + 7*c - 2. Let g be j(-6). Suppose -2*p + 29 = 5*q, -5*p - 7 = -3*q - 2. Suppose t = -p + g. Is 20 a factor of t?
False
Suppose -3*z + 25 + 85 = -5*f, 2*z + 3*f - 48 = 0. Is z a multiple of 19?
False
Is 18 a factor of (26/(-39))/((-4)/234)?
False
Suppose -4*a - 106 = 9*j - 11*j, -4*j + 2*a + 242 = 0. Does 23 divide j?
False
Let v(r) = 5*r**2 + 19*r - 13. Let m(o) = o**2 + o - 1. Let p(c) = -6*m(c) + v(c). Suppose -7*k - 20 = -11*k. Does 11 divide p(k)?
True
Let b(f) = -f**2 + f + 36. Suppose 3*x = 6*x. Is b(x) a multiple of 12?
True
Let n(c) = 2*c**2 + 4*c - 11. Is n(5) a multiple of 15?
False
Let i(x) = -x**2 - 11*x - 3. Suppose 2*q - 30 = 7*q. Is i(q) a multiple of 11?
False
Let p(g) = 3*g**2 + 7*g + 7. Let z(r) = 4*r**2 + 10*r + 11. Let m(s) = 7*p(s) - 5*z(s). Is m(-5) a multiple of 12?
True
Let j(u) = -u**2 - 5*u. Let n be j(-4). Suppose 0*y = -y + n. Suppose -y*t = -3*x + 10, 4*t - 3*t - 32 = -5*x. Is 5 a factor of x?
False
Let f(m) = -m + 5. Let x be f(4). Is 11 a factor of (-1)/(x/(-56)) + -2?
False
Let i(j) be the first derivative of j**4/4 + 2*j**3 + 5*j**2/2 + 6*j + 1. Is 9 a factor of i(-4)?
True
Let s be -1 - 1 - -2 - -5. Suppose -s*p = -55 - 25. Is p a multiple of 5?
False
Let m be (-4)/10 + 66/15. Is 36 - m/(-12)*-3 a multiple of 22?
False
Suppose 2*w - 181 = -0*w + 3*b, -3*w + 3*b + 270 = 0. Let n = -29 + w. Is n a multiple of 30?
True
Suppose -4*o - 152 = -4*l, 0*o = -3*o - 6. Let i = -22 + l. Is i a multiple of 14?
True
Let w = 2 - 2. Suppose 2*j + 11 - 31 = -2*a, 5*a - 4*j - 5 = w. Suppose 0 = -a*v + 240 - 40. Is 13 a factor of v?
False
Let j be (-6)/9*(-1 + -35). Suppose z + j = -z. Let k = z + 38. Is 23 a factor of k?
False
Let n(t) = -4*t**3 + 3*t + 1. Let o be n(-2). Let r = 5 + -13. Let j = r + o. Is 11 a factor of j?
False
Suppose -5*o + 0*o = 2*s + 5, 0 = -s + 3*o - 19. Let c(v) = v**2 - 9*v + 8. Let b be c(4). Is 3 a factor of (s/8)/(3/b)?
False
Let g = 48 - 19. Let x = 53 - g. Suppose 5*h - 6 = 2*w - 54, h - x = -w. Is w a multiple of 12?
True
Suppose -8*w - 90 + 250 = 0. Does 5 divide w?
True
Suppose 0 = g + 3*g - 496. Is 13 a factor of g?
False
Let w(c) be the second derivative of c**3/6 + c**2/2 + c. Let y be w(7). Let k = y + 3. Does 11 divide k?
True
Let w(c) = -3*c - 9. Is w(-11) a multiple of 8?
True
Let u = -75 - -119. Suppose -4*g - 30 = -2*t, 4*g - u = -5*t + 3. Suppose 4 = -y - 4*d, -21 - t = -3*y - d. Is 9 a factor of y?
False
Is 3 a factor of (-8)/5*(-10)/4?
False
Suppose -5*r = 22 + 3. Is (-2)/r - 52/(-20) even?
False
Suppose 3*m = 4*m - 31. Is 11 a factor of m?
False
Let d(t) = -t**3 - 12*t**2 - 16*t - 16. Is d(-11) a multiple of 7?
False
Let q(i) = -i + 7. Let k be q(5). Let h(z) = 4*z**2 + 2. Is h(k) a multiple of 15?
False
Suppose -146*n - 60 = -147*n. Does 60 divide n?
True
Let s(z) = -3*z - 9. Let t(u) = -11*u + 5*u + 3 - 3 - u**2. Let a be t(-7). Is 12 a factor of s(a)?
True
Let x(b) = -b**2 + 9*b + 7. Let k be x(9). Let u = 29 - k. Is u a multiple of 9?
False
Suppose 319 = 2*c - 263. Does 39 divide c?
False
Suppose 0 = 3*a - 13 - 5. Let z be ((-15)/a)/((-1)/(-36)). Does 12 divide ((-6)/(-15))/((-3)/z)?
True
Let v = 110 + 0. Does 22 divide v?
True
Let h(l) = -3*l + 1. Let u be h(2). Let j = 21 + u. Is 7 a factor of j?
False
Let g = 28 - 10. Is g a multiple of 9?
True
Let p = -2 + 5. Does 11 divide -3 - (p*-11 - 3)?
True
Is 11 a factor of 44/(-33) - (-206)/6?
True
Let i be 34 - (-1)/(1 + -2). Let t be 0 + 4*3 - 2. Suppose 2*s = -2*c + t, 3*s + 2*s - 3*c = i. Does 6 divide s?
True
Let x(p) = -8*p - 8. Let q(k) = 9*k + 9. Let f(r) = 4*q(r) + 5*x(r). Does 4 divide f(-3)?
True
Let w(q) = -12*q - 3. Is 15 a factor of w(-6)?
False
Let c(s) = -3*s + 116. Is c(0) a multiple of 12?
False
Suppose 5*j - 11 = 4. Suppose -p - 56 - 21 = -v, -j*p + 179 = 2*v. Is v a multiple of 33?
False
Let v(k) = -k**2 + 9*k - 5. Let p be v(8). Suppose -5*c + 46 = -4*m - 121, p*c + 3*m - 84 = 0. Does 20 divide c?
False
Suppose 0 = 5*t - 6*z + 3*z - 122, 3*t - 50 = -4*z. Is 9 a factor of t?
False
Let n = -5 - -7. Let j(o) = -12*o**2 - 2*o. Let i(h) = -4*h**2 - h. Let m(y) = 11*i(y) - 4*j(y). Does 10 divide m(n)?
True
Suppose 5*v - 286 - 524 = 0. Is v a multiple of 9?
True
Suppose 4*c - 76 = -7*i + 3*i, 3*c - 57 = -2*i. Is c a multiple of 5?
False
Suppose 3*m - 86 = -2*y, 3*y + m - 81 = 48. Is 37 a factor of y?
False
Let w(r) = r**2 + 8 - 2*r + r - 5*r + 2*r. Is 10 a factor of w(8)?
True
Let w = 35 + -20. Suppose 49 = q + 3*u - 2, 0 = -5*u + w. Is q a multiple of 21?
True
Suppose -11 - 67 = -2*d. Let p = 8 + -3. Suppose -p*f + 2*f = -d. Is 6 a factor of f?
False
Let y(r) = -7*r**3 + r**2 + 4*r. Let g(q) = q + 11. Let m be g(-6). Let o(f) = 6*f**3 - 4*f - 1. Let z(h) = m*y(h) + 6*o(h). Does 11 divide z(-4)?
False
Is 6 a factor of ((-122)/2)/(-1 + 0/2)?
False
Suppose 0*h - 5*h = 3*c + 6, 4*c = 5*h + 27. Suppose 2*a = 2, 0*a + 87 = 2*y - c*a. Is y a multiple of 15?
True
Let l(t) = -t**3 - t**2 + t + 3. Let x(h) = h**3 + 2*h**2 - h - 3. Let o(k) = -4*l(k) - 3*x(k). Let n be o(3). Suppose -n*m - 90 = -8*m. Is 10 a factor of m?
False
Suppose 0 = -5*l + 4*l - 83. Let i = -48 - l. Does 7 divide i?
True
Let l(t) = -t**3 + 7*t**2 + 11*t - 6. Does 13 divide l(7)?
False
Let h = 16 - 13. Suppose -2*o = -o - w - 6, 10 = h*o - 5*w. Is 6 a factor of o?
False
Suppose -2*n + 2*m + 18 = 0, 0 = -2*n + 3*n + 2*m - 21. Is 13 a factor of n?
True
Let l(j) = -j**2 - 12*j - 20. Does 2 divide l(-5)?
False
Let a = 106 + 48. Is a a multiple of 11?
True
Let i be (-4)/(8/(-10)) - 2. Suppose 5*f + 6*o - 88 = i*o, -5*f + 4*o + 116 = 0. Is f a multiple of 10?
True
Let m = -176 - -209. Is 9 a factor of m?
False
Let z(t) = -t**2. Let r be z(-1). Let b = 3 - r. Suppose 2*n - 4*n + 5*u + 11 = 0, 3*u = -b*n + 87. Is n a multiple of 18?
True
Suppose -2*f + 4*f - 12 = -4*u, -15 = -5*f + 5*u. Suppose 2*v = -0*i + 3*i - 30, 0 = -f*v. Does 3 divide i?
False
Let g(i) = -6*i**3 - 6*i + 9 + 0*i**3 - 23 + 4*i**2. Let h(q) = 7*q**3 - 5*q**2 + 7*q + 14. Let w(p) = -6*g(p) - 5*h(p). Does 14 divide w(0)?
True
Suppose 0 = 10*b - 148 - 92. Does 4 divide b?
True
Suppose -y - 18 = -4*y. Let r(b) = -b**2 + 6*b. Let o be r(y). Suppose o = 2*s - 17 - 15. Is 8 a factor of s?
True
Let b = 7 + 0. Is 3 a factor of b?
False
Let q(d) = -d + 14. Let w be q(12). Suppose -w*a + 32 + 16 = 0. Does 12 divide a?
True
Suppose m - 96 = -2*b - 13, 3*b = 9. Does 12 divide m?
False
Let c be 6/(-15) + 2/5. Suppose i = -c*i + 4. Suppose 0 = -k + 5*h + 8, 3*k + i = -2*h + 28. Is 4 a factor of k?
True
Let y(c) = c**3 + 12*c**2 + 11*c + 4. Does 14 divide y(-9)?
False
Let y = 0 - -2. Is 9 a factor of 24 - ((3 - y) + -3)?
False
Is (246/4)/(5 + 102/(-24)) a multiple of 39?
False
Suppose 0 = -0*n - 5*n + 30. Suppose -l = -n + 2. Is l even?
True
Suppose 0 = 3*m - 5*m + 8. Suppose 160 = 5*q - q. Suppose q = -m*j + 308. Does 24 divide j?
False
Let f = -3 + 54. Is f a multiple of 20?
False
Let m(y) = -y + 0*y - 5 - 5*y + y. Is 9 a factor of m(-8)?
False
Let l be 2 + 4/8*0. Does 20 divide 58 + (0 - 4/l)?
False
Let z(m) = -m**2 + 12*m - 8. Does 6 divide z(10)?
True
Does 10 divide ((-6)/33 - (-26)/22)*39?
False
Suppose -4*c - 59 = -331. Let w(p) = p**3 - 10*p**2 + 10*p - 6. Let o be w(9). Suppose l = -3, 0 = o*r - l + 20 - c. Is r a multiple of 11?
False
Suppose 0 = 5*g - 5 - 5. Suppose -g*u + 65 = -u. Does 26 divide u?
False
Suppose 54 = 2*b - 12. Is b a multiple of 33?
True
Let o(w) = -8*w + 16. Does 10 divide o(-7)?
False
Suppose -164 = 3*s - 14. Let w = s + 113. Is w a multiple of 21?
True
Let v = -6 + 