 h.
4
Suppose -5 + 25 = 4*s, -h + s = 3. Suppose -3*x + 0*p = -h*p - 15, -x + 5 = -3*p. Solve 4*j = -4*z + 2 + 2, j = -x*z + 9 for z.
2
Let x(i) = i - 7. Suppose -y - 3*y = 2*u - 24, 2*u = 2*y. Let j be x(y). Let f = j + 5. Solve -h = f*d, 2*h - 6*h + 4 = 4*d for d.
-1
Let o(l) = 3*l - 22. Let f be o(8). Solve 10 = -5*x + 5*d, -2*x + 5*d + f = -0*d for x.
-4
Let b(f) = 3*f + 6. Let h be b(-4). Let q = -2 - h. Solve -q*c = 3*i + 2 + 11, -c - 3*i = 10 for c.
-1
Let q = -2 + 16. Suppose -3*u + 11 = -10. Suppose 4*y - 5*j = -u, 5*y = -2*j + 3*j + 7. Solve -6 - q = -5*l + 4*o, y*l - o = 5 for l.
0
Suppose 0 = 4*h - 0*h - 2*q + 10, -4*h - 5*q = -25. Suppose h = -c + 3 - 1. Solve 2*n + 4*f + 8 = 0, 0*n = -c*n + 2*f + 10 for n.
2
Suppose -68 = -3*f + 2*f. Suppose -3*m - f = -7*m. Solve -5*q = 3*k - 0*k + 12, m = 5*k - 4*q for k.
1
Let d = -19 - -21. Suppose 2 = -d*u + 6. Solve 0 = 3*v - t + 4, 3*v - 3*t = u*t - 20 for v.
0
Suppose 6 = 2*o + 2*u, -2*o + 0 = u - 6. Solve 2*q - o*b = -8, -4*q + 2*b = -0*b for q.
2
Suppose -4*x + 15 = -x. Suppose -4*n + x = -3. Suppose 5*v - 12 = -2*p + 4, -n*p - 4 = 0. Solve 0*t + 6 = -2*t + 2*o, 0 = v*t - o + 9 for t.
-2
Let u(f) = f**3 + 9*f**2 + 17*f - 1. Let o be u(-6). Solve -4*b - 2*x = -4, -2*x + 4 + 0 = o*b for b.
0
Let m be 99/15 - (-2)/5. Let j be 9/(m/2 - 2). Let g = 10 - j. Solve -2*n = c - 1, -g*c - 31 = -2*n + c for n.
3
Let i(w) = w**2 + 6*w + 1. Let r be i(-9). Let b be r/182 - (-646)/26. Solve -5*s + 17 = 3*g - 23, -4*g + b = s for s.
5
Let h = -35 + 55. Suppose h = -4*t - 5*j, -4*j - 16 = t - 0*j. Suppose -r - 30 - 10 = -2*f, -f = -r - 20. Solve -4*x - 4*w + 2 = -2, 5*w + f = t for x.
5
Suppose -4*y + 49 = 4*m + 17, m + 10 = 5*y. Suppose 5*h - 4*q = 8, 4*h + 3*q + 6 = -0*q. Suppose 4*r - r - 6 = h. Solve -y*l + 9 + 1 = -r*b, 4*l = b + 10 for b.
-2
Suppose 6*c - 2*c = 16. Suppose 0 = c*g - 2*g - 8. Suppose 3*w - 6*w - 5*u - 8 = 0, -g = -4*w - 3*u. Solve -w*z - y = -4*y - 25, z - 7 = y for z.
4
Let m be 3 - (-3 + 2 - 0)*-1. Solve t + 0*t = a + 1, 0 = m*t for a.
-1
Suppose -b + 2*b + 4*d = -1, 5*b - 5*d - 20 = 0. Suppose -3*p - 5*z + 26 = 0, -p + 7 = 2*z - 3. Solve b*q + u = 9, -6 = p*q - 4*q + u for q.
3
Let a be (2 - 0)*(-10)/(-4). Suppose -a*f = -f. Let c = 6 + 2. Solve -4*y - 5*p - c = -f*y, -y = 2*p + 5 for y.
3
Let w(q) = q**3 + 6*q**2 + q - 1. Let h be w(-5). Solve -5*i + 11 = 2*r, 4*i - h = -7 for r.
-2
Let y(w) = w**2 + 7*w + 15. Let g be y(-3). Solve 5*x - i + 28 = 8, -5*x - 20 = -g*i for x.
-4
Let x(s) = s - 4. Let y be x(4). Suppose y = 3*t - 9 - 15. Let w be (31/(-3))/(-31) - 10/(-6). Solve -6*v - 3 = -a - v, -w*a - 4*v - t = 0 for a.
-2
Suppose -i + 14 = -2*n, i + 3*i = 5*n + 65. Solve -3*s - 8 = -2*m - i, 4*s = 5*m + 16 for m.
0
Let s(r) = -r**2 + 4*r - 1. Let p = 6 + -3. Let n be s(p). Solve 4*i + 3*c + 25 = 5, 0 = -n*i - 3*c - 16 for i.
-2
Let o(g) = -g**3 + 6*g**2. Let p be o(6). Suppose -d + 32 = 30. Solve 0 = k + 2*b + 3 + d, -5*b = p for k.
-5
Let a be (1 + -5 + -3)*1. Let c = -5 - a. Solve 2*n = -5*g - 5, -2 = c*n + 2*g - 0*g for n.
0
Let y = 47 + -45. Solve 3*o + 0*o = 3*g + 18, y*o = g + 11 for g.
-1
Let p(j) = 5*j**2 + 5*j. Let o be p(-5). Suppose 8*m - 3*m - o = 0. Solve 0 = 3*i + 2*i - 2*c - 29, 5*c + m = 2*i for i.
5
Let h be 0 - (-4 + 3 + -1). Solve 0 = -2*o - r + 4, 0 = -3*o + h*r + r - 12 for o.
0
Let w(f) = f**3 - 11*f**2 + 20*f - 18. Let d be w(9). Solve -z = d, 7*g + 4 = 3*g + 2*z for g.
-1
Let k = -31 - -17. Let o = 17 + k. Solve -q - o*r - 1 = r, -2*r - 2 = 0 for q.
3
Let s(k) = 3*k - 9. Let l be s(4). Solve 4*g - 5 = -a + 6, l*g - 14 = 5*a for g.
3
Let t(b) = -b - 1. Let r be t(-3). Suppose 2*v - 4 = -n - 0, r = v + n. Solve -12 = 3*f - 5*p + v*p, -14 = 4*f - 2*p for f.
-3
Let y be (2/(-4))/(4/(-320)). Suppose -5*w = -0*w - y. Solve 0 = -4*x + 3*d - w, 0 = -x - 0*d + 2*d + 3 for x.
-5
Suppose 2*q - 15 = -3*q. Let t = q + 1. Solve 2*k = 4*p - 2, 4*k - 7 = -t*p + 1 for p.
1
Let g be (-56)/(-6) - 4/12. Let x = g - 7. Suppose 4*h + 23 = q - 0*q, -1 = 3*q + 2*h. Solve 0 = -3*w - 3, -4*m + x*w + w + q = 0 for m.
0
Suppose -5*p = 3*c + 87, 2*p + 13 + 9 = 2*c. Let l = p - -25. Solve -o + 3*o = -4*d + l, -o = 4*d - 5 for o.
5
Let i = -6 + 11. Suppose 5*v = -q + 8, -2*q + 3 = -i*v + 2*v. Let h be 3*(3 - v) + -3. Solve 0 = 2*x - n + 1 - 2, -2*x + h*n = -7 for x.
-1
Let w(j) = j**3 + 2*j**2 - 4*j. Let d be w(-4). Let i be d/56 - (-4)/14. Solve q + 9 = o - i*q, 0 = -o + 4*q + 21 for o.
5
Let h(m) = m**3 - 5*m**2 - 3*m + 17. Let x be h(5). Solve 3*o + 5*y = -13, x - 18 = o + 4*y for o.
4
Let g(n) = -n**3 + 3*n**2 + 6*n - 6. Let w be g(4). Suppose -w*r + 18 = 4. Solve -3*x = -1 + r, -5*x = -2*h + 8 for h.
-1
Let h(r) = -2*r - 20. Let x be h(-14). Let q = x + -4. Solve -y + 2 = -4*d - 13, -q*y = -5*d - 5 for y.
-5
Suppose q + 96 = 4*q. Solve 12 = -a - a - c, 5*a + 3*c + q = 0 for a.
-4
Let h(s) = -5*s + 4. Let c be h(0). Solve -4*o + 12 = -f + o, -3*f - c = o for f.
-2
Let c = 19 + -9. Let b be (-20)/(-6)*12/c. Let i = 5 - 1. Solve -p + i*o = 15, -o - o + 4 = -b*p for p.
1
Let x = -2 - -2. Suppose 4*p = -4, -2*s - 2*p = -x*p + 4. Let c be s*-1*(4 - 2). Solve 3*a = 3, 3*k + c*a - 4 = k for k.
1
Suppose 0 = -6*k + 3*k + 3*x + 18, 3*k - 5*x = 20. Solve 6*b - 5*d = 2*b - 36, 5*d = -k*b for b.
-4
Let o be (48/(-40))/(2/(-5)). Solve t + 3*x - 4 = 0, o*x - 16 = -4*t - 2*x for t.
4
Let n(p) = 2*p - 5. Let c be n(4). Let j be 9/(-27) - 10/(-3). Solve 0 = -j*g - c, u + 5*g - 1 = -5 for u.
1
Let b = 8 - 1. Let y = 7 - b. Solve 2*h - 3*z - 20 = y, 2*h + 16 = h - 5*z for h.
4
Suppose 0 = 3*k + 4*w - 77, -w - 42 = -3*k + 2*w. Solve -3*b = 3*c - 24 + 3, 2*c = -3*b + k for c.
2
Let v = 9 + -5. Solve -v*y - 20 = 0, k = 2*k + y + 6 for k.
-1
Let c(g) = -g + 9. Let m be c(9). Suppose m = 3*a + 1 - 16. Solve -5*l = 4*s - 11, 0*s - a = l - s for l.
-1
Suppose -5*j - s + 20 = 0, 3*j - s - 30 = 2*s. Solve 1 + 4 = -j*w - k, -w + 4*k = 1 for w.
-1
Suppose -3*k + 0*k = -33. Let f = k + -8. Suppose -m - 4*m = -c + 15, 5*c + 2*m - 21 = 0. Solve -i - 5*v - f = 0, -14 + 5 = 3*i + c*v for i.
-3
Let i(j) = -3*j - 1. Let w be i(-2). Let o be ((-1)/((-5)/50))/2. Solve q + 25 = 5*t, w*q + 21 = o*t - 4 for q.
0
Let u(w) be the third derivative of 0*w + w**2 + 0 - w**3 - 1/12*w**4. Let f be u(-4). Solve f*h - 22 = -4*x, -3*x = -5*h + 2*h + 6 for h.
5
Let n = 24 + 5. Let u = n + -23. Solve 2*v = -k + u - 3, 4*v + 4 = 0 for k.
5
Suppose 0 = l - 3*l - 4. Let h = l + 4. Solve -13 = -3*s - 7*p + h*p, -4*p = 5*s for s.
-4
Let z(h) = h**2 - 5*h - 7. Let y be z(7). Solve -4*t - 16 = 0, 0 = -l - 2*l - t - y for l.
-1
Let i(y) = -3*y. Suppose 4*l - 17 + 45 = 0. Let b(v) = -v - 9. Let t be b(l). Let z be i(t). Solve 5*s + 30 = -4*c, -2*c + 2*s = -0 + z for c.
-5
Let d be 1/1*(-4 + 9). Let a = 9 - d. Solve m + 14 = -a*y, 2*m - 2*y + 10 = -4*y for m.
-2
Suppose -2 = 2*b - 16. Solve 1 = o - 3*v, -v + 2*v = -3*o - b for o.
-2
Let j = 2 - 0. Let n = 0 - j. Let x be (0*2/(-2))/n. Solve -37 = -3*c - x*d + 5*d, c = 2*d + 14 for c.
4
Let a = 627 + -623. Let j = 3 + -1. Solve -t + k + 19 = -j*k, a*k + 16 = -t for t.
4
Let a be 2 + 54/(-2 - -5). Suppose 5*h - h = a. Solve 0 = 5*c - 4*c + 4*v - 17, -10 = -5*c - h*v for c.
-3
Let g = -14 - 11. Let m be g/(-20)*1*4. Solve 0 = -2*u - u + 4*v - 12, m*u - 3*v = -9 for u.
0
Let z = -47 + 63. Solve 0*t - z = -5*t + 3*f, -4*t = 5*f - 35 for t.
5
Suppose 2*z = 4*v - 20 - 12, -v + 3*z = -18. Suppose -2*n = -5*n + v. Solve t - 3*t - 3*p = 13, 0 = 5*t + n*p + 27 for t.
-5
Let j(c) = -2*c. Let p be j(-1). Suppose -20 = -3*n - 2*n. Solve n*v - 24 = 2*d, -4*d - p*v = 2 + 6 for d.
-4
Let s = -39 + 40. Solve 0 = -3*m - y - 13, 0*m + 3*y - s = -m for m.
-5
Suppose -f + 84 = f. Suppose 3*q - q = f. Solve 0*c = -c + 4*j - 23, 3*j = 2*c + q for c.
-3
Let j(a) = 4*a**2 + 4*a - 3. Let n be j(2). Solve p = 3*v - 7 - 2, -n = 5*p - 3*v for p.
-3
Let s(k) = -k**2 - 2*k. Let f be s(-2). Solve f = -5*u + 2*y + 15, 3*y + 6 = -9 for u.
1
Let t(w) = w**3 + 7*w**2 + 5*w - 8. Let c be t(-6). Let d = c + 0. Let g be (-12)/(-2)*d/(-3). Solve 5*j - 9 = 3*m, -g = m + 5*j - 1 for m.
-3
Let u be (10/15)/((-1)/(-45)). Solve -p + 6*p + 4*i - u = 0, -1 = -3*p + i for p.
2
Let y(k) = k + 27. Let f be y(-11). Solve 3*d + f = -2*d - x