y for f.
4
Let v(l) = -2*l + 17. Let a be v(7). Let d be (-28)/(-42)*(0 + a). Solve -14 - d = 4*x for x.
-4
Let q be -10*1 + (45 - 16). Solve -17*g = 104 - q for g.
-5
Let g(o) = -o**3 + 10*o**2 + 26*o - 21. Let j be g(12). Solve -3*l - j + 0 = 0 for l.
-1
Suppose 0 = -12*o + 25*o. Solve -d + 5 - 3 = o for d.
2
Suppose 4*z = 3*s - 152, 4*s - 7*z = -3*z + 204. Let p be (-30)/(-8) - (-13)/s. Solve -p + 0 = 4*m for m.
-1
Let w be 4 + 8/(-3) + (-6)/(-9). Solve 0 = 22*g - 24*g - w for g.
-1
Let a(u) = -u**3 + 6*u**2 - 5*u + 6. Let j be a(5). Suppose -2*v = -3*g - j*v + 28, -2*g + v = -4. Suppose 0 = g*z - 6*z. Solve -k + 3*k = z for k.
0
Let z = -5 - -10. Suppose -15 = -f - 2*m, 4*f - 5*m - 70 = -3*m. Suppose 0 = -s - 5*y - f, -y = s - 4 + z. Solve -s*n = n for n.
0
Let s(m) = -m**2 + 20*m + 13. Let j be s(21). Let x(y) = y + 9. Let g be x(j). Solve 3*b + g - 4 = 0 for b.
1
Let f = 1 - -10. Suppose 16*o - f*o - 15 = 0. Solve -o*w = -0*w - 9 for w.
3
Let h be 1*2/(3/3). Suppose 0 = -x - p + 2*p, 0 = h*x - 3*p. Let d = 1 - x. Solve 0 = -k - d for k.
-1
Let b = 35 - 33. Suppose 5*n + 16 = -4, 2*g - b*n - 64 = 0. Solve 5*h - 3 = -g for h.
-5
Let j be -74 - -93 - (0 - -13). Solve 17 - 35 = j*q for q.
-3
Let q(b) = b**3 + 18*b**2 + 22*b - 150. Let z be q(-16). Solve r + 15 = z for r.
-5
Let y = 29 - 26. Suppose -4*a - 8 = -0*a, -y*a = 2*q - 4. Solve 0*j = -5*j + q for j.
1
Let a(o) = -o**3 - 2*o**2 + o - 4. Let t be a(-3). Let n be (-368)/(-14) + -6 - 12/42. Suppose -10*j + 5*j + 30 = 0. Solve -j*w = -t*w - n for w.
5
Let j be 14/91 + (-204)/(-26). Solve j*a = 6*a - 8 for a.
-4
Let b(x) = -x**2 - 5*x + 5. Let t be b(-4). Let j = t - 6. Let q = -116 + 124. Solve m + q = -j*m for m.
-2
Let q = 89 - 93. Let v be ((-42)/q)/3 - 19/38. Let b(s) = -s**3 + 5*s**2 - 5*s + 6. Let z be b(4). Solve -g = -v*g + z for g.
1
Suppose 44*a - 7*a = 1110. Solve -a*s - 10 = -35*s for s.
2
Suppose -4*f + 2*n = -384, 0 = f + 4*n - 88 - 17. Solve f*q - 90*q = 7 for q.
1
Let t(n) = -n**2 - 6*n - 4. Suppose -3*b = 11 - 2. Let i be t(b). Solve 3 - 13 = i*j for j.
-2
Suppose 0*v - 2*v = 40. Suppose 5*o = -3*n - 130, n + 3*o + 30 = 8*o. Let d = v - n. Solve d = 3*f + f for f.
5
Let r = 9 + -6. Suppose -5*u - 16 + 6 = 4*i, r*u + 3*i = -9. Let z = 36 + -30. Solve z*f - 20 = u*f for f.
5
Suppose -11*i + 7 = -26. Suppose 4*z + n - 1 = 8*z, n = -i*z + 1. Solve z = c + 2*c + 9 for c.
-3
Let f be ((-325)/(-780))/((-2)/(-24)). Solve b - f + 7 = 0 for b.
-2
Suppose -5*r - 5 = -20. Suppose 5 + 1 = r*z. Solve -4*k + z = 6 for k.
-1
Let g(b) = -3*b - 2. Let p be g(-5). Let l be ((-9)/(-6))/((-4)/(-24)). Let s be (8 - l) + 6 + -2. Solve -4*j + p = -s for j.
4
Suppose -2*r - 3*u = -5*r + 3, 4 = -4*u. Let h be r/2 + (-2 - -4). Let y be ((-6)/h)/((-10)/20). Solve -4*g = 6 + y for g.
-3
Let n be (-11 - -11)/(1*-1). Suppose -4 = g - 2*g - 2*q, -4*q + 12 = 4*g. Suppose -7*u + 8 = -34. Solve n = 4*c + u + g for c.
-2
Suppose 5*j + 10 = 120. Suppose 2*q - 30 = -j. Suppose 2*k + 23 = 3*k + 4*d, -q*d + 8 = -4*k. Solve -4*i - 1 = k for i.
-1
Suppose -a - 9 = -5*y, 3*a - 1 - 2 = 0. Suppose -4 = u - y*u. Suppose -4*r - 14 = 2*f, 0 = -2*f - 2*r - u. Solve -z - 2*z = -f for z.
1
Let m be -2 - -1 - (-2 - 2). Let b(q) = q**3 - q**2. Let f be b(0). Solve -p + f*p = -m for p.
3
Let d be (8 - 7)/((-2)/(-10)). Suppose -s - z + 7 = -6*z, d*s + 4*z = 35. Let y = s - 1. Solve 0 = y*u - u for u.
0
Suppose 22 = 7*u + 8. Solve -5*m + u*m + 6 = 0 for m.
2
Let i be (-1 - 1)*(-10)/4. Let q = 6 - 6. Solve 3*d - 4*d + i = q for d.
5
Suppose 350*n - 20 = 349*n. Solve 4*b + n = 9*b for b.
4
Suppose 5*u - 4*t - 90 = 0, -4*t - 22 = -u + 12. Let n = -13 + u. Solve -3*r = 11 + n for r.
-4
Let s(p) = -3*p - 6. Let h be s(-2). Let t(d) = 13*d - 5. Let n be t(1). Solve -n*w + 9*w - 3 = h for w.
3
Suppose -h + 13 = -u - 2*u, -2*u = -2*h + 18. Let o(a) = -8*a**2 + 5*a - 2 - 14*a**3 - 2 + 15*a**3 + 3*a. Let k be o(h). Solve f = k*f for f.
0
Let n = -54 - -57. Solve -g - n = -4 for g.
1
Suppose -11*p = -5*p - 72. Solve -3*z - z = -p for z.
3
Let i = -421 + 424. Solve -2*n + i = -3 for n.
3
Suppose 266 = -152*y + 166*y. Solve 14*n - y*n = 20 for n.
-4
Let i(h) = h**2 - 2*h + 3. Let a be i(2). Suppose 23*b - 37*b + 70 = 0. Solve -b*w + a = 18 for w.
-3
Suppose -k - 9 = -49. Let f be -3 + 5/(25/k). Solve 4*q + f = -q for q.
-1
Suppose 113*n = 114*n - 4. Solve -3 = -n*w + 1 for w.
1
Let m be -41*(-1)/(-1 - -2). Let t = m + -41. Solve t = -0*s - 4*s for s.
0
Let m(d) = -d**2 + 26*d + 35. Suppose 0 = -w - 3*l + 36, 3*l - 7 = w - 25. Let v be m(w). Solve v*a = 6*a for a.
0
Let w(b) = -b**2 - 10*b - 9. Let l(j) = j**2 - 8*j + 7. Let z be l(4). Let t be w(z). Solve q + 4 - 2 = t for q.
-2
Let y = 1155 + -1150. Solve 18 = y*i + 28 for i.
-2
Suppose 3*v - 4 - 4 = 4*w, -11 = -w + 4*v. Let o(t) = -1. Let j(y) = y**2 + 5*y + 5. Let q(m) = j(m) + 4*o(m). Let f be q(w). Solve f = 3*x + 4 for x.
-1
Let z(o) be the first derivative of o**4/2 + 5*o**3 + 4*o**2 + 9*o - 2. Let h be z(-7). Let r(c) = c**2. Let b be r(h). Solve -b*i + 9*i = 0 for i.
0
Let c be 0/(2 + -2 - 2). Let k(i) = -2*i**2 + 13*i - 4. Let m be k(6). Let f be (-8)/6*(-6)/4. Solve -f*d - 4 - m = c for d.
-3
Let c = 17 + -10. Let a = -65 - -74. Let o = a - c. Solve 0 = -o*p + 4*p - 10 for p.
5
Let h be (1*(8 - 8))/(3 + -2). Solve h = -2*x - 0 - 4 for x.
-2
Let d = 60 + -53. Suppose -4*g + 5 = -d. Solve 5*f - g - 2 = 0 for f.
1
Suppose -2*j - 4*i = -2, -2*j + 5*i + 0 = -11. Solve 6*f = j*f - 5*f for f.
0
Suppose 0 = u + 2*u. Suppose 3*h - 2*v - 2*v = 12, 5*h - v - 37 = u. Let x = h - 7. Solve q = 3 - x for q.
2
Let y = -3 + 5. Suppose 8 = -2*t, -y*t + 6 = 3*k - 7. Let q = 60 + -55. Solve 0 = q*z - 3 - k for z.
2
Let d(u) = 10*u + 40. Let a be d(-4). Solve a = 7*r - 11*r - 16 for r.
-4
Let p be 176/(-792) + 2/9. Solve p = f - 0*f - 4 for f.
4
Let b(p) = -4*p**2 - 50*p + 36. Let m be b(-13). Solve m = 7*q + 3 for q.
1
Suppose -5*a - 8 - 12 = 0. Let h = 9 + a. Suppose 0*j - 3*j + 15 = 0. Solve 5 + j = h*d for d.
2
Let c = -84 - -15. Let y = 71 + c. Solve 0 = y*z + 2 - 12 for z.
5
Suppose -42 = -2*c - c. Suppose -18 = -4*a + 2*v, -a - a + 2*v + c = 0. Solve -2 = a*m + 4 for m.
-3
Suppose 0 = -2*k + 3*r + 4, -6*k - 4*r = -2*k - 8. Solve k*f - 4 = -10 for f.
-3
Suppose 8*v + 93 + 83 = 0. Let c = v + 24. Solve -3*q = -c*q for q.
0
Let r(s) = s - 4. Let f be r(6). Suppose 0 = 4*u + 2*h - 108, -f*h - 46 = -u - 9. Solve -u + 4 = -5*b for b.
5
Suppose 9*p - 14*p = -95. Solve -21*a + 2 = -p*a for a.
1
Suppose -12*f = -2*f - 100. Solve -13*y = -f*y + 3 for y.
-1
Let a = 0 + 6. Solve -5*r + 3*r = a for r.
-3
Let s be (-2 - -4)/(1/(-8)*-4). Suppose -2*a - 4*z + 4 = 0, s*a = -3*z + z + 14. Solve a*f + 25 - 5 = 0 for f.
-5
Let d(i) = i**2 + i + 15. Let x be d(0). Suppose 13 = 7*o - x. Solve -o*q + 2 = -14 for q.
4
Let s be 5/((-18)/(-3) + (-18 - -13)). Solve -s*o + 5 - 30 = 0 for o.
-5
Let p be (-2)/5 + 4/10. Let b be ((-45)/18)/(11/(-22)). Solve p = -b*t + t for t.
0
Let x be (120/(-140))/(3/(-14)). Solve 2*z - x = 4 for z.
4
Let w(k) = k**2 + 9*k + 2. Let g be w(-10). Suppose -6*v - 12 = -g*v. Solve -v*m - 1 = 3 for m.
-2
Suppose 1 = 2*f - 5*p + 2, 4*f - 5*p = 3. Solve 3 = f*c + c for c.
1
Let c(y) be the third derivative of -y**6/60 + y**5/20 + y**4/8 - y**3/3 + 16*y**2. Let g be c(2). Solve -4*w + 17 + 3 = g for w.
5
Suppose 235*g + 62 = 266*g. Solve -10*a - g = 8 for a.
-1
Let i(x) be the first derivative of x**4/4 - 4*x**3/3 + x**2 + 2*x + 4. Let c be 1 - 24/(-9) - 1/(-3). Let o be i(c). Solve 0 = -5*m - 5 - o for m.
-3
Let n be 2*1*((-136)/(-16) + -7). Solve 0 = -0*s - n*s + 12 for s.
4
Let m(s) = s**2 + 5*s - 2. Let x be m(-5). Let h(q) = q - 10. Let g be h(8). Let b = g - x. Solve -4 = -b*c - 4*c for c.
1
Suppose -2*q = -3*k - 314, -5*k - 3*q = -8*q + 520. Let i = 108 + k. Let x be 4/(-6)*(-1 - 5). Solve 10 = x*b - i for b.
3
Let c be 46/8 - (-12)/(-16). Let h = 7 - c. Let l be (h + -6)*(-9)/4. Solve -2*x + 5*x + l = 0 for x.
-3
Let r be 4 + -8 + (9 - 0). Suppose -5*y = -2*c + r, -3*c = 3*y + 2*y + 5. Solve 2*l + 2*l = c for l.
0
Suppose -28 = -5*p + 2*g, -13 = 3*g - 1. Let u be ((-9)/(-2))/(1/(-2)). Let x = -4 - u. Solve 0 = -x*m + p + 1 for m.
1
Suppose 248 - 198 = 5*c. Solve -11 = -7*t + c for 