be -9*(-1 + 6/9). Let u be (-2)/6 + (-2)/f. Let m be (u - 1)/(3/(-12)). Solve 4*o + 0*o = m for o.
2
Let s = -4 + 16. Let v = -142 - -142. Solve -3*n + 0*n + s = v for n.
4
Let c = -15 + 15. Suppose c = -3*p - 8 + 20. Solve 0 = -a - 0*a - p for a.
-4
Suppose 0 = -10*i + 21*i - 132. Solve 6*t = 2*t + i for t.
3
Suppose -a - 21 = -5*d, 2*d - a = -2*d + 17. Solve -k + 1 = -d for k.
5
Let p(g) = -2*g - 12. Let y be p(-8). Suppose -5 = -3*h + y. Solve -8*z + 20 = -h*z for z.
4
Suppose 24 = -h + 5*b, 2*h - 7*h + b = 0. Solve h = -c - 1 for c.
-2
Let q = -13 - -16. Suppose 5*h + 2*n + 2*n - 22 = 0, n - q = 0. Solve j - 3 = -h*j for j.
1
Suppose -3*b + 12 = 0, k - b = 6*k - 14. Suppose 13 + 17 = 3*w. Suppose k = 3*z - w. Solve c = -c + z for c.
2
Suppose 10*u - u - 18 = 0. Solve 2*o + u = -0*o for o.
-1
Suppose 11 + 3 = 2*u. Let n be 10/(-3) - (-1)/3. Let l be 4/6 - 22/n. Solve -3*x - u - l = 0 for x.
-5
Suppose 5*n - 4*r = -0*n + 39, -5*n - 5*r + 30 = 0. Suppose -3*s + n = -2*s. Solve s*a = 2*a for a.
0
Suppose -v = -l + 1 - 2, -5*l = -10. Suppose 5*m - 36 - 59 = 0. Suppose m = v*k + 7. Solve g - k*g = 0 for g.
0
Suppose -2*w = -4*m + 5*m - 76, -3*m + 228 = -w. Let q = -12 + 18. Let g be m/6 + q/(-9). Solve -4*s + g = -7*s for s.
-4
Let y be 2 - ((-6)/(-3) + 0). Suppose 4*i - 16 - 20 = 0. Let u be (1/3)/(1/9). Solve u*w + y = i for w.
3
Let x(h) = -2*h**3 + 0*h**3 + 1 + h**3 + h**2 + 1 + h. Let y be x(2). Solve 4*p + y*p = 0 for p.
0
Let v(k) be the second derivative of k**4/4 - k**3/2 + 2*k**2 + 3*k. Let n be v(-3). Let t be (2/(-5))/((-1)/n). Solve j - t = -3*j for j.
4
Let i be -5 - 0*1/(-3). Let r = i - -10. Suppose 2*u = 2*v + 4*u, 4*u = -r*v + 2. Solve 3 = -5*k + v*k for k.
-1
Suppose -2*s + 5*t = -53, -5*s - 2*t = -0 - 60. Solve 4*g + 2 - s = 0 for g.
3
Let c(u) = u**2 + 3*u - 3. Let z be c(-3). Let h be -3 + 21 + 1 + z. Solve -l = -5*l + h for l.
4
Let v(n) = 7 + 2 + 0*n - 5*n**2 + 7*n - n**3. Let z be v(-6). Let d = z - 1. Solve 3*c + d*c = 5 for c.
1
Suppose -5*g + 4 - 10 = 2*v, -3*v - g + 4 = 0. Suppose v*f = 2 + 2. Solve -f*d + 4 = 2 for d.
1
Let f be (3 + 0)/((-6)/(-4)). Suppose -f = 2*v - 6. Solve v*b = b - 5 for b.
-5
Let k be (18/15)/((-12)/(-80)). Let t be 119/28 + (-2)/k. Let w be (-6)/(-4) - 2/4. Solve -t*o - w = 3 for o.
-1
Let u = 65 - 55. Solve -5*t - u = -0*t for t.
-2
Suppose -t - 60 = -5*t. Solve 4*p + t = -p for p.
-3
Suppose 4*h = -2*r - 2 + 6, h + 2 = -2*r. Let w(u) = 0*u**3 + 2*u**2 - 4*u - u**2 + u**3 - 3. Let p be w(r). Solve i = -0*i - p for i.
-1
Suppose 13 = 3*q - 5*i - 3, -2*q + 9 = -5*i. Solve 3*z = q*z for z.
0
Let u(s) = s**3 - s**2 - 3*s + 6. Let q be u(0). Solve 3*t + 6 = -q for t.
-4
Suppose -3*l + 2*m = 2, 0*l - 2*m + 12 = 2*l. Suppose 5*g = -3*i - 1, -2*i + 3*g + 15 = i. Suppose i*p = -l*p. Solve p*s = -2*s for s.
0
Suppose 30 = 5*j - 5*r, -2*r - 7 = -3*j + 7. Solve s - j*s - 1 = 0 for s.
-1
Suppose -2*k + 4 = -6. Solve 0 = k*n - n for n.
0
Let u(q) = -5 + 7 - 7*q**2 + 5*q**2. Let n be u(0). Solve n = -3*b - 1 for b.
-1
Let x = 9 + -4. Let o(q) = q**3 - 13*q**2 + 12*q + 4. Let s be o(12). Solve -s*w + x = -11 for w.
4
Suppose -12 = -5*n - 2. Solve -n - 2 = -4*b for b.
1
Let p(r) = -r**3 + 3*r**2 + r + 2. Let q be p(3). Suppose q*d = d. Solve -5*b + 2 + 8 = d for b.
2
Let g = -27 + 29. Solve g*i - 8 = 6*i for i.
-2
Suppose 4*i - 2 = 3*j, -3*j + 2 = -2*i - 0*j. Solve -2*q + i = -6 for q.
4
Suppose 3*s - 3 = -y + 18, -5*y - 2*s = -66. Solve -3 - y = -5*p for p.
3
Suppose 2*c + 16 = 2*f - 6*f, 5*f = -4*c - 20. Let x(t) = -1 + 3*t - 7*t + 2*t. Let a be x(-2). Solve -y = -c*y + a for y.
-3
Suppose 7*p + 40 = 11*p. Solve 2*w + p = -3*w for w.
-2
Suppose 0 = 4*d + 2*y - 56, -y - 2*y = 12. Suppose -5*z = -10, 5*z - d = -4*b + 3*z. Solve b*g + g = 0 for g.
0
Suppose 0 = -2*d - 6 - 4. Let w(i) be the first derivative of -i**3/3 - 7*i**2/2 - 6*i + 4. Let h be w(d). Solve 3*g - h*g - 2 = 0 for g.
-2
Let k = 90 - 88. Solve k*h = -0*h + 6 for h.
3
Let u(y) = 4*y - 6 + 2 + 19*y**2 + 1. Let i be u(2). Suppose -15 = -b - r, r - 2*r - i = -5*b. Solve -2*z = 2*z - b for z.
4
Suppose 6*u - 10*u = -100. Solve -4*i - i = -u for i.
5
Suppose -5*u + 79 = -4*c, c = 2*u - 2*c - 26. Suppose 0 = -0*t + t - u. Let i = t + -11. Solve -5*j + j = i for j.
-2
Let f = 2 - 2. Let s be 0/(2*(-1 + 0)). Solve -q + 1 + f = s for q.
1
Let x be 12 - 2 - 0/1. Let y be (-6)/4 + (-54)/(-12). Suppose y*t - 10 - 2 = 0. Solve t*s - x = -s for s.
2
Let p be 1/(-1)*(-5)/1. Let m be (2*p)/(8/16). Solve -4*j = m - 0 for j.
-5
Let b(r) be the third derivative of -r**4/24 + 11*r**3/6 + 3*r**2. Let s be b(6). Suppose -5 - 5 = -s*v. Solve -o - 1 = -v*o for o.
1
Let k = 10 + -6. Solve v - k = -v for v.
2
Suppose -3*z + 0*m = 3*m - 51, 2*z + 5*m = 37. Let l be -3*(8/3)/4. Let a = 5 + l. Solve g = -a*g + z for g.
4
Let x(c) = -c**2. Let n be x(0). Solve -3 = -n*s - s for s.
3
Let h be ((-4)/10)/(16/(-5) - -3). Solve -1 = h*j + 3 for j.
-2
Let h = -8 + 10. Let g be h/(19/(-7) + 3). Let t = -2 - -4. Solve t = n + g for n.
-5
Let b(d) = -3*d - 2. Let o(t) = t + 2. Let h be o(-4). Let k be b(h). Suppose -4*q - 2*j + 54 = 18, 5*j + 27 = 3*q. Solve -a - q = -k*a for a.
3
Let r = 9 - 5. Let y = -1 + r. Suppose y*q = 2*q + 1. Solve -v - q = -3 for v.
2
Suppose t + 3*t - 8 = 0. Let n be (t/10)/(7/35). Solve 0 = i - 0*i + n for i.
-1
Suppose -5*x + 2*x - 48 = 0. Let z be (x/(-4) - -4) + 0. Solve -2*w = -4*w + z for w.
4
Let o = 16 + -9. Let j(i) = -i**2 + 8*i - 6. Let z be j(o). Solve -5*v + 14 + z = 0 for v.
3
Let w = 1 + 1. Suppose 0 = w*t - 14 + 4. Solve -7*a = -2*a + t for a.
-1
Suppose 319 = 5*g + 69. Suppose -6*h + h = -g. Solve -5*i = h - 5 for i.
-1
Let k be (-26)/30*-3 + 2/5. Solve y - 2 = k*y for y.
-1
Suppose -3*r + 5 = -j - 6, 5*r + 5*j = 45. Let q(b) = -b**2 + 7*b + 2. Let n be q(r). Solve 0 = 2*x + 2*x - n for x.
3
Let k be (-2)/(-7) - (-14)/(-49). Solve k = u + 4*u + 15 for u.
-3
Let l(f) = -f**2 - f + 9. Let p be l(-3). Solve 3*s = -p - 6 for s.
-3
Let a = -21 + 7. Let y = a - -23. Solve -2*w = w + y for w.
-3
Suppose 15 = 5*b - 0. Solve -2*w = b*w - 10 for w.
2
Suppose 3*u = 2*g - g + 6, 5*g + u - 2 = 0. Suppose 0 = -3*j + 9, g = -4*p + 2*j - 0*j + 54. Solve -l + p = 2*l for l.
5
Suppose -2*l = -m + 12, 5*m - 2*l - 21 = 15. Solve -v = -m*v + 15 for v.
3
Suppose -5*o = 4*i - 35, 4*o - 2 = 4*i - 2*i. Solve o*x - 6 = x for x.
3
Let s(y) = y**2 - 8*y - 4. Suppose -4*q + c + 40 = 0, -q + 3 = -5*c - 26. Let m be s(q). Solve -g = -m*g for g.
0
Let o be (-4)/20*0*1. Solve l = -o*l - 4 for l.
-4
Let z = -2 + 9. Suppose 3*m - 11 = -q + z*m, -5*q - 4*m + 7 = 0. Solve 0*r - q*r = 0 for r.
0
Suppose -5*z + 27 = 3*m - 26, -3*z = 2*m - 32. Suppose -6*n = 3*j - 10*n + 8, 0 = -2*j + 2*n - 8. Let h = z + j. Solve -6*w + h*w = -8 for w.
2
Suppose -4*f + 1 + 7 = 0. Let g = -7 + 10. Suppose -9*r = -4*r. Solve f*y - g + 1 = r for y.
1
Let w = -23 - -27. Let j be (-3 + 5)/(2/w). Solve -3*b - j = b for b.
-1
Let x be ((-3)/(-2))/((-2)/(-4)). Solve -3 = x*l - 0*l for l.
-1
Let k = -3 - -5. Suppose -s - 9 = -3*o, -3*o - 4*s + 0*s + 24 = 0. Solve 2*f - k = o*f for f.
-1
Let v(d) = -3*d. Let i = -14 + 12. Let k be v(i). Solve -k = -n - n for n.
3
Suppose -5*q - 15 = 0, -15 = -3*h - 4*q + 6*q. Let w = -3 + 7. Solve 3*i - w*i + h = 0 for i.
3
Let a = 6 - 3. Let t be (4/5)/((-8)/60). Let y be a/1*t/(-3). Solve -s = -3*s - y for s.
-3
Suppose 0 = -14*m + 24 + 74. Solve -6*h - m = 5 for h.
-2
Let w(v) = v**2 - 3*v. Suppose -o + 4*n + 5 = -9, 5*o - 16 = 2*n. Let m be w(o). Let k(j) = -j - 2. Let d be k(m). Solve 5 + d = x for x.
5
Suppose p - 3 = -w, -3*p - p = 5*w - 7. Solve 4 = 4*j - p for j.
3
Let q(i) = -i**2 + 8*i - 7. Let f(h) = -h**3 + 4*h**2 + 5. Let o be (2*-1)/(-1) - -2. Let k be f(o). Let r be q(k). Solve 4*s = r*s for s.
0
Let h(v) = v + 7. Let l be h(-5). Let x be 0/((-3 - -4)/1). Suppose 4*a = 3*r + 8, -2*a + 1 + 3 = x. Solve l*i - 6 = -r for i.
3
Suppose 5 = 2*v - 1. Suppose -2 = -v*t + 2*t. Solve 4 = -3*q - t for q.
-2
Let f be ((-58)/(-14) - -1) + (-4)/28. Solve 0 - 20 = f*s for s.
-4
Let r(z) = -z**2 - 9*z + 4. Let y be r(-9). Let g(n) = 2*n - 4*n + n. Let d be g(0). Solve -y = -d*b + b for b.
-4
Suppose -3*l = l - 400. Suppose 4*y = 8*y - l. Solve -4*r - y = -9*r for r