a - 3*a + a = 0. Solve a = -0*k - 3*k + 9 for k.
3
Let f be 0*(4/(-8) - -1). Solve f*u + 4 = u for u.
4
Let b = -7 + 15. Suppose -2*n = -0*n - b. Solve s = -n*s for s.
0
Suppose 19 = t - 0*c - 4*c, -5*c - 26 = -2*t. Solve 1 = 2*y - t for y.
2
Let s be 14 + (11/(-11))/(1/4). Solve 0 = -g - g + s for g.
5
Suppose j - 3 = 5*a, 3*j - 5 = -4*a + 4. Solve a*u = u - 5 for u.
5
Let c(r) = r**3 + 5*r**2 + 2*r - 2. Let n(h) = h**3 + 2*h**2 - h + 2. Let d be n(-3). Let x be c(d). Solve 0 = -2*u + 2 + x for u.
4
Suppose 5*s + 5*k - k + 2 = 0, -2*k = 5*s - 4. Solve 0 = -0*j - s*j for j.
0
Suppose 2 + 6 = 4*i. Let a(n) = -n**3 - 10*n**2 - 8*n + 9. Let q(c) = -4*c - 1. Let x be q(2). Let v be a(x). Solve -f = -v + i for f.
-2
Let p(l) = 2*l**2 + 4*l + 2. Let t be p(-2). Solve 0 = r + t + 3 for r.
-5
Suppose -2*r + 0*r + 15 = 3*d, -d + r = -5. Suppose -2*y - 4 = -4*y. Let h = d - y. Solve 18 = h*n + 3 for n.
5
Let f be 24/30*5/2. Suppose -5*b = 4*d - 30, -3*b + 31 = 3*d + f*d. Solve 0 = b*p + 3*p + 10 for p.
-2
Let v = 6 - 1. Suppose -2*b + 22 = -5*q + 2*q, b = -4*q - 22. Let j = -1 - q. Solve j*h - v = 10 for h.
3
Let o = 63 + -45. Suppose -o + 6 = -4*k. Solve k*b - 9 = -0*b for b.
3
Let d = 18 - 12. Suppose -4*o + o + 12 = 0. Solve -o - d = -2*u for u.
5
Suppose q - 2*t + 5 = 0, 4*t + 9 - 24 = 3*q. Let g = q - -10. Suppose g*d - 13 = -3. Solve d*u - 8 = -2*u for u.
2
Let k(y) = -3*y**2 + y + 0*y**2 + 2*y**2. Let b be k(1). Let r = 5 - b. Solve 12 = r*s - 3 for s.
3
Let p = 16 - 13. Solve 3 - 18 = -p*d for d.
5
Let f(w) be the third derivative of w**5/20 + w**4/8 + w**3/6 - w**2. Let s be f(-2). Solve s*o - 4*o + 12 = 0 for o.
-4
Let r = 157 - 152. Solve -r*m + 4 = -6 for m.
2
Let l be 0 + (-1 - 0) + -19. Let a be ((-3)/4)/(5/l). Solve 2*p = a*p - 3 for p.
3
Suppose -1 = -5*h + 9. Solve h = -t - 2 for t.
-4
Suppose 0 = -q - 5 + 16. Suppose 0*o - 10 = 5*o. Let p = 6 + o. Solve -q = -p*w + 9 for w.
5
Let o be (5 - 5)/(1 - 2). Let x = 2 + o. Solve x*s + 3*s - 25 = 0 for s.
5
Let h be (-4 + 2)*-1 - 0. Let v(g) = -g**2 - 5*g + 7. Let j be v(-5). Suppose -4*y = -j*y. Solve 4*b - h*b = y for b.
0
Let k be (-3)/(-1)*(-14 + 15). Solve f = k*f + 10 for f.
-5
Let g = -5 + 10. Let l be (g*-3)/((-18)/12). Solve -4*b = -30 + l for b.
5
Let p be 1/(((-4)/(-12))/1). Suppose p*c = 7*c. Solve c = 3*m - 15 for m.
5
Let c(k) = -3*k**3 + 2*k**2 - 13*k - 4. Let d(b) = b**3 + b**2 + b + 1. Let z(q) = c(q) + 4*d(q). Let r be z(-7). Solve 4*u - 2 = r for u.
4
Let o = 4 + -3. Suppose -z + o = -1. Suppose -7 = -5*q + 2*a, z = -q + a + 1. Solve -q*c + 2*c = 0 for c.
0
Suppose 2*s + 204 = -0*s. Let h be (-4)/(-18) - s/27. Solve h*a = -a for a.
0
Let t(q) = q**3 - 2*q**2 - 8*q + 3. Let a be t(4). Solve a*m + 21 = 6 for m.
-5
Suppose -2*h - 6 = -2. Let j be h/(-2 + (-3)/(-2)). Solve 1 = -5*t - j for t.
-1
Let f be ((-16)/12 - -1)/((-1)/6). Solve -f*m - 11 = -1 for m.
-5
Let d be (-2 - -1)/1 + 4. Let g = 82 - 66. Solve -d*c = c - g for c.
4
Let c = 138 - 136. Suppose 0 = -4*x + 8*x. Let f = 0 + x. Solve f*v - c*v - 6 = 0 for v.
-3
Suppose -5*y + 15 = -2*p, 0*p + p - 5*y + 20 = 0. Let k = 77 + -77. Solve p*b + k*b = 25 for b.
5
Suppose -15*w = 2*w - 51. Solve -5*z + w = -2*z for z.
1
Suppose 5*n = -2*x + 17, x = -3*n + 3 + 8. Let o = x + 4. Suppose 4*c - m = 36, o*c + 4*c + 2*m - 24 = 0. Solve 5*b + c = -7 for b.
-3
Let g = -8 + 8. Solve -2*v = -g*v - 8 for v.
4
Suppose 4*q + 0 = 8. Solve b = -q*b - 12 for b.
-4
Suppose 4 = -5*l - 76. Let f = -15 - l. Solve 2*u + 3 = f for u.
-1
Let r be (-6)/21 - 65/(-7). Let b = -6 + r. Solve b*w + 3 = 9 for w.
2
Suppose -2*b + 22 = 4*l, 0 = -3*l - 0*l - 5*b + 34. Solve l = 3*i - 12 for i.
5
Suppose 0 = i - 0*i - 5, 5*w = 4*i - 10. Let o be 2/8 - (-23)/4. Suppose o*d - d - 13 = -w*f, d - 2 = -f. Solve -10 = d*g + 2 for g.
-4
Suppose 12 = z + 2*z. Let t = 11 + z. Solve -6*j = -j + t for j.
-3
Suppose 31 - 11 = 4*z. Let h = 5 - z. Suppose 1 = 2*i + o, 0*o + 21 = 2*i - 3*o. Solve 6 = -h*n + i*n for n.
2
Suppose 0*v + 3*v = 9. Let k = 2 + v. Let u = 5 + 10. Solve -k*p = -u - 5 for p.
4
Suppose -19 = -q + 4*j, q - 5*j = -3*j + 17. Let r be 3/q - (-38)/10. Solve 3*f - r*f = 3 for f.
-3
Let d = -32 - -37. Let x = -5 + 8. Solve x = -4*v - d for v.
-2
Let h be (0 + -1)*(0 + 10). Let n be (-108)/(-20) - (-4)/h. Let v = -3 + 6. Solve -2*g + n = -v for g.
4
Suppose 3*b = 7*b - 56. Suppose -3*r - 2 = -b. Suppose 3*w = g + 12, -4*g = -0*w + 4*w - 32. Solve -x = -r*x + g for x.
1
Let q(w) = w. Let b = -3 + 5. Let s be q(b). Suppose k - 6 = s*o, -k + o = 5*o. Solve z = -k*z for z.
0
Suppose 3*k = -4*v + 106, -5*v - k + 129 = k. Suppose 0 = -4*m - n - 2 - 9, 5*m + v = -5*n. Let z(p) = p**2 + 2*p + 2. Let f be z(m). Solve -3*d = 1 + f for d.
-1
Suppose -3*f = -4*f - 5*q + 27, -3*f + 1 = -q. Solve 2*l - 6 = f for l.
4
Let m = 26 + -16. Suppose 4*j + k = m, 3*j + 5 - 3 = 4*k. Solve j*f = 6*f + 16 for f.
-4
Let t = 14 - 6. Suppose 4*d - 27 = -q, d = 2*q - 10 + 1. Let y = -13 - -18. Solve y*s - q = t for s.
3
Let p(l) = -l**2 - 5*l + 6. Let r = -10 - -4. Let a be p(r). Solve a = -5*z + 6*z for z.
0
Suppose 3*d + 12 = 2*a + 2*a, -5*a - 8 = 2*d. Let v = d - -17. Suppose -2*t + w = -3, -4*t + 5*w + v = -2. Solve t*s + 2*s = 0 for s.
0
Suppose -4*h + h + 10 = c, 5*c = 5*h + 10. Solve -c*y = -y - 15 for y.
5
Suppose -2*f + 24 = 3*f - 3*n, -28 = -5*f + n. Solve 3*v = -f - 9 for v.
-5
Let b = 0 + -1. Let y be 3/2*b*-2. Solve i = y*i - 6 for i.
3
Let y = 7 - 7. Solve 2*x - 4*x - 2 = y for x.
-1
Suppose 23 = a - 4*i, 0 = i - 4*i - 15. Solve -x + a*x = -10 for x.
-5
Let x be (3/6)/(2/(-60)). Let t be 4/(12/x)*-1. Suppose -4*p + 26 = r, -t*p + 0*p - 30 = -5*r. Solve 3*s - s = r for s.
5
Suppose -8*n - 10 = -13*n. Solve 0*f + n*f + 10 = 0 for f.
-5
Let b(s) = s - 1. Let t be b(-4). Let l = t - -2. Let p(c) = c**3 + 3*c**2 - c + 2. Let d be p(l). Solve 2 = -d*v + 12 for v.
2
Let a(z) = z**2 + 2*z + 5. Let g be a(-5). Suppose g = 4*s - 0. Solve 9 = -s*r + 29 for r.
4
Let b = -6 + 8. Suppose -2*a + b = -a. Solve -5*m + a*m - 9 = 0 for m.
-3
Let t(r) = r**2 + 3*r + 2. Let d be t(-3). Suppose d*y = -10 + 30. Solve -2*u = -4*u + y for u.
5
Suppose -5*x + 9 = -2*x. Suppose x = 4*n - n. Let q be -26*(0 - (2 - 1)). Solve -q = -5*w - n for w.
5
Let a(x) = x + 4. Let g(s) = -s**3 - 3*s**2 + 2*s + 2. Suppose -4*o = 4*h + 16, 0 = -h - 7*o + 2*o - 8. Let d be g(h). Let j be a(d). Solve -3*y + j = 3 for y.
-1
Suppose 3*w - 200 = -5*w. Solve 3*x - w = -2*x for x.
5
Let r(d) = -d**2 + 3*d**2 + 2 - 3*d**2 + 8*d. Let p be r(7). Suppose -x + p = -4. Solve -3*m + 4 = x for m.
-3
Let f be (-2)/(((-9)/(-3))/(-3)). Suppose v - 19 = -3*g + 3*v, f*g - 2*v - 14 = 0. Solve 0*z - g*z = 25 for z.
-5
Let p = -14 + 24. Let d = 4 + p. Let r be 5 - 0*(-3)/(-6). Solve -r*c + 6 = -d for c.
4
Suppose 0*b - 3*b = 2*v + 9, -23 = -v + 4*b. Let f(q) = q**2 - 6*q + 3. Let i be f(6). Suppose 0 = m - i, 5*j - 4 + 3 = v*m. Solve -j*g = g for g.
0
Let z(d) = -d**2 + 17*d + 2. Let u be z(17). Solve 0*o = u*o + 6 for o.
-3
Let v(g) = g**2 + 3*g - 1. Let p(z) = z**3 + 3*z**2 - 2*z + 4. Let t be p(-4). Let y be v(t). Suppose 4*j + 0 = 8. Solve j = 5*m - y for m.
1
Suppose 5*v + 5*w - 35 = 0, 2*w - 1 = v - 2. Solve -v*x = 3 - 23 for x.
4
Let o = 26 - 14. Suppose -a = -4*d + o + 8, -2*d = -a - 12. Solve 0 = -d*b + 2*b + 8 for b.
4
Let n be (-2)/7 + (-340)/35. Let t be (4/n)/((-4)/(-20)). Let s = t - -4. Solve -s = -x - 1 for x.
1
Suppose 0 = 5*v + q - 25, 5*v - 3*q + q - 10 = 0. Suppose -3*c = 2 + 10. Let s be -5*(-3 + 8/c). Solve s = -v*t - t for t.
-5
Suppose -6*c + 10 = -4*c. Solve -2*u = -c*u - 6 for u.
-2
Let w = -94 - -116. Solve -4*n + w = 6 for n.
4
Let j = -3 - -6. Suppose 14 = 3*z + 62. Let d be (z/(-6))/4*j. Solve 4*u = d*u + 2 for u.
1
Let j = -6 + 4. Let s = j + 5. Solve s - 8 = -m for m.
5
Let q be (-2 - (-2 + 0))/(-2). Suppose 5*k = 20, 3*p = -4*k - 4 + 23. Let u = p - q. Solve 0 - u = -b for b.
1
Let a = 84 + -81. Solve 0 = 5*l - 4*l - a for l.
3
Suppose 0 = a - 3. Let t = a - 0. Solve t*q + 0*q = -6 for q.
-2
Let p = 16 + 7. Let l = 14 - 6. Solve -l = -5*n - p for n.
-3
Let d be (14/(-21))/((-1)/3). Suppose 4*c + 2 = -d*l, l + l = -2. Suppose 0 = -w + 3*v + 2*v + 5, c = -3*w + v + 1. Solve 2*s - 4*s - 2 = w for s.
-1
