?
False
Let j = -6 - -5. Is 6 a factor of (-91)/(-21)*(-3)/j?
False
Suppose 0 = m + 3*m - 16. Is 4 a factor of 0/(16/m) + 10?
False
Let l(a) = a**2 + 5*a + 3. Suppose -2*t - 2*y - 6 = 0, 2*t = -0*t + y - 21. Is 9 a factor of l(t)?
True
Let t(l) = 2*l**2 - l + 5. Let o be t(5). Let u = o - -46. Suppose -3*h - h = -u. Is 12 a factor of h?
True
Let v(y) = -y**2 - 6*y + 3. Let s be v(-7). Let f(w) = -w**3 + 3*w**2 - w. Let d be f(s). Suppose 5*k - d = -4*i, 2*k - 60 = -2*i - k. Does 9 divide i?
False
Let o(i) = 19*i - 1. Does 23 divide o(3)?
False
Is 10 a factor of 1*5*(36 + -16)?
True
Let f = 14 - 7. Let d be ((-7)/(f/6))/1. Let t(h) = -5*h - 3. Is 20 a factor of t(d)?
False
Let d = 4 - 4. Suppose d = -y - 2*y + 18. Is -3 - (0 + -3)*y a multiple of 15?
True
Let i(y) be the first derivative of -3 + 7*y + 1/2*y**2. Does 13 divide i(6)?
True
Suppose 0*w + w = 43. Suppose 5*p - 27 - w = 0. Suppose c = 2*c + 3*q - 24, -c + 2*q = -p. Is 8 a factor of c?
False
Suppose 3*g - 296 = -41. Is g a multiple of 20?
False
Suppose 3*s + o = -2*o - 9, 2*s + 4*o + 14 = 0. Let l(h) = -s - 2*h**3 - 3*h**2 - 2 + 1. Does 10 divide l(-3)?
False
Let q = 5 + -10. Let u be q/25 + 362/10. Suppose -2*g = 3*f - 31 - 9, 0 = -3*f - 3*g + u. Is f a multiple of 8?
True
Let j = -2 - -32. Is 5 a factor of j?
True
Let j = 1 - 6. Is (3 + j - -3)*11 a multiple of 8?
False
Let q = 7 + -2. Suppose -q*s + 7 + 8 = 0. Suppose 2*h - 10 = 0, s*h = -4*x - x + 25. Is x a multiple of 2?
True
Suppose -60 + 0 = -5*u. Let a = u - -15. Is a a multiple of 17?
False
Suppose -3*i - 29 = -5*u - i, -2*u + 11 = -i. Let d(z) = -z + 6*z**2 + 4*z**3 - 3*z**3 + u*z. Is d(-4) a multiple of 8?
True
Let d be (-9)/3*112/21. Let p = -10 - d. Is 6 a factor of p?
True
Let z = 159 + -29. Is 12 a factor of z?
False
Suppose 0*h + 3*b = -4*h - 3, 5*b + 5 = -5*h. Suppose h = p + 6 - 79. Is 29 a factor of p?
False
Let j(n) = n**2 - 6*n - 5. Let z be j(7). Suppose 5*f = -r + 308 - 48, z*f + 2*r - 112 = 0. Is 17 a factor of f?
True
Let p(v) be the first derivative of v**3/3 + v**2/2 - 1. Let i(j) = -5*j**2 + 6. Let u(s) = i(s) + 6*p(s). Is u(-8) a multiple of 15?
False
Suppose -936 - 1896 = -4*o. Let a be 2/7 + o/(-28). Let g = 59 + a. Is g a multiple of 12?
False
Let x(b) = 9*b - 4. Let n be x(4). Suppose -4*c + 21 = -3*y - 32, c + 6 = -y. Let h = n + y. Is h a multiple of 13?
False
Let g(s) = s - 8. Let o(b) = -1. Let x(i) = g(i) - 6*o(i). Let n be x(6). Suppose -180 = -n*y - 4*j, -3*y + j + 135 = -2*j. Is 16 a factor of y?
False
Suppose 38*u = 42*u - 416. Is 11 a factor of u?
False
Let z(j) = -5*j**2 + 2 + 4 - j**3 + 0 - 3 - 5*j. Is z(-4) even?
False
Let j(a) = 3*a - 6. Let b be j(4). Let h = 10 - b. Is 4 a factor of 13 - 4/(h/3)?
False
Let u be (20 - 8)*(-6)/8. Let s = u + 19. Does 6 divide s?
False
Is 14 a factor of 75 + -5 + 1 + 0?
False
Suppose -2*g = -4*k - 352, -3*k - 4 = -7*k. Does 46 divide g?
False
Suppose -3*m - 2*s = 17, -3*m - 4*s - 13 = -0*s. Let x = m - -12. Suppose -5*v = -x*j - 25, -3*v - 4*j - 1 = -2. Does 3 divide v?
True
Let h = -20 + 34. Suppose h + 13 = y. Is 9 a factor of y?
True
Suppose -4*f = 3*b - 39, 2*f + 4 + 2 = 0. Does 17 divide b?
True
Suppose -4*i + 7*i + 411 = 3*w, -2*w = -i - 270. Is w a multiple of 14?
False
Let r(q) be the first derivative of 47*q**3/3 - q**2 + q + 7. Is 10 a factor of r(1)?
False
Suppose 5*f - 216 = -2*x, -4*x - 4*f = -2*x - 220. Is x a multiple of 23?
False
Suppose 0 = -r + 3 + 2. Is 9 a factor of (-5)/r + (15 - -1)?
False
Let f be 31 - 1/((-4)/8). Let j = f + 0. Does 6 divide j?
False
Let u = 203 - 121. Is u a multiple of 12?
False
Let d(r) = -5*r - 1. Let t be d(4). Let s be t*(-3)/(-9)*-1. Let b = 16 - s. Is 5 a factor of b?
False
Suppose 23 = 5*u - 117. Is 7 a factor of u?
True
Let j = 99 - 62. Does 17 divide j?
False
Let r be 78/21 + (-8)/(-28). Suppose 5*k - 6*t + t = 40, -2*k = -r*t - 8. Is k a multiple of 6?
True
Suppose -3*j + 6*j = -5*z + 135, -2*j + 3*z + 71 = 0. Does 15 divide (3/(-2))/((-4)/j)?
True
Let q(a) be the second derivative of -a**3/3 + 3*a**2/2 - 2*a. Is 13 a factor of q(-5)?
True
Let m = -2 - -5. Suppose -153 = -4*s - 3*q, 0*s - m*s - 4*q = -120. Is 10 a factor of s?
False
Suppose 5*p + 133 = -242. Let a = -29 - p. Does 13 divide a?
False
Let x be 10/4*32/20. Does 33 divide 1 + 89 + (-4)/x?
False
Suppose 2*d - 4*r + 30 = 0, -d - 4*r = -0*r - 15. Let m be (-52)/d + (-4)/10. Suppose -8 = -2*l, -m - 82 = -5*x + 2*l. Is x a multiple of 20?
True
Suppose -5*x + x = -4. Is 3 a factor of ((-24)/30)/(x/(-10))?
False
Suppose -4*b = 5*i - 2*i + 9, -b + 3 = -i. Let x = 12 + 8. Suppose -k = -b*k - x. Is k a multiple of 20?
True
Let w(z) = 2*z**2 - 4*z - 6. Is w(-3) a multiple of 13?
False
Let k(f) = -23*f - 1. Let v be k(-1). Suppose 5*y = 3*o + 34, -5*y - 1 = -2*o - v. Let w = 15 - o. Does 14 divide w?
True
Let b(z) = 2*z**2 - 6*z + 3. Let y be b(8). Suppose 4*l - 3*p = 45 + 3, 5*l + 2*p - y = 0. Is 14 a factor of (-2)/(-5) + 504/l?
False
Let n be 1 - ((4 - -2) + -3). Let r = 10 + -5. Let q = r - n. Does 7 divide q?
True
Let j be 27/6*(8 + 0). Suppose 2*s + 2*s - j = -5*l, 4*l = -s + 20. Suppose l*k - 195 = -k. Is k a multiple of 10?
False
Let g be (-4)/(-10)*(-25)/5. Let k be 26*(g + 3) + 2. Let j = k + -20. Is 6 a factor of j?
False
Let h = 21 + -12. Suppose 4*r = 3*v - 61, v - 3*r - h = 8. Suppose x - v = -0*x. Is 11 a factor of x?
False
Let u(g) = 8 - 1 - 2 + 2*g. Is u(4) a multiple of 13?
True
Let d(o) = -o**2 - 3*o + 8. Let l be d(-6). Is 13 a factor of (-10 - l) + 25*1?
False
Suppose 6*l - 4*l = 184. Is 25 a factor of l?
False
Suppose -3*x + 2*a = -33, -a + 0*a + 29 = 2*x. Let u = 22 - x. Is 9 a factor of u?
True
Let c = -4 - -8. Suppose -c*d + 5 = d. Is 15 a factor of (d + -1 + 1)*15?
True
Suppose 227 = 2*b + 73. Is 23 a factor of b?
False
Is 30 a factor of ((-60)/(-16))/(4/64)?
True
Suppose 3*s - 3 = 3*u, -2*u = -2*s + u + 2. Let x(t) = -6 - 1 + 4*t + 0 + s. Is x(9) a multiple of 8?
False
Let o be 4 + 0 - 4 - -1. Suppose -w = -o, 0 = -4*c - 4*w + 7 + 37. Is 5 a factor of c?
True
Let k be (-104)/6 + (-6)/9. Let y be ((-12)/k)/(1/3). Suppose 0 = 3*b + y*b - 195. Is 13 a factor of b?
True
Let o = 155 + -77. Is o a multiple of 18?
False
Let f(q) = -4*q + 1. Let w(i) = -i - 8. Let k be w(-4). Let o be f(k). Suppose -7 = -3*z + o. Is z a multiple of 6?
False
Let j = 6 - 8. Let y = 12 + j. Suppose -4 - y = -i. Is i a multiple of 6?
False
Let u(s) = s**3 + 6*s**2 - 9*s - 7. Let r be u(-7). Suppose 0 = -y + r + 19. Is y a multiple of 8?
False
Let v(x) = -x**3 + 11*x**2 + x + 9. Let j be v(11). Is 4/10 - (-332)/j a multiple of 9?
False
Suppose 0 = 3*y - 1 - 2. Suppose 0 = -t + 6 + y. Is t a multiple of 2?
False
Let u = 175 - 124. Let d = -32 + u. Let c = 5 + d. Is c a multiple of 12?
True
Suppose 2*c - 4 - 8 = -2*w, -2*w = 5*c - 42. Let h = c - 5. Let o(d) = -d**3 + 8*d**2 - 5*d - 5. Is 15 a factor of o(h)?
True
Suppose 0*s - 2 = -s. Suppose 4*t + 3*f + 161 = 0, -s*f = 1 + 5. Let j = t + 53. Is j a multiple of 15?
True
Let p(j) = 4*j**2 + 11*j - 34. Is 14 a factor of p(5)?
False
Let k = 4 - 1. Is 10 a factor of 21 - (0/(-2) + k)?
False
Let d be (12 - 1)*(3 + -4). Let j = d + 10. Let c(p) = -8*p**3 - p**2 + 1. Does 4 divide c(j)?
True
Let q be ((-1)/(-2))/(-1)*-4. Suppose -4*y - 2 = q. Let c = y - -12. Is c a multiple of 4?
False
Suppose o + 4*o - 169 = -4*c, 0 = -4*o - 2*c + 140. Is 2 a factor of o?
False
Let q(j) = j + 6. Let f be q(-6). Suppose f = p - 2 - 40. Is p a multiple of 14?
True
Let h be (-2)/3*(-195)/10. Suppose -5*i + h = -3*a, 0*a - a + 1 = i. Suppose -2*n = -3*m - 19, 3*n - 8 = i*n + 2*m. Is n a multiple of 7?
True
Let j(t) = -2 - 35*t - 80*t + 6*t. Is 28 a factor of j(-1)?
False
Does 3 divide (-4356)/(-81) + 4/18?
True
Let b(o) = -68*o - 4. Let k(t) = 34*t + 2. Let s(d) = -2*b(d) - 5*k(d). Let c be s(-2). Let q = 106 - c. Does 11 divide q?
False
Let j be (2 - (-104)/(-20))*-5. Suppose 20 = 2*n - j. Is 9 a factor of n?
True
Let l(j) = -j**2 - 9*j - 12. Let p be l(-8). Does 3 divide (1 + -23)/(p - -2)?
False
Suppose 0 = q + 5*s + 2, 5*s - 2*s + 3 = 0. Suppose 0*t - q*t + 198 = 0. Does 11 divide t?
True
Let u be 42/4 - 6/(-12). Let t = u + -7. Is 4 a factor of t?
True
Suppose -c - 2*x = 6, 0*c + 3*c + 4*x = -20. Let y(u) = -36*u - 20. Let