 Solve 0 = a*g - 4*u + 11, -2*u + 2 + 2 = -4*g for g.
1
Let n be (14/6)/(1/3). Let h be 2/14 + 48/n. Solve 2*p - h = 5*w, 0 = p - 2*w - 3 for p.
1
Let u be (-1)/((-15)/(-6) + -2). Let m be 5/2*(0 - u). Solve -m*w + 23 = o, -3 = 3*w - 15 for o.
3
Let k be 2/(-3) - 51/(-9). Solve y + 4*t = -t + 13, k*y - 5*t = 5 for y.
3
Let d = 16 - 12. Solve -d*s - a + 2*a - 9 = 0, 5*a - 28 = 3*s for s.
-1
Let y be 2 - (0 - 0)/2. Let a be 4*1 - (4 - y). Solve -2*o + 1 = -3*z, -z - a*o = -5*z - 2 for z.
-1
Let m(f) = 3*f**3 + f**2 + f - 1. Let g be m(1). Suppose 0 = 2*q - 41 - 15. Let k = q + -24. Solve -24 = k*n + d, g*n + 2*d + 36 - 8 = 0 for n.
-5
Let x = 44 - 124. Let p be -3 - (x/4)/4. Solve 4*c - 2*f - 26 + p = 0, -2*f = 4 for c.
5
Let u be (12/5)/(2/5). Let y = 11 - u. Solve 5*g - 13 = -2*x - 2*x, -y*x - 40 = -5*g for g.
5
Suppose 3*f = 4*f - 21. Suppose -f = -c + 9. Solve -3*s - n - 9 - 10 = 0, -2*s - 5*n = c for s.
-5
Let n be (-2)/(-8) - 15/(-4). Suppose -3*l - 2 + 17 = -n*f, -l = 5*f - 5. Solve -s - s = -t - 2, l*t + 10 = 2*s for t.
-2
Suppose 0 = 5*c - 0 - 35. Let g = c - 3. Let m(z) = -z**3 + z. Let j be m(0). Solve j = -h - g*d - 12, h + 0*d + 8 = -3*d for h.
4
Let a = -44 - -47. Solve 0 = -2*w + n - 9, -a*w + n = 11 for w.
-2
Let v be -20*(-4)/(-10)*-1. Let p = 11 - v. Let y be -2 - -3 - p - -2. Solve -l - 6 = 3*j, y*j - 2*j = 2 for l.
-3
Suppose -2*n = -4*n + 14. Let l = n - 5. Solve -l*k = 3*r + 8, -6*k + 3*k = 3 for r.
-2
Let d = -4 + 7. Suppose 2 = -d*b + 8. Let j be ((-6)/(-15))/(b/5). Solve 3*y + 4*o - j = 20, -2*y = -o - 3 for y.
3
Let n(t) be the second derivative of t**3/6 + 9*t**2/2 - 3*t. Let y be n(-7). Solve 0 = -2*i + 2*q + y*q - 10, 3*i - 2*q + 7 = 0 for i.
-1
Suppose -b = -5*p + 8, -p - 20 = -b - b. Let d = b - -2. Solve 0 = y - 2*f - f + d, -21 = -y - 4*f for y.
1
Let c be (0/(-4))/(1/(-1)). Suppose c = -4*m - 16, -m = 3*s - 5 - 0. Solve s*x = -5*f - 19, f - 2*f + 3*x = -7 for f.
-2
Let t be (12/(-10))/(5/(-50)). Solve 2*k + f + 0*f + t = 0, 2*f = -5*k - 28 for k.
-4
Suppose 0 = -4*b + 9 + 7. Let a be b - 3/(-6)*-2. Suppose s = a*s. Solve 3*n - 13 = -t, -3*t + s*t + 4 = 2*n for t.
-2
Suppose -3*g + 0*g = -18. Suppose -4*c = -c - g. Suppose -11 + 3 = -c*b. Solve -2*a - 4 = 3*h, 0 = a - b*a + 3*h - 6 for a.
-2
Suppose -5*m - 8 = -d, -3*d - 2*d + m = -64. Solve -c + 2*c + d = -3*o, -5*o - 3*c - 27 = 0 for o.
-3
Let b(q) = -4*q. Let g be b(-1). Let m(a) = a**3 + 6*a**2 - 4*a - 8. Let y be m(-6). Let z = 22 - y. Solve 0 - 4 = -2*h, -g*u - 5*h = z for u.
-4
Let k be (9/(-6))/(2/(-4)). Suppose 0 = 5*a - 20, 0 = 3*j + a - 6*a + 17. Suppose -k*h = -5 - j. Solve -5*n = -2*o + 2, -4 = -h*n - 0*n + 2*o for n.
-2
Let g be 204/6*(-2)/(-4). Solve -4*m = 4, g = 3*j - 4*m + 2*m for j.
5
Let w(y) = -y + 14. Let r be (-20)/6*(-6)/5. Suppose 4*l - r*i = 28, 3*i + 1 = -5*l + 52. Let f be w(l). Solve -o = -x - 1, -o + 36 = -4*x - f*o for x.
-5
Let a(r) be the first derivative of r**2 - 2*r + 3. Let t be a(9). Solve 0 = 4*g - t, h + 2*g - 3 = 2*h for h.
5
Let u be (-12)/(-2) + 2*-1. Let m be (-1)/(-2)*(-4 + 4). Suppose 3*v - 2 - u = m. Solve -p + 2*i - 2 = 0, -2*p + v = -4*i + 3*i for p.
2
Let p(b) = -b**3 - 8*b**2 + 8*b - 6. Let i be p(-9). Let g be 0 - -2 - 3 - 2. Let s be (-2)/g - (-7)/3. Solve 4*l - i*x - s = -l, -2*l + 26 = 5*x for l.
3
Let z be (-6)/(-4) - (-3)/(-6). Suppose 19 = 5*n - 1. Suppose -g - n = -2*g. Solve 2*b = -8, z = g*k + b + 25 for k.
-5
Let k be (8/6)/((-10)/105). Let i = k - -16. Solve 14 = w - 3*j, -i*w + 31 = -5*j + 8 for w.
-1
Let x(v) = v - 4. Let i be x(7). Suppose 5*n + 0*n + 26 = 2*s, 24 = 4*s - i*n. Suppose 0 = 3*f - 2 - 7. Solve 5*z - 8*z - f = -2*j, -4*z + 3*j - s = 0 for z.
-3
Let x be 0 - 1/((-2)/4). Let d(u) = -2*u + 5. Let p be d(-6). Suppose 5*j = p - 2. Solve 0 = -3*v + 5*y - 2*y - 6, 14 = -x*v - j*y for v.
-4
Suppose y = 4*y - 54. Suppose -c + 4 = 0, 10 = 4*s + 2*c - y. Solve -2*z - 3*l + 2 = 3, -4*z + l + s = 0 for z.
1
Let h = 61 - 55. Solve 3*k - h = k + 3*n, 4*k + 4*n = -28 for k.
-3
Suppose 42*z - 43*z = -8. Solve 0 = 2*y + j + 11, 5*y + z*j - 3*j = -40 for y.
-3
Let b(m) = -3 + m + 3 + 1 - 2*m. Let z be b(-3). Solve -s = -z*n - 5, 5*n = 5*s - 2 + 7 for s.
-3
Let p(m) = m**3 + m**2 + m. Let y be p(-2). Let t = 8 + y. Suppose -2*o + 4 - 2 = 0. Solve t*h + h = 9, 4*s = 3*h - o for s.
2
Suppose -16 = 5*n - 7*n. Let o be 8/3*3/2. Solve l = o*m - 1 - 2, -n = -5*m - 3*l for m.
1
Let v = 33 + -13. Solve 2*g = 3*g + i + 4, -5*g - v = -4*i for g.
-4
Suppose 6 = -3*z + 15. Solve -12 = -3*n - n - g, z*g - 9 = -3*n for n.
3
Let u be 4 + -3*6/(-9). Suppose -u = -3*p + p. Solve -2*i = -p*i + 3*y + 9, 0 = -i - 4*y - 19 for i.
-3
Let z(j) = j**2 - 9*j + 5. Let y be z(9). Let d = y + 1. Let k be 4/d + (-34)/(-3). Solve 4*g - 2*t - 1 = -9, 0 = g - 4*t - k for g.
-4
Let q = 24 - 14. Solve 3*l = 2*k - 11, l + q = -5*k - 4*l for k.
1
Let k = -29 - -46. Solve 0 = -5*l + 3*w + k, l - 2 = w + 3 for l.
1
Let o(j) = -j**2 - 3*j + 2. Let p be (3/(-1))/(3 - 2). Let h be o(p). Solve 4*z - 3*y + h = 0, -6 = -0*y + 3*y for z.
-2
Suppose 10*b - 10 = -s + 5*b, -6 = -s - b. Solve -s*r + 9 = -2*v - 14, -20 = 2*v - 4*r for v.
-4
Let w(y) = -3*y - 1. Let f be w(-6). Let h = f + -1. Suppose 5*c + r = 8, 6*c - 4*r - h = 2*c. Solve 5*a = 4*n + 16, n + c*a + 0*a = 9 for n.
1
Let v(d) = -2*d**2 + 17*d - 5. Let i be v(8). Solve 0 = g - 5*t, -i*t + 7*t = 4*g + 16 for g.
-5
Let x = -185 - -86. Let s be 1*8*x/(-18). Solve 3*r = -5*i - 14 + s, 4*r = 2*i + 14 for i.
3
Let a(q) be the second derivative of 1/4*q**4 + 5/2*q**2 - 1/2*q**3 + 1/20*q**5 + 0 - 4*q. Let v be a(-4). Solve 2*m = 2*n - 14, 4*m - v + 5 = -2*n for m.
-3
Let x be (-4)/((-8)/6) + -3. Suppose -5*c + x*c + 15 = 0. Solve 4*h + 0*p - 2*p - 2 = 0, p - 4 = -c*h for h.
1
Suppose 0 = z - 1 - 1. Solve -3*c = o - 5, c = -z*o - 4 - 1 for o.
-4
Let x be (0 + 0)/(0 + -1). Let d = -8 + 11. Solve d*r + 6 = -x*r + 5*u, 0 = 3*r - u - 6 for r.
3
Let v = -5 + 13. Suppose 2*x - v = -3*l + 3, 5*x - 19 = l. Suppose -5*w - 27 = -o - 0*w, -x*w = o + 18. Solve 4 + o = 3*j + 2*d, 0 = 5*d + 15 for j.
4
Let z = -7 + 8. Suppose -2*t + 7*g = 2*g - z, 3*g + 3 = 2*t. Solve t*k + 7 = 4*d + 2, k + 1 = d for k.
1
Let l be (-3 - 82/(-10)) + 1/(-5). Let x(p) = -3*p**2 - p - 2. Let o be x(-2). Let n be ((-3)/o)/(1/4). Solve 0 = -l*b - 4*d - n - 12, -4*b = d + 6 for b.
-1
Suppose -6*v + 3*v = -12. Suppose 0 = -0*n + v*n. Solve -6*a + a - 15 = n, -4*h = a + 7 for h.
-1
Suppose -2*x + h + 23 = -4*h, 4*h + 20 = 2*x. Let o be (11 - (-1 - -3)) + 3. Suppose x = -2*q + o. Solve -n - b = 4*n + 17, q*b + 4 = -4*n for n.
-4
Let m be 1*(-2 - -30 - -2). Let s be m + 0 + -5 + 2. Solve 0 = -2*q - 5*v - s, q + 2*v + 12 = -q for q.
-1
Let k be 0 + (0 - 0 - 0). Suppose k = 3*h - 4 - 5. Suppose -3*v + 10 = -v. Solve -u = -3*m - 3, 5*m - u + v = h*u for m.
-1
Let x(y) = 4*y + 1. Let o be x(1). Solve -2*p - 2*p + o*h = 19, 7 = 2*p + 3*h for p.
-1
Let r(a) = -a - 2. Let u be r(-8). Suppose -7 = -2*o + u*o - 5*k, 11 = 4*o + k. Solve -2*c + 3*v = 6, -o*c - 2*v = 1 - 5 for c.
0
Let b = 4 + 1. Solve -f = -0*f + c - 4, 0 = -b*f + 5*c - 20 for f.
0
Let w(n) = -n**3 - 9*n**2 + 5. Let q be w(-9). Solve -s = -q*b - 8 - 14, -4*s = 2*b for b.
-4
Suppose 0 = -9*n + 7*n - 12. Let h be (-15)/n*6/5. Solve w - 16 = -5*m, h*m - 28 = 5*w + m for w.
-4
Suppose -w = -6 - 0. Let k = -5 + w. Suppose -3*m = 4*t - 38, 5*t + k = 4*m + 2. Solve -3*b = -v - 13, 15 = -5*v + 4*b - m for v.
-1
Let f = -14 + 7. Let b = f - -9. Suppose 2*v - 6*v + 12 = 0. Solve -v*x + 22 = b*h, 2*h + 28 = 6*h + 2*x for h.
5
Let z = 12 - 14. Let b be z + (5 - 2 - 1). Solve 19 = -v - 5*d - b, 2*v + 23 = -5*d for v.
-4
Let w(t) = t + 22. Let u be w(-19). Solve -6*q + 2*l + 10 = -u*q, -4*l = 3*q + 20 for q.
0
Suppose -6*f = -76 - 2. Solve 2*o - 3 = -3*s - o, -3*s - 5*o + f = 0 for s.
-4
Let f = 11 - 8. Solve t - o + 1 = 0, -4*t - f*o - 26 = -1 for t.
-4
Let u = -1 - -1. Suppose 2*r = 4*o, -2*o - 6 = -5*r + 2*o. Solve u = -r*m - 0*m + v, -2*v + 1 = -5*m for m.
-1
Let p be (10/4)/((-20)/(-16)). Solve -29 = -4*h + w + p*w, -4*h + w = -23 for h.
5
Suppose 0 = 5*l + 8 + 12, 3*i + 4*l + 10 = 0. Solve 4 = -3*o + 5*d - 3*d, 4*o = i*d - 6 for o.
-2
Suppose 3*a - a = 0. Suppose a*r + 5*r = 0. Solve r*u