- v + w for v.
-1
Suppose -z - 50 = -5*w, 2*w + 0*w = 5*z + 20. Solve 5*g - w - 10 = 0 for g.
4
Suppose 2*d = -2 + 6. Solve 7*y = d*y for y.
0
Suppose -t - 4*o = -5, 3*o = 3*t - 0*t. Solve -l = -3 - t for l.
4
Let c(n) = -3*n - 5. Let m be c(-4). Solve -3*v = -m*v - 8 for v.
-2
Let w be 6/15 - (-6)/10. Suppose 4 = a + w. Let m be 0 - (1*-1 + -8). Solve -3*g = -m + a for g.
2
Let r(w) = -w**2 + 5*w + 5. Let a(d) = -1. Let z(i) = 5*a(i) + r(i). Let n be z(5). Suppose 2*c + n - 4 = 0. Solve -g = c*g for g.
0
Let v(w) = -2*w**2 - 6*w + 3. Let n be v(-3). Solve -n + 0 = -p for p.
3
Let z be 0*((-4)/8 + 0). Solve z = 5*b - 2 + 12 for b.
-2
Let h(q) = q**3 - 6*q**2 - 8*q + 7. Let a be h(7). Solve a = -2*s - 3*s + 10 for s.
2
Let d be -1 + (5 - (-6)/(-2)). Solve 0 = 4*g + 5 - d for g.
-1
Let u(f) = f - 4. Let w be u(-5). Let j = w + 13. Solve -16 + 0 = j*y for y.
-4
Suppose 6 = -2*h - h + 4*b, 5*h = b + 7. Suppose 3*g - 2*u - 4 = -8, h*g - 3*u = -11. Solve 0 = i + g*i for i.
0
Suppose 0 = 2*q - 0*q - 82. Suppose 2*o + q = -0*i + 5*i, 3*o = i - 16. Suppose 0 = -2*c + i - 3. Solve -c*k = -k - 2 for k.
2
Let j(i) = i**2 - 2*i - 4. Let t be j(4). Solve 0 = 2*m - 3*m + t for m.
4
Let l(a) = a**3 + 11*a**2 - 10*a + 29. Let d be l(-12). Solve -m = -6*m + d for m.
1
Let m(o) = o**3 - 7*o**2 - 8*o + 3. Let w be m(8). Solve -2*d + w - 13 = 0 for d.
-5
Let u(w) = -w**2 - 2*w + 28. Let g be u(4). Solve 0 = -0*q + 4*q - g for q.
1
Let t(x) = 2*x + 6. Let a be t(-4). Let i(f) = -f**3 - 2*f**2 - 3*f - 3. Let o be i(a). Solve -y + 0*y = -o for y.
3
Suppose -2*h - 4*r = -18, -3*h + 0*r - 4*r = -35. Solve 5*d + h = -3 for d.
-4
Let y = 6 + 1. Solve -3*q + 12 = -y*q for q.
-3
Suppose 2*k = -2*k + 44. Let q = -7 + k. Let z = -5 - -6. Solve 3 = -q*l - z for l.
-1
Let k(i) = -i**3 + 8*i**2 + 3*i - 6. Let d be k(7). Suppose -4*b = -2*s - d, 62 = 5*b - s - 15. Solve 0*h - b = -3*h for h.
5
Suppose -s = 4*s - 15. Suppose 0 = -4*a, s*a = 2*q - 2 - 8. Solve q*l = l + 4 for l.
1
Suppose -4 = -4*y + 3*y. Let x be ((-6)/(-4))/(3/y). Solve -2*c = -x - 0 for c.
1
Let o be (-26)/(-5) + 14/(-70). Solve -m + 20 = -o*m for m.
-5
Let r = 17 + -12. Solve r*v = -10 - 5 for v.
-3
Suppose -2*p - 3 = -7. Let g(z) = -2*z + 3. Let q be g(3). Let a be 1*q/(6/(-2)). Solve -t = p + a for t.
-3
Let x = 18 + -16. Solve 0 = -h - h - x for h.
-1
Let w be 3 - 1 - (0 + 0). Let i(c) = 11*c**2 + 3*c + 2. Let n be i(-1). Solve w*b = 4*b + n for b.
-5
Suppose q + 4*r = -3, -4*q + r + 6 = -16. Suppose 22 + 7 = q*x + 2*m, 2*x = 5*m. Solve -3*l + x = -10 for l.
5
Let q be 34/10 + (-4)/10. Let n(i) = i**2 - i - 6. Let g be n(-2). Solve -3*u = -g*u + q for u.
-1
Let a = 12 - 9. Solve -a = -2*p + 5 for p.
4
Suppose -w + 5 = 8. Let q(f) = f**2 + f - 6. Let r be q(w). Let m(n) = n**3 - n**2 - n + 10. Let a be m(0). Solve 4*j - a - 6 = r for j.
4
Let g be 1/((-1)/(-63)*3). Suppose 9 = 5*r - g. Solve 0 = -5*h - r + 31 for h.
5
Let f(z) = 4*z**3 - z + 2. Let p be f(1). Solve p + 7 = 3*y for y.
4
Suppose -3*b = 2*b - 280. Suppose -2*l - s + b = 0, s + 59 = 4*l - 47. Suppose -r - 25 = -4*u, 4*u + 5 - l = -2*r. Solve -3*a = -u*a + 12 for a.
4
Suppose 2*k + 6 = 0, 3*k + 38 = 5*h - 46. Suppose 2*s + 25 = 7*s. Solve 2*j - h = s*j for j.
-5
Let q(i) = -i**3 - 2*i**2 - 3*i - 4. Let t be q(-2). Suppose 0 = -4*s + 4*j + 24, 4*s + 2*j - 6 = -3*j. Let a be (-2)/4 - 10/(-4). Solve -t*f + a = -s for f.
3
Suppose 4 = -w + 1. Let r = -3 - w. Let l = 2 + r. Solve y = -l*y for y.
0
Suppose -5*h + 3*h + 10 = 0. Let b(p) = -h*p + 4*p - 9 - p + 3. Let q be b(-4). Solve 2*t = -q*t + 12 for t.
3
Let h = -55 - -105. Suppose -4*k + 2*k + h = 0. Solve 4*z - k = -z for z.
5
Let o = 53 - 53. Solve -5*n + 15 + o = 0 for n.
3
Suppose -6 = -3*j + j, 5*j + 1 = 2*p. Suppose -5*z + 12 = -p. Solve -3*n + 4 = -z*n for n.
-4
Let s(y) = -y + 14. Let o be s(11). Solve 15 = o*k + 2*k for k.
3
Let i(m) = -8*m + 153. Let y be i(19). Let r = 1 - 1. Solve -n + 2 - y = r for n.
1
Let s = 46 + -47. Suppose -3*n = n + 16. Let j = s - n. Solve 0 = -i - j*i + 8 for i.
2
Let k(m) = 4*m - 1. Let s be k(1). Solve s*p + 9 - 24 = 0 for p.
5
Suppose 3*j + 6*j = 63. Solve 5 + j = 4*m for m.
3
Let g = 69 + -69. Let k(f) = -f**2 - 10*f - 4. Let y be k(-4). Solve 0*n - 5*n + y = g for n.
4
Suppose -2*c - 2 = -4*n, 4 = -4*n - c - 9. Let o = 2 - n. Solve -4*t = -6*t - o for t.
-2
Suppose a + 4*a + 8 = 4*d, 4*d - 8 = 0. Suppose -3*k + 150 = -z, a = -k - 0*k - 5*z + 34. Suppose -5*h = 4 - k. Solve h = -0*g + 3*g for g.
3
Let x(t) = -t**2 - 7*t + 1. Let q be x(-7). Suppose q - 25 = -4*d. Let z(o) = -o + 9. Let a be z(6). Solve -d*k + a*k = 0 for k.
0
Let u be (0*(-1)/6*-3)/(-2). Solve u - 4 = -4*o for o.
1
Let h = 12 + -2. Solve -2 + h = -4*j for j.
-2
Let l(v) = -v**2 - 5*v + 8. Suppose -4*q - 44 = 2*w + 2*w, -15 = 5*q - 3*w. Let h be l(q). Solve -9 = h*x + x for x.
-3
Suppose -x + 3*x + 24 = 0. Let n = 5 - x. Solve -5*f = 3 + n for f.
-4
Suppose 4*s = 6 + 10. Solve -6 = s*t + 2 for t.
-2
Let f(h) = 8 - 14*h + 0*h**2 + h**2 + 5*h. Let p be f(8). Solve p = -4*s + 3*s + 3 for s.
3
Let v be (-27)/(-4) - (-1)/4. Let d(f) = -f**3 + f**2 + 3*f + 2. Let u be d(-1). Solve -2*h + u = -v for h.
4
Let p(g) = -6*g - 16. Let l be p(-3). Solve l*u - 20 = -2*u for u.
5
Let n(u) = u**2 - 6*u + 8. Let z be n(6). Suppose 3*l = z*l - 85. Solve 4*g = -l + 1 for g.
-4
Let b(w) = w**2 - 3*w - 3. Let m be b(6). Let q = 22 - 18. Solve r + m = -q*r for r.
-3
Suppose r + 2*d + 5 = -d, d + 4 = 0. Let z(m) = m - 3. Let x be z(r). Suppose 1 = -u + 3*s - 4, 2*u + x = 4*s. Solve u = 2*o + 14 for o.
-5
Let y be (-16)/(-80) - 1/5. Solve 5*l = -y*l + 5 for l.
1
Let o(g) = g**3 + 7*g**2 + 6*g + 2. Let f be o(-6). Let w be (9 - 13) + 3*f. Solve 4*a + w + 2 = 0 for a.
-1
Suppose 6*p = -3*y + p + 35, 2*y - 5*p = -10. Solve j + 4 = y for j.
1
Suppose -26 = n + 2*d, 4*n - 8 = 5*d - 60. Let h = 7 - n. Solve y + h = 6*y for y.
5
Let t = -2 + 5. Let u(v) = v - 4. Let a be u(3). Let h = -1 - a. Solve h = 2*y + t*y - 10 for y.
2
Suppose 5*k + j + 0 = -5, -15 = 3*j. Suppose 0 = -5*b - k*b + 10. Suppose -5*d = 5*n - 40, -3*n + 10 = -b. Solve -f - d*f = 0 for f.
0
Suppose -z + 4 = -0. Let p = 13 - z. Solve 3*g = -3 + p for g.
2
Let m(h) = -5 + 7*h + 0 - 2*h. Let f be m(4). Solve -o + 6*o - f = 0 for o.
3
Suppose -2*t - 17*y + 14*y = -48, -y + 40 = 2*t. Solve 3 = -5*g + t for g.
3
Let s be (1 + (-15)/6)*-2. Let a = s + 0. Let h be (-3*4/(-3))/1. Solve a*w - h = 4*w for w.
-4
Let i be (-2)/(-2 + (-16)/(-6)). Let n(f) = f**3 + 4*f**2 + f - 1. Let d be n(i). Solve 0 = -d*x - 6 - 19 for x.
-5
Let a(z) = z + 6. Let r be a(-6). Suppose -5*s + 35 + 5 = r. Solve 3*g = 7*g + s for g.
-2
Let i(c) = -3*c - 15. Let t be i(-5). Solve t*z = z for z.
0
Let o be (2/2)/((-2)/18). Let n be 7/(-9) - (-2)/o. Let h = n + 3. Solve 0 = -h*m - 4 + 2 for m.
-1
Let b(z) = -z**3 + z**2 - z + 3. Let o be b(0). Let k be 20/6*1*o. Solve -3*m = -2 - k for m.
4
Let h = -4 - -6. Suppose -4*w + 18 = -b, h*w + 3 = w + 4*b. Suppose -u - 4 = -2*u. Solve w = -u*k - 11 for k.
-4
Let z be (4 - 22)*((-2)/4)/1. Solve 4 = -5*f + z for f.
1
Let x be 3 - (-1 - 1 - 7)/1. Solve h + x = -3*h for h.
-3
Let a(m) = m**2 - 7*m + 6. Let k be a(6). Solve 0 = -k*t + t for t.
0
Let n = 31 + -29. Solve n*w + w = 0 for w.
0
Let t(s) = -s**2 - 6*s - 3. Let l(g) = -g**3 + g**2 + g. Let d be l(2). Let x(y) = y**2 + 5*y + 1. Let f be x(d). Let c be t(f). Solve c = -2*n - 6 for n.
-4
Let f(r) = -r - 4. Let n be f(-9). Suppose 4*p + 4*z = 64, 0*p + 2*z = n*p - 73. Suppose o = 4*o - p. Solve 0 = o*s - 25 - 0 for s.
5
Suppose 0 = -5*j - 2 + 12. Solve b - j = 3*b for b.
-1
Let v be (2/4)/((-1)/(-4)). Let z = 7 - v. Solve -3*b - z = 7 for b.
-4
Let h = 47 - 36. Suppose q = -q - 4. Let l be h/(q - 5/(-2)). Solve 4*x + l = 2 for x.
-5
Suppose 7 = -0*c - 5*c - 4*j, 4*j + 11 = -c. Suppose -2*g = -0*g - 6. Solve 2*r + c = -g for r.
-2
Let d = -12 - -10. Let s(v) = -3*v**3 - 4*v**2 - 4*v - 2. Let z be s(d). Solve 5*u - 4 = -z for u.
-2
Suppose 11 + 4 = 5*j. Suppose 0 = -l + 3*k + 8, 3*l + 0*l + j*k = 0. Solve 3*q = q - l for q.
-1
Let x be (5/3)/(2/6). Suppose 3*d = 4*d - 2. Solve -d*c - x = 5 for c.
-5
Let t(v) = 7*v - 3. Let k be t(2). Let h(f) = -11*f - 1 + 3 + 4*f**3 - 10*f**2 - 3*f**3. Let 