*s + 6*s. Solve 5*v - s - 4 = 0 for v.
4
Suppose 0 = -2*r - r. Let t = r - -5. Suppose 4*l = 4*f, 5*f = -t*l - 0*l. Solve l = -u - u for u.
0
Suppose -4*l = -2*f + 36, -f + 0*l = 2*l - 18. Solve -4*o + 2 = -f for o.
5
Let m = -3 + -3. Let x be (15 + 0)*2/5. Let k = x + m. Solve k = 3*r + r for r.
0
Let w be (4 - (-22)/(-6))*3. Solve 3*i - 5 = w for i.
2
Let n be 3/(((-6)/(-10))/1). Solve n*i = i - 8 for i.
-2
Suppose -d - w + 0 = -2, -d - 2*w + 4 = 0. Solve d = -2*r - 2*r for r.
0
Let a be (-2)/(-10) + (-5)/25. Suppose 0*j - 4*v - 6 = 2*j, 2*j - 5*v - 30 = a. Solve 0 = j*g - 6*g + 3 for g.
3
Let p(l) = l**2 - 2*l. Let d be p(3). Solve -6 - 6 = -d*q for q.
4
Let m = -11 + 4. Let t(w) = -w**2 - 6*w + 9. Let a be t(m). Solve -a*u = -5*u + 6 for u.
2
Suppose -5 = 5*r - 20. Let m be 3/(-12) + 29/4. Let c = m - r. Solve -5*o = -o + c for o.
-1
Suppose 0*x - 2*x = 0. Let w = 4 - x. Let j = w - 1. Solve 3*a = -12 - j for a.
-5
Suppose 2*l + l = 21. Solve -5*h - 18 = l for h.
-5
Let s be 2 - (-6)/(-4)*12/18. Solve 3 = -v - s for v.
-4
Let o(q) = 8*q**3 + q - 1. Let i be o(1). Solve 2 = 3*n + i for n.
-2
Suppose 2*l - 4*l = 2*c - 6, 2*c - 12 = -5*l. Let k = c + 1. Suppose 2*z - 3 = z - 3*f, -5*f = -k*z - 5. Solve z - 4 = -2*s for s.
2
Suppose 48 = -t + 50. Solve 0 = -t*r + 6 for r.
3
Suppose 3*b + 19 + 3 = 2*p, -3*p + 27 = -3*b. Suppose -p*v + 3*g = -0*g - 35, -4*g - 28 = -2*v. Suppose v*q - 15 = q. Solve 16 = -m + q*m for m.
4
Let x be 108/90*(-5)/(-2). Solve -2*s = -x*s + 4 for s.
4
Let c be 3/(-27)*-3 + (-35)/(-21). Solve h = 3*h - c for h.
1
Suppose -5*j + 25 = 5*q, -2*j + 3*j = 5*q - 1. Suppose 6 = y + q. Solve -5*l + 0 = -y for l.
1
Suppose -4*p + 55 = -5. Let j be 104/20 + (-3)/p. Solve -4*z + 2 = -j*z for z.
-2
Let c(s) = -3*s**3. Let v be c(-1). Let d = v + -2. Solve d = 2*r - 3 for r.
2
Suppose -3*q - 9 = -4*q. Let b be (-4)/6 + 33/q. Suppose b = u + 1. Solve u*j + 20 = -2*j for j.
-5
Suppose -6*a + 25 = -a. Suppose 0 = -4*d - 4*f - 16 + 40, -3*f + 15 = 2*d. Solve a*c + d + 22 = 0 for c.
-5
Let w(s) = 4*s**3 + 7*s**2 - 6*s + 5. Let a(p) = p**3 + 1. Let c(n) = -5*a(n) + w(n). Let d be c(6). Let o = d - -2. Solve -3*q + 2*q = -o for q.
2
Let i(w) be the third derivative of -w**4/24 - 6*w**2. Let x be i(-2). Solve -2*s - x*s = 16 for s.
-4
Let c = 12 - -3. Let d = -16 - -31. Suppose d = 2*s - c. Solve 5*k + 5 - s = 0 for k.
2
Suppose -40*s = -42*s + 30. Solve z = -4*z - s for z.
-3
Let d = -10 + -2. Let k = d - -12. Solve k = -4*i + i - 12 for i.
-4
Let y = -1 + 1. Let c = 23 + -13. Suppose 2*r = -3*o + c, -o - 2*r + 3 = -r. Solve 5*j - o*j + 1 = y for j.
-1
Suppose 5*p = -5*s + 39 + 46, -3*s = -2*p - 66. Solve 6*w - w = -s for w.
-4
Suppose o - h + 8 = 0, -3*o - 4 = -0*o + 2*h. Let y be (-11)/(-3) + o/6. Suppose y - 1 = p. Solve 3 = -p*i - 7 for i.
-5
Let t(b) = -b**2 + 8*b + 4. Let g be t(8). Suppose 3*y = -u + 15, -y + 5 + 0 = -g*u. Suppose -3 = 4*f + 5*s + y, 2 = 2*f + s. Solve -f + 1 = r for r.
-2
Let u = 0 - -3. Suppose -y + 2*y - 5*b + 20 = 0, -u*y = -3*b. Let h(q) = -q**3 - 4*q**2 + 4*q - 5. Let j be h(-5). Solve j = -y*d + 8 - 23 for d.
-3
Suppose 21 - 1 = 5*l. Solve 2*n = -l*n + 30 for n.
5
Suppose -8 = 4*f - 80. Let n be 3/12 - f/8. Let g be n/3*(-15)/2. Solve 0*i = g*i - 10 for i.
2
Suppose 3*t = -h + 13, 30 = 4*t - 0*t - 5*h. Let n = 8 - t. Let x = -6 + 11. Solve 0 = 2*i - x + n for i.
1
Let q = -2 + 80. Suppose 4*h + 12 = 0, -5*p - h + q = -14. Solve -p = -4*g - 7 for g.
3
Let j = -2 - 2. Let w = 0 - j. Suppose p = -4*k - 18, -15 = 5*p + k + w*k. Solve 0 = p*y + y + 9 for y.
-3
Let n(d) = d**3 + 4*d**2 - d - 5. Let k be n(-4). Let b be (k - -2) + 2/(-2). Solve -4*q = -b*q - 16 for q.
4
Let s be (-28)/(-7) - (1 + -2). Suppose -3*d - 2 = r - 3, s*d - 3*r = 25. Solve q = -7 + d for q.
-5
Suppose -5 + 8 = m. Solve -3 = m*o - 6 for o.
1
Let x be (-3)/(-5) - (-7)/5. Suppose -2*l + 10 - x = 0. Solve 0 = 3*s - s + l for s.
-2
Suppose -2*q + 0*q = 0. Suppose 3 - 1 = z. Solve q - 4 = z*t for t.
-2
Suppose -4*y - k + 23 = 0, 0 = -4*y + 2*k + 3*k + 5. Solve 0 = -d - y + 4 for d.
-1
Suppose 0 = -4*f + 7 + 1. Let l(k) = k**3 + 9*k - 9 - 5*k**2 - 2*k**f - k**2. Let x be l(7). Solve x*v = -4 - 1 for v.
-1
Let d be -6 - ((-4 - -2) + 2). Let z = 4 + d. Let y = 2 + z. Solve y = 7*u - 3*u for u.
0
Let s(q) = q**2 + 26. Let j be s(0). Suppose -4*a = f + a - j, 2*f + 13 = 3*a. Let r = f + 1. Solve r*i - 10 = -0*i for i.
5
Let x(g) = -g**3 - 5*g**2 - 5*g + 3. Let c be x(-4). Solve y - 3 = -c for y.
-4
Suppose 2*f + 20 = -4*i, i + 2*f = 4*i + 8. Let c = 14 + i. Solve -c = -0*y - 2*y for y.
5
Suppose -5 + 0 = -p, -2*g - 5*p = -29. Solve -g*q + 1 = 7 for q.
-3
Let a be (-46)/(-11) + (-12)/66. Suppose b - 31 = -a*j, -5*j + 2*b - 5*b = -30. Solve 2*p - j = -p for p.
3
Suppose -3 = -3*b - 0. Suppose -3*a - 279 + 288 = 0. Let h(f) = f**2 - 5*f. Let l be h(5). Solve -4*w + b + a = l for w.
1
Suppose 5*r = -2*t - 0*r + 34, 5*t - r = 31. Solve -3*z - 4 = -t*z for z.
1
Let q(r) = -2*r - 2. Let z be q(-2). Solve z*k + 16 = 6 for k.
-5
Let u(q) = -2*q - 2. Let z be u(2). Let k be (-260)/z - 4/(-6). Suppose -n - 3*n = -k. Solve -5*i = -1 + n for i.
-2
Suppose -m + 5*m = -j + 22, 5*j - 5*m - 10 = 0. Suppose 40 + j = a. Let n be (-2)/(-8) + a/8. Solve v - 4 + n = 0 for v.
-2
Let q(v) = -v**2 + 9*v. Let s be q(9). Let a = s - -11. Solve a + 14 = 5*i for i.
5
Suppose -3*w = w. Let n(q) = q**3 - 7*q**2 + 3*q - 9. Let t be n(7). Let v = t + -7. Solve -5*s + w*s + v = 0 for s.
1
Let b(p) = 9*p + 5 - p**3 - 2*p**2 + 0*p**3 - 6*p**2. Let r be b(-9). Let d(x) = 5*x**2 + 2*x + 1. Let h be d(-1). Solve -h = t - r*t for t.
1
Let u(o) = -o**3 + 4*o**2 + o - 4. Let p be u(3). Solve 0*z - p = -2*z for z.
4
Let l = 26 - 23. Solve 0*r = l*r - 15 for r.
5
Let o(d) = d + 3. Let y be o(6). Solve 2*w = -11 + y for w.
-1
Let s(o) = -o**2 - o + 2. Let w be s(0). Solve 14 = -4*n + w for n.
-3
Suppose p - 3*g - 10 = 0, 2*p + 4*g - 8 = -2*p. Let n be 15/9 + (-6)/9. Suppose n = -u - 4*z - 0, 5*z = 5*u - 20. Solve c + p = -u*c for c.
-1
Let h(l) = -l**3 - l**2 + l - 1. Let o be h(0). Let z = -1 - o. Solve i - 4*i - 15 = z for i.
-5
Suppose 20 = -10*u + 40. Solve u*y - y + 5 = 0 for y.
-5
Suppose -4*i + v - 11 = 0, -12 + 5 = -2*i + 3*v. Let c be ((-4)/(-3))/(i/(-6)). Let k be (-17)/(-3) - (-2)/6. Solve 0*q = c*q - k for q.
3
Suppose 3*z - 20 = -2*z. Suppose -2*o - 34 = -5*m, -32 = z*o + m + 36. Let f = o - -25. Solve -j = 3*j + f for j.
-2
Let q(j) = -j - 11. Let z be q(-5). Let g be (1 + 0)/((-2)/z). Suppose -15 = -5*l + 4*i, -2*l - i = -0*i - 19. Solve -l*r = -g*r - 20 for r.
5
Let a = 24 + -34. Let i be (-4)/a - 4/10. Let x = 2 - i. Solve 10 - 4 = -x*n for n.
-3
Let r(u) = 7*u - 12. Let f be r(2). Solve -2*h - f + 0 = 0 for h.
-1
Suppose -10 = -2*b - 2*f + 4, 5 = -5*f. Suppose 4*u = 2 + 22. Let i = b - u. Solve -o = -i*o + 4 for o.
4
Let d = 8 + -3. Let i be (-6)/d - 3/(-15). Let m be -1 + i - 0 - -2. Solve m = -5*r + 2 - 7 for r.
-1
Suppose -4*h + 0*h - 16 = 0. Let i = h + 6. Let n = 3 - 3. Solve n = -j - j + i for j.
1
Suppose -3*j = j - 40. Let t = j - 8. Solve -t*z = 18 - 8 for z.
-5
Let m = -1 - -3. Let r(d) = d - 8. Let k be r(9). Solve k = -m*o + o for o.
-1
Let w be 44/(-77) + -2*(-27)/21. Suppose 5*u + 4*n = 23, -u - 3 = -4*u + 3*n. Solve 5 = w*c - u*c for c.
-5
Let v be 6*((-15)/6 - -3). Let k be (0 - -1) + 0 + -1. Solve -v*m = -k*m - 3 for m.
1
Let i = -30 + 19. Let w = 16 + i. Solve -3 + w = -2*a for a.
-1
Suppose -2 = 3*i + u, -4*u - 23 = -5*i + 2*i. Let q(j) = j - 8. Let s be q(9). Let g = i - s. Solve t = -g*t for t.
0
Suppose -3*a = 3*a. Solve a = -f - f + 2 for f.
1
Suppose 2*d - 1 = 19. Suppose 4*p - d = 3*t, -2*t + 3*p - 5 = 3. Solve 0 = -i - t + 4 for i.
2
Let f be ((27/12)/(-3))/(4/(-32)). Solve -f*b = -5*b for b.
0
Let i = 157 + -150. Solve 0 = -i*w + 3*w for w.
0
Let c = 7 - 3. Let x(w) = w**3 + 5*w**2 + 4*w. Let z be x(-3). Let k be (z/(-4) - -2)*6. Solve -7*t = -c*t + k for t.
-1
Suppose 2*u = 3*x - 6, -2*u = u + 5*x - 10. Solve 2*r + u*r = 0 for r.
0
Let y(u) = u**2 - 2. Let p be (-4)/14 - 60/35. Let m be (-3 - -1)/(3 + p). Let h be y(m). Solve 0 = -h*i + i for i.
0
Suppose c - 3*c - 4*r = 18, c - 6 = r. Suppose -5*x - 4*u = -23 - 10, -x + 2*u = -c. Solve 3*b - x -