ve -354 + n = 45*x for x.
-5
Suppose 0 = -4*p - 2*i - 72, 0*p - 3*p - 2*i = 52. Let q = 20 + p. Suppose 21*s - 5 = 16*s. Solve j - s = -q*j for j.
1
Let k be (-24436)/(-447)*9/4. Solve -12*z - k = -27 for z.
-8
Suppose 0 = 2*z - 3*z + 5. Suppose -z + 19 = 3*v - 2*c, 4*v - 3*c - 20 = 0. Let k = -651 + 651. Solve 0 = -k*b + v*b for b.
0
Suppose s - 7 = -2. Suppose -56 = 7*v - 35*v. Suppose -10*q = 13*q - 69. Solve -s*j - q = v for j.
-1
Suppose 8 = -0*s + 2*s. Let n be 0*s/((-12)/(-3)). Suppose -9*w + 16 = -5*w. Solve -w*o + n*o = 12 for o.
-3
Suppose 3*k = -8*w + 9*w + 22, 3*w = 15. Suppose k*h - 96 = 5*h. Solve -g = -7*g + h for g.
4
Suppose 60 = -4*g - 5*m, 0*m = -g - 5*m. Let y be ((-6)/6)/((-76)/g - 4). Solve 3*n + y = 20 for n.
5
Let k(i) = i**2 - 5*i + 12. Let j be k(3). Let r be (-392)/(-24) - (3 - 16/j). Solve 98*q = 102*q + r for q.
-4
Let c(b) be the third derivative of b**6/120 - 7*b**5/30 - 13*b**4/24 - 25*b**3/6 - b**2 + 3*b. Let g be c(15). Solve g*f + 0 = -5 for f.
-1
Let q(a) = -80*a + 130. Let v be q(2). Let u = -24 - v. Solve -u*t - 15 = -3*t for t.
-5
Let z = -874 + 877. Solve -t = 2*t - z for t.
1
Let n be 1/((-35)/(-56))*5/2 + 39. Solve 26*u + 87 = -n for u.
-5
Let k(y) be the third derivative of y**6/120 - y**5/20 - y**4/8 + y**3 - 11*y**2. Let a(p) = p - 1. Let n be a(5). Let x be k(n). Solve -4*j - x = -2*j for j.
-5
Suppose -30 = -140*i + 135*i. Let c be -129*10/(-105) + i/(-21). Suppose -4*v + c = -2*v. Solve -3*p = -v - 3 for p.
3
Let r be (4 + (-110)/25)/(3 + 535/(-175)). Solve -r - 41 = -12*a for a.
4
Let q(m) = -37*m + 1058. Let t be q(26). Solve 121*l - 125 = t*l for l.
5
Let t(a) be the first derivative of -a**4/4 + 2*a**3 - 5*a**2/2 + 9*a - 99. Let k be t(5). Solve 17*h + k = 14*h for h.
-3
Suppose 3*b - 16 = -2*c, c - 24 = -c - 5*b. Suppose 4*u + 12 = r, 4*r + c*u - 8 = r. Let z be (20/(-8) - -3)*r. Solve -4 = 2*j + z for j.
-3
Let x(a) = -3*a - 27. Suppose -3*m = c + 28, -2*c - 3*c - 30 = 5*m. Let d be x(m). Solve -2*j = d + 2 for j.
-4
Let q(d) = 32*d**2 - 52*d + 55. Let w be q(1). Solve -2*p = 5*p + w for p.
-5
Let z be 1/(0 + 2)*(-2 - -16). Suppose -2*p + 2*h - 12 = -10, 2*h - z = -3*p. Solve 2*s = 3*s - p for s.
1
Let k be 10 + 27 + 9 - ((3 - 4) + -3). Solve k*w - 42*w - 32 = 0 for w.
4
Suppose 4*l + 44 = 4*i, -3*l - 8 - 57 = -5*i. Suppose -r - 5*z = -5, -5*z + z = 2*r - 10. Suppose d = 5*n - 2*n - 24, 3*d - 9 = 0. Solve r*m = -n - i for m.
-5
Suppose 8 = -4*a, -4*f + 30 = -f - 3*a. Suppose f = -2*g + 8. Solve g*z + 16 = 4*z for z.
4
Let a(o) = o**3 + 35*o**2 - 86*o - 4048. Let z be a(-34). Solve -169*r - z = -165*r for r.
-8
Let k = -33318 + 33404. Solve 0 = 29*n - k*n - 456 for n.
-8
Suppose b - 2*v = -b + 20, 0 = -3*b + v + 38. Suppose b = 8*k - 2. Solve 3 = -k*l - 3 for l.
-3
Suppose 10*t = -8*t. Suppose 9*y - 22 - 68 = t. Solve 0*u - y = 5*u for u.
-2
Let s = 6043 - 6040. Solve 199 = -s*p + 181 for p.
-6
Suppose -5*o - 4*c + 169 - 45 = 0, 2*c + 148 = 5*o. Let v be 6/(-21) - (-148)/o. Suppose -5*z = i - 9 - 0, -v*i + 3 = 4*z. Solve t - z = -7 for t.
-5
Let o(q) = -q**3 - 8*q**2 - 7*q + 14. Let a be o(-7). Let d = 28 - a. Suppose -b + 1 = -d. Solve -b = -r + 6*r for r.
-3
Suppose -s = -5*w + 22, 3*s - w = 23 - 19. Suppose s = -42*a + 3. Solve -p + 1 = -a*p for p.
1
Suppose 0 = 21632*t - 21689*t. Solve t = -96*p + 82*p for p.
0
Suppose -252 = -242534*c + 242520*c. Let m(g) = g**3 - 2*g**2 + g + 1. Let r be m(2). Suppose r*n = -n + 20. Solve 0 = n*j - c + 8 for j.
2
Let s = -8902 + 8930. Solve s = -63*h + 56*h for h.
-4
Let m(o) = o**2 + 11*o - 12. Let b be m(-13). Suppose b*w = 18 + 10. Solve 3*n - w = -14 for n.
-4
Suppose 62*s + 32 = 280. Solve 2 = s*p - 2 for p.
1
Let g be 9/(315/(-812)) - (-8)/(-10). Let t(z) = z**3 + 2*z**2 - 8*z - 4. Let x be t(-5). Let b = g - x. Solve -6*r + b = -r for r.
3
Let z = -20934 - -20950. Solve 0 = 12*j - 4*j + z for j.
-2
Suppose -4*c + 22 = 2. Suppose 0 = -p + 4, -c*p + 12 = -4*q - 2*p. Solve q*u - 45 = -9*u for u.
5
Let t(i) = 2*i**2 + 18*i - 58. Let z be t(9). Let b = z + -262. Solve -n - b*n + 15 = 0 for n.
3
Suppose 0*x = -c - 2*x + 169, -2*x - 173 = -c. Let p = -27 + c. Let h be 3/(-2) + 1 - p/(-32). Solve 0 = z + 3*z + h for z.
-1
Let c be 0/(-2) - (15 - 17). Solve -c = -a - a for a.
1
Let x be (24 + -1 - -2) + 0. Let f(p) = 60*p**2 - 3127*p + 374. Let q be f(52). Solve -q*h = -5*h + x for h.
-5
Suppose 7*v + 143 + 627 = 0. Let m = -31 - v. Let i = -77 + m. Solve i*y = -y - 15 for y.
-5
Suppose 4*c = 4*f - 40, 3*f + 5*c = 4*f - 2. Suppose 30 = g - 2*b + 6*b, f = g - 2*b. Solve 7*j + g = 16*j for j.
2
Let l(s) = -62*s**2 + 4*s + 3. Let r(d) = 123*d**2 - 8*d - 6. Let q(m) = -7*l(m) - 3*r(m). Let p be q(-1). Let g = p + -60. Solve -2*n + 0*n = g for n.
-3
Let y = 735 - 730. Suppose -q - y*b + 19 = 0, 4*q - 26 = -b + 88. Solve n + q = 28 for n.
-1
Let s(x) = 4*x**2 + 15*x + 2. Let k be s(-4). Suppose -k*m = -4*m - 20. Let o(c) = c**3 - 11*c**2 + 9*c + 12. Let n be o(m). Solve n = -2*f + 4*f for f.
1
Suppose 17 - 20 = -u. Suppose u*i - 7 = 2. Suppose 0 = -4*k - 2*p + 82, -k + i*p = 3*k - 97. Solve 3*n = 10 - k for n.
-4
Suppose -267 - 375 = -6*h. Let m = h + -105. Solve v + m*v = 6 for v.
2
Suppose 0 = -3*a + 2 - 515. Let i = a - -256. Suppose -12*o = -i + 25. Solve -o*l - 18 - 2 = 0 for l.
-4
Suppose -11*f + 6*f - 1800 = 0. Let l be 3/(-2) - f/16. Let m = 23 - l. Solve -4*a = -m*a for a.
0
Suppose 0 = 2*u - 5*m + 6 - 43, -u + 4*m = -20. Suppose -5*t - 2*f = 3*f - 40, 3*t = 5*f - u. Let v be -1 - ((-6)/t + -3). Solve v = 4*o + 16 for o.
-3
Let m be 31/(-3 + 7 + -5). Let p(w) = -3*w - 88. Let n be p(m). Solve -2*f + n - 1 = 0 for f.
2
Let o = 8 - 5. Let f = o + 1. Suppose -36 = -d - 4*d - 96, 3*q + 6*d = 2*d. Solve q = f*c - 0 for c.
4
Suppose 32*w + 310 = 42*w. Solve -w = 2*y - 27 for y.
-2
Suppose y - 11*a - 96 = -7*a, -3*y - a = -249. Suppose -5*b = -11*b - y. Let q be 16/14*(b/4 + 7). Solve q*t + 4 = 2*t for t.
-2
Suppose 4*n - 15 = 1. Suppose n*b + 14 = 5*w, 3 = -3*b - 0. Solve 0 = -2*c + 6 + w for c.
4
Suppose -2*x = 21*i - 17*i - 40, -2*i - 30 = -4*x. Solve d - x*d = -10*d for d.
0
Let d(x) = 66*x**3 - 8*x**2 + 11*x - 2. Let k be d(1). Solve -k = 11*o - 122 for o.
5
Let y = 4769 + -4769. Solve -10*p - 4 + 24 = y for p.
2
Suppose 0*z + 16 = 4*z. Let h = -529 + 534. Let w be (-1 + 11)*5/h. Solve 0 = -r - z*r - w for r.
-2
Suppose 4*q = -4*f + 12, -22 = -5*q - 4*f - 7. Let s = -170431 - -170436. Solve q = -s*n - 2 for n.
-1
Let m = 349 + -177. Let z(x) = -m + 0*x + 12*x + x**3 + 185 - 14*x**2. Let v be z(13). Solve v = -3*c - 6 - 3 for c.
-3
Let c be ((-3)/(-6) - -2)/((-95)/(-2090)). Solve c*t - 79*t - 120 = 0 for t.
-5
Let h(x) = -5*x**2 + 32*x - 159. Let t be h(6). Let q = t + 149. Solve 0 = -o + q*o - 6*o for o.
0
Let s(y) = 2*y**2 + y - 4. Let a be s(-2). Let m(x) = x**2 - x - 10. Let l be m(-3). Suppose -5*w + 5*g + 18 = -2, -4*w - 2*g = l. Solve -w = c - a for c.
1
Suppose d + 3*s = -0*d + 34, 5*s + 46 = 2*d. Let b(a) = a**2 - 27*a - 20. Let v be b(d). Solve -8 = -4*k + v*k for k.
-2
Let f = 10 - 7. Let a(t) = -12*t**2 - 9*t. Let s be a(-2). Let o(y) = -y**3 - 32*y**2 - 59*y + 34. Let i be o(s). Solve -i = -f*g - 19 for g.
-5
Let f(a) = 4*a**2 - 2*a + 8. Let r(n) be the first derivative of 5*n**3/3 - n**2 + 9*n - 3. Let x(s) = 3*f(s) - 2*r(s). Let z be x(0). Solve g - z = -g for g.
3
Suppose 171 = -5*i + 711. Suppose i + 27 = 3*m. Let d = m - 39. Solve -3*n = -0*n + d for n.
-2
Let z be 1/2 + 1204/56. Suppose -3*f = f - 80. Let g = z - f. Solve -g*c = c - 15 for c.
5
Suppose 14*r - 345 = -z + 12*r, 0 = z - 5*r - 331. Solve 347 = -2*p + z for p.
-3
Let n be 1158/78 - 6 - (-2)/13. Let t(g) = g**3 - 7*g**2 - 15*g - 9. Let q be t(n). Let p be (-22)/(-4) + 1 - q/(-12). Solve i + p - 3 = 0 for i.
-5
Let f(c) = -556*c + 6680. Let d be f(12). Solve -1323 + 1307 = -d*n for n.
2
Let s be (-4)/3 - 11424/72. Let i = -157 - s. Solve 3*w = i - 0 for w.
1
Suppose 100 = 5*u - 3*g, 3*g + 32 = -0*u + u. Suppose u*h + 64 = 25*h. Solve -h*y + 2*y = 30 for y.
-5
Let h(x) = -2 + 6*x - 1 - 16*x + x. Let m be h(-1). Solve -5*c + m = -19 for c.
5
Let w(d) = -d**3 - 36*d**2 - 70*d + 80. Let k be w(-34). Suppose 0 = -6*q - 124 + k. Solve -6*r = -28 + q for r.
4
Let s(g) = g**3 + 