v + 0*v = 0 for v.
0
Suppose -2*u + 8 = -8. Suppose 87*x + u = 91*x. Solve j = x*j for j.
0
Let c(d) = 9*d + 243. Let z be c(-27). Solve 2*o + 0*o + 4*o = z for o.
0
Let u(i) be the first derivative of -i**4/4 + 10*i**3/3 - i**2/2 + 8*i + 3. Let q be u(10). Let c be (30/45)/(q/(-36)). Solve -m = 2*m + c for m.
-4
Let q be 3 + 0 + 5 + -4. Let g be ((q + -1)/(-3))/(2/(-34)). Solve 4*o - g = -1 for o.
4
Let c be (-15)/(-6)*(-384)/(-120). Solve 5*x + 15 = c*x for x.
5
Suppose -g = 5*k + 25 - 148, 5*k - 133 = 4*g. Let q = k + -35. Let t = q - -16. Solve 3*a - 15 = t*a for a.
-5
Let n(p) = -11*p**2 + p - 1. Let k be n(1). Let a = -5 - k. Let v(x) = -x**2 - 7*x + 13. Let h be v(-6). Solve 0 = 5*b - a - h for b.
5
Suppose -225*u + 70 = -218*u. Solve 12 - u = f for f.
2
Let d = -89 - -112. Solve 19 - d = -o for o.
4
Suppose -q - 2*q = 12. Let o = 18 + -27. Let v = q - o. Solve -v*b = -2*b - 12 for b.
4
Let u be 4*1/(-2) + 18 + -7. Solve 0*f - 3*f = u for f.
-3
Suppose 46*k + 211 = 717. Solve 0 = 5*v - k + 1 for v.
2
Let m = -284 + 289. Solve 22 = -m*u + 32 for u.
2
Suppose 0 = 2*f + 3*g - 18, -2*g - 25 = -3*f - 6*g. Solve -f*l = 7*l + 40 for l.
-4
Suppose 26 = g - 4*o, -8 = g - 5*o - 39. Solve 0 = -4*a + a - g for a.
-2
Let v be (-5 - -8) + (-1 - 3). Let f(b) be the third derivative of b**5/15 + b**4/24 - 11*b**2. Let k be f(v). Solve -5 = -k*a - 20 for a.
-5
Suppose 7*m - 6*m = -19. Let f = 21 + m. Solve 0 = 2*b - 2 - f for b.
2
Suppose 5*o = 4*q - 2*q - 58, 0 = -5*o - q - 46. Suppose -2*m = m - 36. Let y = m + o. Solve 6*r - 8*r = y for r.
-1
Suppose -x - 2 = 2*s, -5*x - s + 5*s = -32. Solve -j + 3 = x for j.
-1
Let l(u) = u**2 + u - 2. Let o(w) = w**2 + w - 2. Let a(p) = 4*l(p) - 3*o(p). Let r be a(-3). Solve r*d - 3 = 17 for d.
5
Let f(h) = -h**2 - 9*h + 12. Let u be f(-10). Let d be 4/u*(-16)/(-4). Solve -2*c = -6*c + d for c.
2
Let a(c) = -3*c**2 - 1. Let o(w) = 7*w**2 + 3. Let q(l) = -5*a(l) - 2*o(l). Let i be q(4). Suppose 3*x - 6*x + i = 0. Solve g - x = -4 for g.
1
Let t = -1326 - -1327. Solve -t = -4*c - 5 for c.
-1
Let p be (-7 - (-18)/2)*3. Solve -3*c = -p*c for c.
0
Suppose -60 = -11*q + 7*q. Suppose 5*h + 3*d = 10, 4*h - 3*d - 20 - q = 0. Solve h = 3*w - 1 for w.
2
Suppose -4*m + 6 = -22. Suppose -8*k = -3*k + 4*w - 34, -4*k = -5*w + 22. Solve -k*g + 15 = m for g.
4
Suppose 36*g + 504 = 50*g. Solve -g = -38*w + 29*w for w.
4
Let j(t) = 4*t**2 - 74*t - 90. Let w be j(23). Solve w = -k + 328 for k.
4
Let d be 0/(-2) - (25 - 1). Let j = d - -28. Suppose 0 = -w - 3*w + j. Solve -7 = -2*r - w for r.
3
Let l(m) = m + 11. Let a be l(-8). Suppose a + 6 = -3*n. Let d be 2/n + 2/3. Solve -4*v + 0*v + 8 = d for v.
2
Suppose -3*y = -5*i - 267, y + 261 = -5*i - 10. Let x be (-250)/4*i/45. Suppose 3*l = -4*o + 64, -5 - x = -5*o + 3*l. Solve 0*z - 4*z = -o for z.
4
Suppose 2*i + 9 = 4*x + x, 2*i = 2*x. Suppose -w = 5*s - 6*w + 10, 3*s + w + 14 = 0. Let v = -1 - s. Solve -15 + x = v*f for f.
-4
Suppose 2*q = -p - 2*p + 15, -p = 4*q - 35. Suppose 2*b - 4*l = 12, 4*b + l - q = -3. Solve -b*i = 1 + 1 for i.
-1
Let a(c) = c**3 + 8*c**2 + 5*c - 9. Let y(g) = -g - 15. Let i be y(-8). Let l be a(i). Solve 3*n = 4 + l for n.
3
Suppose 3*u - 13 = 2. Suppose -k = u*o - 27, 2*o = -5*k + o + 15. Suppose 19*f = -44*f + 126. Solve k*j = -f*j + 8 for j.
2
Let h(n) = n**2 - 6. Let j be 5 + (-4)/4 + -1. Let l be h(j). Solve 4*r + 9 + l = 0 for r.
-3
Let g(j) be the third derivative of -j**5/20 - 5*j**4/24 - j**3/2 + j**2. Let r be g(-3). Let f = 19 + r. Solve -3*m - f = m for m.
-1
Suppose 2*n - 1 = z + 3*n, -2 = -4*z + 2*n. Solve z = -2*v - 2 for v.
-1
Let f(q) = -q**2 - 14*q - 23. Let j be f(-11). Let u = -5 + j. Solve a + 8 = u*a for a.
2
Suppose -q - b - 4 = -2*q, 0 = 5*q - b - 20. Suppose -18 = -i + r, -q*r = 2*i - 26 + 8. Solve -i = -5*z + 5 for z.
4
Let w = -5 + 7. Suppose -q = w*q. Solve q = 2*g - 5 - 1 for g.
3
Suppose 2544 = 41*b + 371. Solve -7*s - b + 46 = 0 for s.
-1
Let n = -1 + 7. Let u = -498 - -498. Solve 0 = 2*c - u + n for c.
-3
Suppose y + 9 - 17 = 0. Solve -8 = 4*w + y for w.
-4
Let q = -366 - -368. Solve -q*v = 1 - 7 for v.
3
Let d = 17 + -48. Let o = d - -31. Suppose -2*m + 3*m - 2 = o. Solve m*r - 2 - 8 = 0 for r.
5
Suppose 4*w + 0*w + 2*i = 18, -5*w + 15 = i. Let x(k) = -14*k + 1. Let z be x(2). Let f = z - -32. Solve -j = -w*j + f for j.
5
Suppose 2*o - 10 = -t, -o - 2*o = 3*t - 21. Let j be (t + -2)*6/4. Solve -10 + 1 = j*r for r.
-3
Let m(j) be the third derivative of j**4/12 - j**3/6 - 7*j**2. Let x be m(1). Let y be -1 + (1 - -1) - x. Solve -4*p = -y*p for p.
0
Let g = -19 - -26. Suppose 17 = c - 3*l, 4*c + g*l + 17 = 2*l. Solve c*r - 5 = -3 for r.
1
Suppose -5*x + 5 = 0, 4*s - x - 7 = 2*s. Solve -4 - s = -4*k for k.
2
Suppose -3*n = -5 - 10. Suppose 2*o + 2*o = 3*b + 20, -n*b = 0. Solve -o + 1 = 4*d for d.
-1
Let f(c) = 11*c + 6 - 6*c + 32. Let j be f(-7). Solve j*a - 15 = -2*a for a.
3
Suppose 5*j - 49 - 21 = 0. Let g(i) = i**3 - 13*i**2 - 14*i + 1. Let h be g(j). Solve 0 = p - 6 + h for p.
5
Suppose 4*t - 108 - 6 = 2*y, t + 5*y = 45. Suppose -5*q = 5 - t. Solve -1 = q*a + 4 for a.
-1
Let o = 1300 - 1284. Solve -8 + o = 8*d for d.
1
Let l = 500 - 500. Suppose 3*n - 2*u = -0*n, 0 = 5*n + u. Let t = 4 + 0. Solve n*s - t*s = l for s.
0
Suppose 0 = 5*u, 3*m + 3*u - 252 = 4*u. Let s be 1*-4 - (2 - 2). Let g be (m/(-15))/(s/10). Solve 0 = 3*a + 5 - g for a.
3
Let n(v) = -v**2 + 17*v - 63. Let t be n(10). Solve 4 = 8*d - t*d for d.
4
Suppose n + 3*k - 4 + 1 = 0, 2 = n + 2*k. Let f be -1 - -3 - n - -1. Suppose f*o = -2*o + 35. Solve -19 = -3*z - o for z.
4
Let f = -64 + 89. Suppose -h - 3*s = -2*s - 3, 5*s + f = 5*h. Solve 4*i + 0*i = -h for i.
-1
Let t(q) = 2*q**2 + 16*q. Let f be t(-8). Let k(x) = -x**2 + 2*x + 16. Let d be k(f). Solve -d = 3*u - 7*u for u.
4
Suppose 5*s + 7 + 8 = 0. Let p be 27/(-18)*16/s. Suppose 0*l + 4*l + 5*x = 22, -14 = -2*l - 4*x. Solve -l*h = -5*h + p for h.
4
Let x = -888 - -942. Solve x = 11*u + 10 for u.
4
Suppose -2*m = -7*m. Suppose m*r + 3*r = 0. Let i = r - -8. Solve i*c = 3*c for c.
0
Suppose 5 = w - 3*v + 15, -2*w = -5*v + 16. Let m be (-4 - -3)*w*(-4 + 2). Solve 0 = -0*c - m*c for c.
0
Suppose -4*g = 2*f - 78, 0*f - 43 = -2*g + 3*f. Let r = 9 + -3. Let j be (2 - 8/r)*6. Solve 0*l = j*l - g for l.
5
Let d be ((-15)/10)/(1 + (-145)/142). Let w = -71 + d. Solve -v + 3 = -w for v.
3
Suppose o + 16 = 2*p, -2*o - 59 = -0*p + 5*p. Let h be -2 + 11/(o/(-48)). Let d = h + -12. Solve 8*c - d = 3*c for c.
2
Let l(h) = 4*h**3 + 6. Let i be l(3). Let b = 117 - i. Solve b*a = -a for a.
0
Let k = 33 - 19. Let d(b) = -2*b - 4. Let v(m) = m**3 + 10*m**2 - 4. Let o be v(-10). Let l be d(o). Solve -2*p - l = -k for p.
5
Let s(i) = -i**2 - 7*i - 6. Let p be s(-4). Suppose 0*a - a = 0, p = 2*n - 4*a. Solve 0 = 6*k - 5*k - n for k.
3
Suppose -26 = -4*b - 5*m - 0*m, 4*b - 10 = 3*m. Suppose i + 5*c = -b, 0 = 2*i + 2*c - 7 - 1. Solve 4*o + 6 = -i for o.
-3
Suppose 9*z = 11*z - 202. Let h = z + -97. Solve 2*f = 4*f - h for f.
2
Let h be (1/2)/((-2)/(-8)). Let o be (h + -3)*1*4. Let q = o - -7. Solve q*w + 0*w = 12 for w.
4
Suppose -5*c - q = -50, 6*c - 2*c + 4*q - 24 = 0. Let r(y) = -y**2 - y + 11 - c. Let g be r(-1). Solve g = -v - 0*v for v.
0
Suppose -21*a + 63 = -609. Solve -7 = 5*h - a for h.
5
Suppose 0 = -8*q + 7 + 153. Suppose 0 = -2*b + i - 3, 0 = -b - 3*b - 3*i + 9. Suppose 5*p - p = b. Solve 4*n + p*n + q = 0 for n.
-5
Suppose 0 = 2*f - 3 - 5. Let y = 4 + -2. Suppose 2*x + 5*w + 0*w = 55, -4*x - y*w = -86. Solve -g - f*g - x = 0 for g.
-4
Suppose 5*s + 0*s - 45 = 0. Suppose -3*w - 2*w = -60. Let n be w/(-9) - 78/(-18). Solve 0 = -n*b + s + 6 for b.
5
Let p = 1226 + -1226. Solve p = 7*d - 10*d + 12 for d.
4
Let u(w) = 4*w**2 + 11*w + 6. Let b(z) = 9*z**2 + 23*z + 11. Let t(q) = -3*b(q) + 7*u(q). Let o be t(-7). Solve 0 = o*d - 3*d - 2 for d.
-2
Suppose 957*v = 974*v - 68. Let y(x) = x**2 - 5*x + 2. Let p be y(3). Let r be p/10 + 2/5. Solve r = c + v*c - 25 for c.
5
Suppose 49 = 14*c + 7. Solve c*o + 5 = 20 for o.
5
Suppose 3*f + 8 = -2*f - 4*s, -10 = 3*f + 5*s. Solve 3*o - o + 11*o = f for o.
0
Suppose 0 = 3*p - x + 3*x + 53, -67 = 3*p - 5*x. Let a = p + 22. Solve -a*j - j = 12 for j.
-3
Let z(t) = 9. Let q(x) = x - 10. 