be ((-2)/(-5))/((-4)/q). Solve s = 3*t - t for t.
2
Let v(j) = j**3. Let b be v(3). Solve -5*k - 7 = -b for k.
4
Suppose 26 - 6 = s - b, -5*s + b = -112. Suppose -2*g + s = 3*q, -4*g + q + 79 = 12. Solve 9*m + g = 5*m for m.
-4
Let h(u) = 3*u + 12. Let v be h(-4). Suppose -4*q = -d + 22, -5 + v = 5*d + 3*q. Solve -3 = -z - d*z for z.
1
Let m(v) be the first derivative of -2*v**2 - 4*v - 3. Let c be m(-4). Suppose -7 = 2*y + n - 31, y - c = -n. Solve l + 2*l + y = 0 for l.
-4
Suppose v - 2 = x, 32 = 4*x + 4*v - 0. Suppose -2*h + 7 = -17. Suppose y - 4*t + 4 + 10 = 0, 2*t = -2*y + h. Solve y*a + a = -x for a.
-1
Let w be (-44)/10 + (-6)/(-15). Let v(q) = q + 1. Let f be v(w). Let b(r) = 2*r**2 + 6*r + 6. Let h be b(f). Solve -h*x + 12 = -2*x for x.
3
Let c be (1 - 5)*(-45)/20. Solve d - 8 = -c for d.
-1
Suppose 0 = 25*v - 27*v + 26. Solve -v*w + 8*w = 0 for w.
0
Suppose 1 = 39*m - 116. Solve 3*c = m + 3 for c.
2
Let f = -8 - -11. Suppose 2*k - 21 = -f*i, -1 = -3*i + 14. Suppose -2*y = -y + 5, k*v - 26 = 4*y. Solve v = -0*a + 2*a for a.
1
Let y be -47 + 43 + 6*2. Solve y*d + 3 = 5*d for d.
-1
Let m(h) = -h**2 + 52*h - 432. Let n be m(11). Solve -2 = 7*l + n for l.
-3
Suppose -5*y + 223 = -82. Let j = -61 + y. Solve -3*i + 2*i - 4 = j for i.
-4
Let k(u) = u**3 + 14*u**2 - 5*u - 23. Let h be k(-14). Suppose 4*r - h + 15 = 0. Solve -2*l + r = 2*l for l.
2
Let s(y) = y**2 + 4*y - 7. Let a be s(-3). Let c be (-3)/(3/a) - 3. Suppose 0 = -2*d + c*d - 55. Solve d = 3*z - 1 for z.
4
Let i be 34/(-51)*(-3)/2. Suppose -27 = 4*s - 47. Suppose 4*t + a = 5*a + 20, 1 = 2*t + a. Solve 0 = t*g - i + s for g.
-2
Suppose 56*v = 52*v + 44. Let q(i) = -2*i + 24. Let z be q(v). Solve 3*g + z = g for g.
-1
Suppose -8*y + 11*y + 2*v = 95, -4*v + 120 = 4*y. Solve 4*q - 43 = -y for q.
2
Let c(a) be the second derivative of a**3/2 - 4*a. Let w be c(1). Let f(t) = t - 7. Let z be f(7). Solve 0 = w*i - z - 3 for i.
1
Let o be 1 - 10/12 - (-151)/(-906). Solve o = 15*t - 12*t - 15 for t.
5
Suppose -172 = -4*v + 32. Let s = v + -47. Solve -w = 1 - s for w.
3
Let j(g) = g - 3. Let f be j(8). Let p(b) = 2*b**2 + 17*b - 52. Let z be p(-11). Solve 0 = -f*l + z*l for l.
0
Let g = -326 + 339. Solve 3*f - g = -13 for f.
0
Let z(w) = -w - 5. Let m be z(-5). Let k be -8*(2 - 5/2). Let v be 2/(1 - (k - 4)). Solve m = 5*a + v - 7 for a.
1
Suppose 8*z = 3*z + 5. Let u be -3 + (11/z - 1). Suppose -12 = -h - u. Solve -3*x = -h*x for x.
0
Suppose 0 = 19*y + 496 - 515. Solve 4*s + 7 = -y for s.
-2
Let o be 1 + (-2)/6*(-186)/(-62). Solve o = -9*x + 9 for x.
1
Suppose 8*i - 588 = -84. Solve -4*m - 71 = -i for m.
-2
Let u(n) = -2*n**2 + 4*n - 6. Let a be u(-4). Let p = 54 + a. Solve -v = -p*v for v.
0
Let n(m) = 5 - 19*m + 5*m**2 + 0*m**2 + 5*m - 4*m**2. Let x be n(14). Solve -2*w - x = 1 for w.
-3
Suppose 0 = -5*p + 15 - 0. Suppose 5*s - 13 = x - 0*x, -3*x - p*s + 33 = 0. Let q = 2 + -2. Solve q = 2*y - x*y + 25 for y.
5
Let k = 1067 - 1043. Solve 2*b - 22 = -k for b.
-1
Let s(m) = 3*m**3 + m. Let u be s(1). Suppose 0*t + 5*t = n + 41, -61 = -5*t - u*n. Solve 2*v + t = -v for v.
-3
Let j(r) = r**3 + 2*r**2 + r - 6. Let h be j(4). Suppose 3*w + h = 37. Let f = w - -24. Solve -6*o + o = -f for o.
1
Let m(v) = -v + 12. Suppose -3*a + 8*a - 15 = -5*n, 3*n - 5*a - 49 = 0. Let q be m(n). Solve q*b - 9 = 3 for b.
3
Let q = -37 + 64. Let c be 156/q - 2/(-9). Let l(n) = n**3 - 6*n**2 + n - 1. Let a be l(c). Solve -20 = -a*h - 0*h for h.
4
Let r = -2 + 11. Let a(f) = 2*f - 11. Let g be a(r). Let z(c) = 2*c - 7. Let p be z(g). Solve -k - p = -3 for k.
-4
Suppose 8 = -29*s + 124. Solve 6 + s = 5*t for t.
2
Suppose -4*s - 4*d = s - 9, -3*s + 31 = -4*d. Solve 0 = -3*q + s*q - 2 for q.
1
Suppose 4*f = q - 1, 3*q - 1 = -4*f + 2*q. Suppose -6*w + 0*w + 18 = f. Solve 0 = w*b - 16 + 4 for b.
4
Let y be 2/4 + (-38)/(-4). Suppose -84 = -6*d + 68*i - 67*i, -3*i = -2*d + 12. Solve d - y = 5*r for r.
1
Suppose -2*l + 8 = -5*z + 3, 0 = -4*l + 4*z + 16. Suppose 2*t = l*b - t - 23, b + 5*t - 27 = 0. Suppose -5*o + 4*o = -b. Solve 0 = -o*v + 4*v - 3 for v.
-1
Suppose u - 15 = -2*u. Solve -u*w + 9 + 16 = 0 for w.
5
Let i = 108 - 103. Suppose 0 = -4*p - q - 2, 3*p - 2*p - q - 2 = 0. Let d(x) = -x + 18. Let l be d(p). Solve 0 = i*s + 3 - l for s.
3
Let y(q) = -q**2 + 6*q + 11. Let d be (-12)/(-30) - (-132)/20. Let h be y(d). Solve h*n + 2 + 6 = 0 for n.
-2
Suppose 0 = 2*c, c = 2*u + 14 - 24. Solve -3*j + u + 4 = 0 for j.
3
Let t = 38 - 37. Let d be ((-1)/((-6)/6))/(t/1). Solve o + 0*o - d = 0 for o.
1
Suppose -4*n = 3*t - 120, -2*n + 4*t - 2*t = -60. Let c = n + -30. Let j = -5 - -7. Solve -j*p + p = c for p.
0
Let o(f) = 4*f - 1. Let m be o(1). Let k = m + 1. Suppose -4*w - 3 = u, 2*u = -7*w + 4*w - 6. Solve k = -j - w*j for j.
-4
Let m be (-73)/(-5) + ((-24)/15 - -2). Suppose 4*h = h + m. Solve 9 = -h*g - 6 for g.
-3
Let m = 53 - 11. Suppose 39*q = m*q - 30. Solve f - q = -f for f.
5
Suppose -6 = -3*s + 2*t, -3*s + t - 2 = -4*s. Suppose h = 1 + s. Let z(m) = m**2 + 5*m + 4. Let u be z(-4). Solve u = 2*l - h*l + 1 for l.
1
Let i be 20/6*36/10. Suppose 0 = -5*x + 6 - 1. Let q be (x/4)/((-7)/(-140)). Solve -i = -q*u - 2 for u.
2
Let h be ((-66)/9 + 2)*72/3. Let x = h + 132. Solve x*f - 12 + 4 = 0 for f.
2
Let c(h) = 2*h + 2. Let j be c(4). Suppose 0 - j = -10*a. Solve 0 = z + 4 + a for z.
-5
Let t(d) = -63*d + 140. Let u be t(2). Solve -6 = 4*v - u for v.
2
Let n be ((-76)/10 - -8)*10/2. Solve -12 = a + n*a for a.
-4
Let t(q) = q**3 + 4*q**2 - 3*q + 18. Let g be t(-5). Solve 0 = -f - 3*f + g for f.
2
Let z be -5 - (-5 - (-12)/(-6)). Let u be 3/((2/(-1))/(-2)). Suppose -z = u*y - 5*y. Solve -y = s + 2 for s.
-3
Let q be 4/(-8)*14/1. Let p(g) = -3*g - 21. Let m be p(q). Solve -i = -m*i for i.
0
Suppose -284*q = -271*q - 325. Solve 4 = -q*y + 4 for y.
0
Suppose -2*c + 48 = 3*z, 2*c - 4*z + z = 60. Solve 6*v - 9 + c = 0 for v.
-3
Let c be (-7 - 1)*12/3. Let z be (c/10)/((-4)/10). Suppose 0 = -v - 1 + 5. Solve 3*k = v + z for k.
4
Suppose -4*n - n + 34 = 3*s, n = -5*s + 20. Let y(h) = h**2 - 4*h + 3. Let x be y(n). Suppose 20 = 2*w + x. Solve w*m = m - 15 for m.
-3
Let k be 3*(0 + 14/6). Let v(m) = -60*m + 301. Let b be v(5). Solve b = 2*z - k for z.
4
Let x be -4*(-14)/(14/2). Solve -11*t - x = -9*t for t.
-4
Let b be 318/30 - 3/5. Suppose -4*k = -b + 2. Solve g - k = -5 for g.
-3
Let f = 1169 - 1163. Solve 0 = 2*g + 4 + f for g.
-5
Suppose -174 = -3*s - 18. Suppose -17*d + s = -4*d. Solve -14 + 34 = d*k for k.
5
Let t = 31 + -25. Suppose -5*m + 2*h - 6 = 0, 3 = -4*m + 3*h - t. Solve m = d - 6*d for d.
0
Let r = 14 + -12. Let x be 3/1 - (-2 + r)/4. Solve -5*t = x + 2 for t.
-1
Suppose -3*s - s + 5*u - 75 = 0, -2*u - 24 = 2*s. Let g be 0 + (s/(-3) - 2). Solve 0*a = g*a for a.
0
Suppose -10*y = 8*y - 5*y. Let r be y*(14/12 + (-5)/30). Solve r = 4*b + 11 + 9 for b.
-5
Let z(p) = 9*p**2 + 2*p - 2. Let l be z(1). Suppose -2*t = 5 - l. Solve -t*y = -y for y.
0
Let y be 14*-1*(-3 + -19 + 20). Solve -y*b + 15 = -13 for b.
1
Let k(t) = -t**2 - t + 3. Let s be k(5). Let n be (-3)/(-7) + 2*s/(-21). Solve -n*b + 1 = -2*b for b.
1
Let w be -5 + -6*(-11)/6. Solve -25*t - w = 94 for t.
-4
Suppose -2*g + 2 = 0, 0 = l + 3*g - 6*g + 5. Let f = l + 8. Suppose 21 = 5*i + f. Solve -4*y + 5 = -i*y for y.
5
Let s be (-24)/108 + 214/(-9). Let k = -41 - s. Let d = k + 21. Solve -d*z + z = 0 for z.
0
Let f be (11/(-132)*0)/(-5). Solve f = 6*a - 18 for a.
3
Suppose -95 = 224*t - 243*t. Solve 0 = t*s + 18 + 2 for s.
-4
Let v = 47 - 21. Let n = -19 + v. Solve -5*u = -n - 8 for u.
3
Let q = 3 + -1. Suppose 11*v - 34 + 1 = 0. Solve -q*m + 3*m = v for m.
3
Let n(w) be the third derivative of -2*w**2 + 1/8*w**4 - 1/3*w**3 + 0 - 1/60*w**5 + 0*w. Let i be n(2). Solve 2*o = -i*o for o.
0
Let t(s) = s**2 - 12*s - 195. Let v be t(23). Solve 0 = -b + v - 62 for b.
-4
Let s be 50/(-6) - 2/(-6). Let i = s - -9. Solve -i = h - 2*h for h.
1
Suppose 0 = -5*c - 5*b + 35, -2*c - 30*b - 6 = -33*b. Solve 0 = -o - c + 2 for o.
-1
Suppose 2*t = 6*t, -3*t = -2*r. Solve 35*m - 30*m + 25 = r for m.
-5
Suppose 2*f - 4*v + 22 = 4*f, -5*v + 29 = 4*f. Let p = 9 + f. Solve -z - z = p for z.
-5
Let g be (8 + -8)*(-1 - -2). Let s = -3 + 3. Suppose 5*k - 28 + 8 = s. Solve 2*f - k*f - 6