for f.
5
Suppose -x + 1 = g - 5, -2*g + 12 = -x. Suppose -g*b + b = -3*f, b = 4*f. Solve -3*c + b = -6 for c.
2
Suppose -2*m = -3*v - 8, -m - 4*m = -v - 7. Solve 0 = -r + 1 + m for r.
2
Let s = 39 + -23. Let k = s + -13. Solve -k*i = -i for i.
0
Let p be (20/(-16))/((-3)/12). Suppose -p*t - 3 = -13. Solve -5*y - t = 3 for y.
-1
Let y(m) = 3*m**2 - 9*m - 9. Let o be y(4). Solve 8*c - 10 = o*c for c.
2
Let l be (-2 - -2)*1/2. Let n = -2 - -10. Solve l = -0*i + 4*i + n for i.
-2
Suppose 0 = 5*m - 4*o - 4, 5*m + 5 = -5*o - 0. Let l be 8 - m/((-2)/1). Solve -5*q - l = 12 for q.
-4
Suppose -r + 2*r - 2 = 0. Suppose 2*u + r*u = 0. Solve -2 = -u*l - l for l.
2
Suppose -3*y = 0, 0*o + 5*o = -2*y + 55. Solve 3 = -4*m + o for m.
2
Let g be (-3)/(-6)*(10 + 0). Let t be 1/g - 78/(-10). Solve -20 = 4*a - t for a.
-3
Let h = -7 - -16. Let n(t) = -t + 12. Let a be n(h). Solve -2 = f - a*f for f.
1
Let f(x) = x**2 + 3 + x**3 - 1 - 2*x**2 - 4*x**2. Let b be f(5). Solve 0 = b*n + n - 15 for n.
5
Suppose -3*b - 35 = -8*b. Solve -k - 4 = -b for k.
3
Let g(h) = h - 2. Let m be g(4). Suppose v = -5, 5*v = -2*a - m*a - 13. Solve -7 = 5*r + a for r.
-2
Suppose 3*y = -y. Let u be -1*(-3)/6*y. Suppose 4*b - 41 - 19 = -4*a, -2*b - 5*a = -30. Solve -4*q + q + b = u for q.
5
Let n(h) = -h**3 - 18*h**2 - 2*h - 34. Let o be n(-18). Solve -2*c + 12 = o for c.
5
Let q = 3 + 2. Suppose -3*b - 1 = -5*g - 0, q*b - g = 13. Solve 2*z + 1 = -b for z.
-2
Let f(l) = -2*l - 5. Let j be f(-10). Suppose -3*x + q = -j, -4*x + 2*q + 20 = -0*q. Solve x*c = -13 - 12 for c.
-5
Suppose 3*g = -5*i - 19, g - 3*i + 6 - 23 = 0. Solve -g*l = -l + 5 for l.
-5
Suppose 2*o = 7*o + 60. Let g be ((-4)/o)/(2/12). Solve 0 = g*u - 0 - 4 for u.
2
Suppose -2*s = 5*s. Solve s*w + 10 = -5*w for w.
-2
Let t be 22/6 + 4/(-6). Let u = t + 4. Let w(y) = y**2 - 6*y - 3. Let n be w(u). Solve 0 = -n*v + v for v.
0
Let a = 1 - -1. Suppose -2*c - 1 = -11. Suppose -a*f + 2*i + 18 = -0*i, 2*i = c*f - 33. Solve -3*t + f*t = -2 for t.
-1
Let c be -8 + 12 + -1 + 0. Solve 4*n - c = n for n.
1
Suppose 0 = -n + 1. Solve c + n + 0 = 0 for c.
-1
Suppose 5*b - b = 16. Solve b*f + 0*f + 16 = 0 for f.
-4
Suppose 5*h - 2*h = 18. Let d = h + -4. Suppose r = 2*r. Solve -d*g - 3*g = r for g.
0
Let w = -18 + 22. Solve -w*f - 6 = -2*f for f.
-3
Let v(m) = 2*m**3 - 3*m**2 + 4*m - 4. Let c be v(2). Suppose -3*q + 15 = o, 3 = -2*q + 4*o - 1. Let g = c - q. Solve 0*s + g*s = -8 for s.
-2
Suppose 4*j = 2*j + 4. Suppose -j*t - t = 0. Let x be -6 + 3 + 7/1. Solve -x = 2*a - t*a for a.
-2
Let v be ((-2)/(-2))/(7/14). Suppose y + 4*z - 16 = 0, y + 11 = 3*y + z. Solve -y*p = v - 6 for p.
1
Let x = 11 + -27. Let s be -5 + 4 - x - 1. Solve -5*t = s + 6 for t.
-4
Let h = -3 - -3. Suppose h = -m - 5, 0 = -d - 4*m + 6 - 26. Solve 0 = -j - d*j - 2 for j.
-2
Let z(h) = h**2 + 4*h. Let d be z(-4). Suppose 2*x - 5*x + 6 = 0, -g + x = -8. Let i be 2 - -1 - (g + -8). Solve d = 3*a + 5 + i for a.
-2
Let p(s) = 2*s + s**3 - 19*s - 1 - 16 - 17*s**2. Let z be p(18). Solve -z = -n - 4 for n.
-3
Let h(d) = d**2 + 8*d + 12. Let n be h(-6). Suppose -7 + 27 = 5*v. Suppose -v*s = s - 20. Solve 2*o + s = -n*o for o.
-2
Let x = -17 + 38. Suppose 5*m - x + 1 = 0. Let t be 6/8 + (-5)/(-4). Solve -t*z = -m*z for z.
0
Let p(n) = 2*n - 3. Suppose -h + 0*h + 3 = 0. Let t be p(h). Solve 0 = x + t - 7 for x.
4
Let y(r) = r + 8. Suppose 0*d - 12 = 2*d. Let c be y(d). Suppose -c*q = -0*q - 16. Solve 2*n - 6*n - q = 0 for n.
-2
Suppose -5*k = -3*g + 31, g = 3*k + 5 + 12. Let v = k - -8. Let w(l) = -l. Let d be w(-1). Solve b + v = d for b.
-2
Let o = -3 - -4. Suppose -o + 11 = 5*t. Let p be (-12)/(-2)*t/4. Solve -p*r + 0*r + 12 = 0 for r.
4
Suppose -o = -2*o + 12. Let x be 54/o*4/6. Solve -4*q + x = -1 for q.
1
Let v = -15 - -15. Solve -2 = -v*l - l for l.
2
Let d = 1 - 1. Suppose -24 + d = -4*v. Suppose -2*i + v + 0 = 0. Solve -i = s - 4*s for s.
1
Let h = 8 - 0. Solve 3*a + h = -a for a.
-2
Suppose 4*k + 5*u - 1 - 2 = 0, 5*k - 3*u - 13 = 0. Solve -2 = k*s + 6 for s.
-4
Let n = -112 + 118. Solve -n - 2 = 4*c for c.
-2
Suppose -3*f - f - 104 = 0. Let c = f - -16. Let y = -7 - c. Solve 2 = -y*g - 7 for g.
-3
Let w = 0 + 3. Suppose w = 5*d - 12. Solve d*q = 8*q - 10 for q.
2
Let a(t) = -t**3 - 17*t**2 + t + 15. Let w be a(-17). Let n = w - -5. Solve -1 = -4*f + n for f.
1
Let a be (-2)/(-7) - 40*(-3)/21. Solve -3*q + a*q + 15 = 0 for q.
-5
Let g(w) = w**3 - 8*w**2 + 4*w + 1. Let q be g(7). Let v be 8/q*(-2 - 3). Solve -j + v = -0 for j.
2
Let m(q) = -2*q + 1. Let v be m(2). Let z be (-1)/v + 35/21. Suppose z*p = p. Solve s + 0 + 5 = p for s.
-5
Suppose 0 = -5*u - t - 13, -5*u + 2*t + 3*t + 5 = 0. Let w be 4/((-1)/u*2). Solve w - 10 = -3*h for h.
2
Let h(r) = -2*r - 26. Let q be h(-13). Solve 0 = -2*s - q + 2 for s.
1
Let v = -2 - -4. Suppose -g - 3*g + j = 4, -2*g = v*j - 8. Solve 3*a + g*a - 3 = 0 for a.
1
Suppose 4*n + 0*i - 8 = 2*i, -3*n = -5*i - 20. Suppose 42 - 12 = 3*k. Solve 2*j + k = -n*j for j.
-5
Let b be (-14)/((3 - 0)/3). Let n = b + 7. Let s = 11 + n. Solve v = -0*v + s for v.
4
Suppose -2*q - 16 = -4*c, -3*q + 0*q - 4*c = -16. Suppose q = -4*x + x. Solve x = 3*i - 4*i + 3 for i.
3
Let m(s) = -s. Let t be m(-9). Let k = t - 4. Solve 4 = -k*a + 4*a for a.
-4
Suppose 3*k + 4*u - 18 = -0*u, 5*k - 1 = 3*u. Let o = 5 - k. Let c = o - 0. Solve 0*x + c*x + 3 = 0 for x.
-1
Suppose -4*t = -5*y - 11, 3*y + 4 + 9 = -4*t. Let b be (-30)/(-8)*(-8)/y. Let m be 2/(-4)*-2*3. Solve -m*j - b = -1 for j.
-3
Suppose 4*g - s = s - 2, 4*s + 32 = -4*g. Let h = g - -10. Solve 3*w + 16 = h*w for w.
4
Suppose -l = 4*r + 2*l + 15, -4*l - 20 = 0. Solve r = 5*f - 0 + 5 for f.
-1
Let l be (2 - 0)*12/8. Solve 0 = 4*p + l - 23 for p.
5
Let k(b) = -b**3 + 3*b**2 + 3*b - 2. Let c be k(2). Solve -3*f + c*f - 20 = 0 for f.
4
Suppose 4*k - 8 = 0, f + 17 = 2*f + 3*k. Let v = 14 - f. Solve v*o + 2*o = 25 for o.
5
Let v be 60/(-48)*4*(1 + -2). Solve v - 3 = h for h.
2
Suppose 4*k - 2*x = 2 + 12, 0 = 5*k - 5*x - 20. Solve c - 1 = -k for c.
-2
Suppose 2*x = x. Let r(a) = a**3 - a. Suppose 0*o + o = 1. Let n be r(o). Solve n = z - 3 - x for z.
3
Suppose y - 3 = 4*p - 17, 5*y + 16 = 2*p. Solve p*i + 2 = -1 for i.
-1
Suppose -2*u - 3*u = -15. Solve u = r - 0*r for r.
3
Let a = -1 - 1. Let k be 4/2*a/4. Let f = k - -7. Solve -18 = 4*w - f for w.
-3
Let p(r) = 3*r + 30. Let f be p(-10). Solve -3*o + 4 - 1 = f for o.
1
Suppose 0 = 7*f - 14. Solve 5*m = f*m - 12 for m.
-4
Suppose -2*b = 4*x - 14, -6*b + b = 3*x - 28. Suppose -2*a - 4*f - 4 = 0, -3*a + 4*f + 4 + 40 = 0. Solve a + x = -3*v for v.
-3
Let p be -1*(-2 + 3)*-1. Let v be (2 + -5)/(p*-1). Solve 2*l = v + 1 for l.
2
Suppose g - 3*q = 2*q - 1, 5*q - 49 = -g. Suppose -l + g = 3*l. Suppose -f = -2*f + l. Solve f*m - 5*m + 4 = 0 for m.
-4
Let m = 5 - 3. Suppose d - 2*t = 11, m = -3*t - 13. Solve d + 1 = c for c.
2
Let l = 7 - 2. Let t = 6 - 14. Let k be t/(-3)*(-12)/(-8). Solve l + k = 3*a for a.
3
Suppose x + 2 = -5*q, -2*q = -4*x - x - 10. Suppose -3*w - 3*c + 24 = q, 0*w - 5*c + 32 = 3*w. Let p be 124/6 + 4/(-6). Solve n + w*n + p = 0 for n.
-4
Let x(b) = -4*b + 5*b - b**2 + 3 + 7*b. Let t be x(8). Solve t*q - 1 = 8 for q.
3
Suppose -p + 0*p - 4 = 0. Let n be 3/12 + (-3)/p. Suppose 0 = 2*u - 4*q - 18, 3*u - 3*q = 22 - 1. Solve -n = u*j - 26 for j.
5
Suppose -4*j - 2*g - 20 = 0, 4*g + 14 = -5*j - 8. Let i be (-47)/(-6) - 1/j. Solve -3*t - t - i = 0 for t.
-2
Suppose 4*r = -2*h - 0*r - 4, r = 2*h - 6. Solve 1 + 1 = -h*o for o.
-1
Let o(v) = -3*v**2 - 21*v + 4. Let y be o(-7). Solve y*b - 4 = -0*b for b.
1
Suppose 0 = 2*l - 0*l - 66. Suppose 5*j - 45 = -5*r, 4*j - l = -2*r - r. Solve -4*b - j + 2 = 0 for b.
-1
Suppose 0 = -0*q + q. Solve 3*o = -q*o + 15 for o.
5
Let m(l) = l + 1. Let t be m(-2). Let p(h) = 4*h + 0*h - 2 + 3 - 2*h**3 + 2*h**2 - 2*h. Let d be p(t). Solve d*j + j = -4 for j.
-1
Let b(q) = -q**3 - q**2 - q - 1. Let d be b(-2). Suppose 10 + d = l. Let v be -1*(-2 - -2)/(-1). Solve k - 4*k + l = v for k.
5
Let p be (5/(-2))/((-3)/(-12)). Let i = p + 14. Solve i*c = 2*c - 10 for c.
-5
Suppose -12*y + 11*y = -3. Solve 0 = -0*t + t - y for t.
3
Suppose 0*p + 140 = 10*p. Solve t = p - 9 for t.
5
Let w(m) = -m**2 - 5*m + 2. Let b be w(-5). Suppose -2*g 