 r = 11 + q. Solve 0 = k - r + 2 for k.
2
Let f be (-7 - -4)/((-6)/8). Solve s - f = 2*s for s.
-4
Suppose w + 2 - 6 = 0. Suppose -4*t - t + 25 = 0. Suppose 3*h = -f + t*f + 20, 0 = 2*f + w. Solve -j - h = j for j.
-2
Let x(u) = -u + 8. Let s be x(6). Let v = 11 + -6. Let n be (v + -5)*(0 + -1). Solve n*l = -s*l for l.
0
Let z be 1/1 + 1 + 0. Let t be 1*(0 - 2) - -6. Suppose -z*n + 11 = 3*d + 1, t*n - d - 6 = 0. Solve -q = -0*q - n for q.
2
Let k = 3 - 1. Let l(t) = t**2 + 2*t + 2. Let h be (-2 - (2 + 0)) + 1. Let s be l(h). Solve -k*y + s*y + 6 = 0 for y.
-2
Let l = 1 - -3. Suppose x = -l*k + 9 + 15, -3*k = -4*x - 18. Solve -d + 1 = k for d.
-5
Let o(h) = h**2 + 12*h + 12. Let n be o(-12). Suppose 3*t + 7 = 4*t. Let q = n - t. Solve -4*c + q*c = -3 for c.
-3
Let n(o) = -o**3 + 8*o**2 + 10*o - 9. Let f be n(9). Suppose i = 2*i. Let m = i - f. Solve l + m = -2 for l.
-2
Let l = -12 + 7. Let j = l - -9. Solve -3 = -j*c + 1 for c.
1
Let g = 2 - 0. Let m(h) = h**3 + 9*h**2 - 11*h - 7. Let j be m(-10). Suppose 0 = -2*n + 3*n - 4. Solve j*o - n*o + g = 0 for o.
2
Let g(r) = -5*r + 16. Let k be g(3). Solve k + 1 = -2*w for w.
-1
Suppose 4*j + 3*z + 1 = 4, 0 = 3*j - 5*z - 24. Let t(w) = -2*w - 2. Let a be t(-6). Solve j*n = n - a for n.
-5
Let d(p) = -6 + 7*p - p**3 + 2*p**2 + 0*p**2 + 3*p**2. Let h be d(6). Let x(t) = 3*t - 3. Let q be x(3). Solve 0 = -3*m - q - h for m.
-2
Let j = 3 - 2. Let v be (2 + (-1 - j))/2. Suppose b + v*b = 12. Solve 5*m + 3 = -b for m.
-3
Suppose 9 + 7 = -4*f. Let d be (-666)/(-33) - f/(-22). Suppose 20 = -4*x, -n + 0*x + 3*x = -19. Solve -c - d = n*c for c.
-4
Let c be 22/(-6) + 1/(-3). Let l be c/(((-2)/1)/1). Suppose 0 = -b - 5*k + 24, -11 + 31 = 3*b + 2*k. Solve b = -f + l*f for f.
4
Let a(u) = -u**3 + 11*u**2 + 14*u - 11. Let x be a(12). Solve 5*r = 28 - x for r.
3
Let q(s) = -s**3 + 2*s**2 - s - 2. Let h be q(-1). Solve -7 = h*v + 1 for v.
-4
Suppose -5*p + 4 = -3*o - 6, 35 = 3*p + 4*o. Solve -10 = -p*m - 0*m for m.
2
Suppose 38 = 3*h + 11. Suppose -27 = -3*x - h. Suppose 0 = -4*m + 5*j, -5*m + 4*j = x*j - 33. Solve m*g + 17 = -3 for g.
-4
Suppose 4*y + 4 = 6*y. Let u(q) = -3 + 7 - y + 2*q**2 - 1. Let o be u(1). Solve -c + o = -4*c for c.
-1
Let n be (-6)/10 - 141/15. Let p = n - -12. Solve 0*a - 6 = p*a for a.
-3
Let h(d) = 3*d - 1. Let v be (6/5)/(6/20). Suppose 0 = -3*x + v*g + 18, 0*g + 17 = 4*x - 3*g. Let n be h(x). Solve c - n = 2*c for c.
-5
Suppose 2 - 8 = 2*s. Let f = 5 - 11. Let i = s - f. Solve 0 = -3*w + i + 6 for w.
3
Suppose 4*p = -q + 13, -4*q = -8*p + 5*p - 14. Suppose 3*k - 20 = -2*k. Suppose 2*d - k = d. Solve p*u = d*u - 10 for u.
5
Let t(i) = i**2 - 3*i + 2. Let x be t(2). Suppose x = -5*n + n. Solve 2*s + 0*s + 6 = n for s.
-3
Suppose 3*o = 3*q - 2 + 14, -o + 4 = q. Solve o = d + 3 for d.
1
Let f = 9 - 0. Let z(x) be the first derivative of -x**2/2 + 11*x + 4. Let r be z(f). Solve o = r + 3 for o.
5
Let l(p) be the first derivative of -p**4/4 + 2*p**3 - 3*p**2/2 - 6*p + 5. Let h be l(5). Solve 7*d + 9 = h*d for d.
-3
Suppose 36 = -t + 5*t. Let s(d) = -3*d - 3. Let b = 0 - 2. Let k be s(b). Solve -k = 3*z - t for z.
2
Let r = -20 - -40. Suppose h = -3*h + 20, -5*z - h = -r. Solve z*s - 2*s = 0 for s.
0
Suppose 3*d + u - 6 = 4*u, 4*d = u + 8. Solve 6 = -2*h - d for h.
-4
Suppose -3*d + l = -l - 5, -4*l = 5*d - 23. Let w = -7 + 5. Let v = 4 + w. Solve -4 - v = d*i for i.
-2
Let q = 11 + -19. Let j be (-86)/4*q/4. Suppose 14 = 4*h + 2*x - 16, -j = -5*h + 3*x. Solve h = -7*a + 3*a for a.
-2
Suppose 7*m = 3*m + 20. Suppose 4*n = 21 - m. Solve h = n*h - 12 for h.
4
Suppose -80 = -i - i. Suppose 3*b = -2*b + i. Solve -5*o - 15 = -b*o for o.
5
Let c(s) = 2*s - 4. Let q be c(3). Solve t + 1 = q*t for t.
1
Let y = -12 + 17. Let t(d) = 3*d**2. Let i be t(1). Suppose -i*h + y = -2*h. Solve f - 12 = h*f for f.
-3
Let a(p) = p**3 + 2*p**2 - p + 2. Let z be a(-2). Solve -z - 5 = 3*h for h.
-3
Let s(q) = q**2 - 10*q + 4. Let u be s(10). Solve 4*t + u = 8 for t.
1
Let c be (-36)/20*10/(-3). Solve 0 = c*u - u - 15 for u.
3
Let b be -6*1/((-3)/8). Solve n + b = 5*n for n.
4
Suppose 0 = 4*g + s - 11, g - 15 = -4*g - s. Suppose -2*q - 2 = -m, -g*m + 4*q = -q - 8. Suppose 3*x = m*x + 12. Solve -2*t - t = x for t.
-4
Let b = -3 - -18. Let p be (-2)/10 - (-63)/b. Suppose 0*l = 3*l. Solve -c + p - 3 = l for c.
1
Let w(a) = -2*a - 7 + 3*a + 12. Let j be w(0). Solve 15 = 5*i - j for i.
4
Suppose 2 = 3*t - 4. Let a = 143 + -143. Solve a + 6 = t*g for g.
3
Let a = 12 - 0. Solve 5*r = r - a for r.
-3
Let l(p) = p**2 - 3*p - 22. Let b be l(-4). Solve 0 = 5*i - 3*i + b for i.
-3
Let q = -4 - -8. Suppose q*o - 2*o = 0. Solve o = -3*l + l for l.
0
Let l = 2 - -2. Suppose s = 3*m - 2*s - 33, -m - 4*s - l = 0. Solve 0 = 4*y - 0*y - m for y.
2
Suppose 0 = 4*t - 2*h - 2, 4*t - t - h = 1. Suppose t = 2*n - 5*n. Suppose -4*m + 5*m - 4 = n. Solve 11 + 9 = m*i for i.
5
Let p be (-1)/(-1) - (-2 + 0). Solve 0 = 3*a - 4*a + p for a.
3
Let h = -7 - -11. Let i(l) = -l**3 - l**2 - l + 2. Let b be i(-2). Let a = 1 + b. Solve a*r = h*r for r.
0
Let k = 16 - 11. Suppose -z = k*m + z - 11, -4*z - 20 = -4*m. Solve -4*o + o + m = 0 for o.
1
Let h(f) = f**3 - 4*f**2 - 2*f + 5. Suppose 0 = -2*x + 6, 4*u - 3*x = x + 4. Let d be h(u). Let z be d/(-2) - 1/(-2). Solve a - z - 3 = 0 for a.
5
Suppose 4*r - 4*h = -2*h, 8 = 2*r - 5*h. Let i = r - -3. Let j be ((-1)/(-2))/((-6)/(-36)). Solve i*s + j = -s for s.
-1
Suppose 5 + 4 = 3*g. Let v(k) = k**3 - 5 - 3*k + g*k**2 + 3 - 2*k**2. Let r be v(-2). Solve 2*p = -r*p - 10 for p.
-5
Suppose 14 = 2*g + 5*w - 10, -4*w = -8. Let m = g + -5. Suppose -q - 8 = -3*q, -3*r + 5*q = 8. Solve -m*x + 0 = r for x.
-2
Let x be (-2)/13 - (-28)/13. Solve -5*s + x + 3 = 0 for s.
1
Suppose -4*f + 3*f = -10. Let h(a) = a**2 - 10*a + 1. Let r be h(f). Solve g = -0*g - r for g.
-1
Let a = 6 - 4. Suppose 2*y = -t - 3*t + a, -2*t - 19 = -3*y. Solve -y = d - 2*d for d.
5
Let h be (-4)/(-14) + (-132)/(-28). Suppose 9 = -4*s + h*f, -3*s + 0*f - 13 = -5*f. Solve 3 = s*r - r for r.
1
Let t(z) be the first derivative of 3*z**3 - z**2/2 + 2. Let b be t(1). Solve -5*l = 2 + b for l.
-2
Let j be 6 - 7 - (-4 - -1). Solve -j*b + 6*b - 16 = 0 for b.
4
Let f = 36 - 33. Suppose -3*x + 25 = 2*x. Solve -x*c + f = 28 for c.
-5
Suppose -k = -2, -4*o + k + 20 = -k. Let j = 8 - 6. Let b = -1 - -1. Solve o*l - j*l = b for l.
0
Let w = -6 - -6. Let f(v) = v + 8. Let c be f(-8). Suppose -3*j - 2*j + 15 = c. Solve -2*d + j*d = w for d.
0
Let n = 0 + 0. Let k be 2/(-7) + (-74)/(-14). Suppose -6 = -k*t + 4. Solve n = t*l - 0*l for l.
0
Let y(w) be the first derivative of w**3/3 + 7*w**2/2 + 9*w + 1. Let i be y(-6). Solve -i*f = -f for f.
0
Let w(z) = -2*z**2 + 7*z + 4. Let h be w(4). Suppose -8 = -2*m - 2*m. Solve h = -6*g + m*g for g.
0
Suppose -32 = -l - 3*u, -4*l + 3*l + 4*u + 11 = 0. Suppose -5*o = 4*h - l, 4*o - 16 = 2*o - 5*h. Solve -16 = 7*y - o*y for y.
-4
Let j = -43 - -43. Solve -4 = o - j for o.
-4
Let l(b) = b**2 + 6*b - 5. Let j be l(-7). Solve -2*h + 20 = j*h for h.
5
Suppose -2*x - 31 = -3*p + 3*x, 4*x - 20 = -4*p. Suppose d = -4*t - 1 + p, d = t + 1. Suppose 2*l = -3*j - 9, -4*j = d*l + 1 + 11. Solve -4*a + 8 + l = 0 for a.
2
Suppose f = 5*f - 8. Suppose f*q - 6 = 5*q. Let j be (2 - -3 - q) + 1. Solve -3*x = x + j for x.
-2
Let v be 1 - ((-8)/(-28) + 32/(-14)). Solve v*l = -1 - 5 for l.
-2
Let k be -4 - 42/(-7)*(-2 + 5). Solve 4*a - 2 + k = 0 for a.
-3
Suppose -3*s - 18 = -18. Solve -2*y = -s + 2 for y.
-1
Suppose -35*y + 36*y = 7. Solve y + 1 = -4*c for c.
-2
Let d(x) be the first derivative of -x**3/3 + 3*x**2 + 5*x + 1. Let y be d(4). Let w(r) = -9*r - 50. Let a be w(-6). Solve y = a*u - 7 for u.
5
Let i = 7 + -3. Suppose i*k - 25 = -2*l + 3, 5*k - l - 21 = 0. Suppose 4*b = 5*u + 9*b + k, 4*b + 8 = -3*u. Solve 5*g - 4 = u*g for g.
4
Let p(u) = -u - 1. Let s be p(-4). Solve 0 = -s*r - 2*r for r.
0
Let n(x) = -5*x + 2*x + 9*x - x**2 + 3 - 5. Let f be n(5). Let w(v) = v**3 + v**2 + v + 4. Let h be w(0). Solve -f*l + h = -l for l.
2
Let u be (-2)/(-10)*3*15. Suppose -18 = -5*i + 5*v - 3, 4*i + u = -3*v. Let f(b) = -b + 5. Let s be f(i). Solve 5*h = -s + 25 for h.
4
Let l = 120 + -118. Solve -b + 2 = -l*b for b.
-2
Let v(z) = -16*z. Suppose -2*