 for x.
-1
Let l be (-9)/6*6/(-3). Solve 0 = 2*w - l*w + 1 for w.
1
Let q be (8/20)/(2/(-10)). Let o be (q + -3)*2/5. Let r = o + 6. Solve -k + r = 3 for k.
1
Let z(p) be the first derivative of -p**2/2 + 9*p + 1. Let q be z(0). Solve -3*f - q = -0*f for f.
-3
Let l be ((-30)/(-35))/((3/(-21))/(-1)). Solve l*f = 3*f + 12 for f.
4
Let d = 0 + 2. Suppose -d*k + k + 2 = 0. Let u = -1 - -1. Solve k*c + 3*c = u for c.
0
Let n be (-6)/(-3)*(2 - 3). Let h be 1 - 1/n*0. Solve 0 = 2*t + h - 3 for t.
1
Suppose 20 = -2*w - 3*w. Let c be (3/(-6))/(2/8). Let j = c - w. Solve -a = -j*a for a.
0
Suppose -3*l = -t - 0*l - 1, 0 = -3*l + 9. Suppose 4*q + t*u - 53 = 3*u, -5*q = -4*u - 15. Let w be (-2)/(-7) - 66/(-14). Solve q = 3*k - w for k.
4
Suppose 0 = 2*f - 4*f + 4. Suppose u - 6 = 3*l + 4*u, -f*l + 3*u = -6. Solve l = 2*b + b + 12 for b.
-4
Let o = 47 + -46. Solve s - o = 4 for s.
5
Let g(a) = -2*a + 8. Let k = 18 - 15. Let h be g(k). Solve 2*j + h = 3*j for j.
2
Let p = 7 - 7. Let l = p - -5. Solve 2 = x + l for x.
-3
Let o = 14 + -9. Solve -o = -3*d - 20 for d.
-5
Let g(y) = -y + 17. Suppose -7*m = -6*m. Let r be g(m). Solve 4*b - r = 3 for b.
5
Suppose 0*o + 2*o = -4*a + 12, o - 12 = 4*a. Let d = o + -8. Solve d = -4*w + 3*w for w.
0
Let a(g) = g - 21. Let z be a(24). Solve -2*y = z - 13 for y.
5
Suppose -10*j = -4*j - 54. Solve -3*h = -6 - j for h.
5
Let v be (3 - (-2)/(-2)) + 2. Solve 20 = -v*c - c for c.
-4
Let v = 32 - 27. Solve -v = 3*j + 1 for j.
-2
Suppose 0*h = -h. Suppose h = -0*d + d - 3. Suppose -4*c = -5*c + d. Solve c*a - 9 = 3 for a.
4
Let n(k) = k**3 - 6*k**2 + 2*k - 9. Let r be n(6). Suppose 2*z - 6*m + 9 = -r*m, 5*m = -4*z + 15. Solve -4*a + 0 - 12 = z for a.
-3
Let y(d) = 2*d + 61. Let t be y(-29). Solve t*o - 1 = 4*o for o.
-1
Suppose -2*a = -w + 3*a - 13, -w - 10 = -4*a. Let l be 0/(w - (2 + -3)). Solve -5*x + 4*x + 3 = l for x.
3
Suppose x = 7 - 1. Let p = x - 6. Solve -c = -p*c for c.
0
Let m(s) = -2*s**3 - 2*s**2 - 4*s + 2. Let f(n) = n**3 + n - 1. Let p(v) = 3*f(v) + m(v). Let i be p(2). Let h be i - (-3)/3*3. Solve -4 = a - h*a for a.
-4
Let f(g) = -g**3 - 4*g**2 + 10*g + 8. Let m be f(-6). Solve -2*u - m = -6*u for u.
5
Suppose -2*b + 16 = 4*v, -2*v = -3*v + 3*b - 10. Suppose -4*k = v*u - 22, 5*k - 5*u + 0*u = 35. Solve 0 = 4*s - s - k for s.
2
Suppose 0 = w - 5*w. Suppose 0 = -w*y + y. Suppose 3*c - 5 - 7 = y. Solve c*j - 5*j + 2 = 0 for j.
2
Let r be -1 + 0/(-3 - -5). Let z = r - -2. Solve -2*a + a + z = 0 for a.
1
Let x be 3 + 1/2*4. Let i = x + -3. Solve 0 + 8 = -i*o for o.
-4
Let n(j) = -j**2 - 9*j. Let s be n(-9). Suppose s = 2*x + x. Solve -y - y = x for y.
0
Suppose 0 = 4*h + 28 - 4. Let m = h - -6. Solve m = -b - b for b.
0
Let k = -7 - 1. Let a(c) = c**3 + 9*c**2 + 9*c + 10. Let r be a(k). Solve 5 - 1 = r*s for s.
2
Let d be ((-3)/2)/(24/(-32)). Suppose -12 = -d*p - 0*p. Solve -w + p = w for w.
3
Let c(m) = -m + 1. Let l be c(-4). Let p = l - 6. Let q be 6 - -1 - (2 + p). Solve 0 = -0*w - 3*w - q for w.
-2
Let n(f) = -f**2 + 5*f + 2. Let d be n(6). Let t be (-9)/3 - (d - 0). Solve -5*q - 6 + t = 0 for q.
-1
Let g = -20 + 37. Suppose -4*n = -g + 5. Solve -2*q + n = -5*q for q.
-1
Let z = -9 - -6. Let l(d) = -2*d + 1. Let u be l(1). Let h = u - z. Solve -h*r = r + 3 for r.
-1
Let s(h) be the first derivative of -3*h**2/2 - 3*h - 5. Suppose 3*t + 9 = -p, -4 = -t + 3*p + 3. Let q be s(t). Solve -q = -a - 2 for a.
1
Let z(h) = h**3 - 4*h**2 + h - 3. Let b be z(4). Suppose -l - b = -2. Solve -2*v = -3*v + l for v.
1
Let f be 0/(-3) - (0 - -1)*-5. Solve 0 = f*i + 3 + 22 for i.
-5
Let n(j) = j**3 - 3*j**2 - j - 9. Let h be n(4). Solve -h*l + 6 = -9 for l.
5
Let x be 50/8 - 2/8. Let o(j) = j**2 - j - 2. Let m be o(-2). Solve m*p = x*p - 10 for p.
5
Suppose -21 = -j + 4. Solve -2*p = -7*p - j for p.
-5
Suppose 2*c - 16 = -z - 2*c, 16 = z + c. Suppose 4*w - 5*j = 13 + z, 3*w = j + 8. Solve -t + 0 = w for t.
-1
Let w = 57 + -47. Solve -9*l + w*l - 4 = 0 for l.
4
Let l be (-256)/48*(38/(-8) - -1). Solve -h + l = -6*h for h.
-4
Let i be ((-72)/9)/(4/6). Let l = 16 + i. Solve -l*m = 1 - 9 for m.
2
Let c(h) = -h**2 - 11*h + 17. Let f(i) = i**2 + 11*i + 12. Let o be f(-8). Let d be c(o). Solve -v + 0 = -d for v.
5
Let x(c) = -c**2 - 12*c + 4. Let r be x(-12). Solve 0 = -r*v + 9 - 1 for v.
2
Let a(h) = -h**2 + h + 2. Let i be a(0). Let y be 0 + 2 + -2 + i. Solve -y*g = -5*g for g.
0
Let k(l) = -l**2 - 10*l + 29. Let x be k(-12). Solve 10 = -3*m - x for m.
-5
Let s(h) = h**3 + 5*h**2 + 5*h + 1. Let d be s(-2). Solve d*p + 8 = 5*p for p.
4
Let u be 5 + -2 + (1 - 44/(-4)). Solve -2*n + u = 3*n for n.
3
Let g(m) = -m - 2. Let f be g(-7). Suppose -5 = -f*t + r + 2, -2*t + r = -4. Let x = -1 + 1. Solve p = -t - x for p.
-1
Let d be (3 - 3)/1*2/(-4). Solve -5*y + 2*y - 15 = d for y.
-5
Let j(r) = -5*r. Suppose 5*n = -2*k - 2, 0*k = -3*k - 4*n - 3. Let d be j(k). Solve 2 = -h + d for h.
3
Let k be 13/(-3) + 6/(-9). Let m be 8/k*15/(-6). Solve -m*q - 3 = -19 for q.
4
Let x(l) = -l**2 - 6*l - 3. Suppose 4 = -3*z - 8. Let w be x(z). Solve -4*k + 15 = -w for k.
5
Let a(m) = -m**3 - 4*m**2 - m - 4. Let q(t) = -5*t**2 - 2*t - 1. Let i be q(-1). Let r be a(i). Solve 0 = 5*x - r*x + 5 for x.
-1
Suppose 2*i - 4 = 0, 6*m = 5*m + 3*i - 6. Solve 4*k - 8 = -m*k for k.
2
Suppose -37*d + 45 = -32*d. Solve 5*a - 16 - d = 0 for a.
5
Suppose 5*y - z + 20 = -5*z, -2*y + 10 = -2*z. Suppose 4*c = 5*h + 33, c + 5*h + 3 = 4*h. Solve y = w + c*w for w.
0
Let d(l) = l**3 + 7*l**2 - 9*l - 5. Let j be d(-8). Let m = j - -1. Solve m*v = v + 12 for v.
4
Let z(a) = -a**2 - 3*a - 5. Let g be z(-4). Let m be (-18 - -3) + (0 - 0). Let p = g - m. Solve -p*j + j = 0 for j.
0
Suppose 0 = -0*o + o - 3*n + 12, -2*o + 4*n = 14. Suppose -s + 2*s = h + 7, o*s + 2*h = 1. Solve -s*f - 4 = -2*f for f.
-4
Suppose -8*t + 4*t = -8. Suppose 0*b = -t*b + 8. Let h be (2/6)/((-1)/(-6)). Solve b*g - 6 = h for g.
2
Let b = 11 - 5. Solve b = 4*s - 2 for s.
2
Let w = -8 - -6. Let x = w + 2. Solve -5*a = -x*a - 20 for a.
4
Let m(b) = b**3 - 3*b**2 + 3*b - 5. Let g be m(3). Solve g*z = 8*z for z.
0
Let l = -1 - -5. Suppose 1 = 3*o + l. Let r be 2 + -1 + (-2)/o. Solve r*d + 2 = 11 for d.
3
Let k = 15 - 12. Solve -h = k*h for h.
0
Let w = 22 - 9. Solve 3*p - w = 2 for p.
5
Let j(q) = -q - 10. Let y be j(8). Let m = y + 30. Solve 2*f + f = -m for f.
-4
Let j(b) = b + 6. Let m be j(-6). Solve m = -5*l + 7 - 2 for l.
1
Let p = -89 + 128. Suppose -8 = -4*a - 28, -3*n - 4*a = 77. Let l = p + n. Solve -c - 4*c = -l for c.
4
Let b(n) = n**3 - 7*n**2 + 7*n - 4. Let c be b(6). Suppose 6 = 2*f + 4*f. Suppose f = c*q - 5. Solve 0 = -s + q*s + 2 for s.
-1
Let t be 21/2 + (-2)/4. Suppose 3*c - t = -2*c. Suppose 2*n - c = 14. Solve 20 = -3*x + n for x.
-4
Suppose 5*n = 5*j - 57 - 8, 5 = -n. Solve j + 12 = -4*k for k.
-5
Suppose -3*x = -65 + 5. Solve 0 = 2*w - 7*w + x for w.
4
Let m(s) = -s**2 - 7*s - 5. Let y be m(-4). Suppose -8 = -t + 5*k, -3*t + 2*k + y = 4*k. Solve -t*l + 0*l - 3 = 0 for l.
-1
Let m(s) be the third derivative of s**5/30 + s**4/24 - s**3/6 + s**2. Let z be m(1). Suppose -2 + 8 = z*h. Solve 0 = h*k - 16 + 1 for k.
5
Let r be 0 - (2 + -1 - 3). Let f = -36 - -42. Suppose -8 = r*u - f*u. Solve -i = -3*i - u for i.
-1
Suppose 0 = i + 4*i + 45. Let y = i + 20. Solve 0 = -3*w - 4 - y for w.
-5
Let y(f) be the second derivative of -f**5/20 - 5*f**4/12 + f**3/6 + 5*f**2/2 + 3*f. Let s be y(-5). Solve -2*x = -2 - s for x.
1
Suppose -z + 4 = 3*z. Let r be -2*(z - (2 + 1)). Solve -4 - 4 = r*v for v.
-2
Let d = -8 - -14. Let c = 406 + -404. Solve -b + c = d for b.
-4
Let i = -3 + 3. Solve i = 4*r - 5 + 1 for r.
1
Let g = -25 - -31. Solve -g*t = -3*t for t.
0
Suppose -6*q = -9*q - 3. Let b be (-8 - 2)*(-1)/(-2). Let m = q - b. Solve 12 = -8*i + m*i for i.
-3
Suppose 0 = -c + 5 - 0. Suppose -4 - 11 = -c*j. Solve 0 = j*l + l for l.
0
Suppose 0 = 3*o + 4*f - 13, 4*o - 2*f + 12 = -0*f. Let b = o + 6. Solve 0 - b = -y for y.
5
Let l be (-20)/(-6) + 18/27. Suppose 5*k = l*t + 37, 3*t = -3*k - 2*t. Suppose k*a - i - 90 = 0, -5*a + 3*i - i = -95. Solve -2 = 3*s - a for s.
5
Let b(a) = 2 + 5*a**2 + 0 - 1. Let s be b(1). Solve -5*z + 2*z = s for z.
-2
Suppose 0 = -5*m + 3*u + 45, 0*u - 5*u = 5*m - 5. Suppose 3*g 