). Solve 0 = -f*i + 4*i for i.
0
Suppose -5*c + 34 = 2*h - 24, -3*h - 18 = -3*c. Suppose -m - c = 38. Let u be (-1)/(-3) - m/18. Solve u*f = 3 + 12 for f.
5
Suppose -g = -3*g + 2*n + 10, -3*g - 9 = 5*n. Suppose -5 = g*x - 9. Solve o - 4 = x*o for o.
-4
Let w = 0 + 0. Let a(i) = 9*i - 2. Let q be a(6). Let n be q/14 - (-6)/21. Solve w = -n*f + 2*f for f.
0
Let d be (18 - -1) + (-14)/7. Suppose 4*i - 3 = d. Solve -4*k + 9*k + i = 0 for k.
-1
Let i be ((-5)/(-3))/((-1)/(-3)). Solve i*x + 12 = x for x.
-3
Let f be (-10)/3*(-27)/18. Let p = f + -1. Solve 2*c + 10 = p*c for c.
5
Suppose -12*m - 22 + 58 = 0. Solve 0 = 4*s + 1 + m for s.
-1
Let m(d) = 3*d**2 - 12*d. Let c be m(4). Solve 3*a - 13 + 1 = c for a.
4
Suppose 0 = 2*z + r + r - 6, 15 = 5*z + 4*r. Solve z = -3*f + 15 for f.
4
Let k = 150 + -132. Solve 3*s + k = 6 for s.
-4
Let c = 20 - 11. Solve -c - 11 = 5*n for n.
-4
Suppose -5*b + 0*r + 15 = -3*r, -5*r - 3 = -b. Solve b*p = -2*p + 20 for p.
4
Suppose 2*o = n + 9 - 4, 15 = 5*o - 2*n. Let c = 7 - o. Solve 0 = r - c - 1 for r.
3
Suppose -3*u = -0 - 6. Solve -g = u*g + 12 for g.
-4
Suppose 2*u = -2*u + 28. Solve 4*o + u = 27 for o.
5
Suppose 0 = -r - 5*m + 4 + 2, 0 = 5*r + 5*m + 10. Let t be (-2)/r - 46/4. Let i = -8 - t. Solve 20 = k + i*k for k.
5
Let u(d) = -d**3 - d**2 + 6. Let s be u(0). Suppose w + 25 = s*w. Solve 0 = -y - w for y.
-5
Suppose -4*c - 2*t = -3*c + 4, -2*c + 4*t = -16. Let x(s) = -s**3 - s**2. Let h be x(-1). Let v be -1*(h/1)/(-2). Solve -2*o - c*o = v for o.
0
Let k(f) = f**3 + 2*f**2 - 2*f - 2. Let x be k(-3). Let b = x + 10. Suppose s - 2*s = -3, -j - b*s = -17. Solve j*q = -q + 3 for q.
1
Let s(x) = -2 + x + 6 + 0. Let m be s(-3). Solve 0 = u + m - 0 for u.
-1
Let i = -18 + 28. Let g = 12 - i. Solve -5*v = -12 + g for v.
2
Suppose -5*n - 21 + 1 = 0. Let g(x) = x**2 + 7*x - 8. Let v be g(-9). Let t be 4/v + n/10. Solve 5 = -w - t*w for w.
-5
Suppose 12 = -4*m, -10 = 5*x - 5*m - 45. Solve -x*k - 4 = -5*k for k.
4
Let x be -1*3/(6/(-10)). Suppose 2*n + 2 = 2*s, x*s + n - 2 - 9 = 0. Let a = 11 + -6. Solve -s*m = -a - 3 for m.
4
Let n = -2 + 4. Solve 15 = -a - n*a for a.
-5
Let d be 29 - 9 - 0/2. Suppose -2*l - 2*y = -2 + d, 0 = -y + 2. Let f = l + 15. Solve -f = -3*s + 5 for s.
3
Let b(x) = x + 9. Let y be b(-8). Solve -r - y = 3 for r.
-4
Suppose 5 + 15 = 5*g. Suppose 12 = 4*i + 4*m, 2*i - g*m = -2*m + 18. Let d be (27/i)/((-6)/(-8)). Solve 20 = -d*n + n for n.
-4
Let y(i) = -i - 3. Let c be y(-8). Solve -c*v - 20 = -0*v for v.
-4
Let a = -1 - -8. Solve -5*o + a = 32 for o.
-5
Let q(i) = i**2 - 11*i + 25. Let k be q(9). Solve -k*o = -6*o for o.
0
Let z be 3/(-6) + 38/4. Suppose 4*y = -m - 0*y - 20, y + 16 = -3*m. Let k be m/10*1*-10. Solve -k*g + z*g = 5 for g.
1
Let s be (2 + 4)*(-1)/(-3). Solve s*d - 6 = -0*d for d.
3
Suppose 3*v + 0*v + 42 = 0. Let u(o) = -o**3 - 15*o**2 - 14*o. Let p be u(v). Solve p = 2*i - 2 for i.
1
Let i be -2 + (-3 + 2)*-7. Let u(t) = t**2 - 6*t + 1. Let p be u(6). Suppose -28 = -5*y + 2*r, 4*y - p + 5 = -5*r. Solve -4*w = -i*w + y for w.
4
Suppose r = 2*r + x - 4, -2*r + 10 = x. Solve -4*h = -r*h - 10 for h.
-5
Let r be (8/(-10))/(2/(-10)). Solve 9 = -r*p + p for p.
-3
Let p(a) = -a**2 + 2*a + 4. Let j be p(3). Let q be j/(-4) - (-7)/(-4). Let r = -1 - q. Solve 3 = -4*o - r for o.
-1
Let m = 34 - 30. Solve 0 = -h + 3 - m for h.
-1
Let g(l) = -6*l - 31. Let i be g(-6). Solve 0 = -n + 2*n - i for n.
5
Suppose -2 = 4*l + 3*v, -3*l + 3 = 4*v + 8. Suppose 5*o + 3*z - l = 0, -4*o - 3*z = -2*o + 5. Solve 5*h - o - 3 = 0 for h.
1
Suppose 0 = -3*a - a + a. Solve 4*t + t = a for t.
0
Let c = -74 - -74. Solve -u - u + 2 = c for u.
1
Suppose 0*r - 4*w = 3*r - 29, 5*r = w + 56. Solve 5*v + 4 = -r for v.
-3
Suppose -c = -3*w + 16, 3*c + 6 = -6. Suppose -w*t + 4 = -8. Suppose 0 = -5*z + 4*z + 2. Solve 5*a + z = -t for a.
-1
Let v(j) = -j**2 + 3*j. Let n be v(3). Suppose 4*u + 50 = -2*h, n + 19 = -2*u + 5*h. Let i be -2*2/u*6. Solve -i*y - 6 = y for y.
-2
Let c(z) = -z**2 - 3*z - 2. Let f be c(-1). Suppose -3*n = -a - 6, f = -n + 7*a - 2*a - 12. Solve -7 - 2 = n*t for t.
-3
Let j(s) = 5*s + 4. Let y be j(5). Let c = y - 9. Suppose 0*v + 5*v - c = 0. Solve -v*i + 15 = i for i.
3
Let l be (-7)/(84/(-16))*9. Suppose -5*p = -l - 8. Solve 2*a - 6 = p*a for a.
-3
Let l(c) = c**2 + 2*c - 5. Let r be l(-4). Suppose 4*t + 40 = -t - 5*u, 2 = u. Let b = -1 - t. Solve 0 = r*i - b for i.
3
Suppose -3*k + 8 = 2*q, -q + 13 = -2*k - k. Suppose 2*t + a + 0*a = 14, 3*a - q = t. Suppose j + 8 = t*j. Solve j*d = 5 + 5 for d.
5
Let t(g) = -g**2 + 8*g - 2. Let k be t(7). Solve -3*v + k*v - 8 = 0 for v.
4
Let m(a) = a**3 + 4*a**2 + 3*a + 2. Let b be m(-3). Suppose -6*o + b = -5*o. Solve -o*n = 2*n for n.
0
Let a be -4*1*(1 - 0). Let k be a - -7 - (-6)/(-2). Solve l = -k*l for l.
0
Let r = -15 + 19. Solve r = w - 0 for w.
4
Let b(d) be the first derivative of 7/3*d**3 - 3 - 1/4*d**4 - 5/2*d**2 - 5*d. Let q be b(6). Solve 13 = -4*v + q for v.
-3
Suppose -y = -t - 5*y - 10, 2*y = 2*t. Let u be -2 + t + -1 + 8. Solve u*v = 5*v + 6 for v.
-3
Suppose 0*o - 11 = 5*o + 2*h, -h - 4 = o. Let n be (-1)/(-3) + o/3. Solve n = 5*u + 22 - 2 for u.
-4
Let z be -3 - (4 - 27/3). Solve 2 = d - z*d for d.
-2
Let s = 20 + -13. Solve s = i + 2 for i.
5
Suppose -5*v - 75 = -5*o, -19 = 3*v - 4*o + 27. Let n = v + 19. Solve n + 15 = -4*p for p.
-5
Let o(b) = -b + 1. Let s be o(0). Solve 0 = q - 4 - s for q.
5
Let v be 10/4*8/20. Suppose -4*w + 15 = -w. Suppose 0 = -w*x + 10. Solve x*b - v = 3*b for b.
-1
Let w = 29 - 25. Solve 5*z - 29 + w = 0 for z.
5
Let t = -25 - -35. Let f(o) = -o**2 - 4*o. Let n be f(-5). Let a = t + n. Solve -a*z = -2*z - 12 for z.
4
Suppose 0 = 3*u - 7 - 14. Let m be u + (-5 - -2)*1. Solve -z - m = -0 for z.
-4
Let c = -83 - -86. Solve c*z + 10 = 5*z for z.
5
Let m(q) = -q**2 - 9*q + 54. Let k be m(4). Solve k*x = -2*x for x.
0
Suppose 4*r - t + 5*t + 104 = 0, -r + 4*t = 1. Let h = -16 - r. Solve -2*l = -h*l for l.
0
Let w(m) = 3*m**2 - 12*m. Let g be w(5). Let i(v) = v**3 + 3*v**2 + 3. Let b be i(-3). Suppose -a = -4*z + 10, b*z - 3*a = 6*z. Solve -z*d = -7*d - g for d.
-3
Let u be 2/3*(-1 + 4) - -3. Solve u*d - d + 8 = 0 for d.
-2
Suppose 8*f - 4*f = 20. Suppose -4*w = x - 3, -3*w - 1 = x - 2. Suppose f*t + 15 = -a, 5*t + 13 + w = 5*a. Solve a - 2 = g for g.
-2
Suppose -3*z = -9, -4*z - 10 = -5*m + z. Suppose -3*n - 1 = -s - 11, -s = -m*n + 18. Solve j + j = -n for j.
-2
Let h be 2*2 + 10 + -9. Solve -h*x - 3 = 2 for x.
-1
Let o = 4 + -2. Let q be (6/(-4))/(2/(-4)). Let m be 3*2*o/q. Solve -12 = m*g - 7*g for g.
4
Suppose -3*a - 5*r + 9 = 0, -2*a + 2*r + 6 = -0. Solve -a*x + x = 10 for x.
-5
Let o be 9/((-18)/4) - -11. Solve -4*y - 7 = o for y.
-4
Let h = -130 - -132. Let t = 0 - 0. Suppose t*z = -z. Solve z = -2*d - h*d - 12 for d.
-3
Let y be (8/(-6))/(10/45). Let m be 4/((-8)/y)*1. Suppose -m*j + 8 = j. Solve j*q = q + 1 for q.
1
Suppose -4*r = -7*r + 15. Solve j = r - 0 for j.
5
Suppose -62 = -2*i + 4*l - 18, -2*i + 5*l = -49. Solve -r + i = -4*r for r.
-4
Let t be (12/14)/((-7)/49). Let c(o) = -7*o + o**3 + 10*o**2 + 0*o - 4 + 0*o**3 - 5*o**2. Let d be c(t). Solve d*q = -q + 12 for q.
4
Suppose 5*x - 3*s - 13 = 3*x, -3*s + 53 = 4*x. Let i = -9 + x. Solve i*j - 3 = -7 for j.
-2
Let w(h) = 11*h - 12. Let x(m) = 5*m - 6. Let i(c) = -4*w(c) + 9*x(c). Let b be i(6). Suppose -u - 4*u = b. Solve u = k - 2*k + 5 for k.
5
Let k(a) = 2*a**2 + a - 1. Let c be k(1). Suppose b + c*d = 9, b + 8 = -3*b + 3*d. Solve 3*j + b = -8 for j.
-3
Let n(g) = -g**3 - 7*g**2 - 6*g + 2. Let y be n(-6). Suppose y*u = -u. Let o(k) = 10*k + 54. Let i be o(-5). Solve u*w = -w + i for w.
4
Suppose -5 = 5*o, -4*z = -2*z + 2*o - 8. Solve 0*w - w = -z for w.
5
Let d be 8 - 2 - (0 + 3). Solve -d*b = -4*b + 5 for b.
5
Suppose 2 = -m - 2*a, 4*m + 3 = 7*m + 3*a. Solve m*n - 4 + 20 = 0 for n.
-4
Let h = 8 - -23. Suppose -h - 39 = -5*r. Let x = r - 4. Solve -3*s - 2*s = x for s.
-2
Suppose 6 = -4*c + 5*c. Let l = c - 10. Let m(s) = s**2 + 3*s + 2. Let w be m(l). Solve 0 = -3*q + w for q.
2
Let k(z) = z**2 - 5*z - 4. Let c be k(6). Solve 7*y = c*y + 10 for y.
2
Let t be 12/(-16) - 75/(-4). Suppose 0 = 2*k - 4*i - 20, -3*k + 2*i = -i - t. Solve -3 = k*a + 3 for a.
-