- 4*s - 1. Let f = -4 + 9. Let q be r(f). Solve q*t + t = 0 for t.
0
Let u(w) = 2*w**2 + 19*w + 24. Let v be u(-8). Solve 5*y + 2 + 13 = v for y.
-3
Suppose -2*q + 15 = q. Solve -1 - q = 2*y for y.
-3
Suppose 4*o + 5*n = -7 - 3, -4*o + 4*n + 8 = 0. Suppose 3*v - 2*p = 16, -2*v + 0*p + 19 = -3*p. Let y be (-1)/2 + (-2)/(-4). Solve 2*f + v + y = o for f.
-1
Let c be ((-36)/10)/3*195. Let f be (-4)/(-14) + c/(-63). Solve 0 = f*j - 4 - 16 for j.
5
Let u be 1 + (-3 - (-12)/3). Solve u*c + 16 = 6 for c.
-5
Suppose 2*q + 0*q = 4*w + 36, -2*w = -2*q + 30. Solve -4*g = -g + q for g.
-4
Let m = -5 - -8. Solve 3*y - m - 3 = 0 for y.
2
Suppose 0 = 3*v + 3 - 21. Let y be 1 - (-3)/v*22. Solve y + 13 = 5*m for m.
5
Suppose 0 = l + 1 - 3. Let j = 15 + 0. Suppose 2*s - 10 = -2*z, -j = 5*z - l*s - 3*s. Solve -6 = -n - z for n.
5
Let n(s) = -s + 1. Let a be 0*-3*(-2)/12. Let c be n(a). Solve c + 1 = 2*z for z.
1
Let i(t) = -t**3 + 5*t**2 - 2*t - 5. Let y be i(4). Let j(k) = -k**3 - 6*k**2 - 3*k + 7. Let a be j(-5). Let w = a + y. Solve w*l = -2*l - 2 for l.
-1
Suppose 2*n = -n + 3. Suppose a - 8 = n. Solve -5*m - 6 - a = 0 for m.
-3
Suppose 0 = -f - 0*f + 1. Let k be (10/(-6))/(f/(-9)). Solve -1 = -4*v + k for v.
4
Suppose 3*f + 5*s = 2*s + 3, -3*s = 2*f + 1. Solve -f + 2 = -b for b.
2
Suppose -1 = b - 0, 15 = 5*q - 5*b. Let f be (2/(-4))/(q/(-12)). Solve f*d = -7 - 8 for d.
-5
Suppose 27 = 5*k - 13. Solve k = s + 3*s for s.
2
Suppose c = -4*c + 30. Suppose 7*k = 4*k + c. Solve 0 = -k*d - 2 - 0 for d.
-1
Suppose -2*r = -0*r. Solve r = a + 5 - 3 for a.
-2
Suppose x = 4*a - 48, -4*a + 5*x = -6*a + 24. Let c be 3*1 + (-2 - -2). Let v be 2 + 1 + -1 + 1. Solve -v*n = -c + a for n.
-3
Suppose 4*x = 3*d + 88 - 26, 5*x = d + 72. Solve 11*o = x*o for o.
0
Let z = 35 - 32. Solve -2 - 4 = -z*g for g.
2
Suppose 11*d = 4 - 4. Solve d = -5*r - 26 + 1 for r.
-5
Let c = 20 + -15. Solve 10 + 0 = c*d for d.
2
Let g = 97 - 91. Solve -g*s = -3*s - 3 for s.
1
Suppose -4*y + y = 0. Suppose 5*k = 3*k + 2. Let o be (7 - k)/(3/2). Solve y*h + o*h = 20 for h.
5
Let s = -4 + 6. Suppose -5 = -s*z + 3. Solve j - 12 = z*j for j.
-4
Let q = -2 - -4. Suppose w = -w. Solve -q*z + 8 = -w*z for z.
4
Suppose 5*a = 6 + 9. Solve 5*t + 2 = a*t for t.
-1
Let l(p) = -p**3 + 7*p**2 - p + 10. Let h be l(7). Suppose -8 = h*i + i. Let k be (-2)/(-4) + (-15)/i. Solve -k*u = -3*u for u.
0
Let a(j) = j**2 - 9*j + 11. Let s = 1 + 7. Let f be a(s). Suppose 6*u + g = 2*u + 22, -5*u = -3*g - 36. Solve f*l + 0 + u = 0 for l.
-2
Suppose -8*t = 1 - 25. Solve 0 = 2*b + t*b - 20 for b.
4
Suppose 6*s + 20 = 11*s. Solve -5*v = -s*v + 4 for v.
-4
Let l(d) = -d**2 + 2*d + 17. Let n be l(5). Solve 0 = -j + n*j + 1 for j.
-1
Let l(p) = p**2 + 5*p - 10. Let j be l(-7). Solve m - j*m = 6 for m.
-2
Let m(x) = x**3 - 7*x**2 - 9*x + 12. Let n be m(8). Solve -7 - 9 = n*z for z.
-4
Let f = -4 - -8. Solve 2*a = f*a + 4 for a.
-2
Let q be (-1)/2 - 2/(-4). Let p be 11 + 0 + (q - -1). Solve x + 3*x = -p for x.
-3
Let p be (0 - 5/(-20)) + (-1)/4. Solve j + 3*j + 16 = p for j.
-4
Suppose -10*m + 5*m = 0. Solve -j = -m - 5 for j.
5
Let a(p) = p**3 + 3*p**2 + p + 1. Let z(s) = -s**3 - 3*s**2 - 2. Let v be z(-3). Let q be a(v). Solve f + 4 = -q*f for f.
-1
Let k(s) be the third derivative of s**2 + 0 + 0*s + 1/24*s**4 + 0*s**3. Let d be k(2). Solve -d*t + 4*t + 10 = 0 for t.
-5
Suppose 4*f = 45 - 17. Suppose 0*h = 5*h + 25. Let t = h - -7. Solve 0 = t*p - f*p + 5 for p.
1
Let m = -21 + 22. Let s = 56 - 37. Solve -4*h + s = -m for h.
5
Let w = -4 + 6. Solve 10 = 4*a - w for a.
3
Let f be (0 + -1)/((-2)/8). Suppose 5*d + 2 + 5 = y, 21 = 2*y - 3*d. Suppose z = f*z - y. Solve -5*u + z = -3*u for u.
2
Suppose 0 = 2*k + 8 - 0. Let z = 15 + k. Suppose 5*w - 4 = z. Solve -5*x - w = -2*x for x.
-1
Suppose 7*y + 2*c = 2*y + 38, 5*y = -5*c + 35. Let u = y - 4. Solve -u*v + 2 = -5*v for v.
-2
Suppose 5*p - 6 = 4*p. Suppose 2*f + 7*t + 10 = 4*t, -2*t - 10 = -2*f. Solve b + p = f for b.
-5
Let l = -3 - -6. Let a be (-17)/(-5) + l/5. Suppose a*s = 10 - 2. Solve s*t - 8 = 4*t for t.
-4
Let u = -11 + 14. Solve u*t - 13 = -1 for t.
4
Let z = -7 - -10. Solve z*x = x + 6 for x.
3
Let m(f) = -3*f - 2. Suppose -3*r + 12 = -6*r. Let u be r - 5/((-10)/4). Let x be m(u). Solve -x = -o - 0 for o.
4
Let f be 44/10 + 26/(-65). Solve -21 = f*o - 1 for o.
-5
Let y = 8 - 5. Solve 11 = y*t + 2 for t.
3
Let i(h) = h**2 - 2*h. Suppose 0 = 3*k - 5*y + 16, -8 = k - 0*k - 3*y. Let c be i(k). Solve -c*m = -3*m + 5 for m.
-1
Let w = 5 + -2. Let d be -1 + (9 - w - 3). Solve 0*b = b - d for b.
2
Let d be 23*1 + 6/3. Suppose 25 = 3*i - 2*i + 4*n, -n + d = 4*i. Let s be (4/i)/(4/10). Solve s = -6*m + 5*m for m.
-2
Let i be 0 + (5/(-35) - (-15)/7). Solve 0*b - i*b = -4 for b.
2
Suppose -6 = 2*q + 2. Let y = q - -6. Solve 0*z = y*z for z.
0
Suppose -2*h - 2 + 6 = 0. Let v(x) = x - 2. Let j be v(h). Solve j*z = -5*z + 5 for z.
1
Let x(w) = w**3 + w + 30. Let a be x(0). Let k be (a/4)/(3/4). Solve 2*y + k = -3*y for y.
-2
Let k = 113 - 104. Solve -k*x = -3*x for x.
0
Suppose -o + 1 = 4. Let w be (o/(6/(-20)))/1. Let j be (16/(-24))/((-3)/(81/6)). Solve -8*v - w = -j*v for v.
-2
Suppose -d + 6*d + 12 = 4*t, 0 = -2*d - 3*t + 9. Suppose -5 = -4*p + q, 3*p + 5*q + 1 + 1 = 0. Solve -s - p = -d*s for s.
-1
Let l(u) = -3*u - 1. Let d be l(-2). Solve d = 3*x + 2*x for x.
1
Suppose -23 + 16 = -x. Solve x = 3*g + 1 for g.
2
Let u(b) = -b**2 - 3*b - 2. Let y be u(-2). Suppose -5*m + 5 = y, 2*m = -d - 3*d + 18. Solve d*h + h = 15 for h.
3
Let c = -10 - -18. Let n = c - 6. Solve n*s + 0*s = -2 for s.
-1
Suppose 5 = -3*c + 8*c. Suppose -b = c + 3. Let d be b/(2 + -4) - 0. Solve 0 = -3*q + d*q + 5 for q.
5
Let u(k) = -2*k + 15. Let s be u(0). Solve s = -y + 6*y for y.
3
Let i(z) = -z**2 + 4*z + 4. Let l be i(4). Let w = -2 + l. Let s = -91 - -91. Solve s = w*n - 2 for n.
1
Let a = 10 + -6. Let m(n) = -5 - n**3 + 1 - 5*n - a*n**2 + 0*n**3. Let q be m(-3). Solve 3*x - q*x = 5 for x.
5
Let w(r) = r**3 - 4*r**2 + 8*r - 5. Let q be w(2). Solve 2*c - 9 = -q for c.
3
Let r = 12 + -2. Solve -r*l + 5*l - 25 = 0 for l.
-5
Let x = 14 + -13. Let a be 7 + -2 + (0 - x). Solve -a*u - 1 = -17 for u.
4
Suppose 4*z - 8 = -4*c + 16, 5*z - 2*c - 58 = 0. Solve -3*s + z = 2*s for s.
2
Let i(t) = t**2 + 6*t + 1. Let v be i(-6). Let s be v - 1 - 0/5. Solve s = -m + 5*m + 16 for m.
-4
Let b(a) = -5*a - 1. Let f be 2*-1 + -2 + 12. Let p be (-4)/6 + f/(-6). Let l be b(p). Solve 11 = -4*v - l for v.
-5
Suppose 0 = 3*h - 2*h - 5. Suppose 0 = 4*i - h*j - 15, 4*j = 4*i + j - 9. Suppose i = -4*q + 39 - 7. Solve -q = 5*w + 17 for w.
-5
Let z = 71 - 69. Solve -2 - z = g for g.
-4
Let n be (0 + -1)/((-10)/20). Solve n*a - 1 = 1 for a.
1
Let t = 4 - -1. Suppose 0 = -q + t*q - 16. Suppose 0 = -4*c + q + 4. Solve 6 = -c*v - 0*v for v.
-3
Suppose 12 = 5*y + 2*x + x, y + x - 2 = 0. Solve y*v = v - 10 for v.
-5
Let u = 1 - 10. Let t = 15 + u. Solve -5*w + t = -4 for w.
2
Let w = -4 - -6. Suppose b = 4*l, 0*b = w*l - 4*b + 14. Solve -14 = -3*k + l for k.
5
Let f(j) = -3*j - 60. Let h be f(-20). Let g(c) = c**3 - c**2 - 3*c. Let i be g(3). Let z be (-4 + 1)*10/(-6). Solve -z*w + 6 + i = h for w.
3
Let z(q) = 2*q. Let d = 0 - -2. Let i be z(d). Solve 2*v = i*v - 4 for v.
2
Suppose 0 = -0*i - i + 3. Suppose -i*w = -2*b - 2, 5*b = 4*w - 8 + 17. Suppose w*f + 0 - 16 = 0. Solve -f = -y - 2 for y.
2
Suppose 0 = -v - v + 6. Suppose -v*k + 148 = k. Suppose 0 = -4*l + 63 + k. Solve -4*g + l = g for g.
5
Let r(t) = -t**3 - 6*t**2 + 6*t - 3. Suppose -o = 3*f - 3*o + 13, 4*o + 37 = -3*f. Let h be r(f). Solve -h*c + 9 = -c for c.
3
Let w be 4/16 - 46/(-8). Let y be (w/(-8))/((-2)/8). Suppose 16 = y*j + j. Solve -5*o + j = -11 for o.
3
Let a be ((-1)/(-3))/(2/36). Suppose -4*q - 2*y + 74 = 3*y, 5*y + a = q. Solve -4 = 3*u - q for u.
4
Suppose -3*g - 2*g = -25. Let q = g - -1. Solve -2*p = -5*p - q for p.
-2
Let h = -30 + 34. Solve 0 = -4*s - h + 12 for s.
2
Let f = -5 - -8. Let g be 1*4 + (-6 - -7). Suppose a = -j - g, -f*j - 4 - 1 = a. Solve 4 = -x - j for x.
-4
Let z be (-7)/35 + (-33)/(-15). Solve z*k = 4*k for k.
0
Let y be 22/6 - (-4)/(-6). Let q be (-3 - 0/3) + y. Solve q*r = 3*r - 12 for r.
4
Let y(u) = -u**3 - 13*u**2 + 2*u + 28. Let a be y(-1