 7 + 0*r - 2*r + 19 + l*r. Does 13 divide x(0)?
True
Suppose r - 5*v = 17, 0 - 3 = v. Suppose r*u + 5*z = -2*u - 3, 5*z + 18 = u. Does 3 divide u?
True
Let s(z) = 4*z**3 - 6*z + 0*z - 5*z**3 + 2*z + 7*z**2. Does 4 divide s(6)?
True
Suppose 0 = 4*k - 1 - 43. Is k a multiple of 8?
False
Suppose 66 = -0*l + l. Is 14 a factor of l?
False
Suppose 0 = 5*u + 15 - 245. Let q = u + 1. Does 12 divide q?
False
Is 3 a factor of 9 + 3 - -1*1?
False
Suppose -3*c = -4 + 28. Let l(y) = 5*y**2 + y - 1. Let b be l(2). Let u = c + b. Does 13 divide u?
True
Let j(b) = -2*b + 21. Does 17 divide j(-15)?
True
Suppose -i = -3*s + i + 39, 0 = 4*s - 5*i - 45. Is 15 a factor of s?
True
Suppose 0 = 3*w - 5*w + 2, -2*w = -r + 3. Let v(k) = 4*k**2 - 4*k + 0*k**2 - 3*k**2. Is v(r) a multiple of 5?
True
Let z(j) = 12*j**2 - 4*j + 9. Let w be z(3). Suppose -85 = -3*o + 128. Let i = w - o. Does 12 divide i?
False
Let h(b) = 2 + 2 + 2*b + 3*b**2 - b. Is h(-3) a multiple of 11?
False
Let u(p) = 37*p + 2. Let q be u(-2). Let n = q - -108. Does 14 divide n?
False
Let k = 891 - 624. Does 14 divide k?
False
Let m(n) = n**3 + 7*n**2 - 6*n - 2. Is 8 a factor of m(-7)?
True
Suppose 4*o - c + 5 = 0, -o - 10 = -2*c - 0*c. Suppose k + o - 12 = 0. Is k a multiple of 6?
True
Does 15 divide (2 + 8/(-3))/((-2)/225)?
True
Suppose -14 = -4*u + 5*i, u + 2*i + 3 + 0 = 0. Suppose -2*d + 3 = -u. Suppose -6 = -d*t + 20. Is t a multiple of 13?
True
Suppose -50 = -2*g - 0*g. Is 5 a factor of g?
True
Suppose -11*r + 13*r - 64 = 0. Does 16 divide r?
True
Let l(p) = p**2 + 2*p - 9. Suppose -2*h + 16 = -0*h - 2*j, 0 = h + 2*j + 1. Suppose -3*u + 24 = h*s, -4*s - 4*u + 22 = s. Is 13 a factor of l(s)?
True
Let z = 4 + 172. Does 22 divide z?
True
Let d = 102 + -82. Is d a multiple of 8?
False
Let g(y) = -12*y**2 + y - 1. Let z be g(1). Suppose c - 7 = 9. Let m = c - z. Is m a multiple of 14?
True
Let q(z) = 7*z - 10. Is 16 a factor of q(6)?
True
Let d(f) = -8*f**2 - 3*f + 5. Let p(c) = 23*c**2 + 10*c - 14. Let y(b) = 17*d(b) + 6*p(b). Does 8 divide y(-6)?
False
Is 18 a factor of 1818/(-12)*(2/3 + -2)?
False
Let s = 24 - 79. Let q be -3 + 2 - (2 + s). Suppose c - q = -c. Is c a multiple of 13?
True
Let i = -8 - -10. Suppose -58 = -i*g + 6. Is g a multiple of 7?
False
Suppose 5*q + 2*a - 1183 = 0, 1138 = 3*q + 2*a + 425. Does 24 divide q?
False
Let a(j) = j**2 - 9*j + 3. Let k be a(9). Suppose 24 = 5*m - k*m. Is 6 a factor of m?
True
Let p = 34 - -2. Is p a multiple of 12?
True
Let n = -17 - -32. Is n a multiple of 5?
True
Let m(s) = s**3 - 7*s**2 + 9*s - 1. Let c be m(6). Suppose 5*o = -2*n + 33, -3*o + n = -5 - c. Does 2 divide o?
False
Suppose -725 = -2*p + 3*l, -1082 = -p - 2*p - l. Suppose p - 131 = 5*n. Is n a multiple of 16?
False
Let i be (2/5)/((-6)/(-60)). Suppose 6*a + 35 = n + 2*a, -5*a - 162 = -i*n. Is 18 a factor of n?
False
Suppose -2*z - 2*o = z - 16, 0 = -z - 4*o - 8. Is z even?
True
Let y be (-78)/(-18) - (-2)/(-6). Suppose 0*f - 2*f + 4*x = 10, 0 = 4*f - y*x. Suppose -c + 58 = -q + f*q, -q + 19 = -2*c. Is 15 a factor of q?
True
Let o(f) = -f**2 + 11*f - 9. Let q be 4/10 + (-168)/(-30). Does 14 divide o(q)?
False
Let f(s) = s**2 - 3*s + 6. Let g = -13 + 8. Does 16 divide f(g)?
False
Suppose 5*i - c + 35 = -14, -2*c + 28 = -3*i. Does 10 divide (-40)/(-14)*(-35)/i?
True
Let p(c) = -4*c**3 - 4*c**2 - 8. Is 21 a factor of p(-4)?
False
Is 9 a factor of 13/(-2 - 90/(-42))?
False
Let b = -41 - -228. Is b a multiple of 17?
True
Suppose -242 = -5*b + 48. Let q = b - 36. Is q a multiple of 6?
False
Let m = 31 - -1. Is 13 a factor of m?
False
Let c = 1 + 31. Is 3 a factor of c?
False
Does 5 divide (-1)/(-4) - (-59)/4?
True
Let f = -9 + 7. Let n(x) = -2*x - 1. Let h be n(f). Is 4 a factor of 0 + h + 1 + 0?
True
Suppose 6*w - 3*w - 12 = 0. Suppose -j + 1932 = -w*j. Does 10 divide 4/(-6) + j/(-21)?
True
Suppose y = -4*d + 26, 2*y - 89 = -y - d. Is y a multiple of 15?
True
Suppose -5*c - 212 = -c. Let s = -23 - c. Does 10 divide s?
True
Suppose 0 = -3*b - 15, 3*m = -m - b - 1. Let u be (0 + -1)*(-4 - 3). Let p = u + m. Is 3 a factor of p?
False
Suppose 4*v - 2*v - 500 = -2*j, 3*v - 770 = j. Does 15 divide v?
True
Let x(c) = c**2 + 9. Let y be x(0). Suppose -4*l = -20, -a + 2*l = -27 + y. Is 15 a factor of a?
False
Let m(z) = -17*z**2 + 9*z - 13. Let l(c) = 9*c**2 - 5*c + 7. Let g(i) = -7*l(i) - 4*m(i). Let h(s) be the first derivative of g(s). Is 12 a factor of h(2)?
False
Let y = 110 - 49. Is y a multiple of 3?
False
Let o = 90 + 25. Does 23 divide o?
True
Suppose -n = -24 + 3. Is n a multiple of 21?
True
Let n = -9 - -43. Suppose -20 = 4*z, -4*c - 2*z = -n - 36. Is 10 a factor of c?
True
Suppose -7*q + 2*q + 130 = 0. Let k = q - 11. Does 12 divide k?
False
Suppose -2*a + 40 = -4*f, -5*a - f - 4*f + 40 = 0. Suppose 2*l + v = -v + a, 48 = 5*l - v. Is 8 a factor of 150/l + 4/(-6)?
True
Let v be ((-2)/(-8))/(8/32). Let h(t) = 14*t**2 - t + 1. Is h(v) a multiple of 7?
True
Suppose 5*t - 83 = 187. Does 10 divide t?
False
Let q(i) = 21*i**3 - i**2 - 2*i + 2. Is 11 a factor of q(2)?
False
Let z(h) = -h**3 + 5*h**2 + 8*h - 6. Is z(6) a multiple of 6?
True
Let a = 1 + 2. Let w be a + (-2 - 18/(-3)). Is 3/(-3)*2 + w a multiple of 5?
True
Let s(i) = -i. Let a(r) = 6*r - 4. Let l(b) = a(b) + 5*s(b). Let k be l(4). Suppose 4*c - 48 + 4 = k. Is c a multiple of 5?
False
Suppose 3*m - 2*c = 10 + 2, 21 = 3*m - 5*c. Is m/(-6) + (-165)/(-9) a multiple of 5?
False
Let a = -69 - -81. Is 12 a factor of a?
True
Let g be 3 - (-3 + 2 - 11). Suppose -g = 4*v - 59. Is v a multiple of 4?
False
Let w(b) = -70*b. Let m be w(1). Does 3 divide (-72)/(-7) + 20/m?
False
Does 25 divide (((-48)/(-20))/(-4))/(5/(-525))?
False
Suppose -29 = -m + 2. Suppose m = 2*o - 27. Is 10 a factor of o?
False
Let v = 39 + 9. Is v a multiple of 16?
True
Let l(w) = -4*w**3 + w**2 - w - 1. Is l(-1) even?
False
Does 3 divide (((-192)/9)/4)/((-4)/18)?
True
Suppose -4*a = -13 - 27. Suppose a = w + 2. Is 2 a factor of w?
True
Suppose -5*n - 5 + 55 = 5*b, -4*n + 22 = -5*b. Let p(z) = z**3 + 6*z**2 + 1. Let s be p(-6). Suppose m - n = -s. Is 7 a factor of m?
True
Let j be (1 + 0 - 2)*1. Let w(s) = -s**3 + 6*s**2 + 9*s - 5. Let g be w(7). Let k = j + g. Is k a multiple of 4?
True
Let s(j) = 45*j**2 + 2. Is s(-2) a multiple of 26?
True
Let b be 3 + (9/3 - 1). Suppose b*h = 9*h - 168. Suppose -l = -3*l + h. Is l a multiple of 7?
True
Let b = -52 + 109. Let h = b + -85. Let p = -18 - h. Is 4 a factor of p?
False
Suppose -4*m - 6*m + 1250 = 0. Is 25 a factor of m?
True
Let k = 34 + 38. Is k a multiple of 9?
True
Suppose -72 - 48 = -5*k. Suppose -3*g = g + 5*w - 12, -4*w = 5*g - k. Suppose -g = -2*i + i. Is 4 a factor of i?
True
Let n = 120 + -67. Let i = -8 + n. Is 10 a factor of i?
False
Is (-107)/(-2) + 1/2 a multiple of 20?
False
Suppose -5*o - 2*a = -9 - 8, 0 = a - 1. Suppose 0 = -x + 2, -n + 4*x = -2 - 1. Suppose 3*r = c + n, -o*r + 0*r = 4*c - 31. Does 4 divide c?
True
Suppose 19*t - 5*t = 364. Is 13 a factor of t?
True
Is (10/2)/(4/48) a multiple of 15?
True
Let c(x) = x**2 - 10*x - 12. Let f(p) = -2*p**2 + 19*p + 24. Let y(m) = -7*c(m) - 4*f(m). Is y(-5) a multiple of 9?
False
Let k = 10 - 6. Is 21 a factor of 30 - -5*k/(-10)?
False
Suppose 0 = -x + 4*x. Suppose 5*s = -3*q - 16, -q - 4*s = -x*q + 17. Suppose q*k + 3*l - 87 = -k, 60 = 3*k - 3*l. Is k a multiple of 14?
False
Suppose -733 = -7*t + 100. Does 10 divide t?
False
Suppose 4*i - 17 = -2*j - 5, -5*i + 36 = 4*j. Let b = j - 7. Is 5 a factor of b?
False
Let g(y) = -y - 1. Let s be g(-3). Let d be (-4)/s + (-145)/(-5). Is (4/6)/(3/d) a multiple of 4?
False
Let f(r) = 20*r + 7. Let y(c) = -5*c - 2. Let q(l) = 2*f(l) + 9*y(l). Suppose -17 - 7 = 4*a. Is 12 a factor of q(a)?
False
Is 9 a factor of (57 - 37)*4/1?
False
Let x = -8 - -68. Is 34 a factor of x?
False
Let z(j) = -j**2 + j - 2. Let t be z(0). Let c(k) = 0*k**2 + 2 + 4*k**2 + 2*k + 0*k**2. Is c(t) a multiple of 14?
True
Suppose 4*b + h = 125 + 27, 0 = 2*b - 5*h - 54. Let q = b - -8. Is 16 a factor of q?
False
Suppose -2*x - 15 - 27 = 0. Is (-204)/x + (-2)/(-7) a multiple of 10?
True
Let v(a) be the first derivative of -19*a**2/2 + a + 4. Is v(-1) a multiple of 20?
True
Let l(m) = m + 8. Is 12 a factor of l(4)?
True
Is 16 a factor of (-6 - 8)*(0 - 8