+ 5*p = -15 for h.
2
Suppose 4*k = z - 3, -4*z = 4*k + 7 - 19. Solve -2*x = -r + z*x + 15, -5*x = 15 for r.
0
Let u(k) = 4*k**3 + k**2 - k + 1. Let n be u(1). Suppose 4*l - 59 = -5*r, 2*r + 3*r + n*l = 55. Solve 3*f = -3*s + r, -3*f + 3*s + s + 1 = 0 for f.
3
Let h(w) = 7*w - 6. Let n(z) = z - 1. Let f(l) = h(l) - 5*n(l). Let k be f(1). Solve -2*q + 2*o - k = 3*o, 4*q - 3*o - 3 = 0 for q.
0
Suppose -5*z + 2*z = 21. Let i(n) = -2*n - 3. Let v be i(z). Suppose 2*h = -4, 2*h = 2*p - 7*p + v. Solve 0*l + 3*l + 15 = 3*k, -2*k = -p*l - 15 for l.
-5
Let s = -34 + 34. Solve i - 3 = 0, -3*h = -s*i + i - 9 for h.
2
Suppose -3*u + 2*x - 22 = -6*u, 0 = -4*u + x + 11. Solve -3*p - 6 = 0, -2*q - 20 = -6*q + u*p for q.
3
Let c be (-6 + 3)/(3/4). Let z = 6 + c. Let b be 6*(z - (-2)/(-2)). Solve 0 = 3*h + v + 4 - 13, 2*h - 4*v - b = 0 for h.
3
Let w(z) = -z**3 + 3*z**2 - z - 1. Let c(u) = u - 1. Let n be c(-5). Let g be 6/12 - n/4. Let r be w(g). Solve -2*y - r + 3 = -d, 3*d = 4*y for y.
3
Suppose 4*q - 5*g = -10*g + 20, 2*g - 5 = -q. Solve 0 = 2*y + 3*x - 7, 2*y - q*x = -4 + 19 for y.
5
Suppose 0 = -j + 2*t - 5, -2*t = j - 0*t - 15. Solve j*y + 4*o - 18 = 0, y - 8 = -4*o + 2 for y.
2
Let t be 360/26 + 4/26. Solve -5*y - 4 = -4*l, 4*l + 2*y + t = -10 for l.
-4
Let c be 20/8*8/1. Solve 0*m - 15 = -3*m - 3*r, 4*m - r = c for m.
5
Suppose 0 = -4*t + 3*t + 2. Let z be 354/18 - (-2)/6. Let h be ((-7)/(-2))/(2/4). Solve -q - 4*c = -9*c + z, t*q + c = -h for q.
-5
Suppose 12 = 3*k + 3*y, -2*y - 1 = -5. Let p = -9 + 13. Suppose -p*f + 7*f - 12 = 0. Solve -s = 5*g - 13, f*s + 13 = g + k for g.
3
Suppose 6 = 3*g, -w + 6 = 3*g - 2*g. Suppose -39 - 7 = -2*y + w*f, 2*f = -8. Solve -4*r = 5*l - 32, -r - 4*r + y = 0 for l.
4
Let q(a) = a**2 + 7*a - 7. Let m be q(-9). Let j = -9 + m. Let w be (1/1)/(3/9). Solve -j*t = 3*n + 5 - 4, -3*t - w*n = 0 for t.
1
Let f(p) = p**3 - 3*p**2 - 3*p + 4. Let d be f(4). Let h be (d/10)/((-1)/(-5)). Suppose -g = -h*g + 6. Solve -g*l = 3*c, 2*l - 3*l = 2*c for c.
0
Let n(i) = -i**3 + 6*i**2 + 7*i + 2. Let y be n(7). Suppose -2 = -2*x - 4*s - 6, y = -2*s. Solve x = -o - 2*h - 11, -4*h + 3 = -5*h for o.
-5
Let m(d) = d**3 + 2*d**2 - d + 1. Let a be m(-2). Suppose 4*q - 28 = -3*i, 0 = -4*i + i + 3*q. Solve 0 = -3*u - 0*u - 3*h + a, i = 4*u - 3*h for u.
1
Suppose 3*f + 10 = 4*f. Let q = 22 - f. Let s be (4/(q/(-45)))/(-1). Solve 4*i - 4*y + 2 = -22, -s = 5*i - 2*y for i.
-1
Suppose 3*l + 0*l = 12. Solve -m - l*k - 24 = 0, -2*m + 3 = -4*m + k for m.
-4
Let x(z) = z**2 + 6*z - 6. Let t be x(-7). Suppose c + 8 - 3 = 0. Let y be 2/(-3)*(c - -2). Solve 2*r + 23 = -5*o, -2*r + y = -3*o + t for o.
-3
Let c(b) = 4*b + 0*b - b - 3 - 2. Let p be c(6). Let a be 13 + (3 + -1)/2. Solve -5*w + a = 3*o, -4*o + w = 2*w - p for o.
3
Let y(v) = -v**3 + 4*v**2 - 2*v - 3. Let s be y(3). Suppose s = 3*t + 2*t - 5. Let r be (0/1)/(1 + t). Solve 4*p + 0 + 12 = -3*g, 5*g + p + 20 = r for g.
-4
Let b(r) = 3*r + 44. Let d be b(-13). Solve w = -3*h - d + 4, -1 = w for h.
0
Let p be (-10)/(-25) + 4/(-10). Solve 3*c + 3*t + 3 = 0, p*c = 5*c - 3*t - 27 for c.
3
Let c be (-1)/1 - (5 - 6). Suppose -2*p = -c*p - 4. Solve 0 = 5*k - p*o - 12, 3*k + 4*o = 5 + 23 for k.
4
Let b(o) = -o**2 + 6*o - 1. Let m = 2 - -3. Let z be b(m). Suppose -4*d - 5*u + 22 = 0, -3*u + z = -u. Solve 0 = -d*r - 6, -4*t - 6 + 0 = -5*r for t.
-4
Suppose l - 9 - 6 = 0. Let n = l + -5. Suppose -o = o - n. Solve o*f = 3*p - 14, -4*p + 4*f + 10 - 2 = 0 for p.
-2
Let t(b) = b**2 - 7*b + 9. Suppose 14 + 2 = -2*x. Let r be (-50)/x - 1/4. Let s be t(r). Solve 4*c = c - 9, -3*g + c = s for g.
-2
Suppose 5*v = 8*v. Solve 5*x - 4*r = 16, v = -x + 5*x - 4*r - 12 for x.
4
Suppose 3*q + 3 = 12. Suppose -u - h + 4 = -0*h, u = -q*h + 10. Let m(f) = 10*f + 1. Let x be m(u). Solve b - x - 6 = -5*c, 0 = -4*b + 2*c + 2 for b.
2
Let s = 32 - 27. Solve 1 + 2 = r + 3*o, -s*r + 5 = 5*o for r.
0
Suppose 11 = 4*x - 1. Let r be (5 + x)/4 + 3. Solve j + 4*h + 1 = 0, -2*j + h + r = -2 for j.
3
Suppose 5 = r + 2*a, 3 = -5*r - 0*a + 4*a. Solve 0 = -3*k - m - 17, 0 = 4*k - 4*m - r - 3 for k.
-4
Let a be -1*(-3)/(-6)*4. Let v = a - -4. Suppose o + 18 = v*o. Solve 2*p + 4*i = o, 2*p - 7*i + 18 = -2*i for p.
1
Suppose 3*h = -v, 3*h - 3*v = 2*v. Solve 0 = -3*s + 2*x - 17, h = -s + x - 2*x + 1 for s.
-3
Let b(x) = 4*x**3 + 0 - 10*x**2 - 3*x**3 + x - 5. Let l be b(10). Solve -4*s = -2*m + 18, 0 = -l*m - 2*s + 2 - 5 for m.
1
Let f(b) = b**2 - 9*b - 6. Let y be f(9). Let o = -9 - y. Let l = o - -3. Solve l = -4*a - 20, 2*r + r - 22 = 2*a for r.
4
Let w be 0/(9/3 + 0). Solve 2*p = -4*z + 3*p - 12, 3*z - 5*p - 8 = w for z.
-4
Suppose 2*b + 0 - 2 = -4*v, b - 1 = 2*v. Suppose 3*q - 3 + 15 = v. Let o be (-4)/(-16) + (-15)/q. Solve -3*h + 17 = -0*h + o*f, 2*f = 2*h + 12 for h.
-1
Let f be 6*1*4/8. Let i = f - -2. Let y(g) = 2*g + 3. Let d be y(i). Solve 4*v - 10 = -o, -o = 3*v + 2*v - d for o.
-2
Let y(n) = -n - 3. Let q be y(-3). Solve 2*c + 0*c - 5*g - 20 = q, -5*g = 20 for c.
0
Let s(t) = -4*t - 40. Let y be s(-10). Solve 0*l = v - 4*l - 8, y = 4*v + 3*l - 13 for v.
4
Let q(a) = -5*a - 7. Let u be q(-2). Solve 5 = 5*y, 0 = -2*h + 2*y - u*y + 11 for h.
5
Let c = 35 + -35. Solve 0 = -2*p + 4*p + 6, 5*d - 4*p - 37 = c for d.
5
Suppose -p + 12 = -a - a, -2*a + 28 = 3*p. Solve 2*h - 6 = s, -2*h = 4*s + 4 + p for h.
1
Suppose 2*h - w = 4*w + 21, 0 = -4*w - 4. Let m be -4*2/(h/(-3)). Solve 2*n = -4*p - n - 5, -m*p = 5*n - 10 for p.
-5
Let u = -72 - -113. Let c be 1/(((-2)/8)/(-1)). Suppose 39 = c*j + f, u = 4*j - 2*f + f. Solve -3*r - d - 4*d + j = 0, 4*r + 5*d = 5 for r.
-5
Suppose 20*r - 27*r = -28. Solve 4 = -4*q - 2*l, 3*l + 8 = r*q + 2*l for q.
1
Suppose 2*o = -3*y + 33, 4*o + 5 = -4*y + 45. Solve 3*f - y = 3*r + 5, -r + 10 = 3*f for r.
-2
Suppose -i = -2*i - 13. Let u = i - -17. Solve v - 4*o - 5 = -0*v, u*o = 0 for v.
5
Suppose -1 - 7 = -2*v. Solve -5*n - 6 = -3*q, 4*n - v*q + 3 = -q for n.
-3
Suppose -2 + 5 = 3*m - 3*x, 2*m - 5*x + 4 = 0. Suppose 0 = 4*k - k - 24. Suppose 4*p = -0*p + k. Solve -9 = -p*c - m*t, -3*c - 5*t + 1 = -13 for c.
3
Let z(d) = 2*d**2 - 19*d + 11. Let a be z(9). Solve -3*w - a*w - 15 = k, 4*k = -3*w - 9 for w.
-3
Let k(q) = -q**2 - 12*q - 7. Let c be k(-11). Solve -c*n = -3*w, 5*n = 3*n - 3*w + 18 for n.
3
Let w be -2*(12/24 - (2 - 1)). Solve -13 = -4*l - d, l = 4*l - d - w for l.
2
Suppose 4*s + 5*q - 12 - 63 = 0, -103 = -5*s + 3*q. Let p be (-6)/5*s/(-6). Solve -p*z + z = -12, -k - 1 = -z for k.
3
Let c = -2 - -2. Let n = 0 + 5. Solve c = -3*i - n*t - 9 - 31, -3*t = 15 for i.
-5
Let n(x) = x**2 - 2*x + 1. Let z be n(3). Let j be -1*z*3/(-3). Let f be ((-10)/j + 2)*-6. Solve -2 = 2*d, -d - 2*d - 15 = -f*t for t.
4
Suppose -1 = -h + 4*s - 0, 5*s + 59 = 4*h. Solve 0*r = -2*g - 2*r + 14, 2*r + h = 5*g for g.
5
Let s be 0 - (1*-2 - 1). Let n = s - 3. Suppose -3*d - d + 16 = n. Solve 0 = 3*g - g - 10, -17 = -3*b - d*g for b.
-1
Suppose 0 = -f + 4*p - 11, -1 + 6 = -f + p. Let c be (-1 + -2)*5/f. Solve 3*h - 9 = -2*t, c*t - 1 = h - 4 for h.
3
Let u be (-266)/(-21) - (-2)/6. Suppose -4*b + 3 = -u. Solve -7*a - 4*f = -b*a - 35, -4*a = f - 25 for a.
5
Suppose 0 = -3*v + 5*n + 105, 4*v - 3*n - 2*n = 140. Solve -2*p = 2*p + 3*a - v, 5*p - 50 = -5*a for p.
5
Let i = -18 - -22. Solve -i*v = -5*x + 22, -v + 4*x - 13 = -x for v.
-3
Suppose 0*j = 4*j. Solve -1 = -r, j*g + 5*r = g + 4 for g.
1
Suppose 0 - 6 = -2*r. Suppose t + r*t - 12 = 0. Solve -2*k = 2*y, -t*y + y + 4*k + 30 = 0 for y.
5
Let r = 20 + -4. Suppose 3*o = 4*s + 16, 4*o + 4*s - r = -4. Solve -2*h + 12 = -a - 3*a, o*a + 24 = 5*h for h.
4
Let z be (-11)/13 - -1 - (-216)/117. Solve 2*w + 2*d = 0, -w + 4*w - z*d - 10 = 0 for w.
2
Suppose 0 = 4*y - 4*c - 0*c + 16, -4*c + 16 = -y. Let i = 2 + 0. Let u be i/(-3) + (-99)/(-27). Solve y = -g - u*p + 3 - 6, -p = -3*g - 9 for g.
-3
Suppose 103*o - 2 = 102*o. Solve -2*n - 18 = -4*g, o*n - 21 = -3*g + 5*n for g.
2
Let l = 16 - 16. Let y(k) = -k**2 + k + 2. Let v be y(l). Solve 0 = -p + v*p + h + 2, 0 = 4*p - 4*h - 32 for p.
3
Suppose 4*k - 34 + 22 = 0. Solve 3*j - 3 = -3*w, -k*w + 1 = -3*j - 2 for w.
1
Let d be (-4)/(-18) - (-68)/18. Let q(c) = 17*c**2 - c - 1. Let w = 8 - 7. Let r be q(w). Solve -d*g + 0*g - 21 = m, -4*g = -5*m + r fo