2 = 3*m + 7, 2*m = -10. Let h = -7 - -5. Let q(g) = g**3 + g**2 - 4*g - 3. Let z be q(h). Solve -k*d = -z + 3 for d.
-1
Suppose 3*b + b + 40 = 4*u, -5*b - 5*u = 50. Let d = 19 + b. Suppose -2*z + d = -3. Solve 11*k - z*k = 15 for k.
3
Suppose 0 = -4*d - 15 + 15. Solve d*f + 4 = 2*f for f.
2
Let p = 70 - 33. Suppose a - 15 = 3*g + 14, -5*g - p = -a. Suppose 4*h - s = 25, 3*h - 5*s = h + a. Solve -h*b = -3*b - 15 for b.
5
Let z be 1*(4 - 3) + 1. Solve z*y - 2 = -0 for y.
1
Let x = 23 + -20. Solve -x*y = -5*y + 4 for y.
2
Let z be 4/30 - (-28)/(-210). Suppose z = 2*v - 6*v + 36. Suppose -4*c + 16 = -3*g, 3 = -2*c - g + 11. Solve -v = b - c*b for b.
3
Suppose -4*h - 5*c + 15 = -0*h, -2*h + 2*c = -12. Solve z - 2*z = h for z.
-5
Let w be 2*(1 - (-4)/8). Suppose 4*d = 3*j - 7, -4*d + 23 = -0*d + w*j. Solve 2*o + 16 = -d*o for o.
-4
Let m(b) = -b**3 - 12*b**2 - b - 8. Let u be -2 + 4 + -7*2. Let g be m(u). Solve g = -3*h - h for h.
-1
Let a(f) = -5*f - 3. Let h be a(-1). Solve -h + 0 = 2*i for i.
-1
Let l(j) = 3*j**2 - 7*j + 9. Let y be l(4). Let m = -19 + y. Solve 5*n = -m - 10 for n.
-4
Let i = 17 - 7. Let x = i - 8. Suppose -x*c + 4 = -5*b, -3*b + 10 = -0*b + 5*c. Solve b = k - 0 - 4 for k.
4
Let r(h) = -h**3 - 6*h**2 - 6*h - 2. Let t be (-29)/6 - 1/6. Let z be r(t). Solve s = z*s for s.
0
Suppose j - 6*j = 40. Let h be (-7)/14*j/2. Solve -3*o + 11 = h for o.
3
Let i = -32 + 11. Let r be i/(-9) + (-6)/(-9). Solve -m = r*m for m.
0
Let h(s) = 4 - s**3 + 1 + 4*s + 0 + 3*s**2. Let j be h(4). Let c be 4/5*j/2. Solve 3 = -c*a - 5 for a.
-4
Let y be 2/(-5) + 111/15. Let v = y + -3. Suppose -5*x + 23 = v*q - 22, -2*x = q - 15. Solve 4*s = -s - q for s.
-1
Suppose -2*d = 3*d - 20, -2*i + 30 = 5*d. Solve 5*l = i + 5 for l.
2
Suppose -k + 3 + 15 = 3*c, -k + 3*c - 12 = 0. Let n = -3 - -6. Solve -k*l - 3 = n for l.
-2
Let s = -16 + 22. Let m = s - 2. Solve 0 = -0*k - k + m for k.
4
Let n(y) = y**2 - 4*y + 3. Let f be n(4). Suppose 0*d + f = d. Solve 0 = -p - d*p - 4 for p.
-1
Suppose 0 = -6*a + 3*a. Let x = a - -2. Suppose -x*h + 4 = 2. Solve -3*q = 16 - h for q.
-5
Let o = -73 - -75. Solve 0*l = o*l for l.
0
Suppose 6 - 1 = 5*i. Let h be 3*i - (-16 + 19). Solve h*j - 4*j = -4 for j.
1
Let y be (-4)/(-14) + 114/(-7). Let k be (-228)/(-8) - (-3)/(-6). Let a = k + y. Solve -3*w = w - a for w.
3
Let f = 83 + -67. Solve f = -4*v - 0*v for v.
-4
Suppose 5*u - 1 - 19 = 0. Suppose 3*g = -3*i - 2*i + 3, -4*i - u = 4*g. Let b = 5 + g. Solve 2*a - a - b = 0 for a.
1
Suppose 0 = -5*d + 4*h + 3, d - 4*h + 27 = 6*d. Let c be d + -1 - 1/1. Let u be 19 - c/(0 - 1). Solve 3*o = -o + u for o.
5
Let p = 8 - 14. Let s(l) = -2*l - 9. Let w be s(p). Solve k - 2 = w for k.
5
Let h be 0 - (2 - 2)/1. Suppose -5*c = -8*z + 5*z - 112, h = c + 3*z - 8. Solve 3*p + 2*p = c for p.
4
Let m(p) be the first derivative of -p**4/12 - p**3 + 7*p**2/2 + 2*p - 1. Let v(i) be the first derivative of m(i). Let r be v(-7). Solve -10 = 5*f - r*f for f.
-2
Let z(f) = 3*f**2 + f + 2. Let w be z(2). Solve -2*h - w = 2*h for h.
-4
Let h(y) be the second derivative of -y**5/20 + y**4/6 + y**2 + 3*y. Let b be h(2). Suppose 6*n = b*n + 16. Solve -n*j - 15 = j for j.
-3
Suppose 1 = 5*r + 4*x + 9, 3*r - 4*x = 8. Solve -3*q - 11 - 1 = r for q.
-4
Let q = 408 - 214. Suppose 4*x = -p + q, -2*p = 4*x - 0*p - 192. Suppose -b = 3*t - 10, 5*t - 2*b - x = -14. Solve 5 = t*r - 5 for r.
2
Suppose -5*g - 2*z = -15, -2*g + z = -2*z - 25. Solve -t - 4*t - g = 0 for t.
-1
Let w be (-6)/(-4)*14/3. Suppose -4*z - 5 = -3*k + 9, 3*k = -3*z - 21. Let v be (-34)/(-85)*z/(-1). Solve -v*r = w + 3 for r.
-5
Let k(g) = 2*g - 1. Let y be k(8). Solve -3*r - y = -0*r for r.
-5
Let b(u) = -3*u + 18. Let o be b(6). Solve o = -0*r - 4*r + 20 for r.
5
Let z = 8 + -31. Let r = z - -29. Solve -3 - r = 3*u for u.
-3
Let t(z) = -z - 10. Let d(a) = -a - 10. Let v(k) = 4*d(k) - 5*t(k). Let b be v(-9). Suppose 0 = 3*n - b - 5. Solve n*i = -2*i - 12 for i.
-3
Let g be ((-8)/24)/(1/(-9)). Solve -q - 20 = g*q for q.
-5
Let s(d) = d**3 - 13*d**2 + 14*d + 11. Let p be s(12). Suppose x = -2*b - 6, 0 = 5*x - 0*b - 3*b - p. Solve 3*o = -o - x for o.
-1
Suppose 3*z - 6*z + 36 = 0. Suppose 0 = a + 3*a. Suppose 5*g = -2 + 17. Solve a*o + z = g*o for o.
4
Let b(x) = 3*x - 13*x - x**2 - 8 + 2. Let g be b(-9). Let r be g + (-3 + 1)/2. Solve -10 = -3*s + r for s.
4
Let x(a) = -a**2 + a + 4. Let p be x(0). Suppose 4 = -p*m + 12. Suppose -4*h - 5*d = -1 + 5, -2*h = m*d. Solve -3*i - i - h = 0 for i.
-1
Let h(c) = 5*c**2 + 2*c + 1. Let x be h(-1). Solve x*y = 20 - 4 for y.
4
Let d be (-2)/(((-24)/27)/4). Solve d*t - 4*t = 15 for t.
3
Let f be -14*(0 + -2 - -1). Suppose -2*d = 0, -3*w - 5*d - f = -2*w. Let i = -2 - w. Solve g = 5*g + i for g.
-3
Suppose 2 = 5*w - 3. Let k be w + -3*(-1)/3. Suppose v - 12 = -k*v. Solve q + 15 = -v*q for q.
-3
Let k(j) = j**2 - 4*j - 3. Let y be k(6). Let v be (33/y)/((-1)/3). Let t = -8 - v. Solve -4*c - t = -7 for c.
1
Let j = 8 - 3. Suppose r + 3 = 10. Suppose 2*f = -0*g - 3*g + r, -g = -j*f + 9. Solve -f = 4*a - 2*a for a.
-1
Let h(s) = -2*s + 13. Let j be h(6). Solve -w = -1 - j for w.
2
Let b be (3 + 15/(-6))*0. Suppose -5*g + 27 + 18 = b. Solve -c + 4*c = -g for c.
-3
Suppose -3*w - 5*s = -11, 2*w - 5*s = 7 + 17. Suppose 2*d + w = 15. Solve -3 = q - d for q.
1
Let q = 4 - -5. Solve -6 = 3*n + q for n.
-5
Let g(z) = 3*z - 6 + 0*z - 2*z + 8 + z**2. Let a be g(-2). Solve -a*k - 15 = k for k.
-3
Suppose 2*t + 3*b - 22 = 0, -3*b - 34 = -5*t - 0*b. Let f(q) = -q - 9. Let u be f(-8). Let g be 42/t + u/4. Solve 0 = -g*v + 7*v for v.
0
Let k = -22 - -38. Solve s = 5*s + k for s.
-4
Let j(t) = 4*t - 12. Let z be j(5). Let p be (-1)/((-1)/6 - 0). Let a = z - p. Solve 0 = -3*c + 4 + a for c.
2
Suppose -5*a - v = -6*v - 35, 0 = 3*a - 5*v - 31. Suppose 4*l + 24 = 4*w, -2*l = 2*w - 0*w - 24. Solve -z = a*z - w for z.
3
Let u = 1 + -1. Let a = 1 + u. Solve 6 - a = -x for x.
-5
Let y(h) = -h**2 - 11*h + 8. Let m be y(-11). Solve 3*n = 5*n + m for n.
-4
Let s be (3 + -1)/(4/6). Suppose 4*r - 6 = 14. Solve -r*y - 18 = -s for y.
-3
Let h = -1 - 0. Let w be 5/(-15)*3/h. Let o be (-2 + w)*(-3 + 1). Solve 0 = z + o*z for z.
0
Suppose 0*q - 12 = -q. Let x be ((-1)/(-2))/(2/q). Suppose x*f = f. Solve f = 2*a - 1 - 1 for a.
1
Suppose 3*s = -2*c - 3, 0*c + 2 = c - 2*s. Let n = 1 + 3. Solve -n*t - 10 - 10 = c for t.
-5
Let k(o) = 12*o - 28. Let j be k(4). Solve -3*z = z - j for z.
5
Let h = 7 + -5. Let d be 2/(-3) - 16/(-6). Solve i = -h - d for i.
-4
Suppose 2*x + 7*b - 22 = 3*b, -3*x - 4*b = -23. Let l(i) = -i + 1. Let v be l(-1). Suppose v*w + 0*f + 4*f = 2, 4*w = -3*f + 29. Solve 3*y - w = x for y.
4
Let l = -29 - -29. Solve y - 4*y = l for y.
0
Suppose -4 = -38*l + 36*l. Solve -l*k + 2 = -k for k.
2
Suppose -4*q = -2*q - 4*i + 16, -5*i + 17 = -4*q. Solve -4*p + q + 2 = 0 for p.
1
Let y(f) = -5*f. Let c be y(-1). Let b = -15 + 27. Solve b = 2*z - c*z for z.
-4
Let y(q) = q**2 - 9*q - 20. Let a be y(12). Solve 5*n - a + 1 = 0 for n.
3
Suppose -2*w - w = 0. Let p(s) = -s**2 + s + 3. Let j be p(0). Suppose w*t = j*t. Solve -l - 2*l + 15 = t for l.
5
Suppose -48 = -0*v - 4*v. Suppose -v = -4*h + 12. Solve -o = o - h for o.
3
Suppose 1 = -a + 6. Let c(j) = -j + 1. Let q be (-1 + 3)/((-14)/21). Let d be c(q). Solve 5*x - d*x = -a for x.
-5
Let y = 14 + -8. Let l be -1 + (-2 + y - 3). Solve l = -5*u - 12 - 3 for u.
-3
Let u(m) = -2*m + 6. Let w be u(6). Let t be (w/(-4))/((-5)/(-50)). Solve -3*p + 6*p = -t for p.
-5
Let o = -3 - -5. Let r(h) be the first derivative of -h**3/3 + 3*h**2 + 2. Let s be r(5). Solve 3 = -o*k - s for k.
-4
Let j = -14 + 17. Solve 0 = j*m + m for m.
0
Let g = 53 - 21. Suppose 12 = 2*z - g. Let t = z + -14. Solve v = -t + 4 for v.
-4
Suppose 4*l + 5*s = 2*s + 4, 0 = -2*l + 5*s + 28. Solve -1 = m - l for m.
3
Suppose l = 4*l + 3, 2*l = -4*j - 2. Suppose -2*d - d = j. Solve -5*f + d*f - 25 = 0 for f.
-5
Let z be ((-4)/(-10))/(8/100). Solve -z*h - 20 = -h for h.
-5
Suppose -8*q = -3*q - 3*v - 33, -2*v + 26 = 2*q. Suppose 5*d - q = 2*d. Let z be ((-45)/(-6))/(d/4). Solve -2*m + 0 = z for m.
-5
Let h = -21 + 46. Solve 0*l - h = 5*l for l.
-5
Let i = 0 + 8. Solve 3*a = -i - 4 for a.
-4
Let b = -10 - -14. Suppose 4*q = 2*z - 20, 4*z 