Let v be 1/(-3) - r/(-6). Solve 0 = v*u - 5 for u.
1
Let z(m) = m**3 + m**2 + m. Let i be z(0). Solve 0*h + h - 2 = i for h.
2
Suppose 2*w - 44 = 5*i - 0*w, i + 2*w = -16. Let z be (-1 - -2)/((-2)/i). Suppose 2*x - z*x + 9 = 0. Solve x*q - 6 = q for q.
3
Suppose 7 = -c + 7*i - 3*i, c - 14 = -3*i. Solve q + c = 1 for q.
-4
Let v(f) = 2*f**2 - 32*f. Let m be v(16). Let y = 6 + -11. Let c = y - -7. Solve m*r + 2*r = -c for r.
-1
Let a(n) = n + 12. Let y be a(-9). Solve 2*b + y*b = 0 for b.
0
Let a = 47 - 47. Solve 6*z - z = a for z.
0
Suppose r + 0 - 2 = n, 0 = -r + 4*n - 4. Solve -4*v + 12 = r for v.
2
Suppose -2*p + 7*p + 30 = 0. Let t be -3 + p/(-1) - -1. Solve 0*o - t*o - 16 = 0 for o.
-4
Suppose -3*p + 2*y + 18 = 0, 0 = y - 4 + 7. Solve 0*l + p = -l for l.
-4
Let b be 36/27*(-3)/2. Let q be b/(6/(-9)) - -1. Solve q = -j - 0*j for j.
-4
Suppose -t + 102 = -0*t. Suppose 0 = -3*z + h + t, -5*z - 74 + 244 = 2*h. Let c = z - 22. Solve -c = -p - 2*p for p.
4
Let q(w) = w**3 + w - 6. Let r be q(0). Let z = -4 - r. Solve z - 18 = -4*m for m.
4
Let w(i) = -i**2 + 6*i - 3. Let g be w(4). Let u be (2 - 42/(-15))*g. Suppose -p = 3*p - u. Solve 2*f = p*f + 8 for f.
-2
Suppose g = -4*g - 5, s + 4*g = -7. Let k(u) = -u + 4. Let t be k(s). Solve -5*x - t - 18 = 0 for x.
-5
Let j be -2*(2 + -7 + 4). Solve -2*d = j*d + 16 for d.
-4
Let w(x) = x**3 + x**2 - x + 2. Let i be w(-2). Solve i = -2*z - 3 + 5 for z.
1
Let i be -3 - (-1*15)/5. Solve z + i*z = 3 for z.
3
Suppose -5*l + 35 = 3*u, -2*u + l = 2*u - 85. Solve y + 3*y = -u for y.
-5
Let z be (-4)/(-28)*41 + (-1)/(-7). Solve t - z*t = -10 for t.
2
Let z(t) = -t**3 - 10*t**2 + 10*t - 8. Let p be z(-11). Suppose 0 = -4*s + 3*d + 19, -2*d + 36 = p*s + 3*d. Let a = -1 + s. Solve -a*x = -x + 10 for x.
-2
Suppose t = s, 0*t - s = -2*t. Suppose 2*x - 5*x = 0. Solve x*u - 5*u + 15 = t for u.
3
Suppose 3*q = q - 4*f + 26, 4*q = -3*f + 32. Suppose -q*i = -2*i - 27. Solve 5*j - 16 = i for j.
5
Let m = 4 + 1. Suppose -6 = -4*b - 0*b + x, 6 = -3*x. Let s = -1 + b. Solve d + m = -s*d for d.
-5
Suppose 4*n = -16, -2*c + 0 = -2*n - 10. Suppose 4*i - 2*i - 6 = 0. Suppose 0 = 3*l - l - 2, -2*l - 4 = -3*h. Solve h*j = -c + i for j.
1
Let n = 8 - 6. Suppose -n*w + 20 = 2*w. Solve w*u = 4 - 19 for u.
-3
Let a be 1*(2 + 1 + -16). Let r(n) = -n - 10. Let t be r(a). Solve -9 = t*o - 0 for o.
-3
Let l be (-3)/(-15) + (-48)/(-10). Suppose 4*k = -2*c + 4, 2*c = 2*k - 5*k + l. Let z = 6 + k. Solve -b + 12 = -z*b for b.
-3
Let d = -52 + 59. Solve -3 = 2*k + d for k.
-5
Let l = -76 + 76. Solve -4 = -l*i - i for i.
4
Let z(g) = -g**2 + 6*g + 14. Let n be z(7). Solve -n*k + 3*k + 20 = 0 for k.
5
Let f = -9 - -19. Suppose -5*d = -f*d. Solve d = -5*l + 3*l for l.
0
Let i = -13 - -18. Suppose -36 = i*c - 8*c. Solve -2*b - b = c for b.
-4
Let j be -10*1/(-1 + -1). Suppose -j*b + 3 + 17 = 0. Suppose 0 = b*f - 2*w - 34, -8 = -3*f - w + 5. Solve z = f*z for z.
0
Let n = 196 + -194. Suppose 12 = 6*i - 2*i. Suppose -i*j + 4 = -8. Solve -n*r + r + j = 0 for r.
4
Suppose 0*o - 3*x + 1 = 4*o, -o + 24 = -4*x. Suppose h + 3*f = 14, -6*h + o*h + 7 = -f. Solve -1 = h*k + 9 for k.
-2
Let h = 14 - 9. Suppose 1 = -2*p + h. Solve -6*l = -p*l + 12 for l.
-3
Let h(z) = -z**3 + 8*z**2 - 5*z - 8. Let j be h(7). Let u(c) = j*c - 4*c + 2*c + c**2. Let v be u(-4). Solve 0 = -v*b + b - 1 for b.
1
Let t(k) = -k**3 + 2*k**2 + 4*k. Let l be t(3). Suppose 12 = 3*g - l. Solve 5 = 2*v - g for v.
5
Suppose 3 + 3 = 3*r. Suppose r = 5*u - 8, 3*y - 49 = -5*u. Solve 1 = -3*b + y for b.
4
Suppose 4 = 6*l - 2*l. Let y be (19/(-1))/((-1)/l). Solve -3*r = -4 + y for r.
-5
Let k = 7 - 5. Let r be ((-4)/(-10))/(6/30). Solve r*s + 20 = -k*s for s.
-5
Suppose 2*s = 5*b - 11, 5*b - 4*s + 4 = 11. Suppose 52 = 2*p - 0*p. Suppose -5*a - 1 = -p. Solve 0 = -b*o - a - 1 for o.
-2
Suppose 7 + 2 = j. Suppose -4*p = -3*x + 11, 3*x = -0*x - 2*p + 17. Let a = j - x. Solve 2*g + a - 2 = 0 for g.
-1
Suppose 5*x - 9 = 4*x. Suppose -x = -f + 9. Suppose -5*c = d + d + 21, f = 4*d - 2*c. Solve 2 = -i - d for i.
-4
Suppose -2*z - x = -3, -5*z + 2*x = -1 - 11. Solve 3 = -y - z*y for y.
-1
Suppose -4*n - n - 5 = 0. Let r = 1 + n. Let p(h) = 4*h. Let x be p(1). Solve r*g - 12 = -x*g for g.
3
Let l = 0 + 0. Let t(s) = s + 7. Let d be t(-9). Let x be (d/(-6))/((-4)/(-24)). Solve l*v = x*v + 4 for v.
-2
Let q be 2*((-42)/(-4) - -2). Suppose 0 = -4*v - 1 + q. Suppose 2*n = -n + v. Solve n*p = p + 1 for p.
1
Suppose 2 = 2*y - 4. Suppose -4 - 56 = -y*h. Let z be (3/2)/(2/4). Solve -z*o - o - h = 0 for o.
-5
Let l = -11 + 21. Suppose 0 = 2*s - l - 8. Solve -6*r = -3*r - s for r.
3
Let b(l) = -24*l**3 + l**2 + l + 1. Let o be b(-1). Suppose 37 - 100 = -3*r. Suppose 0 = -d + 4*j + 22, 2*j = 2*d + 7*j + r. Solve -3*i - d*i = -o for i.
5
Suppose 4*c = 4*u - 20, 2*u + 6 = -2*c - 0*c. Let i(n) = 4*n**3 + 6*n**2 - 5*n**2 + n + 1 - 3*n. Let r be i(u). Solve 2*v - r*v = 2 for v.
-1
Let a(i) = -i**2 + 4*i + 7. Let h be a(5). Let w(k) = -k**3 + 5*k + 2. Let y be w(-3). Suppose 4*g - y = -h. Solve -g*c + 2*c - 4 = 0 for c.
-4
Let z be (0 + 0)*16/(-48). Suppose -6*c + c + 25 = 0. Solve z = -3*u + 10 + c for u.
5
Let j be 0 - (-1 - -3 - 4). Solve 5*o + 3 = -j for o.
-1
Let f = 2 - 2. Suppose f = -0*b + 4*b - 40. Solve g = 3*g + b for g.
-5
Let v be 12 - 1/(0 - -1). Suppose 3*n - v = -5*p, -5*n - p = -9 - 2. Solve n*l - 2 = 6 for l.
4
Let p be 4/((-12)/(-3) + -2). Suppose -4*r + q + 15 = 0, -r - p*r + 5*q = 10. Let v(o) = -o + 4. Let z be v(4). Solve -2*x - r - 3 = z for x.
-4
Suppose 0 = -o + 2*r - 0*r - 10, o = -4*r + 20. Solve o*n = n - 3 for n.
3
Let o(i) = 2*i. Let m be o(2). Let s be (m/(-10))/(4/(-40)). Suppose 3*g + 3 = s*g. Solve 20 = g*a + a for a.
5
Suppose x = 1, 0*b + 36 = 5*b + x. Solve 5 = -g + b for g.
2
Let g(b) = -b - 3. Let j be g(-3). Suppose -4*i = -p + 5, -4*i - 7*p + 25 = -2*p. Solve i*l - 3*l - 3 = j for l.
-1
Let c be (-66)/(9/(-12)*2). Suppose -5*s + 0*s = -4*o - 52, 4*s - 4*o - c = 0. Solve -s*z - 5 = -3*z for z.
-1
Let c be (-4 + 5)/(2/2). Let d(k) = 5*k**2 + 2*k**3 - 3*k**2 - 1 - k**2 + k. Let o be d(c). Solve a + 2*a = o for a.
1
Suppose 12 = -2*s + 4*h, -3*s + 5*h - 12 = h. Let a(o) be the second derivative of o**5/20 + o**4/6 - o**3/3 - o. Let q be a(-2). Solve s*l - q*l = -8 for l.
2
Let i(t) = t**2 - 18*t + 19. Let z be i(17). Let v be (-18)/(-8) + 2/(-8). Let l = z + v. Solve -h + l + 0 = 0 for h.
4
Let p(x) = x - 7. Let w be p(11). Let t = -4 + w. Solve t = -2*d - 0*d for d.
0
Suppose -2*n + y - 2*y + 25 = 0, 3*y = 2*n - 29. Let f = 13 - n. Solve 3*l + 5 - 2 = f for l.
-1
Let f(m) = 2*m - 17. Let h be f(10). Solve -2 = -h*o + 1 for o.
1
Let z be (-1 - (-18)/3) + -2. Suppose -2*w - 2*u = -6, 4*w = 5*w - 3*u - z. Solve -3*q - 6 = w for q.
-3
Suppose 2 = 3*h + 2*r, -2 = r - 0. Solve h*l - 8 = -2*l for l.
2
Let f(d) = -d. Let a(c) = 10*c - 19. Let g(k) = 15*k - 28. Let t(q) = 7*a(q) - 5*g(q). Let l(j) = -6*f(j) + t(j). Let b be l(-5). Solve -3*v - b*v = 0 for v.
0
Suppose 3*x + x = 12. Suppose 0 = -j + x*j + 3*r, -5*j + 4*r = 0. Solve j*d = -2*d - 8 for d.
-4
Let z(j) = -2*j - 18. Let q be z(-9). Solve q = 2*c + c for c.
0
Suppose m - 10 = -0*y - y, 2*y - 3*m = -5. Solve y*s - 2*s - 12 = 0 for s.
4
Suppose 3*f = 50 + 13. Suppose 0 = 5*t - 4*v - f, -v - 2*v = t + 11. Solve -3 = -y + t for y.
4
Let q = -6 + 13. Solve -5*d + 10 = -q*d for d.
-5
Let t = 134 + -132. Solve -2 - 8 = -t*v for v.
5
Let c(i) = -i + 3. Let u be c(0). Solve -n = -4*n - u for n.
-1
Let w(q) = q**3 - 8*q**2 - 7*q + 8. Let a be w(7). Let x be 18/(-99) - a/11. Solve -2*j + 0 = x for j.
-4
Let w(v) = 2*v - 1. Let i be w(-1). Let g be (1 + -2)*1*i. Let k = g + 1. Solve 2*l - 4 = k*l for l.
-2
Let t(b) = -b**2 - 2*b - 7. Let q(d) = d**2 + 3*d + 6. Let f(o) = -5*q(o) - 4*t(o). Let v be f(-6). Let s = 0 - -3. Solve -s*j = -v*j for j.
0
Let r = -290 - -158. Let l = 192 + r. Suppose -l = -7*c + 2*c. Solve 3*z = 3 + c for z.
5
Let m = 12 - 0. Let o be (50/(-40))/((-1)/4). Solve 0 = -2*n + o*n - m for n.
4
Let b = -2 + 7. Suppose 9 = -l + b*j, -l + 3*j = 3*l - 49. Solve -3*c = c - l for c.
4
Suppose -75 = -3*r - 63. Solve 5*x + 1 = -r for x.
-1
Let u(y) = -2*y**2 - 4*y**2 - 3 + 8*y + 5*y**2. Suppose 18 = -5*q + 53. Let l be u(q). Sol