es 6 divide u?
True
Let v be 33 - (0 + (-2 - 0)). Suppose 7*s - v = 2*s. Let l = s - 3. Is l a multiple of 4?
True
Suppose 0 = i + 5 + 2. Let g(h) = -9*h**2 - h. Let k be g(1). Let j = i - k. Is 3 a factor of j?
True
Suppose 0 = 2*w - 29 - 23. Is w a multiple of 18?
False
Let s be (2/4)/(9/(-18)). Does 16 divide 2 - s/(-1)*-30?
True
Does 5 divide 52*((-28)/(-8) - 3)?
False
Is 83 - -4 - (-1 - -1) a multiple of 24?
False
Suppose 0 = -r - t + 15, 7*t = 3*t + 20. Let s = -14 + r. Does 21 divide 1/s - 245/(-4)?
False
Let m(l) = 17*l + 1. Let w(h) = -35*h - 2. Let b(r) = 9*m(r) + 4*w(r). Let z be b(-4). Let f = -30 - z. Is 10 a factor of f?
False
Let y = 135 + 107. Suppose 5*j + u = y, j = -u + 2*u + 52. Does 13 divide j?
False
Suppose -3*v - 9 = 15. Is v*(1 + (-4)/1) a multiple of 12?
True
Suppose -4*p + 4*b = -232, 2*p = -2*b + 7 + 129. Does 13 divide p?
False
Let u = -101 - -231. Is u a multiple of 26?
True
Let o be (-8)/(-6)*3/1. Suppose -o*y = -4*g + 108, 4*g + 2*y + 2*y = 76. Is 23 a factor of g?
True
Let j(t) = 4*t**2 + t. Let l(r) = r**2 + 5*r + 5. Let z be l(-4). Is 2 a factor of j(z)?
False
Let b = -126 + 212. Suppose 2*j = 4*c - b, -4*j + 30 - 220 = c. Let a = 93 + j. Is a a multiple of 23?
True
Let v(f) = 2*f**2 + 2*f - 3. Let g be v(-4). Let h = g - 11. Let x = 8 + h. Is x a multiple of 14?
False
Is 14 a factor of 15 + -18 + 1*73?
True
Let j(w) = -w**2 + 1. Let b be j(1). Suppose 2*y - y - 17 = -p, b = 3*y - p - 39. Is y a multiple of 9?
False
Let w = -189 - -417. Does 19 divide w?
True
Let t = 367 - 209. Suppose 3*r + 62 = t. Is r a multiple of 14?
False
Let k be (3 + 33/3)*12. Suppose 2*w - 6*w + k = 0. Is 26 a factor of w?
False
Let w = -15 + 25. Let h = 20 - w. Does 4 divide h?
False
Let s(a) = -6*a + 0*a + 3*a + a**2 + 4*a. Does 12 divide s(3)?
True
Suppose -2*q - 2*k = 2, -2*q + 2*k - 4 = 3*k. Let d be 3/(-2)*2/q. Let u = d - -2. Does 3 divide u?
True
Suppose -2*w + 19 = 5*j, j + 0*j - w = 8. Suppose -4*z - y + j*y - 4 = 0, -2*z - y = -7. Is z a multiple of 2?
True
Suppose -u - 36 = -2*q, 7 = 4*q + 3*u - 75. Let k(v) = v**3 - 4*v**2. Let m be k(2). Let a = q + m. Is 11 a factor of a?
True
Suppose -6*m + 2*m + 64 = 0. Is 8 a factor of m?
True
Let u = -4 + 35. Let s = 58 - u. Suppose -7*x = -4*x - s. Is 4 a factor of x?
False
Suppose -d + 2*v = 2*d - 62, 4*d = 2*v + 86. Is d a multiple of 11?
False
Let w = 51 + -27. Is w a multiple of 12?
True
Is 10 a factor of 7/14 - (-115)/2?
False
Suppose 6 = -3*a - 3, -a = 2*z - 3. Suppose -z*y = y + 40. Let o = 10 - y. Is o a multiple of 10?
True
Let m be (-3)/(4/((-8)/3)). Suppose 5*c + m*q = 29, -4*q - 47 = -9*c + 4*c. Is 3 a factor of c?
False
Let s = -6 + 11. Suppose 3*g + 3*c = s*g - 17, -g + 2 = 5*c. Is g even?
False
Does 3 divide (-588)/(-72) + (-2)/12?
False
Let q = 4 - -2. Let w(d) = d**2 - 6*d - 6. Let j be w(q). Is ((-28)/j)/((-6)/(-27)) a multiple of 13?
False
Let y(d) = -2*d - 12. Let p be (8/3)/((-4)/(-6)). Suppose -5*m - p*k - 45 = 0, 3*m = m + 2*k - 18. Is y(m) a multiple of 3?
True
Let b = 21 - 7. Does 14 divide b?
True
Suppose 3*b - 160 = 290. Does 20 divide b?
False
Let n(i) = -4*i**2 + 3*i. Let c be n(2). Let s = -5 - c. Let m = s + 4. Does 3 divide m?
True
Suppose -2*a - a = 5*t - 138, 5*a + 50 = t. Does 15 divide t?
True
Suppose q + 0 = -3. Let l be 8*10 + 0/q. Suppose s + l = 6*s. Does 16 divide s?
True
Let c(s) = -3*s + 154. Does 50 divide c(0)?
False
Let b be (1 - (-2 - 2))/1. Let o = 7 - b. Suppose 5*y - 42 = 2*y - z, -24 = -2*y - o*z. Does 15 divide y?
True
Let g = -61 - -91. Is g a multiple of 15?
True
Suppose 4*a - a = -3*y + 144, 4*a - 195 = -5*y. Does 12 divide a?
False
Suppose 12 = 4*i - 2*w, 2*i = -i - 3*w. Suppose i*c + 3*t - 25 = 0, -5*t + t + 39 = 3*c. Is 6 a factor of c?
False
Suppose 6*f + 40 = f. Let o be (-10)/4*1*f. Let x = o + -11. Is x a multiple of 9?
True
Suppose 5*k - 3*k + 34 = 0. Let r = k - -50. Does 11 divide r?
True
Let g = 407 + -247. Does 32 divide g?
True
Suppose 0 = 4*d - 7*d. Does 4 divide (d + -12)*(-1 + 0)?
True
Let o(i) = 12*i**3 - i**2 + i. Does 6 divide o(1)?
True
Let j(z) = -z + 8. Let p be j(6). Suppose -p*t - 3*w = 4 + 5, -2*t - 2*w = 8. Is 6 a factor of ((-9)/(-2))/(t/(-8))?
True
Let z(p) = -p**2 + 5*p. Let q be z(5). Let s(r) = -r**3 - r + 4 + 3*r**2 + 2*r**2 - 4*r**2 + 2*r**3. Is s(q) a multiple of 3?
False
Let c(n) = 7*n - 4*n + n**2 + n + 3. Let y be c(-4). Suppose -2*p - y*p = -25. Does 3 divide p?
False
Let r(c) = c**3 + 7*c**2 - 6*c - 5. Suppose 6 = -2*j - 8. Is 11 a factor of r(j)?
False
Suppose 12*a - 1727 = 2353. Does 20 divide a?
True
Suppose 0 = 4*n - 3*x - 92, -2*n - n + 66 = -3*x. Is n a multiple of 26?
True
Suppose 2*v = 3*v - 30. Is v a multiple of 13?
False
Let a(x) = -x**3 - 8*x**2 - 2*x - 6. Let h be a(-8). Suppose -4*z - 34 - h = 0. Let y = z + 16. Is 2 a factor of y?
False
Let f be 3 - 1/(-4 - -5). Suppose -h = f*h - 21. Is h a multiple of 3?
False
Let l(k) = -k**2 - 9*k + 15. Does 7 divide l(-7)?
False
Suppose 4 = 2*l - 0. Let q be (-3)/((-9)/l)*48. Suppose 0 = 4*m + 5*y, -5*y - q - 8 = -4*m. Does 5 divide m?
True
Let b(d) = d + 10. Let y be b(-7). Is y + (-4)/((-16)/20) a multiple of 8?
True
Suppose -4*q = -2*g + g - 44, 28 = 4*q - 5*g. Let c = 4 + q. Is c a multiple of 16?
True
Let d = 8 - 4. Suppose -30 = 2*v - d*v. Is v a multiple of 6?
False
Let w(g) = -g. Let s be w(-8). Is 5 a factor of (-63)/(-4) + 2/s?
False
Let o(x) = 5*x - 1. Let f(b) = -1. Let z(j) = 5*f(j) - o(j). Does 13 divide z(-6)?
True
Let d = 7 + -2. Suppose 3*j - 3*m - 6 = 0, d*j + 4*m - 10 = 2*m. Suppose -i - 38 = -v - 0*v, 0 = -5*v - j*i + 190. Is v a multiple of 19?
True
Suppose -5*k + 4*z + 0 - 6 = 0, 0 = -5*z - 5. Is 7 a factor of 1815/105 - k/(-7)?
False
Let i = -85 + 201. Is i a multiple of 23?
False
Suppose 0 = 3*n - 410 - 184. Is n a multiple of 22?
True
Is (29 - 0) + -7 + 8 a multiple of 6?
True
Let r = 7 + -5. Suppose v = r*v - 17. Is 17 a factor of v?
True
Let x(t) = t + 7. Let w be x(9). Let z(m) = m**3 - 4*m + 3. Let h be z(2). Suppose w = v + h. Does 13 divide v?
True
Suppose 5*o - 2 = u + 7, 4*u - 14 = -5*o. Let v(x) = -x - 23*x**3 + 1 - 17*x**3 + 14*x**3 + x**2 - o. Does 11 divide v(-1)?
False
Let q = -1 - -67. Let j be 1/(1/q*3). Suppose -t = -3*t + 4*c + 26, -5*c - j = -2*t. Is 9 a factor of t?
False
Let p = -2 + 8. Let b = p - -13. Does 10 divide b?
False
Let y(o) = -o**3 - 2*o**2 + 3*o - 5. Does 3 divide y(-4)?
True
Let x be 41 - -3*(-1)/3. Let m = -22 + x. Is 9 a factor of m?
True
Let p(y) = 67*y**2 + 2*y + 3. Does 13 divide p(-1)?
False
Let b = 511 - 291. Is b a multiple of 10?
True
Is (-558)/(-14) - 15/(-105) a multiple of 9?
False
Is 9 a factor of ((-4)/10)/(64/360)*-96?
True
Let f = -4 - 0. Let d(v) = -12*v - 2. Is 12 a factor of d(f)?
False
Suppose -3*n + 78 + 78 = 0. Is 12 a factor of n?
False
Let c(j) = -j**2 - 22*j - 6. Does 9 divide c(-17)?
False
Let x(a) = a**3 - 6*a**2 + 2*a - 2. Let w be x(6). Is 5 a factor of (w/(-3))/(2/(-9))?
True
Let u = 132 - 82. Let d be 2 - (0 + (-6)/(-3)). Suppose -q + 29 = -5*n, d*q - 2*n = 4*q - u. Does 6 divide q?
False
Let b = 1 + -25. Let j = b - -34. Is 5 a factor of j?
True
Suppose -172 = -4*w + 4*a, -2*a = -4*w - 3*a + 172. Does 29 divide w?
False
Suppose 2*j - l - 52 = 0, 0 = -4*j - 4*l + l + 94. Is 25 a factor of j?
True
Suppose 2*d = d. Suppose h + 5*f - 21 = d, -4*f + 2*f = 4*h - 48. Let m = 21 - h. Is 10 a factor of m?
True
Suppose -5*r + 11 = -9. Suppose -7 = 4*x + 3*x. Is 2/(x*r/(-22)) a multiple of 4?
False
Let x = -67 + 174. Does 8 divide x?
False
Suppose 4 = -4*p + 6*p. Suppose 8 = -p*r + 2*z, -44 = 3*r + 2*z + 3*z. Let v(y) = y**2 + y. Is 20 a factor of v(r)?
False
Let y(k) = k**2 - 5*k - 8. Let g be y(6). Is g + -1 - -33*1 a multiple of 10?
True
Let s = -8 + 15. Suppose 5*y + s - 117 = 0. Does 11 divide y?
True
Let j = 112 - 76. Is 9 a factor of j?
True
Let i(a) = 6*a - 9. Is 13 a factor of i(21)?
True
Let b = 7 + -5. Let r be (3/b)/((-6)/(-16)). Suppose -10 - 6 = -r*i, -3*w = 3*i - 30. Is 6 a factor of w?
True
Suppose -2*n = 6, 2*c = 3*n - 8*n + 21. Is c a multiple of 10?
False
Let n(b) = b**3 - 11*b**2 + 13*b + 1. Is 10 a factor of n(10)?
False
Let b = 13 - 0. Let v(m) = m**2 - 12*m - 9. Let z be v(b). Suppose 0 = -4*p - z, -19 - 9 = -5*n + 3*p. Is 2 a fa