-5)*(-14 + 19). Suppose 168 = 4*n - k*l - 2*l, -l = 3*n - 145. Let g = -15 + n. Is g a multiple of 7?
False
Suppose 2*t = -4*r + 80, 5*r + 7*t - 6*t - 94 = 0. Suppose 0 = 2*v + 3*a - a - 32, 0 = 3*v + 4*a - 52. Let x = r + v. Is 10 a factor of x?
True
Suppose -2*f = -2*d + 7*d + 11, -5*f = 5*d + 35. Let j = f - -36. Is j a multiple of 28?
True
Let r = 127 + -63. Let w = -51 + r. Is 4 a factor of w?
False
Let p be (-1962)/(-7) + (4/(-14))/1. Suppose p = -0*t + 4*t. Is t a multiple of 7?
True
Suppose -4*j - 24*j + 24528 = 0. Is j a multiple of 5?
False
Let s(g) = -3*g + 93. Is 3 a factor of s(-13)?
True
Suppose 48*w = 16667 - 827. Is 3 a factor of w?
True
Let q(k) = -k**3 + k**2 - 2*k + 21. Is q(-11) a multiple of 13?
True
Suppose -2*z = 4*k - 522, -3*k + 249 + 143 = 2*z. Suppose 4*o + 3*i - 123 = 0, 4*o + 4*i = -10 + k. Is 33 a factor of o?
True
Suppose -2*t + k + 140 = 0, -3*t + 0*k - 2*k + 210 = 0. Suppose 5*d = 3*l + 2*l + t, 3*l = 12. Does 2 divide d?
True
Let h(y) = 545*y**3 + 3*y**2 - 2*y. Is 13 a factor of h(1)?
True
Let c(n) = -n**3 - 3*n**2 + 7*n + 13. Let d be c(-7). Let k = d + -96. Does 14 divide k?
False
Suppose -3*j = -c - 2*c + 18, 4*c = 2*j + 22. Let f = -6 + 21. Does 28 divide 6*f + 0/c?
False
Let r(v) = 0*v**3 - 36 + 29*v**2 - 11*v**2 + v**3 + 21*v. Does 28 divide r(-16)?
True
Let l = 38 - 28. Does 33 divide ((-146)/(0 - 2))/(5/l)?
False
Let v = 18 + -14. Suppose -i + 5 = v*i. Is 17 a factor of (-1068)/(-21) + i/7?
True
Let x(g) = 2*g + 12. Let f be x(-6). Suppose -j = -f*j. Is 28/(-10)*(j + -5) a multiple of 7?
True
Let i(y) = -y**3 + 6*y**2 - 6*y + 5. Let d be i(5). Suppose -2*z = -d*z - 6. Suppose 4*c - 99 = 5*n, -4*c - 4*n + 105 = -z*n. Does 26 divide c?
True
Let r be ((-2)/6)/((-5)/45). Let i be (-104 - r)/((-2)/22). Is 13 a factor of (-4)/6 + i/33?
False
Suppose -2*h + 5*v = -3*h - 162, -2*v = 2. Let j = 25 - h. Is 26 a factor of j?
True
Suppose 5*i = 4*a - 86, -40 = -2*a + 5*i + 8. Let l = 23 - a. Suppose 5*j - 88 = -l*c, -c + 0*c - j = -21. Does 14 divide c?
False
Let b(r) = -r**3 - 5*r**2 - 6*r - 3. Let w be b(-4). Does 7 divide -2 + 1 + 83 + w?
False
Let o(f) = f**2 + 16*f - 226. Is o(-34) a multiple of 59?
False
Let l(d) = d**3 + 4*d**2 + 4*d + 5. Let f be l(-3). Let t(i) = 5*i**f - 1 - 12*i**3 + 7*i - 4 + 11*i**3. Does 10 divide t(5)?
True
Let m be 8/(0 - -2) + -133 + 4. Let f = -112 - m. Does 2 divide f?
False
Suppose 0 = 5*z + 3*p - 898, -4*z + 5*p + 712 = 9*p. Is z a multiple of 7?
True
Let v = 32 + -9. Is v*(-3 + 21/3 - -1) a multiple of 18?
False
Let o = -2 + 10. Let k(h) = 2*h + 3 + o*h - 4*h + 5*h. Does 18 divide k(3)?
True
Let n(b) = -4*b + 21. Let u be n(5). Let d(w) = -28*w + 1. Let k(g) = -83*g + 3. Let x(v) = 17*d(v) - 6*k(v). Is 7 a factor of x(u)?
True
Let u = 1887 - 1272. Suppose 4*a - 2*c + 3*c = u, 147 = a - 2*c. Is a a multiple of 17?
True
Suppose 5337 + 1503 = 24*j. Is j a multiple of 10?
False
Suppose -5*z - 130 = o, 91 + 183 = -2*o - 3*z. Is 1/(2*(-2)/o) a multiple of 23?
False
Suppose 3*o + 26*u - 24*u - 2540 = 0, -3*u = 2*o - 1690. Does 4 divide o?
True
Suppose -5*s - 4*b + 1858 = 0, 4*b + 216 + 170 = s. Is s a multiple of 22?
True
Suppose 5*u = -30*u + 97020. Does 66 divide u?
True
Let b = 487 + 244. Is 17 a factor of b?
True
Let a = -32 - -40. Suppose 3*x = s - 39, 4*x = a*x - 4. Is s a multiple of 7?
True
Suppose 0 = 5*v + 2*q - 480, v - 4*q + 96 = 2*v. Suppose -88 = 92*o - v*o. Is o a multiple of 13?
False
Let j = -7 + 11. Suppose -r = -j*r - 21. Let a = r - -37. Is 6 a factor of a?
True
Let a be (-5)/(-2)*(1 - 3). Let u = 2 - a. Is 7 a factor of u?
True
Let k(i) = 3*i**2 + 16*i + 174. Is 19 a factor of k(16)?
False
Let a(k) = k**3 + 11*k**2 + 18*k + 1. Is 9 a factor of a(-8)?
False
Suppose -24*t + 352 = -32*t. Let z = t + 64. Is z a multiple of 20?
True
Suppose 0 = -3*y + y + 24. Suppose y = 3*n - 117. Let s = -31 + n. Is 6 a factor of s?
True
Suppose -3*k + 25 = 2*k. Suppose -k*c + 48 = c. Is c a multiple of 6?
False
Let c = -99 - -248. Suppose -8 = 3*a - c. Is a a multiple of 21?
False
Suppose -9*a + 10*a = 32. Is a a multiple of 3?
False
Let i = -284 - -1076. Is 36 a factor of i?
True
Let z = -80 - -40. Let l = z + 60. Is 13 a factor of l?
False
Suppose c = -4*v + 328, 145 - 555 = -5*v + 2*c. Does 12 divide (-1 + -2 + 4)/(2/v)?
False
Let h be (-2 - 1) + (-63 - 3). Let d = 141 + h. Is d a multiple of 36?
True
Suppose -4*b - 88 = -2*n + 28, 266 = 5*n + 2*b. Suppose n + 18 = 8*d. Does 3 divide d?
True
Let w(q) be the third derivative of q**5/30 + q**4/24 + 2*q**3/3 + 18*q**2. Is 12 a factor of w(-5)?
False
Let o be -606 - (4 + 16/(-4)). Let k = -406 - o. Does 50 divide k?
True
Let d(q) = 5*q + 5. Suppose -4*z - 5*l = -25, -z - 5*l = -2*z. Suppose z - 17 = -4*h. Does 9 divide d(h)?
False
Suppose 128*n + 1248 = 130*n. Is n a multiple of 18?
False
Suppose 4*w = 737 + 927. Is 32 a factor of w?
True
Let h(t) = 91*t + 73. Let i be h(7). Suppose 21*b - 1117 = i. Does 26 divide b?
False
Suppose -28 = q - 108. Is 7 a factor of q?
False
Is 549 + ((6 - 4) + -4 - 2) a multiple of 109?
True
Let a = 917 - 532. Does 15 divide a?
False
Does 30 divide 60*(-8 + (-70)/(-4))?
True
Let z = -31 + 36. Suppose 0 = -z*w + 90 + 80. Is 6 a factor of w?
False
Let k = 2 + 2. Suppose 5*m = -3*b + 81, k*m - 5*b = -3 + 53. Is m even?
False
Let r(t) = -22 + 12 + 7 + 36*t**2 - 4*t. Is r(-3) a multiple of 13?
False
Let p be -10 - (8/(-4) + 1). Let c = 15 + p. Suppose -v - 5*s = 3, -s + 15 = -c*s. Is 12 a factor of v?
True
Let x be (1/(-2))/(7/(-14)). Let j(v) = -3*v + 6*v**3 + 0*v + v + 2 + x. Does 13 divide j(2)?
False
Suppose 3*q + 55 = 2*p - 110, -66 = -p - 4*q. Suppose v + p = 162. Does 10 divide v?
False
Suppose -2*w + 4*q + 28 = 0, 5*w - 7*q = -5*q + 38. Suppose 2*s = w*s - 96. Is 6 a factor of s?
True
Let i = 22 - 22. Let z(o) = -o**2 + 99. Let d be z(i). Let g = -13 + d. Is 16 a factor of g?
False
Let n be 4/1 + 1 - 3. Suppose n*z + a - 5 = -0*a, 2*z + 4*a = -10. Is 14*(z - (5 - 1)) a multiple of 14?
True
Suppose -63 = 2*t - 3*z, 51 = 2*t - 3*t - 5*z. Does 12 divide -5 + 4 - (t - 2)?
False
Let p be (-4)/(-8)*-2*2. Let b be 168/20*(-15)/p. Suppose 17 = 5*a - b. Does 16 divide a?
True
Let d(y) = -19*y - 3. Suppose -3*s + 5*o = -1, -24 = 5*s + 2*o - 5. Let h be d(s). Let u = h - 4. Is 17 a factor of u?
False
Suppose -b + 45 = 26. Does 2 divide b?
False
Suppose 189*m = 186*m + 1824. Is m a multiple of 32?
True
Let o = -37 - -285. Is 4 a factor of o?
True
Let m(d) = 9*d**2 + 2. Let n = 25 - 27. Let k be m(n). Let q = -23 + k. Is q a multiple of 3?
True
Let r(i) = -i**3 - i - 10. Let v be r(-7). Suppose -v = -3*f - 2*f. Is 17 a factor of f?
True
Let a = 122 - 193. Let r = a - -137. Is 10 a factor of r?
False
Suppose 0 = 4*y + y + 485. Let v be 6/(-33) - 10374/(-66). Let i = v + y. Does 20 divide i?
True
Suppose -2*z = -6, 4*w - 7*z = -4*z + 11. Suppose -3*q = g - 824, w*g + 0*g = 3*q - 830. Suppose 0 = 3*j - q + 50. Does 13 divide j?
False
Let w(l) be the first derivative of -3*l**4/4 + 2*l**3/3 + l**2/2 + 8*l + 52. Is 20 a factor of w(-4)?
False
Let o(j) = j**3 - 20*j**2 + 11*j - 13. Is o(20) a multiple of 23?
True
Let b be 308/55*(-70)/(-4). Suppose 14 - b = -2*d. Does 15 divide d?
False
Is (264/143 - 2) + 15060/39 a multiple of 4?
False
Let s(a) = -2*a + 19. Let n be s(12). Let q(i) be the second derivative of -i**5/10 - i**4/2 - i**3/6 + 3*i**2 + i. Is 26 a factor of q(n)?
False
Suppose 12 = z - 3*q, -25 = -3*z + 3*q + 41. Is z a multiple of 4?
False
Suppose 0 = 2*q + 3*c + 15, 15 = -6*q + 2*q - 3*c. Let a be q*1/(-5) + 3. Suppose -5*b - 213 = -a*j, 5*b - 12 = b. Is 19 a factor of j?
True
Let m(h) = -h**3 - 3*h**2 + 19*h - 12. Is 6 a factor of m(-8)?
True
Let g be (-3)/(3*(-3)/(-27)). Let j = -6 - g. Suppose -2*p - 7 = -j*p. Is p even?
False
Let h = 17 - 12. Suppose -h*g - 8 + 18 = 0. Let q = 17 - g. Is q a multiple of 6?
False
Let d(i) = -i**3 + 16*i**2 - 14*i + 20. Let y(k) = k**3 - 25*k**2 + 27*k - 59. Let p be y(24). Does 15 divide d(p)?
True
Let w(o) = 6*o**2 - 12*o - 57. Is 24 a factor of w(-8)?
False
Let r = 1 - 1. Let g(z) = -2*z + z + 3 + 4 + r. Does 4 divide g(0)?
False
Let w(s) = -24*s**3 + 9*s**2 + 38*s + 142. Is 16 a factor of w(-5)?
False
Let g(i) = i**2 + 2*i. Let d be g(-3). Let v be 28 + 1 + 4 