). Solve 16 = i*y + 1 for y.
3
Suppose -2 = -4*l + 10. Solve -4*p + l*p + 2 = 0 for p.
2
Let w = -11 - -7. Let a = 13 - 14. Let m = a - w. Solve -8 = -f - m for f.
5
Let n(t) = -t**2 - 8*t - 7. Let v(z) = z - 1. Let i be v(3). Let u(g) = -g**3 + g**2 - g - 1. Let k be u(i). Let s be n(k). Solve s*d + d = 2 for d.
2
Let l(q) = -2*q**3 - q**2 - q. Let a be l(-1). Let z(b) = b**3 - 2*b - 1. Let f be z(a). Suppose -j - 5*n = 3, -5*j = -5*n - f - 12. Solve -k = -1 + j for k.
-1
Suppose 2*z + b - 6 = -2*b, -3*b - 36 = -5*z. Solve -3*o + 12 = -z*o for o.
-4
Suppose -4*a = -2*o - 94, 24 = a - 2*o + 5. Solve 5*d + 0*d + a = 0 for d.
-5
Suppose 4*r + 4*d = 28, -3*d = -2*r + 6*r - 25. Solve r*m - 6 - 2 = 0 for m.
2
Let w = -42 + 44. Solve w = z + 1 for z.
1
Let p = 21 + -17. Solve 0 = 4*y - p for y.
1
Let f be 2 - (8/(-4) - 1). Suppose -3*b - 7 - f = -5*t, -3*t - 20 = 5*b. Suppose -11 = 4*z - 3*n, 3*z + 5*n + 0 = 28. Solve t = -r + z - 0 for r.
1
Let z(m) = m**2 - 2*m + 1. Let b be z(1). Let q be 5/1*24/30. Solve b = q*v + v - 5 for v.
1
Suppose 3*r - 3*x = 24, -3*x - 10 = -2*r + 11. Let a = -2 + -3. Let i(d) = d + 7. Let c be i(a). Solve r = -c*u - 7 for u.
-5
Suppose -4 = -v - v. Solve c = -v*c + 12 for c.
4
Let q(d) = d**3 - 36*d**2 + 33*d + 74. Let z be q(35). Solve 5*h = 4*h + z for h.
4
Let c(v) = v**3 - 4*v**2 + 2*v - 3. Let r be c(4). Solve r*d + 4 = 4*d for d.
-4
Let n(y) = -y**3 + 6*y**2 + 7*y + 3. Let a be n(7). Suppose a*s + 7 = 13. Suppose 0 = -5*o, -4*f + 17 = 5*o + 5. Solve s*t - 5 = f*t for t.
-5
Let t(j) = j**2 - 3*j + 2*j - 4 + 0 + 4*j. Let y be t(-4). Let o = 1 + 2. Solve y*s + 6 = -o*s for s.
-2
Let b(r) = -4*r - 3. Let p be b(-2). Let i = 0 + p. Let d be 25*2/(i - 3). Solve s - d = -4*s for s.
5
Let o = -49 + 73. Let s be (-3)/(-18) + 92/o. Solve j + s*j - 10 = 0 for j.
2
Let j be 37 + 0 + (0 - 2). Suppose -5*q + 5 = -4*c - 4, -3*q + j = 5*c. Suppose 0*y - 12 = -c*y. Solve w - 8 = -y*w for w.
2
Suppose 3*m = l + 34, 5*m = -4*l + 1 + 33. Solve m = -y - y for y.
-5
Let s = 33 - 19. Let w = -9 + s. Solve w*c = -2 - 8 for c.
-2
Let s be ((-2)/(-2))/((-3)/(-6)). Let k be 6/9 + 7/3. Let q be 3 - (s + (2 - k)). Solve 0 = q*i + 4 for i.
-2
Let u(k) = k**2 + k + 25. Let j = 5 + -5. Let a be u(j). Solve -4*t - t - a = 0 for t.
-5
Let f(o) = -o**3 - o**2 - o + 5. Let p be f(0). Solve p*b + 5 = -0*b for b.
-1
Let c be (-15)/6*12/(-15). Let w be (0 + 2 + c)*1. Solve 0 = -w*o + 8*o - 16 for o.
4
Suppose 3*p + 4*p = 0. Solve -s + 4*s = p for s.
0
Suppose -10*c + 6 = -7*c. Solve 4*u - c = 2*u for u.
1
Let n(h) = 4*h - 9. Let s(x) = x - 1. Let u(b) = 3*n(b) - 21*s(b). Let w be u(-4). Suppose r - w = -4*r. Solve 2*c = r*c + 16 for c.
-4
Let y be 4*(2 - 1) - 2. Suppose 0 = -y*x - 5*c - 3, 3*x - 4*c - 1 = 6*x. Let b = 5 - x. Solve o + b = 7 for o.
3
Let n be (2 - 4) + 1 - -1. Suppose -7*x + 2*x + 30 = n. Solve -r - 25 = -x*r for r.
5
Suppose 2*l = 7 - 19. Let p = l + 13. Suppose -22 = -5*v - p. Solve -f + v*f = 0 for f.
0
Let c(t) = t**3 + 3*t**2 - 6*t. Let v be c(-4). Solve 2*k - v = -2*k for k.
2
Let w(n) = n**2 - 7*n + 3. Let j be w(7). Solve -j = -4*r + 1 for r.
1
Let j be (-3)/((-12)/(-4) + -6). Suppose -2*b = p - 3, -3*b = p - 3*p - 1. Suppose 0 = 4*r - 5*v + 25, p + 4 = r + v. Solve r = 2*d + j - 9 for d.
4
Suppose 0 = 2*v + 3*k + 14, 3*v - k = -5*k - 22. Let b be v*4/24*-3. Solve -b*d = -10*d + 10 for d.
2
Let h = 29 + -26. Let u(k) = -4*k - 4. Let b(g) = 5*g + 5. Let q(v) = -5*b(v) - 6*u(v). Let d be q(-1). Solve 2*l + h*l + 10 = d for l.
-2
Let l be ((-3)/2)/((-1)/2). Let n be (-6 + 5)/((-1)/l). Solve 3*s = -9 - n for s.
-4
Let j be (6/8)/(10/40). Solve -12 = -j*c - 3 for c.
3
Let g(m) = m**3 + m**2 - 1. Let z be g(-1). Let t = 4 - z. Solve -5*q + 0*q = t for q.
-1
Suppose -56 - 49 = -3*g. Suppose -55 = -4*b - 5*u, -2*u - g = -5*b + 3*u. Solve 0 = 3*o + 5 + b for o.
-5
Let k = -38 + 44. Solve -5*n = 4 + k for n.
-2
Suppose -a = -0*a. Suppose 2*b - 7 - 3 = 0. Suppose a = b*v + 12 - 37. Solve -9 = v*d + 16 for d.
-5
Let p(l) be the third derivative of l**4/24 + l**3/6 - l**2. Let t(x) = x**3 - 11*x**2 - 13*x + 16. Let d be t(12). Let f be p(d). Solve u = f*u for u.
0
Let o(p) = p**2 - 8*p + 5. Let v be o(8). Suppose -3*q = -v*f - 2*q + 13, f - 11 = -4*q. Suppose f*m - 2*m = 2. Solve -m*d + d - 2 = 0 for d.
-2
Suppose -8*u + 61 = 4*k - 3*u, u - 71 = -5*k. Let i = -10 + k. Solve 2*c = -i - 2 for c.
-3
Suppose 5*x + 10 = 0, -5*x + 3*x - 12 = 4*o. Let d(g) = -2*g - 2. Let h be d(o). Solve 5*p - 3 = h for p.
1
Suppose 4*x + 15 = 3*d, 0 = -x - 0*x + 3*d - 15. Let t = -25 - -14. Let f = 22 + t. Solve x = 3*j - f + 2 for j.
3
Suppose -4*f - 5*q + 30 = 0, -f - 4*q = -0*f - 13. Solve 2*p - f = 3*p for p.
-5
Let n(p) = -p**3 + 8*p**2 - 7*p - 3. Let q be n(7). Let h = q - -6. Suppose h*z = z. Solve z = 2*r - 3*r + 3 for r.
3
Let g(w) = -w**3 - 5*w**2 - 2. Let t be g(-5). Let h be 0/(1 + -1 - t). Solve -m - m = h for m.
0
Let j be (-94)/(-18) - 2/9. Suppose -j*x - 2 + 182 = 0. Let f be (-4)/(-18) - (-172)/x. Solve -n = -2*n + f for n.
5
Suppose 0 = 3*w - a + 5, 5*a - 7 = 2*w + 18. Solve y + 6 - 2 = w for y.
-4
Suppose -15 + 5 = 5*u. Let d = u + 6. Suppose -q - 18 = -7*q. Solve -q*z - 1 = -d*z for z.
1
Let u be 13/3 - 8/(-12). Suppose 2*z - 4*t + 3*t = 45, 0 = -u*z - 4*t + 145. Solve -7*s = -2*s + z for s.
-5
Suppose -3*m - 13 = -5*i, -15 = -5*i - 0*m + 5*m. Solve 2*v - i = v for v.
2
Let o = -15 - -18. Solve 1 = -2*b + o for b.
1
Let h = 29 + -25. Solve -h = -3*u + 8 for u.
4
Let y(d) = -d**3 - 5*d**2 + 6*d - 4. Let f be y(-6). Let p be (-24)/(-9)*(-6)/f. Solve 2*q - p = 3*q for q.
-4
Suppose -54 = -4*d - 2*x, d = 3*x + 47 - 16. Suppose -d = -k + 4*r, 4*r = 3*r - 1. Suppose 7*i = 4*i - 3*v + k, 14 = 3*i + 4*v. Solve 3*w = 2*w + i for w.
2
Let z(g) = g**2 + 8*g + 10. Suppose -3*x + 2 = -2*p, 4*x = -3*p - 8 - 29. Let k be z(p). Let j(w) = -w**2 + 7*w. Let a be j(k). Solve 8 = -4*l - a for l.
-5
Suppose 20 = 3*y + y. Suppose -y*s = 3*h + 8 - 2, -4 = s + 2*h. Solve s = -6*p + p for p.
0
Let m = -59 + 61. Solve f - 9 = -m*f for f.
3
Let o be 4/(-14) - (-504)/49. Suppose 0 = 2*t - 2*c - 4, 5*t + 3*c = -c + o. Solve 10 = -0*x + t*x for x.
5
Suppose -2*d + 3*n = -4*d + 18, -d + 3*n = -27. Let g(j) = j. Let f be g(0). Suppose d + f = 5*w. Solve w*c + 8 = -4 for c.
-4
Let w(y) = -y - 1. Let g be w(-4). Suppose 4*i + g = 2*h + 3*i, 4*h = -5*i - 15. Let x(r) = r + 3. Let z be x(h). Solve l = z*l for l.
0
Let i = -144 + 146. Suppose -6*o = 5*y - o - 65, -2*o = 5*y - 62. Solve t - y = -i*t for t.
4
Let a(d) = -d + 5. Let u be a(6). Let b = 6 + u. Suppose -18 = -5*v + 3*q, -5*v + 4*q = -0*q - 14. Solve 0 = -b*c + 14 + v for c.
4
Suppose 2*o - p = 0, -15 = -5*p + 5. Let x(a) = 4 - a**3 - 5*a**o - 3*a - 2*a**3 + 2*a**3. Let l be x(-4). Solve 5*m = -l*m for m.
0
Suppose 4*v - 15 = 3*v. Solve 0 + v = 5*f for f.
3
Suppose -4*z = -c + 1 - 8, -4*z - 3*c = -11. Suppose -4*w + z = -2. Suppose -7 = -3*m - w. Solve -3 = m*b - b for b.
-3
Let n(i) = 2*i**2 - 2*i + 1. Let v be n(2). Suppose -6*b + 2*b - 4 = 0. Let t be -5*10*b/2. Solve -v + t = 4*w for w.
5
Suppose -1 + 9 = 2*r - 4*j, -2*j - 20 = -5*r. Let g be 3 - (1 + (1 - 0)). Let c = r + g. Solve 0 = l - 0*l - c for l.
5
Let h be ((-2)/2)/1*-5. Suppose -4*p = -h*r + 15, 11 = -r - 2*p - 0*p. Let w be ((-3)/9)/(r/3). Solve 0 = -q + w + 2 for q.
3
Suppose -k - 4*y + 15 = y, 2*y - 19 = -3*k. Let u(g) = -5*g + 6 + g**2 - 12 - k. Let s be u(8). Solve -1 = 3*j - s for j.
4
Let l be 3 - (-4 + 8 + -2). Solve -l = -3*v + 14 for v.
5
Let m(i) = i**3 + 4*i**2 + i - 2. Let p be m(-3). Solve -u = p*u + 10 for u.
-2
Let w be (3 - 2)/1*5. Solve -w - 3 = -4*k for k.
2
Let x be (-6)/(-3 + 12/8). Suppose -x*n + 19 = -5*o, 0 = 3*o - 3 - 0. Solve 1 = i + n for i.
-5
Suppose 0 = -g - n + 4 + 12, 0 = -4*g + 5*n + 19. Let x = 15 - g. Solve -3*c + x*c - 2 = 0 for c.
2
Let k(w) = w + 10. Let g be k(-8). Suppose g*y + 12 = 5*y. Solve -y*x - 12 = -0*x for x.
-3
Let r = 71 + -65. Solve -4 + r = 2*t for t.
1
Let z be (-2)/(-4) - (-124)/8. Let k = z + -14. Solve -k*q - 4 = 4 for q.
-4
Suppose 4*o = o. Let g be -6*((-3)/(-2) + -2). Solve -5*t + g + 7 = o for t.
2
Let l be 6*(-6)/(-9) + 2. Let y(x) = x**3 - 6*x**2 - 4*x + 10. Let t be ((-2)/(-4)*14)/1. Let r 