 a*f + 16 for f.
-4
Suppose b + 4*u - 5 = -21, 5*b = 4*u + 40. Let m(f) = -2*f + 8. Let p be m(b). Solve -2*g + 6*g = p for g.
0
Suppose -5*c + 8*c = 5*y + 26, 5*c + 3*y - 32 = 0. Solve -6*h = -c*h - 1 for h.
-1
Suppose 3*o + 10 = -g, 3*g = o - 11 + 31. Suppose -10*j - 25 = -15*j. Suppose -6*s = -s - j. Solve g*h - 4*h = s for h.
1
Let m = 11 - 19. Let d be 1*(m - -3) - -4. Let t(i) = 13*i**2 - 1. Let a be t(d). Solve a = -f - 2*f for f.
-4
Let q(x) = -x**2 + 8*x + 4. Suppose 4*t + 32 = 5*g, -15 = -3*g - t + 11. Let l be q(g). Suppose -v = -2*v + l. Solve o - 3*o = v for o.
-2
Suppose 0 = 3*l - 10*l + 98. Solve -17*o + l*o = 6 for o.
-2
Suppose 3*o - 3 = 4*u, 0*o = o - 5*u - 12. Let k be (2 - o) + (-2)/1. Solve -k*c - 2*c + 20 = 0 for c.
4
Let j = -1777 + 1777. Solve 4*d + 52 - 32 = j for d.
-5
Let y be (-54)/(-4) + 2/(-4). Suppose -3*c - i = -52, -4*c - 90*i = -92*i - 56. Let v = c - y. Solve -v*q + 4*q = 2 for q.
2
Let r = 218 + -217. Solve 2*c = -r + 3 for c.
1
Let p(x) = -5*x + 13 + x + 0*x + 3*x. Let h be p(11). Suppose -h*f = -3*f + 5. Solve f*n = -6 - 4 for n.
-2
Suppose 2 + 12 = i. Solve 0 = -3*q - i - 1 for q.
-5
Let k = 4 + -6. Let r be 3 + (-2)/2 + k. Suppose -5*c - 3*n + 42 = r, 4*c - 20 = 2*n - 4. Solve w + c = 2 for w.
-4
Suppose 0*l + 24 = 3*l. Suppose -3*m + l = m. Suppose -s + 1 = 3*a, -2*a = m*a - 5*s - 33. Solve 0*y = -y + a for y.
2
Suppose 3*w + 2*b = 24, 0*w - 2*w + 5*b - 3 = 0. Let l be ((-2)/10)/(4/(-80)). Solve -l*j = -6*j - w for j.
-3
Let z(f) = -f**2 - 4 - 3*f**2 - 4*f + 0*f**2 + f**3. Let t be z(5). Solve -t = -2*y - 5 for y.
-2
Suppose i - 4*c = 1, 3*i - c = -5*c + 19. Suppose 0*m - i*m = -10. Suppose 0 = 3*l + 2*r - 17, 21 - 5 = 3*l + r. Solve -m*h = -l*h + 12 for h.
4
Let k be (-7 + 7)*(-1)/3. Let c be 2904/286 + 2/(-13) + -7. Solve c*y - y = k for y.
0
Suppose 0 = 4*w - r + 16, -3*w = -0*w - 2*r + 7. Let v be (4 + -5)/(1/w). Let k be -1 - (0 + -3)/3. Solve 0*i - v*i - 5 = k for i.
-1
Suppose 22 + 10 = -5*w + c, 5*w + 3*c + 44 = 0. Let l = -1 - w. Let r(s) = -s**3 + 24*s**2 + 23*s + 55. Let k be r(25). Solve -u + l*u = -k for u.
-1
Suppose -21*r - 12 = -18*r - 3*g, -r = -2*g + 9. Solve -j - 3 = r for j.
-4
Let r be (-29 + 26)*(-8)/6. Solve r*w = -w + 25 for w.
5
Let i(k) = k**2 + 3. Let w be i(2). Let p be (-32)/112 + 16/w. Solve 13 = -p*h + 3 for h.
-5
Let p = -8 - -39. Suppose p*l = 27*l. Suppose -3*h + l*h = -6. Solve 2*j - h = j for j.
2
Let k = -16 + 27. Suppose -k*y + 0*y = y. Solve -2*u + 4*u = y for u.
0
Suppose 0 = 17*v - 9*v - 1216. Let z = 153 - v. Solve -9*j + z = -8*j for j.
1
Let t be 8 + (-5 - -2) + -1. Solve -21 = t*j - 17 for j.
-1
Suppose 32 = -17*d + 25*d. Solve d*y - 19 = -23 for y.
-1
Let b(k) = k**3 + 12*k**2 - k - 10. Let m be b(-12). Suppose o = -2*o + 9. Suppose -18 = -o*a - 3. Solve -m*r - 6 = -a*r for r.
2
Suppose 3*i = 5*a - 51, -3*a + 4*i = -a - 12. Solve p + 55 = a*p for p.
5
Let h = 19 + -4. Let r = 8 - h. Let w = -6 - r. Solve -k + w = -0 for k.
1
Suppose -s = 3*z - 4, 5 - 21 = 3*s - 5*z. Let d = s - -3. Let k be ((-10)/(-35))/(d/14). Solve -k*i = i + 15 for i.
-3
Let q(h) = -h**3 + 6*h**2 + h - 8. Let f be q(6). Let t be (-1)/(-3) - f*3/9. Solve -2*n = -1 - t for n.
1
Let s(n) = -n**3 - 32*n**2 + 70*n + 68. Let r be s(-34). Solve -w - 22 + 21 = r for w.
-1
Suppose 0 = -3*l - v - 5, -2*v - 2*v + 25 = -3*l. Let b = 10 + l. Let w = 34 + -7. Solve 5*a + b = w for a.
4
Let f(r) = r**3 - 9*r**2 + 2*r - 3. Let s be f(7). Let h = -82 - s. Solve 0 = 2*z - h*z - 6 for z.
-2
Let c = -509 + 524. Solve c = 27*y - 22*y for y.
3
Let o(n) = n**2 - 6*n + 7. Let k be o(8). Suppose -4*f - 3*g + k = 0, 5*f - 5 = g - 0*g. Solve -h = f*h - 9 for h.
3
Let h(a) = -2*a + 3. Suppose -2*t + 5*w = -5, -2*w = -3*w - 1. Let z be h(t). Solve -z*p = p for p.
0
Suppose 5*s - 67 - 23 = 0. Suppose -6 = -s*k + 16*k. Solve k = g - 1 for g.
4
Let r(y) = 73*y + 312. Let b be r(-4). Solve 3*z + 11 = b for z.
3
Let x(k) = 2*k. Let l be x(1). Suppose 0 = l*y - y. Let o be 19 + (8 - 2)/(-2). Solve -7*n + 3*n + o = y for n.
4
Let r be 11 - 3/(1 - 0). Suppose r*m - 15 = 7*m. Suppose -v - m = -6*v. Solve -2*l - v*l = 5 for l.
-1
Let c = 17 + 1. Let h = c + 9. Let u be (-3)/h - (-28)/9. Solve -p + 2*p = -u for p.
-3
Let k(c) be the second derivative of -5*c**3/6 - 5*c**2 + 42*c. Let t be k(-2). Solve -3*a + t*a - 6 = 0 for a.
-2
Suppose 0 = 11*a - 7*a. Suppose -4*v + a*v + 27 = 3*o, -o = -v - 2. Solve 3*z - 2 = o*z for z.
-1
Suppose -653 = -5*t + 472. Suppose 2*b + 3*b - t = 0. Suppose -4*f - b = -9*f. Solve 2*g - 3 = -f for g.
-3
Let a be -2*-4*(-5)/(-10). Suppose 0 = 4*x - 2*j - 2, a*x = 2*j - 5*j + 17. Solve 2*d + x*d = -16 for d.
-4
Let c be 12/42 - 243/(-7). Let j = -33 + c. Solve 10 = -4*n + j*n for n.
-5
Let v = 2 + 10. Let d be -4 - ((-1 - 6) + 3). Suppose -4*n + 24 = 3*j, d = -2*n - n + 2*j + 1. Solve n*y + 0*y = -v for y.
-4
Suppose -j - 3 = s - 12, 2*j = -4. Suppose -53 = -2*g - s. Let d(r) = -113*r - 221. Let z be d(-2). Solve 0 = z*m + g - 6 for m.
-3
Let k = 3 + -6. Let g = -1 - k. Solve -x = -g - 0 for x.
2
Suppose 2*h - 16 = -5*m, -5*h = -17 + 2. Let c = 3 + -4. Let q be 30/4*(c - -3). Solve s = -m*s - q for s.
-5
Suppose 0 = m - 15*m. Solve m = 10*v - 7*v for v.
0
Let v(o) be the first derivative of -1/3*o**3 + 9/2*o**2 + 6 + 17*o. Let i be v(8). Solve 2*h = 7*h - i for h.
5
Let m = 286 + -281. Solve 30 = -5*r + m for r.
-5
Suppose 111*t - 113*t = -100. Solve -7*h = -t + 36 for h.
2
Suppose 4*d + 14 = -3*x, 0*x + 4*d = x + 26. Let y(m) = m**3 + 11*m**2 + 11*m + 13. Let c be y(x). Solve -c*s - s + 20 = 0 for s.
5
Let n(o) = 17 + 4*o + 12 - 11 + o. Let f be n(-3). Solve 20 = f*g + g for g.
5
Let w(i) = -i**3 - 6*i**2 - 5*i + 4. Let f be w(-5). Suppose -4*a + 4*a = 2*a. Suppose -h = 4*h - 35. Solve a = -f*n + h - 3 for n.
1
Suppose -4*w - 2*w + 24 = 0. Let z(v) = 2*v**2 - 6*v - 5. Let n be z(w). Let m = -7 + 13. Solve n*x - m = x for x.
3
Let r = 8 - -1. Let y(x) = x**2 - 7*x - 17. Let v be y(r). Solve -3*u - 2 = v for u.
-1
Let l = -30 - -64. Let a = 24 - l. Let s = -7 - a. Solve 4 = b + s*b for b.
1
Let b be (2/3)/(4/18). Suppose 0*h - 4*j - 4 = b*h, 5*j + 5 = h. Let n be ((-1)/4)/(3/(3*-44)). Solve -3*k - n - 4 = h for k.
-5
Suppose 5*l + 5*o + 9 = 24, 0 = 3*l - 3*o - 15. Suppose 5*h + l - 19 = 0. Solve -5*y - 2 = h for y.
-1
Let q(g) = g**3 - 8*g**2 + 8*g + 3. Let r be q(7). Let v = r + -8. Let f(a) = a**2 - 3*a - 4. Let y be f(4). Solve y = -3*p - v*p + 10 for p.
2
Suppose -w - 15 = 5*t, -3*w - 2*w + 3*t + 37 = 0. Let q(c) = -3*c + 1. Let v be q(0). Solve w + v = -2*k for k.
-3
Let f = 63 - 393. Let i be f/(-45) + (-2)/6. Solve -3 = i*n - 8*n for n.
3
Let o = 93 - 91. Let p = 4 - o. Solve 5*g = 23 + p for g.
5
Let l(c) = c**3 - c**2 - c - 37. Let z be l(0). Let h = z + 52. Solve u + 2*u = -h for u.
-5
Let k = -6 - -8. Let n = -4 - -10. Let a = n - 1. Solve -k*l = a - 1 for l.
-2
Let x(a) = a**2 + 3*a. Let i = -27 + 47. Suppose 4*j - 2*w + i = 0, -j + 2*w = 7*w - 17. Let k be x(j). Solve k = 5*g + 43 - 18 for g.
-5
Let a be 30/(-2)*-6*1/15. Suppose a = -8*b + 46. Solve b*h = h + 8 for h.
2
Let v(m) = -4 - 2*m + 3 - m. Let s be v(3). Let w be ((-12)/s)/(21/70). Solve -q = -w*q for q.
0
Let w = 162 - 152. Suppose 2*j - 4 = -0*j. Suppose 3*f + j*f - 35 = 0. Solve 2*o - f*o + w = 0 for o.
2
Suppose 22*n + 25*n = 5*n. Solve n*g - 15 = 3*g for g.
-5
Let c be (-3)/((-42)/(-4)) + 888/21. Let x be 366/c - (8/(-7))/4. Solve -x = 5*t - 2*t for t.
-3
Let w = -124 + 135. Suppose 0 = w*t - 8*t - 3. Solve -l + t = -2 for l.
3
Suppose 16*l = 15*l + 8. Let z = -8 + l. Solve z*u = 5*u + 25 for u.
-5
Suppose 5*t - b + 0*b = -41, 4*b = -4*t - 52. Suppose -3*o - 3 = -30. Let d = o + t. Solve d = -2*z + 3*z + 4 for z.
-4
Suppose -99*g - 15 = -96*g. Let j = g - -20. Solve 2*h + 3*h = -j for h.
-3
Let j(i) = -i - 11. Let r be j(-16). Suppose -5*z = -r*d - 15, -d + 18 = d + 4*z. Solve -d = -4*x - 5 for x.
-1
Let s be 3*((-34)/(-6) - 4). Suppose -3*z - 4*p = -9*p - 11, 5*z - s = -5*p. Solve z*x = -0*x + 10 for x.
5
Suppose -5*g - 28 = 2*g. Let q be (-6)/(-12) + (-34)/g. Solve q + 3 = 3*h for h.
4
Let m = -98 - -98. Solve m = -4*s - 3*s for s.
0
Suppose 14*g - 9*g - 40 = 0. Suppose 0 = g*n - 4*n - 16. Solve -n*m + 8 = 24 for m.
-