-3
Let u(i) = -i**3 - 11*i**2 + 28*i + 26. Let a be u(-13). Let s = -7 + 4. Let t = 0 - s. Solve a = 4*h - 15 + t for h.
3
Let y(v) = -v + 5. Let k be y(-3). Solve -3*a = -1 - k for a.
3
Let a(t) = -t**3 + 4*t**2 - t - 3. Let x be a(3). Let h(s) = s**3 + s + 4. Let n be h(0). Let j = 6 - n. Solve x*y = -j*y + 15 for y.
3
Suppose -4*g = g - 25. Let z = 1 - g. Let y = 6 + z. Solve p - y = 2 for p.
4
Suppose 0 = 6*q - 7*q + 3. Let f be (q/(-2))/(5/(-40)). Let b(a) = -a**2 + 4*a + 4. Let w be b(4). Solve 0*j = w*j + f for j.
-3
Suppose d - 10 - 6 = 0. Solve -d = -5*a + a for a.
4
Suppose -16 = i - 76. Suppose -5*z = -0*z - i. Solve 3*s - z = -0*s for s.
4
Suppose -2*c + 7 = f, -4*f + c - 3*c + 16 = 0. Suppose f*u = 0, -n + 5*n = 2*u + 24. Solve 0 = 4*r + 22 - n for r.
-4
Suppose 4*o - 6*o + 60 = 0. Let k be o/(-9)*18/(-15). Solve -2*d - k = -3*d for d.
4
Suppose 43 = 4*t + 3. Let q = 3 + -3. Solve 3*b - t - 2 = q for b.
4
Let h(x) = x**3 - 4*x**2 + 2*x + 5. Let g be h(0). Solve -10*m = -g*m for m.
0
Suppose -o + 3*o + 2*g = -2, -o = -5*g + 19. Let d be (2/(o/(-6)))/1. Solve m + 2 + d = 0 for m.
-5
Suppose 5*w = -5*t - 5, 0 = -9*w + 4*w - 4*t. Suppose 0 = -2*u - 0 + w. Let k be ((-44)/(-3))/((-14)/(-21)). Solve 0 = -4*m - k + u for m.
-5
Suppose 2*p + 4 = 0, -4*t + 20 + 42 = p. Suppose 0 = -n + 2 + t. Solve 2 = -4*i + n for i.
4
Let i be (-2 - -3) + (2 - 3). Suppose i = p - 0*p - 3. Solve p*g = 2*g - 1 for g.
-1
Let a = -3 + 6. Suppose -a*z + 4 = z. Suppose 4*h - 3 = 5. Solve -3*x - z = -h*x for x.
-1
Let p(c) = -9*c**2 - 1. Let s be p(1). Let t be (32/s)/(-4)*5. Solve u = -t*u - 10 for u.
-2
Let r(j) = -2*j + 10. Let s be r(5). Solve 2*g + 5 - 1 = s for g.
-2
Let b(a) = -4*a + 7. Let f be b(-5). Let s = 39 - f. Solve 7*l + s = 4*l for l.
-4
Let w = -62 + 66. Solve -a = -3*a + w for a.
2
Let r = -3 - -7. Suppose -1 = -3*f + 5, f = -r*x + 10. Suppose -25 = -5*l - x*b, -5*l + 3*b = -0*l - 25. Solve 2*u - l = u for u.
5
Suppose 0 = -3*x + 2 - 8. Let q be (-38)/(-14) + x/(-7). Let a be 0 + 6 + (5 - 7). Solve a = -q*r + 1 for r.
-1
Suppose -5*n = -0*f + 2*f + 11, n = -5*f + 30. Suppose -2*w + f + 1 = 0. Solve -1 = w*a - 17 for a.
4
Let g(v) = -v + 2. Let y be g(-8). Suppose y + 2 = 4*x. Let q be -3*(0 - (-1 + 3)). Solve 0*h = -x*h + q for h.
2
Suppose -5*t - 3 = -y + 2, 4*y + 2*t = -2. Suppose -3*q + y*q = -39. Suppose -22 = -5*r + 2*n, 0*n + q = 3*r - n. Solve -13 - 7 = -r*u for u.
5
Suppose -5*s - 3 = 27. Suppose -8 = -2*h - 0*h. Let d be s/h*4/(-3). Solve 0 = -m - d*m for m.
0
Let a be (4/(-5))/((-2)/10). Solve -4*m = -a - 4 for m.
2
Suppose 0 = o - 0*o - 4*q - 13, 13 = 3*o + q. Let i be ((-16)/(-6))/(-4)*15. Let m = 10 + i. Solve -b + o = -m*b for b.
5
Suppose -39*c = -42*c + 24. Solve 0 = -x - x + c for x.
4
Suppose -12 = x + 3*q, -3 = x + q - 1. Solve 2*n - x*n = 1 for n.
-1
Let r(b) = -b**3 + 4*b**2 - b. Let v(f) = -f**3 - 5*f**2 + 3. Let c be v(-5). Let t be r(c). Solve y + 2 = t for y.
4
Let g be 10/15 + 22/(-6). Let w be (0 - 0)/2 - g. Suppose -5*z - 7 = -w*v, -v + 4*z = -0*v. Solve v*d = d for d.
0
Let y be (24 - 0/(-3)) + -2. Let x be 6/(-9)*(1 + -4). Solve -x = 5*i - y for i.
4
Suppose -2*a = -a - 3. Suppose 4*k + a*u = 12, k - 3*u + 8 = -4. Suppose -2*o + 1 + 5 = k. Solve 3*b = 4*b + o for b.
-3
Suppose 3*w - 63 + 9 = 0. Suppose -4*c - 95 - w = -3*n, 76 = 2*n - 3*c. Suppose y + 3*y = -2*i + 14, -5*i = -4*y + n. Solve -t + y = 4*t for t.
1
Let q be (-1)/(-2)*(-1 + (3 - 2)). Solve 5*f + 5 + 5 = q for f.
-2
Let k = 11 - 7. Suppose -4*x + k = -4. Solve -1 = -x*d + d for d.
1
Suppose 2*x + x + 4*g - 10 = 0, -2*g = x - 2. Suppose -3*r + 6*r - p - 39 = 0, 0 = -3*r - 5*p + 21. Suppose -r = -x*h + 2*h. Solve v = h*v for v.
0
Let b(l) = l + 9. Let g be b(-7). Suppose 3*w - 19 = -4, 0 = -5*k - g*w + 195. Solve 12 = 5*y + k for y.
-5
Let u(a) = 4*a + 4. Let y be u(8). Suppose -m - 12 = 3*h, -5*m + h + 25 = -h. Let x be 20/(-6)*m/(-2). Solve x*i = -11 + y for i.
5
Let y(t) = 0*t**2 + 5*t + 2*t - t**2 + 3. Let k be y(7). Let m = 0 + k. Solve m*s = 5*s - 6 for s.
3
Let t = 0 - -2. Let s be (-8)/6*(-45)/10. Let k be (-7)/(-2) - 3/s. Solve z + k = t*z for z.
3
Suppose -4*y + 3 = -3*y. Suppose -2*w = -4*w - 3*w. Solve y*r = -w*r for r.
0
Let n = -20 + 30. Let g be (-6)/(-1) + (4 - 8). Solve -3*j - g*j = n for j.
-2
Let x be (-2)/3*(-18)/(-3). Let g(z) = z**3 + 5*z**2 + z + 4. Let y be g(x). Solve 3*o - 1 = -y for o.
-5
Let m = 0 + 3. Suppose 0 = r + m*r. Solve r = 3*h + h - 8 for h.
2
Suppose 5*l = -0*w - 3*w + 60, -4*l - w = -41. Let k = l + -6. Solve a + 2 = -k for a.
-5
Let b be 1/2*(-4 - -14). Let i(t) = -2*t - 6. Let q be i(-4). Suppose -4 = -q*k - 0. Solve -k*l - 6 = -b*l for l.
2
Let u(f) = -f**3 - 6*f**2 + 5*f - 9. Let q be u(-7). Solve -1 + q = 4*t for t.
1
Let r = 0 - -4. Suppose f - 4*q = -16, 45 = r*f + f + 5*q. Suppose 0*l = l - 2. Solve l*n = -2 + f for n.
1
Let w = -25 - -40. Solve -3*f + w = 3 for f.
4
Suppose -4*z + c - 15 = -9*z, 4*z + 2*c = 6. Suppose 3*q = 10 + 5, z*q = 4*g. Solve 0 + g = x for x.
5
Suppose -2*l - 19 = -5*d, 0*d - 5*d + 37 = 4*l. Solve -l*q + 8*q = 0 for q.
0
Let l = 7 + -3. Suppose -h - 2*n = -5, -2*n = -l*h + h - 1. Solve 3 = -2*x + h for x.
-1
Let c(d) be the first derivative of 5*d**4/4 - d**3/3 + d**2/2 - d - 4. Let t be c(1). Solve -t*h - 5 = 7 for h.
-3
Suppose 5*r - 215 = -5*y, 2*y + 8*r - 71 = 3*r. Suppose -136 - y = -2*a. Suppose -a - 8 = -5*p. Solve 6*q - p = 2*q for q.
5
Let o(f) = -f**3 + 5*f**2 - 2*f + 2. Let c be o(4). Suppose -4*d + 7 = -9. Solve d*n = -2 - c for n.
-3
Let q = 15 - 13. Solve q*f - 6*f = 0 for f.
0
Suppose 4*o = 40 + 4. Solve 5*b - o = -36 for b.
-5
Let r be (3 - 10)*60/(-21). Solve 0 = -4*c + r for c.
5
Suppose 20 = -3*s + 7*s. Solve 0 = -2*n + s*n + 6 for n.
-2
Suppose -3*m - 4*u = -7*m + 32, -4*m + 2*u + 40 = 0. Let z = m + -8. Solve -2 = 2*g + z for g.
-3
Let z be ((-9)/6 + 1)*-2. Let k(g) = g + 1. Let b be k(z). Solve -4*r = -6 - b for r.
2
Let j = 21 + -19. Solve 3*d = 4*d + j for d.
-2
Let i = -24 + 44. Suppose -2*d + 2 = -2*f + f, i = -5*f. Let a be (d - -2)/(2/32). Solve -2*c - a = 2*c for c.
-4
Suppose 3*c = 6 + 12. Solve 0*s + c = 2*s for s.
3
Let o be ((-2)/3)/((-7)/21). Suppose 2*i = y + 10, 20 = o*y - y + 4*i. Solve y = -5*p + 3*p + 2 for p.
1
Suppose 23*t - 24 = 21*t. Solve 4*h - 8 - t = 0 for h.
5
Let l be 8/6*(-12)/(-8). Suppose 5*k - 6 = l*k. Suppose -q + 4*v - 1 + 11 = 0, -10 = -3*q + k*v. Solve -q*j - 8 = 2*j for j.
-2
Let r(o) = -o**3 - 2*o**2 - o - 3. Let w be r(-3). Solve b = -2*b + w for b.
3
Let a = 4 + -3. Let d be 0 - (-6 + 0 + a). Suppose 2*t + 2 = t, -5*t - 20 = -5*o. Solve o*f = -3 - d for f.
-4
Let t be 3/6 + (-10)/(-4). Suppose b = -3*a - 3, 2*a + 8 = -t*b - 1. Suppose 0*n - 5*n = a. Solve n = -2*h + 4*h - 8 for h.
4
Let m be (-46)/(-10) + 4/10. Solve 3*j = -7 - m for j.
-4
Suppose 10 = 5*n - 4*y - 2, 12 = 4*n - 4*y. Suppose n = 6*g - 11*g + 10. Solve 4*h - g = 18 for h.
5
Let h be ((-117)/(-52))/((-3)/(-8)). Solve -5*c + h*c + 4 = 0 for c.
-4
Suppose 4*s = -y - 12, -s + 3*y - 14 = 2. Let t = 10 + -3. Let f = s + t. Solve f = -p + 2 for p.
-1
Let i(c) = 0 - 4*c - 1 - 2*c + 4*c**2 + c**3. Let n be i(-5). Solve n*g = -3 + 7 for g.
1
Suppose 2*u - 6 = -3*a, 0*a - 4*u = -3*a + 6. Let d be (1/(a/(-8)))/(-2). Solve -2*p = -0*p + d for p.
-1
Let y = 14 - 3. Let p(j) = 3*j - 1. Let w be p(1). Let x = w + 7. Solve 5*f + x + y = 0 for f.
-4
Let h(s) = -s**2 + 14*s - 11. Let z be h(12). Let w be 973/13 + 2/z. Suppose -3*x = -6*x - 2*g + 45, 5*x - 4*g - w = 0. Solve -3*u + x = -0*u for u.
5
Let z = -2 - -4. Let l(f) = -f**3 - 3 + 3*f + 2*f**z + 2*f - 2*f. Let j be l(2). Solve -j = -4*u + 17 for u.
5
Let j(k) = k**2 - 15*k + 44. Let x be j(4). Solve x*w - 2 = 2*w for w.
-1
Let v = 9 + -4. Suppose 1 = o - v. Suppose d + o = 4*d, 0 = -5*z - 4*d + 18. Solve -f - z*f = -9 for f.
3
Let f(x) = x**2 - 7*x - 10. Let s(v) be the second derivative of 5*v**3/3 - v**2/2 - v. Let q be s(1). Let i be f(q). Solve -4*k + 0 = i for k.
-2
Let v = -21 + 25. Solve -3*r + v*r = 1 for r.
1
Let q be (-3)/(-15) + (-42)/10. Let n be (-2)/((-2)/4*1). Let i = q + n. Solve i = -5*u + 2*u for u.
0
Let u(g) = 3*g**2 + 2*g - 2. Let v be u(-2). Let s = v + -2. Solve s - 12 = -4*p for p.
2
Suppose 