4*q = 6 + g for q.
-5
Suppose -8*u = -10*u + 14. Solve -5*i = -18 - u for i.
5
Let n(z) = z**2 - 6*z + 6. Let j be n(6). Let d be (j/(-4))/((-3)/8). Suppose 2*x - 5*b = -10, -2*b - 11 = d*x - 39. Solve 0 = -x*k + k - 12 for k.
-3
Let q(p) be the first derivative of -p**2 + 4. Let s be q(-1). Solve -2*f - 4 - s = 0 for f.
-3
Let k(d) = -d**3 - 2*d**2. Let t be k(-2). Suppose 0 = 2*s - 4, 2*b + 10 = -0*b + 5*s. Let p = b - t. Solve 3*x + 5 + 1 = p for x.
-2
Suppose 37 = 4*u - 43. Solve 2*o - 6*o = -u for o.
5
Let d(h) = -h**3 + 3*h**2 + 4*h - 1. Let x be d(4). Let z be -2 - (7 + -3)*x. Solve 2*s + 0 = -z for s.
-1
Let m(a) = a**2 - 6*a + 6. Suppose 4*q = -q - 35. Let c = q - -13. Let b be m(c). Solve 3 - b = 3*f for f.
-1
Let v be (-1 + -2)*(-3)/3. Suppose 7 = 5*k - v. Let r = 1 + k. Solve b = r*b for b.
0
Let c be 30 + 2/(2 + -1). Let s = c + -21. Let l = s - 8. Solve -3*y - 3 = l for y.
-2
Let v = 3 - 1. Suppose 3*w + v = 11. Suppose 0*g - 5 = 2*q - w*g, q + g - 10 = 0. Solve 0 = -2*k - 3 + q for k.
1
Suppose -5*m = -3*i + 2, 1 = -m - 5*i - 5. Let q(s) = 5*s**2 + 2*s + 1. Let r be q(m). Solve -r*p = 8 + 8 for p.
-4
Suppose 0 = -4*g + 9*g - 20. Suppose -l - 2*l = -15, -3*l + 40 = 5*u. Solve -x = -u*x - g for x.
-1
Suppose 4*x = 35 - 7. Solve -5 = -y - x for y.
-2
Suppose i = 2*i. Solve 3*h + h - 16 = i for h.
4
Let o(y) = -y**2 - 7*y + 2. Let s be o(-6). Let c be 1/((8/(-6))/4). Let j = 0 - c. Solve -s*r = -j*r + 25 for r.
-5
Let a be 3 + (-2 - ((1 - 0) + 0)). Solve 2*w = -a*w - 4 for w.
-2
Let m(d) = d + 1. Let v be m(4). Let j be 21/(2 + 1) - 1. Suppose -2 = -r + j. Solve r*u + v = 3*u for u.
-1
Let v = -106 + 106. Solve 3*t + v = -12 for t.
-4
Let v = 1 - -4. Suppose 3*d - 9 = -0. Let f(p) = 9*p**2 - p. Let h be f(-1). Solve v = -d*u - h for u.
-5
Let k = 3 - -5. Let l = -5 + 10. Suppose 0 = 2*g - l*g. Solve r + 3*r - k = g for r.
2
Let a(t) = t**3 + 8*t**2 + 7*t. Let r be a(-7). Let d(u) = -3*u**2 - 4*u**2 + 6*u**2 + 2. Let m be d(r). Solve 15 = -y - m*y for y.
-5
Suppose 23*f = 30*f - 28. Solve -6 = -f*l - 2 for l.
1
Suppose -4*m - a + 18 = 0, -4*m - 7*a + 4*a = -22. Solve -2 = 2*i + m for i.
-3
Suppose 6*k = -k. Solve k = -3*s - 3*s for s.
0
Let v = 14 + -12. Solve -v + 0 = -a for a.
2
Suppose 0 = -5*t - 5*j + 45, t + 5*j = 6*t + 5. Suppose 2*g - 4*h = g + 10, -4*g - 2*h = -t. Suppose 1 = g*a - 5. Solve 2 - 11 = a*r for r.
-3
Let a(x) = -x**3 - 4*x**2 - 2*x + 1. Let m be a(-4). Suppose m = 6*h - 3*h. Solve -h*f + 8*f = 0 for f.
0
Let j = -27 - -29. Solve -j*l = -6*l + 16 for l.
4
Suppose 0 = -8*s + 4*s + 16. Let l = 4 - s. Solve l*o = -2*o + 4 for o.
2
Suppose 1 = 3*o + 2*g - 1, -5*o + g - 1 = 0. Solve i + 2*i = o for i.
0
Suppose 0 = -3*q + 19 - 1. Solve 3*s + q = s for s.
-3
Suppose 0 = 2*a + v - 2, v + 4*v = 3*a - 29. Solve -a*k + 0*k = -12 for k.
4
Let p(u) = -u + 8. Let z be p(4). Suppose 4*c = z*l - 36, -5*l + 15 = -4*l - 4*c. Solve -1 - l = -2*x for x.
4
Let x = 0 + 0. Let u = -23 + 22. Let q be 1*(u - -9)/4. Solve 4*k + 2 + q = x for k.
-1
Let k(s) = 3*s - 6. Suppose u + 3 = 2*x - 14, 2*x - 5 = 5*u. Let y = -6 + x. Let h be k(y). Solve 0 - h = 3*w for w.
-2
Suppose 0 = -5*k + 2*r + 2, 3*r - 23 = -3*k - 5. Let o = -2 + k. Let g = o + 3. Solve -1 = g*s + 2 for s.
-1
Let b be -4 + (4 - 0) + 2. Solve -b*a - 2*a = 0 for a.
0
Let b(o) = -o + 7. Let f be b(3). Solve -f - 6 = 2*h for h.
-5
Suppose -15 = -5*u, -c - 13 = -0*c - 5*u. Solve -c*q = 2*q + 12 for q.
-3
Let s = -7 + -3. Let r be 8/s - 4/(-5). Solve 4*y - 8 = -r*y for y.
2
Let g be 0/(-2) - (-3 + 0). Solve -18 = g*y - 6 for y.
-4
Let p(y) = -y - 3. Let b be p(-7). Suppose b = 3*l - 14. Solve 6 = -3*r - l for r.
-4
Suppose 24 = 4*x - 2*h, -4*h + 35 = 5*x - 9*h. Let a = x - 5. Solve -2 + a = -2*v for v.
1
Suppose -4*x + 9*x = 10. Solve -a = x*a + 9 for a.
-3
Let f(z) = 2*z**2 - 1. Suppose 5*a = -2*b - 14, -5*a = -2*b + b + 8. Let v be f(b). Solve 18 = -5*s - v for s.
-5
Suppose -o - 8 + 4 = 0. Let n be (3 + o - -1) + 3. Solve -2*v + 3*v = n for v.
3
Let i(h) = h**3 + 4*h**2 + h - 3. Let o be i(-3). Let r = -13 - -22. Suppose v = 2*s + 2*v - 13, 4*s = 5*v - r. Solve a = o*a - s for a.
2
Let l(s) = -s**2 + 6*s - 4. Let q be l(4). Let u = -2 + 2. Solve 0*o + q*o + 4 = u for o.
-1
Let f = -5 + 8. Suppose 2*c - 200 = -f*c. Solve -c = 5*a - 15 for a.
-5
Let c(k) be the first derivative of 4*k**3 - k**2/2 - k + 1. Let h be c(-1). Suppose 5 = t, 3*f + f - 4*t = -h. Solve 3 + f = -5*a for a.
-1
Let a(w) be the second derivative of w**5/120 - w**4/12 - w**3/2 - w. Let n(v) be the second derivative of a(v). Let r be n(2). Solve r = -x - 3*x + 12 for x.
3
Let n(q) = -2*q**3 + 2*q**2 - 3*q + 1. Let b be n(2). Let r = b + 18. Solve -r*u - 12 - 8 = 0 for u.
-4
Let s be (-2 - 1)*(-4)/(-6). Let p(n) = n**3 + 7*n**2 + 6*n - 2. Let k be p(-6). Let b = k - s. Solve b = 2*x + 8 + 2 for x.
-5
Let q be 2 + 2 + (-1 - -1). Suppose z + 14 = 4*j, -z - 4*j = z + q. Let g = -5 - z. Solve w = g + 1 for w.
2
Suppose 3*g - 12 - 6 = 0. Solve 5 = g*x - x for x.
1
Suppose 6*o = -2*o + 3*o. Solve o*f + 3*f = 0 for f.
0
Suppose -3*q + 20 = -2*l, 45 = 5*q - 2*l + l. Suppose 5*u + q = -0*u. Let p be (7/u)/(2/(-4)). Solve 1 = 3*v + p for v.
-2
Let p = 4 - -1. Let y = 25 - p. Solve -i = 3*i - y for i.
5
Let i(q) be the second derivative of -q**4/12 + 3*q**3/2 - 5*q**2/2 + 2*q. Let y be i(8). Let o be y/2 - 1/(-2). Solve 0 = -2*h - 0 + o for h.
1
Let h be (1 + (-1)/3)*3. Let d be (-20)/(-15) - 8/6. Let b = h - d. Solve -4*x + 3*x = b for x.
-2
Suppose 2*i - 2 = 40. Let r = i + -7. Suppose r - 2 = 4*j. Solve 0 = t + j*t for t.
0
Let j(y) = -y**2 + 2*y - 2. Let o be j(3). Let a be (8/o)/(14/(-35)). Suppose 0*n + a = 2*n. Solve -n + 3 = -c for c.
-1
Suppose 3*l - 4*h = 7*l + 8, 3*h + 8 = -5*l. Let a = l + 3. Suppose -25 = -5*r, 23 = a*j - 0*j + 3*r. Solve -t + 15 = j*t for t.
3
Let x be (-2)/6 + (-564)/(-18). Let y = -2 - -7. Suppose -3*j - 40 = -7*j + y*s, -27 = -3*j + 3*s. Solve -j*u - 6 = -x for u.
5
Suppose 96*p + 16 = 104*p. Let s(z) = 2*z - 6. Let d be s(5). Solve 0 = -p*a + 2 - d for a.
-1
Let m(l) be the first derivative of 2*l**2 - 1/3*l**3 + 2*l - 3. Let t be m(4). Solve 5 = t*d + 3*d for d.
1
Let v be (8 + -7)/((-2)/(-4)). Solve -4*g = -v*g + 6 for g.
-3
Suppose -4 - 2 = 3*n. Let h = 2 - n. Suppose -x - x = 0. Solve x = -l - 3*l + h for l.
1
Let q = -158 - -159. Solve -3*g - 2 - q = 0 for g.
-1
Let b = -12 + 15. Solve 2*o = b - 13 for o.
-5
Let w be (-13)/2 - (-3)/6. Let n = w + -24. Let b be (24/(-10))/(9/n). Solve -8*i + 4*i + b = 0 for i.
2
Suppose h + 2 = -0. Suppose -5*x + 15 + 15 = -3*u, -22 = 2*u - 4*x. Let r = h - u. Solve 2*v = -r*v - 10 for v.
-2
Let l(n) = -3*n - 1. Let s be l(1). Let z be (-28)/s - (-2 + 1). Let q = 13 - z. Solve -4*w = w - q for w.
1
Let y = 10 - 8. Let n be (-3 + 0)*(-1 - 0). Solve n*w - y*w + 5 = 0 for w.
-5
Suppose -67 = -p - 3*p - 5*v, -2*p + 35 = 3*v. Suppose -p*b = -14*b. Solve 12 = -b*f - 3*f for f.
-4
Let o = 0 - 0. Let l(r) = -4*r - 76. Let t be l(-20). Solve -g = -o*g + t for g.
-4
Let q(t) = 5*t + 5. Let d(m) = 4*m**3 - m**2 - m + 1. Let u be d(1). Let g be q(u). Solve -2*p - 3*p + g = 0 for p.
4
Suppose -92 = -4*a - g - 27, -2*a = -5*g - 5. Let m(v) = v**2 + 9*v + 8. Let s be m(-8). Solve s = -0*u - 3*u + a for u.
5
Let k(m) = m**3 + 5*m**2 - 7*m - 3. Let u be k(-6). Solve 4*v - u = -7 for v.
-1
Let u be ((-12)/(-8))/(3/12). Solve -3*m - u = -5*m for m.
3
Let u = -15 - -25. Suppose 0 = 3*z - d - u, -3*z + 4*d - 2 = 3. Solve -z*a + 14 = 39 for a.
-5
Suppose 2*d - 3*d + 3*f = -4, 0 = -5*d + 2*f + 20. Let n = 0 + d. Solve -15 = -j + n*j for j.
-5
Let v be -3*(0 + (-14)/3). Let f = v + -8. Suppose -20 = 3*d - f*x + 2*x, -x = 5*d - 5. Solve d*r = r for r.
0
Suppose -5*h = -72 + 7. Suppose 2 = -5*o - h, 3*o = -3*m. Solve -2*p - m = -5*p for p.
1
Suppose -3*l + 3*h + 21 = 0, -2*h = l + 3*h - 37. Suppose -2*t - 4*n = -l, -3*t + 4*n + 1 = 3. Solve y = -t*y - 9 for y.
-3
Let x = -123 - -43. Let h be x/6 - 4/6. Let k be (h/21)/((-1)/3). Solve 2*a = -k*a - 8 for a.
-2
Let k(y) be the first derivative of y**3/3 + y**2/2 - 3*y + 9. Let p be k(-3). Solve 0 = p*a - a for a.
0
Let u be (-30)/(-4)*4/5. Let m(q) = q**3 - 5*q**2 - 6*q - 6. Let x be m(u). Let z be (2 - 2)*2/x. Solve z = 4*w