 Let u(o) = o**3 + 4*o**2 + o - 4. Let m be u(v). Solve -14 = -4*i - m for i.
3
Let p(g) = g - 9. Let n be p(12). Solve 0 = -n*x - 4 + 1 for x.
-1
Let d(w) = -3*w**3 - w**2. Let u be d(-1). Suppose 0 = -v - 2*f - 5, 1 = 2*v + 3*f + 7. Solve v = -5*n - u for n.
-1
Let t be -4*2/4 + 20. Let r be (-27)/t*28/(-6). Solve 0 = -3*k + r + 8 for k.
5
Let w(s) = s. Let x be w(1). Let a = x - 5. Let j = a - -4. Solve -4*h + 6 + 2 = j for h.
2
Let i be (-10 - -7)*(-1 + 0). Let z(q) = -2*q - 9. Let o be z(-6). Let r be (o/5)/((-2)/(-10)). Solve -r - 3 = -i*h for h.
2
Suppose -2*b = -0*b - 32. Let u be (-24)/b*22/(-3). Solve -5*s - 1 = -u for s.
2
Let y = -2 - 0. Let p be 2/y*(1 + -5). Solve -20 + 4 = p*f for f.
-4
Suppose s - 4 = x, -7*x = -3*s - 3*x + 14. Solve -4*u + 2 = -s for u.
1
Let u be 3*(-1)/(-3) - -4. Let p = 23 + -16. Let b = p + -6. Solve -u*f - 4 - b = 0 for f.
-1
Let c(m) = m**3 - 7*m**2 + 5*m + 8. Let r be c(6). Suppose -3*s = 2*w - 11, -r*w = 4*s - 0*w - 16. Solve -3*f = -s*f for f.
0
Let l be (24/14)/(2/7). Let k = l + -3. Solve k = -a - 0*a for a.
-3
Let t be (-2)/15 + (-124)/(-30). Solve -t*a = a for a.
0
Suppose 0 = 3*g - 3 - 9. Let q = g - 1. Solve 5*w + 7 = -q for w.
-2
Let g be 0 - 1/(-2)*-2. Let x be 19 + -1 + (-2)/g. Solve -z = 4*z + x for z.
-4
Suppose 0 = -x + 5*x + 2*g + 10, g = -3*x - 5. Let f(b) = b + 9. Let u be f(-5). Solve -n - n + u = x for n.
2
Suppose 5*p = 2*p. Let v = -6 - p. Let u = v + 8. Solve 0*f = -u*f + 4 for f.
2
Suppose 3*s + 79 - 85 = 0. Solve 3*m + s = m for m.
-1
Let q(t) = 4*t**2 - 1. Let j be q(-1). Suppose -c + 0 = -2. Suppose -5*w = -5*f - 10, -c*w + 5*w = -5*f + 6. Solve s + f = j for s.
3
Let p = 4 + -2. Suppose 0 = -j + p - 0. Solve -j*w + 25 = 3*w for w.
5
Let b(g) = 9*g**2 - 2*g - 1. Let d be b(-1). Suppose d = a + 2*a - 5*c, 5*c - 20 = 0. Suppose -2*o = -o - 5*s - a, 2*o + s = -2. Solve o = -0*k + k - 3 for k.
3
Suppose 58 = 8*k - 4*k - 2*p, 25 = -5*p. Suppose n + n - 10 = 0. Suppose -3*x = n*j - 34, -5*j - 4*x = -3*x - 28. Solve -j*f - k = -f for f.
-3
Suppose -2*q - 2*r + 18 = 0, 4*q = 7*q - 4*r - 20. Solve -4 = 3*s + q for s.
-4
Let s(q) = q - 10. Suppose -30 = -2*r + 5*m, 8*m - 3*m = -r. Let u be s(r). Suppose -g - 3*x + 3 + 12 = u, 4*g = 2*x + 18. Solve -j = -g*j - 15 for j.
-3
Let l(q) = q**3 - 3*q**2 + q - 3. Let s be l(3). Suppose -3 + 0 = -j. Suppose -n - j*n = -12. Solve -2*g - n + 1 = s for g.
-1
Suppose p = -3*y + 12, -2*y - p = -0*p - 9. Suppose 0 = 3*n - 8*n - y*r + 6, 4*r = 2*n - 18. Let g = n - 3. Solve 3*q + 8 + 1 = g for q.
-3
Suppose 4*r - a = 3*a - 12, -4*r = -2*a + 6. Suppose r*s = -s + 16. Let b be ((-6)/(-8))/(12/48). Solve -s = -b*n - n for n.
4
Suppose -v - 3 = -2*v. Solve -v*p + 6 = -0 for p.
2
Let a be (-2)/(-2) - (-2 - -3). Suppose -4*f + 20 = -a*f. Suppose 2*x + 5*w = 5 + 55, -2*x + 32 = -2*w. Solve x = -5*y - f for y.
-5
Let u(r) = -1 - 2 - 2*r - r**3 + 3*r + 0*r + 3*r**2. Let x be u(3). Solve -y + 2*y = x for y.
0
Let a(g) = -g**2 - 10*g. Let m be a(-10). Suppose 0 = -3*u + 9 - m. Solve -u*z + 9 = -3 for z.
4
Let j(g) = 8*g - 10. Let i be j(5). Suppose 10*d = 4*d + i. Let t be (-31)/(-3) + 1/(-3). Solve 0 = t*k - d*k + 5 for k.
-1
Let u be 4/8 + (-4)/(-8). Suppose l + 2*d = -u, -3*d = -5*l - 0*d + 34. Solve -k + l = -0*k for k.
5
Suppose -2*z + 5 = -1. Suppose 4*k - 4 = 2*r, z*r - 6 = -3*k + 5*k. Solve -d - k + 4 = 0 for d.
1
Suppose 8*f - 3*d - 3 = 3*f, -3*f - 4 = 4*d. Suppose f*o = 3*o. Let v be (o + 2)*14/4. Solve -2*g - 1 = -v for g.
3
Suppose 0 = -3*n - 3*a + 15, 2*n + 0*n = -4*a + 14. Suppose -2*s - n*k = -0*s - 21, -15 = -3*k. Solve 0 = s*g - 6*g - 9 for g.
-3
Suppose -14 = -4*u + 10. Suppose 3*y - 9 = -o + u*o, -3*y + 3*o + 9 = 0. Solve -7 + 22 = y*k for k.
5
Suppose 0 = o + f - 8, -o + 2*f = -10 + 2. Solve -3*d - o = d for d.
-2
Let y be (-24)/(-42) + (-8)/14. Solve y = b + b - 2 for b.
1
Suppose -20 = 4*r - 4*d, 4*r - d = -2*d. Let o(g) be the second derivative of -g**5/10 - g**3/6 - g**2/2 - 3*g. Let c be o(r). Solve c = n - 2 for n.
4
Let q(n) = n**2 - n + 5. Let y(a) = a**3 - 7*a**2 + 8*a - 7. Let c be y(6). Let o be q(c). Solve o = 6*t - t for t.
5
Let n = 52 - 48. Solve 3*v = v - n for v.
-2
Let s(k) = 5*k + 67. Let i be s(-13). Solve -8 = -i*g - 0*g for g.
4
Let q = 55 - 42. Solve 0 = -4*w + q + 3 for w.
4
Let s(r) = -r**3 - 6*r**2 - 6*r - 1. Let i be s(-5). Suppose -3 = i*u + 5. Let k be (12/3 - u) + -2. Solve k*t + 8 = -4 for t.
-3
Suppose -4*s - 149 = 15. Let m = s - -57. Suppose -5*q - 10 = 4*r + 10, r + 4*q = -m. Solve -2*k - 2 = -r*k for k.
-1
Suppose 3 = 2*a - 1. Suppose x - 7 = -3*k - 35, -a*x = -4. Let c = k - -15. Solve 0*v - c = -v for v.
5
Let i be (2 + -1 - 3)/(-2). Solve 4*v = -i - 15 for v.
-4
Let s = -2 + 2. Let d be s/1 + 3 - 0. Solve 0 = b + 6 - d for b.
-3
Suppose -1 = x - 0. Let w = 1 - x. Solve w = j - 3*j for j.
-1
Suppose 0 = -3*f + f. Solve 0*t - t = f for t.
0
Suppose 2*w = -w + 9. Let q be (3/w)/((-3)/(-6)). Solve h + 1 = -q for h.
-3
Suppose -6*k + 38 - 2 = 0. Solve 2*l = -l - k for l.
-2
Suppose -z - 4 = z. Let u = -22 - -14. Let q = z - u. Solve 0*s - q = -2*s for s.
3
Let i(x) = -x**3 - 19*x**2. Let t be i(-19). Solve t = b + b - 8 for b.
4
Let z(n) = 2*n**2 - 10*n + 4. Let w be z(5). Suppose 0 = -j + k + 1, 4*j + j = 3*k + 7. Solve -w*g - 6 + j = 0 for g.
-1
Let c = -3 + 4. Let x = 2 + c. Let b = 3 - -3. Solve 0 = -0*s - x*s - b for s.
-2
Suppose a + 3*q = 18, -4*a + q = -2*a - 1. Suppose -4*i + 6*z + 16 = 4*z, z + 10 = a*i. Suppose 0 = i*t + 1 - 5. Solve -t*o + 7*o = -5 for o.
-1
Suppose 2*n - 5*u + 10 = -u, -3*u + 9 = -n. Let y be ((-2)/(-3)*n)/1. Solve -y*b + 1 - 7 = 0 for b.
-3
Suppose 6 = 3*f - 0*f + h, -5*h = -5*f + 30. Solve -13 + 1 = -f*t for t.
4
Suppose 0*d - o = -d + 2, 0 = 4*d + 5*o - 35. Let w be (-1 - -1)/(49/(-7) + 9). Solve w = t - d*t - 16 for t.
-4
Let b be 2/(-11) + 39/33 + 2. Solve b*f - 5 = 1 for f.
2
Let y be (4 - (-1 - -2)) + -1. Solve y*g + g = 0 for g.
0
Let t = 8 + -5. Let r = 1 + 1. Suppose 4*m = k - 1, k + r - 3 = 3*m. Solve -2 = t*c + k for c.
-1
Let f(y) = -y**2 + 5*y - 1. Let i be f(7). Let q be i/(-6) + (-3)/(-6). Solve -4*s - 5 - q = 0 for s.
-2
Let s be 1/(-3) - 2/(-6). Let z(g) = 2*g**3 - g**2 + 2*g - 1. Let b be z(1). Solve s*c + b*c = 8 for c.
4
Let m = -49 - -5. Let f be (-5)/(-4) + 11/m. Solve 4*v - f = 7 for v.
2
Let r(z) be the third derivative of -z**6/120 - z**5/12 + z**3/2 - 3*z**2. Let x be r(-5). Solve 0 = -0*s + x*s - 6 for s.
2
Suppose -2*i - 5*d + 15 = 2*i, -5 = 5*d. Solve 3 = 2*h - i for h.
4
Let a be 12*3/27*3. Suppose 7 = a*i - 5. Solve 2 = z + i for z.
-1
Let g(r) = -r**2 - r. Let z(t) = 5*t**2 + 8*t - 5. Let s(q) = -4*g(q) - z(q). Let a be s(-5). Solve 5*h - 6 - 14 = a for h.
4
Suppose 3*m = 2*m + 1. Let o be 19 + -5 + 1 + m. Suppose 8*g = 4*g + o. Solve 15 = -g*v + v for v.
-5
Let m be 4/6*(-15)/(-2). Let a(l) = -l**3 + 5 + 2 - 1 + 6*l**2 - 6*l + 1. Let o be a(m). Solve -o*y = 1 - 3 for y.
1
Let r be 3/(-3) + 40/10. Solve 6 - r = -b for b.
-3
Suppose 2*o = -2*b + 14, -4*b + 4*o = -0*b - 44. Solve 2*t + b = 5*t for t.
3
Suppose -x + 12 = 3*x. Suppose -3*s + 4 = 2*d, -x*s + 5*d - 5 = -8*s. Solve -3*z = s*z + 15 for z.
-3
Let i(b) = -b**3 - 5*b**2 + 5*b - 6. Let g be i(-6). Suppose 4*x = 5*j + 26, x - 8*j + 5*j - 10 = 0. Solve g*k = -x*k for k.
0
Let d be (2 + -2)/(-4 - -5 - 2). Solve d = 3*u + u + 12 for u.
-3
Let y be (-1470)/(-189) + 2/9. Solve -3*g - 1 = y for g.
-3
Let a(b) = -b**2 + 2*b - 1. Let x(u) = u - 1. Let d(i) = a(i) + 3*x(i). Let c be d(4). Let k = -932 + 935. Solve k*z = -c*z for z.
0
Let s be 0 + 2/(-2) - -3. Solve -r = s*r for r.
0
Suppose c = 5*m - 36, -3*m + m + 11 = 3*c. Solve -m*h = -3*h - 16 for h.
4
Let l be 0*(2 - 1) + 4. Suppose -l*w + 12 = -2*w. Let i = w + -6. Solve i = -y - 2 for y.
-2
Let h(q) = q**2 + 2*q + 3. Let b be h(-4). Let o = 19 - b. Let s = -5 + o. Solve 2*k = -k - s for k.
-1
Let n be (54/30)/(-1 - 39/(-30)). Solve 4*p + 8 = n*p for p.
4
Let w(a) = a**2 - 2*a - 8. Let i be w(-4). Solve -3*q = -7*q - i for q.
-4
Let z = 10 - 5. Let w be 1/(-2)*(z - 1). Let b be -4*(0 + w/4). Solve j - 3*j = b for j.
-1
Let j be (1*2/(-6))/((-2)/96). Solve 6*r - 2*r - j = 0 for r.
4
Let w = 11 - 9. Let k be w/(-3) + (-10)/(-6). Solve f + k = 6 