4*o + z for o.
4
Let z(g) = 68*g + 328. Let v be z(-3). Solve 0 = -16*l + 12 - v for l.
-7
Let c = 40 - 36. Let d be (c/(-8))/((-5)/(-420)). Let t = -39 - d. Solve 5*u + 8 = t for u.
-1
Suppose 0 = -2*x - 0*x + 50. Let k = 4428 - 4419. Solve 7 = k*d + x for d.
-2
Suppose 0*j = 2*j - 16. Let w(s) = s**3 + 10*s**2 + 23*s + 16. Let k be w(-7). Solve k*b + 0*b - j = 0 for b.
4
Suppose 0 = 5*i - 5*t - 27 + 7, 0 = 4*i - 3*t - 12. Suppose 2*k - 2 = 3*k - w, -2*w + 1 = -3*k. Let j be 4 - (12/k - 0). Solve i*g - 5*g - 20 = j for g.
-4
Let b(t) = -t**2 + 4*t - 3. Let z be b(3). Let u(l) = 6*l - 141. Let n be u(-12). Let p = n - -213. Solve p = -z*j + 4*j + 16 for j.
-4
Suppose 2*t + 6 = -2*v + 32, -4*t + 46 = -2*v. Let z(m) = 623*m - 1869. Let f be z(3). Solve f = -2*c - c - t for c.
-4
Let q = -227 - -236. Solve -9*a + 18 = q*a for a.
1
Let m = 27 + -22. Let g be ((-2)/m)/((-6)/60)*-2. Let w be g/5*10/(-4). Solve 0*d = -4*d - w for d.
-1
Let i(n) = 129*n**3 + 10*n**2 + 15*n - 24. Let c be i(1). Solve -c*d - 22 = -119*d for d.
-2
Let m(v) = -106*v - 103. Let l be m(-1). Solve -l*i - 15 + 3 = 0 for i.
-4
Let x be (117/(-26))/((-3)/2). Suppose -2*z - 72 = -4*c, x*c - z = z + 53. Solve c*q = 22*q + 15 for q.
-5
Let r(t) = t**2 - 6*t + 16. Let h be r(13). Let c be 240/2 + 66/(-5 + -6). Let d = c - h. Solve 0 = d*v - 10*v - 9 for v.
-3
Suppose 334*m - 39842 = -102*m - 602. Solve -460*n - m = -450*n for n.
-9
Let i be 6/(-12)*-20 - 222/(-37). Solve -i*r - 162 + 34 = 0 for r.
-8
Let n be (-524)/(-14) - (80/56 - 1). Suppose 79 = 58*w - n. Solve -j = -w*j + 2 for j.
2
Let m(b) = -b**2 - 3*b + 54. Suppose 3*f + x = 15, 5*x + 22 = 5*f - 23. Let t be m(f). Solve t = 2*v + v - 15 for v.
5
Let v(z) = -z**2 - 17*z + 38. Let s be v(-19). Suppose 5*j - 21*j = s. Solve j = -3*w + 7*w for w.
0
Let h = 201 + -243. Let n be -1*h/3 + (-6)/(-3). Solve -7*v + 3*v = -n for v.
4
Suppose 0 = 5*t + 4*y - 8, 2*y - 2 = 5*t + y. Let i = 85 + -64. Suppose i + 147 = 21*a. Solve t*c = 2*c + a for c.
-4
Let v be (3 - -3)/((9 - 3) + -4). Let c(o) be the third derivative of o**5/60 + o**4/8 - o**3 + o**2. Let q be c(v). Solve -b - 2*b - q = 0 for b.
-4
Let x = -29 + 51. Let c(g) = 3*g - 66. Let s be c(x). Let w be (-2 + 1)*(4 + -10 + s). Solve -w*l - 5 = -l for l.
-1
Suppose l - j + 3 - 2 = 0, -10 = -2*l - 2*j. Let o = 138 - 135. Solve -l*q + o*q = -q for q.
0
Let u(d) = 103*d - 10823. Let j be u(106). Solve 63*y - j*y = 160 for y.
-5
Let u be (-16)/3*-2*21/28. Suppose -2*d + 0*d = -118. Suppose 4*c - u = -4*i, 1 + d = 5*c - 5*i. Solve -2 = 3*h + c for h.
-3
Let d(u) = -u**3 - 9*u**2 - 9*u - 6. Let s be d(-8). Suppose -5*z + 55 = -2*b, s*z - 51 = -2*z + 3*b. Solve 4*w - 3 - z = 0 for w.
3
Let n be ((-12)/9)/((-4)/18). Let h be 70/(-20)*12/(-21). Suppose 9*y - 4*y = -5*g + 35, -3*g + h*y = -11. Solve n = -g*i + 1 for i.
-1
Suppose -z = -10 + 6. Suppose k + 6*g - 4*g + 8 = 0, -z*k - 5*g = 20. Suppose 0*m - 7*m + 28 = k. Solve -m*t = -8 - 4 for t.
3
Let f = -3 + 6. Let b(x) = -x**3 + 11*x**2 + 14*x - 18. Let u be b(12). Suppose -3*y + 3*y = 17*y. Solve r - f*r - u = y for r.
-3
Let i(c) = c**3 + 22*c**2 - 46*c + 52. Let t be i(-24). Suppose 4*h - 4*j - 32 = 0, 3*h = h - t*j - 14. Solve h*q - 4 + 10 = 0 for q.
-2
Suppose 29*m - 33*m + 56 + 88 = 0. Solve m = -62*s + 56*s for s.
-6
Let k(f) = f**2 + 20*f + 53. Suppose 5*b - 6*b = 4*a + 37, 70 = -5*b + 3*a. Let d be k(b). Solve -2*u - d*u = 0 for u.
0
Let a = -15 + 27. Let r be 0/((-20)/a + (-24)/18). Solve r = -4*x - 28 + 20 for x.
-2
Let k = -457 + 460. Solve -3*g = -k*g + 5*g for g.
0
Let c(n) = 9*n - 5. Let h be c(2). Suppose -h*k + 40 = -3*k. Let x be (k - (-20)/(-5))/(-1). Solve x = 2*l + l for l.
0
Suppose 54 - 4 = q. Let s = 52 - q. Suppose s*m = 2*x + 2, -m - 3*x = -6*m + 11. Solve -m*t = t - 5 for t.
1
Suppose -18*m = -10*m - 23*m + 90. Solve m*q - 69 = -39 for q.
5
Let a(f) = 4*f. Let l be a(1). Let n be 9 + (0/1 - l). Let j = -54 + 58. Solve 5*b = j*b - n for b.
-5
Suppose 106*a - 134*a = -4704. Solve 74*b - 53*b - a = 0 for b.
8
Let a be (1/3)/(270/810). Solve -36*j = 143 + a for j.
-4
Suppose 315 = -8*s - 125. Let g be 33/s - 1494/(-15). Solve -g = 2*a - 91 for a.
-4
Let m(n) = 7*n + 183. Let d be m(-17). Solve -73*b + 36 = -d*b for b.
4
Suppose 0 = 33*u + 4 - 235. Solve u*o - 23 = 12 for o.
5
Let t be (-1 + 3 + -2)/(-3). Suppose n = -t*n + 4*p + 43, n - 47 = 5*p. Suppose 2*m = -0*j + 5*j - n, -5*j + 30 = -5*m. Solve j*c + 14 - 34 = 0 for c.
4
Suppose -13*x + 35 = -171 - 28. Solve -x = 285*z - 276*z for z.
-2
Suppose -3*v = 6, -14 = -3*u - 4*v - 4. Suppose -u*q = -3*q + l - 9, 7 = 2*q + l. Suppose 0 = 3*x - 8 - 7, 5*c + 4*x - 60 = 0. Solve -q*b = c + 2 for b.
-5
Let l be ((-7 + 97)/(-15))/((18/15)/(-3)). Solve 0 = -14*w + 113 - l for w.
7
Let a(i) = 11*i**2 + 70*i - 15. Let z be a(-7). Suppose -238 = -z*p - 68. Solve p*v + 15 + 5 = 0 for v.
-4
Suppose 0 = 4*v - 2*v + 8, 472 = 2*g - 4*v. Let c be (-4)/18 + (-1 - g/(-54)). Let r = -15 - -20. Solve 0 = c*k + 11 - r for k.
-2
Suppose 0 = -3287*u + 3171*u + 4872. Solve 32*d - u*d + 20 = 0 for d.
2
Let g(p) = p**3 - 10*p**2 - 17*p - 8. Let h be g(11). Let b = h - -77. Solve 18 - 3 = -b*l for l.
-5
Let p(v) = -v**2 + v + 2. Let j be p(0). Let n be 2*(90/70 + (-4)/2)/((-84)/294). Solve -n*a - 8 = j for a.
-2
Suppose 340*l + 4*j = 339*l + 2352, -2*j = -l + 2394. Solve l*g - 2385*g - 10 = 0 for g.
-2
Let v(d) = -3*d - 183. Let q(l) = l + 183. Let p(r) = 5*q(r) + 4*v(r). Let b be p(24). Suppose -n + 7 = 2*u, 4*n = -0*u + 2*u - 12. Solve k - b = u*k for k.
-5
Suppose -42*s = -218 + 8. Solve -10*c = -15 + s for c.
1
Suppose 47*s - 44*s + 5*j = -61, -2*s + 4*j = 4. Let p be 7/(-28) - (-3 + 87/s). Solve -p*w - 5 = -15*w for w.
1
Suppose -2*b = -5*y - 15, 0 = -5*b - y + 2*y + 72. Let d be (b/(-6) - -2)/((-8)/112). Suppose 4*g = s + d, 0 = 5*g - 5*s - 3 - 2. Solve 0 + g = -2*l for l.
-1
Let a be -34*4/12*(-3)/2. Suppose 15*r - a*r = -28. Solve 6 = -2*w + r for w.
4
Suppose -j + z + 24 = -3*z, z - 11 = -4*j. Suppose -5*v = -5*x - 25, -8*v = -j*v - 3*x - 21. Solve -7*h - 4 = -v*h for h.
-4
Suppose 93*c - 111*c = -9090. Solve -492*a = -c*a for a.
0
Suppose -2*f = u - 78, 5*f + 4*u - 162 = 30. Solve 288 = -f*h + 88 for h.
-5
Let p be 1/(-4) + (-20)/32*166. Let q = 107 + p. Solve -q*a = -8*a for a.
0
Let g = -12 - -14. Suppose z = 5*r - 6, z - 4 = -g*r + 4. Suppose -42 = -r*h - 5*p + 10, -10 = -5*p. Solve 1 = 4*u + h for u.
-5
Let c(b) = 4*b - 118. Let h be c(30). Let a be 54/3*(-1)/(-3). Suppose 10 = 7*f - a*f. Solve 0 = 3*d + h*d + f for d.
-2
Suppose 0 = -4*g - 4*w, g = -w + 6*w. Let u be 2/(-7) - (-708)/(-21). Let h = u + 37. Solve 3*i + 6 - h = g for i.
-1
Let o = 58 - 50. Suppose o*l - 42 = l. Solve -l - 2 = 8*h for h.
-1
Let h(p) = -2*p**2 - 11*p + 36. Let i be h(-8). Let f be (i/(-10))/(22/275). Solve g - f = 2*g for g.
-5
Let r = 5078 + -5176. Let b be ((-202)/6)/(2/(-6)). Let k = r + b. Solve s + k*s - 8 = 0 for s.
2
Suppose z - 2*z = -4*n + 3174, 4*n - 3180 = -2*z. Solve n = -u + 795 for u.
1
Let o = -447622 - -447627. Let f(m) = m**3 - 3*m**2 + m + 1. Let z be f(2). Let j = z - -7. Solve p = o - j for p.
-1
Let c(n) = 2*n**3 + 13*n**2 - 2*n + 55. Let y be c(-7). Let v be 50 + 2/4*-6. Let d = -41 + v. Solve y = -10*g + d*g for g.
-5
Let u(h) = h**3 + 7*h**2 - 6*h + 7. Let d be u(-8). Let g be (12/21)/(d/(-63)) - -17. Solve g = -5*w - 4 for w.
-5
Let v(d) = 6*d - 31. Let j be v(7). Suppose -j*g - 3 = -t - 9*g, 4*g = -4*t + 72. Solve -2*a - t = -3 for a.
-5
Let s(k) = -7*k**2 + 17*k - 36. Let j(z) = -4*z**2 + 8*z - 18. Let q(x) = 5*j(x) - 3*s(x). Let v = -5177 + 5186. Let n be q(v). Solve n = b + b + 4 for b.
-2
Suppose 7057*t = 7058*t - 11. Solve 15*b = -t*b + 130 for b.
5
Let f = 13 - -7. Suppose -f = 4*j, -2*j = 3*r - 8*r + 110. Suppose -r*m = -19*m - 4. Solve 0 = i - m*i - 6 for i.
-2
Suppose -51*f + 50*f = -5. Suppose 0 = -2*o + f*c - 7, -o = -2*o + c + 1. Suppose -84 + 128 = o*z. Solve z*x - 14*x - 3 = 0 for x.
-1
Let y(a) = -3*a**2 + 14*a + 10. Let r be y(5). Suppose -3*s - 2*i = 2*i - 20, 5*s - r*i = -25. Solve -b - 4*b = s for b.
0
Suppose 4*o + 32 = 12*f - 8*f, 4*f - 34 = 5*o. Solve 206*u - 209*u + f = 0 for u.
2
Suppose 56*z - 68*z + 12 = 0. Let r(t) = -t**2 + 8*t + 3. Let b = -1