 h for s.
-5
Suppose 4*g - 36 = -4. Suppose 0 = 8*m - g. Suppose -3*w = 4*s + 8, -2*s + 0 - 4 = 0. Solve j = -w*j - m for j.
-1
Let t be 1 - (-20 - 2) - 3. Suppose 0 = 4*s - 3*y - 26, -y + t = 2*s - 6*y. Solve 3*h - s*h = -2 for h.
1
Let a be 0 - -7*(4 + 1). Let i = 37 - a. Solve i*j - 25 = -3*j for j.
5
Let i(b) = 2*b**3 - 5*b**2 + 2*b + 2. Let t be i(3). Suppose 4*h - 2*h - d + 192 = 0, 0 = 4*h - 3*d + 382. Let r = -92 - h. Solve 3*a + t = r for a.
-4
Let a be (-110)/(-5) + 2/1. Suppose x = -3*v + a, 2*v + 8 = -2*v. Let y = -29 + x. Solve r + 0 = -y for r.
-1
Let x(q) = q**2 + 2*q - 6. Let y be x(3). Let t = y - -1. Let v be (-15)/25 + 166/t. Solve -v = -4*j + 4 for j.
5
Let q be (-2)/6 - 26/(-6). Let i = q + 1. Suppose 0 = 3*n + 15, -i*n - 15 = h - 2*n. Solve h*z + 5 = -5*z for z.
-1
Let n be (-8)/20*(1 + -6). Solve -9 + 3 = -n*v for v.
3
Let w = 9 - -11. Suppose -b - b + w = 0. Let c = b + -2. Solve 0 = 3*s - s + c for s.
-4
Suppose 3*g + 15 = -3*t + 3, -g = -4*t - 26. Let u be 2/(-3)*(-4 + 21/t). Solve -u*v + 0 = -20 for v.
4
Let j = 85 - 73. Solve d + j = -3*d for d.
-3
Suppose 0 = 7*v - 6*v - 3. Suppose 3*l = -2*z + 15, -v*z + 3 + 20 = 4*l. Let n be (-57)/(-9) + (-3)/z. Solve n = -5*b + 2*b for b.
-2
Let q be (((-672)/(-40))/(-7))/((-6)/80). Suppose q*s = 25*s. Solve s = -3*r + 4 - 1 for r.
1
Suppose w + 0 = 4. Suppose w*x - 6 = 10. Suppose 0*l - 4*y - 8 = l, -12 = l + 5*y. Solve l = -0*f - x*f for f.
-2
Suppose 0 = -6*c + 2*c - 16, 0 = -4*l - 5*c - 8. Let m = -12 - l. Let t be (m/6)/(4/(-8)). Solve 0 = -4*i - 15 - t for i.
-5
Let o be (18/(-12))/(1/(-4)). Let g be (-21)/(-14)*20/o. Solve -g*a - 29 = -4 for a.
-5
Suppose 0 = 2*p - 4*q + q - 6, 5*p - 10 = 5*q. Solve -2 = -p*r - r for r.
2
Let k be -2 - -2 - -4*3/6. Suppose -3*a + k + 4 = 0. Solve -2 = -4*z + a for z.
1
Let v = -8 - -11. Let j be (-2 - 5/(-2))*-6 + v. Solve j = -z - 0*z + 1 for z.
1
Let q(u) = -u**2 - 3*u - 3. Let g be q(-3). Let f be (5/g)/((-8)/24). Suppose d = n + 5, 0 = 5*d + f*n - 0*n + 15. Solve 0 = v + d for v.
-1
Let d(v) = -v**2 - 10*v + 66. Let z be d(4). Solve -z*w = -41 - 9 for w.
5
Let n be (1 - 12/(-6)) + 9/1. Suppose 0 = n*w - 5 - 31. Solve 2*r + w - 5 = 0 for r.
1
Let n(b) = -b**2 - 8*b + 4. Let x be n(0). Solve -4*k + 8 = x for k.
1
Let q be (-4)/(-42) + -6 + 1364/231. Solve -4*z + z - 12 = q for z.
-4
Let q = 301 + -297. Solve -4*p + q = -3*p for p.
4
Let d be (-3)/9*-3*10. Suppose x + 3*o = -d, x - 14 = -2*x + 2*o. Suppose x*s = -4*q, -3 = -3*q - 12. Solve s = -3*u + 21 for u.
5
Let g = 121 - 119. Suppose 73 = 5*o - g. Solve -6*l + l + o = 0 for l.
3
Suppose 3*s + 18 - 16 = -4*z, 0 = z + 2. Solve -v = -0*v - s for v.
2
Suppose -9*w = 6*w - 10*w. Solve w = 14*r - 9*r for r.
0
Suppose -c = c - 0*c. Solve c = -5*v - 0 + 25 for v.
5
Suppose 0 = -19*r + 21*r - 30. Suppose -h + 5*n - 12 = 0, -n = 4*n - r. Solve 2*i - h = 3 for i.
3
Suppose p = 2 + 2. Let l(n) be the third derivative of n**5/60 - n**4/6 + n**3/2 + 8*n**2. Let d be l(p). Solve q = -d*q for q.
0
Let q(p) = p**3 + p - 6. Let f be q(2). Let a(l) = -l**3 - 9*l**2 + 9*l - 3. Let x be a(-10). Solve -k + x = f for k.
3
Let h be 3/(6/4)*2. Suppose 4*r + 2 = -r - 3*p, -h*r = 5*p + 12. Let d = 1 + r. Solve 7 - 16 = -d*o for o.
3
Suppose 4*b + 342 = 2*x, 0 = 15*x - 11*x - 3*b - 689. Solve 168 - x = -5*j for j.
1
Let t be (4 - -2)/(-4 + 3). Let j be (-3)/t + (-57)/2. Let o = j + 28. Solve 0 = -o*z - 2*z + 6 for z.
3
Let a = -4 - -9. Solve -4*m = -a*m - 4 for m.
-4
Let a(o) = -o**3 + 2*o + 1. Let h be a(-1). Suppose 3*n = -5*g + 5, 2*g = 3*n - h*g + 2. Solve 4*q - 2*q = n for q.
0
Let x(b) = 1 + 13*b - 4 - 10*b. Let h be x(-4). Let o be h/(-7) - 2/14. Solve 0 = -g - 1 + o for g.
1
Let m(s) = -7*s + 2. Let g be m(-2). Suppose 25 = -g*j + 21*j. Solve 6*b = b - j for b.
-1
Let z be (10/(2 + 0))/1. Let h = 44 + -41. Suppose 0 = -4*q + z + h, 0 = -3*y + 5*q + 14. Solve 3*s + 15 = y*s for s.
3
Let w = -194 - -126. Let z = w - -71. Solve -b + 4 = z*b for b.
1
Suppose -2*i - 4 = -4*v, 3*i = -0*i + 5*v - 4. Suppose 0 = -4*w + 4, -d = 3*w + i - 3. Let y be -2*5*d/4. Solve y*f + 4 + 6 = 0 for f.
-2
Let b be ((-187)/44 + 1)/((-2)/8). Solve 13*g + 0 = b for g.
1
Let w be (6/(-15))/((-1)/(-6 - -11)). Solve -3*m - w*m + 7*m = 0 for m.
0
Let g = 228 + -226. Solve 4*v + g = 6*v for v.
1
Let u(v) be the first derivative of v**4/4 - 4*v**3/3 + 5*v**2/2 - 6*v + 15. Let n be u(3). Solve n = 5*x + 8 + 2 for x.
-2
Let s be 29/(-9) + (-6)/(-27) - -9. Suppose 0 = -i + 3*u + 18, -37 = -s*i + 2*i + 5*u. Solve -1 = 4*a + i for a.
-1
Let w(j) = j**2 - 7*j + 1. Let r be w(6). Let l = 12 + r. Suppose 2*p = 3 + l. Solve p*x - 3*x = -6 for x.
-3
Let b be ((-12)/(-21))/(1/((-49)/(-14))). Let p = -11 + 18. Suppose b = 5*w - x + p, 3*x - 15 = 4*w. Solve -o = 5 - w for o.
-5
Suppose p + 13 = -16. Let g = -23 - p. Suppose 5*l - b = b + g, -5*b - 15 = -4*l. Solve l = -4*f + 1 - 9 for f.
-2
Suppose 14*z - 20 = 4*z. Let d = 40 - 29. Suppose -z*a - 5*i - d = -4*a, i - 14 = -5*a. Solve 5*w - a = -28 for w.
-5
Let k(d) = d**2 - 1. Suppose 2*w + 4*n = -2*w - 24, 4*w = 5*n + 21. Let t be k(w). Suppose 5*o - 12 + 2 = 0. Solve o*b - 3 - 5 = t for b.
4
Let x(j) = j + 5. Let m be x(3). Suppose 10 = m*b - 3*b. Solve 8 = -b*h - 0*h for h.
-4
Let i(o) = 4*o**2 + 1. Let l(g) = 5*g**2 - g + 1. Let f(j) = 4*i(j) - 3*l(j). Let y be f(-4). Let c = 84 + -84. Solve a - y*a + 16 = c for a.
4
Suppose 2*s = 13 - 5. Suppose 2*h = -5*m + 11, -4*m - 29*h - 2 = -31*h. Suppose 3*o - 80 = 2*j - 13, -4*o + 82 = j. Solve s*i + o = m for i.
-5
Let s(c) = -c**3 + 13*c**2 - 12*c - 3. Let g be s(12). Let n be (-128)/6 + g/(-9). Let q be (-4)/(-14) + 6/n. Solve 4*j + 16 + q = 0 for j.
-4
Suppose -2*y - 4*a + 29 = -41, 0 = 5*y - 4*a - 161. Suppose 42 - y = 3*f. Solve f = -2*p - p for p.
-1
Let a(v) = -v**2 + 7*v - 5. Suppose -8*x + 10*x = 12. Let s be a(x). Solve -4*n - s = 3 for n.
-1
Suppose 2*k + 2*f = -10, 5*f + 23 = -4*k + k. Let r be (0 - 2) + k - -11. Let s = -10 + 22. Solve -4*p = r + s for p.
-5
Let z be 0/(-6 - 6/(-2)). Suppose -5*b + 5*w - 10 = 0, -4*b + 7 = w - z. Solve 5 = -2*h - b for h.
-3
Let k be ((-21)/(-14))/(2/4 - 1). Let r be (2/(-3))/(k/9)*4. Solve r*a = 3*a + 20 for a.
4
Let s(w) = -2*w - 3. Let v be s(6). Let h be v/(-10)*(-120)/(-9). Solve 3*f - 7*f - h = 0 for f.
-5
Let y be (-1)/(8/(-64))*6/4. Solve 0 = -y*s + 7*s - 25 for s.
-5
Let l = -116 + 117. Solve 10*x - 11*x = l for x.
-1
Let z = -83 - -87. Solve 0 = 3*j - 2*j + z for j.
-4
Suppose 51*n = 43*n + 56. Solve -1 = -n*v - 22 for v.
-3
Let j = 603 + -603. Solve 5*l + 20 = -j*l for l.
-4
Let x be -2 - (-3 + 5 + -4). Solve x = 5*r + 30 - 55 for r.
5
Suppose q - 7*q + 2364 = 0. Let x be (-2)/13 + (q/(-13))/(-2). Solve -4*z - x = -z for z.
-5
Suppose 9*d = -d. Solve d = -b + 2*b - 3 for b.
3
Suppose q - 22 = -2*x, 8*q = 3*x + 4*q - 11. Let n = -5 - -4. Let u be -1 + 8 + 2 + n. Solve -5*j = -u*j + x for j.
3
Suppose -2*h - 3*h = -4*b - 374, h + 271 = -3*b. Let r = 92 + b. Solve 4 = -w - r for w.
-5
Let x = 431 - 425. Solve -c = 1 - x for c.
5
Suppose 4*g = 38 + 2. Suppose 3*t = -3*y + 5*t + 4, 0 = 3*y + 5*t + g. Suppose 0*z - 6 = -3*z. Solve y*w - 6 = z*w for w.
-3
Suppose 0 = 3*z - 2*z. Suppose -c + 0 = -3*n + 97, z = 4*n + 4*c - 124. Suppose 5*w - 3*s - 71 = 0, 3*w - 5*s + n = 81. Solve 4*v - 3 = w for v.
4
Let u = -29 + 31. Suppose -u*g + 15 = 1. Solve -g*j + 2*j + 10 = 0 for j.
2
Let c(v) = -v**3 - 33*v**2 + 2*v + 69. Let l be c(-33). Solve 0 = 5*u + 2 + l for u.
-1
Let h(f) = -f**2 + 8*f - 12. Let o be 12/(-4)*(-5)/3. Let l be h(o). Solve p = -l*p for p.
0
Let n be (-18 + 12)/(0 + -2). Let x = n + 3. Suppose -2 = -3*o + 4*c + x, 0 = -2*o + 3*c + 5. Solve 0 = -o*l - 3 + 19 for l.
4
Let t be (-2 - 115/(-20))*(-128)/(-24). Solve 18*v + t = 23*v for v.
4
Let s(d) = 2 + 2 - 2*d + 0. Suppose 3*w + 34 - 22 = 0. Let p be s(w). Solve -3*v - p = -0 for v.
-4
Let u = -32 + 20. Let x be 2/(-3)*1*u. Suppose -2*n + 5*y + x + 6 = 0, -3*n + 3*y = -12. Solve l - n = -l for l.
1
Suppose -870 = 24*m - 18*m. Let g = m - -145. Solve -6*a + 3*a - 3 = g for a.
-1
Let a(g) = g**2 + 19*g - 455. Let q be a(-33). Solve q*m + 26 = 54 for m.
4
Let u = -1128 + 1161. Solve 5*x + u - 13 = 0 for x.
-4
Suppose -305 = -2*f - 2*h - 10