 a = 1 + -2. Let m be -2 + 7 - 2*a. Suppose 0 = m*l - 2*l - 30. Solve -4 - l = -5*j for j.
2
Let t(f) = 2*f - 2. Let n be t(4). Solve 3*v = 5*v - n for v.
3
Suppose -q + 4*r = 22, 2*q = -r - 8 - 0. Let i(l) = -l**3 - 7*l**2 - 6*l. Let y be i(q). Let u be y - -2*1 - -1. Solve -8 = -u*t - t for t.
2
Let a = -45 + 25. Let j = a + 20. Solve j = -5*q + 2 + 13 for q.
3
Let z(c) = -c**3 - 7*c**2 + 7*c - 7. Let x be z(-8). Let h be x/(-3) + (-4)/(-12). Suppose u + j = 7, -10 = 5*u - 4*j - h*j. Solve -t - u*t = -15 for t.
5
Let n be (2/(-3))/(7/147). Let o = -7 - n. Solve 5*h + 8 + o = 0 for h.
-3
Let z = 0 - -11. Let i be 1/(((-1)/(-5))/1). Suppose 2*q + i = z. Solve 0 = q*w - 2*w - 5 for w.
5
Suppose 30 = 3*n + 2*n. Let p = 9 - n. Solve -2 = -p*y - 8 for y.
-2
Let t be 0 + 1/(-2)*24/(-2). Solve 2*i + 4 = t*i for i.
1
Suppose 0 = v + 2*v + 27. Let o be (3/v)/(2/(-12)). Let p be (-1*o)/(-4 - -2). Solve -4*b = -3*b - p for b.
1
Let g(u) = -u**2 + 10*u + 41. Let c be g(13). Solve -c*b = b for b.
0
Suppose v - 2*v = 19. Let s = 27 + v. Suppose -4*t - s = 0, 2*t - 4 = 5*r + 4*t. Solve r*d - 25 = 5*d for d.
-5
Let n(r) = -r**3 - 5*r**2 - r - 5. Let t be n(-5). Suppose 4*x = -2*b + 3*b - 6, x + 1 = t. Solve 3*o + b*o = 25 for o.
5
Let n be (0 - 0)/(0 - 2). Solve 2*w = -n*w + 10 for w.
5
Let r(v) = -v + 4. Let c(w) = -5*w + 21. Let f(q) = 4*c(q) - 22*r(q). Let o be f(4). Let t be (-3)/((-6)/o) + 0. Solve -z = -t*z + 5 for z.
5
Let r(v) = -v**3 - 7*v**2 - 10*v - 9. Let g be r(-6). Let d = g + -11. Solve -x - d = x for x.
-2
Let a(l) = l**2 + 4*l + 3. Let o(b) = -2*b**3 + 2*b**2 + 2*b - 1. Let g be o(2). Let k be a(g). Solve 0 = -4*v + k*v for v.
0
Let i(x) = x**2 + 5*x - 10. Let z be i(-7). Solve 6 - z = 2*a for a.
1
Let z(l) = l**3 + 7*l**2 + 8*l + 12. Let q be z(-6). Solve i + 1 = -q*i for i.
-1
Suppose 0*d - 43 = -2*d - 5*r, -2*r + 37 = 3*d. Let q = d + -6. Solve q*b - 7 = 5 for b.
4
Let h = -21 + 24. Suppose -2*n + 3*b = -n - 18, -4*b - 68 = -5*n. Solve -h*w = w - n for w.
3
Suppose -8*s + 11 = -5. Solve 3 = -5*w - s for w.
-1
Let z = 40 + -38. Solve z = -k + 1 for k.
-1
Let j = -7 - -7. Solve j = -2*t + 1 + 1 for t.
1
Suppose -3*y = -2*y - 2. Let c be ((-2)/(-4))/(y/24). Let p be (-37)/(-7) - c/21. Solve -p*v = -5 + 30 for v.
-5
Let a(q) = -q**2 + 6*q - 2. Suppose 2 = 3*w - 2*w. Let n be w*(1/2 - -2). Let j be a(n). Solve j = -0*d - d for d.
-3
Suppose 19 = -11*j + 52. Solve -j*u - u - 20 = 0 for u.
-5
Suppose -2*g - l = -7, -4*g = 3*l - 12 + 1. Suppose g = 4*w - 3. Solve w*p - p - 3 = 0 for p.
3
Suppose -c - 12 = -3*n, -c = -4*n - 5 + 21. Solve 4*q = -c*q - 8 for q.
-2
Let j = 13 + -7. Let y be ((-45)/j)/3*-2. Solve y*k = k for k.
0
Let u be (-2)/6*6*-1. Let v be 3/2*u/3. Let l = 2 + 1. Solve -l*y = -2*y - v for y.
1
Suppose 10*z - 6*z = 8. Let h be ((-1)/z)/((-2)/12). Solve h*i = -i for i.
0
Suppose 3*f - 2 - 1 = 0. Solve -1 = -m + f for m.
2
Let g = -8 + 11. Suppose -3*a = 4*l + g - 21, 0 = -4*l. Let r = 4 + a. Solve r = -5*s - 10 for s.
-4
Suppose 0 = -3*z - 0*z + 9. Suppose 4*w = z*w + 7. Suppose -4*r = -1 - w. Solve 4*u = r*u - 2 for u.
-1
Let n = -6 + 11. Suppose -4*h + 18 = -5*x, n*h - x + 0*x = 12. Solve -5 = 7*a - h*a for a.
-1
Suppose 5*q - 10 = 3*p, 0*q + q = -2*p + 2. Let m be (q/6)/(3/27). Suppose 0 = 3*n - 9, m*f - 3 = -0*f - n. Solve f = -2*b - 0*b + 4 for b.
2
Let o = -9 + 17. Let q(y) = -y + 8. Let z be q(o). Solve z = n + n for n.
0
Let i be (-69)/(-23) + (-2 - 1). Let x be (0 - (-1 - -4))*-1. Solve -x*b - 12 = -i for b.
-4
Let g = 42 - 18. Suppose -g = -3*o + 5*q, 3*o + q = -3*q - 3. Solve -o*p = p for p.
0
Let d = 9 - 7. Let j be -1 - (-2 + (-1 - 9)). Suppose -2 = -w - r + 4, -r + j = d*w. Solve 15 = -2*x + w*x for x.
5
Suppose 0*z = -2*z + 10. Suppose -5*s + 25 = 2*y, 4*s + z*y = 5 + 15. Solve -1 = x - s for x.
4
Let k(g) = g**3 - g**2 - g + 2. Let z be k(2). Solve z*v + 8 = -0*v for v.
-2
Let o(n) = -3*n**3 - n**2 + n + 1. Let q be o(-1). Solve q*x = -2*x + 20 for x.
5
Let l be (-3)/((-3)/(-6) - 1). Suppose -4 = l*q - 2*q. Let f be 3 - -4 - (-2)/q. Solve -f*p + 10 + 5 = 0 for p.
3
Let q = 0 - -2. Suppose 4*v + v = -4*a + 19, -31 = -5*a + v. Solve -q*h = h + a for h.
-2
Let v be (-16)/(-2) - 6/2. Let z = -5 + v. Solve 0*j + 2*j - 2 = z for j.
1
Suppose p - 2*h = 15, -4*p = 2*h - 0 - 30. Let i(t) = -3*t**3 + t - 2. Let o be i(-2). Suppose -o = -4*v - v. Solve v*f = f - p for f.
-3
Let f(k) be the third derivative of k**6/120 - k**5/30 + k**4/24 + k**3/3 + 6*k**2. Let c be f(2). Solve -c*r + 0 + 12 = 0 for r.
3
Let o(u) = 2*u**2 + 1. Let v = -6 - 1. Let n(i) = -i - 6. Let a be n(v). Let j be o(a). Solve 0 = 3*x - 4*x + j for x.
3
Suppose 2*p + 2*p - 40 = 0. Suppose -4*h = -2*h - p, -3*n + 1 = -h. Solve -6 = -0*s - n*s for s.
3
Let u = 35 + -31. Solve -u*i + 2 = -6*i for i.
-1
Let z(v) = v + 12. Let o be z(-2). Solve 0 = 4*p - 6*p + o for p.
5
Suppose 4*v - 5 - 3 = 0. Suppose b - v*x - 3 = -x, 4*b + 4*x + 4 = 0. Let d be (-1)/(-1)*(1 + b). Solve -3 = -d*a + 3 for a.
3
Suppose 2*m = -t + m + 7, -m + 13 = 4*t. Suppose -12 = g + 2*g, -2*x = 2*g + 2. Suppose 5*o + t*v - 16 = 6*v, 0 = -x*o + 5*v + 7. Solve -o*b = -7*b - 3 for b.
-1
Let q be 6/7 + 6/42. Solve 4*l - 11 = q for l.
3
Let c be (10/(-6))/((-2)/6). Solve -3*k - c = 2*k for k.
-1
Let b be ((-1)/(-4))/(8/128). Solve -b*k + 8 + 0 = 0 for k.
2
Let u be 3*(16/3 - 3). Suppose 2 = 4*x + 3*a, -3*x + 8 = -4*a - 6. Solve -x*h = -u*h for h.
0
Suppose 3*s = -2 - 4. Let q be (2 + (-3 - s))*1. Solve -l - q = 3 for l.
-4
Let i(s) = -s**2 + 9 - 2*s**2 + 3*s**2 - s + s**2. Let f be i(0). Let z = f - 8. Solve -k = -z + 2 for k.
-1
Suppose 0 = 2*i + 3*i - 10. Let s(u) = u**3 - 12*u**2 + 12*u - 5. Let t be s(11). Suppose i*b - t = 16. Solve 2*y - b + 3 = 0 for y.
4
Let y be ((-81)/45)/(3/(-10)). Solve 2*o = y*o - 20 for o.
5
Let k = 6 - 4. Let q be -2 - k*(-6)/4. Solve 4*t - q = -5 for t.
-1
Let d(j) = -j + 1. Let s(m) = 4*m - 2. Let p(l) = 21*d(l) + 6*s(l). Let g be p(-3). Solve g*k = -2*k - 10 for k.
-5
Suppose -2*j - 19 = -5*t + 4, -28 = -4*t + 4*j. Solve -p = -1 - t for p.
4
Let z = 4 + -4. Solve 2*r - 5*r = z for r.
0
Let s be ((-2)/1)/((-2)/3). Let c be 292/20 + (-4)/(-10). Solve s*z = 6*z + c for z.
-5
Suppose 0 = -s + 1. Let g = s - -3. Let m(f) = -f - 1. Let n be m(-1). Solve n*r = -4*r - g for r.
-1
Let w(s) = -s - 7. Let z be w(-10). Let c be 20/12*z - 2. Solve 3 = 3*y - c for y.
2
Let r(b) = -2*b - 4. Let n be r(-13). Solve -n = 3*c - 7 for c.
-5
Suppose 0 = 9*d - 5*d. Solve d = 2*b - 5*b for b.
0
Suppose 3 = 4*q + 3*f, 3*f - 5 + 2 = q. Suppose q = -3*k + 6*k - 12. Suppose -d = -k*m + 4, 2*d - 4 = -4*m + 12. Solve -d*t + 0*t - 12 = 0 for t.
-3
Let y(j) = 6*j + 1. Let g(a) = -5*a - 1. Let h(p) = 5*g(p) + 4*y(p). Let w be 20/8*-2 + 0. Let m be h(w). Solve k - m*k - 9 = 0 for k.
-3
Let q be (-21)/(-14)*10/(-3). Suppose -4*n - 2 = -42. Let w = q + n. Solve i = -0*i - w for i.
-5
Suppose -4*z - 2*g = 2, 3*z + 0 = -2*g - 2. Suppose 3*j + 100 = 8*j. Solve z = -m - 3*m + j for m.
5
Suppose -32 = -5*m + 28. Suppose 3*n = n - 10. Let x(z) = -z**3 - 4*z**2 + 5*z + 4. Let b be x(n). Solve m = -b*j + j for j.
-4
Let b = 15 - 11. Suppose 12 = -b*k - 4*z, 3 = 5*k - 0*z - z. Solve k = 4*a - 2*a - 4 for a.
2
Let n(l) = -l**2 + 6*l - 5. Let p be n(5). Let a be (-3 - p)*1/(-1). Solve -a*s - 6 = -3 for s.
-1
Suppose 4*r + 3 = -5*i, -5*i + 0 + 9 = -2*r. Let q be (-2)/(0 + -2) - i. Solve 0 = -q*u + 5*u + 10 for u.
-2
Let j be 120/16 - (-2)/(-4). Solve 0 = -5*a - 3 - j for a.
-2
Suppose 11*s = 10*s. Solve -q + s + 3 = 0 for q.
3
Let o be 10/(((-2)/(-3))/((-9)/(-27))). Solve 0 = o*m - 9*m - 20 for m.
-5
Suppose 6*w - 4*w - 6 = -2*f, 0 = 3*w. Solve -10 = -f*a + 2 for a.
4
Suppose -5 - 1 = -3*h. Solve -2*g - h = -g for g.
-2
Suppose -12 = 3*o + 5*a, 5*o + 20 = -a + 5*a. Let b = 6 + o. Let d be (-21)/(-5) + (-1)/5. Solve b*i + d = -2 for i.
-3
Suppose 9*l + 13*l = 66. Let z be -6 + 0 + 2/1. Let a be (6/4)/((-3)/z). Solve l = -c - a*c for c.
-1
Let l be (-1 - 2)/((-3)/15). Suppose -3 + l = 3*m. Suppose -5*t + 45 = -w + 2*w, -3*t - m*w + 10 = 0. Solve -6*p - t = -p for p.
-2
Suppose -4*o - 7 - 1 = 2*m, o = m - 8. Solve 5 = -m*x + 17 for x.
3
Let h(b) = -b**2 - 5*b + 8. Let k(j) = 4*j + 1. Let q be k(2). Suppose -