a for a.
-2
Let f = -69 - -74. Solve -f*a = -10*a + 25 for a.
5
Let a(n) = 4*n**2 - n - 1. Let y(d) be the third derivative of d**4/24 + d**3/2 + 4*d**2. Let g be y(-4). Let b be a(g). Solve -b = -0*c - 4*c for c.
1
Let h be (-15)/(-12)*(-1 - -5). Suppose 0*y - 3 = -y, 5*x - 85 = h*y. Solve -2*f - x = 2*f for f.
-5
Suppose 5*r + 25 = 85. Solve -r = -m - 3*m for m.
3
Let l(t) = t**2 - t - 1. Let j be l(2). Let w be 4 - (-2 - -2 - 0). Suppose 0 = -4*o - 0*o - 4*a + 8, o + w*a = -j. Solve -2 = -o*b - 11 for b.
-3
Let w be 5/7 + 2/7. Suppose -f - 3*v + 6 = -w, -5*f - 5 = -5*v. Let a be 4 + (f - 0 - 2). Solve a*u = 6*u for u.
0
Let y = -10 - -23. Let c = y - 2. Suppose -3*a + 4*a = -2*m + c, a - 3 = 0. Solve m*q + q = -25 for q.
-5
Let m(x) = -4*x**2 - 3*x - 4. Let d be m(-3). Let b = d + 51. Solve -2*s = -6*s + b for s.
5
Let t(j) = 2*j. Let q be t(-5). Let u = q + 17. Suppose 0 = -3*s - 4 + u. Solve o - 6 + s = 0 for o.
5
Suppose k = -3*k. Solve a - 3*a + 2 = k for a.
1
Suppose 5*v - d - 2 = -0*d, 5*v = -2*d - 4. Let a be (-2 - v - 1) + 3. Suppose a*m = m - 1. Solve p + m = -0*p for p.
-1
Suppose 4*h + 19 = m - 0*h, -h = m + 1. Suppose 26 = m*x - x. Solve x = 3*f + 28 for f.
-5
Suppose 3 = 5*m - 2*m - j, 5*m - 4*j - 12 = 0. Solve m = 6*y - y - 20 for y.
4
Suppose 0*r - r + 9 = 0. Let d = 21 - r. Suppose 2*q - 2*u = 16, 5*u = 2*u - 12. Solve -4*f = -d - q for f.
4
Let f = 23 - 14. Let b be (-20)/25*(-1 - f). Let u = b - -2. Solve -5*g - u = 15 for g.
-5
Let o(j) = -j**3 + j**2. Let m(b) = 3*b**2 + 2*b + 2. Let p(c) = m(c) + 2*o(c). Let a be p(4). Let k = a + 58. Solve 0 = -2*q - 2*q + k for q.
5
Suppose 0 = 3*t - 0*t - 9, -t - 62 = -5*q. Let b = q + -8. Suppose b*p = -5*x + 50, 4*p - x - 35 = -4*x. Solve p*u - 14 + 4 = 0 for u.
2
Suppose 3*b + 3 = -3*y, -4*y - 4*b - 5 = -y. Suppose -3*x - 5 = 2*j - 2, 0 = -3*x - 4*j - 3. Let d be -7 - -6 - (-4 - x). Solve -7 - y = d*o for o.
-4
Let o be (-2 + -2)/((-4)/6). Let i be 26/o - (-2)/3. Solve i + 5 = -5*n for n.
-2
Suppose 0 = 2*w - 14 + 4. Suppose 8 = w*g - 7. Suppose -4*h + 21 = -5*l, 3*h + 17 = 8*h + g*l. Solve -2*b = -h*b - 6 for b.
-3
Let f = 3 + -2. Suppose 3*a = 4*s - 7 + f, 3*s - 4*a - 8 = 0. Suppose s = -2*r + w, -3*w = -3*r - r. Solve -j = -r*j for j.
0
Let s(p) = -p**3 - p**2 - 10. Let k be s(0). Let n = k + 18. Solve 6*v - n = 2*v for v.
2
Suppose x - 3*u = -2*u - 3, -2*x - 4*u + 24 = 0. Suppose -x*q + 2*g = -9 + 3, -q + 4*g + 12 = 0. Solve 3 = -f - q for f.
-3
Let n be 1 - ((0 - -2) + -3). Suppose n*b - 6 = -b. Let s = 5 - b. Solve 7 + 8 = s*j for j.
5
Let z = 27 + -25. Solve -z*g = -4 - 0 for g.
2
Let d be (-1)/3 + 7/21. Solve d = -2*f + 4*f + 4 for f.
-2
Suppose 3*w - 16 = a, 2*w - 11*a = -14*a + 7. Solve -25 + w = 4*v for v.
-5
Let r be 1 + 1 + 2*-1. Suppose d - 2*d = r. Solve w + 0 + 1 = d for w.
-1
Let z(y) = -y**3 - 10*y**2 + 12*y + 14. Suppose 3*o = 6*o + 33. Let w be z(o). Solve w*a - 2 = a for a.
1
Let y be 58/18 + 10/(-45). Let s be y + (-3 - -3) - 1. Solve 0*a - a = s for a.
-2
Suppose -19 = 5*q - 0*u + 2*u, 5*u = 4*q + 35. Let c = q - -7. Solve -3*g = c*g - 15 for g.
3
Let i be (0 + 2)*8/2. Suppose 0 = -3*a - 2*r - 0*r + 36, -a + r = -12. Suppose a = 5*k - 3. Solve -d = k*d + i for d.
-2
Suppose -2 + 32 = 3*r. Suppose 4*c = r + 2. Solve 2*q + 20 = -c*q for q.
-4
Suppose 2*g + 2 = v, -3*v = -0*v - 2*g - 2. Solve -5*s + 6*s - 1 = v for s.
1
Let l(n) = n**3 - 15*n**2 - 15*n - 13. Let u be l(16). Solve u = -0*c - 3*c for c.
-1
Let b(u) = -u. Let n be b(-2). Suppose n*l = -2*l. Solve l*o + 3*o = 6 for o.
2
Suppose a - 4 - 1 = 0. Let x = a + 0. Let c = x + -3. Solve -l = l + c for l.
-1
Let l = 24 - 14. Let u be l/4*36/30. Suppose -u*j - 8 = j, 0 = 4*s + 2*j - 56. Solve -s = -0*v + 5*v for v.
-3
Let p(m) = 2*m**3 - m. Let g(x) = x**2. Let a be g(1). Let t be p(a). Solve -11 = 3*d + t for d.
-4
Suppose -5*h + 0*x + 52 = 2*x, 0 = -5*h + x + 49. Let y be 5/h - 2/4. Suppose y = -0*p - p. Solve -2*q = -10 - p for q.
5
Let p(b) = 2*b - 18. Let z be p(9). Solve z = 2*s + 3*s for s.
0
Let k(r) be the third derivative of -r**4/24 + 11*r**3/6 + r**2. Let w(z) = 2*z**2 - 16*z + 9. Let v be w(8). Let c be k(v). Solve -c*u - 1 - 9 = 0 for u.
-5
Let b be 3 - (3/3 + -2). Suppose -b*c - 1 = -5*f + 4, 1 = c + f. Solve 4 = q - c*q for q.
4
Suppose 0 = 6*x - 7 - 5. Solve x = 5*r - 3 for r.
1
Let h be (-6)/(-9) + 22/(-6). Let g = 10 + h. Solve 0 = -3*v + g*v - 20 for v.
5
Suppose m - b + 1 = -m, -4*b = -4*m - 12. Let d be m - (-7 + 3 + 1). Suppose -l + 8 = -3*g + 2, 0 = -d*l + g + 30. Solve l*w - 15 = w for w.
3
Let t = 10 - 4. Let a(q) = q - 5. Let s be a(5). Solve 3*m - t - 3 = s for m.
3
Let j(m) = -m**2 + 6*m + 3. Let w be j(5). Let o be ((-1)/2)/((-2)/w). Solve o*f + 10 = 4*f for f.
5
Suppose 2*g - 19 = -3*i, 5*i = 3*g - 4*g + 27. Suppose 5*o - i*k - 55 = 0, 5*o = -4*k + 11 - 1. Solve -2*s = -o*s + 16 for s.
4
Let c(j) = 20*j**2 + 2*j + 3. Let l be c(-2). Let q = -54 + l. Solve 7*w - q = 2*w for w.
5
Let w(c) = -2*c**3 + 7*c**2 + 6*c - 1. Let l(r) = 3*r**3 - 13*r**2 - 11*r + 1. Let m(i) = 4*l(i) + 7*w(i). Let a be m(-2). Solve 3 = 2*j + a for j.
-1
Let q = 231 + -227. Let z(u) = 3*u**2 - 1. Let l(a) = -a**3 - a**2 + a. Let v be l(1). Let k be z(v). Solve -k*s = -s + q for s.
-4
Let k(q) = -q**2 + 4*q + 7. Let d be k(5). Suppose -3*b = d*b. Let i = 2 - b. Solve -i*z = -2 - 2 for z.
2
Suppose -4*p - p + 4*b + 48 = 0, 2*p = -2*b + 12. Let c = 8 - p. Solve c = -5*m + 40 - 15 for m.
5
Let b = -4 + 2. Suppose -z = 2*z - 6. Let g = b + z. Solve g = -s + 4*s - 9 for s.
3
Suppose -q - 2*a + 16 = 4*q, -2*q = a - 7. Let l be (-12)/(-9)*(q - -1). Let n = -52 - -56. Solve -n = -l*u + 8 for u.
3
Let w = 2 - 0. Suppose -5*p = 5*t - 60, -3*p - w*t = -7*t - 52. Suppose 5*f + 4 - p = 0. Solve f = -0*b - 2*b for b.
-1
Suppose 0 = 5*r - 7 - 18. Suppose 0 = 4*v - 3*h, -h - 5 = r*v - 24. Solve v = -k + 4*k for k.
1
Suppose 0*k = -2*k - 16. Let q = k + 13. Suppose q*t - 2*j = 16, -2*j + 0 - 10 = -2*t. Solve 0 = l - t*l + 1 for l.
1
Let k be 5/((-15)/36) + -2. Let m be (0 - 3/(-3))*-5. Let j = m - k. Solve 0 = -4*t + 3 + j for t.
3
Suppose -2*o - o + 12 = 0. Suppose -2*x + f + 2 = -3*f, 3*f - 15 = -o*x. Let z be 2/8 - 2/8. Solve z = x*d - 0 + 6 for d.
-2
Let d = 38 + -38. Solve d*r + r - 2 = 0 for r.
2
Suppose -i = -0*i - 4. Let k be (i/6)/((-3)/(-18)). Solve k*u - 6 = 6*u for u.
-3
Let n(b) = 7*b + 12. Let i(a) = a + 1. Let t(c) = -6*i(c) + n(c). Let f(l) = 1. Let d(m) = 4*f(m) + t(m). Let z be d(-8). Solve 13 = 3*q - z for q.
5
Suppose -4*q + 2*b = 10, -2*q = -q - b + 5. Suppose y = 2*c - 7*c + 7, -5*c + 19 = -3*y. Solve q = h - c + 1 for h.
1
Suppose -4*g - 4 + 44 = 0. Solve g = 2*r + 3*r for r.
2
Suppose -2*q + 5*q - 6 = 0. Let v be (q + 4/(-3))*6. Solve v*l + 4 + 0 = 0 for l.
-1
Let m(d) = -10*d**3 + d**2 - 2*d + 1. Let q be m(1). Let n = -6 - q. Solve n*u = -1 - 3 for u.
-1
Suppose 5*u - 22 = 3*q, 0 = -5*u - 5*q - 0*q - 10. Solve u*y - 10 = -2 for y.
4
Suppose -33*j - 12 = -37*j. Solve -3*l + 3 = -j for l.
2
Let u be ((-8)/6)/(1/(-3)). Let a = 7 - u. Suppose a*t + t = 4. Solve 0 = 2*g - 11 + t for g.
5
Let a = 5 - 3. Suppose -16 = -2*w - a*w. Let q = 13 - 5. Solve -w*c + 0 = q for c.
-2
Let x = 2 - 0. Suppose x*q = 4*q - 12. Solve r - q*r = 0 for r.
0
Suppose -4*n = t - 2, 2*n + 0*t = 3*t + 8. Suppose -5*b - 2 = -22. Solve b*r = -n - 3 for r.
-1
Let j be (0/(-3))/(-2*2/4). Solve j*v = -v + 3 for v.
3
Suppose 5*n - 3*y = 65, -5*y = 4*n - 12 - 40. Suppose a = -2 - 7. Let q = n + a. Solve h = -q + 3 for h.
-1
Let k(a) = 5*a**2 + 3*a - 2. Let h be k(1). Solve -5*j - h + 1 = 0 for j.
-1
Let r(w) = 4*w**3 - w**2 + 1. Suppose 0 = -4*v + v + 3. Let u be r(v). Solve 0*f - u = -f for f.
4
Let h(j) = -2*j**3 - 3*j**2. Let x = -5 - -3. Let g be h(x). Suppose -m = g*y - 7*y + 11, -3*y + 5*m = -19. Solve 0 = y*b - 6*b + 3 for b.
1
Suppose 0*t = -5*x + 2*t + 13, -3*t + 9 = 2*x. Suppose 2*s = r - x*r + 82, -5*s = -3*r - 173. Solve 12 = -5*q + s for q.
5
Let p = -7 - -11. Suppose 3*l + 31 = 4*z, 2*z + 2*z = 2*l + 26. Let y = p - z. Solve 2*u + 2*u + 8 = y for u.
-2
Let w(k) = -9 + 3 - k - 4 - 5. Let p be w(-12). Let m be ((-20)/(-15))/((-1)/p). Solve m*o + 2 = -14 for o.
-4
Let v = 32 - 24. Solve v = -r + 4 for r.
-4
Let m(z) = -