-2*o - f + 0 = 0 for o.
-2
Let y be (-10)/(-6)*162/135. Suppose 5*c - 10 = -0*c. Solve -y*k - c = -k for k.
-2
Let y(z) = -21*z - 564. Let j be y(-27). Solve -j*o + 18 = 3*o for o.
3
Let l(x) = -2*x**2 + 18*x + 4. Let g be l(9). Suppose -5*y + 41 = 4*j, 2*y + 2*j - 20 = g*j. Solve y*h + 8 = 5*h for h.
-2
Let h(o) = o. Let s be h(3). Suppose -3*y = 6, -3*r - 371 = 2*r + 3*y. Let g = r + 73. Solve -s*l = -g - 9 for l.
3
Let f = -3 - -6. Solve f*w = 7*w - 20 for w.
5
Let q(u) = u**2 - 7*u + 4. Let i be q(6). Let y(z) = z**2 + z - 2. Let s be y(i). Suppose -12 = -4*x - s. Solve x*h - 6*h + 6 = 0 for h.
2
Let c(j) be the first derivative of -j - 1/2*j**2 - 6. Let z be c(-1). Solve z = -0*x + x for x.
0
Let t(i) = 3*i - 8. Let a be t(4). Suppose 5*w = -4*v + a, -w + 2*v - 4 + 2 = 0. Solve o + 0*o = w for o.
0
Let o = 75 + -71. Solve 1 = o*i - 3*i for i.
1
Suppose -7*y - 64 = -3*y. Let c(m) = -2*m - 29. Let h be c(y). Solve 5 = -i + h for i.
-2
Suppose h - 12 = -4*f, -16 = -2*h - f - 6. Suppose -2*n + n + 28 = h*j, -3*j + 21 = n. Solve 2*y - 3 = j for y.
5
Let r be 2*(-4)/8 - 9*3. Let d = 34 + r. Solve -d*m + m - 5 = 0 for m.
-1
Let x = -311 - -319. Solve 5*n = x*n + 15 for n.
-5
Let q be 45/21 - 102/(-119). Let u(g) = g**3 - 9*g**2 + 10*g - 7. Let s be u(8). Solve -s = q*o - 21 for o.
4
Suppose n - 2*n - 18 = 4*q, 5*n = -5*q - 45. Let y be (n/4 + 1)*0. Solve 3*l - 6*l - 12 = y for l.
-4
Let m be 1/((3/12)/(13/4)). Let x be ((-6)/(-6) - 0)*3. Solve -x = 2*b - m for b.
5
Let u be (-10)/(-1) - (9 + -5). Suppose -u*i + 4*i - 2 = 0. Let b = 11 - i. Solve 7*a - 4*a - b = 0 for a.
4
Suppose 22*v + 38 = 324. Solve v = 3*h + 1 for h.
4
Let k(o) = o**3 + 15*o**2 + 22*o - 52. Let p be k(-13). Solve p = -2*g + g - 3 for g.
-3
Suppose 36 = -8*q + 2*q. Let c = -3 + 4. Let j be (5 - (q - -3)) + c. Solve 11 = 4*r - j for r.
5
Let a = 1323 + -1302. Solve a - 5 = 4*c for c.
4
Let l be 3 + (3/(-7) - 2)*-7. Solve -9*q + l = -14*q for q.
-4
Suppose -2*t - s - 3*s = 16, 3*s = 3*t + 24. Let y = -5 - t. Suppose j + z - y*z = 2, 0 = 3*z + 3. Solve j = w + 1 - 0 for w.
-1
Suppose 2*t + 2 = 3*t. Let g be -5*2 + t - 0. Let y be 10 + (-3)/((-12)/g). Solve 3*c + 10 = y*c for c.
2
Let i(a) = -2*a**2 + 16*a + 2. Let j be i(8). Suppose j*n = -6 + 8. Solve -n = 5*l - 16 for l.
3
Let q = 12 + -6. Let l be 1*(6/(-27) - (-3342)/(-27)). Let m = 124 + l. Solve m*d - 3*d = q for d.
-2
Let g be ((-54)/24)/(2/(-32)*4). Solve 3*d - 36 = -g*d for d.
3
Let b = -48 + 50. Solve -6*m - 4 = -b*m for m.
-1
Let b(y) = y - 10. Let a be b(35). Solve a*q - 18 = 19*q for q.
3
Suppose -2*d + 7*d = -480. Let j = 0 - d. Suppose 2*m + 3*h = m + 32, h + j = 5*m. Solve 0 = 5*f - f + m for f.
-5
Let j(t) = -t**2 - 5*t + 9. Let z be j(-6). Let m = -4 + 18. Solve z*y - 2 = -m for y.
-4
Let z be 10 - 18 - -1*10. Solve 0 = z*b - 12*b - 10 for b.
-1
Let d = 11 - 9. Solve d*i = -2*i + 16 for i.
4
Let m(p) = p**3 + 9*p**2 - 9*p + 7. Let k be m(-10). Let s(l) = -l**2 - 5*l - 3. Let v be s(k). Solve -4*w = 1 + v for w.
-1
Let j = -6 + 8. Suppose j = 5*r - 13. Solve -g + 5 = r for g.
2
Let p be 1/(-3)*(-3 + 3). Let w = 43 - 42. Let i be (-1 - (w - 2)) + -2 + 5. Solve h + i*h = p for h.
0
Let w(f) = 2*f + 116. Let g be w(-58). Solve -28*q + 27*q - 5 = g for q.
-5
Let w(o) = -o**2 + 8*o - 6. Let r be w(5). Suppose -r - 16 = -5*h. Solve 0 = -2*u - h + 1 for u.
-2
Suppose 0 = p - 5 + 9. Let s be (-76)/(-16) + 3/p. Solve -o = s - 0 for o.
-4
Let x = 9 - 5. Suppose 0 = -x*s + 8*s. Suppose -w + 2*u + 3 = -3, s = 3*w + 5*u - 40. Solve 0 = -5*m - 5 - w for m.
-3
Let w = -14 - -4. Let c = w + 15. Let x(g) = 4*g**2 - 59*g + 180. Let t be x(11). Solve c = -2*a + t for a.
5
Let t = -1 + 0. Let x be t/(-3) - (-2)/3. Suppose 2*s - 33*s = -6*s - 25. Solve s + x = j for j.
2
Let s = -28 - -28. Suppose -6*p - p + 28 = s. Solve t - p = -2 for t.
2
Suppose 1 = 4*s - 5*s - 3*f, -2*f = -2*s + 22. Let n = 10 - s. Let t be 4 + (2 - 4) + 1. Solve 13 + n = t*z for z.
5
Let h be -3*(-2)/(18/15). Let v(r) = r**2 - r - 10. Let m be v(h). Solve -s = s + m for s.
-5
Suppose -16 = -3*i + 2*g, -5*i + 8 + 7 = -g. Let b be (6 - 9) + (-2 - -5). Solve b*q - 6 = i*q for q.
-3
Suppose 2*a - 3*s - 2*s - 12 = 0, 60 = 4*a - s. Suppose 5*x = -t + 29, 5*t = -x + 4*x - 23. Solve -x*k - a = -2*k for k.
-4
Let d be 4 - 0 - (-7 - -7). Solve 0 = 2*t - d + 8 for t.
-2
Suppose -r = -5, 4*l - 4*r + 11 + 9 = 0. Let f = -13 - -21. Suppose -p - 5*w + 9 = -1, 4*w - f = -p. Solve p = -l*a + 2*a + 2 for a.
-1
Suppose 0*m = -j + m, -3*m = j - 16. Let w(y) = 2*y + j - 3 + y**3 - 5*y. Let v be w(2). Solve -2*u - u + v = 0 for u.
1
Let c(m) = 3*m**3 - 3*m**2 + 2*m. Let w be c(2). Suppose 4*k - w = -4*k. Let l(f) = 7*f**2 - 1. Let i be l(-1). Solve 2 - i = -k*u for u.
2
Let m(y) = 2*y - 6. Let g be m(8). Suppose 2 - g = -2*h, 0 = -5*k + 2*h - 13. Let w be -3 - (k - (-45)/(-5)). Solve 2*x = 3 + w for x.
5
Suppose -15*w = -19*w + 12. Solve 0 = -w*t + 7*t - 20 for t.
5
Let z = -5 - -5. Suppose 4*f + 0*f - 4 = z. Let a be f - (3 + -6*1). Solve a*y - 2 = 2*y for y.
1
Suppose -m = 6*z - 21 - 13, 5*m - 139 = z. Solve 26*c - 10 = m*c for c.
-5
Let g(o) = -4*o - 21. Suppose y + 5 = -1. Let r be g(y). Let p = -1 + 5. Solve 0 = -n + p*n - r for n.
1
Let r = 7 - 5. Suppose 6*j - 43 = -13. Suppose u - j = p, -r*u - 5*p + 20 = 2*u. Solve 14 = -u*b + 34 for b.
4
Suppose 0 = -4*t - 7 + 27. Let b be ((-33)/88 - (-91)/8) + -5. Suppose -2*h + 6*h + 4*y = 24, t*y - b = 3*h. Solve -h*i = 8 - 2 for i.
-2
Suppose 1 = 2*m + 2*q + 3*q, -5*m = -q - 16. Let y(h) = -h - m*h + 6*h - 5 - h. Let x be y(7). Solve 4 = j + x for j.
2
Let v be (-45)/25 + 1 - 188/(-10). Solve -7*f + v = 32 for f.
-2
Suppose -5*c + 5 = -0*c. Let t be 1/(c + -2) + 4. Solve 0*f - 9 = t*f for f.
-3
Let t be (-351)/(-52) + 2/8. Suppose 3*g + 1 - t = 0. Solve 0 = g*a - 5*a - 15 for a.
-5
Suppose 0 = -8*v + 6*v + 74. Let t = 39 - v. Suppose 3*z - 20 = -k, 0 = t*z - 4*k - k - 2. Solve 5*s - z = 4 for s.
2
Suppose -2*c = -m - 16, -3*m + m = -3*c + 24. Let x be 31/c + 5/40. Solve 7*i - 9 = x*i for i.
3
Let l(z) = -16*z**2 + 66*z + 99. Let w(r) = 3*r**2 - 13*r - 20. Let a(y) = 2*l(y) + 11*w(y). Let s be a(13). Solve 0*k - 12 = s*k for k.
-3
Suppose 0 = -2*k - y - 21, -3*y + 49 = -3*k + 4. Let l be (k/6)/(2/(-13)). Solve -4*s + l = 5 for s.
2
Suppose 7*y - 3*r - 40 = 6*y, 3*r = 3*y - 96. Solve -y*c - 72 = -10*c for c.
-4
Let d = -6 + 22. Let a(y) = -4*y - 1 + 5*y + 10. Let h be a(-5). Solve -4 = -h*f + d for f.
5
Let d(q) = q**3 - 3*q**2 + 3*q + 7. Let y = -49 + 52. Let f be d(y). Solve 0 = -0*c - 4*c - f for c.
-4
Suppose -3*j = -6*j + 30. Suppose -2*g + j = 3*g. Solve -8 = -2*c - g*c for c.
2
Suppose -3*m = -0*m - 15. Suppose 5 = -4*c + h + 90, -c - 3*h + m = 0. Let g = -133 + 137. Solve c + 0 = -g*q for q.
-5
Let l = -43 + 39. Let c be (-594)/(-126) - l/14. Solve 2*u = 1 + c for u.
3
Suppose 16 = 4*x - 20*d + 19*d, -x + 1 = -d. Solve x*t - 23 + 18 = 0 for t.
1
Let a be (-13)/((-156)/(-45))*-4. Solve 0*i = 3*i - a for i.
5
Suppose 6*g - 8 = -2. Let n be (1/1)/((-4)/(-33 + g)). Solve 5*c = 3*c + n for c.
4
Let n = 30 - 27. Let y(p) = 5*p**2 - 2*p + 1. Let s be y(1). Suppose s*x = n*x. Solve x = 2*h - 7*h - 15 for h.
-3
Let s(i) = 107*i - 912. Let o be s(9). Solve -2*r - 15*r = -o for r.
3
Let t(g) = g**3 + 11*g**2 + 11*g + 9. Let o be t(-10). Let z be (-6 + 9)*o/(-3). Solve 0 = 3*f + 4 - z for f.
-1
Let l be 6/4*(-7744)/(-264). Solve 8*f = -l + 4 for f.
-5
Suppose -3*s + 94 = -4*q, -2*s - 21*q = -26*q - 51. Solve -13*c = -s - 14 for c.
4
Let t(y) be the third derivative of y**4/8 - y**3 - y**2. Let a be t(6). Let u = a - 8. Solve 5*j - 19 = -u for j.
3
Let k(s) = -s + 3. Let r be k(3). Let t be 7 + 7 + (r - 0). Let l = t - 10. Solve 2*v = 4*v - l for v.
2
Suppose -13*p - 150 = -19*p. Solve 8*o - 7 = p for o.
4
Let k be ((-18)/(-10) + -1)/(20/100). Solve 0 = -t + k*t for t.
0
Let y be (-8 + 7)*(22 + 0). Let q = 47 + y. Solve -a - 4*a + q = 0 for a.
5
Suppose 2*j - 3*j = -3. Let i be 12/10*(-15)/(-9). Solve -r + i = j for r.
-1
Let g(j) = j + 1. Let x be g(1). Suppose -4*f + 5*i = -22, -3 = f - 23*i + 26*i. Solve -x*k + 3 + f = 0 for k.
3
Let a = -1602 - -1624. Solve 62 = 10*y + a for y.
4
Let a be (-134)/(-16) + ((-55)/40 - -1). Solve -3*k 