ppose f + 4*k + 2 = 0, -2*k + 2 - 12 = 2*f. Let v be (-4)/(-3) - (-2)/f. Let d be (4/6 - v)*-12. Solve -5*l - 29 = -3*h, -d*l = 4*h - 0*l + 4 for h.
3
Let x(u) = u - 3. Let d be x(6). Solve 8 - 1 = -f + 2*w, f + 3*w = d for f.
-3
Let h = 0 + 0. Suppose -1 + h = -o. Solve -a = 3*w + 9, w + o + 2 = -5*a for a.
0
Let u be 2/2*(1 + -1). Let h = 18 + -16. Let g = 3 - 0. Solve 3*y = -u*w - h*w + 7, -g*w + y = -16 for w.
5
Let b(y) = -y - 14. Let a be b(-17). Solve 4*j + i - 17 = -0*i, 2*j - 5*i - a = 0 for j.
4
Suppose -3*k - 16 = -4*r + 1, -5*r + 4*k = -22. Solve -5*w - r*u = u + 40, 0 = -3*w + 5*u + 10 for w.
-5
Suppose -12 = 3*i - 7*i. Solve -2*d - 9 + 1 = 0, -2*d - 5 = i*h for h.
1
Let p be (-42)/70 - (-63)/5. Let b be 1/((-9)/p - -1). Solve 3*s + 3*c - 3 = -s, -5*s + b*c + 27 = 0 for s.
3
Suppose 5*s + 15 = 2*s. Let j be ((-22)/s)/((-14)/(-35)). Solve -h = -3*p + 11, -5*p - 4*h = -2*h - j for p.
3
Let g(r) = -r**2 - 5*r - 4. Let z be g(-6). Let b = 15 + z. Solve b*w - 3*w + 35 = 5*o, -3*o + 4*w + 35 = 0 for o.
5
Suppose -4 = 25*u - 26*u. Solve 0 = -l + 4*b - 1, -u*b - 20 = 5*l - 9*b for l.
-5
Let i be 9 + 270/(-65) - (-4)/26. Solve 0 = k + i*y + 28, 5*y + 3 = -22 for k.
-3
Let n = -62 + 67. Solve c - 4*m + n = 0, c - 6*m = -m - 6 for c.
-1
Suppose -4 = -4*n - 0. Solve 12 = 5*t + 4*v + n, t - 4 = v for t.
3
Suppose l + 2*t + 0*t + 8 = 0, 3*l = t + 11. Solve 5*n - 5*g - 15 = 0, g - 3 = -n + l for n.
4
Suppose 0*w = 7*w. Solve -3*l - 4*t + 2 = w, -l - 4*t + 0 = 2 for l.
2
Let k be 7 - (4 - 0 - 3). Let f be 12/16*16/k. Solve 5*s = -j - 12 + 3, f*s + 2*j + 10 = 0 for s.
-1
Suppose q = -0 - 3. Let m be (-44)/(-12) - q/9. Solve 5*g - 20 = -5*z, m*g - g + 2*z - 8 = 0 for g.
0
Let a(l) = 3*l + 79. Let d be a(-25). Solve -d*m + m = 2*n + 4, 5*n = -3*m + 8 for n.
4
Let z = 82 - 80. Solve 4*i + 10 = 2*j, i - 5 = -4*j + z*j for i.
-1
Suppose 3*c = -7 + 13. Solve -z - a = -c*z - 3, 5 = 5*a for z.
-2
Suppose -42 = -7*k - 0*k. Solve -5*r = -4*c + 29, -c - r = -k*c + 10 for c.
1
Suppose -5*b = -d + 29, -d - b = 1 - 0. Solve -7*p = -2*p + 2*f + 2, -4 = d*f for p.
0
Let f = -9 - -15. Suppose 2*t - f = -0. Solve -4*w - 5 = j, -t*w + 2*w + 5 = -j for w.
0
Suppose u = -3*u + 8, -g + u = -10. Solve y = 4, -i - 4*y = -y - g for i.
0
Suppose -2 = 4*w - 3*k + 4, -k + 2 = w. Solve -2*x + 11 = 3*l - w*l, 0 = 4*l + 4*x - 20 for l.
1
Suppose 0*v + 4 = 2*v. Let w = -2 - -1. Let f be (-5)/10 - w/v. Solve -3*n - 9 = -3*t - 0*n, f = 4*n - 4 for t.
4
Suppose 0 = -2*v + 4*v + 4. Let a(i) = -6*i**3 + 4*i**3 - 2*i**2 - 1 + i + 4*i**2. Let n be a(v). Solve -4*f + 8 - 23 = t, 0 = 5*f + 2*t + n for f.
-3
Suppose u = 3*a - 6, -u = -0*u - 5*a + 10. Suppose 5*w - 10 = 2*z - u, -4*w + 4*z = 4. Solve 2*v + 0*v = -4*j + 18, -3 = 3*v - w*j for v.
3
Let z be (12/(-10))/((-22)/275). Let g be -1*-3*z/9. Suppose 0 = -j - 0*j + 2. Solve -3*a - w - 11 = -j*w, 5*a = -5*w - g for a.
-3
Let j be -2 + -2 + (-2 - -4). Let k = j - -4. Suppose -5*d = -13 - k. Solve 6*y = -4*z + d*y + 1, -3*z + y + 4 = 0 for z.
1
Let m be (-34)/(-8) + (-2)/8. Suppose -2*b + 5*l - 5 = -24, 5*l = b - 12. Let h = b + -5. Solve a + 2 = -4*v + 2*a, -h*a + 4 = -m*v for v.
0
Let v = -26 - -29. Solve -v*q + 3*f + 1 = -5, 0 = -q - 5*f - 10 for q.
0
Suppose -2*s = -3*k + 5*k - 8, 0 = -5*s + 5*k + 30. Solve -3*f - 6 = -3*a + 6, s = -f for a.
-1
Suppose 11*f = 3*f + 32. Solve 2*l = -4*b - 2*l + 12, f*b - 12 = 3*l for b.
3
Suppose -1 = l - 4. Suppose 0*h - l*h + 6 = 0. Solve 0 = -2*c - d + 11, 3*d - 3 = h*c + 6 for c.
3
Let f(r) = 14*r. Let y be f(1). Let t = -9 + y. Solve n - t = -m, -3*m + 3 + 8 = -n for n.
1
Let z(w) = 17*w - 1. Let c be z(-1). Let i be (3 + c/4)*-2. Suppose i*j - 26 = 16. Solve 5*s - 3*a = 16, a + j = 5*s - a for s.
2
Suppose -5 = -6*u + 25. Solve 0 = 5*y - 2*m + 30, 0 = 4*y - 2*y - u*m + 33 for y.
-4
Suppose 1 - 11 = -5*b. Solve x - 8 = b*l, 3*l - l + 16 = -3*x for x.
-2
Let i(g) = g**2 - 7*g + 8. Let n be 2/((-1)/3*-1). Let b be i(n). Suppose -6*f + 15 = -3*f. Solve -t = f*k - 15, t - k + 7 = b*t for t.
5
Let v = -3 + 6. Suppose -5*n - 10 = u, -v*n - 6 = 6*u - 4*u. Let s = 32 - 11. Solve u = 3*c + 3*j + 18, -2*c + 4*j - s = 3*c for c.
-5
Suppose -i = 5, -i - 36 = -2*g + 15. Solve 5*l + g = -3*a - 3, 0 = -3*l - 12 for a.
-2
Let m = -11 - -10. Let q(s) = -4*s**3 + s. Let k be q(m). Solve -3*t - 14 = -k*a + 1, 4*t + 12 = 0 for a.
2
Let z be (15/18)/(6/36). Solve -5 = -5*q - z*g, 0 = -2*q - 0*g + 2*g + 10 for q.
3
Let d(z) = z**2 - 6*z + 3. Let t be d(6). Let w be 16 - (t/(-1) - 0). Solve 4*f - 3*f + 5*l - 7 = 0, 5*l - w = 3*f for f.
-3
Let d(g) = -g. Suppose 0 = -5*y + 2*k - 3, -5*y - k + 6 = -3*y. Let r be d(y). Let x be (1*(2 - 3))/r. Solve 3*t - 18 = 3*i, t - 2 - x = 0 for i.
-3
Let z(c) = c**2 - 2*c - 1. Let q be z(3). Let o(x) = -x**2 + 9*x + 8. Let w = -2 + 11. Let g be o(w). Solve -5*u + 4*r + 18 = -q, -5*r = -2*u + g for u.
4
Let z(c) = 4*c**3 - c**2 + 1. Let p be z(1). Solve 5*n = f - 7, -2*n = -p*n - f - 7 for n.
-2
Let l(q) be the first derivative of -7*q**2/2 - 10*q + 5. Let f be l(-4). Solve o = 5*o + 2*h - f, 0 = -5*o + 4*h + 16 for o.
4
Suppose -2*h + o + 2 - 1 = 0, -3*o + 5 = -2*h. Suppose 0 = -5*z + 4*z + 4. Solve -3*s + 11 = 4*i - 2, h*i = z*s + 12 for s.
-1
Suppose 0 = -28*d + 36*d - 48. Solve 0 = 4*f + f - 4*m - 6, -3*f + 3*m = -d for f.
-2
Suppose 2*t - 5*b - 2 = 0, -5*t + b + 51 = -0. Solve t = 3*s - 2*r, 15 = s + 4*s - 5*r for s.
5
Let n be 16 - (-4 - -8)/4. Suppose 3*h - n = -2*h. Solve 3*i + 3*f - 9 = 0, 2*f - h*f = 5*i - 3 for i.
0
Let u(v) = -2*v - 6. Let x be u(-5). Let t = x - -21. Solve 3*k = 5*r + t, 4*r + 2 = 3*r for k.
5
Suppose 0 = s - 2*s. Suppose 3*c = c + 3*r - 15, -3*c + 3*r - 18 = 0. Let y be 4/(c/((-9)/6)). Solve y*b = s, 2*o + 6 = 4*b - 0 for o.
-3
Let r(f) = -f**2 - 9*f + 12. Let z be r(-10). Suppose -2*a + 14 = 4*d, 4*a - 8 = -5*d + z*d. Solve 3*x = 4*m - 6, -5*m = -d*m - x - 1 for m.
3
Suppose -5*a + 3*i - 15 = 0, 0*i + 3*i - 15 = 2*a. Solve -k + x + 3*x + 24 = a, -2*k - 3*x - 7 = 0 for k.
4
Let y = 5 - 4. Let g be y/(-4) - 183/(-12). Solve -2*r - 10 = 0, -5*h + r + 0*r = -g for h.
2
Let f(y) = y**3 + 19*y**2 - 22*y - 35. Let c be f(-20). Solve -5*p - 25 = 5*z, 2*p + 3*z - 9 = c*p for p.
-4
Let s(l) = -l**2 - 8*l + 4. Let o be s(-6). Suppose -5*a = -4*t - o, -a + 17 = 3*a + t. Solve -j + 2 = -4*x, 0*x - 4*x - a = 0 for j.
-2
Let r = 9 - 3. Solve 5*g = 3*v + 2*v + 5, 4*v - 2*g = r for v.
4
Let l = 6 - 2. Let o = l + 2. Let w be (-3 + 3)*3/o. Solve w = 5*d + 2*h - 1, -4*h - 6 = 3*d - d for d.
1
Let u(w) = w**3 - 4*w**2 + 4. Let j be u(4). Suppose -j + 14 = 5*f. Solve -f*c - 5 = 3*n, 3*n - n + 7 = -5*c for c.
-1
Suppose -2*o - 3 = -3*h, -5*o - 2*h + 21 = -0. Solve r + 2*p - 4 = 0, 2*r = o*p + 3 - 9 for r.
0
Let f = 61 - 37. Solve y + 3*h = 4*y, -4*y = 2*h - f for y.
4
Let k(x) = -x**3 - 3*x**2 - x - 7. Let v be k(-4). Solve v + 7 = -f + 5*g, -4*g = 5*f - 16 for f.
0
Suppose 7 = -t - 8. Let l = t - -19. Solve -h - b + l = 0, 0 = -3*h - h + b - 9 for h.
-1
Suppose 8*s - 9*s = 0. Solve -4*k - 5*f = -9, -3*k - 4*f + s*f + 8 = 0 for k.
-4
Suppose 0*a = -5*a - 10. Let l be (-2 - (-2 + 4))/a. Solve l*w + 0 - 2 = 0, -w - 15 = -4*k for k.
4
Suppose 2*s - 4*s - 5*a + 125 = 0, 0 = -s + 3*a + 46. Let o be (s/(-33))/(1/(-15)). Solve -3*t - 5*b = -o, -5*b = -0*t - 5*t + 15 for t.
5
Let j(i) = i**3 - 9*i**2 + 12*i + 16. Let c be j(7). Solve 3*o + c*u - 2 = -12, -o = -u for o.
-2
Let g = -99 + 101. Solve 0 = -2*n - 5*b - 18, -3*n + 2*b - g = -3*b for n.
-4
Let g = -11 + 15. Let q be (3/2)/((-5)/10). Let d = q - -3. Solve g*p = 2*l, d*p + 1 = -l + 3*p for l.
2
Suppose 5*w - 6 = -61. Let i = w - -16. Solve -2*u = i*l - 29, 0 = 2*u - 5 + 1 for l.
5
Let s(z) = z + 4. Let l be s(-4). Let t = l - -2. Solve -n = -2*g - t, -g + 5 = 4 for n.
4
Suppose 3*y - c - 10 = 0, -5*y + 3*y + 4*c = 0. Let v = -56 + 60. Solve -10 = t + v*p, -5*p - y - 11 = 0 for t.
2
Let k be 2 + -2 - (2 - 18). Solve 2*x + 22 = 4*v, -4*v + k = -0*v for x.
-3
Suppose 21 = 2*f - 5. Solve 3*r = 2*h + f, 15 = -5*h + 6*r - 2*r for h.
1
Let r = 73 + -39. Solve -4*g + r - 5 = -3*d, 0 = -3*d - 2*g + 1 for d.
-3
Let c = 16 - 12. Solve j = q - 1 - 2, 3*j - c*q + 11 = 0 for j.
-1
Let b = 2 + -2. Suppose 2*i + 3*i - 10 = b. Solve 5 + 