ide u?
True
Suppose 0 = 5*t - 79 - 1. Is (-6)/2 + t/1 a multiple of 4?
False
Suppose r + 3*j - 40 = -j, j + 44 = 2*r. Is r a multiple of 9?
False
Suppose 0*r - 2*r - 8 = 0. Let y(m) = 2*m**3 + 0*m**3 - 5*m + 3*m**2 - 2*m**3 + 1 + m**3. Is 2 a factor of y(r)?
False
Suppose 4*a + 2*z - 3 = 5, 2*a = -5*z - 4. Suppose 0 = -0*m - a*m + 45. Is 5 a factor of m?
True
Let w(f) = -17*f**3. Let v be w(1). Suppose -200 = 3*l - 8*l. Let o = l + v. Is 12 a factor of o?
False
Let o be (-1)/(-2) + (-9)/(-6). Let f(s) = 10*s + 2. Let z be f(o). Suppose -z = -d - 6. Is d a multiple of 8?
True
Let h(o) = 4*o**2 - 12*o + 6. Let l(v) = -v**2 + 4*v - 2. Let a(c) = 5*h(c) + 16*l(c). Is 20 a factor of a(-4)?
False
Let j(c) = -2*c + c + 0*c + 52. Suppose -3*r - y = 2, 0 = 3*r - y - 0 - 2. Does 26 divide j(r)?
True
Suppose 0 = 9*p - 7*p - 74. Is 8 a factor of p?
False
Let s be (0 - 0)/1 + 0. Let c be (6/4)/((-5)/(-20)). Suppose c = b - s. Does 4 divide b?
False
Let f be (-6)/(-5)*(-70)/(-3). Suppose 4*u = -5*q - f, 2*u - 2 + 14 = -2*q. Is 8 a factor of -8*(q + 0 + 2)?
True
Suppose -v = 3*v - 4. Is (-231)/(-12) - v/4 a multiple of 13?
False
Let y = -3 + 7. Suppose 5*h + 0 = 2*m - 30, 0 = 2*m - y*h - 30. Is m a multiple of 7?
False
Let b be 1/(((-6)/(-9))/2). Suppose z + b*h - 18 = -0*h, 2*h - 68 = -3*z. Is 8 a factor of z?
True
Suppose 9*b - 2*b - 588 = 0. Is 28 a factor of b?
True
Let t(i) = -108*i**3 + i**2 + 2*i + 1. Let p be t(-1). Is p/4 - (2 - -1) a multiple of 8?
True
Let i(r) = -9*r - 6*r + 8*r - 4. Does 8 divide i(-4)?
True
Let h = 390 + -253. Does 37 divide h?
False
Let w be -47*(0 - (1 - 0)). Let a be (5/4)/((-4)/(-192)). Suppose j - a - 2 = -5*o, -w = -j - 2*o. Is 16 a factor of j?
False
Is 18 a factor of (-162)/((3/9)/(1/(-3)))?
True
Suppose 4*z - 2*z + 40 = 0. Let u = -10 - z. Is u a multiple of 4?
False
Let c(f) = -21*f**3 - f**2 - 2*f - 1. Does 7 divide c(-1)?
True
Suppose 0 = -13*j + 16*j - 33. Is j a multiple of 2?
False
Let b(r) = 742*r - 112. Let i(v) = 33*v - 5. Let t(a) = a + 2. Let f be t(3). Let s(y) = f*b(y) - 112*i(y). Is s(3) a multiple of 14?
True
Suppose 3*a = a + 4*q, -3*a - 5*q + 22 = 0. Suppose 0 = -3*u - a - 8, 3*m - u = 61. Is m a multiple of 19?
True
Suppose 2*k = 4*k - 88. Is k a multiple of 22?
True
Suppose 0 = 2*i + i - 345. Let v = i - 78. Does 10 divide v?
False
Let h = 28 - 61. Let k be (2/6)/((-1)/h). Let z = k + -5. Does 4 divide z?
False
Suppose 19 = 4*y + 7. Let q = y + 0. Suppose -z + 2*j = -30, -q*j = z - 7*j - 36. Is z a multiple of 24?
True
Suppose v + 2*g + 2*g + 3 = 0, -g = 3*v - 24. Let t = -11 - -7. Let y = t + v. Does 3 divide y?
False
Let n = -12 + 75. Suppose 27 = 5*x - 3*v - n, -54 = -3*x + 2*v. Is x a multiple of 9?
True
Suppose z - 22 - 27 = 0. Let u = -21 + z. Suppose 4*d - 2*d - u = -r, 4*d = 2*r + 72. Is d a multiple of 16?
True
Suppose -1 = 3*m - 8*m - 4*u, u = 3*m - 4. Suppose m = o - 4. Is o a multiple of 2?
False
Let z be -1 - (1 + -1 + -3). Suppose 0*j - z*j = -18. Is j a multiple of 9?
True
Suppose 2*y - 10*y + 464 = 0. Does 3 divide y?
False
Suppose 0*o + 1 = o - 3*s, 5*o - 4*s = 16. Suppose -o*t + 11 = -3*t. Suppose -37 = -4*h + 3*u, 0 = h + 4*u + t - 6. Is h a multiple of 2?
False
Let x(s) = s - 2. Let c be x(6). Suppose 4 = -4*q, c*j - 30 = -2*q - 0. Does 7 divide j?
False
Let w(b) be the second derivative of b**4/6 - b**3/2 - b**2 + 2*b. Is 21 a factor of w(-4)?
True
Let k = 128 + -40. Does 22 divide k?
True
Let g(r) = 7*r - 2 - 17*r - 8*r. Is 17 a factor of g(-2)?
True
Suppose -r = 2*r + 18. Is 4 a factor of 3/(-2)*32/r?
True
Let i be (0 - 0)*(-1)/(-1). Is (0 - -8)*(1 + i) a multiple of 3?
False
Suppose -3*j + f + 55 = 2*j, 30 = 2*j - 2*f. Let a be ((-12)/10)/(2/j). Is 14 a factor of ((-14)/a)/((-3)/(-36))?
True
Suppose -48 = -5*x + 2. Is 2/(-3)*(-705)/x a multiple of 16?
False
Let f be -3 + 2 - (-5 + -1). Suppose -4*z + 6*z = 2. Let h = f + z. Is 6 a factor of h?
True
Let h = 5 - 1. Suppose h*z - 186 = -2*i + 3*z, 4*i + 4*z - 364 = 0. Is 35 a factor of i?
False
Suppose 4*f = -2*j, 0 = 2*f - 6*f - 4. Let n(a) = -20*a + 4. Let m(r) = 10*r - 2. Let p(u) = 13*m(u) + 6*n(u). Is 7 a factor of p(j)?
False
Let j be (3/5)/(2/10). Does 3 divide -2*(-2 + j/6)?
True
Let v = 5 + -4. Does 3 divide (-39)/(-6) - v/2?
True
Is 4 a factor of ((-21 - -1)/(-2))/((-1)/(-2))?
True
Let k(u) = u**2 + 4*u - 2. Let d be k(-4). Let m be 12 + 0*d/6. Let w = -8 + m. Does 2 divide w?
True
Does 15 divide (7/(35/(-6)))/(4/(-120))?
False
Let n be 2 + 1 + 0/3. Suppose -5*d = 3*o + 5, 6*d - 2*d + 4 = n*o. Suppose o = 4*u - 2*u - 12. Is u a multiple of 3?
True
Let b(c) = c - 1. Let q be b(-5). Let w be (q/4)/(12/(-16)). Suppose 20 = 5*t, w*j - 30 = t + t. Is j a multiple of 8?
False
Suppose -l - 18 = -3*l + 5*p, 5*p = l - 14. Suppose l = -0*g + g. Suppose -4*b = -g*z + 140, 131 = 4*z - 2*b + b. Does 16 divide z?
True
Let h be 7 - -1*4/4. Let x(m) = 5*m - 6. Does 17 divide x(h)?
True
Let d = 61 + -39. Suppose 0*r = -2*a - 3*r + d, a - 11 = 5*r. Is 11 a factor of a?
True
Let a = 62 - 37. Does 9 divide a?
False
Let u = -43 - -41. Suppose 4*k - 3*k + h = -11, -5*h = 0. Is -3 - k - u/1 a multiple of 4?
False
Let u(p) = -p**3 - 8*p**2 + 6*p - 9. Suppose -5*s - 3*h - 45 = 0, 5*s - 5*h = -32 - 13. Is 13 a factor of u(s)?
False
Suppose 0 = -5*d + 153 + 22. Is d a multiple of 13?
False
Let v = -267 - -181. Let o = v + 160. Is o a multiple of 19?
False
Suppose -5*n + 97 + 158 = 0. Suppose 2*y = 0, y + n = u - y. Is u a multiple of 17?
True
Let y be (-33)/(4/(16/6)). Suppose 11*f + 195 = 16*f. Let g = f + y. Does 17 divide g?
True
Let v(t) = 2*t**2 - 15*t - 13. Let y be v(11). Suppose 5*c - 3 = -5*w + 97, -4*c = -5*w + y. Is 16 a factor of w?
True
Let z be ((-1)/((-2)/132))/1. Suppose 3*k - 6*k + z = 0. Does 22 divide k?
True
Suppose 3*w + 3*k - 225 = 0, -8*k + 3*k = 3*w - 221. Is w a multiple of 20?
False
Suppose -3*p + 2 + 1 = 0, -p - 719 = -3*k. Suppose k = 6*f - f. Is 24 a factor of f?
True
Let b = 28 - -35. Does 21 divide b?
True
Suppose -2*u - 3*u = 0. Suppose -5*f + 28 - 8 = 0. Suppose u = -f*n + 6*n - 44. Does 11 divide n?
True
Let a(y) = -y**3 + 9*y**2 + 11*y - 8. Is a(9) a multiple of 13?
True
Let r(b) = b**3 - 6*b**2 - 10*b + 2. Is 10 a factor of r(8)?
True
Let n(i) = i + 1. Let u be n(-3). Is 1/u + 58/4 a multiple of 7?
True
Let c(o) = 3*o**2 + 2*o + 1. Let q be c(-1). Let w be (-394)/(-4) - (-1)/q. Suppose -29 = 5*i - w. Does 8 divide i?
False
Suppose 274 = -20*g + 22*g. Is g a multiple of 15?
False
Suppose 0 = 9*x + 139 - 445. Is x a multiple of 13?
False
Let h(d) = -d**2 + 6*d - 4. Let s be h(5). Let r be 1 + -2 + 44 + s. Does 2 divide 15/25 - r/(-10)?
False
Suppose 3*a = -4*o - 30, -4*o - o = -a + 28. Let m(w) = -w**2 - 6*w + 8. Let t be m(o). Suppose 0*g = -2*g - 4*i + 60, 0 = -4*i - t. Does 17 divide g?
True
Let l = 84 - 51. Does 4 divide l?
False
Let o = 6 + -1. Suppose 0 = -o*h + 5*x + 20, 3*h + 2*x - 1 - 1 = 0. Let u(p) = -p**3 + 5*p**2 - 2*p - 1. Does 3 divide u(h)?
False
Let h(p) = p**3 + 6*p**2 - 2*p - 9. Let c be 2/3 - 60/9. Is 3 a factor of h(c)?
True
Let n be 3*1/(12/20). Let w(i) = 9*i**3 - 2*i**2. Let y be w(2). Suppose -21 - y = -n*h. Is h a multiple of 17?
True
Suppose -5*r - 269 + 63 = -3*u, -4*r - 16 = 0. Does 12 divide u?
False
Let z = 10 + -5. Suppose 34 = 7*y - z*y. Is 5 a factor of y?
False
Let l be (20/(-6))/((-1)/(-3)). Is 8 a factor of (48/14)/(l/(-70))?
True
Suppose 0 = 3*l - 6*l + 9. Suppose -12 = -l*i + i. Is 6 a factor of i?
True
Let n be (-4)/(-3)*294/4. Let o = n - 61. Let k = o - 21. Is 8 a factor of k?
True
Let k(f) = -2*f - 7*f + 2*f. Suppose 0 = -4*g + 1 - 5. Is 7 a factor of k(g)?
True
Let n = -345 + 511. Is (-2)/(-4) + n/4 a multiple of 13?
False
Is ((-4)/6)/((-7)/126) a multiple of 4?
True
Let d = 3 - -26. Suppose -4*a - d = -73. Is 11 a factor of a?
True
Suppose 0 = -2*c + 4*t + 28 - 4, -20 = -5*c + 2*t. Let y = 0 + 15. Suppose 0 = -c*k + y + 17. Is 16 a factor of k?
True
Suppose -3*v = -v - 82. Suppose -2*m + v + 5 = 0. Suppose -9 = -t + m. Is t a multiple of 18?
False
Let b(y) = -2*y**3 + 37*y**2 + 26*y + 27. Is b(19) a multiple of 20?
True
Does 2 divide (36/(-10))/((-9)/60)?
True
Let w(y) = -4*y - 1. Let s = 5 + -7. Does 3 divide w(s)?
False
Let k(b) = -10*b - 1. Suppose -2 = -2*s - 