i = 4*u + 2 for i.
-2
Let k(u) be the third derivative of u**4/2 - 2*u**2. Let w be k(1). Suppose 3*f + w = 7*f. Solve 2*c - f + 1 = -4*v, 2*c = 2*v - 16 for v.
3
Let a be ((-288)/(-40) + -8)*-5. Solve -3*r + 22 = -8*r + y, 0 = -a*r - 2*y - 12 for r.
-4
Let m = 75 - 83. Let t be ((-4)/3)/(((-96)/(-9))/m). Solve 4*v - 2 = -3*u, -v + 0 - t = 0 for u.
2
Let i(s) = -s**3 + 6*s**2 + 3. Let a be i(6). Suppose 5*d + 0 - 25 = 0. Solve 0 = -d*c + m - 1, 3 = c - 4*c + a*m for c.
0
Suppose c = m + 2*m - 63, -3*c - 163 = 4*m. Let w = c + 62. Solve -2*v + w*j = 25, -v + 2 + 8 = 2*j for v.
0
Suppose 18 = -59*b + 65*b. Solve -a - 3*a - b*m = -19, 12 = 2*a + 4*m for a.
4
Let q be (-1 + 0)*(-360)/40. Solve 3*j = 5*x + 12, -j + 4*x + 2 + q = 0 for j.
-1
Let w(t) = -t**3 + t**2 + 2*t + 4. Let b be w(0). Suppose b*d = 5*d. Solve 4*l = -12, 5*v + l + 23 = -d*v for v.
-4
Let g be 4/((-80)/(-12))*5. Suppose 0 = 3*t, 2*t = -4*w - g*t + 24. Suppose 2*d + w = 2*o, 5*d - 3*o = o - 10. Solve 5*h = 5*p - 15, -d*p + h + 15 = 2*p for p.
4
Suppose 3 = -4*f - 3*x + 32, 3*x = 9. Solve f*u = 3*n - 6 - 7, 4*u = -8 for n.
1
Let b be (-3 - 5 - -4)/((-4)/6). Solve -2 = -i + b*i - 2*x, i + 3*x = -14 for i.
-2
Let k = 9 + -6. Suppose -16 = -d - k*d. Let r be (-52)/(-16) + 3/d. Solve -q = -r*q + 5*n - 20, -2*q - n = 9 for q.
-5
Suppose 2 = q, 6*m = m + 5*q + 150. Let k be (-1)/2*m/(-4). Suppose -k*i + 23 = 3. Solve i = 3*r + 2*z, -3*r - 2*z = z - 9 for r.
-1
Suppose -2*x + 6 = -8. Let y be -3 + (-7)/(x/(-8)). Let q = y + -3. Solve 2*n = -2*n + q*t - 2, 3*n + 5*t = -34 for n.
-3
Let a = 407 - 402. Solve a*n + z = 2*z - 13, -z + 1 = -n for n.
-3
Let c(l) = -l. Let t be c(-8). Let p(b) = t*b - 2 + 4*b**2 + 6 - b - 5*b**2. Let w be p(7). Solve -4*d + w*q = 32, 5*q = 2*d + 10 + 15 for d.
-5
Let n be 4/(-3)*(3 - 6). Suppose 22 = n*c - 70. Solve h - c = 5*q, -3*q = -0*h + 3*h + 21 for q.
-5
Let c be (-4)/2*(120/(-8) - -7). Solve 0 = 2*y - 2*p, 0*p + c = -4*p for y.
-4
Suppose -b = -4*o - 6, 2 = -3*o - 7. Let z = -2 - b. Solve z*j = 4*d, -4*j - 1 = -2*d - 5 for j.
2
Let a(h) = 9*h - 35. Let l(r) = 4*r - 17. Let q(w) = 3*a(w) - 7*l(w). Let t be q(12). Solve -t*i + 16 = -4*y, -y - 10 = -2*i - 0 for y.
-2
Let n = -5 + 23. Let a = -8 + n. Let o = a - 5. Solve 0 = o*j, -t - j + 25 = -6*t for t.
-5
Let k(g) be the second derivative of g**5/10 - 2*g**4 + g**3/6 - 9*g**2/2 + 27*g - 2. Let f be k(12). Solve f*s - 4*a = 16 + 13, -a = 5 for s.
3
Suppose 0 = -4*n - 5*p + 4 + 33, 4*n + 3*p = 35. Suppose 0 = -d + n*d - 175. Solve -d = -f - 3*c - 6, 3*c = f + 11 for f.
4
Let a = 21 + -10. Suppose -15 = -2*d - a. Solve -4*i = d*j - 14, i + 6*j + 10 = j for i.
5
Let b = -2241 + 2251. Solve 5*z + r - 27 = 0, -z - 5*r + 25 = b for z.
5
Let z(t) = -t**2 + 4*t - 3. Let h be z(3). Let x = -20 + 23. Solve -2*a + 0*a + o - 2 = h, 14 = -4*a - x*o for a.
-2
Let h be (2 - 3) + (0 - -1). Suppose h = 4*t + 5*a - 26, 0 = 3*t - 3*a - 6. Solve 3 = 4*l - d, 2*d = -t*l + 2 + 4 for l.
1
Suppose 3 - 28 = -5*g. Suppose 3*o - 9 = -0*o. Suppose 24 = 9*y - o*y. Solve 5*w = w + 5*f + 2, 0 = -g*w - y*f - 18 for w.
-2
Suppose 5*x + 55*q - 30 = 51*q, 0 = 2*x - q + 1. Solve h = x*h + 4*o + 13, -5*h = o - 11 for h.
3
Let v be 64/12 - 1/3. Suppose 5*x + 3*d - 210 = 2*d, -v*x + 240 = -5*d. Let a = x + -28. Solve 9 = -3*l, 4*l = -0*k + k - a for k.
3
Suppose 2*y + 21 = 3*y. Suppose j + 5 = 2*j. Suppose -4*u + 22 = j*i - u, 4*i + 12 = 5*u. Solve -5*q - y = i*w, q - w - 12 = 4*q for q.
-3
Let n = -190 + 193. Solve u = -n*j - 10, 2*u = 4*u - j - 1 for u.
-1
Suppose -5*j + 195 = -225. Suppose 5*f - j = a, 0*f + 4*a = f - 13. Solve 20 = -7*n + 3*n, -2*q - f = 5*n for q.
4
Let z = 41 - 36. Suppose 4*w = -5*o + 33, 4*o + z*w - 20 = 2*o. Solve 3*v + o*x = 0, -2*v = v + 3*x for v.
0
Let v(h) = -h**3 + 2*h**2 + 14*h + 10. Let y be v(5). Solve -u = -n + 4*n, 5*u = -y*n for n.
0
Let n(d) = -d + 1. Let w be n(-1). Suppose 0 = 4*r + 5*r. Suppose w = -c - r*j - j, -3*c + 10 = -5*j. Solve -3*x = 2*g - 3*g + 13, c = 4*x + 5*g + 11 for x.
-4
Let l be -4 - -10 - (-5 + (-8)/(-4)). Solve -2*c = 4*y - 6, -3*c + 8*y + l = 3*y for c.
3
Let x(o) = -6 + 5*o + 5 + 0. Let t be x(1). Solve y = -y + 2*z + 2, -3*y - t*z - 11 = 0 for y.
-1
Let x(l) = l**2 - 3*l - 4. Let q be x(5). Let b = -3576 - -3580. Solve 5*h - q = -s, -1 = b*s - 5 for h.
1
Suppose -19*i = -1131 - 218. Let u = i - 68. Solve 0 = 8*q - 3*q - 5*z + 40, 4*q + 4 = -u*z for q.
-4
Let x(d) = 6*d + 43. Let b be x(-6). Suppose 2*w - b = 1. Solve -o - 1 = -4, 6 = 3*t + w*o for t.
-2
Let k be ((-4)/(-5))/((-8)/(-20)). Suppose u = -2*u + 4*u. Solve 7 = y - 4*n + 18, -3*y - k*n - 5 = u for y.
-3
Let u(j) = j**2 + 9*j + 7. Let l be u(-10). Suppose 0 = 15*y - l*y. Solve 3*m = 3*i - 3 - y, -i + 3*m = 5 for i.
4
Suppose 216 = -w - 3*w. Let r = w - -58. Solve -4*a = 2*p - 22, 5*a - 26 = 3*a - r*p for a.
3
Let i(n) be the third derivative of n**5/60 - n**4/24 - n**3/3 + 12*n**2. Let m be i(-1). Solve 0 = 2*d + 2*c - 4*c - 16, d - 4*c - 17 = m for d.
5
Let k(q) = -2*q**2 + 31*q - 37. Let s be k(14). Solve z = -2*y - 3, s*z + 20 = -8*y + 3*y for z.
-5
Let z = -351 + 355. Let l = 0 + 7. Solve -d - z = -s, s - 5*s - 5*d + l = 0 for s.
3
Let f(k) = -34*k + 187. Let w be f(5). Solve i + w = -4*z, 3*z + z - 3*i = -29 for z.
-5
Suppose 2*o = 4 + 4. Let p = 133 + -19. Suppose 18 - p = -4*j. Solve -g - l = -6*l + j, -3*g = -o*l + 17 for g.
1
Suppose 4*h - 3 = 17, -4*h = -n - 20. Suppose n*z - 3*z = 0. Solve 0*d + 5*d + 33 = 2*i, 2*d + 10 = z for i.
4
Let p be ((-4)/(-7)*-3)/((-1)/7). Suppose -3*a = p - 18. Solve -m = -3*j + 11, j + 2 = -2*m + a*j for m.
1
Let g(z) = -z**2 + 15*z - 42. Let w be g(7). Solve 2*x + 4*m - 5 = 7, -3*m = 4*x - w for x.
2
Let v be (-13 + (-245)/(-21))/(2/(-3)). Solve 5*u + g = -4*g + 30, 3*u = -v*g + 14 for u.
2
Suppose 5*h + 60 = 5*x, -4*x + 0 = -5*h - 44. Solve 5*r + 13 = 2*d, -3*r = d - 6 + x for r.
-3
Let f be 1 + 3*4 + -1. Let o(v) = -v**3 + 7*v**2 - 3*v - 20. Let n be o(6). Let j be (2 - (-3)/n)*8. Solve -j*h = -4*t - 8*h + f, 2*t - 4 = -3*h for t.
5
Let b(f) = -f + 1. Let m(p) = -7*p + 23. Let x(q) = -6*b(q) + m(q). Let o be x(5). Solve o = c + 3*c, -3*v - 2*c - 6 = 0 for v.
-4
Let h(n) = n**2 - n - 8. Let g(l) = l**2 - l - 8. Let p(x) = 7*g(x) - 6*h(x). Let s be p(4). Solve 5*f = s*w - 9, -5*w + 3*f + 7 = f for w.
1
Let o be 5/(3/12 + 6/8). Solve v = 3*h + 6*v + 35, -o*v - 25 = h for h.
-5
Let d be (0 + 3)*100/12. Let w = d - 42. Let j = w + 19. Solve 0 = 2*c + c - 6, 0 = -p - c + j for p.
0
Let k = -640 + 640. Solve 2*c + 2*r + 18 = k, 4*c = 4*r - 9*r - 40 for c.
-5
Let k(p) = -8 + 5*p - 6*p + 2*p. Let l be k(8). Let g be (-3)/(1/(-10) + l). Solve 3*a + 2*a + g = -3*q, 0 = -q - 5 for a.
-3
Let a = 329 + -298. Solve 2*m + 6 = -2, 4*m = 3*o - a for o.
5
Let s(f) = f**2 - 21*f + 59. Let b be s(18). Solve -b*a = o + 7 + 1, o + 6 = -3*a for o.
-3
Let n be (23/2)/(-23)*(-201 + -1). Let m = 115 - n. Suppose 3*s = 10 - 1. Solve m = -5*p + 3*b - b, s*b + 29 = -5*p for p.
-4
Let p = 114 + -97. Solve 6*l - l = -4*z - p, -z + 3*l = -17 for z.
2
Suppose -3*k + 7*k = 16. Suppose 3 = t - k*w, -5*w = t - w - 11. Solve -4*y + 5*h + 11 = -t*y, -3*h + 3 = -3*y for y.
-2
Let z(j) = -2*j**3 + 3*j**2 + 2*j. Let a be z(2). Let f be 12/(-4) - -6 - a. Solve -m = 4, f*q + 10 = -m - 6 for q.
-4
Let h = -290 - -330. Solve 5*w = 2*q + 35, -5*q - w + 4*w = h for q.
-5
Suppose 0 = -5*z + j - 9 - 18, 0 = 2*j - 4. Let f be (-4 - (-6)/4)*8/z. Solve -2*y + f*o - 6 = 0, 31 = 5*y + 4*o - 10 for y.
5
Suppose -12*c = -8*c - 84. Suppose s = 8*s - c. Suppose -3 = -r - 1. Solve 0 = -s*h + h + 2*q + 10, -4*q = r*h + 14 for h.
1
Let a(f) = 2*f**3 - 3*f**2 - 3*f + 2. Let u be a(3). Suppose u = 2*s + 3*s. Let t be (7 - s) + (0 - 1). Solve t*m = -2*m + 20, -5*z = m for z.
-1
Suppose -3*m = -0*m - 6, c + 5*m = 12. Suppose 3*r - 4 = -2*p, -4*r - p + 2 = -5. Solve 2*v - c*o = -9 - 3, -r*v = -o + 11 for v.
-5
Suppose 5*a - 28 = 52. Suppose 3*h - a = -2*j, -2*h + 12 = h. Solve -z - 2 - 2 = -j*w, -4 = z - 5*w for z.
-4
Let q be (20/(-8))/(2/(-4)). Solve -q*a - z = 18, a = 5*z + 3 - 17 for a.
-4
Let o(g) = g**2 + 8*g + 11. Let u be o(-9). Suppose u = 3*l + l. Solve p - l = -3*k, 2*k - 15 = 4*p + 7 for p.
-4
Suppose 8*p + 68 = 7*p. Let a = p - 