2*k, -3*r - 3*k + 138 = 0. Let f = d - r. Does 27 divide f?
False
Let r(k) = -2*k + 15. Let v be r(6). Suppose 4*l = l + 3, -v*f = l - 325. Is 8 a factor of f?
False
Suppose -5*u - s = -2*u - 98, 2*u - 66 = -s. Suppose -2*r + 82 = -u. Is 4 a factor of r?
False
Let m = -1494 + 1060. Let n = 794 + m. Is n a multiple of 90?
True
Suppose -19*a - 905 = -24*a. Suppose 0 = 5*v - 4*q + 6, 0*v - 24 = -2*v - 5*q. Suppose -l + 7*n = v*n - 82, -2*n = -3*l + a. Is l a multiple of 8?
False
Let l(r) = -540*r + 52. Suppose 13*v - 10*v = 3*i, 5*v + 5*i + 30 = 0. Is 76 a factor of l(v)?
True
Let h be 391/2*(4 - (4 + 2)). Let q = h - -571. Is q a multiple of 4?
True
Let n(m) = m**3 + 9*m**2 + 8*m - 1. Let z be n(-7). Let b = z + -41. Suppose 4*v = -b*v + 16, 2*v = -5*d + 128. Is 24 a factor of d?
True
Let l(y) = -y**2 + 11*y - 2. Suppose 6*d = 5*t + 2*d - 355, 3*t = -2*d + 213. Suppose 19 + t = 9*z. Is 2 a factor of l(z)?
True
Does 36 divide (1390/(-15) - 10)/(3/(-162))?
True
Is (-9 - -2)/(630/(-900)) + 14489 a multiple of 8?
False
Let f(r) = r + 10. Let z(w) = w - 8. Let x be z(3). Let y be f(x). Suppose 0*u = y*u - 570. Is 39 a factor of u?
False
Let w(h) = -h**3 - 5*h**2 - 5*h + 2. Let i be w(-5). Let p be 2/(-2)*(-12 + i). Let x = 94 + p. Is 9 a factor of x?
False
Suppose 58662 - 14904 = -6*k + 17*k. Is 9 a factor of k?
True
Suppose -x - 2*b + 8679 = 0, -6*x + 5*x + 8715 = -7*b. Is 29 a factor of x?
False
Suppose -24 = -4*g + 4*m, -2*g - 5*m + 13 = 29. Suppose 19*w = g*w + 51. Is 3 a factor of w?
True
Suppose 64*c - 133*c = -2110089. Is 27 a factor of c?
False
Let i = 827 + -466. Suppose h = 105 + i. Suppose 9*f - h - 1028 = 0. Is f a multiple of 40?
False
Let i = -11034 - -34456. Is 49 a factor of i?
True
Suppose 50*l - 44*l - 24 = 0. Suppose 12 = -4*w - 5*p - 30, -34 = l*w + p. Let s(v) = 2*v**2 - 5*v + 14. Does 14 divide s(w)?
True
Suppose -239*p + 372186 + 191854 = 0. Is 20 a factor of p?
True
Let t = 50 - 48. Let d be (t/1)/(-2)*1*61. Let k = d + 97. Is k a multiple of 2?
True
Let m(z) = 42*z - 3. Let w = -55 + 56. Let t be m(w). Suppose -46*c + t = -45*c. Is 3 a factor of c?
True
Suppose 0 = -3*l + 8 + 1. Suppose -486*z = -480*z. Suppose 5*s - 28 = -p + l*s, z = 4*p + 2*s - 130. Does 10 divide p?
False
Let n = 23211 + -12347. Is n a multiple of 62?
False
Let v(u) = -3*u + 30. Let g be v(7). Suppose 0 = -g*k + 12*k - 4*z - 2212, -4*z + 3676 = 5*k. Is k a multiple of 16?
True
Let i be 5/(-2)*(-56)/70 + -13. Let a = 92 + i. Is 9 a factor of a?
True
Let a = -159 + 161. Suppose 2*k - 1263 = 5*u, -3210 = 3*k - 8*k + a*u. Is 39 a factor of k?
False
Let w be ((-72)/(-15) - 6)/(6/(-380)). Suppose 0 = -5*j, -3*n - j + 74 = -w. Is n a multiple of 4?
False
Suppose 0 = 5*a + o - 14, 5*a = o - 0*o + 6. Suppose 0*k + a*h = -k + 115, 338 = 3*k - h. Let w = -77 + k. Is w a multiple of 18?
True
Suppose -302*s + 308*s - 276 = 0. Suppose -h + 2*g = -62, s - 192 = -3*h - 4*g. Is h a multiple of 54?
True
Let v(j) = 5*j**3 + 5*j**2 + 3*j - 9. Let z be v(-5). Let o = 878 + z. Is 59 a factor of o?
True
Let w(z) = 31*z - 464. Does 10 divide w(104)?
True
Let w(m) = -68*m**3 - 2*m**2 - 14*m + 22. Let d be w(3). Is (-1)/4 - d/8 a multiple of 13?
True
Let r(o) = 269*o**2 - o + o - 3 + 337*o**2 - 58*o**2. Is 34 a factor of r(1)?
False
Suppose 0 = -17*y - 32*y + 20482. Does 38 divide y?
True
Suppose 234*c - 523*c = -12769754. Is 67 a factor of c?
False
Let x = -184 + 182. Is 9 a factor of 42/(-8)*x*30?
True
Let t = 28569 + -28105. Is t even?
True
Suppose -5*t + 18819 = 3*n, -t - 24*n = -28*n - 3750. Is t a multiple of 99?
True
Let p = -543 - -479. Does 85 divide (p + 47)/((-14)/(-15) + -1)?
True
Let f(s) = -5*s**3 - s**2. Let g be f(-1). Suppose -g*p + d + 4252 = 0, -2*p + 3170 = 2*d + 1034. Suppose 5*c = 4*k + p, -3*c - k - 96 = -748. Does 9 divide c?
True
Let h(g) = g**3 + 11*g**2 - 24*g + 51. Does 4 divide h(10)?
False
Let p = -398 + 414. Is p a multiple of 5?
False
Let s(r) be the second derivative of -3*r**5/5 - r**4/6 - 2*r**3/3 + 2*r**2 + 3*r + 32. Is 18 a factor of s(-3)?
False
Does 13 divide (-88 - (1 - -1))*((-182)/4 - 4)?
False
Let p = 4138 - 3754. Is 32 a factor of p?
True
Suppose -2*h - 4 - 4 = 0. Let i(g) = g**2 + 6*g + 12. Let q(c) = -2*c**2 - 5*c - 12. Let w(p) = h*q(p) - 5*i(p). Is w(8) a multiple of 18?
False
Let k(c) = c**3 + 15*c**2 + 8*c - 36. Let t be k(14). Suppose -47*a = -77*a + t. Is 4 a factor of a?
True
Let m be 1/(-4) + 462/56. Suppose -d - 560 = -m*d. Is d a multiple of 4?
True
Let x(w) = w**2. Let j be x(0). Suppose j = 6*y - 770 - 256. Is y a multiple of 8?
False
Suppose h = 2*q - 68, q + 6 - 37 = -h. Suppose g = q - 31. Suppose -2*y = -2*s - 18, 2*y + g*y + s = 46. Does 3 divide y?
False
Let c(f) = 2*f**3 - 4*f**2 - 2*f + 9. Let l(a) = -3*a**3 + 4*a**2 + 2*a - 9. Let u(w) = -4*c(w) - 3*l(w). Does 43 divide u(6)?
False
Suppose 2*k - 2*b = 126, 2*k - 2*b + 126 = 4*k. Let z be (-14)/k - (-2)/9. Suppose 3*s + 4*x - 2*x - 245 = z, -253 = -3*s - 4*x. Does 10 divide s?
False
Let c be (4*-1 + 1)/(6/(-1458)). Suppose -57*k + 48*k = -c. Is k a multiple of 18?
False
Suppose -16*f = -572 - 148. Is (-15)/f + 520/3 a multiple of 15?
False
Let t(v) = -822*v + 1279. Is 10 a factor of t(-4)?
False
Suppose -25 = 2*z - 7*z. Let u be z/(15/42) + 4. Suppose 15*r + 402 = u*r. Is 32 a factor of r?
False
Suppose 0 = 4*w + 3*o - 49, 56*w - 4*o + 32 = 58*w. Let d(j) = -j**3 + 15*j**2 - 31*j + 18. Is d(w) a multiple of 13?
True
Does 3 divide (32/(-16) - 9/(-3) - 0) + 786?
False
Let k be ((-12)/(-8))/(3/8). Let i(c) = 24*c**2 + 6*c - 21. Let u be i(k). Suppose 4*g + 0*n - u = -n, -1 = n. Is g a multiple of 7?
False
Let g(a) = 220*a**2 - 5*a - 15. Is 12 a factor of g(-3)?
True
Suppose -3*y + 26 - 11 = 0. Suppose -r - 62 = -y*r + 3*a, r - 3*a = 11. Does 15 divide r?
False
Suppose -7*d + 118 = -113. Is 1271/11 - 18/d a multiple of 7?
False
Suppose 3*m = -u + 2760, -4*u - m + 8496 = -2478. Is 21 a factor of u?
False
Let s be (-2)/6 + -4 + 50/6. Suppose -3*h + r = -9, 5*r + 12 = s*h + r. Suppose y = n + 67, -3*y - h*n = -159 - 60. Does 5 divide y?
True
Is 19 a factor of ((-6)/(-4) - 1)/(-27 - 2789181/(-103302))?
False
Suppose -31*s + 6*s = 25*s - 423800. Does 19 divide s?
False
Is 15 a factor of (25/20)/((-2)/(-4512))?
True
Suppose 4*z - 717 - 87 = 0. Suppose -z = -10*x + 229. Let r = 63 - x. Is 10 a factor of r?
True
Suppose 87*h - 17656 = 68*h + 307852. Does 105 divide h?
False
Let q(b) = 2*b**3 - b**2. Let a(w) = -9*w**3 - 23*w**2 - 58*w - 37. Let d(c) = a(c) + 4*q(c). Is 35 a factor of d(-25)?
False
Let k(o) = o**3 - 7*o**2 - o + 21. Let y be k(8). Let c = y - 66. Is c a multiple of 2?
False
Let u be 6/21 - (80/(-14) - -1). Suppose 0 = 6*k + u*k. Suppose -7*h + 2*h + 3*y + 777 = 0, -2*h - 2*y + 298 = k. Does 12 divide h?
False
Let l(b) = -b**3 + 4*b**2 + 7*b - 14. Let c be l(5). Is 3 a factor of (-1)/c + -1 + 477/12?
True
Let c be (-3)/(-7) + 72303/49. Suppose -3*s + c = 492. Suppose -4*f - l + 3*l + s = 0, 0 = 3*f + 3*l - 228. Does 20 divide f?
True
Let w = 118 + -135. Let c(v) = -v**2 - 5*v + 8. Let p be c(w). Let b = 89 - p. Is 27 a factor of b?
False
Let z = 93 + -81. Is 16 a factor of ((-1 - 1)*z)/((-2)/8)?
True
Let m(j) = 3*j - 16. Let t be m(9). Let u(p) be the third derivative of -p**6/120 + 13*p**5/60 - 17*p**4/24 + 4*p**3/3 - 5*p**2 + 6. Is u(t) a multiple of 22?
False
Let x = -5179 - -16633. Is x a multiple of 6?
True
Suppose 4*r - 5*j = 9*r - 2850, -r + 5*j + 540 = 0. Suppose -4*l = -631 - r. Is 15 a factor of l?
False
Suppose 5*v + 2*w + 575 = 7*w, 4*w - 222 = 2*v. Let o = 68 + v. Does 11 divide 3/(-9)*4*o?
False
Let l = -519 + 762. Suppose 5*d - l = 2*d. Is d a multiple of 9?
True
Suppose -2*l = p - 10114, 0 = 1183*l - 1182*l - 3*p - 5064. Is l a multiple of 18?
True
Suppose -77 = 5*j - 17. Let p be j*(-138)/(-8)*1/(-3). Suppose 0*r = f + 4*r - p, -2*f = 4*r - 154. Does 17 divide f?
True
Let l(r) = -2432*r - 256. Is 9 a factor of l(-1)?
False
Let c(m) = -9*m + 11*m - 21 - 4*m. Let g be c(-9). Is 4 a factor of 20/(-3)*g/2?
False
Let r = 16962 + -11567. Is 13 a factor of r?
True
Suppose -3*i + 65 = 4*h - 0*h, 0 = -i + 4*h - 5. Is (-171)/(-6)*50/i a multiple of 8?
False
Let v be (-20)/(-8) - (-3)/(-6). Suppose 2 + 0 = q, -198 = -v*z + 3*q. Suppose -z = -3*b + 96. 