lve -a = l - 0*l for l.
-1
Suppose v - 15 = -10*n + 5*n, 0 = 4*n + 4*v - 28. Solve -6*p - 8 = -n*p for p.
-2
Let p = 24 + -24. Solve p = -5*u + 2 + 8 for u.
2
Let v be 2/(-1) - 0 - -6. Suppose 0 = -h + 5, -5*c - 2*h = -3*h - 10. Suppose v*r = c*r. Solve r = -2*j + j - 5 for j.
-5
Suppose -5*m + m - 2*u = 12, -2*u = 3*m + 8. Let k be ((-22)/m)/((-1)/2). Let j = -2 - k. Solve 3*n + 0*n = j for n.
3
Let m = -27 - -30. Solve 0 = -2*l - m*l - 15 for l.
-3
Suppose 0 = -6*s + 7*s - 5. Solve -5*a - 30 = -s for a.
-5
Let u = -9 - -17. Let n(z) be the third derivative of -z**5/60 + z**4/8 + 2*z**3/3 - z**2. Let g be n(4). Solve -u = -g*q + 2*q for q.
-4
Let o(g) = g**3 - g**2 - 1. Let t be o(2). Solve -t = -f - 2*f for f.
1
Let v = 18 - -2. Suppose -4*q = q - v. Solve -2*k = -6*k + q for k.
1
Suppose -14*v + 20*v - 24 = 0. Solve 0 = -v*x - x + 5 for x.
1
Let a be -3 + 8/4 + 2. Solve a = 5*z + 26 for z.
-5
Let p(l) = -l - 7. Let a be p(-12). Let d be (-2*1 + 2)/2. Suppose 9 = f - a*j, d = -4*f + 4*j - 0 + 20. Solve 11 = -f*c + 31 for c.
5
Suppose 4*p = 5*x + 4 - 3, 0 = -3*p + 2*x + 6. Let i be 2 + -1 - (-1 + 2). Solve i = p*f + f - 25 for f.
5
Suppose 66 = 5*b - 4*a, 2*b - 5*a - 28 = -3*a. Let p(i) = i + 1. Let j be p(3). Suppose -j*y = -2*y. Solve y*g = 2*g - b for g.
5
Suppose 4*b - 2*m + m - 13 = 0, -b = m - 2. Let f(g) = 2 + g**2 - b*g - 3 + 0*g**2 - 2. Let k be f(-2). Solve 3*v - k*v + 16 = 0 for v.
4
Let u be 32/10 - 1/5. Let a be 10 + (6 - 2 - u). Solve a = 4*t - 5 for t.
4
Let q(d) = d**3 - 8*d**2 + 7*d + 4. Let h be q(7). Suppose -o + h = -1. Solve 2*a - 9 = o*a for a.
-3
Let a = -15 - -20. Let f(u) = -u + 13. Let y be f(11). Solve y - a = 3*x for x.
-1
Let y be (78/9)/((-6)/9). Let m = -13 - y. Solve 5 + m = -t for t.
-5
Suppose 47*t = 51*t - 16. Solve 0 = -3*x + 5 + t for x.
3
Suppose -3*u + 0*s + 5*s = 11, -4*s + 25 = 3*u. Suppose -1 = p + u*f, 4*f + 1 + 7 = 0. Suppose 0 = -p*g + 20, 0*g + 2 = 5*q - 2*g. Solve d = q*d for d.
0
Suppose -d = -4*t - 3*d - 40, 5*d = -3*t - 23. Let b be 1*(-1 + -2) - t. Let w(v) = -v**2 + 10*v - 11. Let n be w(b). Solve n*r = -0*r + 15 for r.
3
Let f be 3/7 + (-80)/(-140). Solve -f = -p - 5 for p.
-4
Let n be -3 - 17/(-1) - 2. Suppose 3*h + n = h. Let v = h - -10. Solve -v*k = -0*k + 4 for k.
-1
Let v be 15/9 - 2/(-6). Suppose 5*i = 4*q + 22, -v*i - 4*q + 3*q + 1 = 0. Suppose 2*n + 0 = -3*f + 5, -i*n = -4*f - 12. Solve -4 - 4 = n*d for d.
-2
Let y(q) = q**3 + 4*q**2 + q - 2. Let v be y(-3). Solve -v*p = p + 25 for p.
-5
Let o = -11 - -15. Solve -11 - o = 3*w for w.
-5
Let g = 5 - 2. Let b be (51/12)/((-2)/(-8)). Suppose -5*p = -8 - b, p = 3*f - 4. Solve f*c + g = -12 for c.
-5
Let m be (-2)/3 + (-1 - (-58)/6). Solve -2*x = -m - 0 for x.
4
Let m be 3/(-3)*3 + -1. Let l = -2 - m. Solve 2 = -0*b + l*b for b.
1
Let w = -6 + 16. Suppose w*s - 10 = 5*s. Let a = 5 + -5. Solve -l + 3 + s = a for l.
5
Let t be (-5 - -13)*(0 - -1). Suppose 5*z - 23 = n - 3, 5*n = -2*z + t. Solve 5*g = -n*g + 20 for g.
4
Let d(f) = 2*f - 11. Let y be d(6). Let z(p) = 3*p + 1. Let l be z(y). Solve l*g = 27 - 11 for g.
4
Let w = -30 - -33. Solve -w*i = 5 + 1 for i.
-2
Let p be (-9)/(-4) + (-4)/16. Solve -4*s - 8 = -p*s for s.
-4
Let z be 1*((-2)/(-2))/(-1). Let f be 37 - 1*2/z. Suppose -3*c + 4*d + f = 12, d + 13 = 2*c. Solve 5 = c*l - 0*l for l.
1
Let m = -5 + 11. Let q(j) = -j + 6. Let w be q(m). Solve w*h + 3*h + 6 = 0 for h.
-2
Suppose -3*p + 4*z + 5 + 18 = 0, -3*p + 21 = -3*z. Solve -5*q + 5 = -p for q.
2
Let u = 44 + -40. Solve t = -1 - u for t.
-5
Let b(o) = o**3 - 4*o**2 - 2. Let p be b(3). Let f be -14 - p - (-6)/1. Solve q + f = -0 for q.
-3
Suppose -5*m - 2*h + 12 = 2*h, 0 = 4*m - 5*h - 26. Solve m*i + 2 = 6 for i.
1
Let w = -29 - -41. Let q be 6/1*10/w. Solve -q*v = -3*v for v.
0
Let l be 26/8 + 1/(-4). Suppose 3*g = -l*w - 9, 0 = -3*w - 2*g - 4 - 1. Solve 1 + w = d for d.
2
Let h be 11 + -2 - (-1 - 0). Let c(m) be the first derivative of m**4/4 + 5*m**3/3 - m**2/2 - 2*m + 3. Let i be c(-5). Solve h = -2*l - i*l for l.
-2
Let b = -29 - -42. Suppose -z + b - 1 = 0. Solve -5*d + z = -2*d for d.
4
Suppose -6*b = -b. Let j(l) = -l**3 - 14*l**2 - 13*l + 6. Let n be j(-13). Suppose -n = -v - b. Solve z - v = -2 for z.
4
Let l(p) = p**2 - 4*p - 2. Let x be l(5). Suppose -x - 3 = -3*o. Solve -2*c + 0 = -o for c.
1
Let o be 228/20 + 4/(-10). Let p = 9 + o. Suppose 3*w + w = p. Solve -4*y = -w*y for y.
0
Let s = 22 + -17. Let q be -1 + (4 + 0)/(-2). Let g = q - -8. Solve g = s*o - 5 for o.
2
Suppose -4*z + z - 21 = 0. Let b = 7 + z. Solve b = -2*r - 0 - 8 for r.
-4
Suppose a + 3*t = 14, 2*a - 22 = -5*t + 3. Suppose -3*o + 17 = c, -a*c - 6 + 47 = 4*o. Suppose 0 = -o*d - 8 + 28. Solve x + d = 6*x for x.
1
Let g be ((-4)/5)/((-1)/(-5)). Let t = g + 4. Solve t*l = 3*l + 9 for l.
-3
Let p = -12 + 14. Let c be (-2 + p)/(1 - 4). Solve c = 3*d - 2 - 1 for d.
1
Suppose -2*b + b + 5 = 0. Let u be (-123)/(-11) - (30/(-33))/(-5). Solve -u = 4*t + b for t.
-4
Suppose 6 + 14 = 2*r. Let o = r + -7. Solve -o*z + z = 0 for z.
0
Suppose y - 3 = 10. Let o be y + 3/3 + -2. Suppose 5*x - 7*x = -o. Solve -3*z = -z - x for z.
3
Let i be (-4)/6 + 62/3. Let y = -14 + i. Let k(a) = a**3 + 2*a**2 - 4*a + 1. Let z be k(-3). Solve z*n + 2 + y = 0 for n.
-2
Let u(j) = -j**2 + 14*j - 9. Let a be u(13). Suppose -d = 2 - 4. Let h(t) = -t**3 - 2*t**2 - 1. Let p be h(-3). Solve p = -a*c + d*c for c.
-4
Suppose 0 = 2*a - 5*a + 6. Solve 0*o + o = a for o.
2
Let c = 0 - -4. Let t be (-3 - 0)/(9/(-12)). Suppose -c - t = -4*j. Solve j*i + 2*i = 0 for i.
0
Suppose 2 = -3*f - 4*v, 5*f + 6*v = v. Suppose -33 = 3*y - 0*y - d, 0 = f*y - 2*d + 26. Let g be (-17)/(-5) - y/(-25). Solve g*w = w for w.
0
Let f = 5 - 7. Let d(j) = -3*j - 3. Let n be d(f). Solve -8 = n*l - 2 for l.
-2
Let b(g) = 2*g**2 - 3 - 4*g + 42*g**3 - 43*g**3 + 5*g**2 + g. Let q be b(6). Solve -2*w = w + q for w.
-5
Let u = 1 - 1. Suppose u = 3*h - 7*h. Solve -2*s - 2 - 4 = h for s.
-3
Let z be (-236)/20 - (-1)/(-5). Let x = -8 - z. Solve -3*f + x*f + 4 = 0 for f.
-4
Let g(h) = 2*h**3 - 16*h**2 - 19*h + 17. Let s be g(9). Solve -t - s + 4 = 0 for t.
-4
Let f be (-15)/(-9) + 4/12. Let w be (-1 + 1 - 0)/1. Let t = 6 + w. Solve -t = -f*y - 0*y for y.
3
Let y be 5/(4 - (5 - 2)). Solve -1 = y*d + 4 for d.
-1
Let q be (-1)/(-6) - (-595)/30. Suppose 15 + q = -5*l. Let x = l + 9. Solve -5*s + x = -18 for s.
4
Suppose -5*o = -21 - 24. Suppose -7*v + 2*v - q + 7 = 0, 3*v - q = o. Solve 3 - 5 = v*p for p.
-1
Suppose -2*i = -7 + 3. Solve -i*m = m for m.
0
Let o be (24/(-16))/((-1)/2). Let d(v) = v**3 + 5*v**2 + 4*v + 1. Let j be d(-4). Let k be j*(-3)/(6/(-4)). Solve 5*t = -o - k for t.
-1
Let c(y) = 3*y**3 - 2*y**2 + y. Let j be c(1). Let f be -2*(3*j)/(-3). Solve f*z - 2 + 10 = 0 for z.
-2
Suppose -n - 8 = n. Let c be (1 - -4) + 3 + -2. Let z = c + n. Solve 0*t + z*t = 0 for t.
0
Suppose -9 - 7 = -2*n + 4*v, 0 = -2*n - v + 26. Solve 0*w + n = 3*w for w.
4
Let m be 1/(-4) + 210/40. Solve -10 = 3*b - m*b for b.
5
Let m(b) = -b + 13. Let r be m(7). Suppose 5*f - 2*f = r. Let a = 7 - f. Solve -7 = a*k + 3 for k.
-2
Suppose -36 = -2*y - y + 3*o, 2*o = -3*y + 16. Solve -2*j + y - 10 = 0 for j.
-1
Let z = -12 - -21. Let r = z - 5. Suppose -q + r = q. Solve 0 = -q*x + 3*x + 5 for x.
-5
Suppose 5 = d + 1. Solve -d*i + 21 - 5 = 0 for i.
4
Let b be (-26)/117 + (-20)/(-9). Solve 0 = b*z - z + 3 for z.
-3
Suppose -2*k + 7*k = 0. Let x = -3 - -13. Suppose h - 10 - x = k. Solve -5*u - 5 + h = 0 for u.
3
Let b be 2*(-2)/(-4)*0. Suppose 0 = g - b*g - 5. Solve 0 = g*h - 6 - 9 for h.
3
Suppose 3*b - 15 = -111. Let f be b/(-24) + (-6)/(-9). Solve -h - f*h - 3 = 0 for h.
-1
Suppose w = -2*w - 2*r + 4, 0 = -5*w + 4*r + 14. Suppose -n - w - 6 = 5*x, -5*x - 4 = 3*n. Let u be ((-6)/2)/(3/x). Solve -2*c - u*c - 8 = 0 for c.
-2
Suppose j - 5*t = -16, 3*j - 1 = 4*t - 5. Let p be 0/(-1) - (3 + -2). Let w be p/((-2)/j - 0). Solve 2*x + w - 6 = 0 for x.
2
Let q be 39/5 - 7/(-35). Solve -3*a = -q*a + 10 for a.
2
Suppose -5*u + 5*c + 85 = 0, 4*u - 2*c = -u + 94. Solve 4*l + l - u = 0 for l.
4
Let i be (-124)/(-21) - (-24)/252. Solve -i = -w - w for w.
3
Suppose 0*g - 3*j - 1 = g, 4*g - 12 = 4*j. Suppose -g*d = -d - 4. Suppose -d*a = 8*q - 3*q - 8, -2*q = -4