e g(-8). Suppose -3*r + 146 = 4*m, -4*r + 0*m = i*m - o. Does 21 divide r?
True
Let g(t) = -t**3 + 7*t**2 - 8*t - 3. Let x be g(7). Let z = x + 127. Is z/(-6)*-1*3 a multiple of 16?
False
Let j = 85 - 56. Suppose -j = 4*s - 93. Does 8 divide s?
True
Let a be (0 - 2 - -14) + -2. Let p = a - 6. Suppose -5*q + 190 = 5*l, 0 = -q + p*q. Is 13 a factor of l?
False
Let a(i) = 0 + 3*i + 0 + 1. Let z be a(-7). Let f = z + 35. Is f a multiple of 6?
False
Let q be (-2)/(-1 + 6/8). Let h(i) = -2*i - 4. Let t(j) = -j - 2. Let f(x) = -6*h(x) + 11*t(x). Is f(q) a multiple of 5?
True
Is (-3244)/(-18) - (5 + (-43)/9) a multiple of 12?
True
Let d be (1 + 2)/(0 + 1). Let v be d*(-1)/(-2)*-2. Is 2/v + (-100)/(-6) a multiple of 11?
False
Let s = 22 + 1. Does 3 divide s?
False
Suppose 2*d = 5*d. Suppose -4*q + 100 - 4 = d. Suppose q = j + l, 2*j - 5*l = j. Does 10 divide j?
True
Let t be 0 - (-5 + 3 + 0). Does 24 divide 2/(t + 94/(-48))?
True
Let a(t) = 3*t - 1. Let s be a(1). Let r = 4 + s. Is r a multiple of 2?
True
Let p = 4 - 2. Suppose -p*q = 3 + 9. Does 15 divide 1/2*-5*q?
True
Let s(u) = 2*u - 2. Let q be s(4). Suppose -3*n + 3 = -q. Let g = 5 - n. Is g a multiple of 2?
True
Let z = -5 + 5. Let v = z - -2. Suppose 4*x - 76 = v*x. Is x a multiple of 17?
False
Let p be (-7)/(-28) - (-66)/(-8). Let y = p - -44. Suppose 2*f - y = -f. Does 6 divide f?
True
Let h be (-4)/(-2 - 1*-4). Let n be h/(-3) + 30/9. Suppose -n*r + 39 = 5*p, -21 = -0*r - 4*r + p. Does 5 divide r?
False
Let d(l) be the third derivative of -5*l**4/4 + 7*l**3/6 + 7*l**2. Does 25 divide d(-3)?
False
Suppose -2*x - m + 1 = -4*x, -m = -5*x + 5. Let y be 2/(x/43) + -1. Let o = y + -24. Is o a multiple of 18?
True
Suppose -2*q = -4*q + 12. Suppose 5*o + 2*u = 146, q*o = 4*o - u + 59. Is o a multiple of 28?
True
Suppose -5*u - m + 109 = 0, -12 - 57 = -3*u + 3*m. Let p = u - 14. Is p a multiple of 8?
True
Let q(i) = i + 5. Let u be q(-5). Suppose g - 26 = -u*g. Is g a multiple of 10?
False
Suppose -2*r + 3*p - 5*p = -126, r = -5*p + 43. Let u be -120*4/(-10)*-1. Let i = r + u. Is 10 a factor of i?
True
Let n(l) = 4*l**2. Let c be n(-1). Suppose -7*p + 3*p - c*q = -40, -5*q - 20 = 0. Suppose -2*a = -p - 4. Does 4 divide a?
False
Suppose o + 3*o - 292 = 0. Is o a multiple of 24?
False
Is 4*2/(-12)*-39 a multiple of 13?
True
Let x(o) = -o - 12 + 6*o - 3*o + 4*o. Does 10 divide x(7)?
True
Let r(w) = -3*w - 27. Let v(x) = 2*x + 13. Let u(o) = -3*r(o) - 5*v(o). Let p be u(7). Let s = p + 0. Is 9 a factor of s?
True
Let w = 5 - 5. Suppose w = f - 57 + 19. Does 19 divide f?
True
Suppose -3*a = 4*w + 5, 7*a - 25 = 3*a + w. Let u = a + 1. Is u a multiple of 6?
True
Suppose 13*o = -7*o + 2860. Is o a multiple of 53?
False
Let b(g) = g + 4. Let k be b(-4). Suppose -f = -d + 16, k = 3*f - 2*f - 3*d + 8. Does 19 divide (-1148)/f + 6/(-15)?
True
Suppose 4*b - d = 163, -b + 2*d = 5*d - 31. Does 34 divide b?
False
Let h be 1/2*(95 - 1). Let d = h - 16. Is 8 a factor of d?
False
Is (24/28)/(3/84) a multiple of 24?
True
Is 3/(-3)*-15*4 a multiple of 15?
True
Suppose p - 18 = 27. Is p a multiple of 5?
True
Let p be (4/(-5))/((-8)/(-580)). Let k = p + 15. Let w = -25 - k. Does 9 divide w?
True
Suppose -3*j = -j - 528. Is 22 a factor of j?
True
Let v(o) = o**2 - 3*o - 4. Is v(-4) a multiple of 6?
True
Let l(s) = 25*s**3 + 6*s**2 - 7*s - 6. Let w(q) = -24*q**3 - 5*q**2 + 6*q + 5. Let d(m) = 5*l(m) + 6*w(m). Let z be d(-1). Let o = -6 + z. Is o a multiple of 8?
False
Is 47 a factor of 47/(-2)*-9*(-20)/(-30)?
True
Let a = 19 - -57. Is a a multiple of 10?
False
Suppose 2 = -2*h + 24. Let t = 4 + h. Is t a multiple of 10?
False
Let a be 6/((-3 + 0)/(-33)). Suppose -x - a = -3*x + 2*u, 67 = 2*x - u. Is 12 a factor of x?
False
Suppose -g + 0*g = -3. Suppose 41 = g*u - x, 2*u - 20 = -3*x - 0*x. Is u a multiple of 13?
True
Is -2*(-4)/(-8) + 26 a multiple of 25?
True
Suppose 80 = 4*h + 4. Is 6 a factor of h?
False
Let u = 0 - -36. Let k be ((-2)/(-6))/(4/u). Does 17 divide (-1)/k*-3 + 16?
True
Let u(m) = -3*m + 2. Let i(k) = 5*k - 5. Let x(c) = 4*i(c) + 7*u(c). Let p be x(-3). Let f(h) = h**2 + 3*h + 3. Is f(p) a multiple of 3?
True
Let d be 0 + (-1 - 9) + -1. Let l(v) = v - 1. Let h(r) = r - 3. Let s(f) = h(f) - 2*l(f). Is s(d) a multiple of 3?
False
Suppose -4*n + 166 - 710 = 5*q, 0 = 5*q + n + 556. Let o = q + 214. Let d = o - 62. Does 19 divide d?
False
Suppose 3*w + 7*a - 26 = 2*a, w = -5*a + 12. Does 16 divide 1 - 1 - (-61 + w)?
False
Let t = 90 + -60. Is t a multiple of 10?
True
Let t be 20/9 + 2/(-9). Is (-2)/t*-8 - -1 a multiple of 9?
True
Let t(i) = -3*i**2 + i + 2. Let d be t(2). Let k = d - -20. Does 6 divide k?
True
Suppose -5*k + 3*r + 345 = -2*k, -4*k + 460 = r. Is k a multiple of 23?
True
Suppose -3*h - 2 = -50. Let z be 1/4 + 60/h. Suppose -81 = n - z*n. Does 12 divide n?
False
Suppose 20*h - 18 = 17*h. Is h a multiple of 4?
False
Let l = 4 + -4. Let a be (l + (-2 - 1))/(-1). Suppose 2*z - q - 18 = -0*z, -a*q - 12 = 0. Does 7 divide z?
True
Let f(x) = x - 2. Let i be f(4). Let h be (-3 + i)/(2/(-4)). Suppose 2*k - 20 = -h*k. Does 2 divide k?
False
Does 7 divide -21*1*(-3 - -2)?
True
Suppose 5*s - 80 = -5*p, -3*p - 5*s - 4 = -4*p. Is p a multiple of 6?
False
Let l(c) = -2*c**3 + 2*c**2 + 2*c. Let a be l(2). Let w be 2/a*(-8 + -2). Let j = 9 - w. Is 4 a factor of j?
True
Let l(z) be the third derivative of -1/120*z**6 + 11/6*z**3 + 4*z**2 + 0*z - 1/12*z**4 - 2/15*z**5 + 0. Does 16 divide l(-8)?
False
Let w be 0 - 0*(-3)/9. Suppose w = -3*m - 5*a - 5, -3*m - m - a = 1. Suppose m = 4*k - 3 - 9. Is k a multiple of 3?
True
Suppose -5*c + 4*b = 66 - 556, 3*b + 203 = 2*c. Let h = -14 + c. Is 20 a factor of h?
True
Let t be 2/6 + 68/12. Suppose -2*a = a - t. Suppose -88 = -2*g - a*g. Is 11 a factor of g?
True
Is 5 a factor of (-528)/(-42) - 3/(-7)?
False
Let c(u) = u**3 - 11*u**2 + 11*u + 6. Let o be c(10). Let y = -10 + o. Is 12 a factor of y/24 - 99/(-4)?
False
Let g(a) = -a + 29. Let i be g(0). Let x = i - -2. Is 10 a factor of x?
False
Let z be 1 - 0/1 - 10. Let l = -7 - z. Is 49/l + (-1)/2 a multiple of 8?
True
Let f(q) = q - 8. Suppose -2*m + 12 = -0*m. Let z be f(m). Is -33*(-2)/(-6)*z a multiple of 17?
False
Let h(a) = a**2 - 11*a + 9. Let y be h(7). Let c = y - -22. Is 3 a factor of c?
True
Let y(g) = -14*g + 1. Let s = 2 - 3. Is y(s) a multiple of 12?
False
Suppose -4*z + 3*z + y + 15 = 0, -25 = -4*z - 3*y. Suppose -2*w - s = -z, -w - 5 = 5*s - 1. Is 6 a factor of w?
True
Is 5/20 + (-463)/(-4) a multiple of 29?
True
Let f = -1124 - -49. Is f/(-20) + 2/8 a multiple of 23?
False
Let k(q) = 19*q - 3. Let i be k(5). Let l = -148 + i. Let d = 89 + l. Does 17 divide d?
False
Let m(f) = f**2 + 2*f - 2. Let w = 5 - 3. Suppose 2*a - w - 2 = 0. Does 6 divide m(a)?
True
Is 22 a factor of 46 - (4 + 8/(-4))?
True
Let l(u) = -u**2 - 9*u - 3. Is 7 a factor of l(-7)?
False
Let p = 9 + -6. Suppose -l - 3*x = -16, 58 = p*l - 2*x + x. Does 16 divide l?
False
Let o(h) = h**2. Let c(z) = -z**2 - 8*z + 6. Let p(x) = -c(x) - 2*o(x). Let r = 17 - 11. Is 3 a factor of p(r)?
True
Let a = 113 - 47. Is a a multiple of 25?
False
Suppose 9 = 3*d - 60. Is d a multiple of 7?
False
Suppose 4*j - 10 + 2 = 0. Suppose 0 = -j*c - c. Suppose 3*p + 2*a - 24 = -a, c = -2*a + 10. Is 2 a factor of p?
False
Suppose -2 = 4*d - 10. Suppose 0*t + 110 = d*t. Is t a multiple of 14?
False
Let d(o) = 3*o**2 - 1. Is d(-5) a multiple of 18?
False
Let d(n) = 3*n**3 - 6*n**2 + 5. Is d(4) a multiple of 12?
False
Suppose 0 = -w - 0*w + 2*t + 11, -3*w + 9 = 2*t. Suppose 3*l + 0*l = -w*x + 110, l + 3*x - 42 = 0. Is 15 a factor of l?
True
Let c = 60 + -12. Does 6 divide c?
True
Suppose 4*a = 3*a. Suppose a*z = -z + 48. Is 16 a factor of z?
True
Let x(n) = -3*n - 3*n - n. Suppose -6*j - 4 = 14. Is x(j) a multiple of 17?
False
Let f be 1/2 + 9/2. Suppose a - 2*x - 35 + 3 = 0, -f*x = -5*a + 155. Suppose 3*h - h - a = 0. Is h a multiple of 11?
False
Suppose -3 = -2*f - 0*u + 5*u, 7 = 2*f - u. Suppose f*m - 42 = -2. Is 6 a factor of m?
False
Let o(w) = 6*w - w**3 - w + 0*w**2 + 2*w**3 + 6 + 8*w**2. Is 20 a factor of o(-7)?
True
Let f = -124 - -177. Does 11 divide f?
False
Suppose 4*m = -2 + 18. Suppose -i = m*i - 4*z - 26, -5*z = 3*i + 14. Suppose i*n = 1 + 7. Does 3 divi