
Let n be 5*((-4)/(-2))/2. Let x(m) = -8*m. Let u(r) = -9*r - 1. Let d(w) = 5*u(w) - 6*x(w). Let v be d(5). Solve -2*b - 10 = -5*s, n*s - v = -2*b - 3*b for b.
0
Suppose 7*d = 2*d + 25. Suppose -m + d = -2*f, 3 = -2*f - f + 3*m. Let b be (-34)/f - 3/6. Solve -c + b = -2*t - 0, -5*t - 5*c = 5 for t.
-3
Let x(p) = p - 1. Let j be x(6). Solve 3*z = 4*w + 4*z - 17, -w = j*z + 10 for w.
5
Let g be -4 + 9/1 - 1. Let w be -2 + 2 + 4 + -1. Solve -g = -2*u - 0, -w*u + 26 = -5*y for y.
-4
Suppose k = -0*k. Solve 4*x + 12 = 0, k*b - 4*b - 4*x = 12 for b.
0
Let b = 67 - 63. Suppose -10 = 2*o - 4*o. Suppose -3*v + 78 = -g, o*g + 47 = 3*v - 43. Solve -v = -5*n - 2*t, -b*t + 19 = -2*n + t for n.
3
Suppose 0 = 6*k - 10 + 10. Solve x - 2 = k, 3*c + 4*x - 3 = 8 for c.
1
Suppose -5*h = 3*x - 26, -3*h + 2*x + 46 = 19. Solve 2 = -3*v - h, -2*l + 3 = v for l.
3
Suppose 2*v - 30 = -v - 2*h, 3*v - 30 = -4*h. Solve 2 = g + 4, 0 = -4*k - 3*g + v for k.
4
Suppose 4*m + 45 = 5*v, 2*m - 16 = -2*v + 20. Let t be (-6)/(-8) + (-540)/(-48). Solve 4*u = t, 0*u = y - 3*u + v for y.
-4
Let g be ((-8)/(-2))/(-4) + 1. Let r = -10 - -13. Solve y - 12 = r*h, g*h = -5*y - 3*h - 30 for y.
-3
Suppose 3*z - 4*o - 9 = 0, -2*o = 3*z - 5 - 4. Let k = -4 + 4. Solve z*b = 5*u - 24, k = 4*u + u + b - 12 for u.
3
Let m(u) = u + 1. Let f be m(3). Let c be -2*2/f - 0. Let j be (-2)/1*c*1. Solve w + 20 = -3*i, -j*w = i + 17 - 2 for i.
-5
Let z(l) = -5*l + 2. Let o(x) = x + 1. Let k(g) = -6*o(g) - z(g). Let m be k(-8). Solve w = 5*w + 5*i + 24, -3*w - 3*i - 15 = m for w.
-1
Suppose 3*n = -12 + 3. Let i(f) = f**3 + 3*f**2 - f. Let x be i(n). Let t be -27*-2*x/18. Solve -3*h + 3 = -4*h + r, r - t = -5*h for h.
1
Let u(b) = b**2 + 10*b + 5. Let n be u(-10). Solve r + 2*y = -2*r + 18, -29 = -n*r - 3*y for r.
4
Suppose 4*x - 2*c - 225 = 1, -3*x - 3*c = -165. Let v = x + -36. Solve 0 = -4*o + v, 2*d - 3 = o + 2 for d.
5
Let u be 18/(-24) + (-2 - (-54)/8). Solve -2*q + u*a = 20, -a + 10 = -5*q + a for q.
0
Let p(o) = -2*o - 2. Let h be p(5). Let d be h/6*70/(-4). Solve 3*c = -5*u, 0 = -4*u - u + 4*c - d for u.
-3
Let g(p) = 2*p**3 - 3*p**2 + 5*p + 2. Let b be g(4). Let o be 4/14 + b/(-14). Let v = o + 11. Solve 5*l - 17 = t, v*l = l + 2*t + 6 for l.
4
Let s(g) = g**2 + 9*g + 11. Let v be s(-8). Solve -5*q + 22 = v*k, -4*k + 7*k = 4*q + 4 for q.
2
Let s = 65 - 61. Solve 3*c = -2*c + w, 3*c = s*w for c.
0
Suppose 7*k = 2*k + 10. Suppose k*f - f = 7. Solve -3*g + 5*z = 22, 4*z - f*z = 3*g + 6 for g.
-4
Suppose 4*m - 12 = m. Solve m = -4*i, -5*k + 4*i + 3 = -6 for k.
1
Let a(g) = g**2 + 8*g + 2. Let m be a(-8). Solve 0 = -m*h, 3*h - 5 = -5*q - 2*h for q.
1
Let q(f) = -f**3 - f + 6. Let c be q(0). Solve -3*y = -c, -3*t - 4*y + 13 = 2*t for t.
1
Let h = 6 - 5. Let w be (h + 0)/(3/51). Solve -18 = -2*j + 6*s - s, -5*j - w = 3*s for j.
-1
Let v(g) = 4*g**2 - 5*g + 4. Let k(w) = w**2 + w - 1. Let h(c) = 2*k(c) + v(c). Let j be h(1). Solve -4*l - 3*n = 23, 4*l + 21 = j*n + 6 for l.
-5
Let t = 12 + -24. Let p = t + 27. Solve -j - 3*r = 3*j - 8, 0 = j + 4*r - p for j.
-1
Let n(b) = -b**2 - 6*b + 7. Let r be n(-7). Solve u - y = 1, -2 = 2*u - r*u - y for u.
-3
Let r(i) = i**2 - 2*i - 3. Let b be r(-3). Let t = -8 + b. Solve 5*a = -20, -t*n + n + 5*a + 29 = 0 for n.
3
Let a = 12 + -7. Let u(d) = -d**3 + 3*d**2 + 3*d - 1. Let t be u(3). Suppose o = -3*o + t. Solve -40 = 5*h + 5*c, -a*c - 21 + 2 = -o*h for h.
-3
Let j = 57 + -12. Solve -2*v + 2 = -2*w - 5*v, -5*w + j = -5*v for w.
5
Let t(m) = m. Let w be t(2). Suppose -f + w = -0. Let i(g) = -2*g + 2. Let j be i(-5). Solve -c - 2 = -5*z + j, z = -c - f for z.
2
Suppose 2*t - 5*b = 14, 46 = 2*t - 0*t + 3*b. Solve -3*h - t = -x, -x + 13 = -2*h - 0 for h.
-4
Let i(l) = -4*l - 24. Let h be i(-6). Solve -2*j - 16 = -0*m - 2*m, -m - j + 2 = h for m.
5
Let a(s) = -s**3 + 7*s**2 + 2*s - 11. Let f be a(7). Let n be 10/4*(2 + 0). Solve -n*c = -3*h - 21, 0*c + f*c - 19 = 5*h for c.
3
Suppose 6 = 5*f - 4. Solve -4*b - f = -3*b + 5*k, 3*b + 2*k = 7 for b.
3
Let c = -29 + 32. Solve -4*v - 20 = -2*q, c*q + 1 - 3 = -v for q.
2
Let n(b) = 6*b - 1. Let a be n(2). Suppose 0 = 3*u - a + 5. Solve -l + 11 = -0*z + 4*z, 4*z - 26 = u*l for z.
4
Let j be (-4)/2*(-5)/2. Solve g - 26 = -j*v, -3*g - 7 = -v - v for v.
5
Let n(l) = -l**2 + 2*l**2 + l + 0*l. Let u be n(-2). Suppose 3*z - 5*f - 28 = -9, -8 = -u*z + f. Solve 0 = -y - 5*c - 6, y + z*c - 2 = -y for y.
4
Let u = -10 - -20. Let c = -6 + u. Let h(d) = d + 13. Let a be h(-9). Solve 2*n = -l - 2*l - a, c*l + 12 = -n for l.
-4
Let v = -78 + 114. Solve 3*l - 1 = 4*d - v, 3*l = -3*d for l.
-5
Suppose 32 = 5*o + 4*l, l + 1 = -7*o + 8*o. Solve -u - q = 2*u + 1, 0 = -o*u - 2*q + 2 for u.
-2
Let u be (1 + (1 - 2))/(-2). Let v be (-1 - u)/((-5)/10). Solve 4*s = -v*f + 16, -2*s = s + 3*f - 18 for s.
2
Let d = -12 - -12. Suppose -s = -d*s. Let x = -6 + 10. Solve -4*u - 4*b - 4 = s, -b + x*b = u + 1 for u.
-1
Let x(j) = -j**3 + 11*j**2 + 13*j - 12. Let i be x(12). Solve i*l - 2*z = -l + 1, -4*l = -4*z for l.
-1
Suppose -5*w + 1 - 26 = 0, -y - 3*w - 11 = 0. Let k be 50/y*16/20. Solve 4*n + 5*f + k = 0, -3*n - 3*f - 13 = -2*f for n.
-5
Let s be (1 - 0)/((-2)/(-8)). Suppose 0 = 2*y + t - 4*t - 32, 0 = -s*y - 4*t + 84. Solve -3*f - u - 11 = 0, -2*u - u + y = -4*f for f.
-4
Let d(x) = x**2 + x. Suppose 0 = 3*s - 2*c - 30, 2*s - 6*s = -4*c - 44. Let t = 7 - s. Let r be d(t). Solve 3*m - 3*w + 5 = -5*w, m + 3*w - 10 = r for m.
-5
Suppose 5*g = 4*j + 12, -4*j + 0*g = 2*g - 16. Suppose 0 = 5*y - j - 13. Solve 3*b - 8*o = -4*o - 25, 3*o = -5*b - y for b.
-3
Let g(x) = -x**3 - x**2 - x - 1. Let t be g(-1). Solve -c + 5*d - 3 - 26 = 0, 5*c + 5*d - 5 = t for c.
-4
Let k(j) = 2 - 4 - 1 - 2 - 12*j - 12*j**2 - j**3. Let c = -13 + 2. Let x be k(c). Solve 3*a + 3*i - x = 0, 4*a - i + 0 = -17 for a.
-3
Let j = 76 + -71. Let l(a) = -a**2 - 6*a + 2. Let d be l(-6). Solve m + d = -m, 4*m - 6 = -j*k for k.
2
Let s(p) = p**3 - 5*p + 2. Let i(g) = 2*g**3 + g**2 - 10*g + 3. Let d(l) = 3*i(l) - 5*s(l). Let x be d(-4). Solve 0 = x*m + 2*q + 14, 2*q + 4 + 2 = m for m.
-2
Let t = -5 - -7. Suppose -a - 2*i + 8 = 0, -4 = -t*i + 2. Suppose -3*z + 16 = z, 5*p + 4*z - 26 = 0. Solve 0 = -2*v, a*v - v + p = 2*f for f.
1
Let j(w) = -2*w**3 + 4*w**2 - 2*w. Suppose 0 = v - 0 - 2. Let c be j(v). Let m = 6 + c. Solve 0 = -0*h + m*h + 3*f + 7, 5*f = 5*h + 5 for h.
-2
Suppose -2*t + 40 = g - 6*t, -5*t = 25. Solve -6*s + g = -s - 5*r, -2*s - 2*r = 12 for s.
-1
Suppose -12 = -3*s - 0*s. Solve 2*l + 5*b = s*b - 4, 0 = -3*l - 4*b - 11 for l.
-1
Let c be ((-4)/12)/((-2)/24). Solve 0*q - 4 = q - 2*y, 0 = -3*q - c*y + 28 for q.
4
Suppose -9*z = -10*z + 2. Suppose -5*b - 3 = z. Let h be (-35)/(-21)*(-3)/b. Solve -4*l + r + 4*r = 15, h*r - 15 = 3*l for l.
0
Let g = -2 - -123. Suppose 0 = -4*i + g + 59. Solve c + 5 = 0, 4*k + 7*c + i = 2*c for k.
-5
Let p(t) = -t + 20. Suppose -88 = -4*j - 5*a, 6*j = j - 4*a + 101. Let x be p(j). Solve -3*k - 3 = x*m, 0 = -5*m - 0*k + 2*k - 33 for m.
-5
Let a = -11 + 15. Let k = 82 - -14. Suppose -6*g + 2*g + k = 0. Solve a*j - g = u + u, -j = 3*u + 8 for j.
4
Suppose -5*x = -2*x - 21. Solve v - 9 = -5*w, -3*w + 1 = x*v - 2*v for w.
2
Let u be ((-84)/(-15))/(4/20). Let w = u + -23. Solve w*x + 3*g + 24 = -0*g, 5*g = -15 for x.
-3
Suppose 3*d - 4*l + l - 9 = 0, -3*d = l - 9. Solve -4 = x - b - 11, d*b + 7 = -4*x for x.
2
Let n = 1 - 1. Suppose n = w - 4*w + 78. Let a(r) = r**3 + 5*r**2 - 6*r. Let x be a(-6). Solve -6 = 4*d + 10, x = -2*o + 4*d + w for o.
5
Suppose -r - 4*q + 5 = 0, q - 16 = -4*r + 79. Suppose -4*o + 96 = 40. Let b = o - 11. Solve 2*g + 2*d = -7 - 3, -b*g + r = -5*d for g.
0
Suppose -24*t + 20 = -19*t. Solve 5 = 4*u - 2*u + 3*z, -21 = -t*u + 5*z for u.
4
Let f(u) = u**3 - 25 + 27 + 6*u**2 - 4*u - 3*u. Let i be f(-7). Solve 0 = 2*x + 3*c - i, -2*x - x = c + 11 for x.
-5
Let l(u) = u + 2. Let s be l(6). Let r(y) = -y**3 - 5*y**2 - y + 1. Let t be 2/9 + (-94)/18. Let m be r(t). Solve -13 = 5*k - v, -m = s*v - 5*v for k.
-3
Let z = -11 - -16. Solve 0 = -3*o + o - z*y - 4, -5*o + 7 = 4*y for o.
3
Suppose -5*b + 10*b = -45. Let k = -4 - b. Let x = -72 - -81. Solve -4 - 5 = 2*v + k*z, -z = 4*v + x for v.
-2
Let f = -14 - -17. Solve 0 = -d - 2*m + 1, f*m + 17 