3 + r = 0 for k.
-5
Let y = 8 + -10. Let c be 1 - (4 + -1 + y). Solve c = -n + 3*n - 8 for n.
4
Suppose -4*i + t + 16 = -2, 2 = -t. Suppose z - i + 2 = 0. Solve 3 = -z*a - 1 for a.
-2
Let z = 26 - 21. Solve -15 = -z*h + 2*h for h.
5
Let l be (-3 + -2)*2/(-5). Solve -p = l*p for p.
0
Let f = -8 + 7. Let h be (3/(-6))/(f/24). Solve -5*u + h - 2 = 0 for u.
2
Let f(n) = -4*n - 17 + 7 + 0*n + 2*n. Let w be f(-8). Solve -h + w = h for h.
3
Suppose -4*v + 8 = 3*c, -3*c + 2*v + 8 + 6 = 0. Solve 3 = -c*r - 9 for r.
-3
Suppose -2*u + 4*g + 0*g = -14, -2*u + 4 = g. Suppose -w - u*w = -12. Solve 0 = p + w*p + 12 for p.
-3
Suppose 0 = -i + 1 + 4. Solve i*l + 0 + 20 = 0 for l.
-4
Suppose -4*p = -2*l + 14, 0*l + 7 = 3*l + p. Solve 2*w - 10 = -l*w for w.
2
Suppose 1 = d + 5*h, 0 = 6*d - d - 3*h - 5. Suppose 3*x - 14 = d. Suppose -2*s = -4*t + 18, -4*t + x*s + 13 = -2. Solve 0*n = -t*n for n.
0
Suppose 2*s - r = 10, -3*r - 3 - 3 = -2*s. Let b be (-24)/(-10) + s/10. Let p(a) = a - 4. Let k be p(6). Solve -k*q - 5 = b*q for q.
-1
Let f = 21 - 2. Let k(m) = m**2 - 10*m - 8. Let b be k(11). Suppose 0 = 3*n - d + 1, -4*n = n - 2*d + b. Solve 0 = -4*z - f - n for z.
-5
Let l(z) = 5*z - 5 - 3 + 5 + 2. Let m be l(1). Suppose 0 = 2*j - 6 - m. Solve -3*c + 8*c = -j for c.
-1
Let h be -1 + 3/1 + 7. Suppose -3*w + h = -2*w. Solve 1 = 2*n + w for n.
-4
Let q(v) = 10*v**3 - 2*v**2 + 1. Let b be q(1). Let f be -3 - -4 - b/(-3). Solve -2*n + 2 = -f*n for n.
-1
Suppose -4*o = o + 45. Let m = o - -13. Solve 0*g + 2*g + m = 0 for g.
-2
Let j be (6/(-54))/((-2)/(-6))*-12. Solve 13 = j*v + 1 for v.
3
Suppose 0 = -0*u - 2*u + 3*u. Solve u = -h - 0*h for h.
0
Suppose 0*l + 3 = -3*l. Suppose 0 = 4*p + 4 - 24. Let h = p + l. Solve 0 = -8*j + h*j - 8 for j.
-2
Let b(h) = -5*h - 11. Let d be b(-4). Solve 25 = d*s - 4*s for s.
5
Suppose -f - 19 = t, 2*t + 80 = -4*f - 0*f. Let c = -34 - f. Let m = 18 + c. Solve -6*q + q - m = 0 for q.
-1
Let d(t) = -t**3 + 4*t**2 + 2*t - 5. Let h be d(4). Let b = 97 - 95. Solve b = -f - h for f.
-5
Let i be (-3 - 3/(-2))*-6. Suppose -60 = 2*z + 3*z. Let k be i/z - (-7)/4. Solve 4*q + k = 9 for q.
2
Let r(a) = -a**2 + 7*a - 9. Let x be r(6). Let m be (2 + 10/x)*-3. Solve -5*y - 3 = -m*y for y.
-3
Let a(s) = -3*s + 6. Let y be a(-3). Solve 4*u + y = u for u.
-5
Let c(l) = 2*l**3 + 2*l**2 + 3*l - 3. Let z be c(2). Suppose -k + 3*n - n + 2 = 0, 3*k + n = z. Let m = 2 + k. Solve 4*i = -i + m for i.
2
Let y be -8 - (2 - (2 + 3)). Let n be (-3)/((15/2)/y). Solve 0 = n*z - 0*z for z.
0
Suppose -w = -2*r + 1 - 3, 2 = 4*r + w. Solve 2*n - n - 2 = r for n.
2
Suppose 2*s + 1 = 5. Let x(v) = v**2 + 3*v - 4. Let t be x(-4). Let k = t + s. Solve -7*u + k*u = -5 for u.
1
Let c(l) = -l**3 + 2*l**2 + l. Let i be c(-1). Let y(r) = -r**3 + 8*r**2 - 11*r - 2. Let p be y(6). Solve -i*a = -6*a + p for a.
1
Let c be (-2)/(-12) - 23/(-6). Suppose -f + 10 = c. Solve v - 15 = f*v for v.
-3
Let l = -5 + 5. Let y = l - -4. Suppose -w + y = -6. Solve 0 = -d - d + w for d.
5
Let b = -12 - -21. Let k = 11 - 7. Suppose 0 = -k*w + b - 1. Solve 0 = w*f - 0*f for f.
0
Suppose 0 = 4*b + 5 - 29. Solve 0 = 4*v - b - 6 for v.
3
Suppose 13*v - 11*v = 2. Solve 2*r = 1 + v for r.
1
Let a = 150 + -148. Solve -a*p = -3 - 5 for p.
4
Suppose 2*d + 3*o = 8, 2*o = -0 - 8. Let n(p) = p**2 - 3*p + 2. Let q be n(4). Solve q*a = a - d for a.
-2
Suppose 4 = 3*u - 2. Suppose -k + 12 = u*k. Let w be (-4)/(-6) - k/(-3). Solve w*z = -2*z for z.
0
Suppose -c = 3*o + 2*o - 5, 0 = -c - 5. Suppose 4*p - 25 = -3*g - 9, -21 = -5*p - 4*g. Solve 0 = q + p - o for q.
1
Suppose n + 2 = 0, -6*r + r = -2*n + 16. Let a = 6 + r. Solve -5 = a*i - 13 for i.
4
Let w(d) = -d**2 + 6*d + 3. Let o(a) = a + 1. Let z be o(5). Let b be w(z). Solve 0 = -b*t + 3 for t.
1
Suppose 2*v + v - 15 = 0. Solve v*g - 9 = 2*g for g.
3
Let b be -10*1*7/(-14). Let u(c) = 2*c**3 + 2*c - 1. Let r be u(1). Suppose 2*f - 24 - 11 = l, -r*f + 5*l + 70 = 0. Solve 0*y - b*y = f for y.
-3
Let p be 6/(-4)*(-20)/6. Suppose 5*x - 5 + 0 = -5*l, 2*l - p = -5*x. Solve 5*f - 14 = x for f.
3
Suppose 3*j + 29 = z, -2*j - 41 = 2*j + z. Let k = j - -14. Suppose 0*q + k*q = 0. Solve q = 2*d - 2 + 8 for d.
-3
Suppose 4*x - 6 = -2*q, -3*q + 2*x + 0*x = -9. Solve -z = -q*z for z.
0
Let j be 2/((-6)/(-141)) + -3. Let b = j - 24. Solve -o - 4*o = b for o.
-4
Suppose 0 = 5*f - 15 - 0, -2*f + 48 = 3*k. Solve -15*n = -k*n - 2 for n.
2
Let r be ((-7)/(-2) - 0) + (-15)/10. Solve r = 2*a - 3*a for a.
-2
Let l(t) = 7*t**2 - 13*t + 1. Let x(s) = 4*s**2 - 7*s. Let n(f) = -3*l(f) + 5*x(f). Let z be n(3). Suppose z = 8*p - 3*p. Solve q + 3*q + 4 = p for q.
-1
Let a be 6/(-7)*14/(-4). Suppose -4*i + a + 1 = 0. Solve 2*g = -5 + i for g.
-2
Let v be (-1 - (-4)/8)*-4. Suppose 3*o = -v*s + 1 + 23, 2*o = 3*s - 10. Solve 0*i = -2*i + s for i.
3
Suppose 0 = 5*y + 16 - 111. Let j = -14 + y. Solve 0 = -z - 0 - j for z.
-5
Let z be 2/11 + (-48)/22. Let f be (-70)/(-2) + (-3 - z). Let q be 1/(-4) - f/(-8). Solve -q*t - 3 + 11 = 0 for t.
2
Let l(f) = 2*f**2 - 15*f - 3. Let t be l(8). Solve -3*r = 2*r - t for r.
1
Suppose -184 = -4*r + 4*w, -4*r - 5*w - 48 + 187 = 0. Let i = r - 59. Let a be ((-42)/i)/(1/3). Solve -15 = -a*q + 4*q for q.
5
Let u(a) = -a**2 - 4*a - 3. Let k be u(-3). Let t = k + 3. Solve -x = t*x for x.
0
Suppose 5 = 3*i + 2. Solve -i - 1 = b for b.
-2
Suppose 7*t = 18 + 10. Solve t*z = -0*z - 4 for z.
-1
Let x(p) = -p - 1. Let m be x(-4). Solve 3 + 3 = m*r for r.
2
Suppose 2*i = -2 + 10. Let z(d) = d**2 - 4*d + 2. Let s be z(3). Let b = i - s. Solve 3*t + 4 = b*t for t.
2
Let s = 39 - 36. Solve -s*o - 10 + 4 = 0 for o.
-2
Let g(j) = j - 2. Let d be g(5). Suppose -d*i = -0*i - 3*z - 24, 0 = 4*i + 4*z. Suppose -h + x = h - 24, -i*x + 24 = 2*h. Solve -3*w - w = -h for w.
3
Suppose -8 - 12 = -4*j. Suppose j*p = 3 + 2. Let u be (-2 + 1)/(4/(-28)). Solve -2*g + u = -p for g.
4
Suppose 3*t - 90 = -9. Let v = t - 7. Solve -4*a - v = -0*a for a.
-5
Suppose 0 = -n - 2*q - q + 11, 4*n + 2*q = 24. Solve n = 2*u - 3*u for u.
-5
Let b be ((-34)/8)/((-6)/24). Suppose 57 = 4*m + b. Let g be 16/m*(-45)/(-18). Solve g*f - 9 = -1 for f.
2
Let w be 10/(-2) - -3 - -6. Solve w*n + n = -25 for n.
-5
Let i = 2 + 1. Let g(s) = -s + 4. Let d be g(-2). Suppose d*q = i*q. Solve q = 5*f - 2*f + 3 for f.
-1
Let i be 115/(-15) + (-1)/3. Let a be (-190)/(-15) - (-2)/(-3). Let g = a + i. Solve 2*j = g*j for j.
0
Let k(y) = y**3 + 6*y**2 - 15*y + 8. Let m be k(-8). Solve m*j - j = 2 for j.
-2
Suppose -3*v + 19 + 1 = 4*s, -4*s = -5*v + 12. Solve -s = -q - 0*q for q.
2
Suppose 0 = -5*c - 4*p + 16, 2*c + 5*p - 20 = -c. Solve c = 3*v - 5 - 1 for v.
2
Let s be (-3)/12 - (-27)/12. Solve b = s*b + 4 for b.
-4
Let w = -11 - -11. Suppose w = 3*z - 7 + 1. Suppose 0 = 5*k - 5 - 10. Solve 5 = -z*p - k for p.
-4
Suppose -14*m + 20 = -4*m. Solve 3*w + 8 - m = 0 for w.
-2
Let o(n) be the first derivative of -n**2 + 2 + 5/3*n**3 - 1/4*n**4 - 4*n. Let y be o(4). Solve -6*m + 2*m = y for m.
-1
Let k(g) = g**2 - 10*g + 7. Let u be k(9). Let l be u/4*(-2 + 2). Let c(d) = -7*d - 2. Let p be c(-2). Solve l - p = 3*o for o.
-4
Suppose -5*m = 3*l + 35, 6*l + 5*m = l - 45. Let z = 5 - l. Solve z - 25 = 3*q for q.
-5
Let g = -2 - -3. Let f = -11 - -1. Let r be ((-15)/10)/(g/f). Solve r = 4*q + q for q.
3
Suppose -b = -6*b + 35. Solve -b = 3*m + 5 for m.
-4
Let t be 18 + -11 - 6/2. Solve -t*g = 16 - 0 for g.
-4
Let o(q) = -q + 19. Let w be o(15). Solve 0*z - z = w for z.
-4
Let o(g) = -g**3 - 16*g**2 + 34*g - 36. Let z be o(-18). Solve z*f + 3*f - 9 = 0 for f.
3
Suppose 2*n - 5 - 3 = 0. Solve -n*r - 2 = -6 for r.
1
Suppose -6*j + j + c = -8, 0 = -4*j + 3*c + 13. Let u(z) = -z + 2. Suppose -2*r + 0*f = 4*f + 24, 5*r + 35 = -5*f. Let x be u(r). Solve -3*s + x = j for s.
1
Let y(r) = r**3 + 2*r**2 - 1. Let s be y(1). Let h(m) = m**2 - 8*m - 1. Let v be h(8). Let j = -1 - v. Solve -4*f + 6*f - s = j for f.
1
Let c = -5 - -7. Let z be ((-10)/c)/(0 - 1). Suppose 7*j = -q + 2*j - 3, q - 3*j - z = 0. Solve q*r = 3 + 7 for r.
5
Suppose -5*l + 2*l + 23 = o, 0 = 5*o - 10. Let f = -16 + l. Let r = f - -11. Solve -r*s + 4*s = 6 for s.
3
Let q = 5 - 0. Solve 0 = -q*y - 2 - 3 for y.
-1
Let w = 0 - 0. Let i(l) = l**2 + 11. Let n be i(w). Suppose -3*q + 