lve x - t = 3*x for x.
-5
Let b = -4 - -4. Let o(d) = 3*d - 6. Let c be o(7). Suppose 2*u - 25 = -5*z + 7*u, -5*u = z + 13. Solve b = i + z*i + c for i.
-5
Let u = 149 - 140. Let g = -7 + 9. Solve -5*h = -g*h - u for h.
3
Let t = 191 + -176. Solve -4*l - t - 1 = 0 for l.
-4
Suppose -15*r + 12*r = -3, -3*b + 17 = -r. Suppose 0 = 2*w - w - 4. Solve -w*f - b = -26 for f.
5
Let n be (-1)/3 + (-30)/(-9). Let w = -1 + n. Suppose -w*g = 2*g - 32. Solve -r - g = r for r.
-4
Suppose 3*m + g = 2*m + 2, -3*g = 4*m - 11. Suppose -28*a + 23*a + m = 0. Solve 3*q + 8 + a = 0 for q.
-3
Suppose 21*m = 20*m + 30. Suppose -2*i + 3*i + m = 3*f, f - i - 12 = 0. Solve -u = -4*u + f for u.
3
Let m(f) = 4*f**2 - 2*f + 2. Let d be m(1). Let h = 5 + 2. Solve -13 = d*w + h for w.
-5
Suppose -4*l + 40 = -9*l. Let j be (l/16)/(1/(-6)). Solve -j*w = -6*w for w.
0
Suppose f - 4 = 3*t - 5, 4*f + 2*t = -4. Let i be 18*(f/(-2) + 0). Suppose -2*j = -2*v + 10, 3*v - 13 = 2*v + 5*j. Solve -i = -0*g - v*g for g.
3
Suppose -q = -266 + 259. Solve -11 - q = 6*z for z.
-3
Let b = 31 + -25. Suppose y = -h - 1, -3*y = -0*y + 4*h - 2. Let v be (2 - (-25)/(-10))*y. Solve -v*k + k = b for k.
-3
Let b be (-1 - 0)/(-1 + 0). Let t(s) = s**3 - 4*s**2 - 14*s + 6. Let n be t(6). Let a be 6 - (-4 + n)/(-5). Solve -d - b = a for d.
-5
Let u(m) = -4*m - 5. Let t be u(-2). Suppose -4*p + t*p + 2*y = 4, p + 8 = 4*y. Solve p*w - 9 = -3*w for w.
3
Suppose 2*v - 108 = -4*i, 2*i - 13*v - 46 = -12*v. Solve 27*k = i*k + 2 for k.
1
Let x be 21 + (-24)/(-10)*(-100)/(-60). Solve 132*c - x = 127*c for c.
5
Let g(n) = -n**3 + 4*n. Let u be g(2). Suppose -4*t + 3*t + 3 = 0. Suppose -2*v - 27 = -4*f + v, 5*f - 35 = 4*v. Solve u = -t*j + 15 - f for j.
4
Let x(j) = -4*j - 8. Let l = -16 - -9. Let k be x(l). Let h = k - 17. Solve 0 = h*v - 0*v for v.
0
Let z = 17 - 11. Let r = 292 + -286. Solve r + z = 3*u for u.
4
Suppose 0 = 5*w - 3*x - 14 - 4, w = 3*x + 6. Suppose -2*u - 11 + 99 = 4*t, 0 = t - w*u - 29. Solve 4*k + 3 - t = 0 for k.
5
Suppose 160 = 6*o + 4*o. Suppose -2*h + 2 = f, -4*h = 4*f - 8 - o. Let w be (-30)/(-8) - (-1)/4. Solve w*x - f = -x for x.
2
Let m be 48/(-72)*(-90)/4. Suppose 9 + m = 6*o. Solve 3*c - o = c for c.
2
Suppose 2*n - 10 = 4*p, -2*n + 5*n = -4*p + 15. Let l be ((-3)/1 - -4) + n. Let o = -2 + 4. Solve 0 = -o*i + 5*i + l for i.
-2
Let m be 2*(-2)/4*-5. Let g(x) = -4*x - 32. Let d be g(-8). Suppose 7*v = -d*v + 105. Solve 2*i - m*i = v for i.
-5
Suppose -b - 5*j = -22, -9 + 93 = 5*b - j. Solve -s - 13 = -b for s.
4
Let a be 1/(-3) + (2 - 16/(-12)). Suppose a*s = -s + 20. Solve s*h = -6 - 9 for h.
-3
Let f(z) = -5*z + 4. Let b(h) = h + 1. Let c(r) = 3*b(r) + f(r). Let u = 376 - 376. Let w be c(u). Solve -16 = w*s - 3*s for s.
-4
Let h(p) = -p**3 - 6*p**2 - 4*p + 5. Let f be h(-5). Suppose 2*o + a = f, 4*a - 3 = -3*o - 8. Solve 4*i = 5*i - o for i.
1
Suppose -3 = -i - 0*i. Let f be ((-3 - -4) + -2)*1*-1. Solve s - i = f for s.
4
Suppose 0 = -2*d + 3*q + 74, 2*d = -0*d - q + 82. Let x be ((-2)/4)/((-4)/d). Solve 4*y + 15 = -x for y.
-5
Let r(k) = -k**3 + 26*k**2 + 58*k - 17. Let u be r(28). Solve 8*q - u + 7 = 0 for q.
4
Let l be 16/(-20) + (-1395)/(-25). Solve -l*g + 58*g = -6 for g.
-2
Suppose -3*i - b + 35 + 22 = 0, -4*i = 5*b - 65. Let u = 277 - 274. Solve -n - u*n = -i for n.
5
Let y be (-1)/(1/(-2)) - 100/50. Solve -f + 11 - 12 = y for f.
-1
Let t be ((-36)/42)/((-2)/14). Suppose -2*c + 16 = 2*z, -c + 3*z - 12 = -2*c. Suppose -3*g - 4 = -4*x + 7, 4*x - c = -2*g. Solve -2*o - t = x for o.
-4
Let q = 2 + 59. Let k = q + -57. Solve -r = r - k for r.
2
Let l be (-6)/(-33) + (-1530)/(-55). Solve -4*p - l = -11*p for p.
4
Let m(y) = y**3 + 6*y**2 - 6*y + 10. Let z be m(-7). Suppose -31 + 13 = -z*g. Solve g*n + 20 = n for n.
-4
Suppose -o - 47 = -n + 2*n, 3*o + 141 = 4*n. Let z = 47 + o. Solve z*q + 16 = 4*q for q.
4
Let m = -221 + 228. Solve m*i = 5*i - 6 for i.
-3
Suppose c + 4*l + 10 = 4*c, -c + 3*l = -5. Suppose o - 5 = 5*d + c*o, -3*o = 4*d + 15. Solve d = -4*s - 12 - 8 for s.
-5
Let p be 42/(9 - 3) + 2. Solve 14*j = p*j - 15 for j.
-3
Suppose 0 = 7*p + 3*p + p. Let k(t) = 2*t + 1. Let x be k(p). Solve -2*j + j - x = 0 for j.
-1
Suppose -d - r + 318 = -454, -3*d + 2316 = -4*r. Solve 780 - d = 2*m for m.
4
Suppose -4*o = 4, -4*d + 8 = -3*o - 3. Solve -d*g + 4 = 8 for g.
-2
Let y be (594/(-15))/3*-5. Suppose -3*i + 18 = 2*n, -y + 21 = -5*n + i. Suppose 0 = 4*x - 4*c - 36, 5*x = -5*c + c. Solve n*r = x*r for r.
0
Suppose s - 4*s + 10 = z, 0 = -s - z + 6. Suppose -3*n = -s*n - f - 7, -25 = -4*n + 3*f. Solve -u = -0*u - n for u.
4
Let j(w) = w**3 - 7*w**2 - 10*w. Let y be j(9). Solve 4*o = y - 52 for o.
5
Suppose -6*s - 4 = 2*r - 2*s, -6 = -r + 2*s. Let p(c) = c**3 + 19*c**2 + 83*c - 11. Let m be p(-12). Solve 3*j + r = -m for j.
-1
Let p be ((-3)/(-6))/((-4)/(-32)). Let k be 17/(-68) + 1/p. Solve k = -a + 3 - 1 for a.
2
Suppose -y = 5*g - 2*g - 25, -5*g = 5*y - 35. Let m = 26 - 22. Solve 10 = -g*r + m*r for r.
-2
Suppose 0 = 5*d - 10*d + l + 24, -d + l = -8. Let t(x) = -x**2 - 7*x - 4. Let g be t(-3). Solve g*u = d*u for u.
0
Let d = -60 + 62. Let j be ((-2)/d)/(6 + -7). Solve -5*f + 16 = j for f.
3
Let t be ((-3)/2)/((290/(-20))/29). Solve t*b + 9 = 21 for b.
4
Let d be 0/((-69)/(-21) + 4/(-14)). Solve d = 4*s - 3 - 13 for s.
4
Let q be -3 - -2 - (0 - 1). Let p be (-65)/(-7) + (-12)/42. Suppose p*u = 5*u + 20. Solve -u*l - 2 + 17 = q for l.
3
Let z(u) = -2*u + 14. Let v be z(5). Solve 8 = v*i - 4 for i.
3
Let w(t) = 2*t**3 + 26*t**2 + 22*t - 12. Let p be w(-12). Solve -o = -5*o - p for o.
-3
Let v be (2 - (-4 - -8))/((-4)/10). Solve -2*s = -v*s + 3 for s.
1
Let z = 362 - 355. Solve 36 = z*r + 64 for r.
-4
Let x(g) = g**3 - 6*g**2 + 14*g - 8. Let b be x(3). Solve b*s - 5 = 2*s for s.
1
Let w(j) = 4*j**2 - j - 1. Let o = -7 - -6. Let g be w(o). Solve -g*s + 4 - 20 = 0 for s.
-4
Let g(r) = r**2 + 5. Let d be g(3). Let h = 16 - d. Solve 8 = h*o - 2 for o.
5
Suppose 0 = -4*w + 3*w - 5. Let g = -454 + 462. Let k = g + w. Solve -b = k*b + 12 for b.
-3
Let y be (-5)/(-20)*4*3. Suppose 2*s + y*s = 10. Suppose -4*d - s*o + 17 = o, 13 = 2*d - 3*o. Solve 5*z - 10 = d for z.
3
Suppose 0 = -4*c - 7 - 41. Let q = c + 13. Suppose 0 = 2*w - 3*k - 13 + q, 2*w - 16 = 4*k. Solve z + 0*z = w for z.
0
Let l = -20 - -23. Solve 8*x = -l - 5 for x.
-1
Let t(p) = 6*p + 9. Let y be t(-1). Solve 0 = -2*u + 5 - y for u.
1
Let u(o) = -o + 18. Let c be u(14). Let h(t) = -t**3 + 2*t**2 + 36*t + 8. Let q be h(7). Solve 7*v = c*v + q for v.
5
Let j(l) = l**3 - 18*l**2 + 34*l - 4. Let w be j(16). Solve b + 6*b + w = 0 for b.
-4
Let w = 27 - 21. Let h be (-61)/(-4) + (-18)/(-24). Let g be (h + -4)*10/w. Solve -o - g = 3*o for o.
-5
Suppose 3*o = 4*n - 0*o - 18, 2*o - 2 = -2*n. Suppose 5*h = -2*y + 14, -n = -4*h - 4*y + 1. Solve -21 = -h*k - 9 for k.
3
Let l = 61 + -58. Suppose -l*x - 3*q = -12, 5*x + 4*q - 2*q - 8 = 0. Solve x = -5*a + a + 20 for a.
5
Let g(w) = 2*w - 3. Let k be g(3). Let v(i) = i**2. Let j be (-3 - (-5 + 2))/(-3 + 1). Let z be v(j). Solve z = k*b - 5 + 14 for b.
-3
Let k(z) = 31*z**3 + 2*z**2 - z. Let a be k(1). Let r = -29 + a. Solve r*o = -2*o - 5 for o.
-1
Let x = 5 - 3. Suppose x - 14 = q. Let u be 8/q - 4/(-6). Solve u*o - 3*o - 3 = 0 for o.
-1
Let m(v) = 6*v + 45. Let j(n) = -3*n - 22. Let i(d) = 5*j(d) + 2*m(d). Let l be i(-8). Suppose -2*x - 1 = -2*c - 13, x - 2*c - 9 = 0. Solve -q + l = x*q for q.
1
Suppose 0 = 3*u + 5*o - 16, 2*u = -2*o + 14 - 2. Let x be 5 + -1 + (u - 8) + 2. Solve -4*t - x + 21 = 0 for t.
4
Let f(p) = 2*p**2 + 6*p + 2. Let r be f(-4). Let i(u) = u**2 - 10*u + 4. Let k be i(r). Solve y = -k*y + 10 for y.
2
Let b(a) = -a**3 - 12*a**2 - 12*a - 11. Let j be (-2)/10 + 108/(-10). Let n be b(j). Let i = 0 + n. Solve m = -i*m for m.
0
Let i(p) = 12*p - 4. Suppose 3*v - 17 = -2*l - 3*l, 4*l - 3*v + 8 = 0. Let z be i(l). Solve 3*j = z + 1 for j.
3
Let a(l) = -l**3 - l**2 + 2*l. Suppose x + 8 = -3*x. Let d be a(x). Suppose 23*n - 25*n = -4. Solve z + n - 4 = d for z.
2
Let u = -16 - -17. Let n(m) = 5*m - 1. Let i be n(u). Solve 2*q + 2*q + i = 0 for q.
-1
Let b(c) = -c + 12. Let l be b(0). Let p be 3 + (-4)/(l/27). Let w = p - -6. Solve -4*i - 4 = -w for i.
-1
Suppose -15*q + 259 = -8*q