13 - -11. Let y(u) = -16*u. Is 12 a factor of y(m)?
False
Let t = 2 - 0. Suppose -7*d + 25 = -t*d. Is 2 a factor of d?
False
Let x(f) = f + 3. Let m be x(-3). Suppose 4*i + 5*n - 25 = m, 3*i + n = -2*n + 18. Is i a multiple of 2?
False
Let b = -62 + 95. Does 8 divide b?
False
Let v = 16 + -16. Suppose v = -2*l + 27 + 63. Does 15 divide l?
True
Let k(z) = z**2 - 8*z + 12. Let h be k(8). Suppose x - h + 4 = 0. Is 6 a factor of x?
False
Suppose 0*x = -7*x - 224. Let n(u) = -3*u**3 - 4*u**2 - u + 1. Let z be n(-3). Let h = x + z. Is h a multiple of 14?
False
Let s = -454 + 704. Does 16 divide s?
False
Let p(m) = -3*m + 4. Let u be p(8). Let w(o) = -o**3 - 10*o**2 - 7*o - 12. Let f be w(-9). Let y = u - f. Is 5 a factor of y?
True
Let z(f) = 2 + 16*f**2 + f**3 - 9*f**2 + 3. Let w be (-108)/15 + (-1)/(-5). Is z(w) a multiple of 2?
False
Suppose 6 = 3*f, -4*v + f = -0*f - 134. Does 10 divide v?
False
Suppose 4*t = 2*c - 140, 4*c = 2*t - 0*t + 70. Let g be 373/7 - (-10)/t. Suppose 161 - g = 3*h. Is 18 a factor of h?
True
Suppose -8 = -2*f + 2*m - 0, -f - 2*m = -7. Suppose 4*d + 44 = o, -4*d + f - 1 = o. Is 13 a factor of o?
False
Suppose 0 = -3*l - 5*v + 155, l - 28 = -4*v + 19. Is 20 a factor of l?
False
Let u(g) = -5*g**2 - 6*g + 7. Let n be u(-5). Let y = n + 148. Is y a multiple of 30?
True
Let q = -260 - -455. Does 48 divide q?
False
Let w(r) = -r**3 + 5*r**2. Let d be w(5). Suppose 3*z - 6*z - 6 = d. Does 4 divide 2/(9/4 + z)?
True
Let s(r) = -42*r - 1. Let x be s(-1). Suppose 95 + x = 4*y - 4*t, 30 = y + t. Is 16 a factor of y?
True
Let b(w) = -7*w - 20. Is b(-8) a multiple of 5?
False
Is 3 a factor of ((-5)/(-5))/(1/10)?
False
Suppose l - 13 = 4*h, -4*h + 0*h - 145 = -5*l. Is l a multiple of 33?
True
Let a = -25 - -223. Suppose -5*r - 178 = -4*c, 4*c - a = -6*r + r. Suppose 0 = -4*p + 1 + c. Does 6 divide p?
True
Suppose 5*c = 4*c + 10. Suppose 5*g + c = 3*y, y + 0*g + 2 = 3*g. Is 3 a factor of y?
False
Suppose c + 2*y = 69, -6*y = -5*c - 4*y + 405. Is 26 a factor of c?
False
Let g(l) = -16*l - 3. Let c = 1 + -3. Is g(c) a multiple of 8?
False
Suppose 3*u + 0*u - 30 = 0. Is ((-32)/u)/((-2)/5) a multiple of 4?
True
Let b = 4 - 9. Let d = 13 - b. Is d a multiple of 9?
True
Let q be 368/14 + (-6)/21. Is 9 a factor of 1160/65 + 4/q?
True
Let d = -1 + -1. Let u be ((-28)/6)/(d/24). Suppose u = c + 3*c. Does 14 divide c?
True
Let g = 26 + -4. Suppose b + 0*t - g = 2*t, t = 0. Does 11 divide b?
True
Let c = 41 - -46. Is 7 a factor of c?
False
Suppose 4*x = 2*m - 48, 5*m - 5*x = -0*m + 130. Does 7 divide m?
True
Let k be 0/(-1 + (2 - 0)). Let z = 9 + -21. Is (8 + k)*(-33)/z a multiple of 12?
False
Let j(v) = -79*v + 2. Let r = 4 + -9. Let k(l) = 53*l - 1. Let z(f) = r*j(f) - 8*k(f). Does 22 divide z(-2)?
False
Let m be (-13)/(1/(-1)*-1). Let p = m + 22. Let l = 15 - p. Is 3 a factor of l?
True
Let n be (-4)/(-14) - (-165)/35. Suppose t + 2*t = 24. Suppose t = z - 2*q - 1, n*q - 120 = -5*z. Does 9 divide z?
False
Suppose 194 = -7*b + 5*b - 5*z, b + 90 = z. Does 16 divide b/(-6) + (-14)/(-21)?
True
Let q = 4 - 4. Suppose 4*o - 220 = -q*o. Does 18 divide o?
False
Suppose 5*l - 3*f - 38 - 51 = 0, 33 = 3*l + 5*f. Suppose -90 + l = -3*k - o, 3*k + 3*o - 78 = 0. Is 12 a factor of k?
True
Suppose 40 = 2*a + 4*w, 0 = 5*a - 3*w - 41 - 59. Let d = 31 + a. Is 15 a factor of d?
False
Is 12 a factor of (-1 + 57)*66/77?
True
Let d be ((-4)/5)/((-22)/(-385)). Let m(b) = -b**3 - 14*b**2 - b - 6. Is m(d) a multiple of 8?
True
Suppose 5*u = -l + 20, -2*u = 5*l - 7 - 1. Suppose 4*a + 37 - 133 = l. Suppose a = -5*q + 6*q. Is 19 a factor of q?
False
Suppose -447 = -5*v + 183. Is v a multiple of 7?
True
Suppose -4*m - 194 = -5*k, -k = m - 0*m + 44. Let w = m + 64. Suppose 4*y = -2*f + 8*y + w, -f + 5*y = -9. Does 8 divide f?
False
Is 13 a factor of 4/(-14) - (-2872)/56?
False
Suppose 3*i - 3*n = 6, 3*i - 5*n = -i + 7. Suppose a + i*a = 48. Is a a multiple of 6?
True
Let h = -8 + 32. Is 12 a factor of h?
True
Let i(a) = a**2 + a - 4 + 4 + 2. Does 5 divide i(3)?
False
Suppose -3*x = -21 + 18. Let o = 5 + -7. Is 1/o*(-64)/x a multiple of 18?
False
Suppose 0 = -g + 3*g + 6. Let f = g + 3. Suppose f = -j - 2 + 14. Does 6 divide j?
True
Let m be -23 + -2 + 1/(-1). Is -1 - (-2 - -3) - m a multiple of 5?
False
Let a = -14 + -31. Let j = 63 + a. Let v = j + -8. Is 4 a factor of v?
False
Let d(o) = 2*o**2 + 2*o - 1. Let v be d(1). Is 6 a factor of (v - (0 + 3)) + 10?
False
Let t(g) = g**2 - 7*g + 5. Let m be t(7). Let i be ((-3)/6)/(1/(-8)). Suppose -5*o = m*x - 100, i*x - o - 2*o = 52. Does 16 divide x?
True
Suppose -6*k = -2*k + 4. Let q = k + 2. Let m = 3 + q. Is 4 a factor of m?
True
Let c = -7 - -17. Suppose -n = -5*n + 296. Suppose 0 = 4*i - c - n. Does 8 divide i?
False
Let a(i) = 25*i**2 - i. Let y(d) = -4*d - 15. Let w(k) = 3*k + 14. Let h(f) = -3*w(f) - 2*y(f). Let j be h(-11). Is 10 a factor of a(j)?
False
Let c = 59 + -91. Let b = c - -97. Let l = -31 + b. Does 17 divide l?
True
Let d be 3/9 + 164/3. Let k = 1 + d. Does 14 divide k?
True
Let v = 29 - 21. Does 5 divide v?
False
Let z be (-1 + 2 - 1) + 299. Suppose 92 = 3*a + z. Let m = a + 130. Is m a multiple of 21?
False
Suppose 3*l = -l - 8, 3*n - 2*l - 79 = 0. Is n a multiple of 25?
True
Let j(q) = 3*q**2 - 8*q + 18. Is j(9) a multiple of 18?
False
Suppose -4*v - 1 + 9 = 0, -5*u + 519 = -3*v. Is 11 a factor of u?
False
Let y = 9 - 3. Does 6 divide y?
True
Let i = -249 - -369. Suppose 0 = -2*r - 3*r + 20. Suppose a + y = 23, -6*a = -a + r*y - i. Is 14 a factor of a?
True
Let b(l) = l**2 - 6*l - 10. Let o be b(8). Suppose -96 = 2*f - o*f. Does 12 divide f?
True
Let d(l) be the third derivative of -l**4/24 + 2*l**3/3 - l**2. Let o be d(0). Suppose -3*f + 3*b = -60, -42 + 2 = -2*f - o*b. Does 10 divide f?
True
Let i = 27 + -19. Suppose -3*z = -20 + i. Is z a multiple of 2?
True
Let r(x) = -x**3 - x**2 - x + 12. Is r(0) a multiple of 6?
True
Let a(g) = -g - 4. Let q be a(-6). Let o(h) = 14 - 3*h**q + 1 - h + 4*h**2. Does 14 divide o(0)?
False
Let z = -260 + 476. Is 54 a factor of z?
True
Let l be 2/((-96)/51 - -2). Suppose -2*x + l + 11 = 0. Suppose 3*n = k + 85 + x, -4*n - 4*k = -148. Is n a multiple of 17?
True
Does 26 divide 1/6 + (-6538)/(-84)?
True
Suppose 4*w = -43 + 3. Let i = w - -8. Does 10 divide (-183)/(-9) - i/(-6)?
True
Let h be -4 + 6 + (-1 - -2). Suppose r = 2*b + 14, r + h*b + 4 - 8 = 0. Does 9 divide r?
False
Suppose -5*n + 374 = -3*m, -n = 4*n + 2*m - 384. Suppose u = -u + n. Does 19 divide u?
True
Let q be (-1)/2 + (-10)/(-4). Suppose -2*t = 4*w - 144, -3*t = 2*w + q*w - 144. Is 18 a factor of w?
True
Let c = 0 - -2. Let t be 1/2*(7 - 1). Suppose c*v = 3 - 1, 0 = t*w - 5*v - 85. Does 15 divide w?
True
Let c = 4 + 5. Is 5 a factor of -5 + c - (0 + -1)?
True
Let y be 1 + 3*6/9. Suppose 5*b = -y*f - 55, -f - 5*b = -3*f - 70. Let g = 10 - f. Does 17 divide g?
False
Let b(r) = -11*r**3 - 2*r**2 - 9*r - 7. Does 13 divide b(-3)?
True
Suppose -2*y + 1 = 27. Let i = -54 + 93. Let f = i + y. Is 13 a factor of f?
True
Suppose -36 = 2*m - 14. Let z be ((-498)/(-21))/1 + 4/14. Let y = m + z. Is 13 a factor of y?
True
Suppose -2*h - 153 = 2*h + 3*r, 5*h - r = -177. Let o = h + 63. Is 15 a factor of o?
False
Let o be 42/(-8) - (-4)/16. Let i(y) = y**3 + 4*y**2 - 6*y - 5. Let x be i(o). Suppose 3*w = -x*w + 72. Is w a multiple of 8?
True
Let c be 22/(-4)*(-3 + 1). Suppose c = -0*p + p. Is p a multiple of 11?
True
Let s be (-224)/(-5) - 6/(-30). Let q = s + -26. Does 14 divide q?
False
Let m be -10 - 8*(-3)/6. Is -18*((-4)/m - 1) a multiple of 2?
True
Suppose 2 = -2*m - 0. Is 15 a factor of (0 + 15/m)*-1?
True
Suppose 3*f - 1 + 4 = 0. Is 312/15 - f/5 a multiple of 10?
False
Suppose -2*b - 5*c + 2*c + 15 = 0, -4*c + 4 = 0. Let z = b - 3. Suppose 4*n - 58 = -2*p, z*n - 2*p + 22 - 69 = 0. Is 7 a factor of n?
False
Let w = 2 + -2. Suppose -4*y + 2*y + 30 = w. Does 4 divide y?
False
Suppose 0*i = -i - 2*h - 28, -3*h - 92 = 4*i. Is 11 a factor of ((i + -2)*3)/(-2)?
True
Suppose -49 = -4*i + 3. Let a = 124 - i. Let s = a + -79. Does 16 divide s?
True
Let p(x) = x**2 + 12*x + 10. Let h be p(-11). Is 2 a factor of (-3)/(-6*h/(-4))?
True
Suppose 4 = 4*a, -m - 4*a - 1 = -25. Suppose 5*p - 135 = -m. Does 7 divide p?
False
Let y(