 h + 2*h - 15 = 0. Solve 3*f - 14 + h = 0 for f.
3
Suppose -4*h = -3*j - 0*h, -5*j - 3*h = 0. Solve -3 = 3*a - j for a.
-1
Suppose 2*b = -12 + 8. Let j = 2 - b. Suppose g + 0*g - 15 = 0. Solve -z - j*z = g for z.
-3
Suppose 5*j = 0, 0 = g + j + 1 - 5. Suppose 0 = a - v - 10, g*v = -4*a. Let h = -238 - -245. Solve 2*z = h*z + a for z.
-1
Let u(a) = -a - 3. Let x be u(-4). Let y = 1 - -2. Solve y*m - x = 2 for m.
1
Suppose a - 16 = -2*a - 4*d, -3*a + 5*d = 20. Solve a = -0*s + s + 1 for s.
-1
Suppose k = 3 - 0. Suppose 4 = f - 2. Suppose 0*v + v = 3. Solve -k = -v*n - f for n.
-1
Let m be 1*8/4 + 4. Solve 0 = m*g - g - 10 for g.
2
Let t(y) = -2*y - 5. Let c be t(-4). Suppose 0 = -2*m + c + 7. Solve -m*h + 8*h = 0 for h.
0
Let k(c) = -7*c. Let n be k(-1). Solve g + n = 2 for g.
-5
Let f be (-4)/(1*(-2 + 0)). Suppose -5 = -f*o + o. Let g be (1 + o)/(-3 + 4). Solve -25 = k - g*k for k.
5
Let d be (1*(-3 + 4))/1. Let x = d - -3. Suppose 2*u - 8 = -5*a, 0 - x = -3*a - 2*u. Solve -a = -s - s for s.
1
Let p be 3*-1*(1/3 + -1). Solve t = p*t - 3 for t.
3
Let b(z) = z**3 + 4*z**2 - 3. Let w be b(-3). Let t = -1 + w. Let j(p) = -p + 8. Let y be j(t). Solve y + 3 = 2*v for v.
3
Let v(o) = 2*o - 5. Let s be v(5). Let j = s - 2. Suppose -1 = -2*i + j. Solve 0 = 5*u + i - 22 for u.
4
Suppose -2*n + 6*n + 17 = 3*o, 2*o = 4*n + 14. Suppose 0*d - o*d + 21 = 0. Solve 10 = d*r - 2*r for r.
2
Let f(d) = d**2 - 3*d + 4. Let c be f(3). Solve -c - 1 = -z for z.
5
Suppose u = 4*i - 8, 5*u + 3 - 1 = i. Solve 0*p - 3*p + 6 = u for p.
2
Let j(z) = z**2 + 7*z + 8. Let n be j(-6). Suppose 0*x + x + 4 = -2*i, -8 = n*x. Solve 0 = -4*p - i*p + 4 for p.
1
Let s = -18 + 5. Let q be -6 - -5 - 2*s. Solve -3*d - q = 2*d for d.
-5
Let l(u) = 3*u**2 + u. Let q be l(-2). Let x = 14 + -6. Let a = 10 - x. Solve -a = -4*f - q for f.
-2
Let p = 15 + -13. Solve 3*t + 15 = -p*t for t.
-3
Let t(o) = -o - 2. Suppose -2*h - 4*y + 2 = 10, -5*h + 5*y = 5. Let k be t(h). Solve -z - 3 = -k for z.
-3
Let x(q) = 7*q**2 + 7*q - 6. Let i be x(1). Solve -3*k + i*k = 0 for k.
0
Let z be (-15)/(-3)*(-6)/(-15). Suppose -d + 18 = -3*t, -2*t + 0 - 7 = d. Solve -z*m - m = d for m.
-1
Suppose -5*q - q = -q. Let a = 1 + 0. Let g be 3 + a*0/(-2). Solve g*l + l + 12 = q for l.
-3
Suppose 4*f + 81 = -5*d, 35 = -3*d + 6*f - 5*f. Let p = 3 - d. Suppose 2*u + 4*z + p = 0, 3*u + 8 = -2*u - 2*z. Solve 0 = -u*l - l - 5 for l.
-5
Suppose 4*d - 24 = -4*i, -d = -5*i + 2*d - 2. Let h = -1 - -5. Suppose -v = -i*z + h, v = -v + 8. Solve -c = -0 + z for c.
-4
Let d(h) = -6*h**2 + 3*h - 7 + 0*h**2 - 6*h + 2*h**2 + h**3. Let g be d(5). Solve 2*k = -g - 5 for k.
-4
Let b = 8 + -6. Let r = -15 - -18. Solve b*q = r*q for q.
0
Let m = 43 + -41. Solve m*u + 0 = -4 for u.
-2
Let h(d) = d**3 - 8*d**2 - 10*d + 13. Let g be h(9). Solve 0 = y - g for y.
4
Suppose -3*t + 8*t = -l + 54, -5*t + l + 56 = 0. Let p = t - 8. Solve -2*z - 20 = p*z for z.
-4
Let b(a) = a + 4. Let r be b(-4). Suppose 0 = -2*m - r*m. Suppose -5*o + 48 - 8 = m. Solve 2 - o = -3*l for l.
2
Let a(s) = 2*s**2 + 2*s - 1. Let r be a(-2). Let j be r - (5 - 3)/2. Solve 3*x + j = 5 for x.
1
Suppose -5*x - 3*y = -9, -x = 2*x - y - 11. Let r = x + -1. Solve 0 = r*i + 8 for i.
-4
Let b be 1 + -2*(-44)/8. Solve -f = 2*f + b for f.
-4
Suppose 6*n - 8 = 4. Solve n*p - p = 0 for p.
0
Let u(b) = 2*b + 8. Suppose 5*a + 16 = 4*k - 2, 3*a = 2*k - 8. Let x(v) = 2*v - 8. Let l be x(k). Let s be u(l). Solve 3*q + 2*q - s = 0 for q.
4
Suppose -6 = -4*j - 30. Suppose 5*x + 9*w + 40 = 4*w, -4*w = -2*x + 14. Let k = x - j. Solve -s = k*s - 8 for s.
2
Let f be (-1 - -5) + -2 + 6. Solve -5*c - 7 = f for c.
-3
Suppose 4*v - 5 = -3*g + 25, -3*g + 6 = 0. Solve 0 = 3*h - v - 0 for h.
2
Let u be -1*14*(165/35 + -5). Solve v + u = -v for v.
-2
Let u(f) = -3*f + 2*f**2 - 2*f**2 + 0*f**3 + 2*f**2 + f**3. Let j be u(-3). Solve -m - 2*m = j for m.
0
Suppose -3*l - 3 = -4*l. Suppose i + l = 0, 0 = -3*n + 5*i + 15 + 9. Suppose 0 = -n*u - 0*u. Solve s + 2 = -u*s for s.
-2
Suppose -2*b - 3*b = -2*r - 4, -r = -4*b + 5. Solve 2*c = -b*c for c.
0
Let h(y) = 2*y - 6. Let r = -7 - 4. Let i = 16 + r. Let t be h(i). Solve 0*d - 2*d = -t for d.
2
Let z = 7 - 3. Solve -12 = z*f - 0*f for f.
-3
Suppose -34 = 17*z - 85. Solve 3*a + 0*a = z for a.
1
Let h(o) = 4*o**2 - o. Let p be h(1). Solve 5*g - p*g = -2 for g.
-1
Let p(q) = q**2 - 3*q + 3. Let i be (-5)/((-15)/6) + 2. Suppose -8 = i*r - 28. Let b be p(r). Solve 2*t - b = -3 for t.
5
Let a(n) = 5*n**2 + n - 3. Let k be a(2). Solve 0 = 3*x + 4 - k for x.
5
Let s(c) = -c**3 - 6*c**2 + 7*c. Let f be ((-2)/(-4))/((-1)/(-6)). Suppose f*n + 14 = n. Let z be s(n). Solve 6*w - w = z for w.
0
Let g(s) = s**2 + 0 + 1 - 7 - 3*s - 2*s. Let m be g(7). Suppose 3*x = -x + 2*l - 2, 4*x + 17 = 5*l. Solve m = 4*a - x*a for a.
4
Let h(n) = n**2 - n + 2. Let v be h(0). Let k(o) = -o**2 - 2*o + 8. Let y be k(0). Solve 2*j - y = -v for j.
3
Let c = -5 - -3. Let k = 0 - c. Suppose -2*t = 5*q - 30, -t + k*q = q - 1. Solve 15 - 40 = t*r for r.
-5
Let w(h) = h**3 + 6*h**2 + 7*h + 4. Let y be w(-4). Let z = y - 8. Solve -a + 0*a - 1 = z for a.
-1
Let v be 15/12*(1 + -9). Let q = -15 + 9. Let a = q - v. Solve -c - c - a = 0 for c.
-2
Let b = 12 + -8. Suppose 0 = -6*g + 2*g. Solve g*h = -b*h for h.
0
Let q(x) = x**2 - 21*x - 159. Let b be q(-6). Let h = 0 + 0. Solve h = u - b*u - 4 for u.
-2
Let g(o) = o**2 + 2*o + 4. Let r be ((-2)/2 - 3) + 2. Let s be g(r). Solve 3*w + s = -w for w.
-1
Let t(m) = -m**2 - 7*m - 3. Let n be t(-6). Suppose -2*b = -x - 3*b + 2, n*b + 6 = 0. Solve 16 = -0*o + x*o for o.
4
Let s = 4 - 8. Let q be s/16 + 162/8. Let v be (7/(-5))/((-4)/q). Solve -v*a = -2*a + 15 for a.
-3
Let a(m) = -m**2 - 7. Let w be a(0). Let d = 7 + w. Suppose d = -r + 3 - 1. Solve -r*y = 3*y + 5 for y.
-1
Let t = 27 + -25. Let w be -9*3/(-18)*t. Solve s = w*s for s.
0
Let a(x) = -9*x - 5. Let t(z) = 8*z + 4. Let l(o) = -5*a(o) - 6*t(o). Let f be l(-3). Solve -30 = -4*s - f for s.
5
Suppose 2*a = -2*a. Solve 10 + a = 2*z for z.
5
Let y be ((2/2)/1)/((-4)/(-12)). Solve 4 + 5 = -y*x for x.
-3
Suppose f - 2*f = -4. Suppose -r - f*r = -15. Solve r*q + 4 = -5 for q.
-3
Let q(v) be the first derivative of -v**3/3 - 2*v**2 + v + 7. Let b be q(-3). Solve -1 = 3*n - b for n.
1
Let w be 6/(-4)*60/(-18). Suppose 2*y - 2 = w*y + a, -y + 5*a = -10. Solve -v = -y*v + 2 for v.
-2
Let h = -54 + 55. Solve 0 - h = x for x.
-1
Let h(c) = -c**3 + 6*c**2 + 8*c + 9. Suppose 2*f - 5*f + 21 = 0. Let n be h(f). Solve z + 3*z = -n for z.
-4
Let w = -35 + 35. Solve w*t = -3*t - 6 for t.
-2
Suppose -3*r + 0 = -3. Solve -1 = -m + r for m.
2
Suppose -31*l = -29*l - 16. Solve 2*y + 2 = -l for y.
-5
Suppose -2 + 13 = 2*d + v, 4*v + 44 = 3*d. Suppose -3*a = -8*z + 3*z - d, 0 = 3*a + 5*z - 28. Let r = a + -6. Solve 0 = 4*c - r - 4 for c.
1
Let k = 0 - 2. Let r(w) = -3*w + 1. Let q be r(k). Solve 5*n = q + 3 for n.
2
Suppose 56 = -0*q - 4*q. Let z be 4/q + 8/28. Solve -5*v - 25 + 0 = z for v.
-5
Let y = -9 - -5. Let o be (y + -2)*1/(-2). Solve 0*j = o*j - 3 for j.
1
Let g(q) = 2 + 3 - 4 - 3 - q. Let f be g(-5). Solve 6*p = f*p - 15 for p.
-5
Let q(n) = 3*n - 12. Let s be q(4). Solve s = h - 2 for h.
2
Suppose -3*j = -4*s - 29, -2*j + j - 4*s = 17. Let y = -315 + 318. Solve -j = -y*q + 6 for q.
3
Let r be (0 - 12/(-20))*25. Suppose -4*n = -7*n + r. Solve -n*z = -4*z for z.
0
Suppose -13*f + 22 = -17. Solve f + 0 = 3*u for u.
1
Let s be (2/3)/((-2)/3) + 3. Solve 6 = 2*z - s for z.
4
Let r = 0 + 2. Suppose -g + 0*g = 2*i + 6, r*i + 18 = 5*g. Solve g*q = 6*q - 20 for q.
5
Suppose -2*w + 15 = 5. Suppose -14 = -4*k + 2*a, 0 = -2*k - a + 6*a - 13. Let v be (-2 + k/4)*-10. Solve 0 = -2*r - w - v for r.
-5
Suppose 2*g = -g - 3*w + 12, -24 = -3*g + w. Suppose -g*f = -2*f - 20. Solve 2*r - f = 4 for r.
4
Suppose -3*q = -3*m + 39, 0 = 2*m - q + 4*q - 41. Suppose 10 = 82*p - 80*p. Solve -b = -p*b + m for b.
4
Let h be -2 - (-4)/(-2)*-1 - -2. Let a = -6 - -10. Solve -a - 4 = -h*p for p.
4
Suppose -3*j - 2*j = -15. Let a = -2 - -2. Solve -i - j*i + 8 = a for i.
2
Suppose 9 = 3*m - 6. Let j be (-1 - -6)/(1/1). Let z = 10 - j. Solve 0 = z*v - m for v.
1
Let h(g) = -3*g - 4. Let m be h(-4). Suppose -n = -4*i + 24, 3*i + n - 3 = m. Solve 4*c = 