 -r*d = -1 + 5 for d.
-1
Let q be -10 + -5*2/(-5). Let l(y) = -y**3 - 5*y**2 + 25*y + 14. Let r be l(q). Let s(n) = -n**2 - 8*n - 7. Let t be s(-6). Solve -5*f = -r*f - t for f.
-5
Let l(b) = -20*b - 262. Let p be l(-13). Let i = 4 + p. Solve 2*s - s = i for s.
2
Suppose 3*w - a - 111 = 0, 3*w - 93 = 3*a + 24. Solve w*b - 40 = 44*b for b.
-5
Suppose -x - 134 = 8*w - 4*w, -w - 36 = -x. Let b = -21 - 9. Let f = b - w. Solve -n = f*n + 10 for n.
-2
Let a(h) = -h**3 + h**2 + 7*h + 207. Let d be a(6). Solve -29*r = -d + 98 for r.
-1
Let g = -5238 + 5243. Solve 0 = 15*j + g*j - 20 for j.
1
Suppose -2*j - 10 = -20. Suppose -5*h = 4*y - h - 96, 2*h = j*y - 127. Solve 2*k - y = -3*k for k.
5
Let s(m) = 48*m - 2697. Let u be s(57). Solve 53*i - 145 = -u for i.
2
Let f(b) = -b**2 + 8*b - 2. Let r be f(7). Suppose 0 = -5*w - 10, 352*w + 26 = 3*s + 354*w. Solve s*d = r*d - 5 for d.
-1
Let i = 13254 + -13087. Solve 0 = -37*o - i - 129 for o.
-8
Let m(w) = w**2 - 36*w + 73. Let q be 3 - -30 - (1 - 2)*1. Let x be m(q). Solve -x*j - 20 = -j for j.
-5
Suppose 0 = 4*l + p - 30, -4*l + 0*p + 34 = -p. Suppose -d = -l*d - 14. Let k be (d/3 - (-34)/6) + -3. Solve k = 5*z - 3 for z.
1
Let u be 20/(((-2)/4)/(-1)). Let i be (-262)/7 + (-56)/98. Let q = i + u. Solve -q*z - 5 = 3*z for z.
-1
Let o(q) = -3*q**2 + 570*q + 337. Let d be o(190). Solve -d + 289 = -6*r for r.
8
Let o(q) = -5*q**3 + 2*q**2 + 2*q + 1. Let b be o(-1). Let j be 0/((9/b)/((-6)/8)). Solve j = -6*t - t + 14 for t.
2
Let n be -8*(5 - 147/28). Suppose n*z + u - 58 = -0*u, u + 66 = 2*z. Solve -z + 25 = 3*p for p.
-2
Suppose -9*i + 68*i + 1567 = 4163. Solve i*j - 230 = 122 for j.
8
Let h(m) = -m**2 - 9*m - 2. Let v be h(-8). Let r be (4/(-7))/((-40)/140). Suppose 8*p - r*c = 5*p + 70, 0 = -p + 4*c + 40. Solve -p = -o + v*o for o.
-4
Suppose 313 = -3*r - 3*r + 349. Solve -r*t + 106 = 64 for t.
7
Let g(i) = -i**3 - 2*i**2 + 12*i + 21. Suppose 0 = 5*b - 174 + 194. Let c be g(b). Solve -2 = -3*p - c for p.
-1
Let m be (-1 - (2 - 11))*(-22 + 14)/(-16). Solve -15*i = -m*i - 55 for i.
5
Suppose l - 5 = -4*u, 5*u = -3*l - 2 + 3. Solve -u = 12*i - 14 for i.
1
Suppose -5 = -2*b + 2*c - 3, -7 = b - 5*c. Let i be 8/(-6)*(b/(-6) + -1). Solve i*o - 6*o = -4 for o.
1
Let h be (-605)/(-8) - (8 - (871/104)/1). Solve -33 = h*t - 87*t for t.
3
Suppose -3*l + 3209 = 4*s + 2223, -2*l + 5*s + 711 = 0. Solve 8*p + l = 362 for p.
3
Let m(v) be the first derivative of -v**4/4 - 22*v**3/3 + 12*v + 14. Let k be m(-22). Solve 3*x + 0 - k = 0 for x.
4
Suppose 4*i = -4*c - 244, c + 5*i = 4*c + 191. Let v be 12/(-2) - c/2. Solve -4*m - 9 = -v for m.
4
Let k be (2/(-2))/((-2)/(-50)*-5). Suppose 0 = k*v - 10, z - v - 16 = -4*v. Solve z = 4*w + 2 for w.
2
Let s be -1*(-8)/44 + 3310/(-55). Let o(h) = 3*h**2 - 7*h + 3. Let f be o(6). Let z = s + f. Solve -z - 6 = 3*l for l.
-5
Suppose 0 = 2*p - 209 + 17. Let h = p - 88. Solve 3*q - h = 5*q for q.
-4
Suppose 22*z - 88 - 22 = 0. Let j = -9 + 9. Suppose 3*f = 4*g - 1 + 13, j = g - 3*f + 12. Solve -5*q = -g + z for q.
-1
Suppose -8 = 4*u + 4*k, -u + 4*u - 2*k = 4. Suppose u = 5*b - 4*r - 15 - 0, -2*b + 3*r = -13. Let f be b/(-5) - (-5 + 14/(-5)). Solve -5*x - f = -3*x for x.
-4
Suppose -s + 223 = 5*l, -518 = -3*s - l + 249. Solve -s = 6*z - 270 for z.
2
Let z = -2844 + 3004. Solve 0 = -41*j - z - 4 for j.
-4
Let r be (0/(-3) - -3) + 1. Suppose -6*d + 14 = -r. Suppose -27 - 33 = -d*j. Solve 2*o = -2*o + j for o.
5
Suppose 0 = 2*b + 5*z - 15, -4*z + 23 = -4*b + 11. Let l(j) = -j**2 - 10*j - 12. Let n be l(-8). Let a be n*(-4)/8 + 6. Solve y + a - 6 = b for y.
2
Suppose 0 = -5*q - 5*i + 1060, -6*q = -11*q - i + 1060. Let k = q - 200. Solve 0 = 2*p - 6*p + k for p.
3
Let y be (-2 - 44/(-10))/(4/10). Let z be 0 - (-8 - (3 - y)). Suppose -z*s - 3*c + 5*c + 24 = 0, 2 = -2*s - 5*c. Solve -s = g - 3*g for g.
2
Let r = 7202 + -6334. Solve r*l - 872*l + 32 = 0 for l.
8
Suppose 0 = 5*n, -y + 5*y = -n + 160. Solve 3*k + y = -5*k for k.
-5
Suppose -329 - 61 = -13*u. Suppose b - u = 5*i, -2*i = 2*b - 0*b. Solve -b*k = -2*k + 12 for k.
-4
Suppose 81 = 5*w + d, -w - 71*d + 19 = -68*d. Solve w*p - 7 - 73 = 0 for p.
5
Let i(g) = -113*g + 3. Let y(t) = 2*t + 3. Let r be y(-2). Let b be i(r). Let v be (-19)/95 + b/5. Solve -4*j + 3 = v for j.
-5
Let t be -6*((-21)/9 + 3). Let i(s) = -s. Let u be i(t). Suppose 3*f - 7*f = -32. Solve u*z + 0*z = -f for z.
-2
Let j = -39 + 127. Let m = -88 + j. Solve m = 4*p - p for p.
0
Let w(d) = 31*d**3 - 8*d**2 + 115*d - 415. Let u be w(4). Solve -u = -9*b - 1964 for b.
-7
Let u(x) = -13*x + 104. Let f be u(5). Solve -12*b = -27 + f for b.
-1
Suppose 27*o - 35*o = 0. Let a be (-2)/(-6)*o/13. Solve a = 4*k - 9*k for k.
0
Let a = -2710 + 2732. Solve 0 = 33*y - a*y - 55 for y.
5
Let x be -1 + 4 + 1 - -8. Let z be (21/(-6) + 4)/((-2)/x). Let q be 6/z - 0 - -7. Solve -4 - 11 = -q*w for w.
3
Let s(m) = -2*m**2 + 1 - 46*m + 57*m - 3. Let k be s(5). Solve -5*z + 2 = -k*z for z.
1
Let d be 4/(((-1)/6*-2)/1). Suppose -3*h = -5*h + d. Suppose h*f = 17*f. Solve f = 3*y + y + 20 for y.
-5
Let n = -3449 + 3773. Solve 0 = -4*o - n + 308 for o.
-4
Let p = -1025 - -1025. Solve p = 69*d - 63*d for d.
0
Let o = -2 - -15. Suppose -162*b = -309*b + 160*b + 143. Let v be 4*(b + o + 6/(-4)). Solve -v*j + 3*j = 5 for j.
5
Let n = -151 - -129. Let f(k) = k**3 + 23*k**2 + 22*k + 7. Let v be f(n). Solve 0 = -5*s + v - 2 for s.
1
Let g = -835 - -840. Suppose 5*z - 21 = 3*m + 12, 0 = -g*z + 4*m + 29. Solve -12 = -z*h + 6*h for h.
4
Let j = 11835 + -10840. Solve j = 12*a + 983 for a.
1
Let r be 12/((-1)/(4/(-6))). Suppose -3*z = -2*z - 2*z. Let y be (13/(-13))/(-1 + z). Solve 3*l - y = r for l.
3
Let u be (-9)/12 - (4 + (-15)/4). Let o be (u/(-3))/(2/18). Let w be (60/75)/(2/15). Solve -w = -o*n + n for n.
3
Suppose -19*m - 4*c = -18*m + 16, -4*m + c = -4. Solve 27*v + 3*v = m for v.
0
Let b(z) = z + 3. Let h(w) = w**3 - 3*w**2 - w + 7. Let i be h(3). Suppose -2*f + a = -3*a - 16, i*f - 20 = 4*a. Let o be b(f). Solve 3*d - 17 + o = 0 for d.
4
Let i(b) = 2725*b**2 - 2828*b - 2829. Let p be i(-1). Solve 14*h + 2822 - p = 0 for h.
-7
Let i(o) = o - 1. Let f be 64/14 + 9/21. Let h be i(f). Let a be (-1)/(-6)*h - 2/3. Solve -j - 3*j + 8 = a for j.
2
Let j = -246 + 689. Let b(g) = -j*g + 885*g - 14 - 448*g. Let q be b(-4). Solve -4*l - 6 = q for l.
-4
Let v(t) = -12*t + 123. Let i be v(-19). Let b = i - 341. Solve 0 = 6*g + b + 8 for g.
-3
Let v(a) = 63*a - 816. Let i be v(13). Solve i*f = 24*f for f.
0
Let d(a) = -12*a + 103. Let h be d(-17). Let l = h - 299. Solve -12*u + 16*u + l = 0 for u.
-2
Let p(y) = y**2 + y + 24. Let c be p(0). Suppose 4*j - 5 = i + 10, -5*j + c = 4*i. Solve -j*v = v + 10 for v.
-2
Suppose 0 = 2*q + 8 - 6. Let y be 0/(((-12)/(-2) - 3)*q). Suppose y = -5*z + 63 - 3. Solve -5*m + 2*m - z = 0 for m.
-4
Let s = 86 + -67. Let a(w) = -46*w + 96. Let m be a(2). Solve m - s = -3*g for g.
5
Let n be 8*((-2)/(-2) + -9). Let o be n/(-8) + 3 + (-3 - -1). Solve -4*r = -o - 7 for r.
4
Let z = -76 + 84. Suppose z*i - 39 = 1. Solve i*g - 11*g = -30 for g.
5
Let q(o) = 12*o**2 + 19*o - 20. Let i be q(1). Solve i*w + 12*w = 46 for w.
2
Let t(u) = 3*u**2 + 93*u - 255. Let p be t(3). Solve -137 = p*j + 67 for j.
-4
Let d = 124 - 115. Suppose d*x - 63 + 0 = 0. Solve -x*z = -3*z for z.
0
Let v = 195 - 108. Suppose l - 33 = 5*a, 0*l - v = -4*l + 5*a. Suppose 6*z = 12*z - l. Solve z*f - 11 = 4 for f.
5
Let w(o) = 7*o - 13. Let j be w(7). Suppose 13*k + j = 25*k. Solve -19 = -4*f - k for f.
4
Let z = -41 - -74. Suppose 2*h + 3*q = 47, 2*h - z = 5*q + 6. Solve h = -3*d + 37 for d.
5
Let l(c) = -c**3 + c**2 - 5*c - 14. Let y be l(-2). Suppose 5*k - 30 = -4*m, 0 = -m + 9*k - y*k + 3. Solve -3*g - m*g + 40 = 0 for g.
5
Let f(x) be the second derivative of -x**4/12 + 5*x**2/2 + 7*x. Let r be f(0). Let m be (-1 - -1)*(-7 + r)/(-4). Solve -8 + m = -2*q for q.
4
Suppose -2*c = -4*g + 158, -4*g + g - 59 = c. Let h = c + 81. Let l(f) = -2*f - 6. Let t be l(-3). Solve t = -p + 3*p - h for p.
5
Let l(z) = 3*z**2 + 2. Let q be l(-1). Suppose -q*d + 6*k = 4*k - 67, k = 4*d - 56. Solve -7*t + d = -2*t for t.
3
Suppose d = 5*c - 182, 3*d - 5*c + 481 = -3*c. Let i = d + 157. Solve i = -h + 9*h - 8 for h.
1
Let r(x) = -3*x**3 