*y = y for y.
0
Suppose 4*a - 12 = -5*m - 3, 3*a - 4*m - 30 = 0. Solve a*c = 5*c + 3 for c.
3
Let s(c) = -c - 4. Let j be s(-2). Let d = 2 + j. Suppose -3*f - f = d. Solve f*x - x = 0 for x.
0
Let w(m) = -m**3 - 7*m**2 + 7*m + 8. Let o be w(-8). Suppose -2*u = -5*x - 5, -2*u = -4*x - 3 - 3. Suppose -u*f + f = -o. Solve p + 3*p = f for p.
1
Let u = -6 + 4. Let k(h) = h + 4. Let q be k(u). Let o be (16/(-10))/(q/(-10)). Solve -3*r = 20 - o for r.
-4
Let a(m) = m**3 - 5*m**2 + m. Let b be a(5). Suppose 0 = 5*k + 2*d + 3, 7*d - 3*d + 21 = b*k. Solve 9 = -5*z - k for z.
-2
Let y(s) = -s**2 - 4*s + 5. Let j be y(-5). Let k be (-2 + 1)/(j + -1). Suppose h = -k + 6. Solve 0 = h*u - u for u.
0
Suppose 11*h = -6 + 28. Solve h = -y - 0*y for y.
-2
Let p(f) = -2*f**2 - 4*f + 3. Let y be (-6)/(-4)*(3 - 1). Let z be p(y). Let t = -2 - z. Solve -c = 4*c + t for c.
-5
Let o be 10*(0 + -1)/(-5). Solve -3*a + 20 = o*a for a.
4
Suppose 6*g = 19 - 1. Solve 5*i + 6 = g*i for i.
-3
Let d be ((-25)/2)/5*(-1 + -1). Let i be (-2)/9 - (-2)/9. Let x = d - i. Solve x*g - 10 = -0*g for g.
2
Suppose -86 = -5*i + 2*o, i - o - 9 = 10. Suppose 2*n + 2*n = i. Solve -n*k + 3 = -9 for k.
3
Let g = -8 - -6. Let u(h) = -2*h**2 + 3*h + 5. Let z(b) = -4*b**2 + 7*b + 11. Let x(w) = -7*u(w) + 3*z(w). Let c be x(g). Solve j + c - 3 = 0 for j.
-3
Let l = -15 + 17. Solve -l = -2*j - 12 for j.
-5
Let r(w) = w + 22. Suppose 0 = 2*d + 16 + 6. Let z = -23 - d. Let f be r(z). Solve b + f = -b for b.
-5
Suppose 32 = 3*g - 3*w + 7*w, 4*w + 16 = 0. Suppose 0*b + 2*b - 6 = 0. Suppose -b*r + 4 = u - 4, 4*r - g = -4*u. Solve -2*p = r*p for p.
0
Let b = -6 - -9. Solve -v = b - 2 for v.
-1
Let j = 75 + -62. Solve -5 + j = 4*u for u.
2
Let j(l) = -3*l + 2. Let x be j(0). Solve 0 = -5*m + x*m + 9 for m.
3
Let q = 15 + -12. Solve b = -q - 0 for b.
-3
Let p be -3 + 0 + 20/4. Solve -p*f + f + 4 = 0 for f.
4
Let u = 1 - -2. Let v = 2 + u. Let p be (4 - v)*(-3 + 1). Solve 6*w = p*w - 12 for w.
-3
Let u be 16/8*17/2. Suppose 2*x + 8 = 0, x + u = 5*p - 2. Solve -4 = -7*t + p*t for t.
1
Let k = 3 - 1. Suppose 0 = -w + 3 + k. Solve 0*o + 15 = w*o for o.
3
Let o be 3*(3 - 6 - -4). Solve 4*l - o*l + 2 = 0 for l.
-2
Suppose 0 = -4*z - z. Let u = 6 + z. Solve 2*x - 5*x - u = 0 for x.
-2
Let v(l) = l + 1. Let x be v(-4). Suppose -90 = -2*u + 7*u. Let m be 2*x*3/u. Solve -3*d - m + 16 = 0 for d.
5
Suppose 0 = u - 7 - 3. Suppose -d + u = d, -4*f = -5*d + 9. Suppose -f*q - 4 = -6*q - 3*z, -9 = -q + 2*z. Solve 0 = -2*l + 1 - q for l.
-2
Suppose 0 = 4*n - 3*k + 17, 3*n + 2 = 2*k - 11. Let j = 9 + n. Solve j*u = -0*u for u.
0
Let u(h) = h**3 - 7*h**2 - h + 7. Let v be u(7). Solve 0 = -3*c - v*c - 12 for c.
-4
Let a(r) = -r - 4. Let i be a(0). Let d = 8 + i. Let l be (-9)/d*16/(-3). Solve 6*j - 3*j = -l for j.
-4
Suppose -2*t = -3*r - 4*t + 18, -t + 3 = 0. Let u be 2/(-3)*(-1 + -2). Suppose -3*w = a - 32, -4*a - 2 - 10 = -u*w. Solve -r*i + w = i for i.
2
Let z be (5*-1)/(27/6 - 7). Solve -15 = 5*s - z*s for s.
-5
Let q be (5 + -3 - 5)*-1. Solve -3*c + q = -6*c for c.
-1
Let o = 3 + 2. Suppose 3*u = -2*l + 4*u + 8, 0 = l - o*u - 22. Solve -20 = -l*c - 3*c for c.
4
Suppose -3*y - 1 + 7 = 0. Let u be (-4)/12 + 92/6. Let c = -8 + u. Solve 1 = y*b - c for b.
4
Let l = -80 - -83. Solve -5 = l*j - 8*j for j.
1
Suppose -f + d = -29, -f - 2*d - 3*d = -23. Let v = f - 16. Solve -6*i - v = -3*i for i.
-4
Let f(z) = -z**3 + 3*z**2 + 2*z - 4. Suppose 4*u + 3 = 15. Let q be f(u). Solve -4*d - q = -2*d for d.
-1
Suppose 14 = t + t. Let s(z) = 3*z + z + 9 - 5*z. Let b be s(t). Solve -6*k - 12 = -b*k for k.
-3
Let u be 8/6*3*3. Suppose u = -3*n - 0. Let o be (0 - 0)*n/(-8). Solve -5*g + o*g = -15 for g.
3
Suppose 3*q - 4 = -q. Solve 0 = 3*j - 2 - q for j.
1
Let g(d) = d**2 + 8*d. Let q be g(-8). Solve i + 4*i - 5 = q for i.
1
Let a(p) = 9*p**2 + 4*p + 2. Let d be a(-2). Suppose -5*v + d = 5*n, 3*n + 2*v - 18 + 2 = 0. Suppose 5 = n*l - 7. Solve 2*q = l*q for q.
0
Let h(u) = u + 11. Let w be h(-6). Suppose 4*a + 3*i - 15 = 8, -w*a - i = -15. Solve -3*j + a = -7 for j.
3
Let h(c) = c**3 - 6*c**2 + 4*c + 3. Let y be h(5). Let n be (3 - 3) + (-4)/y. Solve 0*u + n = 2*u for u.
1
Let r be 114/(-95)*(11/(-3) - -2). Let u(z) = z**2 + 5*z. Let c be u(-5). Solve c = -r*l + 5*l for l.
0
Let x(q) = q**3 - 5*q**2 + 4*q + 2. Let n be x(4). Solve 0 = d + n - 0 for d.
-2
Let y(h) = -4*h - 3. Let z(o) = 3*o + 2. Let g(m) = 5*y(m) + 7*z(m). Let p be g(-5). Let c be (1/3)/((-1)/p). Solve -c*b + 20 = 3*b for b.
4
Suppose 5*o - 21 = -0*c + 2*c, 0 = 4*c - 5*o + 17. Suppose 0 = -s + c + 3. Suppose -2 = -s*t + 4*t + 3*r, -r = -t + 4. Solve -t*d - 5 = -0 for d.
-1
Suppose -4*v + 3*v = -3*v. Solve 6*h - h = v for h.
0
Suppose 5*n = w - 1, -5*w + n + 31 = 2*n. Solve 15 = w*c - c for c.
3
Let s be 3/(5/75*5). Solve -2*f = f + s for f.
-3
Let g be 1*(3 - 4 - -3). Solve 3*h + 8 = g for h.
-2
Let y(t) = t**3 - 6*t**2 - t + 6. Let c(o) = -o**2 + 5*o - 1. Let j be c(4). Suppose 0 = 2*r - j*r + 6. Let v be y(r). Solve -1 = -b - v*b for b.
1
Let o = 5 - 3. Let u(k) = -k**2 - 4*k + 1. Let w be u(-4). Let r = o + w. Solve -p + 0*p = r for p.
-3
Let w be 7/14*(7 - -1). Solve w = -5*k + k for k.
-1
Suppose 4*p + 153 = -g - 0*g, 0 = 4*p + 2*g + 158. Let w be (-1)/(-2)*(1 - p). Solve 5*u = w + 6 for u.
5
Let a be -3 - (38/57)/(4/(-42)). Solve 0 = -a*g - 8 for g.
-2
Let b be (-2)/(-4) - (-90)/4. Let c = -20 + b. Solve c*k = -k + 16 for k.
4
Suppose -3*c = -5*k - 19, -2*c + 3*k - 4*k - 9 = 0. Let x = 2 + c. Let m be 27 - 30 - (-26)/2. Solve x = -z - z + m for z.
5
Let j be 9/12 - 15/(-12). Solve n - 2 - j = 0 for n.
4
Let n(z) be the first derivative of z**4/4 - 5*z**3/3 - z**2/2 + 6*z + 1. Let s = 20 + -15. Let l be n(s). Solve -v = -1 - l for v.
2
Suppose -19 = -3*i + a, -a - 2 = 2. Solve 15 = 5*p + i for p.
2
Let d be (8/10)/((-6)/75). Let z be (-24)/d - (-9)/15. Solve 0 = 2*u - 7 + z for u.
2
Suppose -25*s + 26*s = 15. Solve -3*z = 2*z + s for z.
-3
Let s be (-44)/(-16) + (10/5)/8. Solve -s*r + 4*r = 0 for r.
0
Let h be (-1 - -4)/((-12)/(-20)). Solve -5 = -6*y + h*y for y.
5
Let m be ((-3)/(-9))/((-3)/(-18)). Suppose -2*l = m*l. Solve l = -7*q + 4*q for q.
0
Suppose -10 = -3*f - 1. Suppose d = f*d. Solve 2*x + d*x = -2 for x.
-1
Suppose 5 = 5*g + 5*o, 0*g + o + 7 = 3*g. Suppose -g*v = -5*v + 15. Solve 3*j = 8*j - v for j.
1
Let q(t) = t**2 - t. Let y be q(1). Let l be 12*(2/4 - 2). Let h be (2/3)/((-3)/l). Solve y = -h*r - 4 - 4 for r.
-2
Let j be -2*(35/(-10) - -3). Solve j = 3*c - 11 for c.
4
Let m be (-2)/1 - 0 - -2. Solve m*i + 4*i - 12 = 0 for i.
3
Let o = 1 + 1. Suppose 4 = b, t - 5*b = -5 - 7. Solve -5*k = t + o for k.
-2
Suppose 2*g - 16 = -4. Solve -2*v - 20 = -g*v for v.
5
Suppose 0 = 5*h - 3*a - 10, 4*h + 4*a = -a + 8. Solve -1 = h*b + 1 for b.
-1
Let r(a) = -a + 5. Let h be r(8). Let z = 1 + -6. Let i = h - z. Solve -3 = 5*j - i*j for j.
-1
Let g = 36 + -27. Solve 4*b + 1 = g for b.
2
Let q = -5 + 26. Solve 5*h + 1 - q = 0 for h.
4
Let u(h) = -h - 12. Let z be u(-12). Solve -2*i - i + 3 = z for i.
1
Let g(s) = s + 1. Suppose -i - 3*i = -28. Let v = i - 4. Let b be g(v). Solve b*w = -2 - 10 for w.
-3
Let q = 16 - 14. Suppose -3*f = q*f - 3*t - 27, -23 = -3*f - 5*t. Solve -n + f = 1 for n.
5
Let u(a) = a**2 + 2*a + 3. Let z be u(-3). Let m(o) = o**2 - 7*o + 4. Let y be m(z). Let g = -1 - y. Solve 0 = 4*q - g + 17 for q.
-4
Let u be 216/(-15) - 2/(-5). Let z = -2 - u. Let g be 1/(-3) + 76/z. Solve -g = 2*s + s for s.
-2
Let q = 61 - 29. Suppose 4*g + q = 8*g. Solve g = 4*k - 4 for k.
3
Let m be (-9)/(-4)*16/6. Let o = 29 + -23. Solve 3*r + m = -o for r.
-4
Let f(h) = h**2 - 13*h + 25. Let x be f(11). Solve 2*d = x*d - 3 for d.
3
Suppose -c = -0*c - 5. Let x(w) = -7*w**3 + w**2 + w + 1. Let v be x(-1). Suppose 2*j + 2*f - 12 = 0, 6 + v = j + 3*f. Solve -j*l - c = -l for l.
-5
Let h = 10 + -5. Suppose 3*q = -5*l + 103, -h*l - q + 107 = q. Suppose z = -5*o + 3, -2*z - z = o - l. Solve -4*c + 0*c - z = 0 for c.
-2
Let z be 18/3*1 + -3. Solve 0*s - z*s = 0 for s.
0
Suppose -c + h = -8, -26 = -5*c - 2*h + 7. Let x be 162/30 - (-2)/(-5). Solve -x*g - c = 13 for g.
-4
Let v = -51 + 53. Solve v = -b - 0*b for b.
-2
Let o = 7 - 2. Let b = -3 + o. Let l = 5 - b. Solve -l*d + 