et r be 40/18 - (-2)/m. Suppose 0 = v - 2*z - 9, r*v - 4*z = v + 13. Solve 8*l - v*l - 3 = 0 for l.
1
Let x(t) = -10*t - 5. Let u be x(-2). Suppose 5*y + 3*b - u = 0, -y + 7*b = 3*b + 20. Solve z = -y*z for z.
0
Let o = 11 - 7. Let i = -24 + 24. Suppose i*s = 2*s + 4*c, 3*c = o*s - 22. Solve y - s = -5 for y.
-1
Suppose 0 = -7*y + 2*y + 10. Solve r - y = 1 for r.
3
Let t be (0 + 1/2)*2. Let a be 0/(1 - 2)*t. Solve 4*o + 8 = -a*o for o.
-2
Suppose -3*j = 2*z - 4, -z = z + 2. Solve -4*q + j + 6 = 0 for q.
2
Suppose 5*j = j. Suppose -3*a = -j*a. Solve -4*h = -a*h for h.
0
Let o(i) = 7*i + 6. Let y be o(0). Solve -y*s = -2*s + 4 for s.
-1
Let q be 9*34*(-3)/(-18). Suppose -5*w + k = -q - 19, -k + 35 = 2*w. Solve 0*g + 5*g = w for g.
3
Let h be (-2)/(-3)*60/8. Suppose h*d - 11 = 4. Solve d*f + 10 = 5*f for f.
5
Let t = 37 + -31. Suppose 2 = -u - v, -u - 3*u - v = -7. Solve u*r = -0 - t for r.
-2
Let n be ((-52)/(-130))/(2/20). Solve x + x = n for x.
2
Let l = 8 - 3. Let g = 48 + -48. Solve -c = -g*c + l for c.
-5
Suppose -3*v = -9, -v - 12 = -5*p - 0*v. Solve -p*z - 2 - 1 = 0 for z.
-1
Suppose 0 = -5*k - 153 - 27. Let x = -16 - k. Solve 5*t = -0 + x for t.
4
Let o be -2 + (-1 - 0) - 2. Let b = o - -8. Suppose 2*c - 9 = b. Solve 5*a + c = -19 for a.
-5
Let c = -4 - -5. Let b = -21 + 23. Solve -3 = -b*j - c for j.
1
Let u = 5 - 3. Suppose 5*q = -u*i - 3 + 8, 3 = 3*q. Solve 0 = -g - i*g - 4 for g.
-4
Let l(x) = x**3 + 4*x - 9. Let n be l(2). Solve -3*d + 20 = -n*d for d.
-5
Suppose 5*v - 152 = -22. Let r = v - 17. Let n(m) = -m**3 - 6*m**2 + 2. Let c be n(-6). Solve -j + r = c*j for j.
3
Suppose -4*r - 3*d = -24 + 1, 0 = -d + 1. Suppose -2 = -v - 1. Suppose 0 = 2*u + v - 5. Solve r = n - u*n for n.
-5
Let m(w) = w**2 + 7*w - 27. Let o be m(-10). Solve q + o - 4 = 0 for q.
1
Let q = 90 + -85. Solve -q = -5*p + 4*p for p.
5
Let z(k) = k**2 + k + 6. Let c be z(-6). Suppose 2*y + y = c. Suppose -2*t - 2*o = -y, -3 = -2*t + o - 0. Solve 8*i = t*i - 10 for i.
-2
Suppose 0*j = 4*j - 20. Solve -32 = -j*v - 7 for v.
5
Suppose -3*p + 4 = -p. Let y be 8/10*5/p. Let q = -6 + 9. Solve -y = i - q for i.
1
Let o = 0 + 2. Suppose 5*h - 14 = o*x - 0*h, -3*x - 2*h + 17 = 0. Let a(v) = -v**3 + 3*v**2 - 2*v + 1. Let y be a(2). Solve 2*d - x = y for d.
2
Let w be 1 - (2 + 1 + 4). Let v be w/(-8) + (-15)/(-12). Solve f - v - 3 = 0 for f.
5
Let w = 2 - 1. Suppose 1 + 8 = 3*k. Let l = k - w. Solve l*u - u = 5 for u.
5
Suppose 3*o - 6 = -0*o. Suppose -5*i = 5*u, i + o*u = -2*u - 15. Let m be (-1 + 0)/(1/(-4)). Solve i = p + m*p for p.
1
Suppose 5 = -f + 3, 2*f = 4*c - 12. Solve -c*v + 0 + 2 = 0 for v.
1
Let m(x) = x - 1. Let w(g) = 3*g. Let u be (-4)/(8/(-6)) + -2. Let r(b) = u*w(b) - 2*m(b). Let o be r(-2). Solve o - 2 = -z for z.
2
Suppose 2*o = -2*o + 20. Let s be 3/9*(-18)/(-2). Solve 0 = -s*m + 7 + o for m.
4
Let d be 2*((-36)/8 - -2)*-1. Solve -3*b - 2*b - d = 0 for b.
-1
Let r = 6 + 5. Solve -5*l - r = -1 for l.
-2
Let k = 9 - 7. Let s(f) = -f**2 + 2*f. Let y be s(k). Solve -2*r - 12 + 2 = y for r.
-5
Let k be (-4 - -2)/(4/(-16)). Let z = -6 + k. Solve z*a - 6*a = 0 for a.
0
Suppose -4*t = -7*t - 5*t. Solve -3 = -t*d + 3*d for d.
-1
Suppose 2*z = z + 1. Let r(t) = t - 17. Let n be r(19). Suppose -15 = -n*j - z. Solve j*y - 2*y = 10 for y.
2
Suppose -3*d + 15 = -p, 0*d = -3*p - 2*d + 10. Let z(n) = n**3 + n**2 - n. Let t be z(p). Solve -2*s + 5*s + 15 = t for s.
-5
Suppose -2*a - 25 = g - 6, -22 = 2*a + 2*g. Let b = -4 - a. Let h = -2 + b. Solve 1 = h*o - o for o.
1
Let a be 26 + -2 + 1/1. Suppose 6*f - a = f. Solve -3*r = -2*r + f for r.
-5
Suppose r = -a + 4, 24 = 5*r - 0*r + a. Solve 2*y + r = -3 for y.
-4
Let a(t) = t**2 - 4*t. Let g be a(4). Let p = 6 + g. Solve 2 = -y + p for y.
4
Let a = 65 - 63. Solve a*j = 4*j + 2 for j.
-1
Suppose -5*x = -47 + 7. Let q = x - 5. Solve -6*b - 3 = -q*b for b.
-1
Let r(w) = w**3 + 3*w**2 + 3. Let v be r(-3). Solve -v*f = f for f.
0
Let q(c) = 4*c**2 - 2*c**2 + 3*c**2 - 4*c**2 + 10 - 7*c. Let l be q(7). Suppose 0 = -6*z + z - l, 0 = -3*r - 3*z + 6. Solve r*g = 5 - 13 for g.
-2
Suppose -7*o = -27 - 78. Solve 2*u + o = -3*u for u.
-3
Let q(b) = -b**3 + 3*b**2 + 10*b + 2. Let d be q(5). Solve d*n = 3*n for n.
0
Let r be 0*((-4)/(-4))/(-1). Solve r = -8*k + 3*k - 25 for k.
-5
Let r = 119 + -107. Suppose -3*g + 4*x = 10, -g + x = 5*x - 2. Let u = 2 - g. Solve r = u*w - w for w.
4
Let h be ((-24)/10)/(3/(-10)). Let f(a) = -a**3 + 8*a**2 + 3*a + 11. Let u be f(h). Suppose -4*v = -9*v + u. Solve -y + 2 - v = 0 for y.
-5
Suppose -8*g + 12*g = 12. Solve -c - g*c - 12 = 0 for c.
-3
Let f be 2/3 + (480/18)/8. Solve f*d = d for d.
0
Suppose -2*h - 2*r + 16 = 0, 0*h = 3*h - 4*r + 4. Solve 2*y - 6 - h = 0 for y.
5
Suppose 4*v - 2*v + 6 = 0. Let p be 2/2*v + 5. Solve p = -5*f - 13 for f.
-3
Let x(q) = -q**2 - q + 4. Suppose 3*z - 15 = -0*z. Suppose z*k = 3*k. Let a be x(k). Solve 9 = a*r + 25 for r.
-4
Let c(u) be the first derivative of 4*u**3/3 + u**2 + u - 1. Let t be c(-1). Suppose 0 = 2*q - 2*p - 0 + 2, t*p - 9 = q. Solve -6 - 3 = -q*h for h.
3
Let w = 61 - 56. Solve w*c = c for c.
0
Suppose -2*d = d + j - 17, -d + 2*j = -1. Solve 0 = d*w + 1 - 26 for w.
5
Let q be (-2 + 292/12)*3. Suppose 5 = 3*u - q. Solve 0 = 5*a - u + 4 for a.
4
Let i(s) = s**2 + 4*s - 3. Let k = 2 - 7. Let b be i(k). Solve b*c - 4 = -10 for c.
-3
Suppose 0*v - 2 = -v. Suppose -2*w + v*q = 14, 9 - 52 = 4*w - q. Let o be (-3)/w - 30/(-8). Solve -2*g = -g + o for g.
-4
Suppose -2*i - 3 = 2*m - 5*i, 5*m - 5 = -5*i. Solve 8 = 4*r - m*r for r.
2
Suppose -4*k = -5 - 3. Suppose u - 3 - 10 = -4*v, -2*v + 2 = k*u. Suppose -4*t + 4*b = -8, -2*t - 3*t - 3*b = 6. Solve 5*g - v - 1 = t for g.
1
Suppose -6*n + 0 = -12. Solve -3*c - n*c = 0 for c.
0
Let t = -28 + 29. Solve 5*q + 16 = t for q.
-3
Let k be ((-12)/(-30))/((-2)/(-20)). Suppose 0 = b + 2*a, 0*b - k*a + 12 = 5*b. Solve -t + 1 = -b for t.
5
Let g = -5 - -9. Let p(k) = 8 - k**2 - 2*k**2 - 8*k + g*k**2. Let l be p(7). Solve 3*t - 11 = l for t.
4
Suppose 0 = -2*d + 3*o + 5, 0*d + 5*o - 75 = -5*d. Let n = d + -7. Solve 0 = 3*a - 6 - n for a.
3
Let j = 0 - -5. Solve -j*h - 5 = -15 for h.
2
Let k(h) = 3*h - 3. Let w be k(6). Suppose -w + 35 = -5*j. Let q be j + 3 - 1*-3. Solve 0 = -b + q*b + 2 for b.
-2
Suppose i + 4*i - 30 = 0. Solve 7*k = 5*k - i for k.
-3
Let h = -38 - -42. Solve -h*z + 9 = 1 for z.
2
Suppose -4*b + o + 26 = 0, 0*o = -3*o + 6. Solve 2*c = -b + 3 for c.
-2
Let r(v) = v**3 + 3*v**2 + 2*v + 2. Let p be r(-2). Let u be (-2 + (-15)/(-6))*4. Suppose w + 2 = 4*q - 2*q, -4 = -u*q + 2*w. Solve q = p*n + n + 15 for n.
-5
Suppose 10 = 3*v + 2*n, -v - 2*n + 3*n + 10 = 0. Suppose r + 15 = v*r. Solve 0 = -r*k - k + 8 for k.
2
Let g = -10 + 12. Solve g*f = -f + 15 for f.
5
Suppose 7*s - 8 = 6. Solve s = 2*y - y for y.
2
Suppose 2*h + 3*d - 2*d - 8 = 0, -h + d = 2. Solve 0 = 7*m - h*m for m.
0
Let y be 9/((-3)/1) - -6. Let u(g) = 3*g - 1. Let j be u(y). Suppose -15 = -0*a - 5*a. Solve 0 = z + a*z + j for z.
-2
Let w = -7 - -10. Suppose 2*s = 5 - 1. Suppose 5*n - 3 = -2*p, -2*p + 7*p + 2*n = 39. Solve s*o = w - p for o.
-3
Let g(o) = -3*o - 2. Let u be g(-2). Let b be (-34)/8 - (-12)/(-16). Let n(k) = -k + 1. Let l be n(b). Solve 2*i + u = l*i for i.
1
Let w(y) = y**2 - y - 4. Let q be w(-2). Solve q*o = -o - 3 for o.
-1
Suppose 10 - 30 = -4*m. Suppose -5*o + 21 + 24 = 0. Let n = o - m. Solve 0 = 3*u - n*u + 5 for u.
5
Suppose 2*l - 4*j = -4, 0 = 2*l - 0*l - j - 5. Let x = 4 - l. Suppose x = v + 3*v - 4. Solve 0 = k + v for k.
-1
Suppose -41 + 56 = 5*s. Solve 3*c = -s - 6 for c.
-3
Let j(s) be the second derivative of 3*s**5/20 - s**3/6 - 6*s. Let p be j(1). Solve 3*c + p*c = -15 for c.
-3
Let i(w) = -w**3 + 7*w**2 + 9*w + 4. Let n be i(8). Suppose 0 = -y + 4*s - n, 2*y + 4 + 11 = 5*s. Solve 0 = -y*o - 2*o - 10 for o.
-5
Suppose 9 = 5*k + 2*f, f + 1 = -5*k + 13. Let z = 4 + 2. Solve t = k - z for t.
-3
Let h(r) = -r**2 - 5*r + 5. Let x be h(-5). Suppose 30 = 5*o - x*j, -24 = o - 5*o + 5*j. Solve -4 - o = -5*y for y.
2
Suppose 4*l - 11 = -5*a, -5*l - 5 = -5*a + 15. Solve 0 - a = 3*b for b.
-1
Let u be (-4)/(-6)*15/2. Suppose -43 = -u*n + 7. Let c = n - 1. Solve -7*g = -4*g - c for g.
3
Let u(c) = c**3 - 2*c**2 + c. Let n be u