 -20, w - 5*j + 2 + 0 = 0. Solve w = -i*q + 7 for q.
1
Let u be 18 - (-10)/(4 - 9). Solve -6*x = -2*x - u for x.
4
Let w = -87 + 92. Solve i - 20 = w*i for i.
-5
Let h = 12 + -7. Let q = h + 3. Solve 2 = 5*g - q for g.
2
Let k(x) = x + 6. Let b be k(-6). Suppose b*z + 2*z = 0. Let s(g) = 7*g - 16. Let f be s(3). Solve z = f*w - 0*w for w.
0
Let k be ((-4)/6)/((-4)/42). Let v(x) = -6*x. Let t = -3 - 0. Let r be v(t). Solve k = -5*m - r for m.
-5
Let t = 59 + -32. Suppose 2*z + 22 = 5*y - 3, 0 = 3*z - 4*y + t. Let a(w) = w + 9. Let s be a(z). Solve -s*f + 10 = -10 for f.
5
Let n be 3*(-4)/((-12)/5). Solve 4 = 3*f - n for f.
3
Suppose 0 = j - 4 - 0. Solve -q + 5*q = j for q.
1
Suppose 0 = -2*u + 3*u - 10. Let d be 1/3*(u + -1). Suppose d*z - 9 = -0*a - a, -a = -5*z - 1. Solve t - a = -t for t.
3
Suppose -3*b - 5*d + 16 = -15, 3*b = 4*d - 14. Suppose b*o - 7 - 3 = 0. Solve 0 = o*k - 0*k for k.
0
Suppose -5*p + 33 = -z + 5, -4*p + 26 = -2*z. Let d be p*((-18)/10 - -3). Solve d*l - 2*l - 4 = 0 for l.
1
Let b = -3 - -5. Suppose 3*j = 7*z - 2*z + 31, 0 = j - b. Let n be (-25)/z + 1*-2. Solve 5*p = n*p for p.
0
Let b(y) = 0*y + 0*y - 4 - 2*y. Let o(i) = -i**2 + i + 4. Let g be o(-3). Let k be b(g). Solve 4 = -4*c - k for c.
-4
Let p(c) = -c**3 + 5*c**2 - 5*c + 2. Let d be p(3). Suppose 2*k = -5*r + 2, -3*k + 8 = -d*r + 30. Suppose r*l = -2*l. Solve l = 3*t + 1 + 5 for t.
-2
Let g be (2/7 + (-30)/(-42))*20. Solve 5*n - g = -0*n for n.
4
Let f = -191 - -191. Suppose -2*u + 2 = -u. Solve u*a + f = 2 for a.
1
Let m(v) = -v**2 - 9*v. Let c be -3*2/12*-2. Suppose y - 10 = -5*d, -d = -2*y - 12 - c. Let b be m(y). Solve 5*o + 5 + b = 0 for o.
-5
Let a(j) = j - 2. Let n(m) = m - 3. Let b(w) = -5*a(w) + 4*n(w). Let s(f) = f**3 + 13*f**2 + f + 8. Let x be s(-13). Let v be b(x). Solve 5 = -v*y - 4 for y.
-3
Let i be 60/14 + (-4)/14. Let k(x) = -x + 19. Let y be k(17). Solve -y*d = -i*d for d.
0
Let h(c) = -3*c + 3*c - c - 5 - 1. Let r be h(-6). Solve 4*i = -r*i for i.
0
Suppose 3*i - 6*i = u + 10, -4*u - 2*i = 20. Let k be 1/((3/u)/(-3)). Solve -k*h = -0*h for h.
0
Let f be 7/((-2)/2) - -2. Let h(g) = g**3 + 5*g**2 - g - 3. Let d be h(f). Let l(c) = -c**3 - 5*c**2 + 5*c. Let m be l(-6). Solve -a = -m + d for a.
4
Let h(d) = -d + 8. Let q be h(4). Solve 0 = q*u - 8 - 4 for u.
3
Suppose -2 - 13 = 5*o. Let n = 9 - o. Solve n = -4*t - 0 for t.
-3
Let s(r) = -r**3 + 3*r**2 + 1. Let u be s(3). Suppose u = -y - 2. Let p = 7 - y. Solve -2 - p = 3*v for v.
-4
Suppose -10 = -3*t - 4. Solve r = t*r for r.
0
Suppose 39 = 4*s - 2*k + 7*k, -5*k - 9 = -4*s. Suppose -3*a = -3 - 3. Solve -4*p = -s + a for p.
1
Let c = 7 - 22. Suppose 1 = -3*h + 10. Let d be ((-2)/h)/(1/c). Solve q - d = -q for q.
5
Suppose -2*m - 1 = -19. Let s = -2 - -5. Suppose s*f - 32 = 5*d, 0 = -4*d - 6 - 10. Solve m - 1 = f*i for i.
2
Let x = 18 - 12. Let v = x - 4. Let c be ((-6)/v)/3 + 2. Solve -k + c = -0*k for k.
1
Let b be 3 - ((-9)/(-3))/(-1). Suppose 3*y - 15 = -3*t + b*y, 0 = -t + 2*y + 7. Solve -n = t*n for n.
0
Suppose -7*t = -t - 12. Solve t*x = -x for x.
0
Let i be (-4)/(-7 - -3) - -1. Solve i*l - 3 = -1 for l.
1
Suppose -2 = -43*n + 42*n. Solve n*p + 3*p - 20 = 0 for p.
4
Let w(v) = 2*v**3 - 4*v**2 + 4*v + 1. Let a be w(3). Suppose -2 = -5*j - 2*h + 24, 4*j + 5*h - a = 0. Solve -2*m - j = -m for m.
-4
Let v(j) = -j**3 + 2*j**2 + 3. Let r be v(3). Let q be (2/r)/((-2)/30). Solve -12 = -2*o + q*o for o.
-4
Let f = 16 - 9. Let q = f - 5. Solve -6 = q*k - 0*k for k.
-3
Suppose -c - 18 = -5*f, 7 - 3 = 2*c. Suppose -f*d = -3*j + 5, 0 = -2*j - j + 9. Suppose 8 = 2*t + 2. Solve d + 8 = -t*r for r.
-3
Suppose -5*y + 4*s = -495, 0*s - 4*s = -3*y + 305. Suppose -y + 35 = -4*k. Solve -3*l - k = 2*l for l.
-3
Suppose 3 = s - 2*n - 6, -4*n = 8. Solve 2*c - 7*c = -s for c.
1
Suppose t = 5*t - 12. Suppose -p + 6*p = 0. Let v = t - p. Solve -v*z - z = -8 for z.
2
Let i be (2/(-4))/(2/(-8)). Suppose i = g - 3. Let z = -6 - -8. Solve 6 = g*a - z*a for a.
2
Let u = -7 - -6. Let f be (0/((-2)/(-1)))/u. Solve f = -m + 2 for m.
2
Let f(m) = -m**2 - 5*m + 5. Let o be 5/((2 - 3)/1). Let d be f(o). Solve -4*x + 3 = -d for x.
2
Let x(l) = l**2 + 8*l + 10. Let m be x(-8). Suppose 6 = 11*n - m*n. Solve 0*c + n = -2*c for c.
-3
Let q = 10 + -15. Let i(p) = p**2 - p - 7. Let h be i(0). Let m = q - h. Solve m*d = 6 + 2 for d.
4
Suppose -c = -3*p + 19, c = -5*p + 63 - 18. Let i be 78/4 - 8/(-16). Suppose -15 = 2*g - 7*g. Solve i = g*q - p*q for q.
-4
Suppose -2*h + 0*h = -3*d - 1, 3*h = 5*d. Solve -d*y = 2*y for y.
0
Let t = -29 - -29. Solve t = -z - z for z.
0
Let t(v) = v**2 + v + 1. Let b be t(0). Suppose 5*r = -l + b - 0, -3*r + 4 = 4*l. Solve 0*p + 2*p + 4 = r for p.
-2
Let q = 93 + -85. Solve 28 = 5*v + q for v.
4
Suppose 0 = -3*g - 1 + 16. Solve 3*u - g = 10 for u.
5
Let w(h) = -h**3 - 5*h**2 + 8*h + 9. Let d be w(-6). Let l be 23 - 0/(d - -1). Solve 4*p = 3 - l for p.
-5
Let f(s) = 5*s + 2 - 7 - 1 + s**2. Let p be f(-6). Suppose 4*t + 3*h = 2*h + 11, -t - h - 1 = p. Solve t*g - 25 = -g for g.
5
Let l = -3 - -1. Let t be (-1)/(-2)*(2 + l). Let k(s) = s**2 + s - 41. Let f be k(7). Solve t = 2*m + 3*m - f for m.
3
Let t = -27 - -52. Solve 0*z - t = -5*z for z.
5
Let r = 12 - 9. Let p be 2/r*27/2. Solve -p + 24 = -5*c for c.
-3
Suppose 4*a - 59 = -v, 3*a - 4 - 37 = -4*v. Solve -a = 2*o + 3*o for o.
-3
Let k be (-1)/(-3)*0/1. Let m be 1/4 + (-2)/8. Let t = k - m. Solve t = -0*l + l + 2 for l.
-2
Let y be 30/7 + (-24)/84. Solve 5*k = y*k for k.
0
Let r(x) = 3*x - 10. Let z be r(4). Solve -z - 1 = -j for j.
3
Let t(q) = 7*q**2 - q - 8. Let z(f) = 3*f**2 - f - 4. Let y = -4 + 6. Let h(c) = y*t(c) - 5*z(c). Let w be h(3). Solve w = -m - 1 for m.
-5
Let h be 10*(-1 - (-1 + -1)). Suppose -5 = g - 2. Let w be 8/g*(-15)/h. Solve 3*y + w = 4*y for y.
4
Suppose 6*u - 8 = 4*u. Solve u*y + 3 = -17 for y.
-5
Suppose -h + 0*h + 19 = 5*v, 5*h + 3*v = 29. Solve 1 - h = -f for f.
3
Let j(d) = 16 + d + 1 - 6. Suppose 3*t = -2*t - 45. Let b be j(t). Solve m + b = 3*m for m.
1
Suppose 2 + 0 = -b, -5*b = 3*k - 2. Let h(a) = -2*a. Let p be h(-2). Solve 16 - k = p*g for g.
3
Suppose z - 4*v = -7*v - 2, -4*v - 16 = -2*z. Let o = 4 + z. Solve 4*s + 0*s = o for s.
2
Suppose 5*p - x + 0 = -2, 4*p - 5*x + 10 = 0. Solve -4*a + 8 - 20 = p for a.
-3
Let t = -77 + 81. Solve -t*y = -17 + 5 for y.
3
Suppose -5*m - 12 = -9*m. Solve 0*j + m*j = 0 for j.
0
Let y(c) = 2*c + 2. Let l be y(0). Solve l*h - 9 = -h for h.
3
Let q(x) = 2*x**2 - 2*x - 1. Let h be ((-3)/2)/(2/4). Let m be q(h). Suppose -4*i + 3*v + 48 = 8, i = 4*v + m. Solve i = 5*a + 32 for a.
-5
Suppose 4*s + 32 = 3*z, -1 = -z + 2*s + 13. Suppose 2*y = -z - 4. Let i be (y/5)/(6/(-15)). Solve 5 + 3 = -i*l for l.
-4
Let o(k) = 3*k**2 + 2*k - 1. Let r be o(1). Suppose x = -r*c + 26 + 3, -2*c = 4*x - 46. Solve x = -4*y + y for y.
-3
Let b = 8 + -6. Let h = -20 + 24. Solve 0 = h*p + b + 10 for p.
-3
Suppose -4*y - 50 = y. Let k be ((-4)/y)/((-4)/(-60)). Solve -k = -s - 2 for s.
4
Let k be 3*(-2 - (-2)/2). Let q be k/((-6)/4*1). Solve q*p - 5 = -1 for p.
2
Let c(j) be the first derivative of -2*j**3/3 - 5*j**2/2 - 4*j - 1. Let h be c(-3). Let x be (-138)/h - 2/(-7). Solve n = 5*n - x for n.
5
Let o(s) = -s**2 + 3*s + 2. Suppose 3 = 3*h - 3. Let v be o(h). Solve v*t - 5*t = -4 for t.
4
Let m(a) = -a**2 - 7*a - 5. Let p be m(-4). Let d = -5 + p. Solve 0 = 3*j - d - 13 for j.
5
Suppose 0 = -7*x - 3*x. Solve 5*w - 21 + 6 = x for w.
3
Let t be -3 + (2 - 0) - 7. Let u = 8 + t. Solve -4 = q - u for q.
-4
Let x(g) = g + 8. Let q be x(-7). Suppose -5*s + h + q = 0, 4*h = -5*s - 5 + 1. Solve s = -3*f - 2*f + 20 for f.
4
Let m be 13/4 + -3 - (-78)/8. Suppose 4*d + 4*v - 16 = 0, 0 = 5*d + v - 12 - 0. Solve 0 = d*t - 4*t - m for t.
-5
Let q(d) = -3*d + 18. Let f be q(6). Suppose 3*o - 3 = 3*r, 3 = 5*o + r - 8. Solve f = o*b + 2*b - 16 for b.
4
Let d = -61 + 65. Solve -1 = u - d for u.
3
Let j be (-5 - -8)/((-75)/(-33) - 2). Solve -5*t = j + 9 for t.
-4
Let g(l) be the first derivative of l**4/4 + 5*l**3/3 - 5*l**2/2 + 6*l + 2. Let t be g(-6). Solve 2*a - 12 + 2 = t for a.
5
Let s be (-455)/(-49) - (-2)/(-7). Suppose s - 2 = r. Suppose -5*b + 21 = -4*k, -4*k - 23 = -5*b - 2*k. Solve 4*u - b = r for u.
3
Let k(g) be 