lve -z*u + 7 = u for u.
1
Let b(p) = -p + 16. Let d be b(12). Let y be 2/d + (23/2)/1. Solve 0 = -o - 2*o - y for o.
-4
Let j(n) = 2*n**2 + 8*n + 6. Let k be j(-5). Solve 21*w = k*w for w.
0
Let j be (-30)/(-36)*-3*-4. Solve -j = -3*w - 19 for w.
-3
Let s be (-30)/8 + 7/(-28)*-3. Let a = s - -12. Solve -a = -5*f + 2*f for f.
3
Let m(r) = -8*r - 64. Let j be m(-9). Suppose 4 = -2*v - 4, -3*v = 2*t + j. Suppose 0 = -4*f + 2*o + 4, -3*f + 3*o = f. Solve 5 = -t*p + f for p.
-1
Let w = 1406 + -1404. Solve 12*d = -w + 14 for d.
1
Suppose 0 = 17*p - 12 - 90. Solve -2 - 4 = -p*l for l.
1
Suppose -1 - 7 = 4*c - 4*g, 0 = 4*c - g + 2. Suppose 0 = 18*q + 12*q + 7*q. Solve c*p + 3*p = q for p.
0
Let v(q) = -q**2 + 4*q - 5. Let h(d) = -d**2 + 4*d - 5. Let y(c) = -5*h(c) + 6*v(c). Let p be y(3). Let b be 0/p*(-3)/(-3). Solve b = -z - 2*z - 15 for z.
-5
Suppose 0 = 3*p + 5 - 2. Let y be -1 - 2 - (-4 + p). Solve 2 = 4*v - y*v for v.
1
Let x be (-2 - 1)*(-20)/(-3). Let q = x + 22. Solve 1 = -3*k - q for k.
-1
Let a(l) = 16*l + 112. Let q be a(-6). Solve -u - q + 15 = 0 for u.
-1
Let p(v) be the first derivative of -v**2/2 + 19*v + 9. Let a be p(15). Solve r - 3*r + a = 0 for r.
2
Suppose l - 51 = -2*b, -6*l - 4*b - 85 = -367. Solve -l = -13*o - 2*o for o.
3
Suppose 0 = -a + 4*t - 9, -t + 2 - 11 = -4*a. Suppose -3*c = -3 - a, 2*q - 2*c + 4 = 0. Let p(o) = o + 10. Let s be p(-6). Solve q = s*u - 9*u - 20 for u.
-4
Suppose -5*i = 2*f - 31, -5*i + 0*f + 45 = -5*f. Suppose -u - i + 9 = 0. Suppose u*n - 13 = -4*g + 21, n + 13 = g. Solve -j - g = j for j.
-5
Let w(x) = 6*x**3 - 2*x**2 + 1. Let s be w(1). Suppose 0*q + 80 = -s*q. Let b = q - -32. Solve -3*a + 1 - b = 0 for a.
-5
Let q(h) = 6*h**2 - 5*h + 9. Let n be q(4). Suppose 4*m = 3*c + 185, 2*c - 6*m = -m - 135. Let y = c + n. Solve -y = 5*k - 5 for k.
-5
Let m = 434 - 429. Solve 6*x - m = 5*x for x.
5
Suppose 0 = 5*j + 11 - 36. Suppose -j = -5*n - 0. Suppose 2*p - y - n = 0, -p - 4*y = -6 - 17. Solve 0 = p*u - 0 + 6 for u.
-2
Suppose 2*i + 5*q = -27 - 101, -2*q = 4*i + 240. Let a = -57 - i. Solve -2*x - 12 = a*x for x.
-3
Suppose 12 + 2 = n. Suppose n = 12*w - 5*w. Solve -w*h - h = 0 for h.
0
Let z = 118 - 113. Solve 69 = -z*k + 44 for k.
-5
Suppose -30 = -3*i - 18. Suppose -3*m = -i*t - 25, 9*m - 1 = 6*m - 2*t. Let z be (-4)/14 + (-6)/(-21). Solve z = 2*g - m*g for g.
0
Let q = 103 + -100. Solve -q*v + 2*v = -3 for v.
3
Suppose 0 = -5*p + 25 + 55. Solve 2*s - 10 = -p for s.
-3
Let u = -168 - -172. Solve -3*f + u = -5*f for f.
-2
Suppose 5*a - 205 = 5*o, 37 = a - 0*a - 2*o. Suppose -4*l + a = 2*q + 3*q, l - 15 = -2*q. Solve l*f + 4 = -16 for f.
-4
Suppose 39*g - 296 - 367 = 0. Solve -12*b + g*b = -10 for b.
-2
Suppose 55 = 2*f + 3*f + 5*i, 5*f - 67 = -i. Let n be ((-32)/10)/(f/(-35)). Suppose 2*o + 0*o - 8 = 0. Solve j + o = n for j.
4
Suppose -8*g = -7*g - 8. Let b = 10 - g. Let u be 15*-1*b/(-5). Solve -u*d + 2*d + 12 = 0 for d.
3
Suppose -3*z - 3*k = -42, 3*k - 2 + 0 = z. Let b be -1 - ((-2)/6)/((-27)/(-243)). Solve 0*n = -b*n + z for n.
5
Let r be (7 + -9)*(-5 + 1). Let m = r + 2. Solve m*d = 8*d for d.
0
Let p = -275 + 275. Solve 6*d - 7*d - 5 = p for d.
-5
Let j(d) = d**3 + d + 2. Let b be j(0). Suppose 11 = 3*y + b*s, y + 5*s = 5*y + 16. Solve -5*p + 24 + y = 0 for p.
5
Let z = 21 + -18. Suppose 8 = -z*p + 5*p. Suppose -5*w = -3*w - p. Solve -2*l - w*l = 0 for l.
0
Let o = -1085 + 1091. Suppose 0 = 3*r - 0*r - 4*g - 29, 2*r + 4*g + 14 = 0. Solve -r*s = -0 + o for s.
-2
Let w(r) be the third derivative of 3/20*r**5 + 1/120*r**6 - 1/12*r**4 + 0 + 5*r**2 + 0*r - 7/3*r**3. Let x be w(-9). Solve s - 15 = x*s for s.
-5
Suppose 0 = -3*n + 30 + 18. Suppose 0 = 3*d + l + 14 + 19, -4*d + l - 44 = 0. Let y = n + d. Solve -8 - 12 = -y*z for z.
4
Let n be 0/2 - (8 + -4 + -2). Let f be (n*1)/((-4)/(-30)*-3). Solve y = f*y for y.
0
Let k = 23 + -20. Suppose -3*y = -4*f - 1, -3 = -k*y - 0*f + 3*f. Solve y = -4*i - 1 for i.
-1
Let v(u) = -u**2 - 10*u + 2. Let b be v(-10). Let x be (3/(-2))/(b/8). Let i be x/(3/12*-2). Solve -2*y - 2*y = i for y.
-3
Let j(c) = c + 2. Let p be j(1). Suppose -r - 5*t + 0*t = 10, 4*t - 3 = -p*r. Suppose r*k = -8 + 23. Solve 0 = k*x + 4 + 2 for x.
-2
Let f = -14 + 17. Suppose u + 3*s = 27, 5*u - 4*s - 33 = 26. Let r = u - 11. Solve -f*k - r = -2*k for k.
-4
Let o(z) = 2*z - 8. Let s(w) = w + 9. Suppose -23 + 20 = t. Let p be s(t). Let k be o(p). Solve k = -b - 0 for b.
-4
Let n be -4*-2*5/(-8). Let t = 1 - n. Solve -t*u = -3*u - 9 for u.
3
Let s be -6*(2/(-4) + 0). Let k(i) = -13*i + 106. Let b be k(8). Let w be 0 + -2 - (-3 - 0). Solve s*f = -w - b for f.
-1
Let j be (-4 + 1 + 66)/(0 + -1). Let q = 66 + j. Solve 0*s - q = s for s.
-3
Suppose -v = 4*v - 10. Let s = 169 + -243. Let k = -71 - s. Solve -v*b + 3 + k = 0 for b.
3
Let l = -337 + 518. Suppose 38 = -13*x + l. Solve 9*t + 2 = x*t for t.
1
Let a(v) = 38*v + 274. Let j be a(-7). Solve x + j*x = 5*x for x.
0
Suppose 0*q = 4*y - 2*q, -2*y = -4*q. Suppose 14*h - 120 + 8 = y. Solve 3*v = h*v for v.
0
Suppose 28*x + 16 = 32*x. Suppose -33 - 39 = -2*j. Suppose -v + 5*v - j = 0. Solve -x*b + v = -11 for b.
5
Let d = 56 - 187. Let u = d - -132. Solve 2*i = i + u for i.
1
Let d = 27 + -12. Suppose -d*v = -18*v. Solve -7*w + 4*w + 15 = v for w.
5
Let t(h) = -h**2 - h + 5. Let r be t(-5). Let j(d) = -2*d + 18. Let u(s) = 3*s - 19. Let x(q) = -4*j(q) - 3*u(q). Let y be x(r). Solve y = 5*w - 5 - 20 for w.
5
Suppose 0 = 2*l - 4*l. Let f be 18/6 + (l - -1). Solve h - f*h + 6 = 0 for h.
2
Let p be (-1)/((-39)/36 + 1). Suppose d + 2*d - p = 0. Suppose k - 2*j + d = 0, 0 = 4*k - 4*j + 4 - 0. Solve l + 3 = k for l.
-1
Let a = -17 + 27. Suppose 0 = -j - w + 6, 3*j + 0*j - w - a = 0. Suppose -2*h - j = -4*h. Solve -2*m + 12 = h*m for m.
3
Let t(q) = q**3 - 7*q**2 + q + 33. Let m be t(6). Solve 1 = m*r + 16 for r.
-5
Let t(k) = -k**3 - 6*k**2 + 2*k + 7. Let w be t(-5). Let c = w - -91. Let i be 175/c - (-4)/18. Solve -8 = i*g - 5*g for g.
4
Suppose 36 = 7*z - 55. Solve -11*u + z*u - 8 = 0 for u.
4
Suppose -5*v = 97 - 187. Solve 4*x = -2*x + v for x.
3
Suppose 9 = -3*y - 9. Let b = 8 + y. Solve 4*f + b = 2*f for f.
-1
Suppose r + 16 = h, 14*r - 99 = -4*h + 11*r. Solve -h*x = -17*x + 8 for x.
-2
Let k = 15 + -11. Let b = -1423 + 1426. Solve r + b*r - k = 0 for r.
1
Let t = -914 + 935. Solve 13*n + 44 = -t for n.
-5
Suppose -4*w + 51 = -1. Solve -4*a = -w + 17 for a.
-1
Suppose -5*p = -412 - 68. Let h be p/(-28)*(1 + 27/(-6)). Solve -v = 3*v - h for v.
3
Let h = 600 - 598. Suppose 2 = f + 2*j, 3*f - 12 = -3*j + 3. Solve -3*m - h = -f for m.
2
Let c be (-25)/(-15)*(-12)/(-10). Suppose i = -3*i - 2*x - 2, -x = -c*i + 1. Solve -7*d + 3*d = i for d.
0
Let h = -1 + 5. Suppose 5*i - 28 = -0*i + h*x, -2*x = i. Suppose -49*u = -15*u - 87*u. Solve 4*o - i = -u*o for o.
1
Let w(q) = q**3 + 4*q**2 + 3*q + 3. Let o be w(-3). Solve -11 = 8*y - o for y.
-1
Suppose -3*v + v - 41 = -5*d, 3*d + 3*v = 33. Let s = d + 3. Let o(l) = l**3 - 5*l**2 - 5*l - 3. Let h be o(6). Solve 5*g - s = h for g.
3
Suppose -5*y + 3 = -3*g + 7*g, -3*g - 7*y - 1 = 0. Solve 2*c = -g*c + c for c.
0
Let x(v) = -6*v**3 + 3*v**3 + 9*v + 2*v**3 + 16 + 5*v**2 - 29. Let o be x(6). Solve o*c + 17 = -3 for c.
-4
Let n(m) = -34*m + 32. Let u be n(4). Let d = -103 - u. Solve -2*j + 5 + d = 0 for j.
3
Suppose 19*o = 22*o. Solve -2*t + t + 5 = o for t.
5
Let w = -7 + -13. Let y be ((15/(-6))/(-1))/((-10)/w). Solve -2*n - y = 3*n for n.
-1
Suppose -3*z - y + 2*y + 21 = 0, y - 3 = 0. Suppose 5 = r + g + 3, 3*r = -g + 2. Suppose r = 3*b - z - 10. Solve b*q + 12 = 2*q for q.
-3
Let a(v) = v**3 + 4*v**2 + 3. Let s be a(-4). Suppose -7*w - 27 + 55 = 0. Solve -s*z = 11 + w for z.
-5
Let d(s) = -108*s - 537. Let b be d(-5). Solve -b*w + 15 = 15 for w.
0
Suppose -12*t + 10*t - 12 = 0. Let p = 2 + t. Let c be -1*(-3 - -4)*p. Solve 1 + c = -b for b.
-5
Let q(v) be the second derivative of -v**4/12 - v**3 - v**2 - v. Let o be (5/1)/(6 - 9 - -2). Let g be q(o). Solve -g*r = 2*r - 15 for r.
3
Let t be ((-210)/40)/(4/32*-6). Solve 3*j - t = 10*j for j.
-1
Let p be (-42)/30*-5 + -5. Solve 3*f + p = 5 for f.
1
Suppose 2*p = 4*v - 34, 28*v - 23 = 25*v - p. Solve -c - v = c for c.
-4
Let q(g) = -g**2 - 27*g - 65. Let u be q(-24