 d for z.
-2
Let p = 2 + -4. Suppose i - 5*s = 5, 2*i + 2*s + 2 = i. Let a be i/1 - (p + 2). Solve a*r = 5*r - 20 for r.
4
Let k = 2 - 4. Suppose 0 = 2*d - 3 + 5. Let f be (-2)/((k - -3)*d). Solve -3*r + f = -4*r for r.
-2
Let c(q) = -q**2 - 8*q. Let x be c(-6). Solve 2*w - x + 4 = 0 for w.
4
Suppose 0 = b + 2*b + 6. Let s be (b/2)/(1/(-3)). Let d(j) = -11*j - 49. Let u be d(-6). Solve -5*i - s = u for i.
-4
Suppose -3*m + 16 = m. Suppose 6 = -m*n + 3*n. Let z be 2/n - (-7)/3. Solve -z*w + 4*w = -2 for w.
-1
Suppose 2 = 2*a + 5*d - 22, 26 = 2*a + 4*d. Let z be (-39)/(-12) + (-3)/12. Solve -2 + a = -z*k for k.
-5
Let f be 84/15 - 2/(-5). Let p = -11 + 15. Solve -p*z - f = -z for z.
-2
Let k be 7/14*(1 + 3). Solve -k*n = n for n.
0
Suppose -2 - 4 = -3*t. Solve -4*v - t = -3*v for v.
-2
Let q = 56 + -50. Solve -n + q = -4*n for n.
-2
Suppose 0*y - 2*y + 84 = 0. Suppose 2*c = -c + y. Suppose 0 = -3*n + d + 10, 2*n - c = -n + 5*d. Solve g + 0 = n for g.
3
Suppose -3*s + 71 - 71 = 0. Solve s*o = -o - 1 for o.
-1
Let b(i) = 16*i**2 - i + 1. Suppose -3*u + 2 + 1 = 0. Let a be b(u). Solve -a = -5*x - 1 for x.
3
Suppose 2*p + 32 = 3*m, -m - 5*p = -5*m + 52. Let c(h) = -h**2 + 7*h - 6. Let b be c(5). Suppose -b*y + 5*y = 4. Solve y*v = 2*v + m for v.
4
Let f be 258/(3/1) + 3. Suppose 3*w + 2*c - 85 = -0*c, -3*w - 4*c = -f. Suppose 0 = 2*r - 4*g - 28, 3*g + w = -r + 4*r. Solve -r = 3*p - 10 for p.
2
Let l = -19 + 19. Solve l*r - r = 0 for r.
0
Let q = 0 + 6. Suppose 5*a - 15 = -5*t, -q = -3*a + 3*t + 3. Solve a*k + 5 = -7 for k.
-4
Let g be 6/2 + (10 - 5). Let b = g - 3. Solve 0 = -b*x + 3*x for x.
0
Suppose -2*q - 2*v = -3*v - 3, -q + 3 = -v. Let o(p) = p**2 - 5*p + 1. Let h be o(7). Suppose -2*y + 3 = -3. Solve q*l = -y*l + h for l.
5
Let z = -4 - -4. Suppose -2*i + 3*s + 27 = 2*i, 2*i + 5*s + 19 = z. Suppose -5*c = -i - 12. Solve -c + 1 = v for v.
-2
Suppose 2*y - 3*y + 4 = 0. Solve y*k - 4 = 8 for k.
3
Let n = 31 - 29. Solve 2 = -n*t - 6 for t.
-4
Let n(l) = -2*l - 1 - 2*l + l + 2*l. Let g(p) = p + 2. Let y be g(-6). Let t be n(y). Solve t*c = 2*c for c.
0
Suppose -2*l + 2 = -0*l + 4*r, -4*r + 8 = 4*l. Let o be 16/l + (-4)/12. Solve o*y = 4*y for y.
0
Let m = 7 - 4. Let c(u) = -u**2 + 9*u - 10. Let d be c(7). Suppose -5*q = -d*z + 6, -5*z = m*q - 11 - 15. Solve 15 = q*a + a for a.
5
Let o be (1 - 4)*(-4 + (0 - -3)). Solve 2*i + o = -i for i.
-1
Suppose 4*c - 3*q - 44 = 0, 0 = -5*c - 2*q + 31 + 47. Solve -4*m + c = 6 for m.
2
Suppose 0 = 2*k + 4*s, -3*s = 3*k - 2*k + 2. Suppose -k*i + 3*i - 4*x = -25, 0 = -5*i + 5*x. Solve 2*g = i*g - 12 for g.
4
Suppose -2*i + 20 = 5*b, 2*i = -4*b + 6*i - 12. Let c(x) = b - 11 + 2*x - x. Let n be c(10). Solve -5*z - n = -11 for z.
2
Let d(o) = 3*o**3 - o**2. Let y be d(-1). Let h be ((-2)/y)/(2/(-40)). Let j = h + 16. Solve v - j = 4*v for v.
-2
Let z be (1/1)/((-6)/(-90)). Suppose 0*f - z = -3*m - 3*f, m + 2*f = 5. Solve 0 = -m*y + 10 - 0 for y.
2
Suppose g - 4 = -0. Let o(k) = k + 13. Let n be o(10). Solve g*m - 3 = -n for m.
-5
Let w(x) = -x**2 + 7*x - 3. Let l(h) = 3*h**2 - 14*h + 6. Let t(j) = -2*l(j) - 5*w(j). Let z = 1 - 8. Let o be t(z). Solve -7*u = -o*u for u.
0
Let w(q) = 2*q**2 - 9*q. Let l(c) = c**2 - 4*c. Let i(h) = 7*l(h) - 3*w(h). Let u be i(2). Let b be 8 + -2*(-3 + 4). Solve 2 = u*n + b for n.
-2
Let n = -79 - -84. Solve 3*b - n*b - 2 = 0 for b.
-1
Let c = -5 - -6. Let o = 5 + c. Solve -o*f + 8 = -2*f for f.
2
Suppose -3*f + o = -5*f - 3, -15 = 5*o. Solve f = n - 0*n + 2 for n.
-2
Let u(x) = -6*x + 5. Let k(q) = 19*q - 14. Let l(w) = 3*k(w) + 8*u(w). Let y be l(4). Solve -5*d + 9 = y for d.
-5
Suppose 2*u + 3 = 1, -2*c + 2*u + 20 = 0. Suppose -y = 5*i - c, -y - 4*i + 2*i = -6. Solve -y*s + s = 0 for s.
0
Suppose -2*l + l + v + 7 = 0, -l = 5*v + 17. Solve 0*r = -l*r + 15 for r.
5
Let u = 4 - 0. Let d be 162/24 - 3/u. Solve 2*t = 4 + d for t.
5
Let w(f) = f**2. Let k be w(2). Let s = 12 - k. Solve q - s = -4 for q.
4
Let i = -2 - -5. Suppose b = 4*b - i. Suppose 2*c = -6, 2*o - 7*o + 3*c = -19. Solve 0 = k + b + o for k.
-3
Let r(i) = 11*i + 17. Let c(x) = 3 + 4 + 5*x - 2 + 3. Let q(g) = -9*c(g) + 4*r(g). Let s be q(-6). Solve s = -w + 4 for w.
2
Suppose -4*b = a - 15 - 7, -a + 3*b = 6. Let d be (8/(-6))/((-2)/3). Solve d*s - 2 = a for s.
4
Let l(y) = 4*y**2 + 1. Let k be l(-1). Suppose -3*i + 6*i = -4*t - 111, 0 = k*t + 2*i + 137. Let w = -15 - t. Solve 0 = 5*n + 3 + w for n.
-3
Suppose -k + 2 = 6, 5*p - 121 = -k. Solve -2*i = -7*i + p for i.
5
Let s = 35 - 33. Suppose s = -o - w + 2*w, -4*w + 17 = -o. Let b(f) = f**3 - 5*f**2 - 6*f. Let k be b(6). Solve k = -o*n + n for n.
0
Let c = -1 + 16. Let k be c/(-2)*32/(-12). Solve -7*t + 3*t - k = 0 for t.
-5
Suppose 3*r - 4 = 2. Solve 1 = r*x - 9 for x.
5
Let x(f) = f + 9. Let d be x(-7). Let q be (-6)/2 - (-7 - d). Solve -q*m + 5 = -m for m.
1
Suppose -4*w - 64 = -4*z, 0 = -3*z + 4*z - 5. Let x = -11 - w. Solve x*a + 4 = 2*a for a.
2
Suppose -3*m + 7 = 1, 0 = -2*q + m + 8. Let z(u) = u**2 - 5*u + 4. Let w be z(q). Let o be (-7 - w/2)*-1. Solve -n = 2*n + o for n.
-3
Let q be (-235)/(-45) + 4/(-18). Solve 14 = -q*v - 11 for v.
-5
Let p be (-24)/20*(-20)/(-6). Let k be (-110)/(-9) + p/18. Suppose 0 = -3*h + g - 1 + k, -3*g = 5*h + 5. Solve -i - 1 = h for i.
-3
Let f = -8 - -11. Suppose -y + 2 = -f. Solve t - y + 3 = 0 for t.
2
Suppose -3*o + 6 = f, -3*f - f - 27 = -5*o. Solve 1 = -q + o for q.
2
Let l = 0 + 2. Let f be (l/4)/((-5)/(-20)). Solve 10 = f*g - 4*g for g.
-5
Let j(b) = -b**3 - 2*b**2 - 4*b - 3. Let t be j(-2). Suppose -4*g + 3 = -3*g. Suppose g*w = 5*w. Solve w*a = -t*a for a.
0
Suppose 0*l = -2*l. Solve 5*a + 2 + 3 = l for a.
-1
Let g be (0 - 20/(-4)) + -1. Suppose g*q - 20 = -u, 4*q - 20 = 3*u + 2*u. Solve -q*m + 3 + 2 = 0 for m.
1
Suppose l = -3*l - 20. Let y(t) = t**2 + 2*t - 7. Let w be y(l). Suppose 4 = 4*h - 8. Solve 1 = -h*q - w for q.
-3
Let k = 1 + 24. Solve -j + k = 4*j for j.
5
Let s(d) = -3*d + 3. Let b be s(4). Let z(o) = -o**3 - 8*o**2 + 9*o - 4. Let j be z(b). Let w be (j/2)/(-3 - -2). Solve w = 4*l + 6 for l.
-1
Let x be 18/3 - 2 - 4. Solve -f = -x*f for f.
0
Let g(w) = -w**2 - 8*w + 11. Let p(q) = q**3 - 9*q**2 + 6*q + 7. Let a be p(8). Let x be g(a). Solve 0 = -x*n - 2 + 6 for n.
2
Suppose 4 = 2*c, 3*s + 0*c + 6 = 3*c. Solve s = -4*t - 0*t - 12 for t.
-3
Let i be 14/(-35) + (-2)/(-5). Suppose -3*d = -i + 18. Let v = d + 12. Solve v - 1 = h for h.
5
Let c = -20 - -24. Solve -3 = -c*n + 5 for n.
2
Let j(h) = -h**3 + 2*h**2 - 1. Let q be j(-1). Solve 11 = -q*k + 3 for k.
-4
Let d(q) = -q**3 + 7*q**2 - 7*q + 3. Let t be d(6). Let b = 3 + t. Solve -2*r = -b + 8 for r.
-4
Let v(d) = 8*d + 109. Let i be v(-13). Solve 2*x - i + 7 = 0 for x.
-1
Suppose 3*y = -12 + 75. Solve 1 = 5*p + y for p.
-4
Let s(t) = t**3 + 12*t**2 + 9*t - 20. Let h be s(-11). Solve 0 = q + h - 7 for q.
5
Let g(w) = 2*w. Let j be g(1). Suppose -3*s + 4*m = -19, -3*s - 4*m = -7*s + 20. Let k(b) = 4*b + 1. Let t be k(s). Solve 3*x + t = j for x.
-1
Let p(x) = 11*x**2 + 3*x - 29. Let b(n) = -5*n**2 - 2*n + 14. Let q(g) = 9*b(g) + 4*p(g). Let t be q(-7). Solve 0 = t*f - 2 - 7 for f.
3
Let m be 3/(1 + 5/(-2)). Let q be (-2)/4*0 - m. Solve q*k - 4 = -0*k for k.
2
Suppose 3*o = -d + 3*d - 3, 4*d = -5*o + 17. Solve -2 + o = -q for q.
1
Let i = -40 - -23. Let d = i - -21. Solve d*v = v for v.
0
Let h(x) = 5*x**2 + 4*x - 12. Let v be h(2). Solve 2*s + 2*s + v = 0 for s.
-4
Let s be 604/8 - 2/4. Suppose 0*a + s = 3*a. Solve 2*f + 3*f - a = 0 for f.
5
Let r be (-4)/6*(-45)/(-5). Let v be ((-1)/(-2))/(r/(-96)). Let a be (-2)/v + 405/20. Solve d = -3*d + a for d.
5
Let j = -28 - -26. Let k = j + 4. Solve k*m - 6*m + 20 = 0 for m.
5
Let f(k) = -k - 1. Let t be f(3). Let c(x) = -3*x**2 + 3*x + x**3 - 2*x - 2*x**3. Let u be c(t). Solve -h - u = -5*h for h.
3
Let m = -2 - 0. Let b be (1*m/(-1))/1. Let l = b + -2. Solve l*q = 3*q - 15 for q.
5
Let u be (-2 + 0)/((-1)/2). Let l be (-3)/((-1)/(u/6)). Let w be -15*((-84)/15)/7. Solve -2*v - l*v = w for v.
-3
Let k(q) = -q**3 + q**2 + q + 1. Suppose -3 - 3 = -t - 3*s, -2*s + 4 = -2*t. Let d be k(t). Let l be 0/(d + -2 + 2). Solve 2*b - 5*b + 3 = l for b.
1
Let j be 6*(44/8 + -4). Solve -j - 1 = -2*r for r.
5
Let v = 7 + -5. Solve -a