*f = 3*l - 15 for f.
-4
Let r = -11 + 7. Let i be (4 + -6)/(r/46). Solve 7*l = v + 2*l + i, -3*v + 11 = 5*l for v.
-3
Let h be 1530/119 + (-1)/(-7). Solve l = 5*z - h, -2*l + z + 2*z = 5 for l.
2
Let v = 23 + -10. Solve -4*a + x - 1 = 0, -8*x = -2*a - 3*x + v for a.
-1
Let a be ((-22)/(-4))/(3/6). Solve 4*r + q - 11 = 0, -5*q = r - 3*r + a for r.
3
Let h(p) = p**2 + 15*p + 52. Let u be h(-12). Solve -3*i + 2*q + u = -2*q, -3*i + 13 = -q for i.
4
Let a = 9 + -4. Suppose u - a*u + 8 = 0. Suppose 4*d = -4*g + 12, -2*d - u*g - 4 = -5*d. Solve 5 - d = 3*i + 5*h, -2*h + 10 = -i for i.
-4
Suppose -i + 6 = 4. Solve -i*a - 2*x - 12 = -6*a, 3*a - 2*x - 10 = 0 for a.
2
Let q = -7 + 6. Let v be ((-2)/(-4))/(q/(-8)). Solve v*m = -5*h + 20, 2*m - 4*h = 3 + 7 for m.
5
Suppose 3*p = 2*p + 3. Suppose -r + 0 - 4 = 2*j, 5*r - p*j = 32. Solve r*a = -4*l + 4, a + 2*a + 13 = l for l.
4
Let j = 1 + 1. Solve -2*r - j*u = 0, 0*r + 5*r + u + 20 = 0 for r.
-5
Let k(g) = -g + 4. Let h be k(1). Solve h*a = 5*b + 25, -2*b + 0 - 10 = 4*a for a.
0
Suppose -p + 2 = -0. Let n be (((-24)/10)/(-2))/((-9)/(-30)). Solve 0*c + p*u + 9 = c, n*c + 8 = -3*u for c.
1
Let p be (-4)/(-2) + (1 - 0). Solve p*b + 4*j = 19, -b + 21 = 4*b + 4*j for b.
1
Let j = 1 + 2. Suppose -122*s = -125*s + 12. Let k = 28 + -16. Solve -4*c = -0*h + h - j, -s*h - k = 4*c for c.
2
Suppose x = 4*t - 108, 3*t - 64 = 6*x - x. Solve -s + 13 = -4*r, 0*s = 4*r - 4*s + t for r.
-2
Suppose 0 = -3*u - 6*h + 8*h + 3, -4*h = -2*u - 6. Solve -u*x - 6 = -5*x, x = -3*o - 6 for o.
-3
Suppose 2*c + 3 = 7. Let f = c + 3. Solve -4*t + t - 15 = -3*k, -f*k + 18 = 2*t for t.
-1
Let k(j) = 6*j - 20. Let o be k(5). Solve 3*w - 26 = 5*z, -3*z - 5*w - o = 2*z for z.
-4
Suppose -8*v = -5*v. Solve -4*q = -5*s - 13, v = 3*s - 2*q + 2 + 7 for s.
-5
Let v(u) = -4*u - 8. Let f(j) = 7*j**2 - 7 + 9*j - 2*j**3 + 3*j**3 - 3*j. Let t be f(-6). Let d be v(t). Solve 4*h - 3*z + 7 = -3, 4*h + 2*z + d = 0 for h.
-4
Let t = -11 - -17. Suppose z - 3*z + t = 0. Solve z*b - 5*y + 6 = -0*b, 9 = b + 2*y for b.
3
Suppose 4*d - 4*o = -2 + 26, 2*d - 5 = -5*o. Let j(q) = -5*q. Let a be j(-1). Solve 0 = d*m - 25, -a*m + 33 = 2*v - 4*v for v.
-4
Let p = -1 + 3. Let o = 25 + -23. Solve 0 = 4*n + p*m + 16, -3*m - 20 = 3*n + o*n for n.
-4
Suppose 0 = n - 5*m + 13, -6*m = -5*m - 3. Suppose 5*s = s + 12. Let f = 4 - 2. Solve f = -o + n*y, o = -2*y + s*y for o.
2
Let w(b) = -3*b - 1. Let h be w(-1). Solve 3*d = -5*r + 10, 3*d = -r - h*r for d.
-5
Let p(v) = v - 10. Let l be p(7). Let d be (-1 - l) + 3 + -3. Let f = -12 + 14. Solve f*x - d = k + 2*k, 0 = -4*k - 4*x + 24 for k.
2
Suppose 5*r + d = 62, -r + 38 = r - 4*d. Solve -r = p - 3*h, 2*h + 0*h = 8 for p.
-1
Suppose 4*o - 1 = 19. Solve 0*d - o*p = -2*d - 2, -p + 2 = -2*d for d.
-1
Suppose 0 = 2*d - 2 + 10. Let v be d + (1 + -34)/(-3). Solve -5*p = -4*f + 6, -2 = -5*f - v for p.
-2
Suppose 0 = -2*x - f, 5*x + 4 = x - 3*f. Suppose 6 = -s + 2*a, 0*s + 36 = 4*s + 4*a. Suppose s*d - 10 = -d. Solve 0*o = o - 5*h + 12, x*o = -d*h for o.
-2
Let i(c) = -c**2 - 5 + 0*c + 13*c + c - 7. Let t = -2 + 11. Let j be i(t). Solve 5*m - 4*l = 30, -5*l = -4*m - 0*m + j for m.
2
Let m(f) = -f - 10. Let j be m(-12). Suppose 3*u - 5*u = -j*q + 4, -5*q = -25. Solve -3*r - 4*y + u = -y, 2*r + 5*y - 11 = 0 for r.
-2
Let k be 2/9 + (-100)/(-36). Suppose 90 = 3*m + o, -6*o = 2*m - 3*o - 67. Let r = m + -12. Solve -4*w + 6 = c + k, w = 3*c + r for w.
2
Suppose -22 + 30 = 2*f. Solve g = 2*g - f*b - 19, 0 = -g + 2*b + 9 for g.
-1
Let u(n) = n**3 - 9*n**2 - 11*n + 15. Let v be u(10). Let o = v + 14. Solve -4*t - o = r, 20 = -5*t + 5*r - 10*r for t.
-5
Suppose 0 = 5*p - 3*t + t - 24, -2*p - t + 15 = 0. Let c be 2/8 - 15/(-4). Suppose c*f - p = f. Solve -2*q = 3*q + f*i + 5, 15 = 3*i for q.
-3
Suppose 0 = 4*u + d - 12, -d - 8 = -2*u - 2*d. Suppose b = u*b. Suppose 0 = -b*y - 4*y + 8. Solve -3*a - x + 24 = 3*x, -y*a + 2 = -2*x for a.
4
Suppose -15 = -o + 2*q, -2*o + 34 - 7 = -3*q. Solve -3*b - 3*h - o = 0, -7 = b - 0*h + 3*h for b.
-1
Let j be 16/((-12)/3) - -11. Solve -4*z + 2*t - 6 = 0, 3*z - 27 = j*z + 5*t for z.
-3
Let b(z) = -z**3 - 3*z**2 + 5*z + 8. Let w be b(-4). Solve 0*k - k - 4*n - 6 = 0, -w = 4*n for k.
-2
Suppose j + 1 = 2. Solve -4*o + q = 1, j = 5*o + 3*q + 15 for o.
-1
Let u = 6 + -2. Solve 0 - 6 = 3*f, u*f = -5*h - 18 for h.
-2
Suppose x = 4 - 0. Suppose 4 = 3*w - 2. Solve -4*m + 4 = 2*g, w*g + 4 = -5*m + x*g for m.
0
Let r = -25 + 41. Solve -4*u + 5*h + r = 0, 4*u + 0*h - 16 = -3*h for u.
4
Let v = -15 - -25. Suppose 2*o + 2*o - 14 = -2*j, v = -o - 5*j. Solve 5*a + 0 - 1 = 2*i, 0 = -o*i + 4*a + 6 for i.
2
Suppose 4*z = 2*z. Solve 0*r + v + 2 = -2*r, z = 4*r - 5*v - 10 for r.
0
Let s(m) = 4*m**2 + m**3 + m**3 + m - 3*m**2 + 2*m**3. Let v be s(-1). Let d = v - -7. Solve 5*u - 15 = -2*p, -d*p + p + u - 15 = 0 for p.
-5
Suppose 16 - 98 = y. Let h be (y/8)/((-2)/8). Let l be 3 - (-1 + -1) - 0. Solve -5*j + z + 20 = 0, h = j - l*z + 13 for j.
3
Let q = 19 + -14. Solve -7 = w - 2*x + q, 5*w = -3*x - 8 for w.
-4
Suppose -q - 5 = -0*q. Let r be (0 + (-4)/10)*q. Solve -5*a = r*v - 2*a + 16, 0 = 4*v + a + 22 for v.
-5
Let z = -68 + 98. Suppose -3*f - 12 = -z. Solve -f = 4*u - 2*u, -2*u = 4*j + 26 for j.
-5
Suppose 12*f = 20*f. Solve q = 2*c - 3, -2*c - 3*c - 3*q + 13 = f for c.
2
Suppose -4*r - 5*p = -1, 3*r + 5*p + 3 = -0. Suppose 0*l + 8 = l - r*h, l = -4*h. Solve -5*g + 0*a - 3*a = 15, -l*g - a - 12 = 0 for g.
-3
Suppose -3*f + 16 = 4. Suppose -4*h + 46 = -q, -f*h + 40 = -0*h - 4*q. Solve 0 = 4*x + u + h + 1, -5*u = 5 for x.
-3
Let w(t) = t. Let q be w(4). Suppose 0 = m + 4, q*k - 2*m - 48 = 2*k. Solve 0 = -5*z - 2*o + k, -3*z = 2*z - 2*o for z.
2
Suppose -29*p = -33*p + 16. Solve 2*h - p*u + 11 = 5*h, 0 = 2*u + 2 for h.
5
Let m(x) = x**3 + 9*x**2 - 11*x - 7. Let t be m(-10). Solve t*o = 4*o + r, 3*o + 2*r = -2 for o.
-2
Let o = -10 + 16. Solve 5*j = 3*r - o, 5*r + 2*j = -0*j + 10 for r.
2
Let g = -32 - -64. Suppose -10 = -2*s - 4*h + 6, 4*h + g = 2*s. Let t be ((-3)/(-9))/(1/s). Solve 4*r = -t*f - 16, 3*f + 2 = 2*r - 3*r for f.
1
Let s(j) = -j + 18. Let n be s(17). Solve 1 = y + 2*o, -3*y - 5*o - n = -6 for y.
5
Let b(k) be the second derivative of k**3/2 - 3*k**2/2 - 2*k. Let a be b(-4). Let q be (8/24)/((-1)/a). Solve -q*v = -5*g + 35, -9 = -3*g - 2*v + v for g.
4
Suppose 2*p = -2*p + 8. Let z(a) = 5 - a**p - 2*a - 1 + 8*a. Let u be z(6). Solve 4*i - u*l = 16, i - 3*l - 5 = -l for i.
3
Let w(a) = a**3 + 4*a**2 + a - 6. Let v be w(-3). Solve s - 3*r + 6 = 0, -s + 3*s - 5*r + 9 = v for s.
3
Let a be (-23)/(-4) - (-42)/(-56). Solve 0 = -5*p - 5*q + 2*q + 25, 2*q - 25 = -a*p for p.
5
Let t = -6 - -9. Let k(g) = -g**t + 2*g**3 + g**2 + 0 + g + 1. Let a be k(-1). Solve a = -4*n + 4, 6 = 3*c - 7*c - 2*n for c.
-2
Let r(x) = -x**3 - 4*x**2 - x. Let s = -15 - -11. Let h be r(s). Let f be 12/(-10)*(-20)/6. Solve 0 = 2*n - f*b - 7 + 1, 4*b + 8 = h*n for n.
1
Suppose 0 = -p - 3. Let o be (-1 + 46)/p*-1. Solve 5*v + o = 0, -2*s - 3*v + 4*v = -11 for s.
4
Let z be 4 - (-1 - (-1 + 1)). Let j(f) = f**3 - 6*f**2 + 2*f - 5. Let b be j(6). Solve z*s = -5*u - b + 2, 5*s + 41 = 4*u for u.
4
Suppose 4*i - 34 = -22. Solve m - 2*u - 1 = 0, i*m + 0*u = -3*u + 3 for m.
1
Suppose 2 = h - 0*h. Suppose 2*t - 2*d = 16, 2*t - 26 = -2*t + 2*d. Solve -t*b + 5 = 4*k + 14, h*k = 2*b for b.
-1
Suppose -24 = -25*b + 19*b. Solve 0 = y - b*w + 13, 5*y = 2*w - 9 - 2 for y.
-1
Let g(f) = f**3 - 5*f**2 - 4*f - 7. Let t be g(6). Let n be (-12)/10*t/(-2). Solve -n*p + 2 = -4*x, -2*p = 3*x + 2 - 9 for x.
1
Suppose t - 5*a = -7*a + 10, -4*a = -12. Solve 4*f = -3*g - t + 12, 5*g + f = 2 for g.
0
Let q(d) = -d**2 - 13*d - 9. Let b be q(-12). Solve -b*z - 1 + 8 = c, 28 = 2*z - 4*c for z.
4
Let b be -12*-1*(-1)/(-3). Let i be (-2)/5 - (-720)/50. Let l(u) = -u**2 - 4*u + 7. Let o be l(-5). Solve -o*q - 2 + 3 = -3*m, i = b*q - 2*m for q.
5
Suppose -7 = -5*k + 3. Solve -16 = 2*b - k*u + 2, -3*b - 3*u - 3 = 0 for b.
-5
Suppose -6 = -5*i - 4*w, -6*i + 4*i + 9 = -5*w. Solve -16 = -5*r + 5*o - 1, i*r - 5*o - 15 = 0 for r.
0
Let u be (1 + 1)*10/4. Suppose -u = 5*g - 95. Solve 0 = 2*l - 5*d + g, 0*l + d = 2*l + 10 for l.
-4
Suppose 5*g = 29 + 26. Solve -5*h + 25 = 0, k - 18 = -5*h + g f