or y.
1
Let i(t) = t + 7. Let a be i(-5). Let x be (-23)/(-7) - a/7. Let m be -2*(-2 - (-4)/4). Solve -m*l + 1 = -x for l.
2
Suppose 0 = -0*b + 2*b + 3*l - 22, -l = -4*b + 44. Solve 5 = -3*g + b for g.
2
Suppose -3*y + 3*t = t - 10, -2*y - 3*t = -24. Suppose 0 = 3*z - y*z + 12. Solve 0 = 4*p - 0*p - z for p.
1
Let z = 106 + -100. Solve -2*k + 4 = -z for k.
5
Let k be 3/((-4)/(20/(-5))). Solve 0 = -5*c + k*c for c.
0
Suppose -t - 2*t = -6. Suppose -13 = -5*p - 3*d, -3*d - 5 = 7. Suppose 0 = -p*o + 6*o - 1. Solve t = -k - o for k.
-3
Let a = 1 - 0. Let j be (1 - a)/(-4 + 2). Let s = 6 - j. Solve 10 = -4*g - s for g.
-4
Let b be 34/10 + (-4)/10. Solve -6 = g - b for g.
-3
Let p(l) = l**3 + 10*l**2 + 10*l + 10. Let u be p(-9). Solve 4*j = -5 + u for j.
-1
Suppose -15 = -3*p, 2*c - 5 = -4*p + 3. Let i = 27 + c. Solve -5 = 4*g - i for g.
4
Suppose -2*t + 3*m - 3 = 0, 3*t + 2*m + 4 - 19 = 0. Solve 0 = -t*h - 20 + 5 for h.
-5
Suppose -2*x = 5*l - 26, 3*l - 5*x + 23 = 5*l. Suppose -b - g = l*b - 5, 4*g + 12 = -4*b. Solve 0 = -b*n + 7*n - 20 for n.
4
Suppose 0 = -2*u + 3*a + 16, 3*u - 18 = u + 4*a. Suppose -5*v + 2*v - 24 = 0. Let t = v - -20. Solve -u*o + o = t for o.
-3
Suppose -5*g + 2*b = -50, 0 = -5*g + 4*g + 5*b + 10. Solve -3*u + u = -g for u.
5
Let q = 1 - 1. Let b be (-256)/(-80) - (-1)/(-5). Solve 0 = -b*l - q - 3 for l.
-1
Suppose 0 = -3*j + j + 2. Let b(x) be the second derivative of -x**5/20 + 5*x**4/12 - 5*x**3/6 + x**2 + 2*x. Let v be b(3). Solve 2*o - j = v for o.
3
Let h be (-4)/22 - 13/(-11). Solve -h = -g - 0 for g.
1
Suppose 5*l = 2*l. Suppose l = f - 2*f. Solve -4 = -f*a + a for a.
-4
Let x be (-15)/(-10)*(-4)/3. Let g be 4 + (-1)/(-2)*x. Suppose d = g*d - 6. Solve d*s + 7 = -2 for s.
-3
Suppose -m - 3*f = -8, 0 = -m - 4*m - 2*f - 12. Let c = 6 + m. Solve 8 - c = 2*k for k.
3
Suppose 8*d - 16 - 32 = 0. Solve 0*f + d = 2*f for f.
3
Suppose 42 + 21 = 9*s. Solve -s*f + 2*f + 5 = 0 for f.
1
Suppose -3*z - 39 = -3*w, -3*w - 3*z + 20 = -19. Let m(y) = -y**2 + 11*y + 17. Let r be m(12). Solve -7 = r*f + w for f.
-4
Let x(s) = 2*s - 40. Let z be x(22). Solve -13 = -z*v + 3 for v.
4
Let t = -9 + 13. Suppose -w = -t*w + 90. Suppose c - 4 - 8 = -2*s, -5*c + w = 4*s. Solve -4*f = -c*f for f.
0
Let r = 5 - -4. Solve -5*m - r = -2*m for m.
-3
Suppose 7*x - 2*x - 27 = 4*d, -5*d - 6 = 3*x. Solve 9 + x = -4*v for v.
-3
Suppose 5*o = -o. Solve o = -2*t - 0 + 4 for t.
2
Let x(n) = n**2 - 2*n + 4. Let t be x(3). Suppose f - t = -2*m - 3, 5*f = -4*m + 14. Solve f*r = -0*r + 4 for r.
2
Let m = -77 + 87. Solve -3*o + o = m for o.
-5
Suppose 3*x = -5*d + 11, -5*d + x = -2*x + 1. Let n(k) = -5*k**3 + k**2 - k + 1. Let i be n(d). Let g be (-34)/(-10) - i/(-10). Solve -g*v = 2*v - 20 for v.
4
Let s = -4 - -10. Let u = 6 - s. Solve -g = -5 - u for g.
5
Let h = -45 - -65. Let f be 84/h - 2/10. Suppose f + 18 = 3*y + 4*s, 4*s = -4*y + 24. Solve -j - 2 = -y*j for j.
2
Suppose 0 = -4*p - 1 + 13, -2*u - 27 = -5*p. Let n be (-3)/(-9) + (-16)/u. Let q(v) = v + 6. Let s be q(-6). Solve -3 = n*l - s*l for l.
-1
Let n(u) = -u**3 - u + 2. Let k be n(0). Suppose y = -k + 8. Solve -i - 2*i = y for i.
-2
Let f = 29 + -27. Solve 6*z - f*z = -4 for z.
-1
Let k(w) = -w - 2. Let s be k(-2). Suppose s*j + 3*j = 6. Let z(b) = b + 12. Let i be z(-6). Solve -i = j*u - 4*u for u.
3
Let u(y) = 4*y**2 - y + 7. Let c(k) = -3*k**2 + k - 6. Let s(l) = -3*c(l) - 2*u(l). Let j be s(0). Solve -j*h + 0*h + 8 = 0 for h.
2
Suppose 0 = 4*q - 104 + 92. Solve -q = c + 2*c for c.
-1
Suppose 5 = 5*z - 15, 1 = a - 2*z. Let f = 23 - a. Solve -5*r + f = 39 for r.
-5
Let f(x) = -x**3 + 7*x**2 + 9*x + 7. Let r be f(8). Solve -35 = 5*j - r for j.
-4
Let x(j) = 2*j - 3. Let c be x(3). Let q = 1 - -3. Solve q*s - 2 = c*s for s.
2
Let c(i) = -i - 3. Let b(u) = -3*u**2 - 1 - 4*u + 2*u + u**3 + 2*u**2 + 0. Let w be b(-2). Let o be c(w). Solve 0 = o*r - r for r.
0
Suppose 0 = -3*m + z + 420, 9*m - 4*m - 4*z = 700. Let c be (1/(-2))/((-5)/m). Suppose -5*u + t - 6*t + 15 = 0, -3*t = 4*u - c. Solve a + u - 1 = 0 for a.
-4
Let c = -12 + 2. Let q be 54/10 - 6/c. Solve 2*p + 4 = -q for p.
-5
Let n be 3 - (-2)/(-2) - -2. Solve -1 + n = -3*m for m.
-1
Suppose -3*t - m + 11 = 0, t + 3*t - 24 = m. Solve 5*v - t = 6*v for v.
-5
Let t(w) = w**2 + 21*w + 21. Let s be t(-20). Solve -s - 3 = 4*y for y.
-1
Let o(z) = -10*z**3 + 2*z. Let w be o(-1). Solve -5*c + w = -2 for c.
2
Suppose -5*d - f + 12 = -8, 0 = d + 3*f - 18. Solve 8*c = d*c for c.
0
Let u be (-2)/8*-3*24. Let i = 13 - u. Let y(m) = m**3 + 4*m**2 - 4*m + 7. Let v be y(i). Solve a = v*a for a.
0
Let i be (1 + (-2 - 1))*24/(-16). Solve -i*s + 0 = -9 for s.
3
Suppose 2*x - 6 = 5*n, -3*n + 5*x = 1 + 14. Solve 0 = -n*w + w for w.
0
Suppose 4*g + 16 = 8*g. Solve -12 = -g*h + 4 for h.
4
Suppose 19 + 36 = 3*l - 5*p, 0 = -p - 2. Solve 6*a = a + l for a.
3
Let l(k) = 7*k - 2*k**2 + 3 + k**2 + 0*k**2. Let q be l(6). Suppose 1 = -5*d - 4*x + 28, 4*x + 3 = 5*d. Solve -d + q = 3*c for c.
2
Let y = -63 + 68. Solve -h + y - 10 = 0 for h.
-5
Let k be (-9)/(-2) + (-42)/28. Solve k*n - 12 = -0 for n.
4
Let w be 9/6*64/6. Suppose -u - 2*f - 3*f - 28 = 0, 5*f = 3*u - w. Let b be (u + (-21)/(-6))*12. Solve 0 = b*d - d - 20 for d.
4
Suppose -3*s - 2 = 7. Let v = -5 - s. Let k be -2 + (0 - (0 + v)). Solve w - 3*w + 8 = k for w.
4
Let v(f) be the third derivative of -f**5/60 + f**4/4 + 2*f**2. Let p be v(6). Solve p*y = -4*y - 8 for y.
-2
Suppose 0 = -4*s + 5*s - 2. Let g(f) = 2*f**3 - 4*f**2 + 2*f. Let x be g(s). Solve 0 = -0*l + 4*l + x for l.
-1
Let k be 3/(-2) - 169/(-26). Solve 17 = -k*n - 8 for n.
-5
Suppose 5*u = 2*g + 7, -3*g + 0*u - 4 = -u. Let b be 0 - 3/g - -2. Solve -16 = -o + b*o for o.
-4
Let h(c) = c**3 - 10*c**2 + c - 6. Let g be h(10). Suppose p - 2 = 2. Solve g*v + 12 = -p for v.
-4
Suppose -5*u - 2*c + 74 = 0, -3*c + 10 = -5*u + 99. Solve 4*y - u = -0*y for y.
4
Suppose 2*o = 1 + 3. Let x(y) = -4*y + o*y + y + 6*y. Let d be x(1). Solve d*q + 2 = -3 for q.
-1
Suppose -9 = -5*f - 24. Let r be (0/3)/f*-1. Solve r = 3*l - 4 - 11 for l.
5
Suppose -2*x = 2*p - 2, -2 = -3*p + 4*x - 27. Let q be 2 + (2 + p - -3). Solve q*r - 2*r + 6 = 0 for r.
-3
Let z(c) = -2*c**3 - 12*c**2 - 2*c - 12. Let d be z(-6). Solve -2*o + d = 2 for o.
-1
Let b(p) = -p**2 - 6*p - 3. Let n be b(-5). Solve -5*t = -n*t - 12 for t.
4
Let d be (-5)/(7 + -2)*(0 - 5). Solve 3*t = d*t + 6 for t.
-3
Let z = 0 + 0. Let a = 4 - z. Solve a*i + 14 = 2 for i.
-3
Suppose 0 = -13*p + 17*p - 24. Solve p*d = d for d.
0
Suppose 0 = -2*i + 2. Suppose -3*p + 11 = -i. Solve 0 = p*w - w for w.
0
Suppose -4*w - 3*h = 0, 0 = -w + 3*h + 2*h + 23. Suppose 4*u + w*r = 3, -5*r - 8 = 7. Solve 2*f + u*f = 15 for f.
3
Let j be (-2 - -1)/(5/(-20)). Solve -1 = -m - j for m.
-3
Suppose -4*y + 65 = 5*f, -3*f = -5*y - 7*f + 70. Suppose 3*r - r = y. Solve -c - 4*c = -r for c.
1
Let b be 5/15*-8*-3. Solve -2*a = -0*a - b for a.
4
Let j(w) = -w + 2*w**3 - 2 + 3*w**3 + 3*w - 4*w**3 - 2*w**2. Let l be j(2). Suppose 0 = -a + 4*z + 22, -3*a - 2*z = l*a. Solve -g - a = -0 for g.
-2
Let w be -1 + 1 - -2 - (-2)/(-1). Solve w = -3*k + 5 + 1 for k.
2
Let d = 8 + 2. Solve -4*r + 2 = d for r.
-2
Let g(w) = 6*w - 2. Let r be g(3). Suppose -5*j + 328 = 4*f, -4*j - 3*f + 278 = -5*f. Let u be j/18 - (-6)/27. Solve 0*c - u*c = r for c.
-4
Suppose 8 = 5*f - 3*f. Solve f*h - 2*h - 4 = 0 for h.
2
Let t be 276/66 + 2/(-11). Solve -l - 25 = t*l for l.
-5
Let m = 84 + -78. Solve 0*r - m = 2*r for r.
-3
Let d be 50/18 - (-2)/9. Suppose -2 + 4 = d*v - p, -5*v = -p - 2. Solve 6*l - 2*l + 8 = v for l.
-2
Let u(w) = w**3 + 10*w**2 + w + 13. Let o be u(-10). Let s(j) = j**2 - j - 4. Let g be s(o). Solve -g*q = -q + 4 for q.
-4
Let b(h) = 2*h + 1. Let k be b(-3). Let q be (-259)/(-49) - (-2)/(-7). Let d = q + k. Solve d*j = -3*j + 6 for j.
2
Let v(p) be the second derivative of 1/12*p**4 - 2*p + 0 - 1/6*p**3 + 2*p**2. Let i be v(3). Solve d = 6*d + i for d.
-2
Let r(c) = -c**2 + 4*c. Let i be r(2). Solve 0 = i*z + 2 - 14 for z.
3
Suppose 4 = -3*a - 8. Let j = a - -6. Solve 3*l = -14 + j for l.
-4
Suppose 0 = -3*u + 6*u - 6. Suppose 19 = r + u*c, -r = -2*c - c - 34. Solve 4*m + m = -r for m.
-5
Suppose 8 = 2*s - z, -5*s + 0*z + 20 = 3*z. Let j be 2*-2*5/(-4). Suppo