-4)*2/3. Solve -a - 4*a - l = 0 for a.
-3
Let q be 1 + -1 - -5 - -1. Let p = q - 3. Solve -p*n + 6*n = -3 for n.
-1
Let z(c) = -2*c - 12. Let k be z(-9). Suppose -3*q + k = -0. Solve -y = -0*y + q for y.
-2
Let m(o) = -o**3 + 8*o**2 - 8*o + 10. Let z be m(7). Solve z*r - r + 4 = 0 for r.
-2
Let k(p) = -2*p**2 - p + 3. Let r be k(-3). Let c = 8 - r. Suppose -7*d = -2*d - c. Solve -d*f = f + 5 for f.
-1
Let b(k) = -k**3 + 3*k**2 + 6*k - 5. Let a be b(4). Let c(p) = -3*p + p**3 - 2*p + 7*p**2 - a*p + 5 - 3. Let h be c(-8). Solve 0 = q - h*q + 5 for q.
5
Suppose 4*j - 32 = -c - 4*c, -5*j = 10. Solve -b + c = b for b.
4
Suppose 4*o = -3*s + 28 - 10, s = 3*o - 20. Solve 4*x + o = 22 for x.
4
Let n be -1 + 3/(-3)*-7. Let b = -3 + n. Solve b*m + 4 = m for m.
-2
Let v = -5 - -9. Suppose n - v = 0, -4*n + 6 = 3*k - 5*k. Solve 2*x = x - k for x.
-5
Let h be 18 - 4*4/(-8). Suppose h = -4*v, -4*v - 31 = -g - 9. Solve -2*q + g = -q for q.
2
Let b = -6 + 14. Let f be 0/(-7) - b/(-2). Suppose -2 = -f*l + 2. Solve 3*p + 16 = l for p.
-5
Let w(d) = -d + 1. Let m be w(0). Solve x = m - 2 for x.
-1
Suppose 3 = w - 1. Suppose w*q - 1 = 11. Suppose 3*a + 28 = 4*h, -a + 4*a = h - 7. Solve -q + h = n for n.
4
Let u = -44 - -75. Solve -6 = -5*h - u for h.
-5
Let n = -5 - -6. Solve -n + 3 = -2*d for d.
-1
Let t be (-117)/6*2/(-3). Solve 0 = -2*h - t + 5 for h.
-4
Let i(j) = 3*j**3 + 14*j**2 - j - 16. Let c(r) = -r**3 - r**2. Let y(f) = -2*c(f) - i(f). Let q be y(-12). Solve -2*g = -4*g - q for g.
-2
Let s be (-3 + 2)/((-2)/14). Solve -s*i = -3*i + 20 for i.
-5
Let p be (8/(-3))/((-6)/9). Solve -5*c = -1 - p for c.
1
Suppose 10*w + 7*w = 5*w. Solve w = -9*d + 7*d for d.
0
Let a(p) = 0*p**2 - p**2 - 8*p + p - 6. Let c be a(-6). Solve c - 8 = -2*h for h.
4
Suppose 0 = -3*a + a - x - 3, 3*x = -a + 11. Let u = 8 + a. Suppose w + 60 = u*w. Solve -4*t + 8*t - w = 0 for t.
5
Let o = -61 - -40. Let h = -18 - o. Let i = -2 - -2. Solve i*s + 6 = -h*s for s.
-2
Let g = -6 + 19. Solve 5*i - g - 12 = 0 for i.
5
Let z be 5/(10/13)*(-6)/(-3). Solve 4*m + 3 = -z for m.
-4
Let t = -6 + 11. Suppose 0 = -t*g - 21 + 71. Suppose 5*z - g = 5. Solve 5 = -2*h + z*h for h.
5
Let x be -1 - (-12)/(-1 - -4). Solve t = -x*t - 20 for t.
-5
Let a = 18 - -2. Suppose g + 3*g = a. Solve -g*u - 12 = 3 for u.
-3
Let z = 24 - 20. Suppose z*j - 3*t = 5*j - 5, 0 = t - 1. Solve 3*u + 1 = -j for u.
-1
Let p(d) = d**2 + 2*d. Let k be p(-2). Let b = 13 + -8. Suppose -m + 1 = -2*o, -3*m - 2*m + 35 = b*o. Solve k = -5*u + m for u.
1
Let u be (1/(-3))/(3/(-27)). Let k be (-12)/((4 + -2)/(-8)). Suppose 0*l + k = u*l. Solve -5*s - 6 = -l for s.
2
Let m(g) = g - 10. Let u be m(12). Let t be (8 + 0)*1/2. Solve -z + t = -u*z for z.
-4
Let u(p) = -p**2 + 8*p - 7. Let m be u(5). Suppose 3*b - 8 = -b. Suppose -4 = -b*w - 4*h + m, -3*w = -5*h + 15. Solve 10 = -w*t + 5*t for t.
2
Suppose 14 = 2*r + 2. Let m(p) = -p**2 + 11*p - 3. Let l be m(10). Suppose 1 + l = 4*n. Solve 0 = -v + n - r for v.
-4
Let r(o) = o**2 - o - 3. Let z be r(0). Let u = 0 + 4. Let d = z + u. Solve 0 = l - d + 2 for l.
-1
Suppose 5*g - 12 = 2*f, -2*g - 16 = -g - 5*f. Suppose 225 = 20*q - 5*q. Solve 0 = -g*i + i + q for i.
5
Let j = -24 + 10. Let b = 46 + -26. Let g = j + b. Solve g*m = m - 15 for m.
-3
Suppose -2*r = 4*m + 2, 0 = 2*m - 3*r + r - 14. Solve h + m = 3*h for h.
1
Let t(g) = -g - 6. Let o be t(-6). Let p be (-688)/56 - 4/(-14). Let k = -4 - p. Solve 2*x = -o*x + k for x.
4
Suppose -31 = -3*y - 10. Solve -4*h + 27 = y for h.
5
Suppose 2*t + 18 = 2*g, 5*g = g. Let f(o) = o**3 + 10*o**2 + 10*o + 11. Let z be f(t). Solve -2 - z = -4*q for q.
1
Let q = 25 + -22. Solve -q*h + h = 0 for h.
0
Suppose -5*t = -8 - 7. Let d(j) = t + 0*j - 7 + 3*j. Let x be d(3). Solve x*p - 2 = 3 for p.
1
Suppose -5*j = -5, 3*j - 98 + 23 = -y. Suppose 2*r - 2*t - 45 = 3*t, -4*t - y = -4*r. Suppose -5*w + 2*w + 15 = 0. Solve w*a - r = -0 for a.
3
Let s(h) = -h + 2. Let m be s(3). Let q be (-4)/((-12)/15) + m. Let z be 11/q + (-1)/(-4). Solve c = -z*c - 12 for c.
-3
Let t = -7 - -14. Let l = 9 - t. Solve 5*z + 9 = l*z for z.
-3
Suppose -k = -2*v + 7, 0 = -0*v + 2*v + 2*k - 10. Solve 3*m - 1 = v*m for m.
-1
Let v be 6/2 - (4 + 3). Let s(i) = i**3 + 3*i**2 - 5*i. Let h be s(v). Solve -j + h + 0 = 0 for j.
4
Suppose 5*k = 5, -17 + 3 = -4*r - 2*k. Suppose -3*y + 3*a + 18 = a, 3*a - r = -3*y. Let l(c) = 3*c - 4. Let q be l(y). Solve 4*h - q*h = 20 for h.
-5
Suppose 3*k - 3 = 2*k. Let w be 2/k + 44/6. Let f = w + -8. Solve 20 = -5*n - f*n for n.
-4
Let w(q) = q**2 + 9*q + 4. Let v be w(-9). Suppose v*h + 3 = 5*h. Let k be 15/2 - h/(-2). Solve -11 = -5*a + k for a.
4
Let r(f) = f - 5. Let o be r(-4). Let w be (-6)/o - (-7)/3. Let j be (-2 + 9/w)*5. Solve c = -j + 2 for c.
-3
Let p(w) = -w**3 - 5*w**2 + 4. Let k be p(-5). Suppose -a + 15 = 5*d, -2*a + 5*d = k + 11. Solve a*c - 1 = -c for c.
1
Let u = 3 + -3. Let g = u - 0. Suppose -a + 3 = -0*a. Solve g = a*b - b for b.
0
Suppose 4*z + 0*z = 0. Suppose 5*l + 0*t + 2*t - 31 = z, l - 3*t = -4. Solve 0 = -c - 4*c - l for c.
-1
Let i = 8 - 8. Solve i*y + 2*y + 10 = 0 for y.
-5
Let o(h) = -h**3 - 4*h**2 - h + 5. Let s be o(-4). Suppose 16*t - s = 13*t. Solve 2 - 17 = t*r for r.
-5
Let m be -2 + 3 - (-2)/1. Suppose 4*n - m = -q, 0 = 5*n - 2*q + 3*q - 5. Let x be n/7 - (-66)/14. Solve 10*l + 20 = x*l for l.
-4
Suppose -2*h + 3*c + 7 = 0, -2*c = -1 - 1. Solve w = h*w - 20 for w.
5
Let a be ((-3)/1)/3 + -1. Let x(i) = 2*i**2 + 3*i. Let q be x(a). Suppose -5*s + t + 29 = 0, -q*s = -0*s - 2*t - 18. Solve 2*c + s = c for c.
-5
Let s(z) = z**3 - 3*z**2 - 4*z. Let h be s(4). Suppose h = -u + 2*u - 2. Suppose -4*k + 16 = 0, 0 = c - 3*k + 1 + 9. Solve -u*d - c*d - 12 = 0 for d.
-3
Let p(j) = -j**2 - 8*j - 3. Let l be p(-7). Suppose l*t + 3*g + 1 + 2 = 0, g - 4 = -3*t. Solve t*y + y = 4 for y.
1
Let q = 15 - 4. Let k = -6 + q. Let s = k - 3. Solve s*d - d + 1 = 0 for d.
-1
Suppose -f + 2*f - 13 = 0. Let h = 19 - f. Suppose -2*c = -h - 0. Solve 0 = c*r - 4*r + 2 for r.
2
Suppose -r = 5*x - 9, 7 + 15 = 5*r + 2*x. Solve 0 = -r*v + 5 + 7 for v.
3
Let b be -3*(-1)/3*10. Suppose -6 = -f + b. Solve -2*j - 6 = -f for j.
5
Suppose 0 = 5*p + 10, v + p - 4 = 2*p. Let j be (v/5)/((-4)/(-40)). Solve 0 = 3*y - j*y - 3 for y.
-3
Let b = -1 + 1. Let n(j) = -j**2 - 6*j - 2. Suppose f + 3 = -2, 0 = u - 4*f - 15. Let t be n(u). Solve t*q - 6 = -b*q for q.
2
Let h(i) = i**3 + i**2 + i + 3. Let z be h(0). Solve -z*q - 15 = -8*q for q.
3
Suppose -6*v = -2*v - 8. Suppose -5*b - 3*m + 10 = -v, 4*b - 9 = -3*m. Solve -14 = b*y - 2 for y.
-4
Let h = 63 - 44. Suppose 2*a - 2*w = h - 7, 5*w = -20. Solve a*y - 9 + 1 = 0 for y.
4
Let s(a) = -a**2 - 5. Let j be s(5). Let w = j + 39. Suppose -2*g = -4*l - 4*g + 20, 5*g - 6 = l. Solve z - w = -l for z.
5
Let x = -12 + 15. Solve x*d - 4*d - 4 = 0 for d.
-4
Let a(t) = t**3 - 7*t**2 - 9*t + 14. Let b be a(8). Solve -b*s + s = -15 for s.
3
Let n = -14 + 26. Let s(t) = -t**3 + 12*t**2 - 2*t + 17. Let y be s(n). Let b be 2 - 5 - y - -1. Solve 0*m = 5*m + b for m.
-1
Let s(l) be the first derivative of l**4/4 - 5*l**3/3 + 5*l**2/2 - l + 1. Let v be s(4). Suppose 5*d - v*d = 4. Solve d*j - 7*j = 0 for j.
0
Let v(m) = 23*m + 1. Let d be v(1). Suppose 3*u + 1 + 5 = -3*c, 4*c = 4*u - d. Solve 0 = 7*j - u*j - 15 for j.
3
Let v(y) = -y**2 + 5*y - 2. Let m be v(3). Solve 0 = -m*c - c - 20 for c.
-4
Suppose 3*z = -3*d + 9, d - 1 = -3*z - 4. Suppose 0*v = v - d. Let s = -47 + 66. Solve v + s = -5*c for c.
-5
Suppose 3*v - 3*n - 8 = 7, 0 = n + 2. Solve -c = -v*c for c.
0
Let r(x) = x - 5. Let q be r(7). Let k be ((q - -1)*-1)/(-1). Solve 3*g - 6 = -k for g.
1
Suppose 2*v + v - 4*a - 38 = 0, -10 = -5*v - 4*a. Suppose -2*z + 39 = 11. Solve -v = 4*q + z for q.
-5
Suppose 2*f + 4*h - 4 = 0, 3*h + 2*h + 1 = -f. Suppose -f*c + 61 = -a, a = -7*c + 4*c + 51. Solve -c = -2*u + 6*u for u.
-4
Suppose 4*v - 77 = -7*v. Solve -v + 5 = -w for w.
2
Let l(n) = -n - 4. Let b be (-4)/2 + 2/(-1). Let a be l(b). Solve a = 3*r + r for r.
0
Suppose 2*d = 2*z + 2*z + 88, -2*z = 4*d - 136. Let n = d + -25. Solve -n - 1 = -3*r for r.
4
Let m(z) = 8*z**3 - z**2. Suppose y = 2*g - 2*y + 1, -3*g - 3 = -5*y. Suppose g*j - 3 = j. Let l be m(j). Solve l*a - 4*a - 3 = 0 f