 Solve -f - 3*f + 4 = i for f.
1
Let m = 22 - 14. Suppose m = 6*j - 2*j. Let r be (-24)/(-15) - j/(-5). Solve -5*z - 3 - r = 0 for z.
-1
Let d = 1 - 1. Suppose d = f + 3*x - 20, -f - 30 = -5*f - 2*x. Solve -w - f = -2 for w.
-3
Let q be (88 - 2)*6/4. Suppose 15 = 4*n - q. Let s be 8/n + (-106)/(-9). Solve 8 = -4*t - s for t.
-5
Suppose 35 = j + j + 5*t, 3*j - 40 = -5*t. Let u(l) = l**2 + l. Let c be u(0). Let s = j - c. Solve 0 = -n + s*n for n.
0
Let y be (-50)/(-20)*12/10 + 2. Solve 1 = 3*f - y for f.
2
Let g = -131 - -134. Solve -8 + 11 = -g*z for z.
-1
Let z(o) = o + 1. Let l(k) = -4*k + 1. Let y(i) = -l(i) - 3*z(i). Let f be y(4). Suppose 2 = -d - 2*p - 2, 5*d + 3*p - 1 = 0. Solve d*u + 4 = -f for u.
-2
Let a(w) = -w + 14. Let q be a(7). Let g be (10/4)/((-3)/(-6)). Suppose -5*u = -g*x - 10, 2*u + 4*x = 2*x + 4. Solve -20 = -q*n + u*n for n.
4
Suppose 0 = o + 5*s, -3*o = -0*o - s - 16. Suppose 0 = -o*l + 37 - 7. Solve 3*w + l = -3 for w.
-3
Let s be 0 + (-1)/(-1) - -1. Suppose -4*w + 3*w + 32 = 0. Suppose 4*o - 3*b = 71, o + 5*b = b + w. Solve -s*t = 2*t - o for t.
5
Suppose -3*a = a. Let w = a + 2. Suppose 9*r = 5*r + 12. Solve -q - w = -r*q for q.
1
Let j = 3 - -3. Suppose -2*i = i - j. Solve h - i*h = 5 for h.
-5
Let y(s) = s**3 + 2*s**2 - 11*s - 12. Let d be y(-4). Solve 5 = -d*i - i for i.
-5
Let o(y) = 4*y - 74. Let z be o(19). Let q be 4 - (-1)/2*-2. Solve -11 = -z*j - q for j.
4
Suppose l + 0*l + 5 = 0, 3*l = 5*q - 40. Suppose -t + 3*m = 9, 2 + 5 = q*t - 2*m. Solve 0*a + t*a = 15 for a.
5
Let g = 0 + 3. Suppose -2*v = -5*i + i - 32, -g*i - 19 = -v. Suppose 4*j - 2 = v. Solve -7*n = -j*n - 12 for n.
3
Let p = -7 - -8. Suppose m - p - 8 = -h, -4*h + 26 = 2*m. Suppose 2*w + 3 = -3*r, -w - h*r - 4 = 2*w. Solve -3*y - y - 4 = w for y.
-1
Let n be 6*(-2)/(-2) - 0/7. Solve 0 = -3*z - 0 + n for z.
2
Let f(y) = -y**2 + 4*y + 9. Let p be f(0). Solve -5 + p = -l for l.
-4
Suppose -5*q - 3 = 4*a, 3*a - q = 2*a + 6. Let o be 2/(-4) - 11/(-2). Solve 2*r = -a*r + o for r.
1
Let b(h) = 3*h**3 + h**2 - 1. Let d be b(1). Suppose d*i = 8*i - 15. Suppose i*v = -v + 16. Solve 0 = -v*o - o - 20 for o.
-4
Let c be (-1 + 1)/((14 - 4) + -8). Suppose 3*x = -0 + 12. Solve c = 7*d - x*d - 6 for d.
2
Let v be (-2 - 12/(-8))*-10. Solve -2*k = -v*k - 12 for k.
-4
Let r = 7 - 4. Let c = -257 + 262. Solve -r*j + 20 = c for j.
5
Suppose -6 = 2*i - i. Let d = i - -12. Solve 9 + d = -5*t for t.
-3
Let p(i) = i + 2. Let v be p(3). Suppose 0 = 3*m + v*q + 10, -3*m + 4*m = 2*q + 4. Let l = 3 - m. Solve -l*d - 5 = -8*d for d.
1
Let x be 33/8 + (-10)/80. Solve x*u = 5*u - 3 for u.
3
Let m be -2 + 0/4 + 2. Solve -4 = -m*c - c for c.
4
Suppose b + 4 = -3*v - 0*b, -2*v = -2*b - 8. Let d be 2 - (-6 + (7 - 3)). Suppose 0 = 4*y - 0*y - 16. Solve v*f = y*f - d for f.
1
Suppose -3*j + z - 2*z = 0, -5*j = -4*z. Solve -3*h + 7 - 16 = j for h.
-3
Let y be (12/(-24))/(1/(-10)). Solve 9 = y*a - 6 for a.
3
Let t = 2 + -2. Let s be 0 + (2 + -3)*t. Let k(a) = -a**2 + a + 7. Let u be k(s). Solve 2*h = u - 1 for h.
3
Let f be (-2)/(-7) - 33/(-7). Solve -2*d = 3*d + f for d.
-1
Suppose -5*w - 149 = -19. Let c be (-1182)/(-78) - (-4)/w. Solve 4*q - c = 5 for q.
5
Suppose 3*k = -2*t + 48, -5*t = k - 4 - 12. Suppose -4*j = -3*o + 37, -4*j + 5*o - k = 27. Let f = 11 + j. Solve 0 = -7*b + 3*b + f for b.
1
Suppose 4*p = -0*p - 8. Let w be (p - 0) + -1 + 4. Solve -2*h - 1 - w = 0 for h.
-1
Let w(b) = b**2 + 6*b + 2. Let o = -13 - -7. Let i be w(o). Let c = 3 + 0. Solve -10 = -c*n - i*n for n.
2
Let m = -75 + 77. Solve 3*k = k + m for k.
1
Let s be (-1)/(-3) - (-1)/(-3). Solve s = 4*a + 14 + 6 for a.
-5
Let d(u) = u**3 + 3*u**2 - 6*u - 6. Let i be d(-4). Solve -i*k + 10 = -0*k for k.
5
Let m(i) = -i**2 + 6. Let u be m(0). Let n be u/1*(-1)/(-3). Suppose -37 = -5*j - 4*o + o, 3 = 3*j - 3*o. Solve 0 = -n*y + j + 3 for y.
4
Suppose 0 = -w - 2, -3*x + 10*w - 5*w = -34. Suppose 0 = x*p - 3*p - 15. Suppose -7*a + 100 = -p*a. Solve -3*i = 2*i + a for i.
-5
Let j(c) = c + 7. Let y(t) = t**2 - 6*t + 4. Let p be y(3). Let d be j(p). Suppose -d*g = -g. Solve g = -4*r + 8 + 8 for r.
4
Let c = 6 + -4. Solve g - c = -3 for g.
-1
Let a(h) = -h**2 + 7*h - 5. Let u be a(5). Let q(v) = -9*v + 20. Let o be q(0). Solve 0 = -u*s - 0*s - o for s.
-4
Suppose 0 = 3*m - 2*m - 4. Suppose 24 = 2*t - a, -m*t + a - 2*a = -36. Suppose 2*s - t - 2 = 0. Solve -1 = o - s for o.
5
Suppose 4*j - h - 15 = 0, -5*j - 2*h = -6*h - 5. Suppose -3*d + 9 = -0. Let b be (6/j)/(d/10). Solve 0 = g - 2*g - b for g.
-4
Suppose 4*d + 17 = 5*p, -5*d - p + 20 = p. Solve 4*w - d*w = -6 for w.
-3
Suppose 2*k + k = g - 21, 0 = -2*g + 2*k + 30. Solve 5*t = t - g for t.
-3
Suppose -o = 5*u - 20, -4*u + 2 = o - 3*o. Let z = u + 6. Solve -4*p - 3 = z for p.
-3
Suppose 0 = 8*i - 5*i - 12. Suppose i + 6 = 5*u. Solve -4 = -u*l + l for l.
4
Suppose 0 = -3*q - c + 6, 0*q - q = -4*c - 15. Solve -2 = -q*y + y for y.
1
Let p(a) = a + 1. Let i be p(1). Let n = i + 1. Let o(q) = -2*q - 5. Let s be o(-5). Solve s*d - n = 2 for d.
1
Suppose 0 = -2*m, 0*m + m = -3*q - 3. Let r be 1*3 + 3/q. Solve r = -b - 2*b for b.
0
Let r = -1 - -3. Suppose 4*y = r*x + 12, 3*x - 5*y + 2 + 13 = 0. Solve 2*i + i - 15 = x for i.
5
Suppose 5*r = -19 + 9. Let p = 12 + r. Solve 0 = 3*o + p + 5 for o.
-5
Let p be -1 + -2 + 3 + 23. Suppose -3*u + 5*m + 55 = 0, 0 = 3*u + m - p - 38. Solve 0*j - 4*j - u = 0 for j.
-5
Let a = -2 + 3. Suppose -3*z - 9 = -z + 3*u, -3*u - 15 = 0. Solve z*s + a + 5 = 0 for s.
-2
Suppose -2*d - 4 = 2, -2*d = 2*t + 48. Let y = t - -21. Solve -3*r + y*r = 9 for r.
-3
Let x(h) = h**2 - 7*h + 4. Let d = 22 + -15. Let i be x(d). Suppose i*q = -2*r + 16, -2*q = r + 3*q - 17. Solve 0*u + r = -2*u for u.
-1
Let r(z) be the second derivative of z**5/20 - z**4/3 - z**3 + 7*z**2/2 - 5*z. Let o(m) = 6*m**3 - 1. Let j be o(1). Let q be r(j). Solve q*l + 9 = -1 for l.
-5
Let c be 6/((-7)/(35/(-3))). Solve -a - a + c = 0 for a.
5
Suppose -2*h + 6*h = 24. Let v be (-6 - 1*-2)*1. Let q = v + h. Solve -q*y = -0*y for y.
0
Suppose -s + 3*s + 4*d + 12 = 0, -5*s + 5*d = -30. Suppose -2*p = -2*n + 8, -14 = 3*p - 4*n + s. Solve 5*i - 25 = -p*i for i.
5
Suppose 3*z + v = -55, 2*z + 110 = -3*z + 2*v. Let d be 1 - 2*z/8. Solve -8 = 2*u - d*u for u.
2
Suppose -n + g + 7 = 0, -n - 4*g - 20 = -2. Solve -n*s + 7*s + 15 = 0 for s.
-3
Suppose -i + 2*i = 0. Suppose 0 = c - i - 3. Let l be (10/4)/(3/6). Solve -7 = -l*b + c for b.
2
Suppose 2*p - 5 = 1. Suppose -g + 14 = 5*d - 2*g, 0 = -3*d - 5*g - 14. Suppose 0 = x - d*x. Solve x = p*l + 4 + 5 for l.
-3
Let t(a) = a - 5. Let l be t(10). Suppose -3*b + 2*b - 3*z = -12, 0 = 5*b + 4*z - 5. Let y = b + l. Solve 0*j - y*j - 8 = 0 for j.
-4
Suppose -7 = 5*s - 12. Suppose 0 = d - 3 - s. Solve -2*h + d = -h for h.
4
Let k(b) = -b**2 - b + 7. Let p(a) = a**3 - 2*a**2 - 5*a + 4. Let s be p(3). Let u be ((-1)/s)/1*0. Let m be k(u). Solve -2*r + 1 - m = 0 for r.
-3
Let s be (-116)/(-10) - 6/(-15). Let b be (-1)/4 + 51/s. Solve a = -3*a + b for a.
1
Let z = -11 - -26. Let g be (-2)/z - 186/(-45). Solve n = -g*n + 25 for n.
5
Suppose 16 = 4*u - i, 4*u + 8 = -9*i + 4*i. Solve 2*a + u + 5 = 0 for a.
-4
Suppose 8*j - 7*j = 0. Solve 3*o + 4 + 2 = j for o.
-2
Suppose 0 = -b - 3*j - 3 - 10, b + 2*j = -8. Solve 0 = -b*d + 4 - 12 for d.
-4
Let j = -74 - -82. Solve j = r - 3*r for r.
-4
Let u = 3 + -1. Solve u*x + 3*x = 0 for x.
0
Let x = 1 + 1. Suppose -q - 4 + x = -2*b, -5*q + 26 = 2*b. Solve b*o = -2*o for o.
0
Let o(z) = 2*z**3 - 9*z**2 - z - 6. Let n(t) = -3*t**3 + 18*t**2 + 2*t + 12. Let l(q) = -3*n(q) - 5*o(q). Let y be l(-9). Solve -y*c + 20 = 5 for c.
5
Suppose -34 = -4*c + 2. Suppose 2*z = -1 - c. Let n(k) = k**3 + 5*k**2 - k - 2. Let q be n(z). Solve -q*x - 16 = x for x.
-4
Let i(p) = -p**2 - 7*p + 9. Suppose -u = 4*u + 35. Let s be i(u). Solve -5*x - 16 - s = 0 for x.
-5
Let l(n) = -n**2 - n - 2. Let g be l(-2). Suppose -9*m + 12*m = -3. Let r = m - g. Solve -8*t = -r*t + 15 for t.
-3
Let b(l) = l - 11. Let m be b(13). Suppose -m*g = -3 - 3. Solve -v - 10 = -g*v for v.
5
Let x(l) = l**3 - 7*l**2 + 5*l + 7. Let p be x(6). Solve -p = 5*n + 14 for n.
-3
Let k(j) = -j**3 + 9*j**2 + 9*j + 12. Let i be k(10). Suppose 5 = 3*m - i*m. Solve -2*q + 3*q - m = 0 fo