Suppose 0 = -3*d + 5*d + 58. Let n = 32 + d. Solve u + n = 4*b for b.
2
Let v(s) = s**2 - 9*s + 4. Let n be v(9). Let k be n/(-30) - ((-276)/45 - -6). Solve -5*i + 5 + 0 = k for i.
1
Let z(q) = -q**2 + 5*q + 4. Let p = 29 - 24. Let h be z(p). Suppose -2 = h*u - 34. Solve 5*b - u = b for b.
2
Suppose 0 = -7*x + 62 - 6. Solve x*i = 14*i + 24 for i.
-4
Suppose -2*m - 438 = -5*w - 4*m, 4*w = -5*m + 364. Solve -4*y - w = -66 for y.
-5
Let p(n) = -2*n + 8. Let c be p(4). Suppose 3*w = 5*z + 11, -w + 11 = 2*z - 0. Suppose c = -2*l - 3 + w. Solve l = r + r for r.
1
Let s be (-1)/(2/(-6)*1). Suppose 0 = -5*b + 3*n - 5*n + 17, s*n = 3*b - 27. Suppose -9 = -b*o + 11. Solve 3*w + 2 = o*w for w.
2
Let v = 304 + -301. Solve -10*h = -v*h - 7 for h.
1
Let o = 986 - 978. Solve -o*s = 27 + 13 for s.
-5
Suppose 2*c = -8*y + 3*y + 45, 0 = y + 5*c - 32. Suppose 11 + y = 6*l. Solve 2*n = 3 + l for n.
3
Let w = 86 + -84. Solve 0 = y + w*y for y.
0
Let i be (-6)/(-8)*(0 - -4). Solve -2*x = -5 - i for x.
4
Suppose 4*u - 218 = -2*f, -4*u + 330 = 3*f - u. Let r = f - 105. Solve d - 4 = -r for d.
-2
Let u = -2258 + 2296. Solve 40*f + 10 = u*f for f.
-5
Let w(o) = 5*o + 10. Let i(c) = 4*c + 9. Let s(p) = 6*i(p) - 5*w(p). Let l be s(3). Solve 4*x - l = -9 for x.
-2
Suppose 11*p + 329 = 384. Solve -p*r = -21*r + 64 for r.
4
Let m = 16 - 12. Suppose -2*u + m = -0*u. Suppose g - 6*g + 18 = 3*k, -5*k + 11 = u*g. Solve r - g = -2*r for r.
1
Let i = 0 - -3. Let q(b) = 10*b**2 + 4. Let c be q(0). Solve -c*l = 5 + i for l.
-2
Suppose 0 = 4*y - 18 - 6. Let i be (1 + 0)*((-1 - 3) + y). Solve -4 - 2 = -i*c for c.
3
Let w = 4 - 0. Let f = 16 - 14. Let t be f/3 + (-6)/9. Solve 2*o - w = -t for o.
2
Let i be (-1)/(-2) + (-49)/(-14). Solve -i*c = -3 + 7 for c.
-1
Suppose -2*q - 4*h = 2 + 12, -4*q + 22 = -2*h. Solve 7*b = q + 4 for b.
1
Let f = -99 + 124. Let s = f - 13. Solve -q + s = 3*q for q.
3
Let g(o) = -7*o - 37. Suppose 10*n - 6*n = -24. Let i be g(n). Solve -6 = -i*z + 2*z for z.
2
Suppose 0 = -0*m - m + 3. Suppose 4 = -17*f + 208. Solve m*z = -z - f for z.
-3
Let z(r) = r**3 + 16*r**2 + 16*r + 19. Let g be z(-15). Suppose -o + t = -3*t - 24, 0 = -2*o + g*t + 32. Solve 0*c = -2*c - o for c.
-4
Let q = -6 - -12. Suppose 2*m - u = q, -2*m + u = m - 9. Suppose m*r - 1 - 8 = 0. Solve -r*w = -6 - 3 for w.
3
Suppose m + 5*l - 7 = 0, 2*m - 9 = -3*m + l. Let q be (-52)/(-16) - (0 + (-9)/12). Solve m*j + 2 = q for j.
1
Suppose 48*h = 52*h - 32. Solve -h*k - 1 + 33 = 0 for k.
4
Let k = -241 - -249. Solve -3 + 35 = k*h for h.
4
Let y be (4/7)/((-160)/(-2800)). Solve y - 2 = -4*m for m.
-2
Let b be (6/15)/(5/75). Let x be -3 + (-83)/(-17) + b/51. Solve l - x = -3 for l.
-1
Let l(p) = -3*p**2 + 29*p - 15. Let k be l(9). Solve 0 - 12 = k*f for f.
-4
Let f(w) = w**3 - 8*w**2 - 11*w + 18. Let o be f(9). Solve o = 4*n - 2 + 18 for n.
-4
Suppose -5*l = -4*i + 133, 5*i - 18 = 3*l + 145. Let d = i - 31. Solve 2 = k + d for k.
1
Let b(c) = 2*c**2 - 61*c + 200. Let o be b(27). Solve -o*x + 4*x - 21 = 0 for x.
-3
Let w = 1462 - 1435. Solve u + 28 = w for u.
-1
Suppose 0 = -6*z + 17*z - 1100. Let r = z - 96. Solve -2*g - r - 2 = 0 for g.
-3
Let w(h) = -h**3 + 8*h**2 - 3*h + 2. Let v be w(7). Let y be (-160)/30*(v/8)/(-1). Solve -y = 5*q - 10*q for q.
4
Let t = 36 + -36. Solve t*i = -8*i + 8 for i.
1
Let z(d) = -d**3 - 6*d**2 - 30*d - 9*d - 19 - 14*d**2 + 59*d. Let v be z(-21). Solve 4 = -0*h - v*h for h.
-2
Let b(h) = -3*h**2 - 12*h. Let t(z) = -z**2 - 4*z. Let s(d) = -6*b(d) + 17*t(d). Let a be s(-5). Let q = 8 - a. Solve q + 3 = -3*v for v.
-2
Suppose -5*r + o = -4, -5*r + 8 = -2*o - 0. Suppose 3*p + 2*i = -r*i + 28, -3*p = -5*i - 14. Solve 3*w = -p + 2 for w.
-2
Let u(t) = -t**2 + 12*t - 3. Let d = -6 + 10. Suppose -d*k = 2*a - 2 - 4, -5*k - 75 = -5*a. Let r be u(a). Solve y = -y - r for y.
-4
Suppose -2*p + 32 = -6*p. Let l(z) = z**3 + 9*z**2 + 9*z - 5. Let y be l(p). Let b = 17 + y. Solve b*u - u = 3 for u.
1
Let u(j) = -j**2 + 15*j + 1. Let s(k) = -k**2 + 16*k + 1. Let v(x) = -5*s(x) + 6*u(x). Let l be v(6). Solve 7*q - l = 2*q for q.
5
Let g(b) = -b**2 - 12*b - 1. Let q be g(-11). Let u be 144/30 + (-8)/q. Solve 0 = u*m + m + 25 for m.
-5
Let y(s) = -3*s + 3. Let r be y(-4). Let b = -13 + r. Let o be 7 - (b + (1 - 2)). Solve 0 = -m + 4*m - o for m.
2
Let u(t) = -4*t**2 - 4*t - 3. Let k be u(3). Let h be 272/k*6/(-2). Solve -2*z + h = 2*z for z.
4
Let d(f) = 7*f + 89. Let a be d(-11). Solve -17*s - 20 = -a*s for s.
-4
Let a be (-92)/(-6) - (-1)/(-3). Let z(f) = f**2 - 3*f + 5. Let b be z(4). Suppose q = 5*t - b, 3*q - 1 = 2. Solve t*d + 3*d + a = 0 for d.
-3
Let z = -8 - -14. Suppose -z*j - 7 = 17. Let v be 3/((-2 - 2)/j). Solve 4 = v*g - g for g.
2
Let b(f) = -f**2 - 2*f**2 + 2*f**2 + 2*f + 3*f**2 - 6. Let m be b(2). Solve 4*c - m = 6*c for c.
-3
Suppose 5*p + 8*y - 3*y - 85 = 0, -3*y + 6 = 0. Solve 7*z + 1 - p = 0 for z.
2
Let l = -9 - -14. Suppose -2*y = 3*s + 4, 5*s = -5*y - l - 0. Let d be (6/(-9))/(s/9). Solve 2*r = -d*r for r.
0
Let a(x) = x**2 + 3*x - 2. Let v be a(-4). Suppose -v*i + i - 13 = -4*d, i + 4*d + 37 = 0. Let y = 25 + i. Solve t + y = -2 for t.
-2
Let f be 3/(9/(-12)) - -2. Let x be (-221)/26 - f/(-4). Let r = -7 - x. Solve r*s - s - 5 = 0 for s.
5
Let i be ((-36)/(-10))/(9/30). Solve 4*g = -i - 0 for g.
-3
Suppose 3 + 5 = 4*i. Suppose -7 = 4*g + 2*x - 7*x, 0 = -3*g - i*x + 12. Solve 3*r = 1 + g for r.
1
Let k(p) = p**3 - 7*p**2 + 15*p - 8. Let f be k(2). Solve f*j + 50 = -8*j for j.
-5
Let h(q) = q + 3. Let d be h(0). Suppose -109*j = -55*j - 71*j. Solve -d*a = -j*a for a.
0
Let h(z) = 2*z**2 + 9*z - 90. Let y be h(5). Solve -9*f - y = 13 for f.
-2
Suppose 3*t + 4 = 34. Suppose 2 = 3*w - t. Solve 0 = -r - w*r for r.
0
Let f be 8 + -4 + 5 - 6. Solve f*j - 4 + 1 = 0 for j.
1
Let b = 26 - 6. Let o = b + -15. Solve -1 - o = 3*d for d.
-2
Suppose 0*v + 5*v - 40 = 0. Suppose 0 = 4*m + 2*y - 26, 0 = -4*m + 2*y + v - 2. Solve m*n = -0*n for n.
0
Let t(l) = -7*l**2 - 36*l + 61. Let h(v) = -3*v**2 - 18*v + 31. Let y(f) = -9*h(f) + 4*t(f). Let c be y(15). Solve 7*z = 2*z - c for z.
-2
Let m be 2/(-6) + (-532)/(-21). Suppose -3*u + 20 = -k + u, -5*k + 5*u = m. Let p(t) = -6*t - 2. Let d be p(-1). Solve d*l - 5*l - 3 = k for l.
-3
Let x be (25 + 20)/(6/(-2) + 2). Let z be 2/(-9) + (-10)/x. Let o be (1*-2)/(-2 - -1). Solve z = -b + 1 - o for b.
-1
Let p be -1*(1 + -2 + -1). Suppose -5*g - 13 = -p*k + 6, k + 7 = -3*g. Solve 0 = -z - z + k for z.
1
Suppose 0 = 16*i - 18*i + 26. Let h be (-106)/(-8) - 1/4. Let b = h - i. Solve b = g - 0*g for g.
0
Let d(k) = -k**2 + 23*k + 20. Let s be d(23). Solve 0 = 14*u - s*u + 24 for u.
4
Let n(l) = -3*l - 12. Let r be n(-6). Solve -4 = 2*o + r for o.
-5
Let q(p) = 5*p**3 + p**2 + 2*p - 2. Let f be q(1). Let g(m) = -2*m + 18. Let w be g(f). Solve -3*s = -w*s - 6 for s.
-2
Let n(r) = r - 12. Suppose -h + 44 = 3*b, 8*b - 3*b = -4*h + 78. Let m be n(b). Solve k = 2*k - m for k.
2
Let y be 489/15 + (72/(-30))/(-6). Solve -6*u = 5*u - y for u.
3
Let g = -166 - -167. Let l be 14/7 + g/1. Solve l*p = 2*p for p.
0
Let r(w) = w**3 - 19*w**2 + 20*w - 36. Let q be r(18). Solve l - 5*l - 4 = q for l.
-1
Suppose 1044 = 122*l - 93*l. Solve -l*t + 30*t - 6 = 0 for t.
-1
Let r be (-495)/(-22)*(-2)/(-9). Solve -r*y = -0*y for y.
0
Let t = 71 - 58. Solve 0 = 5*i - 12 - t for i.
5
Let p be (-13 - -10)*(-4)/(-6). Let f be (-9 - -9)/(p/(-1)). Let b be (-2 + 2 - f)/(-2). Solve b = n + 1 for n.
-1
Suppose 2*g - 57 = -j + 4, -3*g + 90 = j. Suppose 134 = 4*b + 2*i, 2*b = 3*b - 4*i - g. Let x = -18 + 23. Solve x*k - b = -13 for k.
4
Let m(a) = a**3 - a**2 - 33. Let p be m(0). Suppose 38*h = 42*h + 152. Let f = p - h. Solve 0 = f*d - d for d.
0
Let q(m) = m - 1. Let k be q(4). Let r(p) = -4*p - 6 - 5*p + k*p + 4*p. Let b be r(-5). Solve b = 4*w - 2*w for w.
2
Let q(v) = -13*v**3 - 4*v**2 - 3*v. Let m be q(-1). Solve -6*t + m*t - 12 = 0 for t.
2
Suppose 7*r = 4*r + 51. Let f = 39 - r. Let p = f + -22. Solve -5*v + 3*v = p for v.
0
Let s(i) = 8*i - i**2 + 0*i - 8 + 11*i - 8*i. Let u be s(10). Suppose -4*t = -2*x - u, 5*x - 2 = -t + 4*t. Solve 5*w = 4*w + t for w.
1
Suppose -4*b + 0*b + 28 = 4*m, -2*m = 5*b - 20. Suppose -5*i + 5*k - 5 = 0, -m = -2*i - 2*k + 5. Solve 4 + 2 = -i*v