.
-3
Let f = -2 - -5. Solve -7 = -2*s + f for s.
5
Suppose 2*c = -0 - 6. Let p be 2 + c + 0 + 1. Solve -2*z - 10 + 2 = p for z.
-4
Let t(l) = 2*l - 7. Let z be t(5). Suppose 4*y - y = 0. Suppose y = 8*r - 3*r. Solve -3*g + z = -r*g for g.
1
Let t(k) = -k - 4. Let b be t(-4). Suppose i = 3*n - 0*n + 2, b = -3*n. Solve 0 = -i*z - 0*z - 4 for z.
-2
Let w(l) = -l - 4. Let c be w(-6). Solve -7*q = -c*q + 20 for q.
-4
Suppose -10 = -3*v + v. Solve -q = v - 1 for q.
-4
Suppose -27 = -3*m - 2*o, 0 + 3 = o. Let l = 10 - m. Solve 0 = l*y + 1 + 11 for y.
-4
Let u be -2 - (-4)/(-2)*-1. Let y be -1 + 2 - (-4)/2. Suppose -5*r + y*m + 84 = u, 2*r + 0*m - 44 = -4*m. Solve -2 + r = -4*n for n.
-4
Let k(y) = -y - 4. Let o be k(-9). Suppose 100 = o*l - l. Suppose 1 = 2*x - l. Solve x + 2 = -5*q for q.
-3
Suppose -20 = -4*q - 4. Suppose -k + x = -q*k + 17, x = 2*k - 8. Let m = k - 5. Solve -2*a + m - 10 = 0 for a.
-5
Let w(h) = h**2 + 1. Let u be w(-3). Suppose 3*r - 31 + u = 0. Suppose q = 3 + r. Solve -q = l + l for l.
-5
Let h(t) be the first derivative of t**3/3 - 2*t**2 - 1. Let a be -1 - -3 - (-1 - 1). Let w be h(a). Solve w = -0*u - u for u.
0
Suppose w = -3*r - 0*w + 3, 0 = -2*r - 5*w - 11. Solve 6 = -r*i + 5*i for i.
2
Suppose w + 2*w + 4*x - 9 = 0, 2*x - 6 = -2*w. Suppose 0 = -3*o - 9, -5*b = 2*o + 60 - 154. Solve b = -w*q - 2*q for q.
-4
Let x(r) = 7*r**3 + r - 1. Let g be x(1). Let w = 17 - g. Let m = 0 - -4. Solve -6*z - w = -m*z for z.
-5
Let k(y) = 1 - 6*y**2 + 2*y**3 - y - y**2 + y**2. Let z(h) = h**3 - 5*h**2 - h + 1. Let f(x) = 3*k(x) - 4*z(x). Let i be f(2). Solve -i = 2*s + 3*s for s.
-5
Let u(w) = 2*w**2 - 6*w + 3. Let g be u(3). Suppose -5*c - g = -8*c. Solve 3*p = -c + 4 for p.
1
Let m = 4 + -2. Suppose 5*g - m*w = 19, -5 = -3*g - 2*w - 0. Suppose 0 = -2*y + 3*p + 7 + 14, 0 = -2*p - 10. Solve 0 = y*d - 9 + g for d.
2
Suppose 42*x + 40 = 50*x. Let t = 1 - -5. Solve -t - 4 = -x*q for q.
2
Let u = -6 - -9. Suppose 3*g - u*t = 0, -3*g + 23 = 3*t + 5. Let l be (1/g)/(1/9). Solve l*k - 20 = 7*k for k.
-5
Let g be (-26)/6 + 1/3. Let p be (g/(-5))/((-2)/(-5)). Suppose 2*q - q = p. Solve -j = -q + 5 for j.
-3
Let i be 7/(105/50)*3. Let m = 4 - 1. Solve i = -m*b + 4 for b.
-2
Suppose 3*a - 6 = 2*a. Suppose -a*n = -n - 25. Suppose 2*k + n*q - 20 = -4, 12 = 2*k + 3*q. Solve k*v = 4*v for v.
0
Let z be (3 - (3 - 1))*34. Suppose -3*b + 4*t = -6*b - z, -2*t + 10 = -3*b. Let h be (-10)/5*b/4. Solve -m + h = -2*m for m.
-3
Suppose -2*p - p = 48. Let g = 26 + p. Solve -25 + g = -5*u for u.
3
Let q(v) be the second derivative of -v**4/12 + 5*v**3/3 + 13*v**2/2 + 5*v. Let y be q(11). Solve 0 = -y*l - 3 + 1 for l.
-1
Suppose -5*b + 3*x = -0*x - 20, -4*x = -4*b + 16. Let g(o) = -o**3 - 5*o**2 + 23*o + 17. Let f be g(-8). Solve -f = b*c + c for c.
-5
Let d be ((-15)/(-30))/((-2)/(-12)). Solve 0 = d*i - i + 8 for i.
-4
Let l(r) be the second derivative of r**5/20 + r**4/4 + r**3/6 + 3*r**2/2 + 3*r. Let a be l(-3). Suppose 3*n - 2 - 1 = 0. Solve y + n - 6 = a for y.
5
Suppose -9 + 5 = 4*w. Let d be -3 - -5 - w - 0. Solve 0 = d*x + 5 + 7 for x.
-4
Let l = -2 + 2. Suppose -2*k - s - 8 = l, -s + 2 + 14 = -4*k. Let t be (-50)/(-8) - k/(-16). Solve -5*y - t = 14 for y.
-4
Let f be (-1 + (1 - -1))*-6. Let p = -4 - f. Solve 0*c + p*c = 10 for c.
5
Let b be (8/10)/(10/25). Suppose 2*u + b = 4*u. Let x be (-2)/(-5)*(5 + 0). Solve -x*m + 11 = u for m.
5
Suppose -2*x + 4*b + 52 = 2*x, 28 = x - 4*b. Suppose 3*s = 2*z - 4, -s + x = 4*z - 0*z. Solve 4 = 2*c - z for c.
3
Let k(q) = q**3 + 7*q**2 + 8*q + 10. Let b be k(-5). Solve b = 3*i - 7*i for i.
-5
Let b(a) = -a**3 - 12*a**2 + 12*a - 4. Let t be b(-13). Solve -r = -4*r - t for r.
-3
Suppose 207 = -3*g - 3*v, -3*g + g - 108 = -4*v. Let f be g/(-6) + 2/(-3). Let s = 14 - f. Solve 7*y - s*y + 6 = 0 for y.
-2
Let l be 1/(-1 - (3 + (-20)/4)). Solve -5 + l = 2*u for u.
-2
Let w be (-1)/(-1)*(-5)/(-1). Solve -3*l - 2*l = -w for l.
1
Let l = 2 - -2. Solve l*f - 20 = -0*f for f.
5
Let d be ((-6)/6)/((-1)/(-1)). Let f = 4 + d. Suppose 0 = 3*y - f*o + 3, 4*y + 2*o - 46 = -20. Solve 2*x - y = x for x.
4
Let n be 15*(2 + (-10)/6). Let b(q) = q - 3. Let z be b(n). Solve -1 = z*d + 3 for d.
-2
Suppose 4*f - 30 = -f. Let q(k) be the first derivative of -k**4/4 + 7*k**3/3 - 3*k**2 - 4. Let j be q(f). Solve -5*i + 2 - 12 = j for i.
-2
Let b be (-2)/1 - (-3 + -3). Suppose 2*s = -5*t + 5*s - 50, -4*t - 2*s = 62. Let m = t - -13. Solve 0*a + a - b = m for a.
4
Let v = -2 - -6. Let d be (-4*(-14)/v)/1. Suppose -3*m = -d - 1. Solve -m*l = -3*l for l.
0
Let o be 2/(-7) - (-64)/28. Suppose 2*x = o*r - 10, 0*x = -5*x + 2*r - 10. Suppose x*q = 2*q - 4. Solve -2*b = q - 0 for b.
-1
Let r(h) = -h**3 - 12*h**2. Let c be r(-12). Solve -5*p = -c*p for p.
0
Suppose 0 = -2*o + 4*o. Suppose -5*z = -9 - 16. Suppose -5*q - 15 = -3*a, -q - 4*q = -z*a + 15. Solve -3*b + a*b - 12 = o for b.
-4
Suppose -5*p - 1 = 4, -4*k - p + 3 = 0. Solve 0 = o - 0 + k for o.
-1
Let k = -52 - -56. Solve 3 + 17 = -k*y for y.
-5
Let k = -190 + 205. Solve -6*y + 9*y + k = 0 for y.
-5
Let t = 30 + -29. Solve -s = 2 + t for s.
-3
Let d be 3/2*(-20)/(-6). Suppose -5*y = 3*j - 10, -3*y + 4*y = -3*j + 2. Solve d*r + 5 + 20 = j for r.
-5
Let t(f) = 3*f**3 + f**2 - f + 1. Let i be t(-2). Let b = 19 + i. Solve -b*g = g + 12 for g.
-4
Let a be 5/(-30)*9*(-2)/3. Solve -i = -a + 2 for i.
-1
Suppose 5*h - 8 = g, 4*h = 3*g - 5*g + 12. Solve 2*k + g = -6 for k.
-4
Let h(p) = p + 8. Let l be h(-6). Let y be 3/(-6) + 7/l. Solve y*n = 2*n + 4 for n.
4
Suppose 2*f = -79 + 87. Let v(d) = -d + 4. Let h be v(0). Suppose -h*r + n = 2*n + 5, n + 5 = -r. Solve f*w - 4 = -r for w.
1
Suppose 4*w - 12 = p, 0 = -p - 3*p. Suppose -o - 6 = -w*o. Solve 5*c + o = -2 for c.
-1
Let g(t) be the third derivative of t**5/30 - t**4/24 - t**2. Let m be g(1). Solve 4*k = -9 + m for k.
-2
Let u(b) = 2*b - 34. Let h be u(17). Suppose 4*m - 5*n = 8, 3*m - 4 = m + 5*n. Solve -m*a = -h*a + 8 for a.
-4
Let i be (-4)/6 - (-28)/6. Suppose 2*k + 4*y - i = -y, -2*k + 4*y + 4 = 0. Suppose x = 4*u - 6*u + 6, 6 = 3*x + k*u. Solve x = -3*b + b + 4 for b.
2
Let q = -2 + 8. Let w be q/(-7)*21/(-3). Solve -4*y + w = -y for y.
2
Suppose -9*r + 40 = 13. Solve -6*t = -r*t for t.
0
Let l = -6 - -11. Solve -l*a + 0*a - 5 = 0 for a.
-1
Suppose 3*m = -0*m. Solve -2*q + m = -2 for q.
1
Let t(r) = -2*r + 14. Let s be t(6). Suppose s*y - 15 = -3*y. Solve y*l = -0*l + 9 for l.
3
Let i(w) = -2*w**2 - 13*w - 3. Let a be i(-6). Suppose -3*s + 6 = -a*q - 0*q, -3*s + 5 = -2*q. Solve 0 = -t + s - 4 for t.
-3
Let d(m) = -m**3 - 7*m**2 + 4. Let c be d(-7). Suppose -c = -0*a - a. Solve 0 = -a*h - 6 - 2 for h.
-2
Let l(r) = -r**3 + 2*r**2 + 3*r - 3. Let s be l(2). Solve 1 + s = 2*g for g.
2
Let l(f) = 5*f + 1. Let i be l(1). Let c be 1/(2/(i*1)). Suppose c*z = -2*t + 18, 5*t - t + 30 = 5*z. Solve b - z = -b for b.
3
Let d(m) be the first derivative of 2*m**3/3 - 3*m**2/2 + m + 2. Let z be d(2). Solve -r = z*r + 8 for r.
-2
Suppose p = 6*p. Let z = p - -1. Solve v + 0 = z for v.
1
Suppose 16*u - 9*u - 21 = 0. Solve 0 = u*i + 2*i + 15 for i.
-3
Let h = -15 - -16. Let g be h/5 - (-4)/(-20). Let d be 0/1*1/(-2). Solve 2*a - 4 + d = g for a.
2
Let h be ((-12)/14)/(7/(-49)). Let q = h + -4. Solve u + q = 5 for u.
3
Let c = 1 - -1. Let q(y) = y**2 + y - 2. Let d be q(c). Suppose -4*j + 6 = -j. Solve j*v = -d - 2 for v.
-3
Suppose -2*l + 17 = 3*t - 0*l, 2*l = 2. Solve 0*v + 5 = t*v for v.
1
Let y(l) = -3*l + 1. Let q be y(-5). Suppose -8 = 4*c - 7*w + 3*w, 0 = -5*c + 2*w - q. Let m = c - -19. Solve -2*a = -5*a + m for a.
5
Let p be (-7)/(-4) + (-12)/(-48). Solve -6*c - 4 = -p*c for c.
-1
Suppose 2*t + 4 = 2. Let n be t + (0 - 2 - -3). Solve -4*c + c = n for c.
0
Suppose -5*l - l = 0. Solve l = -g - 3*g for g.
0
Suppose -2*l + 9 = -0*l + s, 5*s - 30 = -5*l. Suppose 2*y - 14 = -2*i, 3*y - 8*y + l*i - 5 = 0. Solve y*u + u - 6 = 0 for u.
2
Let k = -4 - -7. Suppose 3*t = 3*r - 18, -k*r - r - t = -4. Let q be 2*(21/r)/7. Solve -2*m = -5*m + q for m.
1
Suppose -3*j - 5 = -4*j. Suppose -j*o + 32 = -3*f, -f = -0*o + 3*o - 8. Solve h + o*h + 10 = 0 for h.
-2
Let c be 2/10 + 24/(-20). Let d be 0 + 2 - (-3 - c). Let g be 3 + 2/(-1 - 1). Solve -d*j = -g*j - 6 for j.
3
Let t(n)