*g - u = -23 for g.
4
Suppose -5*c - 13 = 4*w, -18 = 3*c - 3. Let y(q) = 2*q - 14. Let p be y(7). Solve -w*v = -p*v for v.
0
Suppose 11 = 5*z + a + 53, -5*a = z - 6. Let h(i) = i**3 + 9*i**2. Let o be h(z). Solve o = -0*r - r - 4 for r.
-4
Let r = -16 - -19. Let f be (r/(-4))/(8/(-32)). Solve 2 = -f*a - 1 for a.
-1
Let s(f) = -f**3 + 10*f**2 + 12*f - 9. Let g be s(11). Solve 3*w - 2*w = g for w.
2
Let h = 16 - 14. Solve -q = h*q + 12 for q.
-4
Let h = -17 - -25. Suppose h*g - 20 = 4*g. Solve -2*y - 3 - g = 0 for y.
-4
Let f(t) be the first derivative of 2*t**3/3 + 2*t**2 - t - 4. Let h be f(-3). Solve 2*s = h*s - 9 for s.
3
Suppose 0 = 5*x - 49 - 6. Suppose -7 = -6*j + x. Solve 5 = 2*u + j*u for u.
1
Let u be (4/(-6))/(2/(-9)). Let s(n) = 2*n**3 - n + 5 - n**3 - 5*n + 4*n**2. Let b be s(-5). Solve u*z - b - 5 = 0 for z.
5
Suppose 5*q - 2*q = -5*w + 39, 2*q - 5 = -w. Suppose -3*k = k. Let j = k - -6. Solve -5*r + j + w = 0 for r.
3
Let v(w) = w. Let p be v(4). Suppose 5*a - 35 = -10, -p*z - 20 = -4*a. Solve 0 = 2*u - z + 6 for u.
-3
Let v be 1/(-2) - 5/(-2). Suppose 5*r - v*h - 3 = -h, 2*h = -3*r + 7. Solve -2 = 3*w + r for w.
-1
Let q be 1/(-2) - (-5)/10. Suppose -z + 3*f = 6, -z - 5*f + q = -10. Solve z*k - 6 = -3*k for k.
2
Let w(f) = f - 5. Suppose 2*o = 4*o - 14. Let g be w(o). Solve g*v = v + 2 for v.
2
Suppose 4*w = 8*w - 52. Solve -w = -3*h - 1 for h.
4
Suppose -20 = -8*i + 3*i. Let v be -2*(-1)/(2/(-1)). Let d = i + v. Solve d = -k + 8 for k.
5
Let t be (-18)/(-4)*6/9. Let d(q) = -4*q + t + 0*q + 2*q. Let h be d(-6). Solve -g = 4*g + h for g.
-3
Let o be (-4)/(-16)*-10*-2. Solve 0 = o*d - 3*d for d.
0
Let x = 6 - 0. Suppose 5*t = -p + x*p + 40, 32 = 5*t - 3*p. Solve -t*l = -5*l + 4 for l.
4
Let s = 34 - 31. Solve -s*b = -b for b.
0
Suppose 14 + 2 = 4*c, -w + 2*c - 8 = 0. Let y be ((-3)/(-6) + w)*0. Solve 2*x - 3*x = y for x.
0
Suppose 5*g - c - 15 - 3 = 0, 5*g + 3*c - 6 = 0. Suppose -g*s = -s. Solve s = -2*m - m for m.
0
Let i(k) = k**2 + 7*k + 9. Let z be i(-6). Let n = -4 + 12. Solve n*v = z*v for v.
0
Let p(u) = u**2 + 4*u - 2. Suppose 5*a + j + 30 = 0, j - 20 = a + 4*j. Let k be p(a). Suppose -2*d - 12 = d, -18 = -5*w - k*d. Solve -3*v + 3 = -w for v.
3
Suppose 3*h = 7*h - 24. Let x be (-15)/h*(-8)/5. Solve -a + 12 = -x*a for a.
-4
Let s = -104 - -113. Solve -g - s = -4 for g.
-5
Suppose -44 = -3*f + 16. Suppose -x = -5*x + f. Solve -x = 5*p + 5 for p.
-2
Suppose 4*y + 20 = 2*w, -6*w + 3*w = y - 9. Let x be 2 + (2 - w - -48). Suppose -4*a - 2*g = -9*a + 43, 5*g + x = 4*a. Solve -d = a - 4 for d.
-3
Suppose 2*r - 2 - 4 = 0. Suppose -6 = r*j, 4*h + 5*j + 4 = 6. Suppose -i + s = 1, i + 13 = h*i + s. Solve -i*l - 2 = 6 for l.
-2
Suppose -37 = -4*x + 3. Solve -2*r + x = -4*r for r.
-5
Suppose -2*k + 21 = -5*k. Let f be (12/(-5))/(k/35). Let w = 3 + 0. Solve -w*y - f = -7*y for y.
3
Let l = -8 - -7. Let r be l + 4 + 0 + 4. Let n be (-2)/7 + 16/r. Solve n = y - 3 for y.
5
Let c(z) = 2*z**2 + 16*z + 14. Let n be c(-7). Solve n = 3*u + 7 + 5 for u.
-4
Let j(t) = t**3 + 8*t**2 - 9*t + 5. Let b be j(-9). Suppose b*y - 18 = 7. Solve -y*s + 2 = 7 for s.
-1
Let r(m) = 5*m**3 + m**2 - m - 1. Let v be r(-1). Let o be v/(-3) - (-3)/(-9). Let x be ((-1)/2)/(1/(-4)). Solve -o = -g + x for g.
3
Suppose -4*d - 2*p = -24, -4*d + 2*p + 8 = -0*d. Let n be d + -2 + 0 + 22. Suppose n = 4*r + 4. Solve -r*t - 14 = -4 for t.
-2
Suppose 13 + 36 = 3*n - 4*o, 3*o = -2*n + 27. Solve -4*k + 1 + n = 0 for k.
4
Let o(f) = f**3 - 2*f**2 + 3*f. Let b be o(2). Solve 0 = -2*z + b for z.
3
Let s be -5*(-4 - (-32)/10). Solve 10 = -s*u + 2 for u.
-2
Suppose 5*x - 73 = -4*c, 2*c = 3 + 1. Suppose -x = -5*a + 12. Suppose 7 - 18 = -4*z + 5*d, -4*d + 8 = z. Solve -z = -4*j + a*j for j.
-4
Let i(z) = -z**3 + 4*z**2 + 4*z + 4. Suppose c + 5*k - 24 = 0, 18 = -4*c - 2*k + 42. Let s be i(c). Let d = 1 - -4. Solve -d*u - s = -u for u.
-5
Suppose -3*z = 2*z - s - 1, -3*z + 2*s = -2. Suppose -24 = -4*t - z. Solve -t*y = -y - 15 for y.
3
Suppose -k + 2 = -2. Let s be (k/(-10))/((-1)/5). Solve a + 12 = -s*a for a.
-4
Suppose 0 = -4*q + 7*q. Suppose -2*d = 5*g - 15, -5*d = 5*g - q*g - 15. Solve 2*p - 4 = -d*p for p.
2
Let r(w) = 3*w - 1. Let y(s) = -s**2 + 8*s - 5. Let m be y(7). Let d be r(m). Solve -d*q + 6 = -2*q for q.
2
Suppose 0 = -6*q + q. Solve -3 = -q*f + 3*f for f.
-1
Let z = 111 + -105. Solve 2*c = -16 + z for c.
-5
Let u(n) = -n**2 + 4*n - 3. Let x be u(2). Let q be 2 + x - (-8)/4. Solve q*k - 5 = -25 for k.
-4
Suppose -4*g - 372 = -60. Let s be ((-2)/(-3))/((-4)/g). Solve 0 = 3*z + s - 4 for z.
-3
Let m be (-21)/(-4) + 4/(-16). Suppose -4*h + 11 = 3. Suppose 0 = h*k + k. Solve m*y + k*y = 0 for y.
0
Suppose -5 = 11*o - 27. Solve 2*l = -o*l - 4 for l.
-1
Let t = 2 - 2. Let y = -5 + 7. Suppose t = -5*z - 4*q - 4, -2*q = y*z - 7*q - 5. Solve z = -b - b + 10 for b.
5
Let d be ((-28)/35)/(4/(-10)). Let m(j) = 2*j**3 - 3*j**2 - j + 2. Let w be m(d). Solve 0 = -w*q - 2 + 6 for q.
1
Suppose x + 1 + 8 = 0. Let m = x + 14. Solve l + 4*l - m = 0 for l.
1
Suppose z = -3*b + 24, 0*b = -b + 4. Let j be -6*(-2 - 4/(-3)). Solve 0*y = j*y + z for y.
-3
Let m(u) = -2*u + 1. Let j be m(5). Let v be (-3 + 4)/((-1)/j). Suppose -5*d - 2*b + 10 = 0, v*b - 25 = -2*d + 4*b. Solve -2*y + d*y = 8 for y.
-4
Let r = -20 + 27. Suppose -9*i = -r*i - 10. Solve -i*z - 2 = 3 for z.
-1
Let j be (12/(-10) - -3)/((-21)/(-35)). Solve 0 = o - j for o.
3
Let n(y) = -y. Let p(a) = -15*a - 9. Let z(v) = 7*v + 4. Let x(d) = -3*p(d) - 7*z(d). Let r(u) = -5*n(u) + x(u). Let k be r(6). Solve 2*m + k = -1 for m.
-3
Let v = 7 - 5. Let r be (v - (-1 - -4))/(-1). Solve -4*f + r = -3*f for f.
1
Let h(z) = 3*z - 18. Let w be h(11). Solve -f = 2*f + w for f.
-5
Let g(x) be the third derivative of x**4/12 - x**3/2 + x**2. Let i be g(2). Let b be i*(0 + -2 + 2). Solve b*q = -q for q.
0
Let k = -73 - -75. Solve 1 = f - k for f.
3
Suppose 0 = g + 5*h - 8, 2*h = g + 3*h - 4. Solve 0 = g*v + 4 - 1 for v.
-1
Suppose -y - 4 = -7. Solve y - 1 = h for h.
2
Let v(g) = 5*g**2 + 2*g + 1. Let c be v(-2). Suppose 4*m - j + c = 40, 0 = -4*j - 12. Solve -t = 4*t - m for t.
1
Let o(q) = -q + 10. Let d be o(7). Solve -3 = d*p - 2*p for p.
-3
Suppose 4*i + 0 = -5*n + 5, -5*i = 2*n - 19. Solve -i*f = 8 + 7 for f.
-3
Let m(p) = -5*p**3 - 2*p**2 - p. Let z be m(-1). Suppose 12 = o - z*u, u - 4*u - 26 = -5*o. Solve -3*i - o - 11 = 0 for i.
-5
Suppose 0*x - 2*x + 12 = 0. Suppose 0 = 3*g - 5*g. Suppose -3*i - 4*n + 26 = g, n = 6*i - i - 28. Solve 3*c = i + x for c.
4
Suppose 2*l = -3*u - 10, -2*l - 10 = -9*u + 4*u. Suppose -7*q + 3*q = u. Solve q = a + a for a.
0
Let f be (3/2)/(1/(-6)). Let a = 13 + f. Let h = 8 - a. Solve 0 = -h*o - o + 25 for o.
5
Let a = 50 - 49. Suppose -6 = 4*r - 2*k, -k = 2*r - 0*k + 1. Let o = a - r. Solve -5*h - o - 8 = 0 for h.
-2
Let a(u) = u**3 - 4*u**2 - 6*u + 7. Let z be a(5). Let o = 1 + z. Solve -o*g - 2 = -2*g for g.
-2
Suppose 0 = -4*k - 0*k. Let x be (2 + k)/2*2. Solve 3*z - x = 4 for z.
2
Suppose -5*u - 2*h = -1 - 6, 2*h + 17 = 3*u. Suppose -u*w - 3 = -6*w - 4*o, -2*w + 3*o = -19. Solve 0*l = l + w for l.
-5
Suppose 4 = 4*o - 0. Solve -o = -a - 2 for a.
-1
Let s = -3 + 0. Let f = 2 + 4. Let o = s + f. Solve j - o = -0 for j.
3
Let n(s) = -s**2 + 2*s**2 + 0*s - 2*s. Let h be n(2). Suppose 5*v = -4*q, q + 2*v = -0*q. Solve -2*b + h*b + 4 = q for b.
2
Let o be (-2)/(-7) + 180/(-42). Let x = 6 + o. Solve x*k - 6*k + 8 = 0 for k.
2
Let k = 17 + -5. Suppose 5*h = -g - k, -4*g + 3*h - 7 = -28. Solve 1 = -g*l + 2*l for l.
-1
Suppose m + 0*m = 2*d - 3, 3*m - 24 = -5*d. Solve 0 - 9 = -d*o for o.
3
Let n(o) = -o**3 - 18*o**2 + 19*o + 8. Let a be n(-19). Solve w = 5*w - a for w.
2
Suppose 20 + 30 = 5*l. Let p be 5 + 2*1/(-1). Solve -h = -p*h + l for h.
5
Let h = 17 + -17. Solve 0 = -h*n - 3*n - 9 for n.
-3
Let t be (-2 - 0)/((-2)/3). Suppose 4*c + 3*m - 21 = 0, -3*c - 2*m + 15 + 2 = 0. Let q = c - 4. Solve -q = -o - t for o.
2
Suppose -4*p + 3*p + 38 = 0. Suppose 2*x = 10 - p. Let u = -9 - x. Solve 2*t = 3 - u for t.
-1
Let w = 8 + -5. Suppose -5*h = 5*t + 25, 0*t - 11 = w*h + 2*t. Let y be ((-6)/9)/(h/15). Solve 2*d - 4*d = y for d.
-5
Let x be ((-4)/(-6))/((-3)/(-9)). Solve -x*k = -6*k - 16 for k.
-4
Let g(u) be the first 