*t + 2*t = 0 for t.
0
Suppose -14 = -2*j + j. Let g = -10 + j. Solve -z + g*z = 0 for z.
0
Let p be 6/5*10/4. Suppose 32 = p*i - i. Let y be i/6*9/6. Solve 18 = -y*o - 2 for o.
-5
Let g(i) = -i**2 - 7*i + 1. Let m be g(-7). Solve 19 + m = 5*q for q.
4
Let t(b) = -b**3 - 6*b**2 - 2*b - 9. Let q be t(-6). Suppose 3*d + 2*d - 15 = -o, -q*o - 11 = d. Solve -d*i = -i - 6 for i.
2
Let z(b) be the first derivative of b**2 - 3*b - 3. Let s be z(3). Solve -s*w + 20 = 2*w for w.
4
Suppose -m = 4*l + 3 - 5, 0 = 5*m - 5*l - 10. Suppose -4*t = 2*f - 24, 3*f + m*t + 2*t = 40. Solve 5*s - f = s for s.
4
Let n(k) = k + 17. Let r be n(-12). Solve -r = 5*z + 5 for z.
-2
Suppose -2*j + 32 = 2*j - 4*h, 35 = 5*j - 4*h. Suppose -4*n = -j*n - 3. Solve 0 = 3*g - 0*g - n for g.
1
Let o(x) = x**3 - 6*x**2 + 3*x - 10. Let g be o(6). Solve -4*a - g + 28 = 0 for a.
5
Let y(g) = -g - 1. Suppose 0 = -2*h - h - 15. Let o be y(h). Suppose -5*d + 18 - 3 = 0. Solve d = f + o for f.
-1
Let c be 88/(-20) - (-2)/5. Let z = c + 3. Let t be (6 + z)/(1/4). Solve -t = 4*d - 0*d for d.
-5
Let q(f) = -f**3 + 3*f**2 + f - 2. Let s be q(3). Let t(x) = -x**2 + 1. Let b be t(-1). Let p be 2*(-10)/(-4) - 2. Solve -p*k + 2 + s = b for k.
1
Let s(o) be the second derivative of -o**5/60 + o**3/6 + o**2 + o. Let r(g) be the first derivative of s(g). Let v be r(-1). Solve -k = 4 - v for k.
-4
Let z = -6 + 8. Suppose l - 3 = -0. Suppose 6*t = -3*j + z*t + 8, l*j - 2 = -t. Solve j*k + 2 = -k for k.
-2
Let q(i) = 4*i + 4. Let r = -12 + 7. Let o be q(r). Let z = -6 - o. Solve -4*v - 10 = z for v.
-5
Suppose d + 3*d - 6 = 2*w, 3*d = 4*w + 12. Solve -4 = -d*q + q for q.
-4
Suppose -6*o - 3 + 15 = 0. Solve -f - 3 = o for f.
-5
Let u be 110/(-130) + (-2)/13. Let h(d) = -5*d - 1. Let r be h(u). Solve n = -r*n for n.
0
Let z(l) be the second derivative of 3*l**2 + 3*l + 0 + 1/6*l**3. Let w be z(0). Solve 0 = -2*p - 0 - w for p.
-3
Let a = 13 - 7. Let k(o) be the first derivative of o**4/4 - 5*o**3/3 - 3*o**2/2 + 7*o + 2. Let w be k(a). Solve -4*d = d - w for d.
5
Let c be 0/(-2) - (-15 - -12). Solve -3*l = -c + 9 for l.
-2
Let c(p) = -9*p + 4*p - p**2 - 10 + 13. Let l be c(-5). Solve -8 = -l*o + 7 for o.
5
Let m = 8 + -6. Let v be 90/12 + (-3)/m. Solve v*i = i for i.
0
Suppose -2*i + 0 - 8 = -3*g, 4*i = -4*g - 16. Solve -x + g*x + 3 = 0 for x.
3
Let b(a) = -a**2 + 6*a + 1. Let n be b(6). Solve 2*c + n = -9 for c.
-5
Suppose 4*g + 7*s + 324 = 2*s, -2*g = 3*s + 160. Let i = 122 + g. Solve 0 = -5*y - 11 + i for y.
5
Let l = -5 - -3. Let c be l + 6 - 1*2. Suppose 0*i + 4*i - 16 = 0. Solve -c*y - 8 = -i*y for y.
4
Let f be (-4)/(-26) - 120/(-65). Suppose 4 = 3*a - f*a. Solve r - 3 = -a for r.
-1
Let u = -4 - -6. Suppose -u*q + 169 = 69. Suppose -5*z = -5*w - q, -5*z - w + 1 + 19 = 0. Solve 3*n - 10 = z for n.
5
Suppose -3*s = 5*z - 17, -4*z + 16 = 3*s - 0*s. Suppose 0 = 3*d - z - 17. Solve -d = 5*q - 2*q for q.
-2
Let d = -2 - -5. Let r = 72 - 70. Solve d*j + 10 = -r*j for j.
-2
Let b(x) = -x**3 - 7*x**2 - 8*x + 4. Let p be b(-6). Suppose 2*g + 3*i - p = -2*g, 5*i + 20 = 5*g. Solve z = g*z for z.
0
Let t be -10 + 1*(2 - -2). Let k = t - -11. Solve 1 = -2*n + k for n.
2
Let z be 6/(-5 - -7)*1. Solve 4*i - 1 = z for i.
1
Let z(d) = -1. Let y(x) = x + 10. Suppose 0 = 2*h - v - 14, -h - h - 3*v = -6. Let i(s) = h*z(s) + y(s). Let b be i(-4). Solve b*f - 12 = -3*f for f.
4
Let s = -4 + 1. Let i = -1 - s. Solve -i*g = -0*g for g.
0
Suppose -4*t = -t. Suppose t*n - 3*n = 3. Let a(w) = -3*w - 1. Let d be a(n). Solve -d*k = -k + 2 for k.
-2
Suppose 0 = -b - 2*b + 2*u + 8, -2*b - 8 = 2*u. Solve 0 = c - b*c + 4 for c.
-4
Suppose k - 62 = -5*q, -q + 24 = 5*k + 2. Solve -4*u = -0*u + q for u.
-3
Suppose 3*f = 3*i - 39, 4*f + 21 = 2*i + 3*f. Suppose -c + 0 + i = 5*q, 4*c = -q - 6. Suppose 3*l - q*l - 3 = 0. Solve -t - 2 = l for t.
-5
Let u = -14 - -9. Let c(p) = -p**2 - 2*p + 7. Let s be c(-5). Let x = u - s. Solve 2 = l - x*l for l.
-1
Let k = 121 + -118. Let n(g) = -g**3 + 3*g**2 - 2*g. Let l be n(2). Solve l*b - b = k for b.
-3
Suppose 2*m = -2*y + 3*y + 3, 4*m - 1 = y. Let a be (6/y)/(-3)*5. Suppose -4*u - b - 7 = 2*b, 2*u + 5*b = -21. Solve -a = -c + u*c for c.
-2
Let j = -66 - -68. Solve -3 = -j*t + 1 for t.
2
Let v be 4/(-14) - -74*(-5)/(-70). Solve -2*h + v = -7*h for h.
-1
Let d = 2 + -2. Let n = d + 10. Suppose 2*f + 0 = n. Solve -f*t + 2 = -8 for t.
2
Suppose -5*w = -3*w + 8. Let y be 5/7 + w/(-14). Solve 0 = -3*l + 4*l + y for l.
-1
Suppose -5 = -5*j + 4*q, 6*q + 8 = -j + 5*q. Let f(y) = -y**3 - 3*y**2 + y. Let p be f(j). Let t be (-59)/p + 3/9. Solve t = z - 6*z for z.
-4
Let b = -19 - -19. Solve b = 5*n + 1 + 4 for n.
-1
Let a(q) be the second derivative of -q**3/3 - q**2/2 + 2*q. Let o be a(-2). Solve -o*j = -8*j for j.
0
Let n be -5*(3 - 153/15). Suppose -30 = -5*d + 3*m - 12, -4*d - 3*m + n = 0. Suppose 3*g = -4*r - 0*r + 3, g - 1 = r. Solve 2*h + r*h + d = 0 for h.
-3
Suppose -3*z - 3 = 0, u + 4*z + 3 + 1 = 0. Solve u*t + 2*t + 8 = 0 for t.
-4
Let v = 6 + -3. Let y(n) = -n**3 + n**2 + 1. Let l be y(1). Suppose v + l = m. Solve 5*h + 16 = -m for h.
-4
Let d = 0 - -2. Suppose d*u - 9 = 6*u + z, 3*z + 1 = u. Let b = u - -4. Solve -2*n + 3*n - b = 0 for n.
2
Let o(x) = -x**3 + 6*x**2 + 3*x - 13. Let t be o(6). Let l = t - -15. Solve 3*h = 8*h - l for h.
4
Let h(r) = 138*r**2. Let j be h(1). Let v be j/15 - 2/10. Solve 3*i - v = 6*i for i.
-3
Let v(i) be the first derivative of -i**2/2 - 8*i + 3. Let x(a) = -a**3 + 6*a**2 - a - 4. Let q be x(6). Let j be v(q). Solve w - j*w + 4 = 0 for w.
4
Suppose 0 = -4*x + 9*x. Solve -l = -x*l for l.
0
Let j be (-3)/((-3)/2 - -1). Suppose -10 = d + 5*w, 0 = 4*d - 0*w + 2*w - 14. Solve -j = d*l - 16 for l.
2
Let g(q) = -q**3 - 7*q**2 - 2*q - 7. Let k be g(-7). Let l(p) = -p + 9. Let a be l(k). Suppose a*t = -t. Solve -6*i + i + 15 = t for i.
3
Suppose -5*a + 44 = 4*k, -4*k - k - 35 = -5*a. Suppose -3*p = -a*p - x + 17, -3*x + 15 = 3*p. Let c = 1 + 8. Solve -6*v - c = -p*v for v.
-3
Let q = 4 + 0. Suppose 7*x - q*x = -6. Let h be (-4)/(-2) + (-2 - x). Solve -h*o - o = -9 for o.
3
Suppose -42*q + 34*q = -40. Solve -3*b + q*b = 2 for b.
1
Let x be (-40)/(-6)*(-6)/(-4). Suppose -2*q - r - 2*r = -16, 5*q - 5*r = -x. Suppose q - 7 = -v. Solve v*y = y + 8 for y.
2
Let f(l) = l**2 - 5*l + 6. Let z be f(4). Let s(h) = -2*h + z*h - 4*h. Let r be s(-1). Solve r*q = -q for q.
0
Suppose -5*a + 1 = -19. Solve -20 = a*w + w for w.
-4
Let f = 0 + 5. Let m(c) = 0*c + c - 5*c + f + c**2. Let q be m(4). Solve 31 - 11 = q*y for y.
4
Suppose -2*m = -2 - 2. Solve l + m = -l for l.
-1
Suppose 0 = 2*a - 13 + 3. Suppose 0 = a*d - 2*d. Solve -4*l - l - 15 = d for l.
-3
Suppose -x - 4*y + 5 = 0, 9*x - y = 4*x + 25. Solve x = -3*i - 1 for i.
-2
Let q(d) = d**2 - 8*d + 9. Let w be q(7). Solve -g + w = -0*g for g.
2
Suppose -4*g = 5*i - 75, 0*i = -2*i - g + 30. Solve 5*y + i = 2*y for y.
-5
Let u = -1 - 0. Let z(k) = -k**2 - 2*k + 3. Let q be z(-3). Let a be u - q/2 - -2. Solve 0*o - o + a = 0 for o.
1
Let u be 1 + (2 - 3) + 18. Suppose n - 1 = -f, -3*n + 6*f + 17 = 2*f. Suppose -2*z = s + 2*z + 11, n*s = -5*z - 5. Solve 0 = s*x - u - 7 for x.
5
Let p(s) = -s**2 + 3*s**2 - 2 - s - s**2. Suppose 2*c - 1 - 3 = 0. Let w be p(c). Solve w*d = -2*d for d.
0
Let u(t) = -t**2 + 4*t. Suppose 3 = -4*f - 5, -4*f = 4*k - 4. Let l be u(k). Solve 0 = 2*d + l*d + 10 for d.
-2
Suppose 5*r + 0*r + 20 = 0. Let b = -4 - r. Let z = b + 9. Solve 3 = 4*c - z for c.
3
Let b(d) = -d**3 - 4*d**2 + 7*d + 6. Let y be b(-5). Let h = y - -16. Solve -2*g = -5*g - h for g.
-4
Let t(x) = x + 6. Let h be t(-3). Solve 0 = h*n - n for n.
0
Let u(y) = -2*y**2 + 4. Let g be u(0). Solve 0 = -n + 3*n + g for n.
-2
Suppose 0*k = -4*k + 3*k. Solve -d + 2 = -k for d.
2
Let f be 216/21 - 6/21. Solve -4*s = -f + 30 for s.
-5
Suppose 2*x + 7 - 1 = 0. Let o be (-64)/(-24)*x/(-2). Solve -2 - 2 = -o*d for d.
1
Let t(q) be the first derivative of q**2/2 - 2. Let s be (12/9 - 1)*3. Let u be t(s). Solve j + u = -0 for j.
-1
Let f(z) = -7*z - 15. Let p be f(-6). Solve -5*g + p = 2 for g.
5
Suppose -g - 4*g - 50 = 0. Let b be 3/(((-18)/g)/3). Suppose -b*i + i + 4 = 0. Solve -i - 1 = -v for v.
2
Let d be ((-1)/2)/((-4)/24). Solve d*y - 8 = y for y.
4
Sup