 0 = 3*h - 3*u + 2*u - 6, p = -3*h + 3*u + 12 for h.
1
Let a = 2 + 8. Let x = 14 - a. Suppose -x*w + 2*q + 26 = 0, -3*w + 2*q + 30 = 2*w. Solve 3*t - 12 = k + 2*k, 8 = -w*t - 4*k for t.
1
Let d be (-6)/(-3) + -1 + 7. Suppose 5*u = -h - 10 - 16, 21 = -h - 4*u. Let v be 1/(h/45*-1). Solve 0 = -5*m + 3*t + 3 - d, -5*m - v = 5*t for m.
-4
Suppose o + 4 - 5 = 0. Let v(n) = n**2 - 4*n + 6. Let g be v(4). Let p = g + -2. Solve 2*s = p*b + 3 + o, 2*s = b + 4 for s.
2
Let k(h) = -h**3 - 6*h**2 - h - 2. Let j be k(-6). Suppose -j*w + 2*w + 4 = 0. Suppose -z + 15 = 4*z. Solve -z*x = w*n - 0*n + 17, n - 19 = 4*x for n.
-1
Suppose -29 + 4 = 5*l. Let r(a) be the second derivative of -a**4/12 - a**3 - 3*a**2/2 + 5*a. Let u be r(l). Solve -u*w - 4*n = -w - 4, 2*n - 2 = -2*w for w.
0
Let p = 16 - 12. Suppose d + 2 = -0. Let f be 1 - (-2 - d - 7). Solve p*l - 4*k + f = 0, 4 = -4*l - 0*k + 3*k for l.
2
Suppose 0*a = 5*a - 20. Suppose -3*r - i + 2 = 0, -a*i - 5 = 5*r - 13. Solve 5*d + 5 = 2*w, r = -3*w - w - d + 21 for w.
5
Let j be (-2 - (-5 - -2)) + 2. Solve 4*l - 23 = j*y, 11 = 2*l - y - 0 for l.
5
Let z be ((-6)/(-18))/((-2)/(-6)). Let j be z/(2*(-4)/(-32)). Solve 3*m = 4*h + 12, j*h + 3*m - 7*m = -12 for h.
-3
Let f(a) = 4*a**2 + 1. Let l be f(-1). Let k = l - 7. Let w be (1/k)/((-1)/8). Solve 5*r + 7*p - 4*p - 17 = 0, -4*p = w*r - 12 for r.
4
Suppose -l + 12 = 2*l. Solve l*f + 9 = 5*d - 24, 27 = 5*d - f for d.
5
Let u be -14*(-2)/8*2. Solve -6 = 3*b + 3*h, 0 = h - 2 + u for b.
3
Let o(n) = n + 13. Let h be o(-8). Solve c = -2*c - 15, h*c + 24 = -x for x.
1
Let a(p) = -p**2 + 9*p + 26. Let s be a(11). Solve -5*w + 15 = 0, -9*z + 3 = -s*z + w for z.
0
Let i be 2 - ((-1)/(-1) - 2). Let z = i + -1. Let d be ((-9)/12)/(1/(-4)). Solve 5 = -5*u + z*h, -3*u - 2*u - 5 = d*h for u.
-1
Let n = 56 + -26. Solve -5*b - n = 2*r, 0 - 8 = -3*b + 4*r for b.
-4
Let v = -74 + 77. Solve -5*z = 3*n + 32, 1 + 3 = -4*n + v*z for n.
-4
Let d = 13 - 2. Suppose -4 - d = 3*o, 0 = -2*a + 2*o + 8. Let u be (-2)/a + -2 - -9. Solve 3*g = -0*g + u, -20 = -w - 5*g for w.
5
Let r = 57 - 36. Solve d = 5*f - 2 - r, -f + 1 = -2*d for f.
5
Let j = -23 - -26. Solve -4*p + 8 = -j*r, -3*p - 2*p + 3*r = -13 for p.
5
Let q(d) = 5*d**3 + d**2 + d - 1. Let m be q(1). Suppose m = 5*f - 2*f. Let y(z) = -z**2 + 3*z + 2. Let n be y(3). Solve -f*w - w + 10 = 4*s, 4*w = -n*s for w.
-2
Let t(v) = -v**2 - v + 4. Let i be t(-4). Let o be 2/i + 18/8. Suppose -k + 3*n + 12 = -0*n, -o*k = -5*n - 21. Solve -9 = -3*b, 0*f + 4*b = k*f + 15 for f.
-1
Suppose -2*z = -5 - 1. Suppose -2*g + 15 = z*g. Let n be (0 + 0)/(2*-1). Solve -g*i - 17 = l, n = 4*l - 4*i - 1 - 11 for l.
-2
Let q be (8 - 1)/(0 - -1). Let f be (-8)/28 - (-65)/q. Let z = f - 4. Solve g = -0*v - 5*v + 13, g = v - z for v.
3
Suppose -3*j + 33 = -3*t, -t - 4*t = -2*j + 13. Let p = j - 8. Solve 0 = 5*w - 2*a - 4, 6*w - p = 4*w + 3*a for w.
0
Let q = -5 + 8. Solve q*v + 15 = 0, 2*i - 5*v = i + 21 for i.
-4
Suppose -2*y - 33 = 21. Let p be (-1)/(30/y - -1). Suppose 3*h = 4*h + 3, p = 4*d + h. Solve -2*f = 4*x + 6, -2*x = d*x + 20 for f.
5
Suppose w - 29 + 14 = 0. Suppose -3*z = 2*z - w. Solve 2*f = -z*q - 19, f + 9 = -f - q for f.
-2
Let a = 1 - -1. Suppose -b - 21 = 2*b. Let j(s) = -s**3 - 7*s**2 + s + 7. Let r be j(b). Solve r = -5*x, -3*o - 2*x + a = -2*o for o.
2
Let y = -46 + 67. Suppose -4*q + s = -27, 2*q - 2*s = s + y. Solve o = 3*m - 0*o - 3, q = -5*m - 2*o for m.
0
Suppose -14 = 5*a + 21. Let d = a - -10. Solve 0 - 16 = d*g - 2*v, -g + v = 7 for g.
-2
Suppose 2*o - 4*o = -18. Solve -4*d = -5*f - 31, -2*d + 4*f + 11 = -o for d.
4
Suppose 5 = 3*j + 5*t - 9, 2*j - 1 = 5*t. Solve -5*r = -j*d + 29, d - r + 2*r = -1 for d.
3
Let m be -1*(0 - 3) - 0. Solve 0 = f + a + 4*a - 19, m*a = -f + 13 for f.
4
Let s = 4 + -1. Solve s*g = 5*t + 9, 5*g + 3*t - 16 = -1 for g.
3
Let g be (-1)/(-3) + (-11)/(-3). Let o(t) = t**3 - 3*t**2 - 5*t + 6. Let w be o(g). Solve 0 = w*b - 0*m - 3*m, 12 = 2*b + 3*m for b.
3
Let f be (-5)/(30/28)*-12. Suppose f = s + s. Let j = 0 + 5. Solve -q + x = 4 + 2, j*q = 4*x - s for q.
-4
Suppose 0 = -2*q + 12 + 20. Solve 2*h - 2*r = 8, 0*h = 5*h - 4*r - q for h.
0
Let r = 10 - 4. Let l = r - -3. Let d = l - 5. Solve o + q = -7, 3*o + d*q = -q - 27 for o.
-4
Suppose 18 = 2*z - 10. Let v be 1/(-3) + (-2)/3. Let c be (-14)/(-4) - v/(-2). Solve 4*n - 2*t = z, 0*n + 2*n - c = 5*t for n.
4
Let q(w) = w**2 + w + 8. Let i be q(0). Let j(g) = -g + 13. Let l be j(i). Solve 2*d = -6, -5*z = -2*z + l*d + 15 for z.
0
Let d(g) = -g - 6. Let s be d(-5). Let u be 2 - ((-2)/s)/2. Let j be (16/10)/(u/5). Solve j = -2*p + 4*c, -2*p - c = -0*c + 3 for p.
-2
Let f = -10 - -28. Solve -4*j - t + 3 - f = 0, -5*j - t = 18 for j.
-3
Suppose 0 = -3*x - 5*n + 80, 0*x + 96 = 5*x - n. Suppose 0 = y - v - 16, -3*v - 10 = -2*y + x. Solve -3*s - b = 6, -s + 3*b = 2*s + y for s.
-3
Suppose 3*l + 13*l - 32 = 0. Suppose -14 = -3*f - i, -5*f + 4*i + 8 + 4 = 0. Solve -l*j - 2*j + 13 = -n, f = j - n for j.
3
Let x = 4 - 2. Suppose -g - 34 = -3*g. Suppose -57 = -4*s - g. Solve -x*f - 6 = -m - m, 3*f + s = 2*m for f.
-4
Let c(a) = -a**3 + 13*a**2 - 11*a - 6. Let l be c(12). Solve q = -4*d + 3*d - l, 3*q = 5*d + 14 for d.
-4
Let b be 9*1*(2 + 35/(-21)). Solve -2*r = -5*k + 25, -5*r + 1 = -b*k + 16 for r.
0
Suppose 0 = 5*a - 24 + 9. Suppose q - 18 = -0*q. Suppose z + 2 + 2 = 0, 24 = 4*j - 4*z. Solve -7 - a = -4*h + j*g, 3*h + 2*g - q = 0 for h.
4
Suppose v = -2*s + 12, 5*s - 20 = 5*v - 5. Suppose 2*n - 10 + v = 0. Solve u + n*a = 3*u + 4, 2*u + 4*a = 20 for u.
4
Let a be (-15 + 0)*(-10)/25. Suppose 0*t = -3*t + a. Solve 3*w = 6, -5 = -3*u + t*u - 3*w for u.
-1
Let f be (-3 - -1)/((-1)/(2 - 1)). Solve -2*w + 4*w = -3*s - 2, -f*s = -w - 8 for w.
-4
Let n be 7/21*21*8/7. Suppose -2*w + m + 27 = 2*m, 5*w = 5*m + 105. Solve -2*x + 3*g = -0 - w, -n = 4*g for x.
5
Suppose 3 = 5*w - 12, 5*w = -4*b + 79. Suppose 0*c - b = -4*c. Solve 3*a + o - 11 = 0, 0 = 3*a + 9*o - c*o - 7 for a.
4
Let d = -5 + 7. Solve 3*y = 2*n - 4, n + y - d = 2*y for n.
2
Let j be ((-4)/(-12))/((-1)/(-9)). Suppose j*a = -3*u - u + 4, 2*a - u + 1 = 0. Solve -2*i + v - 7 = a, -4*v + 10 = -10 for i.
-1
Let n be (-4)/(5/(-5)) + -1. Solve n*a + 14 = p, 0*a - 4*a = -4*p + 24 for p.
2
Let k(u) = u - 10. Let v be k(10). Solve v = -3*m - 3*y - 15, 3*m - 9 = 4*m + 3*y for m.
-3
Let n(r) = 1. Let l(t) = t - 1. Let o(q) = -l(q) + 6*n(q). Let f be o(3). Solve 3*w + 5*b = w + 15, -f*b + 12 = 0 for w.
0
Suppose 0 = 5*w - 35 - 50. Let n = -2 + 4. Suppose 0*o = n*o - 10. Solve -4*q + 14 = 2*y - 0, -o*q + w = 2*y for q.
3
Let a(w) = -w**3 + 11*w**2 + 11*w + 14. Let g be a(12). Solve -3*q = g*s - 10, 4*s + 0*q = q + 20 for s.
5
Let a be 2 + 2/(-4)*-2*2. Solve -13 = a*r - h, 5*h + 1 - 3 = -r for r.
-3
Let s be ((-6)/(-9))/(4/18). Suppose 7 = s*d + 1. Let x = -2 - -4. Solve 0*z + d = z + 5*i, x*z = 5*i - 11 for z.
-3
Let r(f) be the first derivative of -f**2/2 + 11*f + 2. Let n be r(6). Solve -2*g = -q - n*g - 14, -3 = 3*q - 4*g for q.
-5
Let c be 1085/(-63) + (-4)/(-18). Let k = 7 + c. Let p = k + 12. Solve 2*f = -2*b + 2, -b - p = f + 3*f for b.
2
Suppose t + 2*c = -12, -3*t = t - 4*c. Let v be 0 + 6 + 3 + t. Solve 4*x + 2*j = 0, 1 = v*x - 2*x + 2*j for x.
-1
Suppose -96 + 0 = -4*k + 2*i, 3*k = -4*i + 83. Solve -4*a - k = -s, s + 6*a - 2*a = -15 for s.
5
Let c(g) = -2*g + 9. Let w be c(3). Solve w*b - 4*q + 9 = 40, -17 = -b + 3*q for b.
5
Suppose -9*d + 11 + 25 = 0. Solve -f - 5*i + 2*i = d, -4*i - 7 = 3*f for f.
-1
Suppose 4*l + 3 = 11. Let j be (-6)/(-4)*l/3. Let z be (-1)/(0 + j/(-4)). Solve z*n = -11 + 3, 5*n = 3*q - 25 for q.
5
Suppose 8*w - 2*w - 12 = 0. Solve -4*t = t + m + 14, -2*t + w*m = -4 for t.
-2
Let a be -3 + 3 + -4 + 4. Solve -s - 2 = 2*t, a = -2*s - t - 2*t - 3 for s.
0
Suppose 0 = j - 0*j - 2. Let t(y) = -9*y - 28. Let m be t(-4). Solve 0 = -2*v - 2*f - j + m, -4*f = -v - 22 for v.
-2
Let k = -7 - -36. Solve k - 3 = 2*t - 4*n, -5*t = 2*n - 5 for t.
3
Let h(k) = 2*k**2 + 1. Let n = -2 - -3. Let t be h(n). Let x(g) = g**2 + 9*g + 6. Let i be x(-9). Solve 2*r - w = -0 - t, -i = r - 2*w for r.
0
Let f(k) = -13*k**3 - k**2 + k + 1. Suppose 3*v = -0*v. Suppose v = -5*a - 5. Let o be f(a). Solve 0 = r - 1, 4*r - o = -g - 