 - c for f.
3
Suppose 3*d - 2*k - 22 - 6 = 0, -k = 4*d - 19. Solve -r - d = r for r.
-3
Suppose 22 = 2*z + a, -z + 3*a + 18 = -0*z. Let o be -2 - (2 - 1 - 7). Let u = 44 + -16. Solve o*g - z = -u for g.
-4
Suppose -21 + 6 = -5*m. Suppose -w + 4 - m = 0. Solve 0 = -h - 6 + w for h.
-5
Let b(s) = 2*s**2 - 4*s + 2. Suppose y = -y + 3*n + 4, 0 = 4*y + 5*n - 8. Let r be b(y). Suppose -3*x = 5*h - 25, 3 + 2 = 3*x + h. Solve x = -r*f - 3*f for f.
0
Let p(n) = -n**3 + n**2 + 3*n - 2. Let i be p(2). Suppose 0 = -i*l - l + 5. Let t = -2 + l. Solve 0*b + t = -b for b.
-3
Let m(f) = 6*f - 3. Let h = -7 + 10. Let n be m(h). Let g be ((-4)/(-5))/(3/n). Solve g = v + 2 for v.
2
Let h(t) = 2*t**2 + t + 2. Let l(w) = -w**2 + w - 1. Let f(r) = h(r) + 3*l(r). Let u be f(3). Solve 0*o + u*o = -2 for o.
-1
Let u = 8 - 3. Let p = -2 - -16. Let v be 3/12 - p/(-8). Solve v*h = u + 3 for h.
4
Suppose -16 = -4*p - 4. Let y = -4 + p. Let s be ((-4)/12)/(y/6). Solve -3*n - 10 - s = 0 for n.
-4
Suppose 3*f + q = -3*q + 2, 5*f + 3*q - 7 = 0. Let k(b) = 3*b**2 - 3*b - 4 + 2*b + f. Let r be k(-2). Solve -2*w = 2*w + r for w.
-3
Let r be 14/4*(-200)/(-175). Solve -1 = -r*t + 3*t for t.
1
Let m(w) = w**2 + 9*w + 10. Let d be m(-8). Suppose 0 = d*c - 3*b - b - 30, 2*b = -2*c. Solve 0 = -c*z - 1 + 6 for z.
1
Let m be (3 - 2)*(-3 + 3). Let w = m + 2. Let i be (w + -4)/2*-3. Solve 11 = -i*p - 4 for p.
-5
Let w(i) = i + 8. Let x be w(-8). Suppose 0 = -4*d + p - 4, 16 = 5*d - x*d + 4*p. Solve -3*q - 5 + 2 = d for q.
-1
Let y be 5/20 + 7/4. Suppose 2*t + 0*t - 33 = -3*h, 0 = -2*t - y*h + 30. Solve -t - 8 = -4*l for l.
5
Let i = 11 + -12. Let p be (9 - i)/(8/8). Solve -2 - p = -3*o for o.
4
Let h(f) be the second derivative of f**5/20 + f**4/4 - 5*f**3/6 + f**2 + f. Let w be h(-4). Let a be (2 - 1)*(2 + -2). Solve -4*q + w*q = a for q.
0
Suppose 2*t + o - 61 = -3*t, -t + 14 = 2*o. Let a(c) = c**2 - 9*c + 8. Let q be a(8). Let d be q/2 + 7 + -3. Solve t = -4*g - d for g.
-4
Let j = -18 + 31. Solve -4*n = 1 - j for n.
3
Suppose -107 = -5*p + 2*j, -4*p - j + 82 = j. Let w = 5 + p. Let z be (-3)/12 + w/8. Solve 0 = -n - 1 - z for n.
-4
Suppose 4*q - 5*d = 21 + 4, 0 = q - d - 5. Solve -5*x + 4 + 21 = q for x.
5
Suppose -6 + 18 = -2*y. Let n = 7 + -5. Let d be (n + y/4)*4. Solve -d*x + 2 = -4 for x.
3
Suppose 2*g - 17 = 1. Let z = g + -9. Solve 0 = -4*o - z*o + 8 for o.
2
Suppose 4*v - 10 = 5*z, -4*v + 12 + 4 = -2*z. Solve v*q = -3 - 17 for q.
-4
Let p(y) = y**2 - 3*y - 2. Let w be p(6). Suppose 2*x - 24 = w. Suppose -l = -4*n - 16, -l - x = -2*l + 5*n. Solve -o + l = 4 for o.
-4
Let r be 2 + -13 + 1 + 2. Let n(b) = b**3 + 9*b**2 + 9*b + 11. Let u be n(r). Suppose 0 = -l + 2*f - 9, -f + u = -2*l - 0*f. Solve v = -l + 2 for v.
1
Suppose -20 = -4*j - 0*t + 4*t, -3*j - t = -31. Let n be (5/((-15)/j))/(-1). Suppose 0 = -3*b - i + 58 + 16, 4 = -4*i. Solve n*m - b = -2*m for m.
5
Suppose 4*y + 2*h - 28 = 0, 3*y - 5*h = -h + 10. Solve -f + y = 2*f for f.
2
Let s be 2/(-3)*1*-3. Solve 2 = -s*p + 8 for p.
3
Let z(x) = x**2 - 3*x - 6. Let g be z(6). Solve 0 = -2*f + 6*f + g for f.
-3
Suppose 4 = h + 1. Let m be h + -1 - (3 - -3). Let d(o) = o**3 + 3*o**2 - 5*o - 4. Let z be d(m). Solve z = s + 2 for s.
-2
Suppose -12 = -t - 2*t. Suppose -t*o = -5*o + k, 3*k = -2*o. Suppose 0*g + g = -5, -4*u = 4*g + 20. Solve -j + o - 1 = u for j.
-1
Suppose -2*u - j = 6, -5*u + 2 = -3*j - 5. Let p be 4 + -1 + 2 - u. Let m(z) = -z**2 + 8*z - 9. Let t be m(p). Solve 3*c + t = 4*c for c.
3
Let z be 6/(-12)*0/(-2). Solve z = i + 4*i + 5 for i.
-1
Suppose -3*l = -17 + 5. Suppose 0 = 5*i + w + 1 + 1, -2*w = l. Suppose 4*b = -0*b - o + 6, -4*o = -4*b + 16. Solve i = b*s + s + 9 for s.
-3
Let w = -27 + 44. Suppose -42 + w = -5*z. Solve -b = -z*b - 16 for b.
-4
Let w(o) = -o**2 - 8*o + 12. Let m be w(-9). Let t be m + (-4 - (2 + -3)). Solve 4 = -q - t for q.
-4
Suppose -2*p = -4*x - 2, -4*p + 9 = -x - 2. Solve -p*b = 9 + 6 for b.
-5
Suppose 2*o - o = 2*o. Solve o*x - x = 0 for x.
0
Suppose -3*j - 70 = 2*j. Let x(d) = -d**2 - 16*d - 3. Let s be x(j). Solve -2*c + s = 3*c for c.
5
Suppose 3*o + 2*i = 24, o - 3*o + 2*i = -6. Solve -9 = 5*c + o for c.
-3
Let d = 0 + 3. Suppose -12 = -5*n - 2*t, -2*t + 0 = -2*n + 2. Solve -n*j - 1 = -d*j for j.
1
Suppose 0 = -5*j - 3*r + 11, -2*j - 2*j = -3*r - 25. Solve 0*c - j = -c for c.
4
Let u(t) = -2*t - 3. Let j be u(-4). Let z = j + 11. Suppose 4*a = z - 0. Solve -a*q - 5 = -3*q for q.
-5
Suppose 0 = 3*j + 9, 4*j = 2*u - 37 - 5. Solve u*p - 10*p + 5 = 0 for p.
-1
Suppose -4*k - 2*y + 6 = -0*k, -y = 5*k - 9. Solve -j - 6 + k = 0 for j.
-4
Let x(s) = s**2 + 13*s - 13. Suppose 5*y - 6 = 5*p + 44, 40 = -2*p - 3*y. Let o be x(p). Solve -v - o = 1 for v.
-2
Let x = 4 + 0. Let t(b) = -b**3 + 5*b**2 - 3*b + 3. Let f be t(5). Let a be 2/8 + 3/f. Solve x*r + 5 + 3 = a for r.
-2
Suppose -4*f + 5*f - 4*t = -11, -4*f + 16 = 4*t. Let r(y) = y**2 + 6*y**3 - 2*y + 4*y - 4*y + 1. Let x be r(f). Solve 2*h = -h + x for h.
2
Suppose 5*z = 2*z + 18. Suppose 0 = -2*r + z - 0. Suppose 0*b + b = -4*o + 66, -4*o + 60 = -2*b. Solve 0 = c + r*c - o for c.
4
Suppose -5*p = -4*m - 76, 2*p + 4*m + 40 = 4*p. Solve -5*q = -q - p for q.
3
Suppose -4*r = -11 - 25. Suppose 0*t + t = r. Suppose -t*p = -4*p - 15. Solve p*z = 10 + 2 for z.
4
Let z = 13 - 10. Solve -3 = -4*k + z*k for k.
3
Let l(n) = -3*n - 6. Let y be l(-3). Solve 0 = -y*w + 4*w for w.
0
Let r(k) = -13*k**3 + 3*k + 2. Let n be r(-1). Suppose u - 3*q = -4*u + 11, 4*q = 4*u - n. Solve -2*w = -5 + u for w.
2
Let d be ((-2)/(-2))/(-1)*-9. Suppose 4*y = 5*a - 4 + 35, 5*y - 45 = 5*a. Suppose -2*v + 4*g = -y - 12, 0 = -v - 5*g - 22. Solve -d = v*q - 0*q for q.
-3
Suppose 4 = -0*f + f + 2*k, 2*f - 4 = -2*k. Let v = f + 6. Solve 4*j = -2 - v for j.
-2
Let x be (-8)/6*33/(-22). Solve x*t = 3*t - 3 for t.
3
Suppose 0 = -0*n + 5*n - 100. Suppose -b + 3*b = n. Suppose -4*g = -k - 28 + b, -3*g = 2*k - 19. Solve -25 = -k*i - 3*i for i.
5
Suppose -2*j + 5 = 3*j + 5*b, j - 3*b - 5 = 0. Solve -j = 2*w + 4 for w.
-3
Let m(k) = k**2 - 15*k + 4. Let v be m(15). Solve v*b - 10 = 10 for b.
5
Let g be 13/4 - (-63)/84. Solve j = -g*j + 5 for j.
1
Suppose 0*o = 4*o + p - 14, 3*p + 14 = 2*o. Solve 3 = y - o*y for y.
-1
Let i be (3/(-2))/(6/(-8)). Let f = 12 + -8. Suppose -3*z - 3*u + 18 = 0, z = u - f*u + 10. Solve j = i*j - z for j.
4
Let q = 154 + -151. Solve -6 = 5*j - q*j for j.
-3
Let c(j) = 2*j**3 - 2*j**2 - 2*j. Let d be c(2). Suppose -t - 6 = d*f, -6*t - 3*f = -3*t. Solve 0*g = -g - t for g.
-2
Let s be (2/(-3))/((-2)/3). Let m = -20 + 11. Let r(d) = d + 9. Let q be r(m). Solve -s = z - q for z.
-1
Let y(t) = 4*t**2 + 4*t + 3 + 0*t + t**2 + 1 + t**3. Let m be y(-4). Solve 0*r = -m*r for r.
0
Suppose 0 = -k + 5*d + 25, -2*d - 22 = -2*k - 6*d. Suppose 2 + 18 = 4*c. Suppose 3 = -3*x + 2*i, 0*x - c*x + i + 2 = 0. Solve 4*r + k = -x for r.
-4
Let o(x) = -x**3 - 19*x**2 - x - 15. Let i be o(-19). Solve -w - 10 = i*w for w.
-2
Suppose -3*h + h + 48 = 0. Let p = h - 20. Solve -4 - 4 = -p*j for j.
2
Let q = 11 + -6. Solve -q*p + 5 = -0*p for p.
1
Let v(n) = -n**2 - 6*n - 3. Let c be v(-4). Suppose 0*q + 5*q - 2*o - 20 = 0, -c*q - 2*o + 20 = 0. Suppose 2*t - t = q. Solve t*a - 7 - 13 = 0 for a.
5
Let q = -7 - -2. Let r(d) = -d**2 - 6*d - 3. Let u be r(q). Solve v + u + 2 = 0 for v.
-4
Let w be 2 - (-1 - (-2 + 1)). Suppose s + 5*g = 4*s + 28, -2*s - 8 = w*g. Let x be 16/3 + 2/s. Solve t - x*t - 4 = 0 for t.
-1
Let q = 47 - 23. Suppose -4*k = -k - q. Solve 3*t + 1 + k = 0 for t.
-3
Let a be (-8)/(-5)*(6 + -1). Suppose -a = -6*t + 2*t. Solve 3*m - 5*m = t for m.
-1
Let u be ((-12)/9)/(-2) + (-8)/12. Solve 4*x - 4 = -u*x for x.
1
Let f(i) = i**2 - 2*i - 3. Let j(t) = t**3 + 4*t**2 + 2*t + 1. Let h be j(-3). Let k be f(h). Solve 0 = -5*y - 0*y - k for y.
-1
Suppose 0 = -5*f - 10 + 25. Suppose -f*m + 15 = u, 6*m - 4 = 2*m + 4*u. Solve -w = 2 - m for w.
2
Suppose 6*i = i + 15. Solve q - i - 2 = 0 for q.
5
Let b = 18 - 3. Let d be (-6)/8 + b/4. Solve -d*w = -18 + 3 for w.
5
Suppose -2*s = 5*l + 25, 0 = -l - l - 5*s + 11. Let f be 2/l + 30/7. Solve f*n + 0*n = -4 for n.
-1
Suppose l + 30 = 5*h, 2*h - 3*l - 35 = -2*h. Solve -19 = h*p + 1 for p.
-4
Let i = 33 + -18. Suppose -3*n + 15 = 0, 4*f 