for a.
5
Let l = 43 - 43. Solve 0 = 3*x - l*x + 3 for x.
-1
Let a(y) = -y**3 - 9*y**2 + 9*y. Let s be a(-10). Suppose 5*b = 36 + 114. Solve -4*o = -s + b for o.
-5
Let s = 14 - 11. Solve -s = 3*u - 12 for u.
3
Let r be 3 - 3*(-2)/(-6). Solve 0 = -7*m + r*m + 15 for m.
3
Suppose 0 = -2*h + 4 - 0. Let i(u) = u**2 + h*u - 6*u - 5 - 2*u. Let c be i(7). Solve c*g = -2*g for g.
0
Let n = 20 + -21. Let w = n - -4. Solve 0*c - 3*c - w = 0 for c.
-1
Let m = -29 - -36. Solve -12 = m*d - 3*d for d.
-3
Let r(w) = -w**2 + 4*w + 1. Let i be r(3). Suppose 4*j - 10 = -3*f, 2*j + 45*f - 10 = 46*f. Solve j*c + i + 8 = 0 for c.
-3
Let h(a) = 3*a**2 + 8*a + 2. Let p be h(-3). Let x be (-2)/7 - 107/(-7). Solve p*u = -0*u - x for u.
-3
Let d(o) = -o**3 + 6*o**2 - o + 8. Let s(g) = 5*g**2 + 1. Let r be s(1). Let k be d(r). Suppose p = x - 2, 2*x - 2 = -0*p + 3*p. Solve -x*m + 5*m = k for m.
2
Suppose 4*h = -39 + 3. Let r be h/((-9)/3) + -1. Solve 0 = -5*j - r + 22 for j.
4
Let i(y) = 2*y**3 + 2*y**2 + 4*y + 3. Let a be i(-2). Let p = a - -26. Suppose -j - 5*u = -0*j - 23, 0 = -2*j + 4*u - 10. Solve -1 = j*r - p for r.
4
Let j be (-26)/(-2) + 12/(-4). Let q(c) = -c**3 - 2*c**2 - 3*c - 2. Let u be q(-2). Suppose -3*t + 2 = -5*t, u = 3*p + 2*t. Solve p*z + 3*z = -j for z.
-2
Suppose 8*r = 145 + 7. Solve -4*p = -7 + r for p.
-3
Let a(x) = -2*x - 1. Let q be a(-4). Let s(k) = -6 - q*k + 2*k**2 + 2*k - k**2. Let n be s(6). Solve -5*r + 2*r - 15 = n for r.
-5
Let t = -6 + 10. Let f be 6 - (3 - (5 - 0)). Solve 0 = f*s - t*s - 20 for s.
5
Suppose 2*n = 7*n - 30. Let q be (-78)/(-9) + 2/n. Solve -q = -2*o - o for o.
3
Let u = -56 + 60. Solve -7*l = -u*l for l.
0
Let u(i) = i**2 + i. Let v be u(-2). Suppose -5*m + v*m = -12. Solve -k = m*k + 20 for k.
-4
Let p = -1 + -2. Let k = 3 + p. Let x = k - -2. Solve -1 - 7 = -x*m for m.
4
Let z = 14 + -11. Suppose -5*d + 2*b + 38 = 15, -z*b - 12 = -3*d. Solve -1 = -3*p + d for p.
2
Let j be 1942/10 + (-3)/15. Let b = j + -123. Suppose 0 = 5*n - 2*p + 7 - b, 4*n = -3*p + 42. Solve -n = -h + 4*h for h.
-4
Let y(l) = l**3 - 4 + l**2 - l + 0*l**2 + 18. Let t be y(0). Suppose -3*c = 2*h - 0*h - t, 5*h = 5*c + 10. Solve -b = c*b - 12 for b.
4
Let x(j) = 9*j**3 - j - 1. Let q be x(-1). Let s = q - -6. Let b be (-1)/(3/s) - -2. Solve 0*v + v = b for v.
3
Let y(u) = u**3 + 3*u**2 - u. Let s be y(-3). Suppose -5*c - 26 = -2*c + 5*m, -5*c - s*m - 22 = 0. Let z be 1*-6*1/c. Solve 5 = z*p - 1 for p.
2
Suppose -2*p - 48 = -5*p. Solve -3*r = -7*r + p for r.
4
Suppose 3*r = 2*t + 9, 8*t - 15 = 3*t - 5*r. Solve t = 2*j - 6*j for j.
0
Let p be 1/(-1) + (-24)/(-1). Let j(b) = -b**3 - 6*b**2 + b + 8. Let z be j(-6). Suppose -4*v + p = 5*c, z = -7*v + 2*v + 4*c. Solve o - 3 = v for o.
5
Let s(a) = 4*a**2 + 23*a + 25. Let v(t) = t**2 + 6*t + 6. Let k(m) = 2*s(m) - 9*v(m). Let p be k(-7). Solve p*j = 5*j + 6 for j.
-3
Let x be 2/(-2*3/12). Let q = 1 - x. Solve -2*h + q*h = -9 for h.
-3
Let o = 37 - 31. Let n = 7 - 2. Solve n*i = -1 + o for i.
1
Let r(a) = 6*a**3 + a**2 - 2*a + 2. Let n be r(1). Suppose -n*k - 4 = -9*k. Solve k*o + 4 = 4*o for o.
2
Let x = 3 - 0. Let q(k) = -k**3 + 3*k**2 + 3*k - 4. Let l be q(x). Solve l*a - 12 - 13 = 0 for a.
5
Let a = -6 + 3. Let d be a + 2 - -3 - -2. Solve -d*j - j - 5 = 0 for j.
-1
Let c be -2 + 4 - (3 + -1). Suppose 0 = -4*m - 3*z + 11, m + 3*z + 4 = -c. Solve 8*q = 3*q - m for q.
-1
Let c(g) = 2*g**2 - g. Let v be c(-1). Solve v*m = 7*m + 8 for m.
-2
Let g = -46 - -50. Solve -b - g*b = 0 for b.
0
Let r = 5 - 0. Let f(h) = 4*h**3 - h**2 - h + 1. Let y be f(1). Suppose -2*o - 2 = -3*t, o = 2 - y. Solve n - r + 1 = t for n.
4
Let v = -8 - -13. Solve -j - v = -3 for j.
-2
Let j = 8 + -2. Let z be (-4)/j*-2*6. Solve 0 = 5*f - z + 28 for f.
-4
Suppose m + 1 - 5 = 0. Solve 0 = -0*r + 4*r - m for r.
1
Let l be 3/(6/(-4)) - -13. Let y = -7 + l. Let r be 20/6 - y/12. Solve -r*k = -k - 10 for k.
5
Let l(v) = -v**2 + 6*v - 1. Let b be l(5). Suppose -160 = -b*u - 60. Solve -3*a - 2*a = -u for a.
5
Suppose -5*d + i + 25 = -0*d, 2*d = -4*i - 12. Let a = d - 2. Solve a*y = y for y.
0
Let d = 8 + -3. Suppose d*i = 2*i. Suppose 5*x - 7 - 6 = 2*j, 2*x - 4 = 2*j. Solve -x*r + 8*r = i for r.
0
Let m = -2 + 1. Let u be (0 + 2/(-1))*m. Solve -u*r - 12 = -4 for r.
-4
Let j(z) = z**3 - 3*z**2 - 4*z - 1. Let w be j(4). Let h be -10*(-4 + w + 3). Solve 0 = -y - 3*y - h for y.
-5
Let g = 55 - 55. Solve g = -0*j - 4*j + 12 for j.
3
Suppose 2*f - f = 0. Suppose -j - 7 = -0*m - 3*m, f = -4*m - 2*j + 6. Solve y - 2*y - m = 0 for y.
-2
Let i(u) be the third derivative of -u**5/60 - 7*u**4/24 - 7*u**3/6 + 7*u**2. Let w be i(-4). Solve -20 = -w*v - 0*v for v.
4
Let y(l) = -l**2 - 6*l + 2. Let v be y(-6). Solve -3*z = -v*z + 4 for z.
-4
Let a = 81 - 79. Solve 0 = a*l - l + 1 for l.
-1
Let f(t) = -t**3 - 10*t**2 - t - 10. Let v be f(-10). Solve v*l + 20 = 4*l for l.
5
Let o(z) = 3*z - 5. Let a be o(6). Suppose -a = 5*h - 43. Solve -h = k - 1 for k.
-5
Suppose 0 = b - 3*b - 60. Let k = b - -45. Solve -3*h = 2*h + k for h.
-3
Suppose 0*t - t = -3. Let x = -7 + 51. Suppose -2*q + 3*c - c + x = 0, 5*q = 2*c + 113. Solve -q = 4*h - t for h.
-5
Suppose -16 = -5*x + 3*o, -5*o - 2 = x + 6. Suppose -t = -x*i - 3, 4*i = 2*t + i - 6. Solve -t*f = -f + 10 for f.
-5
Let f be (-70)/(-8) + (-5)/(-20). Suppose 2*q = -q + f. Solve -1 = q*o + 2 for o.
-1
Suppose 5*k - 64 = 56. Let b(d) = -5*d**3 + d. Let z be b(-1). Solve z*p - k = -4 for p.
5
Let r(o) be the first derivative of -1/2*o**2 - 4 + 13*o. Let k be r(6). Solve 2*l = k*l + 5 for l.
-1
Let z = 12 + -6. Let g = z + -3. Solve g*f - 2 = 10 for f.
4
Let h(b) = 2*b**2 - b - 2. Let r be (-2)/(-11) + (-20)/(-11). Let f be h(r). Let d be 17 + 0 + (-1 - 0). Solve f*g = -0*g + d for g.
4
Suppose -b = 3*b. Suppose -3*d = -0*d. Suppose -2*q = o - 3 + 1, q - 4*o - 19 = d. Solve b = q*p - 3 for p.
1
Suppose t = 3 - 0. Suppose 2*u - 3 = 9. Suppose -u*r = -r - 5. Solve -c - t = r for c.
-4
Suppose -3*m + m = 0. Suppose m = o - 4*o - 3. Let d(s) = -2*s**3 + s**2 + s. Let g be d(o). Solve g*v + 3 = v for v.
-3
Let v be ((-1)/(-2))/(2/(-24)). Let o be (0 + 2)*(-69)/v. Suppose 0 = -2*d + 5*k + 22, -5*k - o = -3*d + 5. Solve -d + 2 = -2*w for w.
2
Let l = 16 - 19. Let z = 3 - l. Solve -10 = z*r - r for r.
-2
Let u = -178 + 112. Let s be (u/55)/((-3)/20). Solve -w - 3*w + s = 0 for w.
2
Suppose 4*u - 4 = 8. Suppose 9 = -u*d, -6 = 2*w - w + 2*d. Solve -2*s + 3*s + 4 = w for s.
-4
Suppose 5*n + 3*u = -u + 18, 5*n = 5*u. Suppose -9 = -n*j - j. Solve -b = -j*b for b.
0
Let q(c) = c**2. Let g be q(1). Solve -u + 4 = g for u.
3
Let q be (-28)/(-6) - 2/(-6). Suppose 0 = -f + 2*r - 9, 0 = f + 9*r - 6*r - 6. Let u be ((-12)/(-8))/(f/(-28)). Solve 0 = q*a - u + 4 for a.
2
Suppose -6 = -5*z - 6. Solve -2*x - 6 + 2 = z for x.
-2
Suppose -w + 0*w + 6 = 0. Let d be (1 + 3 + -7)*-1. Let l be -2*d/(-2) - 0. Solve -l*b = -w*b + 12 for b.
4
Let l(i) = -i**3 - 6*i**2 - i - 2. Let u be l(-6). Let m = u - -3. Let n = m - 4. Solve 10 = -n*x - 5 for x.
-5
Suppose -2*b + 3 - 1 = 0. Suppose 21 = -i + b. Let l be ((-72)/(-15))/((-6)/i). Solve 0*r = -4*r - l for r.
-4
Let q(n) = -n**2 + 3*n + 3. Let y be q(0). Solve -y*k = -k + 4 for k.
-2
Let g = -7 + 10. Solve -g*a = -2 - 10 for a.
4
Suppose -2*m + 3*l - 14 = 6*l, -3*m + 5 = -2*l. Let y = 3 + m. Solve -y*g + 6 = 2 for g.
2
Let o = -13 - -17. Suppose 4*y + o*l - 12 = 84, -4*l = -3*y + 44. Solve -y = -3*j - j for j.
5
Let z = 1 + 1. Suppose -z*n - 4*x = -60, -n + 5 + 20 = x. Let f be (5/((-35)/14))/((-4)/6). Solve 2*t + n = -f*t for t.
-4
Let l be 58/7 + 8/(-28). Let a(q) = q**3 + 2*q**2 - 6*q - 6. Let o be a(-3). Solve u = o*u + l for u.
-4
Suppose -2*g + 32 = 2*g. Suppose 0*o = -5*y + 4*o - 50, -4*o + 30 = -3*y. Let k be (-115)/(-25) + (-4)/y. Solve -g = -k*r + r for r.
2
Suppose -u = -3*u + 30. Let h be (6 - 0)*3/2 + -5. Solve y + u = h*y for y.
5
Let n(s) = s**3 + 17*s**2 + 15*s - 13. Let t be n(-16). Solve 0 = 2*y + 9 - t for y.
-3
Let x be ((-2)/(-1) - 2) + 0. Let z be (8/(-14))/((-12)/42). Suppose -l + 5*g = -z - 17, 15 = 3*l - g. Solve -l + x = -4*q for q.
1
Suppose 11*r - 75 = 6*r. Suppose 4*y + 1 + r = 0. Let h = 6 + y. Solve t - 1 = -h for t.
-1
Let b(u) = -2*u - 10. Let r be b(-7). Solve f = -3*