.
0
Let b be (-2)/4 - (-6)/4. Let h = b + 10. Solve 2*c - 3 = -h for c.
-4
Let n = 73 - 70. Solve n*i = -2*i + 20 for i.
4
Let w be (-8)/(1/((-2)/4)). Solve w = -3*m + 1 for m.
-1
Suppose -3*q - 24 = -3*n, n = 3*q - 8*q - 16. Solve 2*c = n*c - 8 for c.
4
Suppose -20 = -4*x - 8*v + 3*v, 5*v - 15 = -3*x. Let z = -33 + 35. Let u(a) = 7*a + 1. Let s be u(1). Solve x*m = -z - s for m.
-2
Let v(x) = -x**2 + 4*x - 1. Let n be v(3). Suppose -2*g - 1 = -3. Solve k - n = -g for k.
1
Let r(o) = o**3 - o**2 - o + 138. Let q be r(0). Let y be q/24 - 1/(-4). Let b = y + -4. Solve b*s + 1 = -1 for s.
-1
Let r(s) = s**3 + 4*s**2 + 3*s + 1. Let g be r(-2). Let l = g + -5. Let n = l - -3. Solve 0 = -5*v - n + 26 for v.
5
Let j = -8 + 1. Let z = -4 + -1. Let b = z - j. Solve 2*r + b*r + 16 = 0 for r.
-4
Suppose -3*u + 2 = 4*t, -6*t - 12 = -3*t. Solve 3*c + 3 = -u for c.
-3
Let t be 1 - -4*2 - -1. Let o(k) = k**3 + 8*k**2 - 9*k + 2. Let z be o(-9). Suppose -t + 4 = -z*h. Solve 0*g = -g + h for g.
3
Let a(s) = 2 - s**2 - 11 + 8*s + 0. Let w be a(6). Suppose -3*i + 1 = -2*t - 3*t, -w*i + 8 = 2*t. Solve 0 = i*r - 2 + 4 for r.
-1
Suppose 41 - 11 = 2*b. Suppose -h - 4*h = k - 18, b = 5*h. Solve -2*t = t - k for t.
1
Suppose -14 = 6*v - 13*v. Solve -5 = -v*l + l for l.
5
Suppose 4*h - 15 = -h. Solve -h - 3 = 2*c for c.
-3
Suppose 5*s = 19*s - 28. Solve s*w = -w for w.
0
Suppose -4*a + 3 + 1 = 0. Solve 1 = -g - a for g.
-2
Let n(p) = -p**2 - 9*p + 8. Let u be n(-10). Let v = u + 5. Suppose v*y - 32 = y. Solve 2*i + y = -2*i for i.
-4
Let t(m) = m - 3. Let g be t(8). Solve i = g*i + 8 for i.
-2
Suppose -2*t - 1 = -3. Solve -b + 0*b + t = 0 for b.
1
Suppose -2*d = 3*m - 13, -3*m - 9 = -5*d + 55. Let s = 31 - d. Solve 5*b - b = -s for b.
-5
Suppose -5*q + q = -28. Let h = q - -8. Suppose -3*j + h = 4*v - 6*j, 2*v - 2*j - 10 = 0. Solve v = 3*x + 12 for x.
-4
Let w(y) = 4*y**3 - 17*y**2 - y. Let x(h) = -h**3 + 4*h**2. Let c(b) = -2*w(b) - 9*x(b). Let q be c(2). Solve -5*m = -6 - q for m.
2
Let l(z) = z + 12. Let d be l(-8). Let x be ((-4)/(-6))/(4/6). Solve -o - x = d for o.
-5
Suppose 0*i - 2*i + 3*c = -25, 0 = -i - c. Suppose 21 - 1 = i*t. Solve 4*y - t = -0*y for y.
1
Suppose -2*c - 3*c = 0. Let t = 470 - 467. Solve c*v - t = -v for v.
3
Suppose t - 103 = -5*g, -g - t - 77 = -5*g. Solve 8*u = 3*u - g for u.
-4
Let q be ((-147)/(-84))/((-1)/(-4)). Let r be 5 + (-4 - (-4 - -2)). Let x = 1 + -1. Solve x = 4*g - q*g - r for g.
-1
Let f(k) = k**3 + k**2 - k - 4. Let n be f(-4). Let g be (-2)/12 - 8/n. Solve b + 5 = -g*b for b.
-5
Let l(c) = 6*c**2 - c - 1. Let g be l(1). Solve q = g*q + 12 for q.
-4
Suppose 29*p - 36*p + 56 = 0. Solve p = -4*q + 24 for q.
4
Let k = 45 - 42. Let g = -3 + 5. Let h be 1 - (0/g - -1). Solve k*i + 0*i + 15 = h for i.
-5
Suppose -2*t - i = -5*i - 28, 2*i + 46 = 5*t. Let l be (-7)/(-3) - t/(-12). Suppose 3*u = -h + 16, l*u = -u + 20. Solve 4*y - 17 = -h for y.
4
Let i(n) = -n**3 - 6*n**2 + 9*n + 7. Let g be i(-7). Let z(x) = -x**2 - 7*x + 1. Let s be z(g). Solve -4*q - s = -5 for q.
1
Suppose u + 0*u - 6 = 0. Suppose -5*v + 11 = -14, -5 = 5*k - 5*v. Solve -7*i - u = -k*i for i.
-2
Suppose -7*u + 11*u = 0. Solve 8 + u = -4*g for g.
-2
Suppose 2*i + 3*i - 15 = 0. Let y be 5/((-2 + i)/1). Solve y*o - 2*o + 12 = 0 for o.
-4
Let i = 32 + -31. Let c = 3 - 2. Solve c = -q - i for q.
-2
Suppose 0 = 20*g - 15*g - 25. Solve 8*j - g*j = 12 for j.
4
Suppose -5*o = -o - 4, 3*c - 8 = o. Solve c + 0 = b for b.
3
Suppose 0 = 51*u - 55*u + 40. Solve 5*f - 3*f + u = 0 for f.
-5
Let v be 6/(-24) - (-122)/8. Let a be (v/(-10))/(3/28). Let g be a/(-4) - 1/(-2). Solve -g*p + 0*p - 8 = 0 for p.
-2
Let q(m) = m**2 - 1. Let l be q(1). Suppose -4 = -2*k - 2*d, -2*k + 2*d - 4 = k. Solve -i + l - 1 = k for i.
-1
Let b(v) = 2*v - 2. Let o be 5 - (2 + -4 + 1). Let x be b(o). Solve f = -f + x for f.
5
Suppose -2*d = 5*b - 30, 5*d = 3*d. Let v be 2/b + (-1)/3. Let i = 11 - 7. Solve n = i - v for n.
4
Suppose 13 = -o + 18. Solve 0*m - m + o = 0 for m.
5
Let x(k) be the third derivative of -k**4/8 - k**3/3 - 4*k**2. Let p(t) = -t**3 - 3*t**2 + 4*t - 5. Let w be p(-4). Let j be x(w). Solve j = 2*l + 5 for l.
4
Suppose -3*j - 6 = 0, -c + 5*j - 23 + 63 = 0. Suppose -h = h - c. Suppose 36 = 4*o - 5*b, -4 = 4*o + 4*b + b. Solve -o*v + v = -h for v.
5
Let n(o) = -o**3 + 9*o**2 - 9*o - 3. Let y be n(8). Let g = -1 - y. Let i be 12/g*(-20)/(-8). Solve 3*u = -i - 6 for u.
-3
Let b(g) = g**2 + 2*g + 1. Let f be b(-2). Solve v = f - 0 for v.
1
Suppose y + 4*b = 0, y + b = 2*y - 10. Solve -8*g + 4*g - y = 0 for g.
-2
Suppose 3*y + p = -12, -p = -5*y - 2*p - 18. Let h = y - -6. Solve 16 = -h*t - t for t.
-4
Let l(a) = -a**2 + 3*a. Let i be l(3). Solve 2*x = -2 - i for x.
-1
Let v be 0 + -3 + (0 - -6). Solve -v*w = -23 + 8 for w.
5
Let p(a) be the first derivative of a**4/4 - 4*a**3/3 - 3*a**2/2 + 4*a - 2. Let r be p(5). Solve 0 = -4*t + 2 + r for t.
4
Let h(b) = b - 12. Let p(c) = -2*c + 25. Let z(i) = -5*h(i) - 2*p(i). Let u be z(8). Let g = u - 2. Solve g = 6*k - k - 20 for k.
4
Let f be (-9)/(-5) - 4/(-20). Let b be 5/f + 4/(-8). Solve b*d = d + 1 for d.
1
Let x be 3/((-9)/5)*-3. Solve 0 = -x*v + 18 + 7 for v.
5
Suppose 0 = -8*v + 3*v - 15. Let j = 3 - v. Suppose -6 = 3*r - 6*r. Solve r*n + 2 = -j for n.
-4
Let n(x) = 6*x**2 - x. Let a be n(-1). Suppose -2*j - 25 = -a*j. Suppose -2*r = 3*g - 6, 0 = 3*g + j*r - 4 - 2. Solve 0 = 2*f - f - g for f.
2
Let k = 10 + -4. Suppose k*c = c. Solve -2*j - 2 + c = 0 for j.
-1
Let z(q) be the first derivative of q**3/3 - 5*q**2 - 11*q - 4. Let y be z(11). Let c(r) = -r**2 - 8*r - 9. Let m be c(-6). Solve m = -y*l - 3*l for l.
-1
Let r = -2 - -1. Let s = -13 + 8. Let a = r - s. Solve a*z = -12 - 0 for z.
-3
Suppose -5*c - 3 = -2*c. Let v(r) = -8*r. Let f be v(c). Solve -4*k + f = -8 for k.
4
Let r be (-2)/(-7) - -2 - 4/14. Solve -r*s - 3*s = 0 for s.
0
Let i(u) = 3*u + 1. Let p be i(2). Let r(q) = -q**3 + 4*q**2 + 2. Let b be r(4). Solve -p = -3*w + b for w.
3
Let c = 7 + -3. Let z be 2/8*5*c. Solve -6 = -z*p + 19 for p.
5
Let o(z) = -z**3 + 4*z**2 + 11*z - 26. Let h be o(5). Solve -4*l = -0*l + h for l.
-1
Let o(a) = -3*a + 57. Let q be o(19). Solve q*y = -y - 5 for y.
-5
Let o be -1 - (0/(-2) - 3). Suppose o*h - 3 = -1. Suppose t = 5*f - h, -5 = f + 5*t - 0. Solve f = -2*n + 5*n for n.
0
Suppose 0 = 4*n + 5*u - 27, 3*n - 5*u + 9 = n. Solve 7 = -5*b - n for b.
-2
Let s = 5 + -3. Suppose 0 = 5*y + 3*g + s, -y - 6 = 2*y + 3*g. Solve -y*q - 4 = -2 for q.
-1
Let y = 3 + 2. Solve -y*d - 6 = -3*d for d.
-3
Let g = 3 - 3. Suppose 6*q - q = g. Suppose q = 2*z - 2 - 2. Solve -2*r - z = 2 for r.
-2
Let b be (6 - 7)*0/(-2). Suppose -4*z = z. Suppose -5*r + 0*r = 5*h, -2*h - r = z. Solve b = -h*x + 3*x - 3 for x.
1
Let k = -1 + -9. Let a be (6/k)/((-4)/20). Solve 4 = -a*v + 2*v for v.
-4
Let f(h) = -h**3 - 6*h**2 + 7. Suppose -2*i - 9 - 3 = 0. Let x be f(i). Solve -4*a + x*a = -3 for a.
-1
Let a(x) = -x**3 + 3*x**2 + 2*x - 4. Let t be (-6)/(-27) - 50/(-18). Let b be a(t). Solve 0 = p + b*p for p.
0
Let o be 2 + (1 + -2 - 9). Let w be (o - -1)/(-1) + -1. Solve n - w*n = 20 for n.
-4
Suppose 15 + 13 = 3*t - 5*p, 3*t + 2 = -p. Solve t = 4*i - 3 for i.
1
Suppose 0 = -b + 3*c + 16, -3 = 3*b + 5*c - 9. Solve -b*u = -3*u + 20 for u.
-5
Let f be (-1)/((-3)/(-54))*-2. Let x be 116/f + (-2)/9. Solve 0 = -x*u + 2*u for u.
0
Suppose 2 = -x + 3*y, -4*y - 9 - 3 = -5*x. Suppose 0 = -2*f + 2*d - x, -4*f + 0*f + 10 = 2*d. Suppose 21 = u + 2. Solve 5*i + u = -f for i.
-4
Let w = 69 - 57. Solve -6*s = -2*s - w for s.
3
Let s = 5 - 3. Let p be 38*(s/4 + 0). Let z = p + -11. Solve t - z = -3*t for t.
2
Let p(r) = r**2 + r + 5. Let y be p(0). Suppose 2*w - 1 - y = 0. Suppose -w*q + 30 = 2*q. Solve q = -4*u + 14 for u.
2
Let p be (1/(-4))/(1/(-4)). Let h = p + -5. Let o be h/(-18) + 32/18. Solve -3 + 1 = o*t for t.
-1
Let q(t) = -t**2 - t - 40. Let z be q(0). Let l = 11 - 15. Let j be l/(-10) - (-16)/z. Solve w + w + 8 = j for w.
-4
Suppose -2*p - 10 = -5*q, -5*p - 2 = -5*q + 8. Solve -g - q*g = 0 for g.
0
Let v(g) = -31*g**2 + 30*g**2 + 4 - 10*g - g. Let a be v(-11). Solve 0 = c - a*c + 9 for c.
3
Let z be (-2 + 0 + 2)/(-1) - 0. Solve z*i + 3 = -i for i.
-3
Suppose z = -3*j - 0*j + 6, 