lve -h = m*h + r for h.
-3
Let b(o) = -4*o - 15. Let q be b(-7). Solve 5*m + q = 38 for m.
5
Suppose -4*h + l + 8 = -2*h, -h + l = -2. Solve 3*p - h*p = -12 for p.
4
Suppose 5*u - 3*i = -0*i + 32, 0 = 4*u - i - 20. Suppose m - 24 = u*z, -5*z - 33 = -m - m. Let c = 8 + z. Solve 3 = -c*a + 12 for a.
3
Suppose -5*s + o = -20, 4*o = 2*s - 10 + 2. Solve 0 = 3*u - u + s for u.
-2
Let x(q) = 6*q**2 + 4 - q**2 - 2 - 6*q + q**3. Let b be x(-6). Let o(t) = 3*t - 3. Let y be o(b). Solve y*v + v = -8 for v.
-2
Suppose -3*r + 13 = 2*t, 3*t - 4*r - r + 9 = 0. Suppose 3*n - 23 = 2*c, 2*n = 2*c + 20 - 2. Let z(q) = 2*q - 8. Let d be z(6). Solve t = -n*u + d*u for u.
-2
Let b = 8 - 8. Suppose 3*a - 3*z = 6, b = 5*a - 3*z - 4 - 10. Solve 0*y - 12 = -a*y for y.
3
Let o = -9 + 11. Let p be (-12)/(-9)*3/o. Solve 3*m + p + 13 = 0 for m.
-5
Suppose -2*j + 5*j = 0. Solve j = c + c for c.
0
Suppose 3*y + 2*y = 10. Suppose -5*r + 4*d = 25, -4*r - 17 = -2*r - 3*d. Let l be r*(-4)/((-8)/(-10)). Solve -y*a = -a + l for a.
-5
Let a(l) = -4*l**3 + l. Let s be a(2). Let j = -10 - s. Solve -j = -c + 6*c for c.
-4
Let y = 24 + -22. Solve y = -q + 3*q for q.
1
Suppose 4*v = 18 - 2. Suppose 0 = -v*f + 5*f - 9. Let g(b) = b**3 + 3*b**2 + 2*b. Let j be g(-2). Solve j = -4*y - 7 - f for y.
-4
Suppose 14 = 2*x + 4. Suppose 5*m = -x*u + 2*u + 3, 0 = -u + 1. Suppose -4*o - 24 = -4*h, 14 + 4 = -h - 5*o. Solve m = h*a - a for a.
0
Let k be 3/((-388)/(-532) + 12/(-21)). Solve k = -5*d + 4 for d.
-3
Suppose 4*u + 18 = -2. Let d(w) = w**3 + 5*w**2 + 6. Let k be d(u). Suppose m = k - 4. Solve 3*f - m*f = -2 for f.
-2
Let j(k) = k - 6. Let l be j(8). Let r be (1/l)/((-13)/(-78)). Solve -r*z = -6*z + 15 for z.
5
Suppose 0 = -2*z + 2*f + 6, -24*f = -5*z - 22*f + 18. Solve -25 = z*n - 5 for n.
-5
Suppose 4*f = -s - 20, -f - 1 = -5*s + 4. Let g be (5/((-10)/12))/(-2). Suppose 0 = -3*d - s*x - g*x - 6, 0 = -3*x - 12. Solve -3*w - 8 = -d for w.
-2
Let c = 0 - 1. Let f be 2/2 + c + -1. Let y = -1 - f. Solve -4 = -y*l - l for l.
4
Suppose -5*w - c - c + 35 = 0, 34 = w - 5*c. Solve 0 = 4*i - w*i - 20 for i.
-4
Let u = -23 - -25. Solve u*l = l for l.
0
Let o = 4 + 2. Let v(a) = -10*a**2 + 1. Let t be v(1). Let y be t/(-6)*8/3. Solve y - o = 2*h for h.
-1
Let a = 13 + -9. Solve 12 = -4*t - a for t.
-4
Let w = 77 - 76. Solve -3 - w = 2*a for a.
-2
Suppose 5*x - 44 = -3*v, 2*x + 0*x = -3*v + 32. Solve 0 = -2*i + 2 - v for i.
-3
Let j(u) = -13*u**3 - u. Let i be j(1). Let c be 1/(-1) - i/2. Let h(z) = -z + 6. Let a be h(c). Solve a = -2*s - 7 + 1 for s.
-3
Suppose 4*d + 3 = -9. Let t = 0 - d. Solve 5 = y + t for y.
2
Suppose 0 = 2*r + r - 33. Suppose -2*l - 2*n = -116, -2*n = 4*l - 314 + 92. Suppose -l = -3*h - r. Solve -h = 2*x - 4 for x.
-5
Suppose 3*a = 4*a + 4. Let b = 4 + -5. Let h = b - a. Solve 5 = -h*p - 2*p for p.
-1
Let q = 1 - 1. Let r(y) = 2*y - 10. Let l be r(7). Solve q = -l*j + j for j.
0
Let a be (-2 - -1*4) + -4. Let z be (-1 - a)/((-4)/(-72)). Let s be (7 + 0)*(2 + -1). Solve s = 5*l - z for l.
5
Let n be (1 - (0 + 7))/1. Let p be (-3)/(0 - (-9)/n). Solve -p = 2*q - 10 for q.
4
Suppose 0*k - 3*q + 69 = 4*k, 4*k - 2*q = 54. Suppose k = 5*s - 15. Solve -1 + s = -5*x for x.
-1
Let z(n) = 7 + 0*n - n + 7*n + n**2. Let l be z(-5). Suppose 3*m - 4 = 2*m. Solve -m*b = -l*b - 8 for b.
4
Let m(a) = -a + 3. Let b be m(5). Let u be 1/(b/1)*-10. Suppose 4*d = 2*q - q + 5, -u*q + 9 = -3*d. Solve 0 = g - d + 1 for g.
1
Let j(p) = p**3 - p**2 + 2*p - 4. Let q be j(2). Solve -2*m + q = 2 for m.
1
Suppose -4*p = -3*p - 2. Suppose 0 = 2*z - p*l + l, -l + 2 = -z. Suppose 4*k - z = 10. Solve 7 = 2*o - k for o.
5
Suppose -4*o - 2 = -10. Suppose 6 = o*q - 0. Solve -4 = q*m - 1 for m.
-1
Let n(x) = x**3 - 6*x**2 + 7*x - 6. Let u be n(5). Let f be (24/9)/((-12)/(-18)). Let d = f - u. Solve d*k = -2*k for k.
0
Suppose 3 + 2 = 5*o. Suppose -9*h + 16 = -5*h. Solve h*l = o + 3 for l.
1
Suppose -16 = 2*j + 10. Let v = j - -18. Solve -v*a - 7 = -22 for a.
3
Suppose -3*o = -5*p - 26, -5*o + 0*p + 14 = -p. Let b be 2 + (1 - (-7 - o)). Solve 0 = y + 2*y - b for y.
4
Let g = 15 + -10. Suppose g*x = 3 + 7. Solve 12 = v + x*v for v.
4
Let o = -46 + 58. Solve 0 = 5*r - o + 2 for r.
2
Let x = -17 + 10. Let f = 9 + x. Solve -3*r - f*r + 10 = 0 for r.
2
Let l be 6/((-30)/12*4/(-5)). Suppose 4*a - 3*r = -r - 2, -5*a - 5 = -3*r. Solve -l = -a*d + d for d.
3
Suppose -1 = -2*n + 7. Solve 3*f - 5 = n*f for f.
-5
Let v be 87/15 + (-8)/(-40). Suppose -14 = -0*u - 3*u + 4*x, -u - 3*x = 4. Solve v*r = u*r for r.
0
Let z = 191 + -187. Solve 34 - 14 = -z*v for v.
-5
Let c = -25 - -75. Suppose 6*y - y = c. Solve 0 = 6*m - m + y for m.
-2
Let q = -9 + 4. Let o(n) = -n**2 - 5*n + 2. Let z be o(q). Suppose 2*w - 2 = -0. Solve -3 = -z*b + w for b.
2
Let n(m) = -m + 29. Let j be n(27). Let p = 0 - -2. Solve -p*d = j*d for d.
0
Suppose -y + 2*y = 0. Let o = -2 + 4. Suppose 5*h - 60 = -5*z, -5*z + 38 = -2*h - 8. Solve o*c + 2 - z = y for c.
4
Suppose -2*a + 7*a - 5*c = 20, a + 4 = -c. Solve a = 2*k + 6 - 0 for k.
-3
Let v be -1 + 6/(-3) + 5. Suppose -5*a = -3*a + v*d - 66, 0 = 2*a - 5*d - 31. Let h = 53 - a. Solve y + h = -4*y for y.
-5
Suppose 143 = z + 43. Let o be 1/(1*4/z). Solve 6*w - w = o for w.
5
Suppose 8 = d + d + 4*x, -3*x + 3 = 3*d. Let l be (-4)/(-8)*0/d. Solve l*h + 4 = 2*h for h.
2
Let g(i) = i**3 + 6*i**2 + 5*i + 4. Let w be g(-5). Solve -w*r + 2*r = -6 for r.
3
Let v(u) = 2*u - 4 - 3*u - 2*u. Let i be v(-2). Solve 4 = i*d - 4 for d.
4
Let c be -5*-2*15/50. Solve p - 4 = c*p for p.
-2
Let q be (-2)/(-4)*(10 + 8). Solve c + 4 = q for c.
5
Suppose b - 8 = -3*b. Solve -13 = 5*u + b for u.
-3
Suppose 13 = 2*i - 3. Let z = i - 5. Solve j = -z*j - 16 for j.
-4
Suppose -5*w = f - 6 - 13, -4*w = -5*f - 21. Suppose 1 = -p + h, -w*p = -7*p - 2*h + 12. Let q be 6*(-3*1)/(-3). Solve -q = -p*s + 2 for s.
4
Let z(x) = 8 - 2*x + 5*x + 3 - 2*x. Let i be z(-9). Solve -3 = d + i for d.
-5
Let t(h) = 2*h**2 + 2*h - 2. Let a be t(-2). Let o be (-87)/(-12) + a/(-8). Solve -2*n = 1 - o for n.
3
Let p = 13 - 4. Suppose -n - j = -2*j, 0 = -4*n - 3*j. Solve -3*x = p - n for x.
-3
Let a(w) = 42*w**2 + w. Let m be a(-1). Suppose 5*b + 11 = m. Solve -2*r - 4 = b for r.
-5
Suppose 0 = 3*k + 2*d - d - 12, 4*k - 6 = 2*d. Solve -k*t - 4 = 2 for t.
-2
Suppose -2*c = c - 24. Let o = c + -5. Suppose -4*u = 5*m - 4, -5*m = -0*u + 3*u + 2. Solve -u*v + o*v = 0 for v.
0
Let t be -18*((-2)/(-3) + -1). Let m be (-24)/(-9) + (-4)/t. Solve m*a = -a for a.
0
Let w(a) = -2*a - 3. Let u be w(-3). Suppose -o + u = 2*k, -3*k - k = o - 11. Solve 9*c + 10 = k*c for c.
-2
Suppose r + 0*r - 36 = 0. Suppose 2*m = -5*b - 40, 5*b + 3*m + r = -9. Let x be (2/b)/(3/(-18)). Solve 0 = -s - x*s - 3 for s.
-1
Let o be 4/8 - 15/(-2). Solve -2*i + o = -0*i for i.
4
Suppose -h - 6 = h. Let u be (8/h + 3)*0. Solve u = 3*i - 4*i for i.
0
Suppose 0 = -5*y + 6 + 9. Let v = y - 3. Solve v*d - 25 = -5*d for d.
5
Let t(w) = w**3 + 5*w**2 - 8*w - 9. Suppose 0 = -h - 2*h - 45. Let d = h + 9. Let n be t(d). Solve n*x + 1 - 4 = 0 for x.
1
Let k = 3 - 3. Suppose 15 = 5*i - 15. Solve k = -u + i*u - 15 for u.
3
Suppose 2 = 3*d + 2*y, d + 4*y = 2*d - 24. Let t be 10/d*32/40. Solve 0 = -o - o + t for o.
1
Let w be (1 - 9/6)*0. Suppose -5*j - 15 = 0, w*o = 5*o + 5*j - 25. Solve -2*r = 2*r - o for r.
2
Let l = 22 - 18. Solve l - 12 = -4*c for c.
2
Suppose 0*p = -2*p + 4. Let d be 0*(-1)/(p + -4). Suppose d = 3*m + 2*a + 3*a + 2, -5*m = a - 4. Solve -j = -m - 0 for j.
1
Let j = 0 + 3. Let c(f) = f**3 - 7*f**2 - f + 10. Let u be (7/1)/((-1)/(-1)). Let v be c(u). Solve v*y = -0 - j for y.
-1
Let b = 1 - 1. Let x(m) = -m**2 - 8*m + 4. Let z be (-1)/(-4) + 99/(-12). Let y be x(z). Solve -8 = -b*u - y*u for u.
2
Let u = 1 + 2. Let x(y) = -y**3 + 2*y**2 + 2*y - 1. Let b be x(-2). Let h = b + -7. Solve -u*k + h*k = -3 for k.
-3
Let z be (-2 + 4)/((-2)/(-4)). Let w(b) = -b**3 + 4*b**2 - 4*b + 3. Let x be w(2). Suppose l - 5 = 0, 4*o = x*o - 3*l + 20. Solve z - 19 = o*j for j.
-3
Let y(o) = 2*o - 3. Let v be y(4). Let k = 5 - v. Let t be k/(-2) + 15/3. Solve 0 = t*h + 26 - 1 for h.
-5
Let c = -8 - -12. Let k(h) = -h**3 + 3*h**2 + 6*h - 3. Let t be k(c). Solve -t = -y - 1 for y.
4
Let d(x) = x**2 + x - 4. Let y be 