es 7 divide 2 + -7 + 1 - r?
True
Let z(n) = n**2 - 1. Let q(f) = f**3 - 13*f**2 - 3*f - 13. Let g = 26 - 30. Let h(l) = g*z(l) - q(l). Is h(9) a multiple of 8?
False
Is ((-555)/(-6))/(6/36) a multiple of 15?
True
Suppose -5 = -3*g + 4*w + 43, -4*w = -2*g + 28. Suppose -4*k - 74 = -2*u, 0 = -u + k + g + 13. Is 4 a factor of u?
False
Let f = 41 - 58. Let w = f - -15. Is 27 a factor of w/(-11) - 4480/(-44)?
False
Let k be 56/(-12) - (-1)/(-3). Is 9 a factor of (k/20*-17)/((-2)/(-16))?
False
Suppose 0 = f + 4*f - 4*c - 441, 5*f + 2*c - 417 = 0. Is 33 a factor of f?
False
Let v be 2/(-3)*(-6)/4. Let g(b) = 164*b**3 - b + 1. Is 41 a factor of g(v)?
True
Suppose 7025 = 7*q - 521. Does 22 divide q?
True
Let z be 119*(-2 + (-32)/(-14))*6. Suppose -z + 0 = -m. Does 18 divide m?
False
Let j = 16 - 20. Let s be ((-10)/j)/((-5)/(-10)). Suppose 4*l - 2*u - 58 = 0, 0 = -s*l - 2*u + 92 - 15. Is 5 a factor of l?
True
Let m(b) = 3*b**2 - 6*b + 89 - b - 92 + 4*b. Is 19 a factor of m(5)?
True
Suppose -w + 59 = -886. Suppose 9*q - w = 4*q. Suppose -c - 2*c = -q. Is c a multiple of 21?
True
Let t(c) = -46 + 2*c**2 - 85*c + 23*c + 42*c. Does 20 divide t(16)?
False
Let n(a) = -5 - 7*a**2 - 9*a**2 + a**2 + 8*a - a**3 + 12*a**2. Is 13 a factor of n(-7)?
False
Suppose i + 4*w = 20, 3*w + 6 = -5*i + 38. Suppose -2*s + 9 = -3*l - 23, -l = i*s - 8. Does 5 divide (-1 + -4)/(4/l)?
True
Suppose 135 = 5*y - 4*m, 0 = 3*y + 4*m - 7*m - 84. Is 13 a factor of y?
False
Suppose -77*c + 73*c + 84 = 0. Let s = c - 13. Is s a multiple of 8?
True
Let g = -13 - -13. Let f be g/(6/(-3) + 4). Suppose f = -18*c + 17*c + 11. Is c a multiple of 2?
False
Let n(b) = -2*b**3 + 4*b**2 + b + 1. Let m(u) = u**3 + 8*u**2 - 8*u + 5. Let z be m(-9). Let v be n(z). Suppose -v = -2*o - o. Is o a multiple of 9?
True
Suppose -3*b = -7*l + 2*l - 21, 5*l = 4*b - 23. Suppose -4*m + 0*d + 340 = -3*d, -b*d = -m + 80. Does 19 divide m?
False
Suppose 0 = -4*r - t + 925, 2*r + 2*t - 148 = 322. Is 38 a factor of r?
False
Let d be (1/(-4))/(24/(-192)). Suppose d*y = y - 4*n + 54, 0 = 5*y - 2*n - 204. Does 9 divide y?
False
Let f = -10 + 10. Suppose f = -l - 4*q + 296, q - 866 = -l - 2*l. Is 12 a factor of l?
True
Suppose -33 = -5*x + 12. Let s = x - 7. Suppose 39 = o + s*o. Is 13 a factor of o?
True
Let t(s) = 14*s**3 + 8*s**2 - 11*s - 19. Let i(x) = 7*x**3 + 4*x**2 - 5*x - 9. Let l(w) = -13*i(w) + 6*t(w). Is l(-2) a multiple of 9?
True
Let d(f) = -2*f**2 + 13*f - 2. Let r be d(6). Suppose -2*x - 52 - 195 = -5*h, -r = -x. Is h a multiple of 21?
False
Let u(a) = -a**2 - 6*a - 1. Let m be u(-7). Is 11 a factor of -1 - -2 - (-24 + m)?
True
Let w(h) = -12*h**3 + 4*h**2 + 3*h + 6. Is 80 a factor of w(-3)?
False
Suppose -4*t = -3*t - 4*b - 6, b - 24 = -4*t. Suppose t*l = l. Suppose -2*r - 58 = -3*w, w - 42 = -l*w - 5*r. Is 11 a factor of w?
True
Let s be 323/102 + -2 + (-11)/(-6). Suppose s*z = 5*i - 367, 3*i = -0*i + 5*z + 217. Is i a multiple of 7?
False
Let g be (-30)/(-12) + (-1)/(-2). Let w(b) = 3*b**2 + 5*b - 6. Does 12 divide w(g)?
True
Suppose -m = -1283 - 56. Suppose 4*h - 483 = 4*o - m, -4*h = -4. Does 43 divide o?
True
Let q be (-3 + 4)/(1 + 0). Let z be (-6)/q*2/(-3). Does 10 divide (23 + -8)*z/3?
True
Suppose -5*s + 1822 - 467 = 4*r, 2*s + 5*r = 542. Is s a multiple of 46?
False
Let c = 83 - 64. Suppose 0 = -21*l + c*l + 90. Is l a multiple of 5?
True
Suppose -36 + 140 = -4*j. Let r = 48 + j. Is 11 a factor of r?
True
Is (-2)/8 + 4 + 3985/20 a multiple of 8?
False
Suppose 7 = 5*r - 63. Does 18 divide -1 - ((-2)/4 + (-1015)/r)?
True
Suppose 0*v = -2*v + 444. Is v a multiple of 6?
True
Let x(r) = -108*r - 7. Let y be x(-2). Suppose 5*n - 5*w - y = n, 3*n - 2*w - 162 = 0. Is 14 a factor of n?
True
Let k(w) = 31*w - 38. Is 14 a factor of k(22)?
True
Let h(p) = -43*p**2 + 1. Let g be h(-1). Let o = 58 + g. Is o a multiple of 11?
False
Let x = -145 - -161. Is 7 a factor of x?
False
Let r(h) = -31*h - 30. Suppose 0 = -8*m - 17 - 7. Is 7 a factor of r(m)?
True
Suppose -v - 2240 = -8*v. Does 20 divide v?
True
Suppose 120 + 180 = 3*z. Suppose 0 = -7*a + 5*a + z. Suppose -3*b = -5*q + 119, -2*q + 0*q + a = -2*b. Is 11 a factor of q?
True
Let w(l) = 24*l - 44. Suppose 0 = 34*o - 37*o + 12. Does 8 divide w(o)?
False
Suppose 4*a = -119 + 343. Suppose 5*r - 2*x = a, -4 - 4 = -4*x. Is r a multiple of 4?
True
Let r = -10 + 71. Let z = r + 9. Is 10 a factor of z?
True
Suppose -543 - 2544 = -3*z - 3*m, 0 = 5*z + m - 5165. Does 24 divide z?
False
Suppose -704*x + 705*x - 87 = 0. Does 3 divide x?
True
Let k be (-12)/(-5) - (-30)/(-75). Is 11 a factor of ((-29)/k - 2)*-2?
True
Suppose 5*v - 3080 = -5*l, -3*l + 6*v + 1888 = v. Is l a multiple of 71?
False
Let l(i) = -2*i**3 - 3*i**2 - 1. Let j(w) = w**2 + 6*w + 5. Let s be j(-2). Let x be l(s). Suppose 3*y + 2 = x. Does 3 divide y?
False
Suppose 0 = 3*y - 9, 5*f - 4*y = 9*f - 4572. Is 60 a factor of f?
True
Suppose 2*j + 2*j = 0. Let t = j + 3. Does 19 divide (150/9)/(2/t)?
False
Does 3 divide (24 - -6)*(3 + (-26)/(-10))?
True
Let j(t) = -5*t**3 - 22*t**2 + 18*t - 15. Let i(a) = -9*a**3 - 43*a**2 + 36*a - 29. Let s(u) = 6*i(u) - 11*j(u). Does 12 divide s(15)?
True
Let w = 25 + 165. Suppose w = 8*i - 434. Is i a multiple of 13?
True
Suppose -18*w + 45 = -23*w. Let m = 41 + w. Is 16 a factor of m?
True
Suppose 6 = -0*l - 6*l. Is 23 a factor of (-2 - (0 - 0))*(l - 64)?
False
Suppose 2*n - 5*h - 51 = -4*h, n - 3*h = 28. Suppose 5*w - 77 = -32. Suppose -n = 4*m - w*m. Is 5 a factor of m?
True
Suppose -21*j = -18*j - 1056. Does 22 divide j?
True
Suppose 3*o = 5*j - 2489, -2*j + 490 = -j + 2*o. Is 15 a factor of j?
False
Let l = 60 + -30. Let m = 36 + l. Is m a multiple of 33?
True
Suppose -22 = 2*l + 5*h + 90, 246 = -4*l + h. Let a = 98 + l. Suppose -6*i + a = 1. Does 3 divide i?
True
Let u = 89 + -70. Is 3 a factor of u - (3 - (3 - 1))?
True
Suppose 0 = -w - 2*l + 11 - 31, -l = 4*w + 45. Is 39/2*((-80)/6)/w a multiple of 3?
False
Let c = 112 - 70. Let t = c - -3. Does 5 divide t?
True
Let o = -91 - -100. Suppose 3*j + 90 = o*j. Is j a multiple of 8?
False
Let s(t) be the first derivative of 14*t**3/3 - 2*t**2 + 7*t - 10. Is s(3) a multiple of 12?
False
Let r(t) = -105*t - 246. Does 16 divide r(-54)?
True
Suppose -128 = -4*f + 4*t, -5*f + t - 2*t + 172 = 0. Let o = -8 - f. Let b = o + 60. Is b a multiple of 8?
False
Let n = 14 + -24. Let s = n - -19. Suppose 4*p = 3*p + s. Is 3 a factor of p?
True
Suppose 94*a - 96*a + 6 = 0. Let m(p) = 2*p - 2. Let c be m(2). Suppose 0 = -4*w - a*n + 2*n + 451, -2*n - c = 0. Does 19 divide w?
False
Suppose 2*r + 4*t - 1224 = 0, -2*t = -r + 2*t + 612. Is r a multiple of 36?
True
Let s(n) = -2*n**3 + 2*n**2 + 5*n + 5. Suppose 0 = 2*m - 5 + 1. Suppose 5*l = r - 5*r + m, r - 3*l = -8. Is 4 a factor of s(r)?
False
Suppose 3936 = 4*n + 5*v, 5*n - 5*v - 770 - 4150 = 0. Is n a multiple of 7?
False
Let i = -1532 + 2676. Is i a multiple of 13?
True
Let x = 289 + -160. Suppose -x*n + 125*n + 580 = 0. Does 11 divide n?
False
Suppose m + 3359 = 3*z, -2*m - 3362 = -3*z - 4*m. Is 20 a factor of z?
True
Suppose 0 = -34*g + 5001 + 8293. Is 2 a factor of g?
False
Let i = -983 + 3188. Does 80 divide i?
False
Let p(a) = 174*a + 495. Is 111 a factor of p(8)?
True
Let o be (2 + 1/(-2))*-2. Let w(f) = -3*f**3 + 6*f**2 + 2. Let n(h) = 4*h**3 - 7*h**2 - 2. Let d(z) = -4*n(z) - 5*w(z). Is 2 a factor of d(o)?
False
Let u = -490 - -340. Does 7 divide 5*u/(-27) - 2/(-9)?
True
Let p(l) = l**3 - 9*l**2 - 2*l + 12. Let m be p(9). Let k(y) = -8*y + 7*y - 3*y. Is k(m) a multiple of 24?
True
Suppose 0 = 4*f + 32 + 48. Let y be 203 - f - (1 - 3). Suppose y = 6*p - p. Is 15 a factor of p?
True
Let f = 728 + -337. Is f a multiple of 13?
False
Let w be 29*5*(-4)/(-30)*6. Suppose -232*k + 231*k + w = 0. Is 29 a factor of k?
True
Let g(t) = 2 - 2 + 6*t - t**2 - 6 + t**3 - 3*t**2. Let i be g(3). Suppose 0 = -5*z + 25, i*u + z - 68 = -3*z. Is 16 a factor of u?
True
Let u(t) = 28*t + 18. Let q be u(1). Suppose 0*i - 5*p = 3*i - 100, -p + 5 = 0. Let g = q - i. Is 7 a factor of g?
True
Let s be ((-11)/11)/(1/(-36)). Suppose s = 5*t - 74. Suppose -i = -t - 18. Is i a multiple of 10?
True
Let r = 60 + 75. Suppose f = c - 2*f - r, c - 2*f - 131 = 0. Is c a multiple of 24?
False
Suppose -4*d + 5*