+ f = 4*m for m.
2
Suppose -78 = -10*n + 82. Solve n*l = 14*l + 8 for l.
4
Let u(f) = -f**2 + 7*f - 6. Let y be u(5). Suppose 0*w + w = y. Let k(s) = -5*s**2 + 31*s - 40. Let q be k(4). Solve 2*g + q = w*g for g.
2
Let v(b) = -2*b**2 + 16*b + 5. Let r be v(8). Let d = r + 2. Solve -6 = -d*l + 4*l for l.
2
Let c(k) = -k**2 - k + 2. Let h be c(-2). Let q = -20 - -22. Let u = q + h. Solve -4*i - u = 14 for i.
-4
Let z be 143/26 - ((-3)/6 + 0). Solve -z*u + 2 = -4 for u.
1
Suppose 4*d = 5*j - 12, 2*d - 12 = -j + 6*d. Solve -4*i - 10 - 10 = j for i.
-5
Let s be (-24)/(-4) - 2/(-4)*0. Let q = -21 + 23. Solve -w - q*w - s = 0 for w.
-2
Let p be ((-20)/(-12))/((-5)/(-15)). Suppose -10 = -2*w + 2*z + 2*z, -w = -z - p. Solve w*y + 3 = 23 for y.
4
Let i = -270 - -273. Solve i*l - 3 = -0*l for l.
1
Let s(q) = q**3 + q**2 - 6*q - 1. Let c be s(-4). Let b = c - -29. Solve 2*h = b*h - 10 for h.
5
Let r = 523 + -499. Solve 0 = -8*y - r for y.
-3
Let f(u) = -9*u + 72. Let a be f(8). Solve a = 2*h - 5*h for h.
0
Let w = 338 - 334. Let u(q) = 5*q**2 + 2*q + 1. Let z be u(-1). Suppose 4*n + 6 = 2*n, w*c - 52 = z*n. Solve -6*s - c = -s for s.
-2
Let h be 3*4 + 6 + -3. Suppose -h = k - 6*k. Suppose 5*q = 4*q + 7. Solve k*z + 1 = q for z.
2
Suppose -1296 = -57*v - 42. Solve 8 = -7*u + v for u.
2
Let n = 333 - 332. Solve 22 - n = 21*d for d.
1
Suppose -5*x - 2*h + 79 = -12, 5*x = -h + 93. Solve -4*p + x = 15 for p.
1
Let n(k) = -2*k + 14. Let f be 38/6 + (-2)/6. Let y be n(f). Suppose 5*a + x - 18 = 0, 3*a + 0*x - y*x = 16. Solve a*t - 2 = 14 for t.
4
Let x(s) = -5 - 12 + 0 - 1 + 3*s. Let w be x(6). Solve w = -2*k - 2*k for k.
0
Suppose -44*k + 46*k - 4 = 0. Suppose 0 = 4*p + 4*x + 4, 2*x - 6 = -4*p + 3*x. Let g be ((-2)/(-4))/(p/12). Solve k - g = -2*b for b.
2
Suppose -707 = -7*a - 0*a. Solve -2*z - 109 = -a for z.
-4
Suppose 6*p - 4*p - 16 = 0. Solve -4*u - 12 + p = 0 for u.
-1
Let k = 749 - 739. Solve -k*g = -18*g + 16 for g.
2
Suppose 0 = -9*r - 240 + 267. Suppose 4*m + 19 = -2*k - 3, k + 21 = -4*m. Let v = m + 7. Solve v*d = 1 + r for d.
2
Suppose -5*a + 6*a = 2. Let v(j) = j - 7. Let l be v(12). Solve a + 8 = l*q for q.
2
Suppose 77 = 7*g - 98. Solve -g = -8*i + 7 for i.
4
Let n(z) = -133*z - 201. Let a be n(-2). Solve -13*j = -0*j - a for j.
5
Let y(i) = i**2 - 2*i - 165. Let b be y(14). Solve -b*w - 1 + 13 = 0 for w.
4
Let t(x) = x**2 - 5*x - 8. Let n be t(7). Suppose 3*q = -11 + 20. Suppose -q*k + n = -3. Solve 5 - 17 = -k*h for h.
4
Suppose 3*p = m + 1, -p + 3 = m - 4. Suppose -u + 3*h - 1 = 1, -4*u + m*h = -20. Solve -4*t - 26 + u = 0 for t.
-4
Suppose -1 = u + p - 5, 0 = 2*u + 5*p - 8. Suppose 4*r - u = 0, 4*x = -2*r - 0 + 26. Solve -x*n + 4 = -2*n for n.
1
Suppose 0 = s - 3*s + 392. Suppose 3*f - 142 = w, 0 = 4*f - 2*w + 4*w - s. Let d be ((-1)/2)/((-2)/f). Solve -2 = 5*k - d for k.
2
Suppose -5*g + 8 = -12. Suppose -3*v + 35 = 5*p - 0*v, -g*v + 8 = -3*p. Solve -p*z + 1 = 17 for z.
-4
Let g = -21 - -33. Suppose 3*f - g = -f. Solve -f*r + 3 = -6 for r.
3
Let f be 2/(-1 + (-10)/(-8)). Let h be 6*(-2)/f*-6. Suppose 2*k = 5*k - h. Solve s = k*s for s.
0
Suppose 0 = -2*b - 2*c - 32 - 46, 16 = -4*c. Let o = 37 + b. Solve -o*k - 15 = -5*k for k.
5
Let q = -2102 + 2189. Solve 7*g + 94 = q for g.
-1
Let d(h) be the third derivative of -h**4/24 + 17*h**3/6 - 5*h**2. Let n be d(13). Solve -i + 3 = n for i.
-1
Let l be 27 + -21*5/15. Solve 7*t + l = 55 for t.
5
Let p = -275 + 279. Suppose -4*j - 6*j = -40. Suppose k - 1 - 1 = 0. Solve k*t - j = p for t.
4
Let a = 24 + -24. Let h be 3/(a - -3 - 2). Solve -k - 2 = h for k.
-5
Suppose -43*o + 36*o = -14. Solve 4 = -o*x + 4*x for x.
2
Let h be (-3)/(-5) - 8/(-20). Suppose 0 = -4*c - 0 - 8. Let m = h - c. Solve 0 = -2*s - s - m for s.
-1
Let i be -1 + 14 + -2 + 1. Let k = i - 8. Let p = 118 - 113. Solve k*n = 9*n + p for n.
-1
Let h be (-54)/(6 - 12) - 5. Solve -15*q - 44 = -h*q for q.
-4
Let h be 1 + (1 - (2 + -3)). Suppose -h*i + 12 = -21. Let p = -8 + i. Solve y - 1 = p for y.
4
Let o be 1*1*(3 + -1). Let l be ((-66)/242)/(9/(-66)). Let g(d) = d**2 + 2*d. Let v be g(-2). Solve -l*i - o*i = v for i.
0
Suppose 3*n - 2*n - 5*i - 5 = 0, 0 = 4*i. Suppose n = 2*d - 5. Solve -2*r + 9 = -d*r for r.
-3
Suppose y - 42 = -2*m, -5*m - 96 = -10*m + 2*y. Solve -6*j + m = -10*j for j.
-5
Let n = 11 + -6. Suppose -4*h - n*w = -9*h + 25, 4*h = w + 5. Suppose -4*r - 25*r = 0. Solve h*k + 5*k + 5 = r for k.
-1
Let g(q) = -q**3 + 2*q**2 - 1. Let f be g(-1). Let r be -3*2/21 + (-27)/(-21). Solve -h - f = -r for h.
-1
Let s(t) = -t**3 + 7*t**2 + 5*t + 10. Let z be s(8). Let c = -9 - z. Suppose -2*q = 3*q - c. Solve -3*o - 2 = q for o.
-1
Let u be 2 + 4/(-12)*0. Let o(g) = -7*g - 2. Let x be o(u). Let i = x + 20. Solve b + i = -b for b.
-2
Suppose -k - k = -8. Let u be 6/k*(-40)/(-15). Solve -j + 5 = u for j.
1
Let p = -458 + 445. Suppose -15 = -5*m + 50. Let n = p + m. Solve -2*x - 2 + 10 = n for x.
4
Let t(b) = -2*b - 19. Suppose 3*k + 3*m + 0*m + 54 = 0, 5*m + 20 = 0. Let z be t(k). Solve 2*o + o - z = 0 for o.
3
Let p = -59 + 66. Solve -s - p = -2 for s.
-5
Let l be ((-2)/(-6))/(4/12). Let x be l*1/(-5) - 7/(-35). Let t(d) = -d - 4. Let k be t(-5). Solve x = -s + k + 1 for s.
2
Suppose 3*y = 5*t + 19, -y - 3*t + 3 - 6 = 0. Solve -12*w + y = -9*w for w.
1
Suppose 5*l = -3*x + 16, 14 = 5*x + l + 2. Solve 15 = x*o + o for o.
5
Suppose 0 = 5*f - 8 - 12. Suppose f*g - g = -4*w - 15, 5*w = 4*g - 42. Let x = w + 14. Solve -k = k + x for k.
-4
Let c(g) = g**3 + 16*g**2 - 18*g - 1. Let q(u) = -3*u**2 + u**3 - 3*u - 5 - 5 + 7. Let a be q(-2). Let z be c(a). Solve y = -3*y + z for y.
4
Let u(o) = o + 7. Let a be u(-5). Suppose c + 2 = 0, 0 = 3*z - a*c - 40 - 36. Suppose -6*w + z = -2*w. Solve -2*h - w = -2 for h.
-2
Suppose -362 = -4*q + 5*r, 2*r = -3*q - 0*q + 283. Let p = 102 - q. Solve -6 = -n - p for n.
-3
Let x(u) = 2*u + 44. Let a be x(-27). Let p(n) = n**2 + 12*n + 25. Let f be p(a). Solve f*l = l - 4 for l.
-1
Let r(x) = -x**2 - 19*x + 43. Let l be r(-21). Solve 2*k - 3*k = -l for k.
1
Let x be (-30)/(-1)*((-64)/(-20) - 2). Suppose 0*w = 9*w - x. Suppose -10 = 3*n - 0*k + 2*k, -4*k = -4*n + 20. Solve z + 0 + w = n for z.
-4
Let n(h) = h**3 - 6*h**2 + 8*h - 4. Let y be n(6). Suppose -y = -3*j + m + 22, -3*m - 114 = -5*j. Let i = 24 - j. Solve i*c + 2 = 8 for c.
2
Let n = -61 - -64. Let u(o) = -o**3 + 2. Let m be u(0). Solve m*j = 3*j + n for j.
-3
Suppose 2*d + 4*b = -4, 0 = 2*d + b + 1 - 6. Let h = -11640 - -11650. Solve h = -d*y + 6 for y.
-1
Let k be (-4 - (-96)/21)/((-9)/(-126)). Solve 0 = k*z - 3*z - 15 for z.
3
Let q(w) = w**2 + 4*w. Let c be q(-4). Let d be 2/(-8)*c/(-8). Solve 3*p + 9 - 3 = d for p.
-2
Let b(l) = -l**2 + 4*l - 4. Let c be b(4). Let g be (-26)/c + (-2)/(-4). Let a be -1 + 472/116 - 2/29. Solve g = z + a for z.
4
Let v(n) = -n**3 + 24*n**2 - 91*n - 1. Let k be v(5). Suppose 0 = -4*q + 25 - 5. Suppose 5*y - 16 = y. Solve q*i = k - y for i.
3
Suppose -3*n + 5*o = o + 32, -4*n = 5*o - 9. Let c(m) = -m**3 + 5 + 0*m + 5*m - 3*m**2 + 0*m**3. Let i be c(n). Solve -u = -0*u - i for u.
1
Let w(t) be the first derivative of t**2/2 + 4*t - 12. Let z be w(-4). Solve -y + 6 - 2 = z for y.
4
Suppose 6*n + 6 = 3*n. Let c(k) = k**2 - k + 7. Let j be c(0). Let v = n + j. Solve 11 - 1 = v*i for i.
2
Let a be 4*3/4 - -1. Suppose -a*i = -7*i + 9. Suppose -i*n = -j - 2*n + 6, 0 = j + n + 2. Solve j*o = 3*o for o.
0
Suppose -22*p + 26 = -62. Solve v = 5*v - p for v.
1
Let m(x) = -5*x - 8. Let p be m(-7). Suppose 6 = 5*r + w, 0 = -r + 5*w + p - 5. Solve -r*i - 6 = 2 for i.
-4
Let k = 0 - -5. Let d(h) = 4*h + 5. Let w be d(-2). Let u be (-3 - w)*3/6. Solve -t + 2*t + k = u for t.
-5
Let x be (100/30)/5 - 4/6. Solve 0*n - n - 3 = x for n.
-3
Suppose 10 = 2*u - 8*r + 6*r, 4*u + 3*r = 34. Let t(y) = y**3 + 4*y**2 + 4*y + 4. Let x be t(-4). Let s be (-12)/(-8) - x/8. Solve 0 = -s*v + u*v for v.
0
Suppose 3*v = 2*l + 33, 0 = 4*v + l - 0*l - 33. Solve o = 8 - v for o.
-1
Let d(f) = 22*f - 176. Let g be d(8). Solve 7*a - 2*a - 25 = g for a.
5
Let q(x) = 156*x**2 + 3. Let b be q(-1). Solve -b*i + 154*i + 10 = 0 for i.
2
Let t(c) = -2*c**3 - 11*c**2 - 9*c + 14. Let a be t(-5). Suppose 1 = -n, 66 = 2*k + 3*n - n. Let x = k - a. Solve -4*w + w = 