et w(j) = j**2 + 3*j - 8. Is w(-6) a multiple of 2?
True
Let m(x) = -x**3 + 17*x**2 + 4*x - 23. Does 15 divide m(17)?
True
Let g = 303 - 147. Is 36 a factor of g?
False
Let l be -40 + 12/(-4) + -1. Let z = 7 - l. Does 17 divide z?
True
Suppose -52 = -4*k + 160. Suppose -36 = -4*a + 3*z - 7, -4*z = 3*a - k. Suppose -3*i = -0*i - 2*d - a, 38 = 4*i + 2*d. Does 4 divide i?
False
Does 53 divide ((-530)/30)/(1/(-3))*4?
True
Suppose -5*f + 0 = -10. Suppose f*l + 5 = -11. Let m = 15 + l. Is 3 a factor of m?
False
Let n(h) = 5*h**2 - 3*h**2 + h**2 - 1 + 2*h**2. Let y be n(-2). Suppose 5*r = -5*j + 86 - 31, y = 3*r - 4*j. Does 6 divide r?
False
Suppose 3*w = -4*q + 14, 2*w + q - 6 - 5 = 0. Is w a multiple of 2?
True
Suppose -2*d - 2*d = -2*h + 8, h = 3*d + 8. Let l(r) = r**3 + 2*r**2 - 2*r - 4. Let c be l(d). Is 13 a factor of (-1 - 1)*1 - c?
True
Is (-16)/((-16)/6 + 2) a multiple of 12?
True
Let a(o) = 35*o + 1. Let u(i) = -70*i - 1. Let n(m) = 5*a(m) + 3*u(m). Is n(-1) a multiple of 9?
False
Is (-280)/(-88) + (-4)/22 a multiple of 3?
True
Suppose -13 + 6 = -o. Suppose -o*y = -2*y + 40. Let n = y + 13. Is 2 a factor of n?
False
Suppose -2*t + 5*l + 115 = 0, 0*t + 130 = 3*t + l. Is t a multiple of 5?
True
Suppose 0 = 2*j - 53 - 7. Let h be (-6)/10 - (-1 + (-624)/15). Let c = h - j. Is c a multiple of 6?
True
Let r = -53 + 66. Is r a multiple of 6?
False
Let h(k) = -k - 17. Let c be h(-10). Is 3 a factor of 2*12/(-8) - c?
False
Let r be 1/2*(11 + -11). Suppose r*j + j - 18 = 0. Is j a multiple of 14?
False
Suppose 2*k = 5*k + 30. Let u = k - -16. Suppose 3*c - 2*r - 8 - 54 = 0, 0 = -3*r + u. Does 8 divide c?
False
Let m(a) be the third derivative of -a**4/8 + 2*a**3/3 + 3*a**2. Let x be (1/(-2))/(2/16). Is m(x) a multiple of 8?
True
Let h(d) = d**2 + 1. Let i be h(-1). Let z(a) = a**3 - 6*a**2 + 5*a - 2. Let y be z(5). Is 4 a factor of (i/y)/(1/(-4))?
True
Suppose -7*t + 4*w - 3728 = -2*t, 0 = 4*t + 2*w + 2972. Let z be (-4)/18 - t/(-54). Is (-4)/(-1)*z/(-4) a multiple of 5?
False
Let x = -2 - 0. Let w be x/(-8) - (-21)/12. Suppose -w*u + 10 = -5*v, -3*u + 5*v + 25 = -0*u. Is u a multiple of 7?
False
Is (7 - 5)*(1 + -2 + 2) a multiple of 2?
True
Let h = -119 + 420. Is 38 a factor of h?
False
Suppose 8*p = 5*p + 630. Is p a multiple of 30?
True
Let u = 132 + -72. Suppose 0 = 5*n - 20 - u. Is 16 a factor of n?
True
Suppose 5*o + 2*f - 804 = 0, o + 3*o - 4*f - 632 = 0. Suppose j = -0*j + o. Suppose 3*y - j = -2*y. Does 16 divide y?
True
Suppose 11 = o - 2*y - 16, o + 2*y - 35 = 0. Is o a multiple of 2?
False
Suppose -l - 2 = -4. Is 2/(((-4)/(-22))/l) a multiple of 15?
False
Let s(b) = -b**3 - b + 3. Let t be s(-3). Let d(r) = r**3 + 7*r**2 + 5*r - 4. Let w be d(-6). Suppose w*o + o = t. Does 5 divide o?
False
Let l(q) = -q**3 - 8*q**2 - q - 6. Let y be l(-8). Suppose 0 = -2*r, -y*r + 0*r = 4*m - 264. Is 14 a factor of m?
False
Suppose -28*q + 396 = -22*q. Is 8 a factor of q?
False
Suppose 0*z = 4*z. Is (-1 + z)*(-26)/2 a multiple of 6?
False
Let t(u) = -u**2 + u + 22. Let y(i) = i + 1. Let p = 6 + -7. Let m be y(p). Is t(m) a multiple of 9?
False
Suppose 5*z + 0*z = 20. Does 9 divide 48/z*(-6)/(-4)?
True
Suppose 5*l - 5 = 0, -2*h + 40 = -5*l - 15. Does 3 divide h?
True
Let b(n) = n**2 + 2*n - 8. Let p be b(-4). Suppose f = 6 - p. Does 3 divide f?
True
Suppose 0 = 4*h + 8 + 40. Let r(t) = t**3 + 12*t**2 - 3*t - 16. Is 20 a factor of r(h)?
True
Let m = 4 + -6. Let v(r) = -7 - 3*r**3 - r + 5 - r - r**2. Does 11 divide v(m)?
True
Suppose -15 = w - 4*w, -5*w = l - 38. Is 11 a factor of l?
False
Let m = -30 - -48. Is m a multiple of 9?
True
Let k be ((-2)/4)/(1/4). Let d(a) = -9*a**3 + 2*a**2 + 2*a + 1. Is 20 a factor of d(k)?
False
Suppose 4*z + z - 674 = -3*k, 3*z - 418 = 5*k. Does 27 divide z?
False
Suppose -l - 4 = -8. Suppose l*c + 2 = -5*n + 39, 0 = c + 3*n - 4. Is c a multiple of 13?
True
Let s be 54/(-2) + 13 + -10. Let c = s + 39. Does 5 divide c?
True
Suppose -3*v + 4 = 1. Let t(m) = 4*m - 7*m**2 + v - m**3 + m**3 + 2*m**3. Is 12 a factor of t(4)?
False
Let b = -4 + 9. Let f(n) = n**3 - 5*n**2 + 3*n - 6. Does 9 divide f(b)?
True
Suppose 2*l - 5 = -3*l. Let f(g) = -6*g**3 - 2*g - 1. Let h be f(-1). Let y = h - l. Does 6 divide y?
True
Suppose -176 - 112 = -4*b. Does 35 divide b?
False
Suppose 0 = -3*l + 2 + 7. Suppose -2*p + 75 = l*p. Let w = p - 7. Does 8 divide w?
True
Let s be 15*(6 - 2)*2/(-12). Let f be (-422)/(-7) - (-2)/(-7). Let m = f - s. Does 24 divide m?
False
Does 10 divide 8/(-12) - (-96)/9?
True
Suppose 4*l - 7*l + 270 = 0. Does 9 divide l?
True
Suppose 5*w = -3*f + 1377, 3*f = -3*w + f + 827. Does 21 divide w?
True
Let u(j) be the first derivative of j**4/4 + 2*j**3 + 3*j**2 + 6*j - 2. Is 14 a factor of u(-4)?
True
Is 13 a factor of (83 + -1)/(-2 - -4)?
False
Suppose 2*w + 0*w = 22. Is 11 a factor of w?
True
Suppose -210 = -6*s + s. Is s a multiple of 18?
False
Suppose 34 = b - 2*b. Let n = 26 - b. Is n a multiple of 20?
True
Let f(o) = -2*o - o - 1 + 4*o. Let j be f(6). Suppose 4*y + 5*s + j = 2*y, 4*s + 2 = -2*y. Is y a multiple of 5?
True
Suppose 5*d = -3*b + 92 + 124, -3*d + 136 = 5*b. Is d a multiple of 7?
True
Let o(l) = -7*l**3 - l**2 - l - 2. Is o(-2) a multiple of 15?
False
Let f(h) = 4*h**2 - h - 4. Let c(w) = 13*w**2 - 4*w - 13. Let k(z) = -2*c(z) + 7*f(z). Let o be k(-2). Suppose -o*q - 17 = -61. Is 11 a factor of q?
True
Let t = -16 + 58. Is t a multiple of 14?
True
Let b(j) = j**2 + 4*j - 2. Let x be b(-6). Suppose -c + 3 = -x. Does 10 divide c?
False
Let m(d) = 100*d. Let k be m(-1). Let r = k + 160. Suppose 0 = -2*c + 4*c - r. Does 15 divide c?
True
Suppose -3*t = -s - 174, -4*t - 5*s + 251 = -0*t. Is t a multiple of 59?
True
Suppose -173 = -4*f + k, 2*f - 89 = 4*k - k. Is 6 a factor of f?
False
Suppose -19*x + 23*x - 20 = 0. Does 2 divide x?
False
Suppose 8*u = 9*u - 67. Suppose 0 = z - 1, 3*z + u = v + 7*z. Is 21 a factor of v?
True
Suppose 4*s = -8, 2*s = 2*n + 2*n - 56. Suppose -4*a = -5*i + 8, 3*a - 2*a = 4*i - n. Is 3 a factor of i?
False
Suppose -292 = -3*f - f + 4*h, 2*f - 4*h = 154. Let a = -47 + f. Is 11 a factor of a?
True
Is 108/2 - 4/2*1 a multiple of 26?
True
Suppose -5*x = -3*c + 2*c - 15, 5*x - 25 = -c. Suppose -2*l + 27 = 3*z - 5, -c*z + 36 = -l. Is 5 a factor of z?
False
Let p(q) = q**2 - 4*q + 4. Is p(-5) a multiple of 20?
False
Let n(m) = 73*m**2 - m - 1. Suppose 3*p + 3 + 0 = 0. Is 25 a factor of n(p)?
False
Let b(d) = 39*d**2 - 7*d + 8. Is 6 a factor of b(2)?
True
Suppose 0 = -u, -4*h + 1315 - 211 = -2*u. Is h a multiple of 12?
True
Suppose 18 - 6 = 4*z - 4*i, -2*z + 4*i = 0. Let t(l) = 2*l + 6. Let b be t(z). Suppose -4*h - b = -134. Does 12 divide h?
False
Is ((-20)/(-25))/(4/250) a multiple of 25?
True
Let l(t) be the first derivative of 2*t**3/3 - 9*t**2/2 + 6*t + 1. Let i = -9 - -15. Is 13 a factor of l(i)?
False
Let k be (-1)/((-2)/100) - -1. Suppose n = 4*n - 9, 3*x - n - k = 0. Is x a multiple of 16?
False
Suppose 168 = 8*j - 2*j. Does 14 divide j?
True
Is (((-7)/(-2))/(-7) + 0)*-230 a multiple of 10?
False
Let a be (-24)/(-10) - (-4)/(-10). Let g be 2/(-2) + a + -2. Does 11 divide 2*g*-1 - -21?
False
Let q be ((-12)/15)/((-5)/25). Let p = 46 - q. Does 21 divide p?
True
Let h(d) = -d + 13. Let n be h(11). Let j be (-2*1)/(1/(-5)). Suppose w - 8 = -0*s + 2*s, n*w = s + j. Is 2 a factor of w?
True
Let h = 19 - -20. Does 11 divide 1*-1 + -3 + h?
False
Let m be ((-2)/4)/(3/48). Let h be (-1250)/m + (-1)/4. Suppose -h = -5*t - 36. Is t a multiple of 12?
True
Suppose 0 = -c + 2*c + 190. Is 16 a factor of (-7)/(-14) + c/(-4)?
True
Suppose -c - 7 = -4*q, 5*c = -6*q + 2*q - 11. Does 2 divide 36/20 + q/5?
True
Let c(f) = 2*f + 8. Let a be 1/3 - 38/(-3). Is 12 a factor of c(a)?
False
Let q(j) = -j**2 - 8*j - 12. Let s be q(-5). Suppose -s = -3*b + 81. Does 14 divide b?
True
Let u(b) = -7*b**2 - 1. Let o be u(1). Let g be (-46)/(-14) - o/(-28). Suppose 2*l + 27 = 3*l + g*q, -142 = -4*l + 5*q. Is l a multiple of 14?
False
Let f = -10 + 83. Does 7 divide f?
False
Suppose -3*o = 4*v - 486, 2*v - 368 = -v - 4*o. Does 28 divide v?
False
Suppose 0 = -4*n - 279 + 51. Let z = n - -103. Is z a multiple of 23?
True
Let d(t) = -3*t**3. Let s be d(-1). Let x(y) = 12*y**2 - y - 2. Let h be x(-2). Suppose 0 = -6*q 