0*x + 16 for x.
-3
Let b be (-5)/(-20) - 14/(-8). Suppose -4*o + 4*n = -88, -o + b*n = -2 - 23. Solve -2*z - o = 3*d, 5*d + 5*z + 7 + 28 = 0 for d.
-5
Suppose x + 0*x - 2 = 0. Suppose 725*m - 728*m = -15. Suppose m*t - 30 = 3*o, 3*o + x + 1 = -4*t. Solve d - 8 = -r, 0 = -t*r + r + 3*d - 9 for r.
3
Let s(h) = -2*h**2 + 47*h + 28. Let p be 340/14 + 10/(-35). Let j be s(p). Solve -3*c + 2 = -j*i - 5, -2*i = c + 11 for i.
-4
Let g be (63/14 - (2 + 3))*0. Solve -3*x + 0*w = w - 17, -2*x - 5*w + 33 = g for x.
4
Suppose 0 = 44*a - 419 - 241. Let i be (3/(-4))/((-2)/8). Suppose 4*h = -i*b + 6 - 1, 5*h = 5*b + a. Solve h*y + z - 1 = -2, 0 = y - z + 2 for y.
-1
Let l(o) = 2*o + 29. Let a be l(-12). Suppose -4*x = -2*x. Suppose -3*y - y + 16 = x. Solve -a*d = 3*f + 12, 0*d - d = -y*f + 7 for f.
1
Let f(v) = 1. Let j(u) = 2*u - 3. Let d(o) = 4*f(o) + j(o). Let x be d(17). Suppose 8*y = y + x. Solve -5*c - h = 29, -2*c = c - 5*h - y for c.
-5
Let s = -94 + 97. Solve 3*p - s*v = -0*v + 9, -p + 4*v = -12 for p.
0
Let j be (-2 - (5 - 5)) + 15. Suppose 3 = 2*c - 2*u - 13, j = 2*c - u. Solve 4*d = 4*m + 12, c*m + 10 = 2*d + 2*d for d.
5
Let h(o) = 3*o**2 - 22*o - 21. Let r be h(-1). Solve -3*s = b, -r*b + b = -2*s for b.
0
Let c = -26 + 28. Suppose -27 - 5 = -d + c*p, -4*d - p + 83 = 0. Solve d = -2*g - 4*m, m = 4*g + 15 + 2 for g.
-5
Let l be (-86)/(-10) + (-30)/50. Let y(m) = -2*m**2 + 11*m - 1. Let q be y(5). Solve -5*c = -f + l, -q*f + 16 = -c + f for c.
-1
Suppose -273*h + 269*h + 4 = 0. Solve h = -3*i - k + 3, k - 2 = 0 for i.
0
Suppose 44*w - 25 = 39*w. Solve -20 = -l - w*i, -4*l + i + 5 = 6*i for l.
-5
Suppose -5*v = -63 + 18. Let c = 12 - v. Solve 2*m + 4*k - 8 = k, 0 = -c*k + 12 for m.
-2
Let h(x) be the second derivative of x**3/6 + 23*x**2/2 + x + 2. Let l be h(-18). Solve 0 = -4*k - 3*u + 6, 6*k - l*k - 3*u + 6 = 0 for k.
0
Let k be 126/35 - 2/(-5). Let i(r) = -r**2 + 4*r + 21. Let b be i(7). Solve -2*j - 2 = u, 2*u + b = 4*j - k for u.
-2
Let h = 1318 - 1315. Solve -3*v - 35 = -5*g, 0 = g + h*v - 7 + 18 for g.
4
Let k be (-10)/(-2)*(-4)/(-20)*4. Solve -v + 5 = -5*y, 4*v + k = -y + 3 for y.
-1
Suppose -r + 18 = 5*w, 0*r + 6 = r + w. Let o be r - 4 - 20/(-5). Solve -2*b + o*a = -0 + 6, 5*a = -5*b + 10 for b.
0
Suppose 0 = -12*f + 51 - 27. Solve f*b - 3 = 3*n + 10, 1 = -b - n for b.
2
Let j be 54/(-126) + (-4)/7 - -64. Let c = 79 - j. Solve 0 = -o - 5*u + c, -2*u = -3*o - u for o.
1
Suppose -232*x + 45 = -223*x. Solve -x*i = -8*t + 3*t + 5, 5*t = 2*i - 7 for t.
-3
Let u be (0 + 6)/3 - -1. Let l(c) = 3*c - 2. Let q be l(2). Suppose u*r = 2*r + q. Solve 10 = 5*p - 0, -i + 3*p - r = 0 for i.
2
Suppose f = 4*f + 12. Let w(d) = d**2 - 2*d - 2. Let k be w(f). Let t = 37 - k. Solve -2*l + 2*q - 4 = -6*l, 5*q - t = -5*l for l.
-1
Let i be 0/(-3) - (75/1 + -4). Let j = i + 71. Solve -3*k + a - 8 = 0, -k - 2*a + 5 - 10 = j for k.
-3
Let t = 303 + -303. Solve -3*f - 2*f = r + 1, r + f + 1 = t for r.
-1
Let r = -233 - -238. Solve 2*l + 10 = -f, -f + 12 + 6 = -r*l for l.
-4
Let p(q) = 5*q - 71. Let s be p(15). Solve 4*j + 16 = 0, 0 = -4*h + s*j - 3*j - 4 for h.
-2
Let r be (-10)/2 + (-6 - -9). Let u = 6 - r. Suppose 3*w - u*w = -65. Solve 2*o = -o + q + 11, 0 = 3*o + q - w for o.
4
Let v be (-32)/(-56)*(-49)/(-7). Let r(x) = -x + 18. Let w be r(13). Solve -w*t - 2*m - 20 = 0, 6 - 26 = v*m for t.
-2
Let p = -357 + 359. Solve -p*c = -0*r - r - 3, -2*c - 4*r + 28 = 0 for c.
4
Let h(r) = -7*r + 2*r + 7 + 3*r - 46. Let n be h(-23). Solve n + 2 = -5*m + 4*p, 0 = p - 1 for m.
-1
Suppose 4*m + 2 = -2*y, 4*m - 2*m = -2*y - 6. Let r be 4 - (3/(-3) + 2). Let h = -13 + 29. Solve r*a + 3*f - 18 = 0, -2*f + h = m*a + 2*f for a.
4
Suppose -195 = -9*w - 159. Suppose 0 = -5*y + 19 + 6. Solve -3*l + w*c = 17, 0 = -5*l - y*c - 0 - 5 for l.
-3
Let u be 12/42*210/3. Solve 6*m + 5*k + u = 2*m, 0 = 3*k for m.
-5
Let q be -4*(-4)/(-24)*3. Let i be ((-84)/35)/(q/(-15)). Let x be (-28)/(-6) - 6/i. Solve 3*z - 10 = -x*y, 4*z - 2 = -3*y + 4 for z.
0
Suppose -y = -4*d - 2*y + 12, -d = y. Let i be 270/(-72)*28/(-3). Let a = i - 33. Solve d*s + 6*g + 5 = 3*g, -a*g = s for s.
-2
Let v = 443 - 431. Solve -3*h - 28 = 3*n + 2*h, 3*n = 3*h + v for n.
-1
Let x = -1486 + 1494. Solve -3*r - x = -7*r, 2*r = -5*w + 4 for w.
0
Suppose -2*p - 3*m - 2 = -24, -4*p + 48 = 5*m. Suppose 0 = -3*c + p - 5. Solve -2*x - 6 = 3*j, c*x - 2*j = 3*j - 12 for x.
-3
Let z = 3 - 17. Let s be ((-6)/z)/(2/14). Suppose s*r - 2*r = 0. Solve r*a = 3*f - 2*a - 8, -6 = -2*f + a for f.
4
Let l be 2 + -6 + 8/4. Let p be 3 - (4 + -2 - 4 - l). Solve 2*s - 3*r = 17, -7*s + 3*s + p*r + 25 = 0 for s.
4
Suppose 54*z = 55*z + s - 9, -3*s = -2*z - 2. Solve -h = -4*h + z*l - 11, -l + 16 = 4*h for h.
3
Let y be ((-34)/14 - -2) + (-87)/(-7). Suppose -3*h = 4*d - 6, d = 5*h - y + 2. Solve h*p - 4*v + 13 = v, 5*p - v = -21 for p.
-4
Let r = 1120 + -1118. Solve -2*g - 11 = -n - r, -g - n = -3 for g.
-2
Let j = -88 - -92. Let q be 17/j + (-39)/(-52). Solve 4*r = -20, -15 + 38 = s - q*r for s.
-2
Suppose 2*x - 5 = 5. Let f be 2/(-10) - (-226)/x. Suppose 0 = -4*h + 5*b + f, -4*h - 2*b + 41 = -3*b. Solve 2*r - h = 3*t, 2 = -2*r + 6 for t.
-2
Let i = -838 - -838. Suppose 0*a - 3*a + 15 = 0. Suppose a*o + 4*w - 38 = 0, 0*o - o + w + 4 = i. Solve 3*p + 4*m = 1, -o*m + m + 2 = 4*p for p.
3
Let g(u) = u + 21. Let m be g(0). Suppose 0 = 3*k - 0*k - 63. Let b = -17 + k. Solve -4*o = s - m, b*o - o - s - 14 = 0 for o.
5
Let g(n) = 7*n + 103. Let t be g(-14). Solve -t*r = 5, 4*d = 2*r - 16 + 6 for d.
-3
Let p be (9/27)/(-3 - 84/(-27)). Solve 3 = -i + p*b - 9, 5*b = 15 for i.
-3
Let i be 807/18 - (-1)/6. Let n = i - 17. Solve n = -3*d - 4*l, 2*d + l = -8 - 4 for d.
-4
Let l(f) be the third derivative of f**5/60 - 5*f**4/24 - f**3/6 + 9*f**2. Let s be l(6). Solve -3*u + s*t = -8, 14 = -4*u - 3*t - 14 for u.
-4
Let s(a) = -a**2 + 95*a - 2241. Let v be s(44). Suppose 9 = -3*n + 24. Solve n*p + 0*r + 4*r = -31, -v*p + 2*r - 1 = 0 for p.
-3
Let u(a) = a + 10. Let o be u(-6). Let n be (o/5)/((-12)/210*-7). Solve -2*y = -3*i - 0*i + 22, -5*i = n*y - 10 for y.
-5
Let w = -330 + 330. Solve -2*v + 4*v + 5*p + 3 = 0, w = 3*v + 2*p - 1 for v.
1
Suppose -5*k = -4*k + 3*l - 14, 0 = -5*l + 20. Solve 0*q - 2*q - o = -1, k*o = 6 for q.
-1
Let h = -48 + 53. Suppose 3*g - 52 = -4*k + 27, 2*g + k = 51. Solve -m = -5*u + g, h = -5*m - 4*u - u for m.
-5
Let u = 83 + 89. Let c = u - 143. Let t(g) = -g**3 + g**2. Let n be t(1). Solve 5*y + 2*r - c = 4*r, -2*y + 3*r + 16 = n for y.
5
Suppose 31*c = 26*c + 385. Let l = c + -75. Solve -2 = -d - 3*x, 2 = -l*d - 2*x - 2 for d.
-4
Let a = 9 + -4. Let x(f) = -3*f**3 - f**2 + f + 1. Let i be x(-1). Solve 0 = v + 1, 3*v + a = -i*r - 6 for r.
-4
Let w = -31 - -2. Let k = -17 - w. Suppose -14*h = -k*h - 4. Solve -z + 7 = d, -5*d + h*z + 0*z = 0 for d.
2
Let u(f) = f**2 + 35*f + 106. Let x be u(-3). Solve 2*w = -b + x, w - 2 = 5*b - 8 for w.
4
Let b = -12 - -22. Let z be 42/(-12)*80/(-28). Solve -2*c + 2*w = 3*w - b, 0 = 5*w - z for c.
4
Let f be (1 - 1)*(-9)/36. Let q be (3/4)/((-2)/(-8)). Suppose 5*p - 2*x = 2, q*p = -f*p + 5*x - 14. Solve i = 2*b + 8, 2*i + 0*b = -p*b - 14 for i.
-2
Let x(b) = b**2 - 4*b + 2. Let a be x(4). Let g(f) = 4*f**2 - 5*f + 6. Let q be g(a). Solve 8 = 2*t - 2*z, 4*z + z + q = t for t.
2
Let y(g) = g**2 + 8*g - 2. Let a be y(-9). Suppose 2*k + 3 = a. Solve 2*l - 3 = 3*p - 0*l, k*p + 2 = -5*l for p.
-1
Let t be (2/1)/1*18/12. Suppose -t*r + 2 = -4. Solve -2*j = -3*x, r*j + 0*j - 6 = 0 for x.
2
Suppose -25 = 4*k + 43. Let r = k - -21. Solve 3*p + 14 = r*w, -2*p + 13 = 4*w - 11 for p.
2
Let x be ((-13)/(-35) - 3/(-7))*5. Solve 2*w + 4 + 14 = -4*s, -4*s = -x*w - 12 for w.
-5
Let f be (-123)/(-164) - (1 - (-134)/8). Let g(z) = -z**3 - 17*z**2 + 5. Let p be g(f). Solve -p*d = x - 4*x - 26, -6 = d + 5*x for d.
4
Let h be (39/(-65))/((-1)/5). Solve 2*a - 24 + 9 = 5*d, -3*a = -h*d - 9 for d.
-3
Suppose 5*a - 6*a + 16 = 0. Let o be ((-4)/(a/12))/((-3)/5). Solve 0 = -4*p + 3*v - o, 5*p + 5*v = -23 - 27 for p.
-5
Let b(p) = -p**2 + 10*p - 11. Let j be b(6). Solve -9 = c - 5*k, 2*k - j + 3 = 2*c for c.
-4
Let q be (-31)/(-3) + 1/(-3). Let m(o) = -o**3 + 11*o**2 - 8*o - 18. Let g be m(q). Solve -d - h + 2*h + g = 0, -5*h = 