*u - 5 = -r*u for u.
1
Let o be ((-4)/6)/(12/234). Let k = 24 - 5. Let t = k + o. Solve -c - c + t = 0 for c.
3
Let w(a) = -a**3 + 4*a**2 + a. Let u be w(4). Suppose 3*b + 0 = 15. Solve -u*n - n = b for n.
-1
Let i(x) = -x**2 + 4*x + 1. Let z be i(3). Let c(w) = -2*w + 14. Let a be c(6). Suppose 14 = a*t - 4. Solve -t*s = -z*s - 25 for s.
5
Suppose 0 = -y - 0 + 6. Suppose p + 12 = 2*p + 4*d, -y = -2*d. Solve -3*k + 0*k = p for k.
0
Let z = -13 + 17. Solve 11 = 5*j - z for j.
3
Let u be 8/3 + (-5)/(-15). Solve -3 - u = 2*v for v.
-3
Let w be (-8)/6*9/(-6). Suppose -2 + 0 = w*y. Let n = y + 5. Solve -3*o = o - n for o.
1
Let p = -44 + 46. Solve -v = -p*v for v.
0
Let c(g) = g**3 - 8*g**2 + 8*g - 7. Let f be c(7). Solve f = 3*w - w for w.
0
Let v = -10 - -14. Suppose -4*a = v*c + c - 18, 0 = 3*a - 3*c. Solve a*s - 12 = -2*s for s.
3
Let j be (-5)/15 + (-112)/(-3). Suppose 0 = 5*l + 3*v + j, 3*l - 2*v + 19 = -3*v. Let h = l - -5. Solve 3*n = -h*n for n.
0
Let x(u) = -5*u + 37. Let a be x(7). Solve a*j = 8 - 12 for j.
-2
Let q = 9 + -8. Suppose -2*k + k = -q. Solve x - 4 = -k for x.
3
Suppose 2*l = 3*m - 6 - 5, 2*m = 4*l + 18. Let i(c) be the third derivative of -c**4/24 + c**3/6 + c**2. Let t be i(1). Solve h + t = -m for h.
-1
Let t be 270/15 + 2*1. Solve -3*b + t = -8*b for b.
-4
Let h(q) = 2*q**2 - 5*q + 5. Let r(y) = -y**2 - 11*y - 7. Let m be r(-10). Let o be h(m). Solve -n - o = -3*n for n.
4
Suppose -5*z + r + 22 = 0, 4*r - 7 = -4*z + 1. Solve -z*x = 9 + 3 for x.
-3
Suppose 0 = u - 6*u + 50. Solve 4 - u = 2*i for i.
-3
Suppose -l = -3*z + 90, -7 = -4*z + 3*l + 113. Let m be (2/6)/(2/z). Solve -m*c = 5 - 0 for c.
-1
Let u(h) = -h + 8. Let o be u(4). Let t = -3 + 8. Suppose -t*m + 3 = -o*m. Solve 12 = -v - m*v for v.
-3
Let f(z) = -4*z + 2. Let a be f(3). Let j = 39 - 23. Let d = j + a. Solve -t = 3 - d for t.
3
Let l be 1*((-12)/(-2) + -1). Suppose 5*b - 38 + 13 = 0. Suppose b*k - 12 = -i + 1, -l*i - 10 = 0. Solve 0 = -k*q + 4*q + 5 for q.
-5
Let p = 6 + -8. Let v(x) = x**3 + 4*x**2 + 2*x - 1. Let q be v(p). Solve 3*n - q = -0*n for n.
1
Suppose 4*k = 4 + 16. Suppose -7*c + k*c - 4*t = -26, 0 = 4*c - 5*t - 13. Let z be 4/6 - c/(-3). Solve z = -l - 2 for l.
-5
Suppose 3*u = -3 + 9. Suppose -5*i = -u*i - 9. Solve -4*o = -i*o for o.
0
Let q = -6 + 8. Suppose -q*s = -s. Solve -g + 4 + 0 = s for g.
4
Suppose -12 = 4*p, -v - v + 5*p + 19 = 0. Solve -5*i + v*i = 6 for i.
-2
Suppose s - 1 - 10 = 0. Solve 5 = -2*x + s for x.
3
Suppose 10 = 6*f - 26. Solve -f*b = -b - 25 for b.
5
Suppose 210 = -4*i + 222. Suppose -3*z - 9 = -3*q, 0 = -3*z + 3*q - 5*q + 16. Suppose 2*n = -1 + 9. Solve -i*p = -z - n for p.
2
Let p be (-231)/(-9) + (-2)/(-6). Let x be 2/1*1 + -11. Let n = 20 + x. Solve n = -3*c + p for c.
5
Suppose 5*d = 22 - 2. Suppose -d*r - 6 = -18. Solve -r*k = k for k.
0
Let q(l) = 2*l**3 - 15*l**2 - 9*l + 6. Let a(o) = -o**3 + 7*o**2 + 4*o - 3. Let z(r) = 9*a(r) + 4*q(r). Let w be z(2). Solve 2*i = 3 + w for i.
2
Suppose -43 = -6*x - 19. Let p(y) = -5*y - 5. Let v be p(-5). Solve m + v = -x*m for m.
-4
Suppose -3*j + 5*j - 22 = -4*l, -3*l = 3*j - 18. Solve 0*a - j = a for a.
-1
Let j(n) = 2*n - 10. Let s be j(8). Suppose 0 = -5*f + 6*f - s. Let b be 0/(0/2 + -1). Solve 0 = -2*m - b*m - f for m.
-3
Suppose 5*c + 3*c - 40 = 0. Solve y - c*y = 4 for y.
-1
Suppose 0 = -3*h + 6*h. Solve -3 = 3*m - h*m for m.
-1
Let h be 0*((-36)/(-8) - 4). Solve h = -2*p - 3 - 3 for p.
-3
Let d = 2 + 0. Let w(z) = -z**3 + 8*z**2 - 8*z + 9. Let i be w(7). Suppose 0 = -i*n + 4. Solve -d*f + 4 = n for f.
1
Let l = 67 + -64. Solve -l*r + 3 = -0*r for r.
1
Suppose 0*m + 3*m = 0. Suppose -20 = -m*y - 5*y. Let z be -1 + 2/(-3)*-6. Solve g - z*g + y = 0 for g.
2
Let z be (-2)/10 + 105/25. Solve z*x - 12 - 4 = 0 for x.
4
Let m be (-10)/35 - (-23)/7. Suppose 9 = 4*v - m. Solve -v*o + 12 = o for o.
3
Let u(w) = w + w - 3*w + 0*w. Let l be u(-7). Solve -4*t + 9 = -l*t for t.
-3
Suppose 4*z + 0 = 8. Solve z + 0 = g for g.
2
Let a be (-2)/8 - 2/(-8). Solve 1 + a = -v for v.
-1
Suppose 28 = 2*y - 3*f + 9, -4*y - 5*f + 5 = 0. Solve 2*i + y = 1 for i.
-2
Suppose 0 = 2*t + t - 18. Let n = t - 4. Solve 0 = z + 3 - n for z.
-1
Let a = -5 - -5. Solve a = 3*n - n + 4 for n.
-2
Suppose -3*q + 2 = -2*u - 21, 2*q - 4*u - 26 = 0. Let z = 6 - q. Solve -z = -s + 1 for s.
2
Suppose 0*o + 3*o = 0, 0 = -2*q + 5*o + 4. Suppose 4 = -4*z - 4*f, -2*f - 14 = -q*z - 2*z. Solve 1 = -z*c + c for c.
-1
Let g(l) = 15*l + 1. Let w be g(1). Suppose 0 = -3*f + w + 2. Solve -2*r = -f*r for r.
0
Suppose -7*p = -4*p - 9. Let j(w) = 11*w + 1. Let v be j(1). Solve -p*k - k = v for k.
-3
Let k be 3/6 + 2/(-4). Let i = 2 - 2. Suppose -4*s = -16 - i. Solve k*v = 2*v - s for v.
2
Suppose -4*i = -29 + 9. Let j be 2/i + (-24)/60. Solve y + 2*y = j for y.
0
Let b be (0 + (-2)/(-6))*0. Suppose -3*o - 12 = -7*o. Solve b = -o*y + y for y.
0
Suppose m + m = -4*c + 12, -3*c - 12 = 0. Suppose 4*p + y = -y + 16, m = -p + 4*y. Solve 5*i = p*i + 12 for i.
4
Let o(l) = 144*l - 3. Let v be o(-3). Let z be v/(-20) + 2/8. Solve -3*g - z = -7 for g.
-5
Let i(w) = w**3 - 8*w**2 + 3*w - 6. Let b be i(8). Let r be (-1)/((-3)/b) + -2. Suppose 0 = -5*u - 5*k - r - 21, 10 = -4*u - 2*k. Solve -a - a = u for a.
0
Let k(z) = z**3 + 27*z**2 + 28*z + 52. Let a be k(-26). Solve c - 4 = -a*c for c.
4
Let y be (0 + 4)*2/4. Solve 4*q + 6 = y for q.
-1
Let k(t) = 2*t**2 + 2*t - 4. Let q(i) = 2*i + 5. Let a be q(-4). Let j be k(a). Let o = j - 6. Solve 0 = -0*y + o*y + 10 for y.
-5
Let a be 99/21 - (-4)/14. Suppose 5*p = 3*y + a, -3*p - 8 - 5 = -5*y. Suppose 3*m = y*m - 14. Solve 2*u = m*u - 20 for u.
4
Let r be -2 - 0/((-6)/(-3)). Let n = r - -4. Let o be 1/n - (-14)/4. Solve 3*u + 1 = o*u for u.
1
Let x(m) = -m**2 - m + 2. Let y be x(-2). Solve y = -2*u + 8 - 2 for u.
3
Let t = -2 - -2. Let k be (0/1 - -2) + t. Let p = -4 - -7. Solve 25 = -k*i - p*i for i.
-5
Suppose -8 - 4 = 4*z. Let r be ((-50)/8)/(z/12). Solve -p - r = 4*p for p.
-5
Let a be -4 - (2/4 - 55/10). Solve g + a - 3 = 0 for g.
2
Suppose 2 = -v + 2*v. Suppose v*d = d + 2. Solve -o - 2 - d = 0 for o.
-4
Let w = -132 - -137. Solve w = -2*n - 1 for n.
-3
Let p be 4/(-6) + (-110)/(-30). Solve p*w - 1 = 8 for w.
3
Let p(x) = x**2 + 9*x + 12. Let i = 18 - 26. Let r be p(i). Solve 0 = r*a + 9 + 7 for a.
-4
Let t be 0 + (-1 - 0)/(-1). Suppose 25*v - 22*v - 15 = 0. Solve -4 = -v*q + t for q.
1
Let t = 4 - 1. Let y = 1 - t. Let x be (-8)/(-1 + y - -1). Solve -x = d - 3 for d.
-1
Let y(k) = -k**3 - 7*k**2 + 9*k + 10. Let l(p) = -8*p. Let s be l(1). Let q be y(s). Solve -h - 3 = -q*h for h.
3
Suppose 81*b = 78*b + 6. Suppose -3*k - 27 - 27 = -2*y, -95 = 5*k - 5*y. Let q be k/(-7) + 4/(-14). Solve -b - q = -j for j.
4
Let q(y) = y**2 - 1. Let u be q(-1). Suppose 0 = 3*x - u*x. Solve x = -4*p + 2 + 2 for p.
1
Suppose 0 = o + 4*n - 19 - 9, -64 = -4*o - 4*n. Let b be 40/6 - o/18. Solve -4*p - 2 = b for p.
-2
Let w(u) = -u**2 - 7*u - 5. Let g be w(-6). Let r(s) = -4*s**2 + 0 + 0*s - 7*s + 3*s**2 - g. Let q be r(-6). Solve q*k + 3 + 2 = 0 for k.
-1
Let d(b) = b**2 - b + 5. Let p(m) = m**2 + 5. Suppose -3*i = -5*f - 18, -2*i = 3*i + 20. Let o(g) = f*d(g) + 7*p(g). Let l be o(-5). Solve -x + l = 3 for x.
-3
Suppose 4*h + 3*k = 65, 3*h - 45 = h + k. Suppose -l - h = -3*b, -4*b = -5*b - 5*l + 12. Suppose c - 6 = -4*v, 4*c - 3 = -0*c + 5*v. Solve -q + b = c for q.
5
Let s be (-2)/(-4)*48/2. Suppose -s = -3*c - 0*c. Suppose 0 = c*h - h. Solve h = -p - p - 10 for p.
-5
Suppose 2*u = -0 + 4. Solve -c - 6 = u*c for c.
-2
Suppose 0 = y - 4, -2*f = -6*f + 5*y - 4. Suppose 4*x - 10 = x - f*s, 4*s - 14 = -5*x. Solve -j = x*j for j.
0
Let d = -10 - -8. Let r = -4 - d. Let k be 6/(-2) + (r - -5). Solve k*j = j for j.
0
Suppose -7*s + 2*s = 0. Solve 3*y + 21 - 6 = s for y.
-5
Let d be 10/(-15) - 16/(-6). Solve -d*s + 2 = -s for s.
2
Let l = 5 - 4. Let o be (l/3 - 0)*12. Solve p = -o*p + 25 for p.
5
Suppose -2*a + 16 + 8 = -u, 5*a - 3*u = 60. Let l(x) = -x**2 + 17*x - 5. Let i(k) = -k - 1. Let h(b) = 4*i(b) + l(b). Let d be h(a). Solve d*m - 7*m = -8 for m.
2
Suppose 2 = i - 0. Suppose 4*h - 7 = 1, -i*h = 4*w - 8. Solve 2*d = 3*d + w for d.
-1
Let l = -5 - -1. Let c be l/(-6) - 21/(-9). Solve g + 2 - c = 0 for g.
1
Supp