5*o + 30 = h for h.
5
Let j(h) = -1 + h + 3*h - 3*h. Let n be j(6). Suppose 0 = c - n. Solve -4*o = -2*w - 22, 3*o = w - c*w for w.
-3
Suppose 2*t + 11 = 19. Suppose 3*i = -t*q + 20, i = -0*i - 2*q + 8. Solve 4*s - l + 19 = 0, i*l - 7*l - 11 = 5*s for s.
-4
Suppose -51*d = -4*d - 188. Solve f + 18 = -5*c, 3*c - 5*c - 2*f - d = 0 for c.
-4
Let h(u) = -4*u + 89. Let m be h(19). Let q(s) = 33*s - 6. Let x be q(4). Suppose 2*p - m = 5*b - 136, -5*b = p - x. Solve 5*k + 4*d + b = -0*d, 0 = -4*d for k.
-5
Let g = -357 + 386. Solve -2*j - 3*j + 4*p + 5 = 0, -4*p - g = 3*j for j.
-3
Let h be ((-1)/(-2))/(9/36). Solve -9*g + 12*g = -3*c - 6, -h*g + 4*c = -14 for g.
1
Let q be (0 - 1)/(6/(-168)). Let c = -33 + q. Let y be c/2*(-6 - -4). Solve y*g + 16 = -4*a - 0*g, 0 = 3*a + g + 12 for a.
-4
Let b be (1*-2 - -2) + 22. Let h be (-7)/(-3) - (5 + 56/(-12)). Suppose -h = -z + b. Solve 5*f - 7 = -4*x + 9, 5*f - 4*x - z = 0 for f.
4
Let u = -36 - -58. Suppose -207 + u = -5*l. Solve 2*v - 4 = 6*v + 4*s, -3*v = -5*s - l for v.
4
Let i be 4 + -3 - ((-4)/4 - 8). Solve 4*m = 2*u + 18, -5*u - i = 2*m + 11 for u.
-5
Let l(y) = y + 4. Let z be l(6). Suppose 0 = -3*m + 2 + z. Let u be 3720/116 - 8/116. Solve m*x + 18 = -2*n - 4, 4*n + 4*x = -u for n.
-5
Let n = 868 - 847. Solve i = r - 1 + 2, -3*i - 3*r = -n for i.
4
Let i(h) be the third derivative of 0*h + 0 + 1/12*h**4 + 4*h**2 - 5/3*h**3. Let s be i(6). Solve 0 = -x - 4*w - 7, 0 = -s*x + 2*w - 6*w - 6 for x.
1
Suppose 4*u = 4, 0 = 2*o + u + 13 + 4. Let g(d) = d**2 + 7*d - 13. Let m be g(o). Suppose -b = -m*b. Solve 2*k - 6 = w, -4*k = -b*w + 4*w for k.
2
Suppose 5*v = 9*v - 400. Suppose -5*p + v = 5*q, 2*p + 5*q + 0*q = 40. Suppose -5*m + 85 = p. Solve 3*a + m = -5*w, -w + 2*a + 0*a = 13 for w.
-5
Suppose -2*h + 9 = -5*w - 27, 4*w = 4*h - 72. Solve 4*t + 2*b = 4, 2*b - h = -2*t - 3*b for t.
-1
Suppose 11*l - 26 - 18 = 0. Solve l*o - z = 2*z - 7, 4*o - 4*z + 12 = 0 for o.
2
Suppose -3*i = -i - 32. Suppose -2*k = -3*p + 4, 5 + 11 = 4*p. Suppose -12 = 4*q, -4*a = k*q - 0 - i. Solve v = -2*z + 3 - 6, -4*z - a = v for z.
-2
Let t(f) = 3*f**2 - f - 10. Let u(o) = o**2. Let y(s) = -t(s) + 2*u(s). Let x be y(3). Solve -3*p + 12 = 2*i + i, x*p - 16 = -5*i for i.
0
Let g be 64/(-16) + (-21)/(-3). Solve -4*y = 3*j + 8, -8*y + g*y - 10 = 5*j for j.
0
Let r be (-8)/(132/11 - 13). Solve 3*o + r*l = 10*l - 5, 5*o + 13 = l for o.
-3
Suppose 12 = 3*r + r. Let x(f) = f**3 + 2*f**2 - f + 2. Let y be x(-2). Suppose 56 - 4 = y*k. Solve -r*o + o - k = 5*s, -3*s = 3*o + 15 for s.
-1
Suppose -70 = -4*j + 5*d, -25 = -j - 0*j + 5*d. Solve -4*z - j = -7*z - 3*g, -5*g + 25 = 0 for z.
0
Suppose 3*x + 2 = -k + 10, 0 = -4*x + 4*k + 16. Let c(d) = -2*d**3 - 11*d**2 - 5*d + 5. Let g be c(-5). Solve -g*u + 5*i - 25 = 0, i + 3 = -x*u - 8 for u.
-4
Suppose -2 = 4*g - 10. Suppose -8 = 4*u, -26 = -6*m + g*m + 5*u. Solve 2*p = -0*t - t + 1, -m*t = -5*p - 17 for p.
-1
Let q be 122/42 + 12/126. Solve -f - q*k - 10 = -0*k, -3*f + 2*k = -3 for f.
-1
Let z be 1/(2 - (-39)/(-21)) - 1. Suppose 0 = z*u - 0 - 12. Solve w + 6 = 2*y, -5*w = -u*y + y - 6 for w.
2
Let v be ((-375)/(-20))/(-15)*-20. Solve 5*g + 3*j + v = -12, -g + 4*j = -11 for g.
-5
Let a = -61 + 64. Solve -2*v = -0*v - 2*f + 6, v = 4*f + a for v.
-5
Suppose 4 = -4*g, -10*h + 8*h + 4*g = -8. Solve d - 1 - h = 4*y, d = 2*y - 1 for y.
-2
Let p = -205 + 206. Solve 4*i = 3*i + 4*x - p, 0 = 3*x for i.
-1
Let m be ((-1)/(-3))/(60/720). Solve -m*o - 1 = 6*x - 9*x, 16 = -4*x + o for x.
-5
Let b(i) = -10*i - 3. Let u be b(-2). Suppose 5 = -3*d + u. Let x = d + 1. Solve -2*g = m - 3 - 8, -4*g + x*m + 1 = 0 for g.
4
Suppose -3*p = 2*p - 175. Let c = p + -21. Suppose 5*q - 10 = 0, c = w + 3*q + 4. Solve 16 = 2*s - 2*r, -3*r - w = -2*r for s.
4
Let d = 3 + -13. Let j be (16/d)/(2/(-5)). Suppose 3*n - n + j = 5*p, -5 = 2*p - 3*n. Solve 5*r + 17 = -4*i, -p*r - 15 = -5*i - r for i.
2
Let a be ((-2)/3)/((-6)/27). Suppose -u + 11 + 4 = 5*n, -5*n + 30 = 4*u. Suppose -u*o + 12 = -o. Solve -o*m + 3*l = -a, -2 = -m + 2*l - 0 for m.
0
Let n = -9 - -11. Suppose n*m - 13 + 5 = 0. Solve 0 = 4*c - 4*p + 8, 0 = c + m*p + 17 for c.
-5
Let n = -205 + 211. Solve -p = 3*p - 16, 2*u + n = 4*p for u.
5
Suppose 35*i = 36*i - 3*m - 12, -4*i - 2*m = -6. Solve 2*y + 8 = -5*f - 0*f, -i*y = 3*f + 12 for f.
0
Suppose -4 + 20 = 4*m. Let x = -4 + 10. Suppose -x*w - 8 = -10*w. Solve -w*r + 4*b = r + 15, -m*r + 5*b - 19 = 0 for r.
-1
Let a(u) = -u**3 + 2*u**3 - 7*u**2 + 4 - u**2 + 0*u**2 + 7*u. Let g be a(7). Solve 0*i + i = -5*h + 21, -4*h + 12 = -g*i for i.
1
Suppose -5*g + 9 = 4*l - 15, 0 = -3*g - 5*l + 17. Suppose 15 = g*k + k. Let i = -2281 + 2295. Solve 0 = -o - 4*o + k*d + i, d = -3 for o.
1
Let z(r) = -r**2 + 31*r - 150. Let c be z(25). Let i = -8 + 15. Solve -l + u - 3 = -i, c = 4*l - 3*u - 13 for l.
1
Let h(q) = q**2 + 3*q + 26. Let s be h(0). Solve -6*o = 2*a - 2*o - s, -o + 29 = 5*a for a.
5
Let z be 46/8 - 4/(-16). Suppose -2 = -z*a + 7*a. Let r be 3/(-6)*5*a. Solve r*o + l = 6*l + 40, 4*l = 2*o - 24 for o.
4
Suppose 31*i = 23*i + 16. Solve z = -i, 4*q + 4*z = -5 - 7 for q.
-1
Let i = 345 - 345. Solve i*j - j + 5*l = -2, -2*j - l - 7 = 0 for j.
-3
Suppose 6*p - p + o = 0, -3*o = -p. Suppose -3*n - 4*l + 12 = p, 2*n - l - 13 = 6. Solve -w = 2*a + n - 0, 0 = 2*a - 2*w + 2 for a.
-3
Suppose -5 = -3*j + 7. Suppose -b + w = -3, -j*w = 4*b - 6*b + 6. Suppose -6*q = -b*q - 12. Solve 2*r + q = p + 4*r, -4*p + 3*r - 17 = 0 for p.
-2
Suppose -36 = 2*d - 4*d + 4*h, 2*d - 27 = -5*h. Suppose -7*z = -4*z + 5*l + d, z + 2 = -l. Solve 0 = 5*u + 3*i - 5*i - 23, 3*u - 12 = z*i for u.
5
Suppose -5*n - 23 = -v, v + 4*n + 27 - 14 = 0. Solve 6 = v*w + 3*z, -2*w = -4*w + z - 5 for w.
-1
Let f(y) = -y + 6. Let b be f(7). Let l be b/4*-2*6. Suppose -m - l*k = 9 + 2, m + 2*k = -7. Solve 3*i + 9 = 0, 4*t - 3*t = i + m for t.
-2
Suppose y = -9*u + 4*u, 0 = 2*u + 3*y. Solve x = -x - 5*j - 9, u = -5*x - 4*j - 14 for x.
-2
Let j(l) be the second derivative of l**3 - 2*l**2 + 11*l. Let t be j(2). Solve 2*b = -4*p + t, 8*p - 9 = -3*b + 3*p for b.
-2
Let n(t) = -11*t + 72. Let i be n(6). Solve 3*f = 2*f + 3*j + 7, 0 = 4*f + 5*j + i for f.
1
Suppose 0 = -5*d - 10, -5*s + 0*s + 5*d = 150. Let m be s/(-8) + (-6 - -2). Solve v - 3 = t, -4*t - v - 12 = -m*t for t.
-3
Suppose p + 5*h = 10, 3*p + h + 55 = -p. Let t = p + 20. Solve 0 = 5*i + t*g + 5, -4*i - 11 = i - g for i.
-2
Let b(v) = -2 - 2*v**2 + 0*v**3 + 0*v - v**3 - 5*v + 6*v. Let l be b(-3). Suppose -12 = -2*o + 20. Solve 9 + 5 = 3*s + l*u, 4*u - o = -4*s for s.
2
Let r(v) = v**2 - 24*v + 119. Let k be r(17). Solve k*d - 13 = 3*d + 4*l, 4*d - 5*l = 24 for d.
1
Let m = 6 + -2. Suppose 5*t = -0*s + 4*s + 7, m*t - 22 = -5*s. Suppose -1 = t*k - 7. Solve 7 = -k*u - 0*u - 5*a, -3*u = 2*a + 5 for u.
-1
Let l(z) = -12*z - 71. Let p be l(-6). Solve -x + p = -3*s + 2, -x - 2*s = -4 for x.
2
Let u be (-3)/12 + (-1)/(-4). Suppose y = -2*k, u = k + y + y. Solve -5*p - 4*f + 37 = 0, -3*f + k*f = -p - 4 for p.
5
Suppose 12*b = 58*b - 92. Solve -2*r = p - 6, 8 = -4*r + b*p + p for r.
1
Suppose 50*y + 15 - 115 = 0. Suppose -10 = -c - 1. Let a be 2/((-3)/(c/(-2))). Solve a*v + y*u + 1 = 4*u, -32 = 4*v + 5*u for v.
-3
Suppose 3*b - 16 = g, 3 = -5*g - 2. Suppose -2*o - 3*o = 2*t - 2, b*t = 4*o + 5. Suppose 3 = -3*h + 4*h. Solve o = 3*w + h*z - 21, z + 3*z = 16 for w.
3
Let w(d) = -2*d**3 + 36*d**2 + 2*d - 7. Let z be w(18). Solve -5*q = x + 19, 3*q = -9*x + 4*x - z for x.
-4
Let t = -48 + 51. Let f = -2 - -14. Solve -t*d + y = -12, -y = 3*d - 6*y - f for d.
4
Suppose -24*z - 4 = -26*z. Solve -k + 8 = 2*w, 4 = -z*k - 10*w + 11*w for k.
0
Let r(h) = 2*h - 9. Let m be r(5). Suppose 4*a = -2*x + 8, 0 = -4*x - 0*x - 16. Solve -3 = f + a*y - 5*y, -y = f + m for f.
-2
Let d be 180/42*(-14)/(-3). Let n = d - 15. Solve -n*i - s = 24, i + 21 = -3*i + s for i.
-5
Let b be (-2)/(-20)*4*10. Suppose b*i - 5*c + 4 = 0, 2*c = -5*i + 3*i + 16. Solve 5*h = g + 6, 7 = 2*g - i*g + 5*h for g.
-1
Let p(o) = -o**3 - o**2 - o + 1. Let l be p(0). Let m = 4 + l. Suppose -4 = -5*v + 6. Solve r - v*i - 12 = -r, 5*i = -m*r for r.
3
Let p(q) = -68*q + 360. Let v be p(5). Suppose m = 5*m - 16. Solve 9*r - m*r - 22 = -3*t, -3*t - 4*r + v = 0 for t.
4
Let w(d