Let f(m) = m**2 - 4*m. Let z be f(4). Solve z = -v - o for v.
-1
Let t(s) = -2*s - s**2 - 7*s + 5 + 0. Let i = 30 - 39. Let v be t(i). Solve -v*l + l = 0 for l.
0
Suppose -6*m + 3*n = -9*m + 45, -5*n + 33 = 2*m. Solve 18*r + 12 = m*r for r.
-3
Let m be (6/(-18))/((-1)/18). Suppose -m + 9 = h. Solve -8 - 1 = h*k for k.
-3
Let r(h) = -h**2 + 7*h - 9. Let f(a) = 4*a**2 - 21*a + 28. Let k(u) = 2*f(u) + 7*r(u). Let x be k(-9). Solve -4 - x = 3*q for q.
-5
Let j = 1 - 1. Suppose -4*i = 9 - 17. Solve j = i*a + 6 for a.
-3
Let o(b) = 3*b**2 - 30*b + 2. Let y be ((-16)/6 - -1)/((-9)/54). Let w be o(y). Solve 2*r + w + 8 = 0 for r.
-5
Let b be (-10)/(-30) - (-40)/6. Let k(a) = 2*a**2 - 13*a + 5. Let q be k(b). Solve 2*y - q = -y for y.
4
Let i(q) = -9*q - 9. Let b(p) = 5*p + 5. Let d(j) = -7*b(j) - 4*i(j). Let t be d(-1). Suppose -h - h = -24. Solve y + 2*y + h = t for y.
-4
Suppose 47 + 62 = 2*f + 5*a, a + 65 = f. Solve 10*h - f = -72 for h.
-1
Suppose -b = -4 + 1. Let o = -3 + 7. Let f be (-1)/(-3)*(11 - (-72)/(-9)). Solve o*v - b = f for v.
1
Let l(y) = y**2 + 12*y + 12. Let d be l(-10). Let g = d - -19. Let j(t) = t**3 + 12*t**2 - 12*t + 14. Let c be j(-13). Solve -4*v - c = g for v.
-3
Suppose -53 = 5*d - 73. Suppose -7 = -5*s + 5*a + 8, 2*s - d*a - 4 = 0. Solve -20 = -0*k + s*k for k.
-5
Let q = -14 + 18. Let b be -2 + (5 - 0/q). Solve -m = b*m for m.
0
Let z(d) = -5*d - 108. Let x be z(-22). Solve -2*c = -2*c - x*c for c.
0
Suppose 0 = 4*z + 5*b + 18, z + 0*z + b = -4. Let m = z - -4. Solve 0 = -0*s - s + m for s.
2
Suppose -48 = -0*f - 2*f. Suppose 3*o = o - 34. Let v = o + f. Solve -v*d + 2*d = -25 for d.
5
Suppose 0 = 26*u - 29*u + 6. Let r be (-2)/u*0*(-4)/(-16). Solve 12 = -3*k - r*k for k.
-4
Let p = 1712 + -1709. Solve -p*h - 4 = -5*h for h.
2
Suppose 5*u + 4*v = -10 - 3, u - 4*v - 7 = 0. Let r be ((-52)/(-12))/u*-3. Suppose 3*d - r = -4. Solve 16 = d*i + i for i.
4
Suppose 22*t + 87 = 263. Solve -5*h + t*h + 6 = 0 for h.
-2
Let o be (-1666)/(-105) + 2/15. Suppose -13 = -3*x - w + 10, 0 = -x - 2*w + o. Solve p - x = -2*p for p.
2
Suppose -5*z = d - 2*d - 98, 0 = -3*d - 9. Let r = 21 - z. Let w be (0 + 0/2)/(-1). Solve -i - r*i = w for i.
0
Let c = -38 + 35. Let f be (-22)/((2 - 1/1) + c). Solve -9 = 4*g + f for g.
-5
Let q = 9 + -6. Suppose -11 = -2*y + 4*y + 3*n, -3*y - 4*n - 14 = 0. Solve y*m + q = -m for m.
-1
Let c be 66/(-8)*24/(-9). Let p = 18 - c. Let t be 35/14*(2 - p). Solve t = l - 6*l for l.
-3
Let i be 0 + (-1)/2*-2. Let d(v) = v + 8. Let x(k) = -1. Let o(b) = d(b) + 6*x(b). Let u be o(i). Solve 2 + 4 = u*t for t.
2
Suppose -10 = -13*p + 29. Let q be 3/(-5)*(-1 - 4). Let c = q + 2. Solve 2*b - p + c = 0 for b.
-1
Suppose 5*a = 12 + 8. Solve 0*m + a = 2*m for m.
2
Let x be (-1)/3 - 26/(-6). Solve x*y = 1 + 7 for y.
2
Let w = 31 + -10. Suppose 6*h = -h + w. Solve -h*i = -i - 2 for i.
1
Let a = -15 - -18. Let i be -2 + 1 + 12/a. Suppose -i*v + 13 = -47. Solve -j - v = 3*j for j.
-5
Let f be 2 + (-6)/(-1 + 0). Suppose -10*y - 18 = -7*y. Let a = f + y. Solve -2*z - a*z = 0 for z.
0
Suppose -9 = -z - 0. Suppose -11 = -z*q + 25. Solve 0 = -y + q*y for y.
0
Let a be (-1 - 6)*(-2)/14. Suppose 4*r - 3*r = -a, -d - 1 = r. Solve d = -u + 2 + 1 for u.
3
Suppose -4*l - 268 = 5*f, 5*l + 471 = -5*f + 141. Let x = 67 + l. Solve -x*d - 5 = -15 for d.
2
Let r be -2 - -5 - 3 - 0. Let q be 4 - ((-9)/(-3) + (0 - 1)). Solve q*d + 2 + 6 = r for d.
-4
Suppose 2*q + t = 61, -2*t = -2*q - q + 88. Suppose 27*r + 87 = q*r. Let g = 1 - 1. Solve g = -5*c + 9 - r for c.
-4
Suppose -13*r = -7*r - 12. Let m be -24*(r/(-2) - 12/(-24)). Solve 3*y - m = 7*y for y.
-3
Let s(j) be the second derivative of j**3/6 - 3*j**2/2 + 6*j. Let c be s(-9). Let x = -12 - c. Solve -3*l - 2*l - 5 = x for l.
-1
Let v(w) = -w. Let h be v(-7). Let g = 116 + -111. Solve g = -h*k + 2*k for k.
-1
Suppose 2*p + 1 + 35 = 0. Let c = p + -10. Let r = 28 + c. Solve -y + r = -1 for y.
1
Let h = 996 - 970. Solve 16 - h = 2*t for t.
-5
Suppose -5*v = -5*k - 25, 5*v - 2*k + 6*k - 16 = 0. Suppose -16*n + 14*n + v = 0. Solve 0 = -3*h - n + 8 for h.
2
Suppose 20*j - 90 = 5*j. Suppose 9*h = j*h + 15. Solve -5*k = -h - 5 for k.
2
Let q(z) = z**3 + 14*z**2 - 15*z + 3. Let u(t) = t**2 - 10*t + 1. Let b be u(8). Let d be q(b). Solve -d*n - 10 = 2 for n.
-4
Suppose -4*i = -151 + 143. Let n be 0*((-9)/(-6) + -1). Solve -i*b - 4 + 12 = n for b.
4
Let y = -13 + 20. Let f be (3 - (y + -4))/(-1). Solve f = j + 2*j - 9 for j.
3
Let r(m) = -m - 5. Let j be r(4). Let v be 0 + (-12)/j*3. Solve v*q - 1 + 17 = 0 for q.
-4
Let r(x) = -x**2 + 7*x + 1. Let u be r(7). Suppose z = -4*n + 10, -n + z = 2*z - 1. Let d be (-3)/((-84)/104) + 2/7. Solve 0 = d*h - n - u for h.
1
Suppose -29*n = -24*n - 15. Solve -11 = -n*d + 1 for d.
4
Let f(u) = u**3 - 3*u**2 + 5*u + 3. Let p be f(4). Let v = 39 - p. Solve v = -2*c - 2*c for c.
0
Let g = 21 - 14. Suppose 2*a - g - 5 = -4*t, 0 = -3*t. Let z(y) = y**3 - 6*y**2 + y - 5. Let c be z(a). Solve 5*q + c = 6*q for q.
1
Let u(t) = 2*t**2 - t - 2. Let z(s) = s**2 - s + 1. Let g(k) = -u(k) + 3*z(k). Let l be g(2). Solve 8 = -3*y + l*y for y.
4
Let w = 2821 + -2818. Solve -w*u + 4*u = -0*u for u.
0
Let k = 276 + -261. Solve -4*i + 1 = -k for i.
4
Suppose 0 = -30*z + 25*z + 35. Solve 1 + 6 = -z*s for s.
-1
Suppose -4*c - 3*v = 2*v - 8, 0 = 4*c + 2*v - 8. Solve 3*u - c = -5 for u.
-1
Suppose -3*c = 3*j - 105, 5*j - 151 = -14*c + 17*c. Solve -13*n = -j - 7 for n.
3
Let d = 74 + -64. Let n be (d/(-2) - -3)*7/(-2). Let m(g) = 3*g**3 - g. Let y be m(1). Solve 0 = y*z - n*z for z.
0
Let j(u) = 3*u + 33. Let z be j(-11). Solve z = -5*o - 10 - 0 for o.
-2
Suppose 3 = 4*d - 5. Let n(q) = -2 + q**d - 5 + 0 + q + 3. Let t be n(-3). Solve 6*b - 4 = t*b for b.
1
Let m = -40472 + 40478. Suppose -2*t + 3*t - 3*j + 1 = 0, 4*j = 2*t - 2. Solve t*u - 2*u = m for u.
2
Suppose 4*w - w = 87. Let s = w - 27. Solve 0 = -s*o + 6*o for o.
0
Suppose 93 - 113 = -5*q. Solve -q*l = l for l.
0
Suppose 3*x + h + 1 = 0, -x + 2*h - 1 = -3. Suppose 0*r - 27 = -l - 4*r, x = 2*l - 2*r - 24. Solve -4*t = l + 1 for t.
-4
Let x be 0 + 3 + 0*(1 - 0). Suppose -x*q - 9 = 0, -21 = -4*f - 4*q + 3*q. Solve 0 = o - f + 2 for o.
4
Let g(i) = -i**2 + 37*i + 98. Let r be g(39). Solve -11*x = -x - r for x.
2
Let v be (-4)/(-5) - (-436)/(-545). Solve v = -114*p + 107*p + 28 for p.
4
Suppose -3*c = -4*p - 47, 2*c - p + 4*p = 3. Let t(s) = 2*s**2 - 6*s - 4. Let l be t(4). Solve 0 = -l*h - 7 - c for h.
-4
Suppose 2*p - 4*b - 23 = 21, -3*p + 2*b = -82. Solve 5*n = 5 - p for n.
-5
Let o(m) be the second derivative of m**4/12 - 2*m**2 + m. Let j(d) = -d**3 + 7*d**2 - 3*d + 24. Let a be j(7). Let l be o(a). Solve -2*b + 7*b + l = 0 for b.
-1
Let c(t) = -t**3 - t**2 - 4*t - 1. Let y(w) = w + 1. Let a be y(-4). Let i be c(a). Let r = i + -20. Solve -r*u + 4*u - 5 = 0 for u.
-1
Let s(l) = -l. Let b(f) = -3*f + 35. Let j(n) = b(n) - 6*s(n). Let g be j(-11). Solve -x + 3 = g*x for x.
1
Let s be (-4)/(-10)*-5 + -5 + 13. Solve -2*i + s = 2 for i.
2
Suppose 3*b = -2*k + 15, -3*b - 3 = -5*k + k. Suppose 20 = 3*m + f, 2*f = k*m - m. Solve m = -i + 1 for i.
-4
Let u = 4 - 4. Let p = -50 - -50. Let q be 1 - (p + 4 - 3). Solve q = 4*v - u + 20 for v.
-5
Suppose 2*h = -2*h + 12. Suppose -h*y = -7*y. Solve 3*n = -3 - y for n.
-1
Let t(n) = -n - 4. Suppose 0 = -3*q + 4*q + 7. Let z be t(q). Solve 0 = -z*d - 0*d - 3 for d.
-1
Let l be 2*(-6)/(-4)*5/5. Suppose 0 = l*b - 5*x + 4, -3*b + 6 = 2*b - 2*x. Solve 0 = b*r - 4*r + 6 for r.
3
Let f = -1182 - -1210. Solve 13*k = -2 + f for k.
2
Suppose -192*t + 202*t - 50 = 0. Solve 12*m = -t + 41 for m.
3
Suppose 11*c - 47 = 63. Solve -13*s = -c*s for s.
0
Let o be 18*(-3 + 0)/6. Let s = o + 13. Suppose -s*v - 4*l - 12 = 0, 1 = v + 2*l + 9. Solve -v*c = -c - 2 for c.
2
Let c(i) = 4*i. Let l be c(2). Suppose -5*k + l = -17. Solve k*z = -1 - 4 for z.
-1
Let u(r) = -r**3 + 7*r + 6. Let a be u(-3). Let c be 0*(30/a)/(-5). Solve 3*f + 12 = -c*f for f.
-4
Suppose b = 5*r - 287, -2*r + 105 = -4*b - 17. Suppose -r = -4*w - 3*n, 3*w + 4*n - 6*n - 30 = 0. Solve -j - 2*j - w = 0 for j.
-4
Let u(n) = -n + 3. Let p be u(-3). Let k = -4 + p. Solve k*c = c - 3 for c.
-3
Suppose 4*j + 1 - 9 = 0. Let l = -29 - -45. Solve -l = 6*o - j*