 = -3*l + 17*q, l + q = 2021. Is l a multiple of 14?
True
Suppose -5*x + 4*x + 1 = 0. Let n = 4 - x. Let b(f) = f**3 + f**2 - 3*f. Is b(n) a multiple of 13?
False
Let h(z) = z**3 - 21*z**2 - 45*z + 129. Does 5 divide h(24)?
False
Let y be -1*(4 + 4 + -5). Let h(p) = 8*p**2 + 4*p. Is 12 a factor of h(y)?
True
Does 39 divide (316/10 - 0)/((-88)/(-1320))?
False
Let k(z) = -z**2 + 9*z + 10. Let v = -4 + 12. Is k(v) a multiple of 9?
True
Let a(v) = -2*v + 10. Let o(s) = s - 8. Suppose r - 4 = 0, 1 + 12 = -x + 4*r. Let i be o(x). Is 5 a factor of a(i)?
True
Let y be (8/6)/((-26)/1755). Let u = y - -135. Suppose 3*l - u = -h, 3*l = 3*h + h + 60. Is l a multiple of 16?
True
Does 13 divide (2 + -1)/((-8)/(-8416)) + -2?
False
Let d = -156 - -201. Suppose 0 = 47*y - d*y - 132. Is 66 a factor of y?
True
Let g(o) = -o**3 + 4*o**2 + 7*o - 7. Let y be g(5). Suppose v = y*q - 267, -3*v + 428 = 5*q + v. Is 10 a factor of q?
False
Is 18 a factor of (-1710)/(-25)*(21 + -2 + -4)?
True
Let o(z) = z**2 + 3*z - 81. Is o(22) a multiple of 67?
True
Let y(w) = -6*w - 4. Let u be y(-5). Let m = 29 - u. Let r = m - -47. Is 10 a factor of r?
True
Suppose 4*w + 4*a - 12856 = 0, 14*w + 5*a - 12859 = 10*w. Does 35 divide w?
False
Suppose 7*a - 12*a - 1350 = 0. Is a/36*(-192)/5 a multiple of 48?
True
Is 5 a factor of 13/(52/3232) - 9/3?
True
Let p = 11 + -15. Let r = 0 - p. Suppose -3*i + r*i = 40. Does 10 divide i?
True
Suppose 25 = 4*r - 5*a, -4*r - 2*a - 44 = -9*r. Suppose 0 = -r*b + 12*b - 66. Does 22 divide b?
False
Let o = 41 - 42. Does 25 divide 115 + 8 + 3 + o?
True
Let v(p) = -11*p - 100. Is v(-30) a multiple of 28?
False
Let y(j) = 8*j**3 - 3*j**2 + 18*j + 8. Is 3 a factor of y(4)?
False
Suppose 2601 = 40*x - 6199. Is 66 a factor of x?
False
Suppose -7*y = -2*y - 25. Suppose y*t + 392 - 1512 = 0. Suppose -3*c + t = c. Is c a multiple of 17?
False
Let x(r) = -r**2 - 8*r + 8. Let n be x(-8). Let f be (n/5)/((-14)/(-35)). Suppose -3*d = f*z - 128, -5*d = 5*z - z - 136. Is z a multiple of 19?
False
Suppose b = -3*m - 4, -b + 4*m + 8 = -9. Suppose 0*v + 16 = 4*v. Suppose -b = v*c - 45. Is 10 a factor of c?
True
Let u(x) = -6*x + 3*x - 2 - 13*x**2 + 7*x - 2*x + x**3. Suppose -28 = -3*l + 11. Is 6 a factor of u(l)?
True
Suppose -283*p - 510 = -284*p. Is p a multiple of 85?
True
Let g be (13/(-13))/((-1)/24). Suppose g = y + y. Is y a multiple of 12?
True
Let d = -9 + 14. Suppose -d*t = -l - 275, 4*t - 3*l - 2*l - 220 = 0. Is 11 a factor of t?
True
Suppose 0 = c + 2*n - 13, 0*c = 4*c - 5*n. Suppose -202 = -4*m + 3*r, -2*m = r - 101 + c. Does 7 divide m?
True
Let a(y) = -y + y + 0 - 8 + 6*y. Is 13 a factor of a(10)?
True
Suppose -m - 675 = -2*y, 2*y - 3*m - 274 = 391. Does 17 divide y?
True
Let f = 7 + -2. Let r be 6/21*(f - -2). Suppose -r*q + 43 + 5 = 0. Is q a multiple of 12?
True
Suppose -2*v + 1 + 9 = 0. Suppose 0 = 3*h + 4*g - 1691, 4*g = 5*h + 9*g - 2820. Suppose o - 3*o = -3*p - 209, 0 = v*o + p - h. Is o a multiple of 14?
True
Let t be 237*(-2 - (-32)/12)/(-2). Let u = 145 + t. Does 15 divide u?
False
Let b(f) = 28*f + 293. Does 9 divide b(31)?
True
Let k = 125 - -5. Suppose 46 + 68 = 2*u - m, 2*u - k = -3*m. Is u a multiple of 32?
False
Let d = -2103 + 3732. Suppose -8*p - p + d = 0. Is 28 a factor of p?
False
Suppose -f - b + 3522 = 0, 82*b = 77*b + 15. Is 23 a factor of f?
True
Let v(c) = 194*c**3 - 7*c**2 + 11*c + 3. Does 35 divide v(2)?
False
Let s(b) = 3*b**2 + 85*b - 64. Does 8 divide s(-43)?
False
Let l = 76 + -16. Let k = l + -13. Does 5 divide k?
False
Let u be 654/33 - (-6)/33. Let w = u + -4. Suppose -w = 5*f - 326. Is 12 a factor of f?
False
Let n(v) = 2*v**2 - 9*v + 7. Let f be n(4). Suppose 254 = f*z + 86. Is z a multiple of 14?
True
Is 13 a factor of -4*(-273)/24*6?
True
Let r(y) = -8*y + 146. Let z be r(18). Let x be 3 - 0 - 2/(-2). Suppose z*i = 4*c - 14, 3 = -5*c - x*i + 14. Is c a multiple of 2?
False
Let j be (-6)/(9/(-21) - 0). Let g = j - -34. Does 11 divide g?
False
Let g(a) = 2*a**2 + 13*a - 4. Let h be g(-7). Does 2 divide (h/5 - 1)*(-13 - 12)?
True
Suppose 9*g - 109 - 161 = 0. Suppose 3*v = -2*r + 321 - g, r + 377 = 4*v. Is 15 a factor of v?
False
Let g(r) = -4 - 19 + 5 + 18*r**2 + 12*r + r**3 - 3. Is 29 a factor of g(-17)?
False
Does 13 divide (-18)/12*30*(-54)/5?
False
Let n(k) = -2*k**2 + 10*k + 28. Let i(y) = y**2 - 5*y - 14. Let d(a) = 7*i(a) + 3*n(a). Is d(10) a multiple of 6?
True
Suppose 0 = -2*q - 2*r + 548, -3*r - 450 = -2*q + 123. Does 9 divide q?
True
Let q = -14 - -14. Suppose -3*m + 5*m - 136 = -2*g, q = -3*m - 4*g + 200. Is 36 a factor of m?
True
Suppose 4*p - 15 = -p. Suppose 2*v = -4*d - 10, -2*v = -d - p*d - 22. Suppose 4*c = a + v*a + 140, 0 = 5*c + 2*a - 203. Is 13 a factor of c?
True
Suppose 878 - 300 = 2*f + 2*k, -5*f + 1436 = -4*k. Suppose -g = -5*g + f. Suppose y + g = 3*y. Is y a multiple of 12?
True
Let b = -134 + 131. Is 12 a factor of (160/15 + b)*3?
False
Let s(g) = -2*g - 5. Let a be s(-4). Suppose -t - 2*y = -12 - 1, -a*y = -9. Suppose -t = -k + 9. Does 8 divide k?
True
Let r(b) = 7*b**2 + 8*b + 45. Does 68 divide r(-8)?
False
Suppose 3*p - 4*h = 5517, -13*p + 14*p + 3*h = 1839. Is p a multiple of 22?
False
Suppose 329 = 2*b - 551. Let w = b - 285. Is w a multiple of 26?
False
Let y(t) = 46*t**3 + 6*t**2 - 2*t + 4. Does 49 divide y(2)?
True
Let f(z) be the first derivative of 24*z**2 + 4*z - 12. Let b be f(3). Is 9 a factor of -5*(-4 - b/20)?
False
Suppose -p - 1 = -3. Let n = -2 - p. Let o(k) = 2*k**2 - 7*k + 3. Does 21 divide o(n)?
True
Let r be 50/(-175) - (779/(-7) + 1). Let l = 423 - r. Does 53 divide l?
False
Let l = -123 - -130. Does 2 divide l?
False
Is 2 a factor of (1/(-2))/(66/(-9900))?
False
Let s = 11 + -9. Suppose s*n = 207 + 133. Suppose n = 3*y + 2*y. Is y a multiple of 22?
False
Let i(n) = n**3 + 9*n**2 + 8*n + 18. Let d(b) = -b**2 - b. Let a(p) = -5*d(p) + i(p). Is 9 a factor of a(-13)?
True
Let n be 3 + 1 - 2/(-2). Let f = 146 - 144. Suppose 0*x - x - 4*v = n, 2*x - 14 = -f*v. Is x a multiple of 8?
False
Let g = -5766 - -8763. Is 25 a factor of g?
False
Let p be -2*(2 + 1 + -23). Suppose -a = a + 2*x - p, -4*a + 78 = 5*x. Is 11 a factor of a?
True
Let r(f) = 2*f - 31. Let k be r(18). Suppose 5*x - 194 = -2*v, k*x = 4*v + 105 + 107. Is 6 a factor of x?
False
Suppose 3*j - 10 = j, -5*j = -z - 4. Let i be 2/(-6) - (-154)/z. Is 9 a factor of (i - 8)/(2/(-54))?
True
Let h(p) = -34*p - 31. Let a be h(-7). Suppose 6*w = 9*w - a. Is 32 a factor of w?
False
Let i = 615 + -32. Is 14 a factor of i?
False
Suppose 573 = 6*c + 81. Is 12 a factor of c?
False
Suppose s + 2*u = -2, 2*s + 3*s + 21 = u. Is 14 a factor of 126 - 12/s*4/(-6)?
False
Let q = 84 + 784. Does 14 divide q?
True
Does 14 divide (-12)/(-3) - 7 - -577?
True
Suppose 348*u = 357*u - 16938. Is u a multiple of 38?
False
Let u be 100/(-28) + 36/63. Let j(t) = -63*t - 38. Is j(u) a multiple of 7?
False
Let q(o) = 124*o**2 - 2*o - 1. Let t be 4*1/4 - 2. Let a be q(t). Suppose -a = -0*g - 5*g. Is g a multiple of 16?
False
Let j = 70 - -100. Is 17 a factor of j?
True
Let l(t) = 601*t + 5. Does 75 divide l(2)?
False
Let v be (-867)/(-18) + (-6)/36. Suppose 3*n = -3*n + v. Is 4 a factor of n?
True
Suppose 0 = -2*d + 2*v + 292, 3*d + 2*v + 3*v = 422. Is d a multiple of 12?
True
Let x = -11 - -20. Suppose -4*f + x = -19. Let d(t) = t**2 - 2*t - 1. Is d(f) a multiple of 7?
False
Let u(w) = 8*w**2 + 2*w - 4*w**2 + 18 + w**3 + 4*w**2 + w. Does 5 divide u(-7)?
False
Let z(q) = -24*q - 39. Let d(v) = -v**2 + v + 34. Let a be d(7). Does 9 divide z(a)?
True
Suppose -7*m - 10 = -2*m, -n + 3*m = -1406. Is 30 a factor of n?
False
Let b(p) = p**2 + 8*p - 4. Suppose -15 = 3*v, -3*q - v = 4*v + 43. Let n be b(q). Let f = -13 - n. Is 3 a factor of f?
True
Suppose 2*a - 10 = -0. Let n(b) = b**3 + b**2 + 6*b - 5. Does 35 divide n(a)?
True
Suppose -3*l + 6 = -6*l, -2*t + 2*l - 80 = 0. Let p be t/(2/22*-2). Suppose 7*h = p - 42. Is h a multiple of 11?
False
Let u = 603 + -295. Is u a multiple of 28?
True
Is 10 a factor of 1738/198 + -9 - 544/(-18)?
True
Let u(l) = l + 7. Let w be u(0). Let n(f) = -6*f**2 + 12*f + 8. Let m(y) = 5*y**2 - 11*y - 8. Let i(j) = -5*m(j) - 4*n(j). Is i(w) a multiple of 6?
False
Suppose -11*p = -16682 - 5384. Does 118 divide p?
True
Let t