ve -s - 4 = 0, -2*s = -6*y + y + x for y.
5
Let r = 235 - 232. Solve -4*g = w - g + r, 0 = 3*g + 6 for w.
3
Let y = -11 - -13. Suppose -7*w + 3*w = -20, 5*o - 2*w = -110. Let m = o - -23. Solve -30 = y*z + 4*l, z = -m*l - 3 - 17 for z.
-5
Let h = -1 - 5. Let i be (-4)/h*(-15)/(-2). Suppose -80 = -4*m - i*b, 2 = m - 2*b - 5. Solve 0 = 3*w - 9, -5 - m = 2*x - 4*w for x.
-4
Let d be 26/6 + 2/3. Let n(q) = q**3 - 8*q**2 - q + 10. Let h be n(8). Solve u + 15 = -h*u - d*i, -2*i - 6 = -4*u for u.
0
Let h be (-2)/(-11) - 4/22. Suppose 0 = -0*w - 5*w - b, h = -3*b. Let x be 10 + (-4)/(2 - w). Solve -7 = 5*o + 5*p - 2, 4*p = -2*o - x for o.
2
Let h = 205 + -200. Solve 3*q - 10 = -2*p, -2*q = -h*p - 4*q + 25 for p.
5
Suppose -68 = 4*o - 21*o. Solve 16 = -o*w, -2*p = 2*p - 3*w - 16 for p.
1
Let p = -107 - -112. Suppose -3*f - 7 = 5*o - 0, 13 = p*f - 4*o. Solve x + 0*w - f = 2*w, 3 = -3*x + 4*w for x.
-5
Let b = -3 + 3. Let t be (8 - 10)/((-10)/25). Solve b = -4*n - n + t*y, 0 = n - 2*y for n.
0
Suppose x + 25 = 5*i + 2*x, 41 = 4*i + 5*x. Let g be (2/i*1)/(2/12). Solve -6 = g*s, -p - 7 - 4 = 4*s for p.
-3
Suppose 287*t + 6 = 289*t. Solve -14 = 5*u + t*i, u = 2*u - i - 2 for u.
-1
Let g = 349 - 342. Solve 2*f = g*f - 4*l, 0 = -2*f + l - 3 for f.
-4
Let d = -887 + 892. Solve -h + 5*l - 9 = -18, 5*l - 15 = -d*h for h.
4
Let m = 8 - -1. Let g = m - -18. Suppose 236 = -14*t + 29*t + 44*t. Solve -5*n + 4*b = g, -t*n - b = 3*b for n.
-3
Let k = 610 - 607. Solve 0 = t - k*h + 15, -5 = -2*h + h for t.
0
Let s(g) = -g**3 + 10*g**2 - 10*g + 9. Let p be s(9). Let o = p - -2. Suppose 7*j = o*j. Solve j = -5*d - 3*x + 11 + 1, -3*d = -x - 10 for d.
3
Let c(a) = a + 3*a - 2*a + 8 - 4*a. Let u be c(2). Solve 3*h - 3 = 3*b, -5*b - u*h + 9 = -2*h for b.
1
Let j = -11 + 15. Suppose 0 = j*k + 5*y - 126, k + 0*y - 33 = -2*y. Solve 12 = 3*z, -2*h + 5*z - k = -5*h for h.
3
Let x be (14 - 1) + (-6 - 2). Solve 2*j = 2*h + 4, -4*j - x*h = 3 - 2 for j.
1
Let j = -18 + 8. Let t = 12 + j. Suppose 3*c = 2*b - 4*b + 14, -3*c - b = -13. Solve -5*m = -i + 21, c*i + t + 14 = -5*m for i.
1
Suppose -2*l - l = -75. Suppose j = -4*j + l. Suppose j*x = x. Solve 4 = 4*w + 4*m, 2*w - m + 0 - 2 = x for w.
1
Let c(t) = 2 + t + t**3 + 16*t**2 - t. Suppose -5*o - 24*b = -23*b + 77, 0 = 3*b - 9. Let q be c(o). Solve 22 = 5*a - 3*a - 4*r, q*a + 10 = -4*r for a.
3
Let c = -16 - -19. Let w be (-330)/(-21) + 5 + 2/7. Solve 0 = 2*q + c*u + 17, w = -2*q - 4*u + 1 for q.
-4
Let w(f) = 3*f + 2. Let v(l) = -7*l**3 - 2*l**2 - l. Let s be v(-1). Let z be w(s). Solve -1 = 3*d + 11, q = 4*d + z for q.
4
Suppose -6*s + 28 = s. Suppose 0 = -t, -4*p + p = s*t. Solve p = 7*f - 2*f, 2*z + 4*f + 4 = 0 for z.
-2
Suppose -5*p - 25 = t, 0 = 5*t + 6*p - 2*p + 41. Let q(o) = o**2 + 6*o + 11. Let m be q(t). Solve 0*z + z = -3*n + m, 2*n - 4 = 3*z for n.
2
Let h = 38 + -38. Let s be (1 - -8) + h + 2. Solve 3*p + s = -t, -4*t = -9*t + 3*p + 17 for t.
1
Let p be 2*(-2)/8*-42. Let q = p + -19. Suppose q*s + 2*s - 8 = 0. Solve -5*k + 2*v + 0*v - 4 = 0, s*k + 1 = v for k.
-2
Let l be (48/(-120))/(2/(-25)). Let r be 5 - (-1 + 0 + l). Solve -2*n - 3 = -5*n, -3*f - n + r = 0 for f.
0
Let c be (-8 - -7)/(-2 + 1). Let f be 0 - 0 - (-4)/(c/1). Solve -13 + 48 = -3*k + f*w, -3*k - 40 = -5*w for k.
-5
Suppose y + 14 = -3*u + 7*u, -y = -2*u + 4. Solve x = -m - 1, -1 = -2*m - x - y for m.
-4
Let g be 7/(-35)*0 + (-4)/(-1). Let m(x) = -3*x - 31. Let a be m(-14). Solve -6*n + 5*y + 45 = -n, -n - g*y = a for n.
5
Suppose 0 = 41*g - 9*g. Solve g = -3*h - 15, 3*o = -h + 4*h + 21 for o.
2
Suppose t - 6*t + 25 = 0. Let x be 4*5/((-15)/(-6)). Let g be (8 + 6)/(-7) - (1 - x). Solve 3*u + g*h - 24 = -3, u + t*h = 17 for u.
2
Suppose -5*a - c = -100, 0*a + 80 = 4*a - 5*c. Let l = -16 + a. Solve 0 = -5*s + 3*w - 0 - 6, 3*s - 2*w = -l for s.
0
Suppose 25*y = 65 + 35. Let h(a) = a - 3. Let n be h(7). Let o be (-3)/(-2)*1*n. Solve b + 2*s - y = 0, -1 = -b + s - o for b.
-2
Let s = 118 + -118. Solve 3*g + 15 = 5*v, 5*v + s*v - 15 = 2*g for v.
3
Suppose -8*w + 7 = -25. Suppose -8*m = w*m. Solve -4*z - 14 = 5*f - m*f, z - 3*f = 5 for z.
-1
Let h(i) = i**2 - 9*i + 9. Let n(o) be the second derivative of 3*o**3/2 - o**2/2 - o. Let d be n(1). Let x be h(d). Solve 5*a - 3 = l, -l + x + 5 = 4*a for l.
2
Suppose -2*v + 5*b + 15 = 14, 16 = 5*v + b. Let i = -8 + 4. Let d = -1 - i. Solve -v*c - d = -6*c + 3*y, 5*y = 4*c - 9 for c.
-4
Suppose 0 = -5*i + 4*l - 241, 5*i + 4*l + 250 = -l. Let f = 52 + i. Solve -f*o + 2*o - 3 = 0, x - 5*o = 15 for x.
0
Let d = -7 - -7. Let r(f) = f + 2. Let s be r(d). Solve -14 = -5*g + s*g + 5*x, 6 = g - 3*x for g.
3
Suppose -3*d + 4 = 5*n - 3, 4*d = n - 6. Suppose n*p - 9 = 9. Suppose 0 = 3*k - p, 5 + 5 = a - 3*k. Solve a = 4*f + o + 3, 5*f = -4*o + 31 for f.
3
Suppose 1357*b - 119 = 1350*b. Solve 20 = -2*j - 4*z, -5*j - 3*z - b = -2 for j.
0
Suppose -2*k = -8*k - 126. Let n = 35 + k. Solve -3*w + 2*i - n = -w, -2*i + 10 = -w for w.
-4
Suppose -4*h = 16, 0 = 5*f - h + 3*h - 7. Let k be -1 - -5 - f/((-9)/(-6)). Solve 4*d = b - 16, -k*b - 3 - 5 = 2*d for d.
-4
Let l(w) = w - 2. Let n be l(-3). Let g = 10 - n. Suppose q + 5*r = -9 - 13, 5*r = 3*q - 34. Solve -4*s - s = 5*f + g, 5*f + 7 = q*s for s.
-1
Suppose 7*t = 335 + 120. Let v = -2 - -9. Suppose 5*l + 2*i - 37 = 0, -2*l - 5*i = -v*l + t. Solve -2*h + 5*o - l = 8, -2*o = -5*h + 10 for h.
4
Let v = 35 - 33. Let g(c) = -6*c + 15. Let j be g(v). Solve 3*d = j*l, -2*l - d = 9 - 21 for l.
4
Let c = 60 - 106. Let w be c/(-8) - 18/24. Let i(u) = 5*u - 30. Let l be i(6). Solve 4*q + x + 9 = l, q + w*x - 12 = -0*x for q.
-3
Suppose 5*v = 4*z + 240, -56 = -4*v + 5*z + 145. Suppose -4*q = 7*q - v. Solve -17 = j - 3*r, q*r + r - 33 = 4*j for j.
-2
Suppose 7*x - 2*x = 60. Let b be 15*4/x*1. Solve 0 = -b*o + 2*t + 15, -o + 2*o = -5*t - 24 for o.
1
Let b be (-12)/(-3)*(-12)/2. Let p be 6/8 + (-30)/b. Solve -m = p*m - o + 6, 0 = 2*o for m.
-2
Let v be -3*(-10 - 56/(-6)). Solve -2*l - q - 14 = -7*l, -v*q + 11 = 3*l for l.
3
Suppose 3*p - 4*j - 40 = -7, -2*p + 2*j + 20 = 0. Solve 4*w - 24 = -4*y, -22 = -5*w - 2*y - p for w.
1
Suppose 0*z = -3*z + 4*g + 44, -20 = 4*g. Suppose -2*l + 0*l = 4*x + z, -3*x = -4*l + 17. Solve -4*a - 1 = 2*y - 11, -2*y = l*a for y.
-5
Let s = 20 - 18. Let z be ((0 + 4)*1)/s. Suppose -z*h = 3*h - 15. Solve -3*r = -h*n + 9, -3*r - r = -2*n + 8 for n.
2
Suppose 4*p - 5*w - 3 - 4 = 0, -9 = -2*p - 3*w. Suppose p*s + 30 = 4*s. Suppose -34*h + 44*h = 40. Solve 0 = h*l + 4*v - 40, 5*l + v = -0*l + s for l.
5
Let a = -322 - -354. Solve -3*m + 6*m - u = 18, 4*m = 4*u + a for m.
5
Suppose 7 = o - 8. Let n = 44 + -29. Suppose n = 3*m - 3*h, m + 5*h = 2*m + o. Solve -8 = -4*w, 2*i - 2*w - w + m = 0 for i.
-2
Let x = 2 + 1. Let z = -1 + x. Let r(b) = -6*b**2 - 80*b + 14. Let f be r(-13). Solve -4*w - f = 5*n, 3*w = 3*n + w + z for n.
-4
Let u be 2*-3 + (21 - -9). Solve -27*m = 5*a - u*m, 5*a - m = 0 for a.
0
Let s be (72/(-42))/((-3)/21). Let p(t) = t**2 - 9*t - 28. Let l be p(s). Suppose -4*x + l = 3*d, 5*x = d + 7 + 3. Solve -4*k + 2*g = 4*g, -x*g = k - 6 for k.
-2
Suppose 5*p - 5*s = 50, -s = -2*s - 2. Suppose -5*c + 32 + p = 0. Let g be 1/((c/(-12))/(-2)). Solve -4*b + 0 = g*d + 2, d + 4 = 2*b for d.
-2
Let y(z) = z**2 + 2. Let b be y(0). Suppose -10*f = -13*f. Suppose 5*d - 9 - 11 = f. Solve -d*w - 2*l = -l + 7, 0 = w - l - b for w.
-1
Suppose -2*q + 2*w = -28, -94*w + 92*w = -q + 17. Solve -12 = 4*n + 4*z, 5*n + 3*z + 2 = -q for n.
-2
Suppose 958 - 943 = 5*w. Solve -4*z - 4*y = -0*y + 8, -w*z - 27 = -4*y for z.
-5
Let j = 664 - 651. Solve 3*z = 2*q + 3*q - j, 5*q - 12 = 2*z for z.
-1
Suppose 2*r + 1 = z, 2 = -5*z + 5*r + 27. Let d(p) = z*p**2 + 1 - p**3 + 6*p - 3*p - p - 14. Let n be d(9). Solve 4*h + n*b - 2 = 19, 0 = 4*h + 4*b - 16 for h.
-1
Let t be -2*1/((-2)/2). Suppose 5*q + t*l = 14, 4*q - 6*q - 7 = 5*l. Solve 2*m + 6 = -p - 1, 0 = q*p - 2*m + 18 for p.
-5
Let j be (5/((-25)/4))/((-35)/350). Solve -5*b + 10*b - j = a, 6 = 4*b - a for b.
2
Suppose -2*l + 16 - 6 = 0. Solve 3*t - 4*i + 10 = -5, t + l = 4*i for t.
-5
Let i(f) = 2*f**2 + 5*f - 4. Let z be i(-4). Let s be (-2)/z - (-21)/4. Let x = 87 + -68. Solve -3*c + 5*c + 2 = 0, s*k = -c + x for k.
4
Let r be (-1)/3 - (-3)/9. L