pose 117 = 4*d - 27. Is 9 a factor of d?
True
Let z be 3/(-12) - 1/(-4). Suppose z*y = -5*y + 75. Suppose -3*u - 3 + y = 0. Does 2 divide u?
True
Let u = 40 + -20. Suppose -u = c - 6*c. Is 2 a factor of c?
True
Let d be 6/27 + 86/18. Suppose -b - d = -2*t - 1, b - 4*t + 10 = 0. Suppose -b*n - n + 42 = 0. Is n a multiple of 7?
True
Suppose -5*b - 36 + 2 = 3*k, -5*b - 50 = -5*k. Let i = -13 - b. Is 16 a factor of (-177)/i + 4/(-10)?
False
Let i(c) = 11*c + 1. Let j be i(1). Let a be (4/6)/(j/18). Let f = a - -29. Does 10 divide f?
True
Suppose -11*j + 24 = -10*j. Is j a multiple of 8?
True
Let a(u) = u**3 + 7*u**2 + 7*u + 10. Suppose -5*h - 28 + 8 = 0. Is a(h) a multiple of 10?
True
Let s be 0 - (4 + -2) - -10. Let k be 1*-4*(-20)/(-8). Let i = s - k. Does 5 divide i?
False
Let w = 6 - 4. Let q be 84 - (-2 - (w - 2)). Let a = 134 - q. Is a a multiple of 18?
False
Let o(t) = t**3 + t**2. Let d be o(0). Suppose 4*b + d*b = 0. Suppose 4*x + 2*f - 6 + b = 0, 4*f = -3*x - 3. Is x a multiple of 3?
True
Let l(h) = h**3 + h + 1. Let v(w) = 3*w**3 + w**2 + 3*w - 11. Let t(c) = 4*l(c) - v(c). Is 8 a factor of t(0)?
False
Suppose 0*i - 51 = -5*l + i, 0 = 4*l - 3*i - 43. Is 2 a factor of l?
True
Let i = -100 - -195. Is i a multiple of 5?
True
Let z(x) = -5*x + 3. Suppose 3*n - 1 = -16. Let b be (n*1)/(5/5). Is z(b) a multiple of 13?
False
Let h(j) = 245*j - 14. Let g(i) = -82*i + 5. Let y(b) = 17*g(b) + 6*h(b). Does 23 divide y(1)?
False
Let t be 2 - (-65 + (1 - 0)). Suppose -2*h = 4*p - 7*h - 67, -2*p = 4*h - t. Is 19 a factor of p?
False
Suppose -5*g + 0*g + 3*d + 144 = 0, -d + 152 = 5*g. Suppose -q - 136 = -4*i, -q + g = -3*i + 132. Does 17 divide i?
True
Let g be (8 - (2 + 0))/2. Is (g/(-9) - -3)*12 a multiple of 13?
False
Let a = 127 - -80. Is 23 a factor of a?
True
Let v = 75 + -52. Does 9 divide v?
False
Let j be 5 + -2 + (-1 - -2). Let m = 6 - j. Is m even?
True
Let g = -10 + 10. Suppose 3*a - 27 - 3 = g. Let v = a - 7. Does 3 divide v?
True
Is (68/(-3))/((-9)/27) a multiple of 17?
True
Let p = -6 - -6. Suppose 3*u - 6*u - 30 = p. Let k = u + 20. Is 5 a factor of k?
True
Suppose -2*t + 0*l = 4*l - 22, 4*l - 61 = -5*t. Is 13 a factor of t?
True
Suppose 29 = 2*c - 0*c - d, 5*d = -3*c + 11. Suppose h - 7 = c. Is h a multiple of 10?
False
Let a = -42 + 54. Does 2 divide a?
True
Let i = -23 + 14. Let d = -1 - i. Is 8 a factor of d?
True
Suppose -5*c + 4*b = b - 62, -4*c + 4*b + 48 = 0. Suppose -3*d + c = -2. Suppose -x + 12 = 4*q, -x - 128 = -d*x + 4*q. Is x a multiple of 11?
False
Does 6 divide 7*(-1140)/(-133)*(-2)/(-5)?
True
Suppose 6*n = 5*n - 1. Let b be 20*n - (-1 + 2). Let x = b - -32. Is 4 a factor of x?
False
Suppose 0*y + 4*y + 4 = 0. Let o = 4 + -5. Does 6 divide (y/(-1))/(o/(-12))?
True
Suppose 3*k - 2*i - 1 = 0, -4*i + 34 = 3*k + 9. Suppose v - 9 = 2*u, 6*v = 2*v + 3*u + 21. Is v/(3*k/72) a multiple of 12?
True
Let c(v) = 2*v**2 - 4*v. Let l be c(3). Let f be (-63)/6*(-8)/l. Let x = -6 + f. Does 8 divide x?
True
Suppose -2*r = 3*w + 7, w - r = 3*r + 7. Let v(y) = -24*y. Does 8 divide v(w)?
True
Let c be 2/8*-2*2. Let h(y) = -15*y. Is h(c) a multiple of 11?
False
Suppose 2*x - 4 = x. Suppose -4*p + x = -112. Suppose -3*q + 61 = -p. Does 15 divide q?
True
Let r(v) = -11*v + 1. Let k(w) = w**3 - 4*w**2 - 1. Let i = -9 + 13. Let t be k(i). Is r(t) a multiple of 6?
True
Suppose -2*c = 2*x - 146, 0 = 3*c - 5*x - 26 - 185. Is 24 a factor of c?
True
Let c(x) = -x**3 + 6*x**2 + x - 7. Let u be c(6). Let m = u + 31. Does 15 divide m?
True
Let d be 1 - (-3 - 1/1). Suppose -c + d*x + 3 = x, 4*c + 5*x - 12 = 0. Suppose 44 = -c*a + 7*a. Does 5 divide a?
False
Let n(b) = 9*b + 5. Is 8 a factor of n(3)?
True
Let l be 2 - -1 - -1*1. Let j(a) = a**3 + 2*a**2 - a + 2. Let q(h) = -6*h**3 - 10*h**2 + 6*h - 10. Let n(w) = -11*j(w) - 2*q(w). Is n(l) a multiple of 12?
False
Suppose -372 - 218 = -5*f - 5*v, f + 2*v = 122. Is f a multiple of 6?
True
Let a = -184 + 354. Is 17 a factor of a?
True
Let p(l) = -192*l. Does 34 divide p(-1)?
False
Let z(o) = 11*o**3 - 4*o**2 + o - 2. Let x(l) = 12*l**3 - 3*l**2 + l - 2. Let k(j) = -4*x(j) + 3*z(j). Is 33 a factor of k(-2)?
False
Let q be (-1 - (2 - -52))*-1. Let r be 2/7 + 26/7. Is 9 a factor of r/16 + q/4?
False
Suppose 3*c + 84 = 2*w, 2*c = -w + 6*c + 52. Does 12 divide w?
True
Let u = 10 - 8. Let f be -25 + 2 + u/1. Is (1 + f)*(-7 - -6) a multiple of 8?
False
Suppose 0 = 7*m - 18*m + 1507. Is m a multiple of 16?
False
Let l(j) = -2*j - 3. Let d(a) = -a**2 + a + 2. Let x be d(-2). Let p be l(x). Is -1 + 5/(p/4) a multiple of 2?
False
Let x = 8 - 5. Suppose 3*c = x*o - 33, 0 = 2*o + 3*o + 2*c - 34. Suppose -o = -4*y, -4*y + 4 - 46 = -5*j. Is j a multiple of 10?
True
Let f(q) = -q + 7. Let k be f(9). Is 13 a factor of k*4/(16/(-26))?
True
Suppose 0*y + 6 = 3*y. Let z be 0 - (-44 + (-3)/(-3)). Suppose -y*c - 13 = -z. Is c a multiple of 7?
False
Let d(l) = -7*l - 6. Let b be d(-4). Suppose -5*s = -3*s - b. Is 11 a factor of s?
True
Suppose 11 + 1 = 3*n. Suppose -4*o + n*f + 132 = 0, -3*f + 114 = 4*o - f. Is 15 a factor of o?
True
Let y(v) = 2*v**2 - 5*v - 1. Let b(o) = -o**3 + 4*o**2 - 2*o + 1. Let d be b(3). Does 4 divide y(d)?
False
Let p be 0/(-1) - 2*-5. Let m(s) = s**3 - 9*s**2 - 7*s - 12. Does 10 divide m(p)?
False
Let i be 6/(-9) - (-688)/6. Does 8 divide ((-2)/(-3))/(4/i)?
False
Let k be (-2 + 5)/(0 + 1). Let v = k - 1. Suppose -10 = -v*n + 68. Is 13 a factor of n?
True
Let s be (4 + 78)/((-2)/(-1)). Suppose 4*k - 2*y + s = 183, 106 = 3*k - 2*y. Does 18 divide k?
True
Suppose -40 = 5*i + 5*h, 0*i - 3*i - 20 = h. Let l = i + 3. Is 17 a factor of -6*(64/(-6) - l)?
False
Let p be -10*(2/5 + 0). Let q be -12*(3/p)/(-1). Let v = q - -15. Is 6 a factor of v?
True
Suppose 0 = -2*n + 31 + 71. Is n a multiple of 7?
False
Let v be 1/(-2)*(4 - 2). Let r(u) = 5*u**2 + 14*u**2 - 2*u**2 - 1 - 2*u + 0*u**2. Does 9 divide r(v)?
True
Suppose q + 260 = 6*q + k, 2*q = 5*k + 104. Is q a multiple of 26?
True
Let v(q) = -q - 1. Let d be v(1). Let t = d + 5. Suppose -t*f - 37 = -91. Does 12 divide f?
False
Let o be 14/49 + 18/(-14). Is 12 a factor of 0 - o - (8 + -79)?
True
Let m be (-10)/(-40) - 241/4. Does 12 divide 7 + -6 + m/(-1)?
False
Suppose 0 = 5*z + s - 82, -s + 0*s + 2 = 0. Is 12 a factor of z?
False
Let l(d) = d**2 + d + 1. Let w be l(7). Let q = -12 + w. Suppose 0 = 3*b - q - 45. Is 14 a factor of b?
False
Does 13 divide 1 - (-32 + 3 + 4)?
True
Is 5/(-6 - (-1228)/204) a multiple of 15?
True
Suppose -27*o + 31*o - 120 = 0. Is 5 a factor of o?
True
Suppose 8*w = 6*w + 72. Is w a multiple of 18?
True
Let r = -265 - -373. Is 10 a factor of r?
False
Let d be ((-3)/(-4))/((-3)/24). Let y = -3 - d. Is y a multiple of 2?
False
Suppose -5 = 5*k, -4*i + k = -0*i - 1. Let s(d) = d + 3. Let p be s(i). Is 2 a factor of 3/(-2)*(-8)/p?
True
Let c(w) = w**3 - 6*w**2 + 5*w - 4. Let n(h) = -5*h**3 + 30*h**2 - 24*h + 21. Let m(r) = 11*c(r) + 2*n(r). Suppose -2*u + 6*u - 20 = 0. Is 3 a factor of m(u)?
False
Let q = 1 - 4. Let p(a) = -5*a - 3. Let w be p(q). Suppose -w = 4*s - 32. Does 5 divide s?
True
Suppose -33 = -k - 3*m, -2*m = 5*k + 2*m - 154. Does 30 divide k?
True
Suppose 0*x = k + 3*x - 8, 10 = 5*x. Suppose k + 7 = -3*y. Is y/5 - 236/(-10) a multiple of 11?
False
Suppose -6*v + v = 0. Suppose 2*w + 66 = 3*b, 88 = 4*b + 4*w - v*w. Does 22 divide b?
True
Suppose 6 + 1 = 4*a + 5*s, 2*a + s = 11. Is 4 a factor of a?
True
Suppose 5*m - 7 = 2*v, -m + 3*m = -3*v - 20. Suppose -3*k + 6*k - 6 = 0. Is 6 a factor of -13*k*3/v?
False
Let j = 59 - 25. Suppose j = 2*v + 4*g + 10, 0 = -4*v + 4*g + 72. Is 8 a factor of v?
True
Suppose 0 = -5*p + 702 + 478. Does 24 divide p?
False
Suppose -4*w + 17 = -7. Suppose -w - 26 = -4*u. Does 4 divide u?
True
Is 31/1 + 12/6 a multiple of 11?
True
Let a = -11 - -7. Is (0 + -2)/(a/14) a multiple of 7?
True
Let w = 20 + -6. Let k = w - 3. Is 5 a factor of k?
False
Suppose 0*a + a - 5 = 0. Does 3 divide a?
False
Let w = 6 + 39. Is w a multiple of 15?
True
Suppose 220 + 26 = 2*u. Suppose -f + 3*f - 4*z = -130, 4*f + 4*z = -308. Let r = f + u. Is 15 a factor of r?
False
Let d = -2 + 2. Let t = -159 - -255. Suppose 3*i + i - t = d. Is 8 a factor of i?
True
Does 6 divide 1 + (10 - (-2 + 1))?
True
Let u(w) = -2*w - 4. Le