 - 4 = 1 for u.
-1
Let m(k) = 3*k. Let z be m(2). Let v(r) = r**3 - 10*r**2 + 9*r + 3. Suppose -2*n = -g + 5, 3*n = 2*g - 7*g + 51. Let p be v(g). Solve z*t = p*t for t.
0
Suppose -5*c + 10*c = 0. Solve 4*x + 3 + 5 = c for x.
-2
Let v be 12/(-14)*(-182)/39. Solve 0 = i - 0 - v for i.
4
Suppose -3*r - 4*c + 14 = 0, -4*r - c - 2*c + 14 = 0. Solve 4 = -4*s + r*s for s.
-2
Let z be 3/(-6) - (220/8)/(-11). Solve 0 = -7*r + z*r + 10 for r.
2
Let t(j) = -3*j**3 + 2*j**2 + 2*j + 1. Let o be t(-1). Let a(h) = 4*h - 2 + 0*h**2 + 2*h**2 + 5 - 2. Let y be a(-3). Solve y*l = o*l - 15 for l.
-5
Suppose 2*r - 8 + 2 = 0. Suppose -5*a - 13 + 35 = 2*l, r*l + 13 = 4*a. Solve a*k = -23 + 3 for k.
-5
Let u be 3/2*56/42. Suppose 3*c = u*c + 1, 2*l - 4*c - 8 = 0. Solve -l*j = -j for j.
0
Suppose -9 = -2*y + 3*m, 4*m - 3*m = -4*y - 3. Let z(h) = h - 4. Let o be z(-14). Let r = o + 20. Solve r*w = -y*w - 6 for w.
-3
Suppose b + 0 - 8 = 0. Solve -2*x = -0*x + b for x.
-4
Let c be (-1)/(-2)*-2 - 1. Let s(r) = r + 3. Let o be s(c). Solve 4 = f + o for f.
3
Let j = -7 - -9. Suppose j*m - 1 = 3. Suppose -3*v = -3*a + 9, 5*v + 9 = -2*a + 5*a. Solve 1 = -a*i - m for i.
-1
Suppose -3 = -2*l + 5. Let g be (l + -8)*(-2 - -1). Solve 0 = 3*n - g*n - 2 for n.
-2
Let s(c) = c**3 - 4*c**2 - 3. Let f(i) = 2*i**3 - 8*i**2 - 5. Let r(j) = 3*f(j) - 5*s(j). Let g be r(4). Solve -2*q + g*q = 0 for q.
0
Let a(r) = -r + 9. Let n be a(-6). Solve -7*o - n = -2*o for o.
-3
Let v(w) = w**3 + 10*w**2 + 10*w + 13. Let l be v(-9). Suppose -2*m - l*d = -4*m, -4*m - 4*d = -12. Solve -x - x = -m for x.
1
Let a be (8 + 1)/(1 - 0). Solve -1 = -5*s + a for s.
2
Let n be ((-8)/(-6))/(3/9). Suppose -4*x + 173 - 33 = 0. Suppose 4*f = -5*q + x, -2*q = -f + 1 - 2. Solve 3*l - f = n for l.
3
Let c be 3/6 + 1/(-2). Suppose l + 0*l = c. Solve l = -g - 1 - 1 for g.
-2
Let p(w) = 3*w**2 + 4*w + 2. Let d be p(-2). Solve -3*g - 6 = -d*g for g.
2
Let w(s) = s**3 + 10*s**2 - 2*s - 8. Let y be w(-10). Let v be (y/8)/((-2)/(-4)). Solve 2 = -v*z + z for z.
-1
Let j = 4 - 4. Suppose -l + j = -2. Solve -2*w = l*w for w.
0
Let j = -107 - -107. Solve j = x - 2*x - 3 for x.
-3
Let h be (1 - -2)*(-6)/(-18). Let t be 3/h*(9 + -8). Solve 3*q + 0 = -t for q.
-1
Suppose 0*m = -m + 23. Let i = m + -3. Suppose 0 = -3*n - 5*t + i, -3*n + 5*t = 2*t + 12. Solve 0 = -n*z - 3*z for z.
0
Let n(y) = y**2 + 3*y - 2. Let v be n(1). Let u = -19 + 31. Solve v*i - u = -2*i for i.
3
Let f = -16 + 18. Solve -2 = -f*p + 2 for p.
2
Suppose 0 = 5*p - 6 + 1. Solve 0 = -3*h - p - 2 for h.
-1
Suppose 0 = -2*j - 4*m + 4, 0 = 4*j + 2*m - m - 22. Suppose -g + j*g - 15 = 0. Solve 4*b - 9 = g for b.
3
Let q(p) = -p**3 + p**2 - p. Suppose -2*j - 1 = -3*v, -8*j + 4*j = 4*v + 12. Let u be (1 + v/1)*-1. Let t be q(u). Solve -3*k + t*k = 9 for k.
-3
Suppose -4*q + c - 6*c + 28 = 0, 0 = -3*q - 3*c + 18. Let m be ((-23)/q)/((-4)/8). Suppose -4*i + m - 7 = 0. Solve -i = -h - 3*h for h.
1
Let w = -68 + 45. Let h = w + 7. Let j = -10 - h. Solve -2*y + j = y for y.
2
Let s(n) = 2*n**2 + 4*n - 1. Let u be s(-3). Solve u*a = 4 + 1 for a.
1
Suppose 0*h = -5*h + 10. Suppose 3*z - 7*z - 8 = 0. Let w be 4/z - -2*2. Solve -h - 4 = -w*a for a.
3
Let h(n) = n**2 - 7*n - 11. Let u be h(9). Let i(r) = r**2 - 8*r + 7. Let t be i(u). Solve 4*c - 8 = -t for c.
2
Let q be (2 - 2) + 4 + -3. Solve -w = 3 + q for w.
-4
Let m(x) = 7*x**2 + 1. Let k = -12 + 11. Let y be m(k). Solve 3*j - 15 = y*j for j.
-3
Suppose 5*f = 2*u + 8, 0*f - 5*u = 2*f + 20. Suppose -2*s - g - 4 = 0, f*g - 5*g - 20 = -5*s. Solve -5*m + s = 5 for m.
-1
Let c be 8/5 - (-2)/5. Suppose k = c*k - 3, -v + 5*k - 14 = 0. Let q be v - -2 - (3 + -4). Solve q*l = -0*l + 16 for l.
4
Let o = 75 + -72. Solve 4 = o*s - 2 for s.
2
Suppose -2 = -t - 2*b, -3*t = t - 3*b - 8. Suppose 3*z = 4*z - 2. Let s be 5*z*(-4)/(-10). Solve -t - s = -2*u for u.
3
Let t(g) = -2*g - 36. Let u be t(-18). Solve 5*a + 0 - 10 = u for a.
2
Let k be 1 - 3 - 14/(-2). Solve 10 = -0*p + k*p for p.
2
Suppose 0 = -3*a + 4*a - 3. Let o be 4*1/2 - -2. Solve o*y = a*y + 2 for y.
2
Let n be ((-30)/48*4)/(2/(-4)). Solve n*y = -35 + 10 for y.
-5
Suppose l = -4*l. Suppose -4*d - 2 = -0*s - s, 2*d - 2 = 0. Solve -2*u + s*u = l for u.
0
Suppose s + 0 = 2. Suppose 25 = -5*o - 0, s*g = -5*o - 21. Suppose -3*l + 6 = -w, -5*w + 10 = 5*l - g*w. Solve -c + 6 = l*c for c.
2
Let c be 0/(-1 + -2) - -2. Suppose c*i + 3*s = 44, 3*s = 3*i - 62 - 34. Solve 5*a = 8 - i for a.
-4
Let b be (9/2)/((-3)/(-4)). Suppose 5*h - x - 15 = 0, h + b*x = x - 23. Solve -k + h*k = -2 for k.
-2
Suppose 3*r = -b + 9, 6*r - 5*b = r + 35. Let d = -13 + 7. Let l be -2*(-1)/((-4)/d). Solve -l*a - 7 = -r for a.
-1
Suppose -7*z + 2*z + 10 = 0. Solve -k + z + 0 = 0 for k.
2
Let t be (-1)/3 + (-8)/(-6). Suppose 0*q = -q - t. Let f be -1 + q*(-3 - -2). Solve -6 + f = -3*z for z.
2
Suppose g = -3*g. Suppose i - 3 + 0 = g. Let u be i*3/9*5. Solve -m - u = -0 for m.
-5
Let o be -4 + 2 + 1*7. Suppose 3 = s + u, -6 = 5*s + 3*u - 5*u. Solve -q + s = -o for q.
5
Suppose 4*d + 2*y = 0, -2*y = -5*d + 11 + 7. Solve -2*z - d*z = 20 for z.
-5
Let o(b) = b - 10. Let m be o(0). Let j = 11 + m. Let s = 2 - -3. Solve -s = -3*y + j for y.
2
Suppose 0 = -n + 3*u + 24 - 7, u - 16 = -4*n. Solve 0 = 3*k - n - 10 for k.
5
Let o be (-3)/4*(5 + -9). Suppose -4*k = -5*c - 8*k - 5, 0 = 4*c - 4*k + 4. Let m be 17 - (c + 0 + 1). Solve -5*z - o = m for z.
-4
Let t be 0 + -1 + 0 + -3. Let k be t/(1*-2 + 1). Suppose 0 = -k*m + 1 + 7. Solve a + 2 = m*a for a.
2
Suppose -3*k + 6 = k + g, -g = k. Solve k*p = 4*p + 10 for p.
-5
Suppose 4*c + 13 = -2*b + c, 5*b - 3*c - 20 = 0. Solve b = h + 2 for h.
-1
Let s(p) = -p**3 + p**2 + 2*p. Let m(i) = -i**2 + 2*i + 10. Let x be m(4). Let t be s(x). Solve -3*w - 6 + 0 = t for w.
-2
Let k be 3 + 20/4 + -4. Solve -k*v + 9*v = -20 for v.
-4
Let y be (-5)/(-10)*11 - (-1)/(-2). Solve -y = 4*c + 3 for c.
-2
Suppose -3*x - 2 = y - 39, -5*x + 61 = y. Suppose k + k = x. Solve k = -0*l + 3*l for l.
2
Let q = 10 - 8. Solve -2 = -4*k + q for k.
1
Suppose q - 34 - 4 = -3*v, 3*q = 4*v - 42. Solve 3*t + 3 = v for t.
3
Suppose 3*g = 5*a - 65, 6*g - g - 5*a = -105. Let w = -12 - g. Solve -y = y - w for y.
4
Let a(b) = 5*b - 22. Let r be a(6). Solve -9*o + r*o - 4 = 0 for o.
-4
Let d(l) = l + 3. Let m be d(-3). Suppose v = 3*i + 17, -3*i - 7 = -3*v - 5*i. Solve -v*j + m*j = 20 for j.
-4
Let c be (5/10)/(2/8). Let h = 3 + -1. Let r be 1 - (h - 1)*-4. Solve r*i + 3 = -c for i.
-1
Let u be -3 + 4 - (1 - 1). Let k be 0 + (5 - u) - -2. Suppose 8 = 4*s, 3*v - 22 = s - k*s. Solve -j = j - v for j.
2
Let n(k) = k**3 - 7*k**2. Let l be n(7). Solve 2*a - 1 - 7 = l for a.
4
Let m = 220 + -208. Solve -4 = 2*o - m for o.
4
Suppose 20*u - 25*u = -20. Solve u*a - 2 = -6 for a.
-1
Let m = 50 - 22. Let l be ((-8)/6)/(5/75). Let g = m + l. Solve -3*y - g = -y for y.
-4
Let i(r) be the second derivative of r**4/12 + r**3/2 + r**2/2 + 3*r. Let y be i(-4). Suppose y = 2*d + 3. Solve 5*t - d = -16 for t.
-3
Let u(f) = -f**2 + 18*f - 8. Let j be u(14). Suppose 3*o - j + 18 = 0. Solve 2*r = -0*r + o for r.
5
Suppose -2*z = 4*p - 6, -3*p + 15 = 3. Let g(q) = -q**2 - 4*q + 7. Let n be g(z). Let d(o) = o**2 - 3*o - 6. Let k be d(5). Solve n*t + 2 + k = 0 for t.
-3
Suppose 4*w + 2*x + 58 = 0, 7*w - x = 6*w - 13. Let s be (-2)/4 + w/(-4). Solve 9 = -s*u - 0 for u.
-3
Suppose t = 4*t - 93. Let r = t + -15. Suppose -5*q + 91 = r. Solve -2*d + q = 3*d for d.
3
Let t be (-4)/6 - (34/(-6) + 5). Solve t = -4*i - 18 + 2 for i.
-4
Let p = 31 + -29. Solve 0 = -0*n - p*n - 2 for n.
-1
Let m be 14 + -1 + (-6)/6. Suppose -3*h = -0*h - 3*p + m, -2*h = -p + 4. Suppose h = 5*a - 0*a - 35. Solve -i = a - 2 for i.
-5
Suppose -3*z = 6, z + 2 = 3*y - 2*y. Let g be 1/2 - (-14)/4. Suppose y = x - 2*s - 11, g*x - 42 = 5*s - 7. Solve 0 = -x*l + 2*l + 15 for l.
5
Suppose -8*o + 2*o = -36. Solve o*k - 2*k + 16 = 0 for k.
-4
Let c be ((-4)/3)/(1/(-3)). Suppose 0 = -5*j + c*j. Solve j = -2*t + 5*t - 3 for t.
1
Let n(z) = -z - 5. Let s be n(-5). Suppose -2*h + h = s. Suppose -5*i = 2*c - 5, h = -2*i + 4*c + 14 + 12. Solve 0 = -3*t + i for t.
1
Suppose 1 = 3*p - 14. Suppose -3*s - 24 = -p*s. Solve 3*g + g + s = 0 for g.
-3
Let b be (-20)/(-11) - 4/(-22). Let v = 2 -