e
Suppose 4*w - 5*u + 33 = -2*u, -55 = 5*w - u. Let s(r) = -r**2 - 16*r - 6. Is 21 a factor of s(w)?
True
Let x = 119 + -35. Does 14 divide x?
True
Let j = -75 + 82. Is 2 a factor of j?
False
Let o(y) = 2*y**2 - y + 2. Let m be o(-3). Let p = 13 + m. Is 15 a factor of p?
False
Suppose -p = -4*d - 3*p + 60, p + 2 = 0. Is d a multiple of 8?
True
Let c be -3 - (-1 + 60/(-3)). Let f = 0 - c. Let g = 27 + f. Does 9 divide g?
True
Suppose -2*n + 4*n = -46. Suppose -27 = 5*g - 2. Let l = g - n. Is 12 a factor of l?
False
Let h = -8 - -5. Let n(b) be the first derivative of -11*b**2/2 + 3*b + 1. Is 12 a factor of n(h)?
True
Let m = 1 - -9. Let i = m - -6. Does 7 divide i?
False
Let v = 3 - -9. Suppose -4*x = -3*x - v. Is x a multiple of 12?
True
Suppose -426 = -4*z + 46. Let r = -71 + z. Is 13 a factor of r?
False
Suppose 6 = 3*y - 0. Does 6 divide (1 + 5)/(y/2)?
True
Let x(s) = s - 2. Let g be x(2). Suppose -5*r = -g - 15. Is r a multiple of 3?
True
Suppose 5*j - 163 = -4*q + 3, -4*j + q = -137. Suppose -5*s = 3*m + 13, -3*m + 2*s - 12 = -j. Is m a multiple of 2?
True
Let l(i) = i**2 - 3*i - 4. Let c be l(3). Let u(t) = 2 + 2*t - 2*t - 2*t. Does 5 divide u(c)?
True
Let l be 8*(43/(-2))/(-1). Suppose -4*s + l - 60 = 0. Suppose -q = q - s. Is 4 a factor of q?
False
Suppose -4*f = -9*f + 10, -5*u - 2*f - 16 = 0. Let y = u - -10. Does 6 divide y?
True
Suppose 4*x = -5*w + 315, 4*w = w - 5*x + 189. Is w a multiple of 20?
False
Let t(h) = -2*h. Let k be 1/(-1) - (-4)/4. Suppose 2*u + 3*u + 15 = k. Is 2 a factor of t(u)?
True
Suppose 0 = 3*v + 4*v - 42. Let w be 0 - (0 + -1) - -3. Suppose 0 = -2*i + w*b - v, 3*b = -0*i - i + 22. Does 7 divide i?
True
Let w(z) = -z**3 - z**2 - 3*z - 4. Let g be w(-5). Let l = g - 221. Does 14 divide l/(-8) + 2/8?
True
Let z(n) = -n**3 + n**2 + n - 1. Let s be z(1). Suppose s = u + 3*u - 72. Suppose v - u = 20. Is 19 a factor of v?
True
Let a = -11 - -11. Let i = 25 + a. Does 19 divide i?
False
Let p(z) = -z**2 + 3*z. Let w = -2 + 9. Let i be p(w). Is 7 a factor of i/(-20)*(1 - -4)?
True
Suppose -2*y = -y - 18. Suppose a + l + l = y, -3*l + 21 = a. Does 12 divide a?
True
Suppose 4*z - 25 = 23. Suppose 0 = -p + 4*u + 13, 3*p - z = -p - 4*u. Does 2 divide p?
False
Let h = 4 + -4. Is 17 a factor of (0 - (0 - h)) + 51?
True
Let v be (1 - -1) + 1*2. Suppose -z - 1 = -v. Suppose 4*m = -5*w + 115, -z*w + 109 = -2*m + 40. Is 14 a factor of w?
False
Suppose -203 = -2*a - 5*y - 0*y, 0 = -3*a + 5*y + 317. Does 22 divide a?
False
Let k(l) = 12*l. Does 30 divide k(5)?
True
Is ((-1)/3)/(8/(-984)) a multiple of 6?
False
Is 3 a factor of 0 + (-24)/(-20)*5?
True
Let j = -182 - -272. Suppose -29 + 134 = 4*d + 5*n, 5*d - 2*n = j. Is 7 a factor of d?
False
Suppose -238 = -0*t - 2*t. Suppose -y + 41 = 3*r, 2*y + 5*r + 42 = t. Does 14 divide y?
False
Let n = 14 + 91. Suppose 0 = 5*p - 0*p + n. Is 4 a factor of (-237)/p + (-4)/14?
False
Suppose -3*w + 4*v = -245, -171 = -2*w - 3*v - 2*v. Does 4 divide w?
False
Let z(v) be the second derivative of -v**3 + v**2 - 3*v. Is z(-3) a multiple of 9?
False
Let b = 8 + -3. Let w(r) = 3*r + 3. Does 18 divide w(b)?
True
Let b = -9 + 36. Suppose v + b = -5*s + 4*v, v + 1 = 0. Does 16 divide (-32)/s*(-1 + 7)?
True
Let u = 0 - -16. Suppose 0 = m - u - 24. Does 20 divide m?
True
Let s(n) = -18*n + 14. Is s(-23) a multiple of 13?
False
Let b(g) = 108*g**3 + 2*g**2 - 1. Does 12 divide b(1)?
False
Let s = 23 - 9. Let k = 29 - s. Suppose 5*p = k + 15. Is p a multiple of 6?
True
Let m = 12 + -40. Let u(z) = z**2 + 4*z. Let j be u(-6). Is 10 a factor of (j/8)/((-3)/m)?
False
Let f = -16 - -26. Is 19 a factor of (114/(-15))/((-4)/f)?
True
Let u be (66/(-4))/(3/(-6)). Is u/4 + (-6)/(-8) a multiple of 2?
False
Let x(w) = w**2 + 2*w - 3. Let j be x(-3). Suppose -3*m + 20 - 2 = j. Is 6 a factor of m?
True
Let p = -1 + 10. Is 9 a factor of p?
True
Let a be ((-1 + 1)/(-2))/(-2). Suppose a = 7*k - 3*k - 36. Does 9 divide k?
True
Let l = -2 - -5. Suppose -5*d + 42 = 3*s, -l*d = -s - 7 - 7. Is d a multiple of 3?
True
Let r be (27/2)/((-4)/(-8)). Let i = -12 + r. Does 10 divide i?
False
Let y be (-2)/(-1) - (-105)/3. Suppose -o = -5*x - 119, 2*o - 29 = -3*x - 103. Let n = y - x. Is 19 a factor of n?
False
Let n = 11 + -7. Is n a multiple of 2?
True
Let g(t) = -4*t - 7. Suppose 0 = -2*r + 4*r - 6. Let i be 2 - 5 - -1 - r. Is g(i) a multiple of 9?
False
Let f be (-10)/45 - (-266)/(-18). Let z be 6/(1 - (-9)/f). Suppose 0 = 2*b - 3 - z. Is b a multiple of 4?
False
Let w(z) = z**3 + 6*z**2 + 5*z + 5. Let b be w(-5). Suppose 3*h + 68 = b*m, 0 = -h - 5*m - 1 + 5. Is (-7 + -1)*36/h a multiple of 14?
False
Let h(f) = 4*f**2 - 2*f - 1. Suppose 5*j = j - 24. Let o be 3/j*-4*1. Does 11 divide h(o)?
True
Suppose 0 = 4*y + u + u - 442, 201 = 2*y - 3*u. Suppose 3*v - 42 = y. Is 25 a factor of v?
True
Does 23 divide (-1)/7 - 2580/(-28)?
True
Let c(o) = -o**3 + 4*o**2 - o - 2. Let p be c(3). Suppose -3*n + 2*n + p = 0. Is 5 a factor of ((-30)/8)/((-1)/n)?
True
Suppose -5*v = -2*g - 30, 4*v = -2*g - 3*g + 57. Is 8 a factor of v?
True
Does 29 divide (-1)/(2/(-58*5))?
True
Is 9 a factor of 2472/36 - (-3 - (-22)/6)?
False
Does 16 divide 1575/15 + 6/(-2)?
False
Let l = 760 - 485. Suppose -5*y - 5*b + l = 0, -3*b - 2*b - 117 = -2*y. Is 15 a factor of y?
False
Is 16 a factor of 1*(-88)/(1 + -2)?
False
Let v(a) = a**3 + a**2 + 2. Let p be v(-2). Let s = p - 1. Let j = s + 15. Is j a multiple of 6?
True
Let l be -59 + -1 - (-24)/(-8). Let b = 88 + l. Is 25 a factor of b?
True
Let y = -5 - -10. Suppose y = -5*r + 5*k, -4*k = 6*r - 3*r - 4. Suppose -4*b = r, 2*u - b - 44 = 20. Is u a multiple of 20?
False
Suppose -2*f = -f + 2. Let i = f - -5. Suppose -2*x - 128 = -3*s - 0*x, 0 = i*x - 15. Is 23 a factor of s?
True
Suppose -3*v - 6*v = -162. Is 3 a factor of v?
True
Let s(y) = y**3 - 6*y**2 + y + 6. Is 12 a factor of s(6)?
True
Let m = -34 - -71. Suppose -2*u - h - 2*h + 3 = 0, 2*u + m = 5*h. Let f(n) = n**3 + 6*n**2 - 5*n + 2. Is 16 a factor of f(u)?
True
Suppose -14*j = -12*j - 60. Let s = 44 - j. Does 7 divide s?
True
Let x(z) = z**3 + 8*z**2 + 2*z + 4. Is x(-6) a multiple of 16?
True
Let f be ((-220)/14)/(2/(-14)). Suppose -4*u - 5*b = -12, -14 = -4*u + 5*b - 2. Suppose -a = u*q - f, -36 = -2*q - a + 37. Does 16 divide q?
False
Let d = 15 - -10. Is 5 a factor of d?
True
Is 9 a factor of (-7)/14 - (-55)/2?
True
Let q = 10 + -16. Let d = q + 16. Let x = d - 2. Does 4 divide x?
True
Let n = 4 - 4. Suppose -3*w = -c - 42, n*c = 3*c. Is 5 a factor of w?
False
Let j(l) = 2*l - 15. Is j(20) a multiple of 5?
True
Let z be (-6)/(-6) + 0 + 0. Suppose 5*j = q + 28, z = -3*j + 5*j + 3*q. Suppose 69 = j*y - 2*y. Does 11 divide y?
False
Suppose 2*v = 4*v - 64. Is v a multiple of 16?
True
Is 8 a factor of 6/((-1)/((-8)/3))?
True
Let u be 88/(-10)*15/2. Let n be (3/4)/(2/(-56)). Let h = n - u. Is 21 a factor of h?
False
Let g(v) = v**2 + 3*v - 10. Is g(-10) a multiple of 13?
False
Let w(k) = 13*k - 18. Is w(6) a multiple of 15?
True
Let n(d) = -d**3 + 8*d**2 + 10*d - 2. Does 13 divide n(7)?
True
Let s(r) = -10*r - 2. Let d(a) = a. Let v(t) = 3*d(t) + s(t). Does 4 divide v(-2)?
True
Suppose s - 156 = -4*h, 5*h - 204 - 2 = -4*s. Is 19 a factor of h?
True
Let k be 1 - (-2 + 12/(-1)). Let m be 9/((-27)/(-6)) + 1. Let y = m + k. Is 6 a factor of y?
True
Let x be (2/4)/(2/296). Suppose -4*y = y - 540. Let s = y - x. Is s a multiple of 17?
True
Suppose 0 = -3*m + 527 - 86. Is 38 a factor of m?
False
Let q = 2 - 7. Let s = q + 3. Is 10 a factor of 6 - 0 - s - -2?
True
Suppose -4*n = -4*r + 8, r - 2*n - 4 = -3*n. Suppose -17 = -3*j - 4*g, j + 1 = -0*g - r*g. Suppose -10 = -3*u + j. Is u a multiple of 7?
True
Let a be 341/(-55) + (-1)/(-5). Is ((-2 - a) + -3)*27 a multiple of 20?
False
Suppose 0 = -2*t + t. Suppose t*d = -d + 6. Suppose -5*s - 36 = -d*s. Is 18 a factor of s?
True
Let f(d) = -6*d**2 + 44*d + 2. Is f(7) a multiple of 4?
True
Let i = 1069 - 728. Does 32 divide i?
False
Let g = 24 + 232. Is g a multiple of 37?
False
Let t = 172 - 106. Is t a multiple of 6?
True
Let o = 344 - -23. Is 21 a factor of o/5 + 8/(-20)?
False
Let k be ((-154)/(-35))/((-1)/5). Let a = k + 36. Does 8 divide a?
False
Does 7 divide (14/8)/((-14)/(-448))?
True
Suppose -2*u + h = 2*u - 458, 