 a.
-2
Let l(f) = -f + 8. Let r be l(4). Let n be 1 + 628/15 + (-24)/(-180). Suppose 14*k - n = 13. Solve -2*h + r = -k for h.
4
Suppose 14*y = 403 - 305. Solve 8 = y*x + 1 for x.
1
Suppose 5*h + 18 = 2*v, -4*h + 2*v - 13 - 3 = 0. Let w be h + 10 + -2 + -2. Suppose 2 = -o + w. Solve o*i = -12 + 4 for i.
-4
Suppose 3*t = 4*p + 6*t - 16, 0 = -5*t. Suppose p*a + 6 = 18. Solve 0*c - 15 = -a*c for c.
5
Let j(h) = h**3 + h**2 + 1. Let s(i) = 7*i**3 - 5*i**2 - i - 2. Let z(y) = -3*j(y) - s(y). Let u be z(-1). Solve 15 + u = 5*n for n.
5
Let f(a) = 9*a - 1. Let g be f(-5). Let h be g/(-42)*3 + 4/(-14). Solve h*k = 2 + 4 for k.
2
Let c be -62*(-2)/9 + (-14)/(-63). Solve 0 = -c*d + 15*d + 3 for d.
-3
Let t(u) = -2*u**3 + 11*u**2 - 10*u - 6. Let n be t(3). Let o(q) = -q**3 - 3*q**2 + 3. Let v be o(-3). Solve -n = -0*i - v*i for i.
3
Let w(x) = -x**3 - 6*x**2 + 7*x + 6. Let y be (-252)/35 + (-2)/(-10). Let j be w(y). Let p be (-4)/j + (-16)/(-6). Solve -u - p*u + 9 = 0 for u.
3
Let y be -13 + -1*(-3 + 3). Let z = y - -28. Suppose -p + z = 2*p. Solve q = 6*q + p for q.
-1
Let h(s) = -34*s - 14. Let b be h(8). Let d be (-6)/(-8) + b/(-88). Solve -d*p = -2*p for p.
0
Suppose 2*d + 4*i + 4 = 0, 0 = 4*d + 4*i - 7*i - 3. Solve -z - 3*z - 4 = d for z.
-1
Suppose x - 27 = -2*x. Suppose -l = -3*j - x + 24, -3*j + 24 = -4*l. Suppose -j*n - 4*k = -2*k - 18, 2*n - 3*k - 5 = 0. Solve 7*t - n*t = 12 for t.
4
Let s(y) = y**2 - 8*y + 3. Let n(h) = -h**2 - 12*h - 3. Let c be n(-11). Let x be s(c). Solve -x*l = -4*l + 5 for l.
5
Let s(g) = -g**3 - 2*g**2 + 3*g + 4. Let v be s(-3). Suppose 2*k + 2*p = p + v, -3*p + 7 = k. Solve b - k = -2 for b.
-1
Let o(n) = -n**3 - 6*n**2 + 8*n + 1. Let y(f) = 3*f**3 + 18*f**2 - 25*f - 3. Let z(j) = 7*o(j) + 2*y(j). Let i be z(-7). Solve -i*a + 5*a + 15 = 0 for a.
5
Let u(o) = -o**2 - 48*o - 564. Let s be u(-24). Solve -50 = -s*h - 13*h for h.
2
Suppose -2*x - 10 = 0, -y + 33 = -3*x + 7. Solve 9*r = y*r for r.
0
Suppose -160 = 66*p - 74*p. Solve p*h + 6 = 26*h for h.
1
Suppose 1 + 7 = 4*i. Suppose 0 = -23*t + 3 + 158. Suppose -9*g + t = -29. Solve -14 - i = g*k for k.
-4
Let x = 2 - 0. Suppose 0 = x*i - 1 + 15. Let z = -3 - i. Solve -z*q + q = 12 for q.
-4
Let s(m) = 3*m + 5. Let p be s(4). Let d(c) = c**2 - 18*c + 20. Let x be d(p). Solve 2 - x = t for t.
-1
Suppose 3*k - 7*k = 10*k. Solve -15*j + 19*j - 4 = k for j.
1
Suppose -3*q - 8 = -5*q - 3*y, -5*y + 20 = 0. Let t be (-3 - (0 - q))/(-1). Suppose 4*o - 3*b - t = 0, -4*o - 4*b - 1 = -41. Solve -3 = o*z + 22 for z.
-5
Suppose -11*r + 4 = -10*r, 3*q - 69 = -3*r. Solve -29*d + 50 = -q*d for d.
5
Let v be (4/6)/((-14)/(-12) - 1). Suppose -2*g + v = -0*g. Solve g*o - o = 3 for o.
3
Let f = 69 + -62. Solve -f*b + 15*b = 32 for b.
4
Let m = 311 + -311. Solve 6*a + m*a = -a for a.
0
Let o = -9 + 5. Let y be (0/(-2) - o)/2. Solve 0 = y*r + r for r.
0
Let y(d) = 2*d**3 - 51*d**2 - 22*d - 94. Let b be y(26). Solve -b*t = -8*t for t.
0
Let g be 96/336 + 0 + (-12)/(-7). Suppose 5*h - g*r - 3*r = 0, 3*h - 4*r = 0. Solve 3*o + 0*o - 12 = h for o.
4
Suppose 184*z - 784 = 180*z. Solve z*r - 3 = 193*r for r.
1
Suppose -3*w = 5*q + w + 180, q = w - 27. Let b = -160 + 193. Let o = q + b. Solve c = 3 - o for c.
2
Let n(q) = -q**2 - 11*q - 8. Suppose 23 = 4*v - 3*z, 3 = -3*z - 0*z. Suppose -35 - 13 = v*b + g, -5*g + 10 = 0. Let x be n(b). Solve 3*w = 7 + x for w.
3
Let p(j) be the third derivative of j**6/120 - 7*j**5/60 - 3*j**4/8 + 5*j**3/3 + 10*j**2. Let x be p(8). Solve 2*d + x - 4 = 0 for d.
1
Let c be (-6)/(-36) - 23/(-6). Let g be 4 - c/(-8 + 4). Solve 8*o - 3*o = -g for o.
-1
Suppose 630 - 150 = 24*g. Solve 43*y - 38*y - g = 0 for y.
4
Suppose l + 2*m + 7 = 0, 5*l - m - 23 = -3. Suppose -45 = -l*p - 33. Solve 0 = p*g - g for g.
0
Let j = 22 + -17. Solve 0 = -j*n + 2*n - 9 for n.
-3
Let q(j) = 7*j**2 - 3*j - 2. Let z be q(-1). Let s be 0/(3/(12/z)). Solve s = 5*t - 0 + 10 for t.
-2
Let u(j) = j**2 + 3*j + 2. Let p be u(-3). Let s be ((-1)/(-3))/(p/84). Suppose -3*i + s = 3*y - 5*i, 30 = 5*y - 5*i. Solve -3*l + 4 = -y*l for l.
4
Let o(j) = -j**2 - 8*j - 1. Let x be o(-5). Suppose d + d + 26 = -3*c, 2*c + x = -d. Let l be (-3)/12 - d/8. Solve l = u + 2 for u.
-1
Let a be (-10 + 11)/(2/6). Suppose -l + 60 = 5*r, 4*r - l = a + 45. Suppose -6*v = -2*v - r. Solve 0 = v*f - 4 + 7 for f.
-1
Let x = -37 - -45. Let y(c) = 4*c - 23. Let a be y(x). Solve 11 = 4*q - a for q.
5
Suppose -12*b = -9*b - 180. Solve -41*w + 53*w = b for w.
5
Let t(o) = -13*o - 177. Let g be t(-14). Solve g = -5*u - 0 for u.
-1
Suppose 19*k - 20*k = -3, -4*m + 3*k = -95. Solve 16*d = -10*d + m for d.
1
Suppose -5*b + 8 = -17. Suppose -b*o + 14 = 4. Let r(n) = -n**3 - 30*n**2 + 30*n - 28. Let z be r(-31). Solve o*m = -z*m for m.
0
Let p be 210/18 + (-2)/3. Suppose -5*a = -s - 2*a - p, -5*s - 2*a = -13. Solve -s = -4*r + 3 for r.
1
Suppose 36*n - 295 = -7. Solve 0 = n*f - 7*f - 1 for f.
1
Let u be ((-20)/(-28))/((-5)/(105/(-3))). Solve -4*m = 21 - u for m.
-4
Let x(h) = 1. Suppose -5*p = -q - 34, -10 = p - 5*q - 36. Let n(w) = -w. Let f(s) = p*x(s) + n(s). Let z be f(4). Solve 0*t + 8 = z*t for t.
4
Let d(h) = -6*h - 24. Let o be d(-7). Suppose 3*x - 1 - 17 = 3*z, -5*z - o = -2*x. Solve 2*g = x*g + 8 for g.
-4
Let d = -1 + -14. Let o be (36/d - -2)*-10. Let t be 0/(1/2*2). Solve g = -t*g - o for g.
-4
Let u(n) = 4*n**2 - 8*n - 22. Let g(l) = -7*l**2 + 16*l + 43. Let p(o) = -3*g(o) - 5*u(o). Let b be p(10). Let j = 16 - 8. Solve -3*r + b + j = 0 for r.
3
Let q be 96 - 1/1*(38 - 38). Solve 2*c + q = 26*c for c.
4
Let l = -431 + 459. Solve 0 = -0*a + 7*a + l for a.
-4
Suppose 0 = -2*t + 4 - 0. Let s(k) = -5*k - 263. Let x be s(-53). Solve t - 6 = x*h for h.
-2
Let n be (-4)/((-26)/8 - -3). Suppose 0 = 3*g - 2*x - n, 0*x = -2*x - 4. Suppose -g*p - 2 = -6*p. Solve 3 - p = -t for t.
-2
Suppose 0 = 3*o + 5 - 8, -t = -2*o - 4. Solve -2*q + 5*q = -t for q.
-2
Suppose 3*m = -m - 28. Let v(x) = x**3 + 7*x**2 + x. Let z be v(m). Let a = 9 + z. Solve -a*y = -5*y for y.
0
Let d be 4/10*(0 - 15). Let u(f) = -12*f**2 - 126 + 18*f**2 + 135 - 3*f**3 + 4*f**3. Let j be u(d). Solve -j - 3 = -4*p for p.
3
Let f = 31 + -70. Let r = f + 56. Let i = r + -17. Solve w = 3 - i for w.
3
Suppose 0 = -10*z - 3*z + 65. Solve z = -8*g - 11 for g.
-2
Let h(m) = -m + 2. Let q(c) = 4*c - 6. Let i(x) = 7*h(x) + 2*q(x). Let u be i(6). Suppose 0 = -w + u + 5. Solve -5*d + w = -2 for d.
3
Suppose 0 = 2*o + 6, 4*t + 0*t - 5*o - 19 = 0. Let s be 0 + t + (-4)/4. Suppose 0 = -s*k + k. Solve -3*x + 2 + 10 = k for x.
4
Suppose 2*l - 9 = b, -14 = -2*b - 4*l - 0. Let w be 1/(1/(-4)*b). Let o be (-2)/w*56/(-7). Solve o + 4 = -2*z for z.
-4
Let h be -5*(-6 - 56/(-10)). Solve h*v - 2 = 8 for v.
5
Let x(z) = -z**3 + 5*z**2 - z - 3. Let j be x(4). Suppose -j = 5*s - 29. Let a(p) = -p**3 + 9*p**2 - 12*p - 12. Let g be a(7). Solve -s*v = -g*v - 8 for v.
4
Let r be 45*((-52)/(-20) + -2). Solve r*w = 23*w - 16 for w.
-4
Let k be (6 - 2)*(-51)/12. Let d = k - -4. Let s = d - -13. Solve s = 4*g - 0*g - 12 for g.
3
Let u(s) = -s - 4. Let t be u(-6). Let k be (((-36)/(-3))/t)/2. Suppose -k*d - 4 = -4*d. Solve 11 = -5*r - d for r.
-3
Suppose 8*p - 5*p = -102. Let z = -31 - p. Solve -5*y - z - 7 = 0 for y.
-2
Suppose 6 = 4*q + 3*j, 0 = -5*q + 2*j + 3*j + 25. Suppose 13 = -q*z + 4*z. Solve -4*i = z - 1 for i.
-3
Suppose -4*v - 20 = 0, 4 = -8*c + 10*c + 2*v. Solve -21 = -7*y + c for y.
4
Let w(r) = 2*r**2 + 13*r + 41. Let v be w(-3). Solve -3*a = a + v for a.
-5
Let k(b) = -b**2 + 11*b - 8. Let y be k(10). Let h(m) = -3*m**2 + y + 1 - 1 - 4*m - 2*m**2 - m**3. Let j be h(-4). Solve z = j*z - 2 for z.
2
Let l be (-3)/(-2) - 6/(-4). Suppose l*r - 14 - 1 = 0. Solve -r*s + s = -8 for s.
2
Let i(y) = 49 - 10*y + 42 - 3*y - 94. Let j be i(-1). Solve -j = 4*t + 2 for t.
-3
Suppose 0*c + 12*c = 300. Suppose -5*q = 4*b - 70 + c, -2*q = 4*b - 30. Solve w = -3 + b for w.
2
Let t(d) = -2*d**2 - 26*d + 32. Let c be t(-14). Solve 14 - c = -5*a for a.
-2
Let b = -171 + 175. Suppose 7 = 5*g + 2*j - 9, 0 = 4*g - 3*j + 1. Solve 2 + g = b*p for p.
1
Suppose -8 = z - j + 4*j, 5*z + 5*j = 0. Suppose f = -z + 3. Let r(n) = -5*n**3 + n. Let v be r(f). Solve v*p - 8 = -0*p for p.
2
Suppose 3*y + y - 60 = 0. Let f be 2/