a + 8 for a.
-4
Let b(p) = -29*p**2 + 3*p + 2. Let r be b(-1). Let a = r - -35. Let z(y) = -y**3 + 4*y**2 + 3*y + 12. Let n be z(a). Solve n*w + 10 = -0*w for w.
-5
Let k(x) = -x**3 + 9*x**2 + 9*x + 34. Let c be (7/3)/((-1)/(-3)) - -3. Let u be k(c). Suppose 5*y - u = -2*h, -4*h - 6 = y - 9*h. Solve y = a + 2 for a.
2
Let k be (-132)/(-9) + (-5)/(-15). Suppose 20 = -4*x, w + 3*x + k = -0*w. Suppose w = 3*n + 3*s - 18, 3*n - 5*s = -0*n - 6. Solve n*f = -f + 4 for f.
1
Let j(v) = -2*v**2 - 18*v - 8. Suppose 4*f + f + 1 = 3*c, f - 27 = 4*c. Let n be j(c). Suppose -n = -2*a - 0. Solve u = -u + a for u.
2
Suppose 4*t + 10 = 22. Solve t*h + 238 = 244 for h.
2
Suppose s = 5*f - 2*f - 198, 2*f - 115 = -5*s. Suppose -13*j + m = -18*j + 55, 4*j + 5*m = f. Solve j = 13*c - 11*c for c.
5
Suppose 0 = g + 21 - 25. Suppose -28 = -g*l + 4*r, -4*r = -0*r + 20. Suppose n + 0*n = 4*h - 17, 0 = l*h - 10. Solve 7 = -n*w - 2 for w.
-3
Let n(l) be the third derivative of 4*l**4/3 + 32*l**3 + 242*l**2. Let v be n(-6). Solve 27*r - 23*r - 8 = v for r.
2
Let h(l) = 2006*l + 4391. Let d be h(-2). Solve -d = 123*r + 728 for r.
-9
Suppose -19*n - 50*l + 153 = -47*l, 0 = 2*l + 12. Solve -n*t + 29*t + 20 = 0 for t.
-1
Let v(b) = 2*b**2 - 2*b - 10. Let x be v(-2). Suppose -2*u = -4*n - 0*n + 26, -x*u = -5*n + 30. Solve n*h - 5 = 7 for h.
3
Let l(a) = 2*a**2 + 33*a - 217. Let t be l(28). Solve -2285*g = -t*g - 10 for g.
1
Suppose -8 = 3*b - 2, -854 = -4*k - b. Suppose 8*y + 22 = k. Solve 2*p + 20 = y for p.
2
Let l(a) = 6*a**2 + 138*a + 78. Let x be l(-23). Solve -84*k = -x*k + 36 for k.
-6
Suppose 1 = 2*t - a, 4*t + 2*a - 27 = -a. Let r be (-55)/(-2) - 2/4. Suppose 15*n + r = 18*n. Solve n + 0 = -t*w for w.
-3
Suppose -7*m - 1707 = 477. Let b be (-102)/(-27) + m/54 + 6. Solve 0*c = b*c for c.
0
Let h be 3 + 5/35*-7. Let l be 3/4 + (-2)/(-8). Solve -h*b = 1 + l for b.
-1
Let k = -90 - -141. Let t = k - 41. Solve v - 6*v = t for v.
-2
Let x(u) = -4*u**2 - 63*u + 18. Let m be (-1 - (-1 - -4))*(9 + -5). Let s be x(m). Solve 4*k = -s + 22 for k.
5
Let s = 1 + 0. Let y = 15 - 11. Suppose -5*h + 5 = 0, 4*d - 63 - 18 = 3*h. Solve -s + d = -y*z for z.
-5
Suppose -6 = -4*t + 2*t, -3*t = -3*l - 6. Suppose 31 = 10*z + l. Solve z*y = 4*y - 5 for y.
5
Let m(z) = -4*z**3 - 39*z**2 - 15*z + 4. Let x be m(-11). Let a = -747 + x. Solve 0 = -3*j - a + 12 for j.
-5
Let d(n) = -4*n. Let p be (-4)/(-14) - 36/28. Let a be d(p). Suppose 4*t - 3*w = t + 3, 0 = 3*t - a*w. Solve -h = h - t for h.
2
Suppose 0*s - 4 = -2*s. Let g = 332 - 332. Suppose -d - 4*f + 9 = 0, 5*d + f - 13 + 6 = g. Solve s*j = -d - 3 for j.
-2
Suppose 2*p + 8 = 4*v + 26, -23 = -3*p + 4*v. Let r = p + -1. Let o(s) = 3*s**2 + 62*s + 271. Let f be o(-15). Solve 0 = -4*z + r - f for z.
-3
Let y be 18*((-58)/(-6) + (6 - 7)). Let u = y + -152. Solve 9*o = u*o for o.
0
Let v(p) = p**3 + 15*p**2 - 17*p - 12. Let d be v(-16). Suppose 3*t = -d*f + 3, -30 = -5*f + 10*t - 5*t. Solve n + 4 = f*n for n.
2
Let s = -154 - -309. Let d = s + -151. Solve d = 4*z - 3*z for z.
4
Suppose -201 = -31*u + 512. Solve -u*m = -13 + 36 for m.
-1
Let l = -8 - -32. Suppose l*q - 28*q = 0. Solve q = 2*o - 6*o + 8 for o.
2
Suppose 62*y + 23*y = 14*y + 3266. Solve y*b = 25 + 343 for b.
8
Suppose -2*h = 4*g - 504, -3*h - 77 = 5*g - 708. Solve -122*b = -g*b - 9 for b.
-3
Suppose -4*r - 5*a - 619 + 652 = 0, 3*r + 4 = 2*a. Solve -r*h - 34 = 15*h for h.
-2
Let j(s) = s**3 - 13*s**2 + 22*s - 8. Let h be j(11). Let r be (h/(-12)*3)/((-8)/(-16)). Suppose 0 = -4*x + 2*x + 30. Solve r*m - x = -m for m.
3
Suppose 31 + 11 = 7*u. Let p(v) = -v + 10. Let m be p(u). Solve 3*c - m = 2 for c.
2
Let p(j) = 3*j**3 - 45*j**2 + 36. Let n be p(15). Solve 9*v + n = -18 for v.
-6
Suppose m + 4*z - 40 = 0, -m + 2*z + 42 = 32. Solve m*v - 9*v - 22 = 0 for v.
2
Let v be (-15473)/(-25) + 946/11825. Solve 127 = 82*r + v for r.
-6
Let v be (-21 - (-3104)/192)/(-2 + 22/12). Solve 0 = -v*r + 36*r for r.
0
Suppose -3*r + 27 = -12*r. Let d be -2 + -12*1 + r. Let v = -11 - d. Solve m = v*m for m.
0
Let f = 386 - 371. Suppose 89*i - 92*i + f = 0. Solve -i*u = -u - 12 for u.
3
Let r = -1254 + 1257. Suppose -85 = -5*c + 15. Solve -r = -21*s + c*s for s.
3
Let c(y) = -2*y**2 + 1 + 1 + 1 - 11*y - 2 + 9*y + y**3. Let d be c(3). Solve 4*t = -2*t + d*t for t.
0
Let r be ((40/32)/((-3)/16))/((-18)/108). Solve -12954*g + 12962*g - r = 0 for g.
5
Let l = -9338 - -9390. Solve -l = 38*i - 242 for i.
5
Suppose -5*p + 5 = 30. Let u be ((-2)/p)/(8/40). Solve l = -u*l for l.
0
Let u = 2684 + -2661. Solve u = -6*k + 29 for k.
1
Let k = 174 + -172. Suppose -k*n - 16 = -u + 2*n, -5*n - 20 = -u. Solve u = l + 3 + 2 for l.
-5
Let j = -40 - -41. Let t(k) = -k**3 - 3*k**2 - k + 2. Let q be t(-2). Solve -p + q = -j for p.
1
Suppose -5*w = 5*y + 46 - 121, -4*w = -20. Solve 2 = -3*o - y for o.
-4
Let s = -828 - -881. Solve -45 = -2*y - s for y.
-4
Let h be (55/(-11) - (-34)/6)*-303. Let o = h + 208. Solve -7*f - o - 15 = 0 for f.
-3
Let i(c) = 12 + 539*c - 533*c + 35. Let g be i(-7). Solve 3 = -g*d + 2*d for d.
-1
Let a be 4/5 - (-88)/40. Suppose 0 = j - 12*j - 880. Let p = j - -84. Solve -5 = p*l + a for l.
-2
Let y be (-16)/(-56) - 2/7*-13. Suppose 0 = 5*p + 7*m - 3*m - 3, -21 = -y*p + 3*m. Suppose -5*o + 3*z = -36, z = -o - p*z - 2. Solve 0*q + o = 3*q for q.
2
Let g be -24 + 27 + ((-3)/3)/(-1). Suppose -2*b - 4*u + 5*u = -8, b = g*u + 18. Solve -5*c + b = -13 for c.
3
Let a be -5*3 + 14 + -16. Let j = -17 - a. Suppose 5*x - 6*x + 10 = j. Solve 5*k = -0*k - x for k.
-2
Suppose -5*t + 435 = 5*o, 266*o = 259*o - 5*t + 617. Solve o*p - 94*p = 6 for p.
-2
Let q be (2 + -3)/5 - (2586/(-30) + 3). Solve -q = 57*t + 145 for t.
-4
Let h = -193 + 202. Let g be 3/4 - (h/(-4) - 2). Solve 0 = -6*l + g*l - 1 for l.
-1
Let a(s) = s**3 + 9*s**2 + 10*s + 19. Let p be a(-8). Suppose -5*k - c = -19, 4*c + p + 1 = 0. Suppose 0 = -k*m + m + 12. Solve -m*i = -i for i.
0
Let y(k) = 2*k**2 + 66*k + 11. Let l be y(-33). Solve -10*u = -l - 19 for u.
3
Let l = -2 + 4. Let g(s) = -s**3 + 7*s**2 + 20*s - 15. Let p(k) = k**3 - 4*k**2 - 2*k - 6. Let z be p(5). Let q be g(z). Solve -t - q + l = 0 for t.
-1
Suppose 2*k - 16 = 4*c, 5*k - 28*c - 16 = -24*c. Suppose 0 = -2*j + 2*q + 8, 0 = 3*j + 3*q - k*q. Solve -j*t - 3*t = 10 for t.
-2
Let y be 6/(-12)*4 + 110. Let g = y + -108. Solve -x + 2*x = g for x.
0
Let g(u) = -u**2 - 50*u - 167. Let d be g(-46). Suppose -13 = -3*b + 2. Solve -b*p + d = 7 for p.
2
Suppose -2*d - d = -t - 7, -2*d = 2*t + 6. Let l be d*2*(3 + -2). Solve l*s - 4 = -14 for s.
-5
Let p be -3*1*(-13 - 12). Let h = p + -70. Solve 2*q - h = 1 for q.
3
Suppose 364*w + 5 + 4 = 9. Solve -10*j + w*j - 6*j = 0 for j.
0
Let k be (-1)/(-3)*19620/327. Solve 37*n = k*n - 68 for n.
-4
Let s(q) = -q**3 + 79*q**2 - 148*q - 449. Let f be s(77). Solve 21 = -f*z - 18 for z.
-3
Let k be (20/1)/(-2 - -3). Suppose -4*i - 145 = u, -u = -4*u + 5*i - 350. Let c = -121 - u. Solve l - k = -c*l for l.
4
Suppose 42*u - 16*u = 5928. Suppose -u + 204 = -4*l. Solve 4*j + l*j - 20 = 0 for j.
2
Let h be 39 + 2835/(-72) + 9/(-48)*-2. Solve -356*f + 329*f + 135 = h for f.
5
Let z = -13676 - -14193. Solve 527*p - 50 = z*p for p.
5
Suppose -g = 5*z - 100, 3*g + 60 = 15*g. Solve 0 = -z*o + 17*o for o.
0
Let n be ((-6)/24)/((-217)/36 - -6). Solve -n*q - 116*q = -750 for q.
6
Let f be (-4)/(-18) + (-100)/(-36). Suppose -f*r = 7*r - 20. Suppose -6*n - r*n = -24. Solve 5 - 2 = n*p for p.
1
Let w(k) = k**3 + 12*k**2 - 29*k - 9. Let c be w(-14). Suppose -10 = -c*v, 0 = t + t + v - 14. Suppose -12*r + 10*r = -t. Solve -20 = p + r*p for p.
-5
Suppose 0 = -4*g + 3*i + 484, -4*g + 1746 = 5*i + 1326. Solve 24 = 107*p - g*p for p.
-3
Let q be (275/(-99) + 1 - 8/36) + 2. Solve q = -54*w - 197 + 35 for w.
-3
Suppose -2*f - 122 + 156 = 0. Suppose 12*t = f*t - 80. Solve t + 14 = -6*q for q.
-5
Suppose -653*o + 647*o - 1398 = 0. Let c = o + 250. Solve -6*g - 13 = c for g.
-5
Let r = -7279 + 7300. Solve 6*k - 3 = r for k.
4
Let u(r) = -8*r + 70. Let c be u(9). Let i be 9 - (c/2 - -6). Solve 0 = 2*o - 0*o - i for o.
2
Let w(n) = 361*n - 11. Let l be w(-1). Let h = l + 375. Solve 2*o = h*o + 3 for o.
-3
Suppose -12*u = 33 - 345. Suppose 44*h - 194 = u. Solve 98 = h*g + 83 for g.
3
Let n