for v.
3
Let t be (4/7)/((-88)/(-28) - 3). Solve 5*c - 16 = t for c.
4
Suppose -5*s = -2*v - 255, 3*s - 91 = s + 3*v. Let b = s - 53. Solve b = 3*x - 6*x + 15 for x.
5
Let w be (-6)/4*70/(-15). Solve i - 9 + w = 0 for i.
2
Let c = 268 - 253. Solve -c = -2*t - t for t.
5
Let s = -381 + 411. Solve 0*t = 6*t + s for t.
-5
Let p(v) = v**2 - 38*v + 41. Let c be p(37). Solve 0 = -c*z - 4*z + 16 for z.
2
Let h be -1*-4*(10/(-4) + 3). Suppose -h*q - q + 51 = 4*j, 0 = -2*j - 2*q + 26. Solve -j - 13 = -5*f for f.
5
Suppose -6*q = -3*n - 8*q + 69, -3*q = 0. Solve 3 = 4*m + n for m.
-5
Let l be 30/18*36/30. Solve -10 = 7*m - l*m for m.
-2
Let q = -28 - -17. Let v = 19 + q. Suppose -2*i + 9 = -11. Solve v*a - 3*a + i = 0 for a.
-2
Let u = 1325 - 1325. Solve 9*y - 4*y + 2*y = u for y.
0
Let a(x) = 6*x + 82. Let l be a(-14). Let y be (-24)/(-3) + -4 - l. Solve -12 = -y*u + 3*u for u.
4
Let v = 70 - 44. Suppose 4*f - 17*f + v = 0. Solve -w = f*w - 15 for w.
5
Suppose 5*a - 11 = -1. Solve -7 + 9 = -a*j for j.
-1
Suppose q = -a + 8, -4*q = 2*a - a - 17. Suppose 3*w = -a*w + 32. Solve 1 - 9 = -w*m for m.
2
Let m = 345 - 336. Solve m*k + 6 = -3 for k.
-1
Let b be ((-14)/(-28))/((-2)/(-48)). Suppose 3*x = -p + 5*p - 11, 4*x = b. Suppose u = p*u, -4*u - 5 = -d. Solve -5 = d*l - 0*l for l.
-1
Suppose 4*z - f - 15 = 0, z + 0 + 1 = 5*f. Let u = 33 + -37. Let t be (-4 + 7 + u)/((-3)/9). Solve 0 = t*x + x - z for x.
1
Let c(h) = -h - 1. Let f(g) = 3*g**2 - 8*g - 6. Suppose 6*u + 24 = 2*u. Let q(r) = u*c(r) + f(r). Let j be q(1). Solve -n + 2*n = j for n.
1
Suppose 4*u - 30 = -2*u. Suppose 0 = -u*k + 2*k. Suppose 4*x - 9*x + 60 = k. Solve 0 = -0*q + 4*q + x for q.
-3
Let o(s) = -4*s**2 + s. Let u(v) = -5*v**2. Let k(j) = -4*o(j) + 3*u(j). Let y be k(6). Suppose -3*c = 0, 3*z - y = -5*c - 0. Solve -b = z*b - 15 for b.
3
Let z = 1364 + -1358. Solve 0 = -9*t + 3 + z for t.
1
Let o be 8 + ((-2)/6*0)/(-1). Solve o*t = 5*t for t.
0
Suppose -12 = 4*g - 4*o, g - 3 = -g - o. Suppose -87*t + 75*t + 12 = 0. Solve g = -4*u + t + 7 for u.
2
Let o(p) = 2*p**2. Let d be o(4). Let b = d + -32. Solve -c + b = 3 for c.
-3
Suppose -2*z = 3*j - 5*j + 44, 5*z + 109 = 4*j. Let i = z + 26. Solve -4 = i*p - 3*p for p.
-2
Let q(j) = -6*j**3 - 353*j**2 + 59*j + 10. Let g be q(-59). Solve -6*w - 20 = g for w.
-5
Suppose -4*s = 5*b - 36 + 1, -3*s - b + 18 = 0. Solve -4 = s*p + 21 for p.
-5
Let b be (8/(-3))/(6 + (-19)/3). Solve 2*l + b = 12 for l.
2
Suppose -3*b - 5*s - 9 = -8, 2*b = 2*s + 10. Solve 4 = -b*t - t for t.
-1
Let s = -25 + 17. Let t be (1 - 1)/(s - -10). Let f = 0 + t. Solve -3*g + 2*g + 5 = f for g.
5
Let p = 21 - 57. Let n = 40 + p. Solve -4*o + n = -2*o for o.
2
Let g(f) = 2*f**3 + 7*f**2 + 27*f + 128. Let n be g(-4). Let u(x) = x + 6. Let o be u(0). Solve -n = 2*s + o for s.
-5
Suppose a + 4*a - 133 = -2*x, 0 = 4*a - 5*x - 113. Suppose -9*j - a = -18*j. Solve 0 = t + j for t.
-3
Let w = 0 - -4. Suppose -k + 3*k + 0*k = 0. Solve n - w*n + 15 = k for n.
5
Suppose 4*b = -4, b = j + 6*b - 4. Let x(d) = -2*d**2 + 13*d - 2. Let i be x(6). Solve i*h - j - 7 = 0 for h.
4
Suppose 4*l = -y + 41, -4*l - 24*y + 35 = -21*y. Solve -3*q = -4 - l for q.
5
Let a = -221 + 224. Solve 45*r - a = 46*r for r.
-3
Let g be (-578)/(-12) - (7 + 287/(-42)). Suppose 18*u = 22*u - g. Solve 2*h - 5*h = -u for h.
4
Suppose 2*o = 9*o - 35. Solve -o*t + 11*t + 30 = 0 for t.
-5
Suppose -188 + 168 = -4*i. Solve 0 = -3*u - 11 + i for u.
-2
Let v(f) = 38*f + 1. Let q be v(-1). Let b = -35 - q. Solve -b*r + 7*r - 15 = 0 for r.
3
Let t be (-2)/8 + (-386)/(-8) - -3. Suppose 0 = 53*l - t*l - 4. Solve -l*w + 0 + 2 = 0 for w.
1
Suppose -5*c = -5*f + 145, -92 = -3*f - 0*f - 2*c. Suppose 2*v + 6 = 0, 0*i + 5*v + f = 5*i. Let g(z) = z**2 + 2*z - 1. Let j be g(2). Solve 8 = -i*k - j for k.
-5
Let l(b) = -b. Let f = -19 + 19. Suppose -3*s + s - 4 = f. Let j be l(s). Solve -j*v - 6 = v for v.
-2
Suppose 6 = j + 2*j. Suppose 17 = -2*p - 5*l, -7*l - 25 = -2*l. Solve -p = 6*m - j*m for m.
-1
Suppose -14*b + 17*b - 3*t = 12, -2*t = -8. Solve 0 = -4*y + 2*y - b for y.
-4
Let s = -26 + 36. Let f be ((-4)/(-20) - -3)*5/2. Suppose -f*o - s = -13*o. Solve 0*n = o*n for n.
0
Let b(h) = -23*h - 949. Let k be b(-43). Solve 0 = 14*t - 6*t + k for t.
-5
Let u be ((-2)/(-4))/(36/1008). Solve -30 = u*v - 44 for v.
1
Let a = 244 - 192. Solve 0 = -2*u - 50 + a for u.
1
Suppose -h - 3*d + 50 = 4*h, 0 = -h + 2*d - 3. Solve 8 = -h*g + 1 for g.
-1
Suppose -5*h = -0*h - 385. Suppose -5*n + h = w, 2*n + 5*w - 40 = -0*n. Suppose -3*d + n = 2*d. Solve 0 = -0*o + o + d for o.
-3
Suppose -4*s + 8 - 35 = -5*x, 0 = -4*x - 4*s. Let y(i) = -i**2 - 2*i + 1. Let w be y(-1). Solve w = n - x for n.
5
Suppose g + 3*g = -l - 9, 4*g = -4*l. Suppose -l*d - 2*d + 5*r = 25, -3*d - 4*r + 20 = 0. Let y = 9 + -6. Solve y*w + w - 16 = d for w.
4
Let a(w) = -34*w**3. Let n be a(-1). Suppose 96 = 6*k - 4*k. Let q = k - n. Solve q = -4*j + 34 for j.
5
Let r = -78 + 82. Solve 9 = 7*y - r*y for y.
3
Suppose -1 = o + 5*w, o = 2*o + 4*w. Suppose k = 5*m + 10, o*m - 1 + 9 = 4*k. Solve -2*n - 6 + 2 = k for n.
-2
Suppose -z + 3 - 1 = 0. Let p be (16/6)/((-2)/(-12)). Let a = -16 + p. Solve a = -z*u + u for u.
0
Let l = 20 + -17. Suppose -7*b + 8 = -2*b + l*j, -b = 3*j - 4. Solve 0 = 2*h - b + 11 for h.
-5
Suppose 8*i - 3 = 13. Solve i*q = 3 + 7 for q.
5
Let r(x) = x**2 - 11*x + 43. Let t be r(8). Solve 8*p - 13 - t = 0 for p.
4
Suppose -2*m + 2*o = -6 - 4, 3*m = 2*o + 13. Suppose 8*n = 9*n - m. Solve 0 = -3*s + 4*s + n for s.
-3
Let t = -24 - -24. Suppose 3*l - 117 + 78 = t. Solve -5*q + 12 + l = 0 for q.
5
Let w be 9/3 + (-2)/(-2) + -58. Let f = -53 - w. Solve 2*q - f = 3*q for q.
-1
Let d be (0 - -5) + (29 - 6). Solve 0 = 7*m - 0*m + d for m.
-4
Let u = -135 + 156. Solve 1 - u = 4*i for i.
-5
Let g be (3/(-2))/((-3)/6). Let d be (-8)/40 - 51/(-5). Let p(b) = b. Let j be p(2). Solve j = g*v - d for v.
4
Suppose 4*b + 8 = 5*o, 4 = 2*o - 4. Suppose -b*w - 2*r = -5, 14 = 3*w + r + 4. Suppose -3*k = -4 - w. Solve -4 = k*n - n for n.
-2
Let m = 23 - 21. Solve -m*q - 2 = 8 for q.
-5
Let d = 52 - 47. Suppose -4*v = -d - 3. Solve n = -v*n - 9 for n.
-3
Let h = 81 - 45. Suppose -12 = -q + 7*q. Let a be 60/h + q/(-6). Solve v - 6 = -a*v for v.
2
Let t be (-6)/(-9)*(-2 - -5). Let d(a) = 2*a - 22. Let y be d(13). Suppose -10 + y = -t*m. Solve 0*p + m = -p for p.
-3
Suppose -5*r - 5*f + 40 = 0, -2*r = f - 7 - 5. Suppose -10*n + 15 = -5. Solve r*h = -6 + n for h.
-1
Let d = -16 - -15. Let v(n) = -n - 1. Let m be v(d). Suppose m*a - 4*a + 8 = 0. Solve u + a = -1 for u.
-3
Suppose -7*t = -2*t - 45. Suppose i = 5*l - 9, 5*i - t - 18 = l. Solve -i = -3*f + 9 for f.
5
Suppose j - 16 = 3*j. Let d = -8 - j. Suppose -7*o + 2*o + 75 = d. Solve 5*t + 5 = -o for t.
-4
Suppose -2*c - 51 = -3*k, k = -38*c + 35*c + 6. Let j(u) = 4*u + 1. Let x be j(1). Solve x*h + k = 2*h for h.
-5
Suppose -31*a + 26*a - 2 = -4*d, 4*d - 4 = 4*a. Solve 0 = 4*w + d*w - 28 for w.
4
Suppose 0 = 3*o - o - q + 10, 5*o + 23 = 2*q. Let k be (-2)/o - 61/(-3). Suppose -2*l + 5*n = 2*l + k, -18 = -3*l - 3*n. Solve -4 = 5*t + l for t.
-1
Let s = 63 - 59. Suppose 18 = -s*c + 50. Solve 2*x + 0 = c for x.
4
Let a(f) = -9 + 1 + 25*f - 50*f + 24*f. Let k be a(-6). Let t be k/3 + (-4)/(-6). Solve -4*r + 12 + 4 = t for r.
4
Let p(b) be the third derivative of b**5/60 - b**4/6 + 7*b**3/6 + 5*b**2. Let i be p(3). Solve 0 = i*q + 2 + 2 for q.
-1
Let x be 52/2 - ((-126)/3)/7. Solve 0 = -9*i + i - x for i.
-4
Suppose -4*f = -r - 187, -15*r + 13*r = 2*f - 86. Solve 44*t + 10 = f*t for t.
5
Let n(d) be the third derivative of -d**5/60 + d**4/8 + 2*d**3 - 3*d**2. Let b be n(5). Suppose 4*p = -m, b*p + 2 = -0. Solve t - m = 5*t for t.
-1
Suppose 2*w + 5*f - 2 - 6 = 0, 3*w - 12 = -2*f. Solve 0 = 5*v - 3*v + w for v.
-2
Suppose -n = -3*p + 6 + 17, 5*n = 4*p - 38. Solve p = -0*i - 7*i for i.
-1
Suppose -7*a = -2*g - 2*a + 18, -g - 4*a = 17. Let p be 3 + 19 + g + 0. Let l = -21 + p. Solve j = -l*j for j.
0
Let b(w) = -w**3 - 26*w**2 - 2*w - 44. Let f be b(-26). Solve 3*t - f = t for t.
4
Suppose 17*r - 36 = -r. Solve 0 = r*k + 3*k - 20 for k.
4
Let p(s) = s**2 + 7*s + 6. Let c be p(-6). Suppose -w + c*y + 4*y + 35 = 0, -w - 2*y = -23. Let m = -23 + w. Sol