*o. Solve o = 2*x + d + 3 for x.
-2
Let k(d) = -2*d**2 + 23*d - 8. Let w be k(11). Suppose -3*y - 5*v - 6 = 3, 3*y + 3 = -w*v. Solve -l - l = y for l.
-1
Suppose 2*d + 9 = 2*a + 21, 0 = -d + 5*a + 18. Solve -10*u + 11*u + d = 0 for u.
-3
Let l(i) = -10*i**3 - 4*i**3 - 3*i + 2*i + 2*i**3 + i**2. Let g be l(1). Let b be (-33)/g + 1/4. Solve 0 + b = 3*d for d.
1
Let i be 2/3*-6 + 28. Let o be ((-40)/i)/(3/(-9)). Solve -15 = o*f - 0*f for f.
-3
Let c = 33 - 29. Suppose -c*l = -l + 4*l. Solve -4*r - r = l for r.
0
Let n(r) = -9*r**2 - 7*r + 2. Let z be n(-1). Solve z = -5*o - 16 + 6 for o.
-2
Let z(b) = 4*b**2 - 3 + 0*b**3 - b**3 - 6 + 8*b. Let s = -1240 - -1245. Let m be z(s). Solve -2*i + m = i for i.
2
Let j(k) = -2*k**2 + 2*k + 22. Let q be j(6). Let m = 38 + q. Solve m = -4*c + 5 - 1 for c.
1
Suppose -b = -3*a + 11, -b = -2*b - 5*a + 29. Suppose -v + 0 + 4 = g, 2*g = 2*v - 4. Solve b*c = v*c - 5 for c.
-5
Let q be (6/3*5)/1. Solve -u = u + q for u.
-5
Suppose -2 = -j + 2. Suppose 13 = 2*b - o, -5*b + 2*b + 22 = -j*o. Solve -14 = -2*a - b for a.
4
Suppose -2*b - 5*d = 3*b - 20, -2*d = 4*b - 14. Let j(s) = -s**3 - 8*s**2 + 10*s + 12. Let n be j(-9). Solve 0 = -b*y - 0*y + n for y.
1
Suppose 2*i = 3*a - 9, -2*i + 16 = 5*a - 5*i. Suppose -5*f + 126 = f. Solve -a*m + 6 = f for m.
-3
Suppose m - r + 10 = 0, m - 7 = -4*r + 8. Let b be (-562)/(-10) - (-1)/m. Let l be 96/b + (-4)/(-14). Solve 0 = -2*n - l*n - 20 for n.
-5
Let b(v) = -v**2 + 7*v + 1. Let i(z) = z**3 - 2*z + 6. Let n be i(0). Let c be b(n). Let x = 0 - -2. Solve x*o - c*o = -25 for o.
5
Suppose -8*x = -13*x + 25. Suppose -2*m = x*m. Suppose w - 6*w = m. Solve 3*c + 6 + w = 0 for c.
-2
Suppose 460 = 9*m + 190. Solve 11*z + m + 25 = 0 for z.
-5
Suppose 30 = -2*y + y - 4*z, 0 = -3*y + 5*z - 5. Let r be (y/4)/((-12)/24). Let c = 46 + -28. Solve -3 = r*n - c for n.
3
Let n(w) = w**3 - 16*w**2 + 15*w + 1. Let r be n(15). Let s be r + (7 - (-2 + 6)). Let h be 0*(9/6)/(-3). Solve -s = p - h*p for p.
-4
Suppose -6 = -3*l - 0*l. Suppose l*g + 70 = -5*g. Let i be (-1)/(-2)*(10 + g). Solve 5*k + 0*k - 15 = i for k.
3
Let q be (-5)/(3 - 4 - 0). Suppose -4*u + q = -3*u - 5*l, u - 5 = -2*l. Solve 5*n = 25 - u for n.
4
Let a(f) = 7*f - 2. Suppose 2*z = -4*y + 14, 5*z + y = -2*y + 14. Let u be a(z). Let d be 3/(-2 + (-26)/(-10)). Solve d*v - 5 - u = 0 for v.
2
Suppose 2*f - 5*r - 4 = -3*r, 4*f - r - 11 = 0. Let x be 8/f*168/16. Solve 5*a + 3 = x for a.
5
Let f = 1339 + -1320. Solve 0 = f*u - 3*u - 48 for u.
3
Let t(n) be the first derivative of n**2/2 - 9*n + 23. Let g be t(14). Solve -9 = -2*l - g for l.
2
Suppose -3*b = -5*b + 4. Suppose -x - b*z = 2, 0 = -4*x + 2*z - 4*z + 10. Suppose 2*s + 2 = -n + 3, 3*n - 3 = -2*s. Solve -r - n = -x for r.
3
Let s = 1326 + -1313. Solve -15 = y - s for y.
-2
Let q be 36/8*2/3. Suppose 2*t = 2*p, -t - 2*p = q - 9. Let h(k) = k**2 - 13*k + 22. Let a be h(12). Solve -t*l = -0 + a for l.
-5
Suppose 35 = n + 2*r + 17, 2*r = 8. Let x be 3/(-6) + 17/2. Suppose -4*j + 1 + x = -3*y, -3 = 5*j + y. Solve j = -3*f + f + n for f.
5
Let n(t) = t + 1. Let b be n(-4). Let j be 12 + (-5 - 1 - b). Solve 3*o = 3 + j for o.
4
Suppose 2*x = -77*g + 79*g, -4*x = -2*g - 10. Let d be -2 + 1*-17*-1. Suppose 5 = -5*z + d. Solve z*h - x = 1 for h.
3
Let n(f) = -f**3 + 12*f**2 - 11*f - 50. Let w be n(10). Solve w = -11*q + 19*q for q.
5
Let j(w) = -w + 3. Let d be j(0). Let k(u) = u**2 + 9*u. Let r be (-3)/(3/10) - 0/(-14). Let z be k(r). Solve -d*x = -x + z for x.
-5
Let s = 0 - -14. Let a = s + -12. Solve -3*q - a*q = -10 for q.
2
Suppose 5*g - p - 16 = 0, g + 2*g = -p + 8. Let d be (-1)/(-4) + 38/8. Solve d*r = g*r - 6 for r.
-3
Suppose 0 = 5*t - d, t = -d - 5 - 1. Let g be 1*t + -5 + 6 + 0. Solve i = -g - 5 for i.
-5
Suppose 0 = -4*w - 3*h + 2, 4*w - h - 16 = -6. Suppose 0*t - 8 = 2*t. Let j = w - t. Solve -j*m = -m - 15 for m.
3
Let h(k) = -3 - 25*k + 15*k + 9*k + k**3 + 7*k**2. Let i be h(-7). Solve i*u = -u + 10 for u.
2
Suppose 53*k - 29 = 52*k. Solve 24*q = k*q + 5 for q.
-1
Let r(g) = -11*g - 184. Let p be r(-17). Solve p - 3 = -7*u for u.
0
Suppose 3*p = -2*f - 136, -3*p + f + 4*f - 143 = 0. Let a = -40 - p. Solve -3*k + 3 = a for k.
-1
Suppose -2*n = 4*o, 5*n - 4*o = -o + 52. Let p = -24 + 2. Let x be (-40)/p - n/(-44). Solve -7 = -3*k + x for k.
3
Suppose 0 = 5*i - 3*k - 51, 3*i - 39 = -0*k - k. Let o(w) = 2*w - 16 - 14 + 4 + 3. Let l be o(i). Solve l = -4*n + 3*n for n.
-1
Let u be (4/(-6))/(3/(-36)). Let x(g) be the first derivative of g**3/3 + g**2 + 13. Let t be x(-3). Solve u = t*l - 7 for l.
5
Let j be 2 - (-4)/((-4)/3). Let l = j + 4. Let t = 4 + 5. Solve -l*y - t = -0*y for y.
-3
Suppose 0 = -2*g - p + 4*p + 2, 0 = 5*g - 3*p - 14. Solve g*y = -y for y.
0
Let c(v) = -2*v + 1. Let m be c(-3). Let w = 57 + -64. Let a = m + w. Solve 4 = 2*f - a*f for f.
2
Let b = -221 - -223. Solve -b*s + s = 0 for s.
0
Suppose 0 = 10*a - 14 - 76. Suppose -2*u = -4*c - 18, u + 0*c - 3 = -c. Solve u*i - a = 2*i for i.
3
Let x(r) = -3*r**3 + 2*r - 2. Let j be x(2). Let l = 26 + j. Solve l*d + 7 = -5 for d.
-3
Suppose 113 = -8*h - 479. Let d = h + 78. Solve 0 = -d*a - 0*a + 4 for a.
1
Suppose 10*x = -9304 + 9454. Solve -8*p - x = 1 for p.
-2
Let c(p) = 2*p**2 + 22*p + 42. Let m be c(-2). Solve 2 = -2*y + m for y.
2
Let x(h) = 4*h - 24. Let b be x(7). Suppose -2*q - 5*f = 4, -f - 16 = -2*q + b*f. Solve -12 = m + q*m for m.
-3
Let t(n) = n**3 - 11*n**2 - 18*n + 8. Let m be t(13). Let h = m + -107. Solve 1 = -4*r + h for r.
1
Let o = 14 + -12. Let c(i) = i**3 + 12*i**2 - 14*i + 16. Let m be c(-13). Let a = m - 24. Solve -7 = a*l - o for l.
-1
Suppose -5*a + 36 = -3*p + 6*p, -p + 12 = -2*a. Suppose p = 3*s - 6*s. Let q be (-12)/(-9) - s/(-3). Solve -4*y = -q*y + 4 for y.
-1
Let z(l) = -2*l**2 - 9*l - 7. Let b be z(-3). Suppose 0 = 2*u - t + 6, -3*u + 5*t - 13 - 3 = 0. Let r be 1 + 1/((-1)/u). Solve -r = -b*j - 5 for j.
-1
Let i(o) = -2*o**2 - 16*o. Let b be 0*(-4)/(-20) - (6 + 2). Let u be i(b). Solve u*v + 4 = -v for v.
-4
Let q = 19 - 47. Let i = q + 47. Suppose i = 6*n + 1. Solve 4*s + n = 7 for s.
1
Suppose 0 = -2*u - 656 + 666. Solve -u*i = -i for i.
0
Suppose d + 2*p = -2*d + 25, -2*d - 15 = -5*p. Let y(u) = u + 7. Let s be y(d). Suppose 0 = -0*a - 5*a. Solve -s = -a*c + 3*c for c.
-4
Suppose -2*k = -k + 4*i + 22, -k - 7 = -i. Let z = -182 + 207. Let d be 10/z - 6/k. Solve d = -0*r + r for r.
1
Let k = -473 - -482. Solve -k = -7*y + 10*y for y.
-3
Let y(b) = -31*b + 65. Let c be y(2). Solve 5 + 4 = -c*t for t.
-3
Let o be (-2)/(1 + ((-6)/4 - 0)). Solve -o*u + 12 = -8*u for u.
-3
Let u(q) = -q**3 + 18*q**2 + 3*q - 48. Let d be u(18). Solve 0 = 4*v + d + 10 for v.
-4
Suppose -2*m + 4*f + 22 = 0, 0 = 3*f + 91 - 79. Suppose -5*n - 1 = -6. Solve 4*c = n + m for c.
1
Let m = 1 - 1. Let f(q) = -2*q + 16. Let z be f(7). Suppose -4 = -z*r, 2*b - 3*r + 8 = 3*b. Solve m - 6 = -b*u for u.
3
Let x = -181 - -345. Let f be (-24)/108 - x/(-9). Let g = f + -8. Solve -k + g = k for k.
5
Let d be ((-5)/15)/((-3)/45). Solve -d*m + 2 = -23 for m.
5
Let q(x) = x - 1. Let b be q(5). Suppose b*c = 3*r + 106, 3*r + 0*c + 146 = -4*c. Let j be r/(-8) - 10/40. Solve 0 = -s + j*s for s.
0
Suppose 5*j + j = -24. Let b be (-183)/(-27) - j/18. Let k be (-2)/(3*(-2)/9). Solve -k*g + b = 1 for g.
2
Suppose -4*r - 2*q + 56 = -3*q, -2*q - 28 = -2*r. Let u = r + -14. Solve 4*w - 2*w + 4 = u for w.
-2
Let c(r) = -r + r**2 - 5*r + 18 - 9. Let x be c(5). Solve x*t + 6 = 2 for t.
-1
Suppose 0 = 1297*r - 1305*r + 184. Solve r*z - 12 = 19*z for z.
3
Suppose -12*q = -21*q + 22*q. Solve -5*y + 0*y + 4*y = q for y.
0
Suppose -12 = 6*d - 2*d. Let m be ((-1)/d)/(2/18). Suppose p - 2*y = 20, 2*p + m*y = p. Solve -p = b + 2*b for b.
-4
Suppose 2*v - 5*p = 4*v - 24, 2*p - 10 = -v. Suppose -5*z - 27 + 167 = 0. Suppose 2*x - 6*x - 5*c = -26, 5*x = -4*c + z. Solve 2*b + v = x for b.
1
Suppose -494*c = -482*c. Solve s + 11*s = c for s.
0
Let x be (-3 - 56/(-6)) + 4/(-3). Solve -x*u + 3 = -8*u for u.
-1
Suppose -229 = -16*u - 37. Solve -9*v - 3 = -u for v.
1
Let k be (113/(-113))/((-1)/7). Solve 9*n - k = -34 for n.
-3
Let a(f) = -11*f**3 - 27*f**2 - 29*f + 19. Let u(r) = 5*r**3 + 13*r**2 + 14*r - 9. Let b(c) = -6*a(c) - 13*u(c). Let i be b(8).