for l.
-1
Let j be 5 + 0/(-3) + 0. Solve j = 4*f - 15 for f.
5
Let n(i) = -i**3 + 22*i**2 - 22*i + 23. Let f be n(21). Solve f*m = -2*m for m.
0
Suppose -2*k - 20 = 3*k. Let h = k + 8. Solve 2*y - h*y = 0 for y.
0
Suppose 0 = -4*f, -2*f - 15 = -5*p + 3*f. Solve -q = 8 - p for q.
-5
Suppose 0*b + 32 = -4*b. Let s = -6 - b. Solve 3*t + 13 = -s for t.
-5
Let y = -1 + -2. Let l be 5 - ((y - 0) + 6). Solve 0 = w - l + 3 for w.
-1
Let c(r) = r**2 + 4*r + 3. Let s be c(-3). Solve s*d + 5*d = 25 for d.
5
Let a = 12 - 6. Let b be (2/a)/((-1)/(-15)). Suppose -b*o = -2*o. Solve 3*s = -o*s for s.
0
Let m(v) be the first derivative of -v**2/2 + 3. Let p(q) = -q - 1. Let i(w) = -5*m(w) + 4*p(w). Let f be i(7). Solve 11 = f*u - 4 for u.
5
Let y(q) = q**3 + 3*q**2 + 1. Let c be y(-3). Suppose 0 = t + 3 - c. Let n be 4*t/(-4) + -1. Solve 2*g - 3*g = n for g.
-1
Suppose 14 = -4*u + 4*n - 30, -5*u - 52 = -4*n. Let m be 65/(-52)*u/1. Solve -4 = 3*h - m for h.
2
Suppose -4*o + 5*y + 1 = 0, -4*o - 3*y = -o - 21. Solve -o = -4*m - 24 for m.
-5
Suppose -p + q = -4, -p - 3*q + 3 = -1. Suppose -r - 45 = -p*r. Solve -2*w - r = -7*w for w.
3
Suppose -11 = -h - 3*w, 5*w - 8 = 7. Suppose -h*f = -5 - 1. Suppose 2*o + 6 = 3*l - 0*o, l - 2 = -5*o. Solve f*j - 14 = -l for j.
4
Suppose -2 = -2*o + 2*z - 0, -2*o + 3*z = 0. Solve -s - o = -1 for s.
-2
Let g(z) = -3 + 2 - 2*z - 3. Let q be g(-3). Let t(n) = 16*n**3 - n. Let b be t(1). Solve -q*y - b = y for y.
-5
Let b = -33 - -35. Solve 0 = b*k - 4 - 6 for k.
5
Let o(p) = -p + 3. Let c = -1 + 3. Let f be o(c). Solve 2*b = -f + 11 for b.
5
Suppose 4 = q + q, 0 = 2*x + 4*q + 132. Suppose -190 = -5*k + 10*k. Let d = k - x. Solve 12 = 5*m + d for m.
-4
Let o be (2/(-6))/(1/(-6)). Let y = 2 + o. Solve -3*z + y + 5 = 0 for z.
3
Suppose -4*h + 9 + 3 = -4*l, 2*l = -h + 3. Suppose -h*q + 6*q - 117 = 0. Let s be q/6 - 3/2. Solve -2*p = 3*p - s for p.
1
Let d be (-6)/(-3)*10/4. Let p = -4 + d. Let v be 1 + p + 0/(-1). Solve 0*j - v = -j for j.
2
Suppose -5*w = -y - 39, 4*y = 2*w - 0*y - 12. Let a be (-4 - -1)/((-6)/w). Suppose 2*n - z - 1 = a, -n + 8 = 5*z. Solve 0 = -5*g + n*g + 10 for g.
5
Suppose 4*v - 9 = -5*c, -1 = 3*c + 5*v - 9. Let w = -1 - -1. Let z be (-16)/6*-3 - 3. Solve w = -4*m + z*m + c for m.
-1
Suppose 10*z + 48 = 6*z. Let a = z - -15. Solve -f - a = 2*f for f.
-1
Suppose -5*r + 40 = 5*y, r - 5*y - 20 = -4*r. Solve 6 = r*j - 4*j for j.
3
Suppose -10 = -2*d - 0*d. Suppose -2*s + d = 1. Solve -3*x - 1 - s = 0 for x.
-1
Let t(a) be the third derivative of a**6/120 + a**5/12 - a**4/3 - 3*a**3/2 + a**2. Let b be t(-6). Solve 0 = -q - 8 + b for q.
-5
Let q(k) = 2*k - 5. Let t be q(5). Suppose p = t - 1. Suppose 2*h + p = 3*h. Solve 0 = -h*n - 0*n for n.
0
Let f(a) be the second derivative of a**5/20 - 5*a**4/6 - 2*a**3 + 6*a**2 + 6*a. Let z be f(11). Solve -5*g - z = 9 for g.
-2
Let r be (-1)/4 + (-1)/(-4). Suppose g + 7 = j + 1, j = -g - 2. Let s be r + j + (0 - -18). Solve 8*w = 3*w + s for w.
4
Suppose 5*k + 17 - 62 = 0. Let y be -2*((-1)/(-1) + 1). Let w = y + k. Solve 10 + 5 = w*l for l.
3
Suppose z - 59 = 4*r, -5 + 3 = r. Let p = z - 29. Suppose -4*i - 3 - 1 = -4*u, 2*i - 28 = -4*u. Solve i*x = -p + 2 for x.
-5
Suppose 2*w = 5*w. Suppose 5 = a - w*a. Suppose q + q - j = 5, 0 = -a*q + 4*j + 11. Solve -c = -q - 2 for c.
5
Suppose -s - 3 = 3*i, -2*s - 3*s + 3*i - 15 = 0. Let t be s/1 + 6/1. Solve -t*y = 2 - 14 for y.
4
Let c(b) = -2*b**2 + 17*b - 6. Let n be c(8). Solve -n + 0 = -v for v.
2
Suppose -2*h = -4*q + 7 - 29, -5*q = 3*h + 11. Suppose 0 = -h*b - 3*l + 18, 3*b = -2*l + 1 + 13. Solve 5*n - b*n = -15 for n.
-5
Suppose 0 = -3*y - 0*y. Let a(o) = o**3 - 10*o**2 + 5. Let u be a(10). Solve y - 25 = u*k for k.
-5
Suppose -11 = -6*a + 5*a. Suppose 5*y - a = -0*w + w, -4*y = w + 2. Let z be ((-8)/6)/(w/9). Solve 12 = c + z*c for c.
4
Let c(t) = -t - 1. Let m be c(4). Let p = m - -8. Solve -p*a = -a + 2 for a.
-1
Suppose -5*f = -0 - 5. Suppose f = -n + 4. Solve -p + 1 = -n for p.
4
Suppose -2 = 2*z - 2*q, 1 = z + 3*z - 3*q. Suppose -5*a = -11 - z. Suppose -5*u + 21 = 5*t - 14, 3*t = 5*u - a. Solve u*g = -0*g + 12 for g.
4
Suppose b + 2*h + 12 = 60, -3*h + 46 = b. Suppose 2*f - b = -2*f. Solve -f + 3 = -5*v for v.
2
Let s(v) = v**3 + 11*v**2 - 2*v - 7. Let k be s(-11). Let z = k - 9. Solve 3*t = -0 + z for t.
2
Let x = -139 - -141. Let w be 1/2*(-4 - 0). Let b be 1*w + (-1 - -8). Solve x*a = 1 + b for a.
3
Let m be (1*-1)/(1/(-7)). Let f(l) be the first derivative of -l**2/2 + 7*l - 2. Let u be f(m). Solve u = 3*p - p + 4 for p.
-2
Let g = 2 - 8. Let l(b) = b**3 + 5*b**2 - 6*b + 4. Let v be l(g). Solve v*k + 5 = -k for k.
-1
Let q(p) = 5*p + 9. Let a(d) = 3*d + 5. Let c(r) = 7*a(r) - 4*q(r). Suppose -s = -m - 3 + 10, 2*m + 5*s + 21 = 0. Let v be c(m). Solve k = 4 + v for k.
5
Let y(s) = s**3 + 13*s**2 - s - 9. Let k be y(-13). Suppose -k + 1 = -f. Solve 3*u + 0*u + f = 0 for u.
-1
Suppose 2 + 4 = 2*x. Let o be ((-10)/(-30))/(1/15). Solve -o*j = 8 - x for j.
-1
Let n(s) = 2*s**2 - 2*s - 2. Let p(g) = -g**2 + g + 2. Let o(m) = 2*n(m) + 3*p(m). Let h be o(0). Solve h*d - 4*d = 8 for d.
-4
Let a be (-1)/((-4)/(20/1)). Suppose -4*q = -a*q. Solve q = -2*i + 3*i for i.
0
Suppose 0 = 2*u - 0 - 4. Suppose -v + a = u, 3*v - 5*a + 3*a + 3 = 0. Solve v - 3 = 2*c for c.
-1
Let x be (-2)/4 + 615/(-10). Let i = 87 + x. Solve 5*q + 0*q = -i for q.
-5
Let m(c) = c**3 + 3*c**2 + c - 4. Let i be m(-3). Let r = -4 - i. Solve -2*v + 5 = -r*v for v.
-5
Suppose 3*a - 4 = 2. Solve -r = a - 3 for r.
1
Suppose -6 = -2*o + 2. Suppose o*c - 2*c = 8. Solve 0*a - a = -c for a.
4
Suppose 0 = -u - 1 + 3. Let s = 4 - u. Solve -s*j = -j - 4 for j.
4
Let k = 38 + -38. Solve -h - 5 = -k*h for h.
-5
Let f = -22 + 24. Solve -2*l = -0*l + f for l.
-1
Let l be (-40)/12*12/10. Let t = 7 + l. Let q be 6/(-9) + 17/t. Solve -4*k + q = -3*k for k.
5
Let b(g) = -g**3 + 6*g**2 + g + 4. Let j be b(6). Let a(h) = -3*h**2 - 2*h + 2. Let v be a(-2). Let l = v + j. Solve -4*u + l = 12 for u.
-2
Let w(x) = x**3 + 5*x**2 + 5. Let g be w(-5). Let d = -17 - -19. Suppose 8 = 4*v - g*h, -v - 3*h = -h - d. Solve -v*q - q = -9 for q.
3
Let h(y) = -y**3 + 7*y**2 + 20*y - 12. Let q be h(9). Solve -v - q + 3 = 0 for v.
-3
Suppose -y = 4*f - 20, 2*y + 6*f - 24 = 2*f. Suppose 0*c = y*c - 12. Let p = -12 - -12. Solve -12 = c*w - p for w.
-4
Suppose -3*o + 42 - 12 = 0. Solve -5*u + 7*u = -o for u.
-5
Suppose 0 = -v + 3*q + 15 - 5, 3*v + 4*q + 22 = 0. Let m be v/(-8) - (-140)/16. Solve 4*k - k - m = 0 for k.
3
Let f(q) = -q**3 + 3*q + 2. Let v be f(-2). Let k(a) = -a**2 + a - v*a - 2 - 4*a. Let h be k(-6). Solve 0*n - h*n = -20 for n.
5
Let i = 0 - 0. Suppose -p + 10 = 4*p. Solve v - p - 2 = i for v.
4
Suppose 2*x + 3*g - 41 = 6*g, 2*x + g = 53. Solve -6*c + c = x for c.
-5
Suppose 9*q - 2*q = 14. Solve 0 = q*l - l + 1 for l.
-1
Let x(j) = -j**3 + 6*j**2 - 6*j + 4. Suppose -44 = 2*k + 2*p, -4*k - 5*p - 51 = 35. Let c be ((-2)/3)/(4/k). Let s be x(c). Solve -5*n + n = -s for n.
3
Suppose -6*k = -2*k - 8. Suppose -x + 3*x + 4*p - 10 = 0, -5*x = -k*p - 25. Solve x - 2 = o for o.
3
Let w(k) = 1. Let h(m) be the first derivative of -4*m**2 - m + 3. Let i(o) = -h(o) + 4*w(o). Let a be i(4). Solve 5*s + 12 = a for s.
5
Let v = -67 + 77. Solve 0 = 9*b - 4*b + v for b.
-2
Let z(q) be the first derivative of 3*q**2 - 3*q - 4. Let p be z(2). Suppose -3 = 3*u - t, -t = -4*u - 4*t + p. Solve u = 3*x + x for x.
0
Suppose -5*a - 260 + 275 = 0. Solve a*c - 5*c + 4 = 0 for c.
2
Suppose 3*o = -4*x + 17, -o + 2 = -x + 1. Solve -x = 3*h + 4 for h.
-2
Let v(o) = -o**2 - 10*o - 2. Let c be v(-9). Let a = c - 3. Solve 9*k + 20 = a*k for k.
-4
Let h(x) = 2*x**3 + 12*x**2 - 11*x + 24. Let s be h(-7). Solve 5 = s*l + 20 for l.
-5
Let i = -16 + 18. Solve 0 = -m + i - 0 for m.
2
Let x(n) = 2*n - 2. Let k = 0 - -2. Let i be x(k). Solve 0 = b - i*b + 1 for b.
1
Let z(n) = 7*n**2 - 6 - 2*n**3 + n**3 + 9*n + 2. Let d be z(8). Solve d*x - 2*x + 2 = 0 for x.
-1
Suppose 0 + 6 = 3*c. Suppose 0 = -c*i + i - 1. Let d be (2 + -3)/(i/5). Solve 2*z + 3*z - d = 0 for z.
1
Let f be 15/10*10/3. Suppose 0 = -3*c + f*c - 40. Let d = 11 + -8. Solve -c = d*v + 2*v for v.
-4
Let b(m) = m + 6. Let u be b(-6). Let p = u + 0. Solve -v - 1 = -