 for z.
5
Let q be 1/((-1)/2) - -4. Suppose 0 = -g + 7 - q. Let n(x) = 3*x - 1. Let w be n(1). Solve -3*z + w - g = 0 for z.
-1
Let v = 32 + -30. Solve -1 = v*n + 1 for n.
-1
Let a be (-6)/1*(-15)/9. Suppose -k + 6*k = a. Solve 0 = k*v - 5 - 3 for v.
4
Suppose -a + 5 - 1 = 0. Solve t + t = a for t.
2
Suppose -10*m + 2*m = 0. Solve m = 3*z - 6*z - 6 for z.
-2
Suppose 5*t = 2*a + 2*a + 20, -4*a = -2*t + 8. Solve -j + 6*j + 15 = a for j.
-3
Suppose -12 = -3*m - m, 3*m - 12 = -h. Let o = 7 - h. Solve c = o - 5 for c.
-1
Let x(t) = -2*t - 18. Let b be x(-9). Solve 2*w + b*w = -2 for w.
-1
Let q(v) = -7*v**3. Let g be q(-1). Let r(n) = -8*n + 6. Let i be r(g). Let p be ((-4)/10)/(5/i). Solve p*y + 0*y = -12 for y.
-3
Let i be ((-4)/3)/((-4)/6). Solve -i*m + 2 = -m for m.
2
Let z(i) = -2*i**2 - 4*i - 1. Let d be z(-2). Let q(a) = -4*a**3 - 2*a**2 - 2*a - 1. Let n be q(d). Solve -3*r + n = -0*r for r.
1
Let u be 2/(-10) - 66/(-30). Solve -5*i + u*i = -9 for i.
3
Let r be (-2)/(-4)*(0 + 0). Suppose -3*g + r + 3 = 0. Solve 2*c - g = c for c.
1
Let s = -112 + 114. Let q(m) = -m**2 + 5*m - 2. Let v be q(4). Suppose 0 = v*o + 5*g - 16, -4*o + 3*g - 21 = -9*o. Solve -s*x = -o - 5 for x.
4
Suppose -16 = -4*i - d, i - d = 2*d - 9. Solve -b = -i*b - 2 for b.
-1
Let c(h) = 4*h**2 + h + 2. Let g be c(-2). Solve 2*u - g = -2*u for u.
4
Let s(q) = q**2 - 6*q + 2. Let y be s(6). Solve y*p - 2 = -0 for p.
1
Let m be (-10 - -13) + (-1 - 2). Solve m = c + 3*c + 16 for c.
-4
Let a(n) = -n**2 - 6*n + 3. Let u be a(-5). Let x = 12 - u. Solve 2*f + 2 = x for f.
1
Let k = 17 - 17. Solve 4*g + 11 + 5 = k for g.
-4
Suppose -2 = -4*i + 10. Suppose -c = -i + 1. Solve 3*m = -c - 10 for m.
-4
Let q be 0*(-2)/(-2) + 5. Suppose -3*n = q - 17. Let c(l) = -l + 16. Let h be c(9). Solve -n*f + h*f = -3 for f.
-1
Let i = -17 + 22. Solve -3 + i = 2*b for b.
1
Let q(v) = v**2 + 3*v + 1. Let f be q(-4). Suppose z = f + 1. Suppose -b = -3*b + z. Solve b*n + 10 = n for n.
-5
Suppose -2*u = 0, 3 + 17 = 4*t + 4*u. Solve -3*c - 10 = t for c.
-5
Let o be (-52)/(-12) - (-6)/9. Let f = -1 - -2. Suppose 0 = -4*u - 4, y = -u - u. Solve y*l + f = o for l.
2
Let r = -11 - -31. Suppose -3*v + 10 = -2*v - 4*a, 0 = 5*v - 3*a - 16. Suppose 3*u = -v*u + 20. Solve -u*x + r = x for x.
4
Suppose -2 + 31 = -5*m + 2*d, -m = d + 3. Let q = 8 + m. Solve -t + 4 = -q*t for t.
-2
Suppose 0 = -3*z - 1 + 4. Let m = 21 - z. Solve 5*u = u + m for u.
5
Let j be 1*(0/3 + 0). Solve 4 = -t - j for t.
-4
Let m(f) = f**3 + 2*f**2 + 3*f + 3. Let h be m(-2). Let j be 2/(-2) - -6 - -1. Let p = h + j. Solve 0 = p*k - 2*k for k.
0
Let w be ((-32)/(-24))/((-2)/(-6)). Solve 4*j - w + 0 = 0 for j.
1
Suppose -7 - 5 = -2*l. Let x = l - 9. Let q = x + 7. Solve 0 = q*c - 6*c + 2 for c.
1
Let v = -7 + 11. Suppose 4*u - 14 = -3*u. Solve -v = -u*b - 0*b for b.
2
Suppose -3*l + 0*l = -4*t + 54, -t = -2*l - 11. Solve 4*d - t = d for d.
5
Let k be ((-6)/5)/((-8)/20). Let f(l) = -l**3 + 2*l**2 + 4*l - 1. Let g be f(k). Solve -8 = -g*h + 2 for h.
5
Let h be 8/2 + (6 - 3). Let g = 11 - h. Solve 0 = -5*u + g*u - 4 for u.
-4
Let c(l) = 5*l + 3. Let b(k) = 4 + 0*k + 5*k + k. Let d(p) = 4*b(p) - 5*c(p). Let w be d(1). Solve 0*x + x - 1 = w for x.
1
Suppose -5*z + 4*m + 40 = 9, -39 = -5*z - 4*m. Solve 0 = z*y - 2*y for y.
0
Let w = 24 + -24. Solve -2*h - h + 3 = w for h.
1
Let t(v) = -v**2 - v. Let j(o) = -o**3 + 3*o**2 + 8*o + 4. Let g be 1/(-3) + (-2)/3. Let z(u) = g*j(u) - 6*t(u). Let w be z(-3). Solve -2 - w = -q for q.
4
Let j(h) = -h**3 + h + 21. Suppose 5*c + 9 = -6, -n = -4*c - 12. Let k be j(n). Suppose 4*p = p + k. Solve 2*l = 3 + p for l.
5
Suppose -2*c + 2 = -4. Let b be (2 - 0 - 3) + c. Solve 4*q + b = 3*q for q.
-2
Let y be (-7)/(-3) - (-2)/(-6). Let s(n) = n**2 - 3. Let m be s(0). Let v = m - -6. Solve y*g = -v*g for g.
0
Suppose 5*y - 30 = -5*z, 7*y + 4 = 3*y + 3*z. Suppose -y*j - 3*j + 10 = 0. Solve -j*a + 6 = -4*a for a.
-3
Let o(v) = 2*v - 5. Let x be o(4). Suppose 0*h - h - 4 = -4*d, 5*h + 3*d - x = 0. Solve h = -2*r + 4 - 0 for r.
2
Let j(c) = -c**3 + 6*c**2 - c - 4. Suppose 0 = -7*y + 3*y + 20. Let l be j(y). Suppose -3*h + l = h. Solve -q + 2*q = h for q.
4
Let b = 10 + -12. Suppose 5*a = 5*y - 10, 5*a + 2*y - 5 = 6. Let p be -1 + (-6*a)/b. Solve 0 = 5*t - p - 3 for t.
1
Suppose 0 = -n - 6*d + d + 39, n - 5*d = -11. Solve 4*s - n = 6 for s.
5
Suppose -o + 9 = 2*o. Let u(y) = 6*y**2 - 3*y + 2. Let q be u(2). Solve 0 = -k - o*k + q for k.
5
Let b(z) = -z**2 - 8*z - 6. Let u be b(-8). Let a be u/9*(-4 - -1). Suppose -4*n = -n + 3*i - 9, a*i - 6 = 5*n. Solve 0 = m - n*m - 2 for m.
2
Let b be (1 + 0/(-1))*4. Solve t = -b*t for t.
0
Suppose 4*l - 90 = -2*t, -3*l + 35 = -l - t. Let n = l + -18. Solve -k = -3*k + n for k.
1
Suppose -3 = -5*n + 3*l, 0 = -5*n - 2*l + 30 - 7. Suppose 0 = -2*b + 7 + 1. Let m = b + -4. Solve 0 = -n*i - m - 6 for i.
-2
Suppose -3 + 1 = -j. Suppose 0 = -2*k - 3*p - j - 14, 2*p = -k - 8. Let y be (-1)/4 - 34/k. Solve -d = -y + 1 for d.
3
Let s(i) = i**3 + i**2 - 3*i + 2. Let y be s(1). Solve -o = -4 + y for o.
3
Let i(d) = d**3 + 5*d**2 - 10*d - 4. Let s be i(-6). Solve -6*u + u + s = 0 for u.
4
Let l(c) = -2 - c**3 - 6*c + 166*c**2 - 3 - 172*c**2. Let r be l(-5). Solve r = 3*m - 8*m - 25 for m.
-5
Let z = -6 - -11. Suppose z*m = 1 + 9. Suppose -3*r = -4*r + m. Solve -2 - 6 = -r*n for n.
4
Suppose -2*x + 3*x + 4 = 0. Let s be (-18)/(-4) + 2/x. Solve 0*y = 2*y - s for y.
2
Suppose c - 5*y + 2 = 0, y + 6 = 3*c - 2*y. Suppose -27 = -c*p - 6. Let m = -4 + p. Solve 7*i - 4 = m*i for i.
1
Let d(l) = l**3 - 4*l**2 + 3*l + 2. Suppose -2*s - s - f = -12, -4*f + 15 = s. Let v be d(s). Solve v*y - 4*y = 10 for y.
-5
Let r(k) = 4*k + k - 4*k - 2*k. Let w be r(-7). Let n be 9*2/2*1. Solve -4*o - n = w for o.
-4
Let w = 15 - 13. Solve w = k - 3 for k.
5
Let f(m) = m**3 + 29*m**2 + 28*m + 20. Let d be f(-28). Solve -4*r = r + d for r.
-4
Let m be 3/(((-2)/(-1))/2). Let b(y) = -y**2 + y + 9. Let u be b(0). Solve -u = 3*n + m for n.
-4
Let c(i) = -i + 2. Let o be c(0). Solve v + o - 4 = 0 for v.
2
Suppose -5*w + 15 = i, 21 = 5*i - 5*w + 6. Let t = i + -3. Solve t*s = 5 - 3 for s.
1
Suppose 0 = -2*p + 3*p + 7. Let t(k) = k**2 + 7*k + 1. Let d be t(p). Solve 3*z = 5 + d for z.
2
Let b be (4*-1)/((-2)/4). Let v = 10 + b. Suppose 18 = 3*r - v. Solve l - 5*l + r = 0 for l.
3
Let c(s) be the third derivative of -s**4/24 - 7*s**3/6 - 3*s**2. Let r be c(-9). Suppose 0 = -r*x - 0*x. Solve x = -0*t - t for t.
0
Let b be 0 + -1 + -2 + 4. Let z be b/(-2) + 34/4. Suppose -4*f - z = -8*f. Solve f*l = -0*l for l.
0
Let n(m) = -m**3 - 10*m**2 - 10*m - 7. Let o be n(-9). Suppose 0 = o*v - 4*v. Solve v = -2*f + 7 - 3 for f.
2
Let x = 0 - -15. Suppose -2*p - 2*b - 12 = -3*p, -5*p + b + x = 0. Suppose -4*o - 4*i + 18 + 2 = 0, p*i + 10 = 3*o. Solve -5*s + o = -3*s for s.
2
Let c = 29 - 29. Solve 15 = -c*b - 5*b for b.
-3
Suppose -2*q + 1 = -17. Let d = 6 + -12. Let n = d + 6. Solve -o + 4*o + q = n for o.
-3
Suppose -d - 12 = -16. Let h be (2/(-3))/(2/(-18)). Solve f - h = d*f for f.
-2
Let d be 4/8*(5 + 1). Suppose 1 - d = -v. Suppose -3*c = -h - 7, -3*c + 4*c = -v*h. Solve -3 = -c*y + 3 for y.
3
Let t(d) = -3*d - 2. Suppose 0 = u + 5 - 3. Let k be t(u). Solve k*n = n - 15 for n.
-5
Suppose -b = -3, 3*q = 2*b - 5*b + 36. Solve -3*x = -6*x - q for x.
-3
Let z be 2*(105/6 + -3). Suppose -z = -5*w + 36. Solve 4*b = -w + 1 for b.
-3
Let n = 40 - 37. Solve -6 = h - n*h for h.
3
Let r = 0 + -10. Let g(i) = i**3 + 11*i**2 + 9*i - 4. Let z be g(r). Solve l = z*l for l.
0
Suppose 8*l + 21 = 6*l + 5*c, -3*c + 19 = 2*l. Solve -2*a - l = -6 for a.
2
Let b = 91 + -82. Solve 5*p = -6 - b for p.
-3
Let q(c) = c**2 - 9*c + 10. Let x be q(8). Let s be (x - (2 - 9))/1. Solve s = 3*d - 6 for d.
5
Let f(g) = -3*g**3 + g + 1. Suppose 4*t + 8 = 0, -5*h + 37 = -5*t + 7. Suppose -5*n + n = h. Let u be f(n). Solve 2*q = 5 + u for q.
4
Let h(c) = c**2 - c - 3. Let z be h(4). Suppose -v - 14 = -5*o, -1 = 3*o - v - z. Solve 0*b = b + o for b.
-3
Let z(g) = g - 5. Let y be z(9). Solve w + y*w = 10 for w.
2
Let h(d) = -d**3 + d**2 - d - 4. Let m be h(-3). Let k be 10/m - (-4)/(-14). Let s = 0 - -12. Solve 3*z + 0*z + s = k for z.
-4
Suppose -16 = -5*o - 6. Solve 2 = -o*s