 2 = 0 for a.
-1
Let t be 1/(-2) + 2/(-4). Let h be (-15)/(-9) + t/(-3). Suppose y + 0*y - h = 0. Solve 0*f = -f - y for f.
-2
Let d = -2 - -6. Solve -2*k - d = 2 for k.
-3
Suppose 0 = 3*f + 25 + 8. Let m = f + 13. Solve -2 = -m*y + 2 for y.
2
Let x be 4/(-10) + 68/20. Suppose x = 3*s - 3. Suppose -4*f = -w + 16, 2*w + 1 = -2*f - f. Solve -w = -r + s*r for r.
-4
Let x(b) = b**2 - b - 5. Let p be x(4). Suppose -53 - p = -3*k. Solve 0 = -5*l - 0*l - k for l.
-4
Let u be (-12)/(-5) + 12/20. Let i(h) = 2*h - 4. Let b be i(u). Solve 0 = 4*c + 14 + b for c.
-4
Let c(f) be the third derivative of 7*f**6/120 + f**5/30 - f**4/12 + f**3/6 - f**2. Let v be c(1). Let z = -8 + v. Solve z = g + 1 for g.
-1
Let n = 28 + -13. Let x(p) = 2*p**2 - 10*p - 9. Let j be x(6). Solve -j*k = -6*k + n for k.
5
Let w = -19 + 19. Solve -2*q + w*q - 2 = 0 for q.
-1
Let b(g) = g**2 + g + 1. Let w be b(4). Let a(f) = 2*f**2 + 3*f + 9. Let q be a(-4). Let z = q - w. Solve -5*s + 12 = -z for s.
4
Let s be (12/10)/((-6)/40). Let h = -6 - s. Solve c = h*c - 3 for c.
3
Suppose 6 = -9*t + 12*t. Suppose 0 = 3*z - 8 - 1. Solve 4 = -t*l + z*l for l.
4
Suppose 5*x - 6 = 3*t, -x - 12 = -5*x. Suppose -2*m + 13 = -t*i, -i - 4 = m + i. Suppose 37 = m*n - 5*f, -28 = -4*n + 3*f + 25. Solve n*y + 20 = 6*y for y.
-4
Let g(n) = n**2 - 7*n - 4. Let i be g(9). Solve i - 4 = 5*c for c.
2
Let s(a) = -a + 12. Let o be s(9). Suppose -4*g + 17 = -3*g - o*i, -4*i = 5*g + 10. Let x(y) = 4*y + 2. Let d be x(3). Solve 4*u - g + d = 0 for u.
-3
Let f = 0 - -2. Solve -b - 5 = -f*b for b.
5
Suppose -2*i + 3*i + 3*h - 6 = 0, 5*i - 10 = 5*h. Solve 0*q + i*q + 12 = 0 for q.
-4
Let x(a) = 4*a**3 - a**2 + a - 1. Let z be x(1). Solve -5*o + 2 = -z for o.
1
Let f(n) = -n**3 + 1. Let r be f(1). Solve 6 = -r*c - 2*c for c.
-3
Suppose 5*v - 7 = 3. Let b be v/8*4*0. Solve b = -2*l + 3*l for l.
0
Suppose 9 + 3 = 3*r. Let k = 17 + -11. Let o(p) = 2*p - 4. Let y be o(k). Solve y = -r*h - 12 for h.
-5
Let r = 9 + -2. Let l(k) = -3*k + 4 + 2 + 1 + 2*k. Let z be l(r). Solve -o - o + 2 = z for o.
1
Suppose -3*d + 8 = -1. Solve 4 = -d*o - o for o.
-1
Suppose 0*n - 3*n + 5*v + 7 = 0, -n + 5*v = 1. Solve l = -n*l for l.
0
Let z(x) = -x - 2. Let u = -12 + 3. Let r be z(u). Suppose -3*p + 17 + 18 = 5*i, i + 5*p - r = 0. Solve -i*g = -4*g for g.
0
Suppose -j - 4*s = -5*j + 40, -4*j - 5*s + 4 = 0. Solve -x + j - 7 = 0 for x.
-1
Let o = -5 + 15. Solve -o = -a - a for a.
5
Let d(m) = -m - 5. Let c be ((-4)/1)/(1/2). Let i be d(c). Let g be i/(3*(1 + 0)). Solve -t = -g + 6 for t.
-5
Let v be 6/(-8) - (-18)/24. Solve v = -10*y + 5*y + 25 for y.
5
Let g be (1 - (-1 + -4)) + 0. Solve 3*t = g*t for t.
0
Let u be (1 + -5)*(-2)/4. Let l be 3*u*(-1)/(-3). Suppose -4 = 7*q - l*q - z, 0 = q - 5*z + 20. Solve 3*r - r - 8 = q for r.
4
Suppose -4*s + 2*s + 10 = 0. Let t be ((-2)/s)/(4/(-20)). Solve -o = t*o - 12 for o.
4
Suppose -r - 4*t = -4, r = -0*r + 2*t + 16. Solve 3*u + 0 = r for u.
4
Suppose 5 + 5 = 2*o - 2*p, -3*p - 19 = -5*o. Solve 4 + o = 3*t for t.
2
Let w(j) = -j**2 - 8*j - 1. Let i be w(-7). Suppose -9*b - i = -4*b + 2*l, -l - 3 = -4*b. Solve 2*m + b = -2 for m.
-1
Let d be -3 + -6*6/4. Suppose -2*b + 87 = -5*a, 0*b - 32 = 2*a + 2*b. Let y = d - a. Solve 0*r + y*r = 15 for r.
3
Let t = 29 + -25. Solve -t = k + 3*k for k.
-1
Suppose -3 = 9*r - 12*r. Solve 4 + r = -l for l.
-5
Suppose 0 = -4*p + p - 54. Let d be (2/6)/((-3)/p). Solve -d - 6 = 4*r for r.
-2
Suppose 4*q = 5*u - 31, 2*u - 12 = 5*q + 14. Let h = 28 - 32. Let j = q - h. Solve j*y + 4*y = 0 for y.
0
Let c be 27/(-36) + 42/(-8). Let i be (6/(-15))/(c/15). Solve -g - 6 = -i for g.
-5
Let r = 2 + -3. Let b be 3*(-2 - (r + 0)). Let n be (0 + -3)*1/b. Solve 0 = -d - 0 + n for d.
1
Suppose -5*z - 2*f = -9, -4*z - 2*f + f + 6 = 0. Solve z + 24 = -5*t for t.
-5
Let u(l) = 2*l + 10. Let d be u(-9). Let b = d - -16. Solve 0*a = 2*a + b for a.
-4
Let c be 4/6 + (-3)/(-9). Solve -c = 3*a + 2 for a.
-1
Let r = 22 + -9. Let n be r/3 - 4/(-6). Suppose -z = -5*z + 16. Solve -n = z*l + 15 for l.
-5
Let s(a) = a - 21. Let y be s(24). Solve 0 = -y*q - q - 12 for q.
-3
Let r(s) = 6*s + 8. Let h(j) = -j + 5. Let f be h(0). Let b(k) = 7*k + 9. Let o(n) = f*b(n) - 6*r(n). Let i be o(-5). Solve -v - i*v = -15 for v.
5
Suppose -5*k - 3 = -4*s, -s + 6*s = -3*k + 13. Solve 0 = -r + k - 6 for r.
-5
Let v(k) = -k**2 + 14*k. Let r be v(14). Let f = 4 + -3. Suppose r = n - 4*o - 22, -2*n + 2*o = 3*o + f. Solve -n*a - 3*a - 20 = 0 for a.
-4
Suppose -4*x = 4*w + 16, 16 = -3*w + 4. Let j be 69/15 + (-10)/(-25). Solve x = -0*n - j*n for n.
0
Let s be (6/(-7))/((-3)/14). Solve 14*k - s = 12*k for k.
2
Let b(q) = q**2 + 3*q + 2. Let z be b(-3). Solve z*n + 5 = 3 for n.
-1
Let f(r) = -r**3 + 7*r**2 + r - 8. Let x be f(7). Let j = 5 + x. Solve -j*w - 5 = 3 for w.
-2
Suppose 3*w + 4*f = -37 - 3, -3*f + 20 = -4*w. Let i be 1 + -2 + (-24)/w. Let l(u) = u**2 + u - 1. Let p be l(i). Solve 0 = -p*j + 10 - 30 for j.
-4
Let v = -10 + 30. Solve 0 = -c - 3*c - v for c.
-5
Let y(b) = b**2 + 8*b + 6. Let r be y(-4). Let d = r - -17. Suppose v + 9 = z, -4*z - 2*v + 41 = -d*v. Solve -z*j - 10 = -2 for j.
-2
Let r = 19 - -9. Suppose 6*y = 2*y + r. Suppose 5*p = 13 + y. Solve -3*v - p = -7*v for v.
1
Let b(m) = -m**3 + 11*m**2 + 14*m - 10. Let o be b(12). Solve o - 19 = 5*s for s.
-1
Suppose 8*f = 4*f + 4. Let w = -1 + f. Solve -x = -w*x for x.
0
Let l = 30 + -21. Solve y + 2*y - l = 0 for y.
3
Suppose 5 + 1 = 2*t. Let u(p) = -2*p - 1. Let i be u(-2). Suppose -5*b + i + 7 = 0. Solve -t*x - b = -17 for x.
5
Let t(p) = p + 7. Let q be t(-7). Let w be 10/5 + q/2. Let y be 1/2 - w/4. Solve -i + 0*i = y for i.
0
Let d be 2/3*(1 - -2). Let x = 2 + 0. Solve x*i = -4 + d for i.
-1
Suppose 6*t - 5*y + 21 = 4*t, 0 = 3*t - 2*y + 4. Suppose -4*r = -2*p + 6, 4*p - t*r = -0*p + 12. Solve -28 = 5*c - p for c.
-5
Let j = -51 + 53. Solve -2*a - j = -0*a for a.
-1
Let t be (-1)/4 - (-18)/8. Let w(f) = -f**3 + f**2 + 9*f + 2. Let u be w(0). Solve 8 = u*l - t for l.
5
Let v(q) = q**3 - 6*q**2 - 5*q + 7. Let k(f) = f**2 + f - 1. Let i(d) = -6*k(d) - v(d). Let l be i(-1). Solve 2*h + l = -1 for h.
-1
Suppose 5*o - 1 - 9 = 0. Solve o*j = j + 1 for j.
1
Let y be ((35/10)/7)/((-2)/(-48)). Solve 0*q - y = -4*q for q.
3
Let k = 61 - 57. Let w(t) = t**3 - 5*t**2 + 4*t. Let i be w(4). Solve i = k*o + o for o.
0
Let d = -10 + 6. Suppose -6 - 1 = -z. Let j = z + d. Solve 0*x - 15 = -j*x for x.
5
Suppose 0 = 19*j - 15*j - 28. Solve 0 = 3*s - j*s for s.
0
Suppose t = -0*t - 1. Let y be t*(-1 - 0)*3. Let h = -3 + y. Solve -d + 0*d - 4 = h for d.
-4
Suppose 2*g = -3*g + 20. Solve -8*i = -4*i - g for i.
1
Let q(c) = c**2 + 15*c - 13. Let i be q(-16). Let w = 6 + 3. Solve -w = -i*f - 0*f for f.
3
Let n(c) = 3*c - 1. Let v be n(1). Let l = -6 + v. Let m be (-35)/(-10) + (-2)/l. Solve -25 = m*i + i for i.
-5
Let o(w) = w + 8. Let j be ((-5)/(-3))/((-4)/12). Let x be o(j). Solve x*d = 1 + 14 for d.
5
Let t(l) = 3*l**2 - 4*l + 3. Let n be t(2). Let c = -4 + n. Solve o - 4 = -c*o for o.
1
Let d be (-26)/(-91) + (-80)/(-14). Suppose 0*b + b = 3. Solve -b = 3*o - d for o.
1
Let t be 54/(-15)*50/(-15). Solve 3 + t = -3*y for y.
-5
Let s(f) = -f**3 + 3*f**2. Let b be (-3)/(-3)*-1*-2. Let u be s(b). Suppose 9*j = 4*j + 60. Solve -j = c - u*c for c.
4
Let t(u) = -3*u - 5. Let y be t(-3). Solve -y*d + d = -12 for d.
4
Let v(y) = y - 1. Let o(j) = 5*j - 3. Let q(g) = g**2 - 2*g + 4. Let p be q(4). Let b(x) = p*v(x) - 3*o(x). Let f be b(-6). Solve 4*a = -a + f for a.
3
Let j = 10 + -20. Let q = j + 19. Solve -4*z = -q + 29 for z.
-5
Let n be 26/7 + (-12)/(-42). Suppose 15 = n*t - t. Suppose -t = -3*c + 7. Solve -11 = -3*z + c for z.
5
Suppose 3*d + 3 = 4*d. Solve -3 + 18 = d*x for x.
5
Suppose 13 = 6*d - 5. Solve l - 10 = d*l for l.
-5
Let f(p) = -5*p**3 + 2*p**2 + 3*p + 1. Let m be f(-1). Solve -m + 2 = s for s.
-3
Suppose 9 = m + 7. Let i = -7 + 11. Solve 3*c - m*c = -i for c.
-4
Suppose -45 = -4*w + t - 6*t, 5*t - 20 = w. Suppose -35 = -w*p + 5. Suppose 2 - p = -3*i. Solve -i*y - 5 - 3 = 0 for y.
-4
Suppose -l = l - 10, -2*h = -l + 11. Let r = h + 6. Let g be -2 - ((2 + -3 - -1) + -3). Solve -r*k = -g + 16 for k.
-5
Suppose 20 = 2*g - 14. Let k = -7 + g. Suppose -o + 2 