 - 16 = -g for g.
5
Let v(u) = -u + 1. Let s be v(1). Let n(b) = 4*b + 1. Let m be n(1). Solve 0 = -m*q - 3*c - 9, 3*q + s*c - 9 = 3*c for q.
0
Let x(i) = -i + 4. Let f = -20 + 28. Let m be x(f). Let t(r) = r**2 + 3*r - 3. Let q be t(m). Solve -3*a + 9 = -2*p, -2*a - 5*p + q + 24 = 0 for a.
5
Let b be -6*(6/2)/(-6). Suppose -3*j = -4*h + 6, 0 = 2*j + 3*h - 10 - b. Let c = j - 2. Solve 3*o + 4*p + 7 = 0, 3*o - p + c*p = 13 for o.
3
Let w = 37 + -22. Suppose w*c - 15 = 10*c. Solve 5*v = c*h - 11, -10 = 4*v + 3*h + 15 for v.
-4
Suppose -4*o = o - 5. Let q(m) = -m**3 + 9*m**2 + m - 7. Let j be q(9). Suppose 2*d - j - 4 = 0. Solve -k = 2*p - p + o, -4*p = d*k for p.
3
Suppose 0 = -5*i + 3*w + 15, -3*w + 0*w = 15. Solve i*q - 4*q - 36 = -4*g, -q = 3*g - 11 for q.
-4
Let g = -556 - -292. Let z be 2/7 + g/(-56). Solve -z*r - 25 = 0, -5*l + r = -l - 5 for l.
0
Let s = 3 + 1. Suppose 0 = -s*t + 2*c - 4*c + 10, 3*c + 3 = 3*t. Solve 0 = 3*q + 4*m + 15 - 1, 2*q = t*m for q.
-2
Let k(l) = l**2 - l - 7. Let c be k(-6). Let n be (-34)/2*-2 + 1. Solve 0 = 4*t + 3*o + c, 3*t + n = -4*o - 0*o for t.
-5
Let c = 2 - -8. Let v(y) = 5*y + 7*y**2 + y**3 - 3 - 2*y**3 - c*y. Let w be v(6). Solve -4*u - 5 = j, -7*u = -j - w*u - 5 for j.
-5
Suppose -2*l + 3*l = 60. Let v be (-8)/(-20)*l/2. Solve 3*d + v = 4*f - 7, 5*d = 4*f - 29 for f.
1
Suppose -4*z - 16 = w, 2*z - 3 = -4*w + 3. Solve 0 = -w*c + 2*c + 4, -4*c = h - 12 for h.
4
Let l be 11/3 + 4/12. Let u be (l*-2)/(2/(-4)). Let y = 2 + 2. Solve 0 = -3*j + 3, -g - u = 2*g - y*j for g.
-4
Suppose 4*j - 5 = -5*a - 13, 0 = 5*j - 2*a - 23. Solve j*x - 24 = -2*x + v, -18 = -3*x - 3*v for x.
5
Let w(g) = -18*g + 2. Let d be w(-2). Suppose 2*f + 52 = -h + 5*h, -5*f = 4*h - d. Solve 5*r = -2*y + 18, -2*r - y - y + h = 0 for r.
2
Let f(t) = t**2 + t - 8. Let y be f(4). Suppose -r - 2*r = -y. Solve -3*u + 3 = -2*u - 2*l, -r*u + 19 = -l for u.
5
Let j be 2/(-9) + 6062/63. Let b be j/20 + (-1)/(-5). Solve b*q = -5*s - 10, -4*q - 9 = 5*s - 0*s for s.
-1
Let d = 26 + -26. Solve -v - 5 = -s, -5*v + s = -d*v + 13 for v.
-2
Suppose 4*w - 108 = -0*w. Let d be 2*1*w*2. Let j be d/14 + 6/21. Solve m = -2*f + j, -m - 3 - 1 = -f for m.
0
Let q(n) = -3*n - 4. Let g be q(-7). Suppose -3*k = 2*d - 1, -3*k - d + 3*d + g = 0. Solve i - 2*r + 26 = 6*i, 0 = -i + k*r - 5 for i.
4
Let n(v) be the third derivative of 11*v**5/60 - v**4/24 + 4*v**2. Let f = 2 - 1. Let u be n(f). Solve z + 0*z + 2 = g, -3*z = -g + u for z.
-4
Let p(n) = n**2 - 4*n - 4. Let u be p(3). Let g = 12 + u. Let c be ((-2)/g)/((-2)/10). Solve c*m + 2*h - 3 = -7, -h + 16 = -5*m for m.
-3
Let i = -18 + 20. Suppose 5 = -r + i*r. Solve 3*c + 3*d + 4 + r = 0, -c - 3*d = 9 for c.
0
Let s = 33 - 27. Solve 2*l - 13 = 5*c, -c - s + 5 = 0 for l.
4
Suppose -3*f + 4*d = 0, 4*f + 0*d - 2*d = 0. Solve -4*q - 2*z = f, 2*q - 6*q + 2*z = 16 for q.
-2
Suppose -6 = z + 2. Let k be (-18)/z - (-1)/(-4). Solve 5*m + 15 = 5*i, 4 = -m + k*i - 0*i for m.
-2
Suppose -15 = 3*j, 0*n = 3*n + 5*j - 14. Suppose 5*k = -n + 33. Solve -4*q = -8, -6*g + g - 3*q - k = 0 for g.
-2
Let v(a) = a - 5. Let w be v(7). Suppose w*q - 5 = q. Solve q*f = -5*k, -2*k + 0*k = 6 for f.
3
Let z = 3 + -3. Let q be z/((-4)/(-2 + 4)). Solve 5*x + 2*a + 22 = q, -a + 3 = 2*x - 3*x for x.
-4
Let d = -8 + 11. Suppose -d*n + 4 = -n. Solve 4*t + n = x - 6, -8 = -2*x for t.
-1
Let l be ((-8)/6)/((-1)/6). Let c be (-1384)/(-30) - l/60. Solve -6 = 4*i - 5*u - c, 2*i - 6 = -u for i.
5
Suppose 5*q - 37 = -5*t - 2, -q - 5*t + 27 = 0. Suppose -a = q*a - 12. Solve 3*l = a*l - d + 4, 6 = 2*d for l.
-1
Let d(i) = -i**2 - 3*i + 2. Let c be d(-2). Suppose -k - 9 = -3*p, -c*p + 10 = 5*k - 2. Solve 2*b - 11 = p*z - 3, -b = -5*z - 4 for b.
4
Let q be 1/(-3)*(5 - -1). Let o = -8 - q. Let z be (o/4)/((-2)/4). Solve -6 = -n - z*b, 2*b - 5*b = -2*n - 6 for n.
0
Let n be (-9 - 0)*(-1)/3. Suppose -3*g + r - 20 = -7*g, -g + 16 = n*r. Solve -g*j - 5*u = -26, 4*j - 3*u - u - 8 = 0 for j.
4
Let k(s) = s**3 + 2*s**2 - s. Let m be k(1). Solve 0 = -2*y - 2*y - 3*w, -5*y - m*w + 7 = 0 for y.
3
Let p(x) = -x**3 + 6*x**2 - 4. Let h be p(6). Let r = -1 - h. Let c = 1 - -3. Solve -m = v, c*v = r*m + 2*m - 9 for m.
1
Suppose 9 = -g + 4*r - 0*r, 5*g - 24 = -3*r. Solve -5*c = -g*o + 15, 0*o + 3*o - 15 = 2*c for o.
5
Let m(a) = -2*a**3 + 4*a**2 + 2*a - 2. Let f be m(2). Let l = -4 - -2. Let r be (-2)/l - (1 + -3). Solve 0 = r*s - 2*o - 0*o - 10, f*o - 6 = -s for s.
4
Let n = 50 + -45. Solve 0 = -2*s + 3*s + 2*u + 9, -3*s - n = -5*u for s.
-5
Suppose 43 = 3*q - 68. Let r = q + -22. Suppose 0*w - 5 = -w, r = 4*f - w. Solve -f*t = -3*g + 9, 2*t + 0*t = 0 for g.
3
Let w be (-3 - 0 - -3) + 8. Let t be ((-45)/6)/(-5)*w. Solve -2*p + 3*q = t, 2 - 14 = p - 3*q for p.
0
Suppose 10 = -2*g, 2*s + 2 = -4*g + 6. Let z = 14 - s. Solve 0*l - 8 = -l - 2*i, -z*i = -4*l - 8 for l.
0
Let h = -11 + 14. Suppose 5 = h*d - 1. Solve -d*o - 4*j - 30 = 0, -40 = 5*o - o + 4*j for o.
-5
Let a be 29 - 2 - (0 + 0). Suppose -13 = -5*f - 4*u, -2*u - 2*u - a = -3*f. Suppose -36 = w - f*w. Solve -4*b = -v + 5, 0 = -b - 5*v + 16 + w for b.
0
Let h(g) = g**3 + 10*g**2 + 9*g + 3. Let k be h(-9). Solve -6 = -k*t + 3*q, -t = 2*t - 2*q - 1 for t.
-3
Let b be 2/3 - 10/(-30). Suppose v + b = 15. Solve 3*j + v = -5*s, -3*s - 5*j = 19 - 1 for s.
-1
Let b be 2/10 + (-204)/(-5). Suppose 2*m + 12 = -5*u + b, 3*m + 19 = 5*u. Suppose 0*f + u = f. Solve f*g - 20 = c, -c - 2 = 3*g - 14 for g.
4
Let d(n) = n**3 - 3*n**2 + 2*n - 4. Let t be d(3). Let x(c) = -c - 2. Let h be x(-5). Solve 18 = l + 4*p, -t*p = -h*l - 5*p + 9 for l.
-2
Let t(v) = v**3 - 7*v**2 - 9*v + 11. Let y be t(8). Suppose -c + 96 = y*c. Solve 2*p + 7*f = 3*f + c, 3*p = 2*f + 4 for p.
4
Suppose -47 + 147 = 5*a. Solve 4*c + 24 = -3*x, a = -2*x + 3*c - 7*c for x.
-4
Let w = 42 + -24. Solve 3*m - 5*a + w = -2*a, 0 = -3*m + 4*a - 23 for m.
-1
Let n(c) = -c - 4. Let r be n(-7). Solve r*x + x + 3 = l, 2*x + 2*l + 4 = 0 for x.
-1
Let f be (-1)/1 + 10/(-2). Let q = 10 + f. Let m = 20 - 12. Solve -3*a - a - m = -3*l, 2*l - q = 2*a for l.
0
Suppose -4*s + 6 = 3*p, 0 = -5*p - 4*s - 2 + 12. Solve p*t + 2 = -3*g + 4*g, 5*g = -3*t - 3 for t.
-1
Let a be (0/(-1))/(-2 - -3). Let c = -7 - -10. Let i = c - a. Solve 0 = 4*g - 5*d - 26, -g - i*d = -0*g + 2 for g.
4
Suppose -8 = -8*j + 4*j. Solve t - j*l + 8 = -t, -3*l - 20 = 5*t for t.
-4
Let i = 8 - 5. Suppose 0*m = -2*m. Solve -i*q = 5*b - 15, 3*b - 2*q + m*q + 10 = 0 for b.
0
Let z = 25 + -25. Solve 12 = -2*o + 5*h, -5*o + 12 = -z*o - 2*h for o.
4
Let i = 8 - 10. Let n(p) = -p. Let g be n(i). Suppose t - 13 = -2*x - 4*t, g*t - 6 = -x. Solve -3*k + 3*w - 8 = -k, 16 = -x*k - 4*w for k.
-4
Let b be (-19)/(-5) - 12/15. Let p be 0/(-1 - (-5 + b)). Let l be (-1 - -6)/((-2)/(-2)). Solve 3*k + l*o = -0*o + 25, p = -5*o + 10 for k.
5
Let s(o) = 15*o**2 - 10*o - 6. Let c(t) = -7*t**2 + 5*t + 3. Let n(z) = -13*c(z) - 6*s(z). Let b be n(6). Solve 0*y + 3*p = -b*y + 3, 0 = y + 3*p + 7 for y.
5
Let d(t) = -3*t - 3. Let o be d(-2). Solve -4 = v, o*v = -5*b - 27 - 10 for b.
-5
Let x(z) be the second derivative of -z**5/20 - z**4/12 + z. Let i be x(-2). Solve 0 = -i*r + q - 12, 4*q - 6 = 4*r + 6 for r.
-3
Let u be 1/(-2 - (-10)/4). Solve 4*l + u*o = -2*o, 3*o = -4*l + 1 for l.
1
Suppose -3*v = -2 + 2. Solve v = -4*z, 4*z + 20 = -4*u - 0 for u.
-5
Let y(s) = -2*s + 2. Let k be y(-3). Suppose -k = 5*g + 22. Let b(o) = -2*o - 7. Let j be b(g). Solve -4*h + 18 = -3*x - 17, 0 = -5*h - 4*x + j for h.
5
Let z = -15 + 15. Solve 0 = -2*j - 5*f - 0*f - 6, 2*j - 2*f - 8 = z for j.
2
Let a(i) = -i + 13. Suppose -5*h + 27 = -2*h. Let w be a(h). Solve w*t + 28 = 2*b, -37 = 4*b - 7*b + 5*t for b.
4
Let y = 9 + -6. Let h be 8/(-28) + 32/14. Suppose 4*r = -d, -4*d + h*r + 42 = -3*r. Solve y*b + 2 = -4*q, -d*b = -5*q - 4*b - 18 for q.
-2
Let k(h) = 7 + h + 12 - 7. Let y be k(0). Let d be 14/3 + (-8)/y. Solve 0 = 2*m + 3*m + d*n + 8, -3*m - 2*n = 6 for m.
-4
Let v(t) = t**3 - 4*t**2 - 2*t - 10. Let j be v(5). Solve -g = 5*w + 18, -10*w + j*w = -4*g + 3 for w.
-3
Let m(t) = t**2 - 2*t + 1. Let i be m(3). Suppose f = i*s + 5, 13 = -3*f - 0*s - 2*s. Let v = 0 - f. Solve -25 = -5*u, -u + 6 = -v*x + 2*x for x.
-1
Suppose 0*o - 69 = -3*o. Suppose -2*l + 4 = -10. 