 6 = -g*l for l.
3
Let v be 3468/68 + (-7 - -3). Solve 8*l = -15 + v for l.
4
Let t = -1978 - -1994. Solve 0 = 13*f - 17*f - t for f.
-4
Suppose 5*f = 241 - 211. Solve -f*r + 11*r = -25 for r.
-5
Let b(l) = -l**2 - 5*l + 4. Let c be b(-5). Suppose 4 = q, c + 0 = -2*p - 5*q. Let h be (-4)/(-6)*p/(-2). Solve h = u + 2 for u.
2
Let i = -178 - -104. Let s = i - -89. Solve 2*c = 7*c - s for c.
3
Suppose -24 = -4*r - g - 3*g, -r - 3*g = -10. Suppose -11 - r = -5*x. Solve x - 8 = m for m.
-5
Let v(k) = -k**3 - 16*k**2 + 15*k - 31. Let a be v(-17). Solve 8*x - a*x = 15 for x.
3
Let f = 45 + -39. Suppose -f*h + 10 = -h. Solve -h*u - 3*u + 10 = 0 for u.
2
Let d be 10 + 1 + (-43)/((-344)/48). Solve -11 = -6*z - d for z.
-1
Let v be 384/80 - 1/((-5)/1). Solve v*p = p - 12 for p.
-3
Suppose 4*x - 4 = 3*x. Suppose x*w = -w + 10. Let c be (w + 39/(-15))*-5. Solve 8 = c*d - d for d.
4
Let j be 2/3 - 152/(-24). Let z = -5 + j. Let h be (0 - (-1)/z)*0. Solve 3*b - b + 2 = h for b.
-1
Let s be ((-21)/24)/(1/(-16)). Solve -j + s = 12 for j.
2
Let u = 3 - -2. Suppose -u*h + 29 = -1. Let i = 572 - 571. Solve -r = -i + h for r.
-5
Suppose 0 = 10*q - 5*q. Suppose 289*o - 319*o = 0. Solve -2*n - 6 + q = o for n.
-3
Suppose 12 = -11*h + 12*h. Solve -9*b = -13*b - h for b.
-3
Let s be 43/(-2)*(-4 - -2). Suppose -2*u - 3 = -s. Solve 0 = -5*g - u - 5 for g.
-5
Suppose 0*b = 5*b - 15, 0 = -a - 3*b + 72. Solve 26*m - a - 67 = 0 for m.
5
Let c = -12 + 10. Let k be (4 - -6)*(-1)/c. Let t(f) = f**3 - 4*f**2 - 5*f + 5. Let l be t(k). Solve l*j + 25 = 5 for j.
-4
Let o = 339 + -333. Solve -o = -x - 2 for x.
4
Let c be (6/16)/((-14)/(-224)). Solve c = -x - x for x.
-3
Let s(q) = -q**2 + 6*q - 4. Let n be s(5). Let o be (-5)/n - (-22 - -14). Solve 0 = o*k + k + 4 for k.
-1
Let v(a) = -a - 1. Let r(l) = -l - 6. Let p(d) = r(d) + 4*v(d). Let y be p(-3). Solve -8 - 2 = y*i for i.
-2
Suppose -106 - 368 = -79*h. Let q(j) = 30*j + 1. Let s be q(1). Let m = s - 6. Solve -a + m = -h*a for a.
-5
Let d = -115 + 118. Solve 0 = 9*a - d*a + 24 for a.
-4
Let x be ((-28)/(-49))/(6/21). Solve x*t + 3*t - 15 = 0 for t.
3
Let l = -190 + 193. Solve 24 - 15 = -l*m for m.
-3
Let h = -119 - -159. Solve 27*c - 37*c = -h for c.
4
Let o(u) = 9*u**2 + 11*u - 1. Let x(t) = 13*t**2 + 16*t - 1. Let s(n) = -7*o(n) + 5*x(n). Let b be s(-4). Let g = 27 - b. Solve -17 + g = 3*l for l.
-4
Let g be 20/(-16) + (333/36 - -10). Solve -g = 6*l - 0 for l.
-3
Let f(k) = k**3 + 5*k**2 - 8*k - 1. Let h be f(-6). Solve -3*o - 1 = h for o.
-4
Let t be (9*11/22)/((-9)/(-12)). Solve t*u - 3 - 9 = 0 for u.
2
Let k(z) = 3*z**3 + z**2 + 6*z - 5. Let g be k(1). Solve -28 = -g*x + 12*x for x.
-4
Suppose n + 20 = 6*n. Let c(g) be the first derivative of g**2/2 + g + 3. Let r be c(n). Solve 0 = r*w - 0*w - 5 for w.
1
Suppose -14*l = -2200 - 1230. Solve -3*q + 230 - l = 0 for q.
-5
Suppose -26*x - 77 = -597. Let l be (0/(-1 + 4))/(-2). Solve l = k + 4*k + x for k.
-4
Suppose 0*t + t + 1 = -w, 3*w + 4*t = -6. Suppose 5*s = -4*r + 9, -s - s - 3*r - w = 0. Solve 0 = 2*f + 3 + s for f.
-4
Let p(r) = -7*r + 386. Let y be p(55). Solve y = -2*k + 9 for k.
4
Let w(d) = -4*d - 8. Let r be w(-4). Suppose -5*a - r = -4*v, -5*v = -4*a + 3*a - 10. Solve -v*s + 11 - 1 = 0 for s.
5
Let s(k) = k. Let l be s(4). Let a = l + -3. Let z(h) = h**3 + 8*h**2 - 9*h + 1. Let j be z(-9). Solve j + a = y for y.
2
Let s = -53 - -74. Suppose -10 = c + 4*i, 5*c - 17 = 2*i + s. Solve -3*d = -c*d for d.
0
Let z = 5 + -14. Let r = 15 + z. Let s(k) = k - 4. Let h be s(r). Solve -9 = h*u - 1 for u.
-4
Suppose -4 = -2*b + 5*f, 3*b - 4*b - f + 2 = 0. Let k(m) = m**2 + 16*m + 5. Let o be (32/(-2))/(0 - 3 - -4). Let d be k(o). Solve -b + d = -z for z.
-3
Let a = -157 + 157. Solve a*t - 4 = 2*t for t.
-2
Suppose -2*n - 2*r - 21 = 53, 4*n = 2*r - 148. Let j = n - -37. Let w = -6 + 9. Solve -2*x - w*x = j for x.
0
Suppose -4*f + 0*f - 5*w + 53 = 0, f - 4*w - 8 = 0. Suppose -24 = 9*o - f*o. Solve 2*i - o = -2 for i.
3
Let k be (0 + 0)/((1*-4)/(-2)). Suppose -5*u - 29 + 39 = k. Solve 0*q - u*q + 2 = 0 for q.
1
Let r be (-34)/(-6) + 10/(-15). Suppose -4*k - 3 = 13, -r*k - 22 = x. Let b be x/(-2*(-1)/(-4)). Solve s + b = 1 for s.
-3
Let c be (-12)/10*60/(-18). Suppose -5*o + l + 6 = -92, -l - 38 = -2*o. Solve -c*g - o = g for g.
-4
Let l(o) = -o**2 - 14*o + 99. Let w be l(-19). Let a(g) = g**3 + 3*g**2 - 5*g + 2. Let p be a(-4). Solve 0 = 2*h - p + w for h.
1
Suppose 4*d - 60 = -5*l, 28 = l + d + 3*d. Solve k + 21 = l*k for k.
3
Let t be 8/(-44) - 24/(-11). Let w = 2 - t. Suppose 0 = 5*v + 4*n - 26, 18 = v + 4*n - w*n. Solve 0*r - v = r for r.
-2
Suppose 0*k + 2*x = 2*k, 3*x - 6 = k. Solve k*v = v for v.
0
Let o(s) = s**2 - 2. Let n be 5 - 0/(5 - 2). Suppose -4*f + n*f - 1 = 0, b - 2*f = -4. Let d be o(b). Solve 0 = -d*m + 3*m for m.
0
Let c = 994 + -981. Solve 0 = z + 12 - c for z.
1
Let s = 5 + -3. Suppose 0 = -q - 5*p - 9, -3*q + q + 2*p + 6 = 0. Solve -q + 5 = s*z for z.
2
Let g(m) = -m**3 + 9*m**2 + 2*m - 12. Let h(w) = 0*w - 1 - 17*w**3 + 8*w**3 - w. Let f be h(-1). Let s be g(f). Solve -2 - s = -2*y for y.
4
Let y(q) = -12*q - 94. Let j be y(-8). Solve 0 = -9*r - 2*r + j*r for r.
0
Let k = 23 - 16. Suppose -2*u + k = 4*p + u, -3*p = -4*u - 24. Suppose -p*b + 89 = -11. Solve -5*d + 0*d = b for d.
-5
Let k = 53 - 99. Let s = 51 + k. Solve 0 = -s*j - 6 - 9 for j.
-3
Let s(u) be the second derivative of -u**4/12 - 2*u**3 - 29*u**2/2 + 26*u. Let h be s(-8). Solve -2*k - h*k = 15 for k.
-3
Let k = 87 - 83. Solve -k*z + 2*z = -4 for z.
2
Suppose -2*d + 117 - 111 = 0. Solve -d*o - 17 = -2 for o.
-5
Let u = -22 + 236. Solve u = -5*c + 189 for c.
-5
Suppose 2*m - 42 - 26 = 0. Let d = m + -28. Solve -d*w - 9 = -3*w for w.
-3
Suppose 0 = w - 26 + 12. Suppose 0 = -s - w + 16. Solve -4*f = -s*f - 2 for f.
1
Suppose b = 7*b - 12. Suppose -b*x + 20 = h + 5, h = -5*x + 30. Solve 0*u = x*u - 25 for u.
5
Suppose s = 0, 5*o - 2*s = s + 45. Solve j - o = -12 for j.
-3
Let p = 29 + -9. Suppose -4 = -o - 1. Solve o*l + l = p for l.
5
Suppose 0*f + f - 33 = 0. Let q be (-27)/f - 2/11. Let u be -3 + 2 + (q - -2). Solve u*m = m + 4 for m.
-4
Let u(c) = 3*c**2 - 16*c + 7. Let v be u(7). Let d = v + -35. Solve -3*f + 1 - d = 0 for f.
-2
Let q be 1701/84 + 1*(-3)/12. Solve 8 = 4*y + q for y.
-3
Suppose -9 = 3*x, -5 = -4*d - 0*x - 5*x. Solve 0 = -d*v + 25*v + 100 for v.
-5
Suppose -20*c + 19*c - 3*h + 4 = 0, 0 = -3*c + 3*h + 36. Solve c = 28*g - 23*g for g.
2
Suppose 3*g + 3*u = g + 19, 4*u - 2 = -g. Solve -5*c - 2*c = g for c.
-2
Let v(a) = a**3 + 0*a + 0*a + 12*a**2 - 6*a + a + 5. Let l be v(-12). Suppose l = 5*w + 15. Solve -2*z + 0 + w = 0 for z.
5
Let j(n) be the first derivative of 3 + 2/3*n**3 + 2*n - 3/2*n**2. Let k be j(2). Solve -20 = -d - k*d for d.
4
Let v be (-12 - -13)/(1/5). Solve 0 = -10*o + v*o - 5 for o.
-1
Let l(s) = 5*s - 3. Let c be l(3). Let o = -3 + c. Suppose -o = -0*t - 3*t. Solve t = -r + 7 for r.
4
Let s be ((-21)/(-49) + 48/(-14))/(-3). Solve 3*q - s = 11 for q.
4
Suppose 5*s - 5 - 150 = -3*i, 0 = -2*s + 5*i + 31. Solve -3*q = -22 + s for q.
-2
Suppose 2*v - 74 = -5*x + v, x - 4*v = 19. Let q = x + 0. Suppose 0 = 4*a - 1 - q. Solve a*d = -d + 5 for d.
1
Let r = 40 - 29. Let q = -15 + r. Let z be (q/(-12))/((-1)/(-6)). Solve -z = 2*p - 0 for p.
-1
Suppose -5*x + 11 + 104 = 0. Suppose -4*u + 87 = x. Let i = 17 - u. Solve -5*w = -i - 9 for w.
2
Suppose -196*z + 192*z + 12 = 0. Solve 0*c = 3*c + z*c for c.
0
Let w(r) = -r**3 + 4*r**2 - r + 17. Let k be w(5). Let f be ((2 - k)/(-3))/((-30)/12). Solve h = -h + f for h.
1
Let m = 0 - 0. Suppose -x = d - 9, m = 2*x + d - 7 - 7. Solve -5*z = x + 5 for z.
-2
Let g(l) = -l. Let v be g(0). Let f = v - -2. Let y be (-11)/(-154)*-4*(-7)/1. Solve f = y*c - 2 for c.
2
Let h(a) = 2*a**3 - 2*a**2 - 3*a + 2. Let w be h(2). Suppose 3*i - w*i = 0. Suppose i = -2*k + 6, g - 3*k + 25 = 5*g. Solve 0*u = u + g for u.
-4
Let f be (0 + -1)*(-10)/2. Suppose 2*x + 70 = -0*z + 5*z, -5*z + f*x = -85. Suppose -38*c - 33 = -49*c. Solve -3*t - z + c = 0 for t.
-3
Let t be 5/((-10)/(-8)) - (-6 + 2). Suppose 6*r - 8 = 2*r. Solve 0 - t = r*u for u.
-4
Suppose 5*y - 25 - 50 = 0. Solve -y*l - 13 - 62 = 0 for l.
-5
Let u(g) = -g**2 - 5*g + 24. Let p be u(-7).