b = 13 - 11. Solve 3 = 5*g - b for g.
1
Let h(g) = -g + 1. Let u be h(-3). Suppose -3*j = -b - 2, u*j + 3*b = 2*b + 12. Suppose 18 = j*k + k. Solve 3 + k = 3*r for r.
3
Let g(r) = r - 17. Let u be g(17). Solve 2*s + 0*s + 10 = u for s.
-5
Let g be 1 - (3 + -2)/1. Solve g = 5*s - 1 - 14 for s.
3
Let r be (-37)/5 - 4/(-10). Let d = r - -11. Suppose d*f = -f. Solve 5 = -5*m - f for m.
-1
Let q be 1/(-1 - (-6)/5). Let c = 6 - q. Solve -2*t - c = 1 for t.
-1
Suppose 0 = 3*f - 0*f - 9. Solve f*y = y + 10 for y.
5
Suppose 0 = -0*h + 2*h. Solve h = -8*y + 3*y for y.
0
Let r(j) = 5*j**2 + j + 1. Suppose -9 = 5*z - 4. Let h be r(z). Suppose 3*m - h*s = 0, -3*m = -5*m - s + 13. Solve m*l = -11 - 4 for l.
-3
Suppose -4*x - 14 = 4*s + 2, x = -5*s - 4. Suppose s = -4*m - 0*m + 8. Suppose -3*f = -u, m*u - 10 = -4. Solve -3*c + 14 = -f for c.
5
Let u = -11 + 15. Suppose 0 = a - v - 18, -u*v - 70 = -4*a + v. Let n = 35 - a. Solve 2*y + y - n = 0 for y.
5
Suppose m = 5*m - 4*u - 236, 0 = 3*u - 6. Suppose -4*f - w + 2 + m = 0, -5*w + 45 = 2*f. Solve 0 = -6*o + o + f for o.
3
Let k = 7 - 3. Solve 11 + k = -5*h for h.
-3
Suppose 8 = 5*a - 2. Suppose 3*z = z. Solve a*g - 4*g = z for g.
0
Suppose 4*o - o = 6. Suppose 3*g = s + 3, 1 = g - o*g + s. Solve 0*r - g*r = 4 for r.
-2
Suppose -3*n + 1 = -2. Let r be -3 + 6/n + -3. Solve r = 6*q - 3*q for q.
0
Let c = 82 + -57. Solve -5*b = -0*b + c for b.
-5
Suppose 5*w - 2 = -4*l, -4*w + 1 = 2*l + l. Suppose l*o + 2 + 1 = 0, 4*b = -2*o + 10. Solve b*t = -t for t.
0
Suppose -2*q + 4*q - 6 = 0. Suppose -k + q*k = 0. Suppose -4*l - 1 + 13 = k. Solve 6 = l*b - b for b.
3
Suppose 2*v = 3*v - 3. Suppose 22 = -4*j + 2*x, 2*j = -v*x - 0*x + 9. Let s be (7/j)/(2/(-18)). Solve 5*u + s = -4 for u.
-5
Suppose -v - 24 = -5*v. Suppose -5*f - 1 = -v. Solve s = -0*s + f for s.
1
Let k = 40 - 79. Let q = k - -65. Let h be (-8)/(-20) + q/10. Solve -2 = -r - h for r.
-1
Let k be ((-5)/2)/((-13)/26). Suppose k*q = 2*q. Solve 5*a - 2 - 13 = q for a.
3
Let t(k) = -k**2 + k - 1. Let o(q) = -q**3 - 8*q**2 + 9*q - 2. Let s(i) = o(i) - 5*t(i). Let h be s(-4). Let a = h + -1. Solve 2*f = 2 + a for f.
2
Let m(j) = j. Let x be m(1). Let w be 4/(x/(4/1)). Solve w = 4*r - 4 for r.
5
Let a(m) = 2*m**2 + 11*m + 2. Let c be a(-6). Let s(u) = -u**3 + 7*u**2 + 2*u - 4. Let w be s(7). Solve w = -3*q + c*q for q.
2
Let p(f) = -f**2 + 7*f - 10. Let i be p(4). Solve -1 = -s + i*s for s.
-1
Let l = -5 - -3. Let z be (37 - -3)/1 - l. Let x = z + -29. Solve -4 + x = 3*a for a.
3
Let r be 1 + 1 + 5 + -2. Suppose 0*l = 5*l - 5*y + 5, 0 = -r*l - 5*y + 35. Solve -3 = l*k - 2*k for k.
-3
Let x be 5/2*(-3 + 5). Suppose -p - 4 = -2*w, -2*w = -x*p + 6 - 2. Suppose -5*q - w - 10 = 4*g, -3*g = 5*q + 16. Solve 0 = g*r - 2 + 17 for r.
-5
Let k(z) = -2*z - 1. Let l be k(3). Let r = l - -10. Suppose 2*h - 1 = 33. Solve -5*a + r = -h for a.
4
Suppose 2*v = 5*v - 12. Suppose -2*i = -v*p - 10, 4*p = -3*i + 3 + 2. Solve i*l + 4 = -l for l.
-1
Let l(q) = q - 4. Let d be l(6). Solve -d*c + 3*c = 3 for c.
3
Let v be 4 - (1 + 3) - -2. Let n = 3 + -1. Let a = v + n. Solve 0 = -a*g - 0 + 4 for g.
1
Let l(w) = 2*w - 4. Let y be l(3). Let g(c) = -c**2 + 6*c + 5. Let v be g(7). Let i = y - v. Solve -f = i*f - 20 for f.
4
Suppose 0*a - 5*r - 35 = -4*a, a + 2*r = -1. Solve 0 = a*w + 13 + 12 for w.
-5
Suppose -2 = -3*c - s, s + 4 + 0 = 0. Solve c*r + 4 = -0*r for r.
-2
Let t = -5 - -7. Suppose -1 + 9 = t*n. Suppose n = 2*f - 6. Solve f*l - 5 = 4*l for l.
5
Let o be -6 + 7 - (1 - 5). Let k be (-2 + 4 - 1)*2. Suppose 4*v - k*v - 22 = 0. Solve 4*h - v = o for h.
4
Suppose 5*c + 4 = -6. Let m(x) = x**2 + x - 2. Let f be m(c). Suppose -i + 1 = -f. Solve 2 + i = -w for w.
-3
Suppose -2*r + 7*r - 17 = -4*q, -4*q + 11 = -r. Let h(z) = -z - 14. Let m be h(-16). Solve 3*n - m - r = 0 for n.
1
Let i(a) = -3*a + 17. Let r be i(4). Solve 4*x - r = -x for x.
1
Suppose n = y - 2, y - 2 = 7*n - 2*n. Let v be (-2 + 3)/((-1)/2). Let u = v + 5. Solve 0 = -y*a - 1 + u for a.
1
Let x(f) be the third derivative of 0 - f**2 - 1/120*f**6 - 2/3*f**3 - 1/20*f**5 + 0*f - 1/24*f**4. Let k be x(-4). Solve -2*q - 2*q + k = 0 for q.
4
Let o(d) = d**3 - 3*d**2 + 2*d - 1. Let n be o(3). Solve -6*a + n*a - 2 = 0 for a.
-2
Suppose 2 = 2*j - 5*j - 2*c, -2*c = -5*j + 2. Suppose 5*r = h - 13, j*h + r = -h + 1. Solve 0 = -h*v + 2*v for v.
0
Let h(n) be the first derivative of -n**4/4 + n**2/2 + 2*n + 5. Let m = -1 - -1. Let x be h(m). Solve x = 4*g + 14 for g.
-3
Let f be (20/6)/(2/3). Solve 0 = f*h + 8 - 3 for h.
-1
Let k(u) = -u - 5. Let t be k(-10). Let s = 0 + t. Suppose 2*h = -s*d - 19, h + 2*d = -h - 4. Solve -7*q = -h*q for q.
0
Let v(z) = -z**3 - 5*z**2 + 6*z + 6. Let j be v(-6). Solve 2*w - j*w + 20 = 0 for w.
5
Let q(y) = -2*y - 4. Let h be q(-8). Suppose g = -5*r + 7, g + h = 3*r - g. Solve r*z = -3*z - 15 for z.
-3
Let d = -9 - -14. Solve -d*j - 16 = -j for j.
-4
Let t(q) = q**2 - q + 15. Let w be t(0). Suppose -m + 0*m = -4*f + w, -18 = -5*f + 2*m. Solve 13 = f*x - 7 for x.
5
Suppose 23*n = 21*n - 8. Let o(u) = u**3 - 5*u**2 - 2*u + 4. Let a be o(5). Let p = n - a. Solve -p*r - r = -9 for r.
3
Let i = 2 - 1. Suppose 0 = r - 5 - 0. Solve -p + i = r for p.
-4
Let h(o) = -o - 3. Suppose 2*k = 3*k. Let n = -5 + k. Let g be h(n). Solve -a = g*a for a.
0
Let l(x) be the third derivative of x**6/120 + x**5/12 + x**4/6 + x**3/6 - 2*x**2. Let z be l(-4). Suppose z = -o + 2. Solve -2 = u - o for u.
-1
Let c(h) = h**2 + 8*h + 6. Let l be c(-8). Solve -4*w = -l - 6 for w.
3
Suppose y - 8 = 3*y, r + 4 = -y. Let m(j) = -j**3 + 5*j**2 - 4*j + 2. Let s be m(4). Solve 2 = s*v - r for v.
1
Suppose w - 5*t + 17 = -0*w, 5*w - 3 = 3*t. Suppose -y = s, -3*s - 10 = w*y - 5*y. Suppose y*x + z - 2 = 0, -2*x - z - 6 = -4*x. Solve x = -3*h - 4 for h.
-2
Let h = -10 + 5. Let z be (-2)/h + 32/(-80). Solve 0 = 4*x - z*x - 16 for x.
4
Let o(v) = -v + 2. Let x(h) = 2*h - 4. Let w(s) = -5*o(s) - 2*x(s). Let q be w(2). Solve q = i - 0*i + 2 for i.
-2
Suppose 3*o + 5*w - 14 = 0, 4 = 3*w + 1. Suppose -18 = -2*j - 3*p + p, 4*j - o*p = 8. Solve 0 = -j*m - 12 - 8 for m.
-4
Let o(l) = -l**3 - 3*l**2 - l + 2. Let f be o(-2). Suppose -2*i = -30 + 10. Suppose -6*j = -j - i. Solve -j*x - x = f for x.
0
Let j = 0 - -5. Suppose j*y - 25 - 5 = 0. Solve 4*a + 8 = y*a for a.
4
Let g be ((-4)/6)/(2/(-30)). Let p = -74 - -78. Solve -i = p*i + g for i.
-2
Suppose -2*g + 6 = 3*s, -2*g + 12 = -3*s + 2*g. Suppose v + 3*v - n - 10 = s, -4*n = -3*v + 1. Solve 0 = -5*a - 13 + v for a.
-2
Let o be (-5520)/(-456) + (-4)/38. Solve 3*r + r = -o for r.
-3
Let g(c) = 4*c + 5. Let d be g(5). Let t(v) = v**2 - 3*v + 3. Let w be t(3). Suppose -11 = -4*r - w*k, 3*r - 5 - 1 = -3*k. Solve r - d = 4*m for m.
-5
Let m = -3 + 6. Suppose 0 = 4*u - 11 + 3. Let q be u/(-4) - 7/(-14). Solve q*l - 12 = -m*l for l.
4
Let n be (-608)/24 - (-2)/6. Let i = n - -25. Solve i = -5*t + 15 + 10 for t.
5
Let k = -8 - -8. Suppose -d - d = k. Let a = d + 4. Solve p + 0*p = -a for p.
-4
Let w be (2 - 0)/(-2)*0. Suppose w*n = -2*n. Let r be -3 - -1 - (-2 - -1 - 1). Solve 2*u + 2 + n = r for u.
-1
Let z be 0 + ((-4)/10)/(9/(-45)). Solve 0*f + 8 = z*f for f.
4
Let o(d) = -d**3 - 10*d**2 - 10*d - 4. Let z be o(-9). Solve -z*h + 0*h = 0 for h.
0
Let f(g) = -g**2 - 2*g + 1. Let k be f(-4). Let y = 6 + k. Let p be -2*(y - 2 - -2). Solve -3 - 1 = -p*l for l.
2
Let v(o) = -11*o**2 + 1. Let r be v(1). Let b be 9/15 + (-44)/r. Solve -a = 4*a + b for a.
-1
Suppose 0 = -5*g - 5 + 10. Suppose 3 + g = 2*z. Suppose -5*o + 0*o = z*f - 16, 3*f - 15 = -3*o. Solve -y + 1 = f for y.
-2
Suppose -5*c - 1 + 16 = 0. Suppose 8 = c*r - 7. Solve -15 = -r*w + 10 for w.
5
Let k be (-3)/(((-3)/(-5))/(-1)). Let h(b) = -b**2 + 4*b. Let q be h(3). Suppose -2*c + k*c + 4*g = -q, -3*g = 5*c - 6. Solve -c*m + 9 + 3 = 0 for m.
4
Suppose -r - 3 + 9 = 0. Let j be (-9)/(r*(-4)/32). Solve -5*n = 3 + j for n.
-3
Let u(z) be the third derivative of -z**5/60 - 3*z**4/8 + 11*z**3/6 - 3*z**2. Let p(h) = h - 3. Let w be p(-7). Let t be u(w). Solve l + 4 = t for l.
-3
Let r be (2 + (-2 - 0))/(2 + -4). Let j(q) = -q**2 + 7*q + 10. Let o be j(8). Solve 4*g - o*g - 10 = r for g.
5
Suppose -k = 2*k - 5*x - 4, 0 = -x + 4. Let o = 10 + -7. Solve d = -o*d - k 