2*b + 3, r*b = -h for m.
0
Let q(l) = -52*l + 317. Let o be q(6). Solve 0 = d + o*a - 19, -4*d + 3*a - 3 = 13 for d.
-1
Suppose 2*l = -2*q + 8 - 2, 2*q = -3*l + 12. Let b = l + -3. Let x be (0 - (b + -2))*-4. Solve 0 = r - 5*r + 5*g + 1, -x*r - g = -19 for r.
4
Let z be (-4 + 5 + -5)*(-2 + 1). Solve -z*s + 18 = 2*i + 4, i = 3*s - 18 for s.
5
Let x = -3202 - -3203. Solve 5*g - 3*h = -20, g = 3*h + x - 5 for g.
-4
Let d be (-9)/6*(-4)/3. Let m = -16 + 22. Let l be 4/m + 13/3. Solve 4*j = -5*v - d + 9, l*j - 19 = 4*v for j.
3
Suppose 0 = 2*i - n + 5, 0*n = 2*i - 3*n + 11. Let a be (-1)/(((-1)/(-4))/i). Solve 3*t - 12 = 0, 28 = -g - a*g + 2*t for g.
-4
Suppose 2*k - 44 + 10 = 0. Let h = k - 14. Suppose 2*p + 2*p + 4*j = -12, 5*j = -15. Solve 0*i - 27 = h*i + 3*y, -4*i + 3*y - 1 = p for i.
-4
Let v = 9 + -11. Let s = -3 - v. Let i be s/(-2)*(4 - 4). Solve i = -3*m, m - 2*m = -3*o - 3 for o.
-1
Let a(p) = 2*p**2 + 8*p + 12. Let v be a(-6). Let d = -31 + v. Solve -2*c + 2*l = -d*c + 22, -3*c - 4*l + 32 = 0 for c.
4
Let i be 40/(-140) - 74/(-14). Suppose l - 19 = 8. Let r(p) = p**2 - 11*p + 4. Let z be r(11). Solve -z*u = i*y + 9, -l = y - 4*u - 6 for y.
-5
Suppose -4*i + 19 = l, -3*l = -3*i + l. Solve 2*q + a = -2*a + 6, -i*a = -q + 3 for q.
3
Let v be (-20)/((-3 - 0)/3). Suppose 13*c - 17*c = -v. Solve -c*p = 3*s + 27, 13 = p - s - 3*s for p.
-3
Suppose -8 = -6*x + 4*x. Suppose -2*m = -x*y + 8, 5*y - 8 + 0 = 3*m. Solve 5*o = y*r, 3*r = -2*r + 4*o for r.
0
Suppose -7*x - 4 = -4. Let n be (0 + x)*(-9)/(5 + 4). Solve -4*h - 4*i - 3 = i, n = h + 3*i - 1 for h.
-2
Let y be (-16)/(-32) + 1/(-2). Suppose y = -2*m + 43 + 17. Solve 5*q + t - m = 0, 0*t - 30 = -4*q - 2*t for q.
5
Let d(q) = q**3 + q + 20. Let b be d(0). Suppose -4*t = -14*t + b. Solve 11 = -t*j + 4*r - 3*r, -4*r = 5*j - 5 for j.
-3
Suppose 0 = 8*d - 78 - 10. Suppose 5*c - 31 = 3*t, 3*t - d = -3*c + t. Solve -10 = -c*j + g, -3*g = j - 1 - 1 for j.
2
Let a(j) = 15*j - 121. Let y be a(10). Solve 2*p = 5*k - 11 + 38, -5*k - y = -4*p for k.
-5
Let y be (228/24 + -12)*(1 + -11). Solve -5*g + y = -5*b, 3*b + 0*g = 4*g - 15 for b.
-5
Suppose 7*q + 8 = 11*q - h, -2*q + 3*h - 6 = 0. Solve -b + 3 = 0, 4*m - b - 2*b - q = 0 for m.
3
Let t be 8 - 3 - 52/13. Let g = -16 + 37. Suppose 5*c = g - t. Solve 0 = -4*z + 5*z - 5*v - 1, -c*v = z + 8 for z.
-4
Suppose 0 = 23*u - 29*u + 24. Solve -u*g + 0*m - 2*m = 6, 4*g - m = -9 for g.
-2
Let o = 36 - 24. Let k = o - 34. Let n = 24 + k. Solve 5*z + 18 = 2*d, -n*d + 14 = -3*z - 0*d for z.
-2
Let q(t) = -t**3 + 22*t**2 - t + 26. Let s be q(22). Solve i = 2*m - 13, -5*i - 16 = -s*m + 19 for m.
5
Let m be 1 - ((-2)/(-6))/((-13)/39). Suppose -3*z + 0*z = 15. Let g = 2 - z. Solve 22 = -m*n - 4*c, 0 = -2*n + 5*c + 7 + g for n.
-3
Suppose b = 3, 5*o - 2*b = 3*b. Solve 0*s - o*s - 6 = 3*x, 2*s + 10 = 0 for x.
3
Suppose 0 = 3*l + h - 30, l + 4*h + 2 = 1. Let w = -8 + l. Solve -2*z = -2*r - 10, -w*z + 7 = -2*r + r for z.
1
Let z(j) = -4*j**2 + 4*j + 5. Let a(s) = 3*s**2 - 4*s - 6. Let g(i) = -3*a(i) - 2*z(i). Let b be g(5). Solve -12 = 4*r - 4*t, 3*r = -t + 10 - b for r.
1
Suppose p = 3*d - 16, -d - 1 + 18 = 2*p. Suppose 2 = o - 2*v + d, -v = -o - 1. Solve y + 20 = -o*m, -5 = 3*m - m - y for m.
-5
Suppose -2*b = 2*b + 12. Let p be (-550)/66*b/1. Solve 5*n + g + p = 0, -6 - 19 = 5*n + 5*g for n.
-5
Let f(b) = b**2 + 1. Let y be f(-4). Let x be (-6)/8 - (-216)/32. Solve 3*q = -x, 3*u - y = 5*q + 8 for u.
5
Let n = 6 + -4. Suppose -2*j = 8, 3*w + 2*w + 5*j + 35 = 0. Let t be 10/(-18)*w*3. Solve 0 = -n*d + 8, u - t*d = -4*u - 15 for u.
1
Suppose -8*d = 2*d - 50. Suppose l = -2*l - 2*r + 2, -3*l = -d*r + 5. Solve -y + 3*y - 4*u + 2 = l, -y - 5*u - 8 = 0 for y.
-3
Suppose 4*c + 5*c = 81. Solve -2*m + 2*b - 8 = 0, c = -2*m + m - 4*b for m.
-5
Let l(u) = -11*u + 10. Let q be (1*2)/(6/(-30)). Let o be l(q). Suppose 5*w + 20 = o. Solve s = 3*y - w, 4*y = -y + s + 30 for y.
5
Let k(r) be the first derivative of -r**2 - 8*r + 2. Let f be k(-6). Solve 0 = -x + 5*j - f + 13, 5*x + j = -7 for x.
-1
Let a = 83 - 75. Let g(y) = -y**3 - 7*y**2 - 3*y + 8. Let c be g(-6). Let h be a/c*(-20)/8. Solve 2*f = -2*q - 8, -q - 5*f - h = 14 for q.
-1
Suppose -o = -3 - 1. Suppose -16 = -o*u + 20. Let j(y) = y - 7. Let x be j(u). Solve 5*i + 3*q + 21 = -q, -x*i = -2*q - 6 for i.
-1
Let b(j) = 3*j - 14. Let o be b(6). Suppose 3 = -3*k + o*k. Suppose 0 = 3*v + 2*y, y + 12 = k*v - y. Solve -v*a = -10, 2*h + 0 = -4*a + 30 for h.
5
Let p be (3*1)/((-126)/(-168)). Solve -p*s = s + 3*j - 4, s = 3*j + 8 for s.
2
Let j(a) = -3*a - 1. Let k be j(-1). Solve 2*m + 2*o + 8 = -k*m, -4*m + 12 = -3*o for m.
0
Suppose w + 3*w + m = 6, 2*w - 2*m - 8 = 0. Let z = -18 + 21. Solve -3*g = -w*f, f + z - 6 = 0 for g.
2
Let a(n) = -9*n - 7. Let g be a(-1). Solve 0 = u + x + g, -x + 0*x = -2*u - 1 for u.
-1
Let q(v) = -3*v**2 + 24*v - 21. Let h be q(7). Solve -5*b - 5*a + 0*a = h, 4 = -2*b + 2*a for b.
-1
Let b = -27 + 30. Suppose -10 = -b*h - 1. Solve 5*r - 7 = 4*c, 0 = -4*c + h*r - r - 10 for c.
-3
Let i(q) = -q**3 + 5*q**2 - 8*q. Let s be i(5). Let u = -17 - s. Solve 5*b - b = 3*h - 29, 4*b + u = h for b.
-5
Let d(a) = -a**3 + 29*a**2 - 26*a - 56. Let u be d(28). Solve -q = -4*i - 0*q - 19, -5*i + q - 24 = u for i.
-5
Let q(l) = 2*l - 7. Let c be q(6). Suppose 2*f = c*v - 18, -3*f + 27 = 4*v + 8. Solve 0 = -d - 2*a + f, -d + 3*a + a + 13 = 0 for d.
5
Let n = -365 - -382. Solve 5*z - 4*w = 12, -4*w - n = 5*z - 5 for z.
0
Suppose 0 = -2*v + 6 - 2. Suppose -3*s + 37 = -4*u - 39, -s - v*u + 32 = 0. Solve 3*r + 5*b + 24 = 2*b, -5*r - b = s for r.
-5
Let p = 25 - 23. Suppose p*r + 3*s = 25, -4*s + 7*s + 9 = 0. Solve 2*n = -b + 4 + 10, -5*n + 2*b = -r for n.
5
Let u = -1 + 3. Let m be 34/170*(26 + 1) - 14/35. Let f(v) = v**3 + 2. Let w be f(0). Solve u*k - 2*d = -14, m*k + d + 11 = -w*d for k.
-4
Suppose -5*j = 3*u - 4, -5*u = -8*u - 3*j + 12. Solve 0 = 5*l - 5*i - 25, -5*i - u - 17 = -4*l for l.
0
Let b(h) = h**3 - 14*h**2 + 14*h - 1. Let o be b(13). Suppose 8*t = 2*t + o. Solve t*z + 0*z - 3*r = -7, -2*z = -5*r + 5 for z.
-5
Let h be (-2 + 6 - 64)*8/(-20). Solve 4*l - 3*v = h, -3*l + 2*l + 3*v = -15 for l.
3
Let t be (-7 + (-31)/(-2) + -8)*0. Solve -4*x + 2*w - 13 + 1 = t, x - 4*w - 4 = 0 for x.
-4
Suppose 5*i - 577 = -2*y, 4*y = -4*i + 1 + 463. Let x = 115 - i. Solve -5*v + 3*b - 25 = x, 0 = -4*v + 2*b - 7*b + 17 for v.
-2
Let t be (-540)/(-72)*(-4)/(-6). Let o = -7 + 12. Solve 2*v + g = 6, -o*v + t*g + 9 = -2*v for v.
3
Let t be -2*(-4 + 2) + -4. Suppose 0 = -5*a + l + 2*l + 213, t = -4*a - l + 184. Let h = a + -28. Solve -h = 4*r + 3*z - 3, -2*z - 6 = 2*r for r.
-5
Suppose 3*f + 4 - 13 = 0. Solve 11 = a - f*o, -a - 2*o = 4*a - 4 for a.
2
Let d = 2 - 0. Solve 2*l + 5 = -5*v + 15, -d*v + 20 = 4*l for v.
0
Suppose -4*d + p = -17, -p - 1 = d + 4*p. Solve -4*r + x - d = -5*r, -2*r + 23 = 5*x for r.
-1
Suppose -3*i + 3*a = -36, -2*i + 4*a + 13 + 21 = 0. Let w = 35 + -30. Suppose 0 = 2*m + 1 - w. Solve -m*l = -i*l + 4*v + 21, 2*v + 7 = -l for l.
1
Suppose 0 = s + 2*b - 10 - 2, -3 = -3*b. Suppose -5*t = -s - 0. Suppose -t*x = -x. Solve -6 = 2*v, 0 = 4*u - 2*v - x*v - 2 for u.
-1
Let t = 45 - 42. Suppose -t*h + 14 - 8 = 0. Solve 3*a + 4*d + 4 = 2*d, 2 = h*d for a.
-2
Let t(c) = -17*c**2 + 55*c - 11. Let n be t(3). Solve 2*u - g + 9 - n = 0, 5*u + 18 = 2*g for u.
-2
Let d = -648 - -653. Solve -4*c + 12 = 2*g, -g + 18 = -d*c + 47 for g.
-4
Suppose -20 = -9*t + 7*t. Suppose -l = -2*s - 2 + 4, -4*s - l + t = 0. Solve -s*m - 3 = -3*m + h, 5*m + 3*h + 25 = 0 for m.
-2
Suppose -4*p + 8*a = 4*a + 32, 5*p + 2*a + 26 = 0. Let f = 0 + 0. Let b be (f + -6)*p/18. Solve 3*c - b*h + 14 = 0, 6*h = -2*c + 3*h + 8 for c.
-2
Let s(n) = n**2 + 25*n + 156. Let c be s(-14). Solve 27 - 9 = -x + 4*i, c*x + i = 0 for x.
-2
Let c(z) = z**2 - 21*z + 107. Let j be c(8). Solve -5*v - j*m = 32, 0 = -5*v + m - 16 for v.
-4
Let p = 102 - 97. Solve f = y + p*f + 3, -6 = -2*y - 2*f for y.
5
Let l be 12/9 - 7/21. Let v be 3 - (l + 1 - 22). Let n = 27 - v. Solve 2*m - p = -5, 7*p + 9 = -2*m + n*p for m.
-3
Suppose -2*u - t = 2*t - 16, 0 = -5*u - 2*t + 18. Suppose u*o + 3*g = 8*g + 20, -4*o - g = -18. Solve 0*n + 35 = -3*s + o*n, -31 = 3*s - 4*n for s.
-5
Suppose -2548 