et w be 2 + (a/(-2))/(-1). Suppose -t - t = w. Solve -2*m + 0*m = t for m.
0
Let h = -6 - -10. Solve -3*i = -11 - h for i.
5
Let h be ((-26)/39)/(2/(-15)). Solve 0 = -2*r + h*r + 15 for r.
-5
Let t(s) = -s**3 + s - 2. Suppose 0 = 3*g + 2*g + 4*a + 22, a + 13 = -5*g. Let c be t(g). Solve v - c*v = 3 for v.
-1
Let j be (-6*2)/((-18)/(-12)). Let s be j/(-10)*(-10)/(-4). Solve s*k - 3 = 5 for k.
4
Suppose -3*w + 6*w + 20 = -4*k, 0 = -2*k + 4*w + 12. Let t be (k - -1 - -4) + -3. Solve t = -u + 2 - 6 for u.
-4
Let s = 53 + -53. Solve 4*o - o = s for o.
0
Let v(m) = 8*m + 7. Let l(h) = -4*h - 4. Let y(q) = -5*l(q) - 3*v(q). Let d be y(-2). Solve d = -3*a - 2 for a.
-3
Suppose -5*l + 41 + 19 = 0. Let p be (-11)/(-3) - l/18. Solve -8*u = -p*u for u.
0
Let h(b) = b**2 + 26*b - 65. Let u be h(3). Let k be 2 - 0 - (-1)/1. Let w be (-1*k)/((-3)/4). Solve 6 = -w*x + u for x.
4
Let z(h) = h + 12. Let r be z(16). Suppose -4*n + r = 4*u, n + 2*u - 6 = 2. Solve n*q = q for q.
0
Suppose 0 = s + 2*s - 6. Let r be 0/((-9)/3) + -1. Let p be (4 - (0 + r)) + -1. Solve p*q + 10 = s for q.
-2
Let m = 14 + -3. Solve 0 = -m*w + 6*w + 25 for w.
5
Let m(c) = c**3 + c**2 - 2*c + 1. Let r be m(1). Let v(g) = -g**2 - g + 3. Let z be v(3). Let w be (-4)/(-18) - (-2)/z. Solve -f - r = -w for f.
-1
Let i = 3 + -3. Let y be i - 4*(-1)/2. Suppose r = y*r. Solve r = -3*l + 8*l for l.
0
Let a = 14 + -8. Suppose 3*r - 2*f = 12, -4*f - a = 2*r + 2. Solve -12 = r*x - 6*x for x.
3
Let l(r) = r**2 + 11*r + 4. Let x be l(-11). Solve 6*q - x = 2*q for q.
1
Suppose -n - 4*n = 0. Suppose 0 = -m - n*m + 1. Let d = m + 1. Solve 0 = -h + d*h for h.
0
Let d(f) be the second derivative of 0 + 13/6*f**3 + 2*f + 0*f**2. Let v be d(2). Solve v = 5*c + 6 for c.
4
Suppose 0 = -2*g + 4*k + 8, -2*g + 2*k = -3*k - 12. Let b = g - -8. Suppose b*d = 5 + 11. Solve q + d*q = 0 for q.
0
Let y be (3 - 1) + 0/4. Let s = 10 - 8. Suppose c = 5*n + 4*c - 9, 5*c = -3*n - 1. Solve n*t = s*t + y for t.
2
Suppose 4*y - 4*n - 24 = 0, n + 3*n = y - 15. Solve 0 + 6 = y*x for x.
2
Let g(m) = m + 13. Let b be g(-10). Suppose -2*n - 9 = 3*d, 4*n - b*d - 2*d = 15. Solve n = 2*w - 2 for w.
1
Suppose -5*r = 5*o - 50, -25 = -4*o - 5. Suppose r*i - 20 = 5*t, -3*t - 17 = -5*i + i. Solve i*x - 20 = x for x.
5
Let d be (-6)/(-4)*(-8)/(-6). Let v be d/1 - (-5 - -2). Let w = v - 3. Solve 2*r - 8 + w = 0 for r.
3
Let t = 0 + -2. Let g be (1 + t)/((-3)/9). Let z be 0 - (0 - -1 - 1). Solve -5*j + 7 + g = z for j.
2
Let j = 21 - 19. Suppose m = 2*z - 3, -4*m + 3*z = -j*z. Solve m = 2*f - 5 for f.
5
Let a = 12 + -5. Let s(z) = z**3 - 7*z**2 + 2*z - 9. Let d be s(a). Let r be -1 + (1 + d)*1. Solve -l - 16 = -r*l for l.
4
Let r(u) be the first derivative of u**2/2 + 7*u + 1. Let q be r(-6). Suppose q = -5*v + 16. Solve -5*b + v = -4*b for b.
3
Let v be 51/2 - (-4)/8. Suppose -3*p - p = 5*q - v, 4*p - 2*q - 12 = 0. Solve 0 = 2*i - p - 0 for i.
2
Let b(x) = -x**2 + 11*x - 8. Suppose 0*r - r = -10. Let k be b(r). Solve -a = a - k for a.
1
Let h(c) = -c**2 - 4*c - 3. Let b be h(-2). Solve -b - 5 = -3*a for a.
2
Let p(d) = 7*d + 1. Let q be p(2). Suppose 0 = 5*l - 2*l - q. Suppose 4*v = -4*u - 12, v = 2*u + l + 4. Solve 3*z + v = 13 for z.
4
Let d = 0 + -4. Let h = 4 + d. Solve h = 3*z + 6 + 3 for z.
-3
Let u = -18 - -34. Suppose 5*g = -4*d + u, -3*g - 3*d + d = -8. Solve -i + 1 = -g for i.
1
Suppose -h = -6*r + 10*r - 19, -r - 18 = -3*h. Solve 2*n - h = 1 for n.
4
Let r = 18 - 13. Suppose 0 = r*s - 4*s. Solve 2 = 2*j - s*j for j.
1
Suppose 3*j - 23 = -3*k - 2*k, 9 = -3*j + 3*k. Let i be 0 + 0 + j + 1. Solve -3 = -h + i*h for h.
-3
Let u be ((-39)/9)/(2/(-6)). Let v = 22 - u. Let g = v - 4. Solve 0 = 3*l - g - 1 for l.
2
Suppose -4*b + 19 = -1. Solve 0 = -3*x + 2 - b for x.
-1
Suppose i + 0*z + z - 5 = 0, -z = -2*i + 16. Suppose 12*s - 7*s - 75 = 0. Solve -i*f + 2*f = -s for f.
3
Let v = 26 + -10. Solve 3*r - v = -4 for r.
4
Let m(d) = -d + 11. Let x be m(8). Suppose -3*t = 5*j + 14, 0*j + 3*t = -3*j - 12. Let f = j + x. Solve f*y + 25 = 7*y for y.
5
Suppose d - 5*d = 0. Solve -2*q - q - 12 = d for q.
-4
Let t(c) = -c**3 + 4*c**2 - c + 2. Let p be t(4). Let l be (p - 8/(-2)) + -2. Solve l = u - 3*u - 2 for u.
-1
Suppose 0 = 3*d - 5*a - 38, a = -5*d + 56 + 26. Let f = 9 + -21. Let g be (-80)/f + (-2)/(-6). Solve -g*p + 3*p = -d for p.
4
Suppose -6 = 2*r - 3*j, 0 = -j - 3 + 5. Suppose 2*q + 0*q = 94. Suppose v + 3*s - 1 = 0, -s - q = -3*v + s. Solve 2*z - v + 5 = r for z.
4
Suppose -5*o = l - 0*l + 74, -5*o - 3*l - 72 = 0. Let z be 6/o - (-81)/15. Solve p = z*p for p.
0
Let a = -6 + 11. Suppose a*w = -2*l - 7, 0*w + 3 = 3*l + 3*w. Solve u = 3*u - l for u.
2
Let l(f) = -f**3 + 4*f**2 - 4*f + 19. Let o be l(4). Solve -10 = -o*r + 2 for r.
4
Let d = 2 - -1. Suppose d*k + g - 5 = -g, -5*k - 25 = -5*g. Let r be 1*(2 + -1 + k). Solve r = -3*o + 4*o + 5 for o.
-5
Let x = -7 + 22. Solve -x = 5*r - 0*r for r.
-3
Suppose 2*z - 3*z = -15. Suppose 9 - z = -2*s. Solve 5*j = s*j for j.
0
Let y be 16 + 4*(-2)/4. Let n = 23 - y. Solve n = w - 4*w for w.
-3
Suppose 3*l - 4*l = 4*o + 10, -2*l - 2*o = 2. Solve -y - l*y = 12 for y.
-4
Suppose -4*a - 7 = -11, 0 = 5*l - a - 14. Solve 4*v = l*v + 4 for v.
4
Suppose 4 = 4*k - 8*k. Let q be (0/3)/(2/k). Solve -b - b - 8 = q for b.
-4
Suppose -6*t - 5*t = 0. Solve t = -4*s + s + 9 for s.
3
Suppose 3*j = -3*a + 3, -5*a = -3*j - 2 + 21. Solve j*c = -c + 20 for c.
5
Suppose 0 = -3*i - 3*u + 42, 5*i + 2*u - 52 = i. Solve i = 3*q + 3 for q.
3
Let v be 42/4*6/(-3). Let a = -13 - v. Solve -a = 3*w - 2 for w.
-2
Suppose -5*m = -2*a, -2*a = 3*a + 2*m. Solve a + 8 = -4*p for p.
-2
Let w(t) be the first derivative of 3*t**4/2 - 2*t**3/3 + t - 2. Let k be w(1). Solve k + 11 = -4*n for n.
-4
Let u be (0 + 0)/(-2 + 4). Let a(c) be the third derivative of c**6/120 + 2*c**5/15 + c**4/24 + 11*c**3/6 - 4*c**2. Let d be a(-8). Solve 2*q + d*q = u for q.
0
Let x be -3 + -2 - 4/(-1). Let c = x + 5. Solve -c*j = j for j.
0
Let z be -2 - -3 - (-4 - -20). Let m = z - -25. Solve 0*f = 5*f + m for f.
-2
Let a = 34 - 20. Solve -5*o + 1 = -a for o.
3
Suppose 2*r - 2*b - 23 = b, -r - 1 = b. Solve -r*k = k for k.
0
Let p be (-9)/(-6)*(-24)/(-9). Suppose -5*h = -p*t - 12, -t + h - 4*h + 14 = 0. Solve -t*m + m = 1 for m.
-1
Suppose -15 = -5*x, 5*x = 4*l - 3*l + 13. Let t be (10/(-3))/((-8)/12). Suppose -3*m - 12 = -6*m, -t*u = -5*m + 10. Solve -4 = -u*a - l for a.
1
Let o be 5*(2 - 12/5). Let b be (-7)/(-1) + o + 0. Suppose -b*i = -4 - 1. Solve -2*f - i + 5 = 0 for f.
2
Let v(n) = n**3 - 11*n**2 + 13*n - 8. Let m be v(10). Solve 0 = -3*x + 7 - m for x.
-5
Suppose 0 = 5*f - 5*y - 45, -f - 2*f - 1 = 4*y. Solve 0*q + 5*q + f = 0 for q.
-1
Let r(s) = -s + 13. Let q be r(12). Solve 0 = -5*x + q - 6 for x.
-1
Suppose 0 = 5*r - 20 - 10. Let y = -29 + 25. Let q = y + r. Solve 2 + 2 = -q*g for g.
-2
Suppose 5 = 2*a + 3*l, 0 = -0*a + 2*a - 2*l - 10. Suppose 3*k - 2 = a. Let j = -2 - -3. Solve -v + k = j for v.
1
Suppose -2*u + 22 = 16. Solve -u*j + 2 = -4 for j.
2
Let x be 3/(-4 + 0 - -5). Solve 0 = -0*y - x*y for y.
0
Let g(j) = -j**3 - 7*j**2 - 8*j + 6. Let v be g(-5). Let z be 3/1 - (v + 7). Solve z = 3*b + 2*b - 20 for b.
4
Let t = -4 - -6. Suppose 3*f + 2*g = 15, -t*f - g + 6 = -f. Solve -4*v - f = -19 for v.
4
Let m(c) = -c + 5. Suppose -3*v - r + 4*r = -6, 5*v - 3*r = 16. Let o be m(v). Solve -b - 3 + o = 0 for b.
-3
Suppose 2*h + 0 = 10. Solve -14 = -3*m - h for m.
3
Suppose 6*y - y = 25. Solve 5*g + 0*g = y for g.
1
Let h be (-9 + 10)/((-9)/(-4) - 2). Solve -22 + 6 = -h*y for y.
4
Suppose p = -0*p + 10. Let j = -7 - -11. Let h be (j/p)/(2/10). Solve 2*d - h = -8 for d.
-3
Suppose -20 = -0*n - 5*n. Let k be 2 + (-4)/(2/1). Let g be k*((2 - 0) + -1). Solve h + n = -g for h.
-4
Suppose -4*u - 5*m + 10 + 23 = 0, 2*m = -4*u + 18. Let w be -2 - (-1 + 2)*-3. Solve -w + 5 = u*s for s.
2
Let q be (-1 + 10)*(4 + 4 + -7). Solve -3*r + 6 = -q for r.
5
Let i be 12/(-30) + (-17)/(-5). Suppose -s + 3 = -6*w + i*w, s + 4*w = -4. Solve c + 1 - 4 = s for c.
3
Suppose -25 = 3*g - 5*i, 0 = 3*g - 4*g - 2*i + 10. Solve 2*j - 8 = -g*j for j.
4
Suppose -12 = -5*z + 2*r, -5*z = 3*r + 3 - 10. Suppose -6 = -c - m, 0 = -2*c + 2*m + z*m - 6. Suppose 5*g = -c*j, -g - 4*g = -j. So