. Solve 11*f - 8*f = t for f.
0
Let w(m) = -m**2 - 17*m + 15. Let a be w(-17). Let t be ((-2)/(-2) - -3) + 0. Suppose -b + 5*v = -11, 4*v = -0*b - t*b + 20. Solve b*h - h = a for h.
3
Let l = 145 + -140. Suppose -9*m + 248 = -4. Let n(s) = s**3 - 5*s**2 - 4*s - 4. Let a be n(6). Solve 0 = -l*t + m - a for t.
4
Suppose 0 = 4*z - 16. Suppose 22*g - 12*g - 20 = 0. Suppose 0*f = -y - g*f + 8, -3*f + 33 = 5*y. Solve -y = -z*c - 2 for c.
1
Let h = -2232 + 2232. Solve -334*g + 336*g - 2 = h for g.
1
Let l = -37 + 37. Suppose 0 = 3*h - 4*x + 9 - 3, l = h - 2*x + 4. Suppose q - 6 = -h. Solve q = 2*c + 2 for c.
1
Let v(o) = o**2 + 2*o + 2. Let h be v(-3). Suppose h*a = 2*m - 9, -4*m + 7 = 3*a + 2. Solve 0 = -2*q - m for q.
-1
Let j be 72/(2 + -6)*(-3)/(-9). Let n = 9 + j. Solve -16 = n*o - 10 for o.
-2
Suppose 0 = -3*p + 16 - 4. Let k be ((-3)/p)/(39/26)*-10. Let g(w) = 7*w - 31. Let a be g(k). Solve 24 = 5*l + a for l.
4
Let c(b) = 2*b**3 - 3*b**2 - 13*b + 28. Let v be c(4). Suppose -77*k + 84 = -v*k. Solve -k*w + 0*w = 0 for w.
0
Suppose -10452*o = -10455*o + 15. Solve o*h + 5 = -0 for h.
-1
Suppose 4*j = s + 1630, -2*j - 4*s + 36 = -788. Solve 4*z = j - 412 for z.
-1
Let z be (-352)/(-7) + 35/49. Let v be (4 + -2 - -4) + 0. Suppose 9 = -v*m + z. Solve 0 = -m*n + 3*n for n.
0
Let x(b) = -5*b - 5. Let u be x(0). Let f(a) = a**3 + 13*a**2 + 35*a - 10. Let z be f(u). Solve 7*q = 4*q - z for q.
-5
Let p = -3230 + 3237. Solve p*a + 229 - 166 = 0 for a.
-9
Suppose 72*t + 964 = 309*t + 245*t. Suppose 18 = 5*b - 5*w - 27, 5*b - w - 29 = 0. Suppose -2*o + 40 = o - 4*x, 5*o = x + 44. Solve -t = b*r + o for r.
-2
Suppose 0 = -17*n + 7*n - 99*n + 327. Solve -13*m + 10 + n = 0 for m.
1
Let v be (-340)/(-24) - 364/312. Solve 3*r - v = -28 for r.
-5
Let m be 5 + ((-8)/(-6))/((-2)/3). Suppose 5*q - 3*u + 3 = 0, q - m*u - 3 = -2*q. Let y be (-6 + (3 - (q + 3)))*-2. Solve 1 = -s + y for s.
5
Suppose -5*c - 3*o + 147 = 0, 202 = 4*c - 5*o + 114. Solve -24*d - 3 = -c*d for d.
1
Let o be 3 + -3 - (-62 - -27). Solve -270 = 5*v - o*v for v.
9
Let r = -11060 - -11682. Solve -132 = 70*k - r for k.
7
Let s(x) = -x + 1. Let k be s(-3). Let c = -44978 + 44979. Solve -v + k = -c for v.
5
Let a = -362 + 704. Let o = -337 + a. Solve -q + o*q - 8 = 0 for q.
2
Suppose -2*i = -d - 2, -3*d - i = -d - 11. Suppose -4*f + 4*n + 16 = 0, -2*f - n = 4*n + 20. Let l = 23 + -11. Solve d*s + f*s = l for s.
3
Suppose 0 = -7*b + 28, -3*b + 1 = z - 11. Solve -2*u + z*u = 2 for u.
-1
Suppose -204 = 5*o - 3*o + 2*n, 2*n = o + 108. Let s be 18*(o/(-168) + 2/(-7)). Solve y = 2 - s for y.
-4
Suppose 0 = -9*m + 84 + 186. Solve 8*h + m = 13*h for h.
6
Let a(o) = -o**3 + o**2 + 5. Let f be a(0). Let c(v) = -v**2 + 7*v. Let q be c(f). Solve 6 = q*j + 6 for j.
0
Suppose 2*o + 12 = -2*l, -4*o + 2*o - l = 11. Let j = -2 - o. Suppose 0 = -616*b + 624*b - 40. Solve j*c = 2*c - b for c.
-5
Suppose 2 = -5*v + 22. Let d = -1556 + 1559. Let b = -76 + 77. Solve -v*r - b = d for r.
-1
Let w(k) = k**2 - 41*k + 72. Let n be w(39). Let f be (n/(-12)*0)/(-1). Solve f = 34*q - 37*q for q.
0
Let c = -2358 + 2361. Let a = 10 - 4. Let k be (-32)/a*(-21)/14. Solve -c + k = -t for t.
-5
Let o = -14 + 57. Suppose 16*x - 1094 + 310 = 0. Let v = x - o. Solve -j = j - v for j.
3
Let i be (29/(-58))/((-1)/10). Suppose -3*q = -i*z + 15, -3*z = -3*q + 6*q + 15. Let j be (4/3)/(34/(-51)) - q. Solve -m = j*m for m.
0
Let q be -7*2*(-945)/378. Solve 108*y - 113*y + q = 0 for y.
7
Let s = -7825 - -7833. Solve -s*d = -29*d - 21 for d.
-1
Let q be 13/((-273)/63)*(1 - 2). Let u(x) be the first derivative of x**4/4 - x**3 + 2*x**2 + 1. Let g be u(q). Solve 0 = -2*b - b + g for b.
4
Let s be ((-120)/(-300))/((-1)/(-30)). Solve 0 = s*u + 11 - 47 for u.
3
Let o(r) = 3*r**2 + 84*r + 18. Let c be o(-33). Let s = 520 - c. Solve 5*l + s = 2 for l.
-1
Let o(j) = -29*j + 182. Let x be o(6). Let q = -27 + 29. Suppose -4*f - 6 = -2*f, 0 = i + q*f + 1. Solve 3 = i*v + x for v.
-1
Let z(t) be the second derivative of -t**5/20 - 4*t**4/3 - 5*t**3/2 + 5*t**2 + 7*t + 2. Let r be z(-15). Suppose -60 = -2*w - r*w. Solve -1 = 2*u - w for u.
2
Suppose -24*i + 226 = -374. Solve 2*t + i = 27 for t.
1
Suppose -2377 = -14*d - 361. Suppose 5*a + 3*o - 2*o + d = 0, 0 = 4*a - 2*o + 118. Let h = -29 - a. Solve 1 = -h*t + t for t.
1
Suppose -835 + 10 = -5*h. Let y = -160 + h. Solve -12 = -y*q + q for q.
3
Let x(j) = j**3 - 106*j**2 + 10*j - 977. Let w be x(106). Solve w*r + 190 = -59 for r.
-3
Suppose 3*t - 7 + 1 = -5*d, 2*t = -4*d + 4. Suppose -12 = u - 5*u. Suppose 5*m - 5 = c, u = 5*c - 5*m + 8. Solve t*i - 3*i = c for i.
0
Suppose 1 = 5*s - 29. Suppose -3*k + 3*c = -33, -s = k + c - 27. Solve -t = -5*t + k for t.
4
Suppose -2*w + o - 2 = 0, -2*w - o = -3*o + 6. Let t = -21 - w. Let n = 24 + t. Solve -n = -3*l + l for l.
1
Suppose -164 - 4 = 7*d. Let z = 41 - d. Let b = 67 - z. Solve l = b*l - 2 for l.
2
Let f be (-5 - (-9 - -4))/1. Solve f = 12*d - 0 - 72 for d.
6
Let x(t) = -9*t**2 + 47*t. Let a be x(5). Suppose -a*o = 7 - 117. Suppose 0 = -3*n - 2*f + 6*f + o, 5 = 2*n - 5*f. Solve 5*c - n = -25 for c.
-4
Let x(v) = -5*v**2 - 10*v + 5. Let s(m) = 27*m**2 + 53*m - 26. Let a(y) = 2*s(y) + 11*x(y). Let j be a(-4). Solve -j*c + 1 = -2*c for c.
1
Let q = -691 - -691. Suppose q = 10*g + 5*g - 75. Solve -g*d = 6*d + 11 for d.
-1
Suppose b + 6 = 1, 317 = h - 4*b. Let a = h + -277. Solve 0 = -y - a + 15 for y.
-5
Suppose 0 = -2*v + 2*c + 4398, -5*c + 2241 = -3*v + 4*v. Solve -2197*a + v*a = 18 for a.
2
Let b be 3 + (-22)/(-1) - (-1 + 2). Suppose -4*i + b = 4*j, 4*i = 3*j - 4*j + 21. Solve 0*v + i = v for v.
5
Let r = -8302 + 8325. Solve r*d - 18 = 28 for d.
2
Suppose 25 = 5*o, -5*h - 4*o + 29 = 9. Let d be h - (0 + -1*2). Suppose n - 4*r - r - 15 = 0, 0 = -4*n + 3*r + 9. Solve 4 = -n*c + d*c for c.
2
Let p be 41/(-287) - (-1052)/14. Let u(h) = 8*h**2 - 5*h + 2. Let t be u(1). Solve -t*g + p = 55 for g.
4
Suppose 11 = 3*a + 2*h, -4*a + 7*h = 2*h + 16. Let m = a + 2. Suppose -15 = -2*p - m*p. Solve p*k = -2*k - 10 for k.
-2
Let n = -26 + 28. Suppose -26 = 11*c - 13*c. Suppose 0 = -4*d + f + c, -5*d - 3*f = -9 - 20. Solve -n = 6*m - d*m for m.
-1
Let q be (1/1)/(22/110). Suppose 2*y + n + 6 - 17 = 0, 4*n = 5*y + q. Solve 0 = y*i + i for i.
0
Let b = -145 + 176. Let v = -8 - -14. Let t = b - v. Solve -3*k - t = -8*k for k.
5
Suppose 153 = 6*w + 123. Suppose -w*c + 24 = -n, 2*c - 14*n + 19*n + 12 = 0. Solve 4*q + 12 = c for q.
-2
Suppose -5*i = 4904 - 4919. Solve i + 4 = -m for m.
-7
Suppose 5*a + p + 1 = -0, -5*p = 5. Suppose a = 11*f - 389 - 656. Let u = -95 + f. Solve u = 6*o - o - 5 for o.
1
Let z be ((-195)/(-4))/3*(-23 - (-54 - -27)). Solve -7*b - z = 6*b for b.
-5
Let v = -726 - -1442. Let y = v + -715. Solve -11 = -3*f + y for f.
4
Suppose -218 - 15 = -14*w + 131. Solve 0 = -2*n + w - 16 for n.
5
Let c = 41 + -67. Let t = -13 - c. Suppose 0 = -4*g + t + 7, -24 = -3*w - 3*g. Solve -5*b - 8 = -w for b.
-1
Let g be 15/(-9)*(19 + -22). Suppose -4*s - 17 = -3*r + s, -g*s + 10 = 0. Solve -r*d + 1 + 44 = 0 for d.
5
Suppose -o - 4*o + 20 = 0. Let p = -30088 - -30102. Solve -p*t = -o*t + 40 for t.
-4
Suppose -104 = -z - 2*t, 0 = -20*z + 18*z + 4*t + 184. Solve 88*r + z = 137*r for r.
2
Let d(u) = 333*u + 2367. Let f be d(-7). Solve 0 = -g + f - 42 for g.
-6
Let i(l) = -l - 11. Let p be i(-9). Let w be p/6 - 279/(-27). Let q(o) = -2*o**2 + 21*o - 8. Let r be q(w). Solve -r*j = 2 - 12 for j.
5
Let k(x) = -7*x - 221. Let i be k(-32). Let j be i/(-2)*(560/15)/(-8). Solve -2*m + 9 = j for m.
1
Let m(w) = w**3 - 13*w**2 - 14*w + 1. Let d(i) = 2*i - 10. Let l be d(12). Let n be m(l). Suppose -3*j = -n - 11. Solve 9*q = j*q for q.
0
Let m = 8827 - 8786. Solve m*n - 250 = -86 for n.
4
Let t(j) = -2*j - 1. Let v be t(-3). Suppose 1 = 2*x + v*l, -8*x + 3*x - 4*l = -11. Solve -f = x*f - 16 for f.
4
Suppose 187*t + 42 - 7738 = -21*t. Solve -t = 3*x - 58 for x.
7
Suppose -14 = -0*h - 2*h - 4*o, 4*h - 18 = -3*o. Let f(y) = -11*y + 102. Let b be f(7). Solve b = -h*u + 10 for u.
-5
Suppose 2*y = 3*x + 6 + 1, -2*x = 6. Let a(f) = 4*f**2 + f. Let h be a(y). Suppose h*r - 6*r = -6. Solve 23 + r = 5*g for g.
5
Let d be (-5 + 1 - (-30 + 29))*(-16)/24. Let m = 3 - 2. Let n be (0 + m - 1)/(-1). Solv