 u(a) = 4*a - 27. Let i(o) = o - 7. Let x(y) = 18*i(y) - 4*u(y). Let c be x(12). Solve -s - c = s for s.
-3
Let g(r) = -2*r - 4. Let m be g(-3). Suppose -3*y + 7 = -m. Suppose -2*h = -3*h + y. Solve h*f = f - 8 for f.
-4
Suppose -3*q - 34 = 2. Let v = 12 + q. Solve 0 = 3*j - v*j for j.
0
Let u(t) = 2*t + 8. Let h be u(-8). Let w = 12 + h. Suppose 0 = w*k + k - 20. Solve -20 = -0*b + k*b for b.
-5
Let c be 5*1/((-2)/(-2)). Suppose 3*l - 1 = -t + 4, c = -4*l + t. Solve -2*s = -l*s + 8 for s.
-4
Suppose -7*d + 80 = -5*d. Suppose -6*h + h = -d. Solve -h = -5*m - 23 for m.
-3
Suppose 2*i + 2*i - 2*q - 40 = 0, -5*i + q = -53. Suppose -3*o = 5*x + i, 0*x + 22 = 2*o - 4*x. Let u = o - 0. Solve 10 = -u*f + f for f.
-5
Let y(t) = -1 + t - 3 - 1. Let f be y(6). Solve l = -2 + f for l.
-1
Let t be (2/4)/((-1)/(-4)). Let a be 3*(24/(-9))/(-2). Let j(h) = h - 3. Let g be j(a). Solve -t*q = g + 1 for q.
-1
Let u be 1 + 4 + (6 + -3)*-1. Solve u*p + 3*p = 0 for p.
0
Let r(y) = y**3 + 6*y**2 - 3*y + 2. Let a be r(-6). Suppose d = 3*i - 8*i + a, 3*i = -2*d + 5. Solve -10 - 5 = -i*o for o.
3
Suppose 3*n - 4 - 14 = 0. Solve 0 = -4*p - 26 + n for p.
-5
Let l(z) = -z**3 - 3*z**2 + 6*z - 4. Let m be l(-5). Suppose -i = -2, 4*k = k + i + m. Solve 3 = -k*b + 3*b for b.
-1
Let x(s) = 2*s**2 - 4*s + 2. Let j(h) = -3*h**2 + 5*h - 2. Let k(w) = -3*j(w) - 4*x(w). Let c be k(-4). Solve 0 = -3*y + y - c for y.
-5
Suppose -m + 12 + 5 = 5*h, 2*h = -3*m + 12. Suppose 0 = 2*k - 5*z - 20, 2*k + 0*k - 12 = h*z. Solve 0 = -5*y - k*y for y.
0
Let d(w) = -4*w - 10. Let l be d(-8). Suppose -4*x = r - l, 2 + 6 = 4*r. Suppose 0 = -b + 3*a - 6*a, -5*b + x*a = -20. Solve 0 = b*k + 9 for k.
-3
Let z be -3*(2 + (-2 - 1)). Let c be 5 + 0 + (-9)/((-3)/(-1)). Solve z + 3 = -c*f for f.
-3
Suppose -4*l = -4*h - 4, -2*l = -3*l - h + 9. Solve c - l*c + 4 = 0 for c.
1
Let h be 6 - -6*2/(-4). Suppose 5*t - 4 = 6. Solve -h*l - t*l = -25 for l.
5
Let x be (-46)/(-4) + 7/14. Solve -2*d + x = -5*d for d.
-4
Let k be (-7 + 11)*3/4. Suppose -3 = -k*g - 3*q - 0*q, -g = -3*q - 17. Solve 0*x = -x - g for x.
-5
Suppose -16*c + 233 = -7. Solve -4*a = -1 - c for a.
4
Let q be 1 + (0 - (1 - 2)). Solve q*h + 5 = 1 for h.
-2
Suppose 0 = n - l + 2 - 8, 0 = -5*n + 3*l + 28. Let y be 1/(1/(-2) + 1). Solve -n*c = 27 - y for c.
-5
Let m be (-272)/(-24) + (-2)/(-3). Solve -6*b + m = -2*b for b.
3
Let h be 3/(3/(-6)*-2). Solve 4 = h*f + 13 for f.
-3
Let n(j) = j + 7. Let u be n(-5). Solve -g - 6 = -u for g.
-4
Suppose 4 - 8 = -v. Let f be ((-4 + 4)/v)/3. Solve 3*l + 2*l - 15 = f for l.
3
Let o = -12 + 8. Let y be (-6 + 0)/(o/4). Solve z - 2 = -y for z.
-4
Suppose 0 = 2*v - 10. Suppose 5*c = -5*r + 55, -r = 4*c - 0*c - 2. Suppose 0*z - z + r = 3*n, -v*n = 3*z - 26. Solve -3 + z = -u for u.
1
Let d = 26 + -26. Solve -3*y + 2*y + 4 = d for y.
4
Let k be 4/(-10) + (-20)/(-50). Let l be 1*(2 - k) - -6. Solve -6*v = -2*v + l for v.
-2
Let f be (-7)/(-2) - (-2)/4. Suppose -u - f = -12. Let m(q) = -q**2 + 7*q + 8. Let y be m(u). Solve -3*b + 6 + 3 = y for b.
3
Suppose -o - l + 4 = -2*o, 5*o + 3*l - 12 = 0. Solve -h - 3*h = o for h.
0
Let f(t) = 2*t + 2 + 0*t + 0*t**2 + t**2. Let j be f(-2). Let l = -2 + j. Solve 4*v + 1 + 3 = l for v.
-1
Suppose -n = -4*r - 2*n + 17, -3*r - n = -12. Suppose -r*u - 4 = -14. Suppose 0*f = -3*f. Solve s - u = -f*s for s.
2
Suppose 0 = -24*k + 83 + 85. Let d be (0 - 1)/(-3 + 2). Let y be 2*(3 - d) - 0. Solve -13 - k = y*l for l.
-5
Let n(y) = 2*y**2 + 2*y + 1. Let u be n(-3). Suppose 2*t - 3 + u = 0. Let a = -3 - t. Solve 3*s - a = 7 for s.
3
Suppose i - 9 = 3*i - 3*m, 5*m - 15 = 0. Let c(j) = 7 + 6 + 6 - 4 + j. Let n be c(i). Solve 3*w + 0 = -n for w.
-5
Let l be (-23)/(-7) - (-8)/(-28). Suppose -o - o + 2*u = -6, -5*u = -3*o + 15. Solve -a + o = -l for a.
3
Suppose -3*o + 30 = -0*o. Suppose -7*b - 12 = -o*b. Solve -5*q - 1 - b = 0 for q.
-1
Let o be (6 + -7)*(-2)/(-1). Let n be (-10 - o)/(0 - 2). Solve n*z - 8 + 0 = 0 for z.
2
Let d = -10 + 15. Let v = -25 + 35. Suppose 0 = 2*c - v. Solve 0*p - c = d*p for p.
-1
Let m(k) = -k**3 + 6*k**2 - k + 6. Let g be m(6). Suppose -q - 4*q = g. Suppose -4*p = -0*p - 8. Solve 0*j - p*j = q for j.
0
Let p be (-21)/49 + (-11)/7. Let h(q) = q**2 - 2. Let z be h(p). Solve 0*x - 2 = -z*x for x.
1
Let l = 3 + -2. Suppose 3*f = -5*n + 69, -4*n - f = -5*f - 36. Let r be n - ((-6)/1)/(-3). Solve -3*a + r = l for a.
3
Suppose -5*w = -10*w + 390. Let b = 50 - 32. Let y be 4/6 + w/b. Solve -y*j = -8*j + 6 for j.
2
Suppose -4*j = -4*o, 0 = 2*j - 7*j - 5*o. Let g be j/1 + -1 + 0. Let h = -1 - g. Solve a - 2 + 1 = h for a.
1
Let p = 3 - -2. Suppose 0*v = -v + p. Suppose -c + 6*c = -5*x + 5, 5*x = 2*c - 2. Solve 5*y = -x*y + v for y.
1
Let f(n) = n**2 - 8*n - 8. Let p be f(9). Solve -2*v = 7 - p for v.
-3
Suppose 4*n - 11 = -o - 28, -5*o - 25 = 5*n. Let h = o - -5. Let g = 1 + h. Solve -g*a + 31 = 11 for a.
4
Let n = 1 + 5. Solve 2*h = -h + n for h.
2
Suppose 4*b - 4 = 2*b. Let f be (-3 - -3)*(-1 + 2). Suppose -4*u + 48 = -f*u. Solve u = b*j + j for j.
4
Suppose -3*r = r - 8. Solve r*g - 3*g - 2 = 0 for g.
-2
Let z be -1*10*(-1 - -2). Let x be (-4 + -1)*z/25. Suppose 0 = -x*b + 1 + 3. Solve b*m = -m for m.
0
Suppose 0 = -3*l - 3 - 3. Let b be (-2)/l*(2 + 0). Let x(u) = -3*u - 14. Let h be x(-5). Solve g = h - b for g.
-1
Suppose o + 5*v = -21, -5*v = o - 2*v + 11. Solve -5 = -o*h - 17 for h.
-3
Let w be (-2)/(-10) + 132/15. Solve 5*b + w = -16 for b.
-5
Let h(l) = -l**2 - 12*l - 9. Let c be h(-8). Let t be 2/4*(1 + c). Solve -t = -5*d + 13 for d.
5
Let x = -1 + 1. Let k be (-5)/2*18/(-15). Let l = 14 + -11. Solve -l*h = -x*h + k for h.
-1
Let m = 20 - 16. Solve -j + m = j for j.
2
Let q(n) = n**3 + 16*n**2 - 16*n + 19. Let p be q(-17). Solve p*s = 6*s - 12 for s.
3
Let k = 1 + 1. Solve 5 - k = h for h.
3
Let f = 35 - 27. Solve -f*g + 3*g = 20 for g.
-4
Let t(y) = -y**2 + 2*y + 1. Suppose 4*s + s = 10. Let x be t(s). Solve 0 = 5*u - x + 21 for u.
-4
Let p(m) be the second derivative of m**4/12 + 5*m**3/6 + 5*m**2/2 - m. Let j be p(-6). Let g = j - 8. Solve 2*a + 1 = g*a for a.
1
Suppose 0 = -3*q + 2*v - 17, 2*q = -2*q + v - 16. Let h be (1 + -1)/(1 + q). Solve f - 1 = -h for f.
1
Suppose 7*j = 4*j + 48. Let a = -14 + j. Solve a*m - 3*m + 2 = 0 for m.
2
Let h(o) = o. Let p(a) = a + 1. Let y(g) = -2*h(g) + p(g). Let n be y(-3). Suppose -2*u - u = s - 21, 5*u - 63 = -n*s. Solve 0 = m + 3*m - s for m.
3
Let j = -5 + 5. Let u be j/((-4)/6*3). Suppose 3*m - 11 = -4*f, u = 5*m - m + f - 32. Solve 0 = -3*o - 0*o - m for o.
-3
Let r be 87/27 - 2/9. Suppose r*c - 7 = -1. Solve -q + c*q + 5 = 0 for q.
-5
Suppose -2*p + 52 = 5*u, -3*u - 3*p = -p - 32. Solve a = 6*a + u for a.
-2
Suppose -5 = -2*m + 3. Suppose -z + 0*s + m*s - 12 = 0, 4*z - 3 = -s. Solve z = 5*x + 12 + 8 for x.
-4
Let y be 7 - (-3)/(-9)*(1 + 11). Solve 6*w = y*w for w.
0
Suppose -4*p = -2*h - 16, -2*h = -3*p + 2*p + 4. Let r be (-28)/(-6) - (-2)/6. Suppose 5*k + 5*b = 15, -k - 4 = -2*b + 2. Solve h = -k*m + r*m for m.
0
Suppose a - y + 21 = 5*a, 0 = -4*a + 5*y + 39. Suppose 2*h = 4*z - 32, 3*h + 5*z + 28 = a*z. Let m = h - -14. Solve m*r = 3*r for r.
0
Let o = 44 + -36. Solve 4*p - o = 12 for p.
5
Suppose 0 = -11*l + 6*l + 15. Solve l*a - 7 = -1 for a.
2
Suppose -2*v - 28 = -4*q + 2*v, -5*q + 23 = -2*v. Solve q*a - 1 = -7 for a.
-2
Let k = 4 + -3. Let v = 13 - -1. Let x be (-4)/6 - v/(-3). Solve -x + k = -3*o for o.
1
Suppose 0 = 5*j - 19 - 21. Let s(t) = 7*t**2 - 16*t + 2. Let x(k) = 6*k**2 - 15*k + 3. Let u(z) = 5*s(z) - 6*x(z). Let m be u(j). Solve -5*i - m = 7 for i.
-3
Suppose -8 = 4*i - 8*i. Let w be 43/9 + (-2)/(-9). Solve 0 = -q + i - w for q.
-3
Let m(p) = -p**3 - 4*p**2 - p + 1. Let j be m(-4). Solve 5*s - j = 15 for s.
4
Let q(a) = a**2 - 6*a. Let g be q(6). Suppose -3*f = 2*y - 3, -y = -6*y + 5*f - 5. Let c = y + g. Solve c = -2*u + 3*u for u.
0
Suppose -142*k - 1 = -143*k. Solve -z + 0*z - k = 0 for z.
-1
Let g be 3/(3/5)*1. Solve g + 5 = -5*o for o.
-2
Let j be (0 - 3/(-6))*0. Solve 0 = -j*s + 2*s + 6 for s.
-3
Suppose -u + 7 = x, 0 = 4*x + u + 4*u - 31. Suppose 3*b = 5*b - x. Solve b*r + 0 = 2 for r.
1
Suppose -4*g - 1 + 17 = 0. Solve -g*o = -5*o + 4 for o.
4
Let g(n) = -n + 2. Suppose k - 3 = 4*a, -a = 