Solve o + 4 = a*r for r.
5
Suppose 85 = 19*r - 2*r. Solve -r = c - 1 for c.
-4
Let a(i) = i**3 + 4*i**2 - 8*i - 12. Let f be a(-5). Solve 1 = -f*n + 13 for n.
4
Let z = -104 - -106. Solve 4*q = -z - 2 for q.
-1
Suppose 0*j = 4*j - 32. Let f = j + -2. Solve f*k - 3*k = -12 for k.
-4
Suppose -5*c + 4*a = -2, c = -3*c + 2*a + 4. Let f = c - -2. Solve l - f*l - 12 = 0 for l.
-4
Suppose 5*c = 9*c - 8. Solve 0 = -c*f + 6*f + 4 for f.
-1
Suppose 3*r = 4*r - 12. Solve -2*o + 6 = r for o.
-3
Suppose 6 = 2*v + 3*j - 0, -3*v - 6 = -3*j. Solve 3 = -v*l - 3*l for l.
-1
Let w be (-1)/(((-5)/(-2))/(-5)). Suppose -6 = w*f - 2*p, -3*p = -4*f - p - 2. Let n(u) = u**3 - 2*u**2 + 3*u - 2. Let a be n(f). Solve -a = -3*y + 5 for y.
3
Let w be (-45)/12*-2*4. Let t be 0/29 + (4 - 0). Suppose 1 + 17 = 3*n + 3*f, 16 = 2*n + f. Solve -n = t*v - w for v.
5
Let l be (6/8)/(2/8). Suppose -l*x + x - 1 = t, -x = 2*t - 4. Suppose -2*o + 4 = t*c - 5, 2*o = -2*c + 10. Solve 3*v + o + 0 = 0 for v.
-2
Suppose 140 = 15*w + 5. Solve -v = -4*v - w for v.
-3
Suppose 8 = -2*i - 4*o, 0*o - 6 = 2*i + 3*o. Solve -k + 0 - 2 = i for k.
-2
Suppose 4*s + 16 - 28 = 0. Solve -5*w + 17 = -s for w.
4
Let u(p) be the second derivative of -p**5/40 - p**4/4 - p**3/3 + p. Let z(f) be the second derivative of u(f). Let w be z(-6). Solve r - w = -2*r for r.
4
Let h = 0 + 3. Suppose -3*x + h = -18. Solve x = -4*f - 1 for f.
-2
Let t = 0 + 4. Suppose t*y + 29 + 7 = -2*b, 0 = -3*y + 5*b - 27. Let w(r) = r**3 + 10*r**2 + 7*r - 13. Let l be w(y). Solve l*q + 1 + 4 = 0 for q.
-1
Let t be (-3)/2*(-16)/12. Suppose 0 = t*y + 7*l - 2*l, -y - 3*l = 0. Let m be 3/(1*(-12)/(-20)). Solve -m + y = -c for c.
5
Suppose f - 3 = -0. Suppose 2*c - f*i - 32 = -5*i, -c - 5*i + 24 = 0. Let z be (-1)/3 + c/6. Solve -b - z*b = 15 for b.
-5
Suppose -3*o - 17 - 4 = 0. Let q be o + (2 - -2) - -4. Solve -2*h - q = 5 for h.
-3
Suppose t + 7 = -2*q, 2*q - 2 = 5*t - 27. Solve 0*x + t*x + 6 = 0 for x.
-2
Suppose -3*x - 16 - 5 = 0. Let v(m) = m + 11. Let c be v(x). Solve a = 2*a + c for a.
-4
Let g(p) = -p - 2. Let w be g(-4). Let u(v) = v**3 - 13*v**2 + 12*v. Let s(j) = j**2 + j. Let n be s(-4). Let a be u(n). Solve a = -w*y - 11 + 1 for y.
-5
Suppose 2*k + 26 = -i + 4*i, 0 = -4*i - 2*k + 30. Suppose -4*j = -8 - i. Solve 2*s = 4*s + j for s.
-2
Let u = 2 + 0. Let h = -8 - -4. Let x = 8 + h. Solve x*y + 4 = u*y for y.
-2
Let a(i) = i + 5. Let f be a(0). Let h be 1/(-3) + 4/3. Solve -9 = f*v + h for v.
-2
Suppose 2*m = -3*d - 0 + 4, -m + 4*d + 2 = 0. Let o be (m - -1) + 7 + -6. Solve -o*u - 3 - 9 = 0 for u.
-3
Suppose 16 = 5*u + 1. Solve u = -2*b - b for b.
-1
Let m = -14 + 20. Solve m*j - 5 = j for j.
1
Let r = 12 + -9. Solve -a + 6 - r = 0 for a.
3
Suppose 24 = 5*u - 11. Solve 4*g - 15 = u*g for g.
-5
Let j be (-56)/(-20) - 1/(-5). Suppose -3*i - t + 16 = -0*i, 0 = -j*i + 4*t + 26. Solve x - i = -x for x.
3
Suppose -3*j + 5*j = -v + 7, 3*v = 2*j - 11. Suppose 2*k - 2 - j = 0. Solve -12 + 3 = k*o for o.
-3
Suppose -3*q = -8*q + 20. Suppose 0 = t + l, 4*t - 5*l + 24 = -3*l. Let j = t + 8. Solve 2*u = q*u + j for u.
-2
Let s(j) = -j**2 + 7. Let z be s(0). Suppose -4*k + z*k - 9 = 0. Solve -1 = -k*n - 16 for n.
-5
Let i(v) = -v**3 + 5*v**2 + 2. Let t be i(5). Suppose 0 = -n + t + 5. Suppose w = -4*w + 15. Solve -12 = w*o - n*o for o.
3
Let n(l) = l**3 + 2*l**2 + 2*l + 1. Let p be n(-1). Solve p = c + 5 - 6 for c.
1
Let x be (-26)/(-22) - (-2)/(-11). Solve -j + x = 2 for j.
-1
Let k be (-6 + -4 + 5)/(0 + -1). Solve -2*b + k*b = 3 for b.
1
Let b(a) = -a - 12. Let m be b(-20). Let t = 1 - 1. Solve t = 2*r + m for r.
-4
Let b(u) be the second derivative of u**5/20 - 2*u**4/3 + u**3/6 - 2*u**2 + 3*u. Let c be b(8). Solve 9 = c*q + 1 for q.
2
Suppose 0*m + m - 2 = 0. Let n be m + (1 - (0 + -2)). Solve n*s = 3*s for s.
0
Let z be ((-24)/(-2))/(-2 - -3). Suppose -2*w + z = 2*w. Suppose -3*n + 3 = -w. Solve -n*v + v = 4 for v.
-4
Let i(t) = t - 10. Let j be i(13). Solve j*x + 8 = 7*x for x.
2
Let d = 0 - -20. Suppose 35 - 43 = -2*s. Solve -o - s*o - d = 0 for o.
-4
Suppose -2*i + 0*i = 0. Let m be (2 + i)/(2/3). Solve m*h - 3 = -0 for h.
1
Let d = 17 + -9. Solve -4*v = -d - 12 for v.
5
Let j(x) = x**3 + 5*x**2 + 2*x - 4. Let q = -3 + -1. Let i be j(q). Let r = -1 + 4. Solve -r = n - i for n.
1
Let n = -16 - -36. Let q be 30/n*(-4)/(-6). Solve -v + q = -4 for v.
5
Let r(o) = o**2 - 18*o - 84. Let h be r(22). Solve -11 - h = -5*a for a.
3
Suppose 30 = 5*f - 5. Suppose 0 = -5*t + 20, f*t - 3*t = -4*z + 16. Solve z = 5*s + 8 + 17 for s.
-5
Let x = 9 + 6. Solve x = -5*w - 0 for w.
-3
Suppose -16 = -2*x + 3*l, 4*l - 4 = 4*x - 36. Solve x = -0*k + 4*k for k.
2
Let c = -32 + 32. Solve 2*s = -c*s + 4 for s.
2
Suppose v - 4 = -t + 4, 2*v - 4 = 0. Let y be (-56)/(-6) + 4/t. Let z(f) = -f**3 - 16*f**2 + 20*f + 53. Let l be z(-17). Solve 0*a = -l*a - y for a.
-5
Let p = -3 - -3. Suppose 4*q - 2*q = 32. Solve p*j = 4*j - q for j.
4
Suppose 20 = c + 6. Let m = c + -8. Solve m - 16 = 2*j for j.
-5
Let i be 2/(6 + 0)*(-11 - -17). Solve 2*c = -i*c for c.
0
Let g = 6 + -4. Solve 2*y + g + 2 = 0 for y.
-2
Let b(r) = 2*r + 21. Let d be b(-6). Solve -4*n = -d*n + 20 for n.
4
Suppose 0*x - 2*p = -3*x + 7, 4*x + 5*p = 17. Suppose 4*t + 3 = 5*o, 6*t + x*o - 21 = 2*t. Solve 7 + 8 = -t*m for m.
-5
Let y(a) = -a + 1. Let q be y(-5). Let d(z) = -3*z - 3. Let w be d(-1). Solve w*t = 3*t + q for t.
-2
Let m be 2/(-7) + (-115)/(-35). Suppose 0*u + 2*u - 4*b + 6 = 0, 2*u + 4 = 3*b. Solve v - m = -u for v.
2
Suppose 0 = 6*p - 3*p. Solve -f + 4 - 1 = p for f.
3
Let u be (-12)/(-7) - (-4)/14. Suppose -u*b + 6*b - 64 = 0. Suppose 0 = -5*p + 2*w + b, 6*p - 5*w = p + 25. Solve m + 0 = -p for m.
-2
Suppose j + j + 5*q - 32 = 0, -q = -4. Let c(t) = 1 + 2*t + 0 + 2*t. Let f be c(j). Solve -u - 4*u = -f for u.
5
Suppose -4*a = t - 16, -12 = 2*t - 0*t - 3*a. Suppose 5*f = 4*u + u - 5, -5*u - 3*f - 19 = t. Let i be 4 - -2 - (-1 - u). Solve i*d + 20 = d for d.
-5
Let v = 23 + -14. Solve 3*s - v = 6*s for s.
-3
Let h be (-12)/(-9)*-18*1/(-4). Solve -h*z + 6 = -3*z for z.
2
Let i be (0 - (-4 + 4)) + 0. Let c(r) = -r**3 + 7*r**2 + 4*r + 4. Let u be c(7). Suppose 4*b - 52 - u = i. Solve -b - 4 = -5*v for v.
5
Let j be 20/6 - (-18)/27. Solve j*u = u for u.
0
Let d = -5 + 9. Let w = -2 + d. Suppose -5*k = 3*t + 1, 0*t + 4*k + 14 = w*t. Solve 0 = -2*h + 13 - t for h.
5
Let u(q) be the first derivative of -1 - 4 + 0*q - q**2 + 4 - 2*q. Let o be u(-3). Solve o = 3*g + 1 for g.
1
Suppose 0 = -y + 2*y - 16. Let v be (0 - 1)*y/(-4). Solve 0 = -g + v - 0 for g.
4
Suppose -5*f = 2*n - 54, 2*n - 5*f + 0*f - 34 = 0. Let u be n + -2 + (-1 - -3). Let w = -15 + u. Solve 0 = 2*m - w*m - 15 for m.
-3
Suppose 3*d = -0*d. Let a(o) = -o**2 + 10*o - 7. Let k be a(9). Solve d = t - k for t.
2
Let m(c) = -c - 12. Let d be m(-6). Let k(v) be the second derivative of -v**4/12 - v**3 + 4*v**2 - v. Let r be k(d). Solve -r + 3 = -l for l.
5
Let z(r) = r**2 + 7*r - 8. Let i be z(-8). Suppose 0*h = -5*g - 2*h - 11, g = -4*h + 5. Let w be (4 - i)*g/(-4). Solve -w*m = -m for m.
0
Let k(l) = 5*l - 3*l - l - 4. Suppose -2*h + 17 = -h - 2*d, -2*h - 4*d = -2. Let c be k(h). Solve -c + 1 = -4*p for p.
1
Let d(m) be the first derivative of m**2/2 - 4*m - 2. Let s be d(6). Solve -4 = -s*q - 2*q for q.
1
Suppose -4*b = -0*b - 72. Suppose 0*c = 2*v + 5*c - b, 5*v - 4*c - 45 = 0. Solve 5*x + v + 6 = 0 for x.
-3
Suppose 18*w - 21*w = 0. Solve w = 5*p - 2*p - 15 for p.
5
Let p = -9 - -17. Suppose 3*k - 7*k + p = 0. Solve h = -k*h - 9 for h.
-3
Let a = 3 - -1. Suppose 2*h - 22 = 5*r, 5*h + a*r - 1 = 3*r. Solve -h = -x + 3 for x.
4
Suppose 0 = 4*y - 8 + 4. Solve n + 6 = y for n.
-5
Suppose 3*g - 5*q + 25 = 0, 3*q = -3*g - q + 20. Suppose g = j + j. Solve 0 = -2*a - 8 - j for a.
-4
Let j be (-2 + 3)/(1 + 0). Solve -2 = x + j for x.
-3
Suppose -r + 1 + 4 = 0. Suppose 18 = -0*j - 6*j. Let z = j + r. Solve z*t - t = -4 for t.
-4
Let o be 1*0*(-1)/(-3). Solve 5 = -o*n + n for n.
5
Let w(y) = -y**3 - y - 1. Let g be w(-1). Suppose z - 3 = -g. Solve z = -d - 1 for d.
-3
Let z(a) = -a**3 + 7*a**2 + 8*a + 9. Let n be z(8). Let x = -4 + n. Solve 0 = -4*m - m + x for m.
1
Suppose -d - a + 92 = 0, -5*d + 274 = -2*d + 2*a. Let q be (-1)/4 - d/(-8).