lve -2*s + o = 9 for s.
-3
Let m = -19 + 19. Solve m*y = -3*y for y.
0
Let d = 5 - 3. Suppose c - 2*x = -5 + 1, 0 = c + d*x. Let p be c - (-9)/(1 - -2). Solve -3*j + p = 10 for j.
-3
Let r = -39 + 40. Solve -r = -5*o + 4 for o.
1
Suppose 0 - 9 = -3*p. Let s be (-3 - (-5 + p))*-5. Solve 1 = s*w - 4 for w.
1
Let r(b) = 0*b + 2*b - 5*b - 4. Let c be r(-2). Suppose 3*v + 3*q - q = 20, 4*v - 5*q = 19. Solve 2*t + v = -c for t.
-4
Let u be (4/(0 - -1))/2. Suppose 3*t = -3*m + 9, u = m - 3*t - 5. Suppose m*w - 24 = w. Solve 7*b - 3*b = w for b.
2
Let u be 20/(-3) - (-4)/6. Let b be (u/4*2)/(-1). Let m be (-9)/6 - (-11)/2. Solve -m*t = b + 9 for t.
-3
Let m = -42 - -45. Solve 2*d = m*d - 5 for d.
5
Let u be 0 - 1 - (1 + -30). Suppose 4 - 61 = -3*q + 3*b, -4*b - u = -q. Solve -5*g - q = -g for g.
-4
Let a(y) = 3*y. Let q be a(2). Let s be 63/4 - 8/(-32). Let f = s - q. Solve -10 = -4*x + f for x.
5
Let k = 34 - 24. Solve -2*v - 2 = -k for v.
4
Suppose -43 = -3*v - 6*d + 2*d, -10 = 5*d. Let h = v - 17. Solve 0 = -5*g + 5 - h for g.
1
Suppose 0 = 8*a + 3*a. Let j(f) = f**3 + 6*f**2 - 2*f - 7. Let c be j(-6). Solve -4*g + c*g = a for g.
0
Let a = -20 - -57. Suppose 0 = 5*d + 3*u + a, 0*u + 2*u = 2*d + 2. Let o = d - -14. Solve o - 29 = 4*m for m.
-5
Suppose 10 = -5*m, 12 + 14 = 5*y - 3*m. Solve 0 = 5*r - r + y for r.
-1
Let s(o) = -5*o + 1. Let i be s(-2). Let v = 9 + i. Solve -l + v = -6*l for l.
-4
Let m be 100/15 - (-3 - 0)/9. Solve -m*q + 3*q = 0 for q.
0
Let v be ((-3)/(-9))/(1/6). Let b = 10 - 13. Let x be b/(-15) + 4/(-20). Solve x = 3*c - v*c - 5 for c.
5
Let r be (-1*(-3 + 3))/(2 - 1). Solve -m - m - 4 = r for m.
-2
Let t be (3 - -22) + -6 + 2. Let q = -6 + t. Solve j = 4*j + q for j.
-5
Let c be (-2)/1 - (42/(-6) - 0). Suppose f = 4, 0*j - 4*f = -2*j - 8. Solve -c*l + 5 = -j*l for l.
5
Let w = 13 + -9. Suppose 4*b = m + 4, w*m - 2*b - 3 = -5. Let a be ((-3)/6)/(1/(-2)). Solve y - a = -m for y.
1
Suppose 4*k = -23 + 31. Solve 0 = 3*b - k*b - 2 for b.
2
Let j = 15 - 3. Let l be (-7)/(14/j)*-1. Solve l = -y - y for y.
-3
Let q(o) = -4*o**3 - o**2 - o - 1. Let s be q(-1). Let y be (-716)/(-20) + (-1)/(-5). Suppose 0 = -2*t - 4*v + y, v - 54 = -5*t - 0*v. Solve -t = s*w - w for w.
-5
Suppose 3*l - 6 = 0, -4*i + 22 + 0 = l. Solve 38 = -i*u + 13 for u.
-5
Let y = 7 - 6. Let h(q) = -q - 4. Let l be h(-8). Let m = 1 - -4. Solve -l*i - y = -m*i for i.
1
Suppose -4*b + 1 - 9 = -2*c, -3*c + 2*b = -4. Solve 3*k = 6 - c for k.
2
Suppose 3*v = -0*v. Suppose -2*x + 22 = -2. Suppose x = 4*z, 5*i + v*z = 3*z + 1. Solve o + i = -o for o.
-1
Let i = 176 - 173. Solve i + 12 = -3*z for z.
-5
Suppose -4*u = -14*u. Solve 7*r - 3*r + 20 = u for r.
-5
Let s = 0 - 0. Let d = -9 + 10. Let a be (s + -1)*d - -4. Solve -2*b = -5*b + a for b.
1
Let b(f) = f**3 - f**2 + f + 28. Let j be b(0). Let n be (-23)/(-7) + (-8)/j. Solve n*a = a for a.
0
Let c(l) = -l**3 + 14*l**2 + 13*l + 20. Let w be c(15). Let x be w*(-5)/(20/8). Solve x = 2*b + 2*b for b.
5
Suppose -b - 5 = 2*w, 3*b - 21 = 2*w + w. Solve 0*l = b*l for l.
0
Let l(t) = -t**2 - 4*t - 4. Let q be l(-3). Let w be q/((-1)/(-6)) - 0. Let x be (5 + w)/(1/(-2)). Solve 2*i - 2 - x = 0 for i.
2
Suppose -4*l + 7 - 31 = 0. Let c(t) = -t**3 - 5*t**2 + 4*t - 7. Let w be c(l). Solve 2*a = -3*a + w for a.
1
Suppose -1 - 1 = -f. Solve 0 = f*y - 7 - 1 for y.
4
Let z(u) = -u**2 + 8*u - 3. Let w be z(3). Suppose o - w = -o + 4*q, o - 9 = 3*q. Let y = -8 + 14. Solve -j - 2*j - y = o for j.
-2
Suppose 2*h = 5*h - 30. Suppose -y - 2 = 0, 7*y - h = -4*u + 2*y. Solve -u*l = 10 + 15 for l.
-5
Let c = -1 - -4. Let w(v) = -4*v + 29. Let b be w(6). Solve c*f - b = 7 for f.
4
Let h(o) = o**2 - 6*o - 2. Let s be h(7). Suppose -y - y = p + 8, -20 = -5*p + s*y. Solve p = -b - 2 for b.
-2
Let x be (-1)/(2/(-9) - (-2)/90). Solve -9 = 2*y - x*y for y.
3
Let k(n) = n**3 - 4*n**2 + 1. Let m be k(4). Let h be (m + 0)/(1/3). Suppose -2*j - 2*z - h*z = 0, 2*j = 4*z + 18. Solve 7 = 4*s - j for s.
3
Let k(n) = -n + 9. Let i be k(8). Let s = 1 + -1. Solve s + i = -p for p.
-1
Suppose 3*h + 2*z - 10 = 1, 3*h - 5 = -5*z. Suppose 0 = h*o - 2*o. Solve o = y - 0*y for y.
0
Let u be 8 + (1 - 0) + -5. Solve 3*w = 2*w + u for w.
4
Let o(s) = s**2 - s + 2. Let q be o(-2). Suppose 2 = y + 3*c, -c = -5 + 4. Let i = q + y. Solve -22 = -3*j - i for j.
5
Let x be (-6)/(-6) + (-7)/(-1). Let b be (9 - 5)*(-6)/x. Let j(o) = o**2 - 2. Let n be j(b). Solve n*u - 4*u = 3 for u.
1
Let w be 4/(-18) + (-6)/(-27). Suppose 2*c = -0*c + 20. Solve -c = -2*x - w*x for x.
5
Let v = 3 + 0. Suppose 22*t = 9*t + 156. Solve t = -v*g - g for g.
-3
Let b be 14/6 + 0 - (-2)/(-6). Solve w + 4 = b for w.
-2
Let u be (-3 - (-24)/9)*0. Suppose u = -5*g + 2 + 38. Solve 5*b + g + 7 = 0 for b.
-3
Let h be (-1*2*-4)/(-1). Let b(y) = -4*y - 11. Let j(p) = -7*p - 21. Let d(c) = -5*b(c) + 3*j(c). Let r be d(h). Solve r = k - 5*k for k.
0
Let j(f) = f**3 + 7*f**2 - 6*f + 16. Let a be j(-8). Solve -3*d + a*d = 9 for d.
-3
Suppose -5*c - 27 = -3*t, -4*t - 9 = -5*t + 2*c. Let h(v) = -v**2 + 8*v + 11. Let i be h(t). Solve i*z + 2 = 3*z for z.
2
Let a = 8 - 3. Solve -a*t + 6 = 1 for t.
1
Let d(r) = 18*r**2 + r - 1. Let b be d(1). Let s = -12 + b. Solve 10 = -4*g - s for g.
-4
Let r = 8 + -5. Let g = r + -4. Let k be (-3 - (-21 + g)) + 1. Solve k = 3*f + f for f.
5
Let x be 18/3*(0 - -1). Let o = -4 + x. Solve -o*n + n + 5 = 0 for n.
5
Suppose -2*a + 0*a = 4*w + 14, 0 = -a + w + 8. Suppose g - a*j = 3*g - 15, 5*g + 15 = 3*j. Solve 2*k + 8 = -g*k for k.
-4
Let l = 8 + -4. Let c = -6 + 8. Solve 0 = c*i + l for i.
-2
Let u be (-2)/(-2) + (-13 - -14). Solve q = -1 + u for q.
1
Let r = -18 + 22. Let d(y) = 7*y**2 + y - 4. Let u be d(-4). Suppose 5*n + 24 = u. Solve 3*j + r = n for j.
4
Let j(m) be the second derivative of m**5/20 - m**4/3 + 5*m**3/6 - 3*m**2/2 + 3*m. Let w be j(3). Solve -5*v + 4 = -w*v for v.
2
Let d(v) = v**2 + v - 15. Suppose 4*s = 3*s. Let r be d(s). Let k be (-6)/r - (-46)/10. Solve -k*l = -l for l.
0
Let j = -20 - -16. Let i(p) = 3*p**3 - 4*p - 2*p**2 + 5 - 3*p**2 - 4*p**3. Let z be i(j). Solve z*q - 4 = 1 for q.
1
Let c(u) = -46*u. Let r be c(1). Let a(i) = -i**3 - 11*i**2 - 10*i - 10. Let f be a(-10). Let x be r/(-10) + (-4)/f. Solve -q = x - 0 for q.
-5
Let u(k) = k**3 + 7*k**2 - k - 3. Let c be u(-7). Suppose 12 = 12*o - 12. Solve -o*r + 10 = -c*r for r.
-5
Suppose -o - 2*j + 7 = 4, 3*j = -5*o + 8. Solve -2*l = -o - 5 for l.
3
Let m = 67 - 65. Solve -m + 5 = t for t.
3
Let r(q) = -2*q - 8. Suppose -16 = 3*i - 1. Let c be r(i). Solve l + 9 = -c*l for l.
-3
Let g(k) be the first derivative of -k**4/4 - 5*k**3/3 - 5*k**2/2 - 1. Let w be g(-4). Solve -w*d + 0*d = -12 for d.
3
Suppose 0 = -3*q - 0*q + 3. Solve -2*v + q = 3 for v.
-1
Let t be ((-3)/6)/((-1)/10). Suppose 0 = -2*y - 2*d + 22, 0*y - d = 2*y - 17. Suppose -t*z + 36 = y. Solve -5*b - z = 14 for b.
-4
Let g = 24 + -17. Let i = -4 + g. Let t be ((-6)/(-4))/(36/24). Solve -o = -i - t for o.
4
Let h = 11 - 1. Suppose 3*u = -4*y - h, 3*u + 4 = -u - 3*y. Solve -2*b + u = -3*b for b.
-2
Suppose -5*s = -5*r + 2 + 23, 3*r + s = 15. Suppose -6 = -2*d - r*u, d = 5*u + 9 + 9. Let o = 12 - d. Solve o*k - 15 = -k for k.
3
Let g be 1 + 2 + 0/2. Solve -b + g = -2*b for b.
-3
Let s(o) be the first derivative of -o**2/2 - 6*o + 3. Let q be s(-6). Let v(c) = -c + 10. Let p be v(7). Solve q*d = p*d - 9 for d.
3
Suppose 5*u - 115 = -5*h, 2*h - 6*u + 2*u = 28. Solve -i = 3*i - h for i.
5
Suppose -5*a + 18 = -4*t, 2*a + a = -2*t + 2. Solve -a*y + 2 = -4 for y.
3
Let m(j) = -j - 3. Let l be m(-6). Suppose s + l*s = 24. Suppose -2*c - z + s = -1, -3*z - 4 = c. Solve 2*v = -c - 1 for v.
-3
Let z = 41 - 26. Let h be (6/z)/(3/30). Suppose -h*s = 3*m - 31, m = -3*s - 3*m + 18. Solve -j - j - s = 0 for j.
-5
Suppose 0*l - 2*i - 16 = -2*l, 2*i - 36 = -2*l. Let b = -11 + l. Solve 3 = -b*t - 5 for t.
-4
Let t(o) = o**3 - 11*o**2 + 10*o + 3. Let b be t(10). Solve 3*q - b = 6*q for q.
-1
Suppose 2*t - 4 = -2*p, p - 3*t = -0*t + 18. Suppose 2*z + 2*m = -22, -z + 6 = -2*z - 2*m. Let g be (6/(-8))/(4/z). Solve -3*k - g = -p*k for k.
1
Let z = 3 - -6. Solve 3*k + 0*k = z for k.
3
Suppose -4*h = 4*q - q + 126, 0 = h + q + 31. Let w be (-4)/(-26) - h/39. Solve 2*l - 7 + w