3 = -t*v for v.
-1
Let c = 8 + 16. Suppose 12*r = 12 + c. Suppose 3*o = -o - r*o. Solve o = i - 4*i - 9 for i.
-3
Let k(b) = b**3 - 13*b**2 - 11*b + 27. Let t be k(14). Solve -8*g = 15*g + t for g.
-3
Let u = 67 - 67. Suppose 8*m - m - 63 = u. Suppose 5*s - m*q + 4*q = 10, s = 3*q - 4. Solve 2*c - 3 = s for c.
4
Let p = 14 + -9. Suppose 4*j = 4*z + 28, 3*z - p*z = -5*j + 29. Suppose -16 = -88*l + 84*l. Solve -16 = j*h + l for h.
-4
Let z = -12033 - -12045. Solve -8*w + z*w + 4 = 0 for w.
-1
Let n(p) = -p**3 - 6*p**2 + 2*p - 8. Let c be n(-7). Let k be c/12*3/((-9)/(-8)). Suppose -k = -l - l. Solve -l*r + 3 = -6 for r.
3
Let a be 6/4*(4/(-3) - -2). Let u be 7 + -2 + (-2 - -3 - a). Let f = -27 + 30. Solve -2*r - f = -u for r.
1
Suppose 0*p - 2*p + v + 29 = 0, -2*p + 28 = -2*v. Suppose -p*y = -10*y - 15. Solve -6*o = y + 27 for o.
-5
Let g = -623 - -628. Suppose -3*h + 85 = g*d, -d + h + 19 = 2*h. Solve 0 = -d*y + 4*y + 40 for y.
4
Let z(o) = -o**2 + 41*o + 1662. Let m be z(-25). Solve -m*f - 792 = -756 for f.
-3
Let p(x) = 4*x - 33. Let z be p(9). Let u(f) be the third derivative of -f**5/60 + f**4/4 - 3*f**3/2 - 12*f**2. Let t be u(z). Solve -4*b + 8 = -t*b for b.
2
Suppose 25811 - 18963 = 8*l. Solve -859 + l = -g for g.
3
Suppose 28*p + 104 - 356 = 0. Solve -p*j - 12 = -12 for j.
0
Let j be (-3)/4 + (-581)/(-28). Solve j = 20*m + 140 for m.
-6
Suppose 5*j + 2*l + 50 = 7*j, l = 3*j - 75. Solve 40 = 3*b + j for b.
5
Suppose 0*i = 4*l + 5*i - 53, -5*l + 50 = 3*i. Suppose 4*f + 10 = l*f + 5*m, 0 = -3*f + m - 2. Solve -6*b + b + 25 = f for b.
5
Let c be 4669/(-46)*2/(-7). Solve -c + 17 = -3*z for z.
4
Let r(s) be the second derivative of -s**4/12 + s**3/2 + 29*s**2/2 - 15*s. Let t(n) be the first derivative of r(n). Let m be t(1). Solve 2*p - m = 3*p for p.
-1
Suppose 0 = 2*u - 3*i - 13, -2*u = -i - 6 - 1. Let m be 2/(183/(-92) + 2). Suppose -m*s + 187*s = 6. Solve -u*q = s*q for q.
0
Suppose -3*x + 0*x = 0. Let k(d) = -3*d**2 - d - 4. Let p(v) = v + 1. Let m(o) = -k(o) - 2*p(o). Let t be m(1). Solve g - t + x = 0 for g.
4
Suppose v + 15 = 6*v. Let w(j) = -4 + 6*j**2 + j**v + 7*j - 4*j**2 + 1 + 4*j**2. Let r be w(-4). Solve a + r = 2 for a.
1
Suppose -5*r = -5*p - 70 + 600, 4*r - p = -430. Let c = -105 - r. Solve c*k - 4 = 7*k for k.
-1
Let a(p) = -p**2 - 3*p - 2. Let z be a(-2). Let o(i) = -i**3 + 22*i**2 + 3*i - 48. Let j be o(22). Suppose -19*h = -j*h. Solve h*t - 2*t + 2 = z for t.
1
Let l(j) = -j**3 + 78*j**2 + 252*j - 558. Let s be l(81). Solve 58*p - s = p for p.
3
Suppose 180 = -15*o + 17*o + 3*z, 2*o = 2*z + 190. Solve o*j + 68 = 76*j for j.
-4
Let t = -4092 + 4183. Solve -t = 30*d - 43*d for d.
7
Suppose 324 = -30*r + 32*r. Suppose 82*y + r = 91*y. Solve -4*x = -38 + y for x.
5
Let l = 5075 + -5061. Solve 0*d = -l*d + 28 for d.
2
Suppose -4*h = 3*n + 13, 6*h = 3*n + 2*h - 19. Let x be (22/n)/((-58)/(-116)). Solve r = -10*r - x for r.
-4
Suppose 325 - 39 = 19*j - 6*j. Let r(m) = -m + 8. Let q be r(6). Suppose 0 = -3*g - 5*x + 19 + 12, -q*g + 29 = 5*x. Solve -4*s - g = -j for s.
5
Suppose 0 = -v - 5*v + 18. Let y = v + -4. Let g be 1/y - -1 - 66/(-11). Solve -g*a + 10 = -a for a.
2
Let n be 1161/27 - (-1 - -5). Suppose 2*g = -95 - n. Let f = 69 + g. Solve 0 = f*o - o - 1 for o.
1
Let m = 97 - 77. Suppose 42 = -4*s - 26. Let v = m + s. Solve -v*i + i - 6 = 0 for i.
-3
Suppose 220 = 5*w + 5*i, -2*w - w + 108 = -3*i. Let g = w + -43. Let j be g/(-6) + (-6)/12. Solve 4*o + o = j for o.
0
Let g(u) = 3*u**3 + 3*u**2 + 19*u - 56. Let x be g(3). Solve -x = -6*h - 121 for h.
-2
Suppose 0 = 2*k, -5*f - 10*k + 11*k = -15. Let g be 2*(-4)/(-8) - -1. Let u be ((-6)/g)/(3/(-2)). Solve 4 = u*p - f*p for p.
-4
Let w be 1/2*0 - 60/(-12). Let k be 18/2 + -1*10/w. Solve 21 = -k*z - 14 for z.
-5
Let f(h) = h - 5. Let l be f(9). Let o be 5 + 3*l/(-6). Let x be ((-986)/(-510) - (-1)/(-3))/((-4)/(-10)). Solve -o*a + a + x = 0 for a.
2
Suppose 224*s + 3727 = -346*s + 49327. Solve -s*i + 532 = -4*i for i.
7
Suppose b = -3*i + 264, 2007*b - 2008*b + 278 = i. Solve 47*f + 48*f = -b for f.
-3
Let k(h) = -h**3 + 8*h**2 - 98*h + 553. Let o be k(6). Solve -30 + o = 7*x for x.
1
Suppose -41 - 5 = -23*l. Suppose 3*p = -l*p - m + 77, -5*p + m + 83 = 0. Solve 0 = -4*w - 8 + p for w.
2
Suppose 0 = 5*m - 4*q - 164 + 92, 3*q - 8 = -4*m. Solve -m*y - 12 = 28 for y.
-5
Let g(a) be the first derivative of -a**4/4 - 7*a**3/3 + 7*a + 49. Let x be g(-7). Solve 3*s - x*s - 16 = 0 for s.
-4
Let s = 1267 - 1263. Let f be -38 + (-3 - (-10)/5). Let z = 53 + f. Solve -5*b = -z + s for b.
2
Let x be 3 - 1 - (-8)/(-4). Suppose 4732*n - 5544 = 4578*n. Solve x = 39*r - n*r + 9 for r.
-3
Let p(a) = -308*a - 19. Let m be p(2). Let c = m - -637. Solve -8 = 2*o - c for o.
-3
Let o(q) = 145*q + 876. Let d be o(-6). Solve -1005*t + d = -1011*t for t.
-1
Suppose 0 = -0*b + 2*b + 5*o - 28, 4*b = o + 12. Suppose -i + 4 = 2*s - 6*s, -3*i = 0. Let q be 1/(-3) + s/(-3). Solve -b*a + 12 = -q for a.
3
Suppose 0 = -g + 3*g - 5*c + 14, 3*c = 4*g. Suppose 0 = -g*z - 4*i - 16, -6 = z + 2*i + 2. Solve z = j + 4*j for j.
0
Suppose -21*l - 3*y = -23*l + 7, 5*l + y - 60 = 0. Let w be (l - 8)/(9/15). Solve -5*z + w = -10 for z.
3
Suppose -b = -2*b + 12. Let y be 209*(-5)/(-55) + -11. Solve b + y = 4*m for m.
5
Suppose 342*z - 339*z + 5*h - 36 = 0, 2 = -5*z + 2*h. Solve 129 = z*j + 143 for j.
-7
Let h be (6/10)/(808/160 - 5). Let z(m) = 3*m**2 - 37*m + 15. Let a be z(h). Solve -3 = -a*d - 12 for d.
-3
Let h be 154/56 - (-15)/12. Suppose h*l - 1 = -6*p + 3*p, 3*l = -4*p + 13. Solve 15 - p = -4*z for z.
-2
Let u(p) = p**2 + 72*p + 526. Let i be u(-8). Solve 9*f + 20 = i*f for f.
4
Let d = 50 + -48. Suppose 5*m + s + 37 = -s, 0 = m + d*s + 9. Let b be (0/2)/(1/(6 + m)). Solve -4 = -4*n - b for n.
1
Let m be (-88 - 17)*21/(-49). Solve -14*n - m = -5*n for n.
-5
Suppose -3*b - 68 = -0*b + r, -2*r + 128 = -5*b. Let g = 37 + b. Suppose -5*w - i + 6*i = -5, -7 = -3*w + i. Solve -w = 2*p - g for p.
5
Let j = 126 - 80. Suppose p = -14 - 30. Let x = j + p. Solve 0 + 4 = x*u for u.
2
Suppose 0 = 19*q - 23*q + 4*o + 20, 2*q + 3*o + 5 = 0. Suppose 2*l - 11 = -3*s - 3*l, -53 = -4*s + l. Suppose -f + s = f. Solve 4*g - q = f*g for g.
-1
Suppose -5*u = 0, u = -2*i + 14 + 14. Solve 47 = i*t - 37 for t.
6
Let c = 3885 - 3881. Let d = 5 + 0. Solve -b + c = d for b.
-1
Suppose -4*o + m + 35 = 0, -2*o + 38 = 2*o + 2*m. Suppose -o*w + 28 - 10 = 0. Solve -w*j = -8 + 16 for j.
-4
Let t(u) = 7*u**3 + u**2 - 8. Let r be t(4). Let z be (r/14)/(-2) - 4/(-14). Let c be z/(0 + -1 + -1). Solve -c = -6*m + 2*m for m.
2
Let m(q) = -885*q - 7922. Let l be m(-9). Solve 462 = -l*v - 23*v for v.
-7
Suppose 43*o - 45*o = -6. Suppose -d + 12 = m, -o*d + 1 = 28*m - 32*m. Solve k = -d*k + 32 for k.
4
Let q = -3581 + 3628. Solve 3*z = -q + 41 for z.
-2
Let u = -15247 - -15257. Solve -111 = u*q + 27*q for q.
-3
Let r(v) = 4*v + 46. Let g be r(-11). Suppose 5*j - 2*m = 2*m + 22, g*j - 4 = 4*m. Solve 9*o - j*o - 6 = 0 for o.
2
Suppose 5*g - 124 = 4*l, 6*g + 2*l + 48 = 8*g. Let r be (24/g)/(2/7). Solve r*y = 6*y - 12 for y.
4
Suppose 329*i = 320*i + 18. Solve i*a - 9*a + 14 = 0 for a.
2
Let k(t) = -t - 4. Let a be k(1). Let o be (-29)/a - (147/(-35) - -4). Suppose -5*l - 25 = -y, 4*y - 4 = 2*l + o. Solve y = d - 5*d + 8 for d.
2
Let v(w) = 10*w - 14. Let g(f) = f**2 - 10*f + 13. Let i(c) = -2*g(c) - 3*v(c). Let s be i(-8). Let m = s - -34. Solve m*n = -3 + 11 for n.
4
Let g = 2 - 57. Let f = -6193 - -6150. Let v = f - g. Solve v = d + 3*d for d.
3
Let x = 196 - 194. Suppose 0 = x*o - 6*o + 24. Let v = -4 + 9. Solve v*g - o - 4 = 0 for g.
2
Suppose -4*v = -b - 23, -5*b - 16 = -2*v - 3*b. Let s be v/(40/(-24)) + 4. Solve -5*i - s = -6*i for i.
1
Let l(a) be the first derivative of -a**2 + a - 1. Suppose 8*k + 1 = 2*x + 7*k, -4*k - 20 = 0. Let u be l(x). Solve 0*w + w = -u for w.
-5
Let i(x) = -45*x + 232. Let r be i(5). Let z = 10 - r. Solve z*y - 1 - 14 = 0 for y.
5
Let r(o) = -o**3 + 7*o**2 - 8*o + 5. Let j be r(5). Let w(m) = 2*m**3 - 24*m**2 + 56*m + 28. Let v be w(9). Solve 41*x - j = v*x for x.
-3
Let u(b) = -b**2 - 4*b - 1. Let g be u(-3). Suppose 3*s = -4*f - 50, 10 = -3*s + 2*f + 2*f. Let r be (-56)/(-8) - (-3 - s). Solve r = -c - g - 1 for c.
-3
Let 