- 14 for h.
3
Let x(r) = r**3 - r**2 + r + 3. Let b be x(0). Solve 4 = -5*w + b*w for w.
-2
Suppose 0*k - 4*k = -32. Solve 5*g - g = -k for g.
-2
Suppose 2*j + 6*j - 40 = 0. Solve n = j*n for n.
0
Let v(t) = 4*t**2 - 4*t + 2. Let n be v(2). Let m = n + -6. Solve m = -l + 3*l for l.
2
Suppose 2*g + 26 = -0*g. Let l be 4/(-10)*65/g. Solve 4 = 6*i - l*i for i.
1
Suppose -5*b + 36 = -29. Suppose 3*t + 5*s - 3*s = 23, t + 2*s = b. Suppose n - t*n = -12. Solve n*j = 2*j - 5 for j.
-5
Suppose 2*z + 42 + 0 = 0. Let q = z - -31. Let n be 2/5 - 56/(-10). Solve 4*p = n + q for p.
4
Suppose 5*v - 28 = 2*b - 4*b, b - 29 = -5*v. Solve -3*c + 0 = -v for c.
2
Let o be 21 - 2/1 - -2. Suppose 2*b - 10 = -b + 4*i, 0 = 4*i - 8. Let w be (2 - 20/b)*-3. Solve 9 - o = w*g for g.
-3
Let r be 75/5 - 3/1. Solve -r = -4*p + 8*p for p.
-3
Let w = 6 + 7. Suppose w = -5*l + x, -5*x + 11 + 10 = -3*l. Let b be l*2/(-4) - 0. Solve 5*k + b - 26 = 0 for k.
5
Let a(j) = 2*j**3 + j**2 - 1. Let s be a(1). Let h be -6*(-15)/(-6)*-1. Suppose -u = -3*k - 2*k + h, 2*k = -u + 6. Solve s = -5*i - k for i.
-1
Let v be (-3 - 4) + 2 + -1. Let l(a) = -a**3 - 7*a**2 - 7*a - 1. Let o be l(v). Solve -4*k = 25 - o for k.
-5
Let p be 1 - (-4 - -5 - 2). Suppose -p*m + h = 2*m - 11, 0 = m - 2*h + 6. Solve -m*t = -6 + 2 for t.
1
Suppose -2*i = i. Let s(m) = m**3 + 2*m**2 - 2*m - 3. Let y be s(-3). Let n be (-34)/y - (-1)/3. Solve u - n*u = i for u.
0
Let b(n) = n**3 - 5*n**2 + 5*n + 1. Let x be b(4). Suppose 4*h + 27 - 67 = 0. Solve h = x*j - 5 for j.
3
Suppose -3*j + 6 = -0. Let d = 32 + -20. Let g be (-4)/10 + (-96)/(-15). Solve d = g*m - j*m for m.
3
Suppose 3*y + 23 = 5. Let c(r) = 2 - r + 0 + 0. Let k be c(y). Solve v - k = -3*v for v.
2
Suppose -5*s + 145 = -0*s. Suppose 5 = -4*m + s. Suppose 4*c = -c. Solve 7*a - 4*a - m = c for a.
2
Let z(q) = 2*q - 3. Let p be z(2). Let w be 2/(p*-2) + 2. Let v = -31 + 36. Solve 2*g = v - w for g.
2
Suppose 0 = -4*j + j + 12. Suppose -5*u + j = -3*o, -3*o = -0*o - 3*u. Solve -o = 2*g + 4 for g.
-3
Let k(w) = w + 5. Let i be k(-5). Suppose 17*z - 14*z - 12 = i. Solve -3*j - z = -7*j for j.
1
Suppose 0 = 5*g - 19 + 79. Let n = g - -20. Solve -n - 4 = -4*f for f.
3
Let v(g) = -g**3 - 7*g**2 + g + 6. Let u be v(-7). Let h = u + 3. Suppose -3*k = 2*w - 0*k + 5, w + h*k + 5 = 0. Solve -l = -0*l - w for l.
5
Let k = -15 + 25. Suppose -23 = -5*m + 2. Suppose -m*t - 5 = 15, 4*i - 16 = -2*t. Solve i*p - p = -k for p.
-2
Let o(q) = -q**3 - 3*q**2 + 2*q - 6. Let a be o(-4). Solve a*n = 3*n - 3 for n.
3
Let n = 4 + -5. Let v be (0 - (9 - 2))*n. Solve -32 + v = 5*p for p.
-5
Suppose 2*v - 15 = -3*v. Suppose 10 = -h + 13. Let i = h - v. Solve 0 = 5*b - i + 5 for b.
-1
Let p(j) be the second derivative of -j**5/20 + j**4/4 + 5*j**3/6 - j**2 + 2*j. Let q = 15 + -11. Let i be p(q). Solve -i*m + 20 = 3*m for m.
4
Let m = 1 + 3. Let a(s) = -2*s + 5 - 4*s + 5*s. Let l be a(m). Solve 0 = -3*j + l + 5 for j.
2
Suppose 2*o - r - 8 = 0, 0 = -5*o - 4*r + r + 31. Solve -o*z - 10 = 15 for z.
-5
Let t be (-2)/(-2*1/4). Suppose t*w - w = -q - 14, 3*q = -w - 2. Let i be ((-4)/10)/(1/(-5)). Solve i*z + 5 = q for z.
-2
Suppose -6*a = -5*u - 4*a - 10, 3*a - 15 = -3*u. Solve -4 + u = 2*c for c.
-2
Suppose 4*m + 8 = 28. Suppose 0 = m*p - p - 4*t, 3*t - 10 = p. Solve 0*y + p*y = 0 for y.
0
Let p(o) = -65 + o**2 + 5*o**3 + 65. Let n be p(1). Solve -z - n = -3*z for z.
3
Let k(h) = 2*h**2 + 3*h + 3. Let g be k(-2). Suppose 0 = -10*o + g*o + 10. Let n be 0/(0/(-1) + 1). Solve w = -o - n for w.
-2
Let l(t) = -t**3 + 7*t**2 - 4*t - 8. Let x be l(6). Let c be x/6*(-75)/(-10). Solve 0 = -3*p + 4 + c for p.
3
Suppose m = -0*m. Suppose m = 2*c - 4 - 2. Solve -c*t + t = 0 for t.
0
Suppose u - 36 = -2*u. Suppose -7*z + u = -3*z. Solve -z*t - 9 = -0*t for t.
-3
Let q be (4 - 3) + (1 - 0)*1. Solve -2 - q = 4*s for s.
-1
Suppose -c + 6 = 2*k - 3*k, -4*k + 30 = 5*c. Let t = c + -1. Let a = 1 + t. Solve -a - 4 = -2*g for g.
5
Let z = -209 - -209. Let v(k) = -k**3 - k**2 + 4*k - 1. Let a be v(-3). Solve z - a = -t for t.
5
Let u(o) = o**2 + 7*o + 2. Let w be u(-7). Suppose -1 = w*s - 3. Solve -s = -5*i - 11 for i.
-2
Let i(g) = -6*g**2 - g + 7 + 5*g**2 - 3*g. Let j be i(-5). Suppose 0 = j*d - 9 + 3. Solve -d*y + y = 0 for y.
0
Suppose -s + 9 = 4*s + 4*t, -2*t - 8 = 0. Solve 0 = -2*g + 15 - s for g.
5
Suppose 0 = -4*o - 20, 0*o - 16 = -3*d - o. Suppose -d = m + w + 3*w, 0 = 2*w + 6. Solve m + 5 = 2*p for p.
5
Let o(p) = -p**3 + 5*p**2 - 3*p - 1. Let b be o(4). Let d(y) = y**3 + 5*y**2 + 3*y - 2. Let x be d(-4). Solve -b*q - 3 = -x*q for q.
-3
Suppose -3*b + 10 = -35. Suppose -3*u + b = -21. Suppose 5*p - u = p. Solve -p*w - 4 = -w for w.
-2
Let v = 13 - 11. Suppose -2*g + 24 = 3*g + v*a, 4*g = 3*a + 33. Solve 0 = -3*t + 3 - g for t.
-1
Suppose 5*b + 15 = 0, 4*r - 68 = b - 1. Suppose -5 = -c - 2. Solve o = -c*o - r for o.
-4
Let q = -5 - -12. Let s(a) = a**3 + 5*a**2 - 3*a - 5. Let u be s(-5). Let h = u - q. Solve 6 = -r + h for r.
-3
Let q be 2 + 0*1/(-2). Suppose 10 + 6 = q*a. Solve a = 4*m - 6*m for m.
-4
Let r be (1 + -3)/((-3)/(-15)). Let w be (-44)/r + (-4)/10. Suppose -w*n - 15 = -9*n. Solve -n*t + 1 = -4*t for t.
-1
Let v be (-8 + 8)*1/(2 - 1). Solve 2*t - 12 + 6 = v for t.
3
Suppose 2*k - 3*a = -18, 2*k - 8 = -4*a + 2. Let n be ((-2)/(-2))/(k/(-15)). Let c be (-2)/n - (-252)/30. Solve -f + c = f for f.
4
Let k be (-1)/1*2 - -4. Suppose k*v - v - 3 = 0. Solve 0 = -5*g + v + 12 for g.
3
Suppose z - 5*l - 16 - 9 = 0, -4*l - 16 = 0. Suppose f + 2*x - 10 = -3*f, -5*f + 5*x = -35. Solve -s - z = f*s for s.
-1
Let l(d) = 3*d + 1. Let h(m) = 6*m + 5 + 6*m + 2*m. Let c(b) = -2*h(b) + 11*l(b). Let i be c(1). Solve i*u - 3*u - 3 = 0 for u.
1
Let d = 2 - -1. Let q(c) = c + 18. Let y be q(0). Suppose -y = -4*m + 10. Solve -d*w - 8 - m = 0 for w.
-5
Suppose -3*l + 7*l = 92. Suppose -x = -3*q - 4*x + 12, -5*q + l = 4*x. Solve -1 = -2*z - q for z.
-3
Suppose -r - 35 = -4*i, -2*i = 3*r - 1 - 6. Suppose -2*v = 2*v - i. Solve 0 = -v*d - 0*d for d.
0
Suppose -4 - 20 = -2*m. Suppose 4*r + 0*h + m = 4*h, 17 = -3*r + 5*h. Solve -3 = p + r for p.
-4
Let r = 108 + -103. Solve -3*y + 4 = -r*y for y.
-2
Suppose i - 2 = 2. Solve i*r - 2*r + 10 = 0 for r.
-5
Suppose 0 = -4*q - q. Suppose q = -2*o - 0*o + x + 3, -1 = -5*o - 4*x. Solve -o = -0*s - s for s.
1
Suppose 0 = -5*t + 3 + 17. Let c = 201 - 196. Solve -t = n - c*n for n.
1
Suppose 3*a + 3*r - 21 = -r, 5*r - 15 = 0. Solve -5*c = -a*c - 10 for c.
5
Let f = 8 + -3. Solve 0 = -j - f + 1 for j.
-4
Let r be 6/(-21) - (-23)/7. Solve r*l = -l - 8 for l.
-2
Let s = -17 + 16. Let n = s - -6. Solve -w + n = -0*w for w.
5
Suppose -3*x = -4*z + 4 - 6, 0 = -4*z + 2*x. Suppose f + z = 3. Solve f = -2*q - 2 for q.
-2
Suppose -5*y = 3*m, 0 = 7*y - 3*y + 2*m - 2. Solve f + y*f = 0 for f.
0
Let q be (-1 - 43)*(-5)/(-10). Let l = -22 - q. Solve -o + 6*o - 10 = l for o.
2
Let s be -2 - 21*8/12. Let z = 28 + s. Solve 4*g + 0 = -z for g.
-3
Let z(y) = -y**3 - 7*y**2 - y - 4. Let q be z(-7). Let p = 5 - 3. Suppose 24 = r + r - 4*u, 4*r = -2*u - p. Solve -q + 5 = r*t for t.
1
Suppose -2*a + 5*b - 21 = 0, -a - b + 7 = -0*b. Let w be 2*-2*(-3)/6. Solve -w*x - a = -4*x for x.
1
Suppose 0*r + 2*o = r - 4, -2*o = -5*r + 20. Solve -r*g - 5 = -25 for g.
5
Suppose -4*n - 2*s - 2 = -5*n, 10 = 5*s. Let f be 4*-1 - 0/1. Let j = f + n. Solve 3*k + j = -7 for k.
-3
Suppose m = -0*m + 1. Suppose m = b + 6. Let y be ((-4)/b)/(2/5). Solve 0 = 4*l + 6 - y for l.
-1
Suppose -4 = 2*y - 30. Let u = 19 - y. Solve 2 = -4*p + u for p.
1
Let a be (-17)/(-5) - (-2)/(-5). Solve 0 = 3*w - 4*w - a for w.
-3
Suppose 0 = -10*t + 5*t. Suppose 5*k - 12 - 8 = 0. Solve t = -k*b - 0*b - 4 for b.
-1
Suppose -3*b - d = b - 53, -3*d - 21 = -3*b. Let s = 2 + b. Solve -4*t + 2 = s for t.
-3
Let p be ((-21)/12)/((-1)/4). Solve p*q = 3*q for q.
0
Suppose 5*o = -a + 10, -4*a + 2*a = 0. Solve o*f + 6 = -f for f.
-2
Let i = -10 + 15. Suppose 7 = 2*b + 2*x + i, -5 = -2*b + x. Solve 13 = 5*p - b for p.
3
Let j(d) be the second derivative of -d**3/6 + 3*d. Let i be j(-4). Suppose -2*u = y - 11, 2*u - 11 = -3*u + 3*y. Solve 5*x + i = u*x for x.
-4
Let g(u) = u + 1. Let p be g(-1). Let z = 5 - p. Suppose 5*x = -5*v + 55, z*v + 10 + 15 = 3*x. S