5 = -j*u - 6 for u.
3
Suppose 8*m - 3*m = -2*u + 10, m - 2 = -u. Let z be 7/1 + (8 - 10). Suppose -z*r = r. Solve r = -2*l - 4 - u for l.
-2
Suppose 4*l = -5*q + 10*q + 956, 6*l = 5*q + 1434. Solve -10*w + 299 = l for w.
6
Let a(o) = o**2 + 5*o - 18. Let q be a(6). Let f be (9/27)/(1/q). Suppose 14*y = f*y. Solve 3*b + y = -3 for b.
-1
Let c(o) = -242*o - 90. Let f be c(-3). Let m = -636 + f. Let q be (-2)/6*15*-5. Solve 6*p - p + q = m for p.
-5
Suppose 0 = 4*p + 133 - 129. Let y be p*5 + 23 + -12. Solve -c + y = c for c.
3
Let k be ((-3)/(-2))/(3/(-28)). Let f be (-13)/(-2) - 7/k. Suppose 0 = f*s - 37 + 2. Solve s + 0 = 5*z for z.
1
Suppose 706 = 2*w - b + 553, 4 = -4*b. Solve -w*c + 73*c - 15 = 0 for c.
-5
Let l = 41 + -38. Suppose x - l = 25. Suppose -5*u + x = -0*j + 2*j, 3*j = -u + 3. Solve -10*q - 8 = -u*q for q.
-2
Let f = -141 - -141. Let u be (f + -1)*((-90)/(-5))/(-6). Solve 0 = -2*r + u - 1 for r.
1
Suppose 28*f - 972 = -30*f + 4*f. Solve f*q - q - 34 = 0 for q.
2
Let j(l) = l - 24. Let b be j(24). Suppose b = -4*o - p + 11, -6*p + 7 = 4*o - p. Solve -o*d + 11*d - 16 = 0 for d.
2
Suppose 6*k + 24 = 48. Suppose -3*h - 3*l + 10 = -5*l, h = k*l + 10. Solve 1 = 3*y - h*y for y.
1
Let k be 29*4*12/48. Solve -75 = 14*g - k*g for g.
5
Suppose 104*k - 60 = 89*k. Solve -18*l = -k*l + 13*l for l.
0
Suppose -4*m - 4*y - 20 = 0, 0 = 2*y - 3*y - 5. Suppose 8 = 4*n + f, n - f = -2 - 1. Let g(o) = -o + 1. Let w be g(n). Solve m*a - a + 2 = w for a.
2
Suppose 3*c + 4 = -4*a + 133, -66 = -2*c + 4*a. Solve -38*y + 1 = -c*y for y.
-1
Suppose 2529 = 32*d - 1663. Let f = d + -115. Solve 0 = 4*v - 8 + f for v.
-2
Let b = -5675 - -5684. Solve -o - 8*o - b = 0 for o.
-1
Let i(z) = z**2 - 11*z - 12. Let l be i(12). Suppose l = 5*r - 8*r + 9. Let q be ((-16)/6)/(4/(-12)). Solve -j + r*j = q for j.
4
Suppose 3*i = -5*s + 86 + 89, 3*i + s = 191. Let c = 67 - i. Suppose 0 = 3*n - 0*d + d - 11, n = c*d + 13. Solve -n = 3*f + 1 for f.
-2
Suppose v = -2*v - 4*o + 670, -4*v = o - 902. Let m = v + -219. Solve 2 = 3*j - m for j.
3
Suppose -5*w - n = 11 - 36, -5*w - 2*n + 30 = 0. Suppose -w*x - 163 + 175 = 0. Solve 15 = -0*r - x*r for r.
-5
Let s(d) = -d**3 - 18*d**2 + 79*d - 196. Let i be s(-22). Solve 51 = -i*p + 57 for p.
3
Let q(x) = 29 - 51 + 44 + 2*x. Let z be q(-11). Suppose z = 5*f - 10. Solve -f*i - 9 = -3 for i.
-3
Suppose 5*x = -2*g + 376, -305 = 23*x - 27*x - 3*g. Let a = -64 + -5. Let z = x + a. Solve -z*s + 1 = -24 for s.
5
Let u = -9791 + 10034. Solve -u*t + 280*t - 37 = 0 for t.
1
Let o(z) = 4*z - 168. Let j be o(63). Suppose 16 = -2*u + 5*w, -24 = 3*u - 0*u + 5*w. Let k be (j/63)/(u/(-18)). Solve 2 = -y - k for y.
-5
Suppose 6 = -57*x + 13*x + 182. Let h(g) = g + 5. Let t be h(0). Suppose -4 = t*b - 24. Solve 2*k = -x - b for k.
-4
Let s be 1100/19 + 26/247. Suppose 0 = -s*z + 60*z - 14. Solve -9*c + 8 = -z*c for c.
4
Let c be -1*6/(-2) + (-7 - -12). Solve -c*k = 66 - 18 for k.
-6
Let n(f) = -f**2 + 17*f + 35. Let b be n(19). Let w be (-602)/42*1*b. Let l = w - 41. Solve -2*p + l = -2 for p.
2
Suppose 2*v + 3*b + 81 = 0, -5*v + b - 208 = 3*b. Let c be (-114)/114 - 1*5. Let h be (c + 0)*140/v. Solve 3*m + h = -m for m.
-5
Suppose -w + 5 = 5*b, 2*b + 19 - 3 = -4*w. Suppose -z - 15*c + 11*c + 27 = 0, -z + b*c = -3. Solve 0 = -z*p + 8*p for p.
0
Let i(s) = 5*s - 6. Let f be i(3). Suppose 57 - 12 = f*x. Solve 3*u - x*u = -8 for u.
4
Suppose 0 = -11*t - 10*t + 14070. Let q = -665 + t. Solve q*o = -7*o for o.
0
Suppose 0 = 3*t + 4*v - 14, 0 = 2*t - v - 4 + 2. Let o be (((-12)/5)/2)/(28722/(-191480)). Solve -o*c - t = -26 for c.
3
Let m = -468 + 508. Suppose -m*i - 981 = -49*i. Solve 0 = -105*n + i*n + 8 for n.
-2
Suppose -12*n = 7*n - 76. Suppose 10*f - 15*f + 4*j = 2, -f - n*j = -14. Solve 2*k + 20 = -f*k for k.
-5
Let s(d) = -19*d**3 + 5*d**2 + 7*d + 9. Let g be s(-3). Let h be (g/28)/((-2)/8*-6). Solve h = 6*u + 1 for u.
2
Let s(n) = 2*n**3 - 11*n + 18. Let g be s(2). Suppose 6 = 2*l + 4*k, -4*l = k - 4*k - g. Solve l*t - 7*t = -20 for t.
5
Let d(u) = 0 + u**2 + 51*u - 7*u**3 - 52*u - u**3 - 1. Let h be d(-1). Let x = 1 - 0. Solve x = -4*p + h for p.
2
Let s be 2 - (-4)/(-8)*4. Let g be s*(-1 + 2 - (1 - -1)). Suppose -3*h = -g*h. Solve h*p + 4*p - 12 = 0 for p.
3
Let n be (-10)/(-12) - 1 - (-474)/36. Suppose 10*w = 117 + n. Solve 5*u + 38 = w for u.
-5
Let v = -3 - -3. Suppose v = 3*x + 4*k - 13, 3*x = -0*x - k + 28. Let o = 884 + -884. Solve -3*l + x + 1 = o for l.
4
Suppose -5*d + 6*d = 0. Suppose 149 = 4*r + 11*q, 3*r + 2*q - 567 + 524 = 0. Solve d = -r*i + 14 + 21 for i.
5
Let g = 318 - 311. Suppose d - 13*d = g*d. Solve d = 5*p - 4*p + 2 for p.
-2
Let o(s) = -12*s**2 - 41*s + 21. Let g(v) = -31*v**2 - 124*v + 64. Let p(k) = -3*g(k) + 8*o(k). Let c be p(14). Solve -2*u = c*u for u.
0
Let y(c) = -2*c**3 + 33*c**2 - 4*c - 190. Let l be y(16). Solve 0 = -27*s - l*s for s.
0
Let p = 127 - 117. Suppose -y - p = -2*d - 2, -d = -2*y - 4. Solve y = -11*j - 0*j - 55 for j.
-5
Let o = -91 - -116. Let q = o + -21. Solve b - 12 = q*b for b.
-4
Suppose 187*j - 141*j - 230 = 0. Solve 7*f + j = 12 for f.
1
Let z(s) = 378*s - 3274. Let a be z(11). Solve 0 = a*h - 888*h - 28 for h.
-7
Let r(i) = -12*i - 31. Let b be r(-3). Suppose -c + d - 18 = -5*c, 0 = c + b*d + 5. Solve 0*l = -c*l + 25 for l.
5
Suppose 0 = 4*m - 0*m - 12, 4*f + 5*m - 451 = 0. Suppose -w - 309 = -4*w - 2*q, 0 = -2*w + 5*q + 206. Let i = f - w. Solve -3*u = -5*u + i for u.
3
Suppose -69*b - 101*b - 57*b + 29964 = 0. Solve 10*g = 42 - b for g.
-9
Let y = -2767 - -2784. Solve -21*k - 16 = -y*k for k.
-4
Let p = 29 - 22. Let l = 5378 + -5372. Solve p*a = 4*a - l for a.
-2
Suppose -4*v - 5*k + 9*k = 4, 1 = 5*v + k. Let y be -2*((-2)/4 - 1). Suppose 3*h = -3*d + y, -4*d + 4 = 3*h - 1. Solve -d*r - 2 + 4 = v for r.
1
Let c(m) = 29*m**3 + 2*m**2 - 18*m + 17. Let y be c(1). Solve -y + 24 = -3*k for k.
2
Let w = 57512 + -57508. Let b = 0 + 4. Solve -4 = -w*g + b for g.
2
Let p(y) = 92*y + 8138. Let t be p(-88). Solve 278*b = 299*b - t for b.
2
Let p(m) = 144*m - 15264. Let k be p(106). Solve -54*n + 52*n + 4 = k for n.
2
Let z be 1*2/9 + (-6630)/(-54). Let j = -123 + z. Solve j = 9*p - 6*p for p.
0
Let d be ((-20)/8)/(-5)*-14. Let b be (3 - d/(-2))*0. Let j be ((-4)/6)/((-12)/(-18)) - -5. Solve b = -3*i + j*i + 3 for i.
-3
Suppose -3 - 57 = -12*g. Suppose -2*v - 95 = -g*i + 7, 0 = -i + v + 18. Solve -1 = -i*b + 21*b for b.
1
Suppose o - 180 - 36 = -23*o. Solve -o*q - 45*q + 108 = 0 for q.
2
Suppose 7 = 2*v + 283*i - 284*i, -v - 2 = 5*i. Let d = -2 - 1. Let n be ((-10)/(-6))/(-5)*d. Solve -q + v = -n for q.
4
Let k(d) = d**3 + 11*d**2 + 7*d - 7. Let o be k(-10). Suppose -o*v - 42 = -30*v. Solve l = v*l + 10 for l.
-2
Suppose 6*d - 1334 = -17*d. Let p = 61 - d. Solve 0 = p*i - 7 + 4 for i.
1
Let k be (-12 - (-340)/8) + 3/(-6). Let l be (-9)/45 - 1/(-5). Solve k = -l*d - 6*d for d.
-5
Suppose 2*z = -16*a + 12*a + 122, 4*a - 181 = -3*z. Suppose 3*m - 53 = -4*k, -5*m + 41 = -5*k - z. Solve -m*f = -20*f for f.
0
Let q(x) = -24*x**2 + 157*x**3 - 9 - 158*x**3 - 35 - 25*x. Let g be q(-23). Solve 2*b = -g - 8 for b.
-5
Let u(m) = -m**3 - 15*m**2 + 36*m + 44. Let k be u(-17). Solve k*q + 78 = -16*q for q.
-3
Let h(v) = 2*v**2 + 4*v - 1. Let s be h(-3). Suppose -j + 4 - 13 = s*f, -5*j + 2*f + 9 = 0. Let d be (-23)/(-46) - 34/(-4). Solve -d = -5*b + j for b.
2
Suppose -3*x = -3, -4*k + x - 1 = -4. Let a be (-2)/(4/(-7)) - 24/16. Suppose -27 = -a*b - 5*m - 9, -4*m = -8. Solve k = v - b for v.
5
Suppose 470 = 60*a - 65*a. Let l be a/(-12) + (-1)/(-6) + -2. Solve q = -l*q for q.
0
Suppose i + 30 = 6*i. Suppose i*p - 51 = 81. Suppose -14*c = -3*c - p. Solve -c*a + 5 = -a for a.
5
Let u = -2137 + 2137. Let v(y) = -y**2 - 3*y + 4. Let f be v(-3). Let i(p) = -p + 3. Let m be i(-1). Solve -m*r - f = -u for r.
-1
Suppose 5*b = q + 212, 203 = 5*b - 3*q - q. Suppose 2*d - 51 = -b. Let x = -29 + 44. Solve -d*w = w - x for w.
3
Let s be ((508/(-8))/((-10)/4))/((-6)/(-90)). Solve s - 378 = -c for c.
-3
Let z(x) = x**3 - 4*x**2 - 9*x + 7. Let v be z(6). Suppose 2*d = -5*t + 84, 2 + 0 = d. Suppose h - 11 = -3*b, -4*h = -5*b - t + 6. Solve v = -b*n + 7*n for n.
5
Let r = 1177 + -1177. Solve -14*i + 36*i = r for i.
0
Let l = -71 + 51