r = r + 5 for r.
-5
Let y(u) = -6*u + 1. Let o be y(-1). Let c(k) = -k**3 + 10*k**2 - 8*k - 6. Let s be c(9). Suppose -s*m = m - 20. Solve -3*i + o = -m for i.
4
Let v(i) = i**2 + 15*i + 16. Let l be v(-14). Solve -17 = 5*p - l for p.
-3
Suppose 6*m = m + 20. Suppose 5*p = m*y, 0*y - 3*p = 2*y. Solve y = -6*t + t for t.
0
Suppose 37*m - 19*m = 24*m. Solve 0 = -4*b - m + 4 for b.
1
Suppose 0 = -c - 5, 2*q + 0*q = c + 17. Let h be (-2 + -1)*q/(-9). Solve 0 = h*t - t + 5 for t.
-5
Let t(o) = -o**2 + 7*o - 6. Suppose 3*m - 18 = -0. Let r be t(m). Suppose r = -6*n + n. Solve f + 4 = -n*f for f.
-4
Let n = 7 + -5. Let k(i) = i. Let h be k(n). Solve 0 = 2*v - 0 + h for v.
-1
Suppose -5*s + 2*h = -16, -s - 4*h + 0*h = -12. Let j = -5 - -5. Solve j*g - s = -4*g for g.
1
Suppose -c - 4*c - 5*s = -10, -5*s = 15. Solve -c*t + 1 = -24 for t.
5
Let b be -5*(-3)/(-2)*(-2)/3. Suppose -2*q - 2 + 8 = 0. Suppose -f = 3*p + q*f, -3*p = f. Solve p = -v - 2 + b for v.
3
Suppose -f + 16 = 3*f. Suppose -4 = -4*x - 2*p, -7*p + 2*p = f*x + 2. Solve -5 = 3*n - x*n for n.
-5
Let n = -4 + 14. Solve -i = i + n for i.
-5
Let m = 16 + -11. Suppose 4*y + 9 = -3, m*y + 23 = s. Let k = s + -6. Solve -x - 4 = -k*x for x.
4
Let v(y) = y - 2. Let m be v(2). Suppose m = -5*h - z + 22, 2*h + 4*z = -0*z - 2. Solve 0*q = h*q - 10 for q.
2
Suppose -3*q + 13 = z + 2, 5*z = -5*q + 35. Suppose -2*r + 18 = z*w, 2*r = -2*w + 10 + 2. Solve c = -c - w for c.
-1
Let h = -5 - -10. Suppose y = -2 - 5. Let q be y/(-2) - (-2)/(-4). Solve -h*o = -q*o - 2 for o.
1
Suppose -3*a - 2*g = -0*g + 10, -4*g - 20 = 3*a. Solve -z - 2 = -a for z.
-2
Let p(w) = 2*w - 8. Let r be p(6). Solve 5*i + r = -1 for i.
-1
Let j = -14 - -17. Solve 18 = -5*a + j for a.
-3
Let s(l) be the second derivative of 1/6*l**3 + l + 0 + 7/2*l**2. Let r be s(-4). Solve 2*p - r - 5 = 0 for p.
4
Let m = 13 + -10. Suppose 5*d - 4*x = 52, -2*d + 15 = d + m*x. Solve 4*o - d = 2*o for o.
4
Let g = -8 + 11. Suppose 0 = -a, 5*i - a + 3*a = 0. Suppose g*j - 4*j + 4 = i. Solve j + 1 = t for t.
5
Let o be (-2)/(-2)*(2 + -2). Suppose o = b - 4 - 6. Let g = b + -7. Solve 0 = 2*v + g + 3 for v.
-3
Let l = -7 - -7. Solve 4*x + 14 - 6 = l for x.
-2
Let t = 1 + -1. Let c be (4/(-6))/((-2)/21). Let y = 13 - c. Solve -5*j + 2*j - y = t for j.
-2
Let v(i) = -i**3 + 4*i**2 + i - 2. Let m be v(4). Suppose -m - 10 = -4*r. Solve 7*x = r*x - 12 for x.
-3
Suppose 15 = 4*d + 3. Let v(c) = -c. Let b be v(d). Let u be 1 - (1 + b + -2). Solve -4 - 1 = -u*k for k.
1
Suppose 0*k - 5 = -5*k. Let h be (k + 2/(-3))*21. Suppose 0 = f - 4*x + 16, 0*f = -f - x + 9. Solve h + 5 = -f*o for o.
-3
Let z = -93 + 138. Suppose -6*g + 9*g = z. Solve 3*w + g = -2*w for w.
-3
Let m = 5 + 1. Let s = m + -2. Suppose -s*f + f = 0. Solve f = -y - 5 + 2 for y.
-3
Let w = 13 + -9. Let i be (2 + (-10)/w)*-12. Solve -4*y - 4 = -i*y for y.
2
Let k = -11 - -19. Solve v = -3*v - k for v.
-2
Suppose -5*d = 13 - 43. Suppose 0 = -i + d*i - 40. Let a be i/4 - (-19 - -1). Solve -3*l - a = -5 for l.
-5
Suppose 0 = -5*r + 4*f + 43 + 4, -2*r - 2*f = -8. Let h = -4 + r. Solve 0 = -0*p + h*p for p.
0
Suppose 50*w + 2 = 51*w. Solve w*f = -2*f for f.
0
Suppose -20 = -19*u + 15*u. Solve -3*p + u + 1 = 0 for p.
2
Suppose -v + 1 = -2*w + 4, v + w = 3. Solve 16 = -5*n + v for n.
-3
Let r be 3/((21/(-4))/(-7)). Suppose -4*p - 83 = -5*d, -r*d - 3*p + 0*p + 54 = 0. Suppose -2*h = -3*y - 12 - 6, -3*y - 3 = 3*h. Solve h = -4*v + d for v.
3
Let s = 15 + -11. Let b = -2 - -1. Let d = 1 + b. Solve -2*f + s = -d for f.
2
Let w = 7 + -1. Suppose -2*a - 2*o + 5*o - 1 = 0, 0 = -2*o + w. Let g be (a*-1)/((-2)/4). Solve -5*i + 7 = -g for i.
3
Suppose -2*a + 8 = -n - 0*a, -20 = -5*a. Solve n*i = -5*i - 5 for i.
-1
Suppose 7 = 4*v - 1. Let t(p) = -p**2 - 4*p + 5. Let l be t(-5). Solve v*h + 2*h = l for h.
0
Suppose w - 4 = 0, 2*w + 12 = 3*x - 10. Let k = x - 6. Let y(z) = -z**3 + 2*z**2 + 2*z - 2. Let j be y(2). Solve 0 = -j*f - 6 - k for f.
-5
Let b = -16 - -46. Suppose s + b = 3*j, 2*j + 10 = 3*j + 2*s. Let o be (-5)/2*(-12)/j. Solve -m - 16 = o*m for m.
-4
Let g = 13 - -4. Suppose 2*z - 8 = f - 2, 0 = -2*f + 5*z - g. Let q be 1*(1 - 1*-5). Solve -f - q = 5*d for d.
-2
Let p(q) = -q**3 - 6*q**2 + q + 8. Let a be p(-6). Let j(b) = b**2 + 11*b + 13. Let i be j(-10). Solve o - i = -a*o for o.
1
Let n be (4 + (-22)/6)*9. Solve q - n = -0*q for q.
3
Suppose -3*k - 8 = -20. Solve -r + 0 = k for r.
-4
Let d(x) = 4*x + 1. Let p be d(6). Suppose -p = -7*h + 2*h. Let n = 7 - h. Solve n*u = 5*u for u.
0
Let i = 3 - 1. Suppose t + i*t = 6. Suppose -t*h + 0*h + 32 = 0. Solve -k - h = 3*k for k.
-4
Let l = 21 + -17. Suppose -16 = -5*a - 2*r, a - 3*r - 2 = -l*r. Solve 10 = -a*d - 2 for d.
-3
Let i be -3*1/(-3)*(5 + -1). Solve i*d = 6*d + 10 for d.
-5
Let h be (-2)/8 - (-17)/4. Solve -1 - 15 = -h*j for j.
4
Let x(t) = t**3 - 6*t**2 + 7*t + 4. Let c be x(6). Let j = c + -22. Suppose -j = -2*o - v - 3*v, 0 = 5*o - 2*v. Solve -k - k = o for k.
-1
Let k = 10 - 8. Suppose z = -l - k*z + 29, -97 = -5*l + z. Solve -l = -v + 6*v for v.
-4
Let k be (0 - 2)/(1/(-4)). Let p = -2 + k. Solve p = -5*f - 4 for f.
-2
Let f = -7 + 14. Suppose 3*o - f*o = -20. Let c(z) = -z**2 + 5*z + 4. Let s be c(o). Solve s = -3*d + 1 for d.
-1
Let b be 4/(-3)*(-2 + -1). Suppose 0 = -5*y - b*q, -y - 4*q = -4*y. Let k(w) = -20*w - 88. Let j be k(-5). Solve -2*r - 2*r + j = y for r.
3
Suppose -3*c = -3*a - 2*c + 12, -4*a = 4*c. Suppose 5*r - 12 = -d - 10, 2*r = 0. Solve -a - d = -l for l.
5
Let g(v) = -2*v**2 - v + 3*v**2 - 3*v**2 - 3*v**3. Let y be g(-1). Let w be 0/(7/(7/(-2))). Solve w = -y*n + 1 + 7 for n.
4
Let n = -6 + 10. Solve 0 = n*b - 5*b + 3 for b.
3
Let p = -11 - -16. Suppose -9 = p*m - 39. Solve -5*f + m + 9 = 0 for f.
3
Let x = 64 - 62. Suppose 6 - 3 = m. Solve m*c + 13 + x = 0 for c.
-5
Let z be 21/3 - (1 - -2). Let s = z + 2. Solve s*a = 2*a for a.
0
Let k = 37 + -24. Let r = k - 6. Solve -2 + r = -5*v for v.
-1
Suppose 3*w - 1 + 10 = 0, 2*b = 3*w + 11. Let k(s) = s**3 + 9*s**2 - s - 1. Let f be k(-9). Let d be ((-2)/f - 1)*-4. Solve -d + b = -l for l.
4
Suppose -2*y + 3 = -3. Suppose 0 = -y*f - 11 + 29. Suppose m = p - f, m = -0*p - p. Solve -6*n + p*n - 15 = 0 for n.
-5
Suppose 5*j = -v + 14, -3 - 1 = 4*j - 3*v. Suppose 0 = d - c + 2, 0 = -3*c + 9. Suppose -j*g = -d - 9. Solve 0 = -4*l - g - 11 for l.
-4
Let p = -49 + 54. Suppose -3*q + 14 = a + 3*a, 2*q + 4 = 0. Suppose p*z + 0 = a. Solve -f - 4 = z for f.
-5
Suppose 5 = -5*h + 5*b, 5 - 12 = -2*h - b. Suppose 2*k - 8 = -h*k. Solve -2*o - k + 8 = 0 for o.
3
Let j be (-2)/(-2) - (-1 - 1). Let m be (-16)/10 - 2/5. Let z be (-8 + 2)/m - -2. Solve j*w - 4*w = z for w.
-5
Suppose -4*r + 74 = 6. Solve 3 + r = -4*k for k.
-5
Let b(j) = j**3 + 4*j**2 + 3*j. Let x be b(-2). Suppose -4*u = u. Suppose u = -6*m + m + 15. Solve m = x*p + 7 for p.
-2
Suppose 0 = 4*g - 18 + 6. Solve -g*x = 2*x for x.
0
Let w(a) = 12*a + 1. Let r be w(1). Let p(l) = -l**3 + 4*l + 3. Let b be p(-2). Let o(v) = v. Let h be o(b). Solve 0 = h*x + 4 - r for x.
3
Let b(r) = 6*r - 2. Let h be b(5). Let f be 2/8 - 19/(-4). Let t be 3/(6/4) + 1. Solve f*k = -h + t for k.
-5
Let b(r) = -2*r**2 - 3*r - 1. Let g be b(-1). Let s = 2 + -3. Let k = s + 6. Solve g = -k*u - 16 - 9 for u.
-5
Let o(j) = -j. Let d be o(0). Solve 4*q + 0*q - 4 = d for q.
1
Suppose -20 = -2*o - 3*o. Solve o*t - 21 + 9 = 0 for t.
3
Suppose -4*d + 2*g + 3 = -17, 4*g + 10 = 2*d. Solve d*y + 17 + 8 = 0 for y.
-5
Suppose d = -4*d + 30. Let x(y) = 2*y + d - 4*y - y**2 - 4*y. Let n be x(-6). Solve 0 + n = -3*a for a.
-2
Suppose l + 0*k = 4*k + 24, 4*k + 40 = 5*l. Suppose -c = -3*o + 55, 2*o + 3*o = -5*c + 85. Suppose -3*a + 51 - o = 0. Solve -a = -l*v + 1 for v.
3
Let a(u) = -u**3 - 2*u**2 - 2*u. Let p be a(-3). Solve -5*z + p = -10 for z.
5
Let l(n) = -5 + 0*n + 0*n - 3 + 3*n. Let a be 1*3*4/2. Let x be l(a). Solve s + x = -s for s.
-5
Let y = -12 + 2. Let v(g) = -3*g - 23. Let o be v(y). Solve -5 = 3*t + o for t.
-4
Let k = -2 - -2. Let s = 4 + k. Solve -8 = s*f - 0 for f.
-2
Suppose 10*c - 6*c = 16. Suppose -32 = c*o - 6*o. Solve 0 = j + 3*j - o for j.
4
Let b be (7 + -1)/(3/2). Solve -10 = b*w - 2 for w.
-2
Suppose -n = -1 - 15. Solve -4*x - 4 = -n for x.
3
Let u(m) = 