+ 5*t, -t + 2*t = f*x for x.
0
Suppose -6*w = -21*w + 60. Solve -3*q + 8 = -q, 0 = -d - w*q + 15 for d.
-1
Suppose -4*s = 2*c - 8, s + 5*c = 25 - 23. Solve 3*j - 22 = -j - s*k, -1 = 3*j - 2*k for j.
3
Suppose 5*z - 4*m = 36, -3*z + 4*m = -0*z - 28. Let t(r) = -3*r - 4. Let h be t(-2). Solve 3*d + 3*k + 2 = -z, h*k = -d for d.
-4
Let j = -11 + 7. Let w(y) be the first derivative of -y**2/2 + y + 20. Let m be w(j). Solve h - m*f = -h - 11, -5*f + 13 = -h for h.
2
Let q be (1 + -1)/(17 - 16). Solve q*d = 5*d + 2*c - 7, -16 = 4*c for d.
3
Suppose 2*i = -3*v + 19, 10 = 4*i - 6*v + 8. Solve k + 3*m + 14 = 0, 5*m + 7 = -i*k - 13 for k.
1
Suppose 19*o - 21*o = 0. Suppose -2 = -r - o. Solve -4*b + 1 = -b + u, 4*b = 2*u - r for b.
0
Let l be -1*3*5/(-3). Let g(u) = -10*u - 11. Let a be g(-2). Let r(p) = p**3 - 9*p**2 - p + 12. Let i be r(a). Solve -3*w = -i*s + 6, 5*s - l*w - 11 = -w for s.
3
Let a(r) = 5*r - 46. Let h be 6*4/(-6) + 14. Let z be a(h). Suppose -3*i + 21 = -4*w, -i + w + 4 + 2 = 0. Solve z*g - 41 = 2*q + i*q, -q - 2*g = -3 for q.
-5
Suppose -12*u = -4*i - 17*u + 6, 2*i = -4*u. Solve -12 = -4*v, -v + 35 = 5*a + i*v for a.
4
Let y(d) = -21*d - 11. Let j be y(-2). Let a = 33 - j. Solve -a*o + 4*o = -2*p + 2, -2*o - 2 = 3*p for p.
-4
Let h be (24/(-18))/((-2)/(-15)). Let p(q) = q**3 + 9*q**2 - 11*q - 7. Let k be p(h). Solve -3*s - 5*r + 4 = -10*r, 3*s + k*r + 12 = 0 for s.
-2
Let n(s) = -s**3 + 4*s**2 - 8*s + 12. Let v be n(2). Solve 5*r - 4*r = 2*z + 6, -v*z = 3*r + 2 for z.
-2
Suppose 22*p = 23*p + k - 7, 3*k = 5*p + 5. Solve 4*b - o - 21 = -b, p*o = -2*b + 18 for b.
5
Suppose -2*g = g + 6. Let o be (3 + -1)/g - -1. Solve 4*j + 16 = o, -3*u + u - j = 4 for u.
0
Let o = -84 + 86. Suppose 3*r = -4*q + 25, -q - o*r + 7 = -3. Solve -x + 5 - 1 = 4*g, q*g = 8 for x.
-4
Let i(y) = 2*y**2 + 8*y - 23. Let g be i(-8). Suppose -41 = 4*u - g. Solve 4*n - 5*k + 41 = u, 4*n + 6*k + 6 = 4*k for n.
-4
Let b be ((-8)/12)/((-2)/(-6))*-1. Let p(s) = -s**3 + 4*s**2 - 4*s + 3. Let i be p(b). Solve -5*q - 7 = 3*m, -3*m + 8*m - i*q = -23 for m.
-4
Suppose d - 17 = 2*h - 7*h, 3*h - 19 = -5*d. Let v(p) = 2*p**2 - 10*p + 12. Let i be v(h). Solve i*s + s = -2*j, 3*j + 5*s - 7 = 0 for j.
-1
Let y = 680 - 676. Solve 3*t = 4*g + 2, -5*t + 0*t + y*g = 2 for t.
-2
Suppose -s + 27 = 5*i, 0*s + 4*s + 4*i - 28 = 0. Let f(m) = m**3 - 2*m**2 + 2*m - 1. Let r be f(s). Solve 0 = 5*d - r*b - 10, d + 1 - 3 = -b for d.
2
Suppose 0*t + 3*a - 7 = -5*t, 4*t = -a. Let u(q) = 5*q**2 - 1. Let v be u(t). Solve -2*m = -4*m + v*g + 24, 5*m = 4*g + 30 for m.
2
Suppose 4*a = 25*z - 23*z - 30, -5*z + 35 = -2*a. Solve u = 5*f + z - 0, -2*u + 2*f - 6 = 0 for u.
-5
Let r(c) = c**3 - 5*c**2 - 4*c + 23. Let z be r(5). Let u be z/27*6 - 12/(-9). Solve 16 = w - 3*m, u*w - 24 = w + 5*m for w.
4
Suppose 3*m + 8*k - 4 = 9*k, -4 = -m + k. Solve 0 = -3*g, -f + 3*g = -m + 3 for f.
-3
Let u = -42 + 46. Suppose -46 = u*b - 6*b. Solve -3*x + 2*g + b = 7*g, 0 = x - 3*g + 11 for x.
1
Suppose 7*f - 63 = 14. Let o(c) = -c**2 + c + 3. Let b be o(0). Let d = b - 1. Solve 0 = -5*j - 2*g - f, -d*j + j + 4*g = -11 for j.
-1
Let p be 107 - 5/(-5)*9/3. Let s be (-66)/p + 36/10. Solve 3*c - 2*y = -12, y = -2*c - s*c - 20 for c.
-4
Let r(g) = 11*g - 14. Let s(t) = -13*t + 13. Let p(x) = -6*r(x) - 5*s(x). Let k be p(-6). Solve 5*m - 20 = m - 4*h, k = 5*m + h for m.
5
Let t(x) = -36*x + 183. Let b be t(5). Solve 5*q + 30 = -b*v, -6 = 2*v + 3*q + 13 for v.
-5
Let l(k) = -5*k - 11. Let g be l(-9). Let b = 36 - g. Solve -4*u = -y + 3, u + 7 = y - b*y for y.
-5
Let k = -172 - -182. Solve -r + 5*n = k, -3*n = -4*r - 8 + 2 for r.
0
Let d be 7 + ((-2)/(-2))/((-6)/12). Solve 2 + 6 = -3*g + q, -g + d*q - 26 = 0 for g.
-1
Let t = -29 - -9. Let o = t + 22. Suppose -3*n = 4*p - 2*n - 45, -4*p + 5*n + 39 = 0. Solve 2*w + 3*g = p, -6*w - 4*g + 20 = -o*w for w.
4
Let v be (1*-2*1)/(-2). Let o(l) = 0*l**3 - 25 + 5*l**3 + 42 - 18 + l. Let z be o(v). Solve 3*g - 2*j = z, -3*g + j = -4*g for g.
1
Suppose 99*h - 240 = 87*h. Solve -4*y - 8 = 6*c - 10*c, -2*y + h = 4*c for c.
4
Let m(c) = -c**3 - 18*c**2 - 14*c + 56. Let n be m(-17). Let w be ((-12)/(-8))/(n/(-4) + 2). Solve 0 = -4*k + 3*v - 3, 3*v - 1 - 2 = w*k for k.
0
Let q = 52 - 47. Suppose -q*x = -0 - 10. Solve -5*o + 5 = 0, -x*p + 13 = 5*o - 0 for p.
4
Suppose 4*y - 5*t = 515, -5*y + y + 519 = -t. Let d = y + -127. Solve 3*s - 27 + 3 = d*g, 9 = 3*s for g.
-5
Suppose 4*u + 5*a = 27, -5*u + a - 6 = -6*u. Let q = u - 0. Solve 5*p = g + 20, q*p = 2*g - 2*p + 25 for g.
-5
Suppose 6*n - 80 - 88 = 0. Solve -g + 3 = 0, 2*u + 2*u + n = 4*g for u.
-4
Let y(v) = v**3 - 7*v**2 - v + 9. Let f be y(7). Suppose -s = -3*k - 2, -3*k + 5*s - 12 = -2. Solve 0*n + n - 5*i - f = k, 0 = -4*n - 2*i + 8 for n.
2
Let v be 42/28 - 258/(-4). Suppose -p = 5*p - v. Solve 3*d = -n - n, 3*n = d - p for d.
2
Suppose -4*b = -3*b. Suppose 2*p - 3*p + 3 = b. Solve -u + c + 3 = -c, -2*u + 13 = p*c for u.
5
Suppose 0 = 2*z - 5 - 1. Suppose -p - 5 = 0, -3*p = -3*w + p + 467. Let h = w + -127. Solve 3*d - i + 3*i - h = 0, z*d + i = 17 for d.
4
Let q be 28/(-10)*(-45)/(-18). Let h be ((-10)/1)/(5 + q). Solve 18 + 2 = h*a - 5*x, -4*a - 4*x = -8 for a.
3
Let a(s) = s + 1. Let c = 27 + -23. Let z be a(c). Solve -2*n + z*u - 10 = -3*n, 0 = 2*n - 4*u - 6 for n.
5
Let s(m) = 5*m + 13. Let y be s(-2). Solve y*p + 0*p - 2*l + 15 = 0, -2*l = 4*p + 20 for p.
-5
Suppose -61*q + 62*q - 18 = 0. Solve -4*p = 3*k - 3, 6 + q = 3*p - 5*k for p.
3
Suppose 0 = -5*o + 219 - 94. Let h = o + -21. Suppose -4*l + 7 = f, 0*l + 9 = h*l - f. Solve 4*g + 4 = 2*w, l*w + 2*w - 15 = g for g.
1
Suppose 2*j + 22 = 2*h, 5*h - 7*j - 79 = -8*j. Let b = 35 - 22. Let s = h - b. Solve -3*f = -r + 6, 0*r + 9 = s*f - 5*r for f.
-3
Suppose 3*a + 9 = z, 2*z + a + 14 = 6*z. Suppose 5*p - z*p = 0. Suppose -2*b + 0 = -4. Solve -4*n + 16 = -2*v, p = 3*n + b*n - 4*v - 26 for n.
2
Suppose l + 58 = 30*l. Solve 2*j - h = -2*h + 14, -l*j = -2*h - 2 for j.
5
Suppose 0 = -2*d - n - 65, n - 95 = -d + 4*d. Let j = -27 - d. Solve -j*h = -2*i - 24, -3*i + 2 = 3*h + 2*i for h.
4
Let b be 57/9 + 4/6. Suppose 0 = -3*m - r, 2*m + 0*m + 3*r = -b. Suppose -5*h + 10*h = 0. Solve -4*w - 3*i = 14, 0 = -w - 3*i + m - h for w.
-5
Let t be (7 - 8)*(59 - 2)/(-3). Suppose 0 = -6*y + 47 + t. Suppose 4*r + 0*r - 16 = 0. Solve -3*q + 25 = -s - r*s, -3*q = 2*s - y for s.
-2
Suppose 0 = 26*p - 30*p - 268. Let s = -65 - p. Solve s*y = -0*x + x - 1, 0 = -y - 5*x - 6 for y.
-1
Let d be 14/(((-4)/1)/(-8)). Let q = -23 + d. Solve k + 2*b + b + 15 = 0, 0 = -q*k - 5*b - 35 for k.
-3
Let d(b) = b**2 - 2*b. Let w be d(3). Let z be (-10)/30*-1*84. Solve n - 9 = -5*j - w, -4*j + z = -5*n for n.
-4
Suppose 4*q = -2*j - 48, 5*q - 3*j + 53 = -7. Let g be q/(-24)*(-1 - -1). Suppose 15 + 18 = 3*p. Solve -p = 2*c + w, 3*c = -g*w + 4*w - 11 for c.
-5
Let c be (-5 - 51/(-9))/(4/114). Solve -3*j = 4*g + c, j + 3*g = 2*j - 11 for j.
-1
Let d(z) be the first derivative of -z**4/4 - z**3 + 5*z**2/2 + 6*z + 7. Let f be d(-4). Solve -c = -f*v - 2 - 10, -2*v - 4*c = -8 for v.
-4
Suppose -3 + 27 = 3*k. Let y(j) = 2*j**2 + 32*j - 26. Let w be y(-17). Solve -w = -4*r - 4*o, -r + 6*r + k = 4*o for r.
0
Suppose -2*s + 2 = 4*m, -2*m - 6*s = -2*s - 4. Suppose 5*g + 5*y - 180 = 0, m = -5*g - 0*y + 4*y + 153. Solve -4*t - 5*k + 10 = 0, -8*k - g = -5*t - 4*k for t.
5
Let v = 8 + -27. Let j = v + 19. Suppose 5*p - 2*g - g - 5 = j, -2*p - 3*g + 23 = 0. Solve x = 2*b + p, 6*x - 2*x - 10 = 2*b for b.
-1
Let s = 3 - 14. Let i = s - -14. Suppose v + k - 6*k = 8, -i*k = v. Solve -3*r = 3*m - 0*m - v, 8 = 4*m for r.
-1
Let m = 310 - 308. Solve 0 = 2*z + 4, 3*z = m*r - z for r.
-4
Suppose 0 = -65*j + 63*j - 114. Let b be j/(-11) + (-22)/121. Solve 0 = -2*i - b*y + 17, -15 = 4*i + y - 4 for i.
-4
Suppose 3*l + 4 = 5*l. Suppose 3*d - 3 = -b + l, 0 = d. Suppose -2*u + 4*t = 10, 3*u + 2*t - 4 = b. Solve 2*i - 3*w = u, 4*w + 5 = i + 2 for i.
-1
Suppose -d - 94 = 2*d - 4*t, d + t = -43. Let y = -30 - d. Solve 4*n - 2*p - 2*p - y = 0, -p + 1 = 2*n for n.
1
Suppose -4*b + 7 = -9, 2*u + 24 = 5*b. Let p be 2*(2 + 1/u). Solve p*r + 0*a = -a - 13, 11 = -r + 3*a for r.
-5
Suppose 5*w - 14 = 2*l, -3*l + 7 = 13. Solve 2*k = w*t, t = -5*k - 4*t - 40 for k.
-