lve 8 - v = 2*t for t.
2
Let g = 914 + -906. Solve 3*y + y + g = 0 for y.
-2
Suppose 20*p - 1979 = -519. Solve -t - p = -72 for t.
-1
Suppose -5*d + 5*h = -70, 0 = 5*h + 7 + 3. Suppose 36 = 3*i + d. Solve -3*v = v + i for v.
-2
Let b be ((-42)/(-70))/((-2)/(-10)). Suppose 0 = -b*n + 2*o + 14, 0 = n + 3*o + 11 - 1. Solve n*j - 1 = -3 for j.
-1
Suppose -17*w + 14*w - 87 = 0. Let r = w + 33. Solve r = -q + 2 for q.
-2
Let q be ((-48)/36)/(40/45 + -1). Suppose 0 = 5*v - 4*v - 3. Solve v*b + q = -3 for b.
-5
Let z(d) = d**3 + 8*d**2 - 3*d - 4. Let v = 7 + -1. Suppose -v = -2*h - 22. Let k be z(h). Solve a + k = 6*a for a.
4
Suppose 4*f = 84 + 28. Suppose f + 16 = -4*j. Let o = j + 14. Solve -o*w = -0*w + 3 for w.
-1
Let x(y) = y**3 + 5*y**2 - 9*y + 6. Let n be x(-6). Let r be -5 + (-6)/(n/(-44)). Solve -4*s + 2 = r for s.
-1
Let o be -1 + ((-2)/(-4))/(18/144). Solve -o*f + f = -4 for f.
2
Let i(y) = y**2 + 13*y + 8. Let p be i(-13). Let l be 3/(-2)*2*(-20)/15. Solve l = 3*x - p for x.
4
Let i = -6 + 9. Suppose 6*b = i*b. Solve 5*k + 25 - 5 = b for k.
-4
Suppose -232 = 580*s - 588*s. Solve -34*x - 15 = -s*x for x.
-3
Let m = 52 + -46. Solve -k - m = -2 for k.
-4
Let p(b) = -b**3 + 7*b**2 + 9*b - 8. Let d be p(8). Suppose 0 = 4*v - v - 9. Let q be (-6)/v - (-28)/4. Solve d = -4*u + q*u + 4 for u.
-4
Suppose -2*z = -2*l - 12, 37*z + 1 = 33*z - l. Suppose q + 3 = x + 2*x, 5 = x + q. Solve -z = -3*v + x*v for v.
1
Let j be 16/(-32)*138/(-3). Solve 0 = -11*t + 34*t - j for t.
1
Suppose -16 = -n - 3*y - 0*y, 4*n + 4*y = 56. Solve -14*c + n*c + 4 = 0 for c.
4
Suppose 339 = 96*r - 237. Solve -7*l - 20 = -r for l.
-2
Let o be (-9)/6*32/(-6). Suppose -3*m = v - 5*v + 17, 0 = -3*v - 4*m - 6. Solve -v*n - 4 + o = 0 for n.
2
Suppose 1 = -y + 1. Suppose -3*o = -3*a + 8*a + 10, -3*a - 4*o - 17 = y. Solve -4 = -5*r + a for r.
1
Let r(v) = 7*v**3 - 11*v**2 + 11*v - 2. Let s(t) = -13*t**3 + 22*t**2 - 22*t + 5. Let p(g) = -11*r(g) - 6*s(g). Let z be p(10). Solve -z + 17 = 3*m for m.
5
Let k = -63 - -45. Let q be k/(-12) - (-2)/(-4). Solve 2*z + 1 + q = 0 for z.
-1
Suppose 0 = -4*u - q + 4, -u + q - 2 = 2*q. Let f(o) = o + 2. Let m be f(-4). Let c be 3 - (-1 - m) - 0. Solve -u*t - c - 2 = 0 for t.
-2
Let z be 3 + (3 + -1)/1. Suppose 6 = z*u - 4. Suppose 3*g + u*g = 0. Solve g*o - 20 = 4*o for o.
-5
Let h be (-2)/(3 + 68/(-20)). Suppose 6*g - h*g - 4 = 0. Suppose -g*d + 5*d = 0. Solve -2 = w - d for w.
-2
Suppose 43*v - 20 = 38*v. Solve -4*j + v = -6*j for j.
-2
Let z(m) = -m**2 + 101. Let q be z(-8). Solve -q*p = -36*p - 2 for p.
2
Suppose 8 = 3*y - 3*k - 4, -3*y - 5*k = -4. Solve -y*f - 12 + 24 = 0 for f.
4
Let l(g) = 2*g**2 - g + 8. Let z be l(0). Solve -z*h + 11*h - 15 = 0 for h.
5
Let y = -1 + -13. Let q = -10 - y. Suppose -3*j - 3 = q*n, 0*n + 1 = 2*n - j. Solve b - 4 + 0 = n for b.
4
Suppose 5*s + 12 = 3*q, -2*q = -0*q - 8. Let j(d) = -2*d - 13. Suppose -b + 13 = -3*i + 4*b, 0 = -i + 3*b + 1. Let y be j(i). Solve 3*m = -s*m - y for m.
-3
Let j be (84/126)/(2/33). Solve j*n + 8 = -14 for n.
-2
Suppose 0 = -3*m + 3*d - 30 + 9, -2*m = 5*d. Let j = 1 - m. Let r be 2/6 + 22/j. Solve s = -s - r for s.
-2
Let a be 6*(1/(-3) - 15/(-18)). Let d be (-576)/240*((-23)/a - -1). Solve -4*u = -d - 4 for u.
5
Suppose 12*g - 19 = -7. Solve 22*o = 21*o - g for o.
-1
Suppose 0 = 771*v - 761*v - 60. Solve -5*j - 9 - v = 0 for j.
-3
Suppose 5*y - 11 = 9. Let b(z) = z**2 + 10*z - 8. Let c be b(-11). Let k = c - 0. Solve -k*l + 5 = -y for l.
3
Suppose l = -2*l - b + 5, 2*b - 10 = 3*l. Let z be 4/(-10) - (-62)/5. Suppose -20 + 8 = -4*i. Solve -i*s = -l*s + z for s.
-4
Let b(p) = 7*p**2 - 147*p + 3. Let j be b(21). Solve -2 = 2*h - j*h for h.
2
Let l(b) = -b**2 - 5*b + 7. Let n be l(-5). Suppose 0 = -4*h + n*h - 12. Solve h*o - 26 = -6 for o.
5
Let h be (-4)/(-10)*(2 + 8). Let j be (16/64)/(2/40). Suppose 21 = j*s + 1. Solve s*u + 0 - h = 0 for u.
1
Let k be (-1)/((-235)/(-94)*2/(-10)). Solve 2 = k*s - s for s.
2
Suppose 11*c = 7*c - 32. Let d(x) = -6*x - 57. Let a(g) = -2*g - 19. Let n(p) = c*a(p) + 3*d(p). Let w be n(-11). Solve l = -w*l for l.
0
Suppose 5*t + 27 = u, 3*u - 51 + 30 = 3*t. Solve 0 = u*b - 0 - 10 for b.
5
Let f be (-15)/(-6) + (-3)/6. Let w(u) = 3*u - 6. Let l be w(3). Let n be l - (-5 - -2) - 1. Solve -f*g = -n*g - 3 for g.
-1
Let v(i) = -i**3 + 7*i**2 - i + 9. Let s be ((-3)/2)/((-12)/56). Let f be v(s). Let j = -13 - -16. Solve -j*t = -f*t + 2 for t.
-2
Let n = -53 - -65. Let g = -12 + n. Solve -3*s - 1 - 5 = g for s.
-2
Let p = -533 + 535. Solve -4 = -p*m + 4*m for m.
-2
Let y be 11/2 + 3/6. Let l(h) = h**3 - 7*h**2 + 6*h + 3. Let p be l(y). Suppose 3*u + d + 3*d = 22, -3*u - d = -10. Solve -u*a - 5 = p for a.
-4
Suppose 4*a + 5 = -4*d - 19, 4*d + 2*a = -20. Let p = 1 - d. Suppose 0 = 2*w - 5*w - s + p, w = -4*s + 20. Solve -2*h - 3*h = w for h.
0
Let y = 2 + 0. Let k(p) = -p**3 + 21*p**2 + 25*p - 11. Let s be k(22). Let f = -53 + s. Solve -y*a = f*a for a.
0
Suppose -3*j - 3 = -3*q + 57, 55 = 5*q + 4*j. Solve 3*x - q = -0*x for x.
5
Let r(f) = f**2 + 5*f + 8. Let i be r(-3). Suppose 5*s - 6*q + 2*q = -10, 5*s = i*q. Solve 2*v + s = -0*v for v.
-1
Suppose 44*i + 9 = 43*i. Let v be (16 + -4)/(i/(-12)). Let r be 12/2*4/6. Solve -r = -5*f + v for f.
4
Suppose 1 - 5 = j. Let d = 8 - j. Let c be ((-6)/4)/(d/(-32)). Solve 6*k - c*k = -2 for k.
-1
Suppose 5*i - 25 = -5*l, -2*l + 5*i = -1 - 2. Solve l*j = 5*j - 1 for j.
1
Suppose 0 = -2*f + 5*d + 5, 4*f - 2*d = 3*d + 15. Let x be 6/(-3 + 8/3). Let a(r) = -r**2 - 17*r + 23. Let q be a(x). Solve -q*m + 0*m = f for m.
-1
Let w(z) = -z**2 + 10*z - 21. Let b be w(7). Let j be (b + 1)/((-7)/14 - -1). Solve 0 = j*x - 3*x for x.
0
Let z be (-18)/2 - -3 - -21. Let l be (-1)/3 - (-7)/21. Solve 0 = -l*n + 5*n - z for n.
3
Suppose 0 = -7*u + 52 - 3. Solve u*p = 6*p + 1 for p.
1
Let v = -1245 + 1738. Solve v*j = 487*j - 24 for j.
-4
Let g = 13 - 8. Suppose 4*d - 2 = -2*l, 4 + 1 = l. Let b be -4*(d/3)/((-1)/(-3)). Solve -3*v = -g*v + b for v.
4
Suppose -6*c - 3 = -9*c - 5*l, -4*c + 4 = 4*l. Solve c = -8*r - 31 for r.
-4
Let d(k) = k**3 - 5*k**2 - 4*k - 7. Let b be 3*(6 - 16/4). Let x be d(b). Solve x*j + 5 = -0 for j.
-1
Let a = -28 + 32. Suppose -2*t = -a*t. Solve t = -5*i - 16 - 4 for i.
-4
Let r(x) = -6*x - 10. Let t be r(-4). Let b = t - 10. Suppose n - 72 = -3*n + 4*f, 3*n - 50 = 5*f. Solve -b*u - u + n = 0 for u.
4
Suppose -5*x = -2*d + 4*d - 30, -32 = -3*x - 4*d. Solve 0 = x*f - 4 + 24 for f.
-5
Let l(y) = -y**2 + 19*y - 24. Let n be l(13). Solve 0 = 5*j - 23*j + n for j.
3
Let c(g) = g**3 + g**2 - 4*g + 1. Let x be c(-4). Suppose 5*l - 142 = l + 5*b, -3*b + 27 = l. Let d be x/(-11) + 6/l. Solve -7 = d*r + 2 for r.
-3
Let f(p) = p + 3. Let z(q) = q + 3. Let w(y) = -5*f(y) + 6*z(y). Let m be w(7). Let a be 25/m*12/15. Solve a*x = -3*x for x.
0
Let n = 13 - 22. Let a = -8 - n. Suppose -4*j = -9*j. Solve j = -t - a for t.
-1
Let c(u) = u**2 + 9*u - 32. Let r be c(3). Solve -9*p = -r*p + 10 for p.
-2
Let y(s) = -s**3 - 6*s**2 + 5*s - 8. Let b be y(-7). Let z be 2 + b + (-1)/2*0. Solve 0 = z*x - 3*x + 25 for x.
-5
Let w = 358 - 327. Solve w*a - 38*a = 21 for a.
-3
Let b be -28 - -17 - (-33)/3. Solve 2*d + 3*d - 15 = b for d.
3
Let d(b) = b**2 + 41*b + 272. Let p be d(-8). Solve 19 - p = 11*l for l.
1
Let s(n) = -n**3 + 2*n - 1. Let c be s(1). Let b = 50 + -47. Let u be 3 + 1 + c/b. Solve w = -u*w + 10 for w.
2
Let s = -7 - -11. Suppose 3 = 7*h - s*h. Let q be (-1 - h)/(8/(-80)). Solve 3*o = 8*o + q for o.
-4
Let j = 1 + 3. Suppose -5*b + 1 = -j*b. Let g be (b - 1) + 0 + 2. Solve g*a + 8 = -2*a for a.
-2
Suppose -7*d + 576 = 2*d. Suppose -8*q = -64 - d. Solve 5*l - q = l for l.
4
Let b(u) = -u**3 - 20*u**2 - 53*u - 29. Let v be b(-17). Solve 2 = -v*y - 3 for y.
-1
Suppose 2*l - 75 = 3*s, -2*l + s + 36 = -l. Let n = l - 15. Let t = n + -12. Solve -t = -2*k - 2 for k.
2
Suppose -2*j - 6 = 2*a, -2*a - 5 = -0*j + j. Let b be j/3 + (-1)/(-3). Solve 7*r - 4*r + 9 = b for r.
-3
Suppose -3*b - 9 = -4*b + 2*y, -2*b = -3*y - 18. Solve -m + 32 = -b*m for m.
-4
Suppose 5*b + 4*a - 8 = -31, 24 = -3*b + a. Let o(l) = -l**3 - 8*l**2 - 9*l - 10. Let q be o(b). Let y = 43 - 43. Solve y = -k - 1 - q for k.
-5
Let l = -382 + 393. Solve -l*q = -15*q fo