ivide w?
True
Suppose 4818 = a - 3*a. Does 13 divide 2/17 - a/187?
True
Let q = 3 + -4. Let s be q/(-2)*4 + 4. Suppose -3*p + 5*p - s = 0. Does 3 divide p?
True
Let v be 1/(4*(-4)/(-1776)). Suppose 5*z - 2*t = t + v, -4*t - 8 = 0. Does 6 divide z?
False
Suppose -26 = -5*n + 14. Let l = 52 - n. Is 18 a factor of l?
False
Let t(c) = 8*c - 1. Let d be t(1). Suppose -17 = 4*a - 3*o, -o + 4*o = a - d. Is 5 a factor of (-2)/8 - 154/a?
False
Let t be (-1)/(-6) - (-1196)/24. Let r = t + -28. Is 11 a factor of r?
True
Let m(i) be the third derivative of -i**4/3 + i**3/3 - 2*i**2. Let o be m(-2). Suppose -o = -3*n + 15. Is n a multiple of 4?
False
Suppose -6*l + 5 = -l. Let h be 1/(-3*l/(-15)). Is 9 a factor of (18/h)/(3/15)?
True
Suppose 4*t - 160 = 2*t. Does 17 divide t?
False
Suppose -r - 2 = -3*r. Suppose 0*d - 2*g = 4*d - 26, 2*g + r = -d. Is 3 a factor of d?
True
Let d = 91 - 53. Does 19 divide d?
True
Suppose 4*w = -2*z + 26, 4*z - 2 = -3*w + 5*w. Suppose -g + 136 = z*g. Is g a multiple of 17?
True
Let m(a) = 3*a**2 + 4*a + 1. Does 4 divide m(-3)?
True
Suppose -3*z + 3*r = -87, z - 4*r - 31 = -r. Is 12 a factor of (-313)/(-7) + 8/z?
False
Suppose 0*c + 66 = 2*c. Is 11 a factor of c?
True
Let n(b) = b. Let z be n(4). Suppose 33 = -5*s - z*w + 122, -4*s - 2*w = -76. Is s a multiple of 7?
True
Let z(a) be the third derivative of 17*a**4/24 + a**3/6 + 4*a**2. Does 6 divide z(1)?
True
Let b = 7 - 8. Let q be (b/1 - -1)*1. Is 11 a factor of (0 + -34)/(-2) - q?
False
Suppose 0 = -6*u + 76 + 740. Is 34 a factor of u?
True
Suppose 0 = -0*r - 2*r. Let g = r - -3. Suppose 8*t - g*t = 115. Does 18 divide t?
False
Suppose -3*s - s = -16. Suppose 317 = 5*z + r, 5*z = -r - s*r + 325. Is 30 a factor of z?
False
Suppose -2*m - m = -27. Let b be ((-1)/3)/(2/(-366)). Suppose 2*s - b + m = 0. Is s a multiple of 10?
False
Suppose x + s = 6, 3*x - s - 19 = -5*s. Is 5 a factor of x?
True
Suppose 9 = y + 6. Let r(v) = 36*v. Is 36 a factor of r(y)?
True
Suppose 2*r + r = 0, -3*q + 156 = -3*r. Suppose -2*n + q = 5*z - 62, -2*n - z + 106 = 0. Is n a multiple of 26?
True
Let c be 4/14 + (-26)/(-7). Let a be (-1)/c + 1148/(-16). Let m = a - -102. Is 15 a factor of m?
True
Let l be 5 - (-6)/(-3*1). Let i be (3/(-2))/(l/(-18)). Is 3 a factor of (-1)/(-3) + 33/i?
False
Let c(n) = -6*n - 2. Let l be c(-3). Let r = -2 + l. Is 12 a factor of r?
False
Let t = 13 - -2. Is t a multiple of 5?
True
Suppose -3*b + 17 = 5. Suppose 4*u + 2*i - 17 = 55, b = i. Is 4 a factor of u?
True
Suppose 6 = -3*c, 2*n - c - 66 = -2*n. Suppose -b + 5 = 3*l - n, 3*b + 3 = 2*l. Does 4 divide l?
False
Let g(v) = 3*v**2 + 5*v - 3. Let n(x) = x - 2. Let p be n(5). Is 16 a factor of g(p)?
False
Suppose 2*m = -3*m + 15. Suppose 0*w + 254 = 4*s - 2*w, 0 = m*w - 9. Is 20 a factor of s?
False
Suppose 0 = -2*f + 5*d + 93, f - 3*d - 69 = -5*d. Is f a multiple of 16?
False
Let t(i) = -6*i + 2*i**2 + i - i**2 - i + 6. Is 12 a factor of t(10)?
False
Suppose -25 - 3 = -4*g. Let z = g - -40. Is 19 a factor of z?
False
Let i(z) = -10*z + 2. Does 10 divide i(-2)?
False
Let w(t) = -t - 5. Let x be w(-3). Let n be -30*3*x/9. Does 5 divide (-1)/4 - (-105)/n?
True
Suppose 2*w = 4*l + w - 2, 2*l + 6 = -3*w. Suppose 2*v = -4*m + 8, 3*m + 0 = v + 1. Suppose l = y - v*y + 9. Does 4 divide y?
False
Suppose 16 + 16 = 2*y. Does 8 divide y?
True
Suppose -l + 3*l - 6 = 0. Suppose l*p = -3*c + 39, 2*p - 15 - 13 = -4*c. Does 6 divide p?
True
Let g be 4/3*(1 + -7). Let l = 16 - g. Suppose w - 2 = l. Is 12 a factor of w?
False
Let n = 1 + 27. Does 14 divide n?
True
Suppose -3 = -j + 4*g + 16, 0 = 4*j + 4*g + 4. Suppose j*d = 21 - 9. Suppose 3*o = -3*x + 15, o - 6*x + d*x = 8. Does 6 divide o?
True
Suppose 3*l - 3*t + 4*t = 5, -3*l = -3*t + 3. Let h(r) = r**2 + 1. Let j be h(l). Suppose -j*p - 66 = -5*p. Is p a multiple of 8?
False
Let n be (2/(-4))/(7/70). Is 13 a factor of 6/(-15) + (-67)/n?
True
Let z(q) = 4*q**3 + 2*q**2 - 1. Let c be z(1). Suppose c*d = d - 116. Let s = -13 - d. Is 16 a factor of s?
True
Let o(q) = -3*q - 5. Suppose c - 2*y = -3*c - 48, 0 = -4*c - 2*y - 40. Let b = -17 - c. Is 13 a factor of o(b)?
True
Let h be 670/12 - 1/(-6). Let u = h - 29. Does 7 divide u?
False
Let d = 82 - 52. Does 10 divide d?
True
Let s = -9 + 6. Let d = s - -21. Is 14 a factor of 508/d + (-8)/36?
True
Is (-8 - -11)*-2*57/(-18) a multiple of 3?
False
Suppose 2*c + 2 = 5*l, 3*l = 4*c + 2*l + 4. Let b be (-1 - -1)*1/c. Suppose b = -3*m + r + 38 + 21, m - 23 = -3*r. Is m a multiple of 16?
False
Let z be 21*((-10)/6 + 2). Let u = 6 - z. Does 8 divide (-34)/(-2) - (u + 2)?
True
Let q(n) = -n**3 + 9*n**2 - 3*n - 8. Is q(8) a multiple of 7?
False
Let g(b) = 3*b**2 - 57*b - 22. Is g(21) a multiple of 52?
True
Let g(k) = 12*k**2 + 2*k + 1. Suppose 2*u + 2*c = -14, 2*c - c = 5*u + 5. Let l be g(u). Suppose -3*h = -3*w - 66 + 3, l = 2*h - w. Is h a multiple of 12?
True
Let n be 26/7 - (-4)/14. Suppose s - 70 = -n*i + 2*s, -2*i + 5*s + 44 = 0. Is i a multiple of 5?
False
Let j be (10/3)/(10/(-15)). Let i(b) = -4*b + 4. Does 18 divide i(j)?
False
Let f be 5 - (1 + 1 - 0). Let p(j) = -7*j - f + 2*j - 4*j. Does 21 divide p(-5)?
True
Let a(l) = l + 2. Is a(3) even?
False
Let i = 50 + -38. Is i a multiple of 12?
True
Suppose -o + l - 4 + 39 = 0, 4*l + 176 = 5*o. Is o a multiple of 9?
True
Suppose 3*c = -18 - 24. Suppose 5*j + 1 = 6. Is (c/4)/(j/(-6)) a multiple of 11?
False
Let s(z) = 89*z**3 + 2*z**2 - z. Let f be s(1). Suppose 4*w + w = f. Does 16 divide w?
False
Suppose 30 = -0*p + 5*p. Let g be (12/8)/(p/16). Is 30/g - 2/4 a multiple of 7?
True
Suppose -3*b - b = 520. Let s be -4*(b/(-8))/(-5). Suppose -2*g - 3 = -s, -2*x = 4*g - 72. Does 13 divide x?
True
Let s(x) = -4*x**3 + 2*x**2 + x. Let i be s(-1). Suppose 2*k + 2 = 0, -i = -3*c + 5*k + 12. Let b(l) = -l**3 + 5*l**2 - 3*l - 1. Is b(c) a multiple of 3?
True
Let p be (3 + 2)*108/15. Let g = -5 + p. Is g a multiple of 8?
False
Suppose 2*c = -5*p + 210 - 52, -4 = -c. Is 11 a factor of p?
False
Let g(y) = -y - 2. Suppose 0 = -3*q - b - 6, -3*b = 2*b. Let r be g(q). Suppose 3*w = -3*t - 4 + 1, r = t + 2*w + 6. Is t a multiple of 2?
True
Let g = 34 - -1. Is g a multiple of 14?
False
Suppose 0 = 4*q + 4*d + 152, 0*d + 85 = -2*q - 5*d. Does 11 divide 15/25*q/(-1)?
False
Let r = 0 - -7. Suppose 198 = 5*s - 4*b, 2*s + 201 = r*s - 3*b. Does 23 divide s?
False
Suppose -13 = -p + u - 2*u, 5*p - 4*u - 110 = 0. Suppose 5*j = -2*h + 11, 4*j - p = -5*h + j. Does 3 divide h?
True
Does 16 divide ((-256)/(-20))/((-2)/(-5))?
True
Suppose -17 = -2*d + 13. Let i = 26 - d. Does 9 divide i?
False
Suppose -4*w - 4 = -3*f + 2*f, 5*w + f = 4. Suppose w = -0*s + s - 24. Is 7 a factor of s?
False
Let q(v) = -2*v**2 - 3*v + 3. Let m be q(-3). Let s(k) be the second derivative of -k**3/2 - k**2/2 + 2*k. Is s(m) a multiple of 8?
False
Suppose 2*c - 4 = -0*c - 2*j, -j + 10 = 3*c. Suppose -c*p + 105 = -9*p. Let i = 37 + p. Is i a multiple of 16?
True
Suppose -5*g + 3*g = 5*c - 19, 2*c - 8 = -g. Is 17 a factor of 49 - (2 + (-10)/g)?
False
Is 8 a factor of (-10)/25*(-40)/1?
True
Let c = -6 - -23. Let l = c + -2. Is l a multiple of 5?
True
Let g = -14 - -8. Is g/10 - 532/(-20) a multiple of 13?
True
Let d = 11 + -8. Suppose -10 = -2*i - d*i. Suppose -i*v + 30 = -0*v. Does 11 divide v?
False
Let b = 15 + 0. Suppose 0 = -9*s + 4*s + b. Is s a multiple of 2?
False
Let l(d) be the third derivative of -d**6/15 + d**5/60 + d**2. Suppose 2 = 3*f - 5*f. Does 9 divide l(f)?
True
Let k = 159 + -105. Is 13 a factor of k?
False
Suppose -z = 3*z - 288. Suppose -144 = -4*w + k - 5*k, -2*k = -2*w + z. Suppose v + 2 = w. Is v a multiple of 17?
True
Let p(f) = -7*f**3 + 2*f - 1. Let m be p(1). Let q(r) = r**2 + 6*r + 9. Is q(m) a multiple of 7?
False
Suppose 5*w + 2*l - 7 = 3*l, -5*w + 5*l = 5. Suppose -33 = -w*r + 49. Is 19 a factor of r?
False
Suppose -5 = -5*q, -3*q - 194 = -3*z - 8*q. Is 13 a factor of z?
False
Let z(m) = m + 1. Let f be ((-4)/6)/(2/3). Let x = f + 4. Does 2 divide z(x)?
True
Let d(k) = k**3 + k**2 + k - 1. Let w = 0 - -1. Let g be d(w). Suppose -g*n + 120 = 22. Is 21 a factor of n?
False
Let w(j) = j**2 - j - 2. Let x be w(0). Let q = 2 + x. Does 9 divide -1 - (52/(-2) - q)?
False
Suppose -36 + 12 = -4*u. Does 6 divide u?
True
