 -v, z = 2*v + 3*l + 10. Solve -3*h = -v - 11 for h.
4
Let a = 92 - 67. Solve -d = 4*d - a for d.
5
Let d = 18 - 0. Suppose 0*a + 6*a = d. Solve -f = a*f for f.
0
Let o be 28/(-98) - (1 + 51/(-7)). Solve -o = -6*c + 12 for c.
3
Suppose 5*o - 55 = 4*u, 37 = -4*u + 2*o - 9. Let i be ((-25)/u)/((-2)/(-12)). Suppose 5*w = 2*w + i. Solve -2*p - w = -p for p.
-5
Let a = -75 - -100. Solve -a = 3*n + 2*n for n.
-5
Let p be 1 + 13 + 39/(-3). Let l = 0 + 2. Suppose l*k = -2*k. Solve g - 3 - p = k for g.
4
Suppose 5 = 3*q - 4*m, -4*q - 2*m = 3*m - 17. Let s(p) = 19*p - 2. Let l be s(2). Suppose i - l = -q*i. Solve 0*g - i = -3*g for g.
3
Let u(t) = -t**3 - 10*t**2 - t - 4. Let h be u(-10). Suppose -2*k = 2*n - 12, 5*n - 3*k - 12 = 3*n. Let x = n - h. Solve 4*q - q = x for q.
0
Suppose 5*o + 5*o = 200. Solve 5*g + 5 - o = 0 for g.
3
Let g(t) = t**2 - 12*t + 11. Let q be g(11). Let o be (4/(-12))/((-2)/(-6)). Let d be -1*(2/o + 2). Solve -4*j + q*j - 8 = d for j.
-2
Let k(l) = 1. Let r(m) = -2*m + 20. Let b(h) = -2*k(h) - r(h). Let c be b(12). Solve 2 = c*n - 2 for n.
2
Suppose 0 = q + 4*u + 76, -452 = 5*q - 0*u - 4*u. Let l = -63 - q. Solve -4*h + l = h for h.
5
Let z(d) = d + 1. Let k be z(4). Suppose -4*m - m - k = 0. Let y be 1 + m + 0/7. Solve -2*w + y*w = 0 for w.
0
Let s = 423 - 418. Solve m + 8 - s = 0 for m.
-3
Let m be -2 + 0 + (-2)/(-1). Let v(u) = 13*u + 317. Let q be v(-24). Suppose m = -q*d + d + 8. Solve 2*l + 0 = -d for l.
-1
Let w = 48 + 14. Let v = w + -61. Solve -2*g + 1 = -v for g.
1
Let z be (3/6)/(2/(-24)). Let o = -8 + 14. Let j = o + z. Solve -2*g + j + 10 = 0 for g.
5
Suppose 4*a + d = -0*d + 67, a - 2*d = 19. Suppose -a*z + 12*z = -35. Let r be ((-2)/(-4))/(z/56). Solve 0 = -r*i - 6 + 18 for i.
3
Let f = 117 + -107. Solve -f = -15*m + 17*m for m.
-5
Let z(f) = -3*f + 9. Let y be z(7). Let g be 9*(0 - 4/y). Solve 6 = -g*j - 3 for j.
-3
Suppose 609*d - 48 = 605*d. Solve 0 = -n + 4*n + d for n.
-4
Suppose 4*g - 24 - 8 = 0. Solve 4*l - g*l = 16 for l.
-4
Let h = 142 + -142. Let g = 3 - 2. Solve h = 4*r + 3 + g for r.
-1
Let t(b) = -b**2 - 8*b - 14. Let n be t(-6). Let s be (-147)/(-35) + n/10. Solve -3*f + 10 - s = 0 for f.
2
Suppose 5*y - 35 = -g, -y - 113 = -2*g - 54. Solve 66*u = 76*u - g for u.
3
Suppose 0 = -4*m + 4*v + 142 - 14, 0 = 3*m - 2*v - 92. Solve -m*y - 10 = -33*y for y.
2
Let k be -8*10/(-4)*24/96. Solve k*a = -3*a + 40 for a.
5
Let t be (-18)/(-45) + 76/10. Suppose 2*h + 3*z - 10 - t = 0, 5*h = 2*z + 64. Solve 0 = -2*q - q + h for q.
4
Let b = -19 + 43. Let r = b - 20. Solve -p = -r*p + 3 for p.
1
Suppose 5*x = -29 - 6. Let z be ((-45)/10)/(12/80). Let q be (-14)/49 + z/x. Solve -q*j - j = -25 for j.
5
Let g(h) = h**3 - 10*h**2 + h + 8. Let w be g(9). Let c = w - -24. Let l be (c/30)/((-2)/3). Solve 2 = -l*s - 0*s for s.
-1
Suppose 0 = -4*c + 2*c + 4. Let o(x) = 6*x - 6. Let d be o(1). Let u be (d*(-3)/15)/5. Solve h = -u*h - c for h.
-2
Let j(q) = 6*q + 142. Let h be j(13). Solve -l - 217 = -h for l.
3
Let t(j) = j**2 - 11*j + 10. Let z be t(10). Let w be (-12)/(-4) + (z + -1 - 0). Solve -w*v - 11 = -5 for v.
-3
Let u be ((-10)/(-3))/((-4)/6). Let t = u + 5. Suppose t = 5*y - 3*y - 2*i - 6, -i + 3 = y. Solve 0 = -n + y - 2 for n.
1
Let k(n) = -5*n + 2. Let r = -139 - -138. Let b be k(r). Solve 4*q = 27 - b for q.
5
Let k = -258 - -304. Solve -3*u = -k + 40 for u.
2
Suppose 0 = 5*x - 3 + 33. Let u be 216/(-16)*4/x. Suppose -3 = 2*w - u. Solve -k + w*k + 10 = 0 for k.
-5
Suppose 0 = g - 2*g + 4*l - 7, 9 = g + 4*l. Let t be (2/9 - (-380)/(-90)) + -27. Let p(k) = k + 33. Let h be p(t). Solve -g - 1 = h*i for i.
-1
Let l = 1 - -4. Suppose -l*z = -2*w + 2, 5*w - 1 = 4*z + 4*w. Suppose z*h = -h. Solve 5*k - k = h for k.
0
Let v = 108 + -96. Suppose 3 = -3*t - 0*t + 5*u, v = 4*u. Solve t*g - 2*g = -6 for g.
-3
Let j(z) = -2*z**2 + 32*z + 5. Let w be j(16). Suppose 0 = -i - w*i + 18. Solve -i + 9 = -3*d for d.
-2
Let v(p) = 2*p - 16. Let d be (0 + 12)*(-34)/(-51). Let x be v(d). Solve x*z = 5*z for z.
0
Suppose 0 = 4197*w - 4195*w - 108. Solve 0 = 25*c - 7*c - w for c.
3
Suppose -3*i = 4*d - 2*i - 3, -4*i = 4*d + 12. Let o be 33/7 + 2/7. Let t = o - d. Solve t*y - 4*y - 1 = 0 for y.
-1
Let l be -2*4/4 + 1*8. Solve 0 = -7*u + l*u - 3 for u.
-3
Let n(m) = -2*m**2 + 26*m + 2. Let v be n(13). Suppose 3*u - 4 = v. Solve -u*y + 8 = -0*y for y.
4
Suppose 2*h = 7*h + 5*l - 40, 3*l = 5*h - 8. Suppose -4*z + h*z = -2*z. Solve -2*u + u = z for u.
0
Let d(i) = -4*i + 22. Let x be d(7). Let u = x - -10. Solve q + 3*q = -u for q.
-1
Let f = -86 + 94. Solve 7*a = 5*a + f for a.
4
Suppose 11*c - 42 = 4*c. Suppose -5*a = -9 - c. Solve 0 = f - a*f - 8 for f.
-4
Suppose -140 - 44 = -8*n. Solve -n = -3*l - 17 for l.
2
Let x(r) = 6*r**2 - 2*r + 6*r + 5 + r - 7*r**2. Let z be x(5). Suppose -l + 0*l = 3, 4*d + z*l + 11 = 0. Solve -4*j + 5 - d = 0 for j.
1
Let v(j) = -j + 1. Let t be v(-3). Suppose 3*q + t = 16. Suppose -5*o = -8*o. Solve d - q + 0 = o for d.
4
Suppose 0 = k - 8*k. Solve k = 8*m - 3*m + 10 for m.
-2
Suppose -3*a + 21 = 3*r, -3*r = -a - a - 1. Suppose -5*d = -46 - a. Solve d = -5*f - 0*f for f.
-2
Let s be 27*(1 + (-28)/(-12) + -3). Solve -10*a = -7*a - s for a.
3
Suppose 2*t - 7*t = -4*j + 100, 2*t = 2*j - 48. Suppose 5 = -3*n + j. Solve -4*k = n - 25 for k.
5
Let t be 129/1548 - 191/(-12). Solve 5*u + t = 1 for u.
-3
Let x be -2*(880/(-77) - (-3)/7). Solve -x*t + 18*t = 0 for t.
0
Suppose 0 = 5*t - 3*j + 39, 4*t = -2*j + 5*j - 30. Let l be 15/10 - t/2. Solve 4*m + 6 = -l for m.
-3
Suppose 7 + 9 = 4*t. Solve 37 = t*u + 25 for u.
3
Let q be (-156)/39 - 11/(-1). Solve -5 + q = -g for g.
-2
Suppose -2*m - o = -14, -15*m + 24 = -13*m - 4*o. Solve 0 = -3*u - 4 - m for u.
-4
Suppose -5*a - 3*u + 5 = 0, -a + 2*u + 11 = -3. Let v = -162 + 271. Let i = v + -101. Solve a = i*d - 4*d for d.
1
Suppose 0 = 9*m - 11*m + 54. Suppose 2*i = 10 - 0, 0 = -4*p - 3*i + m. Solve 0 = -p*a - 3 for a.
-1
Suppose -3*v + 135 = 123. Suppose v*w = -g + 32, g + 24 = 6*w - 2*w. Solve -4*h = -9 - w for h.
4
Let v = 0 + -4. Let u be v/(-1) - (1 - 0). Let i(y) = -32*y - 300. Let n be i(-10). Solve 0 = k + u*k + n for k.
-5
Let s be 1/((-35)/(-70) - 3/10). Solve 0 = -w + s*w + 12 for w.
-3
Let j = 6 + -4. Suppose -5*r - j*l + 68 = -0*r, 5 = -5*l. Let k = -14 + r. Solve 0 = -k*s + 3*s - 15 for s.
5
Suppose -3*g + 0*f + 12 = 3*f, g + 2*f - 4 = 0. Solve 5*m = g*m + 5 for m.
5
Let q = 331 + -325. Solve 3 = -q*y + 27 for y.
4
Let f = 52 + -50. Let n be (-1 - -1)/(36/18). Solve -10 = f*c - n for c.
-5
Suppose -1 + 2 = t. Solve 3*d + 14 + t = 0 for d.
-5
Let v = -443 + 447. Solve v*z + 10 = 9*z for z.
2
Let a = 39 - 44. Let p be (-8)/20*(-10 - a). Solve p*b + 0*b - 8 = 0 for b.
4
Suppose -w = -f - 2, 3*w + w = -4*f + 16. Solve 0*d = -w*d + 6 for d.
2
Let a(s) = s**2 - 2*s**2 + 5 + 3*s**2 - 3*s**2 + 2*s. Let w be a(0). Solve 0 = -w*q - 3 - 17 for q.
-4
Let f(j) = -5 + 1 - 2*j - 6. Let w(n) = 1. Let i(d) = f(d) - 2*w(d). Let q be i(-6). Solve -15 = -q*c + 3*c for c.
-5
Suppose -5 = 10*z - 45. Solve -i + 1 = -z for i.
5
Let c(r) = -107*r + 708. Let i be c(6). Solve -i*l = -63*l + 6 for l.
-2
Let w(f) = f**2 + 11*f - 25. Let r be w(-13). Let o be (0/r)/(6 - 8). Solve o = 4*l + 1 + 11 for l.
-3
Suppose -5*r = -32*r. Solve t - 2*t = r for t.
0
Suppose 0 = 3*w + 4*a - 20, a = 7*w - 6*w - 16. Let u = 11 - 6. Solve -u*h = -h + w for h.
-3
Suppose 2*i + 2 - 12 = 0, 5*o - i - 245 = 0. Let l be 10/2*30/o. Suppose -4*b = j - 2*b - l, -2*b = -j - 1. Solve -3*x = j + 5 for x.
-2
Let i be (7 + 0)/((-2)/4). Let c = 20 + i. Let r be (c/(-9))/((-4)/6). Solve -r + 9 = -4*s for s.
-2
Let y be (-2 + 2/(-2))/(-1). Suppose 3*z = y - 9, 6 = -4*l - 3*z. Solve 3*t = -l*t + 6 for t.
2
Let d(t) = -2*t - 4. Let o(l) = 11*l + 3. Let g be o(-1). Let m be (-6)/(-9)*36/g. Let u be d(m). Solve -u*p = -p for p.
0
Let f(i) = -i**3 - 21*i**2 - 3*i - 43. Let a be f(-21). Solve 5 + a = 5*s for s.
5
Let h be (2 - 2)/(10/(-5)). Suppose 2*m = 2*t + 16, h = -2*m - 3*t - t - 14. Suppose 4*c + m*q - 28 = 0, 5*c = 5*q - 0*q. Solve -c*d = -16 - 0 for d.
4
Let n(a) = 2*a**2 - 39*a - 20. Let q(x) = 19*x**2 - 8*x + 9. Let d be q(1). Let j be n(d). Solve j = 5*r - 2*r + 12 for r.
-4
Let l(r) = -r**3 - 2*r**2 + 4*r + 1. L