ose 3*t - 5*i - 33 = 0, -2*i = t - 0*t. Is ((-45)/t - -3)*-4 a multiple of 6?
True
Suppose -16*p + 15*p + 117 = 0. Does 22 divide p?
False
Suppose -3*s = -h + 16, -h - 2*h + 4 = 2*s. Suppose 5*b = 15, h*k + b - 2 = 3*b. Suppose 0 = -2*m - 10, -88 = -5*o + 2*o + k*m. Is o a multiple of 12?
False
Let k(u) = -u**2 + 11*u - 7. Does 4 divide k(7)?
False
Let a be (-24)/(-28)*1*-7. Let w be (-2)/a - (-170)/(-15). Let j = w + 27. Is j a multiple of 11?
False
Let n be (-1 - 3)*1/(-2). Suppose n*x = -2*y + 36, -x + 14 = -0*x + 5*y. Is 15 a factor of x?
False
Suppose -p + 15 = -8. Is 23 a factor of p?
True
Suppose 0 = 5*w + 5*x - 180, 2*x - 180 = -9*w + 4*w. Is w a multiple of 12?
True
Let q(n) = 3*n + 12. Is q(8) a multiple of 21?
False
Let u(g) = g**3 - 6*g**2 - 10*g + 39. Does 12 divide u(9)?
True
Suppose 11*x - 3*x - 1016 = 0. Is x a multiple of 12?
False
Let n = -2 - 12. Is (-60)/n - (-8)/(-28) a multiple of 3?
False
Let h(y) = -y**2 - 11*y - 8. Let d be h(-10). Suppose -s + d = -4*k - 11, -2*s + 10 = 0. Is 14 a factor of (-55)/k + (-2)/(-4)?
True
Let w = -18 - -51. Does 11 divide w?
True
Suppose -13*u = -11*u - 8. Suppose 40 = 5*q - u*q. Is q a multiple of 20?
True
Suppose 4*v = 4*l + 12, -2*v + 10 = -5*l + 4. Suppose 2*u = -4*d + 5*d + 26, -87 = -5*u - v*d. Does 9 divide u?
False
Suppose -d - 3*p = -9, -d - 4*d - p = -31. Let g(f) = 12*f + 16. Does 22 divide g(d)?
True
Let z(k) = -2*k**3 + 5*k + 4. Is 31 a factor of z(-4)?
False
Suppose -3*s + 16 = -11. Is s even?
False
Let r = 31 - 22. Is r a multiple of 9?
True
Suppose 2*d + 0*a + 8 = -4*a, 5*a = 5*d - 10. Suppose d = -4*j + 12, -3*l - 2*j = j - 9. Suppose 4*r - 12 = l, -2*r = 4*q - 37 - 5. Is q a multiple of 9?
True
Let k(m) = 2*m**2 + 5*m + 2. Let g be k(-3). Suppose 0 = -g*a + 6 + 4. Suppose -4*q + 65 = -b, a*b - 4*b + 46 = 3*q. Is 8 a factor of q?
True
Let j = -394 - -613. Is j a multiple of 13?
False
Suppose 0 = k + 3*k + 728. Is 7 a factor of (k/21)/((-2)/3)?
False
Suppose -b - 19 + 173 = 2*p, 435 = 3*b - 3*p. Suppose -5*t + 72 = -b. Does 11 divide t?
True
Let y be ((-216)/16)/((-2)/4). Let d = 64 - y. Is d a multiple of 11?
False
Let g be 4/10 + (-3)/(-5). Let d be 2/1 - (1 - g). Is 7 + 9/(-6)*d a multiple of 2?
True
Let y = 58 + -30. Suppose -y = -4*o + 16. Does 11 divide o?
True
Suppose -80 = -2*p + 6*p. Let d be (p/(-4))/((-2)/10). Let u = 58 + d. Does 14 divide u?
False
Suppose l = -3*u + 12, l = -5*u + 3*l + 20. Let g be ((-1)/(-1))/(u/28). Does 8 divide (3 - 0)*(g - 2)?
False
Let v = 40 + -22. Suppose v + 10 = d. Does 26 divide d?
False
Let r(n) = n**2 - 6*n + 19. Is r(3) a multiple of 10?
True
Let t(f) = -f - 2. Let c be t(-7). Let d = 1 + c. Does 5 divide d?
False
Let q(u) = -u**3 - 2*u**2 + 2*u - 3. Let n be q(-3). Is 12 a factor of (-6 - (2 - n))*-2?
False
Is (1*(-30)/25)/(2/(-5)) a multiple of 2?
False
Is -1 - -268 - (-3 - (0 - 0)) a multiple of 18?
True
Let t(s) = 6*s. Let o be t(1). Suppose -o*p = -3*p - 84. Is 11 a factor of p?
False
Suppose 0 = -3*s - 0 - 12. Is 4 a factor of (-55)/s + (-6)/8?
False
Suppose -5*l = 5*p - 105, 113 = 5*p - 0*l + 3*l. Let m = p - 4. Suppose -5*d = 0, -x + d - m = -2*x. Does 21 divide x?
True
Suppose -2*g + 2 = -2*i + 6*i, -2*g + 2 = -2*i. Let a(t) = 10 - 2 + i + 5*t + t. Is a(6) a multiple of 22?
True
Let f(t) = -8*t - 1 + 3 - t**2 + 2. Is 7 a factor of f(-6)?
False
Let k(i) = i**3 - 9*i**2 - 6*i + 7. Is 12 a factor of k(10)?
False
Suppose r - 10 = 8. Is 5 a factor of r?
False
Let n(k) = -2*k - 15. Let r be n(-10). Suppose 0*y = -u - 4*y + 27, 20 = -r*y. Is 22 a factor of u?
False
Suppose -4*p + 580 = -284. Does 54 divide p?
True
Let k(n) = -6*n - 36. Is k(-26) a multiple of 15?
True
Suppose 3*m + 3*r + 23 + 19 = 0, -74 = 4*m - 2*r. Let q(z) = 3*z**2 - 7*z + 4. Let x be q(4). Let n = x + m. Does 3 divide n?
False
Let n = 5 + -9. Let z be (-10)/(-3)*18/(-6). Is (n/z)/(3/60) a multiple of 4?
True
Let x = 21 - -24. Is x a multiple of 15?
True
Suppose -4*y - 3 = 5. Let c(h) = 6*h**2 + h + 1. Is c(y) a multiple of 14?
False
Let g = -2 + -5. Let y be 1/(-3)*-39 + 3. Let k = y + g. Is 7 a factor of k?
False
Let o(v) = v**3 + 4*v**2 - 10*v - 3. Is o(5) a multiple of 43?
True
Let n = -78 + 87. Is n a multiple of 2?
False
Suppose -2*x + 12 = -0*x + q, q + 16 = 5*x. Suppose -2*o - 2*s = 12, -3*s = -2*o - x*s - 9. Is (-5)/((-30)/(-8))*o a multiple of 3?
False
Suppose 2*c + f = 53, 2*c = -3*f - 2*f + 73. Does 8 divide c?
True
Suppose -l - 3*l = -112. Is 14 a factor of l?
True
Suppose -u + 2*q - 346 = -5*u, -3*u + 2*q = -256. Is 34 a factor of u?
False
Suppose 3*i = 16383 - 6468. Suppose 9*d - 4*d - 4360 = 4*b, 3*b + i = -5*d. Is b/(-20) + 2/8 a multiple of 20?
False
Suppose 0 = -2*s + v + 3, 5*s + 2*v = 5*v + 9. Suppose s = 6*u - u. Suppose u*y - 72 = -3*y. Does 12 divide y?
True
Suppose 8 = 2*o - 4. Suppose -k + o = k. Suppose 2*s + k - 27 = 0. Is s a multiple of 6?
True
Let k(t) = 2*t**2 + 3*t. Let p be k(-2). Let r = 2 + p. Is 4 a factor of r?
True
Suppose 0*m - m + 4 = 0. Suppose 0 = m*v - 6*v. Suppose 4 = q - v. Is q a multiple of 2?
True
Let k = -24 - -155. Is k a multiple of 21?
False
Let y(j) = -j + 5. Let d be y(-5). Suppose 0 = 5*l - 3*l + d. Let b = l + 24. Is 6 a factor of b?
False
Let n be (2/(-1) - 2) + -1. Let w = 3 - n. Is 5 a factor of w?
False
Suppose 3*a = 88 - 16. Let u = -23 - a. Does 2 divide 4/14 + u/(-7)?
False
Suppose 8 = 3*y - y. Suppose s - 65 = -3*v - y*s, -2*s = 2*v - 42. Is v a multiple of 8?
False
Let o = -66 - -93. Is 27 a factor of o?
True
Let m(c) = c**2 - 3*c + 3. Let d be m(3). Suppose -29 = -3*s - 5*t, 37 = d*s - t + 2*t. Does 10 divide s?
False
Let u be 1/(-4) + 78/24. Let k = u + -7. Let l(d) = -d. Is 2 a factor of l(k)?
True
Let z(b) = b**3 - b**2 + 2*b - 4. Let x be 4/6 + (-28)/(-12). Let d be z(x). Let j = d - 12. Is 8 a factor of j?
True
Let t = 24 + -14. Is 10 a factor of t?
True
Suppose -r = -0*r. Let n be 48/(-18)*(-3)/(-2). Let c = r - n. Does 3 divide c?
False
Let o be 2 + -2 + 39*3. Let f(w) = -16*w + 6. Let s be f(5). Let h = s + o. Is 16 a factor of h?
False
Let k = -2 + 4. Suppose 4*r = -k*t + 260, -4*r - 5*t + 24 = -230. Is r a multiple of 22?
True
Suppose -v + 8 + 5 = 0. Suppose 2*b + 3*b = 265. Let t = b - v. Does 14 divide t?
False
Let o(x) = -x**2 - 3*x + 4. Let l be o(-3). Let q(j) = j**2 - 2*j - 5. Let t be q(l). Suppose 5*w = -t*c + 53, 5 = 3*w - 7. Is 8 a factor of c?
False
Let h(s) = -s**3 + 8*s**2 - 3*s - 7. Does 7 divide h(7)?
True
Let y(c) = -c**3 - 5*c**2 - 8*c - 4. Suppose 16 = -4*j - 4. Does 12 divide y(j)?
True
Suppose 8*k - 119 - 617 = 0. Is k a multiple of 8?
False
Suppose -61 = -4*v - 2*q + q, q + 3 = 0. Let u = 40 - v. Does 8 divide u?
True
Let l be 2/(-6) - 16/(-3). Suppose 21 = 2*z - q, 47 = l*z - 2*q - 6. Suppose -2*j + 27 = -z. Does 19 divide j?
True
Let n(k) = k**3 + 7*k**2 - 5*k. Suppose 4*r + 42 = -2*r. Does 7 divide n(r)?
True
Let j = 19 + -7. Is (-1 + -13)*j/(-14) a multiple of 12?
True
Let g(p) = -2 + 0 - 4*p**2 + p + p**3 + 3*p. Does 7 divide g(4)?
True
Let w(a) = 6*a - 5. Let z(s) = 13*s - 11. Let h(r) = 9*w(r) - 4*z(r). Let i be h(-1). Let c = 9 + i. Is c even?
True
Let f(x) = -14*x**2 + 5*x - 3. Let q(a) = -5*a**2 + 2*a - 1. Let o(s) = -4*f(s) + 11*q(s). Let l(m) be the first derivative of o(m). Is l(4) a multiple of 9?
False
Let x(b) = -b**3 - 8*b**2 + 6*b + 11. Let z be x(-9). Suppose -38 = -2*p + z. Does 11 divide p?
False
Let x(j) = j**3 - j + 5. Let k(n) = -n - 4. Let m be k(-4). Let u be x(m). Suppose 3*w - 3 = -2*a + 17, a - 10 = -u*w. Is 10 a factor of a?
True
Let g(s) = 55*s - 31. Does 27 divide g(4)?
True
Let u be (-4)/2 - (-5 - 2). Does 5 divide (-2)/8*(-23 - u)?
False
Suppose 2*r - q = 2*q + 305, -5*r = -5*q - 760. Suppose 11 = -4*y + r. Suppose -3*v + 3*t + 13 + y = 0, 50 = 5*v + 5*t. Is v a multiple of 13?
True
Suppose -2*d + 8*d = 372. Does 10 divide d?
False
Let a(q) = 1. Let s(l) = -l**2 + 3*l + 5. Let x(y) = -3*a(y) + s(y). Let c be x(4). Is 9 a factor of c + 3/(6/22)?
True
Let n(x) = -7*x**2 - 11. Let h(f) = 6*f**2 - f + 10. Let b(o) = 6*h(o) + 5*n(o). Does 8 divide b(8)?
False
Let u(k) = -k**3 - 4*k**2 + 4*k + 5. Is u(-5) a multiple of 10?
True
Suppose -4*a - 3 - 11 = -2*y, y + 23 = -4*a. Is 2 a factor of -4 - a - (-9)/3?
True
Let c = 116 + -51. S