27 + p for v.
-5
Let f = 3 - -1. Suppose 20 = -5*z, -2*u + f = 2*z - 8. Solve 2*p = 7*p - u for p.
2
Let q(z) = -4*z**2 - 5*z + 1. Let y be q(4). Let c = y + 87. Solve -c*r + 5*r - 1 = 0 for r.
1
Let l(r) = 3*r. Suppose -3*z + z = 0. Let p be l(z). Solve -5*m = -p*m - 25 for m.
5
Let p be ((-12)/(-8))/(3/10). Let b = -2 + p. Suppose -b*i - 3 = 3*h, -4*i + h = -8 - 13. Solve v + i*v = -10 for v.
-2
Let d(p) = 6*p + 30. Let f be d(-10). Let w be (-171)/(-12) - f/40. Solve -w = 2*t + t for t.
-5
Let b be 286/(-6) - 10/30. Let g = b - -51. Solve g*s = -2*s for s.
0
Let u(h) = h**2 + 3*h + 2. Let p be 30/(-7) - (-18)/63. Let z be u(p). Solve 5*r - 1 = -z for r.
-1
Let z(s) = -s**2 - 8*s - 13. Let x be (-9)/6 + 3/(-2). Let n be z(x). Solve n*h - 5 = 5 for h.
5
Let u be 1/(-3 + 4)*3. Let i be u/(3/(-3))*-2. Solve 2*k + i = -2 for k.
-4
Let z(n) = 2*n**2 - 92*n + 96. Let d be z(45). Solve d*s = s for s.
0
Let d = 4 - 0. Suppose -10*i + 5*i = -10. Suppose 0 = 4*z - i - 14. Solve -3*t + z = -d*t for t.
-4
Suppose 0*i + 9 = 3*i. Suppose -i*f = f. Let v be -3 - f - -4 - 1. Solve 2 = w - v for w.
2
Suppose -7 = -z - 0*z. Suppose -y = 5*y - 12. Suppose -y*t + z*t - 5 = 0. Solve 0 = -3*h - 13 + t for h.
-4
Suppose 184*i - 185*i = -113. Solve -i*o = -112*o + 3 for o.
-3
Let u = 88 + -52. Let z be (1/(-2))/(63/u + -2). Solve -o = -z*o + 3 for o.
3
Let i = 16 - -8. Suppose 4*t + i = 2*p, -2*t = -p + t + 17. Solve 4 + 4 = p*j for j.
4
Let a be (1 - 316/(-4))*3/(-6). Let m be 10/a - (-17)/4. Solve m*k = -k for k.
0
Suppose 7*d = 5*d. Suppose d = -2*c - 3 + 15. Solve c*l = l for l.
0
Suppose -m + 7 - 22 = -3*o, 3*o = -3*m + 3. Solve -6 + 2 = -o*c for c.
1
Let d(z) = z**2 - z - 6. Let p be d(3). Let h = p + 8. Solve -o - o + h = 0 for o.
4
Let c(u) = u**2 - 75*u + 1339. Let d be c(46). Let l = -8 + 6. Let x = 19 + l. Solve -d*s = x - 2 for s.
-3
Suppose j = 5*j - 48. Suppose 2*y - 3*c = c + j, -y - 5*c = 15. Let p = y - 0. Solve p = 2*u - 5*u + 15 for u.
5
Let q = 3 + 3. Let m(h) = -h**3 + 10*h**2 - 8*h - 3. Let b = -3 - -12. Let x be m(b). Solve -3*t = -x*t - q for t.
-2
Let j(m) = m - 1. Let x(y) = -y**3 - 2*y**2 - 2*y + 1. Let s be (-10)/(-15) - (-24)/(-9). Let c be x(s). Let t be j(c). Solve -p = -t*p - 3 for p.
-1
Let w(r) = 30*r + 4. Let a be w(-2). Let h = a - -59. Solve 0 = h*v - 17 + 2 for v.
5
Suppose -2*v - 5*k + 106 = -0*v, -k - 82 = -2*v. Let s = 47 - v. Solve -s = -3*f + 2 for f.
2
Let s = -86 - -88. Solve -w - s = -3 for w.
1
Let j = 965 - 958. Solve -j*m = -9*m for m.
0
Let a(o) = 4*o + 10. Let h be a(-21). Let f = h + 83. Solve 3*v - f = -0*v for v.
3
Let q = -3 - -7. Let x be 955/382*(3 - 1). Solve -q + x = u for u.
1
Suppose -3*t = t - 24. Let x = t + -2. Suppose 10*l - 12*l + x = 0. Solve p = l*p + 2 for p.
-2
Let t = 13 + -12. Solve -4 = -c - t for c.
3
Let d(p) = -11 + p**2 - 14*p + 9*p - 18 + 10. Let l(t) = t**2 - 3*t - 2. Let v be l(5). Let i be d(v). Solve -13 + 3 = -i*s for s.
2
Let o be (-1)/(-1)*(8 + 1). Let k = 12 - o. Solve k*w = -0*w for w.
0
Let t(n) = 2*n - 14. Let i be t(9). Let o(s) = s - 8*s + s**2 + i*s. Let r be o(5). Solve 4*z - 2 = r for z.
3
Let r(w) = -8*w + 4. Let q be r(0). Let j(i) = -8*i**3 - 1. Let y be j(-1). Suppose -q*f = -y*f + 15. Solve 7*c + f = 2*c for c.
-1
Let s be ((-32)/(-64))/(2/12). Solve -3 = s*w + 3 for w.
-2
Let c = 40 + -48. Let s = c - -9. Solve 4*d - 5*d = -s for d.
1
Suppose -118 = -18*c + 386. Solve -w - c = -8*w for w.
4
Suppose 9*o = -5230 + 5284. Solve 12*p = 10*p + o for p.
3
Suppose -l - 30 = -16*l. Suppose 2*q - 6 = 0, 0 = i - 0*q - l*q + 2. Solve 0 = 3*p - 2*p - i for p.
4
Let j(v) = -v**3 + 7*v**2 - 7*v + 9. Let f be j(6). Suppose -c + f = 3*x, -2*x - 4*c + 2 + 0 = 0. Solve r + 2 = -x for r.
-3
Suppose -50*z = -52*z. Let q(m) = -m**3 - m**2 + m + 12. Let a be q(z). Solve -r - 2*r = -a for r.
4
Let a be 4/10*(-1 + -4). Let m(k) = 2*k**2 + 4*k. Let r be m(a). Solve -5*x + x - 12 = r for x.
-3
Suppose c = 9*c + 72. Let u be ((-4)/(-6))/(2/9) - c. Solve 5*o = 3 + u for o.
3
Suppose -3*c - 16 + 64 = 0. Suppose 13*o - c*o = 0. Solve o = 3*k - 1 - 8 for k.
3
Suppose -5*k = k - 18. Solve 9 = -3*d - k for d.
-4
Suppose -7*g = -8*g - 85. Let a = -74 - g. Solve 5*u - a = 9 for u.
4
Let m = 1824 + -1815. Solve 0*x = -m*x - 27 for x.
-3
Suppose i + 4 = -2*i - 2*v, -20 = 4*v. Solve i*u + 2 = -8 for u.
-5
Let h(c) = 2*c**2 - c + 2. Let t be h(-2). Let v be t/20 + 42/5. Let u(w) = -w**3 + 9*w**2 + w - 5. Let y be u(v). Solve k = -8 + y for k.
-4
Suppose -7*n + 15*n = 0. Suppose -u + 13 = -2*w, n*u + 4*w = -5*u - 5. Solve 2*c = u*c + 2 for c.
-2
Let c = 17 - 10. Let y = 711 - 707. Solve -c = -y*n + 9 for n.
4
Suppose -3 = 5*y + 3*a, -17*y - 2*a = -14*y + 2. Solve 2*v - 17 + 21 = y for v.
-2
Let c(d) = -2*d**2 + 5*d - 6. Let y be c(4). Let a = y + 25. Suppose -g + 8 = -0*g. Solve 3*s = a*s + g for s.
-2
Suppose 0 = 2*s - 59 + 9. Solve s = 3*y + 16 for y.
3
Suppose 4*c = -0*c + 36. Let l be 3/c - (-40)/6. Let g = 7 - l. Solve -w - 3 = -g*w for w.
-3
Let y be 0*1/(2 - 3). Let r = -6 + 8. Let x(m) = m**3 + 5*m**2 - 7*m + 6. Let u be x(-6). Solve y = -r*b + 6*b - u for b.
3
Let t(n) = -n**3 + 7*n**2 - 5*n - 7. Let a(s) = s - 1. Let j(r) = -a(r) + t(r). Let k be j(5). Solve -5*d = -k - 1 for d.
3
Let f(u) = -u**3 + 5*u**2 + 2*u - 10. Let v be f(5). Let a(r) = -r**3 + r + 8. Let j be a(v). Solve 0*t + j = -4*t for t.
-2
Let a be (5 - 2)/(3 + -4). Let m be 20/(-6)*(12/8 + a). Solve 5 + m = 2*y for y.
5
Let f(s) = s**2 - 7*s - 15. Let p be f(9). Suppose 12 = 3*k + 2*k + p*t, k - t + 4 = 0. Solve -4*z = -k*z - 8 for z.
2
Let g = 26 + -14. Suppose 0*d = 7*d - 112. Let n = d - g. Solve 0 = -p - 1 - n for p.
-5
Suppose -5*x + 0*x + 15 = 0. Suppose -x = -q + 6. Suppose 9 = 12*t - q*t. Solve -t*u - 7 = 8 for u.
-5
Suppose -2*z + 14 = -2. Let v = 17 + -15. Suppose v*k + 32 = 6*k. Solve -4*y + z + k = 0 for y.
4
Let p be 13/26 - ((-18)/(-4))/(-3). Solve -9 + 3 = p*h for h.
-3
Suppose 6*y + 3780 - 3948 = 0. Solve -y*p - 12 = -32*p for p.
3
Let f(m) = 3*m**2 + m + 2*m - 10 + 12 - m. Let o(n) = 2*n + 31. Let h be o(-16). Let u be f(h). Solve 5*b = u*b for b.
0
Let j = -35 - -44. Solve 17*l - j*l = -24 for l.
-3
Suppose -j - 2*r = 0, 8*j - 2*r = 3*j + 48. Solve 0 = -4*v - 8 - j for v.
-4
Let z be 5/(4*10/8). Solve 4*t = -13 + z for t.
-3
Suppose -24*g + 29 = 5*g. Solve i - g = 1 for i.
2
Let v be (3/(-5) - 1)/((-6)/15). Solve v*d + 12 = 4 for d.
-2
Let b be (-35)/(-15)*3*9. Let f be (-220)/(-18) - 14/b. Solve -i - 2*i = f for i.
-4
Let k be (-3)/((-3 + 4)*-1). Suppose -2*h + 5*q + 16 = 0, -q + k = 4*h - 7. Suppose 0 = -3*f - 3*p + 27, -3*f = -h*p - 1 + 4. Solve -r - f = -3*r for r.
2
Suppose 0*r + 2*r - 8 = 0. Let c(f) = 6*f**2 - 6*f**2 - 2 + 18 + f**2 + 8*f. Let g be c(-5). Solve -5 = r*y - g for y.
-1
Suppose h + 5 = 5*m + 2, 4*h - 8 = 0. Let y = 1 + m. Let r be (-2*y/4)/(-1). Solve -r = o + 2 for o.
-3
Let d = -62 + 44. Let x be (8/5)/(4/(-80)). Let g = d - x. Solve 3*y - 5 = -g for y.
-3
Let j = -277 + 277. Solve j + 2 = -q for q.
-2
Let u(y) be the third derivative of y**6/120 + y**5/20 - y**4/24 - y**3/3 + 29*y**2. Let v be u(-2). Solve -v*p - 5 = -3*p for p.
-5
Suppose 0 = -2*p - 3*p + 50. Suppose 5*j = -0*w - 2*w + 35, 3*w = 5*j - p. Solve 3*h = -2*h - j for h.
-1
Suppose 2*b - 31 = 33. Let m be (b + -4)*(-2)/(-8). Solve m + 8 = 3*s for s.
5
Suppose -5*r + 2*r = i - 18, 5*r - 25 = 0. Suppose n = 3*s + s + 3, 4*n - 12 = -i*s. Solve s*v = 3*v for v.
0
Let j be 7 + (-1 + -7)*(-1)/(-2). Let d be (18/4)/((-69)/(-92)) - j. Solve 25 = 8*r - d*r for r.
5
Let y be ((-24)/(-15))/(2/5). Let d(j) be the first derivative of j**4/4 - 4*j**3/3 + j**2/2 - j - 23. Let g be d(y). Solve -5*s = -2*s - g for s.
1
Suppose t - 4*l = 7, -4*l + 5 = 33*t - 30*t. Solve t = -31*o + 30*o for o.
-3
Let x(m) = -m**3 + 4*m**2 + 7*m + 6. Let g be x(6). Let c = 39 + g. Solve -3*t = -0*t + c for t.
-5
Suppose 3 + 1 = 4*g - 4*i, 9 = 5*g - 4*i. Solve 5*b - g*b = 2*b for b.
0
Let c = -1726 - -1745. Solve 1 = -c*y - 18 for y.
-1
Suppose -30 = 453*a - 458*a. Solve 5*b = a*b for b.
0
Suppose 0 = 11*v - 4*v - 140. Solve -3*i = i - v for i.
5
Let j be 2/(-13) + 1440/234. Solve j*n = n - 5 for n.
-1
Let u = -9 - -9. Solve u = w + 2*w - 3 for w.
1
Let g be 9/