 w be v(-5). Let s = 37 - w. Suppose -5*m - s + 88 = 0. Is m a multiple of 7?
True
Let l(s) = s**3 - 2*s**2 + 4*s. Does 16 divide l(4)?
True
Suppose x - 21 = -3. Is 12 a factor of x?
False
Let x(g) = g**3 - 5*g**2 + 7*g - 4. Let b = -8 + 12. Let t be x(b). Let a = 10 + t. Does 9 divide a?
True
Let r(k) = 12*k**2 - k + 4. Is r(3) a multiple of 22?
False
Let d = -11 - -19. Is 8 a factor of d?
True
Let u(z) = -2*z + 4. Let o be u(-3). Let k be o/(-14) + 2/(-7). Is 9 - k*3/3 a multiple of 6?
False
Let d = 10 - -6. Let q = 24 - d. Is q a multiple of 8?
True
Let x = 0 + 3. Suppose -x*m + 11 + 31 = 0. Is m a multiple of 7?
True
Let a = -3 + 5. Suppose 4*z = -3*f - a*f + 50, -3*f - 2*z = -28. Is 3 a factor of f?
True
Let l be (-2)/(-4) - (-15)/2. Suppose 3*y - 25 - l = 0. Is (-2 + y - 1) + -1 a multiple of 3?
False
Let h(q) = q**3 - 10*q**2 + 18*q + 22. Is 18 a factor of h(9)?
False
Let t = 159 + -92. Is 5 a factor of t?
False
Let d(k) = -k**3 - 14*k**2 - k + 18. Let l be d(-14). Suppose 2*t - l = 42. Is 24 a factor of t?
False
Suppose 24 = -4*o + 4*y + 4, 4*o + 4*y = 12. Let m be (-1 - o) + 2 - 0. Suppose 5*j - 2*f = j + 30, 9 = j - m*f. Is 7 a factor of j?
True
Suppose 5*m - 4*m = 27. Is m a multiple of 11?
False
Let h(c) = -c**3 - c**2 + 2*c - 6. Let o be h(0). Let z(q) = q**3 + 9*q**2 + 14*q + 2. Is z(o) a multiple of 26?
True
Suppose -3*h + 87 = -2*w, 5*h = w + 136 + 16. Does 31 divide h?
True
Let k = -8 - 7. Is (3/k + 2)*15 a multiple of 14?
False
Let z = 64 - 10. Is z a multiple of 18?
True
Let c = 2 - 8. Does 14 divide -14*(0 - c/(-3))?
True
Let b(s) be the second derivative of -5*s**3/6 + s. Is b(-6) a multiple of 10?
True
Let h be 72/(-27) - 4/(-6). Let u be (-1 + 45/(-6))*h. Suppose 2*c - 20 = -q, -3*c - u = -2*q + 16. Does 14 divide q?
False
Let c = 7 + 21. Let j be (-29)/(-3) + (-2)/3. Let i = c - j. Is 7 a factor of i?
False
Suppose k - g + 13 = 0, 0 = -3*k - 2*k - 3*g - 65. Let y = 43 + k. Does 17 divide y?
False
Suppose 0 = -6*g + g + 580. Suppose -b - g = 3*b. Let w = b + 46. Is 8 a factor of w?
False
Suppose 0 = -3*c + 2*c - 3*m - 8, -2*c = -4*m - 24. Let d(i) = -i**3 + 6*i**2 - 3*i - 5. Does 15 divide d(c)?
True
Suppose -10*b + 9*b + 11 = 0. Does 11 divide b?
True
Let v(q) be the second derivative of -q + 1/6*q**4 - 1/2*q**3 + 0 - q**2. Is 7 a factor of v(3)?
True
Suppose -4*u - 14 = -2. Does 14 divide 29 + (9/u)/3?
True
Suppose 2*y - 4*y + 6 = 0. Let b be 44/(y + -1) - 1. Let j = b + -4. Is 10 a factor of j?
False
Let u be 75/(-9) - 2/3. Let d be (-2)/(-3)*u/(-2). Suppose 7*o - d*o = 104. Is o a multiple of 13?
True
Suppose -5*s + 160 = -100. Let m = s + -24. Does 7 divide m?
True
Let l = 26 + -41. Let k = l + 27. Is 8 a factor of 3*k*2/3?
True
Suppose -3*k - 92 = -4*z, -13 = 3*k - 1. Does 8 divide z?
False
Let b(m) = m**2 - 4*m. Is b(-6) a multiple of 30?
True
Suppose -2*g + 2 = -6. Suppose -g*z - 140 = -5*v - 0*v, -5*z = v - 28. Does 14 divide v?
True
Let u be 2*2*(1 + 0). Suppose 3*x + 4*p - 37 + 7 = 0, 2*x - u*p = 0. Does 6 divide x?
True
Suppose -4*b = -d - 18 - 28, -5*b - 3*d + 66 = 0. Let g be 18/b - (-177)/2. Suppose 2*i = -i + g. Does 15 divide i?
True
Let z be (2 + 5/(-2))*-12. Let d be (-1 + 5)*z/6. Let x = 9 - d. Does 5 divide x?
True
Let u be ((-2)/(-6))/((-2)/(-48)). Let n = -5 + u. Suppose 14 = b - n. Is b a multiple of 14?
False
Let f = -1 - -6. Suppose 2*u - 30 = f*u. Let v = u + 28. Is 6 a factor of v?
True
Suppose -20 + 5 = j. Is (54/8)/(j/(-40)) a multiple of 9?
True
Suppose 0 = -3*d + 3*v + 396, -7*d - 3*v = -2*d - 684. Is 27 a factor of d?
True
Let u = 194 - 98. Is 16 a factor of u?
True
Let j(f) be the first derivative of -f**4/4 - f**3 - f**2/2 - 2. Let v be j(-2). Does 10 divide v/(-4)*4*10?
True
Is ((-3)/(-9))/(2/234) a multiple of 13?
True
Suppose 2*a = 6, -3*x + 4*a + 7 = 1. Is 4 a factor of x?
False
Let w be 18/(-2 - -2 - 1). Let u be (-2)/((-8)/w)*2. Let f = u - -22. Is 13 a factor of f?
True
Let a(b) = -b**3 + 4*b**2 - 4. Let r be a(3). Suppose 3*d - r = 4. Suppose -5*s - 3*c + c = -53, 0 = 2*s + d*c - 19. Does 3 divide s?
False
Let m(g) = g**2 + g + 2. Let w(z) = 4*z**2 + 3*z + 7. Let r(h) = -7*m(h) + 2*w(h). Let f be r(4). Is 6 a factor of 112/f + 1/(-3)?
False
Let p(f) = -15*f + 9. Let y = 6 + -11. Is p(y) a multiple of 25?
False
Let o be (9/6)/(6/16). Suppose -3*v = -4*v - o. Is v/(4/(-5)) - 2 even?
False
Does 7 divide ((-1 - -18) + -3)*(-8)/(-2)?
True
Suppose 0 = 3*n + 36 - 108. Is n a multiple of 8?
True
Suppose 4*a + 8 = 0, 25 = 3*h - 7*a + 2*a. Is 2 a factor of h?
False
Let p(z) = -4 - z - z**3 - 5*z**2 - 3 + z**2. Suppose -k + 2 - 7 = 0. Is p(k) a multiple of 9?
False
Let o be (-3)/(-2 + 15/12). Is 11 a factor of 25 - 1 - (-3 + o)?
False
Let m be 2/(-11) + (-1610)/(-22). Suppose n + 5 = m. Is 18 a factor of n?
False
Suppose 2*m - 3*i = -0*i + 16, -4*m + 16 = 2*i. Suppose -7*a + 2*a + 25 = 0. Suppose 95 = a*k - 5*j, m*k + 2*j + 51 = 153. Does 10 divide k?
True
Suppose -7*y + 100 = -3*y. Is y a multiple of 15?
False
Suppose 0 = m + 6 - 21. Is m a multiple of 5?
True
Let y be (-1 - -1) + -11 - 4. Is 7 a factor of (-205)/(-25) - (-3)/y?
False
Suppose -2*l = 0, -2*s - 18 = 2*l - 46. Is s a multiple of 3?
False
Let d be (6/2)/(9/24). Let p = 4 + d. Is 4 a factor of p?
True
Suppose -z = 7 - 3. Does 15 divide (-1)/z - (-550)/8?
False
Let s(r) = r + 3. Let f be s(-3). Suppose 3*h - h - 32 = f. Is h a multiple of 11?
False
Suppose 2*r - 4*u = u + 1, -5 = -u. Does 10 divide r?
False
Let v = 192 + -97. Is v a multiple of 19?
True
Let l be (12/10)/((-8)/(-20)). Let c(m) = -9*m**2 - m**l + 8*m**2 - 3 - m + 0*m**3. Is 9 a factor of c(-3)?
True
Let z(i) = -9*i - 45. Is z(-21) a multiple of 9?
True
Let y(d) = -d**2 - 3*d + 2. Let i be y(-3). Is 3 a factor of (i - 0) + -4 + 5?
True
Let t(l) = -12*l - l - l**3 - 5 - 9*l**2 + 2*l. Let j be t(-8). Suppose -2*y - 2*m = -44, 5*m - 19 = -y + j. Is y a multiple of 9?
True
Let f be 2/(-8) + (-115)/20. Let h = f + -2. Let n = h + 38. Is 12 a factor of n?
False
Let l(a) be the third derivative of a**5/60 + a**4/24 - 2*a**3/3 + a**2. Suppose 43*t - 38*t = -30. Is l(t) a multiple of 13?
True
Suppose 0 = 7*w - 5*w - 40. Is 10 a factor of w?
True
Let t be 1/(-6) - 3346/84. Let r = -20 - t. Is 7 a factor of r?
False
Let i be (1 + -2)*1 + 5. Suppose -i*b - 4 = -6*b. Let c = b - -2. Is c even?
True
Let b = 6 + -4. Let j be (-75)/10 - 1/b. Does 2 divide (-20)/j*4/5?
True
Suppose 0 = 4*p - 0*p - 144. Is 18 a factor of p?
True
Let k = -44 + 101. Is 11 a factor of k?
False
Suppose -w - w + 10 = 0. Suppose 0*f - i = f - w, -f = 2*i - 4. Is 5 a factor of f?
False
Suppose -178 = -5*z - 33. Does 2 divide z?
False
Suppose -5*w - g + 6 + 16 = 0, 5*w = 2*g + 16. Suppose -w*q = -5*q - 249. Does 14 divide 1/3 - q/9?
True
Let u = 102 + -54. Is 16 a factor of u?
True
Let c be 50 + (2 - 0/2). Suppose -4*o - 3*g + c = -4*g, -3*g = -5*o + 58. Does 14 divide o?
True
Let l(j) = -7*j**2 - 3*j - 5. Let k be l(-2). Is (k/(-6))/(-9)*-24 a multiple of 3?
True
Suppose u - 91 = n, 2*u + 0*n - 5*n - 179 = 0. Is (-5 - -2)/((-6)/u) a multiple of 23?
True
Let k = -50 + 89. Let r = 1 + k. Is r a multiple of 10?
True
Let c = 32 - 27. Does 5 divide c?
True
Suppose 2*a - 4*a = -48. Let s = 34 - a. Let l = 27 - s. Does 17 divide l?
True
Suppose -l + 0*l + 3 = 0. Suppose -3*q + 47 = -4*z + l*z, 0 = -2*q - 2*z + 26. Is 15 a factor of q?
True
Let w(x) = -x**3 + 21*x**2 + 11*x - 36. Does 13 divide w(21)?
True
Let b(z) be the third derivative of -z**5/60 - 7*z**4/24 - z**3/2 - 2*z**2. Is 3 a factor of b(-6)?
True
Let j(l) = 41*l. Let v(k) = -40*k. Let i(u) = 5*j(u) + 4*v(u). Let a be i(2). Suppose -6 + a = 3*d. Is 13 a factor of d?
False
Let o be 26/(-8) - (-8)/32. Let v = 5 + o. Suppose -18 = -t + q, 2*q - 66 = -v*t - 2*q. Is 10 a factor of t?
False
Let v(t) = -t**2 + 5*t. Let c be v(6). Let o = c + 12. Is 3 a factor of 2/o + 14/3?
False
Let b(l) = l**2 - 9*l - 15. Is b(-8) a multiple of 52?
False
Let v = -4 + 6. Suppose -v*j = -108 - 34. Suppose 2*t - j = -3. Is t a multiple of 17?
True
Suppose 0 = -6*a + 9*a - 204. Is a a multiple of 3?
False
Let q(j) = 3*j - 9. Let k be q(6). Let r(b) = b**3 - 9*b**2 + 2*b - 5. Is r(k) a multiple of 13?
True
Let u = 6 + -5. Is 10 a factor of 30 + u + (-1)/1?
True
Let h be -3