- 22 = r + 3*r for r.
-3
Suppose -2*f + 1 = -3. Suppose -f*g + 5*g - 27 = 0. Let z be ((-3)/4)/(g/(-24)). Solve 5*d + 25 = -z*s - 3*s, 3*d + 4*s + 16 = 0 for d.
-4
Let z = 2073 - 2071. Solve -w + 6*w = -f - 19, 2*w = f - z for f.
-4
Let u(h) = -23*h + 110. Let z be u(14). Let b = z - -216. Solve -b*x - 5*l = 36, -3*x + 0*x - l - 16 = 0 for x.
-4
Suppose 44 = h + 40. Solve g + v = 3*g - 2, -2*v = h*g - 12 for g.
2
Suppose -135*l - 201 = 12*l - 495. Suppose v + 4*v = -20. Let f be v/3*(2 + -5). Solve -f*a = 2*q - 14, 2*a + 2 = -l*q + 12 for q.
3
Let x = -14117 + 14120. Suppose 0 = -4*t + 6 - 2. Solve -2*s - s - t = -r, -14 = 4*r - x*s for r.
-5
Let n = 1171 - 1167. Solve d + n*u + 5 = 0, 0 = 2*d - u - 2*u - 12 for d.
3
Suppose 3*u - 12 = -j, 2*j = 2*u + 38 + 10. Solve -j = 5*r - 2*i, r + 12*i - 9*i + 11 = 0 for r.
-5
Let x = 440 + -262. Suppose -5*q + x = -77. Suppose 5*g - q + 41 = 0. Solve 5*w - 3 = -o - 9, -g*o + 16 = -4*w for o.
4
Let y = -1260 + 1267. Solve m - 5 = 0, -3*g - 6 = -y*g - 2*m for g.
-1
Let w(f) be the first derivative of f**3/3 + 9*f**2/2 + 2*f - 27. Let r be w(-4). Let y be (-3)/r*3*(3 + 1). Solve i - 2*l - 12 = 0, 5*i - 3*l - 40 = y*l for i.
4
Suppose 357*n = 375*n - 90. Solve 40*g - 41*g - 13 = -n*z, -5 = -4*g + z for g.
2
Let i(o) = -4*o**3 - o**2 - 57*o - 56. Let v be i(-1). Solve f = -2*f - 6, -4*l - v*f = -4 for l.
3
Let h(q) = -q**3 - 9*q**2 - 9*q + 8. Let b be h(-8). Suppose -5*d + d + b = 0. Solve -13 = -s - 3*a, -3*s + d*a = a - 3 for s.
4
Let a be 1/(1 + 1313/325 + -5). Solve 19*z - 3*w + 37 = 24*z, -5*w = z - a for z.
5
Let c(f) = -491*f**2 + f - 1 + 492*f**2 - 1. Let w be c(-3). Solve -w*z = -3*s - 12, s + 2*z + 2*z = 12 for s.
0
Suppose -10*i + 34 = 14. Suppose -3*r = 2*r - i*t - 20, -25 = 5*t. Solve 2 = 3*s + z, r*z + 1 + 1 = -3*s for s.
2
Let y be 2 - (7 - (-716 - -2)/(-14)). Solve -3*h + 4*i = -y + 49, -5*h + i = 22 for h.
-5
Let u be (4/(12/3))/(3/207). Let p = -49 + u. Suppose 0*y = -2*y + p. Solve -n - 5 = 4*a, y - 4 = -4*n - 2*a for n.
-1
Let l(s) = -s**2 - 10*s + 39. Suppose -2*o - 3*c - 20 = 0, -3 = 3*c - 9. Let t be l(o). Let p = 18 - 14. Solve -5*j - 29 = -p*z + 6*z, t = -3*z - 6 for j.
-5
Let k(v) = -2*v + 14. Let t be k(-4). Let m(w) = 2*w**2 - 45*w + 47. Let o be m(t). Solve -2*q - 3*b = o, q - 2*b = 4 + 1 for q.
-5
Let v be (14/8)/(((-20)/5)/48). Let k be (-3)/(-4) - v/(-28). Solve -x - 3*g + 17 = 2*g, k = -5*g + 15 for x.
2
Let n(s) = -711*s + 9954. Let b be n(14). Solve 3*o - 6 = w, b = -3*o - 20 + 26 for w.
0
Let k be (-7)/(-2)*(-2 - 0)/(231/(-264)). Solve 3*m = 3*x - 15, k = -13*m + 12*m + 2*x for m.
-2
Suppose -p - 20 = -3*s, -3 = 4*p + 5. Solve n - 17 = -3*i, -9*n + i = -s*n - 1 for n.
2
Suppose 2*h - 2 = 4. Let j = 6 - h. Let b(s) = s**3 - 2*s**2 + s + 25. Let c be b(0). Solve c = j*u - 4*m, 3 = u + m + 4 for u.
3
Suppose 0 = 70*r + 20*r + 304 - 754. Solve 4*o = -r*k - 6, -4*o + 22 - 38 = 0 for k.
2
Suppose 8*p + 25 = 3*p + 5*y, 2*p + y = 11. Solve -4*c - 22 = -p*a, 2*c = -11*a + 16*a - 7 for a.
-1
Let w(n) = 5*n**2 - 14*n - 2. Let c = 17 + -8. Suppose 0 = 8*x - c*x + 3. Let z be w(x). Solve -i + 25 - 2 = 5*r, -2*i - r = -z for i.
-2
Suppose -281 = -203*v + 328. Solve -4*j - 14 = v*b, 5 + 12 = 6*b - j for b.
2
Let g be (-1 + (-32)/(-20))/(2 - (-39)/(-20)). Solve g*a - 7*a = -5, -2*a = -3*i - 1 for i.
-1
Let l = 15 - 11. Solve 22 = l*u - 5*x, -6*u + x - 7 = -9*u for u.
3
Let w = -208 - -244. Let x be 10/1*w/72. Solve -2*c + 8 = -3*c + 3*t, -26 = x*c - t for c.
-5
Suppose h - 3 = -0*h. Let g(r) = -31*r - 99. Let a be g(-24). Let q = a + -633. Solve -5*l + d = 22, -h*d = 4*l - d + q for l.
-4
Let d(f) = 3*f**2 - 125*f - 910. Let x be d(48). Solve 135*c = 3*m + 132*c + 3, -x*c = -m + 3 for m.
-5
Suppose 12*c + 629 = -2491. Let f be (c/(-80))/((-2)/(-16)). Solve 0 = -4*i + 3*n - 8, 4*i + f = 5*n + 10 for i.
1
Let l = 2434 - 2412. Solve 5*d - b = -l, 3*d + 3*b = d - 2 for d.
-4
Suppose -17 = -4*g - 5. Suppose -g*z + 3*n = n - 15, 0 = 3*n. Suppose -35 = -2*l - 0*l + 5*r, -z = -2*l - r. Solve l*j = 2*j - f, 0 = j - 2*f - 7 for j.
1
Suppose 5*t - 14 = 1. Let n(i) = -37*i + 92*i - 41*i - 13*i + 3 - 1. Let l be n(t). Solve l*x - 13 = 2*s, 3*x = -5*s + 3 + 11 for x.
3
Suppose -3*y + 26 = l, -118*y = -2*l - 121*y + 28. Solve -4*s + 4*m = 2*m + 16, s = -l*m + 6 for s.
-2
Let v = -5041 + 5043. Let z = -13 - -17. Solve 5*s - 2*a = 14, 0 = -z*s + s - 2*a + v for s.
2
Suppose 0 = -6*v + 31 - 13. Suppose b = -5*f + 29 + 16, -3*f = -v*b - 45. Let z be ((-15)/(-6))/(5/f). Solve 0 = 5*k - z*g - 15, 5*g - 3 = -8*k + 4*k for k.
2
Let j = -1351 + 1354. Solve 4*s = j*l - 2*l + 17, 4*s = 2*l + 18 for l.
-1
Suppose -70*y + 44 + 74 = -22. Solve y*l = -3*n + 6, -3*l - 6 = -4*n + 2 for n.
2
Suppose h + 16 = 3*z + 3, 4*z = 4*h + 12. Suppose 5*g = p - h*p - 6, -4*g - p - 5 = 0. Let m be (1 - 2) + g + 5. Solve -3*l - 9 = -q - 4, 4*l - m*q = 0 for l.
-3
Suppose -37*y + 450 = 265. Solve 0 = -4*v + 3*m - 19, -y*v + 4*m - 30 = -m for v.
-1
Suppose -239*n + 181*n = -754. Solve 4*j - 30 = -2*p, n*j + 4*p = 9*j + 40 for j.
5
Suppose 1806 = 44*b + 1190. Solve -b = -16*j + 19*j - a, -4*j = -3*a + 27 for j.
-3
Let m(o) = o**3 - 15*o**2 - 13*o - 12. Let a be m(13). Let g = a + 521. Solve 3*w - 2*y + 18 = -5*y, -w - g*y = 9 for w.
-3
Let o(s) be the third derivative of 11*s**4/24 - 31*s**3/6 - 74*s**2. Let p be o(3). Solve 3 = -h + 4*h - 4*w, -14 = -4*h + p*w for h.
5
Let r = -147 - -150. Suppose 9*o - 12*o - 59 = -5*g, 0 = 2*g + r*o - 11. Solve -n - 2 = z, z = -n + 4*z + g for n.
1
Let k = 136 + -127. Let l = -54 - -58. Let m(w) = -w**2 + 7*w - 6. Let x be m(6). Solve 2*c - o - 2 = x, -c - l*c = o + k for c.
-1
Suppose 0 = -0*d + 5*d - 10. Let l = 24535 - 24525. Suppose 3*m = 3 + 12. Solve 3*f = -m*s + l, 0*s - d = -s - 3*f for s.
2
Let i = -4267 + 4283. Solve 2*s = 5*c - i, 4*s - 3 = -3*c + 17 for s.
2
Let l be ((-3 - -1) + 136)/(-2). Let g = -137 - l. Let z = -68 - g. Solve 4*n - 4 = -2*w + 8, z*w = -n + 3 for w.
0
Let o be 24/15*(-35)/(-14). Suppose o*u = 2*d + 12, 5*d + 26*u = 23*u + 22. Solve 3*y + 0*b + d*b = 19, -11 = -3*y + 2*b for y.
5
Let y = -227 - -235. Suppose m + y = 5*m. Solve -d - 2 = m, 5*t + d = -24 for t.
-4
Let i = -38 - -63. Suppose -6*j + 3*j + 18 = 0. Suppose -3*d + 3*l + 3 = 0, j*d - d + 5*l = i. Solve 5*v = 3*w - 8, -3*v + d*w - 20 = 5*w for v.
-4
Suppose -20 = b + b. Let t(r) = -r**3 - 10*r**2 + 1. Let x be t(b). Let g = 844 + -840. Solve 6 - 3 = g*w + 5*z, -x = z for w.
2
Suppose 25*v - 13 = 24*v + 2*o, 2*v - 14 = o. Suppose -3*y = -3*a + 15, a + 25 = y + 6*a. Solve -v*i - 5*w = 35, -5*i - 3*w = -y*i + 27 for i.
-3
Let d be ((-351)/(-26) + -16)/((-3)/6). Solve -16 = t + 3*j - 17, -5*t - 5*j = d for t.
-2
Let q be ((-16)/10 + 8)*5. Solve a + 3*a = -5*b + 36, 5*a - q = -3*b for b.
4
Suppose 5*b - 25 = 5*m, -m = -0*m + 5*b - 19. Let a be 5 + -1*(-1 + m) + -2. Solve -3*v - a*y + 10 = 0, 3*v + 5*y = v + 5 for v.
5
Suppose -368 = -198*p + 622. Solve -p*w = 5*m, 6*m + 4*w - 4 = 3*m for m.
-4
Let u = -144982 + 144982. Suppose 6*h - 3*h = 27. Solve 3*s - h = -2*m, 0 = -u*s - 4*s - m + 12 for s.
3
Let u = -5506 - -5530. Solve -99 + 93 = i - 4*v, -2*v + u = -4*i for i.
-6
Let t = -670 + 677. Suppose 5*h - t*s - 15 = -3*s, h = 3*s + 3. Solve 5*f + 2*q - 22 = h*q, 0 = -5*f - q + 28 for f.
5
Let j(p) = p**2 + 7*p + 17. Let k(o) = -o**3 - 9*o**2 - 10*o - 22. Let g be k(-8). Let n be j(g). Solve 4*r + 10 + n = -b, -5*b = 5 for r.
-5
Suppose 51 = j - 232. Suppose j*t - 8 = 279*t. Solve -35 = 5*m - 3*s, -m + s = t*m + 17 for m.
-4
Let a(y) = 6*y**3 + y**2 - 4*y + 3. Let b be a(1). Suppose -2*f - 2*f - 5*h = -35, 3*f - b = 3*h. Solve 2*n + 5 = -o, 0 = -2*o - f*n - 13 + 2 for o.
-3
Let o = 328 - 346. Let y = o + 18. Solve -w - 4*w - 5*q - 35 = y, q = -4 for w.
-3
Suppose -156 + 64 = -4*o. Let u(t) = -21*t**2 + 650*t + 34. Let j be u(31). Solve 4*y - 5*k = -2*k - o, 2*y - j*k + 13 = 0 for y.
-5
Let m be 28/(-6)*((-312)/(-28) - 12). Solve -x - 15 = m*k, 2*x + 4*k + 5 + 5 = 0 for x.
5
Let d = 4320 + -4290. Solve s + 27 = -3*q + d, 3*s = -4*q - 1 for s.
-3
Suppose 13 = -3*t - 8. Let k = t + 11. Suppose 4*u = -k*c + 108, 4*c = 7*c - u - 61. Solve -4*g + 3*d + c = g, -2*g + d = -9 for g.
5
Let j = 1638 + -1633. Suppose 0*q + 3*q