+ 1 = 2*v - 14. Solve -l*x + 3*x = -8 for x.
2
Let y be (-48)/(-28) + 12/42. Solve -y = 4*s - 6*s for s.
1
Let p be (-7 + 4)/((-3)/4). Suppose -5*v = p*c, 0 = -2*c - 0*c - v. Solve -5*t + 11 - 1 = c for t.
2
Suppose -5*j + 3*u = -6*j + 23, 5*j - 65 = -5*u. Solve 0 = -2*m - j + 12 for m.
2
Suppose 0 = 62*v - 65*v + 9. Solve -16 = -v*b - 4 for b.
4
Suppose 91*d = 86*d + 140. Solve 7*w + 7*w = -d for w.
-2
Let j be 4/26 + 418/(-13). Let q = -21 - j. Solve 9 = -5*y - q for y.
-4
Suppose 0 = 4*j + 38 - 10. Let c = j - -17. Let b = c + -8. Solve 7*z - 20 = b*z for z.
4
Let b be (-2)/(-3) + (-62)/(-6). Suppose 2*m = 4*w - 14, 4*w - 24 - 11 = -5*m. Solve -m = -2*r - b for r.
-4
Suppose 3*u = -4*l - 20 + 8, 3*l - 3*u - 12 = 0. Solve l*m - 6*m = -24 for m.
4
Let u be ((-26)/(-8))/((-8)/(-64)). Let q = u - 23. Solve q*s = -0 - 12 for s.
-4
Let l(m) = m**3 + 8*m**2 + 9*m + 7. Suppose t + 9 = 2. Let a be l(t). Let n be (-1 - a) + 0 + -1. Solve 4*z - n = 11 for z.
4
Suppose -6 = -o - 3*a, 10*o - 2*a = 11*o - 4. Solve o = -9*k + 5*k + 4 for k.
1
Let j be 18/9 + (-3 - 2) - -5. Suppose 4*f - 11 - 13 = 0. Solve -5*o = -j*o - f for o.
2
Suppose 0 = -20*o - 1599 + 3059. Solve o*y - 36 = 64*y for y.
4
Suppose -2*p = -p - 3*g + 8, -3*g = -5*p + 8. Solve p*u + 24 = -2*u for u.
-4
Let c(o) = 20*o + 162. Let y be c(-8). Solve y*i - 6*i + 20 = 0 for i.
5
Suppose 14*d = 12*d + 6. Suppose 3*a - 17 = -v + 39, -4*v = 5*a - 105. Suppose -o = -d*g - g + a, 5*g - 18 = -2*o. Solve 20 = -g*r - 0*r for r.
-5
Let b(r) = r**2 + r + 1. Let n be b(0). Suppose -f + 7 = 2*k, f - 2*k + 3*k - 3 = 0. Let u = n - f. Solve -u*a - 8 + 0 = 0 for a.
-4
Suppose 5*u - 9 - 8 = -4*p, -2*u + 26 = 4*p. Let g be 3 + (2 - 1 - 0). Let y be 6/24 + 7/g. Solve 0*d = y*d - p for d.
4
Let v be (4/14)/((-2)/(-14)). Suppose -3*f - 24 + 39 = 0. Suppose 3*i + v*c - 19 = 0, 28 = 3*i - 2*i + f*c. Solve 7*x - i = 4*x for x.
1
Let q(d) = 0*d + 6 - 3*d + 0*d. Let u(m) = 3*m - 5. Let p(x) = -5*q(x) - 6*u(x). Let g be p(-1). Solve 0 = -g*b + 7*b for b.
0
Let y(w) be the second derivative of 1/6*w**3 + 0 + 5*w**2 - 7*w. Let n be y(-6). Solve 4*f = 4 + n for f.
2
Suppose -2*d = -3*d + 5. Suppose d*u = 20, 0 = -0*l + 4*l + 3*u - 12. Let x = 10 + -7. Solve x*a + 3 = -l for a.
-1
Let a be 0 + -4 + (-18 - -3). Let n = 32 + a. Solve 2*b = n - 5 for b.
4
Let j be (-760)/8 + (-2)/(-1). Let h = 97 + j. Solve 2*z = -h - 2 for z.
-3
Let i = -5 + 21. Let b(d) = d**3 - 6*d**2 + 5*d + 5. Let z be b(5). Solve w = z*w + i for w.
-4
Suppose 0 = -5*x - 15, i = 2*i + x - 2. Let y(z) be the second derivative of z**4/12 + 3*z**3 + 21*z**2/2 - 7*z. Let w be y(-17). Solve s - i = -w*s for s.
1
Suppose 3*p - 90 = -3*p. Suppose -5*o = 2*u - p, o - 5 = -u - 2. Solve 3*l + 4 - 13 = u for l.
3
Suppose 4*q = 442 + 150. Let d = q - 141. Solve d*s = 8*s for s.
0
Let a = -1 - -1. Let j(f) = -16*f**2 + 383*f + 28. Let b be j(24). Let l(v) = v - 2. Let u be l(6). Solve u = -b*s - a for s.
-1
Suppose 0 = -214*c + 230*c - 224. Solve -24 = -5*j - c for j.
2
Suppose 61*u = 65*u - 20. Solve u*m - 17 = -42 for m.
-5
Let m = -133 - -155. Let g = 22 - 15. Let l = m - g. Solve -3*b = -0*b - l for b.
5
Let w(j) = 2*j - 7. Suppose 2*l + 50 = -m - 2*m, 0 = 5*m - l + 105. Let z be -1*m/12*3. Let y be w(z). Solve -y*u = -0*u for u.
0
Let a = -21 + 6. Let m = a + 22. Suppose -m*j = -3*j - 40. Solve j = b + 4*b for b.
2
Let w be (-3 - -2)/(8/(-24)) + -3. Solve w = -l - 4 + 2 for l.
-2
Let p = -73 - -55. Let w be (5/(-5)*p)/2. Solve w*q = 5*q + 8 for q.
2
Let o(l) = -3*l - 14. Let t be o(-10). Suppose -3*q = 5*c - t, -8*q + 3*c + 4 = -3*q. Solve -h = 1 - q for h.
1
Let z be (69/(-207))/(1/(-3) + 0). Solve -z = 3*v + 5 for v.
-2
Suppose 6*o - 1 = 23. Suppose 4*j + 0*j - o = 0. Solve -q = -2 - j for q.
3
Suppose -9*n + 22*n - 169 = 0. Solve n*q - 4*q = q for q.
0
Suppose -6*r + 2 = -40. Let y be (-2)/(-3)*(r + -4). Solve -y*q = 2*q - 12 for q.
3
Let p(s) = -s**3 - 10*s**2 - 19*s - 20. Let y be p(-8). Suppose b + 16 = 5*b + y*u, u = -5*b + 4. Solve -f - 2*f = b for f.
0
Let c = 89 + -69. Solve 10*u + c = 15*u for u.
4
Let h = 1223 + -1219. Solve -18*q - h*q - 110 = 0 for q.
-5
Let r(y) = -y**3 - 3*y**2 + 1. Let s be r(-3). Let b be (-13)/(-52)*s*4. Let u = 7 - 5. Solve -b = z - u for z.
1
Suppose -2 = h - 2*b - 0, 4*h + b - 10 = 0. Suppose -3*m + 180 = 156. Solve 0 = h*v - m - 0 for v.
4
Let i be (-15)/(-5) + ((-1)/1 - -3). Let y = 10 - i. Solve -2*d + 1 = y for d.
-2
Let q(z) = -z**2 + 9*z - 1. Let r be q(8). Let c(a) = 4*a**2 + 1. Let l be c(1). Solve l*b = -r - 13 for b.
-4
Let v(p) be the third derivative of -p**5/60 - p**4/6 - p**2. Let z be v(-4). Let l be (4/(-6))/(4/(-30)). Solve 0 = k - z*k - l for k.
5
Suppose -20 + 4 = 8*g. Let c(y) = -2*y - 1. Let a be c(g). Solve -a*u + 4*u = 4 for u.
4
Let m = -267 - -269. Solve 0 = 7*j - m*j + 5 for j.
-1
Let h(w) = -5*w - 1. Suppose -2 = -d - 3*k - 21, -3*d - 35 = -2*k. Let b = -14 - d. Let f be h(b). Solve f*i = i for i.
0
Let f = 12 + -11. Let w be 0 + ((-7)/f - -1). Let q be 1 - (w + 4 + -1). Solve -2 = q*v - 2*v for v.
-1
Let g(d) = -4*d**2 + 20*d + 3*d**2 + 29*d - 45*d. Let s be g(3). Solve 8 = -h + s*h for h.
4
Let j(x) = -x**2 - 6*x - 3. Let u be j(-4). Let k be (-15)/6*(-16)/u. Let t = k - 6. Solve -5*b - t + 12 = 0 for b.
2
Let l(u) = u**2 - 6*u + 10. Let z be l(4). Let w be 4*1/z*(-10)/(-10). Solve -w*i - 1 = -5 for i.
2
Suppose 22 + 48 = -5*r. Let c be 4/r + 4/14. Suppose -3*d = 4*n - n - 21, 0 = 4*d + 2*n - 18. Solve -6 = -d*m - c*m for m.
3
Suppose -d + 5 - 3 = 0. Suppose 2072*w - 13 = y + 2069*w, -4*y - 2*w + 18 = 0. Solve -2*s + d = -y for s.
2
Suppose -27*o - 14 = -28*o. Solve -o*f = -11*f for f.
0
Let b be (3 + -6)*96/(-18). Solve -24*p = -28*p + b for p.
4
Let v = -1487 - -1503. Solve 6*a - v = -4 for a.
2
Suppose g = -4*k - 9, 0*g + g + 3*k + 5 = 0. Solve 4*m - g*m = -15 for m.
5
Let s(c) = -c**2 - 9*c - 10. Suppose 0 = b - 2*l + 9, 2*l = -b - 0*l - 5. Let f be s(b). Suppose 2*k - 4*j = 54, -2*k + 73 = k - f*j. Solve -5*w + k = 44 for w.
-5
Let n(z) = -4*z**2 + 6*z - 7. Let i be n(5). Let x = -74 - i. Solve 4*h = x*h + 1 for h.
1
Let x = -87 - -88. Suppose -y + 2*y = x. Solve m = -4 + y for m.
-3
Let k be (-4)/5*50/4. Let x(a) = -3*a - 15. Let b(m) = 13*m + 60. Let s(j) = -2*b(j) - 9*x(j). Let n be s(k). Solve -n*t + 2 = -8 for t.
2
Let n(u) = u**3 - 16*u**2 - 16*u - 13. Let r = -6 - -23. Let c be n(r). Solve -c*s - 20 = s for s.
-4
Let d = -238 - -240. Solve 0 = -u - 2 - d for u.
-4
Let o(t) = t**3 + 12*t**2 + 49*t + 293. Let r be o(-10). Solve -r*v + 4*v = -9*v for v.
0
Let a be (-15)/(-25)*(-100)/(-15). Solve 0 = -a*o - 23 + 15 for o.
-2
Let x(k) = -k**2 + 10*k - 4. Let t be x(8). Let n be ((-18)/t)/((-3)/4). Let o be ((25 + 1)/n)/1. Solve 1 = 4*m + o for m.
-3
Let f = -34 + 41. Solve 10*w = f*w + 3 for w.
1
Suppose -6*v - 7 = -7*v. Suppose 0 = -4*n - v*q + 3*q + 12, 0 = 3*n + 5*q - 7. Solve -n*x = -9*x for x.
0
Let o = 89 - 85. Suppose o*r + 3*i = 61, 3*r + 2*r - 68 = -i. Solve -8 = -5*p - r for p.
-1
Let c be 7/(-28)*(2 + 4)*-18. Solve -6*f = -c + 9 for f.
3
Suppose 0 = -2*z + 13 - 7. Solve f + 0 = z for f.
3
Suppose -7*y - 3*y + 7*y = 0. Solve y = 6*o - 5*o - 5 for o.
5
Let q be ((-6)/(-4))/((-1)/2) - -5. Suppose -q = -5*s - 12, 24 = z - 3*s. Solve 5*g + 7 = -z for g.
-5
Let w(g) = g**3 + 20*g**2 - 22*g - 11. Let c be w(-21). Solve -3*b - c = -b for b.
-5
Suppose -17*n + 22 = -6*n. Let p = 33 + -48. Let h = p - -22. Solve -h*j = -n*j - 5 for j.
1
Let h be (-2)/(-11) + 3*70/55. Let a(k) = -k**3 + 10*k**2 + 2*k. Let v be a(10). Solve -h*m + v = -0*m for m.
5
Suppose -4*z + 5*z = 13. Suppose -2*x = -4*n - 16, -12 - z = -5*x + 5*n. Solve -x*k - 2 = -4 for k.
1
Suppose -74 - 67 = -3*g. Let v = g - 39. Suppose -2*u - 2 = j, u - v = 2*j - 4. Solve 2*f = -u*f for f.
0
Let b(n) = n**3 - 21*n**2 - 23*n + 37. Let h be b(22). Solve 3*m - 48 = h*m for m.
-4
Let b(r) = -9*r - 78. Let l be b(-9). Solve -l*y + 12 = -3 for y.
5
Let y = -64 + 68. Suppose -n + 23 = 2*i, -i - y = 2*n - 38. Solve -4*g - g = n for g.
-3
Let m = 12 - 11. Let r(z) = -z**3 + 6*z**3 + 2*z - 2*z**3 - 1. Let w be r(m). Solve 0 = w*i - 0*i + 12 for i.
-3
Let d(m) = -m**2 - 3*m + 1. Let o be d(-2). Suppose j + 0 = o. Solve s + 2 = -j for 