= -2*m. Solve p + m = 4*h for h.
4
Suppose 0 = 3*r - 62 + 14. Suppose -6 = 5*x - r. Solve -7 = 3*h + x for h.
-3
Let g(d) be the second derivative of 0*d**2 - 1/12*d**4 + 0 + 1/3*d**3 - 2*d. Let u be g(2). Solve u*c = c for c.
0
Let t = 9 + 7. Solve -t = -z - 3*z for z.
4
Let v(u) = 4*u**2 - 4*u + 2. Let f be v(2). Let d = 6 - 2. Solve 0 = -d*p - f - 10 for p.
-5
Let z(n) = -n**2 + 13*n - 8. Let a be z(11). Suppose 0 = -5*l - 3*y + 49, 2*y + 0*y - a = -l. Let u be ((-6)/(-4) + -1)*l. Solve -u*s = -s - 6 for s.
2
Let w(z) = z**3 - 5*z**2 + z - 1. Let v be w(5). Suppose 3 - v = -y. Solve -3*i = -4 + y for i.
1
Let k(f) = 4*f**2 - f - 1. Let g be k(3). Suppose -s + g = s. Suppose -5*t + 2*y - 3*y + s = 0, -2*t - 4 = 3*y. Solve -t*m - 3 = 1 for m.
-1
Suppose 5*p - 15 - 5 = 5*h, 5*h + 3*p = 12. Suppose -5*z + 4 + 22 = -3*w, -5*w - 10 = h. Let u be 20/6 - z/(-6). Solve d - u*d + 12 = 0 for d.
4
Let j = -35 - -38. Solve -6 = -0*a + j*a for a.
-2
Suppose 8 = -8*n + 10*n. Solve 3*h - n = 5*h for h.
-2
Let m be (-4)/(-6)*(-27)/(-18). Let t = m - -2. Suppose -d - t*d = -60. Solve 5*j + d + 5 = 0 for j.
-4
Let k = 7 - 5. Solve -w + k = 4 for w.
-2
Let c be 2*1 - 1 - 4. Let g(m) be the second derivative of -m**5/20 - m**4/4 - m**3/3 - 3*m**2/2 - 48*m. Let k be g(c). Solve 5*v = k*v + 2 for v.
1
Let z(u) be the second derivative of u**4/12 - 5*u**3/3 - 3*u**2 + 4*u. Let b = -27 + 38. Let x be z(b). Solve 5 = -2*f - x for f.
-5
Let s be (-2 + 2)*6/12. Suppose 5*v + 2 - 17 = 0, s = -i + 4*v. Solve 0*p - 3*p - i = 0 for p.
-4
Let a be (-3)/1*10/(-15). Suppose -64 = -4*w - n, -a*n + 3*n + 32 = 2*w. Solve -w = 6*v - 2*v for v.
-4
Let u = -2 + 9. Let h = 17 + -16. Solve -4*q + h + u = 0 for q.
2
Let q be 2/4 - (-15)/6. Solve -q*m + 0 + 6 = 0 for m.
2
Suppose 2 = a - 5. Let k = a + -7. Solve k = 4*d - 16 for d.
4
Suppose 6 + 4 = -5*g. Let f be (-4)/10*(-7 - g). Solve 2*p = 2 + f for p.
2
Suppose 5*b + 8 = -3*l, -4*l - 8*b = -4*b. Suppose 3*c = -2*c + l*y + 27, 5*y = -15. Let z = c + 0. Solve z*s + 4 = 19 for s.
5
Let q(k) = k**3 - 7*k**2 + 5*k + 8. Let g be q(6). Let v be (0 - 1)*(2 - 5). Suppose w + v = g*t - 6, -t + 3 = -2*w. Solve -w + 3 = d for d.
2
Let x be 6/33 + (-897)/33. Let j = x - -15. Let u be (-4)/j + (-28)/(-6). Solve 0 = u*i - 13 - 2 for i.
3
Let m(j) = -j**2 + 5*j. Let u be m(5). Solve u = 5*z - 0*z - 15 for z.
3
Suppose -38 - 32 = -10*y. Solve -19 = -4*b - y for b.
3
Let d = -4 - -6. Let x be 15/2*(-96)/(-30). Let a = x - 13. Solve -d*b = 3 - a for b.
4
Suppose 8 = 4*q + 4. Suppose 3 - q = x. Solve -x*w + 6 = -0*w for w.
3
Suppose 2*a - 3*k = -k - 12, -4*k + 21 = -a. Let u be (-1 - a)/(2/1). Solve -3*v + 5*v + 8 = u for v.
-4
Let c(u) = -u + 2. Let x be c(6). Let q be (-2)/x - 15/(-10). Suppose 3*b - 2*r - 5 = 0, 0 = -0*b - 5*b - 3*r + 40. Solve 3 + q = -b*g for g.
-1
Suppose 3*v - 1 = c, -2*v - 3 = -4*c + 3. Suppose -2*o + 12 = c. Solve -3 = o*w + 7 for w.
-2
Let d be (-23)/(-4) - 2/(-8). Suppose 4*l = -2*y + 30, -l - 3*y - 10 = -d*l. Let j be l/10*(11 + -1). Solve -a + 6*a = -j for a.
-1
Suppose -2*y + 1 = -3. Suppose 4*v + z - 8 = 0, y = -v + 2*v - z. Solve -r = v*r for r.
0
Suppose -3*h - 6*l + 4 = -5*l, 5*h = -5*l + 20. Suppose h = 2*f - 6 - 0. Solve -i = f*i for i.
0
Suppose 0*g - 46 = 3*g - 2*a, 0 = g + 2*a + 26. Let o be (-27)/g*4/3. Solve -3*p = o + 1 for p.
-1
Let d be (12/8)/(1/2). Suppose q + 2*q + 11 = -2*a, -15 = 3*a + d*q. Let y be a/18 - (-292)/18. Solve 2*c - 6*c = -y for c.
4
Suppose 6 = -3*a - 2*t, -a + 5*t = -8 - 7. Solve -3 = -a*l - l for l.
3
Let p be ((120/3)/(-4))/(-2). Solve 0 - 10 = p*u for u.
-2
Let x(p) = p**2 + 15*p - 15. Let k be x(-16). Solve b - 3 - k = 0 for b.
4
Suppose 3*h = 2*d - 25, -d - 5*h + 5 = 25. Solve -3*v - 2 = -d*v for v.
1
Suppose -7*c + 3*c + 24 = 0. Let k(r) = r**2 - 7*r + 9. Let o be k(c). Solve 0 = 2*a + o - 1 for a.
-1
Suppose 0 = 5*w - 5*y + 85, w - 2 = -5*y - 7. Let i be (w/2)/(9/(-24)). Solve 4*g + i = -g for g.
-4
Let f = 5 + -3. Solve -f*t = -0*t - 2 for t.
1
Let z = 6 - 3. Suppose 0 = -z*a + 7*a - 24. Suppose 0 = -2*q - y + 5, 2*y + 0 = -3*q + a. Solve -6*p = -2*p + q for p.
-1
Let n be -1 - ((-3)/(-3) + -4). Suppose n*d = d. Solve d = -2*o - o for o.
0
Let u = -59 + 59. Solve -f + 3*f = u for f.
0
Suppose 6 = -9*l + 12*l. Solve 3*r = r + l for r.
1
Let s = -5 + 8. Suppose 7 - s = p. Suppose p*c = c. Solve a - 3*a = c for a.
0
Suppose -84 = 6*v - 9*v. Suppose 2*b = h + 11 + 5, 4*b - v = 3*h. Solve -y - b = y for y.
-5
Let l(o) = 27*o - 4. Let y be l(1). Solve -3*i + y - 8 = 0 for i.
5
Let a(p) = -p. Let u be a(0). Suppose u = 2*t + t. Suppose t = 5*i - 4*w - 15, i = 3*i + 3*w - 6. Solve -3 = 2*d + i for d.
-3
Suppose -3*v + v = -4. Solve -v*x + 6*x = 0 for x.
0
Suppose l = -l + 6. Suppose -2*f + 0*d + 12 = 3*d, -3*d + 12 = -l*f. Solve y + y + 8 = f for y.
-4
Let y(f) = 2*f**2 + 8*f. Let o be y(-5). Let x = 20 - o. Solve x = 3*z + 2*z for z.
2
Let x = 39 - 23. Suppose x - 6 = 5*b. Let d = b + 1. Solve -4*z = -d*z - 1 for z.
1
Suppose 0 = 5*i + 2*a + 2*a - 14, i = 5*a - 3. Solve i*j - 6*j = -12 for j.
3
Let v(f) = -f**2 + 8*f - 3. Let h(x) = x**3 - x**2 - 5*x + 2. Let l be h(3). Let b be v(l). Let y = 38 + -34. Solve b + 4 = y*i for i.
4
Suppose 15*q + 58 = 148. Solve 2 - q = 4*a for a.
-1
Let z be 1/4 + (-1)/4. Let w(p) = p**2 - 21*p + 20. Let b be w(20). Solve z*f - 3*f - 15 = b for f.
-5
Let f be (10/(-40))/((3 - 2)/(-8)). Solve 0 = -0*g - f*g for g.
0
Suppose -2*a + 39 = -5*i, -i + a = 6*a - 3. Let z(u) = -2*u - 8. Let f be z(i). Solve -2*k = k - f for k.
2
Suppose -34 = -v - 30. Solve v*j = -j for j.
0
Suppose 3*x - 2 = 2*x, 0 = m - 5*x + 6. Let w be m/(-24) - (-23)/(-6). Let l be ((-6)/w)/(6/12). Solve -l*j - 2 = 1 for j.
-1
Let n(a) = -a**3 - 3*a**2 + 9*a + 6. Let d be n(-6). Suppose -4*j = j - d. Solve -4*x = -0*x + j for x.
-3
Let j be 15/6 + 1/2. Let h be 5 + (-1 - j) + 1. Solve 4*b - h = -14 for b.
-3
Let r(b) = b - 6. Let o be r(6). Suppose -66 = -3*m + 2*f, o = -3*m + m - 3*f + 31. Solve -5*a + m = -0 for a.
4
Suppose 0 = 3*d - 4*s - 1 + 5, 12 = 3*s. Solve -d*l + 5 = 1 for l.
1
Let x = -1 - 0. Let g be 3 + -2 - x - 0. Solve g*r = r for r.
0
Let w(b) = b - 17. Let t be w(9). Let s(n) = n + 10 - 6 + 5. Let d be s(t). Solve 0 = 5*a - 9 - d for a.
2
Let l = 11 - 8. Suppose 3*y + 15 = -5*a + 2*a, -5*y = -l*a + 25. Solve a*q - 8 = 2*q for q.
-4
Suppose -5*i - k + 23 = 0, -i - 5*k + 16 = -k. Solve -4 = -i*p + 2*p for p.
2
Let l be 2/10 - ((-12)/(-10))/6. Solve l = 5*i - 3*i - 6 for i.
3
Suppose -3*x + 2*p + 21 = 2*x, p + 6 = x. Solve -2*w + x*w - 3 = 0 for w.
3
Suppose -9*q - 10 = -55. Solve -5*j = -15 - q for j.
4
Let h(j) = -j + 10. Let s be h(11). Let y be ((-21)/14)/(s/2). Solve 0 = -y*v + v - 8 for v.
-4
Suppose -o = -5*v + 19, 2*v - 8 = -0. Let k be 2*o + (-7 - -10). Solve k*n = -0*n for n.
0
Let b = 2 - -11. Solve -4*s - b = -1 for s.
-3
Let y be 230/15 - (-2)/(-6). Let j = y - 11. Solve j*r = 5*r + 4 for r.
-4
Suppose -5*h = -8 + 3. Suppose 0*v + 23 = 4*w + 5*v, 4*w - 3*v = -h. Solve -n = w*n - 6 for n.
2
Let p be (-3 - -3) + 5/(-5). Let a be (-2 + 2 - p)/1. Solve -2 - a = j for j.
-3
Let d(h) = h**2 - 2. Let u be d(-2). Solve 8 = u*j - 6*j for j.
-2
Let j = -9 + 10. Solve 2*b - j = 3 for b.
2
Let f be (1 - 0) + 1 + -2. Solve 4*s = -f*s + 8 for s.
2
Let b(y) = y - 7. Let v(l) = -1. Let c(o) = b(o) - 4*v(o). Let u be c(6). Suppose -r = r - 6. Solve r*s = -u - 9 for s.
-4
Let k(c) = -c**3 + 5*c**2 - c + 5. Suppose 3*l + 5*j = 4 + 2, 4*l + 2*j - 8 = 0. Suppose -b = l*b - 12. Let u be k(b). Solve 3 + u = -4*p for p.
-5
Suppose -17 = -5*y - 7. Suppose 3 = v + y*m - 8, -5*v = -m - 11. Solve 4*z - v - 5 = 0 for z.
2
Suppose -98*l = -101*l + 3. Solve 4*y - l = 7 for y.
2
Let f be 204/33 + (-4)/22. Suppose 3*a = -0*a + f. Solve 0 = h - 0*h + a for h.
-2
Suppose 2*a - 6 = a. Solve 0*i + a = -2*i for i.
-3
Let x be 48/5 - 10/(-25). Suppose 3*w = 5 + 7. Let j be (w/10)/(1/x). Solve 5*h - 3*h + j = 0 for h.
-2
Suppose 1 - 7 = -3*n. Solve -n*l = 3*l + 25 for l.
-5
Let x be (-14)/(-63) - (1 - (-160)/(-9)). Solve 0 = -5*r + 2 - x for r.
-3
Let n be ((-6)/(-5))/(8/60). Let v(c) = -c**2 + 8*c + 13. Let w be v(n). Solve 0*z + w*z = 0 for z.
0
Let m be 2 - 0 - 5/(-5). Solve -m*a + a = 0 for a.
