pose -47*h = -31*h - 34528. Is h a multiple of 14?
False
Let w(i) = -2*i**3 - 4*i**2 + 3. Let h be w(-4). Suppose -4*b + h = -5*b. Let u = 97 + b. Does 6 divide u?
True
Suppose b + b - 5*c = 89, -b + 3*c = -47. Does 32 divide b?
True
Let x(o) = -o**3 + 2 + o**2 - 2*o - o - 5*o**2. Let l be x(-5). Let d = l - 24. Does 16 divide d?
False
Is 12 a factor of 58372/32 + (-66)/16 + 4?
True
Let o(q) = 12*q**3 + 3*q**2 + q + 11. Is 38 a factor of o(4)?
False
Suppose -3*g + 8170 = -1928. Is 17 a factor of g?
True
Suppose 77 = -2*l + 389. Is 11 a factor of l?
False
Suppose 0 = -31*u + 3*u + 13832. Is u a multiple of 48?
False
Let u = 1042 + -987. Is u a multiple of 2?
False
Suppose -7*b - 3*b + 8500 = 0. Does 17 divide b?
True
Let u be 27/3*1/3. Suppose 4*g - u*y + 1160 = 0, -y = 2*g - 4*g - 580. Is (-16)/88 - g/22 a multiple of 4?
False
Suppose -3*r + 21 = q, -3*q = -r - 5 - 18. Does 28 divide (-586)/(-6) - (-3)/q?
False
Let t(v) = 3*v + 39. Let i be t(-7). Let u(n) = -n**3 + 6*n**2 - 6*n - 7. Let s be u(5). Let l = s + i. Is l a multiple of 2?
True
Let c(l) = l**3 + 14*l**2 - l + 1. Let f(j) = -j**3 - 6*j**2 + 10*j + 7. Let v be f(-7). Let p be c(v). Is 9 a factor of 3/(-5) + 954/p?
True
Is 35 a factor of (-2 + 1)*(-179 + 4)?
True
Let o(f) = f**3 - f**2 + 1. Let z(u) = -4*u**3 - 15*u**2 + 21*u + 11. Let n(l) = 5*o(l) + z(l). Is n(19) a multiple of 9?
True
Let r = 13 - 11. Suppose -r*w + 175 + 115 = 0. Is 29 a factor of w?
True
Let q(r) = 2*r**3 + 6*r**2 + 5. Let i be q(-5). Let j = 25 - i. Let t = j - 59. Does 12 divide t?
False
Is 330 - 0 - (-8 - -17) a multiple of 3?
True
Suppose 5*k - 3*n - 274 = n, -k - 4*n = -74. Is 8 a factor of k?
False
Suppose j - 2*t + 0*t = 136, -5*j + 3*t + 680 = 0. Is j a multiple of 3?
False
Let w(d) = 4*d + 28. Let o be w(-9). Is 9 a factor of -5 + 8 - 4/(o/210)?
True
Let h(c) = c**2 - 3*c - 18. Does 28 divide h(-10)?
True
Let w(b) = -b**3 - b**2 + 5. Let l be w(0). Suppose -447 + 159 = -9*c. Suppose -l*a - c = -3*k, k - 2*a = -a + 10. Is 2 a factor of k?
False
Suppose 2*w - 15 = -2*q + 399, -4*q = -5*w - 783. Is 9 a factor of q?
False
Let k(c) = 9*c + 1. Let f be k(6). Suppose 2*h + 3*p - f = 7*h, -h - 3*p - 29 = 0. Is (-14)/49 + (-340)/h a multiple of 24?
True
Let u = 29 - 25. Let j be (u/(-5))/(4/(-10)). Suppose 6*l = 20 - j. Is l a multiple of 2?
False
Let k(d) = -4*d + 1. Let y(h) = -2*h + 11. Let i be y(5). Let o be k(i). Does 11 divide ((-1)/o)/(1/33)?
True
Let x(j) = 4*j + 1 - 3 + 1 + 5. Suppose 29 = 5*p + 3*g, 3*g = 5*g - 6. Is 10 a factor of x(p)?
True
Let y = -384 - -445. Is y a multiple of 4?
False
Let w = -195 - -543. Is 5 a factor of w?
False
Let v = -1 + 17. Let w(f) = -2*f**3 - 15*f**2 + 7*f - 6. Let j be w(-8). Suppose 0 = 4*s - 4*r - 16, 0*s + 2*r = -j*s + v. Does 6 divide s?
True
Let a(q) = 552*q - 433. Does 14 divide a(5)?
False
Let m(q) = 15*q + 1. Is 6 a factor of m(4)?
False
Suppose 5*y + 2473 + 3601 = 3*o, -4058 = -2*o - y. Does 12 divide o?
True
Let b(f) = f**2 + 20*f - 78. Let p be b(-24). Suppose -2*l = -l - p. Is l a multiple of 3?
True
Suppose d + 3776 = 5*l + 860, l = -3*d + 580. Is l a multiple of 45?
False
Let j(l) = -2*l - 3. Let g be j(-4). Suppose g*i + 2 = 12. Suppose -3*m - i = -3*q - 125, -5*q = -3*m + 115. Is m a multiple of 26?
False
Suppose 1278 + 42 = 6*q. Let d = q + -88. Is d a multiple of 22?
True
Let h = -2 + -1. Let a be (-2)/h - (-626)/6. Suppose 2*w - a = -3*w. Does 7 divide w?
True
Let p = 2153 - -161. Is 13 a factor of p?
True
Let a = -42 + 3. Suppose 0 = p + 2, 54 = 5*t - 2*p - 115. Let d = t - a. Is d a multiple of 16?
False
Let h = -242 - -596. Is h a multiple of 76?
False
Does 10 divide (-12)/(-27) - 4/((-144)/48260)?
False
Suppose -11648 = 156*z - 208*z. Is 4 a factor of z?
True
Let p(n) = n**3 - 12*n**2 + 0*n**3 + n + 5 + 0*n**3. Let k = 301 - 289. Does 15 divide p(k)?
False
Let f = 18 + -15. Suppose f*u - 23 = 97. Is 10 a factor of u?
True
Let s = -41 + 47. Suppose 174 = s*h - 0*h. Is h a multiple of 22?
False
Suppose 3*t + 4 + 2 = 0. Let o(x) be the second derivative of 3*x**4/2 + x**3/2 + 3*x**2/2 + x. Is 26 a factor of o(t)?
False
Let w(z) = -5*z + 0*z + z + 9*z + 3. Does 31 divide w(16)?
False
Let k be (1 + 1)*-1 - -4. Let d be k*-4*(-1)/4. Is 21 a factor of 3 + d/((-2)/(-51))?
False
Let h(p) = -p + 5. Let x be h(8). Let y be (4/(-8))/(x/6). Suppose -4*l = y - 213. Is l a multiple of 26?
False
Let h(x) be the second derivative of -2*x**3 + 2*x**2 + 25*x. Is 28 a factor of h(-2)?
True
Let l(f) = 2*f**2 - 14*f + 8. Let x be l(6). Let m be 1*(3 - 2 - x). Suppose -103 - 2 = -m*b. Does 10 divide b?
False
Suppose -5*w + 2857 = 3*g, -2*g + 4*w - 5*w + 1893 = 0. Is 4 a factor of g?
True
Suppose -161 = 10*p - 1801. Let t be (8/10)/(2/10). Suppose p = 2*a - b, 0*b + 224 = 3*a + t*b. Is a a multiple of 29?
False
Let q = 972 + -377. Does 17 divide q?
True
Let o(d) = -2*d - 54. Let f(b) = -b - 18. Let h(t) = 7*f(t) - 2*o(t). Let l(g) = -4*g - 17. Let p(n) = -3*h(n) + 2*l(n). Is p(-6) a multiple of 3?
False
Suppose -4*v + 3462 = -5*q - 1574, -5076 = -4*v - 5*q. Is 8 a factor of v?
True
Let j be 65/20 - 1/4. Suppose 0 = -3*b - 0 + 12, j*q - 3*b = 0. Suppose 5*m + q*r - 206 = 0, -4*r + 147 = 4*m - 17. Is m a multiple of 12?
False
Is (-8 - (-20)/10) + 194 a multiple of 3?
False
Suppose 3*n - 2*k - 20 = 0, -n - 3*k + 35 = n. Suppose 3*j + n = -2*j. Does 30 divide (255/(-6) - -2)*j?
False
Let t(j) = 2*j - 2*j + j + 0*j + 3. Let c be t(-1). Suppose 2*x - 6 = 4, 4*x + 52 = c*w. Is 12 a factor of w?
True
Suppose 3*r = -r. Suppose 3*j + r*j + 3*v = 81, 4*j - 3*v = 115. Is j a multiple of 8?
False
Let j(z) = -z**3 - z**2 - 2*z - 2. Let w be j(0). Does 11 divide (35/10)/(w/(-12))?
False
Let o(h) = 5*h**3 - 3*h**2 - 8*h + 17. Is o(4) a multiple of 19?
False
Does 7 divide 13/(195/9546) - 30/(-50)?
True
Let w(a) = -4*a + 3. Let g be w(-6). Let m = g - 23. Suppose -5*r = y + 2*y - 228, 0 = y + m. Is 13 a factor of r?
False
Let t(f) = 14*f + 26. Is 46 a factor of t(11)?
False
Suppose 1348 + 353 = 9*j. Does 9 divide j?
True
Let k be (-8)/(19/44 + 12/(-66)). Is 551/4 + (-8)/k a multiple of 34?
False
Let t(w) = w + 12. Let j be t(-4). Let f(s) = 12*s - 6. Is f(j) a multiple of 30?
True
Let g(u) = u**2 - 2*u - 11. Let x be g(0). Let t = x + 13. Suppose i - t*i + 8 = 0. Is 4 a factor of i?
True
Let q(v) = 6 - 12*v - 4 + 4 - 4. Is q(-2) a multiple of 4?
False
Suppose -3 = -3*h - 5*q + 50, 2*h - q - 31 = 0. Let l(x) = x**3 - 16*x**2 + x - 3. Is 2 a factor of l(h)?
False
Suppose -15654 = -5*w - 3*c, 3*w - 11922 = -2*c - 2530. Is 58 a factor of w?
True
Let k(l) = -l**3 + 10*l**2 + 5. Let g be k(10). Suppose -4*h - 3*r = -2*r - 641, g*h - r = 799. Does 12 divide h?
False
Let p = 2213 - 1259. Is p a multiple of 10?
False
Let y = 3703 - 2023. Does 7 divide y?
True
Let a(k) = 25*k + 39*k - 14 - 15*k + 6. Does 16 divide a(4)?
False
Suppose -12*i = -6*i - 1062. Is 8 a factor of i?
False
Let u(x) = 14*x**2 - x**3 - 2 - 35*x**2 + 18*x**2 + 4*x. Let k be (1/(-2))/((-1)/(-10)). Is 7 a factor of u(k)?
True
Suppose -3*x = -3*u - 49 - 161, -x + 64 = u. Let k = 38 - x. Let o = 22 - k. Is 17 a factor of o?
True
Let x = 777 - 514. Suppose 5*o + x = 2*j, 6*j - 5*o = 3*j + 382. Suppose 6*f - 133 - j = 0. Does 23 divide f?
False
Let m = -121 + 113. Let n be 49/2 + (-6)/4. Let i = m + n. Does 2 divide i?
False
Let d(l) = -l**3 + 19*l**2 - 10*l - 15. Let j be d(19). Let i = -133 - j. Is i a multiple of 50?
False
Let t(z) = -z**2 + 6*z + 4. Let y be t(6). Let h(w) = w**3 - w**2 - 2*w + 5. Let l be h(y). Suppose 4*n - l = 75. Is 10 a factor of n?
True
Let v(a) = -a + 15. Let c be v(16). Let u(p) = -63*p + 5. Is 51 a factor of u(c)?
False
Let n = 87 - 144. Let u = n + 81. Is 6 a factor of u?
True
Let i(y) be the first derivative of -7/2*y**2 + 5/3*y**3 + 1/4*y**4 - y - 5. Is i(-6) a multiple of 2?
False
Let z = -11 + 15. Suppose v + z*v - 35 = 0. Suppose v = -0*i + i. Is 6 a factor of i?
False
Let h be (2/8*26)/(37/(-814)). Let u be 598/(-6) - 3/9. Let z = u - h. Is z a multiple of 7?
False
Suppose 5*s + 3*f - 462 = 0, 0*s = -3*s - f + 278. Suppose -9*j + s = -15. Is j a multiple of 12?
True
Suppose -3117 - 2538 = -3*i. Is 32 a factor of i?
False
Suppose 6*o = -4*o + 2890. Is 37 a factor of o?
False
Let j be 10/2*(-1 