 8 = -4*w - 0, -2*l - 3*w = 5. Suppose 2*s + l*s = 84. Is s a multiple of 17?
False
Let s = -5 + 6. Does 7 divide ((-15)/20 - s/(-4))*-14?
True
Is 38 a factor of (-4)/(-5) - (-30708)/90?
True
Let l(h) = h**2 - 6*h - 5. Let o be l(7). Suppose 3*n - 231 = -2*f, -2*f + 153 = o*n - f. Does 25 divide n?
True
Let z(c) = 139*c - 14. Let y be z(5). Suppose -266 = -2*l - 2*x, 0*x = 5*l - 3*x - y. Is 27 a factor of l?
True
Suppose 4*v - 9 = -13. Is 0 + 5 + (144 - v) a multiple of 5?
True
Suppose 4*g - f - 825 = 0, -2*f = -3*f + 3. Does 23 divide g?
True
Does 14 divide 189/6*12/9 + 0?
True
Let r(z) = -5*z - 21. Let u be r(-7). Suppose 0 = 2*n - 54 + u. Is n a multiple of 17?
False
Is 9 a factor of 597 + (-3 - -9)*2/(-4)?
True
Let v(o) = 8*o**2 - 13*o + 6. Suppose -x - 33 = -36. Is v(x) a multiple of 29?
False
Let s = -491 + 923. Is s a multiple of 27?
True
Is 37 a factor of (-2 + (-14)/(-4))/((-3)/(-148))?
True
Let h(a) = 15*a**3 - a**2 + a + 1. Let j be h(-1). Let z = -16 - j. Suppose z = -5*n + 348 - 43. Is n a multiple of 28?
False
Let w = -85 + 153. Let t be 10/25 + w/5. Let x = 0 + t. Does 7 divide x?
True
Let g(k) = -336*k + 24. Let t be g(-10). Suppose 22*w - 13*w = t. Is w a multiple of 47?
True
Let r(y) = -188*y**3 + 2*y - 2. Let v be r(1). Let o = v - -293. Is 15 a factor of o?
True
Let r(n) = 9*n**2 + 14*n - 29. Is 9 a factor of r(4)?
True
Let y = 547 + -389. Suppose -195 - 75 = 3*s. Let p = y + s. Is p a multiple of 34?
True
Suppose m = 5*m - 20. Suppose m*w + 344 = w. Is 2 a factor of 2/8 - w/8?
False
Is (3366/2 - -1) + (-70 - -64) a multiple of 13?
False
Does 16 divide 20356/14*2/(12/3)?
False
Let p(z) be the third derivative of 137*z**6/120 - z**5/30 + z**4/12 - 14*z**2. Is p(1) a multiple of 32?
False
Suppose 4*v = 9*v + 90. Does 20 divide (-2)/12 + (-1803)/v?
True
Let f(p) = -p**2 - 10*p + 8. Let n be f(-9). Let y(v) = -v**2 + 19*v - 32. Is y(n) a multiple of 2?
True
Let t be (-2 - -56)*(2 + 0). Is 1 - 1 - t/(-6) a multiple of 6?
True
Let h = -126 + 132. Does 3 divide h?
True
Let j be (-18)/(-24)*4/1. Suppose 8*q = 7*q + j. Suppose 0*p = q*p + 4*z - 34, 2*p - 20 = -4*z. Is 14 a factor of p?
True
Let b(x) = -32*x**3 - 3*x**2 - 17*x - 14. Is 12 a factor of b(-2)?
True
Let a = 19 - 18. Let h be (4 + -3)*a - -6. Let x(c) = 2*c**2 - 6*c - 11. Does 9 divide x(h)?
True
Suppose -150 = -24*z + 930. Does 9 divide z?
True
Let y be (-10)/(55/(-45) + 1). Suppose l = 93 - y. Is l a multiple of 16?
True
Is 18713/33 + 62/(-1023) a multiple of 9?
True
Let s be -4*3/(18/96). Let l = s - -85. Does 14 divide l?
False
Let f = -4 - -4. Suppose 2*u + 3*h - 2 = -f*h, 0 = -4*h - 8. Suppose 3*g - 63 - 36 = -3*s, -u*s + g = -147. Is 12 a factor of s?
True
Suppose -4*i = -16, -2*y - 2*i + 29 = y. Let u = -5 + y. Suppose 5*t + h = 172, 5*t - 64 = u*h + 102. Is 11 a factor of t?
False
Suppose 0*d + 2*d = 104. Let u = d + 49. Does 21 divide u?
False
Let n(f) = 3*f**2 + 2*f + 198. Is n(0) a multiple of 26?
False
Suppose b + 3*r = -b + 20, 2*r = 4*b - 8. Let n(w) = 24*w**2 - 10*w + 34. Let u(f) = -5*f**2 + 2*f - 7. Let i(d) = 3*n(d) + 14*u(d). Does 14 divide i(b)?
True
Suppose 6 - 2 = 2*n. Suppose -2 = n*p - 6. Suppose -c - c + 3*q - 2 = 0, p*c - 2*q = 0. Is c a multiple of 2?
True
Let b be 2/8 - 3/12. Suppose 3*r - 3*a + a = -125, b = -3*r - 4*a - 101. Let q = r + 62. Is 8 a factor of q?
False
Suppose 0 = m + m - 10. Suppose -4*y + m*h = h - 28, y = 2*h + 4. Suppose -3*s - y + 34 = 0. Does 8 divide s?
True
Let q(v) = 7*v - 18. Let o(u) be the third derivative of 7*u**4/24 - 17*u**3/6 - 8*u**2. Let g(l) = 7*o(l) - 6*q(l). Is 8 a factor of g(6)?
False
Let j(p) = 8*p**3 - 3*p**2 - 4*p + 42. Is 24 a factor of j(5)?
False
Let k(w) = -9*w + 61. Let r(o) = 25*o - 182. Let j(h) = -17*k(h) - 6*r(h). Is j(0) a multiple of 7?
False
Let x = 805 + 143. Does 79 divide x?
True
Suppose 5*l - 86 = 274. Suppose -5*x - 4*o = -61 - 27, 3*x - 4*o - l = 0. Suppose -x*j + 155 = -15*j. Does 7 divide j?
False
Let b = -3 + 3. Suppose b = 5*d - 3*d - 170. Is d a multiple of 17?
True
Let q = 12 - -9. Let v = q + -5. Is 15 a factor of v?
False
Let g(d) be the third derivative of 7*d**6/90 - 7*d**4/24 - 5*d**2. Let m(s) be the second derivative of g(s). Is m(1) a multiple of 17?
False
Suppose 0 = -4*p + p - 27. Does 15 divide p/(-6)*2256/18?
False
Suppose 2*y + 451 - 1129 = 0. Is y a multiple of 33?
False
Let s be -2*2 - (-1545 + -8). Suppose 0 = -6*o + s - 319. Is o a multiple of 15?
False
Does 17 divide (203840/25)/16 + 2/5?
True
Suppose -16 = g - 18. Suppose -2*s - d = -38, 0*s - g*s - 2*d = -34. Is s a multiple of 7?
True
Suppose -3*a = 325 + 14. Let c = 163 + a. Is 25 a factor of c?
True
Suppose 2*v = -v. Let y(j) = 14 - j + v + 16. Does 4 divide y(13)?
False
Suppose 10 = 5*o, -y + 4 = o - 2. Suppose -4*a - a + w = -255, y*w = a - 32. Is a a multiple of 13?
True
Suppose 1 = n - 3. Is n/2 - 2 - -38 a multiple of 15?
False
Let k(y) = -35*y - 21. Let r be k(-4). Does 17 divide (-34)/r - (-1 + (-828)/7)?
True
Let s(h) = 23*h**3 - 3*h**2 + 4*h - 6. Is s(3) a multiple of 75?
True
Let g(l) be the first derivative of -l**4/4 - l**3/3 - l + 6. Let w be g(-2). Suppose -3 = -w*r, 3*z - 241 = -3*r + 5*r. Is 24 a factor of z?
False
Suppose 0 = 9*d - 1 + 1. Suppose d = 4*v - v - 75. Does 4 divide v?
False
Let c(o) = 528*o**2 - 48*o - 15. Is 22 a factor of c(-3)?
False
Suppose 4*p + 2*r + 164 = -0*p, 3*p - r + 113 = 0. Let g be -1*(p + 0) + -3. Suppose 6*d - 3*d - g = 0. Is 12 a factor of d?
True
Suppose 0 = -4*r - 2*g + 1994, -r - 36*g + 39*g + 516 = 0. Is 2 a factor of r?
False
Is 3 a factor of (4344/(-32))/((-3)/8)?
False
Let s(n) = 32*n**2 + n. Suppose -2*o + l - 4 = 0, -2*l + l + 3 = -o. Let t be s(o). Let a = t - 22. Does 4 divide a?
False
Suppose -83*c = -79*c + 344. Let u = 174 + c. Does 8 divide u?
True
Suppose 0 = 5*c + 3*j - 5069, 5*j + 492 = 2*c - 1517. Is c a multiple of 5?
False
Let y(p) = p**3 - 4*p**2 - p + 6. Let r be y(3). Let c(o) = -o**3 - 4*o**2 + 6*o - 4. Is 16 a factor of c(r)?
True
Suppose -97 = 20*q - 777. Is 17 a factor of q?
True
Let s(x) = x + 24. Let i be s(-19). Suppose -3*w - 5*u = -226, -i*w - 3*u + 72 + 294 = 0. Is 12 a factor of w?
True
Let n(z) = z**2 - 15*z - 35. Let m = 5 + 15. Is n(m) a multiple of 5?
True
Suppose 5*i = -3*z - 1112 + 7813, 4*i + 3*z = 5359. Does 80 divide i?
False
Let s(a) = a**2 + 4*a + 2. Let o be s(-4). Suppose 2*d - 34 = -2*k, -d - 7 = -o*k + 30. Does 6 divide k?
True
Let v = 3944 - 2432. Is v a multiple of 21?
True
Let y = 59 + -43. Is -1 + 5 + y - 3 a multiple of 3?
False
Let u = 40 + -10. Does 5 divide u?
True
Suppose 4*s = -4*w - 120, -6*w = -2*w - s + 125. Suppose -5*j - f + 110 + 300 = 0, -2*f - 395 = -5*j. Let o = j + w. Is 18 a factor of o?
False
Suppose 2*u + 558 = 5*u - 3*h, 564 = 3*u - 5*h. Suppose -2*z = -5*j - 69, u = 5*z + 2*j + 25. Does 8 divide z?
True
Suppose 19*p + 225 = 14*p. Is (204/(-36) - (-4 + 1))*p a multiple of 13?
False
Let u = -38 - 97. Let n = 191 + u. Is 15 a factor of n?
False
Suppose -4*h + 3*q = q, 0 = 3*q. Suppose 3*t + 3*o - 342 = h, -t - 4*o + 126 = -0*o. Is t a multiple of 11?
True
Let f be 2 - 2 - (0 - -2). Let p = 6 - -6. Does 4 divide f/(-1*3/p)?
True
Let n(m) be the second derivative of -3/2*m**3 + 2*m + 0 - 3/2*m**2. Is 8 a factor of n(-3)?
True
Let v = 412 + 706. Is 26 a factor of v?
True
Suppose -4*b - 4*o = 92, 0*o + o = -2*b - 41. Let i be ((-2)/(-6))/((-2)/b). Suppose -2*t - i*t = -90. Does 8 divide t?
False
Let j(v) = 714*v + 1. Let u be j(1). Suppose 8*p - u = 205. Does 23 divide p?
True
Let r = -13 + 19. Let n = r - 8. Does 13 divide 3/6*-13*n?
True
Suppose -4*y - 6*a + 3422 = 0, a + 3457 = 2*y + 2*y. Does 38 divide y?
False
Let w be 2*((-39)/6 + -1). Let i = w + 34. Is i a multiple of 4?
False
Suppose -6*n + 7*n = 363. Is 23 a factor of n?
False
Let t be 118*51/(-68)*4/(-3). Let k = t + 34. Is 19 a factor of k?
True
Let z = -346 - -577. Suppose -161 - z = -7*m. Does 14 divide m?
True
Let s(d) be the first derivative of d**4/24 - d**3/2 - d**2 + 2. Let w(i) be the second derivative of s(i). Does 3 divide w(6)?
True
Let u(a) = -a**2 - a + 5. Let w be u(0). Let g be w*(18/(-10))/(-3). Suppose 3*n - 5*t - 65 = 0, 2*n - 42 = -t + g*t. Is n a multiple of 10?
True
Suppose 6*u = 4*q + 2*u - 92, 2*u - 62 