- 5*w - 3, 0*w + 4*w + 12 = 4*f. Suppose 4*o - 4 = -6*g + f*g, 0 = g - 5*o + 24. Let v = 3 - g. Does 7 divide v?
True
Let k = 26 - 57. Let o be 129*((-7)/(-3) - 2). Let y = k + o. Does 6 divide y?
True
Suppose z - 2144 = -3*z. Suppose -3*j = 5*x - z, -4*x + j + j = -442. Suppose 3*r - 167 = -2*r + q, 3*r - 5*q = x. Does 11 divide r?
True
Let t be (-62)/(-2) + (2 - 2). Let g = 49 - t. Does 8 divide g?
False
Suppose -12*c - 18 = -14*c. Let h(y) = y**2 - 8*y - 6. Does 2 divide h(c)?
False
Let b be 1 - 0 - -22 - 2. Suppose -q = -2*x - 4, -2 = -q - 0*x + 3*x. Let m = b + q. Is 16 a factor of m?
False
Let y be 3/9 + (-448)/12. Let p = -5 - y. Is p a multiple of 9?
False
Let s(c) = -c**3 - c**2 + c. Let h(d) = 6*d**3 - 4*d**2 + 10. Let t(f) = -h(f) - 5*s(f). Let n be t(7). Suppose -2*a + 25 = -n. Does 10 divide a?
False
Let j = 85 + -13. Is (j/27)/((-2)/(-6)) a multiple of 7?
False
Suppose -6 = -3*r + 9. Suppose -13 = -r*y + 142. Does 11 divide y?
False
Is (4/(-14) - (-460)/(-7))/(-2) a multiple of 7?
False
Let k = -4 - -4. Suppose 3*b - 2 - 10 = k. Suppose -4*o - 2 - 14 = -2*l, 0 = -b*o + 12. Is 7 a factor of l?
True
Let u(c) = c**3 + 3*c**2 + 4*c + 3. Let z be u(-3). Does 3 divide (4 + -1)*(-15)/z?
False
Does 6 divide 4/10 - 1776/(-60)?
True
Let i(p) = p**3 + 2*p**2 + 3*p + 3. Let n be i(-2). Is n - 4/(-1) - -26 a multiple of 27?
True
Let z(d) = 6*d**2 + 9*d + 4. Let b(u) = 5*u**2 + 8*u + 4. Let n(t) = -7*b(t) + 6*z(t). Is n(-4) a multiple of 20?
True
Let r(n) = -n**2 + 7*n + 8. Is 4 a factor of r(7)?
True
Let m(z) = z + 33. Is m(-7) a multiple of 10?
False
Suppose 4 = 2*u - 24. Let t = u - 11. Is t a multiple of 2?
False
Let v(t) = -t**3 + 5. Let x be v(0). Suppose p + x = 2*p. Suppose -3*n = -28 - p. Is 7 a factor of n?
False
Let h(k) = -9*k + 4 - k**3 + 8*k - 6 - 6*k**2. Suppose 10 = -5*s + 5*b, -5*s - b = 37 - 3. Is h(s) even?
True
Suppose 0 = 5*o - 483 + 138. Does 23 divide o?
True
Let u be 2*1/(-1) - -7. Suppose -59 = -u*t + 71. Does 11 divide t?
False
Let w(g) = -5*g + 35. Let n(f) = 1. Let t(y) = 25*n(y) - w(y). Let r be t(8). Is (r/(-25))/((-6)/20) a multiple of 2?
True
Suppose -30 = -9*k + 132. Is 9 a factor of k?
True
Let r(a) = -5 - a - a**3 + 5*a**2 + 1 - 2 + 3*a. Is 8 a factor of r(4)?
False
Let h = 28 - -151. Is 7 a factor of h?
False
Let i(w) = 4*w**3 - 2*w**2 - 2*w - 6. Is i(3) a multiple of 19?
False
Let v(r) = r**3 + 5*r**2 + r - 1. Let k be v(-5). Let q = -10 - k. Let s(b) = -2*b - 4. Is s(q) even?
True
Let j(b) = -b**2 - b - 1. Suppose g - 3 = -0*g. Let y(u) = -4*u**2 - 2*u - 2. Let t(h) = g*j(h) - y(h). Does 19 divide t(-4)?
True
Let f(q) = q**3 - 5*q**2 + 6*q - 5. Let i be f(4). Suppose -4*z + 8 = 4*u, 17 = -2*u + 3*z + 2*z. Is u/(-3) + 5/i a multiple of 2?
True
Let o = 3 + -8. Let u = -5 - o. Suppose 4*f + j = -0*f + 66, u = 4*f - 5*j - 78. Does 6 divide f?
False
Let w(j) = j**3 + 9*j**2 - 2. Let a be w(-9). Is 9/(a/((-4)/3)) a multiple of 3?
True
Let d(n) = -5*n + 35. Let c be d(5). Let j = 9 - 6. Suppose j*x - c = 77. Does 9 divide x?
False
Let w be (9/(-6) - -1)*62. Let k = -19 - w. Suppose -k = -l - 0*l. Does 4 divide l?
True
Let f(v) = -v**3 - 2*v**2 + v + 2. Let z be f(-1). Let y(m) = m + 2. Let s be y(3). Let q = s - z. Is q a multiple of 3?
False
Is (-1 - -9)*(-9 - -11) a multiple of 10?
False
Let j be ((-5)/((-5)/21))/(-1). Let q be 4/(-14) - 90/j. Is 22*q*3/6 a multiple of 17?
False
Let w(a) = -a**3 + 10*a**2 - 8*a + 8. Let r(m) be the first derivative of m**3/3 + m**2/2 + 3*m + 1. Let b be r(-3). Does 10 divide w(b)?
False
Let v = -2 - -101. Is v a multiple of 9?
True
Let b = -27 - 5. Let i = b + 11. Let x = i + 34. Is x a multiple of 13?
True
Let l be -3 + (-7)/14*(-2 + -174). Suppose -5*p + 12 = -6*p - 3*r, -r = 2*p - 1. Suppose -l = -8*n + p*n. Does 17 divide n?
True
Suppose 98 = -3*f + 383. Is f a multiple of 65?
False
Let b = -28 + 70. Does 7 divide b?
True
Suppose 4 + 6 = u. Is 10 a factor of u?
True
Let t(c) = -c**3 + 6*c**2 - 7. Let j be t(5). Suppose -5*w - 3 = -j. Suppose -z - 3*i + 25 = 0, 0 = 2*z + w*z - 5*i - 145. Does 10 divide z?
False
Let g = 8 + -6. Suppose 5*n - 155 = r, -n = g*r - 6*r - 31. Suppose -2*j - n = -3*j. Does 12 divide j?
False
Suppose 0*k - 5*k = -40. Is 11 a factor of 5 - k - (-38 + 3)?
False
Let o be 4/(-12)*-9*1. Let v be (-100)/8 + o/2. Let a = v - -24. Is a a multiple of 9?
False
Suppose -4723 = -11*w - 1302. Does 24 divide w?
False
Suppose 1755 = 12*v - 3*v. Is 39 a factor of v?
True
Let v = 5 - 3. Suppose 3*d = 2*i, i - 2*d = -0 - v. Does 7 divide ((-3)/i)/((-1)/14)?
True
Is 9 a factor of (-2 - (-24)/10)/((-2)/(-110))?
False
Let h be 7/((-14)/4)*-5. Let n = -3 + h. Does 5 divide n?
False
Let i(h) = -h + 3 + 16 + 2*h - 1. Does 8 divide i(-10)?
True
Let a = -25 + 40. Is a a multiple of 3?
True
Suppose 0 = -2*d + 5*j + 92, -3*j + 8*j - 188 = -3*d. Is d a multiple of 20?
False
Suppose -7*a = -3*a - 60. Does 15 divide a?
True
Let n(i) = i - 2. Let r be n(3). Let h(w) = 25*w - 1. Is h(r) a multiple of 10?
False
Let u(x) = -x**2 + 17*x - 9. Is 9 a factor of u(9)?
True
Let j(h) = -h**2 + 8*h + 1. Let u be ((-6)/(-9) + 0)*9. Let s be 46/u + (-6)/9. Is j(s) a multiple of 4?
True
Let q(h) = -2*h**3 + 7*h**2 - 6*h. Let m be q(5). Let n = m - -258. Suppose -3*z - 4*d + 89 = 0, 5*z - n = -3*d + d. Does 11 divide z?
False
Let q(o) = -2*o + 2*o + 0*o - o. Let h be q(-3). Suppose 0 = -d + 4*b + 72, -h*d + 0*d - 5*b = -148. Does 15 divide d?
False
Suppose -5*q + 0*r = -2*r - 20, -5*q = r - 5. Suppose 6 = q*d - 16. Is d a multiple of 8?
False
Let q = 81 - 113. Suppose 4*y + 4 - 16 = -3*t, y - 16 = -4*t. Is 8 a factor of (29/t)/((-8)/q)?
False
Let f(d) = d**3 + 5*d**2 - 3*d + 5. Let i(w) = 2*w**3 - 3*w**2 + w - 2. Let p be i(2). Suppose 24 = -4*h + p. Does 10 divide f(h)?
True
Suppose 0 = -3*s - 4*p + 6*p + 112, 0 = s - p - 38. Is s a multiple of 18?
True
Let y(u) = 18 + 4*u - 4*u + 3 - u. Let v be y(0). Let w = v + -12. Does 6 divide w?
False
Does 6 divide 1 - (-4 + -5 + -2)?
True
Let y be 20*1 - (-2 - -3). Let o be y*(-2 + 3/1). Suppose 0 = -2*k + 7 + o. Does 13 divide k?
True
Let q = 1 - 16. Does 9 divide (q/(-2))/5*18?
True
Let k(w) = -w**3 + w + 121. Is 11 a factor of k(0)?
True
Suppose -m = -2*r - 12, 3*r + 2 = -4*m + r. Suppose 0*b = -m*b + 50. Is b a multiple of 25?
True
Let a(h) be the first derivative of h**4/6 - 2*h**3/3 + h**2 + h + 1. Let y(i) be the first derivative of a(i). Is y(2) even?
True
Suppose -5*g = -182 - 163. Is 6 a factor of g?
False
Suppose 0 = 4*q - 704 + 8. Let j = q - 121. Is 18 a factor of j?
False
Let f be ((-34)/(-4))/(11/(-22)). Suppose -2*z - 2 - 33 = -5*x, -2*x = z + 4. Let d = z - f. Does 7 divide d?
True
Suppose 0 = -5*w + 4*y + 3, -y = -4*y - 6. Does 6 divide 8 - (1/1 - w)?
True
Suppose 0*c + 465 = 5*c. Suppose -47 = -5*l + c. Does 14 divide l?
True
Let l(q) = 2*q**2 + 10*q - 11. Is l(-9) a multiple of 28?
False
Let k(j) = -2*j + 22. Does 10 divide k(-9)?
True
Suppose 2*o - 191 + 17 = 0. Is 24 a factor of o?
False
Let b(c) be the third derivative of c**4/24 + c**3/6 - 3*c**2. Let a be b(1). Suppose -2*y + 120 = 3*y + a*x, 2*x - 24 = -y. Is 18 a factor of y?
False
Let w be (-5)/(5/6) - -3. Let m = w + 15. Does 12 divide m?
True
Let y = -36 - -63. Is y a multiple of 9?
True
Let q(j) = j**2 + 2*j + 3. Suppose 0 = 4*b - 7 - 5. Is 18 a factor of q(b)?
True
Suppose -89 = -2*i - 2*g + 29, 212 = 3*i - 4*g. Is 17 a factor of i?
False
Let k be 2/(-8) + 1358/56. Suppose 0 = u - k + 7. Is u a multiple of 13?
False
Let w(g) = -2*g**3 - 4*g - 4. Does 7 divide w(-2)?
False
Suppose -110 = -5*z + 5*o, -6*o + 8*o = -z + 16. Is z a multiple of 2?
True
Suppose -2*d - 8 = -0*d. Let x = 6 + 11. Let i = d + x. Is 8 a factor of i?
False
Let h(t) = -3*t**3 + t**2 + 2*t + 1. Let d be h(-1). Suppose -5*v - r + 2 = -9, 3*r + 3 = d*v. Suppose 3*u + 12 = v*b - 0*u, 0 = -3*b - 5*u - 1. Is b even?
False
Is 2 a factor of 14 - 3/3 - 4?
False
Suppose -12*z + 13*z = 58. Is z a multiple of 19?
False
Let h(n) be the first derivative of n**4/4 + 3*n**3 - 3*n**2/2 - 4*n + 2. Let i be h(-9). Let c = 36 - i. Is c a multiple of 9?
False
Let g be ((-9)/4)/(3/(-12)). Let o be 20*(g/4 + -2). Suppose -3*p - y + 0*y = -25, -5*p + o*y = -55. Is 6 a factor of p?
False
Let x(h) = 6*h**2 - 9*h - 2. Let i