ose z*b - 6*b + 8 = 0. Solve -b*q - 15 = q for q.
-3
Suppose -r = 3*i + 4*r + 19, -13 = -4*i + r. Solve i*h = h - 4 for h.
-4
Suppose -g - 2 = -4*h, 2*g + 34 = 5*g - 4*h. Suppose 5*l - 2 = g. Solve -j = -l*j for j.
0
Let m(r) = r**3 + 6*r**2 + r + 8. Let a be m(-6). Let v = -1028 - -1031. Solve -a*y + 1 = -v for y.
2
Suppose 0 = -o + 6*o - 35. Let s(z) = -2*z**3 - 4*z**2 - z + 2*z - 2*z + 4*z**3. Let h be s(3). Solve o*g + h = 2*g for g.
-3
Let b(d) = 7*d - 31. Let w be b(9). Let s = -36 + w. Let t be 50/3 - s/(-6). Solve 2*h = -2*h + t for h.
4
Let z(l) = l**2 + 16. Let a be z(0). Suppose 0 = -4*v + 8 + a. Suppose -3*i + v*i - 9 = 0. Solve -17 = 4*o + i for o.
-5
Let o(k) = k**3 + 7*k**2 + 4*k - 9. Let w be o(-6). Suppose 9 = 2*n + w. Suppose -3*s + 2*y + 2*y + 17 = 0, -5*s = n*y - 9. Solve 4*t + 2 = s*t for t.
-2
Let t be 3/2*(5 + 14/(-6)). Suppose z = 3, t*x - 7*z + 15 = -2*z. Solve -3*s + 13 - 4 = x for s.
3
Suppose -6 = -0*v - 3*v. Suppose -v*f + 2 = -4. Let c(d) = 2*d - 20. Let z be c(10). Solve -q + f = -z for q.
3
Let q(y) = -y**3 - 18*y**2 - 2*y - 27. Let i be q(-18). Suppose -7*f - 30 = -i*f. Solve 0 = -3*z + f for z.
5
Suppose -26 = -s - 4*x, -5*s + 9 = 2*x - 31. Solve 2*c - s*c - 16 = 0 for c.
-4
Suppose 2*f + 12 = -f. Let a = f - 2. Let y be 11/3 - (-4)/a. Solve 2*l + y = l for l.
-3
Suppose -4*t - 75 = -139. Solve 0 = t*l - 12*l - 4 for l.
1
Let s be 3/(-1 + (-8)/(-5)). Suppose k - o - 20 = 0, -s*o - 27 = -k - 11. Suppose -11*p + 14*p - k = 0. Solve -p = f - 2 for f.
-5
Let k(w) = w - 1. Let j be k(1). Solve j = 2*p + p + 9 for p.
-3
Suppose -4 = u - 12. Let m = 8 - u. Solve q - 6*q - 5 = m for q.
-1
Let j(y) = 3*y + 28. Let r be j(-8). Solve r = 3*v + 1 for v.
1
Let v(i) = -i - 8. Suppose 33 = -4*n - b, 6*b - 22 = 3*n + 4*b. Let r be v(n). Suppose r = 5*l + 4*f + 10, 5*l + 3*f + 7 - 2 = 0. Solve 0 = -3*a + l + 4 for a.
2
Let c be (96/(-136))/((-4)/34). Solve 0 = -c*i - 1 - 11 for i.
-2
Suppose -9*u + 13*u - 8 = 0. Let m(j) = j**2 - 3*j + 2. Let g be m(u). Solve 2*n + 2 = -g*n for n.
-1
Let z be ((-20)/(-40))/(2/44). Solve -3*i + 2 - z = 0 for i.
-3
Let r be (-14)/4 + 2 - (84/(-8) - 3). Let v = -2 + 2. Let u(s) = -s**3 - 5*s**2 + 6*s + 3. Let g be u(-6). Solve -g*w + 0*w - r = v for w.
-4
Let z(d) = -d**2 - 7*d + 7. Let y be z(-6). Let u(k) = -k + 31. Let o be u(y). Suppose -4*t + o = 2*t. Solve -8 = -t*b + 5*b for b.
-4
Suppose -24 = -4*f + 2*r, f - 4*r - 4 = -12. Let m = -4 + f. Let d = -222 - -225. Solve -d*h = -h - m for h.
2
Let s be 12/(-4)*(-4)/6. Suppose b - s*g - 7 = 0, 5*b + 3 = 3*g + 24. Suppose 5*h = 3*u + 25, 0 = b*h + 2*h - 25. Solve -4*v + v - 6 = u for v.
-2
Let r = -1 + 21. Suppose 6*g - 16*g = -r. Solve -3*v + 20 = g*v for v.
4
Suppose -5*r + 10*r = 25. Let h(j) = -j**3 + 5*j**2 - 2*j + 10. Let y be h(r). Solve 0 = -2*m - y*m + 10 for m.
5
Suppose 0 = 4*o - 4, 3*o + 0 - 13 = -2*z. Solve 0*q = z*q for q.
0
Let o = -284 + 299. Suppose 0*v = 2*n + 5*v + 37, n + 20 = -3*v. Let w = o + n. Solve 8 + 4 = -w*t for t.
-3
Let t be 134/(-1)*((-64)/8)/16. Let g = -64 + t. Solve g*k + 0*k = 0 for k.
0
Let q(f) = -8*f - 47. Let t be q(-25). Let r = t - 129. Solve 4 = 5*o + r for o.
-4
Let v(p) = 6*p + 12. Let b be v(-9). Let r = b + 47. Solve r*c = 2*c for c.
0
Let f be (20/3)/(((-128)/(-24))/8). Solve f*o - 9 + 29 = 0 for o.
-2
Let g = 151 - 151. Solve 0*t + 3*t = g for t.
0
Suppose 5*l + 4 = m, -m = 2*l - 4*l - 4. Suppose -m*d + 8 + 0 = 0. Suppose 3*x - 2 = d*x. Solve 0 = y + x for y.
-2
Let w be ((-71)/2)/((25/(-10))/5). Let v = 73 - w. Solve 3*n - 4 = v*n for n.
4
Let p(i) = -35*i + 164. Let z be p(4). Solve z*q = 27*q + 6 for q.
-2
Suppose 6*y - 11*y + 20 = 0. Let t(n) = -n + 5. Let s be t(y). Solve -4*f - 21 = -s for f.
-5
Suppose -y + 1 + 3 = 0. Suppose -y*f + 4 = 0, 5*d - 2*d + 70 = -5*f. Let o = 41 + d. Solve u + o = 5*u for u.
4
Suppose 0 = f - 3*u - 24, 4*f + 4*u - 2*u = 54. Solve -7*i - f = -2*i for i.
-3
Let q(f) = -27*f + 2. Let x be q(-1). Suppose 8*d + 5 = x. Solve 2*p + 5 = -d for p.
-4
Suppose 3*j + 0*j = -2*r + 13, -5*j = 3*r - 20. Suppose 0 = v - 4*v - 183. Let w = v + 61. Solve w = -0*p + r*p for p.
0
Let c be 3/4 + (-14)/8. Let d be -4 - (7/c + -2). Solve 16 = d*m - 9 for m.
5
Suppose 66*j = 59*j + 105. Solve j = -0*k - 5*k for k.
-3
Let h = -13 + 22. Solve -11*f + h = -8*f for f.
3
Let z(y) = 2 + 0*y - 2*y + 2*y - 2*y. Let h be z(-1). Solve h*i = 5*i + 3 for i.
-3
Let n be (-238)/833 + ((-8)/(-14))/2. Solve n = -5*u - 14 - 1 for u.
-3
Suppose 3*j + 90 = 3*a, 0 = 4*a + 6*j - 3*j - 99. Let v be (-18)/a - (-17)/3. Solve -u - v = -0 for u.
-5
Let k = -17 - -16. Let d(j) = 2*j**2 - 3*j - 2. Let g be d(k). Solve 0 = w - g - 2 for w.
5
Let x = 69 - 62. Let j = 5 - 3. Suppose 0 = -j*p - 4*b - 5 - x, -b - 17 = -3*p. Solve 0 = -p*i - 1 + 21 for i.
5
Suppose -u - 2*w + 6*w = -16, 2*u - 4*w = 20. Suppose -4 = -4*c + u*o, 2*o - 2 - 6 = 0. Solve -2*l - 3 - c = 0 for l.
-4
Suppose 3*v = -5*t + 2*t + 15, -t = 5*v - 9. Suppose 2*f - 8 = 2*b - 0, 0 = -4*f + 2*b + 24. Let m be ((-4)/(-5))/(f/20). Solve m = l - v for l.
3
Suppose 5*m - 95 = -3*y, -y + 3*y = 4*m + 56. Suppose 0 = -4*x + 5*u + y, -4*u + 1 - 24 = -3*x. Solve x*s = 2*s for s.
0
Let n = -22 + 24. Suppose n*d = 5*d. Suppose a = -d*a. Solve a = 3*i + 9 + 3 for i.
-4
Let i(m) = -10*m - 80. Let t be i(-9). Solve -t*c + 12*c = 2 for c.
1
Suppose 13*p - 10*p = 24. Suppose p = 3*z - 1. Solve 4*d - 5 = z*d for d.
5
Let y(q) = q**3 + 6*q**2 + 4*q - 10. Let f be y(-4). Suppose -4*l = -3*t + 14, -3*t - 4*l - f = -2*t. Solve -t*n - 6 = n for n.
-2
Suppose 55 = -0*x + 5*x. Suppose x*z = 10*z. Let s(n) = n**3 - 6*n**2 - 8*n + 12. Let u be s(7). Solve -u*w + 4*w - 1 = z for w.
-1
Suppose 4*t - 7*t = 0. Let q(r) = r**3 - 8*r**2 + 7*r + 4. Let i be q(7). Suppose -w + 8 = -i*g - 5*w, 2*g + w = 0. Solve t = 3*u + g*u for u.
0
Suppose -3*n = -0*n. Let u be n + 23/(1 + 0). Suppose 3*s - 4*d - 6 = 10, 5*s - 3*d = u. Solve 1 = -s*c + 5 for c.
1
Let t = -25 - 29. Let y = -50 - t. Solve 5 + 11 = -y*u for u.
-4
Suppose 4*x - 12*x = -5*x. Solve x = -12*q - 6 - 6 for q.
-1
Let m be (39 - -1)*(20 + 11 + -30). Solve -48*t + m*t - 8 = 0 for t.
-1
Suppose -25 = -7*x + 17. Solve -4 = -2*i + x for i.
5
Let f be (3 + 14 + 11)*2/4. Solve -f*d + 15*d + 4 = 0 for d.
-4
Suppose 0 = -5*s - 20, 2*s - 6 = f - 3*f. Suppose -2*q + f*q = 150. Suppose h - 25 = -4*b, 2*b - q = -h - 3*h. Solve -h*w - 6 = -3*w for w.
-3
Let y(g) = -g + 8. Let l be y(4). Suppose l*k = 8*k + 2*k. Solve 2*o + k*o + 4 = 0 for o.
-2
Let p(k) = -k**3 + 4*k**2 - k + 2. Suppose 49 = -2*q + 55. Let t be p(q). Solve -4*g + 12 = -t*g for g.
-3
Let t(c) be the first derivative of -c**4/4 + c**3 - c**2 + 6*c + 3. Let n be t(3). Solve -3*o + 3 = -n*o for o.
1
Let k(r) be the first derivative of -r**3/3 - 6*r**2 + 31*r - 54. Let g be k(-14). Solve 6*q - 3 = g*q for q.
1
Let q(h) = 3*h - 13. Let t be q(7). Let o be 2*(-4)/t*-1 - -5. Solve -o*j + 3*j = 6 for j.
-2
Suppose -8*f + 16 = -7*f. Let n be 4 + 0*(-4)/f. Let y be 24/(-6)*(-18)/n. Solve 0 = 4*c - y - 2 for c.
5
Let l be -34*(1/1)/(-2). Suppose 5*g + 8*w - 47 = 7*w, 2 = -g - 4*w. Suppose 11*a = g*a + l. Solve -5 + a = -3*f for f.
-4
Let g = 21 - 70. Let f be 1/(-2) + 54/(-4). Let y be 2/(-7) + f/g. Solve y = -l + 4*l for l.
0
Suppose -6*j - 692 = 28. Let q = j - -124. Solve q*w = -w - 25 for w.
-5
Let c(t) = -15 + 2*t + 25 - 4*t + 16. Let n be c(12). Solve n*r - 3 = r for r.
3
Let y(r) = r. Suppose -6*g + 2*g = -2*i + 16, 2*i - 11 = 3*g. Let t be (6/5)/((-2)/g). Let x be y(t). Solve -2*l + l = x for l.
-3
Suppose -4*h + 139 - 47 = l, -3*l - 10 = -h. Solve 6 - h = 4*o for o.
-4
Suppose -122 = -2*h - 3*z, 0 = 4*h + 3*z - 80 - 158. Solve -3*y + h = 43 for y.
5
Let j be (1*2)/((-4)/(-16)). Let g(z) = 2*z - j - 1 - z - 4*z. Let b be g(-3). Solve -2*w + 1 + 1 = b for w.
1
Let z = 850 + -846. Solve 0 = z*x - 0 + 8 for x.
-2
Let v = -5 + 31. Let p = -26 + v. Suppose p = 4*z + z - 10. Solve 0 - z = x for x.
-2
Suppose s = 4*r - 1, s + 5 = -3*r - 4*s. Let m = 8 - r. Let f = m + -8. Solve f = 2*c - 3*c - 4 for c.
-4
Let f = 8 - 4. Suppose 0 = 2*y - 3*z + 4, -2*y = 3*y + f*z - 36. Suppose -3*o - 22 = -2*c - 16, -5*o = 4*c - 12. Solve o = -y*s - 9 - 7 for s.
-4
Suppose -40 = 3*u + 4*r, 5*u + 0*