-k for r.
4
Let z = 37 + -18. Let f = z - 17. Let d = 4 + -2. Solve 0 = d*q + f*q for q.
0
Let q be ((-12)/(-4))/((-3)/(-5)). Solve -q*f + 3*f + 10 = 0 for f.
5
Let c be 4/(-6) - (-5)/3. Let v be 2/(-2) + (-12)/c. Let b = v + 18. Solve -4*f - 17 = -b for f.
-3
Let j(v) = 3*v**3 - 9*v**2 + 2*v - 2. Let w be j(3). Solve w*x = x + 9 for x.
3
Let w(s) = 2*s - 7. Let r(q) = q + 4. Let z be r(-8). Let m = 2 - z. Let h be w(m). Solve -h*u = -0*u - 25 for u.
5
Let l(h) = h**2 - 11*h + 5. Let p be l(9). Let b = p - -22. Solve -k - b = 2*k for k.
-3
Suppose -2*s = -4*s + 4. Solve 2*y = -s*y for y.
0
Suppose -2*u + 3 = -u. Suppose u*v = 6*v - 9. Solve 0 = -2*p - v*p + 20 for p.
4
Let x = 8 - 6. Solve f = x + 3 for f.
5
Let h(l) = l**3 - 2*l**2 - 6*l - 5. Let y be h(4). Solve y = -3*f + 2*f for f.
-3
Let r = -14 - -16. Let k be r/4*(-1 - -11). Solve n = k*n - 4 for n.
1
Let k be (-1 - (-13)/7)*7. Let v(w) = -w + 8. Let z be v(k). Solve 0 = -r + z - 3 for r.
-1
Let n be -4 + 6 + -3 + 1. Suppose -z = -n*z - 5. Solve -1 = 4*s - z*s for s.
1
Let c be 0*3/(-9)*1. Suppose -2*z + 2 = -c. Let y be z/(-6) + 183/18. Solve 0*r + 5*r = y for r.
2
Let s be 18/(-4)*(-6)/3. Let o = 3 + -1. Suppose s = 3*p - 3*t, 0 = p + o*t + t - 7. Solve 2*h = 6*h - p for h.
1
Suppose -a - 4*p + 4 = 4*a, 4*a = 3*p - 3. Suppose 7*y - 8*y + 3 = 0. Solve -15 = -a*c + y*c for c.
-5
Let w(f) be the first derivative of f**5/20 - 5*f**4/6 + f**2 + f + 2. Let j(r) be the first derivative of w(r). Let p be j(10). Solve -k = -2 - p for k.
4
Let l = 129 + -124. Solve -l*q + 18 = 43 for q.
-5
Suppose 0 = -2*d + d. Suppose d = -4*f - 2*t + 4, -4*f = -0*f - 3*t + 6. Solve 5*i + f = 20 for i.
4
Let l(t) = -t**3 + 6*t**2 + t - 3. Let b be l(6). Suppose -3*d = -10 - 2, 8 = -b*c + 5*d. Solve -10 = -c*o + 10 for o.
5
Let q be -13 + -1 - (-9)/3. Let t = 15 + q. Solve t = -3*x + 13 for x.
3
Suppose 1 + 13 = 2*m. Solve 18 = 5*i - m for i.
5
Suppose -4*r + 19 = -2*i - 1, 3*i = -4*r + 10. Suppose -r*y = -0*y. Solve 2*q - 5*q + 15 = y for q.
5
Let w = 10 + -8. Suppose -2*m + 16 = w*m, 15 = -s + 5*m. Solve -13 = -s*h + 12 for h.
5
Let s = -13 + 18. Suppose 4*x - 2*p = 30, s*x + 6*p - 30 = p. Suppose -19 = -5*i + 2*b, -i - x = -6*b + 2*b. Solve 0 = 4*r + i + 7 for r.
-3
Suppose a + 2*a = 0. Solve a = 5*s + 7 + 3 for s.
-2
Suppose -4*q + 2 = -3*q. Suppose 4*b - q*c = 3*c - 25, -4*b + 10 = 2*c. Solve -5 = 5*n - b for n.
-1
Let b = -49 - -69. Let p(h) = h**3 - 2*h**2 + 2*h + 2. Let s be 24/13 + (-4)/(-26). Let x be p(s). Solve q = x*q + b for q.
-4
Let b = -6 - -11. Let l = 2 - 0. Suppose l*a + a - 3 = -3*u, 4*u = b*a + 22. Solve -u*v + 2 = -4*v for v.
-2
Let j(o) = 4*o - 12. Let f(z) = -z - 1. Let g(q) = -3*f(q) - j(q). Let x be g(11). Solve -4 - 4 = x*i for i.
-2
Let z = 0 + -5. Let w = z - -17. Solve 2*h + w - 2 = 0 for h.
-5
Suppose -i = -6 - 15. Solve i = 5*a + 6 for a.
3
Let s(k) = 5*k - 1. Let c be s(1). Let l be (-1 + 12)*(-4 + 5). Solve -3 = -c*h - l for h.
-2
Suppose -v + 25 = 4*v. Solve v*o + 15 + 0 = 0 for o.
-3
Let p be 2 + (1 - (-2 + 1)). Solve -1 - p = -5*z for z.
1
Let o(k) = -k - 8. Let w(j) = -3*j - 16. Let z(q) = -5*o(q) + 2*w(q). Let l be z(0). Solve -l + 3 = a for a.
-5
Suppose 0 = 4*w + 2*c - 0*c - 22, 3*c - 29 = -5*w. Suppose 7*h - w*h - 3 = 0. Solve -5*j + 14 = -h for j.
3
Let m = -15 - -17. Suppose -4*a - 5 = -3*n, n = a - m*a + 4. Solve -4*c = -n*c + 5 for c.
-5
Let r = 3 - 3. Let u(q) = q. Let c be u(r). Suppose s - 23 = -5*p, 4*s - 2*p = 3 + 1. Solve -i - 1 + s = c for i.
2
Let w(x) = 0*x + x - 1 - 4*x - 1. Let c be w(-2). Solve -3*f - c = -5*f for f.
2
Let u be 2 + 154/12 - (-8)/48. Solve -4*o - u = -o for o.
-5
Suppose 0*m - 3*m = -30. Solve m*d - 5*d = -20 for d.
-4
Suppose 0 = -4*b - 2*w + 7 - 1, 0 = b - 3*w - 5. Let r(m) = -m**2 + 6*m - 8. Let g be r(4). Solve g = b*x - 8 for x.
4
Let b = -4 + 5. Suppose 0*l + 3*u + 9 = 3*l, 0 = -5*l + u + 15. Solve -l*j + 14 + b = 0 for j.
5
Let b(j) be the second derivative of j**3/6 + 3*j**2/2 + 2*j. Let q be b(-7). Let y be ((-1)/q)/((-2)/(-8)). Solve 6 = 5*f + y for f.
1
Suppose -4*q - 3 = -q - 4*m, 2*m = q - 1. Let u = q - -5. Solve u = 5*v - 0*v + 15 for v.
-3
Suppose 0 = -i - 4, -2*f + 5*i + 0*i + 40 = 0. Let g be (-2)/((-24)/10 + 2). Suppose 5 = -2*z - g*b, z - b - 2 = b. Solve z*o - f = -2*o for o.
5
Suppose -4*j - 60 = 264. Let i be 1*2*j/(-18). Solve 2*o + 1 = i for o.
4
Suppose 4*t - 36 = -2*f, -f = 4*f + t - 81. Solve 0 = 4*x - f for x.
4
Let f be 4/(2/(-3) + 2). Solve -f*q = q for q.
0
Let w = -8 - -10. Solve -3 = -u - w*u for u.
1
Suppose 0 = 2*q + 6 - 24. Let f = -6 + q. Solve f*w = -0*w - 3 for w.
-1
Let y = 17 + -8. Let o = 17 - y. Solve o + 0 = 2*u for u.
4
Let i be (-2)/(-8) - (-46)/8. Let u = 35 + -30. Suppose 0 = -5*g - 2*a - a + 20, g + u*a = 4. Solve 5*v - g = i for v.
2
Suppose -2*j = 2*j. Suppose 4*r = -j*r. Let v be 5 - (1 - (1 + -1)). Solve r*g = -g - v for g.
-4
Let o(x) = x**3 + 11*x**2 - 10*x + 28. Let g be o(-12). Solve 0 = g*k - 2 - 2 for k.
1
Let g(u) = u**3 - 8*u**2 + 10. Let d be g(8). Suppose 4*z - 4*l + 8 = 0, z + 5*l = l + 18. Let a = z + 0. Solve -4*s + a = -d for s.
3
Let k(q) = 4*q + 1. Let v be k(6). Solve -6*g = -g - v for g.
5
Suppose 5*w + 4*l = 62 + 33, 5*w + l - 80 = 0. Let d = 21 - w. Let f be (0 + -2)*1 + d. Solve -u - f = -0*u for u.
-4
Let a(x) = x**2 + x - 1. Let c be a(1). Suppose -c - 1 = -w. Solve w*u - 1 = -3 for u.
-1
Let f(b) = -8*b - 4 + b**3 - 7*b**2 + 4. Let j be f(8). Suppose 0 = 12*h - 22 - 242. Solve j = -3*o - h + 10 for o.
-4
Let l be -2*(0 - (-18)/(-4)). Let y be 1*(0 + -2 + -1). Let m(h) = h**3 + 3*h**2 - 2*h - 2. Let f be m(y). Solve -11 - l = f*j for j.
-5
Suppose 0 = -4*u + 3*u + 3. Suppose u*m = m + 8. Solve -2*k + 4 = -m for k.
4
Let m(k) = -k + 12. Let o be m(7). Suppose o*n = 2 + 3. Solve -3 - n = -2*a for a.
2
Suppose -6 = -a - 2, -5*p = a - 29. Let b = p + -1. Solve -7 = -b*g + 9 for g.
4
Let j be (6/(-18))/(2/(-12)). Solve 3*g + j*g + 20 = 0 for g.
-4
Let x(b) = b**2 - 1. Let w be x(0). Let f = w + 5. Let y(i) = -i**3 - 2*i**2 + i + 2. Let r be y(-2). Solve r = -z + f*z + 3 for z.
-1
Suppose -3*g = -5*f - 78, -4*f - 56 = -4*g + 8*g. Let o be (-38)/(-6) + (-10)/f. Solve -5*c = o + 18 for c.
-5
Let d = 30 - 30. Solve d = 2*b + b for b.
0
Let n(i) = i**3 + 12*i**2 + 10*i - 9. Let b be n(-11). Suppose -w = -0*w - b. Solve c - 1 = -w for c.
-1
Suppose -43 + 7 = -3*n. Suppose 0 = z - 0*z - 2*i + 10, z + n = 4*i. Let g be (-44)/z + (-9)/6. Solve -v = g*v - 20 for v.
4
Let x(g) = -g**3 - g + 3. Let w be x(0). Solve w = -2*r + r for r.
-3
Suppose o + 3*o = 20. Suppose 0 = 3*x - 0*x. Suppose 2*w = 4*w + k - 13, x = 4*k - 20. Solve -1 = w*j - o for j.
1
Suppose -4*x + 4 = 0, -6*v = -2*v - x - 15. Suppose v*y - 2*y - 12 = 0. Solve -5*r - 4 - y = 0 for r.
-2
Suppose c + 0*c + 80 = 0. Let y be c/(-36) + 2/(-9). Suppose -s + y*s - 4 = 0. Solve s = -2*j - 0 for j.
-2
Let s be -2 + 3 - (3 - 4). Let y be (s + 1)*12/18. Solve y = u - 3 for u.
5
Let a be -3 + 14*3/6. Solve -a + 1 = -k for k.
3
Let f be 6/(-1*(-4)/2). Suppose -2*w + 11 = -3*w. Let z = w + 15. Solve f*t + z = -t for t.
-1
Suppose -2*x + 0 = 2. Let q = x + 6. Solve 0 = 3*w - 17 + q for w.
4
Suppose 0 = 3*m - 3*b - 18, 5*m = -2*b - b - 2. Suppose 6 + m = 4*g. Solve 10 = g*w + 3*w for w.
2
Suppose -6*q = -8*q + 4. Suppose q*t = -5*v + 3*t, -3*t = -3*v. Suppose 3*s + 1 = 4*s. Solve v*h + s = h for h.
1
Suppose s + 3*k - 12 = 0, -4*s = -2*s + 3*k - 15. Suppose p - s = -2. Suppose 2*m = -4*v - 12, -2*m - 3*v = 2*v + 15. Solve m = f - 0*f - p for f.
1
Suppose -3 - 7 = -t. Suppose 0 = -10*l - 2 + 72. Solve -2*q + l*q - t = 0 for q.
2
Suppose 0 = 2*f - 2*m + 4, -5*f + 2*m + 1 = -4. Solve -2*a = -3*a - f for a.
-3
Suppose 0 = -5*b + b. Solve b = -2*m - 2*m + 12 for m.
3
Let v be 6/15 + (-8)/(-5). Suppose -v*a + 1 = 17. Let h be (-2)/(-5) + a/(-5). Solve h*u + 0 = -2 for u.
-1
Suppose 0 + 8 = -2*g, n - 4*g = 17. Solve 4*p - 11 = n for p.
3
Suppose 2*i - 7*p = -2*p + 15, -4*p = i - 40. Solve 2*x + i = -2*x for x.
-5
Let f(n) = -2*n + 9. Let b be f(2). Solve -19 = b*z + 6 for z.
-5
Let q = 22 + -15. Suppose 9*v - q*v - 8 = 0. Solve 5*n = v*n - 5 for n.
-5
Let s be 34/8 - (-2)/(-8). Suppose -2 = -2*m - q - s*q, -3*m - 5*q + 8 = 0. Let