for z.
-3
Suppose -3*z - 2*z = -4*m + 41, -m = 4*z + 16. Solve 1 = g - m for g.
5
Let m be (-5 + 3)*(-5)/10. Let s = -11 + 7. Let d(y) = -2*y - 6. Let c be d(s). Solve -c*a - 5 = -m for a.
-2
Let o be 7 + (-9 - -3)/(-2). Solve 0 = 2*b + 3*b - o for b.
2
Let v(x) = x**2 - 7*x. Let a be v(7). Solve -2*k - 2*k = a for k.
0
Suppose -4*w = -3*k + 6, 5*w + 0 = -k + 2. Suppose -3 = -2*r + r. Suppose -2*l + 15 = r*l. Solve -k = -2*q + l*q for q.
-2
Let m(a) = a**3 - a**2 - 2*a + 2. Let q be m(2). Let o be (-1)/(-4) - (-3)/4. Solve g - o = -q for g.
-1
Let q = -28 - -55. Let d = q - 7. Solve -d = -0*k - 4*k for k.
5
Let y(v) = 2*v**3 + 1. Let o be y(1). Suppose o*g + 5 = -3*q - 2*g, 3*q = -3*g - 3. Suppose 48 = 4*d - 6*l + 2*l, -2*d + l + 22 = q. Solve d = -x + 6*x for x.
2
Let r(l) = l**3 - 3*l**2 - 5*l + 6. Let i be r(4). Solve -2*u + 12 - i = 0 for u.
5
Let u be 32/(-6) - 3/(-9). Let i = -2 - u. Suppose i*p - 12 = 0, -5*b - 7 - 13 = -5*p. Solve 2 = f - b*f for f.
2
Suppose 0 = 15*z - 21*z. Solve x + z*x = -4 for x.
-4
Let l be ((-36)/(-8))/(3/(-4)). Let c be l/(1 - 3 - -1). Solve 0 = 3*x - c for x.
2
Let r be -1 + 2 + (40 - 2). Suppose -3*o = 9, 3*i - 5*o + o - r = 0. Let y be ((i*-1)/(-3))/1. Solve 8*s - 20 = y*s for s.
4
Let z = 16 - 11. Let d(r) = 0*r + r**2 - 5*r - 5 + 3*r. Let h be d(z). Solve -5*q = -h*q + 15 for q.
3
Let l = 13 + -11. Solve 0 = -2*n - l*n for n.
0
Let w be 2*(-4 - (-30)/5). Solve 0 = -h + w*h for h.
0
Suppose 0 = o - 6*o + 20. Let x = 19 - 8. Suppose -2*j = 4*d - 2*d + o, x = -3*j - 4*d. Solve 2*g - j*g = 3 for g.
-3
Let c = -4 - -4. Let m(d) = -d + 21. Let n be m(c). Solve 4 + n = -5*s for s.
-5
Suppose 2*i - 3*p - 4 = -p, -5*i + 3*p + 14 = 0. Solve -i - 4 = 4*u for u.
-2
Let q(h) = -h**3 - 6*h**2 - 7*h - 10. Let y be q(-5). Solve y = -5*l + 4 + 11 for l.
3
Let m be (-9 - -1)*(-2)/4. Suppose h = -5*w + 15, 5*w + 3*h - 19 + m = 0. Solve w*q = -2*q + 20 for q.
4
Let m(o) = 2*o - 15. Let h be m(10). Suppose 5*v - 6 = h*b - 1, b + 7 = 4*v. Solve b + 3 = n for n.
4
Let u be 4/(-12) - (-13)/3. Solve -u = 3*v - 1 for v.
-1
Suppose 1 = -3*m + 7. Suppose -m*z = -0*z - 2. Solve -z = -4*c + 7 for c.
2
Let o = -23 + 28. Suppose o*c = 184 - 74. Solve 4*n = -2 + c for n.
5
Suppose 3*b - b = 2*w + 8, -2*b = 2*w - 16. Solve 4*n + 2 = -b for n.
-2
Suppose -10*s - 3 = -11*s. Let b = -1 - -2. Let k = -1 + b. Solve k = 5*q - s*q + 10 for q.
-5
Suppose l = 2*z + 8, -z + 9 = 5*l - 9. Solve -l*r = -2*r for r.
0
Let d be 5 + 2*1/(-2). Let g(l) = -1 + l**2 - l + d*l + l - 1. Let k be g(-5). Solve 3*v + k = 4*v for v.
3
Let s(i) = i**2 - 31*i - 32. Let f be s(32). Suppose 0*h - h + 14 = 5*o, -4*o = 5*h - 28. Solve f*r = o*r + 6 for r.
-3
Let i(t) = -t. Let c be i(-6). Suppose -3*m - 15 = -8*m. Suppose -5*u + 2 = -2*f, -m*f + 7*f - 5*u - c = 0. Solve -f*v - 3 = -v for v.
-1
Suppose -8 = 5*u + 2. Let a be (2/u)/((-2)/6). Solve g + a = -2*g for g.
-1
Suppose -k = 5*f, 4*k - 14 = -2*f + 22. Solve -5*s = -k + 30 for s.
-4
Suppose 40 = -2*k + 7*k. Let j(d) = -d**3 + 7*d**2 + 9*d - 8. Let a be j(k). Let l(p) = -p**2 + 3*p + 1. Let i be l(3). Solve i = -a*g + g for g.
1
Let c(t) = -4*t + 32. Let a be c(8). Solve a*j + 6*j = -18 for j.
-3
Let x(d) be the third derivative of 2*d**2 - 1/3*d**3 - 1/24*d**4 + 0 + 0*d. Let c be x(-7). Solve -3*j = -2*j - c for j.
5
Let s be -6*1*5/(-2). Suppose 3*j = -5*a - 15, 8*a + 2*j = 3*a - s. Let g(p) = -p. Let m be g(a). Solve -m*o + o = 2 for o.
-1
Let x(o) = -o + 30. Let q be x(15). Solve -q = 3*y - 0 for y.
-5
Let a(v) = v**3 + 5*v**2 - 8*v - 9. Let f be (-3)/(-1) - (0 + -1). Suppose -f*r - 18 = -r. Let w be a(r). Solve 2*p = p - w for p.
-3
Suppose -n - 12 = -3*n. Suppose -3*i - 21 = -n*u + 3*u, 5*u - 27 = i. Solve -r = -0 - u for r.
5
Let i be (-13 - -1) + (6 - 4). Let h = -8 - i. Solve 4 - 8 = h*b for b.
-2
Suppose 3*q + 33 = 3*j, -j = 10*q - 5*q - 29. Solve -4*w + j + 6 = 0 for w.
5
Let o = 1 + -1. Solve 2*r = -o*r + 10 for r.
5
Let r be (-14)/(-21)*(-18)/(-4). Let b(i) be the first derivative of -i**3/3 + 2*i**2 - 3*i + 1. Let d be b(r). Solve 4 + d = -y for y.
-4
Suppose -b = -m, -3*b + 0 = -6. Solve -y + 3 = -m for y.
5
Let y = 12 - 8. Let v = -3 - -3. Solve -f + y*f = v for f.
0
Suppose -3*o + 4*o + 10 = -5*a, 5*a - 4*o = -35. Let m be 9/((18/(-8))/a). Solve -4*i + 4 = -m for i.
4
Let a = -31 + 34. Let f(z) = z**2 + 5*z + 4. Let x be f(-4). Suppose x = -0*i + i. Solve a*r + i = -3 for r.
-1
Let n(t) = -t**2 + 3*t + 3. Let i be n(3). Let u(b) = b + 7. Let v be u(5). Suppose d + v = 5*d. Solve -12 - d = -i*a for a.
5
Let r(l) = -l + 12. Let u be r(12). Solve -4*q + 20 = -u*q for q.
5
Let f(k) = -k**3 + 5*k**2 + k. Let i be (-9)/(-15) - (-44)/10. Let d be f(i). Solve -28 = d*z - 3 for z.
-5
Let i be -1 + ((-8)/(-4) - -2). Solve -i*y - y = -4 for y.
1
Suppose -2*g + 4*p + 36 = 2*g, 2*p - 12 = -4*g. Solve -7 = -2*c - g for c.
1
Let y(u) = -u**3 - 4*u**2 + 8*u - 5. Let q be y(-6). Suppose 0 = -4*x + 3*h + 36, -5*h + 17 = 4*x - q. Solve -4*w - 3 = x for w.
-3
Let o(q) = 3*q + 27. Let r be o(-9). Solve r = -3*j + 6*j for j.
0
Let t(j) = j - 5. Let c be t(5). Suppose c = -u + 2 + 5. Let a = 16 - u. Solve a + 3 = 3*s for s.
4
Let c(i) = -i**3 - 4*i**2 + 4*i - 5. Let b be c(-5). Suppose d + 4 = b, 4*w - 3*w - 19 = d. Suppose -4*f - w = -7*f. Solve f = 2*x - 1 for x.
3
Let i be 4*(-2 - -5) + -3. Suppose 0 = i*q - 7*q. Solve q = -4*y + 7 - 27 for y.
-5
Let y(g) = -2*g + 7. Let z be y(2). Solve -6 = z*v - 0*v for v.
-2
Let k(x) = 7*x - 2. Let z be k(1). Solve -8 = -z*u + 7 for u.
3
Let r be (-5 - -9 - 3)*(3 - 2). Let i be (-3)/((-18)/(-8))*-3. Solve -i + r = t for t.
-3
Let q be (-57)/(-6) - 3/2. Let t be 1/(-4) + 74/q. Solve 3*a - t = 3 for a.
4
Let l(y) = y**2 - 2*y - 5. Let j be l(4). Solve 9 = -j*o - 3 for o.
-4
Let u(j) = -7*j**3. Let g be u(1). Let d = 16 + g. Solve 0*s + d = 3*s for s.
3
Suppose 5*h - 21 = 3*b, -2 = -0*b + b. Suppose -7*t + 2*t = h*r - 12, -5*t + 3*r = 12. Solve l + t = -1 for l.
-1
Let z(c) = -c**2 + 8*c - 9. Let i be z(6). Let l(g) = g**2 - 6*g + 6. Let b be l(7). Let d = b + -9. Solve -q + d = i*q for q.
1
Let o be (-7)/(-4) + (-12)/(-48). Solve 3*w - 4 = o for w.
2
Let l = -31 + 45. Let p = l + -12. Solve 0*n = -p*n for n.
0
Suppose 3 - 13 = -5*k. Let q be (k/3)/((-14)/(-63)). Let u = 19 + -12. Solve q*l + 4 = u*l for l.
1
Let i = 6 - 5. Let d(y) = 3*y**3 - 2*y**2 + y. Let g be d(i). Solve -3*f = g*f - 5 for f.
1
Let b = 3 + 0. Suppose -18 = -5*g - b. Suppose -4*h + 3*t = 0, -3*h + h = t. Solve h*s = s + g for s.
-3
Suppose -6*f + 9 = -3*f. Solve -f*q - 15 = -6*q for q.
5
Let c(q) be the second derivative of q**4/3 - 3*q. Let b be (-2 - -5)*1/(-3). Let s be c(b). Solve 7 = s*d + 27 for d.
-5
Suppose 0*d + 2*d + 6 = 3*s, d = -3. Suppose 4*z = -5*h + 25, s = -0*h + 3*h - 3*z - 15. Suppose -h*v + 30 = -0*v. Solve 4*w - v = w for w.
2
Suppose -10*s - 11*s = -105. Solve -y = -s*y + 20 for y.
5
Suppose -3*i - 2*q + 13 = 0, -q + 4*q = i + 3. Let f be 0/(-1 + 1 + i). Solve f = b + 2*b - 12 for b.
4
Let b = -7 - -7. Let x(q) = -5*q + 1. Let n be x(-2). Let h = -2 + n. Solve b = 2*r - h + 1 for r.
4
Suppose -2*x = -5*l - 1 - 1, -2*l - 4*x = -4. Solve 5*i + 0*i + 25 = l for i.
-5
Let h = -3 + 7. Suppose 2*w = -h*c, -c - 3*c = -2*w. Let p be -2 + 1 - (w - 4). Solve 9 = 4*u - p for u.
3
Let c(v) = 2*v**3 - 10*v**2 + 7*v + 7. Let p be c(4). Solve -p*s + 5 = 2 for s.
1
Suppose -7 = -4*z + 21. Solve -4 = -3*u + z*u for u.
-1
Suppose -3*u = -5*u + 4. Let v be (3*12/(-9))/(-1). Suppose -v*q + 18 = -3*q. Solve 5*p - q = u for p.
4
Let b be (-2 - -1)/(2/(-2)). Let p = 2 - b. Let n(k) = k**3 + 3*k - 2. Let q be n(1). Solve -q*o - p = 5 for o.
-3
Let k be (2/4)/(4/16). Suppose v + k*v - 39 = 0. Let p be -133*(10/14 - 1). Solve -5*i - p + v = 0 for i.
-5
Let y(s) = -s**3 - 6*s**2 + 6*s - 5. Let o = 8 - 15. Let p be y(o). Solve -2*i + 3*i - p = 0 for i.
2
Let i be ((-2)/(-5))/(7/(-70)). Let k be (-17)/i - 13/52. Solve -18 + 6 = k*s for s.
-3
Suppose -2*a - 16 = 3*j - 10, -5*j - 10 = 0. Let p be (32/6)/(2/6). Solve -k - 3*k + p = a for k.
4
Let a(f) = f**3 + 3*f**2 + f + 4. Let b be a(-3). Let n = b - -1. Solve 4 + 2 = -n*d for d.
-3
Let u(y) = y**3 - 17*y**2 - 19*y + 20. Let v be u(18). Solve 3*s - v = 2*s for s.
2
Su