(-3). Solve 0 = y*b + 5 for b.
-1
Let b(n) = -n**2 + 4*n + 2. Let d be b(4). Solve x + d*x = 15 for x.
5
Let f = 2 + -2. Let d(i) = -i**2 + 4*i + 2. Let y be d(4). Solve -j = -f + y for j.
-2
Let b(r) = -2*r**2 + 8*r + 4. Let m be b(4). Solve 0 = -2*i - 2*i + m for i.
1
Suppose -2*b - 3 = -3. Solve b*c = 2*c + 2 for c.
-1
Suppose z = 21*z - 60. Solve 13 = z*f + 4 for f.
3
Let i(t) be the first derivative of -3*t**2 + 1 + 1/3*t**3 + 5*t. Let p be i(5). Solve 7*u - 2*u - 10 = p for u.
2
Suppose -3*w + 4 = -5. Solve z + w = 4*z for z.
1
Let x be 7/(-5) + 2/5. Suppose 3*j - 23 = -5*w, j + 11 = 4*w - w. Let l = j - x. Solve -6 = -0*z - l*z for z.
3
Suppose -4*x + 14 + 11 = h, -5*h = -x - 20. Suppose 0*g + 57 = 3*g. Suppose x + g = 3*r. Solve -r - 4 = 4*f for f.
-3
Let w = -23 + 26. Solve r + w*r = 0 for r.
0
Suppose -4*g + 124 = d, 0 = 5*g + 5*d - 2*d - 162. Suppose -a = -3*a + g. Solve s = -2*s - a for s.
-5
Suppose 0*j = 4*j - 80. Suppose -5*m - 3 = -f + 2, 2*m - 4*f = -j. Solve -b = -m*b for b.
0
Suppose 5*t - 9 - 1 = 0. Solve 0 = t*w - 4*w for w.
0
Let l(b) = b**2 - 8*b + 5. Let f be l(8). Solve 5 - 10 = -f*x for x.
1
Let s(q) = q**3 - 5*q**2 + 4. Let j be s(5). Solve j*h = 11 - 3 for h.
2
Suppose k - 4*k - 207 = 4*l, -5 = 5*k. Let y = l - -17. Let q = 54 + y. Solve -2*z - 3*z = q for z.
-4
Let n(o) = -o**2 - 2*o + 6. Suppose 0 = 5*c - 3*c. Let f be n(c). Solve -3*m = -0 + f for m.
-2
Suppose 0 = 5*z - 2*z + 15, -20 = w + 4*z. Suppose -5 = -4*j + 4*o + 3, -o + 4 = w. Solve -15 = f - j*f for f.
3
Let a(i) be the third derivative of i**4/12 - 7*i**3/6 - 7*i**2. Let u be a(4). Solve -5*j = u - 16 for j.
3
Suppose -x + 7 - 3 = -v, -3*v = 4*x - 9. Let y be 4/3 - 1/x. Solve i - 3 = y for i.
4
Let f(o) = -o + 32. Let z be f(0). Let d = -10 + 17. Solve -d + z = 5*p for p.
5
Let v be (2/(12/(-15)))/((-2)/12). Solve -7*w - v = -4*w for w.
-5
Let h be 1*(1 + 0)*2. Let k(t) = t**2 - 5*t + 6. Let g be k(4). Solve -4*r - g = h for r.
-1
Suppose 0 = -4*s - 4*x - 3 + 15, -2*x + 18 = -4*s. Let o be (-2 - 1) + (-6)/s. Suppose o*q = q. Solve -h + q = -5 for h.
5
Let q = 6 + -3. Suppose -72 = 3*b - 3*a - 2*a, q*a + 24 = -b. Let l be 4*3/b*-10. Solve -l*c + 4 = -c for c.
1
Let s(h) = 10*h**2 - 5*h**2 + 2*h**2 + 6*h + 4 + h**3. Let t be s(-6). Suppose -2*m = -t*m + 30. Solve -r - m = 2*r for r.
-5
Suppose -3*i = 2*i - 15. Suppose -29 = -6*n + 2*n - i*c, -c - 7 = -2*n. Solve 15 = -0*y + n*y for y.
3
Let w be -5*3/(-15) - -1. Solve w = 3*p + 11 for p.
-3
Let y(n) = 18*n**2 + 1. Let o be y(-1). Solve -4*m - 7 = -o for m.
3
Let t(i) = -i**2 + 7*i - 6. Suppose 3*h + 0*h + 39 = -3*p, p - 2*h = 2. Let s be 4/16 + (-46)/p. Let v be t(s). Solve -2*j = -v*j + 10 for j.
-5
Let t = 181 - 161. Solve -12*h - t = -8*h for h.
-5
Suppose -8 = 3*p + 5*h, -5*p + 8*h + 40 = 3*h. Suppose -p*a + 11 = -5. Solve -g - a = -8 for g.
4
Let i(v) = -v**2 - 7*v - 7. Let o be i(-7). Let k(u) = -u**3 - 12*u**2 - 2*u - 9. Let a be k(-12). Let l = a + o. Solve -l = 3*j + j for j.
-2
Let g(d) = d**2 - 3*d. Let z be g(4). Let k be -6 - -2 - (2 - 2). Let n = z + k. Solve n*i = -3*i for i.
0
Suppose -5*k + 20 = 0, 0*k = -x + 4*k - 18. Let t = 1 - x. Solve -5*a - t = -2*a for a.
-1
Let q = -7 + 10. Solve q = -0*m - m for m.
-3
Let g be -4 + 12/9*12. Solve -v + g = -4*v for v.
-4
Let q(x) = x**3 - 6*x**2 + 2*x - 7. Let d be q(6). Suppose d + 4 = -3*j - 5*w, w = 4*j - 11. Solve -a = j*a - 12 for a.
4
Let v be (6/(-9))/(-4*(-4)/(-72)). Solve -v*t + 10 + 5 = 0 for t.
5
Suppose -h - 9 = -11. Solve 18 - h = 4*w for w.
4
Let g = -8 + 39. Suppose 2*b = -4, -21 = 2*o - 2*b + 17. Let s = g + o. Solve 0 = -3*a + a + s for a.
5
Suppose u - 15 = -4*u. Let f be (0 - -3)/(u/2). Solve 2*x + 0 - f = 0 for x.
1
Suppose -4*f = 5*g + 156, -4*f - g - 117 = -f. Let v = 95 + f. Suppose -5*q = 4*r - v, 15 = 5*q - 2*r - 17. Solve q + 12 = 4*l for l.
5
Let y be 2/(3*3/36). Suppose 3*f + 6 = -2*h - 8, 3*h = 2*f + 5. Let w = h + y. Solve s + 3 = w for s.
4
Let n be ((-8)/6)/(4/(-6)). Suppose 0 = 2*a - 11 + 7. Suppose -s = -n*s + a. Solve s = i + i for i.
1
Suppose 1 = -5*o + 11. Let j be (-20)/(-15) - (-60)/9. Suppose t = -t - 4*n + 8, -o*n = -2*t + j. Solve 0 = 4*d - t for d.
1
Let g = -21 - -26. Let y(o) = 7*o**3 - 2*o**2 + o. Let h be y(1). Suppose 3 = -3*v, h*c - 2*c - 4 = 4*v. Solve c*w - 20 = -g*w for w.
4
Suppose 2*x + v + 4 - 12 = 0, 4*x = -4*v + 20. Suppose x*g + 7 = -2. Let b = 5 + g. Solve -b*k = -13 + 5 for k.
4
Let o be (-2 - 2)*(-3)/6. Suppose 0 = -y + 4*r - 2 - 4, y = 2*r - o. Let n be (-3)/1 + y + 2. Solve -i = -n - 1 for i.
2
Suppose 52 + 12 = 4*t. Suppose 0*s = -4*s + t. Solve -3 + 19 = s*n for n.
4
Suppose f - 3 = -0. Solve -8 + 23 = f*c for c.
5
Let g(j) = -2*j**2 + 19*j - 6. Let c be g(9). Solve -5 = 2*q + c for q.
-4
Let s(r) = r**2 - 9*r - 6. Let b be s(10). Let i be (4/3)/((-4)/(-6)). Solve -i*y + b = 14 for y.
-5
Let q be (((-200)/15)/(-4))/(2/12). Solve 7*u = 2*u - q for u.
-4
Let v(w) = -w**2 + 6*w + 3. Let b be v(6). Suppose b*s - 4 = 20. Solve -u = -3*u + s for u.
4
Suppose 0 = 2*g - g. Suppose g = 3*l - 4*f + 7 - 33, 24 = 2*l - 4*f. Solve -2*z + l = -4*z for z.
-1
Suppose 0 = -f - t + 2, -3*f + 7 - 3 = 5*t. Suppose 3*h - f*u - 6 = 0, 0 = 5*h - 4*u - 0 - 9. Let j be (-5 - 1)/(-3 + h). Solve -2 = -j*a - 8 for a.
-2
Suppose -4*q + 5*m + 1 = 2, 0 = 3*q + 3*m - 6. Let b = -1 + q. Solve 5*o = -b*o - 25 for o.
-5
Let f = -116 - -120. Solve 5*y = f + 6 for y.
2
Let m be 10/1*2/4. Suppose 4*i = 2*o - 24, -o - m*i - 31 = -4*o. Let f be (-2)/(3 - 1) - -8. Solve 0 = o*t - f - 3 for t.
5
Let x = 24 - 24. Let w = 12 + -36. Let h be (2/4 - 1)*w. Solve x = 3*z - 0 + h for z.
-4
Let v(f) = -3 + f**2 + 3*f + 1 + 5*f + 1. Let c(j) = -j**2 - 8*j + 1. Let h(g) = 5*c(g) + 4*v(g). Let k be h(-8). Solve 1 = -2*r - k for r.
-1
Let z(y) = -y + 5. Let c be z(6). Let l(a) = a**3 + 4*a**2 - a - 3. Let t be l(-4). Let v be 4 - (-1)/(t/c). Solve -9 = -3*b + v for b.
4
Let y be 0 - (-2 + (3 - -3)). Let u be (-15)/(-4) - 1/y. Solve -8 = -u*o + 8 for o.
4
Let v = -60 + 65. Solve -q = -v*q for q.
0
Suppose -42 = 3*b + 48. Let v be 1/(-3) + b/(-9). Suppose -v*r = -0*r - 6. Solve -5*z - 3 - r = 0 for z.
-1
Let v(l) = -l**2 - 14*l + 4. Let d be v(-14). Solve -20 = d*w - 0*w for w.
-5
Let h(l) = 2*l + 8. Let w be h(-4). Solve w = 5*o - 0 - 25 for o.
5
Suppose 4*w - 5*x - 15 = 0, 3 = 2*w - 2*x + x. Solve 2 + w = 2*d for d.
1
Let u(v) = -v**3 + 5*v**2 + 7*v - 6. Let t be u(6). Solve 0 = 2*w - t - 8 for w.
4
Let h(a) = -a + 13. Let s be h(8). Solve -1 = -s*z + 9 for z.
2
Let d be (-1)/2 - 70/(-20). Solve 5*f + 23 - d = 0 for f.
-4
Suppose 2*x - 45 = -x. Let b be (x/(-2))/((-3)/4). Solve 0 = -3*c + b + 5 for c.
5
Let f = -20 - -22. Suppose -4*v = -2*x - 2, -2*v + 5*x - x = f. Solve -3*p + v = 13 for p.
-4
Suppose i - 3 = 2*i. Let c be (6/i*-3)/1. Suppose 6 + c = 4*x. Solve 0 = -2*b + x*b - 4 for b.
4
Suppose 2*b + 8 = -2*q + 28, b - 4*q = 5. Solve r - 4 = -b for r.
-5
Let s be (0 - (-13 - 2))*-1. Let q be (s/6 - -2)*-4. Solve q + 2 = -2*n for n.
-2
Suppose -2*f + 1 = -3. Suppose -5*g = -0*g + 70. Let v = -7 - g. Solve -1 = f*o - v for o.
3
Let q(p) = -p**2 + 4*p + 9. Let r be q(5). Solve o - r*o = 6 for o.
-2
Let d = 2 + -5. Let l(p) = p + 3. Let o be l(d). Suppose 4*m - 4 = -2*v - 0*v, o = 2*m + 4. Solve -2*a + v*a = 0 for a.
0
Suppose 0 = -2*b + 2*p + 10, 4*b - 5*b + 4*p + 8 = 0. Solve 2 + 2 = -b*i for i.
-1
Suppose 3*x - p = -0*p + 2, 4*x - p - 1 = 0. Let f be (-3)/3*x*6. Solve -5*u + 4 = -f for u.
2
Suppose -5*d - 134 = -0*r + 4*r, -4*r + 100 = -4*d. Let u = 55 + d. Solve 4*y - 9 = -u for y.
-5
Let g(x) = x**3 + 6*x**2 + x + 6. Let p be g(-6). Suppose 4*m = i + 156, -m - 4*i + 17 + 5 = p. Suppose 0 = 5*l + m - 163. Solve 0*w + l = -5*w for w.
-5
Let l(t) = 10*t. Let p be (-3)/(-9) - (-4)/6. Let s be l(p). Let z = -5 + s. Solve 6 = -2*w + z*w for w.
2
Let g(s) = -3*s - 15. Let v(y) = 4*y + 16. Let l(a) = -5*g(a) - 4*v(a). Let k be l(9). Suppose 5*x + 5*p = 0, -x = k*x - 4*p - 28. Solve -6 = 2*r + x for r.
-5
Let c be (-2)/(-1)*(-33)/(-6). Let h(j) = j - 2. Let n be h(-6). Let f = c + n. Solve f*w = w for w.
0
Let j = 20 + -16. Solve 0 = -6*k + j*k + 6 for k.
3
Let s be (-2)/10 + 132/60. Solve r - s = -r for r.
1
Suppose 5*q + 20 = 3*y, 