 s for x.
5
Suppose -8*h + 550 + 322 = 0. Suppose 4*u = 137 - h. Solve -v = u - 10 for v.
3
Let w be (-6)/(-33) + 26/(-286)*-944. Solve -28*j - w = 54 for j.
-5
Let a be 64/352 - ((-4)/33)/((-9)/(-4887)). Solve 0 = -29*o - 21 - a for o.
-3
Let c = -3663 + 3714. Solve -9*a + 96 = c for a.
5
Suppose 2953 = -235*w + 636*w - 5067. Let y be 17/5 + 2/(-5). Solve -w = -y*f + 8*f for f.
-4
Let w be (9 - 0)*((-10)/3 + 4). Let b be 14 - 15/w*(-24)/(-20). Let g be (-12 + b)*5*(0 - 1). Solve g = -m - 0 for m.
-5
Let l be ((-315)/(-378))/((-1)/6). Let b(g) = -57*g - 255. Let z be b(l). Solve -18*y + z = -12*y for y.
5
Let w = 82 + -84. Let d be (w + (-2)/4)*(-32)/20. Solve f + 6 = d*f for f.
2
Suppose 2283 - 5358 = -41*b. Solve -2*y - b*y + 154 = 0 for y.
2
Let f(g) = -g**2 + 14*g - 37. Let k be f(7). Solve -192 = -k*x - 20*x for x.
6
Let q be (24/(-21))/4*-14. Suppose q*b = z + 27, -6*b + 36 = -2*b - 4*z. Solve -9 = -b*l + 3 for l.
2
Suppose 2*p = -4*f + 344, -173 = -p + 23*f - 24*f. Solve -o - p = -176 for o.
2
Let b(m) = -4*m - 15. Let s be b(-4). Let a be ((-40)/(-70))/(s/7 - 0). Suppose 0 = -10*v - 0*v + 90. Solve -a*o + v*o = -10 for o.
-2
Let l be 5/(-40) + 20169/72 + 9. Solve 304 = 5*c + l for c.
3
Let f = 40 + -35. Let p = 420 - 401. Solve 0 = f*g - 6 - p for g.
5
Suppose -76 = -2*g + v, 4*v - 152 = -4*g - 0*v. Suppose 0 = -4*s + 2*r + g, 0 = -s - r + 3*r + 8. Solve -8*q - 26 = -s for q.
-2
Suppose 0 = -3*m - 3*y + 99, -4*y - y + 97 = 3*m. Suppose -7*w + m = -50. Solve -3*p + w = -7*p for p.
-3
Suppose 0 = x + 19 + 21. Let v = -37 - x. Suppose 9 - v = a. Solve 4*s + a = -10 for s.
-4
Suppose 15 - 3 = 3*f. Suppose -11*m = -9*m - 84. Suppose -10*h = -f*h - m. Solve -4*d = -h*d - 3 for d.
-1
Let c(w) = w**2 - 27*w + 79. Let h(k) = -13*k + 40. Let r(g) = 3*c(g) - 7*h(g). Let x be r(3). Solve 0*u - x = 7*u for u.
-2
Let g(m) = m**3 - 3*m**2 - 4*m + 18. Let p be g(3). Let j(b) = 6*b - 25. Let v be j(p). Solve 14*y = v*y - 12 for y.
-4
Suppose -4*b - 3*a + 133 = 0, 4*a + 42 = -3*b + 133. Suppose -184*j + 1854 = 125*j. Solve 7 = j*k + b for k.
-5
Suppose 19*v - 27*v = -17*v + 1800. Solve 0 = 196*w - v*w - 12 for w.
-3
Suppose -7*p - 180 = -17*p. Let i be 12/p - 2/3. Suppose -t + 5*t - 20 = i. Solve 34 - 9 = t*m for m.
5
Suppose 14*y - 640 = 508. Suppose y*b = 74*b + 16. Let s be -2*(1 + (-3 - -1)). Solve 2*u + b + s = 0 for u.
-2
Suppose -y = -3*w + 972, -954 = -2*w - w - 5*y. Suppose -35 = 9*q - w. Solve 35*u = q*u for u.
0
Suppose -5*a = -6*p - 41, -4*a - 4*p - 29 = -9*a. Solve 4*u - a = 7 for u.
2
Let y be (-41)/(-82)*2*2. Suppose -y*w + 3*f = -5, 4 + 1 = f. Solve 3*a = -w + 1 for a.
-3
Let t(i) = -i**3 + 11*i**2 + 10*i + 24. Let p be t(12). Let r be 3*(-1 + p) - 594/27. Let j = r - -28. Solve -j*l = 1 + 2 for l.
-1
Let i(o) = -2*o - 10. Let v be i(-7). Suppose 0 = -4*b + c + 25, -v*c = -3*b - 0*c + 35. Suppose -3*a + 0*a = b*h, 3*h - 34 = 5*a. Solve -n - 10 = -h*n for n.
5
Let d be -13 + (-16 - (-15 - 14)). Solve d = -501*r + 496*r - 10 for r.
-2
Let y = 11 + -13. Let w be 4 - 2 - 2*1/y. Suppose 3*p + 1 - 4 = 0. Solve w + p = 2*r for r.
2
Suppose -2*b = 6 - 78. Let g = -33 + b. Solve -4 = z - g for z.
-1
Let m(l) = -l**3 - 22*l**2 - 22*l - 17. Suppose 41 - 209 = 8*j. Let i be m(j). Solve 0 = -0*y + 4*y + i for y.
-1
Suppose -u - 8 = -3*u. Suppose -3*p = -x + 25 + 6, -u = 4*p. Let w = x - 22. Solve 0 = -0*h - 3*h - w for h.
-2
Let k = 1575 + -1573. Suppose 3*h = 3*i + 9, -4*h + 2*i - 3 + 5 = 0. Let u be h/((-12)/3)*0. Solve -2*g - k*g = u for g.
0
Let f(r) = -r**2 - 6*r - 4. Let w be f(-4). Let n be -3 + (339/15 - 6/(-15)). Suppose -n = -p + 3*y, 5*y = -10*p + 5*p. Solve w*l = 3*l + p for l.
5
Let i(p) = p**2 + 5*p - 11. Let d be i(2). Suppose 45 = 18*l - d*l. Solve -6 = -l*x + 9 for x.
5
Let t = 6 + 3. Suppose 13*j = -4*p + t*j + 16, -3*j = -4*p + 2. Suppose -5*f + 35 = p*f. Solve 2*y + 1 = -f for y.
-3
Let a be 16 + -31 + 45 - 21. Let r = -5 - -7. Suppose 2*n = -r*n + 44. Solve 0 = 4*x - n - a for x.
5
Suppose 11*m - 9 - 123 = 0. Let r be 0*1*(-3 + 8/2). Solve 5*g + g - m = r for g.
2
Suppose 725 = -50*v + 925. Solve -3*o + v = -2 for o.
2
Let g = -183 + 183. Suppose 0*c - 28 = -2*c + 2*b, -2 = -2*b. Solve g = 13*a - c*a - 4 for a.
-2
Suppose 11*x = 6*x + 25. Suppose 4*h - 8*h = 5*d - x, 0 = -5*h - d + 22. Solve 7*k - h = 2*k for k.
1
Let g(j) = 3*j + 9. Let p be g(11). Suppose 42*s = 35*s + p. Let u = 6 + -4. Solve u*c - 4 = s*c for c.
-1
Suppose 2*y + 30 = -5*t, 3*t + 14 + 4 = -2*y. Solve 2*v + 8 + 6 = y for v.
-7
Let c(j) = -8*j + 253. Let b be c(31). Suppose -v = -2*t + 29 - 19, -b*t + 4*v = -31. Solve 3*o = -t*o - 6 for o.
-1
Suppose 0 = 2*m - 2, 18*m = 2*y + 13*m + 1. Let s(b) = 18*b - 16. Let i be s(y). Solve -6*z - i = -z for z.
-4
Let f be (63 + -7)*(-36)/(-42). Solve -148*j + 142*j = -f for j.
8
Let h = -2342 - -2353. Solve -11*z - h = 33 for z.
-4
Let d(v) = -118*v + 2755. Let o be d(23). Solve -8*c + 57 = o for c.
2
Let c(u) = -2*u**2 - 14*u - 14. Let v be c(-6). Let d be 0 + 4/(-8)*v. Solve -d = -6*g - 13 for g.
-2
Suppose 0 = 1290*v - 1309*v + 532. Solve -35*u + 7 + v = 0 for u.
1
Suppose -4*p + 28 = 4*v - 3*p, -3*v = -3*p - 21. Solve -8*u + v*u = 2 for u.
-2
Let b be 86/18 - 5 - (-47)/9. Suppose -i + 3*i = -b*g + 39, 0 = 4*g + 4*i - 24. Suppose 0 = 2*z - 5*z + g. Solve 0 = 2*f - z*f + 3 for f.
3
Let v(c) = -1. Let q(k) = 4*k + 28. Let n(b) = -b + 1. Let l(i) = -3*n(i) + q(i). Let j(r) = l(r) + 6*v(r). Let m be j(-2). Solve 2*z = m*z - 15 for z.
5
Let a be ((-68)/12 + 6)/((-2)/(-30)). Suppose -3*g = -3*m + 42, -4*m - 26 = -a*m + 5*g. Solve 2*u + 21 = m for u.
-5
Suppose 51 = 11*o + 51. Suppose o = -3*v - 18*v + 210. Solve 30 = -4*d + v for d.
-5
Let x = -31720 + 31734. Solve x*g = 10*g - 8 for g.
-2
Suppose 151*i - 163*i = -180. Let a be 4 + 20/i*-3. Suppose 0 = -m + 2*c + 2 + 10, -3*m - 5*c = 8. Solve a = -m*d - 4 - 0 for d.
-1
Let h(z) = 2*z**2 + z - 14. Let a be h(4). Let f = a - 19. Solve -8 = -f*w + 1 for w.
3
Let x(h) = -38*h**2 + 155*h - 6. Let a be x(4). Let y be (14/6 + -1)/(a/9). Solve 2 = -4*o + y*o for o.
-1
Let m be 322/184 + (-1620)/(-16). Solve -m = -24*v - 7 for v.
4
Let p be (-2 - (-12 + -1))*(-16 + 10 - -10). Solve 8*m = -14*m + p for m.
2
Suppose 0 = -4*g - u + 34 + 126, -2*g - 5*u = -80. Solve -g + 36 = -s for s.
4
Let f = 3807 + -3798. Let z = -2 - -2. Let n = 16 - 13. Solve z*a - f = -n*a for a.
3
Suppose 14 - 2 = 2*z - 4*s, z - 3*s - 1 = 0. Solve 0 = z*u - 7 + 103 for u.
-6
Let m(q) = 53*q**2 - 51*q - 2. Let v be m(1). Solve -4*k - 33 - 3 = v for k.
-9
Let x(r) = r**2 + 4*r - 2. Let s be x(-6). Let k(u) = -u**3 + 30*u**2 + 162*u + 455. Let n be k(35). Solve -29*o + 24*o - s = n for o.
-2
Let t be (0 - 1) + 3/1. Suppose -4*f + 41 = -3*j, -22 = -2*f - 0*f + t*j. Solve 14*k = 18*k + f for k.
-2
Let b be ((-4)/2)/(-4) + (-549)/(-122). Let o be 1 - (24/10)/(6/(-20)). Suppose 11 = g - o. Solve 3*d - b = -g for d.
-5
Let w(s) = 4*s**2 - 70*s + 237. Let n be w(13). Let p be 4/6 + 30/9. Suppose 0 = -2*a + p + 2. Solve a = 2*y - n*y for y.
-3
Let u be (8 - 8)*3/(-3). Suppose 0 = -4*n + 3*h + 9, -3*n - h - 12 = 3*h. Suppose u = 8*a - n*a. Solve a = -0*c - c - 4 for c.
-4
Suppose -2*j + 308 = r + 270, 30 = -5*r. Solve -273*t = -284*t + j for t.
2
Let j = -95 + 101. Suppose -70 = -8*f + j*f. Suppose -38*l = -f*l - 15. Solve l*r - 6 = 9 for r.
3
Suppose 0*l = -4*l - 3*t - 305, -2*l - 155 = -t. Let d = l + 81. Solve -2*f - d = 2 for f.
-3
Let z(x) = -25*x + 239. Let a be z(9). Let o be 8/a*224/16. Solve 0 = -2*f + 6*f - o for f.
2
Let n be -4 + (-30)/(-8) + (-27)/(-12). Suppose -l = 4*f + 134, n*l - 2*f + 42 = -206. Let y = -126 - l. Solve y*i + 2*i = 4 for i.
2
Let k = -19401 + 19507. Solve -k*b + 42 = -99*b for b.
6
Suppose -31*h = -10*h - 252. Suppose 30*i - 32*i = -h. Solve -7*u - i = -4*u for u.
-2
Suppose z = -4*z - 25. Let q = z - 2. Let h(m) = 2*m + 17. Let s be h(q). Solve -1 = -2*p - s for p.
-1
Let z be (-1)/(35/10) - 10/14*-6. Suppose -7*u + 3*u + 12 = 0. Suppose -8 = -u*s + s. Solve z*q + 0 = s for q.
1
Let c(f) = 14*f - 114. Let v be (23 - ((-7)/(-1) - 2))/2. Let h be c(v). Solve -h = -6*j + 3*j for j.
4
Suppose 0 = 2*n - 409*r + 406*r, 0 = -2*n - 4*r. Solve 3*g - 24 + 0 = n for g.
8
Let t(d) = 17*d**2 - 77*d 