olve -v - u = -2*v for v.
1
Let b be -6*1/(-3) - -1. Suppose -b*c + 13 = 5*v, -3*c = 2*v - 2*c - 6. Solve v*p + 4 = -16 for p.
-4
Let b(l) = l**3 - 12*l**2 + 4. Let v be b(12). Solve -5*n + v*n = -1 for n.
1
Suppose m - 5*m + b = -17, -2*m = -3*b - 21. Suppose 3*x - 1 - 2 = -m*i, 5 = x - 3*i. Solve 0 = d + x - 4 for d.
2
Let n = 5 + -5. Suppose 2*r - 6 + 0 = n. Let z be (1/r)/(4/24). Solve -z = -3*x + 7 for x.
3
Let s be ((-3)/(-1) - -41) + -1. Suppose -s + 16 = -3*d. Let q = d - 5. Solve 0 = 2*n - 4 - q for n.
4
Let y = -53 - -25. Let i = 30 + y. Solve -f - i*f = -3 for f.
1
Let j = 0 - 0. Solve -4 = -s - j*s for s.
4
Let s = 8 - 4. Solve -5*o = -o - s for o.
1
Suppose -40 = -4*t + 28. Let r(c) = -2*c + 1. Let h(n) = n - 1. Let s(a) = -5*h(a) - 3*r(a). Let o be s(-2). Solve 4*f - 3 - t = o for f.
5
Let l = 16 - 1. Suppose 0 = -k - 2*n - 6, 22 = 5*k - 2*n - n. Solve -l = k*f + 3*f for f.
-3
Let m = -4 - -7. Let n be m/9 + (-2)/(-3). Solve -1 = -2*l + n for l.
1
Suppose -p + 4 = -2*x + p, -p = 2*x - 2. Solve x = 3*d + d for d.
0
Suppose -5*k + 6 = -7*k. Let a be 6 + (k + 3)/(-4). Suppose 3*x = -9, 3*h + x + x = 0. Solve -h*l + a = 4 for l.
1
Let d be (4/6)/((-2)/(-6)). Suppose r = d*r - 10. Let j be (-6)/r - (-15)/25. Solve o + j*o = -5 for o.
-5
Let g(r) = r**2 + 6*r - 4. Let w be g(-6). Let b be w/26 - 162/(-39). Solve -b*m - 31 = -11 for m.
-5
Suppose 15 = -0*n + 5*n. Suppose g = -n*o - 0*o, 3*o + 3 = 0. Let u be 9/12 - g/4. Solve 0 = 3*l + 15 - u for l.
-5
Let i = -2 - -3. Let p = -13 - -18. Solve p - i = o for o.
4
Suppose 0 = 6*c - c - 15. Suppose -8 = 3*v - 0*g - 4*g, -g + 5 = 0. Solve c*m - m - v = 0 for m.
2
Suppose 28 = 4*s - 0*s. Solve -2*z - s = -15 for z.
4
Let t(s) = s**3 - 4*s**2 - 7*s + 6. Let l be t(5). Let z be l + 1 - (-4 + -2). Solve -z*w - 8 = w for w.
-2
Suppose -3*l + 3*x - 15 = 0, -l - 1 = -5*x - 0*x. Let i(r) = -r**3 - 5*r**2 + 6*r. Let g be i(l). Solve g = 2*c - c for c.
0
Let i(w) = w**2 - 2*w - 1. Let d be i(-1). Suppose -s + 2*s = d. Solve -3*l - 13 - s = 0 for l.
-5
Let a be (-1*4/(-6))/(7/42). Solve 0*q = a*q + 20 for q.
-5
Suppose 0 = -2*r - 4*o + 12, -2*o = 5*r - 4*o - 18. Let q be (r - 2)*(-9)/(-6). Solve -q*h - 2 + 14 = 0 for h.
4
Let h = -6 - -10. Suppose 0 = -h*g + 3*p - 2*p + 14, -5*g + 4*p = -12. Suppose g*l - 44 = 20. Solve 2*f = -2*f - l for f.
-4
Let s be 52/6 - 1/(-3). Let w = 27 + -26. Let c be w/3 - (-17)/(-51). Solve -v - 2*v + s = c for v.
3
Let l(g) = g**3 - g**2 + 3. Let a be l(0). Solve -a*m = -m - 8 for m.
4
Let v be 64/6*(2 + -5). Let d be 6/(-21) + v/(-14). Solve d*o - 4 = -0*o for o.
2
Let n be 6/(-10)*(3 - -2). Let x(p) = -2*p - 4. Let f be x(n). Solve -k = -f - 1 for k.
3
Let g = -2 + 6. Let x be (g + -3 - -1) + -2. Solve -3*h + x = 15 for h.
-5
Suppose -2*x + 20 = 2*x, -20 = -5*z - 2*x. Let p be (-2 + 4)*1*z. Let r(b) = b**3 - 4*b**2 + 2*b - 2. Let l be r(p). Solve l*d = d for d.
0
Let r be ((-28)/(-5) - 4)*10/4. Solve -r*t + 2 + 2 = 0 for t.
1
Suppose 3*d + d = 0. Suppose d = 3*l - 7*l + 8. Solve 0*h - 10 = -l*h for h.
5
Let o(q) = -q**2 - 2*q + 3. Let d be (2/1)/((-8)/12). Let w be o(d). Suppose w*s = s - 33. Solve -5*j = 8 - s for j.
5
Suppose 4 = 4*r - 3*y - 10, 0 = -2*r - 5*y - 6. Solve -x + r*x - 5 = 0 for x.
5
Let w = -15 - -15. Solve w = -3*q + 2*q for q.
0
Suppose -4*j + 4 = -5*j. Let f be -2 - (j + 6/3). Solve 0 = 2*h - f - 2 for h.
1
Let v be (1 - 1)/(16/(15 - 7)). Solve 4*n - 2*n + 4 = v for n.
-2
Let g(l) = 3*l - 1. Let t be g(1). Suppose 5*p = -y - 7, t*p = -2*y - y + 5. Solve -s = y*s + 8 for s.
-2
Suppose 2*z = -z + 5*u + 17, -2*z - 6 = u. Let h(g) = -26*g - 1. Let s be h(z). Suppose -4*a + 2*j - 15 = -j, 5*j = 2*a + s. Solve a = -0*q + q + 2 for q.
-2
Suppose 17 = -5*q - 23. Let b be (-1)/(-2 + (-12)/q). Solve -b = -4*o + 2*o for o.
1
Suppose -6*k + 2*k = 0. Let d = 2 - k. Solve -n - 15 = d*n for n.
-5
Let i(s) = -s**3 + 6*s**2. Let g be i(6). Let f be 14/21*((-8)/(-1) + -2). Solve t + g = -f for t.
-4
Let v(o) = -o**2 + 16*o + 22. Let r be v(17). Solve -r*i - 14 = 11 for i.
-5
Let y be 0 + 0 - (-3 + 2). Let u(z) = -z**3 - 2*z + 1. Let a be u(2). Let n = a + 15. Solve 3 = -n*i - y for i.
-1
Suppose i + 0*i = 0. Suppose 5*s = 11 + 14. Solve 0 = -i*m - m + s for m.
5
Suppose -4*z + 3*s = -8*z - 28, 3*z + 21 = 2*s. Let f(m) = m**2 + 6*m + 8. Let o be f(z). Let b be ((-4)/(-2) - 2)/2. Solve b*x - 5*x = o for x.
-3
Suppose 0 = 5*m - 4*m + 2. Let a = m - -4. Solve v = a*v for v.
0
Suppose -12 = 4*j, -2*t - 5*j - 6 + 1 = 0. Solve -3*s + 2 = t for s.
-1
Let h = -17 - -21. Solve -h*g + 2 + 18 = 0 for g.
5
Let d = 49 - 46. Solve 0 = -d*w + 5*w for w.
0
Let c = 16 + -9. Solve -1 = -2*j - c for j.
-3
Suppose u - 4 = 5*u. Let z be (5/5)/(u/(-8)). Let s(o) = o**2 + 9*o + 12. Let g be s(-8). Solve g*y + 0 - z = 0 for y.
2
Let a(j) = -j - 3. Let b = -2 + -5. Let g be a(b). Solve -4*o + 16 = -g for o.
5
Let n = -8 + 10. Solve 0 = n*z - z for z.
0
Let g be (3 - (-12)/1) + 1. Solve 6*v - 2*v + g = 0 for v.
-4
Suppose -5*p + 3*v + 4 = v, 2*p - 10 = 5*v. Suppose -6 = 2*j - j - 3*m, -2*j - 5*m + 10 = p. Solve j = 4*s + s - 20 for s.
4
Let l be -1 + 13 + (-4 - -2). Let v = -4 + l. Solve v*t - 3*t - 3 = 0 for t.
1
Let j(y) = -2*y - 5. Let m be j(-5). Let x be 0/(2 - m)*-1. Suppose -o = -4*h + 7, 0 = 2*h - x*h - 5*o + 19. Solve -h*a + 1 = -5 for a.
2
Suppose -2*q - q + 36 = 0. Let k(r) = r**2 + 3*r - 1. Let h be k(-4). Let t be (-2)/h*42/(-4). Solve -t*d - q = -3*d for d.
-3
Let y(o) = 5*o - 5. Let k be y(6). Suppose -4*q - 32 = -5*c, c - 3*q - k = -3*c. Solve c*i - 20 = -i for i.
4
Let j(q) = -q**2 - 5*q + 2. Let y be j(-6). Let t = -4 - y. Solve t = -4*v + 18 + 2 for v.
5
Let k(s) = -s**3 + 9*s**2 - 7*s - 11. Let w be k(8). Let j(z) = -z**2 - z + 1. Let g be j(w). Let i be g/(-2)*(1 - -1). Solve 4 - 24 = -i*a for a.
4
Let s(u) = -u**3 - 9*u**2 + 1. Let w be s(-9). Solve 0 = 3*h + w - 7 for h.
2
Let r be (-51)/(-12) + (-3)/12. Let v = -6 - -8. Solve -r*n - 10 = -v for n.
-2
Let t = -4 - -4. Let w(y) = y**3 - y + 11. Let v be w(t). Solve -4*c + 3 = v for c.
-2
Let s = -23 - -32. Suppose -25 = -4*w - s. Suppose f - 16 = -3*o, 5 = f + 4*f. Solve 1 = w*j + o for j.
-1
Let r(b) = b**3 + 7*b**2 - 10*b - 12. Let t be r(-8). Let x = -4 + 7. Let z be (-3)/2*(-4)/x. Solve 0 = -z*y + t*y - 2 for y.
1
Let l(r) = 2*r**2 - r - 1. Let v be l(-1). Solve v*n + 3 = n for n.
-3
Let u(i) = -3*i - 3. Let r(k) = -3*k**2 - k. Let q be r(-1). Let v be u(q). Solve -v*m = -m for m.
0
Let n = 0 + 7. Solve 0 = -3*t - 5 - n for t.
-4
Suppose -2 = -4*f + 10. Let y = f - -2. Solve 0 = y*z - 2*z + 12 for z.
-4
Let u be (1/(-1))/(1/(-7)). Suppose 0 = -4*b - 2 + 10. Suppose -3*w + 9 = 0, 2*g - b*w = -w + u. Solve -3*z + g = -1 for z.
2
Let u be -1 - -1 - (-1 + -1). Let p = 4 - u. Solve -p*r + 9 = r for r.
3
Let t(m) = -m**3 - 3*m**2 - m - 3. Let i be t(-3). Let a be 1 - (2 + 0 + -3). Suppose k - a - 1 = 0. Solve i = -3*v - 0 + k for v.
1
Suppose 0 = -5*s + 13 + 67. Suppose -3*b + 10 = 4*k, -3*k - s = -6*k + 2*b. Suppose -3*h + 2*m + 22 = h, -3*h + k*m + 14 = 0. Solve -14 = 5*w + h for w.
-4
Let a be (-5)/(20/16) - -4. Suppose -26 = -4*v + 5*n, a*n + 4 = 2*n. Solve 2*i + v = -i for i.
-3
Suppose -f + 2*f = -3. Let r = f + 3. Solve 0 = -3*w + 3 - r for w.
1
Let s be 0*(-7 + 3 - -3). Solve s*a = -a - 4 for a.
-4
Let b(o) = -3*o - 45. Let j be b(-16). Solve -2*r - j*r - 5 = 0 for r.
-1
Suppose 0 = h + 3*o - 2*o - 1, o - 1 = -4*h. Solve 3*l - 7*l - 16 = h for l.
-4
Suppose 2*i - 36 = r, i + 4*r - 12 = 6*r. Solve 0*c - i = -4*c for c.
5
Let w(u) = -u**3 + 5*u**2 - 2*u - 5. Suppose -d - 5*s = 21, 2*s = -s - 15. Let y be w(d). Solve 0 = -6*h + y*h - 3 for h.
-1
Let f(l) = 5*l + 4. Let u be f(-7). Let j = u - -57. Let p = -3 + 8. Solve j - 6 = -p*o for o.
-4
Let a = 3 - 12. Let q = a + 14. Solve 1 = 2*d - q for d.
3
Suppose g - 3 = 4*g. Let q be g*(-4 - -5)*-10. Solve -5*r = -q*r for r.
0
Let o be (-1 + 1)/(-1) - -4. Let c be (-3)/(9/6) + 2. Suppose -3*f + 7*f + 5*s - 3 = 0, -5*f + 4*s = -14. Solve o + c = f*u for u.
2
Let m = -3 + 3. Suppose -4*p - 20 = -0*p + 5*n, m = -4*n - 16. Solve p*b = 2*b - 8 for b.
4
Let b(d) = d + 10. Let a be b(-7). Solve 4 = a*f + 1 for f.
1
Suppose -2*s = 4*f - 20, s - 22 = -5*f - 3*s. Let y(i) = 2*i**2