0*y - 21. Let z be n(-12). Solve -z*k + k = 4 for k.
-2
Suppose 7*h + 132 = 10*h. Suppose -5*y = -13 - 7, -4*b - 8 = -5*y. Suppose -b*g + h = 17. Solve 6*r - g = 3*r for r.
3
Let f = -12 - -17. Suppose -3*c - l + 28 = 21, 0 = -f*c - l + 15. Solve 2*m + c = -2 for m.
-3
Suppose 0 = -14*o + 13*o + 15. Suppose -2*l - 11 + o = 0. Solve l*f = 8 - 0 for f.
4
Let n(v) = -2*v - 6. Let y be n(-5). Suppose b - 125 = -y*b. Suppose 7*i + b = 12*i. Solve -i*c + 0*c = 25 for c.
-5
Suppose 0 = -4*f + 8*f - 8. Suppose 0*x + 16 = 5*n - 2*x, f*n = -3*x + 14. Solve -n*s + 5 = s for s.
1
Let w = 2 - -5. Suppose 18 = w*q - 10. Solve -2*y - 2*y = q for y.
-1
Let w(b) = -11*b**2 - b + 8. Let c be w(0). Solve -3*u + 4 + c = 0 for u.
4
Let d(x) = 0*x**3 - 1 + 2*x**3 - x**3 + 2*x**2. Let b be d(-1). Let t = 101 - 91. Solve -5*u + t = -b*u for u.
2
Suppose 0 = -4*u - u + 15. Suppose 4*t - 96 = 2*n, 0 = -3*t - u*n + 5*n + 70. Suppose -2*f - 12 = -z, -z - t = -4*z - 4*f. Solve -2*d - 3*d + z = 0 for d.
2
Let g(c) = c**3 + 3*c**2 - c - 2. Let i be g(-2). Suppose -f + x + 15 = 2*f, -i*x = 5*f - 8. Let d be (-4 - -8)*2/f. Solve 7 - 3 = -d*t for t.
-2
Let f(t) = -3*t**2 - 15*t - 22. Let c(i) = 7*i**2 + 31*i + 43. Let m(b) = 4*c(b) + 9*f(b). Let z be m(13). Solve -o + 5*o = z for o.
0
Let l(x) = -2*x. Let h be l(-5). Suppose -124 = 9*c - 43. Let b = h + c. Solve -5 = -n - b for n.
4
Suppose j = 6*j - 20. Suppose -2*m + 34 = j*l, -4*l - 2*m = -5*m - 9. Solve -3*c + l = -0*c for c.
2
Suppose -8 - 10 = -2*p. Suppose -3 = n + 2*g, -2*n + 3*n + 3*g + 6 = 0. Let f = -5 - -8. Solve p + n = f*s for s.
4
Let h(t) = -t**2 + 15*t - 5. Let x(z) = z**2 - 10. Let i be x(-5). Let d be h(i). Let b be (0 - -5)/(6 + d). Solve -b*g = -0*g - 25 for g.
5
Let q = -50 - -62. Suppose -2*l + 7 = 4*b - 9, 0 = -3*b + l + q. Solve b*u + u = 5 for u.
1
Suppose 0 = 4*n + 7 + 1. Let j be -2*(10/n + 4). Let u be 3*2/9*3. Solve j + u = -4*s for s.
-1
Suppose 3*h - 24 - 120 = -2*x, -2*h - 5*x + 107 = 0. Solve 50*b = h*b + 12 for b.
3
Suppose -h + 40 = -5*h. Let v be ((-2)/(-5) - 1)*h. Solve 0 = -5*a + 3*a + v for a.
3
Let a be (-22)/11*3/(-2) + 2. Suppose a = 11*o - 17. Solve -o*y - 6 = -0*y for y.
-3
Let a = 414 + -411. Solve a*o + 21 = 12 for o.
-3
Let w(j) = 5*j - 212. Let i be w(43). Solve v + i = -2*v for v.
-1
Suppose 0 = 14*c - 13 - 43. Let y be 7 - (3 + 0 + -2). Solve -v = -y + c for v.
2
Let y be 15066/171 + 2/(-19). Solve -y*a + 86*a + 10 = 0 for a.
5
Let f = 1876 - 1876. Solve f = 25*i - 26*i for i.
0
Let y be (1 - (-15)/(-3)) + 0 + 10. Let l be y/36*-3 - (-18)/4. Solve -1 + l = -i for i.
-3
Suppose -2*s - 2 = -3*s. Suppose -3*n = -g - 8, -7*g + 36 = 4*n - s*g. Solve -n*t = -4 - 4 for t.
2
Suppose -5*j + 5*z + 240 = 0, -j - 3*z - 2*z = -18. Suppose -39*w = -j*w + 20. Solve -9 = w*a + 11 for a.
-4
Let h(v) = -2*v - 4. Let m be h(-3). Let g be -23 + 8/(-4)*2. Let p be (-32)/(-6)*g/(-12). Solve -m*z = z - p for z.
4
Let w(y) = 3*y - 3. Let k be 34/17*(-1 + 2). Let d be w(k). Solve -d*l + 5 = -1 for l.
2
Suppose -d + 4 = 3*d. Let w be (-16)/140*-7 + 12/10. Solve -f = d - w for f.
1
Let t be (-29)/116 - (-2 + 101/(-4)). Suppose -21 = -5*d + p, -d + 0*p + 5*p + 9 = 0. Suppose -d*j + 29 = -t. Solve -2 = 3*x - j for x.
4
Let w(c) be the second derivative of 1/2*c**2 + 4*c + 1/12*c**4 + 0*c**3 + 0. Let p be w(2). Solve 3*n = 2*n - p for n.
-5
Let g = 22 - 18. Let x be g/(-2) - 0 - -1. Let a(y) = 9*y**2 - 3*y - 2. Let c be a(x). Solve -5*o = 15 + c for o.
-5
Suppose 4*y - 30 + 6 = -3*v, y - 4*v = 6. Suppose 2*i = y*i + 36. Let o be 60/8*(-6)/i. Solve -o*h + 4 = -h for h.
1
Let z be (-154)/539 + (-2)/((-14)/37). Solve -6 = z*g - 1 for g.
-1
Let z(b) = b**3 - 15*b**2 + 2*b - 18. Let s be z(15). Suppose 4 = 4*j - s. Suppose 3*q - j*q = -6. Solve h = q*h for h.
0
Suppose -2*o + 2*b + 6 = 0, 27 = 3*o + 2*b + b. Suppose 0 = o*d - 0*d - 24. Solve v = d*v for v.
0
Let i be (1 + 2)/((8/3)/8). Suppose i = -2*u + 3*w, -3*u = -w - 7 + 3. Solve 0 = b + u*b for b.
0
Suppose -2*y = -15 + 9. Suppose 2*w + 35 = y*m, 5*m + 2*w - 85 = -0*w. Solve -i - 4*i = -m for i.
3
Let a = 56 + -55. Let w(b) = 3*b**2 - b + 1. Let n be w(1). Suppose 0 = -c - a + n. Solve -c*v - 15 = v for v.
-5
Suppose 6*g - 95 = 37. Solve g*h = 19*h - 6 for h.
-2
Let v = -25 + 27. Let m(r) = r + 29. Suppose -2*f + g = 37, 2*f + 2*f = -5*g - 39. Let s be m(f). Solve s = 3*o - v for o.
5
Let o = 401 - 398. Solve -8*b = -5*b - o for b.
1
Let p be 210/(-40)*60/(-9). Solve 3*t + p = 23 for t.
-4
Suppose 23*l - 42 = 73. Solve -5*o = -l - 10 for o.
3
Suppose 5*m - 12*m + 105 = 0. Suppose -13*v = -m*v + 6. Solve v*h - h - 2 = 0 for h.
1
Suppose -5*i = -4*i + 2. Let l = i + 18. Let q = 17 - l. Solve g + 0 - q = 0 for g.
1
Suppose -c + 2*c - 81 = -2*n, 233 = 3*c - 4*n. Let r = -72 + c. Solve 17 = 2*o + r for o.
5
Let g be (-1)/(1/9) - -22. Solve -9*m = -g*m + 12 for m.
3
Let t be ((-8)/(-10))/((-2)/(-5)). Let h(u) = -20*u - 59. Let y be h(-3). Let f = t + y. Solve -4*o = -f*o for o.
0
Suppose 3*h + 19 = 4*h. Let i = h - 19. Solve i = 4*t + t - 25 for t.
5
Suppose -38*g + 71*g = 0. Solve -2*q - 9*q + 33 = g for q.
3
Suppose s + 2*s = 15. Suppose -121 = -5*c - 1. Solve 0 = -s*r - 4 + c for r.
4
Let w(a) = -12*a**3 + a**2 + a - 1. Let d be w(-1). Let f = 4 - -3. Suppose 3*z - f*z = -r - d, 15 = 5*z - r. Solve -9 - 3 = -z*v for v.
3
Let h be ((-18)/15 - -2)*5. Suppose 0 = 5*g - o - 13, 0 = -g - h*o - 4 - 6. Solve 0 = g*c + 2 - 4 for c.
1
Let u be 969/102 + 2/4. Solve 6 = -12*j + u*j for j.
-3
Suppose 2*u - 5*i - 26 = -u, -i = -4*u + 29. Let k = u + -3. Suppose -k*n = -0*n. Solve 4*v + 0 + 16 = n for v.
-4
Let b be ((-4)/2)/(70/(-1365)). Solve -13*a - b = -0 for a.
-3
Let f = 3 - -1. Suppose -f*a = -5 - 3. Suppose 3*p = a*r - r - 12, -r + 4*p = -16. Solve r = 5*l - 5 + 30 for l.
-5
Suppose 0 = -2*n + 17 - 1. Let i = 8 - n. Solve i = -z - 2 - 2 for z.
-4
Let a(b) = -15*b - 342. Let h be a(-23). Solve -5*o - h*o = -16 for o.
2
Suppose 0 = 7*m - 2*m + 55. Let b be (-163)/m + (-20)/(-110). Solve -b = -2*i + 7*i for i.
-3
Let h = -999 - -1052. Solve 9*t + 8 - h = 0 for t.
5
Suppose s - 2*w - 24 = 3*w, -2*s + 24 = -4*w. Suppose 5*x = 25, s*m - 9 = x + 6. Solve 0 = m*t - 3*t - 6 for t.
3
Let q be -3*(-3)/9 + 2. Let b(d) = d**3 - d**2 + d + 2. Let l be b(0). Solve -h + q*h = l for h.
1
Suppose -2*y = y - 15. Suppose 3*b + 3*w - 2*w = 22, -y*b = w - 34. Suppose -4*t = -8 - 12, 2*d = -4*t + 22. Solve o - d = -b for o.
-5
Let l(n) = -1052 + 2*n + 1063 - n. Let a be l(-9). Solve a*t - 4*t + 6 = 0 for t.
3
Let y(h) be the second derivative of h**3/2 + h**2 - h. Let l be y(0). Solve -l*a + 10 = -0*a for a.
5
Let i = 10 + -7. Solve 0 = n + i - 0 for n.
-3
Let n(v) = 3*v - 34. Let g be n(12). Suppose 30 = 5*d - 4*u, 3*u - 23 = -5*d + 7. Solve d = g*k + k for k.
2
Let o = -25 + 5. Let g be 0/(44/o + 2/10). Solve -4*p + 20 = -g*p for p.
5
Let i(o) = o**2 - 8*o + 14. Let w(v) = -v**2 + 10*v - 15. Let f be w(7). Let d be i(f). Solve d*q + 3*q - 5 = 0 for q.
1
Let u be (-16)/(3*-2 + 4). Let c(o) = 12*o**3 + 1. Let n be c(1). Suppose -u*k - 10 = -n*k. Solve -k*z + 12 = z for z.
4
Suppose 17*f - 511 = -103. Solve -6*s + 0 - f = 0 for s.
-4
Suppose -21 = 5*w - 146. Let c = w - 21. Solve c*f = 3*f for f.
0
Suppose 0 = 2*d - 3*c - 13, c = 4*d - 2*c - 11. Let p be -1*(d - -3 - 4). Solve -9 = -p*k - 1 for k.
4
Suppose 10 = -2*b, -4 = p + 4*b + 3. Solve 3 = -8*h - p for h.
-2
Suppose 2 = 5*t + 7, 5*q - 2*t - 12 = 0. Let k be (-7 - -1)*(-4 + q). Solve 8*d = k*d for d.
0
Suppose -5*l = 5*f - 117 + 27, f = 5*l - 90. Solve 7*n - n = -l for n.
-3
Let z be (0 + 3)*1/(-3). Let y(r) = -r**2 - 6*r + 4. Let a be y(-6). Let m = a + z. Solve -5 = -m*t - 20 for t.
-5
Let k = -846 + 848. Solve -2*r - 16 = k*r for r.
-4
Let o(a) = -2*a - 3. Let x be o(-2). Suppose 154 = 81*w - 251. Solve -2*f = -w - x for f.
3
Let g(v) = v**2 + 4*v + 4. Let j be g(-4). Let o be (3 + (-11)/3)*(-18)/4. Suppose 0 = -2*t + o*d + 33, -d - 4 + 1 = 0. Solve 0*a + j*a = -t for a.
-3
Suppose -s = 5*l - 19, -2*s + l = -0*s - 5. Solve -9*i + s*i = 0 for i.
0
Suppose 4*p - 7*p = 5*c - 200, -2*c = p - 80. Solve 13*a + c = 5*a for a.
-5
Let d = -5180 - -5187. Let p = -1 - -2. Solve -d - p = 4*u for u.
-2
Suppose 5*m - 344 + 4 = 0. Suppose 2