6*o + b = 28*o for o.
-6
Suppose 37*m = 34*m. Suppose 2*j - 18 = -4*k + j, m = j + 2. Solve 0 = -4*a + k + 11 for a.
4
Let w(i) = 12*i - 66. Let x be w(10). Suppose 30*v - x = 6. Solve 0 = -4*o - v - 6 for o.
-2
Let t(d) = d**2 + 2*d - 123. Let u be t(13). Solve -32 = 20*o - u for o.
2
Let l(i) = -98*i + 84. Let n(y) = 17*y - 14. Let r(s) = -6*l(s) - 35*n(s). Let u be r(-2). Solve u*v = -5*v + 20 for v.
4
Let h(t) = -17*t**3 + t**2 - 2*t + 2. Let d be h(1). Let m = 19 + d. Suppose 0 = -31*y + 32*y - m. Solve 0 = -y*q + 5*q for q.
0
Let n = -3032 + 3080. Solve n - 251 = -29*q for q.
7
Let x(v) = -v**2 - v + 425. Let f be x(20). Suppose 0 = a + 2*a - 15. Suppose -a*c - 6 + 16 = 0. Solve -c*n = -15 + f for n.
5
Let n(y) be the first derivative of y**3/3 - 3*y**2/2 - 7*y - 1. Let b be (4/3 + -1)/(162/2430). Let u be n(b). Solve -u*t + 0 = 6 for t.
-2
Let c be 0/(((-42)/(-6))/(-7)). Suppose c = j + j + 3*j. Solve j = -2*s + 2 - 4 for s.
-1
Suppose 14*p - 12 = 10*p. Suppose 3*w + 16 = -2*c, -c - p*w - 1 - 10 = 0. Let r be c/(-2)*16/10. Solve 0 = r*x - 5*x for x.
0
Let k = 1 - -42. Let l(u) = u**3 - 43*u**2 - 2*u + 89. Let f be l(k). Solve a + 4 = f for a.
-1
Let t = -3080 - -3692. Solve 7*r + 619 = t for r.
-1
Suppose -4 - 19 = 4*n - 35. Let m(x) = x**3 + 7*x**2 - 2*x - 2. Let d be m(-7). Solve d = -n*i + 6*i for i.
4
Let r be 22/(-385)*5 - ((-40)/(-56) + -1)*22. Let l be 4/18 + (-52)/(-9). Solve -l*d + 0*d = r for d.
-1
Let j(c) = -2*c - 3 - 5 + c**3 - 33635*c**2 + 33639*c**2. Let l = -14 + 10. Let s be j(l). Solve 4*w + s*w = 12 for w.
3
Suppose 2*h + 1534 = 6*h + 1510. Solve 0 = -28*s + h*s - 44 for s.
-2
Let r be 2/5 + (-132)/(-20). Let h be 424/40 - 48/(-80)*(-2)/(-3). Solve -r*z = -h*z for z.
0
Suppose -69*z + 207 = -72*z. Let m = 67 + z. Let t be -3*(-2)/m + 3. Solve 2*r + 0*r - 4 = t for r.
2
Suppose -17*l + 1 = 2*l + 1. Solve l = 39*g + 133 + 62 for g.
-5
Let w = -12 - -6. Let s be (1 + 1)*5 + -26. Let z = w - s. Solve 0*k - z = -2*k for k.
5
Let q(j) = j**2 + 7*j - 23. Let r be q(-10). Let h be (10/r)/((-14)/(-49)). Suppose 0 = m + h*m. Solve -5*x + 3*x + 8 = m for x.
4
Let u be ((-9)/6)/((-4)/((-48)/(-9))). Suppose p + u*y - 5 = 0, -11*y + 16*y = -5*p + 15. Suppose 9 = -5*g + 29. Solve g + p = -i for i.
-5
Let d(i) = -6*i**2 - 4. Let k be d(-2). Let p be (-72)/(-21) + (-2 - 72/k). Suppose 0*c + c - 15 = -5*q, 0 = p*q - 3*c - 31. Solve -q*h = -h + 3 for h.
-1
Suppose 0 = -11*s + 5*s + 506 + 124. Solve -18 = 123*v - s*v for v.
-1
Suppose 5*f - 3*l - 442 = 0, -2*f - 108*l = -110*l - 176. Solve f = -7*q + 131 for q.
6
Suppose -205 = 3*k + 32. Let o = k + 84. Solve -o*d - 3 = -6*d for d.
3
Let x(z) = -11*z**3 - 3*z**2 - 27*z + 21. Let j(o) = -31*o**3 - 9*o**2 - 80*o + 62. Let h(k) = -6*j(k) + 17*x(k). Let b be h(6). Solve 5*l = 4*l + b for l.
3
Let r(n) = 14*n + 3. Let i be r(4). Let c = i + -53. Suppose -3*v - o + 12 = 0, -2*v + 5*o = -c*v + 5. Solve 9 + 11 = v*s for s.
4
Suppose 0 = 10*d - 8*d + 104. Let q = 53 + d. Let l be (16/(-24))/(8/(-6) + q). Solve l*m = -m for m.
0
Let n be 0/1*168/672. Let x(b) = b - 1. Suppose 0*i + 2 = i, -3*w + 19 = 2*i. Let h be x(w). Solve -2*y - h = -n*y for y.
-2
Suppose 39*p = 16*p - 25*p + 816. Solve 7*y - 40 = p*y for y.
-4
Suppose -39 = -4*w - 2*x - 3, w - 20 = 5*x. Solve -15 = w*q + 25 for q.
-4
Let c(x) = -x**2 + 7*x - 5. Let n be c(5). Suppose n*y - 7*y + 6 = 0. Suppose -y*w - 1 = -13. Solve w = -l + 3 for l.
-1
Suppose 19 + 170 = 27*d. Suppose 0 = 5*p - w - 50, d*p + 10 = 8*p - 5*w. Solve 14*b + 8 = p*b for b.
-2
Let p = -818 - -821. Suppose 11*b - 8 - 80 = 0. Solve p*d - b = d for d.
4
Let u(w) = 32*w - 674. Let z be u(22). Solve z = -10*g + 70 for g.
4
Let a be (-1)/(63/33 - 2) - -5. Suppose -8*c = -a*c + 88. Solve -f + c = 14 for f.
-3
Let s(a) = -a**3 + 10*a**2 + 7*a - 4. Let t(d) = d**3 - 10*d**2 - 8*d + 4. Let f(m) = 3*s(m) + 4*t(m). Let k be f(11). Solve -k*p = p for p.
0
Let d = 98 - 57. Let j = d + -10. Suppose j - 91 = -3*w. Solve 4*p + 0 = -w for p.
-5
Let o(v) = -v + 7 - 6*v**2 - 2*v**3 + 5*v + 3*v**3. Let x be o(5). Let l = -94264 - -94278. Solve -4*q - l = x for q.
-4
Suppose -3*y + 17 = 4*i, -54 = -3*y + 4*i - 53. Solve y*s = -308 + 305 for s.
-1
Let z(i) = -i**2 + 12*i - 3. Let s(j) = -j**2 + 11*j - 3. Let a(m) = 4*s(m) - 3*z(m). Suppose 3*y = 2*y + 7. Let t be a(y). Solve 0 = -t*f - 27 + 7 for f.
-5
Suppose 6*d + 11*d + 144 = 21*d. Solve d = -20*n + 96 for n.
3
Suppose 3*m + 255 = 249. Let i be (4/(-3))/m*(-3)/(-2). Solve 4*j - 7 - i = 0 for j.
2
Let q be (375 - -18) + 90/9. Solve -q + 301 = 17*s for s.
-6
Let w = 503 + -362. Suppose 34*z = 31*z + w. Solve 52 = -u + z for u.
-5
Let t be ((539/14)/(-11))/((-2)/24). Let u be (-2)/((-3)/t*4). Solve u*i = 29 - 1 for i.
4
Suppose 2*b + 0*b - 4*b + 40 = 0. Let v be ((-5)/4)/(2/(-8)). Solve 0 = -v*d + d - b for d.
-5
Suppose 281 - 908 = -11*d. Let u be 626/(-13) + 10/65. Let i = d + u. Solve 2*t + i = -1 for t.
-5
Suppose 6*d + 5*j - 35 = 3*d, -j + 14 = 2*d. Suppose 5*m + d = -0, 0 = -2*l - 2*m + 20. Solve -z - 12 = -l for z.
-1
Suppose -3 = 2*b - 9. Suppose 0 = 5*f - b*t + 7, 2*f + 0*f = t - 2. Let v be ((-2)/f + 1)*-5. Solve -2*c - v = 3 for c.
-4
Suppose 1117*y = 1129*y - 48. Let s = 25 + -17. Solve y*d + s = 6*d for d.
4
Suppose 5*f - t = 2*t + 44, -5*t - 43 = -4*f. Suppose -4*g + 8*g - 8 = 0. Suppose -g*n = 10, -2*y + y - 3*n - 14 = 0. Solve 4*w = -y - f for w.
-2
Let n be 10*9/6 + 2 + -3. Solve -n = 18*x - 25*x for x.
2
Suppose o + 40 = 3*c - 11, 76 = 4*c - 4*o. Let u = 19 - c. Suppose g = -4*j - 15, u*g - j - 8 + 1 = 0. Solve 0 = -4*y - g + 9 for y.
2
Suppose -75 = 132*l - 147*l. Let p(f) = -f**3 + 2*f - 1. Let r be p(1). Solve -l*d = -r*d - 10 for d.
2
Suppose -61 = -5*c + 4*v, -2*v - 1 = -3. Solve -12*r - c*r + 28*r = 0 for r.
0
Suppose 71*u + 55 = 481. Solve 9*j = u - 15 for j.
-1
Let m(x) = 98*x + 1567. Let w be m(-15). Solve 121 = -4*q + w for q.
-6
Suppose 0 = -5*s + 16 + 9, c - 3*s + 123 = 0. Let t be 25/9 - 24/c. Solve -t*d + 20 = d for d.
5
Suppose -35 = -6*j + 373. Let w = 67 - j. Let o be (-21)/(-7) + 2*w. Solve -o = 4*z - 17 for z.
4
Suppose -178 = -10*y - 148. Let c(s) = -s + 9. Suppose -2*d + 9 = -d. Let i be c(d). Solve -y*q + 4*q = i for q.
0
Suppose 6*c + 50336 = 97*c + 30*c. Solve 398 - c = -3*w for w.
6
Suppose -12*y = 206*y - 7412. Solve y*i = 35*i - 2 for i.
2
Let q = 366 - 644. Let l = 281 + q. Solve l*n - 9*n = -30 for n.
5
Let s = 1130 - 1121. Let a(v) = -v**3 + 11*v**2 + 26*v + 8. Let w be a(13). Solve -s*y - w = -13*y for y.
2
Let v be 6/(-27) + (-112)/(-18). Suppose 41*p + 9*p = 12*p + 228. Solve -p*x + 4*x - v = 0 for x.
-3
Suppose 18 = 5*b - 2*q, -3 = b + 3*q - 10. Suppose b*h + 4*z = -0*h + 8, h + 2*z = 4. Let t(j) = -j**2 - 9*j + 2. Let c be t(-9). Solve -n + h*n - c = 0 for n.
-2
Let y be ((70/25)/(-7))/(5/(-800)). Solve 0 = 79*n - y*n - 60 for n.
4
Suppose 0 = -7*g + 3*g - 5*m + 7, -g + 6 = -3*m. Let t be 13 - (-18 + 30 + -1). Solve -g*r = t*r + 25 for r.
-5
Let h = 32107 + -32103. Let w = 13 - 8. Suppose w*t - 45 = -3*s, -s = -5*t + 6*t - 11. Solve 2*b - t - h = 0 for b.
5
Suppose -150 - 330 = -80*x. Solve 0 = -3*p + 3*p - x*p for p.
0
Let x be 1/(-5*22/(-4730)). Solve 0 = 13*u + 74 + x for u.
-9
Let w(z) = 2*z**2 - 32*z - 400. Let k be w(25). Solve k + 15 = -13*i for i.
-5
Let k be (-324)/24*((-5)/3 + 1). Suppose 0 = -4*b - 3*z - k, 0*b = -3*b + 2*z + 6. Solve b*t = -t for t.
0
Suppose 0 = -10*t + 8*t. Suppose 0 = 9*h - 83 + 20. Suppose -g = -4*a - 28, 5*g + 31 = 3*a + 86. Solve -3*w + h*w + g = t for w.
-2
Suppose -3*h - 125 = -5*r + 52, 147 = 4*r - 3*h. Solve -504*z + r = -494*z for z.
3
Let c be (-4)/(-20) + (-13)/((-845)/28782). Solve -3*x - c = -431 for x.
-4
Suppose 28*s = 31*s + 66. Let i be 6/s - (-4488)/484. Solve -i*r = -29 - 7 for r.
4
Let y(d) = -d**3 - 11*d**2 - 18*d - 14. Let x be y(-10). Let n be 12/(-4)*3*7. Let o = x + n. Solve -5*t - o = 7 for t.
-2
Suppose 35*v - 15*v = -14*v + 1360. Solve 1212*a + v = 1220*a for a.
5
Let h(x) = 2*x**2 + 10*x - 2. Let p be h(2). Let r(j) = -j**2 + 29*j - 77. Let u be r(p). Solve 9 = -2*d - u for d.
-5
Let v(j) = 2*j**2 + 7*j - 60. Let k be v(-11). Suppose -k = -5*y - 5. Solve -4*w - 12 = -y for w.
2
Let a = -678 + 673. Let k(p) = p**2 + 17*p +