-18) - 1). Solve t = 6*h - h for h.
1
Let v(w) = -w + 3. Let y be v(1). Suppose -m - 2 = 0, 0 = -y*l + 2*m + 7 + 1. Suppose 0 = -c - l*c. Solve 5*g + 6 + 9 = c for g.
-3
Let o be 2/(-9) - (-1012)/99. Solve -6*m = -11*m + o for m.
2
Let z(g) = g**2 + 4*g + 3. Let l be z(4). Suppose 8*r - 3*r = l. Suppose 0 = 5*a + 2*k - 15, k + 3 = a + r. Solve -q - a + 4 = 0 for q.
3
Let c(x) = 12*x + 112. Let v be c(-8). Solve 31*t - 35*t = -v for t.
4
Let y(v) = -2*v - 2. Let p be y(7). Let s = -15 - p. Let l be 0*(2 - 6)/8. Solve 0 = -o - l*o + s for o.
1
Suppose -f = 5, 5*g - 3*f = 22 + 18. Let q(o) = 0*o + 0*o + g*o + o**2 + 3 + 2*o**2. Let s be q(-3). Solve -s = -y + 6*y for y.
-3
Let i be (-55)/(1 - 6) + (0 - -1). Solve i*w - 2*w + 40 = 0 for w.
-4
Suppose 3*p = -s + 56, -2*p + 53 = 3*s - 108. Let k = s + -47. Solve 4*v = 6 + k for v.
3
Let b be -4*(-3)/3 + -70. Let h = 67 + b. Solve 16 - h = -3*n for n.
-5
Let z = 689 - 685. Solve -z = -9*h + 8*h for h.
4
Let j = -4 + 6. Let s = -1 - j. Let d be (12/10)/(s/(-30)). Solve -4*g - d = -0*g for g.
-3
Let s(x) = 2*x - 4. Let a be s(3). Let q(o) = -2*o**a + 0*o**2 + o**2 - 5 + 20 + 2*o. Let r be q(5). Solve d + d + 10 = r for d.
-5
Suppose 56*y = 46*y + 1020. Solve y*g = 103*g - 2 for g.
2
Suppose -7*n + 3*n + 32 = 0. Let x be (-20)/n*(-2 + 0). Solve -x*p = -4*p + 2 for p.
-2
Let s = 282 - 279. Solve -11 = -s*y - 8 for y.
1
Let h be ((-6)/9)/((-4)/30). Let o(j) = j**2 + 2*j + 2. Let p be o(-4). Suppose -26 = -4*v - p. Solve h*x = -1 - v for x.
-1
Suppose -2*z - 2*o - 13 = 3*o, -z + 3*o + 10 = 0. Suppose -w = -7 + z. Solve 2*p + w = 4*p for p.
3
Let f = -47 - -61. Suppose -2*u + 2*z + 2 + 20 = 0, 0 = 4*u + 2*z - f. Solve 0 = -u*b + 4*b + 4 for b.
2
Suppose -4*o = 3*l + 27 - 87, 0 = -3*l - 12. Solve o = -9*z + 3*z for z.
-3
Suppose 31*t = -18*t. Suppose -3 - 13 = -4*v. Solve -s + v + 0 = t for s.
4
Let f(j) = -j**3 - 6*j**2 + 2*j + 6. Let y be f(-6). Let r(x) = -3 + 144*x + 144*x - 289*x. Let i be r(y). Solve c = i - 1 for c.
2
Let u be 55/(-15) + 4 + 308/3. Solve 3*y + 118 = u for y.
-5
Let r(a) = -a**2 + 6*a - 5. Let j be r(4). Suppose 0 = -b, 3*i + j*b = 2*i + 5. Suppose y + i = 4*l, 2*l + y = 2*y + 5. Solve z - 3 = -l for z.
3
Let u = 2 + 5. Suppose -11*o = -u*o - 80. Solve -5*i = -i + o for i.
-5
Let t(m) = -m - 5. Let q(i) = -i - 6. Let y(r) = -2*q(r) + 3*t(r). Let l be y(-4). Suppose -l = -b + 4. Solve -3*f + b = -2*f for f.
5
Suppose -5*i - 4 - 11 = 0. Let n(a) = -a**2. Let h(q) = q. Let y(c) = h(c) - n(c). Let g be y(i). Solve -3*u + g*u = 0 for u.
0
Let h = 41 + -11. Solve -32*a - h = -26*a for a.
-5
Suppose 76 - 1 = 5*p. Let a = -15 + p. Solve a*s = 4*s for s.
0
Suppose -48 = 36*u - 32*u. Suppose 2*o = -5*b - 17, -3*b = -5*o - 4*b + 15. Let y be (21/u)/((-1)/o). Solve 0 = y*d - 3*d for d.
0
Let c = -151 + 142. Let r(d) be the second derivative of d**4/12 + 7*d**3/6 - 13*d**2/2 + d. Let w be r(c). Solve 0 = -0*m + w*m for m.
0
Let p = 23 - 7. Let b be (6 - 4)*-2 - -21. Let u = b - p. Solve v - 2 = u for v.
3
Suppose -d + 4*d + 6 = 0. Let a = d + 2. Suppose -3*x + 9 = -3*g, 5*x = x + g + 18. Solve a = -f + 4 - x for f.
-1
Let s = 264 + -259. Let r(y) = -y + 22. Let j be r(12). Solve -s*b - j = -0*b for b.
-2
Let a(f) = f**2 - 44*f + 233. Let y be a(38). Solve y = 4*k - 3 for k.
2
Suppose -59 = 4*t + 141. Let s = -47 - t. Solve 1 = -2*z + s for z.
1
Suppose 4*s - 21 = -5*m, -8 + 20 = 4*m + 2*s. Let t be (-8*(-6)/20)/(2/(-10)). Let w be (-9)/t + (-30)/40. Solve -n + m - 3 = w for n.
-2
Let k = 41 + -21. Suppose -h + k = 4*h. Solve h + 0 = r for r.
4
Let w(h) = -h**2 - 7 - 21 + 10*h - 24*h. Let k be w(-8). Solve -k = 4*n + n for n.
-4
Let o = 1143 + -1128. Solve b = -o + 14 for b.
-1
Suppose 2*q = -3*i - 22, 0*i - 4*i = -2*q + 20. Let x be i/10 - (-78)/30. Solve -s + 3 = -x*s for s.
-3
Suppose 2*u = -1 - 9. Let j = 8 + u. Solve j = -2*q + 3*q for q.
3
Let g = 44 + -34. Suppose -13*c = -g*c - 18. Solve -3*f = -0*f + c for f.
-2
Let x be (27/(-5))/(1/(-5)). Suppose 3*b + 0*b = x. Suppose 4*s - b = s. Solve -4*f + s = -5 for f.
2
Let k(i) be the second derivative of 1/6*i**3 - 6*i + 9*i**2 + 0. Let l be k(-15). Solve -l*v + 6*v = 12 for v.
4
Let v be (-984)/246 + -2 + 1 + 10. Let f(j) = j + 19. Let q be f(-11). Solve -v*z + z + q = 0 for z.
2
Let w(o) = -o**2 + 19*o + 420. Let z be w(-13). Solve 0 = 13*x - z*x - 9 for x.
1
Let u = 3 + 7. Suppose -5*f - u = y, 0 = -0*y - 2*y - f + 7. Suppose -5*j - 15 = y*b, -5*b = -0*j + 2*j. Solve 0 = -b*v - 3*v + 20 for v.
4
Let z(t) = -t**3 - t**2 + 4*t + 4. Let j be z(-3). Solve -30 = -10*l + j for l.
4
Let c(u) = u**3 + 15*u**2 + 13*u - 6. Let l be c(-14). Solve 0 = -5*f + f - l for f.
-2
Let p be 0 - 2 - (5 - 3). Let i = p - -7. Solve 4*y + 19 = i for y.
-4
Let k = 17 + -9. Let r = 2 + -2. Suppose r = -2*y - 2*n + k, 18 = 3*y + 6*n - n. Solve y = 2*d - 9 for d.
5
Suppose -10 = -s - 5*y, 3*s = -y + 8 - 6. Solve 14*p - 4 + 32 = s for p.
-2
Let s(p) = 2*p**3 - 10*p + 9. Let r be s(3). Solve r*h = 30*h - 9 for h.
-3
Suppose -4*k - 5*o = 25 - 30, 5*k - 4 = -4*o. Solve 0 = -h - k - 5 for h.
-5
Suppose 9*g - 5*g = 4. Suppose s + 2*d = g, 0 = -5*s - 0*d + 2*d + 41. Solve -5*m + 3 = -s for m.
2
Let g = -551 + 557. Solve -6*i + 12*i - g = 0 for i.
1
Let t be (1 - -36)/((-1 - -1) + 1). Suppose -32*f + t*f = 25. Solve -8 = -h - f for h.
3
Suppose -5*f + 15 = 5*q, -8 = -5*f + 3*q - 1. Let w = -36 - -40. Suppose -5*u - 4 = -w*a + 6, 0 = -4*a + 3*u + 14. Solve -3 = -a*o + f for o.
1
Let v be (-6)/8 + 582/8. Suppose v = 4*u + 2*u. Solve -2*m + 4 = u for m.
-4
Let d(t) be the first derivative of -t**3/3 - 4*t**2 - 4*t + 7. Suppose 5*z = 2*s - 39, -z + 4*s - 14 = 1. Let p be d(z). Solve p*h - 10 - 2 = 0 for h.
4
Let m(q) = 7*q - 4. Let a(f) = -20*f + 11. Let t(n) = -6*a(n) - 17*m(n). Let j be t(6). Let o(i) = -3*i - 47. Let g be o(-17). Solve -j*d + g*d = 4 for d.
-1
Let g = -22 - -38. Suppose -4*n - 5*m = -2*n + g, -4*m = 4*n + 8. Solve n*x + 0 = 6 for x.
3
Let m be (-68)/6*3 + 3. Let r = m + 34. Solve 25 - 10 = -r*l for l.
-5
Suppose 3*m = 2*m + 14. Let d = m - 11. Solve -d*v = -6*v for v.
0
Suppose 70*p - 659 = 2001. Solve -11*n - p = -93 for n.
5
Let v be (2/(-4))/(-10 + 9)*64. Solve 9*n + 7*n = v for n.
2
Suppose 4*s = 1 + 3. Let h(w) = 21*w + 198. Let v be h(-9). Solve s = 2*r + v for r.
-4
Let x(w) = -w**2 - 2*w + 5. Let c be x(0). Suppose y = -c*o + 15, -2*y + 0*y + 12 = 4*o. Solve d + y*d - 2 = 0 for d.
2
Suppose -7 = -4*t + 1. Let r be (5 - 1) + 0 + t + 14. Solve 3*y + y = r for y.
5
Suppose -3*v = -2*c - 13, 2*c = -v - v - 38. Let w = c - -14. Suppose -2*k - 4*p + 12 = -0*p, w = 4*p - 8. Solve m + 3 = k for m.
-1
Let w be 1*40/(30/6). Solve -2*n = -w - 0 for n.
4
Let l be (28/182)/1 - 126/(-26). Let d be (-1)/(-2) - (-3)/2. Solve z = -d + l for z.
3
Let d(f) = f**2 + 5*f - 10. Let u be d(-7). Suppose -2 + u = s. Solve -r - 1 = s for r.
-3
Suppose 0 = -6*v + 3*v. Suppose v*x + 40 = 2*x. Suppose 0 = -4*u + x, -3*p - 2 = -2*u + u. Solve 2 = t + p for t.
1
Suppose 31 + 17 = 3*r - 3*d, -5*r - 4*d + 35 = 0. Solve r*i = 3*i + 8 for i.
1
Suppose 0*w + 2 = w. Suppose 3*f = 4*d + 4 - 0, -2 = 2*d. Solve f = s - 0 - w for s.
2
Suppose -113 - 27 = -5*s. Suppose 2*m - 2*d = -m - 21, 5*m - 5*d + 35 = 0. Let k be m/s*0/(-2). Solve -b - 3 + 1 = k for b.
-2
Let c(g) = -g - 1. Let t be c(-3). Let j(s) be the second derivative of 5*s**3/6 - 25*s**2/2 + 14*s. Let m be j(5). Solve m = l + t*l for l.
0
Let q be -3*(-2)/18*(37 - 7). Solve -4*k + 22 = q for k.
3
Let p(o) = -4*o + 4*o - 1 + 0*o - o. Let a be p(-6). Let v(b) = -b - 4. Let n be v(-4). Solve t + a = -n for t.
-5
Let k(n) = -n**3 - 23*n**2 + n + 33. Let j be k(-23). Solve -11*g + j*g = 0 for g.
0
Let h = -2687 - -2920. Solve 4*v + 213 = h for v.
5
Let x = 2016 + -1900. Solve 8*f - x = -140 for f.
-3
Let t(i) = -i**2 + i + 4. Suppose 3*p + 3*p = 0. Let w be t(p). Solve 0 = w*f + 10 + 10 for f.
-5
Let n be -6 + (10 + -6 + 1 - -22). Solve 0 = -18*h + n*h for h.
0
Let u(f) = 7*f + 8*f - 9 - 12*f. Let r be u(6). Solve 0 = 4*t + 3 + r for t.
-3
Suppose 20 = -r + 4*f + 5, 25 = 4*r + f. Let n be 9 + (-2)/(r - 4). Solve n = -3*o - 5 for o.
-4
Let o = 21 + -28. Let x be (-2 - o) + 21/7. Solve -u + x = 3*u for u.
2
Suppose 2*j + x = 47, 4*j + 3