12 = h for c.
-2
Let x(n) = -n - 3. Let d be x(-8). Solve 0 = 2*u - d + 11 for u.
-3
Let q(z) = z - 9. Let m be q(10). Solve l - m = -4 for l.
-3
Let x(s) = s**2 - s - 1. Let h be x(-2). Let y = 6 - 4. Let o = h - y. Solve b + o = -2 for b.
-5
Let t = -2 + 6. Let l be -1 + t - (-9 + 6). Solve 0 = -l*c + 2*c - 4 for c.
-1
Let w be 34 - 24 - (5 - 0). Solve 5*g + w + 20 = 0 for g.
-5
Suppose 3*s = -s. Suppose 0 = -s*a - 4*a. Suppose 5*r + 5*u - 35 = a, 2*r - 4*u - 2 = -0*r. Solve r*v = -6 - 19 for v.
-5
Suppose 0 = -5*j - 9 + 34. Suppose -2*i + 3 = -j. Solve 0 = 4*f - 0 + i for f.
-1
Suppose 4*k = -20, -18 = 2*w - 0*k + 4*k. Let l be w + (2 + -3 - 0). Let h be (-10)/(-65) - (100/(-26) - -1). Solve l - h = -3*n for n.
1
Suppose 4*v = -5*j + 68, 2*j - v = -0*v + 22. Solve -5*q + 2*q = j for q.
-4
Let p = 22 + -14. Let w = -3 + p. Let n = w - -8. Solve -3*z = -n + 4 for z.
3
Suppose 0 = -2*t + 3*t - 2. Let j(b) = 2*b - 1. Let h be j(t). Suppose 0 = -4*f + 2*d - h + 15, -2*f + 2*d = -8. Solve 0 = -f*y + 4*y for y.
0
Let z be 3 + 9*(-1)/(-3). Let f = 6 - z. Solve f*s - s - 5 = 0 for s.
-5
Let n be 9 + (-2)/2 - 3. Suppose 0 = 4*k - 2*v + 2, 0*k - 4*k - n*v + 5 = 0. Suppose k = -y - y + 6. Solve -2*z - z + y = 0 for z.
1
Suppose 3*n + h + 8 = 0, 0*h + h + 5 = -2*n. Let v = 0 - n. Suppose v*d - 2*d = 1. Solve 6*x - 5*x - d = 0 for x.
1
Let i = -6 - -8. Let j = 1 + i. Suppose n = j*n - 6. Solve 0 = -n*s - 15 for s.
-5
Let o be (0 + 1)/((-2)/12). Let g = o - -10. Solve 2*k - 3*k - g = 0 for k.
-4
Let r = -105 + 112. Solve -3*x = -r*x for x.
0
Let n(h) = -h**3 + 3*h**2 + 4*h + 5. Suppose o - 9 = -o - u, 4*u - 4 = 0. Let i be n(o). Solve i*l - 29 = -9 for l.
4
Suppose -2*k = k - 60. Suppose -3*s = 12, 0 = -5*d + 4*s + s + 15. Let g = d - -1. Solve 0 = -g*i + 4*i + k for i.
-5
Let c = 12 + -6. Solve -3 = 3*k - c*k for k.
1
Let n be (-5)/(-10) - (-2)/(-4). Solve -v + n = -2 for v.
2
Let a be (-27)/(-4) - 3/(-12). Suppose -u = -1 - a. Solve u*n = 3*n - 20 for n.
-4
Suppose 4*h + x - 17 = 2*x, -4*h + 3*x = -11. Suppose 0 = m - 3*d + 2, -h*m + 0*m + 22 = d. Suppose -o = 2*o. Solve o = m*l + l for l.
0
Suppose 5*g - 5*y = 25, -2*g + 3*y + 4 + 1 = 0. Let d be 6/g*(-10)/(-2). Solve 0 = 7*h - d*h for h.
0
Suppose -7*x = -6*x. Solve -q + 4*q - 12 = x for q.
4
Let c = -4 + 7. Let v(r) = 0 + 0 + r**3 + 0*r - 3 + 5*r - 4*r**2. Let g be v(c). Solve -g*x = -x for x.
0
Let x(r) = -r**3 - 10*r**2 + 25*r + 16. Let b be x(-12). Solve s + b = 6 for s.
2
Let x = 8 - 19. Let w be 204/33 + 2/x. Suppose 0 = -2*f + w*f. Solve -m - 2*m + 9 = f for m.
3
Suppose 2*h - 7 = u, 5*u - h - 2 = 8. Solve 12 = -c - u*c for c.
-3
Suppose -10 = -6*k + 38. Solve -2*b - k = 2 for b.
-5
Let p(r) = 2*r**2 + 10*r - 13. Let q(c) = c**2 + 11*c - 14. Let b(l) = -2*p(l) + 3*q(l). Let z be b(11). Solve -3*k + z = -0*k for k.
2
Let g(v) = 5*v. Let p be g(1). Let r(y) = 2*y**2 + y - 2. Let m be r(-2). Solve m*s + 3 = -p for s.
-2
Let t(o) = o**2 - 2*o. Let p be t(4). Let z = p - 5. Suppose -3*r = 5*i - 35, -z*i + r = -2*r + 3. Solve i*w + 5 = 1 for w.
-1
Suppose -24 = -3*o - 9*o. Suppose -2*x = 3*x - 5. Solve -o*q = x - 3 for q.
1
Let f be 8 + (-7 - 1)/2. Solve 0*s - f*s + 20 = 0 for s.
5
Suppose 3*h + 13 = -5*s - 0*s, 2*h - 2 = 2*s. Let t(z) = z**3 + z**2 + 17. Let g be t(0). Let u = g + h. Solve 7*r - u = 3*r for r.
4
Let d(r) = r**3 - 2*r**2 + 1. Let c be d(1). Solve c*v = -3*v for v.
0
Let h(i) = -i**2 + 7*i + 6. Let y be h(5). Suppose 0 = d + 3, 2*t + 4*d - 7*d - 29 = 0. Suppose 2*n = -0 + t. Solve -n*x + 1 = y for x.
-3
Let o be 8 - (-1 - (4 - 9)). Let s(w) = 2*w**2 + w. Let f be s(1). Suppose f*x - 3 = -2*g, 3*g + x = -o + 12. Solve 0 = -g*d - 0*d - 15 for d.
-5
Suppose -12*t + 33 = 5*o - 14*t, -4*o + 24 = -t. Solve -o*i + 8 - 3 = 0 for i.
1
Suppose p = 4*l + 2*p - 14, -2*l + 14 = 4*p. Solve 2*y = l*y for y.
0
Let q be 0 - 2 - (2 - -6). Let g = q + 13. Solve -g + 8 = -h for h.
-5
Let d(j) = 2*j - 10. Let t be d(7). Suppose t = g - 0. Solve 2*k + g = -6 for k.
-5
Suppose -3*o + 22 + 27 = -5*n, -4 = 2*n + 4*o. Let g be 106/(-12) - 3/18. Let r be (-4)/n - g/2. Solve 0 = -t + r*t - 4 for t.
1
Let v = 40 + -10. Let l be 1/3*v/5. Suppose l = 5*q - 3*q, -4*q = -s + 1. Solve s*o = 3*o + 6 for o.
3
Let j be (7/(63/30))/(1/3). Solve 3*q = 5*q - j for q.
5
Suppose 0 = i - 3*i + 28. Solve -5 = -3*y - i for y.
-3
Suppose 4*x + 20 = -x. Let a be (1 + x + 3)/1. Solve 3*v + a = 3 for v.
1
Suppose 0 = 2*y - y. Suppose -h - x = -5, 3*h - 4*x = 1 - y. Solve -h*v = -v - 2 for v.
1
Suppose -4*a = -3*t - 112 - 78, -2*a + 3*t = -98. Let k = -20 + 36. Suppose -2*c = 5*d + k, 5*c + 16 = 5*d + a. Solve 0 = h + 3 - c for h.
-1
Let v(x) = x**3 + 9*x**2 + 3. Let d be v(-9). Solve d*c + c = 4 for c.
1
Suppose 0 = 4*y + 19 - 75. Suppose -y = -4*g + 2, -o - g = -6. Solve h + o = -1 for h.
-3
Suppose 2*s - 4*i = 30, -5*i - 38 = -2*s - 5. Solve -z + s = -4*z for z.
-3
Let o = 4 - 2. Suppose -m - 18 = o*m. Let v = m + 7. Solve -h = -2*h + v for h.
1
Suppose p = 13 - 11. Solve 0 = u - 0 - p for u.
2
Suppose -2*r - 3*r = 15. Let d be r/6 - 25/(-10). Solve -h = d + 1 for h.
-3
Let h = -15 + 17. Solve 0 = h*r - 4 + 2 for r.
1
Let m(p) = p**3 - p**2 + 3*p - 3. Let o be m(2). Let h = o + -5. Solve h*t = -1 + 7 for t.
3
Suppose -2 - 10 = -3*q. Suppose -q*x - 10 = -26. Solve -15 = x*j - 9*j for j.
3
Suppose p = -4*x + 7, -5*p + 2*x + 16 = 3*x. Solve 20 = 2*o + p*o for o.
4
Let u = 11 + -9. Solve 0*v - 10 = -u*v for v.
5
Let w(a) = a**3 - a**2 + a - 1. Let t be w(0). Let o be 2 - -1 - 0/t. Solve 0 = -4*q + o + 13 for q.
4
Let f(b) be the second derivative of -b**5/20 + b**4/3 - b**3/6 - 3*b**2/2 - 6*b. Let n be f(3). Solve n*t + t - 8 = 0 for t.
2
Suppose 2*b = -2*b - 40. Let p be 9/15 + 6/b. Solve 3*w = -9 - p for w.
-3
Let i(y) = y**2 + 7*y - 3. Let h be i(-8). Solve -2*f - h = 3*f for f.
-1
Let g(m) = 2 - 1 - 2 + 3*m. Let x be g(1). Solve 1 + x = -i for i.
-3
Suppose 5*l - 3 = q, -l - q - 1 = -4. Solve 0 = -k + l for k.
1
Suppose -3*n - 12 = -3*y, 0 = 3*y - 0*y - 2*n - 12. Suppose y = t + 5. Let x be -12*((-3)/(-9) + t). Solve -m - m = -x for m.
4
Let s = -2 + 6. Suppose -2 = 2*m - 28. Suppose 5*i = l - 16, 2*l - s*i - m = 1. Solve -7 = 4*o + l for o.
-2
Let u be -1*(-3 + 1)/((-4)/(-2)). Solve u = -0*w - w for w.
-1
Let j be 0 + (-2 - (4 + -13 + 3)). Solve -s = -5*s + j for s.
1
Suppose 4 = 4*v - 6*v. Let c be v/(-6) + 4/6. Let b = c + 0. Solve -b = 3*g + 5 for g.
-2
Let k be (-8)/(-44) + (-106)/(-22). Let v(p) = -p**2 + 7*p - 4. Let u be v(k). Solve -5*b + 14 = -u for b.
4
Suppose -2*x = -2*g - 6, 3*x - 9*g - 9 = -4*g. Suppose 0 = -x*o - 11 - 4. Let h = o + 5. Solve -4 = -h*t - 2*t for t.
2
Let u be ((-2)/(-6))/((-2)/(-42)). Let b = u - 5. Solve -b*t + 2 = -4 for t.
3
Let c be (-4)/(60/(-9))*-5. Let a be (-30)/(-45) - 4/c. Solve -3*b + a = -2*b for b.
2
Suppose 0 = -0*k + 4*k. Solve k = 2*b - 2 for b.
1
Suppose 10 = 2*c, 3*c - 5*c = -3*b - 4. Solve -b*v - 4 = 2 for v.
-3
Suppose -9*w + 4*w = 0. Solve 0 = 4*h - 8 - w for h.
2
Suppose 23 = 5*v - 4*o, 6*v - 2*v = -3*o + 6. Let z(m) = 7*m + 8. Let r(q) = -q. Let n(b) = 6*r(b) + z(b). Let j be n(0). Solve v*t - 25 = j*t for t.
-5
Suppose 28 = 4*m + 3*t, -4*t - t - 14 = -2*m. Let q = m - 4. Let h(z) = z**2 + 4*z + 2. Let b be h(-4). Solve q = -b*s - s for s.
-1
Suppose -4*l + 4 = -5*m - 30, -3*l = m - 16. Solve -4*h - 10 = -l*h for h.
5
Suppose 0 = 2*u + u + 2*g - 56, u + g - 18 = 0. Solve -8*a + 3*a + u = 0 for a.
4
Let n = -7 - -11. Let x = n + 2. Let r be 1/4*x*2. Solve -t - 12 = r*t for t.
-3
Let o be (5 + 65/(-10))/(1/(-6)). Solve -3*z + 3 = o for z.
-2
Suppose 0 = 3*n - 3*y - 2*y - 5, 5*y = -3*n - 5. Solve 9 = -n*a + 3*a for a.
3
Let g(o) = o**2 - 2*o + 3. Let f be g(0). Solve 0 = -6*a + f*a for a.
0
Let c = 46 + -44. Solve -c = -d + 3 for d.
5
Let t(z) = 2*z - 1. Let j be t(-2). Let g(w) = -w**2 + 2. Let s(a) = a**2 + a - 3. Let n(l) = j*s(l) - 4*g(l). Let h be n(-6). Solve f - h - 2 = 0 for f.
3
Suppose 2*m + 2 - 12 = 0. Let s(w) = w - 2. Let r be s(m). Let l be (r/6)/(2/16). Solve -2*f = 2*f + l for f.
-1
Let x = 46 - 43. Solve 6*s + 6 = x*s for s.
-2
Suppose -h - 22 = -3*p - 5*h, -7 = -2*p + 5*h. Let a = 10 - p. Solve -a*l + 10 - 2 = 0 for l.
2
Let c = -4 + 12. Solve 2*i + c = -0*