+ 3. Let j be n(-3). Is 10 a factor of (0 + j + 5)*10?
True
Let l(o) = -o**3 + 11*o**2 + 6*o - 21. Is l(11) a multiple of 17?
False
Let x = -16 - -28. Suppose t - 4*n = -x, t + 3*n + 2 = 25. Suppose 4*g - 13 = 4*p + 3, 0 = -2*g - 5*p + t. Is g even?
True
Is 12/(-3) + 11*11 a multiple of 21?
False
Suppose -6*g + g + 75 = 0. Suppose -7*c = -2*c - g. Suppose -2*h - f = -9, -h + 5*f - c = 3*f. Is h even?
False
Suppose 5*j - 3*l = 2*l + 70, j - 5*l = 10. Is 10 a factor of j?
False
Let t = 11 - 8. Suppose 4*d - 253 = 2*s + 97, t*d - 280 = 5*s. Is d a multiple of 11?
False
Does 24 divide 3/(-6) - (1 + 171/(-2))?
False
Suppose -3*i + 0 + 6 = 0. Let z(c) = -2 - 5 + 4 + 2 + 5*c. Is 4 a factor of z(i)?
False
Suppose -20 = 5*g, -3*r + g = 2*g - 17. Suppose -l - r + 39 = 0. Is l a multiple of 16?
True
Let g = -2 - -1. Let i = g - -1. Suppose -z + 10 + 1 = i. Is z a multiple of 11?
True
Let y = 364 + -164. Is y a multiple of 20?
True
Let w(z) = -4*z + 1. Let v be w(2). Let p = v + 16. Is 3 a factor of p?
True
Let m be 6 - (-3 + (6 - 3)). Let l(j) = 4*j - 9. Is l(m) a multiple of 15?
True
Suppose 0*t = l + 3*t - 21, 0 = 5*l + 2*t - 157. Is 11 a factor of l?
True
Suppose -5*o = 5*g - 55, -g - 22 = 4*o - 60. Is 3 a factor of o?
True
Let t(a) = 6*a - 3. Suppose -2 - 13 = -5*v. Let w be t(v). Let j = -6 + w. Is 9 a factor of j?
True
Let d be (-4)/(-2) + 4 + 2. Suppose -j + 3*c - 2 = 0, -j - 2*c + d + 15 = 0. Suppose -33 - j = -2*k. Is k a multiple of 10?
False
Suppose -c + 54 = -0*c + 3*g, 2*c = -4*g + 100. Suppose 0 = l - 3*r - 2*r + 1, 0 = l - 3*r - 1. Suppose n - l*n = -c. Is 14 a factor of n?
True
Let c be (18/4 - 3)*2. Let j be 4/((-3)/(-3 - c)). Let f(g) = 4*g - 8. Does 8 divide f(j)?
True
Let n = 11 + -4. Suppose -2*t + 41 = -n. Is t a multiple of 7?
False
Let y be -2 - (-9 - 4/(-2)). Suppose -4*t + 7*t = -5*w - 13, -y*t + 3*w = -35. Suppose -5*j - t*a + 61 = 0, -5*j - a + 60 = 4*a. Does 5 divide j?
False
Let f be (-3)/(-2)*(-356)/(-3). Suppose f = 5*c - 82. Is c a multiple of 18?
False
Let u(h) = h**3 + 5*h**2 - h - 3. Let w(s) = -3*s**3 - 16*s**2 + 3*s + 9. Let f(b) = -7*u(b) - 2*w(b). Is f(-4) a multiple of 3?
True
Let j(r) be the second derivative of r**4/12 - 2*r**3/3 - 3*r**2/2 - r. Let y be j(5). Suppose 2*z + y*z = 132. Is 11 a factor of z?
True
Suppose 0 = b - 2*m - 1, -m + 1 = b. Is b/1*6 + -3 a multiple of 2?
False
Let w = 47 + 16. Does 9 divide w?
True
Let d(b) = 5*b**2 - 3*b + 2. Suppose 14 = -v + 15. Is d(v) a multiple of 3?
False
Suppose -4*s + 4*r = 213 + 239, 128 = -s + 4*r. Let a be (-1 - 9)/((-3)/s). Is 10 a factor of 2/(-7) + a/(-35)?
True
Let q = 3 - 5. Does 6 divide 2 - (q - (-42)/(-3))?
True
Suppose y = 5*p + 6*y, -y - 15 = -4*p. Suppose 5*l + p*h = 64, -2*l = 3*h - 2*h - 25. Does 7 divide l?
False
Suppose 5*m + 10 = 70. Let d = -6 + m. Does 3 divide d?
True
Suppose 4*s + g = 15, -s + g + 3 + 7 = 0. Let u(w) = -w**2 + 4*w + 7. Let n be u(s). Suppose n*q - 12 = -2*q. Is q even?
False
Let x = 6 - 8. Let s = x - -4. Is s + 0 + 0 + 49 a multiple of 22?
False
Let z(k) = k**3 - 4*k**2 + 2*k - 5. Suppose -2*f + 20 = 3*f. Let h be z(f). Does 9 divide (1 - h) + 2*14?
False
Suppose -2*l + 170 + 124 = 0. Let t = -85 + l. Is t a multiple of 17?
False
Suppose 110 + 155 = 3*m - 4*q, 174 = 2*m - 2*q. Is 8 a factor of m?
False
Suppose 0 = x - 5 + 3, -12 = -a - 5*x. Suppose 5*d + 64 = a*h, -h = d - 10 - 8. Is 11 a factor of h?
True
Suppose 0 = 3*j - 5*r - 260, 0 = -3*j + 3*r + 162 + 108. Suppose 2*a + w - 4*w - 22 = 0, 0 = -a + 3*w + 17. Suppose a*m + 0*m = j. Is m a multiple of 8?
False
Let q(v) = -v**2 + 7*v - 5. Suppose -4*w + 16 = -w + 4*d, 2*w - 16 = -4*d. Suppose u + u - 8 = w. Is q(u) a multiple of 7?
True
Let r = -60 - -102. Does 11 divide r?
False
Suppose s = w + 79, 0*s = 4*s - 3*w - 314. Let u = s - 30. Is u a multiple of 11?
False
Let o(x) = 2*x**2 - 4*x. Let y = -7 + 13. Let q be o(y). Suppose -2*s + q = -0*s. Does 11 divide s?
False
Suppose -5*s = 2*z - 200, 5*z - 40 = -s - 0*s. Is s a multiple of 14?
False
Let o = -10 - -14. Let l(z) = z**3 - z**2 - 3*z - 5. Is 17 a factor of l(o)?
False
Let u = -85 - -211. Let g = u - 74. Is g a multiple of 15?
False
Let l = 108 - -123. Is -7*11/(l/(-72)) a multiple of 6?
True
Suppose -g = -3 - 8. Let i(s) = -s**2 + 4*s + 4. Let p be i(g). Let z = p - -106. Is 11 a factor of z?
True
Suppose 0*q = -4*q + w - 13, -5*q - 3*w + 5 = 0. Let t be 4 - (1 + q)*1. Suppose -t*a + 45 + 85 = 0. Is a a multiple of 10?
False
Is (41 - 1) + -5 + 4 a multiple of 17?
False
Let a = 1 - -2. Suppose 3 = -l - a*j, -5*j = -3*l + 45 + 2. Is l a multiple of 9?
True
Let m be 2/3 - (-584)/6. Is (m/4)/((-5)/(-10)) a multiple of 10?
False
Let s(j) = 3*j - 26. Let k(r) = 4*r - 27. Let h(z) = -4*z**2 + z. Let a be h(1). Let c(m) = a*s(m) + 2*k(m). Is c(0) a multiple of 8?
True
Let c = 3 - -2. Let v(d) = d**2 - 4*d + 2. Is v(c) a multiple of 7?
True
Suppose -2*m + m + 5 = 0. Suppose 0 = -m*o + a + 2*a - 426, -2*o - 160 = 4*a. Is 11 a factor of 2 + (o/(-3) - -2)?
False
Let r = -7 + 12. Suppose -r*n + 14 + 16 = 0. Does 19 divide n/9*(2 - -31)?
False
Let p(n) = -n - 5. Let l be p(-5). Suppose -6*i + 5*i - 3 = l. Does 6 divide 6 - (1 + i) - 2?
True
Suppose 3*r - 18 = -2*k, -k + 12 = 2*r + 3*k. Suppose r + 0 = f. Suppose 4*s - 4*m - 44 = 0, f*s = 2*s - 5*m + 89. Is 8 a factor of s?
True
Let b(w) = 61*w**2 + 2*w + 1. Is b(-1) a multiple of 15?
True
Let s(q) = 3 + 0*q - 2 - 7*q - 6*q**3 - 2*q**2 + 8*q. Is 12 a factor of s(-2)?
False
Suppose 0 = 2*p - 0*p - 6. Suppose 4*o = 5*o - 5*q, 4*q = 4*o. Suppose 4*z + 7*a = 2*a + 66, o = 4*z - p*a - 50. Is 7 a factor of z?
True
Suppose -r = -2*r + 7. Suppose r*f - 6*f - 2*j = -5, -f + 4*j = 11. Is 4/((-45)/(-39) - f) a multiple of 13?
True
Suppose 6 = 2*v - 18. Suppose 0 = 2*g + 5*m + v, 4*g - 2 - 4 = 5*m. Does 9 divide (-37)/(-2) + g/2?
True
Does 36 divide (-1)/((-6395)/2130 - -3)?
False
Suppose 4*c = 6*c - 6. Suppose 0 = z - c*z + 34. Is 10 a factor of z?
False
Suppose 0*y + 15 = 3*y. Let f(t) be the first derivative of 2*t**2 - 3*t - 6. Is f(y) a multiple of 6?
False
Let p(i) = -i + 7. Let f be p(5). Suppose 3*v - 44 = f*v. Does 22 divide v?
True
Suppose -16 = 4*o - 3*m, -5*m = o - 0*o + 4. Let u(y) = -y**3 - 3*y**2 - 2. Does 7 divide u(o)?
True
Suppose 2*o - 74 = -4*h, -3*o = 2*h - 5*h - 111. Is 10 a factor of o?
False
Let d(b) = -11*b - 57. Is 7 a factor of d(-9)?
True
Suppose 0 = -2*g - 3*g + 135. Suppose -g = -4*y + 5. Suppose -h - 29 = -3*a - 9, a - y = h. Does 6 divide a?
True
Let s = -14 + 28. Is s a multiple of 10?
False
Let t = 11 + -16. Let y(c) = -2*c**2 + c - 1. Let u be y(t). Does 6 divide u/(-21)*(-9)/(-4)?
True
Let y(u) = u + 18. Suppose -4*z - 25 = -3*h, -2*h + 20 = -2*z - z. Let f be y(z). Is 276/14 + f/28 a multiple of 10?
True
Let y be (4 - -2) + (0 - -1). Suppose -g = -2*v - 14, y*v = -g + 3*v - 4. Does 2 divide g?
True
Let z(n) = -n**2 - n. Let k(o) = -2*o**2 - 3*o + 1. Let m(g) = k(g) - 3*z(g). Let p be m(1). Suppose p*q + 16 = 6*q. Is 4 a factor of q?
True
Suppose 0 = -3*i + 5*i + 14. Let h = 14 + i. Suppose 3*u + 128 = h*u. Does 19 divide u?
False
Let l(k) = -5*k + 19. Let p be l(8). Let q = 37 + p. Does 4 divide q?
True
Let u be (-19)/4 - (-9)/12. Is 10 a factor of 7 - (-2 + 3 + u)?
True
Let s(x) = 19*x**2 - 4*x - 6. Does 3 divide s(-2)?
True
Suppose 3*n + 5*j - 2*j + 6 = 0, 4*n - 2 = -2*j. Suppose n*p - 21 = 2*p. Is p a multiple of 11?
False
Let h = 1 + 3. Suppose 2*p - 7 = 4*a + a, -5*p + h*a = -60. Is 8 a factor of p?
True
Let w(d) = 6*d + 4. Let b = -16 - -22. Does 9 divide w(b)?
False
Let b be -1*(1 - 1)/3. Suppose -3*c - 4 + 10 = b. Is c even?
True
Let z(u) = -u**3 - 4*u + 3*u**2 + 0*u**3 + 2*u**3. Let b be z(-4). Let c(k) = -k**3 + 30. Is 15 a factor of c(b)?
True
Let m(r) = 2*r + 4. Let w be m(9). Suppose -5*l + 72 = w. Does 3 divide ((-12)/l)/((-18)/60)?
False
Suppose 2*d - 50 = -3*d. Suppose 10*m - 5*m = d. Suppose -n + 4*q + 51 = 0, -2*n + 70 + 20 = -m*q. Is n a multiple of 22?
False
Let g(r) = -r**3 - 5*r**2 - 5*r + 4. Let z be g(-4). Let y(a) = -3*a + z - 8. Is y(-4) a multiple of 12?
True
Let m = 2 - 3. Let x = 2 - m. Let b(a) = a**2 - 2*a + 4. Is b(x) a multiple of 4?
False
Is (-6)/(-9)*(-186)/(-4) a multiple of 13?
False
Let r(t) = 11*t + 2. Let q be 