 6, -5*u = 3*t - 25 for t.
0
Let u = -4 + 11. Let p(s) = 2*s**2 + 9*s - 10. Let q be p(-6). Solve -o - 4*z = -4*o + u, -5*o + 3*z = -q for o.
1
Let w(x) = -14*x - 196. Let s be w(-14). Solve -3*g = 2*h - 5*h, -3*h - 6 = s for g.
-2
Let t = 82 + -77. Solve 2*p + 0*p = -5*o - t, 0 = 5*p - 25 for o.
-3
Let w(d) = -d**3 + 5*d**2 - 2*d + 8. Let a be w(0). Solve -5*o - x - 27 = 0, 2*o + a*x = 3*x - 20 for o.
-5
Suppose 4*p + 5 = -p, 0 = -5*n + 5*p. Let z = n - -2. Solve -5*f + z + 2 = -4*o, 2*o = -5*f + 21 for f.
3
Suppose 58*g + 14 = 65*g. Solve -h + 4*c = -6 + 21, 0 = -g*h - 4*c + 30 for h.
5
Suppose 3 = -r + 7. Solve 6*l + 26 = 2*u + l, 3*u + r*l = -7 for u.
3
Let p be ((-6)/9)/(-2) - (-8)/12. Suppose 5*w + 4*i = 11, 0 + 5 = 3*w + 4*i. Let u be (p/w)/(6/36). Solve 2*c + 17 = -u*c + l, c = -5*l - 20 for c.
-5
Suppose -6 = 7*i - 8*i. Suppose 0 = 8*z + 18 - 34. Solve 2*j = r - z, -5*r + 10 = i*j - 4*j for r.
2
Let z(r) = r**2 - 5*r. Suppose 6*x - 6 = 4*x. Let a be z(x). Let v be ((-4)/a)/(10/45). Solve -18 = h - 4*c, 0 = -v*h - 4*c + 3*c - 2 for h.
-2
Let u(w) = -2*w**3 + 15*w**2 - 18*w + 5. Let m be u(6). Solve 4*p + m = 3*c, -4*p + 0*p - 20 = 0 for c.
-5
Suppose -6*b + 26 = -64. Let l = -10 + b. Solve 4*u + l*x - 17 = -0*u, -4*u - 4*x = -12 for u.
-2
Suppose 5*d - 4*b = 60, -5*d + 2*b = 3*b - 60. Solve -3*k = d, 0*u + 3*u - 5*k = 11 for u.
-3
Suppose 0*u + 84 = 4*u. Let s = u - 17. Solve s*m = -5*b + 1, 3*b = -11 + 2 for m.
4
Let p = 1 - -20. Let j = p + -19. Solve 2 = 4*o + 4*t - j, o + 4*t - 16 = 0 for o.
-4
Let g = -95 + 107. Solve n - 2*i = 6*n - g, -i = n - 3 for n.
2
Let b(p) = -22*p - 213. Let w be b(-10). Solve j - 5*c + w = -0, j - 7 = -2*c for j.
3
Suppose -10*o - 10 = -15*o. Let d = -76 + 128. Suppose 5*f + 12 = d. Solve -o*y - 18 + 44 = -5*a, 0 = 2*a + f for y.
3
Suppose -4*m = 5*b - 32, 4*b - 8*b = m - 19. Solve -m*c + 2*i - 1 = 0, -3*c + 0*i + 34 = 5*i for c.
3
Let f be 6/5*-3*20/(-12). Let u(s) = s**2 - 9*s + 8. Let b be u(9). Solve -j = m, -b - f = 3*m - 4*j for m.
-2
Suppose 0 = -4*p + 8 + 20. Suppose y + 5*a = -17, -y - 5*a = -7*a - 11. Solve 0 = s + 5*u + 21, -s + p = -y*s - 3*u for s.
4
Let b be (-6*(-5)/20)/(9/24). Solve 1 = x + b*j, -3*x + 10 = -0*j + 5*j for x.
5
Let y be (42/(-15))/((-6)/15). Suppose 6*z - y*z = -18. Suppose -7*j + 4*j = -z. Solve -2*b + j = 5*p - b, -3*p - 3*b = 6 for p.
2
Let b(x) be the second derivative of 6*x**2 - 1/12*x**4 + 0 + 11/6*x**3 - 5*x. Let h be b(12). Solve 0 = -5*v + 25, -5*f - 2*v = -h - 10 for f.
0
Let v be (-62)/713 + 48/23. Solve v*t - 2 = -2*c, -c + 2 = -t - 1 for c.
2
Let j = -71 + 72. Suppose 0 = 4*b - 9*b. Solve b = 3*y + x - j + 2, 3*y - x + 11 = 0 for y.
-2
Let j = 4484 - 4471. Let x = 1 - 1. Solve -2*h = 4*y - 12, -2*h + j = -x*y + 5*y for h.
4
Suppose -11*i = -14*i - 3. Let k be (11 - 12)/(i/5). Solve 0 = k*w + 3*g - 22, w - 4*g + 6 = -4*w for w.
2
Let h(x) be the first derivative of -1/3*x**3 + 3 + 15*x - 11/2*x**2. Let n be h(-12). Solve -7 + 3 = -4*d, -7 = -2*w - n*d for w.
2
Let a be (-4 - -3) + 4 + -1. Let t(l) = l**2 - 3*l + 2. Let h be t(a). Solve h = n - 4*y + 19, -2*n + 3*y = 1 + 17 for n.
-3
Suppose 0 = 2*i - 40 + 32. Suppose 2 = -t + 5*t - 5*j, i*j - 2 = 2*t. Solve -12 = 4*w - 0*w + t*x, -2*w + x + 4 = 0 for w.
0
Let v = -1572 - -1579. Solve 0 = 3*z + 5*d - 27, -3*z - 3 = -v*d + 2*d for z.
4
Let t = 803 - 797. Solve 4*w - 12 = -2*y + t, -30 = -4*y - 5*w for y.
5
Let d(i) = 4*i**2 + 28*i - 28. Let t be d(1). Solve -19 = t*w + z, -10 = 5*w - 4*w + 2*z for w.
-4
Let m be 4/14 - (-2508)/42. Suppose m = 5*a - 2*r, -2*a - 3*r + 7 - 2 = 0. Suppose 2*c = a - 2. Solve -16 = -c*u, 3*l = -u + 3*u + 4 for l.
4
Suppose -3*x - k + 70 = 2*x, 65 = 3*x - 4*k. Suppose -5*g = -x*g. Solve -3*u + 15 = g, 5*t + u = 2*u for t.
1
Suppose -b = -2 - 6. Suppose b*q + 2 = 9*q. Solve -8 = 4*s, -5*k + 13 - 4 = -q*s for k.
1
Let b = -260 - -265. Solve i + b*h = -24, -4*i = -0*i - h + 12 for i.
-4
Let c = 27 + -22. Let h = 30 - 28. Solve -c*n + r - 21 = 0, 9 = h*n - 5*r - 1 for n.
-5
Suppose -15*v + 17*v + 5 = 3*a, 5*v - 4*a - 5 = 0. Solve 3*y + 20 = 3*b + v, 4*y = -4*b - 4 for b.
2
Suppose -j + 4*j + 4*r = 50, r - 15 = -j. Solve -n = 3*a - 10, -3*a - 4*n = -a + j for a.
5
Suppose -45 = -34*w + 91. Solve 0 = w*d - 3*r, 3*r = 7*r - 16 for d.
3
Suppose -4*y = 40*y - 440. Solve 2*l + 12 = -3*c + 37, 5*c = 3*l + y for l.
5
Suppose 4*r + o = -87, r + 2*o + 33 = 4*o. Let v = 1 - r. Suppose 0 = -4*s - 3*q + v, -4*q - q = -2*s - 14. Solve 20 = -4*z, y - 4*z = s + 14 for y.
-3
Suppose -422 = 3*g - 410, 3*g = 4*j - 68. Solve 5*m = 2*f - 41 + j, -f = -2*m - 11 for f.
1
Suppose 46*h - 44*h - 18 = 0. Suppose -31 - 14 = -h*u. Solve -4*b + 3*s - s = 0, 22 = b + u*s for b.
2
Let a = -8 + 10. Suppose -51 = -3*j + a*c, j - 25 = -c - 8. Let i(s) = -s**2 + 5*s + 8. Let y be i(6). Solve -v - v + 14 = 4*x, -j = -y*x - 3*v for x.
1
Let v be (-15)/(-2)*2/3. Let r be v - (1 - 2 - -2). Suppose -h = -2*l + 5, -2*l + 29 = -3*h + 22. Solve 0 = r*f + 12, u - l*u = -5*f - 15 for u.
0
Let g = -264 - -266. Solve q = g*s - 7 + 2, 5*s = -4*q + 6 for s.
2
Let k = 15 + -15. Suppose i = -c, k = -4*c - 3*i + 4*i. Solve 8 = 2*q + 4*h, -2 = -3*q - h - c*h for q.
0
Let m be 0 + (6 - (0 - -3)). Let u be -7 + 4 - 1 - -9. Solve -3*g + g - 8 = 2*i, m*i = u*g + 4 for g.
-2
Suppose -1 - 5 = -3*i. Let a = 15 + -10. Suppose -a*z = 4*z - 18. Solve -3*m = -i*s - 1, -2*s - z*s - 5*m = -31 for s.
4
Let x(c) = 2*c - 4. Let m be x(4). Suppose m = 4*i - 0*i. Suppose -5*v + l + 87 = -l, 5 = -5*l. Solve -4*s + v = 2*n - s, -i = 2*n - 3*s for n.
4
Suppose -r - 50 = 25. Let x be (r/6)/5*-2. Let u = -26 - -32. Solve x*j - 2*l + 6 = -u*l, -4 = 2*j + 2*l for j.
2
Suppose 3*p = -0*s - 2*s - 2, -3*s - 2 = 5*p. Suppose -8*z + p*z + 24 = 0. Solve -z*o = 5*q - 8*q - 13, o = 2*q + 7 for o.
1
Suppose -5*d = -37 - 18. Suppose -3*u = u. Solve 5*w - z = -0*z - d, z - 1 = u for w.
-2
Suppose w + 5*j + 9 + 1 = 0, 2*w + 5*j = 0. Suppose 31 = 7*a + w. Solve a*c - 2 = y, -2*y + 7 = -1 for c.
2
Suppose 45 = -8*g + 5*g. Let j = 24 + g. Solve 5*h + 3*q - 6 = 5, 4*q - j = -h for h.
1
Let j be (204/238)/((-12)/7 - -2). Solve -3*d - 3 = -j*m, 2*d - 2 = -m + 2*m for d.
3
Suppose -26 = -5*p + 2*x - 9, -5*p - 3*x + 37 = 0. Let w = -1 + 1. Solve -p*l = -l + 4*c + 4, w = -5*l - 2*c - 8 for l.
-2
Let i be (-1)/(-3) + (-44)/(-12). Suppose -i*d - 3 + 7 = 0. Suppose -3*p - d + 10 = 0. Solve -3*b - 3*k + 1 = 7, p*b - 4*k - 15 = 0 for b.
1
Let d(w) = -w**3 + 5*w**2 - w - 8. Let i(b) = 3*b + 46. Let f be i(-14). Let u be d(f). Solve -4*m + c - 4*c = 29, 0 = 3*m + u*c + 27 for m.
-5
Let j = -328 + 130. Let a be j/(-45) - (-6)/(-15). Solve -2*l + 3*t = -10 + 1, t + 3 = a*l for l.
0
Let p = 6 + -4. Let f be -2*11*(-3)/6. Suppose -s + f - 6 = 0. Solve -13 = s*y + 3*i - 2, p*i + 9 = -5*y for y.
-1
Let f be (-14)/(-35) - (-69)/15. Suppose -8 = x - f*x. Suppose -x*w = -0*w. Solve w*n + 4*r = -5*n - 36, -3*r - 20 = 2*n for n.
-4
Suppose 576 = -y + 7*y. Let o = 99 - y. Let w be 0/((-9)/(-3)) - 0. Solve -g + 17 = -x + 4*x, w = -x + 4*g - o for x.
5
Let g = -42 + 49. Suppose -8*k = -g*k. Solve k = -3*w - s - 20, 25 = 2*w - 5*w - 2*s for w.
-5
Let u = -173 + 262. Let o = u + -86. Solve -3*c = -s + c - 19, 0 = -s + o*c - 15 for s.
-3
Suppose 39*k - 90 = 66. Solve u = -k*o - 4*u - 11, 4*o - 16 = 4*u for o.
1
Let b be -7*(-3 + 108/28). Let t be 10/(-12)*(b - 0). Solve 3*i + t = -2*q, 3*i + 2 = 5*q - 17 for i.
-3
Let l be (-1 + -6)/(833/(-238)). Solve -1 = v - 2*k - 3, l*v + k = -6 for v.
-2
Let a(y) = 10*y**2 - 1. Let f be a(1). Let c be -1 + f + 4 + -2. Suppose -8*u = 2*k - 3*u + 11, 9 = -3*u. Solve 2*o - 3*j - c = 0, k*j - 9 - 1 = -2*o for o.
5
Let x(a) = -7*a - 11. Let z be x(-3). Solve 0 = -4*r - p - 21, 3*p + 9 = -r - z for r.
-4
Let a(s) = s**2 + 2*s - 5. Let l be a(-4). Suppose -g - l*g = -112. Suppose 12*t = 5*t + g. Solve 20 = -3*b - 2*p, 3*b + t*p = p - 24 for b.
-4
Let r be (-117)/(-6) + (-10)/20. Suppose 2*h - 3 = 3*n - r, 3*h = -15. Solve -z + 0*o - 4*o - 15 = 0, 2*z = n*o for z.
-3
Let c(v) = -2*v**2 + 17*v - 3. Let b be c(7). Solve 0 = -3*f + f - 4*n + b, -3 = 4*f - 5*n for f.
3
Let j = -282 - -284. Solve -4*o - 4 = -2*u - 2*u, -j*o - 14 = 2*u for u.
-3
Let y = 10 + -10. Suppose 0 = w - y*