f, f = -2*u + 6*f. Solve 0 = -2*d - u + 6 for d.
3
Let y = 1838 + -1697. Solve 7*z - 169 = -y for z.
4
Suppose 2*d - 6*d = r + 22, -r + 18 = -4*d. Let j(n) = -n**2 - 4*n - 3. Let x be j(r). Let c be x*-6*(-2)/6. Solve 4*g + 6 = -c for g.
-2
Suppose 10*a = 3*a. Suppose -5*q + 2 = -0*q - 3*c, 2*c - 2 = a. Solve -2*i + 11 - q = 0 for i.
5
Suppose -5*m + 58 + 767 = 0. Let u be (6/15)/((-3)/m). Let o = 24 + u. Solve 0*r + r - o = 0 for r.
2
Let o = 89 - 76. Solve -o - 3 = -4*b for b.
4
Let i(w) = -w**2 + 2*w - 5. Let z(p) = -16*p + 21 + 8*p + p + 5*p**2. Let g(q) = 9*i(q) + 2*z(q). Let a be g(1). Solve -2*r + a = -4 for r.
3
Suppose 4*t = g + 10 + 7, 5*g = 3*t. Solve -t*p + 4*p + 4 = 0 for p.
4
Let m(g) = g**2 - 19*g - 22. Let p be m(20). Let l be 12/(-54) - p/9. Suppose 0*c + c = 0. Solve c = -2*w - l*w for w.
0
Suppose -2*p = -3*v - 63, 4*p - 81 - 52 = -v. Let x = p - 24. Solve -4*n + x + 11 = 0 for n.
5
Let s(f) = -f + 5. Let m be s(1). Solve m - 4 = 6*k for k.
0
Let w(x) = -4*x - 19. Let m be w(-6). Let b be 6/(-4)*(-4)/3. Let j be (-5904)/(-270) - 2/(-15). Solve -m*i = b - j for i.
4
Let q(g) = 5*g + 1. Let c(f) = f + 1. Let x(z) = 6*c(z) - q(z). Suppose 0 = 4*p - 2*h, -2*p - 2*h = -h. Let d be x(p). Solve -j + d = -6*j for j.
-1
Let v be (8/6)/(8/60*10). Solve -3 = -2*m - v for m.
1
Let i(j) = -j**3 - 7*j**2 - j - 6. Let q be i(-7). Suppose 2*v - 15 = -q. Solve 0 = -3*t - v + 1 for t.
-2
Suppose 0 = 8*m + m - 171. Let l = m + -17. Let p = 14 - 7. Solve 10 = -l*b + p*b for b.
2
Suppose -5*t + 105 = -5. Suppose 26 = s - 5*p, -3*s + 4*p + t = -2*s. Suppose -2*c + 34 = -9*m + 7*m, c - 3*m = 15. Solve 3*x + s = c for x.
4
Suppose 0*b + 3*a = 5*b - 161, a = 4*b - 133. Suppose b = 7*f + 13. Solve -2*m + 1 = -f*m for m.
-1
Let o(i) = i**3 + 11*i**2 - 10*i + 14. Let j be o(-12). Let v = 1 - j. Solve v = -5*h - 4 for h.
-3
Let h(c) = -c**2 + 10*c - 2. Let m be h(10). Let l be (-1)/(m - (-20)/8) - -2. Solve l = u - 4 + 6 for u.
-2
Let k(n) = 8*n + 400. Let f be k(-50). Suppose 0 = 4*i - 12 - 8. Suppose i*v + f*v = 60. Solve h + 2*h + v = 0 for h.
-4
Let r be 1/(-4) - (-2)/8. Suppose r = -2*j - 0 + 6. Suppose 5*z = 6 - 1. Solve -z = 4*c - j*c for c.
-1
Suppose -64 = -57*x + 50. Solve x*z + 60 = 58 for z.
-1
Let q(j) be the third derivative of j**4/12 + 7*j**2. Let k be q(-3). Let l = -4 - k. Solve -c - 6 = l*c for c.
-2
Suppose 22 = 2*m + 4*r - 20, -60 = -5*m + 5*r. Suppose 0*x - m = -3*x. Solve x*y + 2 = 7 for y.
1
Let h = -3 + 5. Solve -4 + h = -2*c for c.
1
Suppose -s = 2*d + 16, 31 = -5*d - 3*s - 9. Let w = d - -5. Let p be (1 + (w - -2))/2. Solve p = 2*y - 3*y for y.
0
Let c(i) = i**2 + 9*i + 3. Let s be c(-8). Let n be (5/s)/(2 - 18/8). Solve 2*h + 12 = n for h.
-4
Let v(q) = -q**3 + 4 + 10*q + 0 + 23*q**2 - 13*q**2 - q**2. Suppose a - 6 = k - 14, 48 = 4*k + 4*a. Let s be v(k). Solve -5*o + 3*o - s = 0 for o.
-2
Let z be 6*(21/(-9) + 3) - -2. Solve 0 = 2*q - z for q.
3
Let v(c) = -c**3 - 11*c**2 + 6*c - 65. Let f be v(-12). Solve -18 = q - f*q for q.
3
Suppose 108 = x - 0*x. Let r = x - 108. Solve r = -2*z + 7*z for z.
0
Suppose -c + 2*a + 1 = 0, 4*c = 4*a + 3 + 1. Let q be (-20)/(-12) - c/(-3). Suppose -8 = q*p - 4*l, p - 3*l - 2 = -8. Solve -4*n + 0 + 4 = p for n.
1
Let p be (-16)/(-48) + 29/3. Solve -p*z - 5 = -5*z for z.
-1
Let z = -1 - -16. Suppose z = 3*g - 3. Solve 6 + g = -4*m for m.
-3
Suppose 4*k = 5*s - 2, 2*s + 4*k + 19 = -k. Let h be ((-78)/(-4))/(2 + -5)*s. Solve 5*y = h + 2 for y.
3
Let g(r) = -r**3 - 4*r**2 - 4. Let w be g(-4). Let n = -235 - -244. Let t = n + w. Solve t = -6*z + z for z.
-1
Suppose -2*q + 2*k = 3*k + 13, 5*q + k + 25 = 0. Let r be q + 5 + (0 - -2). Let b be 3 + 3/((-6)/(-4)). Solve r*v = b + 4 for v.
3
Suppose 12*x = d + 43, 4*d - 2 - 2 = 4*x. Solve d*p + 35 = 10 for p.
-5
Let v(n) = -4*n**3 + 2*n + 3*n**3 - 3*n**3 - 1. Let x be v(1). Let m = x + 6. Solve 0 = -a - m*a for a.
0
Let q = -158 - -199. Solve q = 7*b + 13 for b.
4
Let o be -1 + (-15)/(-10) + 18/4. Solve 0 = -3*c + 2*c + o for c.
5
Suppose 4 = -0*p + 4*p - 5*t, 0 = 3*p + 4*t - 3. Let k(f) = 5*f**2 - 2*f. Let j be k(p). Solve 0 = j*o + 6 + 6 for o.
-4
Suppose 5*x + 13 = -2*l, -2*l + 0*x - 7 = 3*x. Suppose -l - 1 = -3*a + 2*h, -5*a = 2*h - 14. Solve a*c - c = 1 for c.
1
Let d be (-4 - -1) + 4 + 0. Let y be -4 + (1 - 0/d) - -3. Solve -j + y = -1 for j.
1
Let b(m) = 5*m + 28. Let x(w) = -14*w - 84. Let c(j) = -11*b(j) - 4*x(j). Let s be c(-25). Solve -s*f - 4 = -1 for f.
-1
Suppose 5*x - 55 - 15 = 0. Let v = 139 + -145. Let r = x + v. Solve r = u + u for u.
4
Suppose 0 = 5*x + 32 + 183. Let r = 48 + x. Solve 3*t - r = 4 for t.
3
Suppose 3 + 13 = 2*x. Let n be (x/32)/(1/20). Suppose v - 66 = -n*v. Solve v = 2*q + 3 for q.
4
Let d be 16/56 - 248/(-14). Let w be (-9)/d*0/(-2). Solve -3*k + 0*k + 15 = w for k.
5
Suppose -3*r + 20 = 4*y, 4 = -3*y - r + 19. Suppose 0 = 4*v + 2*u - 5*u - 48, 3*u = -2*v + 6. Solve v + 11 = -y*c for c.
-4
Let d(r) be the second derivative of -7*r**3/6 - r**2 + 7*r. Let f be d(1). Let l(m) = -m - 7. Let k be l(f). Solve 0 = v + v - k for v.
1
Let s be ((-1)/1)/(6/(-24)*1). Suppose -m = -5*u + 3 - 16, 4*m - 20 = s*u. Let t(l) = -l**3. Let d be t(0). Solve -m*g - 2*g - 15 = d for g.
-3
Let m = -20 - -25. Suppose 25 = -m*i, 5*r + i + 1 = 6. Solve r = 5*l - 13 for l.
3
Suppose 4*y - 8 = 2*g, 19*y + 4*g + 16 = 14*y. Let f(n) = -6*n. Let t be f(-1). Solve 3*j - t + 0 = y for j.
2
Let w = 219 - 898. Let k = w - -448. Let z be 1/(-2) - k/14. Solve -4*l = z - 4 for l.
-3
Let p(m) = -3*m**3 - 30*m**2 + m + 12. Let s be p(-10). Suppose 5*q = 4*l + l - 10, -4*q = -l - 4. Suppose 4 = b + q. Solve s*f = -b*f for f.
0
Let v(z) be the first derivative of z**3 + 3*z**2/2 + 2. Let s be v(-2). Suppose -24 = -2*a - q, 3*a - 3*q + 39 = s*a. Solve -3*u + a = 5 for u.
2
Suppose 0 = g - 2*g + 5. Let p(u) = u**3 - 3*u**2 - 7*u + 1. Let s be p(5). Solve m - g*m = s for m.
-4
Let d be (14 - 2)/(9/6). Solve 27 = -z - d*z for z.
-3
Suppose 0 = 6*a - 4*a - 3*c - 90, -45 = -a + 2*c. Solve -13*r - 2*r + a = 0 for r.
3
Suppose 20*h + 73 = 333. Solve 2*z = -h + 5 for z.
-4
Let a be (-952)/102*(1 - 13/7). Solve 23*w = 19*w + a for w.
2
Let s = 69 + 4. Suppose -h - 29 = -2*j, 0 = -4*j + h + s - 14. Solve -3*u = 2*u + j for u.
-3
Suppose 186 = -4*u - 2*l, 38 = 3*u - l + 175. Let n = u + 52. Solve d - n*d - 10 = 0 for d.
-2
Let r = 46 + -38. Suppose 21 = -w + r*w. Solve w = 3*c - 3 for c.
2
Let v(t) = 22*t**3 - t**2 - 14*t + 5. Let b(k) = 15*k**3 - k**2 - 9*k + 3. Let x(w) = -8*b(w) + 5*v(w). Let o be x(-1). Solve 4 = -2*s + o for s.
4
Let w = 7 - 4. Suppose w*k + k = 0. Let m = -12 - -12. Solve k = -m*b - 2*b for b.
0
Suppose 0 = -99*r + 106*r - 42. Solve 0*s - 6*s = -r for s.
1
Suppose -151 = -4*o - 5*v, 4*v + 15 = v. Suppose -5*h + 104 - o = 0. Let r = -7 + h. Solve 10 + r = 5*d for d.
3
Let u(j) = -j**2 - 7*j. Let f be (-3)/(18/14 - (-6)/(-21)). Let h be u(f). Solve -2*o + h = -6*o for o.
-3
Suppose -5*d - 5*z = -3*d - 14, 3*d = -5*z + 11. Let c = 6 + d. Suppose -18 = -5*v + 3*v. Solve 0 = c*t + v for t.
-3
Suppose -u = -2*h - 8, -4*u - 2*h = -8*u + 56. Solve 5*k - 55 = u*k for k.
-5
Let b(v) = -v**3 + 12*v**2 - 12*v + 14. Let q be b(11). Suppose -q*x - x = 0. Solve -p - p - 4 = x for p.
-2
Suppose -42*k = 21*k - 1008. Solve -k*s + 45 = -7*s for s.
5
Let d be (1 + -3)*(-40)/(2 + 3). Let q(u) = u**3 + 3*u**2 - u - 1. Let j be q(-3). Let y be (j/(-6))/(1/(-6)). Solve y*l = d - 6 for l.
5
Suppose s = -2*r + 3, 3*s + r = -s + 5. Let p be s/(-5) - (-1)/5. Suppose p*k = -l - 2*k + 5, 3*k + 38 = 2*l. Solve 5*c + l = -12 for c.
-5
Let g = -2 - -2. Let s(f) = 2*f**2 + 2*f - 8. Let o be s(2). Solve g = -c - o for c.
-4
Let a be (-80)/(-40)*(2 + -1). Let g = 4 + 0. Let p be (-2 + 2)*(-2)/g. Solve p = a*d - 4*d + 10 for d.
5
Suppose 0 = -3*x + 7 + 5. Solve -x*d - 7 = -15 for d.
2
Let m be (-2*12)/(-4) + 4. Suppose -l - 9 = -m*l. Solve -2*u + 3 = l for u.
1
Suppose -7*h - 44 = -9. Suppose a = 4*a - 42. Let z = a + h. Solve -z = t - 4*t for t.
3
Let k = -558 - -562. Solve -8*t + k = -4 for t.
1
Let x(b) = 4*b**2 + 2*b. Let j be x(-2). Suppose -5*c = -3*z + 2 - j, -5*c = 4*z - 45. Let a be (-2)/4*(-5 + 3). Solve a = 4*l + z for l.
-1
Let l = -244 + 254. Solve -6 = 4*o + l for o.