r z.
-5
Let w(b) be the first derivative of b**4/4 - 2*b**3/3 - 9*b**2/2 + 4*b + 17. Let t be w(4). Let o = 1 - -1. Solve t = o*i + 6 - 0 for i.
-3
Suppose -4*j = 2*a + 4*a - 104, a - 14 = j. Solve 170 = -a*i + 42 for i.
-8
Suppose -h = 3*f + 2*f + 12, f = 2*h - 9. Let t be (-3 + h)*(-3 + 4). Let p(o) = o**3 + o**2 + 2*o + 25. Let n be p(t). Solve -6*x + x = -n for x.
5
Let v = -4745 + 4755. Solve -182 = -16*p - v*p for p.
7
Suppose 2*j - 14 = 343*k - 346*k, 12 = j - k. Solve -j*f + 4*f = 0 for f.
0
Let w = 44 + -26. Suppose 77 = 17*u - 382. Let b be 48/u - (-4)/w. Solve b*c - c + 3 = 0 for c.
-3
Suppose 0 = b - 4*v + 8, 2*v - 4 = 5*b - 2*b. Suppose 0 = 7*x - b*x - 119. Suppose 3*l = -3*r - 6, r - 5*r = l + x. Solve -2 - 1 = -l*f for f.
1
Let f(o) be the third derivative of o**6/120 + o**5/60 + o**4/6 - o**3/3 + 7*o**2. Let x be f(-4). Let s = -66 - x. Solve s*u = -4*u + 8 for u.
2
Suppose 86628 = 24*t + 85644. Solve -13*y + 63 = -t for y.
8
Let c(q) = 8*q + 157. Let f be c(-19). Let k be 6 + (-3 + -1 - f) + 3. Solve 3*t + 5*t + 24 = k for t.
-3
Let u(c) = 20*c - 140. Let x be u(8). Suppose 0 = -87*v + 97*v - x. Solve v*o = 11 - 1 for o.
5
Let m = -575 + 1060. Let x = -480 + m. Solve -2*l - x + 9 = 0 for l.
2
Let w = 1384 - 1372. Solve -57 + 81 = w*y for y.
2
Suppose 9*l = 14*l + 235. Let b = 53 + l. Suppose 3*f = b*f. Solve 4*w = -f*w - 8 for w.
-2
Let p be 1/(-2) - ((-15)/6 - 2). Suppose 5*m = q + 18 + 3, 2*q = p*m - 12. Suppose 3*v = 2*d + 46, 6*d - q*d - 8 = 0. Solve -4*i + v = -2 for i.
5
Let o(h) = 5*h + 6. Let g = -4 + 7. Let p be o(g). Suppose d + 15 = p. Solve 0*f = -2*f - d for f.
-3
Let y(h) = 5*h**2 + 28*h + 1. Let a = 99 - 105. Let w be y(a). Solve 4*u = -1 + w for u.
3
Suppose 20 = -5*t, 3*p + 52 = 7*p + t. Solve -65 = p*s - 9 for s.
-4
Suppose 9*y = 26353 - 25894. Solve y*g = -82 + 235 for g.
3
Suppose j - 3*a = 17, -4*a + 2 - 22 = -j. Let c be ((-3 - -3)/4)/2. Suppose -s + 4*s = 12. Solve s*f = j - c for f.
2
Suppose 5*m = -z + 1829, -5*m + 1832 = z - 3*z. Let n = m - 350. Solve -8*s - n = -0*s for s.
-2
Let c(q) be the third derivative of q**6/120 + q**5/20 - q**4/3 - 231*q**2. Let f be c(-4). Solve f*y = 22*y - 6 for y.
1
Suppose 94*g - 238*g = -2448. Solve -15*j + 32*j - g = 0 for j.
1
Let i = 48 - 43. Let q be (-8)/(-4) + 4 + 9/(-3). Suppose 3*g + q*x = 18, -i*x + 32 - 11 = 2*g. Solve -2*w = g*w for w.
0
Let c(f) = -f**3 + 7*f**2 - 5*f + 105. Let j be c(8). Solve -x = j - 3 for x.
2
Suppose 4*j - 7 = -5*h, 3*h + 3*j = 3 + 3. Let k be h/2 + (-6)/(-12). Let o be 2 + 0/(-3) + k. Solve o*r - r = 0 for r.
0
Suppose -21*p - 11*p + 33*p - 14 = 0. Solve -36*g + 350 = p*g for g.
7
Suppose -4*c + 3*b - 37 = 8*b, -c = -3*b - 12. Let j(x) = 2*x + 13. Let u(z) = 3*z + 20. Let y(q) = 8*j(q) - 5*u(q). Let k be y(c). Solve -3*s = k - 10 for s.
3
Let q be 12/(-20) + 18/5. Suppose -3 - 2 = 5*a + 5*c, 3*c = -a - 11. Solve -q*g + a = 16 for g.
-4
Suppose 14*m - 46*m - 6656 = 0. Let h = m + 218. Solve 3*c - h = 5*c for c.
-5
Let s be ((-26)/78)/(2/(-1542)) - 6. Let m = 252 - s. Solve w - 4 = m for w.
5
Let g = 138 - 148. Let i be g/4*(-24)/10. Solve -5*x + 16 = i for x.
2
Let s(m) = 2*m**3 + 199*m**2 - 100*m + 32. Let t be s(-100). Solve 0 = -44*z + 28*z - t for z.
-2
Suppose 4*o = -9*o + 26. Suppose 6*r - 2*r - 16 = 0. Suppose -5*a = -0*a - 3*q - 7, 4*q = -2*a + 8. Solve -o = -r*x + a for x.
1
Suppose 3*n = -5*a + 20, 5*n - 2*a - 29 = -6*a. Suppose -r = -n*m + 16 - 51, -4*r = 2*m - 30. Solve 8*d - 3*d - r = 0 for d.
2
Let k be (-14)/35 - 22/(-5). Suppose 4*t - 1 + 13 = 0, 5*r = k*t + 112. Suppose -4*c - j = -2*j - r, 0 = -c + 3*j + 16. Solve -c*y + 4 = 8 for y.
-1
Suppose -46*z + 426 + 264 = 0. Solve 2*w = 5 - z for w.
-5
Let c(g) = g**2 - 5*g - 57. Let x be c(-6). Let j(b) = -b**3 - 7*b**2 + b + 6. Let z be j(-7). Let t be z/6*x/3*-2. Solve 4 = 3*r + t for r.
1
Let f = 138 + -90. Suppose -5*b = -10, -j - j - b + f = 0. Solve 24*k + 3 = j*k for k.
-3
Let b(z) = z**2 - 10*z + 55. Let k be b(13). Let v = k - 90. Solve 3*d = v*d for d.
0
Let s be (27345/(-12))/(-5) - 30/(-24). Suppose s*y = 449*y. Suppose 0 = 4*g - 2*g - 4. Solve y*c + g*c = -10 for c.
-5
Suppose 3*j - 5*t + 19 = 0, 2*j + t + 3*t + 20 = 0. Let k be 12/8 - (20/j + 4). Suppose p - 20 = 6*p, k = 2*u + 4*p - 38. Solve u = -5*l + 2 for l.
-5
Let r(t) = t**3 - 8*t**2 + 8*t - 5. Let z be r(7). Suppose 3*x = z*x + 2. Let f be 5/((2/4*-5)/(-1)). Solve 10 - f = x*h for h.
4
Let z be 15/20*540/81. Solve -z*w + 40 = 50 for w.
-2
Let c be 4*(-4)/40 + (-16)/10. Let n be ((-4)/6)/((2/3)/c). Suppose o - 23 = -n*q + 6*o, 5*q + 4*o = 8. Solve q*k + k - 5 = 0 for k.
1
Suppose 218 + 202 = -8*f + 436. Solve -f*i = -0*i - 8 for i.
4
Let d(z) = -3*z**2 + 124*z + 13. Let m be d(41). Solve -28*q + m = -114 for q.
6
Suppose 10*l + 12*l + 286 = 0. Let a = l + 21. Solve 0*r = -2*r + a for r.
4
Suppose -4*q - 82 = -3*i, 11 + 0 = -q - 4*i. Let d = -14 - q. Suppose 2*n + d = 11. Solve n*o - 3 = 6*o for o.
-1
Suppose 4*m - 45 = -0*f + f, 4*m - 54 = -2*f. Suppose 0 = -20*h + 28 + m. Solve -15 = 5*o - h*o for o.
-5
Let u(j) = j**3 - 29*j**2 - 17*j + 548. Let h be u(29). Solve -13*c + h + 23 = 0 for c.
6
Suppose -30 = -22*v - 162. Let k be (-16)/v*(-135)/(-30). Solve -22*h = -19*h - k for h.
4
Let u(v) = 7*v - 10. Let c be u(4). Suppose 6*a - c - 6 = 0. Suppose -k + 3*m + m + 28 = 0, a*k - 52 = m. Solve -k = -0*z - 4*z for z.
3
Suppose -4*s - 2*f = -107 - 265, -2*s = 5*f - 202. Solve 20*v = 31 - s for v.
-3
Suppose o = 5 + 29. Let b be o + -33 + (-7)/(-1). Solve -u - b = -3*u for u.
4
Let a(x) = -7*x**2 - x + 15. Let f(v) = 10*v**2 - 15. Let k(o) = -3*a(o) - 2*f(o). Let i be k(3). Solve -t = i*t for t.
0
Suppose -366*z = -354*z - 60. Solve z*i = -614 + 629 for i.
3
Suppose 38*i + 36 = 34*i. Let c be 12/i*-6 + 2. Let n(a) = -a**3 + 3*a**2 + 6*a - 4. Let r be n(4). Solve c = b + r*b for b.
2
Let r be (-92)/18 + 1/9 + (-8 - -13). Solve 36*s - 27*s + 36 = r for s.
-4
Let t = -405 + 405. Suppose 3*g + 22 - 43 = 0. Solve 0 = g*f - t*f for f.
0
Let q = 33 - 20. Let y(j) = -j**3 - 6*j**2 + j + 8. Let g be y(-6). Let f be 88396/17220 + (-2)/15. Solve q = f*a - g for a.
3
Suppose 11*i = -2*i - 3094. Let r = i - -246. Solve x - r*x + 35 = 0 for x.
5
Let s = -6 + 8. Suppose -23*a + 17*a + 84 = 0. Suppose 3*v - z = -v + a, -3*v - z + 7 = 0. Solve 0 = -v*l + l + s for l.
1
Suppose z + 4*l = 10, -18*l + 17*l = 3*z - 52. Solve -19 - 35 = -z*g for g.
3
Suppose 8*w + 274 + 110 = 24*w. Solve -w*z = -22*z for z.
0
Let f = -2709 - -2711. Solve -f*p - 17*p = 0 for p.
0
Let q(v) = 4*v - 5. Let r(l) = 1. Let n(h) = q(h) + 5*r(h). Let f be n(3). Suppose 4*m + 3 = w, -5*w + f = -5*m - w. Solve 2*p - 7*p = m for p.
0
Suppose 2*i = -2*d - d - 1, -3*i - 4*d = 0. Suppose 8 = -2*w - 0*w + i*p, 3*w + p = -5. Let g be w*1*6*3/(-12). Solve -1 = v - g for v.
2
Let n(j) = j**3 - 4*j**2 - 40*j + 25. Let p be n(-5). Let d(l) = l**2 + 9*l + 5. Let i be d(-8). Let m be 5 - -1*(3 + i). Solve p = m*s - 6 + 1 for s.
1
Let v be (1 + 0)/((-4)/(-172)). Let q = -342 + 381. Let t = v - q. Solve t*o - 6 + 2 = 0 for o.
1
Let t = -294 - -298. Suppose -9*b = -t*b - 140. Solve -4*g = 3*g + b for g.
-4
Let i = 33 + -31. Suppose -2 + i = 4*p. Suppose -u = -5 - 5. Solve p = 3*k - k - u for k.
5
Let k(m) = -m + 3. Let n be k(1). Let j be (-1)/n*(-42 - -16). Suppose -8*r = -j - 11. Solve -r*h + 17 = 5 for h.
4
Suppose -7*u + 15 = 3*o - 5*u, -u = o - 5. Suppose 4*v + 14 = 2*v - 5*s, -11 = 3*v + o*s. Solve 0 = -v*i + 16 - 4 for i.
4
Suppose 0 = -5*k - 3*i - 2071, -4*i - 914 + 3006 = -5*k. Let a = k + 426. Solve a*o = 12*o + 10 for o.
-5
Let m be (3411/6443)/((-1)/(-17)). Solve 14*h - m = 19 for h.
2
Let f(m) = m - 1. Let i be f(5). Suppose -2*r = -r - i. Let x(z) = -3*z**2 - 22*z + 670. Let o be x(-19). Solve -o*g + 1 = -r*g for g.
1
Let z = 153 - 153. Suppose -35*a + 19*a + 64 = z. Solve a*c - 2 = -18 for c.
-4
Let p(r) = -21*r - 125. Let d be p(-28). Let s = 476 - d. Solve 11*v - s*v = 8 for v.
-4
Suppose 29*c - 41*c = -264. Suppose 3*u = -12, -13*m + 4*u + c = -11*m. Solve m + 5 = 2*k for k.
4
Let j(f) = -4*f**3 + 1. Let o be j(-2). Suppose -18*p = -17*p + 2. Let k be 22/o*(-15)/p. Solve -i - k = -2*i for i.
5
Let l = 212 + -302. Let c = 90 + l. Solve z - 2 = -c*z 