85 = k*o for o.
2
Suppose v + 2*u + 1 + 8 = 0, -3*v + 8 = -u. Solve -v = 2*s + 1 for s.
-1
Suppose 2*c + 168 = -c. Let t = c - -59. Solve -t*d = -3 - 3 for d.
2
Let d = 1779 + -1754. Solve 2*c = 15 - d for c.
-5
Let u(s) = -s**3 - 5*s**2 - 5*s - 11. Let b be u(-4). Let y be (((-140)/(-8))/b)/(2/(-16)). Solve -2*l = -6*l - y for l.
-5
Let y(q) = q**3 + 7*q**2 + 2*q + 5. Let h be y(-5). Suppose 2*g + 13 = -5*m + 31, 3*m - h = -5*g. Solve -6*w + 3*w + g = 0 for w.
3
Let t = -7 + 2. Let s(n) = -n - 4. Let d be s(t). Suppose -49 + 25 = -6*h. Solve h*m - 21 = -d for m.
5
Let a be 2/((-12)/(-3))*-8. Let z = 12 + a. Solve 3*m - 1 = z for m.
3
Suppose -3*b = 28 - 88. Let m = b + -15. Solve -4*s - m - 3 = 0 for s.
-2
Suppose 7 = z + 2*l, 14 = 5*z - 2*l + 3. Suppose 3*q - 4*q + 6 = 0. Solve -q = h - z*h for h.
3
Let s(y) = 9*y - 26. Let x(k) = 19*k - 53. Let v(f) = 13*s(f) - 6*x(f). Let u be v(14). Let i = 4 - 0. Solve 0 = i*z + u - 2 for z.
-5
Let l(k) = 8*k - 73. Let z be l(11). Solve 19*r = 14*r + z for r.
3
Suppose -5*c = 3*x + 117, -58 = 3*x + c + 47. Let z be x/(-3) - 12/(-18). Let s = z + -10. Solve -s*y = -7*y for y.
0
Let c(o) = 3*o**2 - 62*o - 2*o**2 - 18 + 81*o. Let h be c(-20). Solve -h*p + 20 = 2*p for p.
5
Suppose 0 = 3*r - 7 - 56. Let y = -21 + r. Solve q + y*q = -4 for q.
-4
Suppose r + 7 - 21 = 0. Suppose z + 4*f = -r, 0*f - 6 = -5*z - f. Let m be (-122)/(-14) - (-4)/14. Solve -m = z*n - 1 for n.
-4
Let r(g) = g**3 + 11*g**2 - 12*g + 1. Let t be r(-12). Solve t = -3*s - 11 for s.
-4
Suppose 0 = -6*w + 213 + 393. Let s = w - 99. Solve -2*f + 0*f - s = 0 for f.
-1
Let w = -419 + 425. Solve -8*s + 14*s = -w for s.
-1
Suppose 3*j + j = -84. Let c = -20 - j. Solve 4*w + 3 = -c for w.
-1
Suppose 5*i + 2*j - 6 = 0, -5*i = -j + 6 - 3. Suppose i = -2*m + 6 + 24. Suppose -h = 4*h - m. Solve 0 = -r + 1 + h for r.
4
Let z = -35 - -64. Suppose -3*r + z = -2*r - 5*b, -3*b = 4*r - 1. Solve -v + 0*v = -r for v.
4
Let g = -325 - -329. Solve -18 = g*i - 10 for i.
-2
Suppose 3*m = -m + 28. Suppose m = -2*j - 11. Let f be (-63)/14*12/j. Solve -2*d + f = d for d.
2
Let n = 3 + -2. Let z(o) be the second derivative of 2*o**4 + o**3/6 + 11*o. Let w be z(n). Solve 6*k + w = k for k.
-5
Suppose -2*u - 7 = -q - 0*u, -20 = -5*q - 5*u. Solve -20 = 5*d + q for d.
-5
Suppose -j + 3 = 2. Let d be (j - 2/(-1))*(-36)/(-27). Solve b - 10 = -d*b for b.
2
Let a = -1449 - -1461. Let g(d) = 3*d**2 + 2*d - 1. Let n be g(1). Solve -n*l - a = -0*l for l.
-3
Let a(u) = -2*u - 12. Let l(r) = -10*r + 1. Let h(w) = 11*w - 1. Let v(y) = -3*h(y) - 4*l(y). Let d be v(-1). Let o be a(d). Solve 0 = k + o*k for k.
0
Let a = -281 + 315. Solve a*m - 31*m = 6 for m.
2
Suppose 0 = 3*t + 4*q - 100, 5*t - 120 = 5*q - 0*q. Suppose -t*j + 15 = -23*j. Solve -j*g + 10 = -g for g.
5
Suppose 14 = 2*n + 5*f, 7*f - 9*f = -2*n. Solve n*r + 30 = -4*r for r.
-5
Let d(w) = w**2 - 5*w. Let q = 8 + -2. Let l be d(q). Let c = l + -2. Solve 0 = -p + c*p + 12 for p.
-4
Let k(h) = h**3 + h**2 - h + 6. Let y be k(0). Let p = y + 6. Solve -3*f - f = -p for f.
3
Suppose -4*f - 2*q = -6, 5*f + 2*q - 4 - 6 = 0. Solve -9*r = -5*r - f for r.
1
Let c(k) = -k**2 + 17*k - 6. Let a be c(11). Suppose -4*p - 3*i = -48, 5*p + 2*i = 6*i + a. Solve -13 - p = 5*q for q.
-5
Suppose 22*s = 48*s - 234. Solve s = -c + 13 for c.
4
Let a(p) = -p**2 - p - 1. Let g(h) = h**3 + 10*h**2 + 4*h + 5. Let v(q) = 5*a(q) + g(q). Let k be v(-5). Let u = 11 - 4. Solve -2*j - k = -u*j for j.
1
Let v(g) = -178*g + 892. Let m be v(5). Let u(t) = 2*t**3 - 2*t**2 + t + 1. Let j be u(2). Let r be j - -1*1/(-1). Solve -7*y - r = -m*y for y.
-2
Suppose -3*w = 2*k - 0*w + 9, -15 = -4*k + 5*w. Suppose -4*p + 9*p + 5*s = 20, -7*p = -3*s - 8. Solve p*m - 5 + 7 = k for m.
-1
Let f = -1 + 40. Let o = -37 + f. Solve -2*s - o*s = 0 for s.
0
Let g(f) = 5*f + 67. Let u be g(-11). Solve -u = 13*w - 9*w for w.
-3
Let d be (-52 + 1)/((-15)/(-10)). Let j = -26 - d. Solve j = -0*i - 4*i for i.
-2
Suppose 0 = -4*l + 50 + 470. Suppose -4*s = m + 181, 5*m - l = -0*s + 3*s. Let h be (3/5)/((-9)/s). Solve -h*f - 6 = -21 for f.
5
Let q = 4 + -1. Let o(k) = 3*k - 6. Let w be o(q). Solve -w*c = 2*c + 20 for c.
-4
Let n(d) = 58*d - 273. Let t be n(5). Solve -3*u - 14 = -t for u.
1
Suppose -4*q + i = -212 + 1, 0 = 5*q + 4*i - 269. Let a = q + -51. Solve -a + 4 = -h for h.
-2
Suppose -36 = -4*n - 2*n. Suppose n + 3 = 3*m. Suppose 0 = -0*c - 3*c. Solve m*u = -c*u + 15 for u.
5
Let b be ((-6)/7)/(3/21). Let i be -21*b/7*1. Let y be 48/i - (-4)/(-6). Solve -5*p - 3 = y for p.
-1
Let z(c) = -c + 20. Let s(f) = 3*f**3 - f**2 - 2*f. Let t be s(2). Let q be z(t). Solve -q - 1 = o for o.
-5
Suppose -5*t + 20 = -15. Let f = 32 + t. Suppose f + 41 = 4*w. Solve 5*j = -0*j - w for j.
-4
Suppose 3*n - 2*x = x + 18, 4*x + 2 = 2*n. Solve -n*k + k = 0 for k.
0
Let m be ((-6)/8)/((-14)/(-168)). Let z(g) = -g**3 - 9*g**2 + 2. Let h be z(m). Solve -4 = h*w - 6*w for w.
1
Let d = -47 + 6. Let n = -38 - d. Solve k + 2*k = n for k.
1
Let q(t) = -10*t**2 - 457*t - 34. Let v be q(-45). Solve -v*s + 277*s = 4 for s.
-1
Suppose 2 = 5*c - 0*c - 2*h, 20 = 4*c + 3*h. Solve -c - 10 = 3*s for s.
-4
Let x = -24 + 25. Let v be (-2 - x - 16/(-8)) + 5. Let p = 12 + -7. Solve 0 = v*d + 1 - p for d.
1
Let x = -50 - -53. Suppose -2*h - x*h = 5*h. Let c be (2 + 4/(-3))*3. Solve 3*z + c*z + 20 = h for z.
-4
Let l = 318 + -316. Solve -g = -l*g - 5 for g.
-5
Suppose 7*f + 3 - 24 = 0. Suppose -4*l - l + 27 = b, -f*b - l = -39. Solve -4*w = -w - b for w.
4
Suppose -2 = 3*b - 8. Suppose b*j = -3*j. Solve 2*l + 11 - 3 = j for l.
-4
Let i be 3 - (-13)/(26/24). Let n be i/6*(-18)/(-15). Suppose -5*d - 2*g + 56 - 2 = 0, -2*d + 36 = -4*g. Solve d = 5*p - n for p.
3
Let h = 6 + -3. Suppose 0 = -h*x + 4 + 2. Suppose 0 = -x*s - 0*s + 14. Solve a - 2 = -s for a.
-5
Suppose 4*y - 257 + 201 = 0. Solve -18*j = -y*j - 12 for j.
3
Let a = 1598 + -1240. Solve 3*i + 343 = a for i.
5
Suppose 2*v + 21 = 5*c, c + 3 = v + 6. Solve v*o + 12 = 6 for o.
-3
Let g be 53/4 + 1/(-4). Solve 7*x - g = 8 for x.
3
Let q = 45 + -103. Let u = -46 - q. Solve -l + 4*l = -u for l.
-4
Suppose -15*q = -13*q - 8. Suppose 0*n + q*n = 96. Solve 0 = 5*c - n - 1 for c.
5
Suppose -4*u - 3*u + 35 = 0. Suppose u*j - 8 = 2. Solve -j - 8 = -2*w for w.
5
Suppose -4*t = j + j - 2, 5*t + 5*j + 10 = 0. Suppose 2*c = -2*g + c + 15, -5*c = g + 15. Suppose -s + g*s = 6*s. Solve t*l - 2*l + 4 = s for l.
-4
Let f = 267 + -264. Let y(v) = v**2 - 8*v - 3. Let d be y(8). Let x be (-72)/(-20) + d/5. Solve f*p + 0 = x for p.
1
Let v(m) = -2*m - 9. Let y(o) = -o**2 - 11*o - 23. Let b be y(-9). Let n be v(b). Solve 0 = j + n - 5 for j.
4
Let o be 57/24 - (-105)/(-280). Solve -o*c = -16*c + 70 for c.
5
Let j(y) = y**2 + y. Let l be j(-2). Let g(f) = 36 - 211*f**2 - f**3 - f**3 - 22*f + 233*f**2 + 3*f**3. Let s be g(-23). Solve -l = 5*z + s for z.
-3
Let n(w) = 2*w. Let d be n(1). Let j = 217 + -130. Suppose -8*x + j = -33. Solve -x = -u - d*u for u.
5
Suppose -4*x = 2 + 6, -p = 4*x + 11. Let w be (p + (-46)/(-10))/((-2)/(-5)). Solve -z = -w*z for z.
0
Let i(n) = 58*n + 59. Let u be i(-1). Solve -q - 6 = -u for q.
-5
Let s = 242 + -240. Solve -s*y - 4*y - 30 = 0 for y.
-5
Let i(c) = 2*c - 5. Let y = -15 - -17. Let q = y - -2. Let b be i(q). Solve 2*h = -13 + b for h.
-5
Let a = -23 - -32. Suppose 12 = a*g - 5*g. Solve -g*n = n for n.
0
Let n(p) = -p**3 + 8*p**2 - 15*p + 58. Let a be n(7). Solve 0 = 3*u + a + 1 for u.
-1
Let n(j) = 4*j**3 - 2*j**2 - 3*j - 2. Let q(o) = o**3 - o**2 - o - 1. Let s(k) = n(k) - 2*q(k). Let h be s(1). Suppose -f = 3*f - 20. Solve f*a + h = -4 for a.
-1
Suppose 0 = l - 4, 3*l + l = -c + 16. Solve c = 3*o + 5 + 7 for o.
-4
Let y be 0/((-3)/(3/(-1))). Suppose -t + 3*g - 1 = y, 2*t - 3*t + 17 = 3*g. Suppose 0 = -5*x + 19 - 4. Solve -x*n = -n + t for n.
-4
Suppose -3*p + 203 = -16. Let a = -61 + p. Suppose 0 = -3*n - 0*n. Solve n = -3*y - y - a for y.
-3
Let y = 462 - 320. Let r = y + -141. Solve -q - r + 6 = 0 for q.
5
Suppose 3*x + 58 = 5*x - 2*y, y + 59 = 2*x. Let r be x/(-10)*2/3. Let l be 6*((-5)/r + -2). Solve v - 8 = l*v for v.
-4
Suppose -3*h - 178 = -214. Solve 0 = 19*b - 22*b - h for b.
-4
Let r(z) = -z**2 - 2*z + 2. Let w(s) = -s**3 + 5*s**2 - s + 5