 + 5*b - 10 = 0, d*o - b = o + 10. Solve 0 = 3*m + 2*m - o for m.
2
Let w be (1*2)/(4/(-6)). Let p = 8 + w. Let r = 35 - 20. Solve p = -2*c + r for c.
5
Let s = -249 - -286. Solve -4*w = -17 + s for w.
-5
Suppose 3 = 5*n - 2. Let k(x) = x**3 + 11*x**2 - 10*x + 3. Let a be k(-11). Suppose a = 5*m - 2*h, 3*h - 5 - 67 = -4*m. Solve m = 5*u + n for u.
4
Let k be (2/(-4))/((-5)/390). Suppose 0 = -4*w + 2*c + 58, 2*w - c - 2*c = k. Solve 2*r + w = -2*r for r.
-3
Let d(f) = 30*f - 350. Let s be d(12). Solve -16*g = -s*g + 18 for g.
-3
Let c = -9 + -10. Let z = c - -21. Suppose -n = l - 2*l - 1, 2*l = -z*n - 2. Solve -3*i + n*i = -3 for i.
1
Suppose 2*f + 5 + 5 = 0. Let d(o) = -2*o - 12. Let k be d(f). Let j = k - -4. Solve z + j = 3 for z.
1
Suppose 5*d + 968 = -1682. Let n be (-1)/(d/(-177) - 3). Let k be 4/16 - n/(-12). Solve 6*i - i = k for i.
3
Let p(g) = -g + 2. Let j be p(-6). Let t = 1 + 1. Suppose m + 5 = 2*x + 6, m - 5*x + t = 0. Solve -s + j = -m*s for s.
-4
Let y be (-60)/(-8)*((-40)/15)/(-2). Solve -3*f + f = -y for f.
5
Let h(b) = -22*b + 122. Let a be h(5). Suppose -2*c - 2*c + 20 = 0. Solve -c*m = -a - 13 for m.
5
Let k(w) = w**2 - 2*w - 4. Let f be k(6). Let x(d) = d**2 + d + 7. Suppose -3*h + 4 = 4*u - 8, -3 = -h - u. Let v be x(h). Solve -3*m + f = -v*m for m.
-5
Suppose -3 = -3*m - 4*w + 2*w, 0 = 5*m + 2*w - 9. Let d = -412 + 429. Suppose -d = -m*i - 8. Solve i*j + 7 + 8 = 0 for j.
-5
Let g = -80 - -29. Let y = g + 74. Suppose 4*r + 15 = y. Solve 0*b = r*b for b.
0
Let t(v) = v**2 - 9*v + 32. Suppose 29 = -a + 33. Let o be t(a). Solve -2*g + o = -5*g for g.
-4
Let q be (1 + (-20)/(-30))*6. Solve -18*r + q*r = -40 for r.
5
Let k = 673 + -665. Let v(s) = 2*s**2 + 2*s + 1. Let t be v(-2). Solve 7 = -t*x - k for x.
-3
Let r(l) = -9*l**3 - l**2 + 1. Let f be r(-1). Let p(o) = -4*o**3 - 26*o**2 - 7*o + 34. Let c be p(-6). Solve -c*a = -a - f for a.
3
Suppose -6 = 5*m + m. Let a be -66*m/4 - 12/8. Solve 2*c + 3*c - a = 0 for c.
3
Let r(c) = -2*c - 9. Suppose 3*i = 2*i. Let k be -4 + -3 - (-1 - i). Let v be r(k). Solve v*l - 7 = 2 for l.
3
Let n(k) = 10*k**3 - 3*k**2 - k + 3. Let c be n(1). Solve 14 + 13 = c*l for l.
3
Let l be 168/32 + (-6)/(-8). Let q = 1 + 7. Let p = q - l. Solve 0*y + 4 = p*y for y.
2
Let x(b) = -b**2 + 8*b + 5. Let o be x(8). Solve 0 = o*i - 0*i + 25 for i.
-5
Let n(a) = a**3 - 5*a**2 - 13*a + 45. Let t be n(6). Solve -6*i + t = 15 for i.
-2
Let m(h) = 2*h**2 + 6*h + 3. Let k be m(-3). Solve -6 = -0*t - k*t for t.
2
Let t = 41 - 31. Suppose 3*x + 2*p - t = -3, 3*p = x - 6. Solve x*o + 0*o = -12 for o.
-4
Let t(s) = s**3 - 7*s**2 - 8*s + 2. Let i be t(8). Suppose 6 = 6*b - 3*b + 5*x, -2*x = b - i. Solve 0*f = -f - b for f.
-2
Let m(l) = 8*l - 6. Let d be m(-9). Let z be d/(-10) + 3/15. Suppose 2*a - z = -2*a. Solve -a*u = -u + 4 for u.
-4
Let l = -53 + 51. Let q = -2 - l. Solve q = 2*a - 1 + 3 for a.
-1
Suppose -37 = -2*v - v - 2*r, 5*v + 3*r - 63 = 0. Solve q = 6*q - v for q.
3
Let j be (-3)/(-4) + (-54)/(-24). Solve 12*a + j = 13*a for a.
3
Let c(m) = m**2 - 2*m - 1. Let w be c(3). Suppose 5*h - w = 3*k + 10, -4*h = 3*k + 12. Let q be 4*-2 + 4 + 9. Solve -q = n - h*n for n.
-5
Suppose -45*p + 38*p + 63 = 0. Let v be ((-30)/(-25))/((-6)/(-20)). Suppose 4*h - 5*h = 2*j - 9, 3*j = 2*h - v. Solve 2*c - h*c = -p for c.
3
Suppose 2*p + 6 = 4*p. Let y be p/(-2 - 1)*-3. Let q = -5 - -9. Solve -q + 10 = y*l for l.
2
Let k be ((-1)/2)/((-1)/4). Let i be k/(1*(-2)/(-14)). Let q = i - 12. Solve -q*z + 2 = -0 for z.
1
Suppose 4*c = 4*r, -r = -4*c - 3*r. Solve c = i - 4 - 0 for i.
4
Suppose -n + 17 = 3*m - 0*m, 4 = -4*n. Suppose -m*z + 4*z + 8 = 0. Suppose 4*s - 2*c - 50 = 0, -z*s - 6*c + c + 43 = 0. Solve 4*h = h + s for h.
4
Suppose 18*v - 16*v - 14 = 4*w, 0 = -4*w + 12. Solve -2*f = v - 9 for f.
-2
Let r be (-13 - -15)*31/1. Suppose r*b + 5 = 63*b. Solve -x = 3 - b for x.
2
Let z(k) = 2*k**3 - k**2 - 5*k + 4. Let g be z(2). Solve -m = -g*m - 15 for m.
-3
Let k(g) = -g**3 - 15*g**2 + 14*g - 25. Let x be k(-16). Solve 19 = 3*t + x for t.
4
Let n(g) = g**3 + 2*g - 5. Let x be n(3). Solve -3*i - x = 4*i for i.
-4
Suppose -7*q + 22 = -5*q - 3*h, -8 = -4*h. Solve -2*b - q = -4 for b.
-5
Let o = 33 + -12. Suppose 31 = 3*f - 11. Suppose -c - o = -5*v, -c = -2*c - 2*v + f. Solve y - 2*y + c = 0 for y.
4
Suppose 95 = 14*b - 311. Solve -b + 24 = -l for l.
5
Let o be (-1)/((-2)/2) + -3. Let j be -2 - o/(1 - 0). Let m = 3140 - 3136. Solve j = -m*x - x for x.
0
Suppose -4*a = -9*a - 15. Let x be (a/(-6) - 0)/((-2)/(-68)). Solve 16*n = x*n - 3 for n.
3
Let h(l) = -3*l**3 - l**2 - 9*l - 9. Let t be h(-1). Solve -16 = t*w + 2*w for w.
-4
Let q be -5 + 14 + 60/(-12). Solve -9*u - q = -11*u for u.
2
Suppose -j = -4*a - 7, 5*j + 2*a + 32 - 89 = 0. Suppose 2*w - 14 = -2*o, 5*w - 4*o + 3*o - 47 = 0. Suppose w*d + 12 = 13*d. Solve j = d*g - 1 for g.
4
Let i = 860 + -858. Suppose -12 = 3*w - 6*w. Solve -w = -l + i*l for l.
-4
Let u(a) = a**2 - 16*a + 15. Let q be u(15). Solve -7*y + q = 7 for y.
-1
Let f be 12/(5 + -11) - -7. Suppose 3*u - 4*g + 7 = 0, 2*g - 38 = -5*u - 15. Solve -12 = f*k + u for k.
-3
Suppose -4*d = -51 + 19. Solve -d*k + 5 = -7*k for k.
5
Let l be 112/5 - (-6 - 54/(-10)). Solve l = -5*s + 8 for s.
-3
Let x be (0 - 2/(-6))*6. Suppose -2*i = -d - 15, -2*i + d + 35 = x*i. Solve -3*b - 1 = -i for b.
3
Suppose 0 = -3*j - 9, 0*c = -c + j + 7. Let p(q) = q**3 - 2*q**2 - 8*q + 2. Let r be p(c). Let u = 4 - 3. Solve r = -x - u for x.
-3
Let r be 1/2 - (-27)/6. Let h be 120/50 - (-3)/r. Suppose 0 = n - 2*n + h. Solve -n*k - 12 - 3 = 0 for k.
-5
Let j(g) = 15*g - 60. Let x be j(4). Solve r + 2 + 3 = x for r.
-5
Let l = -242 - -243. Solve 3 = -t + l for t.
-2
Let d(q) = -q**3 - q**2 + q + 3. Let v be d(-2). Suppose 0 = -v*w + 13 + 2. Solve 2*l - w = 5*l for l.
-1
Let s = -8 + -4. Let r = s + 17. Suppose r*g - o - 2*o = 0, -g + 28 = 5*o. Solve 2*z = g*z - 4 for z.
4
Let n = 494 + -491. Suppose -t - 16 = -5*t. Solve -t*y = n - 19 for y.
4
Let z(f) = 6*f - 19. Let n be z(4). Suppose m = -1, t - 23 = -2*t + n*m. Solve 0*d - 3*d - t = 0 for d.
-2
Let v = 472 - 375. Solve 0 = -3*t - 91 + v for t.
2
Suppose 0 = 5*s - 2*g + 8, -4*g = -0*s - 5*s - 16. Let y(u) = u - 14. Let x be y(14). Solve x = 2*m - s - 4 for m.
2
Let m be ((-96)/(-9))/(-4)*(-6)/2. Suppose 5*c - 25 = -2*o, -3*c = -m*c + 4*o + 25. Solve 4 + 6 = c*l for l.
2
Suppose -15*u - 20 = -10*u, 2*y + u = 0. Solve -y*d - 15 = d for d.
-5
Let c(p) = -p - 14. Let v be c(-16). Let q be -15*((-7)/3 + v). Solve -3*o + 2*o = q for o.
-5
Let r be -1*(6 + -14 + 5). Solve -r = -2*s + 3 for s.
3
Let u(j) = 7*j**3 - 13*j**2 - 14*j + 1. Let a(l) = 6*l**3 - 13*l**2 - 14*l + 2. Let d(g) = 6*a(g) - 5*u(g). Let o be d(14). Solve -2*s = -1 - o for s.
4
Suppose 5*p + 107 = 142. Solve 2 = -w + p for w.
5
Let q(n) = -5*n + 57. Let h be q(9). Solve 0 = -14*k + 11*k - h for k.
-4
Let h(a) = a**3 + 17*a**2 + 8. Let l be h(-17). Suppose -p = -l*p. Solve 0*g - 2*g + 6 = p for g.
3
Let x be (3/5*2)/(-2*108/(-360)). Let f = -5 + 8. Suppose -f*m = -0*m - 30. Solve m - 2 = x*l for l.
4
Let g = -42 + 45. Let r(d) = -d**3 + 10*d**2 - 9*d + 2. Let u be r(9). Solve g*v - u = 4 for v.
2
Let r be (3 - 2 - -14)/1. Suppose -8*d + 151 = r. Solve 2 = -5*f + d for f.
3
Let r(v) = v**2 - 16. Let p be r(4). Solve p*z = -3*z + 6 for z.
2
Let k = 82 + -79. Suppose 0 = -z + k*x - 4, -3*z + 4*x - 2 = -0*x. Solve 0 = -z*u - 3*u for u.
0
Let u(s) = -s**2 + 9*s + 4. Let x(p) = -p**3 + 5*p**2 - 3*p + 4. Let d = 5 - 1. Let m be x(d). Let k be u(m). Solve 3*a - k = 7*a for a.
-3
Let k(l) = -2*l + 18. Let d(r) = r - 9. Let u(n) = -11*d(n) - 6*k(n). Let b be u(9). Solve b = -0*q + q + 2 for q.
-2
Let t = 419 - 417. Solve 0*p = -t*p - 2 for p.
-1
Suppose -40*t + 10*t + 120 = 0. Solve 5*b - t*b - 4 = 0 for b.
4
Let c = 63 - 58. Solve -3*o = c*o - 5*o for o.
0
Suppose 4*t = -9*b + 6*b + 28, t + 85 = 5*b. Suppose 5*c - 16 + 1 = 0. Solve 0 = -c*g - g - b for g.
-4
Let x(z) = -4*z + 2. Let p be x(3). Let a be 4/p + 81/15. Suppose -5*t - 4*o = -35, 16 = -3*t + o + 4*o. Solve a = r + t for r.
2
Suppose 0 = 5*t, -8 = -2*i - 2*i - 4*t. Suppose 0 = 3*y - i*y + 2*b + 31, -89 = 3*y + 4*b. Let x = y + 31. Solve 3*p - 5 = x for p.
3
Let p be 3/(-1 - 10/(-4))