p = q + -13. Solve 2*h - p = -16 for h.
-5
Suppose 0 = 3*t + 12 - 39. Let n(b) = b**3 + 4. Let r be n(0). Solve -r*m + 7*m = -t for m.
-3
Let l(y) = -y**2 + 6*y + 3. Let x be l(6). Suppose 4*f + 4*z - 6 = 2, -5*f + 10 = x*z. Suppose 3*b = f + 4. Solve 8 = -2*g - b for g.
-5
Suppose 0 = 2*i + 6 - 14. Solve i*c + c = 0 for c.
0
Let w be (4 - 4)/(-1 - 0). Suppose 5*y + w*y - 4 = 4*k, -5*k = -5*y + 5. Solve y*n - 2*n + 2 = 0 for n.
1
Let v = -39 + 42. Solve -v*o = -o - 8 for o.
4
Suppose 0*u = 2*u. Solve 4*p + u*p = 8 for p.
2
Suppose 3*q = 3*c - 3, -5*q = -2*q - 2*c - 2. Suppose -14 = q*r - 5*l + 11, -3*l + 15 = 2*r. Solve -z - z = r for z.
0
Suppose -3*w = -g + 12, 4*g - 2*g - 16 = 4*w. Let r(n) = -n**3 - 5*n**2 - 6*n - 5. Suppose 1 = 2*q + 9. Let t be r(q). Solve g = -3*d - t + 18 for d.
5
Let g(b) = -b**2 + 4*b - 1. Let j be g(3). Suppose -q = j*q - 18. Solve -2*x - 20 = -q*x for x.
5
Let j(w) be the first derivative of -w**4/4 + 4*w**3/3 + 6. Let r be j(4). Let t = -5 - -8. Solve -t*a + r*a = 0 for a.
0
Let h be 2/(-3)*(-1260)/24. Solve -5*s + h - 10 = 0 for s.
5
Let d be (-8)/(1 + 1) - -4. Solve d = n - 0*n + 3 for n.
-3
Let i be 7/21 - 88/(-6). Solve -2*q = -7*q + i for q.
3
Let q = 124 - 116. Solve 4*z = q*z - 12 for z.
3
Let i(u) = -4*u - 8. Let n be i(-5). Solve 0*c = -4*c + n for c.
3
Suppose 3*d + d - 24 = 0. Suppose -3*m + 2*z = -z, 0 = 2*m - 3*z + 2. Solve -d*p + m*p - 16 = 0 for p.
-4
Suppose -m - 3 = -2*m. Suppose -5*j - 8 = -53. Let p = m + j. Solve -4 = -4*g + p for g.
4
Suppose -i + 10 = 2*v + 2*i, 2*i = 5*v - 44. Solve 2*k + 0*k + v = 0 for k.
-4
Let k be (-2)/5 + (-10)/(-25). Let r(f) = 2 - 1 + f + 0. Let w be r(k). Solve 5*p - 4 = w for p.
1
Let h = 0 + 3. Suppose 0*c = -h*c + 15. Solve -c*y + 7*y = -10 for y.
-5
Suppose -r + 2 = -3. Suppose -r*l - 5 = a, 5*l + 7 - 2 = 5*a. Solve 2*g - 5*g = a for g.
0
Suppose w - 4*t = 19, 5*w - 4*t = t + 35. Solve 0 = s + 2 + w for s.
-5
Suppose -5 - 3 = -2*m. Solve u + m = 1 for u.
-3
Let b be 486/8 + (-15)/20. Let l be (8/(-10))/((-8)/b). Solve 26 - l = -5*s for s.
-4
Suppose j = 4*x - 4*j - 22, -x = -5*j + 2. Let b be 6/x*(-7 - -3). Let l = 7 + b. Solve -12 + 4 = l*n for n.
-2
Suppose -w + 2*w = -7. Let t(c) = -c - 3. Let s be t(w). Suppose s*v = 5*g - 14, -3*g = -v + 2 - 9. Solve 0*z - g*z = 0 for z.
0
Let d(q) = q**2 + q. Let p be d(2). Solve 0*i - p = -3*i for i.
2
Suppose -3*n = -5*n. Let y(h) = h**2 - 5*h - 16. Let b be y(8). Suppose 4*j + 5*m - 33 = 0, 4*m - b = 4*j + 4. Solve j*s + 0*s = n for s.
0
Let s(l) = -3*l + 3. Let c be s(-6). Let m = 15 - c. Let j be -1 + m/(-9)*3. Solve j = -g - 3 for g.
-4
Let c be 2/4 - 60/(-24). Solve 4*g + c = g for g.
-1
Let j be (-116)/14 + 2/7. Let k be (0 + 0)*(-7 - j). Suppose -3*z + 14 = -4*i - k, -4*z + 2*i + 12 = 0. Solve -6 = 2*a + z for a.
-4
Suppose 0 = -3*u - 0*u - 6. Suppose 0 = -5*f + 10. Let a = u + f. Solve a*c + 1 = -c for c.
-1
Let v(c) = c**3 + 17*c**2 + 16*c + 2. Let d be v(-16). Solve d*k - 4*k = -6 for k.
3
Let c(m) = m**3 - 1 + 2 + 3 - 5 + 5*m**2 - m. Let v be c(-5). Solve 0 = -9*y + v*y + 5 for y.
1
Let m be 1/1*20/4. Let r be ((-1 + -1)*m)/(-2). Solve r*u - 31 = -6 for u.
5
Suppose -3*a - 12 = a, 0 = 3*p - 5*a - 27. Solve 5*j = p*j for j.
0
Let t(a) = -a + 12. Let d be t(9). Suppose 5 + d = 4*i, 4*k + i - 2 = 0. Let h = 2 - k. Solve 2*c - 16 = -h*c for c.
4
Suppose -n = 5*b + 4 + 3, 0 = -4*b + 2*n. Let u(v) = 6*v**2 + v. Let g be u(b). Suppose -g*w + 11 = -4. Solve -w*q + 2 = -q for q.
1
Suppose 8*p + 3 = 3. Solve p = -3*k + 1 + 5 for k.
2
Let u = -47 + 51. Solve -10 = -u*f + 2*f for f.
5
Let w(q) = q**3 + 8*q**2 + 4*q - 6. Let h be (7*-1)/((-4)/(-4)). Let i be w(h). Let k(c) = -c**3 - 4*c**2 + 4*c - 3. Let y be k(-5). Solve y*n + n = i for n.
5
Let d(x) = -x**2 + 4*x + 1. Let n be d(5). Let a be (0 + n/8)*-12. Solve -2*m = m + a for m.
-2
Suppose 0 = 2*f - 2*t - 4, 2*f - 2 = -2*t + 14. Solve -f*m = -6*m - 4 for m.
-4
Let q = -121 + 124. Solve -q*f = -4 + 10 for f.
-2
Let f be 4/6*9/2. Let m = 13 + -13. Suppose -3*c - f*x = 0, x = -m*c - 2*c + 4. Solve -5 - 3 = c*q for q.
-2
Let y be (-2)/(1*(-1)/2). Let h = 0 + y. Solve h + 0 = -b for b.
-4
Suppose 3*i + i = 8. Suppose t - 3 = i. Suppose 37 - t = 4*c. Solve v + v = -c for v.
-4
Let c(p) = -p**2 - 11*p + 5. Let k be c(-10). Let v = k - 13. Solve 3*d + 10 = -v for d.
-4
Suppose 3*b - b = 4. Solve 1 = 3*p - b*p for p.
1
Let w = 8 - 6. Suppose 5*o - 18 = 3*x, 2*o + 3*x = -w*o + 9. Suppose o*p - 1 = 8. Solve -9 = 4*i + p for i.
-3
Let a = 49 - 49. Solve a = f - 6*f - 20 for f.
-4
Suppose -3*j - 19 = -4*j. Suppose -2*a + 7 = -j. Suppose -a - 7 = -5*i. Solve -i*o + 8 = -0 for o.
2
Let w be (22 - (-2)/(-1)) + -2. Let h(q) be the second derivative of -q**4/12 + 5*q**3/6 + q. Let j be h(4). Solve 2 - w = -j*s for s.
4
Suppose 45*f - 12 = 42*f. Suppose 3*a - a + 10 = 0. Let k(c) = c**2 + 5*c + 1. Let i be k(a). Solve f*p - 3 - i = 0 for p.
1
Let k(p) = p**2 - 10*p - 8. Let w be k(11). Suppose 0*d - 4*d = -12. Solve -d*s + 0 = -w for s.
1
Let w(d) be the first derivative of -d**4/4 + 2*d**3 - 5*d**2/2 + 5*d - 9. Suppose 4*j - 13 - 7 = 0. Let g be w(j). Solve -g*r + 2 = -3*r for r.
1
Suppose 0 = 3*f - 6 - 9. Suppose -2*g + f = -g. Solve -b + g*b + 8 = 0 for b.
-2
Let n be ((-68)/8)/((-2)/4). Let x = -13 + n. Solve -y - 3*y = -x for y.
1
Let s = 24 + -12. Solve 6*w - s = 2*w for w.
3
Let l(m) = m**3 - 9*m**2 + m + 9. Let j be l(9). Let r = j - 6. Solve -2*u - 2*u + r = 0 for u.
3
Suppose 0 = -i + 5*i. Suppose -3*v = 4*c + 24, -3*v = -7*v + 4*c - 4. Let z be i + -4 - -2 - v. Solve z*q = -q + 9 for q.
3
Let n = -6 - -8. Suppose 8 = -5*k - n. Let d(u) = u**2 - u - 2. Let o be d(k). Solve -8 = 2*r - o*r for r.
4
Let a(f) = -f**3 + 4*f**2 + 4*f - 14. Let d be a(4). Solve -d*y - 1 = -5 for y.
2
Let k(v) = -v**3 + 5*v**2 - 7*v + 5. Let s be k(4). Let m = s + 10. Suppose -2*i - 5*h + 6 = 0, -m*i = -2*i - 3*h - 3. Solve -i = -2*l + 5 for l.
4
Suppose -5*t + 3*t + 6 = 0. Suppose 4 = g - r, -2*r + t*r = 2*g - 12. Suppose 0 = -3*a - 2*y + y + 5, 2*a - 4*y - g = 0. Solve -3*u = a*u + 15 for u.
-3
Let p(o) = o + 2. Let s be p(-2). Let r(b) be the second derivative of b**5/20 + b**4/12 - b**3/6 + 2*b**2 + 3*b. Let m be r(s). Solve 1 - 5 = m*t for t.
-1
Let q(n) = n + 1. Let a be q(2). Suppose 0 = -z + 6 - a. Suppose 0 = -3*b - 2*t + 12, -19 + 1 = -z*b - 4*t. Solve -u = u - b for u.
1
Suppose -3*v + 7*v - 32 = 0. Suppose 4 = 4*a - v. Suppose -7 = -h + 5*b, 0 = -5*h - 5*b + 3*b + 8. Solve a*y + 10 = -h*y for y.
-2
Suppose 2 = -3*c - 7. Let n(j) = 7*j + 9. Let v(o) = o + 1. Let k(i) = -n(i) + 6*v(i). Let z be k(c). Solve 0 = -3*b - z*b + 12 for b.
4
Let y be (-2 + 2)/(-1 + 2). Let n be (3 + -6)*2/(-3). Let z = 3 + n. Solve -z*p + p + 20 = y for p.
5
Let c(x) = -x**3 + 9*x**2 + 11*x - 6. Let l be c(10). Solve 3*w + l - 1 = 0 for w.
-1
Suppose 0 = n + 2*m, -3*n - 4*m + 1 + 5 = 0. Suppose -3*s + 3*t = -6*s + 12, 3*s + 4*t - 13 = 0. Solve n = s*c - 3 for c.
3
Let a(n) = -n**3 - 4*n**2 + 4*n. Suppose b = 5*t - 5, -b + 4 - 9 = t. Let o be a(b). Solve -o*h = -h - 20 for h.
5
Let d = 12 - 18. Let z(c) = c + 7. Let s be z(d). Let h = s + 2. Solve 0 = -2*i - 5 - h for i.
-4
Let q be 2/(-4 - (-14)/3). Solve -q*n - 8 + 2 = 0 for n.
-2
Suppose m - i = 9, 0 = -2*m + i + 2*i + 20. Let h(w) = -w**2 + 8*w - 4. Let p be h(m). Let b = 7 - -2. Solve b = -p*y - 0 for y.
-3
Let q be (-2)/(-3)*15/(-10). Let k = 9 + q. Solve -f + k = f for f.
4
Suppose s - 5*s - 40 = 0. Let l be -1 + (-5)/(s/12). Solve -w - l = -1 for w.
-4
Suppose -10*p = -9*p - 2. Solve 2*q = -4 - p for q.
-3
Let t be ((-2)/3)/2*-66. Suppose 0 = 5*l - 0*z + 3*z - 23, 5*l + 2*z - t = 0. Solve -k = l*k - 5 for k.
1
Let q(d) = d**2 + 2*d. Let b(z) = -z + 3. Let s be b(5). Let k be q(s). Suppose 4*v = -k*v. Solve -4*w + 5*w = v for w.
0
Suppose 3*s = -4*o + 17, 0*o + 2*s - 8 = -o. Let f be o/(-2) + (-9 - 0). Let i be 17/5 + 4/f. Solve g = -i*g for g.
0
Let z be (91/(-28))/(1 - 10/8). Solve -3*o + z = -2 for o.
5
Let t(j) = -3*j**3 - j**2 + 2*j + 1. Let l(q) = 4*q**3 + 2*q**2 - 3*q - 1. Let h(i) = -2*l(i) - 3*t(i). Let k be h(2). Solve -k*x = -7*x for x.
0
Suppose 7*r + 2*r - 99 = 0. Solve -5 = 4*w + r for w.
-4
Suppose -2*a + 4 = 6, v - 30 = 5*a. Let o = 13 + 