 l + -5. Solve -3*r = -a + 5 for r.
3
Let d = 22 + -14. Solve 0 = 4*g - 0*g - d for g.
2
Let y = 394 + -390. Let n be (0 - -2)*5/2. Solve -n = 3*g + y for g.
-3
Suppose -8*l + 5 = -3*l. Let r be (-1)/(l - 8/6). Suppose 0 = 4*o - 3*w - 97, 4*w = r*o - 5*o + 76. Solve 5*t + 3 = o for t.
5
Suppose 0 = -5*n - 25, -3*w = n + n - 17. Solve g = 4*g + w for g.
-3
Suppose 0 = 5*b - b - 20. Solve b*i - 12 = 3 for i.
3
Suppose 0 = -f + 2, -3*f + f - 2 = 2*i. Let t be i/(-2)*98/21. Solve -5*a + t = -13 for a.
4
Let j(a) be the first derivative of a**3/3 - a**2/2 + 2*a + 1. Let p be j(2). Let b be 2*(-2 - p/(-1)). Solve y - b = -3*y for y.
1
Let q(x) = -x**3 + 6*x**2 + 6*x - 2. Let i be q(7). Let v = i + 12. Solve -v - 7 = 2*d for d.
-5
Suppose -5*q = -10*q - 65. Let t = q - -16. Solve 0 = t*s - 0*s + 3 for s.
-1
Let h be (-212)/(-12) - (-8)/6. Let t = h - 14. Solve 8 = -t*a - 12 for a.
-4
Let x(a) = a**2 + 3*a - 5. Let u be x(-5). Suppose -y + 2*y = 2*l - 1, 2 = -3*l + 5*y. Let d be 4 + u + l + 0. Solve 5*m - 35 = -d for m.
5
Let z = 4 + 1. Let v = z - 3. Suppose -4 = -0*h - v*h. Solve 6*x = h*x + 12 for x.
3
Let v be ((-5)/4)/((-5)/20). Suppose 0 = v*b - 15 - 5. Solve -7 = b*k + 1 for k.
-2
Let z be 0 + (-3 - -4) + 0. Solve z = w - 1 for w.
2
Suppose 3*o = -5*s - 41 - 24, 5*o - 15 = 4*s. Let a be (-5)/(s/(-4)) + 2. Solve a = 4*r - 2*r for r.
0
Let p = 29 - 28. Solve -11 = 4*k + p for k.
-3
Suppose 8 = -m + 5*m. Solve 0*u = m*u + 10 for u.
-5
Let o be 4/12 + 5/(-15). Solve -2*q + q + 4 = o for q.
4
Suppose -m = -2*m + 1. Let w be m*(2*4 - 0). Solve 0*b - w = 2*b for b.
-4
Let c(o) = o**2 + 7*o + 10. Let l be c(-6). Solve l*f = 2 + 2 for f.
1
Let r(h) = 2*h**2 + 7*h - 4. Let i be r(-4). Solve 5*v + i = -5 for v.
-1
Let n(o) = o**3 + 5*o**2 - 8*o - 4. Let x be n(-6). Suppose x*f - 3*f - 2*s = 27, 0 = -2*f + 2*s + 12. Solve 0 = -f*w + 10 for w.
2
Suppose -k - 2 = -2*k. Suppose -5*y - 26 = -2*b, -k*b - 4*y + 4 = 14. Let j = -12 + 12. Solve j = -v - 1 + b for v.
2
Suppose -b = -3*g + 3, 6*g = 2*b + 3*g + 9. Let t be (-6)/(-12) - b/4. Suppose 0*f + f = 4*z + t, -3*z - 8 = -4*f. Solve p = f*p for p.
0
Let b be 0*(15/(-6) + 2). Let m(d) = -d - 1. Let x(l) = -6*l - 8. Let k(q) = -5*m(q) + x(q). Let t be k(-6). Solve -t*n + 12 = -b*n for n.
4
Let w be 45/(-10)*(-8)/6. Let p = 3 - 5. Let a = 5 + p. Solve 0 = -0*b + a*b - w for b.
2
Suppose -20 = -y + 4*v, 4*y - y - 4*v - 28 = 0. Solve -y*m - 2 - 6 = 0 for m.
-2
Let x(j) = -2*j - 2. Let b be x(2). Suppose -3*n + 5 = 23. Let a = b - n. Solve -3*s - 12 = -a*s for s.
-4
Let a = -23 - -35. Suppose 3*m + 4 = -17. Let n(s) = s + 9. Let h be n(m). Solve 0 = -h*t + 5*t + a for t.
-4
Let g(r) = -1 + 0*r - r + 2. Let w(z) = 3*z - 1. Let s(x) = -2*g(x) - w(x). Let v be s(-2). Solve -a = 2 + v for a.
-3
Let p(n) = -n**3 - 2*n. Let z be p(0). Solve z*m - m - 1 = 0 for m.
-1
Suppose 3*g + 0*g = 5*v - 32, 36 = 5*v - 4*g. Let c = v + -2. Solve c = w - 0*w for w.
2
Let s(b) be the second derivative of 1/3*b**3 - 5/2*b**2 + 2*b + 0. Let l be s(8). Solve 0 = 4*v + 5 + l for v.
-4
Let t(z) = 2*z**2 - 12*z + 4. Let v be t(6). Solve 14 = -v*g + 2 for g.
-3
Suppose 0 = -4*p - 3*p. Solve 3*d - 6 - 6 = p for d.
4
Suppose 0*t + t = 2. Let y(d) be the third derivative of d**5/60 - d**4/12 - d**3/6 - 2*d**2. Let g be y(3). Solve 3*p - t*p = -g for p.
-2
Suppose -4*r + 46 = 2. Let f = 15 - r. Solve -f*s - 2 = -6 for s.
1
Let d(x) be the third derivative of -7/24*x**4 + x**3 + 1/60*x**5 - 2*x**2 + 0 + 0*x. Let b be d(6). Solve -r - 1 = -b for r.
-1
Let c be (8/(-3) + 2)*-3. Let t be 1/2 - (-5)/(-2). Let v(f) = -2*f**3 + 3*f + 1. Let x be v(t). Solve c - x = 3*b for b.
-3
Let m(a) = a**2 - 4*a**3 + 3 + 2*a**3 + a**3. Let t be m(0). Let i be 1 - 1 - (t - 3). Solve 4*u - 2*u + 8 = i for u.
-4
Suppose 0 = -2*b - 6 - 0. Let p be -2*b/(-6) + 3. Solve -p*s - 11 = -3 for s.
-4
Suppose -w - 4*w = 4*z - 6, 4*z = -3*w + 10. Let f(t) = -t + 4. Let r be f(4). Let i = -51 - -53. Solve -i*a + r*a = z for a.
-2
Let v be (-24)/(-9)*3/2. Let b(w) = 1 + 0 - w + 1. Let n be b(2). Solve n = -4*c + 2*c - v for c.
-2
Let i = 17 + -7. Solve -i = g + g for g.
-5
Suppose -10 = 2*m - 7*m. Let s be ((-6)/(-4))/(m/4). Let t = -79 + 81. Solve t*b + 20 = -s*b for b.
-4
Let j be 1/(-8) - (-2)/16. Solve j*v = -v for v.
0
Let b(s) be the second derivative of s**5/20 - s**4/12 - s**3/6 + 3*s**2/2 - 2*s. Let q be b(3). Let p = q - 11. Solve -p - 1 = -2*a for a.
4
Let z be (-2)/(((-40)/12)/5). Solve z*w - 8*w - 5 = 0 for w.
-1
Let v(b) = -b**2 + 14*b - 11. Let o be v(12). Solve -2*y = -o + 19 for y.
-3
Suppose 2*v - 4*v = 0. Suppose v = -2*g + 5*g. Let w = 5 + g. Solve -w*b + 28 = 3 for b.
5
Suppose -3*t + 2*c = -4*t - 8, -3*c - 12 = 4*t. Suppose t = -2*z - 4*b + 20, 3*b = -2*z + 20 - 4. Solve -3 + z = f for f.
-1
Let q be 0/2*1 + -17. Let a = -14 - q. Solve 5 = 4*k - a*k for k.
5
Suppose -2 = -2*b - 4. Let c be 3 - -3 - (1 - b). Solve -c*m + 4 = -0 for m.
1
Let w(z) = z**2 - 2*z**2 + 0*z + 0*z - 10*z - 7. Let j be w(-9). Solve -3*f - j*f + 25 = 0 for f.
5
Suppose 0*y = -4*b - 2*y - 6, 0 = -2*y + 2. Let u be ((-8)/12)/(b/(-6)). Let h be 16*(10/4 + u). Solve 0*m = 2*m + h for m.
-4
Suppose 0 = x - 0*x + 192. Let u be (1/(-2))/(6/x). Suppose u = 3*w + w. Solve -9 = -c + w*c for c.
-3
Suppose 0*d = -m - 2*d + 10, -3*m = -3*d - 30. Solve -c + m = c for c.
5
Let i = 2 + 2. Suppose 3*k - 3 = -3*q, 0*q + i = -2*q + 4*k. Solve q = 2*m - 0 - 10 for m.
5
Let f(y) = -y - 7. Let l be f(-9). Solve b + l*b - 3 = 0 for b.
1
Let w be (-6)/(-7)*(-42)/(-6). Let r = 8 - w. Let h be 1 + ((-8)/r - -3). Solve -2*g + 0 - 8 = h for g.
-4
Let n be ((-6)/(-8))/((-4)/(-16)). Suppose n*j = 2*j. Suppose -2*x + 7*x - 20 = j. Solve x = -c + 9 for c.
5
Suppose 0 = -0*b + b - 3. Suppose -b*l = -m + 11, -m + 0*l = -2*l - 9. Suppose m*x - 8 = 27. Solve x*u - 25 = 2*u for u.
5
Let q = -2 - -3. Let a be (-3)/((q - 0)*-1). Solve -a + 0 = v for v.
-3
Suppose -2*z + 4 + 0 = 0. Let v be 0 + (0/2 - -4). Suppose -v*y - 12 = 0, -4*p + y - 1 = -28. Solve 4*w = z*w + p for w.
3
Let q(u) = 4*u**2 + 1. Suppose -5 = 5*g - 0. Let m be q(g). Solve -9 = m*o + 1 for o.
-2
Suppose -4*c + 4 = -36. Let y = -6 + c. Solve 3*i - 5 - y = 0 for i.
3
Let d(y) = -y**2 + 5*y + 16. Let z be d(7). Solve 4*a + z = 3*a for a.
-2
Let a(u) = 5*u**2 - 5 + 3*u + 5*u + 0*u**3 - 2 - u**3. Let k be a(6). Suppose 2*c + 4 = k*m, 3*m - c + 9 = 4*c. Solve 5 - m = 3*o for o.
1
Suppose -4*n - 25 = -5*w, -7*n - 25 = -2*n. Let k be (w - -2*1) + 2. Suppose 0 = -k*h - b + 6*b - 15, -5*b = -25. Solve -h*x = -11 + 1 for x.
5
Let k = 6 - 25. Let n = 19 + k. Solve n = -5*p + 2*p for p.
0
Let v(j) = j - 10. Let l be v(10). Solve 3*w - 6 = -l*w for w.
2
Let v be 3/(-4 - 57/(-12)). Solve -s - s = -v for s.
2
Suppose -2*k - y + 3 = 0, 2*k - 9 = -6*y + 3*y. Suppose k*f = -f. Solve -4*w - 12 = -f*w for w.
-3
Let n = -44 + 69. Suppose 2*l = -3*l + n. Solve 3 = -l*p + 23 for p.
4
Let o = -17 + 8. Let q be o/(-15) - 6/(-15). Solve -3 = -a + q for a.
4
Let f(q) = 0 - 3 + 3 + 4*q - q**2. Let j be f(4). Solve j*o - 4*o - 20 = 0 for o.
-5
Let m be (-6)/4*8/3. Let v = m - -8. Solve 0 = -v*b + b + 12 for b.
4
Let u(v) = -v**3 + 6*v**2 - 6*v - 5. Let y be u(4). Solve 5*x + y = 2*x for x.
-1
Suppose 3*l - 5 = -0*a + a, 3*l = -3*a + 9. Solve 4*j - a + 5 = 0 for j.
-1
Suppose 15 = 5*m - 25. Let n be (m/2 + -3)*5. Solve v + 1 = n for v.
4
Let z be -4 - (-4 + (-4 - -4)). Solve 0 = -v + 4 - z for v.
4
Let c = -7 + 18. Let i = c - 7. Solve i*q = -0*q for q.
0
Suppose -4*z = -h - 25 - 23, 2*z - 2*h = 30. Let w = 15 - z. Solve 6 = -w*r - 6 for r.
-3
Suppose -5*a = 15, -12 = -x + 3*a + a. Solve x*m = 2*m for m.
0
Let l be (-66)/(-9) - (-4)/6. Solve 8*d - l = 4*d for d.
2
Suppose -4*v + 3*b + 23 = 0, 4*b = -b + 15. Let g = 10 - v. Solve 0 = -3*w - 5 + g for w.
-1
Suppose u - 20 = -2*f, -f + 68 = 4*u + f. Solve 4*m - u = -0*m for m.
4
Let n(d) = -d**3 - d**2 + 2. Let i be n(0). Let z(k) = -4*k + 121. Let y be z(28). Solve i*o + y = -1 for o.
-5
Let v = -5 + 7. Suppose 3*n = 23 - v. Solve -5*b + n = -13 for b.
4
Let u(s) = s**3 - 10*s**2 - 2*s + 15. Let h be u(10). Let w = h - -5. Suppose -2*z - 3*i - i - 12 = w, 3*z = -3*i - 3. Solve -z*a = -6*a for a.
0
Suppose -3*y = 3*r - 81, -3*r = -4*y +