4/(-4 - (-8 - -3)). Suppose 2*u = -3*o + 58, 4*o = -0*o - s*u + 84. Does 8 divide o?
True
Is (-2)/8 + 1246/56 a multiple of 7?
False
Suppose 3*b - 4*y = 293, b - 62 = -4*y + 9. Suppose 0 = -4*h - 41 - b. Let a = 55 + h. Is 9 a factor of a?
False
Let q = -111 + 246. Does 15 divide q?
True
Suppose -4*q + 499 = 2*u - 107, -4*u = q - 169. Does 10 divide q?
False
Suppose 5*u + 11 = 41. Suppose z - 15 = u. Is z a multiple of 21?
True
Let u = 3 + 5. Suppose -u*r = -4*r - 12. Is 2 a factor of r?
False
Let k be (-1)/(-1*2 + 1). Suppose -2*m - 2*t = -2, -4*m = -4*t - 21 + k. Suppose 5*f = -3*s + 29, m*f + 5 = -0*s + s. Is 8 a factor of s?
True
Let s be (-1 + 1)/(6 + -8). Suppose s = d - 42 + 6. Does 18 divide d?
True
Suppose 5 = -i - 5*q, -4*i + 4*q + 100 = -0*i. Is i a multiple of 11?
False
Suppose c + 20 - 81 = 0. Let o = 30 + c. Is o a multiple of 28?
False
Let r(f) = f. Let g be r(-4). Is 16 a factor of 70/15*(-30)/g?
False
Let h be 3/7 - 3975/(-35). Suppose -3*z - w + 82 = w, 4*z - 2*w - h = 0. Does 7 divide z?
True
Does 9 divide 21/2*72/42?
True
Let m(n) = -8*n**3 + n**2 + 6*n - 2. Let o(z) = z - 1. Let i(a) = -m(a) + 5*o(a). Let l(f) be the first derivative of i(f). Is 11 a factor of l(-1)?
False
Let m(i) = 265*i**2 + 1. Is m(1) a multiple of 19?
True
Let k = -434 - -611. Suppose -235 = -4*o + k. Does 31 divide o?
False
Suppose -4 = -5*o + 21. Is 5 a factor of 98/o + (-12)/(-30)?
True
Let d be (-25)/(-9) - 4/(-18). Does 25 divide ((-102)/(-9) - 3)*d?
True
Let a = 49 + 51. Let d(z) = -z**2 + 4*z + 1. Let m be d(3). Suppose 0 = -4*t + a + m. Does 10 divide t?
False
Suppose 5*t - 12 - 18 = 0. Is t/9*1062/12 a multiple of 18?
False
Let q be (0 - -1) + (2 - 1). Suppose -4*k = k - 10. Suppose 2*y + 5*s = 26, y = k*s - 3 - q. Does 2 divide y?
False
Suppose -n + 44 = v + 4*n, -3*n = -3. Is v a multiple of 39?
True
Let h be -20*((-39)/(-4) + -3). Let l = h - -210. Is l a multiple of 28?
False
Let z = -11 - -13. Does 7 divide (42/(-24))/(z/(-16))?
True
Suppose -2*o + i = -53 - 112, -o - 4*i + 60 = 0. Is o a multiple of 25?
False
Let d(t) = t**2 - t + 14. Does 7 divide d(0)?
True
Let l(m) = -4*m**3 + 3*m**2 - 4*m + 3. Let b be l(2). Let r be (b/10)/(1/2). Is (78/(-15))/(1/r) a multiple of 13?
True
Let b(j) = 11*j**2 + 1. Suppose 3*f = -2*f + 3*v + 21, 3*f - 2*v = 12. Suppose -s + 3*s = 3*q - 7, -3*q + f = -3*s. Is 5 a factor of b(s)?
False
Let w = -43 - -85. Does 14 divide w?
True
Let i(t) be the first derivative of -14*t**2 + 6. Does 14 divide i(-1)?
True
Let k(b) = b**3 - 5*b**2 + b - 3. Let q be k(5). Suppose 5*x = -7*m + 4*m + 179, q*m = -4. Is 30 a factor of x?
False
Let y be (-271)/(-4) + (-1)/(-4). Suppose -y = -c - 5*z + 7, -2*z + 182 = 2*c. Is 16 a factor of c?
False
Suppose -51*n - 350 = -56*n. Is n a multiple of 7?
True
Suppose -w + 104 = 2*m, -m - 4*m - 2*w + 261 = 0. Does 12 divide m?
False
Let a(y) = 2*y**2 + 0 + 0 + 2*y**3 + 3 - 2*y. Does 4 divide a(2)?
False
Let t(j) = 5*j**2 - 5*j + 57. Let g(i) = i**2 - i + 1. Let k(m) = -6*g(m) + t(m). Let o be 2/(-6) - 5/(-15). Does 24 divide k(o)?
False
Let q(m) = m**2 + 8*m + 2. Let w be q(-9). Let o(z) = 6*z - 7. Is o(w) a multiple of 17?
False
Suppose 288 = 9*z - 5*z. Does 26 divide z?
False
Let a(m) = 53*m**3 + m**2 - m. Is 18 a factor of a(1)?
False
Let t = -22 - -43. Is t a multiple of 21?
True
Let f(c) = -c**2 - c + 4. Let r be f(0). Suppose 0 = -r*s - 3 + 39. Suppose 7*k - s = 4*k. Is k a multiple of 2?
False
Suppose 5 = -2*d - 1, 5*s - 95 = -5*d. Let i = 31 - s. Is i a multiple of 6?
False
Let l(w) = w**2 + 4*w + 1. Let x be l(-4). Let r be x*11 - 7/7. Let j = 18 - r. Is j a multiple of 4?
True
Let b = -30 - -17. Does 13 divide 2 + -3 + 1 - b?
True
Let z be (2 + -1)/(2/4). Suppose z*s - s + 81 = 0. Let x = s + 125. Is 22 a factor of x?
True
Suppose 80 = 4*h + 3*d, 5*h + 2*d = 36 + 71. Is h a multiple of 9?
False
Suppose -c - 2*c = -15. Suppose 5*w = f + 227, 0 = -c*w + 4*f + 72 + 146. Does 15 divide w?
False
Let f(s) = s**2 - s + 3. Let m be (0*(-3 - -4))/(-1). Let x be f(m). Let c(p) = 5*p**2 + p - 1. Does 20 divide c(x)?
False
Let g(r) = -r**2 + 90. Let h be g(0). Suppose c + 4*c + h = 0. Let i = c + 36. Is 18 a factor of i?
True
Is 8*2 - (-5)/((-15)/(-6)) a multiple of 8?
False
Suppose -5*y - 99 + 619 = -3*c, 2*y = -3*c + 187. Is 17 a factor of y?
False
Let q = -12 - -14. Suppose 0 = -q*x - 0 + 88. Is x a multiple of 12?
False
Let a(w) = w**3 + 7*w**2 - 3*w. Suppose 7*r - 5*s = 3*r - 3, 11 = -3*r + 2*s. Let t(b) = b**2 + 8*b. Let c be t(r). Is a(c) a multiple of 21?
True
Let i = 115 + -71. Does 22 divide i?
True
Let c = 6 - -32. Is 11 a factor of c?
False
Suppose 2*w - 5*u + 3*u - 18 = 0, 0 = -2*w - 5*u + 46. Let c be (1 - (2 - w))*2. Let r = c + -10. Is r a multiple of 4?
False
Suppose 6 = q + 2. Let c(n) = 3*n**2 + 2*n + 1. Is c(q) a multiple of 19?
True
Let y(h) = 5*h + 7. Let p be y(7). Let z be ((-2)/(-4))/(1/p). Suppose -g + z = -0*g. Is g a multiple of 18?
False
Suppose 0 = 5*u + 2*t - 39 - 60, -3*u + 4*t = -49. Let d(w) = 3*w - 4. Let a be d(5). Let o = u + a. Does 15 divide o?
True
Suppose 3*l + 2*i + 14 = 0, 4*i + 4 + 0 = -2*l. Let t(r) = r**2 + r + 2. Does 7 divide t(l)?
False
Let r(x) be the second derivative of -x**3/6 - x. Let z be (-1 - 1) + 0/7. Is r(z) even?
True
Let a(y) = -y**2 + 8*y + 5. Suppose 2*h = -5*w + 1, -7*w - 15 = -2*w. Is a(h) even?
False
Let n(v) = -v**3 + 2*v**2 - 5*v - 6. Let a(r) = 3*r**3 - 4*r**2 + 10*r + 13. Let c(j) = -2*a(j) - 5*n(j). Suppose 25 = -2*u - 3*u. Does 27 divide c(u)?
True
Let u = -385 + 541. Suppose -o + 5*s = -39, -s - u = -4*o - 0. Is 13 a factor of o?
True
Let v be 13/4 + (-4)/16. Let h = v + -1. Is 2 a factor of h?
True
Let f(k) = 4*k**2 + 66 + k**2 - 4*k**2 + k**3. Let b be f(0). Suppose -2*r - r + b = 0. Is r a multiple of 17?
False
Suppose -i = -6*i - 5. Is 13 a factor of (51 - 2) + (-2)/i?
False
Suppose 0 = -2*m + 5*m - 30. Is m a multiple of 10?
True
Let h(b) = b**2 - 6*b + 6. Let x be h(6). Is 8 a factor of (x/8)/((-1)/(-32))?
True
Is 6 a factor of 88/3 + (-1)/3?
False
Let r be (-148)/(-5) + 2/5. Suppose -j + r = -5*y - 0*j, 0 = -5*y - 3*j - 10. Is (-10)/((15/12)/y) a multiple of 20?
True
Let h(m) = m + 11. Let n be h(-6). Let o be (-2)/n - (-3)/(-5). Is o/5 + 708/15 a multiple of 20?
False
Let l(x) = x**3 + 12*x**2 + 16*x + 16. Is l(-9) a multiple of 29?
False
Suppose 3*m = -2*m + 20. Let p(v) = 15*v + 1. Let d be p(-1). Let c = m - d. Is 9 a factor of c?
True
Let d = 31 + -53. Is 4 a factor of 1/((8/d)/(-4))?
False
Let p be 1 + (-52)/((-6)/(-3)). Let z = p + 43. Does 9 divide z?
True
Let p = 268 + -148. Let w = -75 + p. Is 15 a factor of w?
True
Suppose 5*h = 84 + 91. Is 7 a factor of h?
True
Is 10/4*(4 - 0) a multiple of 9?
False
Let h be (1 - 2)/(2/(-482)). Suppose -4*m + 696 = s, 5*s - h + 48 = -m. Suppose -2*l = -m + 61. Is 19 a factor of l?
False
Is 4 + 287 - (-8)/(-2) a multiple of 46?
False
Let n = 6 + -2. Is n even?
True
Let m(t) = 32*t**2 + t. Let b be m(1). Does 3 divide 2/(-11) - (-303)/b?
True
Suppose -3*j + 20 = -2*j. Does 20 divide j?
True
Suppose -4*z + 2*z = 16. Let c = 51 + z. Is c a multiple of 22?
False
Suppose 20 = -4*x, 2*l + 2*x + 10 - 32 = 0. Does 16 divide l?
True
Suppose -1 = n - 3. Let a be -1 + n + 18*4. Suppose -4*k + 0*k + a = i, 3*i = -3*k + 48. Is 10 a factor of k?
False
Suppose 5*g = 5*o - 94 - 21, -3*o = -4*g - 72. Does 10 divide o?
True
Suppose 0 = 17*z - 16*z - 188. Does 17 divide z?
False
Suppose 5*p = 35 + 5. Let n(x) = -x + 2. Let o be n(0). Let c = p + o. Is c a multiple of 5?
True
Let p(v) = -24*v - 27. Let f(c) = -c - 1. Let k(m) = 54*f(m) - 2*p(m). Is k(-2) a multiple of 12?
True
Does 5 divide (-20)/(-5) - 1 - -9?
False
Let w = 11 - 5. Is w/21 + (-540)/(-21) a multiple of 12?
False
Suppose -b - 44 = -2*b. Is 11 a factor of b?
True
Does 5 divide (-34)/(-6) - 14/21?
True
Let g be (-1 - 2/4)*-10. Let l(z) = -5*z + 13. Let k be l(5). Is 14 a factor of (k/g)/(2/(-55))?
False
Let w be -1*(-1 - (-2)/2). Suppose -23 = -w*x - x - 5*g, 87 = 3*x - 3*g. Does 14 divide x?
True
Let p be (-50)/(-8) + 1/(-4). Suppose 2*t - 24 = p. Does 15 divide t?
True
Let p(a) = -45*a. Let c(y) = y. Let s(f) = -110*c(f) - 2*p(f). Does 20 divide s(-1)?
True
Let n be (194/(-2))/(-3 - -4). Let u = -64 - n. Let x = u 