 6. Suppose -2*r + 4*l = -142, r - p*r - l = -388. Suppose 5*w - r = -2*j, -5*w - 3*j + 59 = -19. Is 15 a factor of w?
True
Let x(i) be the third derivative of i**4/24 - i**3/3 - 3*i**2. Let q be x(5). Suppose q*o + 0*o = 45. Is 4 a factor of o?
False
Suppose -4*u = 16 - 72. Is 14 a factor of -3*(275/(-13) + u/91)?
False
Let z = -578 + 938. Suppose 7*b - 2*b - z = 0. Is 24 a factor of b?
True
Suppose -17 = -b + 367. Suppose -5*r + 2*w = -b, -2*r + 5*w = -7*r + 370. Is r a multiple of 19?
True
Let d(s) = s - 8. Let u be 6/4*32/6. Let k be d(u). Suppose -4*p = k, 2*b - b - 2*p = 18. Does 18 divide b?
True
Suppose x = 3*k - 8, 4*x = -3*k - x + 32. Let r = 18 + k. Does 7 divide r?
False
Let o(i) = -2*i**3 + 5*i**2 - 7*i - 24. Is 9 a factor of o(-6)?
True
Is 4 a factor of -2*(-5)/(-25) + (-12831)/(-15)?
False
Suppose 2*q = 2*w - 356, 4*w + q - 692 = -0*q. Is 29 a factor of w?
True
Let q be 1/(-2) + ((-15)/6 - -3). Suppose 5*b - b = 2*j - 84, q = 4*b + 20. Does 6 divide j?
False
Let s = 11 - 157. Let y = s - -256. Is 14 a factor of y?
False
Suppose b - 37 + 24 = 0. Suppose -25*s + 1296 = -b*s. Is 9 a factor of s?
True
Let p(z) = z**3 - 3*z**2 + 1. Let a be p(3). Let o(r) = 8*r + 2. Let b be o(a). Is -3*b*-2 + -3 a multiple of 19?
True
Suppose -5*g - 1179 = -4*y, -1067 = -3*y + g - 191. Does 4 divide y?
False
Suppose -4*w - 19*n + 20*n = -3829, 0 = 5*w - n - 4787. Is 50 a factor of w?
False
Suppose 0*l - l + 5*b = 2, -2*l + b + 32 = 0. Does 21 divide (0 - (-20)/6)*l?
False
Is 13 a factor of -1 + (-18972)/(-52) - 2/(-13)?
True
Let s(n) = n**2 - 7. Let b be s(3). Suppose 0 = b*m - 5*m + 195. Is 35 a factor of m?
False
Suppose 5*b - 12957 = -3*v, -2*v = -74*b + 75*b - 2590. Does 24 divide b?
True
Suppose 2*r + 18 = -5*s, -5*r + 11 = -3*s - 6*r. Let o(x) = -33*x + 8. Does 33 divide o(s)?
False
Let j = -6 - -15. Let n = -4 + j. Suppose 4*d - 60 = -3*r, -12 = -n*d - 5*r + 68. Is 8 a factor of d?
False
Let n = 1197 - 841. Does 45 divide n?
False
Let l = 3 + -1. Let r(m) = -10*m**l - 10 + 2*m**2 + 0 - m**3 - 2*m. Is r(-8) a multiple of 4?
False
Suppose 2*i + 4*r - 494 = -0*r, -2*r - 470 = -2*i. Is i a multiple of 12?
False
Let i = 16 - 25. Let r be i/(-6)*8/(-6). Let l(f) = 21*f**2 + 2*f. Is l(r) a multiple of 20?
True
Let q(a) = 3*a**3 - 22*a**2 + 9*a + 21. Does 66 divide q(9)?
False
Let w = 12 - 8. Suppose r - 5*q - 3079 = -3*r, 3*q - 3119 = -w*r. Is r/30 + 2/15 a multiple of 13?
True
Suppose -12*j = -j - 3762. Is j a multiple of 55?
False
Suppose -5*w = 4*w - 36. Suppose -w*u + 3*f + 114 = 2*f, 0 = u + f - 31. Is u a multiple of 15?
False
Let v = 139 + -123. Does 37 divide (-4)/(-8) + 1176/v?
True
Suppose 0 = -2*p + 2*z, -5*z + 5 = 3*p - 27. Suppose 9*k = 7*k - p*v + 326, k + v = 166. Is 19 a factor of k?
False
Suppose -3*v + 4*v - 30 = -4*j, -5*j - 112 = -2*v. Suppose 8*k = v - 6. Is 5 a factor of k?
True
Suppose 4*k + j - 2170 = 0, -2*k = 4*j - 229 - 863. Is 30 a factor of k?
False
Let a = 30 - 18. Suppose 4*h + a = -4. Let j(d) = -d**3 - 2*d**2 + 5*d + 10. Is 7 a factor of j(h)?
False
Suppose 0 = 5*c - 2*z - 326, 0 = -8*z + 6*z + 4. Is c a multiple of 8?
False
Let y = -1403 - -2313. Is y a multiple of 10?
True
Let z(y) = -y**2 - 6*y + 5. Let p be z(-6). Is 9 a factor of p - 9/(9/(-110))?
False
Let o(u) = 6*u**2 + 35*u + 447. Is o(-13) a multiple of 21?
False
Let q = 6 - 3. Suppose 5*k = -y - 21, -4*y + 2*k + 7 = -q*y. Let z(g) = -47*g**3 - 1. Is 23 a factor of z(y)?
True
Let m be 0 + -3 - 1 - -54. Suppose -4*h - 5*i = -0*h - 19, -i + m = 5*h. Is h a multiple of 11?
True
Suppose 0*s - 3*s + 12 = -5*p, 4*s - p = 33. Let x(k) = -s*k**3 + 13*k**2 - 4*k**2 + 5*k**3 + 3 + 5*k**3. Does 26 divide x(-8)?
False
Let k(b) = -230*b + 25. Is k(-4) a multiple of 15?
True
Let d(l) = -5*l + 14. Let o be -4 + -6 - (-3 + 2)*-2. Is 23 a factor of d(o)?
False
Suppose -93 = -f - 3*o, 4*o = -17*f + 13*f + 364. Is f a multiple of 9?
True
Let j(i) = 2*i**3 - i**2 - 6*i - 5. Does 9 divide j(6)?
False
Let k = 3 + 11. Suppose -b = 4*o + k, -o + 6 = 5*b - 0*o. Suppose -4*r - 315 = -5*l - 120, -b*r = 0. Does 13 divide l?
True
Let b be 17/4 - 3/12. Let o = 216 + -214. Suppose -4*u + m + 23 = 0, -o*u = -m - b*m - 25. Is u a multiple of 3?
False
Suppose 5*n - 232 - 618 = 0. Let h = -55 - -60. Suppose x - 6*x + h*y + n = 0, 0 = 5*x - 4*y - 170. Is x a multiple of 17?
True
Suppose 15*n + 740 = 3125. Is n a multiple of 38?
False
Suppose 5*i - 815 = 3*h + 751, -i = h - 318. Is 56 a factor of i?
False
Let q = 697 + -280. Is q a multiple of 18?
False
Suppose -384 = -3*y + 108. Is y a multiple of 16?
False
Suppose -9*g = -2*g - 6048. Suppose q - g = -7*q. Does 12 divide q?
True
Suppose -n - 144 + 889 = 4*p, 0 = -2*p + n + 371. Suppose u - 392 = -3*u + m, 3*m = 2*u - p. Does 17 divide u?
False
Let f(v) = 2*v**2 - 19*v - 18. Is f(14) a multiple of 2?
True
Let o(n) = n**3 - 7*n**2 - 3*n - 10. Suppose 6*s - s - 45 = 0. Let q(d) = -d**2 + 11*d - 10. Let b be q(s). Does 10 divide o(b)?
True
Let p(u) = u**3 + 4*u**2 + 9*u + 3. Let t be p(-4). Is 11 a factor of (-1)/9*3*t?
True
Let o = 49 - 12. Let g be -1 + (-1 - (0 + -2)) + 8. Suppose -7*z = -g*z + o. Is z a multiple of 20?
False
Let x(t) = t + 6. Let p be x(0). Is 10 a factor of -4 - (p + -2)*-11?
True
Let t(p) = 6*p**3 + 16*p**2 - 14*p + 14. Is t(4) a multiple of 14?
False
Let h(g) = -3 - 2*g + 0*g + g + 11. Let p be h(6). Suppose -2*k + t = -6*k + 113, -p*t = -10. Is 7 a factor of k?
False
Let s(z) = z**2 - 5. Let r be s(0). Let x = r + 4. Is 15 + -10 - (x + 1) a multiple of 3?
False
Let l(b) = 5*b - 61 + 58 - 52. Is 25 a factor of l(21)?
True
Let d = 18 - 29. Let a(m) = -2 - 3*m - 8 + m. Does 12 divide a(d)?
True
Suppose 20*z + 18830 = 34*z. Is 49 a factor of z?
False
Suppose -j - 179 = -t, t + 2*t - 541 = -j. Is 15 a factor of t?
True
Suppose 5144 = -6894*f + 6898*f. Is f a multiple of 69?
False
Let t be 294/(-102) - 8/68. Let n(x) = -39*x + 18. Is n(t) a multiple of 14?
False
Let q(x) = x**2 + 2*x + 4. Let c be q(-5). Suppose 4*u = 9*u + 55. Let w = c + u. Does 4 divide w?
True
Let h(k) = -46*k + 830. Does 8 divide h(13)?
True
Let n be (-4)/8 + 7/(-2). Let l = n - -13. Is l even?
False
Let j = -49 - -43. Is 34 a factor of j/12*(3 + -1) + 35?
True
Let c be 30/(-45)*(1 + -13). Let t(a) = a**2 + 6*a + 8. Is 20 a factor of t(c)?
True
Let c = 783 + -539. Suppose -3*w = -c - 146. Does 35 divide w?
False
Let x(w) = -w**2 + 42*w - 30. Is x(20) a multiple of 41?
True
Let t be -1 + 18*(-100)/8. Let c = -136 - t. Does 23 divide c?
False
Let w = 6 - 2. Let n = 7 + w. Let g = 19 - n. Is g a multiple of 8?
True
Let z = 9 + -18. Let k(h) = 8*h - 14. Let y(d) = 33*d - 57. Let u(c) = z*k(c) + 2*y(c). Is 18 a factor of u(-4)?
True
Suppose -33*k = 2*k - 175. Let u(x) = -13 - 3 + 2*x + 9*x. Is 13 a factor of u(k)?
True
Suppose -13 = -3*u - 4*c + 9, 0 = -5*u + c + 6. Is (-33)/(1 + -4) - u a multiple of 9?
True
Suppose -36 = 2*k + 2*j, -5*k + 5*j - 10 = 30. Suppose -10 = -19*l + 14*l. Does 5 divide l*(3 - k/2)?
False
Suppose -3*v = -f - 14 + 1, f = -1. Suppose 2*y + y = 3*l + 147, 0 = -3*y + v*l + 149. Is y a multiple of 6?
False
Is (-873*(-40)/(-30))/(-2) a multiple of 6?
True
Let h = -297 - -549. Is h a multiple of 14?
True
Is (-420)/(-5)*(-1 + (-57)/(-12)) a multiple of 9?
True
Let s = 36 - 24. Suppose 5*a - 28 = -b - b, -2*b + s = a. Suppose -5*q - 3*p + 491 = -a*p, -2*p = -4*q + 388. Is q a multiple of 21?
False
Let m(p) = -p**3 + 95*p + 2. Does 12 divide m(-10)?
False
Suppose 2*d = 155 + 239. Suppose -4*o + 5*u = -d, 0*o - 5*u = 3*o - 139. Does 24 divide o?
True
Let m(y) = -2*y**3 - 11*y**2 + 2*y. Is m(-6) a multiple of 2?
True
Let k be (-2)/(-8) + 222/8. Let a be 24 - (42/(-7))/((-3)/2). Suppose a + k = p. Does 24 divide p?
True
Let a be (-156)/9*(-6)/(-4). Let k = a - -56. Does 15 divide k?
True
Let a = 0 + -12. Let c(t) = -14*t**3 - 47*t**2 - 14*t - 11. Let p(r) = 5*r**3 + 16*r**2 + 5*r + 4. Let d(x) = 4*c(x) + 11*p(x). Is 4 a factor of d(a)?
True
Let u(f) = -13*f**3 - 2*f**2 + 2*f. Let s be u(1). Let h be (-76)/8 - 1/2. Is 13 a factor of (s/2)/(5/h)?
True
Let t = -509 - -330. Let o = t + 353. Is 7 a factor of o/24 - (-2)/(-8)?
True
Let c(l) = -2*l + 4. Let h be c(2). Does 53 divide h - 468/((-8)/2)?
False
Let p(d) = 6*d - 53. Is p(23) a multiple of