5*h for h.
1
Let f = -4 - -18. Let g be 32/f + 18/(-63). Solve -4*p = -4*a - 8, 4*a = p - g + 6 for p.
4
Suppose -3*w + 4*n - 29 = -9, 0 = w - 5*n + 25. Solve w = -0*h - 3*h + 6, -5*g + 3*h + 9 = 0 for g.
3
Let h = -831 + 845. Let o(i) = -i**2 - 4*i + 1. Let q be o(-3). Solve -q*z - h = -0*s + s, 0 = 5*z + 15 for s.
-2
Let a(f) = -f**2 - 5*f - 3. Let d be a(-3). Suppose -d - 1 = -v. Suppose -95 = -5*g + w, -4*g + w - 7 = -84. Solve 9 = -3*o, 4*o + 6 = v*u - g for u.
3
Let q(t) = t**2 - 12*t + 17. Let w(u) = 11*u**2. Let g be w(1). Let l be q(g). Solve l = 2*n, 5 = 2*d - 5*n + 20 for d.
0
Let h(o) be the second derivative of 2*o + 0 - 1/6*o**3 + 7/2*o**2. Let b be h(7). Solve 16 = 4*k, b*x + x - 3*k = -13 for x.
-1
Let a(n) = 7*n**3 - 13*n + 10. Let w(f) = 8*f**3 + f**2 - 14*f + 11. Let b(h) = 7*a(h) - 6*w(h). Let q be b(7). Solve s + 8 = -5*u, 3 = q*u - 7*u for s.
-3
Let j(n) = 5*n**2 - 1. Let i be j(1). Solve -3*d - 36 = -i*q - 16, 5 = 3*d + q for d.
0
Suppose -146 + 170 = 6*i. Solve 0 = -i*b - n + 2*n - 14, n - 17 = 5*b for b.
-3
Let b = 9 + -3. Let h(g) = g**3 + 10*g - 7*g**2 + 107 + 0*g**3 - 115. Let t be h(b). Solve 2*f = -4*o - 0*f + t, -3*o + 2*f - 2 = 0 for o.
2
Let o(g) = g**2 - 5*g + 12. Let u be o(3). Let d be 1 - (-4)/u*3. Solve y = 3*v + d*y - 1, 0 = 3*y - 6 for v.
-1
Let w(k) = k**3 - k**2 - 24*k + 49. Let q be w(4). Solve 11 = -4*v + f, 3*f = -4*v + 6*f - q for v.
-4
Suppose -5*c + 28 = 2*p - 9, -4*p + 32 = -4*c. Solve 0 = 6*m - p*m - n + 16, m + 5*n - 8 = 0 for m.
3
Let n be 2 - (-8 - -4 - 1). Suppose -2*s = 2*g - 16, -n*s + 5*g + 90 = -2*s. Solve 5*p = -2*x - s, -5*p + 2*p = 2*x + 7 for x.
1
Suppose o - 3*q = -15, 2*q + 42 + 3 = -3*o. Let b be (-5)/(o/9) + -1. Suppose b*j - 6*j = -16. Solve -17 = -4*n + h, h + 12 = n + j for n.
3
Let a be (-238)/(-49) + (-2)/(-14). Suppose -a*u + u = -24. Suppose -u*x + 10 = -x. Solve -3*z + 4*n - 4 = 0, -x*z - n - 16 = 3*n for z.
-4
Let w(r) = -r**2 + 32*r - 172. Let l be w(25). Solve 3*i = t - 1, -5*i - 3*t = -4*i - l for i.
0
Let u = -292 - -308. Solve -4*r + 3*n + 37 = -2*n, 3*r = -5*n - u for r.
3
Suppose 0 = 34*n - 16*n - 72. Solve c + 5*z = -20, -n*c - z - 4 = -5*c for c.
0
Let m = -8 - -23. Let j be (-11)/(-13) - 12/(-78). Suppose 3*s - j = -g, -2*g + 5*s + 5 + 8 = 0. Solve -5*h + 23 = -y + 3*y, g*h - m = -5*y for y.
-1
Let c be (8 + 1)*34/51. Suppose 2*d + 0*d = c. Solve d*i - m = 7, -i - 5*m = i + 18 for i.
1
Suppose 249 = 172*s - 783. Let h(o) = -3*o - 1. Let t be h(-2). Suppose -2*u - t*p - 10 = 0, 5*u + 3 = 2*p + 36. Solve s*b = b, -x + 4*b = u for x.
-5
Suppose -v + 4*g = 3, -2*g = 4*v + 6 + 6. Let j(l) = l**3 + 4*l**2 + l - 1. Let b be j(v). Let t = 21 - 16. Solve b*w + 3*h = -0*h + 15, -3*w + 9 = -t*h for w.
3
Let t be -10*2/(-90) + 68/18. Solve -7*z + 2*z = 2*r + 30, -2*z + 12 = -t*r for r.
-5
Suppose 10 + 2 = 4*l. Let m be -1 - -2 - (0 - l). Solve z + 0*z - 4*b = -6, 3*b = z + m for z.
2
Let t(b) = -b + 8. Let s be 44/10 - 5/(75/6). Let n be t(s). Solve a = -5*m - 14, 0 = 3*m + 2*m + n*a + 26 for m.
-2
Let w be (26/(-39))/((-2)/(-30)). Let i = 15 + w. Suppose -5*y + 72 = -18. Solve -3*b + y = -3*c - 0*c, i*b + c - 12 = 0 for b.
3
Let s(l) = -2*l - 7. Let z be (1/7 + -1)/(2/14). Let m be s(z). Solve 0 = 3*y - 5*n - 27, 4*n = m*n + 3 for y.
4
Let g be 6*(-7)/(-420)*0. Solve -5*b - 4*z + 13 = g, -21 = -5*b + 3*z + 13 for b.
5
Suppose 3*r + 4*u = -14, -4*r + 7*r = -u + 1. Let s be (-1)/r - ((-18)/(-12) + -2). Solve -x - 8 = t, s*x - x + 4*t = -7 for x.
-5
Let k(w) = w**3 + 4*w**2 - 4. Let y be k(-3). Let i = 3 - 1. Let o be i*14 - (-14)/(-7). Solve -2*u + 5*u + o = 5*l, -y*l + 16 = 2*u for l.
4
Let f be (-7 - (-1 - 3)) + 6. Suppose 0 = 5*g + 20, 7*n = 6*n + g + f. Let x be (6 + n)*(-10)/(-25). Solve -2*m - 7 = 2*b + 1, x*b - 13 = 5*m for b.
-1
Let k = -15 - -20. Let w = k - 1. Let n = -37 + 42. Solve 0 = -n*o, 5*z + w*o = 2*o + 15 for z.
3
Let i(d) = 2*d. Let m be i(-2). Let b be m/((64/(-20) + 3)/1). Let z(k) = k**2 + 8*k + 2. Let l be z(-9). Solve 5*c = b, 5*g + 0*g - c - l = 0 for g.
3
Let z(b) = b**2 - 9*b - 11. Let f be z(8). Let s = -17 - f. Let k be s/((2/(-2))/(-4)). Solve a + 3*d = d + k, -2*a - 5 = -3*d for a.
2
Let b(x) be the third derivative of x**5/20 + x**4/12 - x**3/6 + 13*x**2. Let g be b(1). Solve -3*c = 3*f - 3, 2 = 3*f + g*c - 5 for f.
-3
Let d(s) = -6*s**3 + 18*s**2 - 2 + 7*s**3 + 0 + 17*s + 5. Let p be d(-17). Solve 3*a = 4*i - 34 - 1, p*a + 3*i = 0 for a.
-5
Let o be (-88)/(-48) + 3/18 + 2. Solve 5*w = -f + o*w + 3, 3*f - 4*w = 2 for f.
2
Let a be (-5)/(-3)*(-45)/(-75). Solve 0 = -5*i - 4*k - 23, -i = -k + a - 0 for i.
-3
Suppose -4*a - 11 = 13. Let m = a - -6. Suppose -2*w + w + 5*x = -11, m = -w - 5*x + 11. Solve -3*h + 4*l + w = 0, l = 5*h - 0*l - 7 for h.
1
Suppose 5*f - 4 = 4*f. Let x be (-2)/(-4)*(-72)/(-18). Suppose 2*j + 6 - 14 = 0. Solve j*b - 7 + 2 = -d, -2*d = f*b - x for b.
2
Let h be ((-3)/2)/((-2)/4). Let r(b) = -b**2 + 2*b + 3. Suppose 4 = -8*u - 4. Let d be r(u). Solve d = 3*j + h, -6*j + j - 5 = 4*i for i.
0
Suppose 96 = -l - 3*l. Let q = 28 + l. Solve -4*v + p = -1, q*v - 3*p = p - 8 for v.
1
Let f(o) = 6*o + 68. Let r be f(9). Let l = 126 - r. Solve 0 = 5*t - 5, 3*d - l*t - 7 = -2 for d.
3
Let n(v) = 28*v - 120. Let o be n(5). Solve 4*z = 5*u - o, 0*u + 2*z + 10 = 4*u for u.
0
Let q(o) = -35*o + 186. Let n be q(5). Solve -2 = p, -n = -3*u + 4*p + 9 for u.
4
Let i(a) = -3*a - 24. Let t be (-2)/6 - (-23)/(-3). Let j be ((-36)/t - 4)*-20. Let y be i(j). Solve -4*l + 2*n + 12 = y*n, 4*n - 4 = 0 for l.
2
Let j = -203 - -205. Solve -2*g + 2 = j*n, -5*n - 3*g + 2 = g for n.
-2
Suppose -2*p = j - 32, -176 = -4*j + 2*p - 58. Solve 3*a - 19 = 5*q + 9, j = -5*q + 5*a for q.
-5
Suppose -8 + 5 = r + 5*f, -4*f = 4. Solve 0 = 5*m + r*h + h + 31, 5*m + 15 = 5*h for m.
-5
Suppose b - 4*r = r + 5, 20 = 4*b + r. Solve 3*o + b*y + 0 = 8, -20 = 4*o - y for o.
-4
Let z be -1*(0 - (2 - -2)). Suppose 3*n = 3*b, -5*n + 4 - 2 = -4*b. Let a = 1 + b. Solve -24 = 8*q - 3*q + z*t, -3 = a*t for q.
-4
Let y be (262 - (-6 - -2))*2/(-4). Let q = -130 - y. Solve 0*a + q*a - 11 = 2*n, 0 = -3*a - 4*n + 23 for a.
5
Suppose -3*v = -5*c + 204, -v + 2*v + 82 = -3*c. Let g = -46 - v. Solve 0 = -5*p + 4*q + g, -6 = 4*p - p + 5*q for p.
3
Let f(m) = m**3 - 7*m**2 + 7*m + 12. Let b be f(5). Let t be ((12/(-9))/1)/(2/b). Solve -t*g = -x - 7*g + 12, 2*x - 2*g = 0 for x.
2
Let w(z) = -2*z**3 + 14*z**2 - 16*z + 27. Let g be w(6). Solve g*r - r = -4, -2*r = i + 5 for i.
-1
Suppose 4*j = -s + 15, 0*s + j + 6 = 3*s. Solve 0*z + s = 3*i - 2*z, 0 = -4*z + 12 for i.
3
Suppose -25*z = -26*z + 2. Suppose z*b - 4*k + 8 = 0, 0 = -b - k - 4*k + 10. Solve b*n - 5*n = 5*r + 15, 0 = r - 2*n - 6 for r.
0
Let c = -2050 + 2053. Solve 2*b = 5*j - 23, -4*b = -c*j + 16 + 9 for j.
3
Let q(a) = 10*a**2 - 3*a + 2. Let j be q(1). Suppose 0 = 5*f + 5*i - 35, -2*f - 5*i = f - 27. Solve -4*n = l + 2, j*n - 4*l = f*n + 8 for n.
0
Suppose -3*u + 15 = q, -4*q = -4*u + 1 + 3. Solve -2*w - x = 3, 2*w - 2*x = q*x + 27 for w.
1
Let j = -6 - -14. Suppose -5*h + 3*y = y - j, -3*h + 9 = 3*y. Let n(o) = o**2 - 21*o + 107. Let t be n(13). Solve 14 = t*x + h*q, -5*x + 8*q - 10 = 3*q for x.
2
Suppose 3*w + 19 = 5*l + w, -2*w + 8 = 4*l. Let u be -14 + (1 - (l + 2)). Let o = 26 + u. Solve o = -4*k + 3*f, -k + 0*k + 4*f = 15 for k.
1
Suppose 0 = -5*m + 19*m + 56. Let c(v) be the first derivative of -v**3/3 - 4*v**2 - 11*v + 2. Let j be c(m). Solve 0 = -3*a + 8 + 4, j*t = -2*a + 28 for t.
4
Let o(s) = -s**2 - 6*s - 3. Let c be o(-5). Let d = -5 + c. Let k be 6/((8 - 3) + d). Solve 0*p + 9 = f + k*p, -6 = -2*p for f.
0
Suppose -5*d = 5*n - 0*d + 55, 20 = -4*d. Let y = n - -6. Suppose y = -4*o - 0*o + 20. Solve -5*q + m = -10, m + 4*m = o*q - 30 for q.
1
Let b be (84/16)/1 - 10/8. Solve -b*c + 6 = 2*z, -2*z + 3 = -c - 7*z for c.
2
Suppose -k + 4*q + 24 = 0, -3*k + 4*q = 3*q - 17. Solve 5*h + 15 = 3*s, 3*h = k*h + 3*s + 3 for h.
-3
Suppose 2*i - 5*i + 12 = 0. Suppose 0 = m + 12 - 17. Solve h = -5*d + 13 + 8, m*d + i*h = 24 for d.
4
Suppose 5*k - k = 8. Let q = -468 + 245. Let w = -206 - q. Solve 5*a = k*f - 0*f + w, a - 8 = 5*f for f.
-1
Suppose -4*g + 2*m + 18 = m, 0 = -3*g - 4*m + 4. Suppose -35 = g*b + b. Let v = 1 - b. Solve