Solve r = 2*j - z + 10 for j.
-4
Suppose 5*k = -0*k + 20. Solve -q + 25 = k*q for q.
5
Suppose 0 = 6*w - 3*w - 18. Solve 4*i = i + w for i.
2
Suppose -f - 4*f + 10 = 0. Suppose -f*c = -9 + 3. Suppose 0 = 5*z - y - 15, -3*z - 2*y + 9 = -c*y. Solve z*l = 2*l for l.
0
Let l(a) = 3*a - 7. Let t be l(6). Let k = t + 0. Solve -k = 3*g + 1 for g.
-4
Let s = 14 - 10. Let f(n) = n**2 + 13*n - 6. Suppose -86 = 4*w - 30. Let d be f(w). Solve -4*y = s + d for y.
-3
Let x = 3 + -3. Let t = x - -3. Suppose -2*r - 7 = -4*h - h, 3*r - 3*h = 3. Solve -r = -t*j + 2 for j.
2
Suppose -5*m + 4*m = 12. Suppose 2*w - 3*h = 12, -w - h + 5*h = -1. Let d be m/((w/(-2))/3). Solve d = -2*n - 0 for n.
-4
Suppose 5*x - 96 = -c, 3*c + 56 = 3*x + 4*c. Suppose i = 0, 3*i = f - x - 0. Solve u + 4*u = -f for u.
-4
Let m be 0 + -3 + 1 + 1. Let r = m + -5. Let k be (3/2)/((-3)/r). Solve -k*s = 6 + 3 for s.
-3
Suppose i = 5*g + 147, 6*g = g - 3*i - 139. Let u = -21 - g. Solve 20 = -3*r + u for r.
-4
Let q = 0 + 0. Let g be (-3)/(6/(-14)) - q. Solve 0 = 2*f + 3 - g for f.
2
Suppose 0 = -2*k + 29 - 23. Let j be 62/4 - (-2)/(-4). Solve 0*b - j = -k*b for b.
5
Suppose 5*a = -4*j - 77, 3*j + 0*j - 3*a = -24. Let v be 88/3 + (-2)/6. Let t = j + v. Solve 0 = -3*o - o + t for o.
4
Let d(j) = j**2 + 3*j + 3. Let m be d(-3). Let w be (10 + -4)/((-3)/(-2)). Solve m*p = w*p for p.
0
Let y(u) = 4*u - 2. Let w be y(1). Solve -3*a - w = 4 for a.
-2
Let d be 14/(-49) + (-2)/(-7). Suppose d = -2*j + 5 - 1. Solve -2*i - 12 = j*i for i.
-3
Let s be (-2)/(-4) - (-15)/10. Solve 0 = -s*j + j + 3 for j.
3
Suppose 28*m - 20 = 23*m. Solve -m*p - p = 10 for p.
-2
Suppose -3*g - 18 + 27 = 0. Suppose -n = -2*x + 8, -2*n - 3*x = -2*x - 9. Suppose n*b - 6 = -2*v, 5*b - 65 = -0*b + 5*v. Solve 0 = -g*q + b*q + 15 for q.
-3
Let v(o) be the third derivative of 0 - 11/60*o**5 - 1/120*o**6 - 11/24*o**4 + 0*o + 2*o**2 - 4/3*o**3. Let r be v(-10). Solve 0 = 2*x - 6 - r for x.
4
Let h = -1 + 11. Let m = h - 8. Solve -m*r - 2*r = 20 for r.
-5
Let z be (16/(-14))/(18/(-63)). Solve 5*r = z*r - 3 for r.
-3
Suppose -3*m = -2*i + 2*m + 10, -4*m - 8 = i. Solve 0*w + 2*w + 2 = i for w.
-1
Suppose 23*k = 28*k. Solve k = -0*c + 3*c - 9 for c.
3
Let f(a) = -a**3 + 7*a**2 - 6*a + 3. Let h be f(6). Solve d + h*d = 0 for d.
0
Let g(s) = -s**2 - 9*s - 3. Let t = 14 - 23. Let v be g(t). Let x = v - -4. Solve 1 + x = -m for m.
-2
Let u be 2*((-5)/(-2))/5. Let n = -19 - u. Let z be ((-32)/n)/(2/25). Solve 3*w + w + z = 0 for w.
-5
Suppose 4*d = 5*d. Suppose -2*p = -f + 4, p + 1 = -d*p. Solve -f*x + x = 3 for x.
-3
Let k(g) = g + 1. Let t be k(1). Suppose -4*x = -t*h - 29 + 9, -4*x + 18 = -3*h. Solve x = -4*n + n for n.
-2
Suppose 4*d + 2*y = -26, 5*y + 12 = 2*d + 55. Let w be (-3)/d*(18 - 0). Solve 0 = -a + w*a for a.
0
Suppose 0 = -3*h + 3*a + 69, -3*h - 7*a = -2*a - 29. Let c(r) = r**2 - 2*r + 3. Let l be c(2). Solve l*o + h = 6 for o.
-4
Let k = -70 - -70. Solve k = -0*i + 3*i + 6 for i.
-2
Let y = -1 + 1. Let x = 1 - y. Let h(c) = -4*c. Let t be h(-1). Solve -u + x = t for u.
-3
Let n = 7 - 5. Suppose -3*h + 7*h + 8 = 0. Let s(d) = -d**2 - 3*d - 2. Let u be s(h). Solve u = a - n*a - 3 for a.
-3
Suppose 3*y = 5*y. Let c(t) = -t**2 - t + 1. Let p be c(y). Let x be (10/(-15))/(p/(-3)). Solve v + 1 = -x for v.
-3
Suppose -30 = -2*m - 0. Suppose -2*o + m + 10 = -f, -2*o - 3*f = -13. Suppose t - 1 - o = 0. Solve -l + 4*l + t = 0 for l.
-4
Let f be (-10)/65 - (56/(-26) + 0). Solve -2*z = f*z for z.
0
Let m(a) = -a**3 + 6*a**2 + a. Suppose -4 = 3*z - 22. Let r be m(z). Solve -2*y + 2 = -r for y.
4
Let f(z) = z**3 + 6*z**2 + 5*z + 2. Suppose 4*o = -2*v + 2, -4*o - 3 = 3*v - 0. Let w be f(v). Solve -w = 2*c - 6 for c.
2
Suppose -3*o = -4*o + 5. Suppose -2*d = -o*d. Solve v + 4*v = d for v.
0
Let y be -2*2/20 - 228/(-15). Solve 0*p = -3*p + y for p.
5
Let z = 4 + -2. Let m = 15 + -21. Let k = -6 - m. Solve 0 = -z*r - 10 - k for r.
-5
Let s be -1 - 66/(-21) - 1/7. Solve 3*r = -s*r + 5 for r.
1
Let g(b) = b - 3. Let f be g(6). Let m = 12 - f. Solve -3*r + 0*r - m = 0 for r.
-3
Suppose 0 = -2*w - w + 12. Let k = 15 + 1. Solve 4*h = -w + k for h.
3
Let j(x) = 3*x**3 + 0*x**3 - 4*x**3 - 3*x**2 + 2*x + 3*x**3. Let u be j(2). Solve -d + u = -5*d for d.
-2
Suppose 3*x - 119 = 25. Suppose 8*h - 5*h - x = 0. Let g be h/6 + 6/(-9). Solve 2*d + 2 = -g for d.
-2
Suppose -2*k = k. Suppose -14*d - 73 = -101. Solve d = -j - k*j for j.
-2
Let d = 45 + 5. Let a = d + -26. Suppose 0 = c + 2*c - a. Solve c = -k - k for k.
-4
Let r(y) = y**3 - 9*y**2 + 7*y + 10. Let q be r(8). Let w be 34 - (0 + (-4 - -2)). Suppose -q*m - 4 = -w. Solve 0*l - 4*l = -m for l.
4
Let h = 5 - 2. Suppose 0 = x - 4*p - h, -3*x + 7 = -p - 2. Let d(q) = -q**3 + 6*q**2 + q + 3. Let m be d(6). Solve 0 = -x*t - m + 3 for t.
-2
Let z(m) be the third derivative of m**4/12 + 5*m**2. Let f be z(0). Solve 3*l + l - 8 = f for l.
2
Let t be (-2)/13 + (-280)/(-130). Solve 0 = -i - i - t for i.
-1
Let z = -8 - -13. Solve 0 = 3*p - 4*p + z for p.
5
Suppose k - 5*m + 2*m - 19 = 0, 2*k - 33 = m. Solve 4*s - 4 = k for s.
5
Suppose t = -3*l + 5*l, -4*t + 20 = 2*l. Let a(u) = -u**3 + 6*u**2 + u - 6. Let r be a(6). Suppose -t*n - n = r. Solve n = f + 2*f for f.
0
Suppose -2*i = -5*q + 2*q - 14, 2*i - 10 = 5*q. Solve -l - i = l for l.
-5
Suppose -3*l = l - 12. Suppose h + c = 0, -4*h + l*c = -0*c - 28. Suppose 5*i + 64 = h*n, 2*n - i + 16 = 42. Solve -n = 2*g - 1 for g.
-5
Let k(y) = y**3 - 6*y**2 + 7*y - 5. Let u be k(5). Let h = u + -3. Suppose -h*v + 3*v = 5*z, 5*z = 0. Solve v*r = r - 4 for r.
4
Suppose 5*h - 2*h + 9 = 0. Let z = -3 - h. Let v = 3 - z. Solve v*t - 1 = -4 for t.
-1
Let q(z) = z**2 + 5*z + 4. Let p be q(-5). Solve 4 = p*h - 0 for h.
1
Let l be 1/(1/(6 - 4)). Solve -3*j - l*j = 15 for j.
-3
Suppose -25 = -13*r + 1. Solve 6 = -r*i + 5*i for i.
2
Let d(j) = 2*j + 5. Let u be d(-4). Let o = 4 + u. Let s = 0 + o. Solve 0 = 3*a + 7 - s for a.
-2
Suppose 0 = 4*w - 13 - 19. Suppose v + 4*k + 5 = w, -2*k = -5*v + 15. Solve 0 = -v*o - 3 - 3 for o.
-2
Let g(b) = -b**3 + 7*b**2 - 7*b - 12. Let j be g(5). Let w(p) = -p**3 + 3*p**2 + 3*p + 2. Let s be w(3). Solve s = 2*t + j for t.
4
Let u(i) = -i**3 + 6*i**2 - i + 6. Let f be (-2)/(2/(-4)*1). Suppose 4*x = 2*j - x - 12, -5*j + 30 = f*x. Let r be u(j). Solve r = -v + 1 for v.
1
Let p(r) = -r**3 - r**2 - 1. Let c be p(-2). Solve c*y = 4*y for y.
0
Let u(g) = -13*g**2 + 3*g + 1. Let l(n) = 3*n**2 - n. Let t(s) = 9*l(s) + 2*u(s). Let i = 11 - 7. Let x be t(i). Solve 16 = 5*b + x for b.
2
Suppose -4 = -4*p + 4*g - 0*g, -45 = -5*p - 3*g. Let z(u) = -u + 4. Let d(b) = -b + 5. Let s(a) = 2*d(a) - 3*z(a). Let l be s(p). Solve 2*x + 4 = l*x for x.
2
Suppose 3*w + j - 5 - 90 = 0, -2*j - 74 = -2*w. Let a = w + -17. Let u be 4/(-10) - (-4)/10. Solve u*g = -4*g + a for g.
4
Let n = 16 - 9. Solve 1 = -2*d + n for d.
3
Let h = -64 + 67. Solve -h*g = -5 - 10 for g.
5
Let s = 7 + -5. Suppose 0 = -3*i + 4*d - 6, -4*d = s*i - 2*d - 10. Suppose -i*f + 20 = -f. Solve -f = -3*z - 2*z for z.
4
Let u(a) = 2*a**3 + a**2 + a - 1. Let q be u(1). Suppose -5*b + 7 = -q. Solve 5*w = 23 + b for w.
5
Suppose -s - 1 = -2. Suppose 5*k - s = 24. Solve 0*u - 5 = k*u for u.
-1
Suppose -d - 55 = 4*d. Let v be 2 + (-1 - -1) - d. Suppose -n + v = -6. Solve -4*u - n = -7 for u.
-3
Let u(g) = -3*g + 3 + 6 - 13. Let a be u(-3). Solve -3*n + a = 2*n for n.
1
Let j be (-4)/(8/3)*2. Let a be (-14)/8 - j/(-12). Let o = a + 2. Solve 5*c - c + 16 = o for c.
-4
Let n(t) = 4*t**3 - 2*t**2 + t. Let h be n(1). Let q be 3 + -2 + 11 + -3. Solve 3*s = h - q for s.
-2
Suppose r + w - 7 = 0, -2*r = -3*w - 3 - 1. Solve 5 + 0 = r*a for a.
1
Suppose 3*z + 3 = g, -11 = -3*g + 5*z - 2. Suppose 0 = -g*x + 2 + 4. Let f be 0 - (-1 - -3) - -7. Solve f*t - x*t = -3 for t.
-1
Suppose 0 = -5*m - 4*r + 18 + 48, 0 = m + 2*r - 18. Solve -m = -p + 6*p for p.
-2
Suppose 0 = 2*p + 4*h - 2, -h = -4*h + 6. Let u be ((-2)/(-7))/(p/(-21)). Suppose -u = -3*r + 4. Solve b = -2 - r for b.
-4
Let n be 4 + (-1 - (0 + 3)). Solve -4*g + n*g = -8 for g.
2
Suppose 0 = 63*j - 65*j + 6. Let o be (-1 - 4/1)*-1. Solve -2*f + j = -o for f.
4
Suppose l + 23 = 4*a, -5*l + 60 = 2*a + 3*a. Solve -c - 3 = -a for c.
4
Suppose f - 7 = -2. Suppose -