 a for f.
-3
Let u be ((-1)/3)/(4/(-36)). Let p be 2 + (-15)/3 + 9. Let m(k) = 3*k. Let h be m(1). Solve h*r - u = p for r.
3
Let h(l) = -2*l + 1. Let s be h(2). Let c(b) = b**3 + 5*b**2 + 3*b - 2. Let y be c(s). Suppose -4 - 4 = -4*u. Solve 0 = -u*w + y*w for w.
0
Let r be 10/(-3)*(-27)/6*1. Solve 6*i + r = i for i.
-3
Suppose 3*q + 3*c = q + 35, 0 = -5*c + 5. Suppose -5*j + q = -j. Solve 7*p = j*p + 12 for p.
4
Suppose 3*o + o - 8 = 0. Let c = o + 0. Let h be (5 + -1)/(c/5). Solve 3*x + h - 4 = 0 for x.
-2
Suppose 7*o - 71 = 41. Solve -o + 0 = -4*a for a.
4
Let o be 2/(-5) + (-17)/(-5). Solve -4 = -5*g + o*g for g.
2
Let o = 5 - 3. Suppose o*h - 5 = 5. Solve 2*c = c + h for c.
5
Suppose -5*a + 15 = -0*a. Suppose -g + a = 2*g. Let x(m) = m + 1. Let u be x(g). Solve -5*p = -u*p - 9 for p.
3
Suppose -r + 4*r - 27 = 0. Suppose 2*s - 27 = -r. Solve s = 3*g - 0 for g.
3
Suppose -5 - 7 = -x. Suppose 3*j + j - x = 0. Solve -4*i = -5 - j for i.
2
Suppose 4*f - 4 = 5*r - 24, 5*r - 20 = f. Solve 1 = -r*o - 11 for o.
-3
Let j(u) = -u**3 + u**2 - u - 4. Let n be j(0). Let c be 3/((-2)/n + 1). Suppose -c*o = -3*o - s + 1, o - 4*s = 6. Solve 2 = y - o for y.
4
Let o(a) = a - 3. Let b be o(3). Solve -p - 8 + 4 = b for p.
-4
Suppose 3*r - 39 - 24 = -3*f, -5*r = -4*f - 60. Suppose y = 0, 4*y = 2*t - 4*t + 6. Suppose -5*d - t*c = -d - 27, 4*d - 25 = -c. Solve -r + d = 2*x for x.
-5
Suppose -3*z + 4*t + 68 = 2*z, 0 = -3*z - 4*t + 28. Let b(h) = -17*h + 1. Let f be b(1). Let g be 4/10 - f/10. Solve g*i = -i + z for i.
4
Suppose -5*f = 3*v - 18, -3*f + 0*f + 4*v = -5. Solve -2*r - 7 - f = 0 for r.
-5
Let w(k) = -k**3 + k**2. Let x be w(1). Suppose d - 2*d = 0. Suppose -y + 4 = -d. Solve x = m - y for m.
4
Let l = -13 - -15. Suppose -9 = u + 3*n, -2 = -2*u + l*n + 4. Suppose 3*m = -i - 0*m + 15, -3*i + 2*m + 45 = 0. Solve u = 3*h + 2*h - i for h.
3
Let v be 0 + (3/6)/((-1)/(-40)). Solve 0 = 3*q - 8*q - v for q.
-4
Let b(i) = -4*i**2 - 5*i + 9. Let j(a) = -3 + 3*a**2 - 2 - 3 + 6*a. Let y(n) = 2*b(n) + 3*j(n). Let z be y(-9). Solve -z*t + 2*t + 1 = 0 for t.
1
Suppose c + 0 - 3 = 0. Suppose 0 = d - 1, -c*a + 3*d + 37 = 4*d. Suppose -t - 4*y + 0*y - 12 = 0, -2*t + 5*y = -15. Solve -4*u + t*u = -a for u.
3
Suppose -3*o + 8*o - 30 = 0. Let x = o - 12. Let b = 11 + x. Solve -u = -2*u + b for u.
5
Let j be (-4)/10 - 246/(-15). Let u = 21 - j. Solve -10 = c - u for c.
-5
Let f be ((-4)/(-5))/(4/(-30)). Let p be 3/(f*(-4)/32). Solve -3*u - 8 = p for u.
-4
Let x be (-1)/(-2 - -1)*61. Let q = x + -41. Solve s + q = -3*s for s.
-5
Suppose 3*c - 7 + 1 = 0. Solve 3*m = -c*m - 25 for m.
-5
Let y = 24 - 17. Let k(m) = -m + y + 0*m + 2*m. Let q be k(-4). Solve s + 0*s = -q for s.
-3
Suppose -4*v - 5*b + 107 = -243, -2 = b. Let s be v/35*(-28)/(-6). Solve 0 = 4*t - 0 + s for t.
-3
Let l = -7 - -8. Let d(c) = -c**3 + 4*c**2 + c + 3. Let r be d(4). Suppose v + l = r. Solve 2*w - 4 - v = 0 for w.
5
Let o = 89 + -86. Solve 0*w + 3 = -o*w for w.
-1
Let m(o) = -o + 4. Let f be m(4). Solve f*n = -3*n + 6 for n.
2
Let f(i) = i. Suppose -3*q = -13 + 1. Let m be f(q). Let p(a) = a - 5. Let j be p(9). Solve m*v - j = -20 for v.
-4
Let u(w) = w**3 - 20*w**2 - w + 22. Let x be u(20). Solve 2*q = q - x for q.
-2
Let q be -1*((-6)/(-3))/(-2). Solve 2 = -i + q for i.
-1
Let d = 12 + -10. Suppose -60 = d*x - 5*x. Solve 4*b = -b + x for b.
4
Let r be (-6)/8*12/(-9). Solve -4*p + 11 = -r for p.
3
Suppose -z + 15 = 4*z. Suppose 0 = -2*x - z + 35. Solve 5*l = -4 - x for l.
-4
Suppose 2 + 8 = 5*l. Solve 3*f = l*f for f.
0
Let t(u) = -u**3 - 5*u**2 - 7*u - 6. Let m be t(-4). Suppose 2*j - m*j + 40 = 0. Suppose 0 = 2*b - 4*b + j. Solve -b*l - 17 + 2 = 0 for l.
-3
Let g be (-1)/(20/(-16) + 1). Solve -2*b = -g*b + 8 for b.
4
Let t(n) = -n**2 + 10*n. Let s be t(9). Let b be 4*(s*-1)/(-3). Solve 4*l - b + 0 = 0 for l.
3
Let j(g) = 2*g**2 - 2*g - 1. Let w(t) = 2*t**2 - 2*t - 2. Let u = 1 - -1. Let k be w(u). Let s be j(k). Solve s*b - 3 - 9 = 0 for b.
4
Let p be -1 + -4*(0 - 1). Solve -4 + p = -w for w.
1
Let h be (5 - 3) + 1/1. Suppose -1 = -3*u + 2*i - h, -2*u = -5*i - 6. Let x be u/6 + (-40)/(-12). Solve -x*b + 1 = -5 for b.
2
Let a(q) = -q + 2. Let x be a(-2). Suppose 5*s = 3*n + 22, 7*s - 26 = 2*s + x*n. Solve 3*j = -s*j + 5 for j.
1
Let z(n) be the first derivative of n**4/4 + 5*n**3/3 + 5*n**2/2 + 2*n - 2. Let a be z(-3). Solve 4*r + a = 21 for r.
4
Suppose 0 = 3*f - 7*f. Solve 25 + f = -5*c for c.
-5
Let m(f) = f**2 + f + 1. Let h(g) = 4*g**2 + 13*g + 5. Let d(s) = -h(s) + 5*m(s). Let j be d(8). Let n be 0/(j/3 + 2). Solve n = l - 6*l for l.
0
Suppose 0 = -4*g - 2*l + 24, 5*g + 2*l - 3*l = 16. Let v be 10*(-24)/(-18)*3/8. Solve o = v*o + g for o.
-1
Let d be (-11 - -1)*1/(-2). Suppose 0 = d*m - 4*q - 32, -q = -4*m + 41 - 11. Suppose -3*n - 2 = 4*u, -5*u - 16 = -m*n + 5*n. Solve -c - 5 = -n for c.
-3
Let t be 0/(((-8)/(-28))/(2/(-14))). Solve -15 = -t*u + 3*u for u.
-5
Let w be (-34)/(-289) - (-66)/17. Let r(x) = x**2 - x + 22. Let n(g) = 1. Let h(y) = -6*n(y) + r(y). Let t be h(0). Solve t = w*a - 0*a for a.
4
Let d(m) = -m + 8. Let f be d(7). Solve 3*o - f = 11 for o.
4
Suppose 0 = 5*r - 5*f + 20, 0 = 6*r - 3*r + 3*f - 18. Let q = 0 - 1. Let w(z) = -z**3 - z**2 + 1. Let v be w(q). Solve 2*x = -v - r for x.
-1
Suppose -13 = -3*x - 1. Solve x*w = w for w.
0
Let m be (-12)/4 + 3 + 0. Let l be (-2 - m)/((-1)/2). Let g(d) = d**3 + 4*d**2 - 7*d + 2. Let n be g(-5). Solve 0 = -4*u + l + n for u.
4
Suppose -2*a - 5*i - 2 = -3*i, 3*i = -4*a - 3. Suppose 3*m + 5*o = -9, -3*m + m + 3*o + 13 = 0. Solve a = -p - m - 2 for p.
-4
Let o = 7 - 4. Let t(u) = -2*u + 12. Let q(d) = -d + 6. Let k(a) = -13*q(a) + 6*t(a). Let y be k(6). Solve -9 = -o*x - y*x for x.
3
Let s(w) = 6*w**3 - w**2. Let n(p) = -p + 8. Suppose 0 = 3*b - 16 - 5. Let k be n(b). Let r be s(k). Solve r*x + 4 = 3*x for x.
-2
Let u be 2/4*(-56)/(-4). Suppose -4*z + u*z - 12 = 0, -4*z = 5*c - 36. Let q be c + (2 - (5 - 1)). Solve 8 = -2*t + q for t.
-3
Let i = 8 + -6. Suppose 0*a = 4*d - 4*a - 44, i*d - 4*a - 26 = 0. Solve -4*z + d*z = 0 for z.
0
Suppose -4*a + 5 = -3*a. Let r = -3 + a. Solve -5*l - r = 8 for l.
-2
Let a be ((-1)/(-3))/(5/60). Suppose -3*k + 16 = 2*k - a*l, 3*k - l - 4 = 0. Solve 0 = -k*v + 3*v + 9 for v.
-3
Let m(k) = -3*k + 0*k + 3*k**2 + 1 - 2*k**3 + 3*k**3. Let t be m(-3). Let q = t + -6. Solve q*i - 8 = 8 for i.
4
Let f be (10/4)/((-7)/70). Let j = -16 - f. Solve -4*u + j + 7 = 0 for u.
4
Suppose -5*l + 3 - 88 = 0. Let y = l - -22. Solve 8 = -y*z - 17 for z.
-5
Let l(h) = h**3 - 3*h**2 + 4*h. Let o = 11 - 8. Let u be l(o). Solve -u = -7*n + 3*n for n.
3
Suppose 4*h = 2*h - 5*y, 3*y = -h. Solve 0 = -h*a - a - 3 for a.
-3
Suppose 0*n = -4*n - 8. Let l be 2 - ((n - 0) + -5). Let a be (0*(-3)/l)/2. Solve a = -4*j - 6 + 2 for j.
-1
Let i(f) = f**3 - 3*f**2 + f - 1. Let l be i(3). Suppose -p = -l*p + c, 4*c = p. Let b be 0 - p/(2 - 1). Solve b = -u - 0*u - 1 for u.
-1
Let b be (-6)/27 - 237/27. Let n be (b/(-15))/((-2)/(-20)). Solve 4*r + 6 = n*r for r.
3
Suppose 8*w - d = 11*w - 18, -2*d = -4*w + 14. Solve -w*j + 9*j = 8 for j.
2
Suppose x - 10 = -t - 2*t, 0 = 5*t - 2*x - 24. Suppose 21 = -v + t*v. Let b be 1/(-3) - (-7)/3. Solve 0 = b*l - v*l - 25 for l.
-5
Let p(s) = -s + 0*s - 7 + 7 + 10. Let d = 6 + 1. Let z be p(d). Solve 5*x - 8 + z = 0 for x.
1
Let z = 24 + -21. Solve -z*m = m + 12 for m.
-3
Let j(d) = d + 16. Let v be j(-11). Solve v*l - l = 0 for l.
0
Suppose 3*y = 3*n - 9, -4*n + 4*y - 7*y + 26 = 0. Solve -n*c + 7 - 32 = 0 for c.
-5
Let z(n) = n**2 - 4*n + 3. Let a be z(4). Solve c = a*c for c.
0
Let i = -61 + 64. Solve -m - 2 = -i*m for m.
1
Let j(v) = v**3 - v**2 - v - 2. Let g be j(2). Solve g*d = -d - 2 for d.
-2
Suppose 3*q - 16 = q. Suppose -q = -t + 2. Solve -4*b - t = b for b.
-2
Suppose -y = -2*y. Suppose -2*v + 5 = 3*p - 1, -2*p + 4*v + 20 = 0. Suppose u + 3*f + 3 + 3 = 0, y = p*u + 2*f - 6. Solve -3 = -3*r + u for r.
2
Let i(n) = -n + 8. Let g be i(3). Solve 6*u = g*u - 4 for u.
-4
Suppose -7*s + 2*s - 3 = -2*g, -4*s = 3*g - 39. Solve -4*i = -7*i + g for i.
3
Let y(p) = p**3 + 7*p**2 + 5*p - 2. Let u be y(-6). Suppose -u*j + 14 - 5 = 3*f, -3 = -f - 4*j. Let o(q) = 3*q**2 + 1. Let b be o(-1). Solve -f*n - n = b for