lve 0*y = -4*y - z for y.
-5
Suppose 4*l + m - 3 = 0, -2*l + 4*m + 28 = 2*l. Let c be 16/l - (8 - 5). Solve -7 = -c*f - 27 for f.
-4
Let r be -3 - (-2 - 1 - 6). Let p be 4*-1*r/(-8). Solve 0 = -2*z + p*z for z.
0
Let p = 8 + -3. Suppose p*x - 6*x = -23. Suppose x = 4*q + 3*r - 13, 0 = 3*q + 5*r - 38. Solve 4 = -2*w + q for w.
1
Let b be -2 + 4 - 0 - -1. Solve -3*s = -6*s - b for s.
-1
Let t be (3/(3/2))/1. Suppose -t = -i + 18. Suppose -2*w = 5*r - 15, 2*w - 3 = w - r. Solve w*f - 4*f = -i for f.
5
Let c(f) = -4*f**2 + 0*f + 3*f + 3*f + 3*f**2 + 2. Let d be c(6). Solve d = 4*y - 6 for y.
2
Suppose 5*v - 12 = -2. Suppose -5*l - 5*g = -210, -5*l = -v*g - 0*g - 196. Suppose -4*w + l = w. Solve -w = -3*z - z for z.
2
Let m = 23 + -9. Let i be 14/4*16/m. Solve -10 = i*b + 6 for b.
-4
Let j(i) = i**2 + 19*i - 30. Let d be j(-21). Solve 3*m + m + d = 0 for m.
-3
Let r(d) = d - 9. Let b be r(9). Suppose b = z - 2. Solve z*j + 10 = 7*j for j.
2
Suppose -2*d - 4 + 12 = 0. Suppose -t + 15 = c, -c = -d*c + 6. Suppose s = -0*s + 7. Solve t = 4*w - s for w.
5
Suppose 2 = c + 1. Solve -4 = -p - c for p.
3
Let q(k) = k**2 + 7*k + 6. Let u be q(-4). Let p be 1 + -1 - u - 1. Solve l - p*l = -12 for l.
3
Suppose l - 2*l + o + 6 = 0, 12 = 3*l - o. Solve 2*m = -11 + l for m.
-4
Suppose 74 = 3*t - 13. Let a(v) = 2*v - 5. Let j(b) = 3*b - 9. Let r(x) = 7*a(x) - 4*j(x). Let u be r(4). Solve t = 4*g + u for g.
5
Suppose -5*b + 24 = -4*c + 1, -3*b - 3*c + 3 = 0. Solve s - 4 = -b for s.
1
Let z be 3 + 2 + -2 - 3. Let o = z - -3. Solve 0 + o = -s for s.
-3
Suppose -2*k - m + 6 = -0*m, 0 = 3*m + 6. Solve 8*a - 4*a = -k for a.
-1
Suppose 5*s + 5*y = 270, -54 = -2*s + s + y. Suppose -3*p - 3*t + s = 0, -3*p + p + 3*t = -21. Solve 5*b = 2*b - p for b.
-5
Let n be (10/(-4) + 1)*-2. Solve n + 0 = -3*y for y.
-1
Let j(t) = t + 5. Let c be j(-5). Suppose 2*h - 6*h + 4*u - 24 = c, 0 = 5*h + 4*u + 30. Let k be (2 + 0)/((-3)/h). Solve z - 15 = -k*z for z.
3
Suppose 9*b - 16 = 5*b. Solve w - b*w = 0 for w.
0
Suppose g + 0*g = 0. Let j = g - 3. Let x be (-1 - j)*8/8. Solve q - x*q - 1 = 0 for q.
-1
Let b = -3 + 5. Suppose b*p + 3*p = 40. Solve 0 = -t - 3*t + p for t.
2
Let g(b) = -b**3 - 5*b**2 + 5*b - 6. Let d be g(-6). Suppose d = 3*k - 3 - 3. Let w = 27 - 27. Solve -k*c = -w*c for c.
0
Suppose 5*o - 2*o - 18 = 0. Suppose o*h = h. Solve 2*x - x - 3 = h for x.
3
Let s = 83 - 83. Solve s = 3*u - 6*u + 12 for u.
4
Let x(a) = -a**3 + 5*a**2 - 6*a + 10. Let p be x(4). Solve -p = -n - 0*n for n.
2
Let z(o) = -3*o - 9*o + 3 + 12 - 7*o**2 + 6*o**2. Let v be z(-12). Solve r = -4*r + v for r.
3
Suppose -120 = -3*t + t. Suppose 3*c = 0, 0*q - 3*c = 5*q - t. Suppose 0 = 3*u + 3 - q. Solve -2*p - 5 = u*p for p.
-1
Let f = 772 - 432. Let m be 2/(-12) + f/24. Solve 4 = -5*j + m for j.
2
Suppose y = -4 + 1. Let m = -1 - y. Suppose 3*u = m*u. Solve -5*s - 4 - 6 = u for s.
-2
Let j be -6*(-2 + 16/6). Let h be 10/(-8)*j + -3. Solve y - h = 3*y for y.
-1
Let r(g) = -g + 2. Let b be r(0). Let i be (2 - 2) + (b - -2). Solve i*y + 33 = 13 for y.
-5
Let b be (-4)/(-10) - 2/5. Let g(t) = t**3 - 2*t + 8. Let i be g(b). Solve -3*s = s + i for s.
-2
Let u = -39 - -40. Let b be 4/3*1*-6. Let x be ((-2)/4)/(2/b). Solve -u + x = i for i.
1
Let b be 8 + (-6)/(2 + 1). Let c be 5/(-15) + 32/b. Solve 0*t + c*t + 20 = 0 for t.
-4
Let g be (2/1 - 2)/(-1). Suppose g = b - 3, -5*r + 13 = 2*b - 8. Solve v + 2*v - r = 0 for v.
1
Suppose -2*j + 7 = 3*l, -2*l + 1 = -5*j + 9. Let t be (-14)/(5 - (4 - 1)). Let b = t - -13. Solve b*a - j*a = -12 for a.
-3
Let r = 44 + -32. Solve 3*o + 0*o = -r for o.
-4
Let a(n) = 6*n**2 - 2*n + 1. Suppose 3*r = -f - 9, f - 39 = -3*f + 3*r. Let q = -5 + f. Let m be a(q). Solve c = m*c + 8 for c.
-2
Let y be 3/2 + (-86)/4. Let g be -3 + 2 - y/4. Solve 9*u = g*u + 25 for u.
5
Let t = -5 + -3. Let q(f) be the first derivative of f**3/3 + 4*f**2 - 1. Let u be q(t). Solve u = 3*k + k - 4 for k.
1
Let w(q) be the second derivative of q**5/20 + 2*q**4/3 - 4*q**3/3 + 6*q**2 + 4*q. Let b be w(-9). Solve -k = b*k - 4 for k.
1
Suppose -4*n = 5*o - 49, 7 = 5*n + o - 28. Suppose -2*b = b - n. Solve b*u - 3*u = 0 for u.
0
Let k = 0 + 0. Suppose 0 = 2*a - 28*a + 52. Solve k = -4*n + a*n for n.
0
Suppose 0 = -2*r + 1 - 5. Let l be 114/27 - r/(-9). Suppose -3*b - l*k = -3*k - 10, 0 = 2*b + 2*k - 8. Solve -b = q - 8 for q.
5
Suppose 4*j - 2*k - 17 = 21, 5*j = 5*k + 55. Suppose 4*o + 28 = -4*l, 2*o + 5 = 2*l - 5. Let m = o + j. Solve -m = -4*g + 10 for g.
3
Suppose -n + 6 = 2*g - 3*g, 0 = -5*n - 3*g + 30. Suppose 0 = -2*q + n*q. Solve -8 = -q*s - 2*s for s.
4
Suppose 3*m + 4 = 13. Solve -m*k = k for k.
0
Let l = 7 + -1. Solve z = l*z for z.
0
Let y(f) = 2*f + 4. Let n be y(5). Let s = -10 + n. Solve 20 = s*u - 9*u for u.
-4
Let v = -5 + 8. Suppose -3*l = -4*l + 4. Solve -l = -a + v*a for a.
-2
Let w = -19 + 30. Solve 4 = 3*k - w for k.
5
Let p(u) = -3*u + 98. Let d be p(32). Solve -3*l + d*l = -5 for l.
5
Let l be (-7)/2*(-20)/35. Solve -12 = -l*f - 6 for f.
3
Suppose 2*p + 5*o = 21, p - 27 = -3*p + 5*o. Let w = p + 0. Let h be (w/6)/((-4)/(-6)). Solve h*q = -0*q - 8 for q.
-4
Suppose 3*d = 5*u - 29, d - 9 = -5*u + 8. Let v = -27 - -32. Solve -x + v*x + u = 0 for x.
-1
Suppose 0 = -2*v + 5*v - 12. Suppose -q = -6*q + 110. Suppose -2*n + p + 12 = 0, 2*n - q = -2*n + 3*p. Solve -3*x = -v + n for x.
-1
Let b(s) = -s**2 + 18*s + 2. Let i be b(18). Solve 1 = p - i*p for p.
-1
Let t = -1 - 3. Let l be (-10)/t - (-17)/34. Solve -4 + 1 = l*c for c.
-1
Let u(p) = p**2 + 12*p - 10. Let y be u(-13). Suppose q + y*q = 0. Solve 3*v - v + 2 = q for v.
-1
Suppose -4*z = -4*i - 4, 2*z + 2 = -0*z + 4*i. Solve n = 2*n + z for n.
-3
Suppose -5*d + z + 5 = 5*z, -z + 10 = 3*d. Solve -a = -1 + d for a.
-4
Suppose 0 = -3*k + k - 18. Let b be -3 + (1/(-1) - k). Solve 0 = -b*z + 6 - 26 for z.
-4
Let c be (-1 - -1)/(6 + -10). Solve c = -5*n + 13 + 7 for n.
4
Let j = -1 - -1. Suppose 0 = -2*a - 5*y - 4 + 45, j = -a - 4*y + 28. Let d be 1/(-2) + a/16. Solve d = -4*f - 6 - 2 for f.
-2
Let r(f) = f**2 + 2*f - 11. Let d be r(-5). Suppose -d = -4*p, 2*p - 4 + 2 = 3*v. Solve v*j = 2*j for j.
0
Let z(g) = -g**3 + 7*g**2 - 6*g. Let r be (1/(-3))/((-7)/147). Let t = 13 - r. Let l be z(t). Solve 0 = -2*s - l*s for s.
0
Suppose 0 = 4*f - 11 + 3. Solve 0 = -f*r + 7*r for r.
0
Suppose 9 = -3*n + 3*i, 0*i + 2*i = -n + 12. Suppose n*r + 0*r = 80. Let d be r/(-6)*(-4 + 1). Solve d = -2*o - 2*o for o.
-5
Let x = -11 + 16. Suppose -x*v + 2*a = -124, 4*a + 14 = v - 0*a. Let o = 14 - 8. Solve 5*f + v = o for f.
-4
Let h(d) = d**3 - 5*d**2 + 5*d. Let m be h(4). Let t(g) = g - 5 - 2*g - m. Let z be t(-9). Solve z = -x - x for x.
0
Suppose -3*j + 0*j = 0. Suppose 5 = -2*d - 3*d - b, -4*d - 2*b + 2 = j. Let w = d - -6. Solve 2 = -2*u - w for u.
-3
Let x(r) = r + 9. Suppose 3*o - 30 + 0 = 0. Let s be (-6)/o + (-37)/5. Let g be x(s). Solve g - 6 = -p for p.
5
Suppose 0 = b - f - 3, 8*b - 12*b + 5*f + 14 = 0. Solve 0 = 4*t - 3 - b for t.
1
Suppose -k + 4 = 4*j - 5, 3*j - 28 = -5*k. Suppose -x - 2 = 4*w - 16, -k*w + 13 = -x. Suppose -w*p = -p - 16. Solve 3*l - l = -p for l.
-4
Let t = -13 - -8. Let v = t + 5. Suppose n + n = 2*p - 20, v = 5*p - n - 42. Solve 4*q - p*q - 20 = 0 for q.
-5
Let v(p) = -p + 6. Let a be v(0). Let s = a - 4. Solve 0 = -s*o + 6*o + 4 for o.
-1
Suppose -4*k = -k. Suppose 3*x + 9 = -5*a + 3, 4*x + a - 9 = k. Let o(l) = 14*l + 1. Let j be o(1). Solve 0*u + j = x*u for u.
5
Let j = -37 + 40. Solve j*o + 11 + 4 = 0 for o.
-5
Let n(g) = g**3 - 7*g**2 + 5*g + 8. Let v be n(6). Suppose 4*c - v*p + 4 = 16, -6 = c - 5*p. Solve c*h = 6*h - 4 for h.
2
Let q be 0/((2 + -6)/(-2)). Solve q = g - 4 - 1 for g.
5
Let h(o) = -o**2 + 4 - 10*o + 2*o**2 + o**2 - 3*o**2. Let d be h(-10). Solve -15 = -7*a + d*a for a.
5
Suppose -2*q = -3*q + 5. Let x = 2 - -6. Let w = -28 + 61. Solve -w + x = q*l for l.
-5
Let k be (-8)/(1/(-6)*4). Solve 2*t + k = 2 for t.
-5
Let g(a) = a + 11. Let l be g(-6). Suppose -5 = 4*t - l*k, 2*t + 5*k = 7 - 2. Solve d - 2 + 6 = t for d.
-4
Suppose 0*x = -x. Solve 2 = -x*d + d for d.
2
Suppose 0 = -h + 2 - 0. Solve 0 = -h*c - 2 + 4 for c.
1
Let u = 79 - 76. Let p be 6/(-21) - 4/(-14). Solve p = -7*x + u*x for x.
0
Let j(c) = c**3 - 2*