4*c - 16 = g. Solve 2*p = 4 + g for p.
3
Let m be 2/(-2) + (0 - (-6 + 2)). Solve -m*g = -2*g - 2 for g.
2
Let b be (3 - 2)/(3/9). Suppose -b*u = 4*h - 9*h + 37, 0 = 4*h - 3*u - 29. Let g(j) = j + 1. Let q be g(2). Solve 0 = q*i + 1 + h for i.
-3
Let d = 17 - 12. Solve -n - d = -0*n for n.
-5
Let w = 28 + -26. Solve 6 + w = -2*i for i.
-4
Let k be 1 - (4 - 2)/2. Let c = -5 - -5. Suppose c = 3*p - 4*s - 27 - 5, 2*p = s + 13. Solve j - p*j = k for j.
0
Suppose 4*q = -3*x + 25, 0 = -2*q - 2*x - x + 17. Let r(i) = -3 + 1 + 1 - i**2 - q*i + 2. Let t be r(-4). Solve -4*j = 5 - t for j.
-1
Let m be (10/75 - (-12)/(-15))*-6. Solve -m = -v - 1 for v.
3
Let h = -3 - -8. Let d(m) = -11*m**2 - m + 9 + 2*m**3 - 6*m**3 + h*m**3 + 4*m**2. Let s be d(7). Solve 5 + 1 = s*w for w.
3
Let p(s) = 2*s - 1. Let k be p(-1). Let m(b) be the first derivative of -b**2/2 + b + 9. Let q be m(k). Solve -q*i - 12 = -0*i for i.
-3
Let f(n) be the first derivative of -n**2/2 - 5*n + 2. Let d be f(-8). Solve 0 = d*z - 8*z for z.
0
Let l be 10 + (4 - 7) + -4. Let q = -22 - -52. Suppose 0 = -0*f - 5*f + q. Solve -f = g - l for g.
-3
Let m be (-1)/(-3) + 4/6. Suppose -2*t - 5 = 1. Let x be (m + -1)/(-2 - t). Solve -j + 3*j + 6 = x for j.
-3
Suppose p = -4*p + 50. Suppose 5*h + 0 = p. Suppose 0 = h*m - 3 - 1. Solve m - 6 = -o for o.
4
Let c(u) = 3*u + 55. Let k be c(-17). Solve 3*t + 1 = k*t for t.
1
Suppose -3*l + 4*g + 68 = 0, 0 = -l + 3*l + 3*g - 34. Suppose -4*o + 2*o - l = -2*x, 3*o = 3. Let n = -2 + 5. Solve n = 2*z + x for z.
-4
Let j(m) = m**3 - 5*m**2 + 6*m - 6. Let w be j(4). Suppose 24 + 28 = 4*s. Suppose b - s = -1. Solve -w*h - h + b = 0 for h.
4
Suppose 17 + 0 = -3*f - 4*z, -3*z = 15. Let q(l) = -l**3 - 5*l**2 - l + 6. Let p be q(-5). Solve -p = -3*x + f for x.
4
Let r(j) = j**3 + 6*j**2 - 7*j + 1. Let m be r(-7). Let y be -22 + 22 + (0 - -3). Solve 0 = -x + y - m for x.
2
Let p(g) = g**2 + 4*g - 3. Let k be p(-4). Let h be 0 - -2 - (k - -16). Let m = h + 15. Solve -n - m*n = 0 for n.
0
Let h be (5 - (-42)/(-9))*0. Solve 0 = u - h*u - 4 for u.
4
Suppose 3*w = 2*w. Let g = w + 4. Solve 19 = g*h + 7 for h.
3
Let d be -3 + 4 + 1 + 1. Let u be (-1)/d + 14/6. Solve 0 = -u*z - 2*z - 4 for z.
-1
Let n(x) = -x**2 - 5*x + 2. Let y(l) = -l**3 + 2*l**2 + 3*l - 3. Let j be y(3). Let h be n(j). Solve 5*r + h = r for r.
-2
Let q be 0 + (-2 - -4) + -1. Solve 0 = -r + 2 - q for r.
1
Let d = 47 - 47. Solve -h - 3 + 4 = d for h.
1
Let m(b) = b + 18. Let j be m(-12). Let f be j/(-10) - 3/(-5). Solve -4*z + 11 - 3 = f for z.
2
Suppose -27 = -0*b - 9*b. Solve b*k + 8 = k for k.
-4
Suppose -5*x - 125 = -10*x. Let j(r) = r**3 + 6*r**2 - 9*r - 7. Let g be j(-7). Solve 2*y - g*y = x for y.
-5
Let k(g) = -2*g - 13. Let l be k(-8). Solve -2*s - l*s = 0 for s.
0
Suppose 82 + 38 = -5*t. Let q = t + 36. Suppose 0 = k + 2*k. Solve 2*z + 2*z - q = k for z.
3
Let c be (-1)/(-6)*4 + (-4)/(-12). Solve 5*y - 4*y - c = 0 for y.
1
Let z(l) = -7*l**2 - l + 2. Let p be z(1). Let j be p/(-9) + 39/9. Solve -2 = j*r + 23 for r.
-5
Let k(y) = -y**2 + 1. Suppose 4*a + x = 5, a = -0*a - 2*x + 3. Let b be k(a). Solve b = 6*r - r for r.
0
Let r = -19 - -19. Solve -n + 0*n + 1 = r for n.
1
Suppose -10 = 2*u - r - 3, r - 1 = -4*u. Let x(n) = -15*n - 3. Let p be x(u). Suppose 0*i + 3*a + 14 = 4*i, 0 = 5*a - 10. Solve p = i*d - d for d.
3
Suppose 4*v - 14 = 2*v. Suppose -2*r - f = -v, 4*r = 3*r - 4*f. Solve 0 = -r*i + 8 + 12 for i.
5
Let b = -2 - -2. Suppose b*z + 5*z = 0. Solve -10 = -z*o + 2*o for o.
-5
Suppose 3*j + 1 = 10. Suppose -j*m + 2*m = -4. Solve m - 1 = -3*x for x.
-1
Suppose -13 = -3*o + 5. Solve -o*m = -m for m.
0
Let n(g) = 13*g + 21. Let o(p) = -9*p - 14. Let m(q) = -5*n(q) - 7*o(q). Let f be m(-6). Solve 4*c + 11 = -f for c.
-4
Suppose -3*b + 2*a - 2 = 0, -3*b = 5*a - 4 - 22. Solve -b*u - 3 = 3 for u.
-3
Let m(d) = d**2 - 7*d + 10. Let g be m(5). Solve g = -2*r - 0*r + 4 for r.
2
Let i = -6 - -9. Let f = i + -3. Suppose 0*c - 4*c = f. Solve 5*b + c*b = 0 for b.
0
Suppose -2*c = -14 + 2. Let i be c/10 - 66/(-15). Suppose -4*n = n - i. Solve -n = u + 3 for u.
-4
Let v(m) = -53*m**3 + 1. Let j be v(1). Let c be (-112)/j + 4/(-26). Suppose -g = c*g. Solve 8 + g = 2*d for d.
4
Let b(h) = -2*h**2 - 9*h - 4. Let c be b(-4). Suppose -3*t + c + 18 = -3*y, -3*y = 9. Solve 0*q = -3*q - t for q.
-1
Let o = 17 + -11. Suppose -3*q - 5*v = 7, -q + o*v = 3*v - 7. Solve -q = 3*r - 7 for r.
2
Suppose z + 5 = 0, -16 = -2*b + 4*z + 48. Let n be 72/33 + (-4)/b. Solve 3*a + n = 2*a for a.
-2
Suppose -2*i - 2*k = -k + 2, 22 = 2*i - 5*k. Let s be -6*(-2)/2 - i. Solve 0 = -s*u - 10 for u.
-2
Suppose 0 = -2*l - 0*l. Solve -3*s = -l*s for s.
0
Let u = -4 + 8. Suppose -k + 3*k = 3*w, u*k + 5*w = 0. Solve -20 = -k*l - 4*l for l.
5
Let y(x) = -3*x**2 + 3*x - 2. Let q(v) = -13*v**2 + 11*v - 9. Let b(z) = 2*q(z) - 9*y(z). Let r be b(6). Solve -r = -4*k + 6 for k.
3
Let n(y) = y**3 - 7*y**2 - 8*y. Let v(x) = x**2 + 3*x - 2. Let l be v(-5). Let u be n(l). Solve 7*t - 4*t + 6 = u for t.
-2
Let g(d) = -d - 7. Let w be g(-3). Let m(s) = s**3 + 5*s**2 + 3*s - 2. Let z be m(w). Solve 2 = 3*v - z*v for v.
2
Let a(l) = l + 10. Let p be a(-7). Let t be p + -2 + 5 - 1. Suppose 0 = t*f - 0*f + 3*q - 19, -4*f - 1 = -3*q. Solve -f*d = -3*d + 1 for d.
1
Let n(d) = -d + 4. Let l(u) = 4*u - 17. Let h(s) = 6*l(s) + 26*n(s). Let k be h(-2). Suppose 4*c = 2*c + 5*a + 31, 3*c = -4*a - 11. Solve c*w - 5*w = k for w.
-3
Let y = -4 + 6. Suppose -12 = -0*s - y*s + h, -h - 2 = 0. Solve u - s = -0*u for u.
5
Let a = 8 - 8. Solve a = -3*l + 5*l + 2 for l.
-1
Let i(k) = -2*k + 6. Let a(q) = -3*q + 5. Let j(d) = 5*a(d) - 4*i(d). Let n be j(-2). Solve 5*w = -0*w + n for w.
3
Let h be 32/6 - (-2)/(-6). Let u = -13 + 19. Suppose 0 = -h*j + u + 14. Solve 8 = -0*p - j*p for p.
-2
Suppose 0 = -2*g - 2*b + 6, 4*b - 1 - 11 = -2*g. Solve -5*a + 2*a - 9 = g for a.
-3
Let o be (-4)/(-4)*(-10)/(-2). Solve -6 = o*i + 4 for i.
-2
Let o be (-55)/10 + (-2)/4. Let b(c) = -c**3 - 7*c**2 - 8*c - 9. Let k be b(o). Solve 0 = k*a - 15 + 3 for a.
4
Let z be (-76)/(-18) - (-14)/(-63). Solve -z*x = -5*x - 5 for x.
-5
Let a = 22 - 10. Solve i = -2*i + a for i.
4
Let y(f) = f + 3. Let j be y(3). Suppose 14 = 3*g - 5*q, j*g - 10 = 2*g - 2*q. Solve -11 + 2 = g*h for h.
-3
Let f(o) = -2*o. Let k(m) = -5*m + 1. Let l(x) = 9*f(x) - 4*k(x). Let g be l(4). Solve 8 - g = 4*t for t.
1
Let i = -2 + 2. Let r(s) = s**3 + 2*s**2 - 4*s + 1. Let w be r(-3). Solve w*d - 16 = -i*d for d.
4
Suppose 0*u = -u. Suppose -10 = -5*h - u*h. Solve -h*q + 3*q = -3 for q.
-3
Let a(i) = 4*i - 1. Let q be a(3). Let d be (-4)/18 - 145/(-45). Solve -4*m - q = -d for m.
-2
Let o(f) = -7*f - 26. Let c be o(-4). Solve -3*z = c*z for z.
0
Suppose 0 = -2*k + 7*k + 20, -3*a = 5*k + 14. Suppose 4*x - 24 + 12 = 0. Let u = 21 + -11. Solve a*r + u = -x*r for r.
-2
Let t(v) = v - 5. Let a be t(7). Let b be 0/(-3 + (3 - a)). Solve -4*o = -b*o for o.
0
Suppose -24 = -4*r + 8. Solve 0 = -6*x + 4*x - r for x.
-4
Let b = -12 + 25. Let u = b + -9. Suppose -p - p = -3*j + 18, -4*p = 4*j - 24. Solve -w = -u*w + j for w.
2
Suppose 0 = -3*m + 3*u + 6, -5*m + u + 10 = -2*m. Solve -l = m*l for l.
0
Suppose 4*n + 9 = -3*d - 11, n = 3*d - 5. Solve -5*q = -d*q + 5 for q.
-1
Let b(z) = z**3 - 3*z**2 + 4*z - 2. Let k be b(2). Let d be 2 + (-4 - -2)/1. Solve k*y + y = d for y.
0
Suppose -79*c + 81*c = 12. Solve -20 = -c*q + 2*q for q.
5
Suppose 2*u - 4*u = -12. Suppose -4*q = -0*q - 160. Suppose q = -2*t + u*t. Solve 4*n = -n - t for n.
-2
Let q = -13 - -28. Solve 0 = b - 4*b + q for b.
5
Let c = -2 - -1. Suppose -27 = 3*y - 12. Let j = c - y. Solve -n = -j*n + 6 for n.
2
Suppose -k + 9 = 2*k, -5*i + 2*k + 39 = 0. Suppose -c + 0*l = -3*l - 22, 2*c - i = -l. Suppose 3*r - 75 = -2*r - 3*h, 15 = r + 5*h. Solve 2*u = c*u + r for u.
-3
Let x(t) = -t - 4. Let q(s) be the second derivative of 3*s**5/10 - s**3/6 - s**2/2 + 2*s. Let m be q(-1). Let w be x(m). Solve 14 = -4*d + w for d.
-3
Suppose -t - 7 = -10. Suppose 5 = z + t. Solve z*v - v = 5 for v.
5
Suppose -2*f + 8 = 0, -5*f + 6 = 2*d - 20. Solve 4*p - d*p = 3 for p.
3
Let t be 12*(-1 + 2)/4. Let z be 0 - (-1 + -2 + 0). Suppose -2*a = z*a - 45. Solve a = t*f - 0*f for f.
3
Let d be 2/(-4)*-6*3. L