h - 12 = -2*q. Solve -f = q*f - 12 for f.
3
Suppose -4*w + 0*w = 120. Let u = w - -44. Solve 2 = 4*v + u for v.
-3
Let c be (-66)/4 + 5/10. Let t = -11 - c. Solve t*r = -4 - 1 for r.
-1
Let v(a) = 2*a**2 + a - 4. Let z be v(-2). Suppose z = 2*i - 4. Solve 2*l + 1 = i*l for l.
1
Let z(f) = f**2 - 6*f + 12. Let o be z(3). Solve -o = 4*u - 7 for u.
1
Let v(j) = j**2 - 9*j + 11. Let h be v(8). Suppose u + 4*y = 14, 4 = -h*u - u + 4*y. Suppose m = u*m. Solve -4*n + 13 + 3 = m for n.
4
Let g(i) = -2*i + 5. Let m be g(5). Let t = m + 7. Solve -1 + t = -c for c.
-1
Let z(g) = -g**3 + 5*g**2 - 3*g. Let k be z(4). Let s(y) = 4*y + 5. Let n be s(k). Solve 5*l - n + 1 = 0 for l.
4
Let k(v) = -5*v - 25. Let d be k(-5). Solve -3*g + g + 8 = d for g.
4
Suppose -4*x - 67 + 23 = 0. Let b be 13/x + 4/22. Let i(g) = -9*g**3 - 2*g**2 + 1. Let s be i(b). Solve s*w + 10 = 3*w for w.
-2
Suppose 2*l - 1 = 5. Suppose k + 3 = n, -l*k + 1 = n + 2. Suppose -4*o = 4*b - 7*o, 4*b - n*o - 4 = 0. Solve -2*s = 11 - b for s.
-4
Suppose 0 + 9 = 9*r. Solve 2 = a + r for a.
1
Let k = 2 + -3. Suppose 0 = -t - t + 2. Let h = t - k. Solve h*x - 3 = x for x.
3
Suppose -6*n + 0 = -30. Solve 4*t = n*t for t.
0
Let f = -8 - -8. Let q be (f - 3/9)*0. Solve k - 3*k + 2 = q for k.
1
Let a = -8 + 0. Let q be 68/(-6) - 3/(-9). Let u = a - q. Solve 5 - 8 = u*i for i.
-1
Suppose 0 = -4*s + 6*s. Suppose -5*a + 10 = s, y - a + 18 = 5*y. Solve -2*x = -0*x + y for x.
-2
Let t(o) = -o**2 - 9*o + 39. Let b be t(-12). Solve 0 = r + b - 1 for r.
-2
Suppose x + 4*x + 10 = 0. Let t be (-3)/x*2*1. Let i be 6/(3/((-18)/(-4))). Solve 0*b - t*b = i for b.
-3
Suppose -2*g + 32 = 2*g. Solve 0 = 3*c - g*c for c.
0
Suppose -5*k + 3*k = -6, 5 = -c + 5*k. Solve -c = -r - 4*r for r.
2
Suppose 8*h - 6*h - 8 = 0. Solve -h = o - 1 for o.
-3
Suppose -t - 2*x = -5 + 3, -5*x + 4 = 2*t. Solve -t*r = -r - 1 for r.
1
Let t(k) = -k - 1. Suppose i - 20 = 3*g + 2*g, -2*g - 5*i = 8. Let x be t(g). Solve -3 = -x*h + 12 for h.
5
Let x = 4 - -5. Let z be (x/3)/3*2. Solve -z = -2*q + q for q.
2
Suppose -5*m + 3*n = 548, -m = 2*m - n + 328. Let y = -25 - m. Suppose 5*q - 3*p = -32 + y, 52 = 4*q - 5*p. Solve -3*f + q*f = -25 for f.
-5
Let a(y) = y**3 - 4*y**2 + 2*y - 6. Let t be a(4). Suppose -h + 6*h + 2 = -2*w, 5*h = 4*w + 4. Solve -t*k = -h + 2 for k.
-1
Let k be -3*(-5)/15*2. Solve -k*n - 2 + 10 = 0 for n.
4
Let o be -4*(-1)/2 - 16. Let j be 4/o + (-111)/(-21). Solve -j*x = -2*x + 9 for x.
-3
Let x be (8/(-5))/(6/(-15)). Suppose 4*c = 5*q - 0*q + 34, x = -2*q. Let w be (9/6)/(c/8). Solve -12 = w*a + 2*a for a.
-3
Let p(l) = -2*l - 10. Let s be p(-6). Solve 0 = -s*k - k for k.
0
Let z(k) = -3*k**2 + 2*k - 1. Let i be z(1). Let f be (12/(-1))/2*i. Solve -3*b + f = b for b.
3
Let i(m) = 103*m**3 - 2*m**2 - 2*m - 1. Let c be i(-1). Let x be 2/7 - c/28. Solve -3*g = -x*g - 2 for g.
-2
Let g be 1/1*(2 + -2). Suppose g = -4*l - 5*i - 4 + 16, 0 = -3*l - 2*i + 9. Solve -l*y + 0*y = 0 for y.
0
Let s be (-6)/(-8) + 2/8. Let t be (-60)/(-16) + s/4. Suppose -t*z + 20 = -o, -3*o = 4*z - 9 - 11. Solve z*x = 6*x + 2 for x.
-2
Let o(f) = f**2 + 2*f + 1. Let p be o(-1). Let c be 5*(3 + -1 + -1). Suppose -c*n + 3*n + b = 1, -n = b - 7. Solve p = n*g - 4 - 4 for g.
4
Let k be 0/2*2/(-4). Solve -9 = -k*d + 3*d for d.
-3
Let m(v) = v**2 + 6*v - 4. Let c be m(-7). Suppose -5*z + 2 = -c. Solve a - 5 = -z for a.
4
Suppose -3*a + 7 = -2. Suppose 0 = -h + a*h. Suppose s = -2*n - 3 + 6, h = -4*n + 4*s + 24. Solve -2 = n*g + 7 for g.
-3
Let x be (6 + 0)*(-4)/(-8). Let n be 47/x + 4/(-6). Solve -6*a + a = n for a.
-3
Let a(l) = 5*l**3 + l**2 - l + 2. Let w be a(1). Solve -5*q - 6 = -w*q for q.
3
Let q be (1 + (-9)/3)/2. Let f be q*1*(8 + -11). Solve 0 = -f*c - 2*c - 5 for c.
-1
Let h(k) = k**2 - k + 1. Let p be h(2). Suppose p = -4*f + 5*o, 5*f + 17 = -o + 6. Let b = f - -6. Solve 0 = -b*i + 3*i - 3 for i.
-3
Let o(k) = -8*k**3 + k**2 + 2*k + 1. Let j(a) = -a - 8. Let l be j(-7). Let w be o(l). Suppose 0 = 5*g - w*g. Solve 2*h = -g + 6 for h.
3
Suppose 2*b - 5*u = -5, 2*b = 2*u + 3 + 1. Solve -b*y - 7 = 13 for y.
-4
Suppose -2*k - 5 = 3*c, -7 = 4*k + 5*c - 0. Solve 0 = k*f - 3*f for f.
0
Let g(s) be the third derivative of s**5/60 - s**2. Let d be g(-2). Suppose 5*k + 2 = 17. Solve -d*n - 4 = -k*n for n.
-4
Let v(g) = -10*g + 4*g**2 - 17 - 2*g**2 - 3*g**2. Let b be v(-7). Solve -s - b = -1 for s.
-3
Suppose -3*f - 4 = f. Let i = f - -3. Solve 27 - i = 5*g for g.
5
Let f(r) = -4*r - 52. Let g be f(-13). Solve -5*j + 10*j = g for j.
0
Suppose 0 = -3*b + 11 - 5. Solve g = b*g - 2 for g.
2
Let o(i) = -i**3 - 21*i**2 - 19*i + 22. Let w be o(-20). Solve -9 = w*l - 1 for l.
-4
Let g(o) be the first derivative of o**4/4 + 5*o**3/3 - 5*o**2/2 + 8*o + 3. Let u be g(-6). Solve 0*z = u*z + 10 for z.
-5
Let u be (-1)/(-3) + (-11)/(-3). Let p = 13 + u. Suppose 3*k - 4*g - p = 0, 2*k - 2*g - 3*g - 16 = 0. Solve 5*x = -k - 22 for x.
-5
Suppose -170 = -4*d + 5*v, -142 = -3*d - v - 24. Suppose 0*a + d = 2*a. Solve a = -0*j + 5*j for j.
4
Suppose -4*i - 3*c + 50 = 0, -c - 42 = -2*i - 2*i. Solve -4*m + i + 9 = 0 for m.
5
Suppose -m = l, -4 = -m + l - 0. Let k = -17 - -22. Solve m*p = k*p + 6 for p.
-2
Let a(x) = x - 9. Let h be a(12). Suppose -6 = -3*p + 3*j, h = 3*p + 2*j + 2. Solve 4*m = 11 + p for m.
3
Suppose 0 = 4*m - 5 - 35. Suppose 0 = 2*b + s - 2, -m = 3*s + 2*s. Solve -b*c + 1 = -7 for c.
4
Suppose -4*d = d - 35. Suppose 0 = 4*m + 2*c - 42, c + 20 + 7 = 4*m. Solve -3*o + d = -m for o.
5
Let g(m) = 4*m**2 + 15*m + 13. Let f(c) = 2*c**2 + 7*c + 6. Let j(q) = 13*f(q) - 6*g(q). Let i be j(-2). Solve -3*p + 6 = -i for p.
4
Let p be (0 - -6)/(1 - 0). Let q(s) = 2*s - 8. Let b be q(p). Solve -b*t + 2*t = 4 for t.
-2
Let b = -22 + 23. Suppose 3*g = -27 + 3. Let l = g + 13. Solve -2*o + b + l = 0 for o.
3
Suppose 0 = 2*y - 5*b - 52, 4*y + 0*b - b - 122 = 0. Suppose 5*f - y + 26 = 0. Solve 0*r = r + f for r.
-1
Let l = 0 + 1. Let c = 20 - 16. Solve 0 = -5*t + c*t + l for t.
1
Suppose m + 3*u - 3 = 2*u, -3*u + 3 = m. Suppose 5 = 3*b - 5*l + 17, -4*b + 4*l - 8 = 0. Let t = m - b. Solve -t - 1 = w for w.
-3
Let x(u) = -6*u - 33. Let l be x(-8). Solve -5*z = -2*z - l for z.
5
Let n(x) be the third derivative of -x**5/60 + x**4/24 + 4*x**3/3 + x**2. Let d be n(0). Suppose -d*h + 3*h + 15 = 0. Solve v = -4 + h for v.
-1
Let o(z) = 4*z**2 - 5*z**2 - 3*z + 2*z**2 + 2. Let d be o(2). Let h be (-4)/(0 + -1) + -2. Solve -h*x = -d*x for x.
0
Let c(u) = 5*u**3 + u**2 + u + 5. Let t(a) = 5*a**3 + a**2 + a + 4. Let o(d) = 4*c(d) - 5*t(d). Let f be o(-1). Suppose -x + 1 + f = 0. Solve x = g + 2*g for g.
2
Let y = 4 - 0. Suppose 0 = n - 2*i, 3*n + 5*i = y*n + 3. Solve -n*d = -4*d for d.
0
Let q be (-28)/(-3) - (-3)/(-9). Suppose 0 = -4*y + 7 + q. Let o = -22 - -42. Solve -y*f - 4 = -o for f.
4
Suppose l = -4*v - 1 + 3, -3*v = -l + 2. Suppose -g + 2 = 2*o - 0, l*g = 3*o - 10. Let p be (-2 - 2)/(1*g). Solve 4 + 2 = p*f for f.
3
Let k = 37 + -15. Suppose -5*o - k = -d, 5*d + o + 0*o - 58 = 0. Let s = -6 + d. Solve -5*q - s + 31 = 0 for q.
5
Suppose -3*d = 4*v - 5, -d + 0 + 4 = -v. Solve -d*z + 4 = 16 for z.
-4
Suppose -28 = -3*l - 19. Solve l*m = -0*m for m.
0
Let z = -1 - -2. Solve 0 = 4*i + 7 + z for i.
-2
Suppose -11*p = -5*p - 36. Solve p = -w - w for w.
-3
Suppose 0 = 2*x - 0 - 10, 3*f - 2*x = -16. Let o(d) = 3*d**2 + 3*d. Let l be o(f). Suppose -3*q = -q - l. Solve -a + q = 4 for a.
-1
Suppose 4 = -v + 11. Let l(w) = w**2 + 6*w - 9. Let i(j) = -3*j**2 - 11*j + 18. Let d(f) = -2*i(f) - 5*l(f). Let o be d(v). Solve 3*k - 4*k = o for k.
-2
Let d be (0 - -1)/(5/45). Solve 5*u + d = 2*u for u.
-3
Suppose -2*m = n + 5, -n - m = 2*m + 9. Solve 5*x - 2 = n for x.
1
Let j be (-4 - -4)/(1*-2). Suppose 2*x - 3*p = -11, 0 = -x - j*x + 2*p - 8. Solve -x = o - 3 for o.
1
Suppose 15 = -6*s + 33. Solve 0 = -5*u + s - 23 for u.
-4
Let l(r) = 4*r**2 - 5 - 5*r**2 - 4*r - 2*r. Let u be l(-4). Let s be -3 + 2 - -1*u. Solve 0 = -5*j - s - 3 for j.
-1
Let c be 4/(-10) + (-62)/(-5). Suppose q + c = 4*q. Let y be ((-5)/10)/((-2)/q). Solve 2*n + 3 = -y for n.
-2
Suppose 37 + 23 = -4*c + 4*h, 2*c - 4*h + 30 = 0. Let k be (-4)/10 - 51/c. Solve -5*q = 2 + k for q.
-1
Let f be (-6)/8 + (-29)/4. Let z(h) = h + 11. Let