d be a(-5). Suppose -j - d = -7*j. Is c(j) a multiple of 4?
True
Let u(z) = -z**3 + 14*z**2 - 4*z - 2. Is 16 a factor of u(12)?
False
Let d be (-2)/2*(-8 + 11). Let m(g) = 0 - 8 - 2 - 31*g. Is 33 a factor of m(d)?
False
Suppose -167 = -2*g + g. Does 5 divide g?
False
Let v be 84*-2*15/12. Let n = 68 + v. Let u = -67 - n. Is 30 a factor of u?
False
Let a be (-6)/(6/2) + 38. Suppose -3*x - 4*w + 33 = 0, 0 = -5*x + w - 4 + a. Let c(z) = z - 2. Does 4 divide c(x)?
False
Suppose 2*s = -2*w + 10, -10 = 5*s - 2*s - 2*w. Suppose -4*v + 2 = 2*o - s, 5*v + o = 10. Suppose -v*b + 26 = -139. Is b a multiple of 11?
True
Let y(n) = n**3 - 5*n**2 - 8*n. Let v(x) = -2*x**3 + 11*x**2 + 17*x + 1. Let o(k) = 3*v(k) + 5*y(k). Let m be o(9). Let u = 47 - m. Is 13 a factor of u?
True
Suppose -10*i = -3*v - 8*i + 650, -1081 = -5*v + i. Is v a multiple of 4?
True
Suppose -4*c + 5*x = -34, -51 = -9*c + 4*c + 2*x. Let t(l) be the first derivative of l**3/3 - 9*l**2/2 + 11*l + 24. Is t(c) a multiple of 11?
True
Let s(r) be the second derivative of r**5/20 + 5*r**4/4 + 2*r**3 - 5*r**2/2 - 8*r. Let a be s(-14). Is 8 a factor of (-6 + a)*(-1 + 2)?
False
Let n(a) = a**2 + 17*a + 28. Let p(w) = -w**2 - 17*w - 27. Let m = -18 - -13. Let i(x) = m*n(x) - 6*p(x). Does 18 divide i(-17)?
False
Let p = -1787 + 3316. Is p a multiple of 11?
True
Let x(o) = 3*o - 14. Let r = 21 + -19. Suppose -3*u + 2*z = u - 38, r*z = -4*u + 34. Is 4 a factor of x(u)?
False
Let o(b) = -b**2 - 7*b + 4. Let u be o(-7). Suppose -159 = u*i - 5*i. Suppose -i = -3*r + 96. Is 29 a factor of r?
False
Suppose 5*q + 0 - 17 = -3*s, -4*q = 3*s - 13. Let o(y) = -36*y**3. Does 12 divide o(s)?
True
Let d = 444 - 443. Let g = -9 + 3. Is 6 a factor of (-24)/16*d*g?
False
Let a be ((-2)/(-6))/(9/135). Suppose a*s = 329 + 481. Is (-4)/10 + s/5 a multiple of 16?
True
Let t = 77 + 13. Is 7 a factor of 2/(-9) + 650/t?
True
Let p be 88/16*(0 - 2). Let t = -9 - p. Suppose -5*u = -t*u - 153. Is 19 a factor of u?
False
Let m = 134 + -83. Suppose 2*u + m - 199 = 0. Is u a multiple of 12?
False
Let m = -4 + 6. Is 2 a factor of m + (5 - (-2 - -2))?
False
Let o(v) = -2*v + 8 - 3 - 3. Let x be o(-2). Suppose 0 = 2*l + x - 20. Is l even?
False
Is 1 + (-4)/(-16)*604 a multiple of 10?
False
Let b = -7 + 0. Let r be (-20)/(-32)*58 + (-5)/20. Let x = r - b. Does 16 divide x?
False
Is 6 a factor of 1144/(-6)*90/(-12)?
False
Let p(c) be the second derivative of -c**5/20 - c**4/2 + c**3/6 + 3*c**2 - 5*c. Let v be p(-6). Suppose v = 5*j - 14 - 31. Is 6 a factor of j?
False
Let o be ((-24)/15)/((-2)/(-80)). Let a = o + 192. Suppose -a = -5*k + 152. Is k a multiple of 14?
True
Suppose 2*z - 4*c + 252 - 758 = 0, -4*z - 3*c + 1023 = 0. Is 15 a factor of z?
True
Let v(z) = z**2 - 20*z - 8. Let s be (-48)/(-2) + (2 - (-2 + 6)). Is v(s) a multiple of 11?
False
Suppose 3*r - 3*k + 7 = -20, -k - 39 = 3*r. Let b = r + 13. Let y = b + 8. Is 3 a factor of y?
True
Let k be 4*1 + (3 - 5). Suppose -5*r = 4*v - 333, -k*r - 63 + 197 = 2*v. Suppose -3*p = -4*w + 137, 0 = 3*w - 3*p - r - 34. Is w a multiple of 19?
True
Suppose -34 = -2*v - 2*v + 5*m, -v = -3*m - 12. Let b be -42 - (-3 + v)/(-1). Is 2/(-6) - b/9 even?
True
Let d(c) = c**2 + 8*c + 15. Let h be d(-3). Suppose -4*t + 5*t - 90 = h. Is t a multiple of 10?
True
Let u be 2/(-7) + (-16)/(-7). Suppose 5*i - u*l = -340, -3*i - 223 = -3*l - 2*l. Let t = i - -94. Is t a multiple of 14?
True
Let q = -19 + 23. Suppose -b - k + 9 = 0, -2*k + 40 = q*b - 0*k. Let c = b + 6. Does 17 divide c?
True
Suppose 10*p - 106 = 1194. Suppose 0 = 7*h - p - 801. Does 19 divide h?
True
Let a be (100/(-75))/(2/(-6)). Suppose -5*d - 5*o + 475 = 0, -a*d + 2*o + o + 401 = 0. Does 16 divide d?
False
Let x = -1183 - -2425. Is 46 a factor of x?
True
Is (-914)/(-8) - 11/44 a multiple of 5?
False
Let o = 1066 - -350. Is 24 a factor of o?
True
Is 72 a factor of (-990)/4*(48/(-15) + 0)?
True
Let h(u) = u**2 + 3*u + 2. Let g be h(-3). Suppose 11 = -4*j - 4*c - 1, -g*j = 4*c + 2. Let z(w) = w**2 + w + 7. Is 9 a factor of z(j)?
True
Does 28 divide (-5084)/(-14) + ((-780)/70)/(-13)?
True
Let o(k) = -16*k**3 + 2*k**2 - 11*k - 13. Does 17 divide o(-3)?
False
Suppose -293 = -4*j + u, 0 = -4*j + 3*u + 84 + 211. Suppose -p + 211 = -5*z + 8*z, z + p = j. Is 4 a factor of z?
False
Suppose j = -4*j - 5. Is (-39)/((6/4)/(3/j)) a multiple of 17?
False
Let r(a) = 14*a**2 - 3*a + 9. Is r(3) a multiple of 9?
True
Let a(s) = s + 4. Let m be a(-6). Let l be (-1)/2 - ((-324)/(-8) - 4). Let d = m - l. Does 20 divide d?
False
Let x be (-362)/(-9) + (-2)/9. Suppose 0 = 2*u - 3*u - 2*y + 3, 15 = 5*u - 4*y. Suppose 5*z - 5*q - x = 0, -u*z - 2*q - 2*q = -17. Does 2 divide z?
False
Let n(k) = 31*k**3 - 2*k**2 - 4*k + 24. Is 11 a factor of n(3)?
False
Let q = 33 + 5. Let v = q + -23. Is 2 a factor of v?
False
Suppose -v = -q + 6, 3*v = 5*q - q - 21. Suppose 0 = -q*c + a - 0*a + 27, 4*c + a - 29 = 0. Suppose 2*j = 5*s - j - 116, 4*j = -c. Is 11 a factor of s?
True
Let a(x) = -3*x**2 - 16*x - 29. Let t(w) = 4*w**2 + 16*w + 30. Let k(v) = 3*a(v) + 2*t(v). Is 6 a factor of k(-9)?
True
Does 44 divide 2/20 + 190245/550?
False
Suppose 8*o + 3*o = 528. Is o a multiple of 4?
True
Let x = -69 + 74. Let f be -1*8/(0 - 2). Suppose -2*a + x*g + 28 = 0, 8 = 5*a + f*g - 62. Is a a multiple of 6?
False
Let h(y) = y**3 - 7*y**2 - 10*y + 20. Let b be h(8). Suppose 3*s = -5*n + 105, -b*n + 55 = 5*s - 16. Is n a multiple of 7?
False
Let c be ((-2)/12)/(1/(-3))*-34. Does 7 divide (c + 11)*(-7)/2?
True
Let y = -43 + 35. Let x be 2/y + 130/8. Suppose -13*c = -x*c + 12. Does 2 divide c?
True
Let b(t) = -t - 12. Let k(s) = -s**3 - 3*s**2 + 6*s + 2. Let z be k(-4). Let g be b(z). Is 26 a factor of (-308)/g - 14/(-21)?
True
Let s(f) = -86*f + 79. Is s(-7) a multiple of 31?
False
Suppose -g = -4*l + 4653, -g + 5*g = -5*l + 5790. Is l a multiple of 83?
True
Suppose 0 = -6*j + j. Let t be j/(-5 - (0 + -3)). Suppose 0 = -t*m + m - 17. Is 10 a factor of m?
False
Let w = 374 - 158. Is w a multiple of 18?
True
Let j be (-4)/10 + 78/(-30) + 48. Let r = j - 26. Does 3 divide r?
False
Let c(l) be the second derivative of -3*l**3 + 5*l**2/2 + l. Is c(-5) a multiple of 35?
False
Suppose -19*x + 25*x - 5550 = 0. Is x a multiple of 37?
True
Suppose -p - 44 + 404 = -4*o, 0 = 3*p + o - 1067. Suppose w = -4*d + 6 + 354, -p = -4*d - 2*w. Does 13 divide d?
True
Suppose 3*x = 2*h + 7295, 1 = -2*h - 1. Is 13 a factor of x?
True
Let z(t) = 3*t**2 - 3*t**2 + 2 + 3*t - 22*t + t**2. Let s be z(19). Suppose s*k = k + 19. Is 7 a factor of k?
False
Suppose 3*f = 4*k - 14, 2*f = 4*f + 4. Suppose -4*z - 2*g = -g - 4, -3*z - 2*g - k = 0. Suppose 234 = z*t + 36. Does 33 divide t?
True
Does 36 divide (105/6 - 4)/(12/416)?
True
Suppose 2*d - 5*j + 33 = 0, 2*d + 0*d - 12 = -4*j. Is (2 + 21)*((-5)/5 - d) a multiple of 10?
False
Suppose -6*t = -450 - 24. Suppose 3*w + 31 - t = 0. Does 16 divide w?
True
Suppose -a = 2*m + m, 4 = -4*m. Let t be a - (-1 - 3 - -3). Suppose t*x - h = 103, x + 2*h + 2*h - 13 = 0. Is 25 a factor of x?
True
Let o(f) = f**3 - 16*f**2 - 12*f + 32. Let z be o(17). Let p = z - 45. Is 7 a factor of p?
False
Let v(p) = p**2 + 18*p - 27. Is 6 a factor of v(6)?
False
Let v be (327 + 3 + -5)*1. Suppose -2*o - 5*n + v = 0, 3*n - 671 = -5*o + o. Is o a multiple of 10?
True
Let y be 7/(-63) - (-37)/9. Does 33 divide y/(-4) + -1 - -134?
True
Suppose -10 = -5*k, 2*a - 4*k - 601 = -a. Let o = -95 + a. Is 16 a factor of o?
False
Suppose 72796 = 60*t - 49784. Is t a multiple of 9?
True
Suppose -4*b + 127 = -113. Suppose -3*w = w - b. Is 3 a factor of w?
True
Let y(j) be the third derivative of j**4/12 + 5*j**3/6 - 8*j**2. Suppose -2*x + 4*x = 26. Is y(x) a multiple of 14?
False
Suppose -245 = 3*v - 95. Suppose 0 = 2*j - 5*r + 1 + 57, 3*j + 3*r + 66 = 0. Let n = j - v. Does 11 divide n?
False
Suppose f + 37926 = 87*f. Does 82 divide f?
False
Suppose -12*n = -7*n - 1805. Suppose -n = -5*t + 29. Does 17 divide t?
False
Let a(i) = 2*i + 18. Let k be a(-7). Suppose -9 = -k*u + 3*u. Is 5 a factor of u?
False
Let j(d) = -6 - d - 3*d - d**2 + d - 4*d. Let f be j(-6). Suppose -36 = -f*w - w. Is 12 a factor of w?
True
Does 19 divide (1 - -418) + (-80)/10 + 9?
False
Let n = -28 + 22. Let t(m) = 6*m**2 - 3*m - 3*m**3 + 5*