 = -z*l + q for l.
4
Suppose -47*a + 605 = 182. Solve a*k + 42 = 30*k for k.
2
Suppose -2*m - 4*y = 16, -4*m + y = 134 - 165. Solve -39*w + 180 = m*w for w.
4
Suppose -135*k + 20 = -133*k. Suppose -26 = -4*b + 5*z, -b + z - k = -4*b. Solve 56 = b*g + 40 for g.
4
Let v(l) = -2*l**2 + 9*l + 1046. Let x be v(25). Solve -x*p + 15*p = 38*p for p.
0
Let r(t) be the second derivative of -t**5/20 + 11*t**4/12 - 5*t**3/2 - 11*t**2 - 89*t - 1. Let s be r(9). Let w be (2/(-3))/((-2)/30). Solve w = s*f - 5 for f.
3
Let z(g) = -g**3 - 17*g**2 - 23*g - 18. Let a(p) = -6*p + 3. Let y be a(3). Let h be z(y). Let c = -118 - h. Solve c + 7 = -4*m for m.
-3
Let y(q) = -q**3 + 10*q**2 - 12*q + 470. Let s be y(12). Solve 48*u + s - 86 = 0 for u.
1
Suppose 21*l - 44*l = -230. Suppose -5*z = -2*h + 11, -3*h - 9 = -2*z - 31. Let r = l - h. Solve 0 = 2*a - a - r for a.
2
Let w be (-60)/(-10)*6*2/8. Suppose -w*j + 4*j = -5. Solve -j = 2*a - a for a.
-1
Let t = -45 - -50. Let p(n) = -2*n + 14. Let q be p(t). Suppose 5*j + 4*j = q*j. Solve l - 5*l - 8 = j for l.
-2
Suppose -9 = -6*a + 111. Suppose -d - 3*w - 4 = -2, -3*d + 4*w + a = 0. Let v be (d/(8/(-3)))/((-12)/16). Solve -v*l - 1 = -l for l.
-1
Let t be (30/(-10))/(13/(-8) - -2). Let i be 21/(-56) - 19/t. Suppose -4*v = -i*v - 8. Solve v*y = y for y.
0
Let r(b) = b**2 + 6*b - 329. Let i be r(-23). Solve 0 = 22*f - i + 172 for f.
-5
Suppose -2*q + 6 = 0, -451*x + 3*q + 159 = -448*x. Solve -46*t - 194 + x = 0 for t.
-3
Let r(m) = 177*m + 37. Let d be r(-1). Let s be -2*6/8*d/42. Solve 0 = s*b - 11 - 9 for b.
4
Let p be (220/(-132))/(2/(-6)). Suppose -49*m - 30 = -3*c - 52*m, 0 = -c - p*m + 22. Solve 6*g = -g + c for g.
1
Let n be (-4 + -1)*(-1 - 1). Let k = 277427 + -277402. Solve k = n*u - 15*u for u.
-5
Let c be 0 + 2 - (-18)/9. Suppose -c*x = -5*x + f - 28, 2*f - 4 = 0. Let q be (-2)/((-12)/(-8) + x/12). Solve 0*t = t - q for t.
3
Let u = -3698 + 3707. Solve -12 = 3*c + u*c for c.
-1
Let w(o) = -47*o + 2880. Let c be w(53). Solve -6*h - c = -395 for h.
1
Let p = 209 - 189. Solve -62*v + p = -72*v for v.
-2
Let r = -139 - -151. Suppose -14 = -5*w - 4, -u - 5*w + r = 0. Solve -3*s + u*s - 5 = 0 for s.
-5
Suppose -2*n = 2*o - 2, 2*o + 5 = -4*n + 7. Suppose n = 23*c - 16*c. Suppose c = 13*a - 14*a + 3. Solve -a*x - 1 + 10 = 0 for x.
3
Let p = 94 - 93. Let v be 3 - (-7 + 2 + (p - -3)). Solve 0 = 2*m - v - 6 for m.
5
Let r be (-3)/(2 - (-4 - -7)). Suppose 15 = 5*u - 0*u. Suppose w - 2*p = 9, -5*w + 12 = 4*p - u*p. Solve -w*b - r = -15 for b.
4
Let o(w) = -6*w - 10. Suppose 0 = 4*t - 3*t + 3. Let f be o(t). Suppose -25 - 1 = -4*h - z, -4*h + 34 = -3*z. Solve -3*d - f = -h*d for d.
2
Let l be 0 + (0 - (-42)/7). Let k be 1 + 2 - (-2 - -2). Suppose 9 = -4*w + 7*w. Solve -w*j - k = -l for j.
1
Suppose -4*l + 180 = -12*i + 8*i, 3*i + 184 = 4*l. Solve l*x - 29*x = -60 for x.
-3
Let r(o) = -o**3 - o**2 - 2*o + 3. Suppose -4*y + n - 3 = y, -12 = -4*n. Let l be r(y). Solve -l*t - 5 = -20 for t.
5
Let c(y) = y**3 + 9*y**2 - 2*y - 14. Let n be c(-9). Suppose n*j - 24 = 12. Solve j = 6*s - 15 for s.
4
Suppose 25*u = -33*u - 36 + 268. Solve -u = -8*x - 52 for x.
-6
Let s = 4461 - 4430. Solve s*h - 8*h + 138 = 0 for h.
-6
Suppose 9*i - 170 - 2278 = 0. Suppose 269*r + 183 = i*r. Solve 0 = r*k - 58*k for k.
0
Let j be (-65 - -23)/((-6)/8)*(-14)/(-8). Solve 468*x - 454*x = j for x.
7
Let y = -32 - -34. Suppose -2*b + y = -b + 3*i, 2*b - 14 = 4*i. Suppose 0 = n - c - b, 5*n - 7 + 22 = -3*c. Solve n*r + 3 = -3*r for r.
-1
Let k(w) = 3*w**2 - 13*w + 12. Let h be k(11). Let v = h + -232. Solve -24 = -v*o + 6*o for o.
-4
Let a be -9 + (-6)/9*(-969)/34. Solve -a*p + 47 = -13 for p.
6
Let f = 9841 + -9581. Solve f = 43*c + 45 for c.
5
Let s(d) = 17 - 2*d - 4*d - 8*d - d**3 + 17*d**2. Let x be s(16). Suppose -x + 31 = -3*r. Solve -15 = r*l - l for l.
-3
Let y = -3020 + 3061. Solve -41 + y = 5*r for r.
0
Let i = -36 + 36. Suppose -5*c = -o + 25 + 14, i = 3*o + 5*c - 137. Let k = -35 + o. Solve 0 = 5*l + k + 11 for l.
-4
Let q(o) = -6*o - 63. Let l(m) = 6*m + 63. Let p(x) = -4*l(x) - 5*q(x). Let z be p(-10). Solve -4*u + z - 7 = 0 for u.
-1
Suppose 2*j - 2*a + 40 = 0, 3*j - 4*a + 24 = -40. Let y be (-56)/j + 1/(-2). Let s(f) = f**3 - 5*f**2 + 7*f - 1. Let c be s(y). Solve -c*h + 5*h - 6 = 0 for h.
2
Suppose r = -3*x + 80, 2*x = 6*x - 2*r - 100. Let d = 51 + x. Let c = d - 75. Solve -c*m = m for m.
0
Suppose 0 = -131*w + 128*w + 360. Suppose 3*k + 0*k - w = 0. Solve 0 = -5*q + k - 15 for q.
5
Let y(i) = i**3 - 9*i**2 + 3*i + 67. Let c be y(7). Let u be 2*(1 - (-15)/c) + 7. Solve u*j - 8 = 8*j for j.
-4
Suppose 0 = 48*r - 45 - 2259. Solve r = 3*s + 42 for s.
2
Suppose 14 = 2*a + 3*j - 7, 3*a - 2*j + 1 = 0. Let i = 392 + -376. Suppose -3*b - 3*n = -12, -3*b + 0*n - 5*n + i = 0. Solve -5*v + a = -b*v for v.
1
Suppose 184*x = 117*x. Solve x = -70*t + 69*t + 1 for t.
1
Let k = 3828 + -3748. Solve 70*s + 20 = k*s for s.
2
Let i(z) = -2*z**2 - 45*z + 23. Suppose -m + 4*m + 2*d = -66, 0 = -4*m + 5*d - 88. Let t be i(m). Let w be ((-12)/(-30))/((-3)/t*-3). Solve w - 14 = -4*u for u.
3
Let c = 483 + -510. Let i be 16/18 - c/243. Solve 0 = -o - i + 5 for o.
4
Suppose o = -3*q + 258 - 34, -o = q - 218. Suppose o + 17 = 8*l. Suppose 0 = -5*i + h + 4 + l, 2*h + 6 = 0. Solve w = i*w - 25 for w.
5
Suppose -2*u - 2*q = 2, 4*u = -q + 4*q + 31. Let z be -1 + (0 - 9)*(-2)/6. Suppose -z*n + 2*a = -n - 19, -4*a - 83 = -5*n. Solve -n = j - u*j for j.
5
Suppose 26 = -3*n + 3*z + 14, 0 = -5*n + z. Solve 0 = 6*r - 23 - n for r.
4
Let g be 3/((-8)/68*(-6)/4). Suppose 0 = 10*r + g*r - 27. Solve 8*z - 9*z = -r for z.
1
Suppose f - 56 = v, 88 = 2*f - 99*v + 101*v. Solve -25*l + f = -0*l for l.
2
Let o(k) be the third derivative of -k**4/8 + 3*k**3 - 35*k**2. Let v be o(-10). Suppose 0 = a - 5*a + v. Solve 3 = 3*b + a for b.
-3
Suppose -38*x + 7452 = -3112. Let p be (72/(-7))/2*(-973)/x. Solve 7*y - p = 3 for y.
3
Suppose 656 = -q + 5*q. Suppose q = -10*b - 116. Let n = b + 32. Solve -n*a + 7 = -5 for a.
3
Let h(x) = x**2 + 92*x + 1033. Let n be h(-13). Solve 0 = -n*t - 8253 + 8211 for t.
-7
Let v(h) = -h**3 + 3*h**2 + 68*h + 9. Let c(l) = 2*l**3 - 8*l**2 - 138*l - 19. Let o(b) = -2*c(b) - 5*v(b). Let g be o(-8). Solve -g + 13 = -11*y for y.
4
Let f be (-3*(-3)/9)/((-20)/(-580)). Solve -f*t = 64 + 81 for t.
-5
Suppose o - 4*l = 367, 2*o + 96*l - 690 = 93*l. Solve -357 + o = -s for s.
6
Suppose 5650*o - 602 = 5643*o. Solve o*v - 20*v = -462 for v.
-7
Let o be (11 + (-4 - -8))*-42. Let f = o - -632. Solve 9 = -f*h + 7 for h.
-1
Let j = 15 + -10. Suppose 312*v + 785*v = 3 + 1 - 4. Suppose -z + 5*l + 3 = -2, -45 = -3*z + 5*l. Solve -j*b - z = -v*b for b.
-4
Let d(l) be the third derivative of -l**6/60 + 13*l**5/20 - 3*l**4/4 - 17*l**3/6 - 58*l**2. Let w be d(19). Solve -6*y = -w*y - 12 for y.
3
Let j(g) = -g**2 - 123*g + 3372. Let i be j(23). Solve 66*f - 68*f = -i for f.
7
Let t = 248 + -199. Suppose a = -4*r + t, 0 = -r + 5*a - 4 - 10. Solve -r = 4*z + 1 for z.
-3
Let y = -406 + 421. Suppose 0 = 594*v - 589*v - y. Solve 0*x = v*x for x.
0
Let b = 2198 - 2130. Suppose 3*p - 134 = p. Suppose -5 = p*c - b*c. Solve 3 + 2 = c*g for g.
1
Suppose -668*t = -75*t + 103*t - 11832. Solve -t*k + 1881 - 1847 = 0 for k.
2
Let q = 936 - 933. Suppose q*w - 6*n + 3 = -2*n, -3*w + 3 = -2*n. Solve -w*y + y = -4*y for y.
0
Let d(m) = -18*m + 171. Let v be d(9). Solve -v*c + 81 = 117 for c.
-4
Suppose 13*n = 150*n - 411. Solve 0 = 27*t - 84 + n for t.
3
Suppose -45*h + 17489 = -7261. Solve h*g = 551*g for g.
0
Suppose -12*m = 10*m - 46178. Solve -m = 7*v - 2057 for v.
-6
Suppose 0 = 5*u - 5*y - 50, -u = -26*y + 22*y - 25. Let w be (0 - u)*(1 - 0)*-1. Solve -f - 7 + w = 0 for f.
-2
Let h = 3 + 0. Let u = 50 - 48. Suppose -4 + 2 = u*n, -n - 3 = -w. Solve w = d - h for d.
5
Let h be (90 - 65)/(5/12). Solve -h*i = -63*i - 6 for i.
-2
Suppose 2*w + 3*b = 2, 14 = -2*b + 10. Suppose 11*h - w*h = 70. Solve 15 = -7*x + h*x for x.
5
Let h = -76 - -89. Suppose -h*c + 682 - 201 = 0. Suppose -2*t + 42 = 5*y - 7, t + 5*y - c = 0. Solve -4*m + t = -8 for m.
5
Let m be (-1248)/(-49296) + (-630)/(-79). Solve 17*u - 72 = m*u for u.
8
Let z(x) = x - 3. Let u be z(6). Let s = 262243 - 262238. Solve -u*r = -s - 1 for r