 + 13*b - 3 for b.
-3
Let y be (-8)/20 + 248/20. Suppose 3*o = -2*w - 2*w + 12, -8 = 5*w - 2*o. Suppose -2*d + 10 = -2*j - w*j, 3*j + 21 = 5*d. Solve -d*b - b + y = 0 for b.
3
Let r(x) = x**3 - 23*x**2 + 21*x + 34. Let u be r(22). Solve u*z - 9 = -33 for z.
-2
Let s(t) = t**2 - 12*t - 5. Suppose i = 4*i - 39. Let n be s(i). Let u(k) = k**2 - 9*k + 8. Let j be u(n). Solve j = -4*a + a for a.
0
Suppose -21 = -5*l - 3*r, 3*l - 4*r = -2*l + 42. Solve -c - 5 = -l*c for c.
1
Suppose -p - 5*g - 4 = 0, 4*g = 3*p - g - 28. Suppose 0 = -v + p - 3. Solve -v*l = -l + 2 for l.
-1
Let q be (1 + 2/(-14))/(1/7). Let u = q + 3. Solve l + 2*l = -u for l.
-3
Suppose -96*f = -94*f - 12. Suppose f*d + 47 = 167. Solve 2*w + d = -2*w for w.
-5
Suppose 2*g + 4 = -12. Let i = 12 + g. Suppose i*j - 20 = -4. Solve -6 - j = -2*m for m.
5
Let b(i) = 2*i + 15. Let g be b(-5). Suppose z - g = 0, -3*z = 4*s - 0*z - 43. Suppose 6*d = s*d - 2. Solve -5 = d*u + 1 for u.
-3
Suppose 20 = 5*j - 3*p + 2*p, 26 = 2*j - 4*p. Suppose 18 = -4*a + 6, -11 = -d + a. Solve 0 = -j*w + w + d for w.
4
Let k be (-1 + 2)/(1/5). Suppose -5*h - y = 22, 3*h = -0*y - k*y. Let t(j) = -j - 3. Let w be t(h). Solve 0 = x + w*x - 9 for x.
3
Let n be -8 + 5 - (-30)/2. Suppose 0 = -5*y - y + n. Suppose -40 = -3*q + 5*b, y*q - 35 = b + 4*b. Solve q + 10 = 3*r for r.
5
Suppose -5*g + 27 = 9*d - 7*d, -4*d + 18 = -2*g. Solve 4 = j + d for j.
-2
Let n(f) = -f**2 - 8*f - 5. Let u be n(-7). Let x = 541 - 535. Solve u = 4*y - x for y.
2
Suppose 3*n = -4*z, 24 = 3*n - z - 3*z. Suppose 3*l - 2*l = n. Solve -l*j + j = 0 for j.
0
Let s(f) = f**2 + 14*f + 51. Let i be s(-7). Solve 8 = i*u + 4 for u.
2
Suppose 19 = 7*f - 2. Suppose -3*u = -5*b + 17 - 5, -f*u + 4*b = 9. Let t be 4*1 - 4/2. Solve t = -r + u for r.
-1
Let v(a) = a**2 - 3*a + 3. Let r be v(3). Suppose 15 = r*z + 2*z. Let p(x) = x + 30. Let g be p(-26). Solve -z*h + 11 = -g for h.
5
Suppose 25 = 4*l - o, -35 = -3*l - o + 5*o. Let g(i) be the first derivative of -i**4/4 + 5*i**3/3 + i**2 - 6*i - 3. Let d be g(l). Solve -d*k + 4 = -8 for k.
3
Let s(b) be the first derivative of b**3/6 - b**2/2 - 5*b + 1. Let h(g) be the first derivative of s(g). Let r be h(1). Solve 0 = -2*m - r + 4 for m.
2
Let r be (0/(-53))/(2/2). Solve r*s = 5*s + 10 for s.
-2
Let x(b) = 121*b - 462. Let p be x(4). Solve 0 = -8*m + 18 + p for m.
5
Let n(z) = -7*z + 1 - 1 + 6*z. Let a be n(-2). Solve -3*v = a*v + 5 for v.
-1
Suppose -3*a + 22 = 19*a. Solve -13 + a = -3*m for m.
4
Let z(s) be the third derivative of s**6/120 + s**5/60 - s**4/12 - 5*s**3/6 + 36*s**2. Let y be z(2). Solve y*o = -2*o - 15 for o.
-3
Let x(s) = s + 1. Let i be x(4). Suppose 4*p - i*t + t - 120 = 0, -p - t + 20 = 0. Let r(z) = 8*z**3 - 1. Let w be r(1). Solve -w*l - p = -2*l for l.
-5
Suppose -27 = -2*v + 1. Suppose -4*q - 18 = -3*r, -2*q = -2*r - 2*r + v. Solve -r*d = 3*d for d.
0
Let u(p) = 5*p + 70. Let n be u(-13). Solve 0*i = i - n for i.
5
Let k be (-186)/(-4) - (-9)/(-18). Let u = -33 + k. Let s = -11 + u. Solve -s*c + c - 3 = 0 for c.
-3
Let j = 45 + -116. Let g = j + 76. Solve 0 = g*c - 15 - 10 for c.
5
Suppose 5*x - v - 104 = 0, 2*v + 2 = 4. Let b = -21 + x. Solve 0*j - 3*j + 3 = b for j.
1
Suppose 0 = 11*o - 11 - 22. Solve -8*b = -7*b - o for b.
3
Suppose x + 8 = -7. Let k = 27 + x. Solve -2*y + k = 2*y for y.
3
Let l = 47 + -45. Suppose 0 = -b + l*b. Solve b = 10*r - 5*r + 5 for r.
-1
Suppose -5*j = -3*n - 69, 3*j - 4*n - 22 = j. Solve 6 = -3*d + j for d.
3
Let h = -134 - -134. Solve g + 5 = -h for g.
-5
Let j be (12 - 16)/(20/(-35)). Solve -j*m + 10*m = -12 for m.
-4
Let o = 17 - 7. Suppose 5*f - 60 + 52 = 4*y, -5*y - f + 19 = 0. Solve o = 2*l + y*l for l.
2
Let j = 30 - 25. Suppose 6*k = j*k + 13. Let p = k - 13. Solve p = -5*i - 0*i + 20 for i.
4
Let x = -3 + 6. Let d(t) = -t**2 + t - 7. Let r(j) = -j**2 + j + 1. Let m(v) = -d(v) - 3*r(v). Let c be m(1). Solve -x*k + c = 1 for k.
1
Let u(a) = -a**2 - 11*a - 23. Let l be u(-9). Let s be (l - -6 - 1)/(-2). Solve o = -s*o - 1 for o.
-1
Let l(x) = 3*x - 10. Let d be l(6). Let q = 12 - d. Let i be (2 + 7/(-4))*q. Solve -5*f - i = 19 for f.
-4
Suppose -5*g - 5*d = -220, -g - 13*d + 42 = -10*d. Solve 5*t - 50 = -g for t.
1
Suppose -4 = -v + 4. Let n(k) = 8*k**2 + 9*k - 6. Let r(w) = -9*w**2 - 10*w + 7. Let g(m) = 7*n(m) + 6*r(m). Let o be g(-2). Solve -5*h + o = -v for h.
2
Suppose 3*p - 7 = -1. Let r be 1*(7 - 0 - 3). Suppose -u = -0*t - r*t + 1, 0 = -u - 5*t + 8. Solve -b - p*b = u for b.
-1
Let i = -48 + 70. Solve -7*r + 18*r = -i for r.
-2
Suppose y + 0*s - 9 = 2*s, 0 = 4*s. Let o be -3*(105/y)/(-5) - 2. Solve -4*k = -5*k - o for k.
-5
Let z = 315 + -547. Let v be 4/(-14) + z/(-28). Let h = v + -8. Solve 0 = -5*w - h + 5 for w.
1
Let n(t) = 7*t**2 + 4*t - 8. Let y(j) = -j**2. Let p(o) = n(o) + 6*y(o). Suppose -4*s - 30 = s. Let c be p(s). Solve -2*h + 0 - c = 0 for h.
-2
Suppose 0*d - 4*f - 10 = 3*d, -d - 4*f - 14 = 0. Suppose 2*i - 4 = -d. Suppose 5*b = -o + 2, 10*o = -b + 6*o + 8. Solve b = -x - i + 6 for x.
5
Suppose 4*q = 3*q. Suppose u = 2*l + 2, -2*u - 3*u + 10 = q. Solve -g + 5 = -l for g.
5
Suppose 7*b = 4*b - h + 3, 13 = 5*b - h. Solve 11 - 1 = b*u for u.
5
Let h = 588 + -583. Solve -h*c - 1 = -16 for c.
3
Let q be 1*((-89)/(-3) - (-1)/3). Solve 2*d - 8*d + q = 0 for d.
5
Let z(r) = 3*r - 3. Let x = -5 + 7. Let f be z(x). Let q be 2 + (1 - 6) + f. Solve o + 1 - 3 = q for o.
2
Let o = 1690 + -1683. Solve -o = -6*t + 17 for t.
4
Let u = 12 - 21. Let x = u - -9. Suppose 4*i + q - 13 = x, 0*i + i + 5*q - 8 = 0. Solve -9 = i*b - 21 for b.
4
Suppose 2*m = c, 167*c = -m + 164*c. Suppose -6 = 2*p - 4*p. Solve p + m = -x for x.
-3
Let j(q) = q**3 + 19*q**2 - 19*q + 38. Let w be j(-20). Solve -5*p = -3 + w for p.
-3
Suppose 0 = -5*r - 2*y + 37, 2*r - y = -0*r + 13. Suppose r*f + 9 = 10*f. Solve 0 = f*n + 1 + 14 for n.
-5
Let q(s) be the first derivative of -s**3/3 - 5*s**2/2 + 10*s + 12. Let d be q(-6). Solve -d = a - 3 for a.
-1
Suppose 5*x - 12 = -h, -4*h - h - 5*x = -40. Solve -h*q = -3*q for q.
0
Suppose m = -3*c + 36, -4*m - 4*c + 174 = -2*c. Suppose 0*h - 5*u - m = -3*h, 0 = -4*u. Let f = 23 - h. Solve -4*l = -2*l + f for l.
-4
Let y be 3 - (20/6)/((-8)/12). Suppose 0 = 7*c - y*c + 3. Solve -c*w - 6 = -w for w.
-3
Let a = -3 - -4. Let w(x) = 40*x. Let y be w(a). Let n = -28 + y. Solve 3*c + c = n for c.
3
Suppose -2*z + 22 = -4*f, -f + 2*f + 13 = 3*z. Let g = f - -9. Let q = -146 - -148. Solve 0 = g*t - q*t + 12 for t.
-4
Suppose 7*v - 26 = -6*v. Suppose -13 = -a + 4*b, 0 = 3*a + 3*b - 0*b + 6. Solve -r = -v*r + a for r.
1
Let w(r) = -1 + 17*r - 30*r + 19*r. Let y be w(1). Let d be (-5 - (-42)/7)*2/1. Solve y = d*s + 3*s for s.
1
Let t = 216 + -137. Let y = -47 + t. Let r be -2*10*(-8)/y. Solve r*f + 20 + 0 = 0 for f.
-4
Suppose 41 - 206 = -5*i. Suppose -38*v + i*v = -90. Solve 0 = -4*h - 6 + v for h.
3
Let y = -161 + 98. Let z be 17/3 - 21/y. Solve 2*t + 0*t = z for t.
3
Let m(a) = 18*a - 343. Let f be m(20). Solve -19 = f*r + 2*r for r.
-1
Suppose -4*j + 12 = 0, -2*j + 16 = 5*z - 20. Solve 0 = -0*d + z*d - 18 for d.
3
Suppose -11*z = -8 - 102. Suppose 4*u + 2*x = -u + 16, -2*u + x = -z. Solve 4*r - u = 3*r for r.
4
Let d be (0 - 0)*(5 - 4). Suppose 15*h = 20*h - 15. Suppose -4*t - 2*a + 15 = t, -2*a - 25 = -h*t. Solve -l + t*l - 20 = d for l.
5
Let r(h) = -h - 24. Let y(u) = -3*u - 60. Let o(s) = 12*r(s) - 5*y(s). Let n = 8 + -12. Let q be o(n). Solve q*f = -2*f for f.
0
Let u = -600 - -624. Solve u*b - 16 = 28*b for b.
-4
Let o(c) = c + 7. Let y be o(-7). Let v be 92/552*(0 - -18). Solve y*f + 12 = -v*f for f.
-4
Let y = 6 + -7. Let d be 0 - 0*(-2 - y). Solve -3*t + 15 = -d*t for t.
5
Suppose -2*j + k + 12 = 3, -3*j + 3*k + 12 = 0. Suppose -10*o + 6*o = -8. Let f(z) = -5*z + 22. Let h be f(o). Solve j*s - h = s for s.
3
Suppose -10*t + 78 = 28. Solve 0 = t*m - m for m.
0
Suppose 0 = -3*z + 5*g - 9, -2*g = -2*z - g - 6. Let q be 7*(-2)/6*z. Suppose -2*y - 3*k = -9, q = y + 3*k - 2. Solve 4*a + 12 = -y for a.
-3
Let v(m) = m - 5. Let u be v(9). Let o be (u/(-2))/((-9)/18). Suppose o*a + 3*i = a + 12, -2*i = -3*a + 12. Solve -4*z = 8 + a for z.
-3
Let t be (-4)/((-20)/(-15)) - -3. Suppose t = -4*n - 4*n + 80. Solve 0*r - n = -2*r for r.
5
Let