 Let y = -70 - -67. Let s be (-3 - (-3)/y) + v. Solve -5*o + s = -10 for o.
3
Let x(m) = -m**2 + 10*m - 15. Let g be x(5). Suppose 2*i = -3*i + g, 0 = 4*r - 3*i - 2. Suppose -5*c + 1 = r*t, 0*t + 8 = 4*t + 4*c. Solve -11 = -t*a - 2 for a.
3
Let h(s) = 5*s**2 + 298*s - 83. Let c be h(-60). Solve -39*v + c*v - 2 = 0 for v.
-1
Let x(m) = -5*m**2 - 65*m + 4. Let p be (-14)/63 + (-5)/(-90)*-212. Let d be x(p). Solve 59*b - 10 = d*b for b.
-2
Let a(z) = z - 1. Suppose 0*d + 4*w = -2*d + 24, w = d. Let l(o) = 2*o + 6. Let f(r) = d*a(r) - l(r). Let u be f(8). Solve 0 = u*t - t + 25 for t.
-5
Let x = -21759 + 21770. Solve -x = -11*o + 44 for o.
5
Suppose -2*t = -123*s + 119*s - 254, -12 = 2*s. Solve -13*z + t = 89 for z.
2
Let h = -2663 - -2696. Solve h*u = 7 + 92 for u.
3
Let x be -1 + 1 + 4 + (-623)/(-7). Suppose -51 = -110*s + x*s. Suppose 19 = 5*u - 31. Solve 5*g + u = s*g for g.
-5
Let w(c) = 9*c**2 - 348*c - 33. Let t be w(39). Solve -8*i - 28 + t = 0 for i.
7
Let o(z) = -z**3 + 20*z**2 + 20*z + 25. Let r be o(21). Let d be ((-10)/4)/(2/(-4)). Suppose 32 = -i + d*i. Solve -r*b = 4 + i for b.
-3
Suppose 0 = -4*f - 33 - 39. Let i = 22 + f. Suppose i*n - 8 = -z, n = 5*n + 5*z - 8. Solve 0 = n*l + 3 + 1 for l.
-2
Suppose -3*d + 3 = -4*x, -2*d = -4*x - 7*d + 5. Suppose -17*w = -1333274 + 1333240. Solve p + p + w = x for p.
-1
Let z be ((-672)/22 + 162/297)/(-1). Solve -107*d + 122*d - z = 0 for d.
2
Let q(l) = 8*l**2 - 10*l - 13. Let k be q(-2). Suppose -18*s - k = -129. Solve 0 = -s*t + 8 + 12 for t.
4
Let w = 6660 - 6639. Solve -12*g - 45 = -w for g.
-2
Let o = -944 - -953. Let x(r) = -r**2 + 13*r - 5. Let m be x(12). Solve m*q = 10*q + o for q.
-3
Suppose -6*v - 5*v + 77 = 0. Suppose 35 = -2*u + v*u. Solve -u*r - 10 = -12*r for r.
2
Let i(m) = m**3 + 3*m**2 - 2*m - 4. Let b be i(-3). Let p be 18*(0 + (2 + b - 3)). Suppose -3*t = -w + p, 0*w + 5*t = -w - 22. Solve 0 = w*n + 9 for n.
-3
Suppose -41 = -0*r + r + 3*g, 0 = -2*r - 4*g - 86. Suppose 9*i - 39 - 402 = 0. Let y = r + i. Solve 3*z - 15 = -y*z for z.
3
Suppose 0 = -2*p - 6, -2*g - 17 = -4*g - p. Suppose 0 = 17*l - 267 - 5. Suppose -3*h + 2*d + l = -7, -g = -5*d. Solve b + h = 4*b for b.
3
Suppose 7*d - 73 = -31. Suppose 20*n = 17*n + d. Solve 5*s = n*s for s.
0
Let r = -9 + 10. Let p(v) = 4*v**3 - 2*v**2 + 6*v - 3. Let x be p(r). Suppose x*j = -5*d, 2*d + 0*j = 5*j + 21. Solve d*t = 8 + 4 for t.
4
Suppose 4332 = -5*z + 9*z + 3*d, -5415 = -5*z - 5*d. Solve -z*i = -1079*i - 8 for i.
2
Suppose 0 = -0*b - 5*b + 35, 6*a - 598 = -4*b. Solve -85*q + a*q + 30 = 0 for q.
-3
Suppose 6 - 6 = 71*l - 0. Solve l = -0*f - f + 1 for f.
1
Suppose -4*z + 0*z + y + 4 = 0, 16 = -2*z + 5*y. Suppose -i - 16 = -z*t - 5*i, -2*t + i + 31 = 0. Let u be 3/7 + 50/t. Solve -2*a + 0*a = u for a.
-2
Let p = 88 - 93. Let v be 390/25 - (3 - (-17)/p). Solve -v = -2*x - 24 for x.
-4
Let v = 29 - 15. Suppose 0 = -13*h + v + 51. Solve 0 = 9*r - h*r for r.
0
Let t = -16429 + 16438. Solve -23*a - 256 = t*a for a.
-8
Suppose -743 = -11*i - 286 + 1479. Solve 19*v = 43 - i for v.
-7
Suppose 0 = 2*m - 2*h - 20, 0 = 5*m - h - 3*h - 46. Let k be (13 + -7 - 5) + m. Solve -3*v + 16 - k = 0 for v.
3
Let r(v) = 2*v - 4. Let o be r(12). Let q = 52 - o. Suppose q = 6*i + 8. Solve -g - i = -0*g for g.
-4
Suppose 4*v = -t + 31, -22 = -3*v - 20*t + 19*t. Suppose 0*x - x + 8 = 0. Let j = v - x. Solve 5*o - j = 4 for o.
1
Let k(c) = -139*c - 8677. Let l be k(-64). Solve -l = 9*x - 201 for x.
-2
Suppose 4*b + 17240 = 17256. Let p = -2 - -1. Let f be (-4*p/2)/1. Solve -2 - f = b*n for n.
-1
Suppose -3*y + 81 = 2*k, 2*k = 4*y - 67 - 41. Solve y*x - 24 = 23*x for x.
6
Let u(b) = 7*b - 15. Let y be u(10). Let t = 10 - -26. Let d = y - t. Solve -5*m - 1 = d for m.
-4
Suppose -153*g + 448 = 142. Suppose 4*i + 4*b - 28 = -i, -3*i + 4*b + 4 = 0. Suppose i*l = -f + 16, -9 = -2*f - l + g. Solve -f = 3*p - 13 for p.
3
Let z = 51 + -41. Let h be (-6)/(1 + z/(-4)). Suppose -k = -16 + h. Solve 5*f - k = f for f.
3
Suppose -1 + 0 = -k. Suppose 0 = -4*b + 9 - 1. Suppose 15 = b*t + t, c - 3*t = -10. Solve -c*v - 11 + k = 0 for v.
-2
Let q be ((-20)/(0 - 2))/((-28)/(-2772)*18). Solve -342 = -112*g + q*g for g.
6
Let h = 16806 + -16799. Solve -h = -26*k + 19*k for k.
1
Let m(q) = -q**3 - 5*q**2 + 4*q + 23. Let b be m(-5). Suppose -20*j = -b*j - 85. Solve 0 = -j*w + 10 - 0 for w.
2
Let n(l) = 4*l - 22. Let h be n(8). Suppose -h*t + 30 = -90. Solve -t = 6*r - 3*r for r.
-4
Let t = -60 + 66. Suppose 9 = 3*a - 2*i, a = t*a - 2*i - 15. Solve 0 = -4*p + a*p for p.
0
Suppose 0 = 11*y - 23*y + 60. Let p be -1 - (5 + -11 + y). Let d = 5 + -3. Solve p = a + d*a for a.
0
Suppose 0 = -2*w - 4 - 2. Let p be (6/(-2))/(-2 - w). Let x be 0*(p + -2)/(-10). Solve 2*b - b - 1 = x for b.
1
Suppose -385*o + 370*o = -79 + 4. Suppose 2*l = 2*v - 10, -3*l - 4*v = -0*l - 20. Suppose l = -4*f - 0*f. Solve -o*y + 6*y = f for y.
0
Let t(r) = 45*r**2 + 24*r - 14. Let o be t(1). Solve o = 9*u + 82 for u.
-3
Suppose -117 = -3*k - 2*h, 2*h + 5 = k - 34. Suppose x - 3*c = k, -c - 112 = -4*x - 0*c. Solve -x = 4*o - 15 for o.
-3
Let x be (2*1/(-2))/((-122)/2318). Solve x = 33*t - 47 for t.
2
Let i = 5 + -5. Let s = 112 + -106. Let g be (s/10)/((-13)/(-130)). Solve i = g*d - 10*d for d.
0
Suppose 0 = -0*i - 22*i + 198. Suppose -32*t - 4*p = -29*t - 9, -3*p - i = 0. Solve -k = t*k for k.
0
Let h(g) = 488*g + 648. Let u be h(8). Solve u*m - 4557*m - 30 = 0 for m.
-6
Let v(s) = -s**2 - 9*s + 6. Let d(k) = k**2 - 9*k + 11. Let i be d(4). Let y be v(i). Solve 4*l = l - y for l.
-2
Let q(i) = -7*i - 10. Let d be q(-14). Suppose 62 = 6*m - d. Let l = 9 + -5. Solve l*n + n + m = 0 for n.
-5
Let b = -3928 - -4083. Solve 2*s - b = -29*s for s.
5
Let y(t) = -2*t. Let h(m) = -10*m - 36. Let p(z) = -h(z) + 6*y(z). Let n be p(15). Solve -n = -a - a for a.
3
Let u = 69 - 64. Suppose -u*x + 3*o + 158 = 77, 4*o + 68 = 4*x. Solve -x*v + 20*v = -25 for v.
-5
Let u = -37 + 39. Let i(z) = 2*z**3 - 3*z**2 + z - 2. Let k be i(u). Let c be -1 + 0 + 3/(-1) + k. Solve 0 = 4*a - c*a - 16 for a.
4
Let a(j) = 8*j**2 + j + 30. Let v be a(0). Suppose -10*p + 5*p - 4*i = -30, -v = -5*p - 3*i. Solve 0 = -4*z + p - 10 for z.
-1
Suppose -4*i = 486 - 550. Suppose -92 = -i*m - 12. Solve -6*x + x = -m for x.
1
Let t be ((-1008)/210)/((-1)/5). Let y be t + 4/(9 + -5). Solve -2*b = -31 + y for b.
3
Let l be (-224)/336*((2 - 1) + -37). Solve l = -8*c + 4*c for c.
-6
Let b(k) = 43*k**2 - 318*k - 4. Let f be b(9). Solve -8*r = -609 + f for r.
-1
Suppose -29*x + x = 7*x + 11*x. Solve x = -8*q + 5*q - 19*q for q.
0
Let i be (-14)/(140/30)*(0 - (-52)/(-12)). Solve i*m = -101 + 49 for m.
-4
Let f be -11 + (4 - -2) + 8. Suppose 17 = 4*n + f*q, n - 2*q = -1 - 3. Solve -n - 2 = 4*v for v.
-1
Let l be 34/12 - 8*19/(-912). Solve l*i = -3*i + 30 for i.
5
Let w be ((-35 + 38)*8/(-30))/((-2)/385). Solve -144*s + 122*s - w = 0 for s.
-7
Let o be (2 + 0)*(-2085)/834. Let r(y) be the third derivative of y**5/30 + 3*y**4/8 - y**3/3 - y**2. Let s be r(o). Solve s*t + 2 - 8 = 0 for t.
2
Suppose 0 = -5*d - 0*d - 100. Let p = 22 + d. Let m = -50 - -57. Solve -i - p = -m for i.
5
Let t = -261 + 263. Let x(l) = l**3 + 4*l**2 - 6*l - 1. Let q be x(-5). Suppose 5*m = -0*i - q*i + 28, -8 = -t*m. Solve -i*o = -o for o.
0
Let x = 151 - 145. Suppose -67*d - x = -73*d. Solve 3*h + 14 = -d for h.
-5
Let v(n) = -n**2 - 17*n - 55. Let r be v(-12). Suppose -l = -5*c + 2, 0 = -r*l - 2*c - 3*c + 80. Solve -u - 17 = -l for u.
-4
Suppose 9*n + 569 = 2009. Suppose 0 = -47*v + 43*v + n. Suppose 2*p - 4 = 4*u - 26, -5*u + 5*p + v = 0. Solve -u = 2*a + 5 for a.
-4
Let t(o) = o + 1. Let y(j) = 6*j + 8. Let z(v) = -5*t(v) + y(v). Let a be z(4). Suppose 12 = a*s - 16. Solve 0*l - 8 = -s*l for l.
2
Let f(q) = q**3 + 8*q**2 - 9*q + 3. Let l be f(-9). Suppose l*z + 15 = 2*n, 3*n - 25 = 3*z + 2. Solve -4*m - n + 8 = 0 for m.
-1
Suppose -12*g + 24 = -17*g - 2*p, -g = 5*p + 14. Let d(m) = m**2 + 8*m + 16. Let j be d(g). Solve j = -6*y + 35 - 5 for y.
5
Let y(q) = -12*q - 245. Let s be ((-16)/12 - -1) + (-150)/9. Let m(u) = -4*u - 81. Let r(f) = s*m(f) + 6*y(f). Let x be r(-28). Solve -2*j - x = -9 for j.
-5
Let s be (1/1)/(150/1500). Solve b + s = 13 for b.
3
Let l(r) = -r**3 + 5*r**2 + 9*