 c for z.
-5
Suppose -2*w - 3 - 1 = 0. Let c = w - -6. Let v be -1*(-1 + (-8)/c). Solve -y + 0 = -v for y.
3
Suppose 0 = 7*c + 37 - 9. Let j be 1 - c/(1 + 1). Solve -v - 20 = j*v for v.
-5
Let g(y) = -2*y + 1. Let i be g(-7). Let p = 15 - i. Let w = 5 + p. Solve 1 = -2*r - w for r.
-3
Let a = -180 - -86. Let t = a + 94. Solve t = -m + 3*m for m.
0
Suppose 0 = n - 2*n. Suppose -4*z + n*z = -5*i + 9, 2*z = -i + 13. Solve 0 = z*g - 2 + 10 for g.
-2
Suppose -c = 4*s - 32, -5*s = -4*c - 0*c - 61. Solve -s*j = -5*j - 20 for j.
5
Let w be 3/(7/2 + -2). Suppose w*y - 38 = 5*i - i, -y = -i - 12. Let m(h) = -h**3 - 7*h**2 - 3*h. Let p be m(i). Solve 5 = -4*k + p for k.
4
Let x = 1701 - 1689. Solve -44 = y - x*y for y.
4
Suppose -4 = -w - 2. Let o = -6 - w. Let i be (o/(-20))/(2/20). Solve 5*h + 14 - i = 0 for h.
-2
Let t(a) = 11*a + a**3 + 1 + 2 + 0*a**3 - 9*a + a**2. Let s be t(0). Solve -4 = -s*c - 1 for c.
1
Let u(q) = q**2 - 4*q. Let g(w) = -w + 2. Let f be g(-4). Let b be u(f). Solve 6*s - 3*s = b for s.
4
Suppose -5*b - 5*j - 95 = 0, 5*b + 83 = 2*j - 47. Let h(a) = a**3 + 25*a**2 + 25*a + 27. Let p be h(b). Solve w + p = -0*w for w.
-3
Suppose 2*i - 223 = -5*u, u + 4*i - 176 = -3*u. Let j = u + -41. Solve 0 = -j*g - 2 + 6 for g.
1
Suppose 0*b + 25 = 5*b + 4*c, 0 = 3*c. Let z be ((-8)/10)/(b/25). Let m be 6*7/((-42)/z). Solve -t - m*t - 15 = 0 for t.
-3
Suppose 82 = 4*d - 74. Let p be (-4)/22 - d/(-33). Solve 2*g = 5 + p for g.
3
Suppose -3*t - 2*t = 2*v + 12, -28 = -3*v + 4*t. Let o be 4 + (-4 - -2) + v. Solve -6 - o = 3*k for k.
-4
Let o be (3 + 2)*4/5. Let l = 3879 + -3874. Solve 1 = l*f - o for f.
1
Let p(f) = 17*f**3 + 4 + 20*f**3 - 38*f**3 + 3*f - f**2. Let g be p(-2). Solve 0 = g*k - 0*k + 10 for k.
-5
Let n = 44 - 24. Suppose 16*w - 9 = 13*w. Solve n = -2*q - w*q for q.
-4
Let y(t) = 4*t + 4 - 2 + 4*t**2 - t**3 + 0*t - 3. Let u be y(4). Suppose -4*r + g + 13 = 0, -10 = -g + 3*g. Solve 5*k - r*k = u for k.
5
Let t(x) = -2*x**2 + 45*x - 13. Let r be t(22). Solve -2*z + 5*z = r for z.
3
Let i be (1 - 0)/(1 + -2). Suppose 17*t - 12 = 16*t. Let j be (i/2)/((-2)/t). Solve 2*n + j*n = 20 for n.
4
Let v(l) = -2*l**2 - 46*l - 37. Let p be v(-22). Suppose -4 = 5*q + 1. Let z = p + q. Solve 5*r - 4 - z = 0 for r.
2
Suppose 3*w - z - 6 = 0, w + 2*w - 6 = 5*z. Suppose w*u + 2 = 0, -y + u - 2 + 3 = 0. Let r(o) = 4*o. Let j be r(2). Solve y*m = 4*m - j for m.
2
Let u = -857 + 865. Solve r + 18 = -u*r for r.
-2
Suppose -2*c - 69 = -85. Solve -c = -8*d - 0*d for d.
1
Suppose 6*y - 7 = 11. Suppose 5*w - 2*w - 22 = -2*g, 5*w - 35 = -y*g. Let k(d) = 4*d**2 + 2*d + 1. Let v be k(-1). Solve m + w = v for m.
-1
Let r = 26 + 3. Let d = r - 28. Solve 0 = -f - d - 2 for f.
-3
Suppose -5*w - 4*j + 15 = 0, 0 = -2*j - j. Solve -15 = 6*a - w*a for a.
-5
Suppose 7*w = 4*w + 18. Let o(t) = -10 - 15*t + 28*t - 11*t. Let l be o(w). Solve -l*p - 3*p - 10 = 0 for p.
-2
Suppose -5*q - 29 = -5*h + 91, h = -2*q - 39. Let t = q - -25. Solve t*g - 10 = 2*g for g.
5
Let p(w) = w**3 - 48*w**2 + 92*w + 4. Let y be p(46). Suppose -4*l + 4 = 0, 3*m = 2*m - 3*l + 15. Solve 0*f - m = -y*f for f.
3
Let j(p) = 9*p - 3*p**2 - 4*p**2 + 4*p**2 + 5*p**2. Let h be j(-5). Solve -12 = h*l + 13 for l.
-5
Let r be (-40)/(-16) + (-3)/(-2). Let q(i) = i**3 - 6*i**2 + i. Let l be q(6). Suppose 2*j + l = -2*k, j = -7*k + 2*k - 3. Solve 0*b + b + r = k for b.
-4
Let o = 2 + -1. Let k = -179 - -193. Solve -5*t + o + k = 0 for t.
3
Suppose -11*a - v - 19 = -16*a, -5*v - 23 = -a. Suppose 0 = 3*z - 2*k - 4 - 0, -1 = -2*z + 3*k. Solve -a*f = z*f for f.
0
Suppose -32*d = -956 + 124. Solve 0 = 5*v - 46 + d for v.
4
Let g = -670 - -674. Let a = 13 + -5. Solve -g*r + 4 = -a for r.
3
Let w be 5 + (6 - -5) + -5. Suppose 4*g - w = 21. Solve -5*v - g = -v for v.
-2
Let b be 15/(105/14) - -3. Solve b*y = -25 + 5 for y.
-4
Suppose -4*v = -16, -3*s - v + 75 = 2*v. Solve 12*g - 5*g - s = 0 for g.
3
Suppose -5*i - 4*m + 27 = 0, 0*m + 4*m = 12. Solve -i*h + 1 = -2*h for h.
1
Let f(w) = w**2 + 10*w - 34. Let v be -10 - 1 - (3 - 6/6). Let a be f(v). Solve 0 = a*j + 4 + 1 for j.
-1
Let p(i) = i**3 - 2*i**2 - 2*i - 3. Let r be p(-3). Let n = r - -47. Solve y = n*y - 16 for y.
4
Suppose 50*i + 3 = 53*i. Solve -10*k = -19 - i for k.
2
Let c = 16 - 11. Suppose -5*d + 6 = 3*q + 19, 5*q + 3*d = c. Suppose 0*g = -q*g + 40. Solve -g = 2*v - 4 for v.
-3
Suppose 4*g + 106 = 2*o, -54 - 170 = -4*o + 4*g. Suppose -o*s - 24 = -63*s. Solve -2*b + s*b = 8 for b.
2
Suppose -2*o + 62 - 36 = 0. Suppose 0 = -21*a + o*a + 136. Solve -5*x - 2 = -a for x.
3
Let g = 1256 + -1247. Solve 0 = 14*b + g + 19 for b.
-2
Let c(a) = a**2 + 16*a + 45. Let k be c(-3). Solve 3*u = k*u - 15 for u.
5
Let f(b) = b**3 + b - 3. Let h be f(0). Let w be -12*(h/2 + 1). Let z = w + -6. Solve z = -d + 3*d + 6 for d.
-3
Let x(s) = s**3 - 8*s**2 + 9*s + 6. Let c(g) = -g**3 + 5*g**2 - 3*g - 2. Let p be c(3). Let f be x(p). Let h = 189 + -187. Solve 3*l - f = -h*l for l.
4
Let y(l) = l + 9. Let u be y(-4). Let c(k) = -3*k**3 - k**2 + 3*k + 3. Let j be c(-1). Solve -d + u = j for d.
3
Let n = -2 + 5. Let i be -6 + 5 - 9/(-1). Let b = 8 - i. Solve 3*a + n = -b for a.
-1
Let t be 10/(-15)*6*(-57)/6. Solve -29 = 3*s - t for s.
3
Suppose -2829 + 2919 = 9*m. Solve -m + 22 = 3*g for g.
4
Suppose -2*o - p + 69 = 0, -3*p + 74 = 2*o - p. Let k = o + -30. Solve 3 = -k*n - n for n.
-1
Let w(u) = -5*u - 20. Let f be w(-6). Let v = f - 2. Let z be (-2 - (-12)/v)*-6. Solve 3 = -2*l - z for l.
-3
Let c(b) = -2*b + 21. Let y be c(9). Suppose -l - 6 = -y*l. Solve -v - 2 = l for v.
-5
Let s(o) = o**3 - 7*o**2 + 6*o + 3. Let z be (-12)/30 - 64/(-10). Let n be s(z). Suppose k + 5*l + 1 = 0, -3*k + 0*k + n*l + 15 = 0. Solve k*j = -3 - 5 for j.
-2
Let h = 1106 - 1089. Solve 0 = 8*n + 41 - h for n.
-3
Suppose 280*l - 49 = 273*l. Solve l*a + 5 = 2*a for a.
-1
Let p = -47 - 76. Let f = p + 381. Let s be f/24 - (-6)/(-8). Solve s = -i - i for i.
-5
Let y(u) = -u**2 - 3*u + 12. Let s be y(-5). Suppose g = s*g - 6. Suppose -2 = 5*n - g*n. Solve n*q = -2*q + 20 for q.
5
Let q be 3*(100/6)/(-5). Let z be (12/q)/(16/(-40)). Suppose -z = -5*v + 42. Solve 4*x + v = x for x.
-3
Suppose 5*t + 2*r - 10 = 32, 30 = t - 5*r. Solve 4*o - t = -o for o.
2
Let k be (16/(-6))/((-3)/18). Let m(q) = -9 + 5*q - 7 - 4. Let b be m(5). Solve b*f - k - 9 = 0 for f.
5
Let z be (-50)/(-55) - (-9)/99. Solve 0 = 4*w + z - 9 for w.
2
Let o be 345/10*(-8)/(-12). Suppose -2*k + 6 = m, 3*m - 3*k = -k - 6. Suppose m = -j - 5*t + o, -3*j = 2*j + 3*t - 27. Solve -2*l = -3*l - j for l.
-3
Suppose -3*z + 54 = -5*x - 0, -x - 5*z = 22. Let l be (x/(-10))/((-10)/(-25)) - -1. Solve -l*a = -a for a.
0
Suppose 0 = -0*o - 4*o + 28. Suppose 0 = -2*g - 6 - 4, 0 = 5*s + 3*g - 75. Suppose o*t + 4 = s. Solve x = -6 + t for x.
-4
Let j be (-2)/(-8) - (-1)/(-4). Let v = -125 - -209. Let r = v + -82. Solve j + r = 2*m for m.
1
Suppose -m + 5*m - 44 = 0. Let j = -12 - -20. Suppose -18 - 6 = -j*f. Solve f = -2*s + m for s.
4
Suppose 4*y = -2*v + 48, -4*y = v - 2*v - 42. Let u(i) = -4*i**2 + 43*i + 12. Let s be u(y). Solve 0 = -4*p - s - 3 for p.
-1
Suppose -25*t + 456 = 13*t. Solve 8 - t = m for m.
-4
Let r(l) = l**3 - l. Let o be r(1). Let w be (4/(-5))/(2/(-5)). Let u be 4 + (w - 0) - 4. Solve o = -0*z + u*z for z.
0
Suppose -224*v = -236*v + 108. Solve 3*c + 24 = v*c for c.
4
Let i = 161 + -155. Solve -j + i*j + 5 = 0 for j.
-1
Let j be (-9 - 7)/(-2) + 6. Solve -o = j - 12 for o.
-2
Let h(y) = y. Let x be h(3). Suppose 75 = 4*b - b. Suppose 5*v - 2*v - 4*i - b = 0, -4*i = -5*v + 31. Solve v*z = -0*z - x for z.
-1
Let g = 332 + -328. Solve 7 + 5 = g*q for q.
3
Let d = -1500 + 1500. Solve 4*p + 8 - 16 = d for p.
2
Let p be 5 - (-1 + -2) - 4. Let i = p - 1. Solve 4*a + 13 = -i for a.
-4
Let v(f) = -f**2 + 50*f - 92. Let w be v(48). Solve 0 = 4*r + 12 + w for r.
-4
Let m be (-1)/1*-3 + 344/86. Solve -3*x + m*x + 4*x = 0 for x.
0
Suppose -36 = 8*v + 36. Let k(g) = g + 13. Let i be k(v). Solve -i = -o - 3*o for o.
1
Let n be (-3)/((-27)/6 + 3). Let r(q) = q**3 + 20*q**2 + 7*q + 145. Let y be r(-20). Solve -3*m = n*m - y for m.
1
Suppose 4*h + 0*h + 42 = 3*m, 0 = -m + 2*h + 14. Suppose 2*x - 3*x + m = 2*k, 28 = 4*x + k. Let a = x + -5. Solve a - 2 = -t 