 0 = -t + z - 1, 2*t + 2*z - z = 4. Solve -5*x + 19 = -t for x.
4
Let t(p) = -p**3 + p**2 + 5. Let u be t(0). Let m(k) = k**2 + 4. Let y be m(-2). Let n = y - u. Solve -n*l - 3 = -0 for l.
-1
Let x = 24 - 21. Solve 2 + x = -5*l for l.
-1
Let g be ((-1)/1 - 0) + 4. Suppose 0 = -o + 1 + 3. Suppose -g*y + o = y. Solve 2*h = 3 + y for h.
2
Let q(z) = z - 5 + 1 + 14. Let w be q(-7). Let x = -1 + w. Solve 15 = 3*n + x*n for n.
3
Suppose 5*q + 7 + 3 = 0. Let t be 1*4 - (q + 3). Let i be (t/5 - 1)*-25. Solve -g - i = -6*g for g.
2
Suppose -13 = -3*r - 4. Suppose -3*i + 0*l - 2*l + 19 = 0, -4 = -r*i + l. Let c = -9 + 17. Solve -n - c = -i*n for n.
4
Let q = 76 - 132. Let v be 2/(-4)*q/7. Solve -3*u + 1 = v for u.
-1
Suppose -5*y = -37 + 2. Let u = -2 + y. Let r = u + 0. Solve 0 + 25 = r*t for t.
5
Let d be (0/1)/(-1 - 1). Suppose -8 - 12 = -5*c. Let l be (15/4)/((-7)/(-28)). Solve d = c*j - j + l for j.
-5
Let m(o) = o**3 + 10*o**2 + 8*o - 5. Suppose -k - 11 = -2. Let d be m(k). Solve 0 = d*i - 1 - 19 for i.
5
Suppose 0 = -3*x - 1 - 11. Let g = 7 + x. Solve -g*u = 7 + 8 for u.
-5
Suppose -14 = -r - 11. Solve -r*j - 2*j = -25 for j.
5
Suppose 4*t + 3*g - 2 = 8, -2*t - g = -6. Solve -o = 3*o + t for o.
-1
Suppose 0 = -2*l - 2*l + 4. Solve 17 - l = -4*z for z.
-4
Let l be 32/5 - (-6)/(-15). Suppose 1 = t - l. Suppose -20 = -t*y + 2*y. Solve 0 = -y*d + 12 + 4 for d.
4
Let x(u) = 2*u - 43. Let f be x(23). Solve 20 = -f*s - 2*s for s.
-4
Let p be (-8)/20 - 34/10*-1. Solve 2*z = p*z for z.
0
Let i(n) = 4*n + 0*n + 0*n. Let p be i(1). Let u(k) = k. Let r be u(1). Solve v = -p - r for v.
-5
Let m be 6*(-8)/12 - -10. Solve -s + m*s = 5 for s.
1
Let s(p) = -5*p + 10. Let j(r) = 14*r - 31. Let g(t) = 3*j(t) + 8*s(t). Suppose a + 4*a - 45 = 0. Let b be g(a). Solve b*i = i for i.
0
Suppose 0 = 5*c + 3*f - 5, 9*f = c + 4*f - 29. Suppose 11 = c*d + 3. Solve 0*l - d*l = 0 for l.
0
Let q be 1 + -2*3 - -2. Let z be (-2)/6 + (-1)/q. Solve z = b + 2*b + 15 for b.
-5
Let f = 1 + 5. Let r = -2 + f. Solve -4 = -r*g - 0*g for g.
1
Suppose 3*b - c = 3*c, 27 = 3*b + 5*c. Solve -2*a + 6 = -b for a.
5
Suppose -4*q + 13 - 1 = 0. Let x be 3 - (-3)/(6 - q). Let k = 8 - x. Solve -20 = k*r + r for r.
-4
Let w be 4/(-20) + (-217)/(-35). Solve 0 = 2*q - w for q.
3
Suppose 0 = 3*r - r + 4. Let y be (1 - 1)/(-1 - r). Solve y = p + p - 10 for p.
5
Let x = 6 - 3. Let a = x - 3. Suppose -5*d + 2*s + s + 44 = 0, 5*s = d. Solve -5*u = -a + d for u.
-2
Let y be (-1)/3 - (-19)/3. Suppose -2*o - 2*a = -y, 3*o + 4*a + 33 = 8*o. Suppose -2*m = -0*m. Solve m = -z + o*z for z.
0
Let x be (3 + -3)*3/(-6). Solve x*o = o + 5 for o.
-5
Suppose -2*j = j - 18. Solve 0 = 5*k + 21 - j for k.
-3
Suppose -8*f + 3*f + 40 = 0. Solve 2*n = -0*n + f for n.
4
Let j be (-7 - (1 + -2)) + -2. Let s(l) = -2*l - 11. Let q be s(j). Suppose 3*t = 4*t - 6. Solve 0 = -q*p + t*p for p.
0
Let i = 50 - 49. Solve 0*q = q - i for q.
1
Suppose 0 = -0*x - x - 2*f - 6, 2*f = 2*x - 18. Suppose 1 = -v - 4*l, 4*l + 3 = 4*v - 13. Let g = v - 3. Solve g = z - x*z + 9 for z.
3
Let p(y) = y - 3. Let h be p(5). Let i(z) = 6*z - h*z - 3*z + 15. Let s be i(-13). Solve s*m + m = 0 for m.
0
Let j = 21 - 18. Solve -j*w + 4 - 1 = 0 for w.
1
Let a = 26 - 23. Solve -2 - a = i for i.
-5
Suppose 2*i = -s + 15, 3*s + 2 = 4*i + 7. Let g(l) = -l. Suppose -4*y + 3*b = 21, 5*y - 4*b + 8 = -19. Let n be g(y). Solve 0 = n*z + 5 + s for z.
-4
Let h = 17 - 13. Suppose -20 = -8*b + h*b. Solve -6 = b*k + 4 for k.
-2
Let s(j) = j**3 - j - 2. Let a be s(2). Let v = 11 - 9. Solve -v*u = -6*u + a for u.
1
Suppose -5*u - 8 = 37. Let c be 1 + 2/(-1) - u. Suppose 5*p - 7 = c. Solve p*q - 1 = 2 for q.
1
Let t = -1 - -21. Solve 4*c + 0 - t = 0 for c.
5
Let s = 31 + -26. Solve 0 = -l + s*l for l.
0
Suppose -10*p = -33 - 7. Solve 0 = 3*m - p*m + 3 for m.
3
Let h(p) = -11*p - 7. Let l(q) = 2*q + 1. Let u(f) = -6*h(f) - 34*l(f). Let t be u(3). Let r(b) = 4*b - 3. Let d be r(3). Solve -1 = -t*a - d for a.
-4
Suppose -4*u - 21 = -2*m - 7, 4*m + 2*u - 18 = 0. Solve 3 - 13 = -m*d for d.
2
Suppose 59 = 5*t + 14. Let n(l) = l**3 - 8*l**2 - 7*l + 7. Let h be n(t). Solve 0 = 5*i - 0*i + h for i.
-5
Let i(y) = y**3 - 4*y**2 + 5*y - 4. Let f be i(3). Suppose 0*t - 10 = -f*t. Solve 2*b - t*b = -6 for b.
2
Let m(q) be the third derivative of -q**6/120 + 7*q**5/60 - 5*q**4/24 - 4*q**3/3 + 3*q**2. Let i be m(6). Let h be i - (-2)/(2/23). Solve -4 - h = 5*u for u.
-5
Let u(i) = -2*i - 12. Let d be u(-6). Suppose d*r - 2*r = 0. Solve -4*x + 0*x + 4 = r for x.
1
Suppose -l + 35 = 5*j, 0 = j - 0*j + 3*l + 7. Solve j*r - 9 = 5*r for r.
3
Let n = 12 + -12. Solve n*l - 3*l - 15 = 0 for l.
-5
Suppose 6*w = w + 80. Suppose -4*v + 3*j + 8 = -20, -5*j - 24 = -v. Let g be (0 + 9)*v/6. Solve g*c = 2*c - w for c.
-4
Suppose 3*a + 78 = a. Let r be 2/5 - a/15. Let x(k) = k**2 + 4*k - 4. Let q be x(-5). Solve -r*z = 8 + q for z.
-3
Let d = 9 - 9. Let c be (d - 1) + (-6)/(-2). Suppose -20 + c = -3*g. Solve 2*j - 2 + g = 0 for j.
-2
Let y(s) = s**3 - 7*s**2 + 2*s - 4. Let l be y(7). Solve 0 = -0*n - 5*n - l for n.
-2
Let w be -1 - -2 - (-1 - -1). Let v be 3/(3/2 - 0). Let y be 0/((-3)/(-2)*2/(-3)). Solve -v*i - 5 + w = y for i.
-2
Let s(i) = -i**3 + 4*i**2 - 4*i + 3. Let v(c) = c - 1. Let h be v(4). Let k be s(h). Solve 0 = 2*n - k*n for n.
0
Let o be (51/6)/((-3)/(-6)). Solve -5*t = 2 - o for t.
3
Suppose 0 = 2*y - 3*y. Solve y = c - 2*c for c.
0
Suppose -p - 2 = -1. Let o = p + 1. Suppose 2*y - 2 = -4*m, -3*m - 5*y - 9 = -0*y. Solve -m*x + o = -2 for x.
1
Let r = -9 - -11. Solve 0 = r*i - i - 1 for i.
1
Let g = 7 + 1. Let d(h) = h**2 - 9*h + 11. Let s be d(g). Solve s*q - 8*q = -10 for q.
2
Suppose -2*m + 56 = 24. Let f = -9 + m. Solve -4*k + 6 = -f*k for k.
-2
Let b(h) = -h**2 - 9*h - 17. Let y be b(-4). Let z = 5 - 5. Solve -g + y*g = z for g.
0
Let t be (-15)/2*(-60)/50. Let u = -7 + t. Solve 0 = -u*q + 3*q - 3 for q.
3
Let h be (-4)/14 + (-220)/(-35). Let z(v) = 0 + 0 + v. Let j be z(h). Solve 2 = 4*f - j for f.
2
Let d(a) = -6 + 2*a + 2 - 3 + 0. Let g be d(5). Solve 0*i - 3*i + g = 0 for i.
1
Let f = 9 + -5. Solve -20 = -r - f*r for r.
4
Suppose -3*z = -1 - 5. Suppose h = 2*t + 5*h + 28, -26 = 2*t + 2*h. Let d = t + 18. Solve -z*o + 12 = -d*o for o.
-3
Let f = 98 - 57. Let t = -7 + 14. Suppose -t = -4*n + f. Solve 4*y - y - n = 0 for y.
4
Suppose 0*u - 2*m + 5 = -u, -20 = -5*m. Let w be 209/u - (-3)/9. Suppose 0 = -2*f - 2*l + 50, -2*f - w = -6*f + 2*l. Solve -5*g + g = f for g.
-5
Let j(f) = -f**2. Let n be j(1). Let a = n + 3. Suppose y + a*u = -1, u + 3*u = -y - 5. Solve 0 = -0*t + y*t + 3 for t.
-1
Let w be (-36)/(-14)*14/(-2). Let c be (-1)/(2*3/w). Let o = -3 + c. Solve -j + 5*j = o for j.
0
Let r be 5*(5 + -2 - 2). Solve -j + 6*j - r = 0 for j.
1
Let p(i) = 2 - 5*i - 6*i**2 - 2*i**2 + 7*i**2. Let w be p(-5). Solve -5*o + 15 = -w*o for o.
5
Suppose 4*u = u. Let d = u - -1. Let q be 2*d/(6/9). Solve 0 = o + q*o - 8 for o.
2
Suppose -h + 3*v = -3, 4*v + 6 = 2*h - 0*v. Suppose -22 - 11 = h*c. Let w = c - -21. Solve -4*q - w = q for q.
-2
Let q = -3 + 7. Solve 0 = -q*j + 3 + 1 for j.
1
Let v(s) = 2*s - 10. Let z be v(5). Solve -2*g + z*g + 10 = 0 for g.
5
Let h(u) = -1 + 2*u**2 + 8 + u + 2*u**2. Let w(l) = -11*l**2 - 3*l - 20. Let y(f) = 17*h(f) + 6*w(f). Let s be y(-1). Solve s*v - 10 = -4 for v.
3
Let m be -4 - (-90)/25 - (-32)/5. Solve m = -3*f - 3 for f.
-3
Suppose -3*t = 5*f + 1 - 12, 4*f - 4*t = -4. Let c be ((-90)/21)/(f/(-7)). Solve 5*k = c - 5 for k.
5
Let u = -62 - -91. Suppose 7*c = 2*c - 105. Let l = u + c. Solve d = -d + l for d.
4
Let y = -31 - -31. Solve 3*j + j - 12 = y for j.
3
Let n be -3*(1 + 48/(-18)). Solve 0 = -n*i - 25 + 10 for i.
-3
Let m = 24 - 15. Let j be (-76)/(-18) - 2/m. Solve v = j*v for v.
0
Let w(n) = 24*n + n**3 + 8 - 24*n + 6*n**2. Let k be w(-6). Solve 4*l + 8 = -k for l.
-4
Let b = 21 - 18. Suppose -3 = -2*w + b. Solve 4*h - w = h for h.
1
Suppose 13*a - 168 = a. Solve 19 = -5*t + a for t.
-1
Suppose 4*o - 30 = -2. Solve o*n + 8 = 3*n for n.
-2
Let h be (3/4)/((-3)/(-72)). Suppose -3*v + h = 6. Let r be (-50)/(-8) + (-1)/v. Solve -2*x = -r*x - 20 for x.
-5
Let s be (-1)/(-3) + 1/(-3). Suppose -2*u = -4, 3*r + 3*u + s = 33. Solve 3*i - r = -0*i for i.
3
Let