 g = 2*l for l.
2
Let q = 22 - 17. Solve q*d - 25 = -0*d for d.
5
Let p(y) be the first derivative of -y**4/2 - y**3/3 + y**2 + 7. Let m be p(-2). Solve -4*w - m = -2*w for w.
-4
Let h = 10 - 10. Solve 4 + h = 4*n for n.
1
Let i = 46 - 40. Solve 18 = -3*j + i for j.
-4
Suppose 6*j = 8*j - 6. Solve j*u = -2*u + 15 for u.
3
Suppose 4*h - 5*f + 21 = 0, 4*f = -3*h - f - 7. Let z = 7 + h. Solve -2*q = -3*q - z for q.
-3
Suppose 2*g = -g + 3. Suppose -2*o + 5*t + 37 = 0, 4*o + 5*t + 21 = 5*o. Solve -5*n + g = o for n.
-3
Let m(k) = 5*k. Let x be m(1). Suppose 5*v - v - 4 = -2*c, 4*v = c - 2. Let n = 1 + c. Solve 0 = x*g - n - 12 for g.
3
Let i = 107 - 107. Solve i = -3*x - 5 - 4 for x.
-3
Let p(n) = n**3 + n**2 - 4. Let q be p(2). Solve y + y = q for y.
4
Let o(l) = -l - 5. Let p be o(-8). Suppose -u = -p*u + 6. Solve 2*z - 1 = -u for z.
-1
Let q = -22 + 26. Solve -l = -q*l for l.
0
Suppose -5*n + 14 = -1. Suppose n*s = -0*s + 6. Solve 4*w + 4 = s*w for w.
-2
Let j be 4 + 2*(-4 + 8). Solve -j = 3*h - 3 for h.
-3
Suppose -6*x + 2*x - 5*j + 143 = 0, 0 = -j - 1. Suppose -6*p + x - 13 = 0. Solve 7*q = p*q - 9 for q.
-3
Let n(b) = b**3 + 3*b**2 - b - 2. Let a = -6 - -4. Let d be n(a). Solve d - 16 = 4*f for f.
-3
Suppose 3*b = -4*h + 6, 3*b + 4*h - 4 = b. Let i be 2/3*3/2. Suppose -g = -i - b. Solve -4*c - g = -3*c for c.
-3
Let m be (13 - 10) + (1 - 3). Suppose 3 = 2*t + 3*q, 5 - m = -5*t + 4*q. Solve t = 4*x + x for x.
0
Suppose -7*l = -8*l + 2. Solve -7 = -l*b - 5 for b.
1
Let t be (-3)/(-9)*(1 - -8). Let v(r) = -r**3 - 2*r**2 - 2*r + 1. Let u be v(-2). Let c be (-3 + -1)/(2/(-2)). Solve u = -t*o - c for o.
-3
Let p be 5/(-2)*8/(-10). Let x be -5*(-1)/(5/p). Let k be x + -2 - (0 - 3). Solve 0 = -2*n - k*n + 15 for n.
3
Let t = -32 - -22. Let v be (8/(-10))/(4/t). Suppose 0 = -0*z - v*z + 10. Solve z*y = 6 + 4 for y.
2
Suppose 2 = -3*l - 4. Let v = 5 + -1. Let o be 6/(l + (v - 0)). Solve -5*m + o*m = 10 for m.
-5
Suppose 0 = 3*x + 2*x + 3*l - 76, -60 = -5*x + 5*l. Let s be x/4 - 2/4. Let i be (-1 + 7)/3*1. Solve -r + s = -i for r.
5
Suppose s - 4*x + 7 = -7*x, -s = -3*x - 11. Solve 1 + 3 = -s*h for h.
-2
Suppose 18 = 5*q - 2*u, -5*q + 8 = 4*u - 16. Solve q = 3*f - 7*f for f.
-1
Let i(g) = g**3 + 21*g**2 + 20*g + 8. Let p be i(-20). Solve 3*f = p*f + 25 for f.
-5
Let q be 3/(65/(-20) + 4). Solve q*u = -0*u + 20 for u.
5
Let u be (-4)/10 - (-187)/55. Solve -9 = 2*j - u for j.
-3
Suppose 0 = -2*u - 3*u - 5. Let i be 2 + 1/u + -1. Suppose -5*n + 20 = -i*n, -4*h = n - 12. Solve -h*b + 0*b = 0 for b.
0
Suppose 11*o - 133 = -8*o. Solve -o*i + 6*i = -3 for i.
3
Let h = 80 - 63. Solve -4*a + h - 5 = 0 for a.
3
Suppose -q - 64 = -5*q. Solve -y + 5*y = -q for y.
-4
Let g be 354/24 + (-2)/(-8). Solve 2*y = -y + g for y.
5
Suppose 0*w - 5*w - 2*f = 10, 0 = w + 4*f + 20. Let y = w + 2. Solve 2 = 4*z - y for z.
1
Let g be (-2)/(3/3) + 4. Let q(m) = 5*m**3 + g*m - 4*m**3 - 2 - 3*m. Let f be q(2). Solve f*w + 4 = -8 for w.
-3
Let z = -3 - -18. Suppose -n = -4*u - 16, 0 = 3*u - 8*u - z. Suppose a = -0*a + n. Solve -a = v - 0 for v.
-4
Let h = 8 - 1. Suppose 11*i = h*i. Solve i*a = 4*a + 8 for a.
-2
Let r(l) = l**2 + 5*l + 6. Let y be r(-4). Solve -6 - y = -2*z for z.
4
Suppose -63 = -3*m - 0*m. Let y = m - 9. Let w = 10 - 6. Solve 7*n + y = w*n for n.
-4
Let z(m) = -15 + 5*m + 15. Let g be z(5). Suppose 3*l + 1 - 10 = 0. Solve 2*j - g = -l*j for j.
5
Suppose -h = -6*h + 5*v - 5, 2*h - 5*v + 14 = 0. Solve -2*i + h = -1 for i.
2
Suppose 2*m - 3 = 3. Suppose 0 = m*o + 2*o. Let k(j) = j**2 - 2*j. Let z be k(-2). Solve 2*x = -o + z for x.
4
Let s(f) = -5*f - 4. Let c(i) = 9*i + 9. Let d(g) = 6*c(g) + 11*s(g). Let b be d(0). Solve 2*o + 4 = b for o.
3
Let l(m) = -m**3 + m**2 + m + 2. Let v be l(2). Suppose v = 2*a - 4*a + 24. Let b be (6/a)/((-2)/(-12)). Solve -3*f = -2*f + b for f.
-3
Suppose -u + 2*m + 8 = 0, 0*m + 3*m = 5*u - 12. Solve 4*t + 18 + 2 = u for t.
-5
Suppose 4*d - 2*u = 42, 0 = 3*u + 2 - 5. Let k = d + -6. Solve -5*w + k = -10 for w.
3
Suppose -3*d + 5 + 22 = 0. Suppose -4*j + j = -d. Solve -3*o + 0 - j = 0 for o.
-1
Let b = 42 - 36. Let c be 2/4 + 6/4. Solve 2*j = -c + b for j.
2
Let h(m) = m**2 - 6*m - 4. Let c = 0 - -7. Let t be h(c). Solve -t = -2*r + 7 for r.
5
Suppose -3*l + 7*l = -2*d + 8, l - 5*d - 24 = 0. Solve l + 2 = 2*o for o.
3
Let u(f) = 4*f**2 - 12*f + 8. Let s(w) = -5*w**2 + 11*w - 8. Let i(z) = -3*s(z) - 4*u(z). Let d be i(14). Solve -4*k = -6 - d for k.
3
Let w be (-7)/(-2) - (-2)/4. Solve w = -5*j - 6 for j.
-2
Suppose 3*m - 2*m = 3. Suppose j + 2*q - 28 = -2*j, m*j - 16 = 4*q. Suppose 3*s = 5*p + 20, 5*s - 3*p - j = -p. Solve 0*d + 2*d + 2 = s for d.
-1
Suppose l - 4*l = -5*q + 14, 2*l + 6 = 5*q. Let p = 11 + l. Let s(k) = -k**3 - 3*k**2 - 2*k + 2. Let o be s(-2). Solve -p*f + o = -4*f for f.
-2
Let b(i) = -4*i + 4*i - i - 3. Let w be b(-3). Suppose w = -4*v - 18 + 66. Solve 3*u + 0 = v for u.
4
Let u be (-4)/12 - (-440)/6. Suppose -4*w - d + u = -4*d, 5*d = -5*w + 100. Solve 4*t = -w + 3 for t.
-4
Let h(d) = -d**3 + d**2 + d + 5. Let u be h(2). Solve 0 = u*l - 5*l for l.
0
Let g = -7 + 7. Solve 3*b + 3 = -g for b.
-1
Let k be 3*1/((-4)/(-20)). Solve -3*z + 6*z = k for z.
5
Let c = -6 + -2. Let u = c + 9. Solve -t - 3 = u for t.
-4
Let r(c) = 2*c - 7. Let j be r(5). Suppose j*t - 18 = -5*i + 1, i + t - 3 = 0. Solve y - i = -2 for y.
3
Let o = -58 + 61. Solve 8 = -t - o*t for t.
-2
Let p(l) = -l**3 + l**2. Let m be p(1). Suppose m*a - 2*a - 5*u + 47 = 0, 0 = 4*a - 4*u - 24. Let r = a - 5. Solve 4*i - 2 - r = 0 for i.
2
Let m = 38 + -33. Suppose t = -3 + 6. Solve 2*h + t*h = -m for h.
-1
Let t be 2/(-5) + 722/(-95). Let d be (t + 6)/((-2)/3). Solve -w = d*w for w.
0
Let a(s) = -7*s**3 + 5*s**2 + 6*s + 5 + 2*s**3 + 4*s**3. Let u be a(6). Let n = u - 1. Solve 0 = 3*z - n + 16 for z.
-4
Let i = 4 - 2. Let l(z) = 3*z + 0*z**2 + z**2 - 9 + 3 + 0*z**2. Let p be l(-5). Solve p*u = i*u - 4 for u.
-2
Suppose -2 = y, 0 = -0*x + 4*x - 2*y. Let g(l) = -3*l**3 - l**2 + 1. Let o be g(x). Solve a = -o*a + 16 for a.
4
Suppose -4*n - 8 = -2*k, 2*n + 4 = -2*n. Solve -k*l - 5 = -l for l.
-5
Let v(l) = -l + 2. Let i be v(-12). Suppose 4*s = s + 5*z + i, -z + 5 = 2*s. Solve -s*n + 6 = -3 for n.
3
Let f be 6/1*(3 - (-24)/(-16)). Solve -f*p - 3 = -8*p for p.
-3
Let y be (7/4)/(6/(-24)). Let h(c) = -c**3 - 7*c**2 + 4. Let i be h(y). Solve -3 = -q - i for q.
-1
Suppose 0 = g - 3*g + 20. Solve 5*a = -0*a + g for a.
2
Let z = -10 + 36. Let l = z + -22. Solve -l*n + 0*n + 20 = 0 for n.
5
Suppose -3*y + 14 = -0*r - 2*r, 4*y + 5*r = 34. Solve 0 = -k + y - 9 for k.
-3
Let f be ((-1)/(-2))/((-1)/10). Let y(p) = -p**3 - 6*p**2 - 6*p + 5. Let k be y(f). Solve -3*z = -5*z + k for z.
5
Let h = 8 + 3. Let a be 2/2*(4 + h). Solve a = -6*q + q for q.
-3
Let q = 25 + -21. Suppose -8 = -b - 0*b. Let c be (-2)/(-4)*0/2. Solve -q*y = -c*y - b for y.
2
Suppose 0 = -t - 5*x + 23, -52 = -5*t - 5*x + x. Solve 0 = 4*v + t for v.
-2
Let m(q) = -2*q. Suppose y - 2 = -4. Let n be m(y). Solve -t - n + 3 = 0 for t.
-1
Suppose -3*w + 0*w + 3 = 0. Let u = w - -2. Let x(o) = -o**2 + 1. Let m be x(0). Solve u = -q - m for q.
-4
Let r(q) = -q**2 - 3*q - 2. Let g(z) = -z**2 + 5*z + 7. Let p be g(6). Let i = -3 + p. Let x be r(i). Solve -v - 4 - 1 = x for v.
-5
Suppose -68 = 2*x - 74. Solve x = -3*g + 6 for g.
1
Suppose 0 = 2*w - 0*w + 4, 11 = -3*a - w. Let o = 5 + a. Solve 0 = s - o*s for s.
0
Let i be 40/5*1/2. Suppose -c + n + 6 = 0, -c - 4*c - i*n = 6. Solve 0 = -5*p + c*p for p.
0
Suppose 0 = -4*s + s + 3. Let i be -2 + s + 2 - -1. Suppose -2*h - i = -6. Solve -h = 3*u - 17 for u.
5
Let d(t) = t + 3. Let j be d(-3). Solve j = -3*q - 0 - 15 for q.
-5
Let g = -12 - -18. Solve -4*z + g = -14 for z.
5
Let w(r) = 4*r**3 + r**2 - 2*r + 1. Let f be w(1). Suppose -f*k = -20 + 12. Solve 1 - 3 = k*c for c.
-1
Let b = 35 - 31. Solve 0 = -b*c + 6*c - 4 for c.
2
Let o(f) = -f - 2. Let q be o(-7). Suppose 6 = -3*y + q*y. Solve -5 = l - y for l.
-2
Let n be (0*3/(-9))/(-2). Solve n = -4*w - 7 + 19 for w.
3
Let m be 2*(-2 - -3) - (-6 + 6). Solve 4*v = 2*v + m for v.
1
Let h = 1 + 1. Let v = h + -2. Solve -l + v = 2 for l.
-2
Suppose 9*j - 40 = -4*s + 4*j, 5*s = -4*j + 41. Let f = s + -3. Suppose h - 6 = -f*h