4 - n = i for x.
-4
Let p(k) = k**2 + 3*k + 3. Let h be p(-1). Suppose 0 = -2*b + 2*a - a - 1, 5*b + a = h. Let t(v) = v**2 + v + 1. Let w be t(-2). Solve g - 5 + w = b for g.
2
Let v be ((-2)/(-4))/(2/4). Let w = -41189 - -41194. Solve 0 = -w*p - v - 9 for p.
-2
Let a be (10/18)/((-225)/(-135))*3*6. Solve a*z + 3*z = 0 for z.
0
Let y = -11156 + 11195. Solve -y*d + 21*d = 54 for d.
-3
Let i = 141 + -131. Suppose -x + i = x. Solve x*r + 20 = -0*r for r.
-4
Suppose -2*y - 10 = 138*c - 141*c, 5*y + 3*c - 38 = 0. Solve y*u - 75*u + 17*u = 0 for u.
0
Let b = -7 + 17. Let t(v) be the second derivative of v**4/12 - 3*v**3/2 - 7*v**2/2 + 21*v. Let f be t(b). Solve c - f = -6 for c.
-3
Let n = 26 - 28. Let u be n - ((-2 - -7) + 2/(-2)). Let w be 8/u*3 + 8. Solve 0 = w*s + 2 - 22 for s.
5
Let x = 21104 + -19577. Solve 1517*m - 50 = x*m for m.
-5
Let z be (36/5)/3 + (-4)/10. Suppose 8 + 36 = z*v. Suppose i - v = -3*c - i, c + i - 9 = 0. Solve -c*y + 16 = -8*y for y.
-4
Let r(z) = z**3 - 5*z**2 + 4*z + 4. Let j be r(2). Suppose j = 130*g - 127*g - 9. Solve g*k + k - 20 = 0 for k.
5
Suppose 2*n - 40 = -3*n. Let y = -129 - -137. Let u = y - n. Solve -4*z - 8 - 12 = u for z.
-5
Let b(y) = y**3 - 18*y**2 - 19*y + 26. Let l be b(19). Suppose -64 = -2*j - 2*k, -l*j + 5*k + 78 = -24*j. Solve -n - j + 33 = 0 for n.
-1
Let g(k) = -k**3 + 9*k**2 + k - 5. Let r = 33 - 29. Suppose -5*w + w + 34 = j, -5*j - 46 = -r*w. Let p be g(w). Solve -p*u + 5*u = 4 for u.
4
Let x(c) = 3*c - 112. Let m be x(24). Let v be (1/2 - 2)/(20/m). Solve 12*j = v*j + 45 for j.
5
Suppose -780 = 97*s - 102*s. Suppose s = -9*g + 183. Solve -2*i - 5 = g for i.
-4
Suppose -b + 74 = 5*i, -58 = -3*i - 22*b + 18*b. Solve 5 - i = -9*y for y.
1
Let v = -14346 + 14362. Solve 119 = -v*g + 23 for g.
-6
Suppose 0 = 106*d - 33*d - 1629 - 561. Solve -d*v + 23*v = -42 for v.
6
Let b(v) = -v**3 - 6*v**2 - 10*v - 5. Let p be b(-4). Let l(w) = w**3 + 4 - p + 2*w - 3*w**2 + 0 - 3. Let t be l(3). Solve 0 = -t*z - z + 10 for z.
2
Suppose 21 + 111 = -3*q. Suppose 32*f + 5*a + 163 = 35*f, -5*f - 3*a + 215 = 0. Let b = f + q. Solve 5 = n + b for n.
3
Suppose -79*l = -92*l - 195. Let s be 148/20 - (0 + (-6)/l). Solve s - 15 = -2*g for g.
4
Let m = -7709 - -7714. Solve m = -6*z - 7 for z.
-2
Suppose 5*h - 11 = -4*a - 0*a, 4*a - 3*h = 19. Let q = 73 - 66. Suppose -39 = -q*c + 4*c. Solve 0 = a*p + 5 - c for p.
2
Suppose 3*n = -2*n - 25. Let z(c) be the third derivative of -3*c**4/8 - 22*c**3/3 - 2*c**2 - 1958. Let d be z(n). Solve -d = 3*y + 2 for y.
-1
Suppose 0 = -f + 2*f - 4*y + 3, 0 = -y + 2. Suppose 199*m - 194*m = 5595. Let d = -1119 + m. Solve d = -s - f for s.
-5
Suppose -895*w + 896*w + 5*o = 58, 5*o - 262 = -4*w. Solve 49*j - 128 = w for j.
4
Let g(b) = 274*b + 2488. Let h be g(-9). Solve 126 = -a + h*a for a.
6
Suppose 4368*m = -5*b + 4363*m + 245, 0 = 2*b - 2*m - 106. Solve -12*k + b = 111 for k.
-5
Suppose -42*s - 1135 - 251 = -119*s. Solve -40 = s*w - 10*w for w.
-5
Let t(d) = -d**2 - 17*d - 56. Let j be t(-10). Solve -264 = -47*z + j*z for z.
8
Let r = 92771 + -92767. Let y be 4/1 - (2 + -2). Solve r*x - y + 24 = 0 for x.
-5
Suppose 3*v - 20 = -2*v. Let p = 8849 + -8824. Solve -v*b = b - p for b.
5
Let r(z) = -176*z - 1582. Let u be r(-9). Solve u*p = 24 - 26 for p.
-1
Let y be 38 - (7 - (9 + -10)). Suppose -n - k + 2 = 0, -y*k = -26*k. Solve n*c - 24 = -30 for c.
-3
Let c(l) = l**2 - 6*l + 5. Suppose 4*f + 118 = -5*k, -k = 4*k - 10. Let x = f - -38. Let i be c(x). Solve -i = -z - 3 for z.
2
Suppose z - 100 = -5*d + 2*z, -d + 5*z = -20. Suppose 3*c - 3 = 3*m - 18, 2*c - 2 = -m. Suppose -4*r + 4 = -m*o, -5*o + 25 = -0*o. Solve -2*n + r*n = -d for n.
-5
Suppose 0*y + 3*i = 5*y + 3936, 0 = -y + 2*i - 790. Let z = 789 + y. Solve -3*l = -l - z*l for l.
0
Let k be 17/(68/1148) - 1*-1. Let x be (-3)/2*(-192)/k. Solve 3*o - x = -10 for o.
-3
Let n = 21490 - 21490. Let t be (26/5)/(4/(-20)). Let x = -16 - t. Solve -x = 2*c - n for c.
-5
Let y(o) = o**3 - 37*o**2 + 27*o - 17. Let n be y(36). Let i = -339 - n. Solve -i*l + 46 = 42 for l.
2
Suppose 2*w - 4 = -4*m + 52, 3*m - 12 = 0. Suppose -w = -7*o + 8. Suppose -17*s + 19*s - o = 0. Solve -s = d - 0 for d.
-2
Let r be 3/((-6)/(-20)) + 5. Suppose -2 = -r*t + 14*t. Solve -v = -0*v + t for v.
-2
Suppose -4380*q - 484 = -4382*q. Solve q = -d + 243 for d.
1
Let g(m) be the first derivative of m**4/4 - 3*m**3 - 9*m**2/2 - 6*m - 3. Let r be g(10). Let x be 3 + r + -3 + 2. Solve -2*n = -x*n + 16 for n.
4
Suppose -1 = -2*d + 15. Suppose -5*q = -4*t - 7 - 10, -3*t - d = q. Let s be 8 - 4 - (t + 7). Solve s*y + 4 = y for y.
4
Let z be (-1 - 1/(-3)) + 96/36. Let b be (z - (2 - 3)) + (-2)/(-2). Solve u = 5 - b for u.
1
Let q be (-2)/(-7)*2 - (-23040)/448. Suppose 5*h = 8 + q. Suppose 3*k - h = -k. Solve k*t = -2 - 4 for t.
-2
Let p be -7 + (1 + 0 - -8). Solve p*k - 7 = 7 for k.
7
Let q(n) = n**3 - 10*n**2 + 4*n - 9. Suppose -5*i + 22 + 33 = 0. Let m be q(i). Let w be (-2)/5 - m/(-15). Solve 3*u + w = -2*u for u.
-2
Let i = -35 + 39. Suppose v - 102 = -i*d, 0 = -5*d - 4*v - 0*v + 133. Suppose -2*r + 7*r + 5*l - 25 = 0, 5*r + l - d = 0. Solve r*o - 5 = -0*o for o.
1
Suppose 5*a + 33*a - 76 = 0. Solve 0 = -a*f + 32*f - 180 for f.
6
Suppose 167*n - 120*n - 7990 = 0. Solve -n*v = -175*v + 10 for v.
2
Let p be 2/4 - 126/252. Solve p = -30*r - 38 + 8 for r.
-1
Let v be -1*(-6 + 7) + (122 - 1). Let x = v + -216. Let r be (-45)/(-24) - 12/x. Solve 0 = a + r*a - 9 for a.
3
Let p(q) = -2*q**3 + 18*q**2 + q + 8. Let s be p(9). Solve 34*i + 14*i = s*i for i.
0
Let b be 1 + 1996/14 + (-92)/161. Solve -558 = -83*y - b for y.
5
Suppose y + 18 = -6. Suppose 10*n = -294 + 54. Let l = n - y. Solve -w = 1 - l for w.
-1
Let g be ((-145)/(-15) + -3)*(-12)/(-8). Let o be (-1 - (-4)/(-1))/((-10)/g). Solve o*q = 14 - 4 for q.
2
Let d(x) = 5*x + 38. Let z be d(-7). Let w = -235 + 237. Solve w*f = z*f for f.
0
Let t(l) = -24898*l**2 + 24884*l**2 - 2*l**3 - 12 - 3*l**3 + 4*l**3 + 14*l. Suppose -3*z - r = 43, 5*r = 4 + 6. Let s be t(z). Solve -k = 2*k + s for k.
-1
Suppose 2*i - 5*i = -51. Suppose -9*h - 247 = -22*h. Let j = h - i. Solve -c - j*c = 6 for c.
-2
Let j = 158 + -163. Let n be 633/(-1055) - (1 + 113/j). Solve 9*p - n = 2*p for p.
3
Let d(y) = -22*y**2 - 351*y + 43. Let n be d(-16). Solve -30*p + n = -3 for p.
1
Let t(k) = k**3 + k**2 - 76*k + 33. Let s be t(-9). Solve 9*o - s + 42 = 0 for o.
3
Let s be (7/2 - 1)*-8*(-576)/160. Solve -6*h = 6*h + s for h.
-6
Let t = -11899 - -11927. Solve 135 = -t*k + 23 for k.
-4
Let y be (-1 + 6 + -8)*250/(-3). Suppose -40 = -s - 4*u, -9*s + 13*s = 2*u + y. Solve 0*v - 12*v = -s for v.
5
Suppose 0 = 5*l + 125 + 15. Let v = l - -27. Let h be (-52)/(-39)*(2 - v). Solve w - 25 = -h*w for w.
5
Let l be (-15)/10 - (2 - 19/2). Suppose -2*j - 9 = -q, 0 = q - j - l. Solve 0 = q*f + 3 for f.
-1
Suppose 241*q - 247*q + 36 = 0. Let k be (-2)/(2 - 0 - 0). Let c be (q + -8)/(k*(-1)/(-2)). Solve -c + 0 = 4*x for x.
-1
Suppose a + 10 = 5*d, 0*d - 4*d - 8 = -4*a. Let c = -107 - -113. Suppose c*h - 2*h = -5*o - 6, -o = -h - 6. Solve -o*s + d*s = 0 for s.
0
Suppose -y + 2*l = 30 - 323, -5*l = -2*y + 581. Let n = 306 - y. Solve 0*t - n*t + 9 = 0 for t.
3
Suppose -6*t + 401 - 389 = 0. Solve 10*h = t*h - 11*h for h.
0
Let o(m) = 3*m - 22. Let r(n) = -6*n + 45. Let t(c) = 11*o(c) + 6*r(c). Let x be (-5*6/(-35))/((-6)/(-56)). Let u be t(x). Solve u*j + 16 = 8*j for j.
4
Let g = 17 - 15. Suppose 3*w - 5*w = c - 11, w = -5*c + 1. Let p be w/(-15)*15/(-3)*1. Solve -p*o - g*o = -4 for o.
1
Let i(r) = 3*r**2 - 4*r + 54. Let a(m) = 2 + 6*m - 1 + m**2 - 6*m. Let c(v) = 4*a(v) - i(v). Let y be c(-10). Solve n - y = -4*n for n.
2
Suppose 65*z - 62*z - 102 = -5*m, -5*z = -4*m + 52. Let k be (-1)/(-4) + (-332)/(-16). Solve -k*s = -m*s for s.
0
Let j(r) = -r**3 + 8*r**2 - 14*r + 12. Let z be j(6). Suppose z = -417*q + 406*q + 506. Solve q = 3*b + 31 for b.
5
Suppose 0 = 5*a + 25, -2*g + 3*a = -a - 24. Suppose -13 = -4*v - 3*t, 0 = -3*v - 3*t + t + 10. Suppose 0 = v*o - 0*o - 8. Solve o = g*b + 8 for b.
-3
Suppose 0 = -2*w + w - 4*q + 99, -4*q = -2*w + 150. Let s = w - 73. Solve -7*r + s*r = 6 for r.
2
Let q = -9568 + 9668. Solve q*m + 8 = 92*m for m.
-1
Let a be (10 - 2 - -4) + (-5 - -6). 