 3*z for z.
1
Let j = -18 - -23. Solve j*v = 8 + 7 for v.
3
Suppose -2*p + 2 = 0, -p - 4 + 1 = 2*m. Let h = 2 + m. Suppose -4*g + 80 = g. Solve g = -4*r - h*r for r.
-4
Let g(s) = 9*s - 31. Let a be g(4). Solve 4 = -p + a for p.
1
Suppose 2*r - 2 + 12 = 0. Suppose 17 = 2*u + 3*y, 0 = -0*y + 4*y + 4. Let m = r + u. Solve -p + m = -0 for p.
5
Suppose -2*n + 64 = 2*n. Let j = -7 + n. Solve -j = -3*f - 0*f for f.
3
Let z = -147 + 104. Let m = z - -67. Solve -4*q - m = -8 for q.
-4
Let r = 2 - -2. Suppose 0*d = -d + r. Suppose 0*t = -11*t + 22. Solve 0 = -t*i - d - 0 for i.
-2
Let w(g) = -8*g + 3 + 2*g + 5*g. Let v be w(5). Let q be 0/v + 0/6. Solve q*a - 4 = -a for a.
4
Let z(i) = i**3 + 2*i**2 - 5*i - 3. Let r be z(-3). Suppose 0 = -r*q - 2*b - 23, -2*b = -q - q - 12. Let v = 13 + q. Solve -5*h - 1 = -v for h.
1
Let y be -2 + (-2 - (-24)/4). Solve 10 = -y*p + 7*p for p.
2
Suppose 0*u = -2*u + 3*u. Solve u*s - 6 = 3*s for s.
-2
Suppose -5 = -l - 0*l. Suppose -3*i + p + 2*p = -18, -22 = -l*i + p. Suppose -i*q = q - 10. Solve 0 = q*c + 2 for c.
-1
Suppose -a - 4*a = 5. Let m = 4 - a. Solve -t - m = -2*t for t.
5
Let o = 1 - -3. Solve -o*a - a = 5 for a.
-1
Let i = -33 + 35. Solve -3*u - 5 = i*u for u.
-1
Let q(d) = 3*d**2 - d + 1. Let u be q(3). Let a = -21 - -26. Solve u = -0*m + a*m for m.
5
Suppose -7 = -4*c + 5. Let d = 2 + c. Solve -d*l = -0*l for l.
0
Let s = 18 - 17. Solve -5*g + s = -4 for g.
1
Suppose 1 = 5*r - 14. Let s = 3 - 1. Suppose 0 = -c + 3*l - 2*l + s, -l + 34 = 5*c. Solve r = -3*m - c for m.
-3
Let t = 4 - -6. Suppose -3*h = -t - 5. Solve 0 = h*p + 42 - 17 for p.
-5
Suppose 2*i = 6*i - 8. Suppose 2*b = -4*o - 0*b + 14, 2 = -2*o - 4*b. Let r be (-2 + 5 - o)*-2. Solve -r*p + i + 10 = 0 for p.
3
Let l = -34 + 36. Solve 4*i = l*i + 4 for i.
2
Let a(i) = -i**2 - 7*i - 12. Let b be a(-4). Solve 0*c + c + 3 = b for c.
-3
Suppose -16 + 2 = -4*d - m, -3*d - m + 11 = 0. Solve d = y + 2 for y.
1
Let j(m) = m**2 - 6*m - 10. Let s be j(7). Let v = s + 5. Solve 2*z - 3*z = v for z.
-2
Suppose -2*o = 6*r - r + 11, -3 = o. Let p be r + 1 - (-3)/3. Solve -2*b - 5 = -p for b.
-2
Let w(l) = l**2 - l + 1. Let a be w(-2). Let s be (1 - (a - 3)) + 0. Let p be 0/(-2)*s/6. Solve 0 = v - p*v + 2 for v.
-2
Let p = 19 - 15. Solve -p*s - s = 0 for s.
0
Suppose 5 - 1 = h + 3*g, -4 = -h + g. Solve 0*k + 16 = -h*k for k.
-4
Suppose -v - 2*m - 2*m = 16, -2*v - 8 = 2*m. Suppose v*j + 3*j - 18 = 0. Solve 4*g - 2 = j for g.
2
Let o(r) = r - 2. Let f be o(2). Let w(d) = d + 5. Let p be w(f). Solve -2*a - 1 = -p for a.
2
Let p = 4 - 1. Suppose 5*q - p*q = 0. Let g = 0 + 2. Solve 0 = -q*k + k + g for k.
-2
Let h(q) = 9*q - 2. Let c be h(2). Suppose -4*l - c = -8*l. Solve 6 = l*b + 18 for b.
-3
Let t = 12 - 8. Suppose -3*r - 5*s = -t*r - 2, -r + 2 = -s. Solve r*o + o = 0 for o.
0
Let d = 12 - 8. Solve -d*p + 4 = -12 for p.
4
Let p(u) = -u**3 + 10*u**2 - u + 10. Let q be p(10). Solve q = k + 2*k - 12 for k.
4
Suppose -5 = -3*w + 4. Let v(l) = -3 + w - 5 - 2*l. Let f be v(-4). Solve -f = -5*m + 2 for m.
1
Let n be (-9 + 5)*(-2)/4. Solve -3*i = -n*i - 3 for i.
3
Suppose 0 = -2*r - 4*i - 12, i + 0*i + 3 = -2*r. Suppose -6*c + c - 30 = r. Let u = c - -6. Solve o + o = u for o.
0
Let c = 24 + -16. Let n(k) = k**2 - 9*k + 12. Let f be n(c). Solve -5 = -f*d + 11 for d.
4
Let r be (16 - 0/1) + -3. Solve -5*n - r + 3 = 0 for n.
-2
Suppose 12 - 60 = -3*r. Solve r - 6 = 2*x for x.
5
Let w be (2 - 4)*28/(-8). Let h(k) = -k**2 + 6*k + 8. Let f be h(w). Solve -2*q - 7 = -f for q.
-3
Let x be 3 + (-8 - -4 - -3). Solve -9 = -x*d - 3 for d.
3
Let u(h) = -h - 16. Let j be u(-15). Let m(l) = -l. Let b be m(j). Let t be (2 - 1)*0/2. Solve -f = -b - t for f.
1
Let p(w) = 7*w - 1. Let c be p(1). Suppose -3*y = 5*l, 3*l - 5*y - 16 = c*l. Solve 0 = -z - l*z + 8 for z.
2
Let w(j) = j + 3. Suppose -3*z + 0*z = 0. Let t be w(z). Solve 0 - 12 = t*i for i.
-4
Suppose 7 = 3*j + 4*d, -2*j + 3*d + 12 = -4. Suppose l = 5*m - 13, -m - m + 19 = -j*l. Solve 4 = 2*u - m for u.
3
Let b be 36/30*10/3. Solve x = -x + b for x.
2
Let d be 1*(-12)/16*4. Let u be (-1)/(-1*d/(-15)). Solve -u*z + 15 = -2*z for z.
5
Let j be (-6)/(-2) - -1 - 14. Let f = j + 12. Solve -f*g + 5*g + 3 = 0 for g.
-1
Suppose -4*o = -4*u - 2*o + 22, -u + 2*o = -13. Suppose 0 = -u*f - 4*g + 22, 0*f + f = 4*g - 14. Solve 0*d = -f*d for d.
0
Let s = 17 + -15. Suppose -4*z = s*q + 11 + 1, 2*q - 5*z - 24 = 0. Solve -q + 8 = -3*b for b.
-2
Let c be (-9)/3 + -2 - -8. Solve n - 4 = c*n for n.
-2
Let i be (0 - 3*-4)*1. Suppose -4*a + 16 = -2*q, 0 = 2*a + 2*a + 2*q. Let s be 3/2 - 1/(-2). Solve s*y - i = -a*y for y.
3
Let j be 0/((-1 - -2)*-3). Solve j = 3*h - 7 + 16 for h.
-3
Let b be 42/(-8)*(-48)/(-18). Let d = b + 16. Solve 4*l = d*l + 4 for l.
2
Let a = 14 - 14. Solve a = -3*n + 3 for n.
1
Suppose -4*c = -2*r - 38, -5*c = -2*c - 4*r - 36. Solve -2*s + 0 = c for s.
-4
Let u be 0/(4/(2/1)). Solve u = r + 1 + 2 for r.
-3
Suppose 30 = 2*x - 0*x. Solve -x = b - 4*b for b.
5
Suppose -2*d + 6 = d. Suppose 3*z - d*z + 11 = -2*l, 0 = -4*l - 16. Let q be (2 - z) + (2 - 2). Solve -23 = q*k + 2 for k.
-5
Suppose -3*f = 2*j - 4*j + 14, 5*f + 18 = 2*j. Solve 0 = 2*z - 0 + j for z.
-2
Suppose 5*o + 34 - 11 = 4*a, 0 = -5*a + 2*o + 16. Solve -4*s = -2*s + a for s.
-1
Let p(n) = -n**2 + 3*n + 3. Let z be p(3). Let x = 12 - 7. Let a = x - z. Solve -a*s - 4 = -14 for s.
5
Suppose -5*s = -m + 12, 0*m + 4*s + 4 = -2*m. Suppose -3*q - 10 = m*q. Let r(x) = x**3 + 3*x**2 + 2*x + 2. Let l be r(q). Solve -j = l*j for j.
0
Let c = -7 - -1. Let t = c + 9. Solve y - t = 2 for y.
5
Suppose 13 = 3*q - 5*x + 2, 5*x = -4*q + 3. Let y be q - (0 - (3 + -7)). Let a be (y - -2) + 2/1. Solve 5*w = 4*w + a for w.
2
Suppose 5*g - 32 = -2. Solve z + g = 3*z for z.
3
Let y be (-2)/(24/(-20))*3. Suppose -2*q = j - 4*j + 13, -2*q - 19 = -j. Let d = -7 - q. Solve -11 = y*k + d for k.
-3
Let y be -3*60/(-9) - 4. Solve -y = -6*x + 2*x for x.
4
Let w(s) = 0*s - 4 - 1 + 2 - 3*s. Let v = 3 - 5. Let q be w(v). Solve c = q*c + 10 for c.
-5
Let v be (-6)/4 - (-6)/4. Let j(x) = -x**3 + x**2 + x + 12. Let o be j(v). Solve -o = 3*b + 3 for b.
-5
Suppose 6 = 2*y + 3*t, 4 = 4*t - 2*t. Solve y = p - 0*p - 5 for p.
5
Let v be 0*((-15)/9 + 2). Solve 2*b = -v*b + 10 for b.
5
Let s(n) = 4*n**3 + 2 - 3*n**3 - 4*n - 3 + 2*n**2. Let j be s(-3). Suppose -j*t = -4*h + 10, 2*h - h - 5*t + 20 = 0. Solve h*z - 4 = 11 for z.
3
Let n(q) = 3*q**3 + q - 1. Let x(k) = -k**2 - 4*k - 3. Let s = -7 - -5. Let y be x(s). Let d be n(y). Solve -z = d*z for z.
0
Suppose 0 = 3*b - 4*b + 2. Let t(m) = 3*m - 4. Let w be t(b). Solve w*v = -3*v - 15 for v.
-3
Suppose h = -m + 2*h + 2, -3*h = m - 6. Solve -m*s + 1 = -2 for s.
1
Let t = 95 + -85. Solve -5*j = -0*j + t for j.
-2
Suppose 3*c - 6 = 0, 2 + 6 = -b + 4*c. Suppose -q = 3*k - 48, q + b*q = k - 12. Solve 3*n - 6 = -k for n.
-3
Suppose 8 = 4*k - 8. Suppose 0 = 3*b - 15, 0 = k*r - 5*r - 4*b + 20. Solve 4*i - 4 - 12 = r for i.
4
Let a be 4/16 + 10/(-8). Let c(y) = 10*y**2 + y + 6*y**2 - 15*y**2. Let t be c(a). Solve t = -2*q + 4*q + 6 for q.
-3
Suppose 0 = -5*z + 3*z - 2*r - 6, -5*r = -z - 21. Let m be (z/10)/((-2)/30). Suppose 0*u = 2*v + 5*u - m, -5*v = 5*u - 15. Solve v*w + w - 9 = 0 for w.
3
Let q(f) = f**3 - 2*f**2 + 4*f - 3. Let s be q(1). Solve -5*i + s*i - 20 = 0 for i.
-4
Let v(i) = i**3 + i**2 - 2*i + 1. Let p be v(2). Solve 4*j - 1 = -p for j.
-2
Let n(w) = -w**2 - 5*w + 7. Let p be -2 + (-1 - -3) - 5. Let c be n(p). Solve -c - 1 = 4*x for x.
-2
Suppose -2*v = -0*v - 50. Solve 8*d + v = 3*d for d.
-5
Let b = 5 - 3. Let j(w) = -w + 1. Let z be j(-4). Suppose z*l = -4*t + 13, -2*l = -b*t - t - 19. Solve -l*a + 8 = -3*a for a.
4
Suppose 58 - 18 = -4*c. Let f be (-2 + c)*(-1)/3. Solve f*w + 12 = -0 for w.
-3
Suppose 35 = 5*f + 5*n, -25 = -0*n - 5*n. Suppose 0 = 4*z - f*z - 2. Let g = 3 - z. Solve 10 = g*l - 4*l for l.
-5
Let c be (-8)/10*(-30)/4. Let o(u) = u**3 - 7*u**2 + u - 5. Let z be o(7). Let q be -1 - (-1)/z*2. Solve 2*k - c*k = q for k.
0
Suppose -2*f + f = -4. Suppose 3*g = 5*h - f, 2*h + g = -2*g + 10. Solve -7*u + h*u = 25 for u.
-5
Let i = -6 - -10. Suppose 5*u = 2*l + i, -u - 3*u = -4*l - 8. Suppose -k = -u*k. Solve k = -6*a + a + 10 for a.
2
Let a(t) be