- f = 21*t for t.
-1
Let s = 35 + -19. Suppose -s*j = -12*j - 20. Suppose 0 = -n - v - 2*v - 3, -4*v = n + j. Solve c = 2 + n for c.
5
Let g = 4 - 0. Let l(j) = 17*j - 31. Suppose 3*c + 6*i - 3*i = 0, 12 = -c - 5*i. Let h be l(c). Solve g*n + h = -n for n.
-4
Let j = 89 + -73. Let r(o) = 3*o**2 + o + 2. Let c be r(-4). Let d = -42 + c. Solve d*m = -0*m - j for m.
-4
Suppose -25*p - 20*p + 1909 = -251. Solve 0 = p*q - 16*q + 128 for q.
-4
Suppose 11 - 5 = 3*f, 2*o - 820 = -3*f. Let s = o - 374. Solve s = -9*x - 12 for x.
-5
Let s be ((-4)/(-6) + (-6016)/240)/(4/(-10)). Solve s*n + 100 = -449 for n.
-9
Let d(j) = j**2 - 4*j + 16. Let p(o) = -o**3 + 2*o**2 + 4*o - 3. Let c be p(3). Let a be d(c). Solve 8*u - 4*u + a = 0 for u.
-4
Let y = -286 - -291. Suppose -2*a + 24 = 2*o, -7 + 60 = y*o - 2*a. Solve 0 = -4*t - 7 + o for t.
1
Let k(l) be the first derivative of -l**4/4 - 10*l**3/3 - 10*l**2 + 6*l + 111. Let v be k(-3). Let r = 22 - 13. Solve r + 3 = v*z for z.
4
Let u = -15 + 16. Suppose 0 = -2*v + c + 3*c + 44, 0 = -3*v - 2*c + 26. Suppose 5*x + 25 = 5*f, 8 = -v*x + 8*x. Solve -2*d = -u - f for d.
2
Let g = 12409 - 12407. Solve 0 = 3*y - g - 19 for y.
7
Let u be (-149)/(-5) + (-10)/400*-8. Suppose -q + 30 = -c, 2*q - u = q - 3*c. Solve 3*m + q = 15 for m.
-5
Suppose 2*o - 2*t + 115 = 533, -t + 991 = 5*o. Solve 218 = 6*w + o for w.
3
Let v = -6510 - -6539. Solve -2 = v*a + 27 for a.
-1
Let b = -318 + 393. Suppose -67*x - 128 = -b*x. Solve -2*v = -6*v + x for v.
4
Let i = 18 - 15. Suppose 0 = i*u - 4*r - 22, -u = -r - r - 10. Suppose -5*f - u + 6 = 3*v, 0 = 4*v + 4*f - 8. Solve -5 = v*j - 4*j for j.
5
Let s be (-21)/((-231)/(-44)) - (-19 - 3). Solve s = 20*p - 14*p for p.
3
Suppose 0 = -11*c + 22 + 22. Suppose -c*r - 5*q + 36 = 0, -2*r - 34 = -5*r - 2*q. Solve 5*l + r + 11 = 0 for l.
-5
Suppose -4*y + 120 = w, -207 = -5*y + w - 57. Suppose -33*p + 6 = -y*p. Suppose -4 = -2*n + 2*s, -2*s - p = n - 7. Solve n*l + 8 = l for l.
-4
Let r be 0 - -5 - (-45 - (-35 + 3)). Solve -44*f - r = 334 for f.
-8
Suppose 0 = -0*q - 5*q. Suppose -5*g - a + 5 = -3*a, -4*a - 4 = -4*g. Suppose q = -i + 3 - g. Solve 0 = -7*t + i*t for t.
0
Let a(s) = s**2 + 173*s + 6225. Let b be a(-50). Solve 77 = -2*i + b for i.
-1
Suppose -120*d + 112*d = -96. Solve 0 = 3*i - 9*i + d for i.
2
Let u = 223 - 211. Let m = u - 8. Solve -9*z - 15 = -m*z for z.
-3
Let y = 53 - 10. Suppose -46 = -3*d + 2*i, 12*d = 9*d + 5*i + y. Solve 19*m - d*m + 15 = 0 for m.
-5
Let q(r) = r - 9. Let m be q(13). Let t = m + -2. Let n(x) = -x. Let h be n(-5). Solve 0 = h*k - 3*k - t for k.
1
Suppose 27*m + 4*m - 992 = 0. Suppose -30*l = -m*l + 20. Solve -7*w + l = 10 for w.
0
Let t(r) = 4 - 27*r + 22*r - 16 + 2*r**2. Let q be t(6). Let b = q + -25. Solve -b*l = -2 + 7 for l.
-1
Suppose 6*a - 320 = 4*a. Suppose 0 = -61*q + 53*q + a. Solve -k = 3*k + q for k.
-5
Let k be (-8)/(-3) - 4/6. Let n = 1321 - 904. Let u = -417 + n. Solve k*i + 0 + 2 = u for i.
-1
Let q = 265 + -265. Let v be -5*4/(-40)*q. Solve 0 = -5*o - v*o + 5 for o.
1
Let z = -1282 - -1282. Solve z = 7*c + 29 + 13 for c.
-6
Let m = 3322 - 3282. Solve -18*d + 8*d - m = 0 for d.
-4
Let t(g) = -12*g**3 + 10*g**2 + 12*g + 2. Let f be t(-1). Solve -7*q - f - 2 = 0 for q.
-2
Let k be (9 + 1)*(-1 + 3). Let p = -36276 + 36282. Solve o = p*o + k for o.
-4
Let p = 36 + -33. Suppose -b + 141 = -p*i - 134, -b = 4*i + 362. Let c = -87 - i. Solve c*l = 2*l for l.
0
Suppose -60 = 33*o - 37*o. Let u be 50/o - (-10)/(-30). Solve -w + u*w = -4 for w.
-2
Let x(c) = 2*c + 11. Let q(k) = -3*k**3 - 98*k**2 + 34*k + 35. Let l be q(-33). Let i be x(l). Solve i*p = 9*p - 6 for p.
-1
Let b be (-9)/(-6) + 1/2*-3. Suppose 5*n + 12 - 37 = b. Let q be (n/2 - 2)/(18/144). Solve -y + 1 = -q for y.
5
Let x = -5041 + 5056. Solve x*r - 2*r = -52 for r.
-4
Let s(y) = 125*y - 44*y - 42*y + 127 - 45*y. Let g be s(21). Solve 0 = 4*z - g - 15 for z.
4
Suppose -2*c + 11 + 32 = -3*x, -4*c - 2*x + 78 = 0. Suppose -43 - c = -7*r. Solve -1 = -8*o - r for o.
-1
Let g(u) = -2*u + 16*u**2 - u**3 + 0 + 2 - 15*u**2. Let f be g(0). Suppose 0 = w + w + 3*y - 12, -28 = -f*w + 5*y. Solve 2*z - 5*z - w = 0 for z.
-3
Suppose -2*w - 34 = v - 102, -w - 5*v + 52 = 0. Suppose -4*k = 4*t - w, 5*k - t = 25 + 9. Solve -5*c + 4 = -k*c for c.
-2
Let j = -617 + 625. Let b be (2 + -1)/j*16. Solve -b*m = 3*m - 25 for m.
5
Let x = -14041 + 14159. Solve x - 166 = 12*b for b.
-4
Let a be (-2)/(-6 + 2703/450). Let z be ((-8)/(-6))/((-25)/a). Solve 7*v - 3*v = z for v.
4
Suppose -5*p - 72*z + 69*z = -536, -p + 118 = -3*z. Solve -21 = 116*l - p*l for l.
-3
Let n be 146 + (-4 - (18 - 1)). Solve -90*a + 280 = -n*a for a.
-8
Suppose 3*c + 78 = -5*g - 12, -15 = -3*c. Let r = -22 - g. Let w be (r - -11) + -1*4. Solve 5*s = -w - 4 for s.
-2
Let j be 80/1 + 624/(-104). Solve 0 = j*b - 68*b + 24 for b.
-4
Let j(u) = -25*u + 62. Let i(p) = 5*p - 12. Let l(b) = 11*i(b) + 2*j(b). Let x be l(2). Suppose 6 = 3*d - 0*d. Solve -d*f = x*f + 16 for f.
-4
Let m(n) = n**2 + 113*n + 3326. Let s be m(-59). Solve -40 = -30*y + s for y.
6
Suppose -24129*c + 138 = -24106*c. Solve -c*s + 141 = 129 for s.
2
Let u = 22 + -19. Suppose -u*f + 11 = -55. Suppose -2*j - i + 5 = 0, j + f = 5*j - 2*i. Solve 7*g - 15 = j*g for g.
5
Let c(t) = t**2 - 6*t - 17. Let r be c(9). Let b be 2 + -6 + 9 + 3. Solve b = -r*s + 8*s for s.
-4
Suppose 2*f - 6*f - 4*g = -24, 8 = 2*g. Suppose -5*z + f*t = -21, -t = 2*z + 4*t - 20. Solve 4*b = z - 1 for b.
1
Let b = -178 - -182. Suppose 405 = -b*r + 405. Solve r = 3*n - 8*n + 10 for n.
2
Let g be (-5 + (-33)/(-9))/(1/3). Let p be g/10 - 27/(-5). Let j(c) = c**3 - c**2 - 5*c - 2. Let k be j(3). Solve -2*v - k = p for v.
-3
Suppose -3*u + 0*u = -3*t + 51, -2*t - 2*u + 14 = 0. Suppose -5*x = -t - 18. Suppose -9 + 3 = -3*b. Solve 2*j = -b + x for j.
2
Let l(i) = -i**3 - 10*i**2 - 27*i - 83. Suppose 45*x - 36 = -396. Let w be l(x). Solve w*s - 20 = -45 for s.
-5
Suppose -9*v = -v + 320. Let k be (2/(-4))/(-1*(-4)/v). Suppose -p + k*p = -4*o, -o - 18 = -5*p. Solve -p = -3*x + 12 for x.
5
Suppose 133*d - 9682 = -17*d - 56*d. Solve d*o + 247 = -82 for o.
-7
Let u = 5876 - 5848. Solve -u*b - 33 = -17*b for b.
-3
Let k(d) = -1746*d - 1738. Let u be k(-1). Solve -u = -2057*l + 2055*l for l.
4
Let b be (-1)/2 - 7891/104*-4. Let q = b + -296. Solve -q*m = -14*m - 7 for m.
-1
Suppose -7*g = -5552 - 6251 - 412. Solve 0 = -1756*b + g*b - 33 for b.
-3
Suppose -13*f + 17*f + 2*f = 0. Solve f = 17*x + 6 - 142 for x.
8
Suppose 0*g + 2*g = 5*z - 2, -3*z = -3*g + 6. Suppose -g*f - 17*f + 42 = 0. Solve 0 = f*y - y for y.
0
Let m(v) = 2*v**2 - 20*v + 20. Let o(q) = q**2 - q + 12. Let r be o(0). Suppose 2*n - 16 = -p - 1, 3*n + 5*p = r. Let u be m(n). Solve z = -u*z + 3 for z.
1
Let d(i) = -i**2 - 151*i - 1918. Let m be d(-137). Solve m = 26*x - 226 + 96 for x.
5
Suppose -b - 15 = -4*b. Let k be (-14)/6 - (-26)/78. Let d be -8*(-6)/((-6)/k). Solve -i = -b*i + d for i.
4
Let y(c) = -c**2 + 6*c - 7. Suppose 5*k = 4 + 11. Let a be y(k). Suppose 0 = 2*l + m, 0*l = 2*l - 5*m. Solve a*w - 4*w - 6 = l for w.
-3
Let u = 317 + -642. Let b = 328 + u. Solve -b = 2*a - 9 for a.
3
Suppose 0 = 3*b - 825 + 228. Suppose 0 = b*p - 198*p. Solve -7*j + 2*j - 5 = p for j.
-1
Let u(w) = w**2 - 3*w - 7. Let x be u(5). Suppose 0 = 2*t - x*t + 5. Solve 0 - t = -5*j for j.
1
Suppose 530 = -3*b - 2*d, -10*b - 4*d = -5*b + 882. Let l = 196 + b. Solve l*j - 3 = 17*j for j.
3
Suppose -2*r + 36 = -44. Suppose -2*p - 4*i = -30, 2*i - 6*i = 4*p - r. Solve -p*j + 8 = -j for j.
2
Let k(b) = 7*b**2 - 112*b - 1335. Let l be k(-10). Solve -w + 487 = l for w.
2
Suppose -2*g = -22*g + 2620. Let m = 132 - g. Solve k - m = 4 for k.
5
Let o(l) = l**3 + 3*l**2 - 18*l**2 + 2*l + 17*l**2 + 14. Let j be o(0). Solve j = 10*r - 26 for r.
4
Suppose 0 = -5*n - l + 231, 2*n = 3*l + 40 + 49. Suppose 7*b = 157 + n. Solve -45 + b = 4*a for a.
-4
Let f be (49 + -45 - (-3)/(-12))/((-5)/(-12)). Solve 0 = f*s - s + 24 for s.
-3
Let x = 3330 + -3328. Solve 35 = -11*z + x for z.
-3
Let i(v) = 2*v**2 + 251*v + 2627. Let p be i(-114). Suppose 2 = -2*j + 28. Solve 2*y + p = j for y.
4
Suppose 6 = -2109*x + 2007*x + 108. Let m be (-1 - -7) + (0 - 1). Solve 4*c + m = x for c.
-1
Let t = -27872 + 27897.