 - 1. Let u = 3 - 0. Solve t + s = u for t.
2
Suppose 0*d - 11 = -3*x + 2*d, -5*d = 3*x - 25. Solve -6 = 3*z - x*z for z.
3
Let k = -93 + 99. Solve k - 2 = -2*q for q.
-2
Let b = -11 + 15. Let k = 8 - b. Let v = -2 + 5. Solve 16 = -v*t + k for t.
-4
Let o(r) = -r**2 - 21*r + 48. Let h be o(-23). Solve 5*b - 15 = h*b for b.
5
Let l = 0 - -5. Solve 0 = -5*d + l for d.
1
Let v(i) = i - 11. Let d be v(9). Let t = d - -10. Let y(j) = j - 7. Let p be y(t). Solve -p + 9 = -4*k for k.
-2
Let q = 94 + -94. Solve q*a - 4*a = 0 for a.
0
Let l be (-36)/(-4)*2/6. Solve 10 = -2*k - l*k for k.
-2
Let m = 17 + -12. Let t = m + -1. Solve 0*c - t*c - 12 = 0 for c.
-3
Let x(u) = 8*u. Let a be x(1). Suppose -a*m + 36 = -4*m. Solve 4*f = f + m for f.
3
Let j(a) = -a**3 - a + 9. Let b be j(0). Let d(k) be the first derivative of k**3/3 - 4*k**2 - k + 1. Let f be d(b). Solve 2*n = -2*n + f for n.
2
Let j = -48 - -68. Solve -3*p - j = 2*p for p.
-4
Let g(k) = k - 12. Let j be g(13). Suppose 2*i - 5*r + 2*r = 14, 5*i = 4*r + 21. Solve l + j = -i for l.
-2
Let x be (-6)/27 - 4/(-18). Solve x = -3*c - 0 - 3 for c.
-1
Suppose -l + 21 = 7. Suppose 4*g = 2*f - 20, 4*f + g - 99 = -l. Solve -5*y + y = f for y.
-5
Suppose 0 - 2 = -j. Solve 0*g = g - j for g.
2
Let r be 4 + 2 + (-3 - 0). Solve r*q = 2*q for q.
0
Suppose -j + 4*j - 15 = 0. Solve 0 = j*r - r - 16 for r.
4
Let j = -16 + 16. Solve -10 = 2*f - j*f for f.
-5
Let l(t) = 6*t - 1. Let f be l(1). Suppose f*c + 7 = 22. Solve -4*r + c*r = 0 for r.
0
Let t(x) = -4*x - 4. Let b be t(-2). Solve -b*l + 3*l = -3 for l.
3
Let k(a) = 3*a - 8. Let f be k(8). Solve 5*q + f = q for q.
-4
Let s(u) be the second derivative of -1/6*u**3 + 7/2*u**2 + 2*u + 0. Let v be s(5). Solve 3*n - 4 = v for n.
2
Let w(y) = -13*y - 1. Let j = 0 + -1. Let b be w(j). Solve n - b = -2*n for n.
4
Suppose -4*g = -4*i + 6 + 14, -20 = 2*g - 4*i. Let w be (g/2)/(2 - -1). Solve w = 5*s - s + 20 for s.
-5
Let n(j) = j + 3. Let y be n(0). Let p be 6 + -6*(0 - (-8)/12). Solve p = -y*u - 4 for u.
-2
Suppose 2*x - 25 = 4*v - 7, 4*x = -5*v - 16. Let d be (24/10)/(3/(-15)). Let r = v - d. Solve g + r = -g for g.
-4
Suppose 4*u - 2*x = -6*x + 28, -2*u + x + 8 = 0. Solve 7 = -4*c - u for c.
-3
Let s(d) = d**3 - 9*d**2. Let m be s(9). Let a = 6 + -3. Suppose -a*g = 2*g - 50. Solve 5*z + m*z = g for z.
2
Suppose -7*n = -3*n - 16. Let z = -3 + n. Solve z = -2*t - 1 for t.
-1
Suppose i - 7 = -d - 1, d - 2 = i. Let u be (-249)/(-15) + (-8)/(-20). Suppose u + 3 = i*f. Solve f*x + 5 = 5*x for x.
-1
Suppose -4*x + h + 511 = 0, 2*x = -2*h + 4*h + 260. Suppose -2 = 5*q - x. Solve q = -a + 6*a for a.
5
Let c be (10/6)/((-2)/12). Let u = c - -11. Solve h + u + 3 = 0 for h.
-4
Suppose 2*k = 5*a - 4*a + 3, 5*a = 25. Solve 0 = -m + k for m.
4
Let g(n) = -4*n**2 - 5*n - 1 + 5*n - 4*n + n**3 - 1. Let k be g(5). Solve k = -3*f - 12 for f.
-5
Let k be (2 - (1 + 1)) + -6. Let s = -80 + 72. Let o = k - s. Solve -c = o*c for c.
0
Let w(u) = -2*u**2 - u**3 - 26*u + 22*u - 3*u**2 + 3. Let g be w(-4). Solve -2*h + g = h for h.
1
Let z = 11 + -7. Solve 2*m + 0 = z for m.
2
Suppose -5*y + 15 + 5 = 0. Let s(z) = z**3 + 5*z**2 - 2*z + 2. Let x be s(-6). Let f = x + 36. Solve 5*q - y = -f for q.
-2
Let i be (-42)/(-6) + (1 - 4). Suppose 0 = i*f - f - 12. Solve -5*n + f = 14 for n.
-2
Suppose 11 - 3 = 4*h. Solve 3*y = -h*y - 20 for y.
-4
Let v be (0 + 0/1)/3. Suppose v = u - 2 - 2. Solve -3*l - 4 = -u*l for l.
4
Suppose 0 = -2*p + 26 + 10. Let k = p + -18. Solve k = c + 3*c for c.
0
Let y(a) = 2*a - 2. Let w be y(1). Solve w = n + 2*n - 15 for n.
5
Suppose 3*t + 45 = 4*k, 2*t + 4*k - 1 = -11. Let c = 20 - 4. Let g = c + t. Solve 2 = g*u + 22 for u.
-4
Let z = -21 - -37. Suppose 5*p - z + 6 = 0. Solve 0*n + 10 = -p*n for n.
-5
Suppose 2*j - 7 = -3. Suppose 0 = 4*o - t - 8, -6*t + 5*t + 10 = j*o. Solve -o*b + 5*b = -10 for b.
-5
Let k(q) = 2*q**3 + 8*q**2 + 4. Let t be k(-4). Suppose -5*s = 4*y - 58, 3*s + 16 = 2*y - s. Solve -l + y = -t*l for l.
-4
Let g = -170 - -71. Let t be (-22)/g - 14/(-18). Solve -n + t - 6 = 0 for n.
-5
Let c(p) = p**3 - 8*p**2 - p + 11. Suppose 2*b - 4 - 12 = 0. Let g be c(b). Solve 0 = -2*u - g*u - 10 for u.
-2
Let v be (-6)/(-33) + 31/11. Let w be -4*((-3)/(-3) - v). Solve -3*l = 4 + w for l.
-4
Suppose 3*w - 5*g = -9, 3*w + w = 4*g - 4. Let o be 2/7 - 76/(-28). Suppose 3*t - 3*h = -6, -h + 11 = -t + 3*t. Solve -t*y = -w*y + o for y.
-3
Let n(t) = t**3 + 3*t**2 - 1. Let r be n(-2). Let g be 6/r + (-7)/1. Let c be (-30)/(-6)*(-3)/g. Solve -c*f + 0*f = 15 for f.
-5
Suppose -2*z + 32 - 24 = 0. Solve 18 = z*g + 6 for g.
3
Let h be 0 + -1 - (-20)/(-10). Let q be (-2)/h - 40/(-12). Solve q*u + 11 + 5 = 0 for u.
-4
Suppose -4*c - q = -25, c + q = -0*q + 10. Suppose -33 = -c*m + 2*m. Let b = -8 + m. Solve -b*s = -4*s for s.
0
Let r = -21 - -27. Let k(d) be the first derivative of d**3/3 - d - 1. Let a be k(-2). Solve r*x = a*x + 6 for x.
2
Let g(c) = c + 14. Let r be g(-9). Let j(d) = d - 3. Let o be j(r). Solve -o*v = -6*v - 4 for v.
-1
Suppose 0 - 6 = -b. Let c = -12 + 12. Solve c = 3*t + b for t.
-2
Suppose 4*d - 16 - 16 = 0. Solve -d = 5*m + 12 for m.
-4
Let m be (-2 - (-4 - 0))*-1. Let o be (-3)/2*-6 + m. Suppose 5*s + u = o, 4*u = 2 - 14. Solve s*d + 3*d - 10 = 0 for d.
2
Let f = -11 - -5. Let c = f + 10. Let a be -3*(-7 + 2)/5. Solve a = -c*q + 5*q for q.
3
Let n be (-24)/(-42) - (-6)/14. Solve -q - 2 + n = 0 for q.
-1
Suppose 13 = -3*p - 2. Let h = p + 5. Let c be (20/(-6))/(4/(-6)). Solve -5 = -h*q - c*q for q.
1
Let y(d) = -d**3 - 5*d**2 - 4*d - 2. Let j be y(-2). Let n = j - -7. Solve 3*x + n = -2 for x.
-1
Let b = 13 - 8. Suppose -2*f - 5*p - 2 = -7, -b = f - 5*p. Suppose 3*h = -2*r + 9, -3 = -2*h - 5*r - 8. Solve f*g + 10 = h*g for g.
2
Let d = -5 - -3. Let h be (1 - 3) + 2 - d. Solve -h*r + 6*r = 8 for r.
2
Suppose 3*o = -4*g + 64, -3*o + 83 = 5*g - 0*o. Suppose -5*l = -i - 12, -3*i + 7*i = 2*l + 24. Suppose 4 = 3*m - i. Solve -m*p - g = -3 for p.
-4
Let s(b) = 2*b - 6. Let l be s(11). Let i be 12/(-10)*1*-5. Solve i*h + l = 2*h for h.
-4
Let b = 0 - -6. Suppose -2*s = 3*z - b*s - 28, -z - s + 7 = 0. Solve -2*i = -6*i - z for i.
-2
Let h be 1/(33/(-12) + 3). Solve -2*y + y = h for y.
-4
Let n(a) be the third derivative of a**5/60 + a**4/8 + a**3/2 + 2*a**2. Let z be n(-3). Suppose -z*r = -r - 40. Solve q - r = -4*q for q.
4
Suppose -p + 15 = -6*p. Let o(d) = -6*d + 3*d + 2*d + 1. Let t be o(p). Solve t = n + n for n.
2
Let u(o) be the second derivative of o**5/120 - o**4/8 - o**3/3 + 2*o. Let z(w) be the second derivative of u(w). Let q be z(5). Solve q*d - 2 - 8 = 0 for d.
5
Let c(i) = 6*i + 1 + 4*i**2 - 3*i**2 - i. Let y be c(-5). Let p be (2 - (0 + 2))/y. Solve p = d + 3*d + 12 for d.
-3
Let l(o) = -o + 6 + 7 - 4. Let j be l(5). Solve 2*b + j + 2 = 0 for b.
-3
Let s = -6 + 8. Let k(g) = g**2 + g - 2. Let h be k(s). Suppose h*y - y - 21 = 0. Solve -3*t - 16 = -y*t for t.
4
Let c be (-16)/(-72) + 14/18. Solve -4*g = 3 + c for g.
-1
Let y be 16/6*3/2. Suppose 6*i + 4 = 2*z + y*i, -2*i = 5*z + 11. Let w be (z/3)/((-2)/114). Solve 5*x - w = -4 for x.
3
Suppose 9 = 4*q + 65. Let d = 9 + q. Let y be (d + (2 - 2))/(-1). Solve y*k + 6 = -19 for k.
-5
Suppose 4*y = -3 + 27. Let r = -3 + 6. Suppose 12 = z - r*q, 4*z = -q - q + y. Solve 2*o - 3 = z for o.
3
Let x = 17 - 12. Solve -2*o = -x*o for o.
0
Suppose 0*k = 3*k. Suppose 15 = 3*g, k*c - 65 = -3*c + 2*g. Suppose 3*y = -12, 5*q - 4*y = 16 + c. Solve 12 = -q*i - 3 for i.
-3
Let y(t) be the second derivative of t**3/6 + 5*t**2 + 3*t. Let c be y(-7). Solve 2*w = w + c for w.
3
Let x(u) = -u + 24. Let j be x(22). Solve 2*g - j - 2 = 0 for g.
2
Let k = 7 + -4. Suppose -3*u + v - 2*v = -3, 0 = 4*u - k*v - 17. Solve -7*w + u*w = 10 for w.
-2
Let w(a) = a**3 + 5*a**2 - 6*a + 4. Let i be w(-6). Suppose i*y = 13 + 11. Solve 2*k + y = -2 for k.
-4
Suppose -4*s = s. Suppose -2*p = 4 - s. Let m = 1 - p. Solve 2*l = -m*l for l.
0
Let z = 30 + -28. Solve 3*k - z*k = -5 for k.
-5
Let n be 126/36*(-16)/(-14). Solve -n = -5*d + d for d.
1
Suppose 0 = -u - 5*l - 0 + 27, 4*l - 20 = 0. Let c be u/(-2)*(7 + -8). Solve c = k - 3 for k.
4
Let c = 21 - 19. Solve c*n - 2 = 3*n for n.
-2
Let q(h) = -h**3 + 5*h**2 - 4*h + 2. Let t be q(4). Su