1 = f - k for f.
4
Let m = -6 - -6. Solve 0 = -m*i - 3*i for i.
0
Let q(i) = i**2 - 7*i - 5. Let p be q(8). Solve -p*z = -0*z for z.
0
Suppose 0 = z + 1, -14 + 2 = -5*d + 2*z. Solve 2*o = -d*o - 20 for o.
-5
Suppose -4*y = -3*y - 6. Let r(d) = d**3 - 5*d**2 - 7*d + 6. Let a be r(y). Solve -3*u + 3 = -a for u.
1
Suppose 2*c + 33 = -c. Let g = -8 - c. Let x be 7 - 1*(0 - 0). Solve 5*r - g = x for r.
2
Let q be (-1)/(-3) + 15/9. Suppose -2*n = 4*t + q*n - 32, 3*n = 5*t. Suppose 45 = t*u + 5*c + 13, -c = 5*u - 24. Solve 0 = -u*i - 0*i for i.
0
Suppose -l - 3*l = 0. Suppose l*f + 2 = f. Suppose f*q - 7*q = -40. Solve 0*u = -4*u + q for u.
2
Let g(k) = -6*k**3 - 2*k**2 + 1. Let c be g(-1). Solve c*m = 9 - 29 for m.
-4
Let a = -47 + 51. Solve 0 = -a*i - i for i.
0
Let t(i) = -i**3 - i**2 + 4*i + 1. Let b = -2 - 1. Let w be t(b). Solve 5*h + w = -18 for h.
-5
Let d be (-3 + 3)*5/10. Solve d = 3*a - 8*a - 20 for a.
-4
Let v be (2 + -9)/(-1 + 0). Suppose 2*j = 13 + v. Solve -2 = 4*c + j for c.
-3
Let q = 5 + 10. Let g = q + -11. Suppose c = -4*z + 20, 5*z - 26 = -g*c - 1. Solve -i - 4 - 1 = c for i.
-5
Suppose 4*m = -0*m - 2*v + 2, 1 = v. Solve -2*d + 0*d + 2 = m for d.
1
Suppose 5*z = -13*z. Solve 3*i - 4*i = z for i.
0
Let p(o) = -o**3 - 2*o**2 + 5*o + 5. Let b be p(-4). Suppose 3 = 4*i + 3*h - b, 4*i + 4*h = 24. Solve 3 + i = 5*s for s.
1
Let g(y) be the second derivative of -y**5/20 + y**4/2 + y**3/3 - 2*y. Let m be g(6). Let v = 27 - m. Solve 2*k - v = -k for k.
5
Let t be 12/36 + 82/6. Solve -t = -4*u - 34 for u.
-5
Suppose 4*i - p + 125 = 0, 0 = -3*i + 3*p - 96 - 9. Let q be 4/10 + (-18)/i. Let v be (7 + 0 + -2)*q. Solve 4*h + 1 = v*h for h.
1
Let f be (-595)/(-34) - (-3)/(-2). Solve 0 = -3*u + f - 4 for u.
4
Let w be ((-2)/4)/(2/36). Let b = w - 0. Let m be 2 - 6/b*3. Solve -m*r + 2 = 10 for r.
-2
Suppose -4*z = -9*z + 2*n + 17, 0 = -n - 1. Solve -z = -3*l + 6 for l.
3
Let v(l) = l**3 + 5*l**2 + 4*l + 1. Let j be v(-4). Solve 2*g + 5 = -j for g.
-3
Let w(c) = -4*c + 50. Let m be w(12). Solve 0 = -2*t - m*t - 12 for t.
-3
Let q(p) be the first derivative of p**3/3 - p**2 - 3*p - 4. Let i be q(-2). Solve -i*w = -2*w - 15 for w.
5
Let g be 4/(-24)*1 - 19/(-6). Solve 4*k + 5 = g*k for k.
-5
Let z be 6/8 - 80/(-64). Solve -z = 3*b + 7 for b.
-3
Let y(z) = -2 + 9 - z + 3 - 4. Let a be y(0). Solve a + 0 = -3*l for l.
-2
Let k be (-1*1)/((-3)/12). Suppose 6*d - 4 = 32. Solve -k*x = -d*x - 6 for x.
-3
Suppose 0 = -11*i + 9*i + 10. Let g be 7 - 0/(1 + 0). Let p = g - i. Solve -p*j = -6*j for j.
0
Suppose 5*d = 3*d. Suppose 0 = 3*n - 2*k - 21 + 2, -12 = -2*n + k. Suppose n*x - 17 = -2. Solve d = x*a - 7*a for a.
0
Let h be 18/2*6/2. Suppose 4 = -m + h. Solve 2 = -5*s - m for s.
-5
Let x = -7 - -6. Let u be x/(0 - 3/3). Solve -u = a + 1 for a.
-2
Let f = -73 - -76. Solve 0*a = f*a for a.
0
Suppose -8 = -3*b - 2. Solve b - 4 = -u for u.
2
Let z = 22 + -18. Solve -i + z*i - 15 = 0 for i.
5
Suppose 0*b - 3*b + 15 = 0. Suppose -7*c + 6*c = -b. Solve 17 + 3 = -c*j for j.
-4
Suppose 0 = 3*l + n - 2 - 9, 2*n = 4. Let d = 5 - l. Solve -4*r = -d - 18 for r.
5
Suppose 5*g - 2*b = 4*g + 12, 4*b = -20. Solve 0 = -l - 3 + g for l.
-1
Let c(m) = -m**2 - 5*m + 2. Let r be (5/2)/(1/(-2)). Let z be c(r). Solve 2 = z*p - 2 for p.
2
Let g(q) = q - 7. Let d be g(-6). Let f = -11 - d. Solve 0 = 2*j - f - 8 for j.
5
Let s(h) = -h - 5. Let k be s(-5). Suppose -x + t = 2*t, k = 2*x - 2*t - 16. Suppose -25 = -x*p + 35. Solve 0 = 2*o + o - p for o.
5
Let t(c) = -c - 8. Let z be t(-10). Solve 0 = -z*d + 5*d + 15 for d.
-5
Suppose 0 = -2*v + 8, 3*u = 8*v - 10*v + 80. Solve 4 = 4*h + u for h.
-5
Let n(r) = -r + 12. Let s(b) = -b - 1. Let c be s(-9). Let k be n(c). Suppose h = -h + k. Solve 0 = h*f - 0*f + 4 for f.
-2
Let r be (-2 - (3 + -2))*1 + 5. Solve 0 = -2*b + r + 4 for b.
3
Let c(q) = 5*q**3 + 3*q**2 - 2. Let g(w) be the first derivative of w**4/4 + w**3/3 - 4. Let y(p) = c(p) - 4*g(p). Let r be y(2). Solve -s = r*s + 3 for s.
-1
Let m(y) = -y - 1. Let l be m(-6). Solve 6 + 4 = -l*s for s.
-2
Suppose 3*r = -0*r + 24. Solve -5*u + r = -7 for u.
3
Suppose -18 = -4*a - 2*d + 5*d, -4*a + 22 = -5*d. Let t(x) = x + 2. Let g be t(4). Suppose -2*c + g = -c. Solve 0 = a*h - 0 - c for h.
2
Suppose -2*s = -3 - 1. Suppose 3*z + 12 = -0*z. Let x = z - -10. Solve -20 = x*u - s*u for u.
-5
Let x be -1*(340 - -2)/2. Let g be (-6)/33 + x/(-33). Solve -g*b = -10 + 30 for b.
-4
Suppose -4*c - 2*r = 2*r - 12, 2*c = 4*r. Solve -x = c*x - 3 for x.
1
Let j(s) = s + 4. Let g be j(-2). Solve -g*u + 4 = -0*u for u.
2
Let o be 10 - 5 - (1 + -2 + -1). Solve -4*f + o = 23 for f.
-4
Let t = 2 + 0. Let p = t + -2. Suppose 3 = b - p*b. Solve 6 + 6 = -b*h for h.
-4
Suppose 0 = -7*i + 2*i + 2*u + 14, 5*i - 5*u = 20. Let z(b) = 3*b - 1. Let q be z(i). Solve 0 = q*s - 0*s for s.
0
Let g = -84 + 91. Solve 2*j + g = -3 for j.
-5
Suppose -2*q + 184 - 134 = 0. Solve w + q = 6*w for w.
5
Let z be 0 + (1 - 2) + 4. Suppose -23 = -z*p + 34. Suppose -4*h - p = -51. Solve q + q = -h for q.
-4
Let k be (-2)/1*-23*1. Let s be 9/(-12) - k/(-8). Let f be -3*(-3 - (-2)/(-6)). Solve -3*w = s + f for w.
-5
Let x(p) be the first derivative of p**4/4 - 5*p**3/3 + 3*p**2 - 4*p + 1. Let l be x(4). Suppose -9 = -l*f + 7. Solve f*w - w - 15 = 0 for w.
5
Suppose -c = -0*c - 5. Solve 9 = -c*t - 11 for t.
-4
Suppose 3*d + 3 = 2*o, 2*o = -3*o + d + 14. Suppose -3*b + o = -12. Solve 0 = -5*v - b + 15 for v.
2
Suppose -10 = -3*p + 2*j, -5*p + 4*j + 20 = 2. Solve -5 = w - p*w for w.
5
Suppose 2*c - c - 4 = 0. Solve -3*i = i + c for i.
-1
Let c(q) = q - 8. Let u be c(9). Solve 4 = b + u for b.
3
Suppose 1 = 2*k - 5. Solve -4*j = 7 - k for j.
-1
Suppose -3*d + d + 12 = 0. Solve -2*j + 4*j = -d for j.
-3
Suppose 0*l = -5*l + 10. Let g(b) = b**3 - 3*b**2 + b + 1. Let o be g(l). Let n = o + 1. Solve -2*y + 5 + 3 = n for y.
4
Let a be (4 + -5)/(1/(-8)). Let w(x) = x**2 - 9*x + 11. Let c be w(8). Suppose c*j - 10 = -4. Solve a - j = -3*s for s.
-2
Let w be -1 - -27 - -2 - 0. Let s = w - 14. Let z be (-8)/(-12) + s/6. Solve -z*o - o = 0 for o.
0
Let i = 9 + -12. Let j be (-4)/8*(3 + i). Suppose -t = -2*d + t + 2, 10 = 5*t. Solve -2*p - p - d = j for p.
-1
Suppose -5*c - 49 - 6 = 0. Let s = 18 + c. Suppose s = 5*m - 3. Solve -m = 2*q - 0*q for q.
-1
Suppose 2*r - 36 = -8*h + 3*h, 5*r = 4*h + 90. Solve -r - 7 = -5*j for j.
5
Let v be -1*((-2 - -2) + 2). Let x be -1 + (-9)/(-3 - v). Solve -5*j - x = -3*j for j.
-4
Let u(s) be the first derivative of s**3/3 + 2*s**2 + 2*s + 4. Let m be u(-4). Suppose v = m*r - 6, 3*r = -v - 5 + 19. Solve -4*b - v - 14 = 0 for b.
-4
Let w(a) = -5*a**2 + 1 + 9*a**2 - 2*a**2. Let y be w(-1). Solve 0*f = f - y for f.
3
Let n = 20 - 16. Suppose 5*c = c + n. Solve -2 = u + c for u.
-3
Let g be ((-3)/2)/(6/(-8)). Let o be -2 - (3/3 - 0). Let u = o - -4. Solve u = -3*n - g for n.
-1
Suppose -3*r - 6 = -3*l, 2*r - 7*r + 3*l = 6. Suppose 3*x + 4*y + 3 - 1 = r, -3*x - 2*y = -2. Solve -x*h = 2*h for h.
0
Suppose -4*g + 12 = -4. Solve -2*q - g = -q for q.
-4
Let l(r) = -r + 0*r**2 - r**2 + 2*r**2 - 2. Let k be l(2). Solve k*p = 3*p - 9 for p.
3
Suppose -4*s - 40 = 2*b + 2*b, 4*s = -b - 16. Let j be ((-2)/(-3))/(b/(-312)). Solve -4*x = j - 10 for x.
-4
Let z(n) = 2*n**2 - 5*n - 2. Let x be z(-3). Suppose 17 = -4*v - x. Let c be 3/2*(-8)/v. Solve -5 = -3*a + c for a.
2
Suppose m - 5*w - 39 = -m, -3*w = 15. Let x(r) = r**3 - 7*r**2 + 2*r - 9. Let y be x(m). Suppose 0 = y*c - c. Solve t = -c*t for t.
0
Suppose g = -v + 3, 3*g + 2 = 2*v + 1. Solve -3*p + 4*p + g = 0 for p.
-1
Let p = 17 + -28. Let h = 14 + p. Solve 28 - h = -5*k for k.
-5
Let r(z) be the third derivative of -z**4/8 + z**3/3 - 4*z**2. Let k be r(2). Let i be ((-3)/(-4) - 1)*k. Solve -4 + i = -h for h.
3
Suppose 0 = 15*n - 11*n - 16. Solve 5*q - 11 = n for q.
3
Let p(c) = c - 2. Let u be p(4). Solve 22 - u = 4*n for n.
5
Suppose -p - 66 = -t, 0 = -4*t + 2*t - 4*p + 114. Suppose 159 = 3*u + t. Suppose -3*f + u = -82. Solve 0 = -5*l - 13 + f for l.
5
Suppose 2 = 3*p - 4. Let k be p*(-3)/6 + -2. Let c be (-1)/(1 - (-6)/k). Solve 3*d - 8 - c = 0 for d.
3
Let v = 6 + -2. Suppose 3*h - 12 = p, -p = v*h + 4*p + 3. Solve 0 = -d + h*d for d.
0
Let y(v) = 3*v - 13. Let h be y(9). 