Solve 5*r + 13 + i = 0 for r.
-3
Let v = -40 - -42. Solve 15 = 3*l + v*l for l.
3
Let n(c) = 12*c**3 - c**2 + 1. Let i be n(-1). Let t = i + 13. Solve 2*k - t + 3 = 0 for k.
-1
Let z = -13 - -15. Solve z*o + 0*o - 4 = 0 for o.
2
Suppose f = -1 - 1. Let h be f - ((1 - 2) + -1). Solve h = -3*l + 4 - 13 for l.
-3
Suppose -4*g + 19 = 5*q, 2*g - 3*g + q - 2 = 0. Suppose 3*u - 22 - 10 = -4*m, -2*u + m + 14 = 0. Suppose 3*b + b - u = 0. Solve -g = y - b for y.
1
Let g be 5 + -1 - (2 + 0). Let f = -4 + 4. Solve -g*r = -f*r + 2 for r.
-1
Let f(h) = -h**3 - h + 6. Let l be f(0). Suppose -m = -3*x - 0*x - 9, 4*x + 10 = m. Let j = -5 + m. Solve -l = -c - j for c.
5
Let v be (32 + -34)*(-3 - -1*1). Solve v*s - 6 = 2 for s.
2
Let x be (-34)/5 - 11/55. Let n = x + 11. Solve n = 2*o + 6 for o.
-1
Let i be (27/(-6))/(1/(-6)). Suppose -5*t = 2*t + 14. Let n = i + t. Solve 3*j - n = -2*j for j.
5
Let z be 5/2*(-4)/(-5). Suppose -3*h = z*h. Solve 2*t + t = h for t.
0
Suppose 5*o = -3*y + y + 19, 0 = 4*o - 2*y - 26. Let k = 5 - o. Solve -2*v = -k*v - 8 for v.
4
Suppose 0 = -7*l + 2*l. Let j be (-6)/(-2)*(1 - 0). Solve l*g = j*g for g.
0
Let g(q) = 2*q**2 + 1. Let s be g(1). Suppose -5*k - 4*r - 4 = -19, -r - 6 = -2*k. Let m be -2 + k*4/3. Solve m*f + s*f = -15 for f.
-3
Let a(k) = -k**2 + 7*k - 3. Let x be a(6). Let c be (-3 - (-42)/9)*x. Solve -c = -4*y - 1 for y.
1
Let m(t) = -t**3 + 5*t**2 + 3. Let l be m(5). Let d = -3 + l. Solve d*n + 6 = 2*n for n.
3
Let t be (7 - 3 - 2)/1. Solve t*s = 3*s - 3 for s.
3
Let x be (4/(-6))/((-4)/18). Suppose 5*z + 0*z - 20 = 0. Suppose -z*l + b = -5, -3*l + 2 = b - 0*b. Solve -2*o = -x*o + l for o.
1
Suppose -2*a = -a + 5*z - 24, -5*a + 2*z + 66 = 0. Let v = a + -4. Solve 8*r = 3*r - v for r.
-2
Let r(c) = -2*c**2 - 3*c. Let j be r(6). Let m be ((-4)/(-6))/((-3)/j). Solve 0 = -v - 3*v + m for v.
5
Let l = -21 - -23. Solve -l = 3*i - 2*i for i.
-2
Suppose -2*a + 120 = a. Suppose g + 5*f = -g + a, 2*f = g - 2. Let l = -6 + g. Solve 5*i - l - 16 = 0 for i.
4
Let i be 6/(-14) + (-438)/(-42). Let n = 12 - i. Solve k = -n*k - 3 for k.
-1
Suppose 0 = 4*t + 4*b - 76, -2*t + 7*t = 2*b + 74. Let u be 3/(-2)*t/(-8). Solve 0*r = u*r - 3 for r.
1
Let k be (-11 - 0)*(0 - 1). Solve -5*m + k = -4 for m.
3
Suppose 2*v + 2*v = 0. Let r be ((-1)/(-2))/(5/30). Let s be ((1 - -1) + -1)*r. Solve -6 = -v*m + s*m for m.
-2
Let g(w) = -w**3 - 9*w**2 - 7*w + 10. Let x be g(-8). Solve 5*d = x*d for d.
0
Suppose 0 = 5*p - 5*w - 10, 0*p - 2*w - 2 = -p. Let k = 0 - -3. Suppose -k*n = r - 5 - 0, -p*n + 5*r + 26 = 0. Solve -y - 1 - n = 0 for y.
-4
Let q(o) = -3*o - 2. Let u be 2/(-10) - 18/10. Let g be q(u). Suppose -g*b + 10 = 2. Solve 12 = b*x + 2*x for x.
3
Let o = 13 - 8. Solve 3 = -4*s - o for s.
-2
Let b = 7 + -5. Suppose -4*f + 2*j = 2, -b*f - j + 14 = j. Let o be (-2)/(3 - 1)*0. Solve -l - f*l = o for l.
0
Let x = -3 - -6. Suppose 0 = 22*l - 24*l + 6. Solve -l*c - 9 = x for c.
-4
Suppose 7*a = 6*a + 12. Solve a = -2*o + 2 for o.
-5
Suppose -3*r + 2*r + 4 = 0. Suppose r*f - 4*n = 12, -4*f + 13 = -7*n + 4*n. Solve -g = f - 0 for g.
-4
Let d(u) = -u**3 + 5*u**2 - 2*u - 5. Let r be d(4). Solve 0*c = r*c + 3 for c.
-1
Let w(g) = -g**2 - 13*g - 6. Let z be w(-12). Let y be z/8*(-48)/(-18). Solve y*d - 8 - 2 = 0 for d.
5
Let c(l) = -2*l - 7. Let x be c(-5). Suppose -5*f - x*j + 10 = 0, f - j - 8 = -3*f. Solve 5*i = f*i + 9 for i.
3
Suppose -5*i - 3*j + 10 = 0, -2*i + 7*j = 2*j - 35. Solve 0*z - i*z = -25 for z.
5
Let t = -17 - -26. Solve 4*w + t - 1 = 0 for w.
-2
Suppose 5*f = 3*f + 4. Solve -w - f*w = 0 for w.
0
Let h be -3 + 0 + 2 - -1. Suppose 0*k + k = h. Solve k*t - 2*t - 4 = 0 for t.
-2
Suppose 2*w + 15 = -2*h - 3*w, -4*h = w - 15. Let o be (-28)/h - (-2)/(-5). Let u(p) = p**2 + 6*p + 2. Let b be u(o). Solve 0*q - 10 = b*q for q.
-5
Let s be (1 - -4) + 1/(-1). Let g(m) = m**3 - 2*m**2 - 3*m - 5. Let j be g(s). Suppose 3*l = -0*d + d - j, 5*l = -15. Solve -d = -f - 1 for f.
5
Suppose -k = -31 - 119. Let h be k/9 - 6/9. Suppose 2*i + 6 - h = 0. Solve -16 = -t + i*t for t.
-4
Let o be ((-6)/(-4))/(-7 - (-30)/4). Solve t - 16 = -o*t for t.
4
Let u = 0 + -3. Let n = u - -5. Let v be -1 + (1 + n)/3. Solve 0 = 3*r - v - 6 for r.
2
Let h(o) = -o**3 + 17*o**2 - 15*o - 6. Let f be h(16). Let v = f + 5. Solve -l = -4*l + v for l.
5
Let k(y) = -y - 9. Let g(o) = 2*o + 10. Let z(s) = 5*g(s) + 6*k(s). Let m(x) = 5*x - 5. Let q(l) = 5*m(l) - 6*z(l). Let t be q(4). Solve t*a - 14 = -2 for a.
4
Let q(k) = -k**2 + 6*k - 8. Let i be q(4). Solve 0 = j - i*j + 3 for j.
-3
Let t(m) = m**2 + 2. Let n be t(0). Suppose 1 + 5 = n*o. Solve -7 - 8 = o*i for i.
-5
Let m = 12 - 8. Suppose -m*s = s. Solve 0*a + a + 5 = s for a.
-5
Let u(d) = -d**3 - 2*d**2 + 3*d + 4. Let b be u(-4). Let y be (3/2)/(b/32). Let v(m) = -m**3 - m. Let f be v(-1). Solve y = -f*w - 4 for w.
-3
Let c = 78 - 56. Suppose 2 = 4*f - c. Suppose 0 = 2*j + j - f. Solve 0 = 4*p - j - 6 for p.
2
Let b = -19 - -39. Let i = 2 + -1. Let z be 3*1 - (2 - i). Solve -z*m = 3*m - b for m.
4
Let g(n) = 2*n - 4. Let c be g(4). Solve c*y = 8*y + 4 for y.
-1
Let o = 134 - 133. Solve -4*w = o - 5 for w.
1
Suppose -6 + 0 = -2*k. Let a be -9 + (-2)/(4/(-4 - 4)). Let o be (-23)/(-5) + k/a. Solve -o*c + 3*c = -2 for c.
2
Let v = -77 + 81. Solve 2*w = v*w for w.
0
Suppose -x + 2 = -5. Suppose -4*o = -x - 5. Solve 0*j + o = -j for j.
-3
Let h = -8 - -10. Solve -h = s + 3 for s.
-5
Let i be (-9)/(-6)*8/3. Let o = -7 + i. Let w be -1*o/(-6)*0. Solve 1 = -j - w for j.
-1
Let u be 2/(-6)*(-2 - -2). Suppose 8*i - 6*i - 12 = 0. Solve u = 3*j + i for j.
-2
Let z(d) = -d**2 - 7*d - 1. Let s be z(-6). Let k(v) be the second derivative of v**5/20 + 4*v**2 + 3*v. Let m be k(0). Solve -s*w - m = 7 for w.
-3
Suppose -3*w - 2*w = -2*w. Solve -10*h + 8*h = w for h.
0
Let q(j) = -j**3 + 10*j**2 - 10*j + 13. Let s be -2*9/(-6) - 0. Suppose s*t = 7*t - 36. Let r be q(t). Solve -f + r = -0*f for f.
4
Suppose 9 + 15 = 6*f. Solve -f*s = -3 + 7 for s.
-1
Let o be 0/(16/4) - -1. Solve -2*p = -o - 1 for p.
1
Suppose 0 = 5*j - 3*j - 38. Solve 6 = 5*a - j for a.
5
Let o(j) be the first derivative of j**3/3 + j**2/2 + j - 2. Let n be o(-2). Solve -2*q + n + 3 = 0 for q.
3
Let m(p) = -p + 7. Let f be m(5). Suppose -5*k = 2*s - 6, 0*s - 9 = f*k - 3*s. Suppose -d + 6*d - 15 = k. Solve 0 = -0*c + d*c + 3 for c.
-1
Suppose -p - 35 = -4*f, -4 = -2*f - 2*p + 6. Let c be (-4)/(-2) + f/4. Solve -c = 2*u + 6 for u.
-5
Suppose -3*t + 9 = -21. Suppose -3*v + v + 24 = 0. Let j = v - t. Solve 0 = -2*q + 4 + j for q.
3
Suppose 2*n + 0 = 3*i + 16, -5*n + 3*i = -40. Solve 5*q - n - 7 = 0 for q.
3
Let y(c) = -5*c**2 - 27*c + 13. Let t(z) = 3*z**2 + 14*z - 6. Let u(l) = -7*t(l) - 4*y(l). Let h be u(8). Solve -6 - h = 4*f for f.
-3
Suppose 5*v - 1 + 26 = 4*q, -3*q - 2*v = 10. Solve q = 4*x - 7 - 13 for x.
5
Suppose 5*b - 4*b = -4. Let v = -1 - b. Solve y + 1 = v for y.
2
Let s(w) = w**3 + 7*w**2 + w + 7. Suppose c - 6*c - 35 = 0. Let j be s(c). Suppose j = -4*g - 0*g. Solve g = i - 0 + 2 for i.
-2
Let y be (-4)/(-4) + 1 + -2. Suppose -4*a - 3 - 1 = y. Let m = a - -1. Solve 0 = -2*w - m*w + 2 for w.
1
Suppose 4 = -182*a + 184*a. Solve a + 10 = -4*i for i.
-3
Let f(v) = -2*v + 4. Let j be f(8). Let o = j + 16. Solve -o*l = -l for l.
0
Let o be 1/(-2 - (-22)/10). Let p = 5 - o. Solve p = 4*q - 2*q + 4 for q.
-2
Let b = -9 - -10. Solve 0 + b = -w for w.
-1
Let s(i) = i**2 - 4*i. Let f be s(5). Let q(w) = -14*w + 3 - 5 + 15*w. Let t be q(f). Solve t - 1 = 2*o for o.
1
Let l = 22 + -5. Solve -l + 1 = -4*y for y.
4
Let z be (1/3)/((-3)/(-9)). Suppose 0 = -0*v + v. Let x = z + v. Solve 0 = j + x + 1 for j.
-2
Suppose -b + 16 = -5*b. Let o = 0 - b. Suppose -2*y + o = -0*y. Solve w - y = 2*w for w.
-2
Let z = 75 - 75. Solve 2 = -2*q - z for q.
-1
Let v = 973 + -333. Let m be v/35 - (-4)/(-14). Suppose -2*d + 6*d = 5*o + m, o = 4*d - 10. Solve 5*u = d*u - 15 for u.
-5
Suppose -5*j = -15, -4*c + 2 = -j - j. Solve 0 = 2*d - d - c for d.
2
Suppose 0 = -2*m, -3*f + m = f. Solve -10 = 5*n - f*n for n.
-2
Let i(g) be the third derivative of 0*g - 1/3*g**3 + 3*g**2 - 1/30*g**5 - 1/8*g**4 - 1/120*g**6 + 0. Let k be i(-3). Solve 2*q + k = -2*q for q.
-4
Let o be -1 - (1 + -15 - -3). Let r(f) = 