14 for l.
4
Let y = -345 - -365. Solve -y = 12*g - 8*g for g.
-5
Let l = 107 + -95. Solve l = -y + 7*y for y.
2
Suppose -10*g - 2*g = -876. Let k = g + -66. Solve 3*u = k*u - 20 for u.
5
Let g(o) = o**3 - 11*o**2 + 2. Let j be g(11). Suppose -5*n = 10, 0 = v - n - j*n - 6. Suppose 3*k - 2*k - 2 = v. Solve 2*u + 4 = -k*u for u.
-1
Let d(s) = 2*s**2 - 7*s - 5. Let q(c) = -10*c**2 + 35*c + 24. Let h(x) = -11*d(x) - 2*q(x). Let o be h(4). Solve -p + 2*p + o = 0 for p.
-3
Let p(g) = g**2 + g - 38. Let x be p(-7). Solve -2*t = -x*t + 10 for t.
5
Let k be (21 + -18)*(5 - 4). Solve -k*z = -z for z.
0
Suppose 4*t - 3*m - 47 = -4*m, 0 = 3*t + m - 36. Solve t*y - 4 = 40 for y.
4
Let t(l) = -9*l**2 + 64*l - 7. Let d be t(7). Solve d = -4*x - x - 20 for x.
-4
Let j = -220 + 220. Solve -8*u - 9 + 1 = j for u.
-1
Let s(g) = -g + 25. Let v be s(-6). Suppose -5*p + v = 4*t, -2*t + p = 3*p - 14. Solve -t*a - 10 = -2*a for a.
-5
Let t(f) = -f**2 - 4*f + 37. Let x be t(-8). Solve -5 = x*k - 0 for k.
-1
Let n = 705 - 701. Solve -n*i + 2*i + i = 0 for i.
0
Suppose -6*s = -s + 4*g + 7, g + 8 = 5*s. Suppose 3*f - 1 = -13. Let n be (-8 + (f - -8))/(-1). Solve n - s = u for u.
3
Suppose 0 = 4*d - 9 - 11. Suppose 2*p - 6 = -2*m, 0*m - 3 = -m + p. Solve d + 1 = m*b for b.
2
Suppose -5*t + 52 = -11*y + 12*y, 0 = -3*t + 3*y + 24. Solve -2*o = -0*o + t for o.
-5
Suppose 8*t - 3*t = 55. Let h be (t - 13) + 31 + 1. Suppose 3*n - 4*a = -a + h, -4*n - 4*a + 80 = 0. Solve -4*o = -o + n for o.
-5
Suppose -5*i + 12 = 4*k - 3, i - 3 = 4*k. Suppose i*v = -207 + 216. Solve -f - v*f + 20 = 0 for f.
5
Let j = 38 - 34. Suppose i = 4 + 4. Let q be (-36)/(-10) + i/20. Solve 0 - j = -q*d for d.
1
Let x(s) = -3*s**3 + 12*s + 3*s**2 + 1 - 1 - 11*s. Let g(w) = 7*w**3 - 6*w**2 - 2*w. Let v(r) = 2*g(r) + 5*x(r). Let q be v(3). Solve 1 = p - q for p.
4
Suppose 5*b - 25 = -2*d, 2*d = -2*b + 14 + 8. Let x = d - 9. Solve 4*p + 3 = -x for p.
-1
Let n(r) = r**2 - 4*r - 8. Let x be n(6). Suppose h - x*s + 1 - 33 = 0, 52 = 4*h + 3*s. Solve -h = 4*t - 0*t for t.
-4
Let m(w) = -w**2 + w + 9. Let z be 0/(6/(-5 - -3)). Let k be m(z). Suppose -y = -0 - k. Solve -3*a = y + 3 for a.
-4
Let u be 5 - (2 - 3) - 1. Suppose 0 = 6*r - r - u. Suppose -x - 3 = 3*k, k = -2*k - 6. Solve z + x = -r for z.
-4
Suppose 17 = u + 4*s + s, 0 = 3*u + 4*s - 18. Suppose -u*c + 24 = -4*f, -3*c - f = -1 - 0. Suppose 0*x = -c*x + 4. Solve 7*t - x*t - 25 = 0 for t.
5
Let o(a) = -7 + a**3 - 3*a**2 + 13 - 20. Let x be o(4). Solve -q + 5 = -x*q for q.
-5
Suppose 0 = -2*q + s + 4, -2*q + q + 5*s = -20. Suppose 4*c - c = q. Let t(d) = d**2 + 2*d + 3. Let z be t(c). Solve 1 = -z*f + 16 for f.
5
Let y(z) = z**2 + 7*z - 56. Let n be y(5). Let d(w) = -3*w - 5. Let j = 5 - 12. Let r be d(j). Solve n*a + 0 = r for a.
4
Suppose -38 = 4*t - 2*t. Let r = t - -19. Solve r = i + 4*i + 15 for i.
-3
Let j(s) be the first derivative of -s**2/2 + 5*s + 4. Let h be j(0). Solve 4*r + r = -h for r.
-1
Let b be 26/(10/6 - 1). Let y = -31 + b. Solve 3*j = -j - y for j.
-2
Let r(w) = -9*w - 6 - 2*w**2 - 2*w**2 + 5*w**2 - 2*w**2. Let u be r(-8). Suppose -3*n - 3*f - 6 = 0, -u*n - 4*f - 18 = -3*n. Solve 1 = a - n for a.
3
Let y be (90/(-150))/((-1)/20*1). Solve -y*h + 30 = -18 for h.
4
Let d be (-40)/(-6) - (-24)/72. Solve 2*y - 1 = -d for y.
-3
Let u(z) = z**3 + 8*z**2 - 3*z - 20. Let d be u(-8). Suppose -d*h - 133 = -11*h. Solve h = 5*c - 6 for c.
5
Let i = 519 - 486. Solve 31 = -2*h + i for h.
1
Let s(k) = 2*k**2 + 2*k + 6. Let d be s(-4). Let u be (d/(-25))/(3/(-20)). Suppose -4*l + 36 = u. Solve -b + 2 - l = 0 for b.
-5
Let u = -1411 + 1509. Solve -21 = 105*d - u*d for d.
-3
Let r be ((-5)/3)/(1/(-3)). Let s = 33 + -37. Let k be 1*s - 12/(-1). Solve r*t + k = t for t.
-2
Let j(i) be the third derivative of i**5/60 - 3*i**3/2 - 2*i**2. Let a be j(-3). Suppose 0 = -2*z - a + 6. Solve 0 = -b - z*b + 4 for b.
1
Suppose -2*g + 0 = -6. Suppose 2*l = g*l - 1. Suppose -p = -6*p. Solve s - l = -p*s for s.
1
Suppose 8 = 4*o - 16. Let x(m) = m - 4. Let v be x(4). Suppose v = 5*p - 0*p. Solve p = h - o*h for h.
0
Let a be 31 + -13 + -5 + -9. Solve 18*o + a = 16*o for o.
-2
Let a be -14*((-7)/(-2))/(-7). Solve 11*s + 54 = -a*s for s.
-3
Suppose 0 = -2*t - 0*t + 2. Let b be t - (-5)/(-8 - -3). Suppose 5*s + 0*f = f + 7, b = 4*s + f - 2. Solve -1 = 2*g + s for g.
-1
Let l(a) = -a + 9. Let d be 4/(-2) - (-10 - -8). Let p be l(d). Let m = 11 - p. Solve r + m - 3 = 0 for r.
1
Suppose -3*b + 3 = -0. Suppose 3*m - 15 + 9 = 0. Let k = b + m. Solve 4 = -u + k*u for u.
2
Suppose 3*v - h + 0*h + 1 = 0, -2*v - 18 = -5*h. Let m be -3 + v - (3 - 13). Let s be ((-15)/(-10))/(2/m). Solve -5 = g - s*g for g.
1
Let x be (-15)/25 + (-36)/(-10). Suppose -x*j + 2*j = -4. Let z be 4/12 - j/(-6). Solve -z = 5*q - 6 for q.
1
Let g be (-149)/7 - 2 - 2/(-7). Let y = 29 + g. Solve -n = -y*n - 20 for n.
-4
Suppose -19 = -4*o + g, 2*o - 5*o - 4*g = 0. Solve 3*v = -o*v + 21 for v.
3
Suppose p + 57 = 2*j, 2*j - 58 = p + p. Solve 27*m - j*m + 3 = 0 for m.
3
Let n = 116 - 91. Solve -41*c + n = -46*c for c.
-5
Suppose -25 = 3*d + 23. Let i be (d/(-10))/(22/275). Suppose -23 = -n - i. Solve 0 = -n*p + 10 + 2 for p.
4
Let b(x) = -x**2 + 10*x + 39. Let h be (1 - -1 - 3)*(-11 + -2). Let s be b(h). Solve 0*a - 4*a = s for a.
0
Let i(v) = 5*v**2 + 68*v + 102. Let m be i(-12). Solve 102 - m = 24*f for f.
4
Let j = 52 - 30. Let x = j - 14. Let z be x/(-24) + (-7)/(-3). Solve 7 + 1 = -z*m for m.
-4
Let y(s) = s - 11. Let q be y(15). Let r be 13/11 + -1 + 20/11. Solve 3*c - q*c - r = 0 for c.
-2
Let r = -48 - -51. Solve r*b = 2*b for b.
0
Let c(o) = -o**2 - o + 7. Let v be c(-5). Let t = 0 - v. Suppose j + t = 14. Solve 3*g = j - 10 for g.
-3
Let r be ((-5)/3)/(((-52)/96)/13). Solve r*b = 31*b for b.
0
Suppose -6*d + 66 - 60 = 0. Suppose 0 = -0*l + l - 2. Let x be (d - l - 2)/(-1). Solve -2*m = -x*m for m.
0
Let a(t) = -t**2 - 14*t - 2. Let y be a(-13). Solve -13 = -6*x + y for x.
4
Let p(c) = 3*c - 1. Let b be p(3). Let r be (-2 - 55/(-10))*(3 - 1). Suppose -b*z + 31 - r = 0. Solve 0 = 4*h - z*h + 3 for h.
-3
Let x = -97 + 102. Solve -x*z = -2*z for z.
0
Let c = -1115 + 1132. Solve -c*r - 6 = -15*r for r.
-3
Let i be (-5)/((-5)/(-1))*-3. Suppose c = 4*p + 20, -i*c + 5*p + 34 = -c. Solve -c - 8 = 4*j for j.
-5
Let c be (-4)/(-16) - -9*(-3)/(-4). Suppose 4*l + 9 = c*l. Solve -l*y + 4 = -2*y for y.
4
Suppose -4*x + 40 = 2*k, -6*x = -x + 5. Let c = 26 - k. Solve 11 + 5 = -c*y for y.
-4
Let n(y) = y**2 - 2*y. Let o be n(3). Suppose -4*j = -3*d + 5, o*j + 2 + 7 = 4*d. Suppose k = a - 3, 5*k + d*a + 2*a = 35. Solve k*z = z for z.
0
Let s(m) = m**3 - m + 6 - 7*m - 3*m**2 + 3*m. Let v be s(4). Solve -6*r = -v*r + 12 for r.
-3
Let z(v) = -v - 5. Let s be z(-7). Let r(k) = k**2 + 1. Let y be r(s). Suppose 0 = -a - 3 + y. Solve 0*d + d = -a for d.
-2
Suppose 3*y + 3*k = 3, -1 = 4*y + 5*k - 3. Suppose -4*d - 8*b = -y*b + 9, 0 = 5*d + 4*b. Solve 4*c + 16 = -d for c.
-5
Let v(h) = 4*h**2 + 3*h + 3. Let u be (-4)/10*1*5. Let r be v(u). Suppose 6*i = 2*i - 5*l + 22, i - r = -5*l. Solve 5*z = 7 + i for z.
2
Suppose l + l - 5*s + 17 = 0, 2*l + 5*s = 33. Suppose b = 3*p - l + 1, -4*b + p - 34 = 0. Let t(q) = q + 12. Let h be t(b). Solve 0 - 12 = h*y for y.
-4
Let d(k) = -k**3 + 24*k**2 - 20*k - 57. Let f be d(23). Solve -15*z = -18*z + f for z.
4
Let c(f) = -6*f**3. Let i be c(-1). Suppose -d + 10 = i. Solve -2*v + d = -2 for v.
3
Suppose 0 = -49*b + 52*b - 138. Solve 2*d + b = 56 for d.
5
Let k = -202 + 215. Solve 18 - k = -o for o.
-5
Let f be -1*(6 - (-78)/(-6)). Solve 12*p + 5 = f*p for p.
-1
Suppose 390 = -242*y + 245*y. Solve 139 = 3*h + y for h.
3
Let f be (4 - 60)/(-4) - 4. Let d be 3 - 5/2 - (-105)/f. Solve 2*j + d - 1 = 0 for j.
-5
Let p = -29 + 32. Let y = p + 2. Solve -2*v - y = 1 for v.
-3
Let q be 5 - (-2 - -4) - -2. Solve 0 = -4*a + 6*a - q*a for a.
0
Let h = 486 + -484. Suppose -3*f - 3*w + 2 = 2*f, 3*w = 4*f + 20. Let y be 6 + f + (-1 - -1). Solve -r = -h*r - y for r.
-4
Let p = 889 - 884. Solve 6*w - 5 = -p for w.
0
Suppose 2*v + 36 = -18. Let r = v + 29. Solve d = -r*d + 3 for d.
1
Let i(r) = 110*r - 550. Let u be i(5). Let w = 6 - 2. Solve -w*b - 2 + 22 = u for b.
5
Let k(a) = a**3 - 8*a**2 - 8*a + 5. Let