*h - 7 = -z. Suppose m - 4*m + 1 = -v, h*m + 1 = 3*v. Solve 0 = v*j - 0 - 10 for j.
5
Let f(z) = -23*z + 1344. Let k be f(58). Solve 6*h - h = k for h.
2
Let g(x) = 1. Let y(i) = i - 1. Let a(j) = 3*g(j) + 2*y(j). Let s be a(1). Suppose 79*f - 67*f - 84 = 0. Solve 5*w + f = -s for w.
-2
Let q be (3/2)/(12/40). Suppose -2*l - 47 = 5*n, n - 89 = q*l + 4*n. Let x = 19 + l. Solve -x*d - 1 = -10 for d.
3
Let m = 142 + -98. Let v = 47 - m. Solve -8 = -v*z + 4 for z.
4
Let n(y) = -4*y**2 - 2 + 2 + 3*y**2 + 1. Let f be n(0). Solve -2*d - 9 - f = 0 for d.
-5
Suppose -d - 2 = -5. Suppose -4*v + d*h - 27 = 0, 0 = 2*v + v + 4*h - 11. Let z be v - 0 - (-7 - 1). Solve z = -a + 2 for a.
-3
Let a(i) = -2*i - 9. Let l be a(-6). Suppose 8*p - 3*p = -3*c + 45, -5*c = -2*p - 13. Suppose -16*g - 18 = -22*g. Solve -g*m - l = p for m.
-3
Suppose 0 = -30*q + 8*q + 264. Suppose -x = a - 3, 4*a - 15 = 4*x + 37. Solve a*w + q = 4*w for w.
-3
Let k be -1 + (-4)/(16/(-12)). Suppose 6 = 3*o + 18, 13 = 3*d - o. Suppose 4*y = d*y. Solve y = g - 1 + k for g.
-1
Let d be 6/(-135) + 1084/90. Solve -57 + 9 = d*j for j.
-4
Let a(i) = -3*i - 31. Suppose 2*y + 2*w = -28, -y - w = 4*y + 70. Let d be a(y). Solve d = -5*c - 9 for c.
-4
Let s be ((-44)/11)/(0 - (-3)/(-6)). Suppose 4*a - 4*n + s = 0, 0 = -a + 3*n - 10. Solve a*k + 3 + 1 = 0 for k.
-2
Let f = -154 + 170. Solve 0 = f*s - 12*s + 20 for s.
-5
Suppose -7*p = -25 - 10. Suppose 0 = p*j + 4*n - 116, -4*n - 1 = -j + 3. Solve -j = 3*s + s for s.
-5
Let l(o) be the first derivative of -3*o**4/4 - o**3 - o**2/2 + o + 2. Let w be l(-2). Suppose -3*k + w = 6. Solve -3*t + 0 = -k for t.
1
Suppose -21 = -5*n - 1. Let s be n/16 - 25/4. Let y = s - -9. Solve y*z = z - 4 for z.
-2
Let h = 134 - 130. Suppose 11 = h*r + 3. Solve r = t + 4 for t.
-2
Let z be (-32)/6*(-6)/4. Suppose -3*c + z = c. Suppose -c*n + k + 3*k = -8, 19 = 3*n + k. Solve 0*t - 2*t = n for t.
-3
Suppose 0*f = 4*f - 16. Let b(m) be the second derivative of m**4/12 - m**3/3 + 11*m**2/2 - 47*m. Let x be b(0). Solve -f*i - x - 9 = 0 for i.
-5
Let u = 9 - -11. Suppose -h - 49 = -5*d, -4*h - 6 = d - u. Suppose -4*q + 6 + d = 0. Solve -a + q*a = 3 for a.
1
Let w be 18/(-10)*(-20)/12. Solve -w*i = -i + 10 for i.
-5
Let n be (-8)/(-6)*(45/(-10))/(-3). Solve n*p = 3*p + 2 for p.
-2
Suppose 4*t = 2*x - 44, 0 = -13*x + 14*x + 4*t - 4. Solve -9*q + 5*q = -x for q.
4
Let y(f) = -f**2 - 6*f. Let l be 12 + -19 - 3/2*-2. Let o be y(l). Solve -2*z = 2*z + o for z.
-2
Suppose -3*d - 2*h = -36, 5*h = -4*d + 39 + 16. Solve 0*j - 5*j - d = 0 for j.
-2
Let g = -15 - -15. Let k be 1*(-3 + g + 4). Solve -3 = -v + k for v.
4
Suppose 5*r - 2*x = 35, -r + 4*x - 6 = x. Suppose 4*d - 4*o + 6*o + 26 = 0, 0 = 3*d + 4*o + 32. Let t = d - -4. Solve t*b - r = -3*b for b.
3
Suppose -9*p = -12*p. Suppose 2*x - x = l - 9, p = -l + 3*x + 17. Solve -j = -l*j for j.
0
Let d be 1/4 - 381*(-7)/84. Let i = d + -30. Solve -a - 7 = -i for a.
-5
Let h(z) = -z**3 + 5*z**2 - 1. Let o be h(5). Let f be -1 - o*(7 + 4). Let y be 0*((-35)/f)/(-7). Solve y*a = -a for a.
0
Suppose -6*i - 583 = -601. Solve 0 = -4*q + i*q - q for q.
0
Suppose 15 = 2*y - 15. Suppose 4*m = -y + 23. Solve 0*u - m*u = 6 for u.
-3
Let d(f) = f**3 + 4*f**2 - 4*f + 5. Let s be (-12)/8*(-10)/(-3). Let w be d(s). Suppose 3*j = -w*j - 5*q + 16, 5*j - 30 = -5*q. Solve 2*b = j*b for b.
0
Suppose -5*t - x + 197 = -3*t, 2*x = -3*t + 295. Let g = t - 94. Solve g*i - 11 = 4 for i.
3
Let i = 611 + -607. Solve 0 = 4*g - 8 - i for g.
3
Let d(k) = k**2 - 3*k + 2. Let h be (-6)/(-1)*(36/(-8) + 5). Let a be d(h). Solve -2*m + 2 = -a for m.
2
Suppose -u - 50 = -5*g - 0*u, 5*g + 3*u - 50 = 0. Suppose -47*n = -45*n - g. Solve 4*f = 7 + n for f.
3
Let k(n) = -n**2 - 3*n + 6. Let r(v) = 2*v**2 + 5*v - 13. Let w(u) = -7*k(u) - 3*r(u). Let l be w(-9). Suppose -4*b = -b - l. Solve 5*d + b = -12 for d.
-4
Let u = -197 - -203. Solve u*m = 3*m for m.
0
Let l be ((-156)/(-104))/(9/102). Solve 19*o = -74 + l for o.
-3
Let i be (14 + -12)*(-14)/4. Let l(w) = -3*w - 13. Let q be l(i). Suppose 0 = -3*s + q*s. Solve s*n - 4 = n for n.
-4
Suppose -v = 4*j - 2*v, 0 = 4*j - 3*v - 8. Let y(z) = 2*z**2 - z - 2. Let k be y(j). Solve -2*m + 1 = -k for m.
1
Let i be (2 + 22)*(-4)/8. Let s be (i/16)/(3/(-8)). Solve -s*q - 9 = 1 for q.
-5
Suppose 2*x = q + 11, 3*x - 55*q + 51*q - 19 = 0. Solve -5*n + 25 = x for n.
4
Suppose 6*v - 126 = 7*v. Let h = v + 130. Solve -h*a + 2 = -2 for a.
1
Let v = -144 + 147. Suppose -v*i + 2 = 4*r, 3*i - 2*r = 3*r + 11. Solve 4 = u + i for u.
2
Suppose -150 = -67*w + 57*w. Solve 13*s - 8 = w*s for s.
-4
Let w = 24 + -19. Suppose -4*y - 4*h + 4 = 0, -w*h + 5 = y - 0*y. Suppose 0*q - 2*q + 6 = 0. Solve -v + y = q for v.
-3
Suppose -5*o + 3*v = -v + 4, v - 1 = 4*o. Solve 3*j = 15 - o for j.
5
Let v(p) = 10*p + 11. Let j be v(-1). Solve 5*q + 21 = j for q.
-4
Suppose -21*k = 22*k - 1462. Solve 26*o - k = 9*o for o.
2
Suppose -12*k = -300 - 24. Solve -5*a + k = 2 for a.
5
Let n be 5 - 2 - (-3 + -10). Solve 6*u - 14*u = -n for u.
2
Let y(k) be the third derivative of 0*k - 5*k**2 - 1/3*k**3 + 0 + 1/24*k**4. Let j be y(2). Solve w - 1 + 4 = j for w.
-3
Let c = -12 + 13. Let t(w) = -4*w + 2. Let b be t(-6). Let q = 31 - b. Solve q*h + c = 6 for h.
1
Let s(q) = -7*q - 89. Let z be s(-15). Solve 5*x = -z - 4 for x.
-4
Suppose 5*r + 14 + 6 = 0, b + 7 = -3*r. Suppose 0 = b*i - 2*g, 5*i + 2*g - g = 0. Let n be (-8)/(-1 + i) + 1. Solve p + n = 4*p for p.
3
Let i(z) = z**3 - 6*z**2 - z + 10. Let g be 1/(-3)*(-3 - 3). Suppose 0 = g*d - 6 - 6. Let f be i(d). Solve 0 = 2*o - f*o - 6 for o.
-3
Let x(p) = -p**2 + 6*p. Let c be x(3). Suppose -6*m + 9 = -c. Solve 4 = m*f - f for f.
2
Let i be (-1 - -1)*(5 - (-22)/(-4)). Suppose -3*c = -i*c. Solve j + j - 2 = c for j.
1
Let r(t) = -2*t**2 - 2*t - 3. Suppose g - 6 = -h, -9 + 3 = -4*h + 2*g. Let o be r(h). Let s be (-114)/o - 4/18. Solve y = 3*y + s for y.
-2
Let l be -1 - (-6 + 1/(-1)). Suppose -39*f + 40*f = -5*k + 42, -2*k + f + 21 = 0. Let b be ((-4)/l)/(k/(-81)). Solve g - b = -1 for g.
5
Let w(a) = -a + 6. Let r(y) = -y. Let b be r(0). Let z be w(b). Suppose 4*g = o + g + 6, 3*g - z = 2*o. Solve o*i = 2*i - 4 for i.
2
Let x be -2*(2 + (-58)/4). Suppose x = -4*u + 5. Let c = 8 + u. Solve c*j - 6 = j for j.
3
Let g(y) = y**3 - 10*y**2 - 25*y + 33. Let s be g(12). Solve b - s = -25 for b.
-4
Let k be (-8)/(-7)*(252/8)/9. Suppose -k*h = -4*o + 4, o = 4*h - 6*h - 2. Solve 3*u - 6*u + 12 = o for u.
4
Let c(y) = 12*y**3 - 14*y**2 + 2*y - 8. Let m be c(2). Solve -5*d = -m + 26 for d.
2
Let x be -4 - -1 - (1 + 18*-1). Solve -2*c + 12 = x for c.
-1
Suppose 3*x = -1 + 16. Suppose -k - 21 = 4*g, -5*g - 15 = x*k - 0*k. Let q(s) = s**2 + 5*s - 4. Let t be q(g). Solve -3*a - t*a = -20 for a.
4
Let z be 6 - (13/1 - 10). Suppose 0*c = 4*c - 16. Suppose -16 = -8*r + c*r. Solve r*h - z*h = -3 for h.
-3
Let l(s) = 128*s - 201. Let u be l(2). Solve -u = -12*i + i for i.
5
Suppose 2*d + 4*n + 10 = 0, 0 = -3*d + 5*d - 3*n - 25. Suppose 5*f + 2*x - 10 = 0, -f + 2*x = f - 4. Suppose -7*i + f*i = 0. Solve -15 = -d*u - i*u for u.
3
Let f(v) = -v**3 - 2*v**2 + v + 4. Let g(m) = m**2 - 11*m + 10. Let y be g(10). Let b be f(y). Solve 3*i = 5*i + b for i.
-2
Let v be (-4608)/63 + (-2)/(-14). Let w = 104 + v. Suppose 1 = -5*h + w. Solve -y + h = y for y.
3
Suppose -5*k - 12 = -d, -26 = 3*d + 5*k - 22. Let j be 1*-2 - (-2 - 12). Solve -2*h + j = d*h for h.
3
Let q(r) = 10*r + 5. Let p be q(3). Let o = 18 - p. Let u(t) = t + 19. Let v be u(o). Solve -2*y - v*y + 12 = 0 for y.
3
Suppose 8 = -0*g + g. Let b(q) = 7*q**2 - 12*q - 1. Let v(f) = -3*f**2 + 2*f. Let w(l) = -b(l) - 2*v(l). Let k be w(g). Solve k = 4*s - 3 for s.
1
Let c = -2 - -6. Let x be 3/((-3)/(-25)*5). Suppose m + 2 = 3*m + 5*y, 3*y = x*m - 5. Solve 0 = -u + c + m for u.
5
Suppose -6*c = -2*c + 4. Let k = c + 2. Let d = k - -17. Solve 3*a + d = 3 for a.
-5
Suppose 3*t = 5*f, -7 = -2*t + 2*f - 3. Let d be ((-88)/12 + 4)/(4/(-84)). Suppose -d = -a - 6*a. Solve -3*b - t = a for b.
-5
Let u(h) = 8 - 8 - 2*h + 0 - 9. Let m be u(-7). Suppose -2*k + 4 = -6, -5 = 2*f - m*k. Solve -7*z + 2*z = -f for z.
2
Suppose -344*v = -310*v - 2312. Solve -v*m = -79*m - 33 for m.
-3
Let a = 5 + 2. Suppose 3*p - 4*k 