l for l.
0
Suppose 100 = 8*d - 3*d. Let g be (-9)/(-15) - (-108)/d. Solve -2*h + g = -4*h for h.
-3
Let k = 0 - 0. Suppose -5*r - 30 - 105 = k. Let m be 18/r - (-62)/3. Solve 5 - m = 3*z for z.
-5
Suppose g - 3*t = 2, -2*g + 2*t = -g - 3. Solve 3*z + 8 = g*z for z.
4
Let p be 5 + 3 + (0 - 0). Let z be ((-18)/p)/((-6)/16). Suppose a + 3*c = 5, -3*a = a - 5*c - 3. Solve a*m + z = -2 for m.
-4
Let y(h) be the second derivative of -h**4/12 - 17*h**3/6 + h**2 - 6*h. Let g be y(-17). Solve g = -2*t + 4 for t.
1
Let b = -57 - -59. Solve l = 4 - b for l.
2
Let o be (-2)/(3 - (-35)/(-10)). Let r be 2*1*(-1)/2. Let w = r - -1. Solve w = 4*j - o for j.
1
Suppose o - 2*p + p = -2, -2*o + 16 = 3*p. Solve 0 = o*d + 2 + 4 for d.
-3
Let x(c) = -c + 8. Let w be x(7). Suppose -16 = -3*a - 5*s, -2*a + s + 3 = w. Solve -a*n + 3*n - 5 = 0 for n.
5
Let n(r) = 5*r + 36. Let c be n(-6). Solve -2*i + 8 = -c*i for i.
-2
Let m = 8 + -5. Let r = m + 3. Solve r*a - 2*a - 16 = 0 for a.
4
Let i(g) = g**3 + 5*g**2 - 5*g + 4. Let o be i(-6). Let l be (1 + o)/((-2)/(-6)). Let z be 0 + (-2)/(l - -2). Solve 2*n = -0 + z for n.
1
Let t be (-99)/(-27) + 1/3. Let j(f) = -f**3 + 4*f**2 + 3*f + 4. Let d be j(t). Solve 5*k + 1 = d for k.
3
Let o(x) = 4*x - 4 + 2 - 3*x - 1. Let d be o(3). Solve 2 = -l - d*l for l.
-2
Suppose 3*r = 7*r + 4*s - 16, -5*s - 5 = 0. Solve -12 = r*n - 2*n for n.
-4
Let m be (-196)/147*(1 + -4). Let h be 0/(2/(-3)*-3). Suppose -2*v = -2*k - 5*v, 4*k = -v. Solve -m*x + k - 16 = h for x.
-4
Let p(h) = h + 6. Let f be p(-4). Let j = 0 + f. Let o = -12 + 14. Solve o + j = -w for w.
-4
Let n be 18/10 + 5/((-25)/(-1)). Solve -a = -n + 4 for a.
-2
Let y(s) = -11*s**3 - 30*s**2 - 35*s + 10. Let m(f) = 7*f**3 + 20*f**2 + 23*f - 7. Let h(j) = -8*m(j) - 5*y(j). Let g be h(-9). Solve 4*b + g = 22 for b.
4
Let o = -3 + 7. Solve a = o*a - 3 for a.
1
Let r(f) = -f - 7. Let u be r(0). Let p be (-2)/u + 4/(-14). Solve 25 = -p*j - 5*j for j.
-5
Suppose 7*k - 32 = -11. Suppose k + 0 = h. Solve 0 = -h*b - 2*b - 10 for b.
-2
Suppose 5*t = -3*m - 16, -m + 5*t - 6 = -34. Solve 0 = -4*y + 1 + m for y.
1
Let u(f) = -3*f**3 + 2*f**2 + 14*f - 9. Let r(x) = 2*x**3 - x**2 - 9*x + 6. Let b(w) = 8*r(w) + 5*u(w). Let h be b(-3). Solve -3*y + y - 4 = h for y.
-2
Suppose 5*w - 92 = -2*t, w - 5*t = 2*w. Solve -w = -0*y - 5*y for y.
4
Let j be (-2)/(-2) + (-1 - -2). Suppose 24 = 2*w + 12. Let p = w + -4. Solve 0 = -p*x + x - j for x.
-2
Suppose -2*q + 3*q = -5. Let u be ((-2)/(-5))/((-1)/q). Suppose -5*d = u*f - 13 - 5, d + 18 = 5*f. Solve f*x = x for x.
0
Suppose 4*y = g - 35 - 5, 5*y + 171 = 4*g. Let x be 1/(-2 - g/(-20)). Let n = -4 - -7. Solve 2*d - x = -n for d.
1
Let p(b) = 20*b**3 - b**2 - b. Let u be p(-1). Let n = -14 - u. Solve 0 = a - n*a for a.
0
Let r = -1 - -4. Suppose -7 = -x + 1. Suppose -x + 42 = 2*q. Solve -4*k - r - q = 0 for k.
-5
Suppose -3*s + 5*g + 68 = 0, 0 = -6*s + 2*s - g + 60. Let y = s + -4. Suppose 5*p - 4*i = -3*i + 20, -30 = -3*p - 3*i. Solve -p*d - y = -d for d.
-3
Let a be 4/8 + (-18)/(-4). Solve 9*r - 4*r = a for r.
1
Let p = 5 - 0. Let w be 1/((-1)/2) - -6. Suppose -3*y + 5*y - 3 = r, -r - w*y + 15 = 0. Solve 14 = -r*a + p for a.
-3
Suppose -12 = 13*t - 25. Solve 0 = c - 3 - t for c.
4
Let x(n) = -2*n - n**2 - 5 - 7*n + 3*n. Let k be x(-5). Suppose -h + 3*d - 15 = k, -2*h + 5*d - 25 = -3*h. Solve 2*u - 5*u - 6 = h for u.
-2
Suppose -4*a = 4*j - a + 6, 0 = -5*j + 4*a + 8. Suppose -2*y = -j*y - 16. Suppose 12 = 4*h, -4*h = -4*g - 3*h - 3. Solve -2*i = -g*i - y for i.
4
Let h be 76/18 - (-2)/(-9). Let n(b) = -2*b**3 - 4*b**2 - 4*b - 3. Let c be n(-2). Suppose 0 = c*z - 9 - 1. Solve z*m - h*m = -6 for m.
3
Let l = 1 + -1. Let d = l + 9. Solve d - 1 = 2*k for k.
4
Let s be (-4)/(-1) + (-12)/6. Solve -f + 15 = s*f for f.
5
Suppose -y + 0 = -3. Let k(i) = 3*i**2 - 4 + 0 - 2*i - 2*i**2. Let q be k(-4). Solve -q = c + y*c for c.
-5
Let v be ((-1)/2)/((-2)/20). Suppose 3 + 0 = b - v*p, -3*b - 4*p = -9. Solve 1 = -m + b for m.
2
Let n(i) = -8*i**3 + 3*i + 2. Let b be n(-1). Solve b*o - 2*o = -15 for o.
-3
Let m = -1 + 0. Let l be 1 + m - (2 + -6). Solve 2*s = s + l for s.
4
Suppose -22*v + 17*v = -20. Solve l - 5 = -v*l for l.
1
Suppose 3*i = -i - 40. Let o = 14 + i. Solve 0 = -o*j - 3 - 17 for j.
-5
Suppose -5*n + 294 = 16*n. Solve n + 1 = -5*z for z.
-3
Let n(l) = l**2 + l - 4. Let i be n(-3). Suppose -a = i*a - 3. Solve -c + 1 = -a for c.
2
Let t = 16 + -7. Suppose 4*j - 7 = t. Solve -j*a - 15 = a for a.
-3
Suppose 3*b + 7*g - 6 = 4*g, 2*b + 5*g = 13. Let k be (b - -3) + (-6)/3. Suppose 0 = 6*r - 2*r - 2*r. Solve r = 5*y - 5 - k for y.
1
Let v(l) = 3*l**2 + 7*l. Let z(d) = 4*d**2 + 7*d - 1. Let q(c) = 5*v(c) - 4*z(c). Let s be q(6). Solve -s = -w - w for w.
5
Let p(x) = x**3 - 6*x**2 - x + 8. Let i be p(6). Solve -i = 2*b - 3*b for b.
2
Let w(j) = j + 11. Let b be w(-8). Suppose -4*f + 0 - 1 = -3*m, 3*m = b*f + 3. Let t = f - 2. Solve t = 4*a + a - 5 for a.
1
Let r be 4/(-1)*(-2)/(20/15). Solve -s + r = 4 for s.
2
Suppose 6*w = -19 + 49. Let m = w + -5. Solve 0 = -2*g - 4 - m for g.
-2
Let j(y) = 5*y - 4. Let f(u) = -u. Let d(o) = -o**3 + 3*o**2 + o + 1. Let t be d(3). Let l(k) = t*f(k) + j(k). Let b be l(9). Solve -m - b = -1 for m.
-4
Suppose 0 = 3*p, 4*p = -2*b + 7 + 1. Solve 0*u - b*u - 16 = 0 for u.
-4
Suppose 3*u + 11 = 3*k - 1, k - 12 = 5*u. Let n be 3*2/1 - k. Suppose 12 = n*o - 4. Solve 3*s - o = 7*s for s.
-1
Let d = 14 - 10. Solve d*n = -9 - 3 for n.
-3
Suppose -4 = -3*f + f. Suppose -f*b = -2, -2*d = 3*b + 1 + 2. Let u be (-39)/d + 2 - -1. Solve -4 = 5*h + u for h.
-4
Let u = 26 - 26. Solve 15 = -u*l + 5*l for l.
3
Suppose 24 = -2*r + 28. Solve -r*l + l - 2 = 0 for l.
-2
Let q(k) = -k**2 - k + 2. Let o be q(2). Let r be (-2)/(((-6)/o)/(-3)). Solve 25 = r*b + 5 for b.
5
Let c = 24 - 23. Suppose 0*r - 3*k + 4 = -2*r, -3*r = -2*k + c. Solve r = -h - 1 for h.
-2
Let d(z) = -z**2 - 8*z - 2. Let w be d(-7). Solve 5 = 2*r - w for r.
5
Suppose 1 = 3*l - 5*z - 25, 0 = -3*l + 2*z + 14. Solve -2 - l = 4*k for k.
-1
Let d(c) = -c**2 + c + 4. Let s be d(0). Suppose -5*g + 5*k + 28 = 3, -2*k = 2. Suppose 19 = 3*q + y + 3, -2*q + 14 = g*y. Solve -s*z + q - 13 = 0 for z.
-2
Let f(h) = h**3 - 20*h**2 + 17*h + 47. Let w be f(19). Solve w*l = 6*l - 3 for l.
-1
Suppose 3*v = -6 + 27. Suppose 5*q - 28 = v. Let h be 4/1 + (-3 - -2). Solve -q*a + h*a = -4 for a.
1
Let w(q) = -q - 3. Let o be w(-6). Suppose -o*f + 5*h + 9 = 0, 3*f - h + 2*h - 27 = 0. Solve j + 3*j = f for j.
2
Let q(b) = b + 5. Let y be q(-7). Let t be 1/y*-8 + -1. Let g = -4 + 9. Solve -2 = g*w + t for w.
-1
Let k be (0/(5 + -1))/(-3). Solve k*z = -4*z - 12 for z.
-3
Suppose 4*g - 2 - 2 = 0. Solve 2*a - 11 = -g for a.
5
Let d(b) = b**3 - 2*b**2 - 2*b - 3. Let h be (8 + -5)/((-2)/(-8)). Let s be (-16)/(-6) - (-4)/h. Let c be d(s). Solve 2*t + 2*t - 12 = c for t.
3
Let k = -13 - -7. Let m(n) = -n**2 - 5*n + 8. Let t be m(k). Let v be (3/(15/(-40)))/(-2). Solve -v = -2*j - t*j for j.
1
Let t = 190 + -185. Solve -8*x = -t*x for x.
0
Suppose -w + 9 = i, -2*w + 10 = 5*i - 8. Let x be 16/(-3) + 2/(-3). Let m = x + w. Solve 0 = -6*g + m*g - 12 for g.
-4
Let y(x) = -4*x - 41. Let h be y(-11). Solve h*m - 4*m + 4 = 0 for m.
4
Suppose -4*f = -5*t + 35, t + 16 = -2*t - 5*f. Solve 4 = -t*s + s for s.
-2
Let a(j) = -j - 14. Let n be a(-21). Solve x = 4 - n for x.
-3
Let m(v) = 4*v + 6. Let p(i) = 8*i + 11. Let d(s) = 5*m(s) - 3*p(s). Let z be d(-5). Solve -5*f + z = -3 for f.
4
Suppose 3*x + 1 = 5*x - m, 0 = -3*x + 5*m - 9. Solve x*z + 15 = -z for z.
-5
Let u = 50 - 49. Solve 0 = -i + u + 3 for i.
4
Suppose 2*w + 147 = 3*f, -49 = -f + w + w. Let c = f + -34. Let k be 4/(4/3) + 1. Solve -k*x - c = x for x.
-3
Let p = -48 - -70. Suppose 6 = -4*m + 2, -3*m + p = 5*u. Solve -u*t = 15 + 5 for t.
-4
Let t = -38 + 58. Solve -t = 6*d - d for d.
-4
Let x(j) = -j**2 - 11*j + 14. Let p be x(-12). Solve 0*y + p*y = 0 for y.
0
Let p(u) be the second derivative of -u**3/3 + 2*u**2 + 3*u. Let m be p(-12). Solve 4*f + m = 8 for f.
-5
Let o be (-2)/(-4) + (-12)/8. Let c = o + 1. Solve c*p - 3*p = 12 for p.
-4
Let m = -25 + 26. Let j = 8 + -8. Solve 2*g - 5 - m = j for g.
3
Suppose -32 + 17 = -3*p. Solve 0 = p*c - c - 12 for c.
3
Let f(b) 