r - 3*r - 4 for r.
-1
Let c = 16 - 12. Solve 0 = 3*w - 5 - c for w.
3
Let r(n) = -n**3 + 7*n**2 + n - 5. Let q be r(7). Suppose -2*v + 8*k - 3*k = 1, 3*v + q*k - 46 = 0. Let w be (2 + -9 + 2)*-1. Solve w*s + 13 = -v for s.
-5
Suppose 0*p + 4 = -p. Let s be 10/p*-2 - 1. Suppose 3*k + 2*u - 25 = 0, 5*u - 4*u - 30 = -s*k. Solve 0 = k*b - 2*b for b.
0
Let g(h) = h**3 + 5*h**2 + 4*h + 6. Let s be g(-4). Solve 0 = -s*c + c for c.
0
Suppose h - 1 = 3. Suppose -t - 20 = -2*t + 4*o, 2*t = -h*o - 20. Suppose 0 = -5*b + 5*g - 1 + 36, 0 = -4*g - 16. Solve t = -b*x + 6 for x.
2
Let s(r) = 6*r - 1. Let n be s(4). Let m = n - 4. Let l be (3/3)/((-3)/(-12)). Solve -7 + m = -l*q for q.
-3
Let z(u) = -4*u + 11. Let v be z(2). Solve -5 - v = 4*h for h.
-2
Let n = 19 + -17. Solve k = -n*k - 9 for k.
-3
Let p be (-6)/(-9) - (-7)/3. Suppose -p*b - 2*b + 15 = 0. Suppose 4*k + 14 = 5*m + 8*k, 5 = b*m - k. Solve -2 = -m*w + 2 for w.
2
Let a be (6/8)/(2/48). Suppose g + z + 11 = -4*z, -3*g + 2*z + a = 0. Solve -g*j = 1 + 3 for j.
-1
Let t = 11 + -6. Solve 0 = -0*q + t*q for q.
0
Let s = -4 - -4. Suppose -4*v - 5*b + 17 = -s*v, 0 = -b + 1. Solve y + 4 = -v*y for y.
-1
Suppose 2 = -0*j + j, -2*c - 5*j = -14. Solve 4*v + c = -6 for v.
-2
Let h(z) = z + 9. Let d be h(-6). Let x be ((-39)/(-12) - d)*12. Solve i + x + 1 = 0 for i.
-4
Suppose -3*y = -3 - 6. Let v(o) = -o**2 + 4*o - 3. Let l be v(y). Solve l = 3*q + q - 4 for q.
1
Let j(x) = x**3 + 4*x**2 + 2*x + 1. Let q be j(-2). Suppose -4*c = -0*c + 3*d - 40, q*c - 4*d - 50 = 0. Solve -4*v = c - 2 for v.
-2
Suppose -2*r + 6 = -0*r. Solve 0 = -r*v - 6 - 0 for v.
-2
Let s = 21 - -7. Suppose 0 = -3*d + 3*l + 5 - 2, -4*d = 2*l - s. Solve 2*a = -1 + d for a.
2
Suppose 0*d - 5*d + 4*z = -4, 0 = 2*d - 2*z. Suppose -d*n + 5*n - 6 = 0. Let u(b) = b - 1. Let t be u(n). Solve -l = -0*l - t for l.
5
Suppose 0 = -2*q - 2*y + 16, 3*q - 19 = 4*y - 2*y. Let d be 1/4 + q/4. Let n(o) = o. Let a be n(4). Solve a = d*t - 3*t for t.
-4
Let j be 2/7 + (-4)/(224/(-152)). Solve j*l + l + 12 = 0 for l.
-3
Let u = -4 + 7. Solve 2*r + r + u = 0 for r.
-1
Let l = 34 - 32. Solve 0*z + l*z = 2 for z.
1
Let v = 47 + -43. Solve 2*w - w + v = 0 for w.
-4
Let s(f) = f**2 - f + 2. Let g be s(2). Solve -g = u - 0 for u.
-4
Let f(u) = -u**3 + 13*u**2 + 14*u. Let x be f(14). Solve x = 5*g - 2 + 7 for g.
-1
Let o be (0 + -6)/(-6 + 4). Solve h + 12 = -o*h for h.
-3
Suppose 2*w - 19 - 9 = 2*h, 0 = 2*w - h - 30. Solve 2*z + w = -2*z for z.
-4
Let r(i) = -4*i - 9. Let j(f) = f + 5. Let g = 2 + -13. Let z be j(g). Let m be r(z). Solve 4*s = -s - m for s.
-3
Suppose -5 = -n - 2. Solve -n*y - 2*y - 5 = 0 for y.
-1
Let f = 4 + 1. Let x(u) be the third derivative of u**5/60 + u**4/8 + 7*u**3/6 + u**2. Let b be x(-6). Solve -f*v = -0*v - b for v.
5
Let b(c) = c**3 - 9*c**2 + 8*c + 2. Let o be b(8). Let r be 9 + -12 + (-12)/(1 - 3). Solve -o*p + 3 + r = 0 for p.
3
Let f(t) = -t**2 + 4*t - 5. Let v(c) = -c**3 + 5*c**2 + 2*c - 6. Let r be v(5). Let p be f(r). Let z(q) = -q - 5. Let m be z(p). Solve m = 2*l - 0*l - 6 for l.
3
Suppose -3*u - 14 = -14. Solve u = -n + 1 for n.
1
Suppose -12*n = -14*n + 30. Solve 0 = -2*h + 7*h + n for h.
-3
Let p be (10/30)/((-1)/(-15)). Let x(f) = -f + 5. Let m be x(p). Solve m = 3*r - 7*r + 4 for r.
1
Let t be 18/12*5/(15/2). Suppose 0*q = -q + 4. Solve q*n + 7 = -t for n.
-2
Let d = 64 + -61. Solve s + d = 6 for s.
3
Let a(o) = -o**3 - 3*o**2 - o - 2. Let h be a(-3). Solve 3*z + 11 = -h for z.
-4
Suppose -5*g + 233 = -4*y, 9 = -3*g - 0*g. Let p = y + 93. Suppose -3*l = -14 - p. Solve -3*t - l = 2*t for t.
-3
Let m be 1/4 - (-30)/8. Let q = m + 1. Let k = q + 1. Solve -4*s + k = 26 for s.
-5
Let k(z) = z**3 + 7*z**2 + 9. Let r be k(-7). Suppose -5*o - r = -3*w - 58, 3*o - 18 = -2*w. Solve y - 3*y = o for y.
-4
Let t be 79/7 + 38/(-133). Solve 5*l + 4 = -t for l.
-3
Let m be (-9)/(-2) + (-6)/4. Suppose -2 = -m*b + 2*b. Let p be b/((-16)/(-6) - 2). Solve -7*t + 4*t + p = 0 for t.
1
Suppose 0*y = -y + 31. Suppose -y = -5*x - 11. Solve x*c = c for c.
0
Suppose 5*l - 9 = 6. Solve -2*n = -l*n - 2 for n.
-2
Let f(u) = -u**2 - 18*u + 19. Let y be f(-19). Solve o - 1 = -y*o for o.
1
Let p(j) = -j**2 + 16*j - 15. Let f be p(15). Solve -3*k = -f + 9 for k.
-3
Suppose 0 = 4*i - 5*u - 23, 3*u = 2*i - 1 - 12. Suppose 0 = 6*c - i*c. Solve x = -c*x + 3 for x.
3
Let p be (-8)/(-28) + 26/7. Solve -p*w + 2*w - 10 = 0 for w.
-5
Let o(h) = -2*h + 1. Let l be o(-1). Suppose 3*i - 13 - 2 = -l*c, -3*i + 4*c = 13. Suppose 0 = -5*q - 6*z + 5*z - 4, 2*q - z = 4. Solve i = g - q for g.
1
Let l = 8 - 6. Let b(d) = 2*d - 10. Let o be b(7). Let g be ((-2)/o)/(1/(-2)). Solve -g - 5 = -l*y for y.
3
Let r = -9 - -10. Solve q + 0*q = r for q.
1
Let t(f) = 3*f - 5. Let i be t(3). Suppose -i*v = -0*v + 3*k - 11, 4*v = -4*k + 12. Let n be 1/(-2) + (-19)/(-2). Solve -v*b - n = b for b.
-3
Let j be (-3)/(-9) + 22/6. Solve -4*q = -2*q + j for q.
-2
Let m = 2 + 0. Suppose m = -f - 1. Let o be 1*(-1 - (f + 1)). Solve 2*c - 3 = o for c.
2
Let r = -6 + 8. Suppose 8 = -3*h + 4*y, h + 4*y - 24 = -0*h. Suppose 3*p = h*p. Solve -r*n = -p*n for n.
0
Let j = -23 - -47. Let c = j + -2. Suppose -c = -3*r - 2*o, 5*o - 33 = r - 3*r. Solve -3*y = -r*y + 2 for y.
2
Let o = 6 + -1. Suppose -o*j = -j - 3*g - 10, -2*g - 4 = -2*j. Let w be -3 - -4 - (-6)/3. Solve r + j - w = 0 for r.
-1
Let m = -35 + 43. Solve m = 2*c + 2 for c.
3
Let o be 0/(-2 + -3 + 6). Let d be (o - 0)/(-6 - -3). Suppose 0*g + 5*g - 2*t - 25 = 0, -3*g = -2*t - 15. Solve -g*r + d = 5 for r.
-1
Let z be 39/(-104) - 83/(-8). Solve -3*g + 8*g = -z for g.
-2
Let k = -171 + 175. Solve c + 5 = -k*c for c.
-1
Let c(m) = m**2 - 7*m - 1 - m + 6. Let r be c(8). Solve -7 = r*i + 3 for i.
-2
Let h = -26 - -41. Solve 0 = -2*x - 3*x - h for x.
-3
Let c(p) = 2*p**2 + 2*p. Let i be c(-2). Suppose k + 0 = i. Solve 0 = -k*u + 6 - 26 for u.
-5
Suppose 5*i = 2*i + 15. Solve 0*j - 10 = i*j for j.
-2
Let w = -61 + 24. Let n be (-1 - w) + (2 - 1). Let a = -25 + n. Solve 0 = -2*h - h + a for h.
4
Suppose -2*n = b + 2*b - 5, -3*n = -3. Solve 2*h + 3 + b = 0 for h.
-2
Suppose -4*k + 0*k - 4 = 0. Let f = k - -7. Let q be (f/(-4))/(1/(-2)). Solve -5*a + q*a = 0 for a.
0
Suppose 0 = -2*b + 7*b - 15. Let n(h) = -h**2 + 4*h + 2. Suppose -3 - 13 = -4*p. Let o be n(p). Solve f - b = o for f.
5
Let y(f) = -f - 6. Let v be y(-10). Solve 4*d = -4 - v for d.
-2
Let k = 12 + -4. Let j be 21/(-6)*k/(-14). Let n be (-1)/(-1*(-2)/(-4)). Solve j = -n*o + o for o.
-2
Let c = -24 + 39. Let d = c - 10. Suppose -2*x - 6 = -4*i, -2*x - 12 = -d*i - 4*x. Solve -q + i*q = -1 for q.
-1
Let b(m) = -m - 6. Suppose 5*a = 2*a - 5*h - 61, -3*a + 2*h = 26. Let r be b(a). Solve 2*i = r*i + 12 for i.
-3
Let r = 12 + -7. Solve -r*y + 16 = -y for y.
4
Let z = 75 - 75. Solve -2*p - 2*p + 8 = z for p.
2
Suppose -2*u = 2*y - y - 1, 2*u + 3*y = -5. Let n(d) = d + 1. Let s be n(-1). Let j = 4 + s. Solve 2*a + j = -u*a for a.
-1
Let a be (-6)/4*352/(-48). Solve 5*x - 4 - a = 0 for x.
3
Let l(f) = -f + 1. Let q be l(5). Let p(k) = 0*k**2 + 4*k - 3*k**2 + 4*k**2. Let h be p(q). Solve h*i - 2*i = -10 for i.
5
Suppose 0 = k - 12 + 9. Solve 9 = -2*u + k for u.
-3
Suppose 5*p + 4*v = -61, -3*p + 4*v - 16 + 5 = 0. Let k be (p/12)/((-1)/(-4)). Let x be 0 + 3/k + 1. Solve -12 = -3*a - x for a.
4
Let d be 2*(-2)/8*0. Suppose -2*c + 4 = -0. Let q = c - 0. Solve 0*m + q*m = d for m.
0
Let f(p) = -2*p**3 - 5*p**2 - 5*p - 4. Let q be f(-3). Suppose 0 = -5*s + 3*a - 4*a + 83, q = 2*s - 4*a. Suppose b - 3*b = -s. Solve -m = m + b for m.
-4
Suppose 15 = 3*b + 9. Let v be (-2)/(-8) - (-66)/24. Suppose v*n + 6 = 27. Solve -1 = -b*k + n for k.
4
Let w(c) = 5*c**2. Let v be w(1). Solve -34 = -v*k - 9 for k.
5
Let n(w) = -w - 1. Let c be n(-1). Solve -2*i = -c*i - 4 for i.
2
Let v = -4 + 7. Suppose -5*g + v*g = 0. Solve -4*o - 4 + g = 0 for o.
-1
Let b(w) = -w**2 - 5*w + 1. Let j be b(-4). Let t(y) = -3*y + 23. Let u(v) = -v + 8. Let r(f) = 3*t(f) - 8*u(f). Let z be r(j). Solve -5*g + 0 + 20 = z for g.
4
Suppose -2*h - 5 = -2*b + 5, 3*b + h - 3 = 0. Solve 6*m - 16 = b*m for m.
4
Let z(t) be the first derivative of -t**4/4 - 7*t**3/3 - 4*t**2 - 2*t - 3. Let w be z(-6). Solve 2*k + 0 = w for k.
5
Let h = 44 - 29. Sol