2*l, -l + 4*l = -5*w + 668. Does 34 divide w?
True
Suppose 0 = 3*s - 6, -2*y + 4*s = -0*y - 58. Suppose -4*p + 73 = 3*q, -2*p - 6 = q - y. Let d = -11 + q. Does 4 divide d?
True
Let f(b) = b. Let n be f(0). Suppose -g + 5*g - 20 = n. Suppose 4*y = t - 21, 0*t - g*t - y + 42 = 0. Does 9 divide t?
True
Let z = 17 + -25. Is 18 a factor of (-142)/z - (-2)/8?
True
Suppose -o = 2*x - 6, -22 = -4*x + 2*x + 3*o. Suppose -2*i = x + 1, w + 5*i + 12 = 0. Suppose h + w*h = 24. Does 3 divide h?
True
Let y be (-1)/2 + 1/2. Suppose y = -2*f, f - 27 = 6*c - 3*c. Let v = -4 - c. Is v a multiple of 5?
True
Suppose 4*j - j = 135. Suppose -4*h + j + 59 = 0. Suppose 4*s - 70 = -h. Does 11 divide s?
True
Let u = -12 - -18. Does 2 divide u?
True
Let z(j) be the first derivative of -j**2 - 15*j - 2. Is 2 a factor of z(-10)?
False
Let i = 16 + 21. Is i a multiple of 37?
True
Suppose 2*v - 225 = -3*i, i - 460 = -4*v - 3*i. Let f = v - 66. Does 16 divide f?
False
Suppose -20*p = -18*p - 224. Is 14 a factor of p?
True
Let x(v) = 8 - 3 + 1 + 5*v. Is 20 a factor of x(6)?
False
Is (-9)/((-1)/2 + 28/77) a multiple of 4?
False
Suppose -4*w + 1400 + 204 = 4*m, -5*m - w = -2013. Does 31 divide m?
True
Suppose 0*z = -2*z - 30. Let j = -29 - z. Is 10 a factor of (-4)/14 - 144/j?
True
Suppose -3*y = -4*i + 3, -2*y + 40 = -5*i - 7*y. Let d(p) = p**2 - 1. Let j be d(2). Is (-45 + j)*i/6 a multiple of 7?
True
Suppose 3*i - 12 = -i. Does 2 divide i?
False
Does 36 divide 16/5*1430/44?
False
Let f(k) = 25*k - 7. Let n be f(2). Let z = 11 + n. Is z a multiple of 9?
True
Let r be 0 + 35/(-1*1). Suppose 3*u = 5*i + 201, 228 = 3*u + 3*i + i. Let n = r + u. Does 12 divide n?
False
Suppose 5*x - 460 = -5*w, 6*x - x - 3*w - 420 = 0. Does 11 divide x?
False
Suppose 0*s - 3*s = -12. Let c be 0 + (s + -3)*-1. Does 6 divide c + 1 - (-5 + -1)?
True
Suppose 7 = 2*d - 17. Is d a multiple of 4?
True
Suppose 2*w - 434 = -5*w. Is 6 a factor of w?
False
Suppose -8 = l - 3*l. Is 4 a factor of l?
True
Suppose 5*a - 80 = -3*a. Is a a multiple of 3?
False
Suppose -43 + 253 = 5*o. Does 13 divide o?
False
Let r(u) = u**3 + 10*u**2 - 11*u - 16. Let l be r(-11). Does 12 divide (l/24)/((-1)/54)?
True
Suppose 4*y + 32 = -4*m, -5*y + 2*m - 6*m - 39 = 0. Let l = y + 11. Is (-2)/8 - (-121)/l a multiple of 17?
False
Suppose -2*b = b - 57. Let g be b/(-2) - (-3)/2. Does 5 divide 105/12 + (-2)/g?
False
Suppose p + 4 = -5*z, -8 = z + 2*z + 2*p. Suppose 4*i = 2*g - 82, 5*g - 3*i - 179 + 2 = z. Is 11 a factor of g?
True
Let v(f) = f**2 + 7*f + 8. Let p be v(-6). Suppose -2*j + i = -2, -2*j - 4 + 2 = -2*i. Suppose j*h - 69 = -p*m - m, 119 = 5*h + 3*m. Is h a multiple of 10?
False
Let t = 2 - 16. Is (t + 2)*(-1)/2 a multiple of 3?
True
Suppose 3 = -2*m + 4*m - 5*f, 24 = -5*m + 2*f. Let g = m - -8. Is 2 a factor of g?
True
Let g = -55 + 38. Let f = -11 - g. Does 6 divide f?
True
Suppose i - 7 = 6. Suppose -h + 69 - i = 0. Does 12 divide h?
False
Let r = 68 + -47. Is r a multiple of 21?
True
Let b = -11 + 17. Suppose -208 - 14 = -b*g. Is g a multiple of 20?
False
Suppose -3*h + 8 + 16 = 0. Suppose -h + 3 = 5*l, -2*y + 8 = 4*l. Is 2 a factor of y?
True
Let x(y) be the first derivative of -15*y**2/2 - y - 1. Let q be x(-1). Let c = q + -6. Does 3 divide c?
False
Let b be 1 - 0*3/(-9). Let q(d) = 47*d + 1. Let f be q(b). Suppose 5*a - g = f, a - 3 = 2*g + 3. Is 5 a factor of a?
True
Does 20 divide ((-2)/2 - 44)*-1?
False
Suppose -s + 0 + 4 = 0. Suppose 4*x - 3*m = 81, m - 84 = -s*x + 5*m. Suppose a - x = -3. Is 15 a factor of a?
True
Suppose 5*r = r - 5*f + 241, 5*r - 255 = 3*f. Suppose 3*t - u + 40 = 0, 3*u = 4*t + u + r. Let y = 42 + t. Is y a multiple of 10?
False
Suppose 412 = 2*k - 2*j, -2*k - 2*k + 827 = -j. Does 26 divide k?
False
Let z(o) = o**3 + 6*o**2 - 10*o - 4. Let y be -1 + (6 - 3/3). Suppose -h + w - 7 = 0, y*h + 4 + 24 = w. Does 9 divide z(h)?
False
Let m(w) = 2*w - 11. Let p be m(7). Suppose p*v + 232 = 7*v. Is 12 a factor of v?
False
Let t be (-180)/(-8) + (-1)/2. Let q = -10 + 50. Let o = q - t. Is 9 a factor of o?
True
Let q(y) = -y**3 + 6*y**2 + 6*y. Is 5 a factor of q(5)?
True
Let j = 7 + -11. Let t(m) = -m**3 + m**2 + 3*m - 4. Is t(j) a multiple of 16?
True
Let k(a) = 4*a - 1. Let i be k(1). Suppose -158 + 26 = -i*h. Does 16 divide h?
False
Suppose 5*b + 14 + 6 = 0. Does 13 divide (-1)/((16/52)/b)?
True
Suppose -8*t = -2*t - 420. Is 21 a factor of t?
False
Is (44/(-20) - -3)*180 a multiple of 24?
True
Is 84/(5 - (3 - -1)) a multiple of 21?
True
Suppose 0 = -4*s - 8 + 16. Is 2 a factor of s?
True
Suppose 2*b - 2*o = 3 - 1, 0 = -3*b + 4*o + 2. Let h(f) = 7*f - 1. Does 12 divide h(b)?
False
Suppose k - 300 = -9*k. Is 6 a factor of k?
True
Let s(n) = -10*n**3 + n**2 - n - 1. Let x be s(-2). Let h = x - 58. Is h a multiple of 25?
False
Let f(k) = 2*k**2 - 9*k + 5. Let q(s) = s**3 - 8*s**2 + 7. Let w be q(8). Let j be f(w). Let g = 3 + j. Does 16 divide g?
False
Suppose 12*c - 2119 + 463 = 0. Is c a multiple of 15?
False
Let b(d) = -1 + d + d**3 - 6*d + 3*d. Let j be b(-1). Suppose 0 = 5*x - j*r + r - 204, -3*x + 2*r = -125. Does 15 divide x?
False
Let p be ((-9)/(-3))/((-2)/22). Let b = p - -53. Is b a multiple of 10?
True
Let f(n) = n**2 - 8*n + 8. Suppose -36 = -6*j + 2*j. Let k = j - -1. Is 14 a factor of f(k)?
True
Let z(x) be the second derivative of -1/20*x**5 + 0 - 2*x + 1/2*x**4 + 5/6*x**3 - 3*x**2. Is z(6) a multiple of 9?
False
Suppose -5*i + 4*i = -3. Let o(v) = v**2 - 3*v**2 - 3*v**3 - v + 2 + v**i + 0. Is 16 a factor of o(-3)?
False
Suppose 0 = -12*j - 128 + 404. Does 11 divide j?
False
Suppose -2*h - 5 = 65. Let y = 4 - h. Is 9 a factor of y?
False
Suppose 0 = -t - 4*t + 505. Let v = t - 58. Is v a multiple of 24?
False
Let w = 48 + -30. Does 6 divide w?
True
Let l be (-3)/(-2)*(5 - 9). Is (-194)/(-18) + l/(-27) a multiple of 11?
True
Suppose 2*r - 3*i - 20 = 0, -5*r + i - 6*i + 75 = 0. Is r a multiple of 4?
False
Let a be (6 + -5)*(78 - -1). Suppose 1 + a = 4*q. Does 20 divide q?
True
Let u(m) = -m**3 - 6*m**2 - 8*m - 6. Is u(-5) a multiple of 3?
True
Let p be -14*((-15)/6 + 2). Let r(a) = a**3 - 8*a**2 + 8*a + 1. Is r(p) a multiple of 5?
False
Let a = -72 + 102. Does 3 divide a?
True
Let z = -8 + 2. Let b(m) be the first derivative of m**4/4 + 7*m**3/3 + 3*m**2/2 + 8*m + 1. Does 13 divide b(z)?
True
Suppose -a + 5*j + 104 = 0, 2*j + 117 = -4*a + 577. Let i = -39 + a. Does 24 divide i?
False
Suppose 0 = -2*w + w - 5. Is 45 - (-5)/(w/(-3)) a multiple of 18?
False
Let s be 10/3*(-9)/(-6). Let a be (-1)/(-3) - (-10)/(-30). Suppose a*l + 155 = s*l. Does 8 divide l?
False
Let l = 28 + -4. Is l a multiple of 8?
True
Let f = -62 - -88. Is f a multiple of 13?
True
Suppose -l + 6 = 5, -o = -2*l - 147. Suppose 3*a - o = x, 2*a = a + x + 51. Suppose s = -4 + 5, 0 = -2*b - s + a. Does 8 divide b?
True
Let z(p) = -p**3 + p**2 - 1. Let x(r) = -3*r**3 + 3*r**2 + 3*r - 4. Let m(k) = -x(k) + 2*z(k). Is 10 a factor of m(3)?
False
Let j = 36 - 21. Does 5 divide j?
True
Suppose 2*x - 5*x = 90. Does 10 divide (4/(-4))/(2/x)?
False
Let k be 0 + 3 + 11 + 2. Suppose -4*i + k = -152. Does 21 divide i?
True
Let f(m) = -8*m**3. Let s be f(1). Let x be ((-130)/(-15))/((-2)/(-6)). Let o = x + s. Is o a multiple of 11?
False
Let d(v) = v**2 + v + 3. Let u be d(-9). Let l = 123 - u. Is 12 a factor of l?
True
Let o = -92 + 362. Is o a multiple of 45?
True
Suppose 279 = 4*c - x, -3*x = c - 132 + 46. Is c a multiple of 17?
False
Let v = -13 + 22. Suppose 4*i = v*i - 60. Is 3 a factor of i?
True
Let v = 99 - 64. Does 35 divide v?
True
Suppose 247 = 3*h - 221. Is h a multiple of 15?
False
Suppose 0 = d - 2 + 7. Let z be 0/d - (-66)/(-2). Let g = -19 - z. Does 7 divide g?
True
Let w = -28 + 40. Does 3 divide w?
True
Suppose -4*i = 4*g - g - 37, 2*g + 23 = i. Suppose 113 = 5*b + i. Is b a multiple of 5?
True
Let a(q) = q**3 - 4*q**2 - 1. Let s be a(4). Let t be 0 + 2 + s + 0. Is 2 a factor of -1 + t - (-2 - 3)?
False
Let y be (24/1)/((-15)/710). Is 24 a factor of ((-2)/4)/(8/y)?
False
Suppose 4*d - 4*k = 0, -3*d + 0*d = k. Let w = 5 - d. Is 4 a factor of w?
False
Suppose -5*o = -10*o - 2*d + 134, -13 = -o - 5*d. Is o a multiple of 14?
True
Let z = -9 + 21. Does 11 divide z?
False
Let k = 65 - 42. Does 23 divide k?
True
Suppose 5*