b + r*b = -9 for b.
3
Suppose 5*b - x - 22 = -4*x, 6 = -b + 2*x. Let r(s) = -s**2 - 9*s - 8. Let l be r(-7). Let q(m) = -m**2 - 5*m - 2. Let j be q(-2). Solve 0 = j*v - l + b for v.
1
Let i(f) = -2*f + 1. Let y be i(-2). Solve y = -3*n + 20 for n.
5
Suppose h - 20 = 3*z, 12 = 2*h - 4*z - 18. Solve h*a + 8 = -7 for a.
-3
Suppose -n - 2*p + 2 = -4, n - p = 0. Suppose -12 = -2*s - 2. Solve -n*q + s + 5 = 0 for q.
5
Let n = 2 - -9. Let d be 6/33 + 53/n. Solve d = 5*r - 15 for r.
4
Let i(h) = h + 1. Suppose f = -2*b + 13 + 3, 3*f - 34 = -4*b. Let s be i(b). Solve -3*u + 2 = s for u.
-2
Suppose -24 = -7*z + 3*z. Let k = -4 + z. Solve k = 4*c - 10 for c.
3
Let o = 10 + -7. Suppose n = 2*n + 2. Let v = n + o. Solve -2*t + 7 = -v for t.
4
Let d(b) = b**2 - 4. Let z be d(3). Suppose 5*m - z = -0*m. Let v be m/(18/15 + -1). Solve -g + v*g = 12 for g.
3
Let o(x) = x**3 - 8*x**2 + 14*x - 10. Let k be o(6). Solve c - 3 = -k for c.
1
Let u = 39 - 37. Solve -n - u = n for n.
-1
Suppose t + 21 = 4*t. Let z = t - 3. Solve -z = -2*p - 6 for p.
-1
Suppose 7*f = 3*f - 8. Let p be ((-1)/f)/(1/10). Solve 0 = 5*l + p + 5 for l.
-2
Suppose -5*f - 2 = -3*n, -5*f + 0 = -2*n - 2. Solve 0*v = -n*v for v.
0
Let a be (-2)/(-4)*(1 - -1). Let k be (a/1)/(-1) - -7. Let m = k - 5. Solve -2 - m = -3*z for z.
1
Let k = -13 + 33. Suppose -4*t - k = 8. Let u be (-2)/t - (-96)/56. Solve 0 = -2*a - u for a.
-1
Let n be (-6 + (-8)/(-2))/(2/(-4)). Solve n*m + 8 = -0*m for m.
-2
Let x be 2/(-2) - (10 - 15). Solve 0 = 5*s - x*s + 3 for s.
-3
Let z be 40/14 - 2/(-14). Solve z*c + 0*c - 6 = 0 for c.
2
Let o be (0 + 1)/((-2)/(-10)). Let b(v) = v - 5. Let t be b(o). Let w be (-26)/(-10) + (-8)/(-20). Solve w*j + 3 + 0 = t for j.
-1
Let p(u) = u + 10. Let a be p(10). Solve 3*q - 8 = -a for q.
-4
Suppose -2*z + 20 = -z. Let h be (-3 - -1)*z/(-8). Suppose -h*x + 8 = -7. Solve x*g - 4 = g for g.
2
Suppose 5*i = 20, 2*f + 14 = 3*i + 2*i. Let x be (f - (12 + 2))*-1. Solve 3*p + 2 = x for p.
3
Let w(l) = -l**2 + 8*l - 7. Let m be (-12)/(-14)*(12 - 5). Let v be w(m). Solve v*g + 10 = -10 for g.
-4
Let o be ((-35)/(-15))/(-7)*-9. Let r = -1 + 1. Solve -o*p - 2*p + 5 = r for p.
1
Suppose 0*h - 11 = -2*o + h, -o = h + 2. Let v(f) = -5*f**o + 3 + 4*f**3 - 7*f**2 + f - 2*f. Let d be v(-7). Solve -3*g = 2*g + d for g.
-2
Let g(u) = u**3 - 7*u**2 + 12*u - 10. Let i be g(5). Solve i*k - 30 = 6*k for k.
-5
Let f(b) = 5 - b**2 + 3 - 7 - 8*b. Let r be f(-7). Solve r = -2*s + 6*s for s.
2
Suppose 12*z = 9*z. Solve 0 = 2*c + 2 - z for c.
-1
Let j = -29 - -32. Solve -a + j = 5 for a.
-2
Let k be (-39)/(-15) + ((-8)/20)/(-1). Solve 3 - 6 = -k*n for n.
1
Let i(t) = -6 + 5 + 0*t - t. Let y be i(-1). Solve 3*q = -y*q - 15 for q.
-5
Let p = -75 + 78. Solve d = -p*d - 16 for d.
-4
Let q = -35 + 75. Let y be 12/(-10)*q/(-3). Solve -3*s = s - y for s.
4
Let o = 0 - 0. Let n be (0 - (5 + -2)) + 3. Suppose -5*j + n = 2*r - 2, -4*j + r - 1 = 0. Solve j = -o*x - x - 1 for x.
-1
Let y = -16 + 23. Let x(t) = -2*t**3 - t. Let r be x(-1). Suppose 3*n + 3*q - r = 4*q, 0 = -5*n - q - 3. Solve n = f + y - 4 for f.
-3
Suppose 3*q = -222 + 252. Solve -35 + q = -5*t for t.
5
Let n = 0 - -4. Suppose -3*t = -n*p - p - 34, -t - 4*p - 17 = 0. Solve -3 = t*u - 0*u for u.
-1
Suppose 0 = 4*z - 9*z + 10. Suppose -2*f - 14 = -2*t - z*t, -5*t + f + 22 = 0. Solve -16 = t*h + 9 for h.
-5
Let y be (0 + -10)/(2/4). Let s be (-8)/y - 26/(-10). Solve s*i + 2 = -4 for i.
-2
Let b be (2/(-2) + 0)*11. Let h = -6 - b. Solve 7*n + h = 2*n for n.
-1
Let b = 1 + -1. Suppose 2*z + 4*y = 18, b*z + 4*z + y = 15. Let k be (-2)/8 - (-2)/8. Solve k = -3*a + z - 15 for a.
-4
Suppose 3*z - t - 58 = -0*t, t - 18 = -z. Suppose -3*u + z = 4. Solve 0 = u*n - 3*n + 4 for n.
-2
Let w be (-80)/(-100) - 16/(-5). Solve -3*x + 4 = -w*x for x.
-4
Let k(a) = -a. Let i be k(-6). Suppose 2 = -5*o - 3*f, 2 = -4*o - 3*f - 2. Let p = i - o. Solve 0*d + p = 2*d for d.
2
Let i(f) = -3*f. Let m be i(-1). Let h(k) = k - 3. Let j be h(3). Solve j = -m*b + b + 4 for b.
2
Suppose 0 = 4*n - 4*i + 21 - 89, 3*i - 6 = 0. Let p = -13 + n. Solve -2*h + 0 = -p for h.
3
Let s(d) = -d**2 + 7*d - 3. Let t be s(6). Suppose c - 20 = -t*c. Suppose -q - 2 = -4*v, -c*v = -3*q - 0*q + 1. Solve q*n - 13 + 3 = 0 for n.
5
Let d be (-3)/((-3)/10) - 4. Let b(u) = 3*u**3 + 8*u**2 - 2*u**2 - 4*u**3. Let x be b(d). Solve x = 3*r - 0*r for r.
0
Let c be (4/(-6)*9)/(-1). Suppose -4*p + 2 = -c. Solve 0 = 3*f + 10 + p for f.
-4
Suppose -z = 3*z - 12. Suppose 1 = -3*o - 3*c + 13, -4*o - z*c + 15 = 0. Let f(h) = -h**2 + 5*h - 3. Let j be f(4). Solve j - o = w for w.
-2
Let l = 22 + -33. Let o be (-4)/(-14) + (-248)/(-14). Let j = l + o. Solve -2*t + 15 = -j*t for t.
-3
Let l(c) = -c**2 - 5*c - 4. Let m be (-3 - (-2 + 1)) + -1. Let p be l(m). Suppose p = -k + 12. Solve r + k = 3*r for r.
5
Let g(p) = -p + 23. Let c be g(0). Suppose -2*m - 34 = -2*w, -3*w + 5*m - c = -70. Suppose 2*l - 3*d = w, -5*l + 2*d + 21 = 1. Solve -l*b = 2 + 2 for b.
-2
Suppose -4*j = -j - 12. Solve j*y = -y - 20 for y.
-4
Let q(g) be the second derivative of -1/12*g**4 + 1/20*g**5 + 0 - 2*g + 1/6*g**3 - g**2. Let a be q(2). Solve -a*n - 6 = -2*n for n.
-3
Suppose 0 = 3*k - 3 - 9. Solve 25 = y + k*y for y.
5
Suppose 27 = 4*j - 33. Solve -2*c + j = -7*c for c.
-3
Let k(o) = -4*o - 3. Let w = -11 + 9. Let i be k(w). Solve i*j + 5 = -0*j for j.
-1
Let d(r) = -r**3 + 8*r**2 - 5*r - 5. Suppose 0 = 3*v + 3 - 24. Let s be d(v). Let o be 0 - -1 - (-2 + 0). Solve 6 + s = o*j for j.
5
Let v(h) = 6*h**2 + 2*h + 1. Let w be v(-1). Let g be ((-4)/(-3))/(4/6). Solve -g*s + w*s = -6 for s.
-2
Suppose 0 = -4*y - 0*y + 44. Suppose -y = -2*v + 3. Suppose 0 = -2*i + v*i. Solve 4*h + 5 + 7 = i for h.
-3
Suppose -3*p = -o - 22, 2*o + p + 27 + 3 = 0. Let a be (-4)/o - (-22)/8. Solve -a*h = 1 + 2 for h.
-1
Let y be (-29)/(-6) - (-1)/6. Suppose 5*s - 5*d + y = 0, -s = -5*d - 4 + 21. Solve -x - 4 = -s for x.
-1
Let k(l) = l**2 - 2. Let x be k(3). Suppose 3*q + 5*z = -22 + x, -5*q - 3*z = 9. Suppose q = j + 2*j. Solve r = -j*r - 3 for r.
-3
Let j = -3 - -3. Suppose j*s + 60 = 3*s. Suppose 4*z - 7 = 1. Solve z*m + 3*m - s = 0 for m.
4
Let q = -5 - 10. Let p be q/20*(1 - 17). Let x be (-4)/p - 1/(-3). Solve -h - 1 + x = 0 for h.
-1
Let z be 2 + 3*(-1)/(-3). Let k = 0 - -3. Solve -2*r = -z - k for r.
3
Let h(n) = -n + 11. Let t be h(6). Solve -t*r = 30 - 10 for r.
-4
Suppose -u + 15 = 3*o, -4*u - 36 = -5*o + 6. Solve -r = -8 + o for r.
2
Suppose 0 = -3*l - 5*x + 28, -4*x + 2 = -l - 0. Suppose -11 = -3*u + n, 6*u - 2*u + 4*n = -12. Let a be (8/l)/(u/6). Solve 6*r - a*r = 6 for r.
3
Let o(q) = q**3 + 7*q**2 + 4*q - 8. Let y be o(-6). Solve -2*m + 8 = -y*m for m.
-4
Let q be 1/3 + (-77)/(-3). Suppose q*b = 22*b + 60. Solve 2*c + c = b for c.
5
Suppose -d + 8 = -0*d. Solve -t - d = t for t.
-4
Let f be 3/12 + 2/(-8). Suppose 3*r = -2*l + 11, -3*l = -2*r + 2 + 1. Suppose f = -r*u + u + 14. Solve -4*g + u*g - 12 = 0 for g.
4
Let n = 20 + -14. Let y be -3 - 9/n*-2. Solve -5*l = 20 - y for l.
-4
Let i(j) = -j**3 - j + 1. Let r(w) = -7*w**3 - 4*w + 7. Let u(g) = -6*i(g) + r(g). Let l be u(-2). Let x = -3 + 6. Solve l*p = 2*p + x for p.
1
Let i = -18 - -8. Let a be (-5)/(i/4) + -2. Solve a = -2*f - 2 - 2 for f.
-2
Let s = -23 - -27. Solve 0*a + 20 = s*a for a.
5
Let x(u) = u + 11. Let d(l) = l**2 + 5*l - 6. Let i be d(-5). Let s be x(i). Solve q = s*q - 20 for q.
5
Suppose 2*f = 4*k + 34, 2*f = 2*k + 11 + 5. Let o be (6/(-4))/(k/132). Solve -5*v - o = -2 for v.
-4
Suppose 2*b + 4 = b. Let i = 6 + b. Solve 4*g - i = 5*g for g.
-2
Let w(x) = -2*x**2 - 6*x + 5. Let k(p) = -p**2 - 3*p + 2. Let r(c) = -5*k(c) + 2*w(c). Let s be r(-3). Solve -l + 6*l = s for l.
0
Let n(w) = w**3 - 6*w**2 - 9*w + 14. Let o be n(7). Solve o = 2*s + 2*s + 12 for s.
-3
Let q(f) = -f**2 + 11*f + 6. Let t be q(11). Let u = t + -8. Let d be u/5 - (-27)/5. Solve -d = 2*h + 3*h for h.
-1
Suppose 14 = 2*d + 2*m, 2 + 33 = 2*d - 5*m. Let r = 0 + 0. Solve 0*u + 5*u - d = r for u.
2
Let c(m) = m + 5. Suppose -4*i + 2*k - 6*k = 8, 6 = i - 3*k. Let q be c(i). Suppose 3*j - q = 22. Solve 3*p + 3 = j for p.
2
Let k = 24 + -7. Solve 3*j + 2 = k for j.
5
Suppose -5 = -2*n + 7. Suppose 2*r + 2*f + 22 = n*r, -5*r - 5*f = -5