n - 9 = l. Solve -n*d = d for d.
0
Suppose 4*i + 20 = 0, 29 - 11 = 2*y - 2*i. Solve 0 = -s + y*s + 3 for s.
-1
Let o = -11 + 15. Let a(t) = -t**3 + 4*t**2 + 2*t - 4. Let c be a(4). Let h = c - o. Solve h = v - 6*v for v.
0
Let n(h) = 2*h - 2. Let k be n(2). Let u be (1 - -1)*k*1. Solve -u*q = -3*q + 1 for q.
-1
Let t(o) be the first derivative of 6*o - 1/2*o**2 - 4. Let m be t(3). Solve -2*n = m*n - 25 for n.
5
Let y = -4 - -6. Suppose 8*b = 3*b. Solve b = f + y*f for f.
0
Suppose 0*u - 18 = -3*u. Let h be 125/15 - 2/u. Solve 2*i + 2*i = h for i.
2
Suppose -r = 4*r + 10. Let l be (r/(-4))/((-1)/4). Let g(f) = -3*f. Let u be g(l). Solve 2*k - 4 = u*k for k.
-1
Suppose 4*n - 9 = n. Suppose -2*l - 5 = -n*l. Suppose 0*r = r - l. Solve -r*k + 13 = -2 for k.
3
Let n = 13 - 11. Suppose -2*v = -o + n + 1, 2*o = 3*v + 6. Solve -8 - 4 = -o*j for j.
4
Suppose -2*k - 3*z + 26 = 0, 0*k - 5*k + 3*z + 44 = 0. Solve 35 = -5*f + k for f.
-5
Suppose 3*i = 2*l - 7, -4*l + 0*l + 2 = -2*i. Let r = i - -3. Solve r = -2*y + 2 for y.
1
Let w be ((-6)/(-9))/((-2)/3). Let j be (-8 + 2)/(w*2). Suppose 0 = -h - 5*o - 20, j + 17 = 5*h + o. Solve p - h*p = 0 for p.
0
Suppose 4*i - 44 = -5*a, i + 2*i - 33 = 2*a. Suppose -9 - i = -4*f. Solve -3*b + f*b = 0 for b.
0
Let w = -5 + 8. Suppose w*l - g - 17 = 4*g, 2*l = 3*g + 11. Solve -u = l*u - 20 for u.
4
Let d be (-4)/(5 - 1) + 5. Solve 5 = d*i - 3 for i.
2
Let p(w) = w**2 - 7*w - 2. Let v be p(7). Let d be -2*(-2)/v + 10. Solve 0*j + d = -2*j for j.
-4
Let z(t) = -1. Let k(g) = g - 7. Let x(q) = k(q) - 5*z(q). Let o be x(5). Solve -2*n - o*n = 0 for n.
0
Let i = 3 - 1. Let y(m) = m**2 - m + 3. Let l(j) = -j**3 + 7*j**2 + 8*j + 4. Let f be l(8). Let d be y(f). Solve i*r + 3*r - d = 0 for r.
3
Let d(x) = -x**2 + 3*x + 4. Let j be d(3). Solve -l + 3*l - j = 0 for l.
2
Suppose 5*j + 4*y - 31 = 0, -3*j = 5*y - 22 - 7. Solve 7 = -5*w - j for w.
-2
Let v = 0 + 4. Suppose v*b + b + 2*g - 4 = 0, -2 = -g. Solve b = h + h - 8 for h.
4
Suppose -5*o + t = -32, -8 = o - 4*t - 22. Solve q + o = -2*q for q.
-2
Let q(g) = -3*g - 15. Let y be q(-6). Suppose 0 = -2*f + y*m + 14, -4*f - m + 6 = 4*m. Solve -4*n + f = -2*n for n.
2
Let s(j) = -j**2 + 8*j + 11. Let a be s(9). Suppose -5*b + 7*r - 3*r = -a, 2 = -2*b + 3*r. Solve b = -5*n - 3 for n.
-1
Suppose 2*t = -0*j - 3*j + 3, 2 = -2*j. Solve 0 = -t*w - 3 for w.
-1
Let f(x) = x - 4. Let t be f(-5). Let j = t + 13. Suppose -76 = -j*b + k, b + 0*b - 5*k - 38 = 0. Solve 7 + b = -5*h for h.
-5
Let m = -46 + 76. Solve -m = -5*v - 10 for v.
4
Let w be -7*(1 + 0 + 1). Let k be (4/w)/((-2)/28). Solve 2 = 3*v - k*v for v.
-2
Let p(k) = k**3 + 6*k**2 + 2*k + 6. Let y be p(-6). Let c be (0 - y/3) + -2. Let l = 2 - -1. Solve c = -l*i + i for i.
0
Let n be (-8554)/(-705) + (-4)/30. Let p(g) = -g**3 - 3*g**2 + 5*g + 4. Let x be p(-4). Solve -n = -x*r - 3*r for r.
4
Suppose -4*v + 9*v = 0. Suppose 2*a + j = 6 - v, -5*a = -j - 29. Solve 2*y = a*y + 15 for y.
-5
Let m = -5 - -3. Let g be 2*3/m - -19. Solve 4*a - g + 0 = 0 for a.
4
Suppose 2 + 5 = i. Solve -23 = -4*o - i for o.
4
Let i = -14 + 10. Let t = 8 + i. Solve -u - t = u for u.
-2
Let a be (-3)/((-3)/2) + 2. Solve -v - 3 = -a for v.
1
Let o be (-10)/(-25) + (-12)/5. Let l be (5/o - -2)*0. Solve l = -4*g + 7 + 9 for g.
4
Suppose -4*q + c + 20 = 0, 0 = 3*q - c - c - 15. Suppose m + 2 = -m + 4*a, 0 = -m - a + q. Solve -m*i + 5*i = -6 for i.
-3
Suppose 6 = 4*t + 5*i, 0*t = -4*t + 4*i + 24. Solve -t*n - 5 = -25 for n.
5
Suppose 4*k = k - 9. Let z(j) = j + 2. Let v be z(k). Let h = v + 1. Solve -q = -h*q - 3 for q.
3
Let w(u) = -7*u - 31. Let i be w(-5). Solve 2*k = i - 8 for k.
-2
Let g = -29 - -21. Let m be (6/g)/((-3)/8). Solve x + m = 7 for x.
5
Let h(a) be the first derivative of a**4/4 + 7*a**3/3 + 7*a**2/2 + 9*a - 3. Let v be h(-6). Solve v*k = -k for k.
0
Let y(s) = -s**2 + 10*s + 4. Let t be y(6). Let c be t/10 - (-2)/10. Solve 4 = z + c for z.
1
Let l(m) = 3*m**2 - 2*m - 3. Let r be l(-2). Suppose -r = 3*g + 35. Let t = -10 - g. Solve t*x - 15 = 3*x for x.
5
Let p = 15 - 3. Let h = -8 + p. Solve h = -3*v - v for v.
-1
Let o be 2*9/30*5. Suppose -3*r + 44 = -2*j - 2*j, -3*j + 12 = 0. Suppose 4*z - r = 8. Solve -z*g + o = -4*g for g.
1
Suppose 0 = -0*n + 2*n. Let t = 10 + n. Suppose 3*m - 2 = -3*s + 1, -3*s = -4*m + 18. Solve m*b - b = -t for b.
-5
Let t be (-2)/12 - (-31)/6. Suppose 5 = b, y + 2*b = t*b - 6. Solve y = i - 4*i for i.
-3
Let o = 22 + -19. Let v be o/(-9) + 10/3. Solve 5*i - v*i - 6 = 0 for i.
3
Let h(y) = 6*y - 30. Let l be h(5). Solve l = 2*k - k + 3 for k.
-3
Let i be ((-3)/1)/(3/(-9)). Let g be i/15*(-5)/(-1). Suppose -g*p + 60 = 2*p. Solve -3*o = o - p for o.
3
Let y be (-2)/(-2) + -1 - -2. Let h = y + 3. Suppose 0*f = -h*f. Solve -n = 5 - f for n.
-5
Suppose 3*q - 12 - 3 = 0, -4*k + 38 = 2*q. Solve -2*j - 5 = -k*j for j.
1
Let q(d) = 5*d + 15. Let y(j) = -14*j - 44. Let f(a) = -11*q(a) - 4*y(a). Let z be f(9). Solve -2*u - z = 2*u for u.
-5
Suppose -d + 0*d + 15 = -n, 0 = 4*d + 4*n - 52. Let l(b) = -b**2 + 15*b - 11. Let p be l(d). Solve p*r - 2*r = 0 for r.
0
Let b(v) = -2*v**2 + v - 6. Let g be b(-6). Let r be 10/55 + g/(-22). Solve t - r = -0 for t.
4
Let q(h) = -5*h + 16. Let i(u) = -6*u + 16. Let o(k) = -4*i(k) + 5*q(k). Let c be o(13). Solve -c*l = -0*l + 15 for l.
-5
Let t be 6 - (1 + 0 + 3). Solve -t*l - 1 + 7 = 0 for l.
3
Suppose 0 = -4*f + a + 5, 5*a = -3*f + 2*f - 25. Let m be f/(2/(-3)*3). Let x be (8/6 - m)*3. Solve -2 - x = -2*g for g.
3
Let j be (2 + 8/(-6))*3. Suppose 0*f - j*f = 0. Suppose -v - v = f. Solve -2*c - c = v for c.
0
Let d be 3*-2*12/(-8). Suppose d*i - 4*i - 25 = 0. Let x = -2 - -3. Solve 4 = i*p - x for p.
1
Suppose 3*x - 20 = x. Let f(z) = -z**2 + 6*z + 12. Let c be f(7). Solve -3*i + x = -c for i.
5
Let d(i) = -i**3 - 6*i**2 + 5*i - 10. Let x be d(-7). Suppose 2*f = 3*j + 17, -4*f - x*j - 19 + 3 = 0. Solve -4*n - f = 7 for n.
-2
Suppose 24 = 4*p + 4*u, 0 = -5*u + 11 + 9. Solve -l + p = 6 for l.
-4
Let r(z) = -2*z**3 + 2*z**2 + 2*z. Let v be r(2). Let q be (-6)/v - (-1)/2. Solve y + q*y = -12 for y.
-4
Suppose -u = 3*i + 2, -3*i + 14 = 8*u - 3*u. Suppose -74 = -11*s + 47. Solve u*w + 9 + s = 0 for w.
-5
Let c be 3/((-2 - -1)*-1). Suppose h = c*o + 8, -o = h - 2*o - 6. Solve h = -p + 1 for p.
-4
Suppose 5*w = -21 + 66. Let m = w + -7. Solve 0 = -4*p + m*p - 8 for p.
-4
Let q = 12 - 18. Let b be 24/9 - 2/q. Solve b*d - 8*d = -10 for d.
2
Suppose -3*o + s = -12, 2*s - 4 + 3 = o. Suppose 2*k = -4*x + 6, 0 = x + 2*k - 8 + 2. Solve x = 4*q - o*q for q.
0
Let p be (15/12)/((-1)/(-4)). Suppose l - p*l = -48. Let q be (-1)/((-1)/(l/3)). Solve 0 = -q*i - 9 + 1 for i.
-2
Let o(h) = -h**2 - 3*h + 4. Let l be o(-3). Let t be l/(-10) - 47/(-5). Suppose 6*q = 2*q - 4*i + 60, 0 = 5*q - 3*i - 83. Solve 0 = -5*s + q + t for s.
5
Let b = 0 + 0. Let m = 1 + 3. Suppose -3*a + 2*a + m = 0. Solve b*o = -a*o + 8 for o.
2
Let l be (-3)/12 - 100/(-16). Suppose 0 = -5*a + 16 - l. Suppose a*s - s - 4 = 0. Solve 2*h = s*h + 8 for h.
-4
Suppose r + 6 = -r. Let h be 2/3 + 2/r. Solve 3*w + w - 20 = h for w.
5
Suppose 35 = r + 5*b, -3*r + 4*r - 27 = -3*b. Solve r = 2*y + 3*y for y.
3
Let j be 48/(-36)*(-18)/4. Suppose 9*r = j*r + 96. Solve -7 + r = 5*v for v.
5
Suppose 0 = -0*z + 2*z + 8, -n + 8 = -z. Let d be 3*-1*n/(-4). Solve -3 = d*a - 6 for a.
1
Suppose o = -2*i + 10, -2*o - 3*o = 3*i - 22. Suppose 5*l - 9 - 11 = 0. Solve l*a - 6 = o*a for a.
3
Let i = 3 - 1. Suppose -2*d = -0 + 2. Let h be 4/(-3)*(-4 - d). Solve 0 = -3*x + h + i for x.
2
Suppose -1 + 11 = r. Let j = 11 - r. Let l be 1/(-1)*j + 3. Solve 2 + 8 = l*u for u.
5
Let c(a) = a + 1. Let u be c(4). Suppose 3*k + 0*k - 13 = -u*r, -2*r = -4*k. Solve l + k = 2*l for l.
1
Let z be 37/4 + 0 + 3/(-12). Solve 2*o = -o - z for o.
-3
Let f = 65 + -35. Suppose 0 = x + 4*x - f. Let d(o) = -o**2 - 2*o + 3. Let w be d(1). Solve x*r - r + 20 = w for r.
-4
Let h be 2*2/6*9. Let o = -9 + 11. Suppose 2*a = -o*a + 80. Solve a = v - h*v for v.
-4
Suppose 7 = -3*w + 10. Solve -3*d - w = 5 for d.
-2
Suppose -l + 4*f - 8 = 0, 6*f - f - 10 = 5*l. Suppose l = 5*u - 10*u + 25. Solve -3*s = -2*s + u for s.
-5
Let i be 948/48 - 2/(-8). Solve 2*p = -3*p - i for p.
-4
Suppose -14*v - 12 = -17*v