 a*h for h.
1
Suppose -5*x = -x. Let n = x + 5. Suppose 4*m - 2 = 2*p - 0, n*p = 5*m + 10. Solve l - m - 1 = 0 for l.
4
Suppose 3*u - 21 = -0*u. Let y = 16 - u. Solve d - y = -2*d for d.
3
Let x be 34/6 + 2/(-3). Suppose 0 = -x*d + d + 12. Let r(h) = 3*h - 3. Let t be r(d). Solve -3*v = -t*v for v.
0
Let g(u) = -2*u - 14. Let k be g(-18). Let v be 136/k + (-12)/66. Solve v + 6 = -4*l for l.
-3
Let n be (10/8)/(4/(-16)). Let t = n + 3. Let v(b) = b**2 + 2*b. Let d be v(t). Solve d = -4*s + 6 - 14 for s.
-2
Suppose 2*i + 0*i = -56. Let g be 8/i + (-6)/(-21). Solve 4*u - 3*u + 2 = g for u.
-2
Suppose -6*c + 2*c = 0. Let g be 0 - (0 + c) - -2. Suppose g*u - v - 5 = 0, 2*u - 5*u + v = -9. Solve -u*a = -5*a - 2 for a.
-2
Let t = 8 + 4. Solve -3*j = -0*j - t for j.
4
Let j(m) = -m**3 - 26*m**2 + 26*m - 25. Let q be j(-27). Suppose 0*v - 6 = -2*v. Let g be 13/v + (-6)/(-9). Solve 3*d = -q*d - g for d.
-1
Suppose -2*o + 7*o - 30 = 0. Let b = 6 - o. Solve 3*a - 7*a - 8 = b for a.
-2
Let m(p) = -p**2 - 12*p - 7. Let g be m(-11). Solve g*f = 22 - 2 for f.
5
Let n(q) = q**3 + q + 1. Let z be n(0). Suppose -2 = -5*m + 5*x + 8, 0 = -4*m + x + 8. Solve -m*k + z = 3 for k.
-1
Suppose 12*n = 10*n + 2. Let b(c) = c**2 - c - 2. Let d be b(-2). Solve d - n = -q for q.
-3
Suppose -f - f + 6 = 3*j, j = 0. Solve f*d + 8 = 5*d for d.
4
Suppose 5*w - 4 = 3*w, -s + w = 0. Let o(a) be the second derivative of a**5/20 - 7*a**4/12 + 5*a**3/6 + 4*a**2 - a. Let y be o(6). Solve y = -s*x + 4 for x.
1
Let y be -2 + 10/4*374/55. Let z = -13 - -19. Solve -z*m + m + y = 0 for m.
3
Let c(t) = -3*t**3 + 40*t**2 - 40*t + 1. Let h(x) = x**3 - 13*x**2 + 13*x. Let z(i) = 2*c(i) + 7*h(i). Let l be z(10). Solve -l = 6*j - 2*j for j.
-3
Let w = -4 + 7. Suppose -j + w - 2 = 0. Solve 0 = -h - 2 + j for h.
-1
Suppose 0 = -3*f + 2*f. Solve f = -5*t - 9 - 6 for t.
-3
Let u be 1/(-4) - 85/(-4). Let c be (0 + -6)/(4/(-2)). Suppose -c*g + 21 = g + i, -u = g - 5*i. Solve 0*d + 20 = -g*d for d.
-5
Let h(k) = -k - 1. Let v be h(-1). Let n(i) = -2*i + 0*i + v*i**2 + i**2. Let f be n(3). Solve f*d = -0*d for d.
0
Let o = 36 - 17. Let w = o - 16. Solve -w = -0*k - k for k.
3
Let g = -2 - -4. Suppose -g*m + 25 = -m + 5*i, -5*i + 10 = 0. Solve m = -7*l + 2*l for l.
-3
Suppose 0 = 2*h - 4*b + 2, 3*b = 3*h + 2*h - 9. Solve r = -h - 0 for r.
-3
Let u be (-2)/(-3) + 16/(-6). Suppose -2*f - 12 = -5*f. Let p = f + u. Solve 10 = -p*o + 4 for o.
-3
Suppose 0 = -4*p - 1 + 21. Suppose p*n - 2*b = 2*b + 6, 4*n - 3*b = 5. Solve -n*x = 2*x for x.
0
Let u = 2 + 1. Suppose -u = f - 4*f. Let b(l) = 3*l**2 - l. Let q be b(f). Solve -10 = -4*t - q for t.
2
Let f be -5*(2 - -1)/(-3). Let v be f/(60/(-16))*-3. Solve 9 + 3 = -v*n for n.
-3
Let l(h) = h**2 - 12*h + 1. Let w be l(13). Suppose v + 7 = 13. Solve w = 5*g - v for g.
4
Let p = -5 + 8. Suppose 0 = -p*w + 3 + 3. Solve 0 = w*d + 2*d + 8 for d.
-2
Let o = -8 + 16. Suppose 5*d - 3*q - o = 0, 5*d + q - 6 = 18. Solve 12 = -x + d*x for x.
4
Suppose -5*o - 2*f - 7 = 0, 0 = 3*f - 7*f + 16. Let u = o - -5. Suppose 3*k - 30 = -u*k. Solve -4*i - k = -i for i.
-2
Suppose -2*o = 4*w - 10, -3*w + 2*o = o - 5. Let d be (-32)/48 + (-10)/(-6). Solve -f = d - w for f.
1
Let k = 10 + -16. Let m = k - -6. Let a(v) = 2*v**2 + 3*v - 3. Let j be a(-3). Solve w + w - j = m for w.
3
Suppose -5*o + 5 = -c, 5*c - 11 = o + 12. Let w be 9/2 - (-1)/o. Let y be ((-3)/(-1) + -4)*-2. Solve w*u = -7 + y for u.
-1
Let d be (-1)/((-2)/150) + -1. Suppose 0 = 5*a - o - d, -a + 0*a + 10 = -5*o. Solve a = -4*f + 3 for f.
-3
Suppose -2*a = -4*a + 6. Suppose -a = g - 5. Solve -3*q + g*q = 0 for q.
0
Suppose -6*w = 6*w - 48. Solve k = -w*k + 10 for k.
2
Suppose -2*k + h + 10 = -1, 0 = -h - 1. Solve 0*q = -k*q + 20 for q.
4
Let j be (-3 + -2 + 5)/(-1). Solve j = 2*w + w for w.
0
Suppose 164 = x + 3*x - 4*p, 4*x + 4*p - 156 = 0. Suppose 2*y - 15 = -5*q - 4, 4*y = -4*q + x. Solve -4*k = 7 + y for k.
-5
Let a(d) = -d + 8. Let i be a(5). Solve i = 3*o - 3 for o.
2
Let b be (-6)/27 - 38/(-9). Solve 0 = 2*c - 6*c - b for c.
-1
Let h be (-2)/(-3)*(-9)/(-6). Let f be (h - 0)*(11 - 11). Solve -2*c + f*c - 2 = 0 for c.
-1
Let w = 21 - 17. Suppose 3*r - 3 = w*r + 3*i, r = 5*i + 13. Solve -5*k = -18 + r for k.
3
Let m be -2*((-27)/(-2))/(-9). Let w = 2 + -8. Let q(y) = y**2 + 5*y + 4. Let p be q(w). Solve -2 = m*b + p for b.
-4
Suppose -16 - 5 = z + 5*g, -3*g - 31 = -4*z. Solve z*c = -0*c for c.
0
Let b(h) = 1 + h - 10 - 1. Let d be b(15). Solve 0*q = -d*q - 20 for q.
-4
Suppose 2*k = 6*k. Let j(s) = 2*s - 1. Let t be j(3). Suppose 3*r + t*h - 9 = 4*h, -2*r + 5*h - 11 = 0. Solve k = r*u - 5 - 3 for u.
4
Suppose m = -m + 4*o - 20, 3*m + 2*o - 10 = 0. Let t = m - -3. Let q be (-1)/(-3) + (-1)/t. Solve q = 5*x - 10 - 5 for x.
3
Suppose 2*l - 10 - 36 = 0. Suppose r - l = 3*i + 2*i, 3*i = 5*r - 27. Let q(y) = -y**3 - 4*y**2 - 3*y - 7. Let o be q(-4). Solve -r*m + o = -2*m for m.
5
Suppose 0 = -2*j - 5*k - 23, -10 + 32 = -3*j - 5*k. Solve 0*s = -s - j for s.
-1
Suppose 0*b = 2*b - 6. Suppose -o = b*o - 5*w - 30, o = 3*w + 11. Solve -15 + 0 = -o*p for p.
3
Let k(q) = -4*q**3 + 10*q**2 - 9*q - 8. Let z(o) = 3*o**3 - 9*o**2 + 8*o + 7. Let n(u) = 4*k(u) + 5*z(u). Let r be n(-6). Solve 0*b = 3*b - r for b.
5
Let f(y) = y**2 - 2 - 2*y + 3*y - 1. Let v be f(3). Suppose 2*x + 4*a = 6*x + 4, 5*a = 4*x + v. Solve x*p + 13 + 3 = 0 for p.
-4
Suppose -3*x + 2*x - 4 = 0. Let z = x + 7. Solve z*r - 1 = -16 for r.
-5
Let w(b) = -b**3 - 5*b**2 - 5*b - 2. Let s be w(-3). Let a = 7 + s. Solve -a*u + 0*u + 10 = 0 for u.
5
Let z(u) = 13*u**3 + u**2 - u + 1. Let l be z(1). Let x = l + -8. Let g be (-1)/3 - 7/(-3). Solve 0 = c - x + g for c.
4
Let n(c) = 7*c**2 - c. Let l be (1 - 0)/(4/4). Let s be n(l). Solve -x - 15 = -s*x for x.
3
Let x be 3 - (-3)/9*3. Let k(d) = -d - 8. Let i be k(-10). Solve x*s = 3*s + i for s.
2
Let y be (5/2)/(5/10). Solve -1 + 6 = -y*s for s.
-1
Let n be 6/4 - (-9)/6. Solve -4*a = -n*a for a.
0
Let j = 73 + -70. Solve 0 = -j*a + 8*a for a.
0
Let q be 13 + -7 - 0/(-2). Suppose q*r - 10*r = -8. Solve -r - 2 = -f for f.
4
Let a = -28 + 98. Suppose 4*d + 4*w + 12 - 52 = 0, -2*w = -4*d + a. Let c be 3/(9/d - 0). Solve z + 1 = c for z.
4
Let m be 9 - ((-1 - -3) + 1). Let q(n) = 2*n - 3. Let o be q(4). Suppose o*w = m + 39. Solve -1 = 2*a - w for a.
4
Let s = 14 - 11. Let p = 1 + s. Solve -5 + 1 = -p*a for a.
1
Let k(c) = 6*c - 3. Let g(n) = 5*n - 4. Let i(l) = -5*g(l) + 4*k(l). Let z be (1 + -5)*5/(-4). Let h be i(z). Solve -12 = -h*d - 0*d for d.
4
Let y = 3 + -2. Let f be 1*(2 - y)*2. Let g be (-3 + 5)/((-4)/(-8)). Solve -g + f = -i for i.
2
Let l(n) = n**2. Let v(k) = -k**3 - 13*k**2 - 8*k - 7. Let c(r) = -5*l(r) - v(r). Let h be c(-7). Solve 2*b + h*b - 4 = 0 for b.
2
Let r be (-2 + 6 + 1)/1. Let o be (-1)/((-60)/(-32) - 2). Let f = o - r. Solve 7 = f*b + 19 for b.
-4
Let v be ((-2)/10)/(8/(-40)). Suppose -3*p - z - 4 = 0, 0 = 4*p - 4*z - 18 + 2. Solve n - v = -p*n for n.
1
Let q = 21 + -13. Suppose -12 = -0*s - 3*s. Let x be ((-2)/s)/((-2)/8). Solve -2*y + q = -x for y.
5
Let g(a) = -a**2 - 5*a + 4. Let i be 46/(-14) - 4/(-14). Let f be g(i). Solve -f = -4*k + 10 for k.
5
Suppose 2*r - 2 = 0, 12 + 0 = 4*f + 4*r. Solve f*j = -j - 12 for j.
-4
Suppose 0 = a - 8 + 6. Solve -3*f = -a*f - 2 for f.
2
Suppose 0 = j + 4*m + 18, 3*j - 3*m - 16 = -m. Suppose 5*y + j = 6*y. Suppose 3*u - y*u - 25 = 0. Solve 5*g - u = -0*g for g.
5
Suppose 0*q = 4*q - 28. Suppose -4*k + 2*k + q = 3*w, -21 = -4*k + w. Let z be 2*7*1 - -1. Solve 2*y - k = -z for y.
-5
Let g = 3 - 0. Suppose 6 = i + g. Solve 4*r = i*r for r.
0
Let q be 4 + 2/(-2) + 4. Let y be q*(3 - (-1 - -2)). Suppose -5*g - y = -2*p, -4*g = 2*p - 21 - 11. Solve z - p = 4*z for z.
-4
Let v(s) = -s + 3. Suppose -1 = 3*n - 6*n + d, -6 = 2*n - 2*d. Let i be v(n). Solve -4*x - i = -5 for x.
1
Let k be 1 - (2 - (12 - 6)). Solve -o = -k*o for o.
0
Suppose 2*i - 2*v - 14 = 0, 0*v - 12 = -4*i - 4*v. Suppose i*w - 3 = 12. Solve 0 = w*l - 15 for l.
5
Let q(j) = -j**2 - 17*j - 28. Let l be q(-15). Solve -2*y - 8 - l = 0 for y.
-5
Suppose 0 = 3*f - x - 7, 3 + 2 = -5*x. Suppose v = f*v. Solve v = -4*m - 10 - 6 for m.
-4
Suppose -3*i = -3*w, -4*i - 6*w + 8 = -2*w. Solve 0 = 5*d + 6 - i for d.
-1
