r = t for t.
5
Suppose 6*c - 2*c + 8 = 0. Let d be (c + 3 - 4) + 7. Solve l - d + 8 = 0 for l.
-4
Let a be (-1 + 2)/(4/12). Suppose 0 = a*q - 2*q. Solve q*h + h + 4 = 0 for h.
-4
Suppose -2 = 4*q - 2*b, b - 3 = 4*q - 3*q. Suppose y - 2*n - 5 = 0, -q*n - 3*n = y + 2. Suppose -2*m + 8 = w - y, 13 = m + 2*w. Solve 2*r - 1 = m*r for r.
-1
Suppose 4*g = 2*y + 4, y = -4*g + 2*y + 6. Solve 4*a + 14 = -g for a.
-4
Let g(c) = c - 5. Let b be g(10). Let k(i) = 3*i - 3. Let w be k(b). Solve 0 = 5*h - w + 2 for h.
2
Let h(x) = -6*x + 3 + 4*x - 3*x + 6*x. Let a be h(-3). Solve -v = -3 - a for v.
3
Suppose 3*n + 4 = -n, 5*j - 13 = -2*n. Solve -4*x + 23 = j for x.
5
Suppose j = -0 + 2. Suppose j*c = 9 - 1. Solve c*n = -0*n + 16 for n.
4
Suppose -3*h + 8*h - 3*w = 19, -2*w + 24 = 4*h. Solve -h - 15 = -5*k for k.
4
Suppose -6*k + 2*k - 28 = -4*b, -1 = -b. Let m = k - -6. Solve m = -2*n - n - 6 for n.
-2
Suppose 2*p + 3*s = 0, -5*p + 4*s + 20 = -p. Solve p*m - 2 = 4 for m.
2
Let t(a) = a**2 + 7*a + 2. Suppose -w = 2*w + 5*r - 4, 4*w + 5*r + 3 = 0. Let g be t(w). Solve c + g*c = 6 for c.
2
Suppose 0*u = u - 1. Let x be (3 - 3)/(u*2). Let z(w) = w**3 - 5*w**2 + 6*w - 6. Let n be z(4). Solve 2*v - n = -x for v.
1
Let j(p) = p**2 + 5*p - 2. Let f be j(-6). Suppose 0 = -4*k + 10 - 2. Suppose 0 = k*m - m - 3. Solve -f + 1 = m*c for c.
-1
Let x be -1 - (-2)/(3/3). Suppose -2*h = 2*h - 28. Let q(c) = c**2 - 6*c - 5. Let z be q(h). Solve -3*g + z = -x for g.
1
Let x be ((-14)/14)/((-1)/4). Solve 26 = x*z + 6 for z.
5
Suppose 0 = -15*x + 20*x. Solve 2 = -x*b - 2*b for b.
-1
Let h(y) = y - 8. Suppose -4*g + 20 = -3*g + 2*m, -3*g = 5*m - 55. Let q be h(g). Suppose 4 = 4*k, -f + 3*k = q*f - 6. Solve -2 - f = -5*z for z.
1
Let u(z) = 5 - 7 + 5*z - 13. Let k be u(6). Suppose 0*o + 4 = o. Solve -a - k = o*a for a.
-3
Let g = 14 + -9. Solve 7 = g*u + 2 for u.
1
Suppose -4*m - 2*z + 16 = -0*m, 0 = 3*m - 2*z - 5. Let s be (-2)/(-6) - 10/(-6). Solve -m*r = -s*r - 1 for r.
1
Let x be (-1)/2*(-5 + 9). Let m = 13 - x. Solve 5*n + 10 = -m for n.
-5
Suppose -j = -w - 2*w + 10, 3*j + 2*w - 14 = 0. Let o be (-1 - j) + (1 - -11). Solve 0 = 5*b + o - 4 for b.
-1
Let k = 6 + -3. Suppose 0*j - 16 = -4*j. Solve -h = k*h + j for h.
-1
Suppose 9*m - 30 = 4*m. Solve -2*k + m*k = -12 for k.
-3
Let t(j) = j**2 - 11*j - 11. Let r be t(10). Let p = -21 - r. Solve p = q - 3*q + 4 for q.
2
Let p(c) = c**3 + 9*c**2 + 2. Let l be p(-9). Suppose 3*q + 2*u = -2 - l, -3*u - 15 = 0. Solve 3 = -w - q for w.
-5
Let q be 4/3 - (-6)/9. Suppose 26 = q*z + 6. Solve -3*l = -l + z for l.
-5
Suppose 0 = 3*j - 22 + 7. Solve j*k - 22 + 2 = 0 for k.
4
Let p = -72 - -79. Solve -3*q + p + 2 = 0 for q.
3
Suppose 2*f + 4 = 3*f. Suppose -5*x + 2*x = 0. Suppose -4*s + 12 = -h, 5 = 4*s - 3*h + 1. Solve -s*g + f = -x for g.
1
Suppose 0 = h - 5*h - n + 15, 4*n + 25 = h. Solve 0 = -0*x + x - h for x.
5
Suppose -2 - 4 = s. Let r(j) = j + 6. Let y be r(s). Suppose y = 5*o - 4*c - 55, c - 4*c - 15 = -2*o. Solve 3*i + 3 - o = 0 for i.
4
Let d(g) = g**3 + 2*g**2 + 2. Let w be d(-2). Suppose 5*j = -5*t + t, -3*t = 15. Suppose 0 = m + 3*n + 2, -m + 18 + 1 = -j*n. Solve 0 = -w*v + m - 1 for v.
3
Let d(j) = -j**3 + j**2 - j - 3. Let l be d(-1). Solve o = -l*o for o.
0
Suppose 2*m + 15 = 5*z, -z - 4*z + 15 = 3*m. Suppose d + 18 = w - m, 0 = w + 4*d - 3. Solve -j + w = 2*j for j.
5
Let s be (-150)/14 - 8/28. Let g = 20 + s. Suppose -3*d - 3 = -21. Solve -d*h = -3*h + g for h.
-3
Suppose 3*g - 8*g - 25 = 0. Let r = g - -7. Solve r*a - a = -3 for a.
-3
Suppose -12 = -12*w + 9*w. Solve -w*x = -14 - 6 for x.
5
Let j(x) = -3*x**2 + x. Let p be j(1). Let l be 1/(-2)*(-2 - p). Solve l = o + 2 - 1 for o.
-1
Let d(n) = -n**3 + 3*n**2 - n - 2. Let h(j) = j**2 + 4*j + 2. Let w be h(-4). Let c be d(w). Suppose c = 6*v - 3*v. Solve -2*r = -v*r - 8 for r.
4
Let i be (0 - -1) + 0 + -13. Let w be (0 + 0)/(i/(-4)). Solve w = 2*j + 4 + 2 for j.
-3
Suppose -i = -0 - 2. Suppose 0 = -5*w - 3*t + 5, -5*t = i*w - w + 21. Suppose -6 = y - 0*y + 3*b, 2*b = -w. Solve y = 4*k - 0 + 4 for k.
-1
Let u = 3 + 0. Let t be -1*(3*-2 + u). Solve -4*p - t = -7*p for p.
1
Let n = 4 - 4. Suppose n*b - 2*b + 2 = 0. Suppose v - 3*m = -0 - b, -v = -4*m + 3. Solve 0 = -v*r - 5 for r.
-1
Suppose 4*a = 23 - 15. Solve 3*l + a = -1 for l.
-1
Suppose 4*b = 4*c - 32, 0*b + 5*b + 22 = -c. Solve -2*t + c*t + 4 = 0 for t.
-4
Suppose -35 = -4*l - 3*m, -2*l + 5*l + 4*m = 35. Let q be (0 - -2) + -41 + 0. Let v = q + 61. Solve 3 + v = l*x for x.
5
Let u be (2/5)/((-12)/(-60)). Solve 0 = 4*z - u*z - 10 for z.
5
Let y(n) = n**2 - 2*n - 24. Let i be y(6). Solve 2*k + i = 2 for k.
1
Let q(x) = -2*x**3 + 15*x**2 - 4*x - 1. Let g be q(7). Solve -g = -3*f - 8 for f.
4
Let o be (-5)/15 + (-122)/(-6). Suppose 5*n + h = -10, -o = 4*n + 5*h + 9. Let x = -1 - n. Solve 5*a + 2 + 8 = x for a.
-2
Let a = 1 + 0. Let u = 3 - a. Solve 0 = -f + u + 3 for f.
5
Let x(c) be the third derivative of -c**6/120 - c**5/15 + c**4/6 + c**3/6 + c**2. Let m be x(-5). Let v be 20/(-2 + 7) + -1 + -1. Solve i = -v*i - m for i.
-2
Suppose 5*b = -4*u + 6*u + 25, 0 = 2*b + 5*u - 10. Solve 4*q - b*q = 0 for q.
0
Suppose 2*w = 5 - 1. Let r be -3 - (-3 - (w - -1)). Suppose 0 = 2*k - r*k. Solve -o - 3 + 2 = k for o.
-1
Suppose -2*t = 2*r + 4, -3*r = -7*t + 3*t + 27. Solve -8 - 4 = t*m for m.
-4
Let r = -5 - -8. Let j(v) = -v**3 - 5*v**2 + 7*v - 1. Let b be j(-6). Let u(w) = -w**2 - 8*w + 5. Let a be u(b). Solve r*s - 3 = a for s.
5
Let a be (-462)/(-39) + 3 + 2/13. Solve 0 = h + 2*h + a for h.
-5
Let n(s) = 4*s - 1. Let z be n(1). Solve 0 = -z*h - 0*h + 15 for h.
5
Let w be 1/2 + 2/4. Let m be w/((0 - 1)/(-21)). Let l be 12/7 + 6/m. Solve 0 = -5*u + 4*u + l for u.
2
Suppose -2*d - 2*d + 16 = 0. Solve 0 = -d*b + 10 + 6 for b.
4
Suppose -3*c + 3 = w, 0 = 4*c - 3*w + 9 - 0. Suppose q = 4*b - 19, c = -4*q + q - 9. Solve z - 25 = -b*z for z.
5
Suppose -7 = 3*b - 3*r - 1, -5*b + r + 10 = 0. Solve -7*z = -b*z + 12 for z.
-3
Let y = 13 + -13. Solve y = l - 6*l - 25 for l.
-5
Suppose 10 = -14*i + 16*i. Solve 6*o = o + i for o.
1
Suppose -12 = 155*n - 161*n. Solve -n*w = -4*w + 10 for w.
5
Let i be (-35)/7*1/(-5). Suppose -l = i - 8. Solve 0 = l*j - 3*j + 12 for j.
-3
Let h(f) = f**3 + 7*f**2 + 6*f + 3. Let w be h(-6). Let b = w + -3. Suppose -3*i + 19 + 11 = b. Solve 3*a - a + i = 0 for a.
-5
Suppose 4*b - 9 + 1 = 0. Suppose 7 = -f + 10. Solve -b*l = f*l for l.
0
Let x = -1 - -7. Let r = x - -4. Suppose 0*q + 3*s = q + 10, r = 3*q - s. Solve -3*m - q = -2 for m.
-1
Let l(b) = b**3 + 5*b**2 - 2*b - 7. Let p be 54/(-10) + (-2)/(-5). Let a be l(p). Let q be 1*a/((-3)/(-1)). Solve y = -0*y + q for y.
1
Let c be 4/18 + 158/18. Let o = 8 - 13. Let b = c + o. Solve -8 = -b*s + 2*s for s.
4
Let y(q) = q - 4. Let a be y(6). Solve 5*s + 12 = a*s for s.
-4
Let t(f) = -f**2 - 21*f - 15. Let r be t(-20). Solve 0 + r = -p for p.
-5
Suppose 2*u - k - 3 = 0, u + u + 3*k + 1 = 0. Solve -3*q = u + 11 for q.
-4
Let a(c) = c**3 - 3*c**2 + c - 1. Let p be a(3). Suppose -y - 2 = p*s, 4*s - 8 = -5*y - 0. Solve -b = y*b + 5 for b.
-1
Suppose -4*q + 25 - 2 = 5*p, 19 = 5*p + 2*q. Solve p*t + 8 = -1 for t.
-3
Suppose 0 = -6*x + 16 + 2. Solve 5 = x*g + 2*g for g.
1
Let o(b) = b**2. Let z be o(1). Let i = 1 - z. Solve 0 = -j - i*j for j.
0
Let z = 8 - 4. Suppose -2*v - z*s = -9*s - 21, 2*v - 2*s = 12. Solve -v*u + 16 = u for u.
4
Let r be (-1 - (-6)/3)/((-2)/(-6)). Solve k + r = -1 for k.
-4
Let j(y) = y**3 - 8*y**2 + 3*y - 20. Let t be j(8). Solve -6 - 14 = t*h for h.
-5
Let f be ((-2)/4)/(7/(-14)). Let g be f + 0/1 + 2. Solve d + 1 = -g for d.
-4
Suppose -20 = -5*d + 4*y, 2*y + 8 = -5*d + 28. Solve d = 3*x - 2 for x.
2
Suppose -5*n - 3*r + 27 = -19, -2*n = r - 18. Suppose -3*a + 4*s - n = -0, 15 = 3*s. Solve 15 = t + a*t for t.
3
Suppose 3*w - 65 = -4*n, -3*w + 5*n + 7 = -13. Solve 3*p + 2*p = w for p.
3
Suppose 4*d = 5*a - 35, 3*a - 4*a + 5*d = -28. Let s = -1 + a. Suppose 0*q = s*q - 2*w + 2, -4*w + 12 = -2*q. Solve q*h = -h + 15 for h.
3
Let u = 7 + 0. Solve -4*s + u*s = 6 for s.
2
Let s be (-9 - -10)/((-1)/(-2)). Solve 2*l + s*l = 16 for l.
4
Let t be 6/4*16/(-6). Let r = t + 12. Solve 4*x = -r - 0 for x.
-2
Suppose o + o = 6. Let h = 5 - o. Solve -4*p + 5*p =