*r = -5*r. Solve 0 = -r*i - i - 3 for i.
-3
Suppose 3*m - 2 = -2*t, -3*m = -4*t + 3*t - 17. Let l = m - 4. Suppose f + 3*k + 2 = 0, -f - k + 4 = 4*f. Solve l*q = q + f for q.
-1
Let g(x) = x**3 + 10*x**2 + 13*x + 13. Let u be g(-9). Let f = u - -23. Solve f*r = -2*r + 6 for r.
3
Let b = 34 - 56. Let u = b - -31. Solve 0 = w + 2*w + u for w.
-3
Suppose -8 = -4*b + 8, -2*b = -2*m - 4. Solve m = l - 0 for l.
2
Suppose -3*t + 20 = 4*q, -2*q + 20 = 3*t - 4*t. Solve 13*w - q = 9*w for w.
2
Let j(x) = -x**3 - 4*x**2 + 4*x - 1. Let q be j(-5). Let u be (-3)/2 + 14/q. Solve -2 + 10 = u*t for t.
4
Let j(n) = 4*n**2 + 15*n - 9. Let z(t) = -5*t**2 - 16*t + 10. Let b(c) = -6*j(c) - 5*z(c). Let h be b(10). Solve -h*l - l - 15 = 0 for l.
-3
Let q = -14 + 20. Let i = -4 + q. Solve 0 = 5*u - i - 13 for u.
3
Let t(f) = 2*f - 4. Let b be t(7). Solve 0 = m - 3*m + b for m.
5
Let c(k) = -k + 14. Let w be c(5). Solve -x + w = 4 for x.
5
Suppose -9*t + 5 = -4*t. Let m = t + -1. Solve 2*j = -m*j + 8 for j.
4
Let j(c) = -c - 3. Suppose 0 = z + 5*a - 17, -6*a + 5*a = -4*z - 16. Let g be j(z). Solve g*p = -4*p for p.
0
Suppose -9 = 3*n - 3*o, 2 = -o + 7. Suppose -4*u - 2 = -3*r - 28, 0 = -n*u - 5*r. Solve 5*a = -0*a + u for a.
1
Suppose h + 4 = 3*h. Suppose -3*w - 53 = -h*k - 2*k, 27 = 2*k - w. Solve 11 + k = 5*v for v.
5
Suppose -5*p + 28 = 3. Suppose 9 = p*n - 16. Solve 5*c + n = -0 for c.
-1
Suppose -1 = -2*u + 7. Let l = u - 2. Suppose -l*r = r. Solve r = -0*g - g - 1 for g.
-1
Let r = 49 - 45. Solve 9 = -r*g - 3 for g.
-3
Suppose 0 = -5*g - 9 + 9. Solve 0 = 3*o - g*o + 3 for o.
-1
Let k be ((-2)/(-8))/((-3)/(-24)). Solve 2*s - k = -6 for s.
-2
Let k = 15 + -10. Let f = -1 + 3. Solve 6*r - f = k*r for r.
2
Suppose 3*v - 24 + 0 = 0. Solve 5*b = v*b - 6 for b.
2
Let j(f) be the third derivative of -f**4/12 - 2*f**3/3 + f**2. Let q(z) = -4*z + 4. Let c be q(2). Let u be j(c). Solve -2 = -u*h + 6 for h.
2
Let c(b) = b + 14. Let x be c(-9). Solve 4*o + 1 - x = 0 for o.
1
Let m = 10 + -10. Let p = 0 + m. Let t = p + 3. Solve -t*g + 6 = -5*g for g.
-3
Suppose -3*v + 5 = -10. Suppose d + d = 4*g, v*d - 4*g = 0. Suppose d = -0*m + 5*m - 10. Solve 2*o - 4*o = -m for o.
1
Let n(f) = 2*f - 15. Let g(o) = -o + 7. Let s(p) = 5*g(p) + 2*n(p). Let i be s(3). Let u be 9 - ((-8)/4 - -5). Solve u*j = i*j + 16 for j.
4
Suppose -2*j - 19 = 3*t, 2*j = t + t + 6. Suppose -5*n = -h - 0 + 1, 0 = -3*n + 3. Let q be ((-3)/h)/(j/48). Solve -z + q = -5*z for z.
-3
Let q = 35 - 31. Solve q = w + 3 for w.
1
Let a(n) = n**3 + 2. Suppose -5 = x, -5*s + 8 = -x + 3. Let h be a(s). Suppose 0 = 2*w - 2 - h. Solve 0 = i + w*i + 15 for i.
-5
Let k be (-60)/(-70)*14/4. Suppose -t - 3*y + 8 = -4*y, -16 = -2*t + 4*y. Solve -t*q + k*q = -10 for q.
2
Suppose 3*y = -3*k, y + k + 2*k + 6 = 0. Solve 0*i - y*i - 15 = 0 for i.
-5
Let n = -5 + 8. Let g = n - 2. Let k = 5 - g. Solve 0 = 2*d - k*d for d.
0
Let h(l) = l**3 - 2*l**2 + 1. Let t be h(1). Let b = t - -7. Solve -4*w - 1 = b for w.
-2
Let l(v) = v + 5. Let a = 7 - 12. Let y be l(a). Solve p - 1 + 3 = y for p.
-2
Suppose -4*w = -3*q + 26, 0 = -0*w + 2*w - 2. Solve 4*h + 2 = q for h.
2
Let g = 3 + 0. Suppose g*f + 4 = 19. Let l be (-1 + -2)*3/(-9). Solve -f + l = 4*n for n.
-1
Suppose 3*i + o = 6*o + 19, 4*i - 5*o = 22. Solve -c + 2*c = -i for c.
-3
Suppose -3*n = -1 - 8. Suppose c - 12 = -n*c. Solve -c = d + 1 for d.
-4
Suppose 5*b - 3*a = -a + 7, 3*a - 9 = b. Solve -3*u + 6 = -b for u.
3
Let r(a) = a**3 - 10*a**2 - 12*a + 15. Suppose -3*j - 2*h = -23, -5*h + 9 - 34 = 0. Let p be r(j). Solve p = u + u for u.
2
Let t(o) = -o**3 - 5*o**2 - 5*o - 5. Let n be t(-5). Let l(c) = c**2 - 3. Let i be l(-5). Suppose 3*j + 18 = m, m = -0*m - 5*j - i. Solve 2*a = -m*a - n for a.
-4
Suppose -12*h = -h - 44. Solve h*r = -5 - 15 for r.
-5
Let g = -13 - -21. Suppose -7*u = -g*u. Solve u = -3*h + 3 for h.
1
Let m(c) = c**2 - 3*c - 7. Let z be (21/9 + -2)*15. Let a be m(z). Suppose -1 = -a*o + b - 0, 2*o = -3*b - 3. Solve o = 4*l + 2 - 10 for l.
2
Suppose 3*u + 3 = -5*h, 0 = -h - 0*h - 3. Solve 0*f = u*f + 4 for f.
-1
Let v = -8 + 0. Let s be v/(-20) + (-13)/(-5). Suppose -3*l - l = -s*u - 11, -3*u = 3*l - 3. Solve -l*m + 1 = -7 for m.
4
Suppose 0*t + 5 = -t. Let n = 9 + t. Solve -8 - 12 = n*u for u.
-5
Let b be (-6)/(-1)*4/6 + -3. Solve 0*m - b = m for m.
-1
Suppose -d = 3*d. Suppose -2*z = -4*z + 6. Suppose z*q - 1 - 5 = 0. Solve -q*x = -d*x for x.
0
Let p = 21 - 11. Let v(i) = i**2 - i. Let n be v(-1). Suppose 4*w = n*w + p. Solve -17 = -w*z + 8 for z.
5
Suppose -5*h = -0*h - 10. Suppose 0 = 2*b + 5*n - 25, -10 = -0*b - 3*b - h*n. Solve 0*t + 2*t - 2 = b for t.
1
Let r(n) = n**3 - 2*n**2 - 4*n + 4. Suppose 3*k - 2*k = 5. Suppose 6 = 3*f + 3*q - 12, -k*f - 2*q + 21 = 0. Let t be r(f). Solve -2*i - 3 - t = 0 for i.
-2
Let v = 12 + -4. Solve 5*l + v = 3*l for l.
-4
Suppose -f + 10 + 1 = -3*n, 2*f - 19 = 3*n. Suppose -4*g + 2*x = -10, 13 = -2*g + 6*g + x. Let o = f - g. Solve o*y = y for y.
0
Suppose -3*l + 134 = -l. Suppose 3*d + l = 4*d. Suppose d = 5*r - 38. Solve -r = 5*m - 6 for m.
-3
Let y be (-3)/9*(-16 + 1). Solve y*o + 1 = -19 for o.
-4
Suppose 0 = -2*k - 4*u, k + 0*u = -u. Let l be -1 + 1 - (-6 + 0). Let v be (-16)/24 + (-16)/(-6). Solve k*m - v*m = l for m.
-3
Let c(b) = -b - 11. Let d be c(-11). Solve 0 = o + 3 - d for o.
-3
Let a(v) = v**2 + 3*v + 4. Let z be a(-2). Suppose -1 = -o + z. Solve o*w - w + 6 = 0 for w.
-3
Suppose 3*v - 5 - 1 = 0. Solve -3*l + v*l = -3 for l.
3
Let n = -105 - -111. Solve 4 = 2*m - n*m for m.
-1
Suppose 7*g - 6*g - 5 = 0. Let c(s) = s**2 - 2*s. Let l be c(2). Solve l*q - 20 = -g*q for q.
4
Let w = -17 + 26. Solve 2*b = -b - w for b.
-3
Let t be (6/(-9))/((-5)/45). Suppose -2*u = -t, c - 24 = -4*u - 3. Solve -w + 4*w = -c for w.
-3
Suppose -3*h + 20 = 5*r - 27, 3*r - 12 = 0. Let z(c) = 11 - c + 4 - 4. Let i be z(h). Solve -3*g - i + 8 = 0 for g.
2
Let u be (-3)/(-2)*(-40)/(-6). Let b be 7/2 + 15/u. Suppose c = -0*c. Solve b*o = -c*o for o.
0
Let o = 5 - 4. Let s be (o/2)/(2/20). Solve s + 4 = -3*u for u.
-3
Let k be 4 - (16/2)/2. Solve k*y + 3*y = -3 for y.
-1
Suppose -2*w + 9 = -5*h, 0*h - 2*h = 3*w + 15. Let x be (-1)/((-93)/30 - h). Let z = x - 9. Solve 0 = 3*p + z + 8 for p.
-3
Let d = -32 - -37. Solve 10*w = d*w for w.
0
Suppose 2*m - 40 + 12 = 0. Let p = m - 9. Solve p*o = o for o.
0
Let d(v) = 6*v + 2. Let f be d(0). Suppose 3*y = -2*j + 52, -j - 2*y = -2*j + 12. Suppose -2*a = -a - j. Solve 2*l = -f*l - a for l.
-5
Let a(d) = -d**3 + 7*d**2 - 5*d - 2. Let l be a(6). Suppose 0 = -l*o + 17 - 5. Solve 3 = o*n + 18 for n.
-5
Let w be 2/4 + (-117)/(-18). Let c = w + -16. Let q = c - -11. Solve -5*a = -3*a - q for a.
1
Suppose u = 2*u. Suppose -5 - 1 = -2*c. Suppose 4*o - 11 + c = 0. Solve -6 = -o*y - u*y for y.
3
Let z = -7 - -11. Suppose 2*j - 4*d + 22 = 0, -2*j + 4*d - 24 = -d. Let x = -4 - j. Solve z*o = o + x for o.
1
Let w(d) = 3*d - 12. Let m be (5 + -6)/(1/(-5)). Let z be w(m). Solve z*n = -2 + 11 for n.
3
Let d(l) = l**3 + 3*l**2. Let b be d(-3). Suppose c = -2*c + 24. Let u = b + c. Solve 0 = -3*y + u*y - 5 for y.
1
Let n be (0 - -3) + (-11)/(-11). Solve n - 9 = -p for p.
5
Let z(t) = t**3 - 9*t**2 + 8*t. Let h be z(8). Solve -a - 3*a = h for a.
0
Let h(m) = 2*m**2 + 2. Let r be h(2). Solve 0 = -0*d + 2*d - r for d.
5
Let g be (-36)/(-10) + (-3)/5. Solve 2*q + g = q for q.
-3
Let a(b) = 6*b**2 - 9*b + 4. Let r(n) = 5*n**2 - 8*n + 4. Let f(z) = -4*a(z) + 5*r(z). Let s be f(3). Suppose -u = -s - 3. Solve p = 3*p + u for p.
-2
Let b be 0 + 0/(-2) + 2. Let l = -55 + 57. Solve -b*a = -a - l for a.
2
Suppose 2*f - 6*f - 4*s + 32 = 0, 3*s = f + 8. Suppose -5*r - 6 = 4, -p + 2*r + f = 0. Let g(w) = w + 2. Let y be g(0). Solve p = -y*i + i for i.
0
Suppose 2*d + 2*r + 104 = 7*d, -5*d = 3*r - 94. Solve -4 = -4*p - d for p.
-4
Suppose 2 = 9*a - 8*a. Solve -a*f - 15 = 3*f for f.
-3
Let v(s) = -s**2 + 2*s. Let o be v(2). Suppose o = -0*f - f + 3. Solve f*p = 5 - 17 for p.
-4
Suppose -4*s = 3*b + 10 + 12, -5*s = 3*b + 26. Let o be (s - -1) + 6*1. Solve 0 = -o*r + 14 - 5 for r.
3
Let x(f) = 26 - 58 - 3*f + 28. Let r be x(-8). Suppose -2*h + 24 = 2*h. Solve h*w = 2*w - r for w.
-5
Let q = -7 - -10. Suppose 0 = -2*m + 5*m - z + 5, 3*m = 