
Let x(q) = -2*q + 1. Let o be x(-2). Suppose -t + 3*m = -6, -4*m - 43 = -45*t + 42*t. Solve -o*n + 4 = -t for n.
5
Suppose 4*x - 4 = 2*z, 3*x = 3*z - 4 + 1. Suppose 4*t + 7*d - 2*d + 49 = 0, 4*t + 58 = -2*d. Let l = t + 21. Solve -z*f - l = -5*f for f.
5
Let m(n) = -n**2 + 13*n - 20. Let q be m(11). Solve 0*s = q*s - 2 for s.
1
Let u = 8 + -8. Let y be -8*2/(-4)*1. Solve u = c + 3*c - y for c.
1
Let d = 9 + -14. Let s be 10/(-3) + 2/6. Let h be d/s + (-5)/(-15). Solve -h*b = -b - 1 for b.
1
Let s(l) = -l**3 - 12*l**2 - 9*l + 25. Let h be s(-11). Solve -4*w + 5 = -h for w.
2
Let y(c) = c**3 - 3*c**2 + c - 4. Let m be y(3). Let x be m + ((-5)/(-1) - 1). Solve 6*s = x*s for s.
0
Suppose 0*u = -2*u. Let t = 12 - 12. Solve u = y - t - 1 for y.
1
Let o(g) = -g**3 - g**2 + g. Let f be o(0). Solve c = -f*c for c.
0
Let g = -2 + 8. Solve -k - g = k for k.
-3
Let g = -75 + 76. Solve g = 5*b - 4 for b.
1
Let t = 0 - 1. Let w be 4/(3 + (-2 - t)). Solve i - w = 1 for i.
3
Suppose -2*h - 3*h = -10. Let i = 6 - h. Let q = -2 + 4. Solve -i = q*w - 0 for w.
-2
Let h = 10 + -8. Suppose 4*k - 2*t - 56 = 0, k - 4 = 5*t + 10. Suppose -k = -4*l + h*i, -2*l = -l + 4*i - 17. Solve 0 = -b - l for b.
-5
Let o = 4 - 4. Suppose 5*x + 0*x + 3*n - 4 = 0, o = -n - 2. Let g be (-3)/((-2)/(x - 0)). Solve 5*v - 18 + g = 0 for v.
3
Let h(p) = 5*p**2 - p - 5. Let x(t) = -t**3 - t**2 + 1. Let v(l) = h(l) + 5*x(l). Let m be v(-1). Suppose -2*q + m*q = 12. Solve 0 = q*k + 2 + 1 for k.
-1
Let u(g) = g + 12. Let k(s) = 3*s + 24. Let v(y) = 2*k(y) - 5*u(y). Let q be v(6). Let o = q - -10. Solve -3*d = -8 - o for d.
4
Suppose 0 = -2*g + 6*g - 12. Suppose 5*q - 12 = -4*y, q - 1 + g = -3*y. Suppose -p - 8 = -4*d, q*d - 5*p - 19 = 5*d. Solve d + 14 = 3*j for j.
5
Let o = -9 + 12. Suppose -3*v = 2*b - 50, v = o*v - 3*b - 16. Solve -3*k = v + 1 for k.
-5
Let j(w) = w**3 - 3*w**2 + 3*w. Let i(z) = 2 + 2*z**3 + 0*z**2 - 7*z**2 + 6*z - z**3. Let v be i(6). Let q be j(v). Solve -y - q = -3 for y.
1
Suppose 73*n - 68*n = 0. Solve n = 4*f - 2 + 6 for f.
-1
Suppose -3*x + 2 = -4. Suppose -4*d - 5 = 5*t - 28, 5*t + 2*d = 19. Suppose -x*a = -t*a. Solve -3*g + 0 + 3 = a for g.
1
Let w be (-78)/(-4) - (-17)/34. Solve -3*l - 2*l + w = 0 for l.
4
Let q(n) = -n - 1. Let v be q(-3). Solve 0*s + v = -2*s for s.
-1
Let t = 14 + -10. Solve t = 5*u - 21 for u.
5
Let r(i) = -i**3 + 4*i**2 - 3*i + 1. Let n be r(2). Suppose 0 = 2*x + h - 6, 4*x - n*h + 3 - 5 = 0. Suppose 2*l - x = l. Solve -2*f = -6 + l for f.
2
Let w be (-96)/(-18) - (-2)/(-6). Solve -w = d - 0 for d.
-5
Suppose 6*y = 2*v + y - 4, -3*v + 19 = -y. Suppose 0 = -4*j - m + 17, 3*j - 4*m + m - 24 = 0. Solve 0 = -j*k - 13 - v for k.
-4
Let g = -5 - -12. Suppose -j = 2*j - 12. Suppose -3*h - 5*m = -j*h + 28, 3*m + 15 = 0. Solve -g*b + h*b - 8 = 0 for b.
-2
Suppose -6 = 5*l - 5*h + 4, 5*l = 3*h. Solve 0*u = -3*u - l for u.
-1
Suppose 2 = -b - 3. Let p = 6 + b. Let q = p - -1. Solve 3 = -l - q*l for l.
-1
Let l be 3 + (5 + -10 - -2). Solve 4*z = -l*z for z.
0
Suppose 0 = s - 5. Let c = 7 - s. Solve 8 = c*d - 6*d for d.
-2
Let m be (-20)/(-2)*8/(-20). Let n be (0 - -12)/m - -23. Solve 3*y = -y - n for y.
-5
Let v(i) = i - 14. Let s be v(17). Solve 3*u - 2*u = -s for u.
-3
Let a be (6 - 5)/((-1)/(-4)). Suppose f + 2*f = 0. Suppose s = -a*v - f*s + 13, 21 = 3*v + 3*s. Solve 0 = k + k - v for k.
1
Suppose -4*l = l. Solve 4*x + 1 - 5 = l for x.
1
Suppose -2*z = -6*z. Solve 10 = -2*i - z*i for i.
-5
Suppose -r - 3 = -3*c - 6*r, 4*r + 4 = 4*c. Solve c + 7 = -4*f for f.
-2
Let g = 68 + -64. Solve -8 = -g*u + 4 for u.
3
Let s = 18 + -4. Suppose 3*b = 2*b - 4, 4*b = -l - s. Solve -3*t + l = -t for t.
1
Let q(j) = -2*j**2 - 9*j + 8. Let i(d) = 5*d**2 + 27*d - 24. Let y(w) = 3*i(w) + 8*q(w). Let p be y(8). Solve p*u + 3*u = 15 for u.
5
Let u(y) = -y**3 + 6*y**2 + 9*y - 10. Let z be (-102)/(-14) + 4/(-14). Let t be u(z). Solve -4*o + t + 8 = 0 for o.
3
Let s be 1 + (-5)/7 + (-66)/(-14). Solve s = 5*b - 5 for b.
2
Let h be (-15)/(-5) - 2/(-2). Solve -h*y + 6 = -y for y.
2
Let m(j) = j + 2. Let z be m(5). Suppose 31 - 1 = 3*h. Let y = h - 2. Solve -3*x - z = y for x.
-5
Let q be 1/(4/2 - 1). Suppose 2 = w - q. Solve -w*d + 3 = -2*d for d.
3
Let p be (-4)/(-20) + 3/(-15). Solve 3*k - 4 - 2 = p for k.
2
Let a(y) = -10 - 2*y + 4 - 4. Let p be a(-10). Solve 3*i + 2*i = -p for i.
-2
Let v(o) = -o + 13. Let j be v(9). Solve 0 = -a - a - j for a.
-2
Let h be 3/(1 - 4) + 1. Let w be (-8)/6*(-3)/2. Solve h*d - 6 = -w*d for d.
3
Suppose -4 = 5*n - 24. Solve -3*z - n = 5 for z.
-3
Suppose -8 = 3*r + 4*z - 20, 2*z = 6. Solve r = -2*y - y + 6 for y.
2
Let j = 6 - 4. Solve -j*g - 3*g = -10 for g.
2
Let u(d) = 2*d**2 + 11*d - 6. Let h be u(-6). Solve h = -4*j + j - 6 for j.
-2
Suppose 3*b - 6 = 4*f, 0*b - 2*b = -5*f - 4. Suppose -5*k + 18 = -12. Suppose 3*q + x + k = 2, 5*x + 20 = 0. Solve b*t - 3 - 1 = q for t.
2
Let u(a) = a + 2. Let h be 5*(-1)/(-1 - 0). Let w be u(h). Solve 3*l + 5 = -w for l.
-4
Let r(k) = -17*k - 48. Let h be r(-3). Solve 0 = 4*w + h + 9 for w.
-3
Let l = 13 + -8. Let t = l - 0. Solve 0 = t*j + 2 + 13 for j.
-3
Suppose 2*x + x - 36 = 0. Suppose 0*o = -3*o + x. Let v be 3/9 + o/6. Solve g - v + 2 = 0 for g.
-1
Suppose -58*m = -52*m. Solve 3*p - 1 + 10 = m for p.
-3
Let m(q) = q**2 + 12*q + 9. Let k be m(-11). Let v(d) = -d**3 - d**2 - d. Let y be v(k). Suppose -y + 3 = -3*n. Solve n - 5 = 4*a for a.
-1
Suppose 0 = -3*t - 3*w + 30, 2*t + 16 = 5*w + 1. Let y = 4 - -16. Solve -o - y = -t*o for o.
5
Suppose -l + 6*l + 80 = 0. Let j be (l/(-28))/(2/7). Solve -5*i = -j*i + 6 for i.
-2
Let r(v) = -16*v + 130. Let y be r(8). Suppose 0 = 2*h - 5*c - 19, 0 = -4*h + 2*c + 8 + 6. Let x = -1 + 1. Solve -y*q + h = -x for q.
1
Let b(l) = -2*l - 1. Let v be b(1). Let i be (9/6)/(v/4). Let t(c) = -c**3 - c**2 - 2. Let z be t(i). Solve -k - z = 3 for k.
-5
Let h be ((-12)/10)/((-3)/10). Solve 6 = h*l + 2 for l.
1
Let j(v) = -90*v**3 - v**2 + 1. Let f be j(-1). Let d be (f/25)/((-9)/(-30)). Solve -3*m = m - d for m.
3
Let b = 25 - 20. Solve -b*w - 16 = -1 for w.
-3
Suppose -4*i - 14 = 2*y, -3*y - 3*i - 27 = -7*y. Suppose 3*j + 0*s = s + y, 5*j + 3*s - 19 = 0. Solve -j*t = 3*t + 25 for t.
-5
Suppose -3*a + 7 = 5*f, -4*f + a + 0 = -9. Solve v = 2*v - f for v.
2
Let f be (6/9)/(6/(-18)). Let d be -3 + 2 + (-6)/f. Solve 7*n + 10 = d*n for n.
-2
Let s(c) = c + 8. Let k = -3 - 3. Let p be s(k). Suppose -z = f - 4, -2 = -2*z + 3*f + 1. Solve -y + p = -z*y for y.
-1
Suppose 3*a = -15, 4*f + 6*a = 4*a + 22. Let o = -3 + f. Let m be (1 + -1)*-1 - -5. Solve 0 = m*n - o - 15 for n.
4
Let o = 11 + -9. Suppose -3*i = o*i - 20. Solve 6*v = 2*v + i for v.
1
Suppose -w - 10 = 4*m, 0*w + 4*w = 5*m + 23. Let b = -4 - -9. Solve -w*p - b = -3 for p.
-1
Suppose -23 - 25 = 4*h. Let y = h - -14. Solve 2*q + 0 = y for q.
1
Suppose 2*s - 3 = -0*z - z, -5*z = -2*s - 39. Solve z*q - 2*q = 0 for q.
0
Suppose -2*t + 4*o = 5*o - 3, 3*t = -4*o + 7. Solve 11 - t = -2*g for g.
-5
Let s = -16 - -9. Let l = 11 + s. Solve y - l = -y for y.
2
Suppose -p = -3*p + j + 10, 0 = 4*j. Let q(y) = y**3 - 6*y**2 + 6*y - 3. Let v be q(p). Solve v*r = -r for r.
0
Let u = 49 + -36. Let n(w) = -3*w**2 - 4*w - 3. Let q be n(-2). Let a = -5 - q. Solve 3*t - a = u for t.
5
Let q(l) = l**3 - 20*l**2 + 19*l. Let i be q(19). Solve -3*a - 2*a - 10 = i for a.
-2
Let m = 17 + -12. Let g(f) = -f**3 + 5*f**2 + 2*f - 6. Let o be g(5). Solve m*q = o - 19 for q.
-3
Let q = 11 + -15. Let d = q - -7. Solve -d*g = 2 + 4 for g.
-2
Let y = 5 - 2. Suppose 2*k - y*k = 0. Let t(u) = u**3 - 7*u**2 + 7*u - 3. Let v be t(6). Solve k = 3*b + v - 12 for b.
3
Suppose 2*l + 2 = -4*n, -5*l - 4 = -3*n + 1. Suppose -q - 4*q + 10 = n. Solve -7*t = -q*t - 25 for t.
5
Suppose 0 = 3*b - 2*b - 4. Suppose -5*t + 25 = -0*t. Suppose 0 = t*u - 2*d, -2*u - 2*d = d. Solve -w - b + 3 = u for w.
-1
Suppose -5*z = 3*g - 1, -3*z - 2*z + 16 = -2*g. Solve -z = 2*q - 3*q for q.
2
Let g(r) = r**2 + 3*r - 4. Suppose 0*y = -3*y - 12. Let h be g(y). Solve a + 0 - 2 = h for a.
2
Let y = -7 - -14. Suppose -u + 21 = 5*o + 2*u, 0 = 5*o + u - 17. Suppose 8*n - 16 = 4*n + 3*s, 4*n + s = 16. Solve o*q = y*q + n for q.
-1
Let k(i) = i**2 + 3. Let z be k(0). Let o = -9 + 13. Suppose 0 