2 + 15*o + 2. Let y be m(-15). Solve -y = -d - d for d.
1
Suppose -5*b + 8 = -b. Let n = 16 + -8. Solve -2*s - n = b*s for s.
-2
Let d(t) = t + 7. Let p be d(-6). Let a = -18 + 21. Solve -2*r = p - a for r.
1
Suppose -4*j - 1 = z - j, -4*j = 3*z - 12. Solve -5*f - z - 12 = 0 for f.
-4
Let z be (-38)/(-12) + 13/(-78). Let t be (0/z)/(-2 - -3). Solve -5 = c - t*c for c.
-5
Let s = -30 + 30. Solve s = k + k for k.
0
Let t = 4 - -1. Solve -t = 2*c + 3 for c.
-4
Let z = -26 - -41. Solve -3*d = z - 0 for d.
-5
Suppose 4*a - 3*l - 12 = 0, l - 1 = 3*a - 5. Let f(v) = v**2 + 4*v + 4. Let i be f(-3). Let y be 1*(a + 0/i). Solve 4 = k - y for k.
4
Suppose 73 = 5*d - 12. Suppose 2*v = 3*v + 5*x - d, 13 = 5*v + x. Solve -m = -v*m + 4 for m.
4
Let o(i) = -i**3 - 4*i**2 + 4*i - 3. Let d be o(-5). Let p = -50 + 53. Solve y = -d*y + p for y.
1
Let z(y) = -y**3 - 12*y**2 - 20*y + 2. Let h be z(-10). Solve h*u - 12 = -u for u.
4
Let y be (-1)/(-1)*(-1 - -1). Solve y = -3*n + n - 2 for n.
-1
Suppose 0 = g + 5*q + 12 + 3, 4*q = -4*g - 12. Let y be 7 + (g/3)/1. Suppose -2*n - y = -2*r - 1, 0 = 3*n - 12. Solve -2*i = -r*i - 15 for i.
-3
Let l = 11 + -7. Solve -u + 15 = l*u for u.
3
Let q(u) = 2*u + 23. Let s be q(-10). Solve -s = -3*f + 6 for f.
3
Suppose -3*r - 12 = -6*r. Let d(h) = h**2 - 2*h - 7. Let t be d(r). Solve -c - 2 + t = 0 for c.
-1
Let z(i) = i**3 - 4*i**2 - 3*i - 6. Let h be z(5). Let d(s) = s**2 - 4*s + 2. Let l be d(h). Solve k = -3 - l for k.
-5
Let q = -37 - 15. Let p be q/(-12) + (-1)/3. Suppose 3*f = -12, -p*d + 2 = -2*d + f. Solve 5*o = -d + 18 for o.
3
Let x be ((-8)/18)/((-2)/9). Suppose 3 + 3 = 3*h. Solve h*f = -x*f - 4 for f.
-1
Let b = -15 + 20. Solve -3 = b*l - 4*l for l.
-3
Suppose 5*p = -2*c + 9, -c + 0*c + 3*p - 12 = 0. Let j be (c/(-1) - 2)/(-1). Let r = 4 + j. Solve 0*y - r*y = -15 for y.
5
Let k = -118 + 121. Solve 0 = -k*j - 2*j + 15 for j.
3
Suppose 3*r = 59 - 14. Solve -f = 2*f - r for f.
5
Let t = 1 + -2. Let b(d) = 4*d**2 + d + 1. Let a be b(t). Suppose -c + 3*p - 6 = 4*c, -2*p + 4 = -4*c. Solve c = -a*j - j for j.
0
Let s(l) = 4*l + 2. Let y be s(2). Let w be 9/(-15) - (-166)/y. Solve a + w = -3*a for a.
-4
Let q(c) = c**3 - 8*c**2 + 8*c - 9. Let a be q(7). Let f = -2 - a. Solve f = 6*s - 2*s - 8 for s.
2
Suppose -4 = x + 1. Let g = x - -13. Solve 0 = 2*m - 0*m - g for m.
4
Let q(r) = r - 9. Let o be q(11). Solve 0*a + a + o = 0 for a.
-2
Suppose -3*d + 0*d = -27. Solve 2*g = -g - d for g.
-3
Let v be 3/9*0 - -4. Suppose 12 = 3*d - 0*d - 2*f, 12 = -v*f. Let j = d + -2. Solve j*h = h for h.
0
Let x = -47 - -63. Solve -x = -3*y - y for y.
4
Let v(s) = -s + 7. Let c be v(4). Solve -c*p + 4 = -5*p for p.
-2
Let o(f) = 45*f - 11. Let s(y) = -22*y + 5. Let i(k) = 6*o(k) + 13*s(k). Let u be 2/(-5 - (0 - 3)). Let t be i(u). Solve 4*r - t = r for r.
5
Let r(q) = -q - 6. Let a be r(-9). Solve -3*u + a = -3 for u.
2
Suppose 2*c + c = -f + 5, 2*f = 2*c + 2. Suppose -t + 75 = 4*t. Let x be (-37)/(-7) - 2/7. Solve x*p + t = f*p for p.
-5
Let x(g) = g - 3. Suppose 2*p + 4*r = 14 - 0, 4*r + 1 = 3*p. Let t be x(p). Let s be (1 - t) + 4 + 7. Solve -4*d + 0 = -s for d.
3
Let v be ((-4)/10)/(1/(-5)). Solve 3*j - v = -8 for j.
-2
Let a = -140 - -141. Solve 0 = -3*o + 2 + a for o.
1
Let w be 3 - (-2 + 0)*1. Suppose 4*k = -2*r + 14, -2*k + 5*r + 1 = -0. Solve k*u - w = 4 for u.
3
Let c = 16 + -16. Solve c = 3*x + 3 + 9 for x.
-4
Let w = 19 + -16. Solve -4*g + w*g = 3 for g.
-3
Let i = 20 - 20. Solve 0*c + c - 5 = i for c.
5
Let y = -64 + 68. Solve 0*x = y*x - 4 for x.
1
Suppose -3*t - 16 = -7*t. Solve -t*d + 6 + 10 = 0 for d.
4
Suppose -4 = w - 2*n, -9 = 3*w - 0*w - 5*n. Suppose -w - 2 = -x, -38 = -5*a + 3*x. Suppose -6*m + 3*i = -4*m - 10, -3*i = 6. Solve a = m*b - 0*b for b.
5
Let g = -25 - -28. Solve g*k = k - 8 for k.
-4
Suppose -w - 11 = -4*k, -11 = -w - 2*w + k. Suppose -w*x + 3 = -17. Let y = 7 - x. Solve -y*z = z + 16 for z.
-4
Let m be (-4 + (-27)/(-6))*8. Solve 4*o + 0*o = -m for o.
-1
Let u(v) = -4*v - 5 + 2*v + 2*v - v. Let l be u(-10). Solve 2 = 3*a - l*a for a.
-1
Let y = -7 + 10. Suppose 0 = 2*f - 3*f + y. Solve f*x = -x for x.
0
Suppose 0 = -h - 0*h. Suppose q - 3 = -h. Suppose -3*y + q = -v - 0*v, 4 = 4*y. Solve 3 = 3*d - v*d for d.
1
Let j(q) = -q + 1. Suppose -4 - 2 = 3*v. Let k be j(v). Suppose -k*w = -12 - 0. Solve -2*d = -w*d for d.
0
Suppose -6*s = -5*s. Let p = 7 + -1. Let o = -12 - -15. Solve s*v - o*v = p for v.
-2
Let u(c) be the third derivative of -c**4/12 - 4*c**3/3 - 3*c**2. Let v be u(-5). Solve 0 = -3*s + 2*s - v for s.
-2
Suppose 2 = u - 3. Suppose u = 4*a + 1. Suppose -3*v + 27 = -0*v. Solve 5*t = -v - a for t.
-2
Let k = 0 - -28. Suppose 0 = -3*a + 3*j + 48, 3*a - 4*j - 18 - k = 0. Solve 5*v - 2 = a for v.
4
Suppose -16 = -2*u + 4*a, -2*u = -7*u + 4*a + 28. Solve -c + 5 = u*c for c.
1
Let c(b) = 6*b**2. Let a be c(-1). Solve d = -d + a for d.
3
Let t be (-40)/(-260) - (-308)/26. Solve 2*c = -2*c + t for c.
3
Suppose -15 = 3*t - 4*t + 2*z, -4*z = 3*t - 5. Suppose -3*x + 5*m + 35 = 0, -x - 4*x = 5*m - 45. Solve x = -2*o + t*o for o.
2
Let i(j) = 2*j**3 + 1. Let f be i(1). Solve -l - f = -4 for l.
1
Let a be 9/12 + 77/4. Solve 3*o + a = -2*o for o.
-4
Let c(g) = -g**2 + 4*g. Let u be c(4). Suppose r + u = 4. Solve -r = -3*m + 11 for m.
5
Let v(p) = -8*p**3. Let q be v(-1). Suppose -4*l + 15 = 3. Solve h - q = -l*h for h.
2
Let k be 2 - (4 + -2)/(-1). Suppose -3*q = -k*q + 5. Solve -q*j - 3 = 2 for j.
-1
Suppose -2*s - 3*s + 10 = 0. Let g be (-10)/4*28/(-5). Solve -s = 4*b - g for b.
3
Suppose -5*r + 30 = 3*u, 0*r - 5*u + 20 = 5*r. Let z = r + 16. Solve h = -4*h + z for h.
5
Let f = -1 + 1. Let n be -1*1 + (5 - 2). Suppose n*b = -f*b. Solve 2*o + 6 + b = 0 for o.
-3
Suppose 0 = -6*j + 3*j. Solve j*y + 20 = -5*y for y.
-4
Suppose -14 = -3*g + w, 0 = -0*g - g + 5*w + 28. Solve 20 = h + g*h for h.
5
Let y be (-12)/(-30) - (-4)/(-10). Let a be y + 2 + (2 - 3). Let v = a + 2. Solve -v*h = h for h.
0
Let o(f) = f**2 - 7*f - 5. Let k be o(8). Let h(v) = -v**3 - v + 0*v**k - 5 + 3*v**2 + 3. Let q be h(2). Solve q = 3*i - 0*i + 6 for i.
-2
Let d(z) = -z - 1. Let u be d(-7). Let b(p) = -p**2 - 13*p - 8. Let t be b(-12). Solve -t*q + 2 + u = 0 for q.
2
Let s = 12 - 3. Solve -s*a = -10*a for a.
0
Let v = 6 - 1. Suppose 0*i + 10 = v*i. Solve 0 = 7*m - i*m for m.
0
Let x(g) = g**3 + 6*g**2 + 6*g + 10. Let y be x(-5). Solve -20 = -5*m + y for m.
5
Let r be 3/12 - 310/(-8). Suppose -9 + 27 = 3*c. Suppose -r = -5*m + c. Solve -1 = -2*n + m for n.
5
Let k be 1 + 2*-1 + -1. Let m be 4*k*(-2)/8. Solve 4*f + m = 2*f for f.
-1
Let x = 18 - 16. Solve -3*n = -10 - x for n.
4
Suppose -3*t = 12, -3*k + 2*t + 0*t + 17 = 0. Suppose -k*n = -8*n. Suppose v - 6*v = n. Solve v = 2*s + 4 - 10 for s.
3
Let d be (-18)/(-8) + 3/(-12). Solve -r - d*r - 3 = 0 for r.
-1
Suppose -6 = h - 0*h - 2*s, 5*h + 3*s = -30. Let w(j) = -j**3 - 7*j**2 - 7*j. Let o be w(h). Solve 0 = 2*x - o*x for x.
0
Suppose 0 = 3*m - 5 - 1. Suppose m*w + 5 = 15. Solve -w*u = -1 + 16 for u.
-3
Suppose -9 = -3*f, -f - 26 = -5*r + 1. Suppose -5*t + 3*y = -73, -2*y = -3*t - 0*y + 44. Suppose 3*s = -2 + t. Solve -o = -s*o - r for o.
-2
Suppose 0 = -2*d - 8*l + 3*l + 10, 4*l - 8 = 3*d. Solve d = 2*h - 1 + 11 for h.
-5
Let f(h) = h - 5. Let q be f(0). Let z = 7 - q. Solve -4*t - z = 4 for t.
-4
Let n = 93 + -91. Solve -o - n*o - 3 = 0 for o.
-1
Suppose -1 = -2*g - 0*o + 3*o, -o = -3*g + 5. Solve 2*r = -g + 6 for r.
2
Let f = 8 - 5. Suppose 0 = 3*v - 6, q + 7 = 3*v + v. Let l be 4*q + 1 + 1. Solve a + l = f*a for a.
3
Suppose 5*n - 28 = g, -5*n + 3*g = 7 - 41. Suppose 4*k - 4*m = -40, -2*k + 2 = -n*m + 37. Let v = k + 5. Solve h + 4*h + 15 = v for h.
-3
Suppose 2*r - 4*n = -10, 3*n - 20 = -0*r - r. Suppose 4*c = -12, 4*j - 3*c - 2 = -r. Let f be 3 + j/((-9)/(-3)). Solve 0 = -f*l - 0 - 10 for l.
-5
Suppose 2*q - 3*q = -32. Suppose 6*y - q = 2*y. Suppose -2*g + 6*g = y. Solve 0 = g*k + k + 15 for k.
-5
Let m(o) = -o - 2. Let h be m(-5). Solve 1 + 2 = -h*a for a.
-1
Let q(h) = 5*h + 37. Let b be q(-7). Solve 0 = b*k - 7*k - 20 for k.
-4
Suppose 2*m + 0*m = u - 6, -3*u - 3*m - 9 = 0. Let o(g) = u*g**2 - 4 + g**2 - 3*g + 2*g. Let n be o(3). Solve -4*f + 2 = -n for f.
1
Let k(j) = 2*j - 11. L