 w. Let r = 14 + w. Is 5 a factor of r?
True
Suppose 0 = 4*g - 16 - 8. Suppose 0 = -g*z + 5*z + 39. Does 7 divide z?
False
Let b(t) = -105*t - 8. Let p be b(-2). Suppose 2*i - 1 - 7 = 0. Suppose 5*y - 257 = 2*w, 4*y - 2*w - p = -i*w. Does 17 divide y?
True
Let k = -27 + 31. Suppose -31 = -3*v + 5*d, k*v + d - 26 = -0*d. Does 7 divide v?
True
Let m(w) = w**2 + 9*w - 8. Let f be m(-10). Let u(t) = 0 - 5 - f - 2 - t**2 + 8*t. Is 2 a factor of u(5)?
True
Let d = -312 - -398. Is d a multiple of 3?
False
Suppose -r - 5*n + 23 = 0, r - 5*r - n + 35 = 0. Suppose -r*i = 316 - 2084. Is 13 a factor of i?
True
Let d(w) = 2*w**3 - 14*w**2 + 6*w + 9. Let u be d(9). Suppose -4*v - 4*y + u = 23, 4*v - 5*y - 364 = 0. Does 43 divide v?
False
Suppose -2*o - 3*o = -205. Let q = o + -34. Is q a multiple of 7?
True
Suppose 0 = -43*q - 40*q + 97027. Does 25 divide q?
False
Let m = -3 + 13. Suppose m*z - 1193 + 353 = 0. Is 28 a factor of z?
True
Let b = 559 - 208. Is 9 a factor of b?
True
Let x be ((-15)/4)/((-3)/(-8)). Suppose -3*j = 2*p - 69, -p - j + 22 = -2*j. Let w = p + x. Is 12 a factor of w?
False
Does 15 divide (5014/(-92))/((-2)/8)?
False
Does 65 divide (-10)/(-4)*(-14532)/(-105)?
False
Let z(v) = v**3 - 10*v**2 + v - 7. Let n be z(10). Suppose -n*f + 33 = -3. Is f a multiple of 3?
True
Let c = -356 + 248. Is 36 a factor of (c/5)/((-12)/80)?
True
Let s(y) be the second derivative of -y**3/3 - y**2/2 - 2*y. Suppose -14*b + 17*b = -27. Is 9 a factor of s(b)?
False
Let j(w) = 1594*w + 896. Is 139 a factor of j(3)?
False
Let u = -11 - -13. Suppose u*g = -g + 264. Is 44 a factor of g?
True
Let o be (4/(-28))/((-2)/7)*-6. Let h(v) = -v**3 + 3*v**2 - 4*v + 7. Let z(p) = -p**3 + 4*p**2 - 4*p + 8. Let m(q) = 6*h(q) - 5*z(q). Is 5 a factor of m(o)?
False
Suppose b - 30 = 4*q, 3*b + 4*q - 3 - 7 = 0. Let n = b + -16. Let y(s) = -3*s - 8. Is 9 a factor of y(n)?
False
Suppose -5*r + 142 = 4*m, -3*m - 43 = -4*r + 2*r. Does 7 divide r?
False
Let z be 1 - -1*(-10 - -1)/(-3). Does 9 divide (-502)/(-8) + (z - 1)/12?
True
Suppose -2*t + 80*o = 76*o - 116, -2*o - 182 = -3*t. Is 62 a factor of t?
True
Let n(u) be the second derivative of 0 + 1/3*u**3 - 4*u + u**2. Does 12 divide n(5)?
True
Suppose f + 0*f + 1 = -2*o, -7 = f + 4*o. Suppose -f*d = 2*b - 88, -3*d = -2*d - 5*b - 23. Is 3 a factor of d?
True
Let o = -1581 - -2797. Does 85 divide o?
False
Let i(l) = 22*l**2 + 6*l - 13. Is i(5) a multiple of 27?
True
Let n = -59 + 66. Suppose 0 = -n*b + 43 + 209. Is 16 a factor of b?
False
Let q(c) = 71 - 81 - 57 - 11*c. Does 16 divide q(-9)?
True
Suppose b + 4*b = -25, -4*o + b - 611 = 0. Let s = -91 - o. Suppose -2*c + s = c. Is 7 a factor of c?
True
Let u = -137 - -240. Is 39 a factor of u?
False
Suppose -41*m = -42*m - 5*u + 91, -5*u = -5*m + 305. Is m a multiple of 66?
True
Let z = 9 + -6. Let n be -31*(z + -1)/(-1). Suppose n - 26 = x. Does 11 divide x?
False
Let y(b) = b**3 + 15*b**2 + 50*b - 8. Let q be y(-7). Suppose 3*r + 3*a = 8*r + 77, r = -a - 9. Let n = q + r. Is 7 a factor of n?
True
Let f = 684 + -40. Does 12 divide f?
False
Let w be 17/5 - 12/30. Let q(g) = -5*g**w + 4*g**3 + 9*g**2 - 4*g + 7 - 10 - 5*g. Does 8 divide q(7)?
True
Does 10 divide (1/2)/(((-63)/1926)/(-7))?
False
Suppose 5*l - 849 - 421 = 0. Is 8 a factor of l?
False
Suppose -5*d - u - u + 867 = 0, -3*u + 863 = 5*d. Does 35 divide d?
True
Suppose 0 = -13*n + 15*n + 2. Does 4 divide 1/((-2)/(-14)) + 4 + n?
False
Let h(o) = -128*o + 82. Is h(-4) a multiple of 11?
True
Suppose 2*z + z - 3 = 0. Let u be -1*(-1 - (z - -1)). Suppose u = -5*g + 233. Is g a multiple of 18?
False
Let i be (-65)/(-39) - 2/(-6). Suppose 2*t = a - 32, 2*a = -i*a + 2*t + 104. Does 6 divide a?
True
Is 7 a factor of 305 + (138/(-115))/(4/10)?
False
Let l be (-6)/4 - 2/4. Let b(g) = -9*g**3 - 2*g**2 + 1. Let z be b(l). Suppose z = 3*r + 2*r. Is r a multiple of 3?
False
Suppose 5*g = 3*v - 105 + 676, 3*g + 2*v = 335. Let t = g - 71. Does 6 divide t?
True
Let f = 11 + 7. Suppose -5*s + 1632 = -3708. Does 19 divide s/f - 2/6?
False
Suppose 0 = -5*w - 3*i - i + 492, 2*w - 5*i = 177. Suppose 64 + 71 = 5*g - 2*n, 4*g - w = 4*n. Is g a multiple of 15?
False
Is 18 a factor of (-484 + -2)*(-8)/12?
True
Let s(d) = -d**3 + 2*d + 2. Let y be s(-2). Let l be 11/1 - 2 - 0. Is 13 a factor of 119/l + y/(-27)?
True
Let q = 15 + -12. Let k(t) = t**2 + t - 3. Let o be k(q). Is 11 a factor of 7/((-21)/o) + 25?
True
Let o(r) be the second derivative of -r**5/20 + 2*r**4/3 - r**3/2 - 4*r**2 - 8*r. Let j be o(4). Suppose x + x = j. Does 15 divide x?
False
Let y(m) = 18*m**2 + 6*m + 4. Does 4 divide y(-2)?
True
Suppose 2*m + 5*k - 210 = -m, -4*m - 4*k = -280. Does 19 divide 3970/m + -1 + 9/7?
True
Suppose 3*i = 5*s + 18, s = -0*i + 4*i - 24. Suppose -2*p - 3 = -4*t + 3, 3*t + 3*p + 18 = 0. Let w = i + t. Is w a multiple of 5?
True
Let a(k) = -1075*k - 8. Is a(-2) a multiple of 21?
True
Let a = 14 + 25. Suppose m - a = 4*m. Let s = 27 + m. Is s a multiple of 7?
True
Suppose 0 = 5*v + 3*z + 2, 2*v - 4*v - 4*z = 12. Suppose 14 = v*i - 0*i. Let o = i - -16. Is o a multiple of 7?
False
Let k(i) = -i**2 + 5*i. Let p be k(2). Is 26 a factor of 81 + p*(12/4)/6?
False
Suppose -19*a - 1764 = -26*a. Is 21 a factor of a?
True
Let o = 2705 - 1485. Does 44 divide o?
False
Let s be 442/119 + 2/7. Let i be (0 - 0)*(s - 3). Suppose i = -5*o - 2*h + 154, -2*o - 3*h = h - 68. Is 15 a factor of o?
True
Suppose 20 = 2*c + 3*c. Let h = -204 + 214. Let n = h - c. Is 2 a factor of n?
True
Let w(r) = 107*r - 11. Is 31 a factor of w(3)?
True
Suppose 4*d + 21 = 13. Let v(w) = -23*w**3 + 3*w**2 + 2*w + 3. Is v(d) a multiple of 13?
True
Is 18 a factor of 60432/168 + -3*(-6)/63?
True
Let j = 362 + 119. Is 22 a factor of j?
False
Let n = -8 + 13. Suppose -5*g = 15 + n. Let r = g + 18. Does 7 divide r?
True
Let p = -7 + 1. Is 12 a factor of 4/6 + (-1)/p*1436?
True
Let o(l) = -l + 24. Let c be o(20). Suppose c*m + 1173 = -6*r + r, -3*m = 2*r + 885. Is (-2)/8 + m/(-4) a multiple of 23?
False
Let v = 213 - 134. Suppose 5*z = -q + v, 3*q - 271 = -0*q + 2*z. Is q a multiple of 44?
False
Let g be (-24)/40 - 28/(-5). Suppose 0 = g*n - 2*n + 3*w - 87, 5*n - 143 = -3*w. Does 14 divide n?
True
Let l = -2 - -4. Suppose 91 = -l*o + 5*t, -o = -2*t - t + 47. Let x = o - -58. Is 5 a factor of x?
True
Does 10 divide (570 - -3)*-2*767/(-177)?
False
Suppose -a = -7*a + 13860. Is a a multiple of 42?
True
Let y(g) = -g**3 + 15*g**2 - 3*g + 21. Does 15 divide y(10)?
False
Let w(x) = -x**2 - 7*x - 4. Let n be w(-5). Suppose -n = -3*q - 3*v + 3, -3*v - 27 = -3*q. Is q a multiple of 3?
True
Let i be -3 + 3*(-21)/(-9). Let m be (-15)/6*i/(-5). Suppose 0 = m*n - 5*j - 16 - 8, 0 = -n + 5*j + 22. Is n even?
True
Is (385/44)/(2/(648/1)) a multiple of 45?
True
Let b(s) = 8*s + 48. Let g(l) = -3*l - 16. Let m(v) = 5*b(v) + 14*g(v). Is 6 a factor of m(5)?
True
Let l(k) = -37*k**3 + 4*k**2 + k + 8. Is 11 a factor of l(-3)?
False
Let n(u) = 2*u**3 + 34*u**2 - 16*u + 15. Does 10 divide n(7)?
False
Is 14 a factor of (53 - 139)/((4/11)/(-2))?
False
Suppose 2*f - 8 - 11 = -5*v, -3*f - v + 48 = 0. Suppose 25*y = f*y + 464. Does 10 divide y?
False
Let f(t) = 6*t**3 - 7*t**2 + 4*t + 4. Is f(3) a multiple of 71?
False
Does 67 divide (-3 - 13)/((-52)/4654)?
False
Let w(r) = -r**3 + r**2 + r + 25. Let g be w(0). Let n = g - 15. Is 6 a factor of n?
False
Let y(x) = 14*x + 67. Let v(i) = -12*i - 68. Let t(j) = -6*v(j) - 7*y(j). Is 47 a factor of t(-15)?
True
Suppose 8*b = 11 - 3. Suppose -5*o + 56 = -2*y, -5*o + 0*y + 4*y + 62 = 0. Let l = b + o. Is l a multiple of 11?
True
Is 5 a factor of 1393/28 + -5 - 2/(-8)?
True
Suppose -8 = 2*d - 18. Suppose 4*k + 6 = -3*x + 1, 5*x = -d*k - 5. Let m(c) = 69*c**2 - c. Is m(x) a multiple of 24?
False
Let s = -2102 + 2537. Does 145 divide s?
True
Let i(y) = 9*y**2 + 10*y + 1. Let o(k) = 1. Let f(a) = i(a) - o(a). Is f(-3) a multiple of 6?
False
Let z(h) = -h**2 + 5*h + 59. Let r be z(11). Let x(d) = -d**2 - d**3 + 0*d**3 - 5*d**2 + 8*d + 10. Is x(r) even?
False
Suppose n + 5*h + 10 = 0, -4*n - 6 - 53 = h. Let o be (6/n)/((-4)/80). Suppose -o*v = -10*v + 52. Is v a multiple of 18?
False
Suppose 3*q - 7*q = -k + 210, 5*k = 5*q + 1125. Does 10 divide k?
True
Suppose 16*g - 16831 = 2769. Is 25 a fact