for f.
5
Let j = -4 - -4. Suppose j = -16*s + 7*s. Suppose 2*d + t - 10 = -s*t, -3*d = 2*t - 17. Solve o + d*o + 16 = 0 for o.
-4
Let f be (-2)/((-2 + -1)/27). Suppose 5*w - 90 = 2*w. Let o be 6/15 + f/w. Solve 1 = -n - o for n.
-2
Let v(a) = -2*a - a + a - 3 + 3*a. Let l be v(6). Solve l*w = w - 6 for w.
-3
Let j(g) = g**3 + g**2 + g + 2. Let h be j(0). Let x be ((-36)/10)/((-3)/20). Let l = x - 19. Solve -l*d = -h*d - 3 for d.
1
Suppose -5*d + 49 = -11. Let m be 1*d - (13 + -13). Suppose -3*c - 3 = -2*c + h, 0 = -3*c - 5*h - 19. Solve c*f + m = -f for f.
-4
Let m = 159 + -157. Let o = 7 + 3. Solve -m*f + 4*f = o for f.
5
Let j = 5 - 1. Let v(i) = i**2 - 3*i - 4. Let t be v(j). Suppose 2*d = -2*x + 4*d + 8, t = -x - 5*d + 10. Solve -x*o = -0*o - 5 for o.
1
Let s = 2 - -42. Let u = -40 + s. Solve u*t - 3*t = -2 for t.
-2
Suppose -b + f - 7 = -0*b, 4*b = -5*f - 46. Let g be (b/(-6) - 1)*-12. Let j be 65/39 - 2/g. Solve -l + 5 - j = 0 for l.
3
Let m(w) = w**3 + 9*w**2 - 61. Let v be m(-8). Solve 12 = v*o + 3*o for o.
2
Let j = -64 - -70. Solve 0 = -d - j + 4 for d.
-2
Let j = 74 + -58. Solve -t = 3*t - j for t.
4
Let n be 9/6 - (-144)/(-96). Solve n = 4*h - 5*h + 1 for h.
1
Let s be 7 - 1*(3 + -1). Suppose -6 = -u + 2*u + 3*y, 3*y = -s*u - 66. Let i be (0 - 2)/(10/u). Solve -4*w + i*w = 2 for w.
-2
Suppose 32 = -5*c + 92. Let d(v) = 2*v - 22. Let f be d(c). Solve 5 = -7*y + f*y for y.
-1
Let i be (-532)/(-12) + -6 + (-16)/12. Solve 4*h + i = 53 for h.
4
Suppose -5 = -f - 4. Suppose 3 = p - m, f = -2*p + 3*m + 2. Solve 5*b - 23 + p = 0 for b.
3
Suppose -5*x + 2*i + 13 = 0, -i - 5 = x - 9. Solve -4 = -x*w - 1 for w.
1
Suppose 3*m - 20 = -2*m - 2*t, -m + 5*t + 4 = 0. Suppose -g = m*b - 85, -3*b + 3*g + 50 = g. Let n = b - 14. Solve n = -d - d for d.
-3
Let c = -40 + 42. Let v = -4 - -6. Suppose c = 2*p + v*o, -p - 4*o + o = 7. Solve 0 = -0*l - p*l - 10 for l.
-2
Suppose -3*h - 10 = 2*k, 17*h - 22*h - 2*k - 10 = 0. Solve 61*x - 63*x = h for x.
0
Let h be (-2 - -41)/((-387)/(-258)). Solve 34*i = h*i - 16 for i.
-2
Suppose 11*h - 17*h + 24 = 0. Let i be 42/(-11) + 2/(-11). Let s(w) = w**3 + 4*w**2 - 2*w - 4. Let o be s(i). Solve o = -h*y - 0 for y.
-1
Let w = 13 - 9. Suppose 5 + 0 = -5*p, 4*s - 16 = 4*p. Solve y - s = w*y for y.
-1
Let f = -52 - -64. Let n = f - 8. Solve -t = n*t - 5 for t.
1
Let f(p) = 9*p - 104. Let u be f(12). Solve -u = o - 1 for o.
-3
Let s(z) = -z - 6. Let q be s(-8). Suppose 3*r + r = r. Let o be (-4 + r)*(-175)/50. Solve q + o = 4*g for g.
4
Suppose 5*l = u - 5, -6 = 2*l + 4. Let b = 23 + u. Solve b*d = d for d.
0
Let s = -61 + 61. Solve 2*p + 3*p + 15 = s for p.
-3
Suppose -4*w - 282 = -5*d, -w - 165 = -4*d + 54. Solve -d = 14*z + 16 for z.
-5
Suppose 3*u = -s + 15, 5*u - 11 = 2*s - 8. Solve 4*y + s = 18 for y.
3
Let f be (1*6/(-3))/((-64)/608). Solve 0 = 28*c + f - 75 for c.
2
Suppose -2*h + 0*h = 0. Let j be -7 + (-24)/(-6) - -7. Suppose j*t = -3*v + 5*v + 10, -5*v - 5 = h. Solve t*g + g = -6 for g.
-2
Suppose -18 = -9*u + 6*u. Suppose -u + 1 = -5*w. Let l(z) = 4*z. Let f be l(w). Solve -f*k = k for k.
0
Let y(d) = -2*d - 108. Let x be y(25). Let t = x - -163. Solve -t*j + 13 = 38 for j.
-5
Let j = 0 - 0. Let x be (-2)/(-4) + (1575/14)/9. Let n(i) = -i**3 - 2*i**2 + 6*i - 7. Let c be n(-5). Solve -5*k - c + x = j for k.
-5
Let z = -21 - -18. Let q(n) = -4*n - 12. Let r be q(z). Let f(d) = d**3 - 8*d**2 - 9*d + 3. Let w be f(9). Solve -w*u = -r*u - 12 for u.
4
Let p(n) = 6*n**2 - 2*n + 2. Let b be p(1). Let v be (3/(-2))/(15/b + -3). Solve 2*q - 11 = -v for q.
4
Suppose -2*j - 108 = 3*w - 5*j, -w - 35 = -2*j. Let a = w + 41. Solve 4*s - 3*s - a = 0 for s.
4
Let p = -118 - -118. Solve g - 2*g = p for g.
0
Let c = 421 + -411. Solve 0*n + c*n = 10 for n.
1
Suppose -64*i = -59*i - 40. Solve -4*j + i*j + 8 = 0 for j.
-2
Suppose 2*f - 7 = -1. Suppose -f*v - 5 = -8. Solve -v = -2*g + 3 for g.
2
Suppose -10*p + 22*p - 36 = 0. Solve p = -4*i + 5*i for i.
3
Suppose -13 + 1 = -4*h, 3*h = j - 20. Solve 53 - j = -6*v for v.
-4
Suppose -21*v + 90 = -15*v. Solve 17*x - 22*x = -v for x.
3
Let w = 123 + -123. Solve w = -2*l - 4 - 4 for l.
-4
Let f be (4/(-10))/((-6)/(-180)). Let p = f - -14. Suppose -p*n - 3 = -0*u - 3*u, u = -n + 6. Solve 0 = h - n*h for h.
0
Let a(u) = -4*u + 1. Let x(i) = 9*i - 1. Let r(z) = -7*a(z) - 3*x(z). Let s be r(8). Solve 0*t + s*t = -12 for t.
-3
Let c be (0/(10 - 2))/1. Solve -2*h - 7 + 15 = c for h.
4
Suppose -3*p - 28 = -7*p. Let m(x) = -x + 10. Let k be 76/10 + (-6)/10. Let z be m(k). Solve -z*w - 16 = -p*w for w.
4
Let j(f) = 4*f - 2 - 4*f + 1 - 2*f. Let g be j(-2). Suppose -4*k = -g*k. Solve k = 2*r - 5*r + 6 for r.
2
Let i(l) = 0*l**2 - l**2 - 3*l - 3 - 5*l. Let g be i(-7). Let j be g/20 - (-18)/10. Solve j*s = s - 4 for s.
-4
Let h(f) = -3*f**3 - 70*f**2 - 24*f - 16. Let p be h(-23). Solve 9 + p = 4*v for v.
4
Let q be (-1)/1 - (2/(-1) - 73). Let t = 79 - q. Solve t*f = -28 + 3 for f.
-5
Suppose 2*p - 346 = -7*u, u - 73 = -3*p - 2*p. Solve -u*x - 4 = -50*x for x.
2
Suppose -4*k = k - 30. Suppose -3*c + 6 = 5*u, -3*u + c - k = -2*c. Suppose 6 = 2*v - u*v. Solve -v - 1 = l for l.
-4
Let d(a) = -20*a**3 + a**2 - 1. Suppose 0 = -4*r - 2 - 2. Let i be d(r). Let n be 8*(11/(-11))/(-2). Solve -k = n*k + i for k.
-4
Let x(s) = 0*s**2 + 6 + 14*s - 7*s - s**2 + 2. Let a be x(8). Solve a*k - 3*k = -12 for k.
4
Let t = -5138 + 5142. Let j(o) = -5*o - 2*o**2 - 2 + 10 + o**2. Let k be j(-6). Solve r = k*r - t for r.
4
Suppose 0 = 7*a - 4*a - 114. Let r = -34 + a. Solve 0*f - r = -f for f.
4
Let x(v) = 3*v**2 + 53*v + 39. Let z be x(-17). Let j(s) = -s**2 - 5*s - 3. Let q be j(-3). Solve -z - q = 4*p for p.
-2
Suppose -5*g - 34*t + 38*t + 96 = 0, -2*t = 8. Solve -k - g + 17 = 0 for k.
1
Let z(s) = -s + 1. Let n(j) = 3*j. Let p be (2/(-4))/((-7)/14). Let v(b) = p*z(b) + n(b). Let c be v(3). Solve -y + 3 = c for y.
-4
Let p be (-230)/2 + 5 + -2. Let d = p + 113. Solve 0 = -2*z + z + d for z.
1
Let h(l) = l**3 - 10*l**2 - 11*l + 19. Let d be h(11). Suppose -8*n + v + d = -4*n, 11 = -n - 5*v. Solve -n*o + 5 - 1 = 0 for o.
1
Let w be (1 + -1)*((-6)/4)/(-3). Let c = 10 + -5. Suppose 3*q - 9 = 0, c*j + q - 13 = 5. Solve w = -j*b + 5 + 1 for b.
2
Suppose 0 = 16*p - 19 - 13. Suppose -5*f + 51 = -19. Solve 0 = 4*v - p - f for v.
4
Let w(p) = -p**3 - 10*p**2 + 1. Let k be w(-10). Let o be (-2)/k + (23 - 1). Suppose -5*y - 5 + o = 0. Solve 0*i - 3 = y*i for i.
-1
Let c(t) = -2*t + 21. Let v be c(9). Suppose 12 = v*k, -3*h - k = -0*h + 59. Let j = -21 - h. Solve j = g - 3*g for g.
0
Let z(n) = -n - 3. Let c be z(-6). Suppose -5*k + 11 = -k - 3*f, 4*k = -c*f + 29. Solve -k*y + y = 8 for y.
-2
Let n = 16 + 9. Suppose 33 = 5*r + 8, -2*f - r = -5. Suppose f = -3*i + 2*i + 5. Solve i*p + 0 = n for p.
5
Let b(p) = p**2 - 6*p - 4. Let d be b(8). Let j be (d/10)/((-8)/(-20)). Solve -j*k = -8*k for k.
0
Let b(l) = -2*l - 3. Let p be b(-3). Suppose -3*s - 1 + 22 = p*g, 5*s = -g + 27. Suppose -4*f + 7*x - 2*x + 17 = 0, g*f + x - 5 = 0. Solve -2*d - f = -9 for d.
3
Suppose -2*u = 4 - 34. Let d = 18 - u. Suppose t - 48 = -d*t. Solve -4*i - t = -i for i.
-4
Let z be (-3)/(-6)*-2*13. Let o = z - -16. Suppose 13 = t - 4*c - 6, -5*t = o*c - 3. Solve 0 = r + t*r for r.
0
Let o be 8/64 - ((-621)/24 + 2). Solve -2*a + 28 = o for a.
2
Let g = 7 + -2. Suppose 3*c = -2*c + b + 15, -g*c + 3*b = -25. Suppose c = -5*x + 7. Solve 2*j + 3 = x for j.
-1
Let t(s) = s**2 - 12*s + 12. Let n be t(8). Let q be (-5)/((-25)/n)*-1. Solve z + z = -q for z.
-2
Let i be (-9)/(3/6*-3). Suppose h + 3*n - i = 3*h, -3*n + 3 = -3*h. Suppose -2*k + t = -17, -h*k + 3*t + 13 = -20. Solve 0 = -4*p + k - 2 for p.
1
Let c(f) = -f**3 - 9*f**2 - 8*f + 29. Let r be c(-8). Solve 0 = -2*z - r + 27 for z.
-1
Suppose 916 = 44*g - 756. Solve -33*n + g*n = 25 for n.
5
Suppose -5*t - 4*y = 31, -2*t + t - 23 = 5*y. Let j be 16 - 8 - (t + -1). Solve -5*v - 2 = -j for v.
2
Let r = -1225 - -1229. Suppose -6 = 2*v - 2*l, 7*v - 2*v - 4*l = -10. Solve q - r = -v for q.
2
Let i be ((-8)/(-6) - 2)/(2/(-72)). Let p = i - 20. Solve -p*d - 4 = -3*d for d.
-4
Let k be (24/44)/(4/44). Let l be 1*-3 - (-9 + -3 + k). Solve -2*q - l = -q for q.
-3
Let d be ((-40 - -41)/(1/25))/1. Solve 0 = 24*b - d*b + 5