= z. Solve k*a + a = 0 for a.
0
Let h(y) = y**3 - 5*y**2 + y. Let r be h(5). Let j(m) = 131*m - 254. Let t be j(2). Solve 3*x - r = t*x for x.
-1
Suppose 3*g = -1758 + 1878. Solve g = -5*t - 5*t for t.
-4
Suppose 492 = 2*n - 6*n. Let w = -123 - n. Solve w = -3*g - g + 12 for g.
3
Let f = 12 - 10. Let x be 1/f*(-1 - -1). Suppose x = 4*m + m. Solve 2*u + 0*u - 8 = m for u.
4
Suppose 53 = 9*o - 10. Suppose o*h = 8*h - 3. Solve h*q = -q for q.
0
Suppose 0 = 3*t - 8*t - 20, 0 = -5*c + 4*t - 4. Let h be (-1 - -3)/(c - -6). Solve 0 = -a - h - 3 for a.
-4
Suppose 2*c = -2*t - c - 5, -t = c. Solve t = -2*n - 3 for n.
-4
Suppose 0 = -78*i + 85*i - 35. Solve -6*c - i = 1 for c.
-1
Let n = -244 - -250. Solve -n - 6 = -3*v for v.
4
Let l = -5 + 8. Let o = 161 - 153. Solve -l*d = d - o for d.
2
Suppose -2*z + 6 = 2*v, -2*z - 2*v + 8 = 2*v. Suppose z*x + 3*x = 0. Solve 4*u - 20 = -x for u.
5
Suppose 0 = -12*i + 498 - 234. Solve 0 = 7*m + 6 + i for m.
-4
Suppose c = -5*q + 76, -4*q = -3*q - 5*c - 10. Solve q*n - 14*n = -5 for n.
-5
Let q be 66/14 - (-6)/21. Suppose -5*x + 9*x = 44. Suppose 0 = x*g - 2*g. Solve -q*a + 2*a = g for a.
0
Let s be (0/((-8)/(-4)))/1. Suppose -3*p - 6 = -s*k - k, -4*p - 8 = 5*k. Suppose 2*q = -3*d + d + 2, k = 4*q + d - 10. Solve -q*h + 3 + 0 = 0 for h.
1
Let s(t) = -10*t + 75. Let d be s(7). Solve q + d*q = q for q.
0
Let d(y) = y - 8. Let a be d(9). Let g be 12/(-30)*(-11 + a). Let z(j) = -j**2 + 3*j + 8. Let c be z(g). Solve f = -c - 1 for f.
-5
Suppose 2*l + 3*l - 3 = -2*d, 2*l = d - 15. Let u be 1*(-5 - (-1 + 0)). Let q = d + u. Solve -12 = q*a - 8*a for a.
4
Let s be (-1)/(-1 - (-2 - 0)). Let p = 6 + s. Let c be 1 + -1 + p + 2. Solve 0 = -2*j - c + 1 for j.
-3
Let r(j) = -j**2 + 16*j + 61. Let b be r(19). Solve -w - b*w = -w for w.
0
Suppose -3*h - 32 = -3*r - 11, -r + 5*h - 9 = 0. Suppose -7*o + r*o - 16 = 0. Solve -o*n = 5 + 3 for n.
-2
Let a(w) be the first derivative of 2*w**3/3 - w**2 - 2*w - 7. Let g be a(2). Let j(z) = z + 2. Let l be j(g). Solve -l*t + 12 = -t for t.
4
Suppose 2*x + 0 + 4 = 0. Let a be 1 - (-2 + 11 + x). Let t(r) = -2*r - 6. Let u be t(a). Solve -3*h + 6*h = u for h.
2
Suppose 0 = -2*j + 3*z - 2*z + 2, -3*j + 2*z + 4 = 0. Suppose -g + 0*g - 2*h + 2 = j, -4*g + 2 = 2*h. Solve 2*v + g = 2 for v.
1
Let g be 1/(-4)*2*-8. Suppose -2*q = 5*y - 26, -2*q + 4 = 4*y - 6*q. Solve 0*r = -y*r + g for r.
1
Let z(x) = x**2 + 2*x - 3. Let o be (-6)/9 - (-520)/15. Let j = o - 32. Let r be z(j). Solve 0 = -r*v + 13 + 2 for v.
3
Suppose -2 = -2*i, 3*d = -11*i + 13*i + 163. Let w = d + -46. Solve s = 4*s - w for s.
3
Suppose -208 = 32*x - 134*x + 98. Suppose 2*r - 2 - 2 = 0. Solve x*w = r + 1 for w.
1
Let u be 32/(-40)*(-35)/2. Suppose 8*s - 10*s + u = 0. Suppose 13 = 4*z - s. Solve -z*g + 0*g = 25 for g.
-5
Let f = -258 + 270. Solve f = -7*s + 3*s for s.
-3
Let v(i) = -i**3 + 10*i**2 + i - 5. Let k be v(10). Solve k*x = 7*x for x.
0
Let n(g) = 5 + 3*g - 4*g + g**3 + 0. Let z be n(0). Solve 0 = -5*o + 6*o - z for o.
5
Let d(f) = -10*f**2 + 28*f - 9. Let v be d(2). Solve 12*r = v*r - 15 for r.
-3
Let o be (-5 + 2 - -1)/((-4)/10). Solve 0 = 45*z - 50*z - o for z.
-1
Let n(r) = -r**2 + 14*r - 24. Let k be n(11). Suppose -5 = z - k. Solve z*g = g for g.
0
Suppose 4*d + 2*a - 188 = 0, 0 = 2*d - 5*a - 34 - 36. Suppose 0 = -3*t - q + 29, 0 = 5*t + 2*q + 3*q - d. Solve 2*o - t = -0*o for o.
5
Suppose -4*h + 31 - 7 = 0. Solve -h*d = -d for d.
0
Suppose -6*f - 12 = -2*f. Let u be 7 + f - 0/1. Solve 5*o - u = 1 for o.
1
Suppose c + 0*r = -5*r + 24, 3*c + r = 128. Let n = -44 + c. Solve n*d + 2 = -d for d.
-2
Let r(y) = y**3 + 4*y**2 - 4*y. Let s be r(-4). Let g = 20 - s. Suppose g*h + p - 13 = 1, -2*p + 10 = 2*h. Solve 0 = h*n - 6*n - 15 for n.
-5
Let l(u) = u**2 - 2*u + 15. Let s be l(0). Suppose 2*t = -t + s. Solve 3*q - t*q = -8 for q.
4
Let f = 25 + -22. Suppose -4*y = 4*a + a - 8, -a = -y - 7. Solve -f*m = -m + a for m.
-2
Let u(q) = -q**2 + 5. Let a = -2 - -2. Let c be u(a). Suppose 31 = 5*m + y, -5*y - 20 = -c*m + 35. Solve -m*b + 2*b = 15 for b.
-3
Let g = -144 - -144. Solve 3*f - 2*f = g for f.
0
Let i = 32 + -2. Let d = i + -16. Solve d = -5*k - 1 for k.
-3
Let r(v) = v - 8. Let o be r(11). Suppose -o*l + 90 = -l. Let j be 29/9 - 10/l. Solve 9 = j*k + 3 for k.
2
Let x(l) = l**3 + 6*l**2 - 16*l - 3. Let p be x(-8). Let h be 8/12 - (-2)/p. Solve h = -c - c for c.
0
Suppose 4*y + 3*m = -12, 5*y + 20 - 4 = -4*m. Solve 3*w + y*w - 9 = 0 for w.
3
Let i(m) = m**3 + 6*m**2 - 8*m - 5. Let g be i(-7). Suppose -34 = 5*w - 49. Suppose 4*n + g*d + w*d = 22, n = 3*d - 3. Solve -5 - n = 2*j for j.
-4
Let t = 73 - 71. Solve 3 = t*h - 3 for h.
3
Suppose -3*l - 4*t + 20 = -0, 32 = 4*l + 4*t. Solve -5*n - 13 = l for n.
-5
Let c = 0 - -1. Suppose 3*n - n = 30. Suppose 0 = -4*a - l + 32, l + n = 3*a - 2. Solve -2*j - a + c = 0 for j.
-3
Let g(t) = t**2 - 7*t + 3. Let u be g(7). Suppose 0 = -5*i - u*o + 132, o - 80 = -2*i - i. Solve 5*k = 2 - i for k.
-5
Let m = 14 + -7. Suppose -2*r + 3*y + m = 0, 5*r + y - 2 = 41. Let i = -8 + r. Solve i = 4*u + 20 for u.
-5
Let y(n) = -n**2 - 7*n. Let p be y(-5). Suppose 0 = p*b - 16*b + 30. Solve -b = -w - 3 for w.
2
Let z(p) = -p**2 + 3*p + 11. Let t be z(0). Solve 4*h = -t + 23 for h.
3
Let h(u) = 2*u**2 - 164*u + 660. Let m be h(4). Solve 0 = 10*a + 16 - m for a.
2
Suppose 5*o - 2*x = 80, -99*o + 98*o + 4*x + 34 = 0. Solve -3*s - o + 2 = 0 for s.
-4
Let v be -2 + (-6)/(-3) + 755. Let n be v/(-25) - 1/(-5). Let u be 2/5 - (-12)/n. Solve u = 3*o - 4*o - 5 for o.
-5
Suppose -4*i - 68 = -2*g, -20*i + 22*i - 106 = -4*g. Solve 10*f - 3*f + g = 0 for f.
-4
Let z(n) = 0*n + n - 9*n - n**2 - 1 + 2. Let h be z(-7). Let t = h + -8. Solve -p + 7 - 3 = t for p.
4
Let r(x) = 4*x + x + 0*x - 1 - 10*x. Let h(o) = o - 7. Let v be h(6). Let j be r(v). Solve 0*c + j = c for c.
4
Suppose -3*q = -0*q - 150. Let r = -45 + q. Solve 0 = -0*s + r*s for s.
0
Suppose a = -3*m + 17, -5*m + 12 = 2*a - 17. Let o = 2 - a. Let h be ((-9)/(-6))/((-3)/(-4)). Solve o*j + 6 = h*j for j.
3
Suppose o + 4 = -o, -o = -4*y - 86. Let n = y - -24. Solve -n + 10 = 2*b for b.
4
Let k be ((2035/(-10))/11)/((-4)/8). Solve -k*v + 41*v + 8 = 0 for v.
-2
Suppose -4*m + g = -0 - 11, 0 = 2*m + 3*g + 5. Suppose 6*z = m*z. Solve -f - f = z for f.
0
Let v(q) = -2*q**3 - 10*q**2 - 3*q - 11. Let y be v(-5). Solve -23*a + y = -19*a for a.
1
Suppose 5*b - 3*w - 25 = 0, 0*b + 5*b + 4*w + 10 = 0. Solve -10*n + 8 = -b*n for n.
1
Let u(t) be the second derivative of -t**5/20 + 4*t**4/3 + 3*t**2/2 + 4*t. Let a be u(16). Suppose 2*g + 5*c = 3*g, g - 10 = -5*c. Solve a*p + g = 4*p for p.
5
Let x(t) = -5*t**2 + 2 - t**3 + 0*t**2 - 3*t - 14. Let o be x(-5). Solve -o*z - 20 = z for z.
-5
Let k be -1*6*27/(-6). Let v = -17 + k. Let o(p) = -p**3 + 11*p**2 - 11*p + 11. Let l be o(v). Solve 0 = s - 4 - l for s.
5
Let m be 72/10*80/12. Suppose 2*p - 4*i + 32 = -2*p, 4*p + 4*i + m = 0. Let t be 30/4*p/(-15). Solve -t + 0 = -c for c.
5
Let h be 2/3*(-12)/(-8). Let f be (h - -5)*8/12. Suppose -20 - 36 = -f*s. Solve -5*b = -11 - s for b.
5
Suppose -2*w + 12 = -36. Suppose -6*z - q + w = -z, 12 = 5*z - 2*q. Let b be 3 - (3 - (7 - 7)). Solve -z = -4*k - b for k.
1
Suppose 238 = 11*r - 4*r. Suppose -r = 5*y - 54. Solve k + y = 3*k for k.
2
Suppose -5*n = -3*n - 6. Suppose -3 = n*s - 9. Solve 0*g - s*g = -8 for g.
4
Let i = 88 - 82. Solve 0 = 5*l - 7*l + i for l.
3
Suppose 0*k - 6 = -2*k. Suppose 0*g + k = -3*g. Let y be 0 + (0 - g) + -1. Solve y = -2*s - 0 - 2 for s.
-1
Let w(g) = g**3 + 9*g**2 - 9*g + 11. Let b(h) = h + 5. Let v be b(-15). Let i be w(v). Solve 3*y - i = -4 for y.
-1
Let t be -2*2/8*-20. Suppose -4*k = 3*n - 4, -7*k + 2*k = 5*n - t. Let v(z) = z**3 + z. Let m be v(0). Solve -n*u = -m*u - 12 for u.
3
Suppose 5*v = -3*d - 54, -v + 2*d + 3 = -2*d. Let q(x) = -21*x**2 + 9*x**2 - 9*x + 11*x**2 + 5. Let r be q(v). Solve 12 = -r*u + u for u.
-3
Let c(z) = -5*z - 8. Let f(n) = -3*n - 5. Let r(a) = 5*c(a) - 8*f(a). Let o be r(-4). Solve -o*j - 10 = 2 for j.
-3
Let v be 3 - (-4 + -21) - -2. Suppose -5*r = 10 - v. Let g(p) = p**3 + 8*p**2 + p + 11. Let d be g(-8). Solve d*x + r = 1 for x.
-1
Let k = 85 - -24. Let g = k - 109. Solve g*o = -2*o for o.
0
Let w(o) = -3*o - 4. 