 j = 0 for o.
5
Suppose -2*f + 5*j = -4*f + 4, 2 = f + 4*j. Suppose -f*t = -5*t. Solve o - 2 + 4 = t for o.
-2
Let u be (1/3 + 10/60)*0. Solve -2*o + u*o = -8 for o.
4
Let t = -2 + 18. Suppose 10 = t*l - 11*l. Solve -v + 5 = -l*v for v.
-5
Let y = -14 + 18. Solve 1 = -y*m - 3 for m.
-1
Suppose 0 = -b - 2*q + q + 1, -4*q = 3*b + 1. Solve -b*n + 0 - 15 = 0 for n.
-3
Let w(m) = m**3 + 7*m**2 + 4*m - 7. Suppose -2*o - 18 = -2*x, -3*o + 0*x + 4*x - 30 = 0. Let l be w(o). Solve 17 = 3*z + l for z.
4
Let x(f) = -f + 2. Suppose -3*k = -2*u - 20, u - 2*k = 4*u + 4. Let o be x(u). Solve -4*l - 2 = -o*l for l.
1
Let y(w) be the first derivative of 4*w + 1/4*w**4 + w**3 + 0*w**2 + 2. Let x be y(-3). Solve -x*n + n - 6 = 0 for n.
-2
Let t(n) = n - 1. Let w(j) = -j**2 - 5*j + 2. Let d(y) = 2*t(y) + w(y). Let m be d(-3). Solve -4*k + m*k = 0 for k.
0
Let b(t) be the first derivative of -t**3/3 + 3*t**2/2 + t + 2. Let o be b(4). Let x = o + 3. Solve d + 4 = -x for d.
-4
Let k be 4/20 - 14/(-5). Solve 4 = k*s + s for s.
1
Let q = -28 - -17. Let t = q + 4. Let i = t + 7. Solve a - 2 = -i*a for a.
2
Let u = 1 + -1. Let z(v) = 2*v - 7. Let n be z(9). Suppose -5*y - n = -3*g, y + 3 = -2*y. Solve u = -c - g - 0 for c.
-2
Let v = 10 - 8. Suppose 0 = -3*q - 3*n + 12, 3*q - 3*n - 3 = q. Suppose -q*k = -v*k. Solve -2*a + 3*a - 5 = k for a.
5
Suppose 4*a = 6*a - 6. Solve a + 0 = g for g.
3
Let s = -4 + 4. Let p = s + -2. Let z = 1 - p. Solve z*j = -j for j.
0
Let t(f) = -f + 8. Let i be t(5). Suppose 4*a - 5*a + 5*w - 12 = 0, i*a - 12 = -w. Solve -a*x = -2*x - 4 for x.
4
Let m(o) = o**3 + 14*o**2 + o + 16. Let i be m(-14). Suppose y + 3 = 6. Solve i*z = -y*z + 10 for z.
2
Let t(p) be the first derivative of -p**2/2 + 10*p - 1. Let h be t(8). Suppose 2*y - 5*r = 27, 6*y - y - h*r = 36. Solve 20 = s - y*s for s.
-4
Suppose 5*f + 5*h - 80 = f, 20 = f + 2*h. Solve 8*i + f = 3*i for i.
-4
Suppose 4*y + y - 4*x + 6 = 0, 0 = -3*y + 4*x - 10. Solve 2*s + 2 = -y for s.
-2
Let b(a) = 9*a + 1. Suppose -4*d - 4 = -20. Let c = 5 - d. Let l be b(c). Solve -10 = 4*x + l for x.
-5
Let r = -2 - -5. Let q = -35 - -37. Solve -r*l = q*l + 15 for l.
-3
Let y = 113 + -93. Solve 3*w + y = -w for w.
-5
Let k = 37 + -24. Suppose -k = -4*z + 19. Solve -17 = 5*r + z for r.
-5
Suppose -3*i + 2 = 3*o - 2*o, -3*i - 4*o = -8. Solve -f + 3*f + 2 = i for f.
-1
Let k be ((-78)/15)/(54/15 + -4). Solve 4*n + k - 1 = 0 for n.
-3
Suppose m - 30 = -4*m. Solve 0 = 3*d - m*d + 12 for d.
4
Let w(z) = z**2 - 6*z - 12. Let t be w(8). Solve -3*o - o + t = 0 for o.
1
Suppose 2*c - 7*c = -60. Suppose s - c = -2*s. Solve 2*h - s = -2 for h.
1
Suppose 4 = 2*z - 4. Suppose -3*o + 5*o - 4 = 3*d, -5*d + 2*o - z = 0. Suppose d = -5*r - i + 2, -r + 10 = 4*r + 5*i. Solve r = 3*q + 12 for q.
-4
Suppose -2*f + 0*f = -4. Solve 0 = f*b - 5 + 1 for b.
2
Suppose g - 8 + 5 = 0. Let l = -3 - -3. Suppose l = -0*w - w + 6. Solve j - g*j - w = 0 for j.
-3
Let h be 2 + (0/(-5) - -13). Solve -3*r = 2*r + h for r.
-3
Suppose -5*t - 2*m + 35 = -m, 38 = 3*t + 4*m. Solve -3*c = 9 + t for c.
-5
Suppose -2*v + 4 = -v. Suppose 18 + 30 = v*r. Let i be 8/r - (-2)/(-3). Solve o = -4 - i for o.
-4
Let o be 3*4/(-10)*5. Suppose -4*c - 5*i = -13, 5*i - 10 = 15. Let v = c - o. Solve 4 = -p + v for p.
-1
Suppose 5*u - 33 - 7 = 0. Solve -q - u = q for q.
-4
Suppose 64 = 4*c - 0*c + 2*k, 0 = -4*c - 3*k + 64. Let u be (2 - 3 - 0) + c. Suppose n = 8*n. Solve 0*d - 5*d - u = n for d.
-3
Let x be (-4)/(8/(-6)) - -3. Solve -15 = b - x*b for b.
3
Suppose 0 = -4*t + 3*r + 52, t + r - 36 = -t. Suppose 0 = 5*i - 14 - t. Solve 0 = 2*w - 0*w + i for w.
-3
Let i = 6 + -4. Suppose -v = 2*v - 3. Let p = i + v. Solve -5*y - p = 2 for y.
-1
Let z be (-54)/15 - (-9)/15. Let n be z*(-1 + 9/(-3)). Solve 6*q - 2*q = n for q.
3
Suppose 4*v = -3*k + 10, -4*k + 3 - 19 = -2*v. Solve -20 + 8 = v*d for d.
-3
Let y = -22 + 37. Solve -2*b + y = b for b.
5
Let w(b) = b + 4. Let j be w(0). Solve 0*u = -j*u + 8 for u.
2
Suppose -h - 12 = -3*h. Let s be h/(2 + (-4)/3). Solve 4*k + s + 7 = 0 for k.
-4
Let k(z) = 28*z - 108. Let i be k(4). Let c = -6 + 11. Solve i*v + 1 - c = 0 for v.
1
Let m(c) = -2*c**2 - 5*c - 6. Let p be m(-3). Let j(a) = 6*a. Let y be j(2). Let f = y + p. Solve -2*b + f*b = -5 for b.
-5
Suppose 0 = k + 2*k. Suppose k = -2*f + f. Solve -2*i + f*i = 0 for i.
0
Let q(b) = -b - 13. Let v be q(-12). Let w be (-4 - 0)/(-1) + v. Solve 2*l - l = w for l.
3
Let i(n) = n**3 + 6*n**2 + 4*n - 6. Let p be i(-5). Let b = 6 + p. Let z(l) = -l**2 - 2*l - 1. Let q be z(-1). Solve -y = -q*y - b for y.
5
Let t be (-2)/(-4)*(-8 - -14) + 1. Solve 0 = 5*r - t*r + 5 for r.
-5
Let q = 4 - 2. Suppose -q*o = o - 15. Solve o*v - 4 = 1 for v.
1
Let s = 0 - 1. Let t = s - -3. Let q be (1 - t) + (1 - 0). Solve q*n - 3*n = 3 for n.
-1
Let z = 10 + -4. Let y(a) = a**2 - 5*a - 6. Let c be y(z). Let g(v) = -v**2 + 16*v - 14. Let m be g(15). Solve c = -2*h - 3 + m for h.
-1
Suppose 3*l + 91 = 16*l. Solve -9 = -4*p + l*p for p.
-3
Let v = -22 + 25. Solve -6 = -b - v for b.
3
Let r(s) = -s + 12. Let f be r(9). Let i(l) = -l**2 - 6*l - 2. Let x be i(-6). Let n = -2 - x. Solve n*g = -f*g for g.
0
Let t be (-2)/(-1*(-2 + 3)). Suppose -2*l - 5*z - 14 = 11, -3*l = -4*z - 20. Suppose l = g - t. Solve g*q = 2 + 6 for q.
4
Suppose -o = -2*c + 10, 0*c = -5*o - 2*c + 10. Let m be 1 + 2 + (1 - 1). Let d = m + 0. Solve -3*n = d - o for n.
-1
Suppose -3 = -3*o + 42. Let l be (-1 - (-21)/o)*-5. Let r be (-22)/(-4) - l/4. Solve r + 6 = -3*x for x.
-4
Let a(m) = -m**3 - 6*m**2 - 2*m - 8. Suppose 2*u = -7 - 5. Let y be a(u). Let v(z) = -3*z + 63. Let b be v(20). Solve b*c - y = 7*c for c.
-1
Let l(m) = m**2 + 6*m + 7. Let c be l(-5). Let i be 0/1 - 0/(-1). Let w(k) = k**2 - k + 20. Let x be w(i). Solve 2*n - x = -c*n for n.
5
Let w = 58 + -43. Solve 2*x + w = -3*x for x.
-3
Suppose -96 = a - 3*a. Let s(k) = 7*k + 6. Let l be s(-5). Let d = l + a. Solve 0 = -5*w + 6 + d for w.
5
Let j(c) = 9*c + 2*c**2 + 6 + 4*c**2 - 5*c**2. Let v be j(-9). Solve -2*f = -v*f for f.
0
Let z(m) = m**2 + 5*m - 6. Suppose 5*c + 2*v + 30 = 0, 0 = -4*c + 3*v + 7 - 31. Let g be z(c). Solve 4*t = -g*t - 16 for t.
-4
Let d(u) = -u. Let o be d(-2). Solve 4*t - o = 2*t for t.
1
Let o = 14 - 14. Let n(z) = -4*z**3 - z**2 + z + 1. Let x be n(-1). Solve o = -x*f - 3 for f.
-1
Let c(o) = -o**3 + 4*o**2 + o - 1. Let y be c(4). Solve -1 = z - y for z.
2
Suppose -2*t + 6 = 2, 6 = -w + t. Let z be ((-30)/9)/(w/6). Solve -g = -2*g + z for g.
5
Suppose 2*z = p - 3, -4*p + 42 = -0*z + 2*z. Solve -3 = 4*y + p for y.
-3
Suppose 7 = 2*q - 1. Solve c - 1 = -q for c.
-3
Suppose -11 = -4*s + 5. Let d = 10 - s. Solve k = 1 - d for k.
-5
Let v(b) = b**2 - 3*b - 3. Let g be v(3). Let w(y) = -y. Let z be w(g). Solve -z*m = 2*m + 10 for m.
-2
Let y be (-3 + (3 - -7))*1. Let n = -6 + y. Let u = 7 + n. Solve -u*t + 16 = -4*t for t.
4
Let o = -21 + 26. Solve -o*p + 6 = 26 for p.
-4
Let f(b) = b + 2. Let p be f(4). Solve -i = -p*i for i.
0
Suppose -4*o - 45 = -9*o. Solve -6 - o = 3*k for k.
-5
Suppose -3 = 3*b + m - 11, -2*b + m + 7 = 0. Solve -c - b*c = -16 for c.
4
Let y be (-2)/(8 + -3 - 1)*-6. Solve 2 = -n - y for n.
-5
Suppose 0*i - 2*i - 4*z + 18 = 0, 3*z = 3*i - 27. Suppose -1 = -h + 6. Let k be (-1 - -3)/((-1)/(-2)). Solve -h*v = -k*v + i for v.
-3
Let c be 155/(-15) + 2/(-3). Let y(j) = -2*j - 12. Let m be y(c). Solve 5*w + 15 + m = 0 for w.
-5
Suppose -4*l + 4*h = -24, 4*h - 10 = -5*l + 29. Solve 0 = 3*n + l - 4 for n.
-1
Let y = -5 - -12. Solve 0 = 2*u + 1 + y for u.
-4
Let g(r) = 3 + 0 - 1 - 3 + 9*r. Let t be g(1). Solve 0 = -2*j - 0*j - t for j.
-4
Let h(z) = z**3 + 5*z**2 + 6*z + 9. Let g be h(-4). Solve 2 + g = l for l.
3
Let l(m) = -4*m + 5. Let w(a) = 11*a - 15. Let d(p) = -8*l(p) - 3*w(p). Let h be d(4). Solve -h = -3*y - 7 for y.
-2
Let c be 3/4*(-8)/2. Let x(k) be the first derivative of -k**2 - 3*k - 23. Let a be x(c). Solve 0 = a*u + 2*u + 5 for u.
-1
Suppose -l - 4 = -7. Solve l*i = i + 4 for i.
2
Let l be (-2 - (3 + -2))*-1. Suppose -l*x = 5*c + 2*x - 145, -2*c + 74 = -2*x. Suppose -3*k - 5*h + c = 0, -2*k + 5*h + 33 = k. Solve 0 = -4*a + 1 + k for a.
3
Let n(f) = -f**2 - 3*f + 4. Let a(g) = -g**3 - 5*g**2 + 6*g - 4. Let m be a(-6). Let r be n