= -7*h + 35. Solve -u + h = u for u.
4
Let b(v) = -5*v**2 + 47*v - 13. Suppose 3*o - 2*g - 21 = 0, -5*o - 4*g + 13 + 44 = 0. Let w be b(o). Solve -w*s = -37 + 12 for s.
5
Suppose 0*v + 3*v - 36 = 0. Suppose 21*r = 24*r - 18. Let p be 15/r*(3 - (-44)/(-20)). Solve a + p*a = -v for a.
-4
Let u = 3419 - 3395. Solve -11*s = u - 68 for s.
4
Let v be (-17)/(-85)*(-1 - 4)*(5 - 12). Solve 12*m + v*m + 0*m = 0 for m.
0
Let r = 107 - 54. Let a = r - 52. Solve -19 - a = 5*c for c.
-4
Let f be -6*(((-21)/(-14))/3 - -1). Let z(i) be the third derivative of i**6/120 + i**5/6 + 3*i**4/8 + i**3/3 - i**2. Let t be z(f). Solve t*b = -b - 9 for b.
-3
Suppose 4 = 7*w - 5*w. Let f = -3562 + 3570. Solve -6*o = -w*o + f for o.
-2
Suppose 3*v = 5*w - 161, 5*v = 11*w - 6*w - 165. Suppose -w*p - 25 = -36*p. Solve -3*y + 2 = -p*y for y.
-1
Suppose -4*f + 137 = 49. Let m = -19 + f. Let s(c) = -3*c + 11. Let v be s(m). Solve t - v = -0 for t.
2
Let a(u) = u**3 - 7*u**2 + 24*u - 39. Let d be a(5). Solve -d*s = 137 + 49 for s.
-6
Suppose h = 4*a + 85, -27*a + 335 = 5*h - 29*a. Solve -61*w = -h*w - 4 for w.
-1
Let h = -5310 - -5342. Solve h*z + 10 = 22*z for z.
-1
Let d be (970/35)/((-4)/(-28)). Solve -117 = -d*w + 181*w for w.
9
Let j(r) = -r**2 - 15*r - 44. Let l be j(-11). Suppose 6*m = -l*m - m. Solve -3 = c - m*c for c.
-3
Suppose 67*q = -73*q + 840. Solve u - 7*u + q = 0 for u.
1
Suppose 5*o - 306 = -39*o + 706. Solve 46 = 23*g - o for g.
3
Let v = 608 + -599. Solve 1 + 8 = v*h for h.
1
Suppose t + 15 = 6*t. Let b be t*12/54 - (-43)/3. Let p be (-2)/10 - (-93)/b. Solve a = 3*a + p for a.
-3
Let i(r) = -r**2 - 5*r. Suppose -4*f = 27*f. Let c be i(f). Solve 1 = -k - c for k.
-1
Let g(k) = 7 - 5*k + 9 + 6*k - 2*k. Let i be g(16). Suppose i = 4*j + 3*j - 28. Solve m = j*m + 9 for m.
-3
Suppose -120 = 5*g - 530. Let l = -79 + g. Suppose -l*k - 2*z - 10 = 0, 2*k - 5*k = -2*z - 10. Solve 5*f + 0*f - 10 = k for f.
2
Suppose 348 - 185 = 3*k - 293. Solve -13*u + k - 230 = 0 for u.
-6
Suppose -m = 5*a + 412 - 1241, 3*a + 2*m = 489. Solve a*d = 172*d + 10 for d.
-2
Let q(x) = -3*x - x**2 - 8 + 2 - 3 + 12*x. Let m be q(6). Let w = -4611 - -4611. Solve w = p + 2*p - m for p.
3
Let k = -41 + 73. Let d be (-10)/4*k/(-20). Solve 3*f + d*f = -0*f for f.
0
Let m(a) = a**2 + 8*a + 54. Let u be m(0). Suppose -28*s + u = -10*s. Solve s*x = 6 + 6 for x.
4
Let i = -113 - -161. Suppose 2*l + 4*l = i. Suppose 6*n - l*n = -12. Solve 4*d - 6 = n for d.
3
Let l(j) be the third derivative of 7*j**4/24 + 5*j**3/2 + 15*j**2. Let t be l(-5). Let u = t - -26. Solve 0 = u*o - o - 25 for o.
5
Let o(a) = -5*a**3 + 18*a**2 - 14*a - 79. Let h(l) = -7*l**3 + 18*l**2 - 15*l - 80. Let d(q) = -2*h(q) + 3*o(q). Let u be d(17). Solve -u*w - 36 = 4*w for w.
-3
Let m be (-228)/(-16) + -9 + 3/(-12). Let a be 2/((-4)/(-6)) - 1. Let g = 0 + 1. Solve a*j = -g - m for j.
-3
Let j(l) = l**3 + l**2 - 8*l + 2. Let f be j(0). Suppose -f*y = 4*x - 92 + 18, 3*y = 2*x - 57. Solve -x - 3 = 6*g for g.
-4
Let k = -199 + 151. Let x be 4/(-32) - 486/k. Solve 4*w = 2*w - x for w.
-5
Suppose 0 = -6*g + 5*g + 44. Suppose g*i - 25 = 43*i. Suppose -15*o - i = -16*o. Solve -7*n + 2*n - o = 0 for n.
-5
Let i = -3432 - -3443. Solve 12 - i = h for h.
1
Let r be (8/(-10))/((-6)/1800*4). Suppose 0 = -5*b - r + 85. Solve -b*p - 25 = -5 for p.
-4
Let b = 44 + -42. Suppose 2*p = 3*l + 3, -5*l - p + 9 = 1. Let z be 3 + 1/(3/(l + b)). Solve -a - z*a = 10 for a.
-2
Let h(f) = f**3 + 10*f**2 + 15*f + 10. Let s be h(-8). Suppose -s*x - 354 = -77*x. Solve 5*n + x = -14 for n.
-4
Suppose 5*o = 2*s + 5, -s - 2*o = -3*o + 1. Let n(f) = -f**2 + 12*f + 25. Let b be n(14). Let q be 1/((-4)/b) + (-9)/12. Solve q = 4*t + 8 - s for t.
-2
Let d be ((-2)/6)/(7/(-84)). Let o be (-104)/(-24) - (-4)/6. Let f = 5 - o. Solve f = 2*s - d for s.
2
Let m(v) = v**2 + 2*v - 1. Let z be m(9). Let o = z + -65. Suppose -o = 8*b - 11*b. Solve b + 1 = 4*q for q.
3
Suppose t = 6*t + 30. Let f(o) = o**3 + 5*o**2 - 4*o + 14. Let q be f(t). Solve 6 = -q*k - 0 for k.
-3
Suppose -2*r + 4*f - 2 = 14, -5*f = -20. Suppose 200*w = -474*w + 5392. Solve r = -8*u - w - 8 for u.
-2
Let v(c) = -c**2 + 4*c + 117. Let d(s) = 7*s + 104. Let u be d(-13). Let k be v(u). Solve k = -8*n + 11*n + 12 for n.
-4
Let m = -3593 + 3596. Solve q + 7 = m for q.
-4
Suppose 1371*v + 144 = 1377*v. Solve -3*t - 3*t = v for t.
-4
Let b(x) = -x**3 - x**2 + x - 1. Let d(s) = 8*s**3 + 14*s**2 - 32*s - 2. Let q(g) = 6*b(g) + d(g). Let n be q(-6). Solve -8 = -0*u + n*u for u.
-2
Let m be (-13 - -13 - (-62)/(-4))*16/(-8). Solve -13*u - 5 = -m for u.
2
Suppose 161*b = -21*b + 530 + 2564. Suppose 48 = 4*z - 4*l, -48 = -4*z + 2*l - 3*l. Solve z*y - 5 = b*y for y.
-1
Suppose -d + 634 = h, 2528 = 4*d - 33*h + 36*h. Solve d = -12*r + 650 for r.
2
Suppose -96*n = -93*n - 624. Let h = -201 + n. Solve 3*g = h*g - 8 for g.
2
Suppose -4*h + 3*k = -5, -33 = -5*k - 28. Solve h = g + 6 for g.
-4
Let z be 2/3 - (1 - 264/9). Suppose z*m - 20*m - 9 = 0. Solve u + m = -3 for u.
-4
Let b be 0/(-3 - -1) - (-2 - -2). Let j(o) = -o + b*o - 2*o - o. Let s be j(-1). Solve s*u - u + 12 = 0 for u.
-4
Suppose -3*x + 3*v + 114 = -54, 2*v = -3*x + 193. Suppose 13*o - x = 160. Let k(c) = -c. Let t be k(-5). Solve 0 = -t*h - 7 + o for h.
2
Suppose -11*m - 823 = -2198. Let n = m - 122. Suppose 0 = -v - 3*v. Solve 2*a - n*a = v for a.
0
Suppose 0 = -12*d - 9*d. Let y be (-5)/((2 - 1)*-1). Solve 0 = y*q - d*q + 15 for q.
-3
Suppose 166 = 3*a - l, 3*a - 5*l = -49 + 195. Solve -a*u = -0 + 228 for u.
-4
Let d = -6204 + 6207. Solve d*b - 31 = -22 for b.
3
Let b(u) = -2*u**2 - 30*u - 3. Let y be b(-14). Suppose -5*g + 5 = -y. Solve f + g = 2 for f.
-4
Let g be (-30)/5 - 1/(-2)*0. Let x be ((-65)/(-78))/((-1)/g). Solve x*n - 7*n = 2 for n.
-1
Suppose -3*m - 2*o = -931, 207 + 728 = 3*m + o. Let f = m + -277. Solve 0 = -5*q - 4*q - f for q.
-4
Let w(v) = -5*v - 74. Let g be w(-18). Suppose 44 - 44 = -g*y. Solve y = -2*t + 3*t - 3*t for t.
0
Suppose 3 = 3*k - 12. Suppose 0 = -4*f + k*f. Let a = -113939 - -113941. Solve -a*q + f*q - 2 = 0 for q.
-1
Let l be ((-8)/(-3))/((-1288)/(-2484))*(50 + -1). Solve 24*s = -18*s + l for s.
6
Suppose 751*p = 3*s + 756*p - 130, 4*s - p - 135 = 0. Solve -22*y = 75 + s for y.
-5
Let g(c) = -2*c**2 - 36*c - 25. Let p be g(-16). Suppose -28*y = -p*y. Solve -3*v + 10*v + 28 = y for v.
-4
Suppose -5*d = -2*k - 72, 3*d - 4 - 56 = 4*k. Solve -25*a - d = -27*a for a.
6
Suppose 2*s - 4 + 2 = 3*n, -3*n + 19 = s. Let r(i) = i**3 - 6*i**2 - 10*i + 3. Let h be r(s). Let g be (-75)/(-27) - 4/h. Solve -2*z + 1 = -g*z for z.
-1
Let y = 1921 + -1918. Solve -44 = y*f - 56 for f.
4
Let x be -28*10/(-70) + 87. Solve -21 - x = -28*c for c.
4
Let c be 160/(-110) + 18/(-33) + 62 + 3. Solve 472 = -4*k + c*k for k.
8
Let k(n) = 8*n**3 - n**2 - 3*n - 2. Let j be (-4)/(-14) + 4 + 148/(-28). Let p be k(j). Let x be ((-4)/p)/(((-15)/24)/(-5)). Solve -x*u = -7*u - 9 for u.
-3
Let w(d) = 3*d + 26. Let s(z) = -z - 1. Let c(x) = -14*s(x) - 2*w(x). Let a be c(5). Solve -a*r = 2*r for r.
0
Let r be (8 - (-6 - -9))*(7 + -6). Solve r*t + 20 = 15 for t.
-1
Suppose -5*s = -0*s - 15. Suppose -x - 12 = 5*o, 3*x = -2*o - 2*o - s. Solve x*m + 3 = -0*m for m.
-1
Let m = 29 - 42. Let f = 21 + m. Let z(k) = -k**2 + 9*k - 6. Let s be z(f). Solve -10 = s*i - 0*i for i.
-5
Suppose -4*f = 4*g, 3*f - 19*g = -21*g + 2. Suppose -5*x - v + 65 = -4*v, f*x + 2*v - 10 = 0. Solve x = u - 3*u for u.
-5
Let n(r) = 859*r + 13. Let m be n(0). Solve 0 = m*v + 22*v - 280 for v.
8
Let r(c) = 31*c**2 + 267*c - 11. Let u be r(-12). Solve 1253*j = u*j for j.
0
Let x be 4 + (-1)/3 + (-161)/(-69). Let u be (17 - 6 - x) + 2/(-1). Solve 7*m + 20 = u*m for m.
-5
Let c be 17/((-595)/(-504))*(-135)/(-54). Solve -33*i + c = 69 for i.
-1
Suppose -17 + 3 = -2*j. Suppose 6*w + j*w - 1144 = 0. Let k = w - 84. Solve 0 = -k*d + 24 - 8 for d.
4
Let c(l) = -l**3 + 4*l**2 + 13*l - 3. Let t be c(6). Suppose o = t*b + 4*o, -o = -5*b. Solve 0 = 3*s - b + 6 for s.
-2
Suppose -7*k + 1368 - 45 = 0. Let s = 244 - k. Solve s*j - 60*j = -15 for j.
3
Let g be 12/(-15)*-413 + (-405)/(-675). Solve -347*z + g*z = -80 for z.
5
Suppose 4*h - 2*l = 234, -2*l - 272 - 24 = -5*h. Solve 48*c + 98 = h*c for c.
7
Let q(f) = -f