se -81*s = -76*s - 10. Solve -v - s = -3*v for v.
1
Let w be 4/18 - (-475)/171. Let f = -54 - -54. Solve f = -2*u - w*u for u.
0
Let f = -108 - -90. Suppose 4*p - 31 - 57 = 0. Let q = f + p. Solve 2*k - k = q for k.
4
Let k(t) = 41*t + 296. Let a be k(-7). Solve -11*g = -2*g + a for g.
-1
Suppose 283 = l + 281. Solve -2 - 2 = -l*p for p.
2
Let t = -901 - -942. Solve 37*x = t*x - 4 for x.
1
Let u be (-6)/(-9) + (-4)/6. Suppose 3*o + 3*r = 24, -3*o + u*r = -r - 20. Suppose 3*g - 10 = -2*g. Solve o*q = g*q - 5 for q.
-1
Suppose 3 - 7 = -4*b. Suppose b - 21 = -5*c. Suppose -3*r + 19 = l, -23 + 2 = -r - c*l. Solve -r = -n - 3 for n.
2
Let l be 2/(2 + (2 - 5)). Let r be (-2)/(l/3*(-2)/(-4)). Suppose w + 15 = 6*w. Solve r - w = -t for t.
-3
Suppose -27 = -r - 24. Let f(g) = -11*g**2 + 3*g - 19. Let w(h) = 5*h**2 - h + 9. Let o(l) = 6*f(l) + 13*w(l). Let p be o(4). Solve r*n = p*n + 20 for n.
-5
Suppose -18 = -10*x + 2. Let i(y) = 4*y + 3. Let v(w) = -w - 1. Let g(s) = 2*i(s) + 9*v(s). Let u be g(-5). Solve -u*z + 3*z = -x for z.
-2
Let o be ((-6)/(-4))/(5/10). Suppose -o*z = -0*z - 54. Let l = 25 - z. Solve -2*t - 15 = -l*t for t.
3
Let j be (-4)/3 + (-252)/(-27). Solve j = -q + 4 for q.
-4
Let r(v) = 2*v - 66. Let h be r(33). Solve -9*f + f = h for f.
0
Let h(u) = -u**3 - 2*u**2 + 8*u + 4. Let w be h(-4). Let t be (14/w)/((-5)/(-10)). Solve -5*g + 18 = -t for g.
5
Let k = 39 - 41. Let y(m) = 3*m**2 + 3*m + 1. Let w be y(k). Suppose -3*x + 5*n + 3 = 0, 15 = -5*x + 8*x - n. Solve x = -w*u + 5*u for u.
-3
Suppose 2*c - 13 = -5. Solve c*h + 22 = 14 for h.
-2
Let q(k) = 18*k - 10. Let a be q(4). Let p = a + -61. Solve 5*c - p = 6*c for c.
-1
Let f(r) be the second derivative of r**4/12 - r**2/2 + 17*r. Let z be f(-1). Solve z = -5*i - 24 - 1 for i.
-5
Let d be -6*((-3)/(-9) + -1) - -3. Solve -d + 7 = 3*t for t.
0
Let a be (-6)/4 + (33/6)/1. Solve a*f - 12 + 0 = 0 for f.
3
Let s = -20 - -16. Let h = s + 9. Solve -h = -6*f + f for f.
1
Suppose -48*h + 66*h = 108. Solve -h + 2 = 2*c for c.
-2
Let h(p) = -p**2 + 5*p - 4. Let q(z) = z**2. Let b be q(-1). Let i be h(b). Solve -m + 2*m + 4 = i for m.
-4
Let y be 4 - (-6 + -4)/(-5). Suppose -4*z + 2 = -y. Solve 0 = x - 0 - z for x.
1
Let k(n) be the second derivative of n**3/6 - 5*n**2 + 4*n. Let q be k(-6). Let l be (q/(-20))/(4/20). Solve -3*x - 19 = -l for x.
-5
Let m(s) = -2*s**2 + 8*s - 5. Let n be m(2). Let o be 3*(-1)/(-1 + 0). Suppose -13 - 11 = -2*q. Solve -n = -o*d - q for d.
-3
Let s(d) = -d**3 - 2*d**2 - 5*d - 5. Let l be s(-2). Solve z + 30 = -l*z for z.
-5
Suppose -3*c - 2815 = -2833. Solve 14*x + 8 = c*x for x.
-1
Suppose -l - 4*l + 60 = 0. Let b be (l/30)/((-2)/(-10)). Suppose 4*x + 23 = 2*j - 1, -4 = x. Solve -b*d + 6 = -j*d for d.
-3
Let g(z) = 9*z - 116. Let q be g(14). Solve -3*b + 1 = q for b.
-3
Let t = 148 + -146. Solve -3*o = t + 4 for o.
-2
Let j(x) = x + 2. Let p be j(0). Suppose -p*c + c = -16. Suppose -4*z - c = 0, 3*l - 7*l = 2*z. Solve 9 = l*f + f for f.
3
Let i be 18/4*(-8)/(-12). Let b = -762 - -764. Solve -b*v + i*v = 2 for v.
2
Suppose 28*k + 10*k - 76 = 0. Solve -8 = -k*f - 2*f for f.
2
Let t be -3 + 3 - (-2 - 22). Suppose t = -20*o + 26*o. Solve 0 = o*h - 2*h - 2 for h.
1
Let q(u) = u**2 + 6*u - 6. Let n be q(-7). Suppose -3*y + 4*a = -y, -5*a - n = -3*y. Suppose y*v - 4*v = 0. Solve -5 = -j - v*j for j.
5
Suppose -2*c = -5*t - 44, c + t + 52 = 3*c. Let h be (1 - 1/2)*78. Let g = h - c. Solve 3*q - g = 7*q for q.
-3
Let r be (-3 - (-2)/(-1))/(-1). Suppose -3*o + 4 = -2*f, 0 = 8*o - 7*o - 5*f - 10. Solve o = r*x - x for x.
0
Suppose 3*w + 5*j = -20, 0 = -5*w + 2*j + 2*j + 16. Suppose 3*a - 59 = -0*a - 2*r, w = 5*r + 10. Let g = a - 17. Solve -z = g*z for z.
0
Suppose 0 = 2*b - 0*m - m - 36, -44 = -2*b - 3*m. Suppose d + 3*s = -15, 15 = -4*s - 1. Let f = b + d. Solve 0 = 3*r + 4 - f for r.
4
Let x(o) = -3*o - 6*o - 1 + 10*o. Let m be x(6). Let u(s) = -s**2 - 4*s + 1. Let l be u(-4). Solve 2*n - l = -m for n.
-2
Let q be ((-416)/12)/(0 - 20/30). Solve -47*t + q*t = -5 for t.
-1
Suppose 39 = 15*k - 6. Solve k*z = 3 - 0 for z.
1
Suppose 2*b = 3*b + 26. Let j = b - -28. Solve -j*r - 15 = -7*r for r.
3
Let y(v) = -v**2 - 5*v - 1. Let d be 1*(-2)/1*1. Let a be y(d). Solve 1 - a = l for l.
-4
Let t be (4/(-2))/(2 - 3). Let f(z) = 6*z**2 - 10 + t*z - 9 + 20. Let a be f(-1). Solve -6 + 1 = -a*l for l.
1
Let c = 210 - 209. Solve c = y + 2 for y.
-1
Let h(z) = 3*z**2 - z. Let l be h(1). Let b = -76 - -74. Let d be b/6*(l - 2). Solve 2*q - 7*q - 15 = d for q.
-3
Let m be (-75)/105 + (-4)/14. Let h be -1 + 1 - (1 + m). Solve h*v = v + 1 for v.
-1
Let n = 59 - 50. Suppose -u = -n + 4. Solve z + u = 1 for z.
-4
Let j be 96/18 - (-1)/(-3). Suppose 0*m + 10 = j*m. Suppose b - 5*o + 10 = 4*b, -b = o - m. Solve -4*g - g + 25 = b for g.
5
Let g(b) = b**3 + 8*b**2 + 4*b + 8. Let j be g(-7). Let t = -20 + j. Let a be 1/(-2)*1*-8. Solve -t - 7 = -a*p for p.
4
Let q(d) = 12*d**2 + d**3 - 3*d + 6 - 21*d**2 + 7*d**2. Let n be q(2). Solve n = -5*m + 7*m + 10 for m.
-5
Suppose 0 = 2*b + 2*b - 48. Let r = -4 + 14. Let v = b - r. Solve v*h - 16 = -2*h for h.
4
Suppose 5*d - 7*d - 8 = -2*g, 16 = 3*g - 5*d. Solve 8*t - 9*t = -g for t.
2
Let t = -1831 - -1838. Solve t = 12*b - 53 for b.
5
Let k(v) = v**3 + 2*v**2 + v - 2. Let z be k(-3). Let r = -14 - z. Suppose -b + 3 = -r. Solve -b = -3*n - 0 for n.
1
Let z be (5/((-35)/(-6)))/((-12)/(-56)). Solve 4 = z*l - 5*l for l.
-4
Let p(f) = -f**3 + 6*f**2 + f - 9. Let b be p(5). Solve 22*v + 1 = b*v for v.
-1
Suppose 0 = 6*h - 4*h + v - 14, 18 = 2*h + 2*v. Let x(l) = l**2 - l + 1. Let p be x(0). Suppose 3*c + p - 3 = -w, 2 = w + 2*c. Solve -w*i - h = 3 for i.
-4
Let i be ((-13)/(-4) + -3)/1*0. Suppose i*p = -0*p + 5*p. Solve -6*n + n - 20 = p for n.
-4
Let i = -293 - -297. Suppose -2*c - 3*c = 0. Suppose -4*h = -c*h - i. Solve 5*u + h = -4 for u.
-1
Let c be ((-3)/6 - -4)/(10/260). Solve -6 = -c*b + 88*b for b.
2
Suppose 2*w + 19 - 7 = 0. Let q be ((-4)/w)/(-2 - 21/(-9)). Solve d = -q*d - 9 for d.
-3
Suppose 0 = -0*o - 2*o. Let y(m) = -m + 15. Let c be y(o). Suppose 4*a - 25 = c. Solve -5*k = -a*k - 20 for k.
-4
Suppose 28*p - 25*p = 9. Suppose p*g - 10 = 14. Let l be ((-40)/12)/(2/(-3)). Solve 3*q + g = l*q for q.
4
Suppose -2 = -5*w - 5*z + 13, 5*w = -4*z + 15. Suppose -40 = w*o - 13*o. Solve o*c = 3*c - 5 for c.
-5
Let m be 148/111*(-2 + 1 - -16). Solve -x = 3*x - m for x.
5
Suppose t = o + 3*o - 102, 78 = -t - 2*o. Let q = t - -94. Solve -3*d = q + 1 for d.
-3
Suppose -v - 3*i = 4, -4*v = -16*i + 14*i - 26. Solve v*z = 11 + 14 for z.
5
Let f = 50 + -34. Suppose -d - f = -5*d. Solve -3*z + d = -4*z for z.
-4
Let l(y) = 3*y - 15. Let i be (12/7)/(12/42). Let v be l(i). Solve 4*r - v = -23 for r.
-5
Suppose -2*x = x - 66. Let s be x + -2 + 5 + -2. Let o = -15 + s. Solve -k - o = 3*k for k.
-2
Let l(g) = -9*g**3 - g**2 - 20*g - 26. Let p(i) = -3*i**3 - 7*i - 9. Let u(c) = 3*l(c) - 8*p(c). Let m be u(-2). Solve 3*s - m - 1 = 0 for s.
5
Let s = 5 - -7. Let p = -7 + s. Suppose 5*c - p = 0, 5*c = -0*r + 2*r - 5. Solve -4*q - r - 7 = 0 for q.
-3
Suppose -4*k - 5*d = -2*k - 22, k = -2*d + 13. Solve -11*n + k + 12 = 0 for n.
3
Suppose -6*g - 24 = -4*g. Let t = g + 14. Suppose -3*b - 8 = j - 1, 2*j + 2*b = -t. Solve 0 = l - j*l - 4 for l.
-4
Let v = -1480 + 1492. Solve -4*l + l = -v for l.
4
Let l be (0 - 4)*((-135)/(-6) - 2). Let x = -77 - l. Solve -h - x = -6 for h.
1
Let r = -158 + 172. Solve 36 = 4*f + r*f for f.
2
Let y be 0 + 3 + -2 - 0/(-5). Let n be 0*(2 + (y - 4)). Solve n = -c - 3*c - 8 for c.
-2
Let o = -23 - -27. Suppose o*m - 27 = -3. Solve c = m*c + 10 for c.
-2
Let i be (10 - 4)*(2 + -1). Suppose -2 = -i*v + 16. Solve -z + 0 + v = 0 for z.
3
Suppose 0 = -11*p + 8*p - 3, -4*d = -p - 1. Solve 3*n = -d*n + 9 for n.
3
Let p = -26 + 28. Suppose 0 = 4*s + 5*a - 3, p*s - a = -0*a + 5. Let y(m) = m**3 - 2*m**2 + 2*m. Let g be y(s). Solve -g = d - 0 for d.
-4
Let w(o) be the first derivative of o**2/2 - 2*o + 7. Let g be w(4). Solve -g*f = -f + 1 for f.
-1
Let h(t) = -7*t - 14. Let c be h(-2). Solve -3*g + c*g - 6 = 0 for g.
-2
Suppose -4*n - 85 = n. Let w = 20 + n. Suppose -w*b = 4*t + 4, -3*t + 2*b + 4 = -5*t. Solve -3*y = t*y for y.
0
Suppose -28*x + 18 = -19*x.