5*f + 0*k - 969 = 4*k. Suppose -5*j = 6*s - 2*s - 149, 5*s + 4*j - f = 0. Suppose 2*r = r + s. Is r a multiple of 8?
False
Let p(d) = -d**2 + 6*d + 3. Let f be p(6). Let t(h) = -5*h**2 + 8*h**2 + 4*h - h**f - 3*h. Is 2 a factor of t(3)?
False
Suppose 5 - 26 = -3*l. Suppose -t + l*f = 6*f - 98, -t = 2*f - 110. Is t a multiple of 3?
True
Let m(g) = g**3 - 2*g**2 - g - 9. Let l be m(4). Let f(q) = 2*q + 12*q + 7*q - 4 - q**2. Is f(l) a multiple of 10?
False
Suppose -12*d + 7*d + 2174 = -4*t, 1732 = 4*d - 5*t. Let r = d + -305. Is 19 a factor of r?
True
Suppose -1850 = -16*i + 2310. Let f = i - 50. Does 30 divide f?
True
Suppose -2*o + 5*t - 2 = 32, 0 = -4*o - t - 24. Let l(h) = h**3 - 5*h**2 - 2*h**3 + 15*h - 6*h. Is l(o) a multiple of 3?
False
Let p(v) = 12624*v**2 + 34*v + 2. Is 15 a factor of p(1)?
True
Suppose 3*b + 4*n = 11024, -5*b + 4*n = 7333 - 25653. Is 42 a factor of b?
False
Let r be 1/((-141)/(-71) + -4 + 2). Let g = -51 - r. Is (-2*35/g)/((-2)/12) a multiple of 3?
True
Let h(r) = -2*r**3 + 52*r**2 + 15*r - 78. Suppose -2*d - d = -4*n + 113, -n + 3*d = -35. Is 52 a factor of h(n)?
True
Let n = -5980 + 6450. Is n a multiple of 18?
False
Suppose -13*k = k - 2156. Suppose k - 382 = -r. Is 6 a factor of r?
True
Let t(o) = -o**3 - 4*o**2 + 16*o - 9. Let m be t(-6). Is (-6)/(-16)*314 + m/44 a multiple of 3?
True
Let s = -15124 + 36568. Is 70 a factor of s?
False
Suppose 3*n + 8 = 29. Suppose -11*h = -n*h + 72. Is (98/8)/(h/(-72)) a multiple of 15?
False
Let y = 543 - 116. Let j = y + -13. Is j a multiple of 22?
False
Suppose 3*y = -5*s - 599, -5*y = -y + 2*s + 794. Is 2/(14 + -2) + (-131241)/y a multiple of 17?
True
Let f(o) = 2*o**2 - 4*o. Let m be f(3). Let l be 18 - (-12)/(m/1). Suppose -25*n + l*n + 30 = 0. Is n even?
True
Let m(r) = -23*r + 17. Let s(g) = 8*g - 6. Let a(w) = 6*m(w) + 17*s(w). Suppose -5*q = 5 + 20. Is a(q) a multiple of 2?
True
Let n(l) = l**3 - 2*l**2 - 19*l + 28. Let j = 126 - 119. Does 14 divide n(j)?
True
Let w(g) = -g**2 - 16*g - 14. Let j be w(-11). Let q = j + -42. Is 14 a factor of 4*q*1615/(-68)?
False
Let l = -2427 + 6453. Is l a multiple of 2?
True
Let d(k) be the second derivative of k**5/10 + 73*k**4/12 - 21*k**3/2 - 14*k**2 + 118*k. Does 27 divide d(-37)?
False
Suppose 8*h = h + 378. Let l = h - 169. Let d = 131 + l. Is 10 a factor of d?
False
Let b(q) = 3*q**2 + 4*q - 2. Let r be b(-2). Let z(l) = -9*l**2 + 1. Let x(c) = -10*c**2 + 1. Let v(u) = 2*x(u) - 3*z(u). Does 9 divide v(r)?
True
Let o = 90173 + -47401. Does 289 divide o?
True
Let z = -3 - 2. Let h be -4 - (10/(-25))/(1/z). Is 146*(-1 - ((-27)/h)/(-3)) a multiple of 14?
False
Let g(b) = b**3 - 8*b**2 - 10*b + 16. Let i be g(9). Suppose 5*d + i = -33. Does 6 divide d/(-36) + 2*302/36?
False
Is 11 a factor of 6644*((-69)/4)/(-23)?
True
Let v(n) = -2*n**2 - 25*n + 3. Let t be v(-13). Let u(y) = 10*y**2 - 19*y - 321. Is u(t) a multiple of 11?
True
Let r(i) be the second derivative of 7*i**4/12 + 5*i**3 + 34*i**2 + 21*i. Is r(-6) a multiple of 4?
True
Let u = -286 + 193. Let h = -132 - u. Is (-1)/(h/38 + 1) a multiple of 26?
False
Suppose 3*x - 386 = -2*w, 0 = 3*w - x + 335 - 914. Suppose 0 = -4*f + 3*l + w, 52 + 62 = 2*f + 2*l. Suppose f = -n + 103. Does 13 divide n?
False
Is 53 a factor of (-24)/((-216)/138951) - (5 + 1)?
False
Suppose -t + 211 = 5*j - 1119, 2*t - j - 2704 = 0. Does 6 divide t?
True
Suppose 0 = -25*q + 1194 + 31. Suppose 4*p - u = 747, 2*p - 5*u + q - 400 = 0. Is p a multiple of 14?
False
Let t(r) = 2*r - 10. Let a be t(9). Suppose a*y = 86 + 1162. Let j = y - 80. Is 19 a factor of j?
True
Suppose k + 103*t - 102*t - 15655 = 0, 4*k = -5*t + 62623. Does 91 divide k?
True
Let u(a) = 55*a**2 + 62*a - 8. Does 31 divide u(16)?
False
Let i(w) = w + 12. Let m be i(-7). Suppose 2*k + 680 = l, -m*k + 928 = 3*l - 1068. Is l a multiple of 48?
True
Suppose 19 = o + 3*n, -4*n + 3*n = 3*o - 41. Suppose -4*t + 13 + o = 2*b, 0 = -4*t - 4*b + 28. Is -2*((-399)/6 - (t + -3)) a multiple of 14?
False
Suppose -s - 2*t = -5*t - 1687, s + t - 1667 = 0. Does 142 divide s?
False
Let y(x) = -x**3 - x + 28. Let z be y(0). Let h = 37 - z. Let m = h - -146. Does 31 divide m?
True
Suppose 4*u - 107 = 4*h + 65, 0 = -5*u - 4*h + 188. Let f be (u/(-15))/((-5)/(30/4)). Suppose -l = -3*c + f - 17, -l - 5*c + 21 = 0. Is 8 a factor of l?
True
Let a(b) = -5*b**2 + 2*b + 20 + 0*b**2 + 8*b**2 - 15*b. Suppose 20 = 2*s + 4*p, 5*s + 4*p = 3*p + 41. Is 11 a factor of a(s)?
False
Suppose 2*p = -87 + 111. Suppose -p*z - 189 = -13*z. Is z a multiple of 21?
True
Suppose 0 = -5*b - 3*m + 6*m - 111, 10 = 5*m. Let o = b + 31. Suppose 0 = o*k - 2*k - 856. Is k a multiple of 11?
False
Let g(y) = -y**2 - 21*y - 91. Let l be g(-8). Let b(i) = i**2 - i - 24. Is 15 a factor of b(l)?
False
Let h(c) = -425*c + 64. Let m be h(-2). Suppose 3*x = -o + 1350, 3*o + m = 2*x - o. Is x a multiple of 4?
False
Suppose -2*n = a + 2 - 0, 4*a + 8 = -4*n. Let f = 4 - 1. Suppose 78 = 5*r - d, n = -0*r + 3*r + f*d - 54. Is 9 a factor of r?
False
Let o(c) = 12*c**2 - 164*c + 185. Is o(-46) a multiple of 52?
False
Suppose 0*w + 6 = 2*w. Suppose w*f - 7*f = 0. Suppose 5*r - 560 = -f*r. Is r a multiple of 28?
True
Let h(y) = 362*y**2 - 25*y + 142. Does 22 divide h(7)?
False
Let r be 6*(91/14)/(-13). Let f(o) = 5*o**2 + 2 + 8*o**2 - 3*o - 8*o**2. Does 7 divide f(r)?
True
Suppose 5*x = 940 + 2608 + 852. Is 8 a factor of x?
True
Let n(l) = 60*l + 187. Let s(k) = -181*k - 562. Let o(d) = 7*n(d) + 2*s(d). Does 53 divide o(16)?
True
Suppose 5*l = -3*a + 22801, -2*a + 15201 = -30*l + 33*l. Is 14 a factor of a?
True
Suppose 14*s - 30 = 9*s. Suppose -s = -q - q. Suppose q*c = -0*c + 12. Is c a multiple of 4?
True
Let b = -39 + 19. Suppose -137*d - 2*f = -139*d + 8, 4*d + 2*f = 34. Let v = d - b. Does 2 divide v?
False
Suppose -22*l = -2*l + 300. Does 9 divide (788/12 + -4)/((-5)/l)?
False
Let k be (30/8)/((-42)/168). Is 12/k*540/(-24) a multiple of 2?
True
Let g be 54/99 - 3792/(-66). Suppose 0 = -43*a + g*a - 7395. Is 22 a factor of a?
False
Is (294/3 + -4)*1166/44 a multiple of 53?
True
Let z(v) = 12*v**2 + 7*v - 284. Is z(-20) a multiple of 2?
True
Let z = -683 + 1171. Let p = z + -425. Is p a multiple of 21?
True
Suppose -7*a + 1030880 = 19*a + 42*a. Does 12 divide a?
False
Let n(z) = z**3 - 3*z**2 + 3*z - 7. Let k be n(3). Suppose 122 = k*w - 424. Does 39 divide w?
True
Let w(g) = 8*g**2 - 3*g + 3. Let d be w(-3). Let b = d + -2. Let c = 118 - b. Does 6 divide c?
True
Suppose -4*o + 26683 = 5*p, -4*p + 7*p - 16003 = o. Is p a multiple of 8?
False
Let y(n) = n + 2. Let v be y(-8). Let h be v/(-12) + (-1)/2. Suppose 0 = -t - 2*q - h*q + 114, -t + 116 = q. Does 15 divide t?
False
Let p = 14271 - 4335. Is 216 a factor of p?
True
Let q be 40/(-70) - 2*(-9)/7. Suppose 11 = q*b + 3. Let y(i) = 16*i**2 - 16*i + 3. Does 39 divide y(b)?
True
Does 27 divide ((1/(-3) - (-12)/4) + -4)*-6642?
True
Let t(m) = -m**3 - m**2 + m - 2. Let h(o) = 2*o**3 - o**2 - 19*o + 49. Let y(p) = h(p) + 3*t(p). Is y(-9) a multiple of 16?
True
Suppose r = -8*r + 5*r + 140040. Is r a multiple of 96?
False
Let z = 427 + 205. Does 4 divide z?
True
Let a(d) be the first derivative of -d**4/4 - 2*d**3 - 5*d**2/2 + 2*d + 5. Let j be a(-5). Suppose 82 = 4*p + j. Does 5 divide p?
True
Suppose 27 - 42 = -3*l. Suppose s - l*f - 101 = 0, -4*s + 118 = -5*f - 271. Is s a multiple of 24?
True
Let z(l) = -l + 30 + 0*l + 21. Let o(f) = 2*f + 69. Let a be o(-29). Does 9 divide z(a)?
False
Let y(c) = c - 1. Let t be y(3). Suppose t*g = -11*g + 299. Does 6 divide g?
False
Suppose 4*y + 2*d - 12468 = 0, 15615 = -4*y + 9*y - 5*d. Is y a multiple of 83?
False
Let l(h) = 7*h**3 + 10*h**2 - 11*h + 14. Let p be l(8). Let w = -2387 + p. Suppose -15*t + w = 293. Does 14 divide t?
True
Is (-2 - -3) + (33 - 840)*(-4 - -2) a multiple of 10?
False
Suppose -2*h = -2 - 2. Suppose 5*x - 518 = -2*z, -3*z + 318 = h*x + 102. Is 7 a factor of x?
False
Let q = -53 - 99. Is (-26714)/q + 2/8 a multiple of 16?
True
Let s = 8720 - 4580. Does 90 divide s?
True
Suppose -4*o = -m - 20, 2*o + 0*o + 8 = -4*m. Let p be ((-4)/3)/(m/18). Suppose 14 = c - p. Does 4 divide c?
True
Suppose 23508 + 5888 = 4*p - 4*i, 0 = -5*p + 2*i + 36736. Does 134 divide p?
False
Let m(x) = -2*x + 1. Let g be m(7