5 = m*h - u*h for h.
-1
Let w = -2 + 2. Suppose 0*i - 2 = 2*i, -2*d = -3*i + 27. Let s = 1 - d. Solve w = -5*o - s - 4 for o.
-4
Let s(p) = -p**3 + 6*p**2 - 2*p + 14. Let q be s(6). Solve 0 = h + q + 1 for h.
-3
Suppose 7*j - 3*j + 12 = f, 0 = -5*j - 3*f - 15. Let w = -3 - j. Let l = w + 2. Solve i = -l + 3 for i.
1
Suppose -13 = -2*y - 5. Suppose p + p + 2*a + y = 0, -4*p = 5*a + 11. Let j(r) = -r**3 - 4*r**2 - 4*r + 1. Let b be j(-3). Solve p = b*d + 9 for d.
-2
Let x(s) = 2*s**2 - 1. Let y be x(-1). Let i be y/((-2)/(-6))*1. Suppose 5*n + 2*z + i*z = 5, 0 = -5*z - 20. Solve 0*w = -w - n for w.
-5
Let q = 15 - 9. Suppose -5*w + q + 4 = 0. Solve -w*r = -r for r.
0
Suppose 3*j + 5 = -v, -2*j = -2*v - 1 - 1. Let o be ((-3)/3 - j)*1. Let c be (-62)/(-4) - 2/(-4). Solve o*b = -4*b + c for b.
4
Let f(z) = -z - 4. Let v be f(-10). Solve v*c - 3*c = 0 for c.
0
Let b be -3 + 3*(-2)/(-6). Let l be -6 + 14 - 0/b. Solve l = 4*c - 4 for c.
3
Let s = -21 + 21. Suppose s = g + 1 - 5. Solve 20 = -g*d - d for d.
-4
Let f = 7 + -9. Let j be f/1 - 6/(-1). Solve 0*n + j*n = -12 for n.
-3
Let y(u) = -u**2 - 5*u + 8. Let b be y(-6). Suppose -2*c = m - 38, b*c = 2*m + 30 + 14. Solve 4*f + c = -0*f for f.
-5
Let t be (-5)/10*(-1 + -5). Suppose t*c = -22 + 4. Let l be (c/8)/(2/(-8)). Solve -h = l*h for h.
0
Suppose 11*q = 16*q - 25. Solve q*x = x for x.
0
Let x be (-5)/10*1 - (-21)/2. Let j(f) = f**3 - 1. Let g be j(1). Let n be -2 - (g + 2 - 6). Solve 0 = -3*r - n*r - x for r.
-2
Let n(b) = -2*b - 2. Suppose 3*u = 7*u + 20. Let v be n(u). Solve 2*t + 2 = v for t.
3
Let h(b) = 10*b**3 - 2*b**2 + 1. Let k be h(1). Let u be (-4)/6 + 51/k. Suppose 0 = -u*q + 6 + 4. Solve 0*w = -q*w - 2 for w.
-1
Suppose b - 2 = -0. Suppose 2 = 6*d - 5*d. Let v = 35 - 31. Solve -b*i - v = d*i for i.
-1
Let o = 28 - -16. Suppose o + 31 = 5*z. Solve 6*w - z = w for w.
3
Suppose -2 - 1 = 4*g - 3*m, -2*m = -10. Solve l = g*l - 10 for l.
5
Suppose 5*t - 63 + 13 = 0. Suppose -t = -0*l - 5*l. Solve -5*k = -l*k + 15 for k.
-5
Let g be 2/4*-2*0. Suppose 6*s - s = 15. Let q be g/(s + -1*2). Solve -k = -q*k for k.
0
Suppose -14 = -6*l - 8*l. Solve -s = -l + 2 for s.
-1
Suppose -2*r - 3 = -5*h + 14, -r = 4*h - 24. Suppose 4*x - h - 15 = 0. Suppose -x*j + c + 4*c = 0, 0 = -3*j + 5*c. Solve -u + 2*u = j for u.
0
Suppose 0*r - 8*r = 0. Solve j - 3*j + 10 = r for j.
5
Let y be -4 - (-15)/5 - -3. Solve -5*p - y = 23 for p.
-5
Suppose 7*w - 51 = 4*w. Solve 3 = 5*j - w for j.
4
Let q be 1/3*-3 - -3. Suppose 6*h - 2 = 2*h + q*o, -5*h + 3*o = -1. Solve -3*x + h = 11 for x.
-3
Suppose -4*f = 2*h - 2*f, 4*h = -5*f - 1. Solve -4 = -c - h for c.
3
Suppose 5*z - 12 = 28. Let v(m) be the second derivative of m**4/12 - 4*m**3/3 + m. Let h be v(z). Solve 0*n + n = h for n.
0
Let l = 10 + -10. Let t = l + 4. Suppose -48 = -5*y - 4*s, -3*y + y + 6 = -5*s. Solve -t = -y*k + 4*k for k.
1
Let b be (-8 - (-10)/2)/(-1). Solve -b*u + 8*u = 0 for u.
0
Let j be (-4)/(-2) + (-4 - -2). Suppose 3*u - 4*u = j. Suppose 3*a + 21 + 2 = o, o - 5*a = 31. Solve u = 3*v + 1 + o for v.
-4
Let s(d) = 3*d**2 - 15*d + 3. Let c(t) = 2*t**2 - 7*t + 2. Let w(p) = 5*c(p) - 3*s(p). Let v be w(-10). Solve -v = h - 3 for h.
2
Let q = 11 - 10. Suppose 0*o - q = -o. Suppose 2*r - 5*m = -o + 4, -4*r + 45 = 3*m. Solve r*l = 4*l - 25 for l.
-5
Let p be (8/(-10))/((-22)/495). Let v be 96/p - (-4)/6. Solve 1 = i + v for i.
-5
Suppose f - b + 4 = -0, 0 = -2*f - 5*b + 13. Let t = 3 + f. Suppose 4*a + 55 = 3*s - 0*s, t*a + 21 = s. Solve 4*k - 1 = -s for k.
-3
Suppose -2*v = -v - 4. Suppose -3*q + v*k + 3 = 0, 8*q - 2*k - 5 = 3*q. Let a = q - 0. Solve 4 = -5*u - a for u.
-1
Let i = -50 + 51. Let a(u) = u**3 - 3*u**2 + 2. Let q be a(3). Solve -q*b = -b + i for b.
-1
Let l be (-10)/(-3)*6/5. Let k(n) = n**2 + 8*n + 8. Let r be k(-1). Solve l = -a + r for a.
-3
Let v = -10 - -10. Suppose v = -q - 0*q. Solve q = -0*c + 2*c + 2 for c.
-1
Suppose -5*p = -o - 7, o + p = -3*p - 16. Let c = o + 18. Solve d = c*d + 20 for d.
-4
Let o(q) = q**3 + 2*q - 1. Suppose -4 = -f - 3*f. Let a be o(f). Solve -3*k - a = -5 for k.
1
Let y = -2 + 2. Let o = 0 - y. Suppose o*r + 3*r = 12. Solve -7 = r*l - 3 for l.
-1
Let z(g) = g**3 + 6*g**2 + 3*g - 2. Let h be z(-5). Let a be (h + -3)*(-12)/(-10). Solve -4*m + a = -2*m for m.
3
Suppose -3*k = -2*a + 15 - 39, 3*k - 24 = -a. Solve 1 + k = 3*g for g.
3
Suppose 27 = -g - 3*b, 5*b + 15 = 3*g + 54. Let k be -2*1/4*g. Solve -4*n + 11 = -k for n.
5
Suppose -2 = g - 2*g - 2*q, -q - 10 = -5*g. Suppose 0 = -5*z + g + 3, z = -3*o - 2. Let m be -2 - ((-21)/(-3))/o. Solve -3 = m*c + 2 for c.
-1
Let a = 3 + 1. Suppose -a*c + 3*c + 5 = 0. Suppose 3 = -c*k + 13. Solve -k*p - 3*p + 20 = 0 for p.
4
Let r be (-6)/(-4)*8/6. Solve r*b + 15 = 5*b for b.
5
Suppose -2*t + 2*f + 1 + 19 = 0, f + 20 = 3*t. Solve -t*a - 25 + 0 = 0 for a.
-5
Suppose -4*r + 8 = -4. Let c be (-6*(-4)/r)/2. Suppose c*d - 8 = -4*q, -5*q - 3*d = -0*q - 14. Solve q = -t + 2 for t.
-2
Suppose -5*v + 4 = -7*v, 5*v - 5 = -5*u. Solve u*t - 2 = 1 for t.
1
Let w be 11/1 + (-18)/(-6). Let i be 7/2*24/w. Let j be (i - (-3)/(-1)) + -1. Solve 4*g = j*g for g.
0
Suppose 2*h + o - 6 = 0, 0 = -3*h - 4*o + 9 + 5. Solve -h*w + 3 = w for w.
1
Let q = 74 - 73. Solve 6 = a + q for a.
5
Let k = 18 - 16. Solve -4 - 2 = k*n for n.
-3
Let r be 1/(2/4) + 16. Suppose 0 = -4*a - 5*i - 30, -r = 2*a - a - 4*i. Let n be (1/(-2))/(1/a). Solve -n - 5 = -2*y for y.
5
Suppose 14 = 8*a - 2. Solve a = -z + 5 for z.
3
Let m be (-12)/18 + 4/6. Solve 3*w = -3 - m for w.
-1
Let m be 16/6*3/2. Suppose 6 = 2*b + b. Suppose -g - 4*g - 2*o = -110, b*g - o = 53. Solve g - 8 = m*c for c.
4
Let l = -63 + 63. Solve q + 3*q + 20 = l for q.
-5
Let n(c) = c**3 - c. Let k be n(-1). Let d be (-1)/(-2 - 26/(-12)). Let j = -4 - d. Solve k = x - j - 0 for x.
2
Let j = 0 - -8. Let h be 72/7 - (-4)/(-14). Let s = h - j. Solve 0 = -5*l - s - 3 for l.
-1
Let o = -19 - -24. Let s = -7 + 7. Solve s*x - o = x for x.
-5
Let h(z) = z**2 - 8*z + 13. Let t be h(6). Solve -3*j = t - 13 for j.
4
Suppose 3*b = -3*p + 24, 0 = b - 2*b + 3*p. Let t = -4 + b. Suppose -26 + t = -n. Solve 3*k = -n + 9 for k.
-5
Suppose 2*z = 5*z. Suppose 0 = 2*v + l - 2, -4*v + 6 = -z*l + l. Suppose -4*g + 9 = -11. Solve g - v = -a for a.
-3
Let n = 14 - 7. Let u = 4 - n. Let b = 3 + u. Solve -2*y + b*y - 10 = 0 for y.
-5
Suppose -3*u - 15 = 9. Let o(c) = c**3 + 8*c**2 + 2. Let i be o(u). Solve -2*w - i + 6 = 0 for w.
2
Let t be (-3)/(-2) + 3/6. Let w(o) = o + 14. Let h be w(-10). Suppose 4*l = -3*z - 7, -h*l + 5 = -2*z + 27. Solve -10 = -z*i - t*i for i.
2
Suppose 5*m = 29 + 21. Let j(f) = -2*f - 3. Let s be j(-4). Suppose -s*l - 5*y + 35 = 0, 3*y = l - 0*l + 13. Solve l*o + 3*o = m for o.
2
Let n(b) = -b**2 + 2*b + 3. Let t be n(5). Let z = 4 - t. Let i = -77 - -81. Solve i*v + z + 4 = 0 for v.
-5
Suppose 2*o = -o. Solve o = -q - 3*q - 8 for q.
-2
Suppose 4 = 4*k - 0*k. Suppose 0 = -2*u + 5 - k. Solve -u*y - 8 = -0*y for y.
-4
Let v = 36 - 54. Let w be (-3)/18 + (-75)/v. Solve z + w = 2*z for z.
4
Let o(k) = 8*k - 8*k**2 - 8*k**2 + 17*k**2 + 9. Let m be o(-8). Solve m = -2*s - s for s.
-3
Let t be (2/5)/((-2)/(-10)). Let k(m) be the first derivative of m**4/4 - 8*m**3/3 + 4*m**2 - 7*m - 3. Let w be k(7). Solve w*y = t*y + 8 for y.
-4
Let j be (-11)/(-4) - 3/(-12). Let u be 2/4*-2 - -13. Suppose -q = j*q - u. Solve s + 0*s = -q for s.
-3
Let l be (9/(-6))/((-3)/4). Solve 5 = l*q - 3 for q.
4
Let i be 1*-2*1/(-2). Let h = i + 1. Suppose h*n + 20 = 6*n. Solve x = n*x + 12 for x.
-3
Let r = 11 + 2. Let m(f) = f**3 - 14*f**2 + 13*f + 9. Let d be m(r). Solve -d = 3*s - 0 for s.
-3
Suppose 0 = -5*u + 4*g + 37, -u + 2*g = 3*u - 26. Suppose 0 = -2*m - 3*m + 25. Let n = m - u. Solve n + 5 = -5*i for i.
-1
Let a = -1 - -4. Suppose -l - 2 = -u + a*u, -12 = -l + 5*u. Solve v - l = -v for v.
1
Let b be 0/(0 - -1)*(-19 - -18). Solve b*y + 3*y - 12 = 0 for y.
4
Let r be 1/(-1 - 4/(-6)). Suppose 3*b - 5 + 2 = 0. Let a be r + 0 + b + 7. Solve 3*t - 4*t = -a for t.
5
Suppose 4*w - 23 = -7. Solve 9*i + w = 5*i for i.
-1
Suppose -5*c + 3 = -22. Let b(a) = -a**2 + 5*a + 3. Let i be b(c). Suppose s + 0 = i. Solve -8 = s*k + 7 for k.
-5
Let t = 4 + 0. Suppose 15 = -3*h + 8*h. Solve h*i + 