 y for y.
1
Let d(r) = r - 6. Let j be d(6). Suppose 5*x - 2*c = 22, 0*x + 4*c - 4 = 2*x. Suppose b - x*f + 6 = -4*f, 3*b + 2 = 2*f. Solve j*l + 8 = -b*l for l.
-4
Let k(m) = m**3 - m**2 - m + 1. Let d be k(2). Suppose 4*n = 2*t, -5*t + 2*t + 5*n + 1 = 0. Solve d*w - 4 - t = 0 for w.
2
Let w be (16/32)/(-2*1/(-8)). Solve -u - w*u = 9 for u.
-3
Suppose -5*v + 4 + 6 = 0. Suppose -s = -5*o + 20, -16 = 5*s + o - 5*o. Let c = v - s. Solve c*a = -0*a for a.
0
Let l = 32 - 19. Let x(n) = 3*n**2 + 2*n. Let m be x(2). Let k be (m/12)/((-2)/(-3)). Solve k*y - 3 = -l for y.
-5
Let v(n) = -4*n + 7. Let a(p) = p. Let b(s) = 5*a(s) + v(s). Let q be b(-5). Let f be (13 - 1)/2 + 0. Solve 4*g = q*g + f for g.
3
Suppose -2*j = -3*n - 16, 2*j + n = -2*j + 4. Let s = 3 + j. Suppose -s*f + 9 = -4*f. Solve 5*o = 2*o + f for o.
3
Suppose -13 = -3*t - 1. Solve t = i - 2*i for i.
-4
Let u = -7 - -11. Solve -3 - 1 = u*l for l.
-1
Suppose -5*a - 50 = -0*a. Let d = a + 14. Solve -3 = d*b + 1 for b.
-1
Let g(w) = -w**2 + 7*w - 2. Let l be g(5). Solve -2*o = -0*o - l for o.
4
Suppose z + w = 15, -3*z + 2*w + 43 = 13. Suppose 4*i = -0*i + z. Let f(b) = -b**2 - 5*b - 2. Let q be f(-3). Solve -i*y + q = -5*y for y.
-2
Let f(w) = -7*w - 1. Let d be f(1). Let t be (-4)/14 + d/(-28). Suppose 4*h - 63 = 5*p, 2*h - 5*p + 2*p = 33. Solve -2*g - g + h = t for g.
4
Let u be 24/20*(-10)/4. Let k be 1 - (u + (-8)/(-2)). Let x be 4/14 + 38/14. Solve 2*f - x + 5 = k for f.
-1
Let n(i) = -2*i - 14. Let p be n(-8). Solve p = 2*o - o for o.
2
Suppose 4*b - 3 = 13. Suppose 9 = b*k - 3. Solve -g + 8 = -k*g for g.
-4
Let r(y) = y + 11. Let g be r(-9). Suppose -g = 2*l - 8. Suppose l*k - 14 = 1. Solve -5*c + k = -5 for c.
2
Let l be (-4)/(-3)*3/2. Suppose -4*t + 16 = -l*q, -q = q. Solve t*a - 6 = a for a.
2
Let l = 2 - 0. Solve -5*b - l = -7*b for b.
1
Let y(i) = 0*i**2 + 1 + 2 + 8*i + 10*i**2 + i**3 - 7. Let z be y(-9). Solve -z*c - 10 = -0*c for c.
-2
Let k be (-2)/(-3 - -2) - 54. Let q be k/(-6) + 2/(-3). Suppose 0 = -i + 2*i - q. Solve -h = h + i for h.
-4
Let k = -1 + 1. Suppose 3*j + 0*j - 12 = k. Suppose -3*u + 6*u + i = 7, 12 = j*u + 4*i. Solve -u*m = -0*m - 10 for m.
5
Let f = 17 - 23. Let k(n) = -n**3 - 7*n**2 - 6*n. Let x be k(f). Solve x*p = -p - 5 for p.
-5
Suppose -v + 2 + 2 = 0. Suppose 0*n + n = 0. Suppose a = -n*a. Solve -v*x - x = a for x.
0
Suppose -3*z - 5*o + 10 = 0, 13 = 3*z + 2*o - 0*o. Suppose 0 = -2*q + 2*w, -z*q + 0*q + 8 = -w. Solve -5 = q*k + 3*k for k.
-1
Suppose 15*c - 36 = 11*c. Suppose o - 9 = 5*x, 4*x - c = -o + 2*x. Solve -o = 5*p - 2*p for p.
-3
Let a(r) = -2*r**2 + 12*r - 13. Let z be a(4). Solve z*n = 15 - 0 for n.
5
Let n = 35 - 32. Solve n*t - 2 = t for t.
1
Suppose 2 = c, -5*t + 3*c + 13 - 19 = 0. Solve j - 2*j - 4 = t for j.
-4
Let v be 2*3 + (-2 - 0). Solve 16 = 3*z + v for z.
4
Let k(t) = t. Let w be k(7). Suppose w = 4*l - 73. Solve 2*v = 7*v + l for v.
-4
Suppose 11 = 3*f + 8, d = -2*f + 8. Solve 3*g - 3 = -d for g.
-1
Let d = 13 + -11. Solve 0 = z - 1 - d for z.
3
Let f(j) = -j**2 - 4*j - 2. Let c be f(-4). Let b be c/3*9/(-3). Solve b*a = -4 - 4 for a.
-4
Let l be (-2 - (-84)/49) + 23/7. Solve 2 + 13 = -l*k for k.
-5
Let p = -2 + 4. Let n = 5 - p. Suppose 0 = n*u - 7*u + 3*m + 28, 5*u - 28 = 2*m. Solve 5*q - q = -u for q.
-1
Let o = -4 - -6. Let m = -1 - -1. Let r be 14 - 3 - (1 - m). Solve 0*z + o*z + r = 0 for z.
-5
Let n = 53 + -47. Solve 3*v = v + n for v.
3
Let h = 29 + -12. Suppose 5*d - 40 = -5*k, -2*k = -5*d + 4*d - 10. Suppose x + 40 = k*x. Solve h + x = 5*z for z.
5
Let s be 2*((-2)/4 - -1). Let g be s - (-2 - (-1 - -1)). Suppose -8 = 2*q, 0*l - 12 = 2*l + 5*q. Solve -g*w = l - 13 for w.
3
Let r = 20 - 11. Solve 0 = 4*x + 7 + r for x.
-4
Suppose 11*o + 27 = 115. Solve 4*n - o = 4 for n.
3
Suppose 2*f + f = 0. Suppose f*h + 12 = 2*h. Let t be 8*(4 + (-28)/8). Solve t*i - h = i for i.
2
Let s(i) = i + 7. Let j be s(0). Let h(q) = q**2 - 6*q - 2. Let g be h(j). Suppose -o + m + m = -28, 0 = 2*o - g*m - 60. Solve -2*z = 2*z + o for z.
-5
Let c = 36 + -13. Solve 0 = 5*t - c - 2 for t.
5
Let j(z) = 3*z + 9. Let s be j(-7). Let x be -2 + 1 - s/2. Solve 3*t + x - 2 = 0 for t.
-1
Let i be (2 - 3)*(5 - 5). Solve k + 0*k + 3 = i for k.
-3
Let c(z) = -z + 9. Let d be c(5). Suppose 2*h = -d*o - 0*h + 30, -o = 4*h - 25. Suppose 31 = 4*f - o. Solve 0 = 2*t + t + f for t.
-3
Suppose 4*h = 5*h + 4*o + 11, 5*o + 5 = -3*h. Suppose 5*f + 13 - 28 = 0. Suppose -2*k + 40 = 4*j, -f*k - 29 = -3*j + 1. Solve j*a = h*a + 5 for a.
1
Suppose 19*f - 17*f - 24 = 0. Solve 2*u - f = -2*u for u.
3
Let p(l) = l**2 - 3*l - 1. Let x be p(4). Suppose -f - 100 = -5*f. Suppose y + 1 = x*i - 9, 3*i - f = -2*y. Solve y*v = 2 + 8 for v.
2
Suppose -10*r + 8*r = -4. Solve 0*s = r*s + 8 for s.
-4
Suppose 0 = -4*o - o - 20, b + 27 = -4*o. Let v = b - -11. Solve v = -3*a + 4*a - 5 for a.
5
Let l(f) = f**2 + 5*f - 3. Let d be l(-5). Let o = 5 + d. Solve -5 = o*p + 3 for p.
-4
Suppose -2 = 3*m - 5, -4*b + 5*m - 5 = 0. Suppose b = -2*v - 3*v + 5. Let z(q) = q**3 + q. Let s be z(v). Solve -l + s*l - 3 = 0 for l.
3
Let m(k) = 2*k**3 - 2*k**2 - 2*k. Let h be m(2). Let f(r) = -r + 7. Let w be f(h). Solve 2*n = -5 - w for n.
-4
Let f be (-2)/(-10) - 182/(-65) - -4. Solve 8*x = f*x + 1 for x.
1
Let v be (-1 - -1)/(-5) + 4 + 0. Solve 7*c = v*c for c.
0
Suppose -3*x + 4*v = 14, 0 = -v + 5. Suppose a - 52 = 3*w, w - x*w - a = 16. Let r be (w/(-2) + 0)*2. Solve 0 = 5*m + 8 + r for m.
-5
Let g = 9 + -3. Suppose -g = -2*l, l + 12 = 4*p + 5*l. Suppose p*r = 4*r. Solve r = f - 3 + 5 for f.
-2
Let u(v) = -v**2 - 4*v - 1. Suppose 5*p + 23 = 2*t, -4*p + 8 = t + 4*t. Let o be u(p). Solve 0 = o*j + 6 - 16 for j.
5
Suppose -4*z + z + 27 = 0. Let u(f) = f**2 + 3*f - 1. Let q be u(-4). Solve -3 = q*h - z for h.
2
Suppose n = -n. Let y be 3 + (n/(-1))/(-1). Suppose -10 + 1 = -y*d. Solve d*q = q - 4 for q.
-2
Suppose 4*o + 3*w - 2*w - 9 = 0, -5*w + 25 = 0. Let b be o/(-2) - (-372)/24. Solve -4*n + b = -n for n.
5
Let r(b) = -2*b**2 + 7*b - 5. Let h be r(4). Let t = h - -12. Solve t = 4*v + 11 for v.
-2
Let n(p) = -p**3 - 5*p**2 - p - 3. Let m be n(-5). Suppose 3 = -w + m*w. Solve 2*q - 2 = w*q for q.
-2
Suppose 3*a + o - 4*o - 24 = 0, 2*a - 3*o - 21 = 0. Suppose -5*g - 3 = -13. Suppose -8 + 0 = -4*v - 4*u, u - 2 = -g*v. Solve v*n = -a*n + 6 for n.
2
Let g be (96/(-56) - -2)/(2/14). Solve 0 = -g*h - 13 + 3 for h.
-5
Let p = 4 + 0. Let a be 1/(1/p*2). Solve -4*o - 2 = a for o.
-1
Suppose -5*h + 20 = -h. Suppose 3*m = -m - 64. Let a = 27 + m. Solve -4 = -h*k + a for k.
3
Suppose 5*v - k - 27 = -5*k, k = -2*v + 9. Suppose -7*j + 2*x + 14 = -v*j, 0 = -3*j - 5*x + 43. Suppose -2*m + m = -j. Solve 2*f + 2 + m = 0 for f.
-4
Suppose -p + 3 = 3*i - 2, -3*p - 2*i + 22 = 0. Let z be (4/7)/(p/28). Let s be (6/5)/((-1)/(-5)). Solve -z*b - 4 = s for b.
-5
Suppose 0 = 2*f - 8 - 0. Solve f*w = -4 - 0 for w.
-1
Let i = 0 + 2. Suppose i*g = -4*x + 8, 5 = -x + 3*g + 21. Let w be (-1 - -2)/(x/20). Solve -6 = -w*h - 1 for h.
1
Let c(i) be the first derivative of -i**3/3 + 7*i**2/2 + 1. Let v be c(7). Solve f + v = -2 for f.
-2
Suppose 3*y = -4*k - 2 - 2, 0 = k + 3*y + 10. Suppose 0 = -4*m + d + 14, 0 = 2*m - 2*d + k - 12. Solve m*p = 15 - 3 for p.
4
Let q = 4 + -3. Let a(b) = 2*b**2 + b**2 - 4*b**2 + b + 4*b**3 - q + b. Let p be a(1). Solve 0 = p*g - 5*g - 1 for g.
-1
Suppose r - 4*t + 8 = -3*r, 0 = 5*t - 20. Solve 1 = z - r for z.
3
Let w = 37 - 33. Solve k - w = -2 for k.
2
Let d = 16 + -16. Solve d*n - 2*n = 6 for n.
-3
Suppose 13 - 1 = 3*v. Solve 2 + 18 = v*s for s.
5
Let c(s) = s. Let i be c(0). Let z(k) = 2*k - 16. Let n be z(8). Suppose i = -n*v + v. Solve v = q - 0*q - 2 for q.
2
Let v(z) = z + 14. Let g be v(-7). Solve 0 = p - 2 + g for p.
-5
Suppose 0 = 3*y - y + 5*m - 35, 5*y - 5 = 4*m. Solve -y*k = -0*k for k.
0
Suppose -2*f = 5*b - f + 70, 5*f = -25. Let l = b - -13. Solve -4*r + l*r = 8 for r.
-2
Suppose -8*z + 6*z + 6 = 0. Let w = 0 + z. Let f be (-2)/(-1 + (-14)/(-18)). Solve 0*y - f = -w*y for y.
3
Suppose -12*z + 12 = -0*z. Solve z = 4*o - 19 for o.
5
Suppose -2*s + 0*p = 3*p - 24, -2*s + 3*p = 0. Let j(b) = b**3 - 5*b**2 - 4*b - 8. Let q be j(s). Solve q - 2 = -a for a.
-2
Let y(h) = -h**2 + 7*h - 2. Let t be 