lve m*z = 7 - 4 for z.
1
Let t be ((-1)/(-3))/((-3)/9)*-1. Solve 3*v - t = 5 for v.
2
Let m be 1/(24/(-8) - (-92)/30). Solve 5*o + 0 = m for o.
3
Suppose -5*a - 7 = -x + 2, 3*x - 5 = 4*a. Let o be (-3 + 3)/(5 + x). Solve 0*h - h + 4 = o for h.
4
Let g = 0 - -5. Suppose 2*l - g*o = 21, l + 0 = 3*o + 12. Solve 3*j + l = 18 for j.
5
Suppose -3*l + 19 = -56. Let r be (-15)/6*(-20)/25. Solve 0 = -r*f - 3*f + l for f.
5
Suppose -5 = -3*h + 4. Let m(o) = o**2 - 5*o - 5. Let f be m(6). Solve -h*r - f = 5 for r.
-2
Let t(g) = -g**2 + 4*g + 12. Let r be t(6). Solve r = v + 2*v for v.
0
Let l be 32 - 10 - (-1 - -5). Solve l = 5*p - 7 for p.
5
Let p(f) = f**3 - 4*f**2 - 4*f - 5. Let b be p(5). Suppose 2*c - 5*c = b. Let a = c - -4. Solve a*l = l for l.
0
Suppose -5*d = -3*d. Let p = -8 + 28. Let y = p - 16. Solve y*w - 6 - 6 = d for w.
3
Let m(v) = v**2 - 3*v - 3. Let i be m(3). Let y be i + (27 - 1/(-1)). Solve -3*n - 2*n = -y for n.
5
Let n = 17 + -9. Solve u + n = -u for u.
-4
Let x be 16/3 - 4/12. Let d be 3/x - (-66)/15. Solve 3*y - d = 1 for y.
2
Let a be 30/8 + 2/8. Suppose -2 = -z + 3*y - 5*y, a = 2*z - 2*y. Suppose -x - 4*x = 3*o - 25, -x = z*o - 12. Solve o*g - 19 - 6 = 0 for g.
5
Let w = 46 - 40. Solve -i = -w*i for i.
0
Suppose -2*f + 8*f = 54. Solve 0 = 3*s + 24 - f for s.
-5
Let r(q) = 4*q**2 + 4*q + 3. Let h be r(-2). Let j = 88 - 88. Solve 5*m - 1 + h = j for m.
-2
Let q(d) = d**2 + d. Let o be q(3). Suppose 5*j - 20 = 3*u, 4*j - 4*u = 36 - o. Solve -3*p + j = -2 for p.
1
Suppose -3*t + 3*p = 15, t + 5*p = -0*p + 1. Let l = 7 + t. Solve -2 = -2*k + l*k for k.
-2
Let a(j) = 7*j - 15. Let z be a(3). Solve z*c = 2*c for c.
0
Let i(h) = h**3 - 8*h**2 - 9*h + 5. Let x be i(9). Suppose -2*t = x*v - 28, 2*v + 20 = 3*v + 4*t. Suppose -4*r - 12*r + 80 = 0. Solve v = r*b - b for b.
1
Let x = -28 + 36. Solve 0*n - 2*n = -x for n.
4
Suppose 0*a - 1 = -t + a, 0 = -4*t - 4*a - 4. Solve t = 2*d - 0*d + 8 for d.
-4
Suppose 0 = 4*z + q - 17, -q + 27 = 4*z + 2*q. Solve d = -z + 2 for d.
-1
Suppose 14 + 10 = 4*m. Let s(p) = 10*p - 240. Let f be s(24). Solve f = j - m*j - 10 for j.
-2
Let v(m) = 3 - 4*m**2 - m**2 - m**3 + 2*m + 4*m**2. Let n be v(-3). Let h be (-2 - -3)*(-13 - -13). Solve -3*t + h = -n for t.
5
Let z be -1 - 1 - (-12 + 4). Let r be z + 3 - (-1 + 1). Let f be 1 - (0 - (2 - -1)). Solve -f*h + h = -r for h.
3
Let v(m) = m**3 - 7*m**2 + 8*m - 2. Let k be v(6). Solve 0 = -2*g + k - 4 for g.
3
Let y = -5 - -7. Let l(g) = -2*g**3 - 3*g**2 - 4*g - 2. Let f be l(-2). Suppose 6 = -4*h + 6*h. Solve h*p - f - y = 0 for p.
4
Let r be ((-32)/12)/(6/(-9)). Solve -r*x = -5*x - 5 for x.
-5
Let y = 13 - 11. Solve a = -y*a - 6 for a.
-2
Let m be (0*(3 + -4))/(-1). Let h(d) = -2 - 6*d**3 + 0*d**3 + 5*d + 5*d**3 + 2*d**2. Let v be h(3). Solve -v*o - o = m for o.
0
Let h = -73 + 78. Solve h*d - 3*d = -2 for d.
-1
Suppose -9 = 22*u - 23*u. Solve 3*c - u - 6 = 0 for c.
5
Suppose -2*s - 3*z - 4 = 0, 0 = 3*s - 0*s + z + 13. Let a be (-10)/25 - 7/s. Suppose -5*n + 9 + 11 = 0. Solve r - a = n for r.
5
Suppose 2*y = y - z - 1, 3*y + 2*z = 0. Let s be (y/4)/((-1)/(-40)). Solve -3*j + s = -8*j for j.
-4
Let i = -1 + -2. Let l be (i + 6)/((-6)/(-4)). Solve -l*s = -4*s - 6 for s.
-3
Let g(n) = n**3 - 2*n**2 - 5*n - 2. Let p be g(4). Solve 0 = -5*x - p - 5 for x.
-3
Let y(v) = -v**3 - 3*v**2 - 3*v - 2. Let o be y(-2). Suppose f - 3 - 2 = o. Solve 4 = -z + f*z for z.
1
Let n be ((-45)/(-18))/(1/(-2)). Let u = n + 7. Let w be 2/7 + 12/7. Solve u*m = -w*m for m.
0
Suppose 5*h = v - 16 - 25, 4*v = -h - 25. Let y be (0 + (-6)/h)*6. Let s = 1 + y. Solve 0*l = -s*l for l.
0
Suppose -u + 0*u - 21 = -5*z, 1 = 4*u - 3*z. Let f = u + -1. Solve 2*v - 7 - f = 0 for v.
5
Let w(x) = x - 23. Let h be w(23). Solve 5*l + h*l = 10 for l.
2
Suppose -3*t - 3*y - y = -9, -2*t + y + 6 = 0. Solve t*v = -12 - 0 for v.
-4
Let c(z) = z + 4. Let u(t) = -t**2 - 8*t + 7. Let p be u(-8). Let x = p - 1. Let h be c(x). Solve -h = -k - k for k.
5
Suppose 3*v - 15 = 3*g, 4*v = -5*g + 6 + 14. Solve 0*w - w - 4 = g for w.
-4
Let z be -2*1*33/(-22). Solve -2*l + 3 = -z for l.
3
Let o(q) = -q**2 + 8*q + 9. Suppose -2*f + 10 = -8. Let d be o(f). Solve x + 0*x - 3 = d for x.
3
Let n be ((-2)/3)/((-1)/3). Let a(r) = 3*r + r - 7*r + 4*r + 3. Let c be a(-3). Solve y - n + 3 = c for y.
-1
Suppose 0 = -5*r + 6 + 9. Solve -c - 16 = r*c for c.
-4
Suppose -5*s = -15, 0*p + 4*p - 5 = s. Solve 0*k = -p*k for k.
0
Let d(m) = m. Let o be d(-2). Let n be 6/4 - o/(-4). Solve 1 = -2*g - n for g.
-1
Let i(g) = -g**2 - 4*g. Let y be i(-3). Solve -2 = y*o - 5 for o.
1
Suppose n - 5*x = -2*n - 26, -5*n - 31 = 4*x. Let t(k) = k**3 + 8*k**2 + 7*k. Let f be t(n). Solve 2*d - d - 5 = f for d.
5
Let h(q) = -2*q**2 + 2*q. Let c be h(1). Let u = 0 - -3. Solve c*x - u = -x for x.
3
Let o(w) = -2*w**2 + 12*w. Let h be (-3)/(-2 - -5)*-5. Let v be o(h). Solve -2*y = v - 0 for y.
-5
Let z = 10 - -1. Let x = z + -5. Solve x*y - 2*y = -20 for y.
-5
Let y be 1 + 20/4 - -1. Let q = -4 - -7. Solve y*x - q = 4*x for x.
1
Suppose 4*m = m + 6. Let w = -20 - -4. Let c be 1/(w/17 + 1). Solve -m = -3*l - c for l.
-5
Let v = 4 - 3. Let i be 2/((-4)/(-18)) + v. Let m be i/6 + (-12)/18. Solve -m + 2 = y for y.
1
Suppose -2*i + i = -9. Solve -v - i = -4*v for v.
3
Let o be (1 - 1 - 2) + 22. Suppose o = -5*b, 0 = x + x + 3*b. Solve -2*m = m + x for m.
-2
Let u(k) = -k**3 + 15*k**2 - 16*k + 29. Let q be u(14). Solve -q - 4 = w for w.
-5
Suppose 2*u = 3*u. Solve u*g + 5 = -g for g.
-5
Let b(t) = -t**2 - 6*t - 3. Let k be b(-5). Solve -k*u + u = -5 for u.
5
Let c = 30 - 26. Solve 0*d = c*d for d.
0
Let p = 14 - 10. Suppose p*x - 8 = -2*g, 2*x - 1 = 2*g - 9. Solve x*c + 4*c = 20 for c.
5
Let i(j) = j**2 - 1. Suppose 2 = -2*k - 0. Let x be i(k). Suppose x = 8*u - 6*u. Solve u = 3*z + 6 for z.
-2
Let c = 16 - 12. Solve c*m + 0 = 4 for m.
1
Let q(n) = n**3 - 5*n**2 - n + 8. Let l be q(5). Solve 0 = 5*y + 13 - l for y.
-2
Suppose -o + 0 + 2 = 0. Suppose -o = -3*w + 10. Solve -w*j - j = -5 for j.
1
Let m = -8 - -11. Suppose -5*x - 1 + 6 = 0. Solve -x - m = -l for l.
4
Let x = 3 - 0. Suppose 0 = 5*w - 7 - x. Solve b - w = -3 for b.
-1
Suppose -t - t + 3*g - 12 = 0, t + 16 = 4*g. Let j(x) = -x**2 + x - 5. Let s be j(t). Let k = s + 5. Solve -5*w = -k*w - 15 for w.
3
Suppose -3*q - 6 = -9. Solve -4*c + q = -7 for c.
2
Let z(t) = -5*t + 4 + 2*t + 0*t - t**2. Let r be z(-3). Suppose -n - 3*a = -0 - 4, -4*n + r*a = 0. Solve 2*s - n = -9 for s.
-4
Let l be (-2)/4 + 123/6. Suppose f + l = 3*f. Solve -2 + f = -2*v for v.
-4
Let f = -9 + 13. Let w(g) = g**3 - 11*g**2 + 20*g - 16. Let z be w(9). Solve 0 = -z*s + 6*s + f for s.
-1
Let t be 6/5*(-5)/(-2). Let d(i) = i**2 - 3*i + 6. Let p be d(2). Solve -q = -t*q + p for q.
2
Let o(g) = 12*g - 5. Let z(v) = 4*v - 2. Let p(k) = -4*o(k) + 11*z(k). Let l be p(-1). Solve 1 = -s + l*s for s.
1
Let r(g) = -g**3 + 5*g**2 + 7*g - 4. Let s(h) = h**2 - 5*h + 2. Let i be s(3). Let n = 2 - i. Let f be r(n). Solve -f*o = 3*o for o.
0
Let l(y) = 10*y**2 - 2*y**3 - 11*y**2 - y**3. Let r be l(-1). Solve r*b - 11 = -3 for b.
4
Let f = -1 - -3. Let y be -2*(-2)/8*f. Solve -3*m + 7 - y = 0 for m.
2
Let n(x) = -x + 5. Let p be n(4). Let m = p - 1. Suppose f + 2 = -i - m, f + 4 = -2*i. Solve c + 4*c = f for c.
0
Let q be (3 + -3)/(3 + -2). Let u be 6 + (-3 - -1) + q. Solve 9*f = u*f for f.
0
Let c = -65 - -65. Solve -2*m + 3 + 7 = c for m.
5
Let x(c) = -c**2 + 5*c + 2. Let t be x(4). Let f = -2 + t. Solve y = -f*y for y.
0
Suppose 4 = 5*o - 1, f = -o + 1. Let a(l) = l**2 + 5*l + 10. Let q be a(-3). Solve -q = -y - f for y.
4
Suppose -k + 5 = 4*k. Suppose 4*i = k + 3. Let g be (-1 - 0)/(i/(-4)). Solve 2*z + 6 = -g for z.
-5
Suppose 4*v + v - 18 = -4*a, 6 = 4*v - a. Suppose -2*r = -5*m + 24, 2*r + 10 = -4*m + v*m. Let s = -5 - r. Solve s = -x + 3 for x.
1
Let t = -140 - -142. Solve -2*c - 8 = -t for c.
-3
Suppose 0 = 3*m + 3*h - 5*h, m - 7 = 3*h. Let o = -2 + 1. Let p be 4*o - m - -6. Solve -p*w = 3 + 9 for w.
-3
Let p = -30 - -32. Solve p = 2*r - 4 for r.
3
Let d(x) = x**3 + 4*x**2 - 5*x + 3. Let s be d(-5). Solve -s*z - 6 = -0*z for z.
-2
Let j be (-16)/6*3*2/(-8). Solve -j*t = 7 + 1 for t.
-4
Suppose -10 = -3*z + z. Solve -2*n = -z*n - 15 for n.
-5
