- 125. Suppose -4*t + g = t. Solve 2 + 3 = -t*f for f.
-1
Let h be 1/2 + (0 - (-18)/4). Solve 0 = 3*w - 7 - h for w.
4
Suppose 4*i - 1 = 7. Solve 0 = i*x - x for x.
0
Let t(v) = 5*v**2 + 2*v + 1. Let r be t(-1). Solve -7 = -m - r for m.
3
Let i be 1/(-2)*(-5 + (2 - -1)). Solve -4 = -v - i for v.
3
Let b(t) = -t + 8. Let j be b(3). Suppose 3*a - j*i = 9, -5*i + 1 = a - 2. Solve y - 2 = a*y for y.
-1
Let r(w) = 2*w + 22. Let d be r(-10). Solve a = -d*a for a.
0
Suppose -4 + 4 = 9*h. Solve h = m + m + 10 for m.
-5
Let p = -15 - -9. Let o = 11 + p. Solve o - 1 = -d for d.
-4
Suppose -3*m - 4*w + 29 = 4, 0 = m + 5*w - 23. Solve 0 = l - m*l - 6 for l.
-3
Let l = -7 - -5. Suppose -3*u + 0 = 5*d + 9, 3*d - 9 = 3*u. Let s = d - l. Solve -3*t + 4 = -s*t for t.
4
Let l(j) = j + 11. Let n be l(-11). Solve 3*p - 9 - 3 = n for p.
4
Let d(x) = 2*x - 7. Let f be d(11). Let z(y) = 3*y - 7. Let g be z(5). Let k = f - g. Solve 2*c - k = -3 for c.
2
Let a = 31 + -28. Solve -3*n - 9 - a = 0 for n.
-4
Let z be (-2)/6 - 88/6. Let n be z/(-10)*(-40)/(-6). Solve 0*f + n = -5*f for f.
-2
Let d(t) be the first derivative of t**4/4 - 2*t**3 + 5*t**2/2 + 6*t - 3. Let y be d(5). Solve -g = -y + 3 for g.
3
Let v(t) = t**2 + t + 2. Let y be v(-2). Solve 0 = -u + y - 1 for u.
3
Let u be 4*(5/2 - 1). Suppose -x - 2*x = -3*q + u, q + 2*x = 5. Solve -4*z + z + q = 0 for z.
1
Suppose -5*t + 3*v = -17, 0 = -3*t - 0*v - 4*v - 13. Solve -4*j + t = 5 for j.
-1
Let o(p) = 7*p - 13. Let k be o(3). Solve -d = d + k for d.
-4
Suppose 4*k - 18 = -3*y, 2*k + 3*y - 12 = -0*y. Suppose -15 = -k*l - 3*d, 4*l + 3*d - 3 = 13. Solve 0 = -3*t - l - 2 for t.
-1
Let l = 15 - 14. Solve -4*q + l = -3*q for q.
1
Let v be (-3)/(-12) + 3/(-12). Solve -5*s = -v*s for s.
0
Let j = -24 - -32. Solve -j*f - 6 = -5*f for f.
-2
Suppose 0 = -x + 3*x - 10. Suppose x*d - 17 = c, 4*d = -5*c + d + 27. Solve -c*s - 1 = -2*s for s.
-1
Let w = 16 - 8. Let q be (-144)/(-63) - -1*(-4)/14. Solve 2*h = -q*h - w for h.
-2
Suppose -2*i + 1 + 9 = -j, -4*i + 5*j = -8. Solve -4*d - i = 9 for d.
-4
Suppose 0 - 7 = -d. Let o(q) = -10*q + 8*q**2 - q**3 - 3 + 2*q**2 - q**2. Let g be o(d). Solve u + g = -4*u for u.
-5
Suppose -4*o = -8*o + 8. Solve 4 = o*j - 0*j for j.
2
Let y be (-2)/(-2) + -1*1. Let a(d) = 2 - 2*d - 5*d + 5*d + 3*d. Let k be a(y). Solve 3*t = 1 + k for t.
1
Let y = 16 + -11. Let g = 15 - y. Let f(l) = l**3 - l - 2. Let w be f(2). Solve -w*d = g + 2 for d.
-3
Let i(h) = 0*h - 1 - 2 + 2 + 2*h. Let j be i(8). Solve f + 4*f = -j for f.
-3
Suppose 2 = 3*q - 73. Let j = 10 - 7. Solve 2*r + j*r - q = 0 for r.
5
Let y be 3/((-52)/(-40) - 1). Solve -4 = 2*j - y for j.
3
Let t be 4/(-10)*-5 - 4. Let k be -3 + 1 - (-4 - t). Solve k = n + 3*n for n.
0
Let t(g) = g**3 + 3*g**2 - 2*g - 1. Let q(z) = z**3 - 1. Let w(p) = 2*q(p) - t(p). Let m be w(2). Let n = 0 - m. Solve -x + 4 = -n for x.
5
Suppose -p + 3*p = 0. Solve p = s + s for s.
0
Let g(i) = -i - 3. Let h be g(-7). Suppose h*l + 4 = -4. Let m be (l - -5)*3/3. Solve -4*v - 1 = m for v.
-1
Let a be -1*(2 - (22 - 3)). Let s be 3 - (-2)/4*-2. Suppose 3*v = -s*b + a, 3*b = -2*b + 20. Solve 6 + v = 3*i for i.
3
Suppose 9*a - 5*a = 12. Solve -a*t = t - 20 for t.
5
Let h be (-2)/(-3) + 8/(-3). Let r = h - -5. Let m(c) = 2*c**2 - 2*c - 3. Let d be m(3). Solve 0*i - d = -r*i for i.
3
Let i be 1*(7 - 4/(-4)). Let s = -3 + 5. Solve 0*z + i = -s*z for z.
-4
Let k(z) = z + 4. Let s(p) = -p - 3. Let v be s(-3). Let d be k(v). Solve d*m + 18 = 2 for m.
-4
Let h(l) = -2*l + 8. Let y be h(4). Let v = 2 - 3. Let u(s) = -4*s. Let w be u(v). Solve -4*o = -y + w for o.
-1
Let x(z) = 3*z + 1. Suppose 2*t = -4*o + 14, 0 = -o + 3*t + t + 26. Let s be x(o). Let a be (-1)/(-1)*-3*-1. Solve -a*f + s = 4 for f.
5
Let c(h) = 13*h**3 - h - 12*h**3 - 2 - 4*h**2 - 4*h**2 + 2*h. Let j be c(8). Solve 4*n - 2 = j*n for n.
-1
Let t be (24/(-18))/((-4)/66). Let q = -16 + t. Solve 4*u - 2 - q = 0 for u.
2
Let c = 26 + -24. Solve 9 = g + c*g for g.
3
Suppose 3*j + 3*j - 30 = 0. Solve j = -3*l + 17 for l.
4
Let t(m) = m**2 - 14*m. Let a be t(14). Solve -10 = -a*w + 5*w for w.
-2
Let j(o) = o - 12. Let c be j(9). Let a be 2/(-3) - (-25)/c. Let d = 1 - a. Solve -d = -4*i - i for i.
2
Let j be ((-24)/14)/(10/(-35)). Let y = j - 5. Solve 2*i = -y + 3 for i.
1
Let w(o) = o + 2. Let n be w(4). Solve 3*q - 9 = n for q.
5
Suppose 34 = 2*k + 2*j, 2*k + 0*j = 5*j + 55. Solve 0 = 5*i + k - 0 for i.
-4
Let u be 3 - (1 + -4 - 1). Solve -3*w = -u*w - 12 for w.
-3
Suppose 0 = -5*u + 9 + 16. Let r be (3/(-2))/((-15)/20). Solve -r = 3*z - u for z.
1
Let x = -5 + 5. Suppose -c + 0 + 2 = x. Solve 3*a + c = 4*a for a.
2
Let l(r) = r - 25. Let g be l(26). Solve 0 = -4*q - 5 + g for q.
-1
Let c = 5 - 4. Let b(j) = j**3 + j**2. Let w be b(c). Solve 3*r + w = -4 for r.
-2
Let t be 7 - (30 + 6)/6. Solve u + t = -0*u for u.
-1
Let l be (-7 - 8/(-2)) + 3. Solve l = 2*k + 3*k for k.
0
Let q(f) = -f - 2. Let x be q(4). Let l be 12/(-8)*8/x. Suppose 0 = -l*k - 0*k + 4. Solve k*w + 5 - 15 = 0 for w.
5
Let n be -1 + 1 - (-3 - -3). Let q be -1 - -3 - (n + -2). Solve 2*x + q = -2 for x.
-3
Let v = 34 - 19. Solve -n - 4*n - v = 0 for n.
-3
Let j be 6 - ((-4 + 3)/(-1) - -2). Solve 2*y - 5 = j for y.
4
Suppose 0 = 5*d - 20. Solve 2*t - 10 = d*t for t.
-5
Let u be -4*5/(-10)*2. Solve u*n + 8 - 4 = 0 for n.
-1
Suppose 6*h - 10*h = -60. Solve h = -0*v + 5*v for v.
3
Let m(h) = 5*h + 2. Let l be m(1). Let n = l + -5. Solve -n*v + 6 = v for v.
2
Let n(i) = 3*i**2 + i - 1. Let m be n(1). Suppose -b + 2 + 3 = m*d, 0 = -5*d + 2*b + 12. Solve 4*w + d = 2*w for w.
-1
Let s = 36 + -21. Solve 5 = 5*n - s for n.
4
Let l = 155 - 143. Solve l = 3*h - 0*h for h.
4
Suppose q - 15 + 12 = 0. Let t = 20 + -14. Suppose -q + t = k. Solve 0 = u - 0 - k for u.
3
Let x(f) = -f**2 + 15*f + 2. Let o be x(15). Solve o*p = -p for p.
0
Suppose -20 = -5*h, -2*s + 7*s - 23 = -2*h. Let n = 6 - s. Suppose -17 = -n*t - 4*w - 5, -2*t + w + 8 = 0. Solve t*g = 2*g for g.
0
Suppose j + 3*j + 16 = 4*v, j - 12 = -3*v. Let s = -2 + v. Suppose -5*p + s = -8. Solve -p*x + 2 = -0*x for x.
1
Suppose 3*u + 4 = -0*u - 4*c, -4*u - 1 = c. Suppose 4*n - 6*n = u. Suppose -5*p - s + 78 = n, 0 = -p + 5*p + 2*s - 60. Solve -i - p = 3*i for i.
-4
Let y be 44/10 - 10/25. Suppose y*c = -4 - 16. Let m = 5 + c. Solve m = -2*n - 12 + 2 for n.
-5
Let t be 2 + -3*50/(-6). Solve 4*k + t = 7 for k.
-5
Let w(l) = -l + 6. Let q = 2 - 7. Let h be w(q). Suppose -4*k + h + 1 = 0. Solve y = -k*y for y.
0
Suppose -q + d = -2*d - 27, -5*d = -4*q + 80. Solve -l - 2*l + q = 0 for l.
5
Suppose 2*x + 0 = 4. Solve 0*d - x*d = 0 for d.
0
Let x = 21 + -9. Suppose h + x = 5*h. Let q = -36 - -36. Solve 5*d + 23 - h = q for d.
-4
Let u = 10 - 4. Let t = 2 + u. Solve -3*s + t*s = -20 for s.
-4
Let o be -3*1 + (3 + 2 - 2). Solve -4*n + 16 + o = 0 for n.
4
Suppose 35 = s + 34. Solve -2 - s = j for j.
-3
Let a = 95 - 89. Solve -a = -0*i + 3*i for i.
-2
Let t(g) = g**3 + 11*g**2 + 6*g - 35. Let b be t(-10). Solve 0 = -u + b*u + 8 for u.
-2
Let l be (-5)/(-20) + 118/8. Suppose -3 + l = 3*u. Let n(q) = q**3 - 3*q**2 - q + 1. Let f be n(u). Solve -f - 3 = -4*t for t.
4
Suppose -5*r + 267 - 707 = 0. Let c = -63 - r. Solve -5*h + c = -0*h for h.
5
Suppose 2*w + 4*v = 18, 7*w - 9*w = -2*v. Solve -12 = -3*x + w for x.
5
Let i be (-20)/(-15) + (-10)/(-15). Solve -d - d = i for d.
-1
Let w be ((-40)/(-25))/((-2)/(-15)). Let q = w - 8. Suppose 6 = -2*v + 5*a - 1, -16 = -v - q*a. Solve 0 = -3*y + v*y + 3 for y.
-3
Suppose 20 = 2*l + 3*l. Let p be (-44)/(-10) - l/10. Solve 5*j = -11 - p for j.
-3
Let o = -107 - -110. Solve o = -3*j - 6 for j.
-3
Let b be (-4)/(-3) + 3/(-9). Solve 3*o + b + 2 = 0 for o.
-1
Suppose -5*q + 8*q = 0. Let f be (-3)/(q + -1) + -3. Let w be (f - (-2 - -1))*1. Solve -3*d = w + 14 for d.
-5
Let j(b) = -2*b**2 + b + 10. Let z(r) = r**3 - 3*r**2 - 2*r - 8. Let q be z(4). Let i be j(q). Solve 5*k + i + 5 = 0 for k.
-3
Suppose 7 = -t - 6. Let a = t - -18. Suppose -h - 4 = 3*h, a*h + 13 = 4*j. Solve j*l = 4*l + 10 for l.
-5
Suppose -4*o + 4*b = -o + 10, -16 = -4*b. Solve -5 = -i - o for i.
3
Let q be ((-40)/(-2))/(-5) + 20. Solve 7 = -3*g + q for g.
3
Let b be 110/25 + (-6)/(-10). Suppose -r = t - 23, b*t - 95 = -0*r - 4*r