Solve c = -w - 4 - 1 for w.
-5
Let h = 228 - 170. Suppose -22 + h = 4*r. Solve r = -2*n - 1 for n.
-5
Suppose -13 = -3*s + 14. Suppose 13 - 4 = s*x. Suppose -2*j + z = -7, 3*j + 3*z = 14 + x. Solve -j*n = -7*n for n.
0
Suppose -4*n + 5 = 1. Let w be (-1*(-99)/264)/(4/32). Solve w = j + n for j.
2
Suppose -2*s - 6 + 2 = 0. Let z be 44/11 + 4/s. Suppose 4*u = z*t + 38, 5*u - 35 = 4*t + 11. Solve 0 = 4*i - 6*i + u for i.
5
Suppose -25 = -5*k + 45. Suppose k = 4*g - q, 3*g - 6*g + 5*q + 2 = 0. Solve -g*v - 24 = -8 for v.
-4
Suppose -3*m - 28 = -2*z, 0 = 2*z + 3*m - 9 - 19. Solve -3 = 11*f - z for f.
1
Suppose z + 2 = 2*s, 113*s - 111*s - 2*z = 0. Solve -6*g - 11*g = s*g for g.
0
Suppose -3553*h + 3562*h = 0. Solve -8*b - 10 - 46 = h for b.
-7
Let x = -4680 - -4680. Let n = 30 - 27. Solve x = -4*w + n*w - 4 for w.
-4
Let c be (6 + -2)*(-12 - -13). Solve -c*z - 4 = -8*z for z.
1
Let o = -55 - -53. Let k be o - -5 - 18 - (-2 + 4). Let t = k + 17. Solve t = 2*m - 11 + 1 for m.
5
Let j = -3 + -13. Let g = j - -15. Let h be g - ((-2)/(-3))/(4/(-30)). Solve -h*q = -3*q for q.
0
Let y(f) = 449*f + 1351. Let x be y(-3). Suppose -7 - 3 = -5*o. Solve -6*p + x*p = -o for p.
1
Let q = -33 - -198. Suppose 0 = -5*s + q - 70. Solve 25*v - s*v = 6 for v.
1
Let v be (-3784)/(-220) - 3/15. Suppose 0*x - 4*x + 56 = 0. Solve x*c - v*c = 6 for c.
-2
Let r(f) = -f**3 - 13*f**2 - 18*f - 81. Let m be r(-10). Let k = -195 - m. Solve 5*v - k*v = 0 for v.
0
Suppose 288 = 2547*r - 2538*r. Solve 27*y - 5 = -r for y.
-1
Let h be (0 - 628/(-18)) + (-16)/(-144). Suppose 126 = h*y - 14*y. Solve c - 35 = -y*c for c.
5
Let s be -2*(-30)/(-12) + 25. Let l = 28 - s. Solve 0*j = 4*j + l for j.
-2
Let b(t) be the third derivative of -t**6/120 + t**5/15 - t**4/6 + t**3/3 + t**2 - 22*t. Let j be b(1). Solve c = -j + 5 for c.
4
Let c be (-1025)/(-15) + -14 + 574/42. Solve c*j - 71*j = 12 for j.
-4
Let d = -233 + 261. Solve 20 = 2*b + d for b.
-4
Let p(u) = -u**3 + 4*u**2 - 5*u + 9. Let h be p(3). Suppose -h*q + 7 = 1. Solve 0 = -q*x + 4*x + 10 for x.
-5
Suppose v - 10*u - 95 = -15*u, -209 = -3*v + 4*u. Suppose v*o - 48 = 67*o. Solve 4*i - o = 2 for i.
2
Let s = -54 + 68. Suppose -6*g - 16 = -s*g. Suppose c + y + 20 = 4*c, 4*c - g*y = 30. Solve -c*b + 5 = -0 for b.
1
Let u be (-108)/(-14) + (-2)/(-7). Let m be (-228)/(-6) + 4 - 11. Solve 0 = -35*i + m*i + u for i.
2
Let q(k) = -2*k**2 - 8*k + 12. Suppose -i - 5 = b - 3*i, 0 = 4*b + i + 20. Let h be q(b). Solve -h*y - 5*y + 28 = 0 for y.
4
Let v be 387/6 + 0 + (-2)/4. Suppose -2*y + t + v = 0, 0 = 2*t - t. Solve 4*h - 12 = -y for h.
-5
Let p = 43 + -43. Let t(j) = j**2 - 4*j + 3. Let y be t(p). Suppose 4*a = y*a + 5. Solve a*c + 2 = -8 for c.
-2
Let b be ((-50)/(-35))/(((-1)/7)/(-1)). Let m be (-1)/(2/(-21)) + 5/b. Suppose -m*j = -8*j - 6. Solve 6*r = 4*r - j for r.
-1
Suppose m + 1890 = -5*x - 4*m, 2*x + 4*m + 758 = 0. Let z = -373 - x. Solve -z*g = -0*g for g.
0
Suppose -41*q + 36*q - 4*h = -502, -q + 86 = -4*h. Solve 106*j - 48 = q*j for j.
6
Suppose 0 = r - 0*r - 6. Let c be (7 - 13)*(-4)/r. Let m be (5 + 1)*c/(-2 - -6). Solve -4*v - 6 = -m*v for v.
3
Let m(b) = b**2 + 124*b + 173. Let j be m(0). Solve -251 = 13*t - j for t.
-6
Let u = 3 + 0. Let h(o) = -o**3 + 16*o**2 + 10*o - 19. Let r be h(16). Let v = -139 + r. Solve u*d = -5 + v for d.
-1
Suppose -4*f + 5*t = 40, 7*t - 11*t + 44 = -4*f. Suppose 0 = -3*s - b + 195, 4*s - b - 135 = 2*s. Let r be (-12)/30 - s/f. Solve r*y = -13 - 3 for y.
-4
Let y be 1/(-2) - (-52)/8. Suppose -4*g = -2*o - 94, o + 17 - 54 = -2*g. Suppose g = y*i - 3*i. Solve -4*a = -i*a + 12 for a.
4
Suppose 2*g = f + 14, -3*g + f - 4*f + 30 = 0. Let w(n) = 2*n**2 - 4*n + 9. Let j be w(4). Solve 0 = -g*b + 3*b - j for b.
-5
Suppose 15*j + 304 = 3754. Suppose 235*n - 15 = j*n. Solve -n - 1 = d for d.
-4
Suppose -62*a + 7 = -v - 66*a, v + 5*a + 13 = 0. Solve -19*q = -v*q - 10 for q.
5
Suppose 12528 = 652*b + 740*b. Let r be (-84)/(-10) + 8/(-20). Solve -b*i + r*i - 5 = 0 for i.
-5
Let h = -1007 + 1023. Solve -h*a + 5*a - 55 = 0 for a.
-5
Let i = 3748 + -3676. Solve -75*m + i*m = -15 for m.
5
Suppose 2*s - 7*s - 300 = 0. Let h be 20*3 - 0 - 0. Let q = s + h. Solve -5*r - 25 = -q*r for r.
-5
Suppose 3*h = -0*h + 12. Let u(v) = v**2 + 4*v + 4. Let z be u(-3). Suppose 38*g - 2*d + 5 = 43*g, 2*d = g - z. Solve -3*c = g - h for c.
1
Let j be (-13232)/(-112) - 3/21. Let a = 118 - j. Solve 4*b + 4 + a = 0 for b.
-1
Let x(z) = z**3 + 12*z**2 - 27*z + 26. Let b be x(-14). Let a be (27/b)/(69/460). Solve -5*j + 2*j = -a for j.
5
Suppose -2*x - 4 = -4*p - 3*x, -x + 3 = 3*p. Suppose 0 = 5*h + 3*o - 41, 3*h + 4*o - p = 4*h. Let s = -156 - -158. Solve -b = -h + s for b.
5
Suppose 2*a + 8 = 4*a. Let w(b) = -28*b + 6. Let q be w(3). Let y be (-48)/(-192) + q/(-8). Solve -y = d + a*d for d.
-2
Suppose 79*a - 88*a = 321 + 264. Let b = 19 - 68. Let k = b - a. Solve k = -3*g + 1 for g.
-5
Let b(n) = -n**3 + 3*n + 3. Let j be b(-2). Suppose -10*p - 30 = -j*p. Let v(i) = -i**3 - 8*i**2 - 12*i + 11. Let h be v(p). Solve 0 = -5*d + h + 9 for d.
4
Let p = -1742 + 1767. Solve 13*q - p = -51 for q.
-2
Let d(z) = -11*z - 2. Let c = -17 + 19. Suppose c*f = -4, b - 4*f + 3*f = 0. Let k be d(b). Solve v - k = 5*v for v.
-5
Let n be 5*(2/8*0 - -1). Suppose -n*q + 14 + 33 = -o, -10 = -2*q - 4*o. Let f be -3*((-4)/(-5))/(q/(-15)). Solve f*w - 15 = 1 for w.
4
Let b(d) = -d**3 - 15*d**2 - 63*d - 45. Let f be b(-7). Solve -38 = 14*h + f for h.
-3
Suppose 0 = -480*u + 95 + 3369 - 104. Solve -2 = -3*w + u for w.
3
Suppose -128 + 2046 = 149*q - 14472. Solve 208 - q = -14*g for g.
-7
Suppose 0 = 2*s - g + 5, 3*s - 14*g + 11*g = 0. Let o be (s + 0)/(-5) + 3. Solve 0 = -3*j + o*j for j.
0
Suppose 10*s = -8*s + 162. Let x(z) = -z**3 + 8*z**2 + 10*z + 8. Let m be x(s). Solve m = 4*g + 1 for g.
4
Let g(p) = 6*p - 210. Let h be g(37). Let r be ((-75)/(-10))/(3/16). Suppose -16*a + h*a = -r. Solve a = -2*y + 7*y for y.
2
Let r(c) be the first derivative of 2*c**3/3 + 11*c**2/2 + 10*c + 51. Let j be r(-5). Solve -j*o - 12 = 3 for o.
-3
Let b be 3*1*-2*18/(-27). Let w be (6/b)/(2 + 11/(-6)). Suppose -h + w*h - 64 = 0. Solve 4*f - h = 2*f for f.
4
Let s be ((-53)/2)/(5 + (-116)/24). Let f = s + 162. Solve f*y = -1 + 7 for y.
2
Suppose 5*k - 56 = -0*k - 4*a, 2*a = 3*k - 60. Solve k*w + 1545 = 1417 for w.
-8
Let o = 22 - -29. Let k = -10 - o. Let q = k + 64. Solve 7 + q = -5*i for i.
-2
Let z(t) = 11*t - 53. Let l be z(8). Let x be l/(-14) - (-39)/6. Suppose 5*f + x*f = 18. Solve 0*i = f*i + 10 for i.
-5
Suppose -191*r - 70*r + 18270 = 0. Solve -30*a = -44*a + r for a.
5
Let x(s) = -s + 24. Let p be x(20). Let m(y) = -52*y - 10. Let j be m(-1). Suppose 0 = -4*t - 16, -4*z = -5*t - j + 2. Solve z*a = p - 29 for a.
-5
Let u(o) = o**3 + 12*o**2 + 22*o + 29. Let f be u(-9). Let x = 1065 + -971. Solve -5*i - f = -x for i.
4
Let k = 162 + -77. Let i = k + -81. Let h be (9/6 + -2)*0. Solve h = i*s - 6*s for s.
0
Let b = -763 - -1253. Let p = b - 487. Solve -6 + p = 3*h for h.
-1
Let a be (-2)/(-16) - (-943)/328. Let h be (6/(-8) - 3/12) + 9. Solve a*s - 14 = -h for s.
2
Suppose 6*h + 22*h + 13*h - 205 = 0. Suppose t = 3*t - 6. Suppose -3*p - 6 = 4*i, -5*p = -3*p - t*i - 13. Solve p*f - h = 3*f for f.
-5
Suppose 0 = 4*o - 6*o - t + 4, 0 = 3*t - 12. Let j be 6 + o - (14 + -12). Solve 0 = -j*a + 6 + 2 for a.
2
Let z(u) = u**2 - 2*u - 14. Let b be z(5). Let a be 5 - (b/(3/(-6)) - -1). Suppose -2*g + x - 5*x - a = 0, 0 = g + 4*x + 11. Solve 0 = -g*i - 9 - 11 for i.
-4
Let w(i) = 29*i**2 - 209*i + 55. Let h be w(7). Solve -47*o + h - 107 = 0 for o.
-2
Suppose 0 = 2*w - 150 - 192. Let i = 243 - w. Let q = -72 + i. Solve 4*x - 8 + q = 0 for x.
2
Let g(a) = 1638*a - 9804. Let d be g(6). Solve d*q = -16*q + 120 for q.
3
Let z = 182 + -171. Suppose 5*i = -4*g + 31, 5*g + 1 = 21. Let p be i*2 + (-44)/z. Solve 0 = -0*s + s - p for s.
2
Suppose 3*y - o + 14 = 0, -3*y - 4*o - 4 + 0 = 0. Let u be 3*(y/14 + (-800)/(-105)). Solve 3*q + u = 10 for q.
-4
Let b be 12 + (-2 - (-3 + 1)). Let y be b*(3 - 16/6). Let f(t) = 28*t - 1179. Let i be f(43). Solve y*r - i = -r for r.
5
Let n(s) = 1278*s - 14012. Let m be n(11). Solve 40*t = m*t + 18 for t.
-3
Let n be (2/(-4))/(115/58 - 2). Let y = -19 + n.