 -19. Let l be (0 + (-6)/(-9))*-6. Is 9 a factor of m/l + (-2)/(-8)?
True
Suppose -x + 2*g + 4 - 3 = 0, 6 = -x - 5*g. Let s(a) = 26*a**2 + 10. Let h(p) = -9*p**2 - 3. Let f(b) = -7*h(b) - 2*s(b). Is f(x) a multiple of 11?
False
Suppose 25 + 335 = 4*f. Does 30 divide f?
True
Let u = -5 - -10. Suppose 0 = z - 1, z + 0 = u*k - 14. Suppose -k*d - f = -0*f - 41, -3*f = 5*d - 71. Is d a multiple of 13?
True
Let d(s) = 2*s**2 + 7*s + 5. Suppose 5*r + 0*r = -20. Is d(r) a multiple of 4?
False
Suppose 3*q + h = -q, 4*q - h = 0. Let g be q/(-2 + 3)*1. Does 16 divide (33 - 0/2) + g?
False
Let j(u) = 33*u**3 - u**2 - u - 1. Let d be j(-1). Let z be 15/(6*(-1)/(-20)). Let o = d + z. Does 6 divide o?
False
Let l(v) = -v + 6 + 5 - 3. Let x be l(6). Suppose x*j + 20 = 7*j + 3*n, -13 = j + 4*n. Is j even?
False
Suppose -2*g + 0*t + 62 = 3*t, -4*g + 120 = 4*t. Suppose -11 = -3*k + 3*p + g, -68 = -5*k + 4*p. Does 9 divide k?
False
Suppose -c - 2*d = -15, -3*d + 1 = 5*c - 60. Suppose -5 = -4*f + 3*i - 2, 0 = -3*f + 3*i. Suppose -f*v + c = -2*v. Does 11 divide v?
True
Suppose 3*x - 26 = -4*n - 8, -1 = 3*n - 5*x. Suppose -21 = -3*k + n. Let o = k - 5. Is o a multiple of 2?
False
Let p be (-4)/16 - 243/(-12). Let i = p - -4. Is i a multiple of 7?
False
Let m(p) = 61*p**3 - 60*p**3 - 10 - 7*p**2 + 3*p + p. Is m(7) a multiple of 6?
True
Let x(m) = m**2 + 5*m + 4. Suppose -6*b + b - 20 = 0. Let s be x(b). Is (2 + s - -7)*2 a multiple of 18?
True
Let o be (-1)/(1 + (-4)/6). Let q = o - -7. Let h = q + 5. Is h a multiple of 9?
True
Let a(j) = 3*j**2 + 4*j + 3. Let g be a(-3). Let x = g + -6. Does 7 divide x?
False
Let q(j) = -j**3 - 2*j**2 + 5*j - 2. Is q(-5) a multiple of 12?
True
Suppose 5*d - 9*d + 3*f = -43, -4*f = 4*d - 64. Suppose 123 = 4*k - 3*n, -k = -2*n - d - 19. Suppose 4*z - k = -6. Is 2 a factor of z?
True
Suppose 6*w - 7*w + 4 = 0. Suppose w*a - 210 = -a. Is 14 a factor of a?
True
Let l(k) = -k**2 + 12*k - 9. Let c be l(11). Is (-836)/(-32) - c/16 a multiple of 13?
True
Suppose -3*b = 4*z + b - 124, 0 = -4*z + 2*b + 124. Does 15 divide z?
False
Let v be ((-6)/(-4))/((-12)/(-16)). Suppose -v*k - x + 23 = 0, 0 = -3*k - x + 2*x + 47. Is k a multiple of 14?
True
Is 68/2 + (-1 - (-7 - -3)) a multiple of 6?
False
Let c be 2/4*53*-2. Is 8 a factor of c/(-4) - (-12)/(-48)?
False
Suppose 4*o - 6 = 6. Is 3 a factor of o?
True
Let w = 8 - 4. Suppose -w*q - 3 = -15. Suppose -48 - 57 = -q*l. Does 11 divide l?
False
Suppose -2*p = 28 + 62. Does 9 divide 2 + (-2)/(2/p)?
False
Let g(i) = -119*i + 9. Does 19 divide g(-3)?
False
Suppose a - n - 16 - 106 = 0, -4*n = 2*a - 256. Let k = -57 + a. Is 17 a factor of k?
False
Let g = 32 + -23. Suppose 0 = 4*x - x - g. Suppose 0 = -x*b + 19 + 71. Does 10 divide b?
True
Let r(b) = -b - 6. Let h be r(-11). Suppose 0 = -h*z + 57 + 98. Is 13 a factor of z?
False
Let q(o) = 6*o**2 + 15*o + 13. Let f(x) = -x**2 - x - 1. Let w(n) = -5*f(n) - q(n). Suppose -2*i + 3*l - 6 = 5*l, 0 = -2*l + 6. Is w(i) a multiple of 6?
False
Let i(a) = 55*a - 35. Does 28 divide i(4)?
False
Let b be ((-32)/(-6))/(-4)*-6. Suppose 4*j - b = 36. Let d = j - 2. Does 9 divide d?
True
Let h be (5/15)/((-1)/(-21)). Let v = h + -3. Suppose v*t + 16 = 0, -i - 23 = 5*t - 6. Is i a multiple of 3?
True
Suppose -55 = -m + 2*t, 3*m - 6*t = -4*t + 153. Suppose -d - 4*a + 20 = -a, -m = -5*d + 2*a. Is d a multiple of 11?
True
Let l(j) = 8 - 2 - 2 + 3 - 4*j. Is l(-6) a multiple of 7?
False
Let c = 8 + -5. Suppose -l + 93 = 2*z + 2*z, -258 = -c*l - 5*z. Let d = -42 + l. Is d a multiple of 13?
True
Let c be 8/(-20) - (-127)/5. Let o be (10/c)/((-2)/10). Does 15 divide o/(-8) - (-381)/12?
False
Let t(u) = -61*u**3 - 3*u + 5. Let v = 0 - -7. Let x(o) = 92*o**3 + 4*o - 7. Let l(q) = v*t(q) + 5*x(q). Is 16 a factor of l(1)?
True
Suppose 0 = 2*v - 5 - 23. Suppose 51 = -5*o - v. Is 15 a factor of (0 - o) + -6 + 8?
True
Suppose -5*z = -3*z + 158. Let x = -55 - z. Is x a multiple of 12?
True
Let m(y) = y**2 + y + 1. Is m(6) a multiple of 18?
False
Let d(p) = p**2 - p + 2. Let x be d(2). Let m = 12 - x. Is 4 a factor of m?
True
Suppose 4*d - 15 = 53. Is 4 a factor of d?
False
Let x = 3 - 3. Suppose -2*p - 9 = -2*w - w, x = -3*p + 2*w - 6. Suppose p = 4*y - 3*b - b - 140, 2*y - b = 69. Is 19 a factor of y?
False
Let m(o) = -9*o - 4. Let r be m(-4). Let f = r - 8. Does 12 divide f?
True
Let b be (-170)/(-12) - 4/24. Suppose 3*p - 2*p - r = b, -3*p + 32 = -r. Is 4 a factor of p?
False
Let m(s) = -4*s - 11. Does 29 divide m(-10)?
True
Suppose -5*w = -37 - 78. Is 23 a factor of w?
True
Let t(b) = -b**2 - 7*b - 7. Let g be 4/10 + (-64)/10. Let o be t(g). Let x = o + 3. Is x a multiple of 2?
True
Let q = 40 + -25. Does 3 divide q?
True
Suppose 0 = 2*j + 3*z - 87, -4*z - 3 = -3*z. Is 12 a factor of j?
True
Let h(j) = j + 24. Is h(10) a multiple of 30?
False
Let y = 225 - 141. Is 21 a factor of y?
True
Let z = 23 + -40. Let f = z + 32. Is f a multiple of 5?
True
Suppose -5*f - 152 + 572 = 0. Suppose m = 4*m - f. Does 14 divide m?
True
Suppose n - 2*g - 9 = 0, 0*n = 2*n - 5*g - 18. Let k(o) = 2*o - 1. Let v be k(6). Suppose -n = -2*b + v. Is b a multiple of 4?
False
Suppose -3*h + 21 = 4*c + 3, -3*c + 13 = 2*h. Suppose -h*g + 92 = g + 5*a, 3*a + 210 = 5*g. Does 10 divide g?
False
Suppose -2*i = 2*i - 12. Let c(g) = i - 3*g + 3*g + g. Is c(6) a multiple of 5?
False
Suppose 0 = 2*f + f - 2*r - 90, 3*f - 4*r - 90 = 0. Does 11 divide f?
False
Let c(u) = 9*u - 18. Does 6 divide c(4)?
True
Let g(t) = -t - 5. Let l = 4 - 0. Let p(f) = 2*f + 11. Let i(h) = l*p(h) + 7*g(h). Does 7 divide i(0)?
False
Suppose -6*j + 3*j = -3, -4*d + j + 131 = 0. Does 11 divide d?
True
Let q(s) = s - 3. Let d be q(5). Suppose 0 = 5*b - 0*a - 2*a - 10, d*a = -2*b + 4. Suppose -3*z = -5*w - 38 - b, z + w = 0. Is z a multiple of 5?
True
Let d be 42/(-9) - 4/(-6). Let i = 13 + d. Is i a multiple of 9?
True
Let n = -117 + 193. Is 38 a factor of n?
True
Is 23 a factor of -4 - (3 - 0 - 85)?
False
Suppose v = -5*r + 4*v + 62, -5*v + 57 = 4*r. Suppose -3 - r = -2*h. Does 6 divide h?
False
Suppose 3*o - 6*o + 4*y + 29 = 0, -4*o - 4*y = -20. Is o a multiple of 2?
False
Let v(f) be the third derivative of -f**5/60 - f**4/8 + f**3/3 - 2*f**2. Let s be v(-3). Suppose s*a - 6*a = -168. Does 21 divide a?
True
Let a(o) = -1. Let g(c) = 2*c + 3. Let i(t) = -2*a(t) - g(t). Let s be i(4). Let z = 3 - s. Does 11 divide z?
False
Let a(m) = 12*m**2 - 1. Let v = 1 - 0. Does 5 divide a(v)?
False
Does 10 divide (1 - -2)*-3*(-40)/9?
True
Suppose -19*u + 18*u + 99 = 0. Is u a multiple of 12?
False
Suppose -6*k + 8 = 2*r - k, -2*k = 0. Suppose r*f - 3*f = -13. Let c = 25 + f. Does 4 divide c?
True
Suppose -5*r - a - 2 = 0, 2*a + 3 + 1 = 5*r. Suppose r*c = -3*c + 90. Does 10 divide c?
True
Suppose -2*d + 968 = 9*d. Is 11 a factor of d?
True
Let b = 105 - 40. Is b a multiple of 13?
True
Is 214/2*5/5 a multiple of 13?
False
Let g = 25 - 54. Let s = g + 9. Does 12 divide s/6*(-48)/10?
False
Let k(p) = 6*p**2 + 15. Is k(4) a multiple of 25?
False
Suppose 0 = -5*u + u - 108. Suppose -5*m + g - 370 = 204, -4*g = m + 98. Does 19 divide m/(-2)*(-9)/u?
True
Let f(s) = 5 + 5*s - 5*s + 3*s. Let d be 1/2*(14 - 4). Is 10 a factor of f(d)?
True
Let c be -3*1 - (-8 - 1). Suppose -q - 55 = -c*q. Is 90/q - (-16)/(-88) a multiple of 8?
True
Let c = 109 - -73. Is c a multiple of 7?
True
Let a be (-1 - -65)/2 - 1. Suppose a = 4*j + 7. Does 5 divide (-3 + j)*(-10)/(-3)?
True
Let n be (-1)/(0 - (-4)/(-8)). Suppose n*t + 6*m - 128 = m, 242 = 3*t - 5*m. Does 15 divide t?
False
Suppose 0 = -2*b + 4 - 2. Let x be 11/(-1 + b - -1). Is (-1*x)/(2/(-4)) a multiple of 22?
True
Suppose -5*u - 4*j - 32 = 0, u - 2*j + 0*j = 2. Let b(y) = -y**3 - 4*y**2 - 2*y - 6. Let k be b(u). Suppose 0 = 3*l + k*l - 75. Does 13 divide l?
False
Suppose -30 = -5*g + 15. Suppose 3*s + 18 - 4 = 2*z, -5*z + g = -s. Is 5 a factor of (0 - (14 - z))*-1?
False
Suppose -5*g + 3*a - 421 = 0, -40 = g + 5*a + 33. Let d = g - -117. Does 34 divide d?
True
Let p(n) = -902*n + 453*n + 452*n + 2. Let u(j) = -j**3 - 3*j**2 - j + 1. Let m be u(-3). Does 6 divide p(m)?
False
Let m(g) = g**3 + 9*g**2 + 12*g + 4. Is m(-5) a multiple of 13?
False
Suppose -19*v + 147 = -12*v. Does 7 divide v?
True
Let r be ((-8)/(-4) - 0) + 