o = 4*h + 7480 - 7512. Let z(w) = w - 3. Let i be z(3). Solve -13*l + o*l = i for l.
0
Let p be (-19)/(-3) - -22*24/(-1584). Solve -6*l + 0*l = p for l.
-1
Suppose 0 = -4*l + 5*s + 87, 473*l = 471*l + 4*s + 54. Solve l*w + 135 = 148 for w.
1
Suppose -71 = 120*a - 1031. Solve 0 = -3*y - a*y + 3*y for y.
0
Let c(s) = s**3 - 5*s**2 + 4*s + 10. Let x be c(5). Suppose -x = 23*u - 26*u. Solve -5*h + 0 = u for h.
-2
Let q(f) = -f - 2. Let j be q(-3). Suppose 5*c - 15 = 3*y, 0*y = -3*c + 4*y + 9. Suppose -5*n - 21 = -c*w - w, 3*w - 7 = -5*n. Solve -3 - j = w*m for m.
-1
Suppose -36 = 3*s + 9. Let q be 8*3/(-18)*s. Solve -q = 4*z + z for z.
-4
Suppose 2*f + 4*g = 0, -5*f - 5*g - 4 = 1. Let x be f - (12/3 - 11). Suppose 21 = t - x*q, 3*q + 10 = -2. Solve 0 = -3*v + t - 4 for v.
-1
Let b(v) = v**2 + 18*v + 6. Let x be b(-18). Suppose -4*a + 20 = 0, 3*l - 2*l - 2*a - x = 0. Solve l = -8*p - 8 for p.
-3
Let r(c) = -c**3 + 12*c**2 + 55*c - 303. Let a be r(6). Solve -a = 33*i + 21 for i.
-8
Let n = 267 - 267. Let x be (-6 + n)*(-2)/8*4. Solve x*r + 32 - 2 = 0 for r.
-5
Let g(b) = -3*b**3 + 43*b**2 + 25*b + 95. Let m be g(15). Solve -6*t = -m - 16 for t.
6
Let g = 15940 - 15930. Solve 89 = -g*n + 169 for n.
8
Let m(b) = 3*b**2 + 8*b**2 - 4*b**2 - b**2 - 1 - b. Let u be m(-1). Solve u = 4*q - 14 for q.
5
Suppose 7*z = 44 + 138. Let x = -26 + z. Suppose 5*p - 3*a - 6 - 19 = x, -2*p = -4*a - 10. Solve -1 + 21 = p*k for k.
4
Let i be (-2)/(46/207 + (-64)/234). Suppose -12 = -i*v + 33*v. Solve 0 = 8*p - v*p + 12 for p.
-2
Suppose 2*g + 8 = 0, -2*s - s - 4*g + 26 = 0. Let x = -8 + s. Solve 5*c = 1 - x for c.
-1
Let q(k) = -4*k**2 - 5*k + 11. Let x be q(-5). Let g = 127 + x. Let r be 12*(3/7 - 6/g). Solve -r*d - 4 = 4 for d.
-2
Suppose -s = -8*b - 22*b - 157, -2*b - 38 = -4*s. Solve -s*w + 17 = -24*w for w.
-1
Suppose 19*w = 15*w + 64. Suppose -w*m - 21 + 37 = 0. Solve -g - 5 = -m for g.
-4
Let r = -38 + 54. Suppose 3*f - 16 - 2 = 0. Solve f*z - 28 = -r for z.
2
Suppose 3*b - 108 = -2*z, -2*b + 168 - 514 = -5*z. Solve -2371*m = -2382*m - z for m.
-6
Let d be ((-8)/12)/((-8)/1116). Let u = 88 - d. Let m(v) = -v**2 - 3*v + 14. Let p be m(u). Solve 0 = 2*w - p*w + 10 for w.
5
Let r be ((-1)/(-5))/(64/9280). Solve 0 = -r*a + 48*a - 26*a for a.
0
Suppose -3*x = -2*o - 4*x - 67, -o - 3*x - 31 = 0. Let n be o/(-6) + (-4)/6. Let c = -134583 + 134596. Solve -n*h + c + 2 = 0 for h.
3
Let m(c) = -2*c**2 + 14*c - 11. Let n be m(3). Suppose n*d + 8 - 34 = 0. Solve 3*q = d*q for q.
0
Suppose -14*b + 25 = -9*b. Suppose -q = 3*t - b*q - 8, -5*q - 7 = -3*t. Suppose 0 = -5*c + u + 26 + t, 0 = 3*c - 3*u - 6. Solve -3*y + 22 - c = 0 for y.
5
Suppose 2*n - 59 = 4*h - 15, 3*h + 54 = 5*n. Solve -n*t = -26*t - 60 for t.
-3
Let p = -699 - -704. Let j be (-9)/2 + (-1)/2. Let a be (6/p)/2 - 7/j. Solve 5*m = 3 + a for m.
1
Suppose 2*u + 2*d = -10, 4*u = -d + 4*d + 15. Suppose -q = -5*x + 6, -3*q - 4*x - 1 - 17 = u. Let l be (q/(-3 - -21))/(1/(-12)). Solve 20 = -g - l*g for g.
-4
Let d = -16187 + 18214. Solve -d*c = -2020*c - 56 for c.
8
Suppose -3*g - 10 = 2*g, 0 = 5*o + 3*g + 41. Let r(q) = q**2 + 10*q + 30. Let w be r(o). Let k(p) = -p + 10. Let h be k(w). Solve 2*l - l = h for l.
1
Suppose -3*u + 79 = -3*d + 34, -5*u = -2*d - 60. Solve -u*x = 39*x for x.
0
Suppose 5*u - 3*r = 606, -3*u + 3*r - r + 363 = 0. Let z = u + -70. Suppose -87 - z = -7*n. Solve 4*d = -d + n for d.
4
Let t = -480 + 487. Suppose 2*v - 32 = -5*q, -t = 5*v + 13. Solve 2*d + q = 4 for d.
-2
Let n = 184 + -250. Let z be (-8)/(-12)*n/(-4). Let u be 1 + (-2 - -4*1). Solve z = -2*j + u for j.
-4
Let x(d) = d**3 - 21*d**2 + 58*d - 313. Let m be x(19). Solve -m*g + 25 = -72*g for g.
-5
Let h be -5*(11 + -4)*2/14. Let y be (-3564)/(-405) - 1/h. Solve -3*w = -y*w - 6 for w.
-1
Suppose 17*a - 13*a = 32. Suppose -a*p + 7*p = -5*r - 20, -p + 4*r = -16. Solve 0*o - 2*o + 6 = p for o.
3
Let b be ((-10)/(14/(-7)) + 0 + -5)/3. Solve b = -213*d + 225*d + 72 for d.
-6
Suppose -6*q + 1253 = -1825. Let o be 11 + q/(-45) + 47/5. Solve 0 = -4*t + o*t for t.
0
Let y = 12110 + -12050. Solve -y - 80 = 28*q for q.
-5
Let t = -2044 - -2047. Let q(p) = -9 + 11*p + 8*p - 7*p - p**2. Let j be q(11). Solve t*g = -j*g for g.
0
Let w be (-69)/9 + 12/18. Let n = w - -12. Solve -n*d + 9 = -8*d for d.
-3
Let y be ((-1)/3 - 0)*(-13 + 5 + -16). Solve 1 - y = -7*r for r.
1
Let a(u) = u**2 + u. Let p be a(1). Suppose 170*j + 71*j - 270 = 151*j. Solve j*h - 5 = p*h for h.
5
Let q(p) = -21*p**2 + 6*p - 15. Let j be q(2). Let w = 32 + -115. Let u = w - j. Solve 4*m + u = 24 for m.
5
Let u(m) = -58*m - 287. Let n be u(-5). Solve -n = -7*i + 46 for i.
7
Suppose j - i = -j + 15, 3*j - 5*i = 5. Let k(x) = 0*x - 7*x**2 + 10*x - 10*x**2 - 32 - x**3 + 2*x + 20*x**2. Let y be k(4). Solve 2*v = -y*v + j for v.
5
Let q be ((-1)/(-90)*105)/((-2)/(-12)). Let w(m) = m**3 - 2*m**2 - 4*m + 4. Let j be w(3). Solve 3*i - q = -j for i.
2
Suppose -3*f - 707 = -k, -36*k = -f - 38*k - 224. Let b = f - -234. Solve b*o = 3*o + 6 for o.
-2
Suppose 1167 + 4761 = 26*v. Let d = v + -223. Solve 2*n + 3*n + d = 0 for n.
-1
Suppose -5*b + 4*b - 4*d = -12*d - 52, 0 = -4*d. Solve -38 = -14*s + b*s for s.
-1
Let c = 2047 - 2043. Solve -33*x = -c - 29 for x.
1
Let j(n) = n - 5. Let t be j(7). Suppose -4 = v - 2*g, 3*g + 3 = 2*v + 10. Let m be (-3 - v) + (5 - 1). Solve z + m = -t*z for z.
-1
Let i(x) be the first derivative of x**4/4 - 11*x**3 + 35*x**2/2 - 92*x - 124. Let b be i(32). Solve 0 = 5*n - b*n - 3 for n.
3
Let y = -58 - -66. Suppose 6 = -5*a + 6. Suppose a = 3*z - 9 - 3. Solve y = -2*q + z for q.
-2
Suppose -3 = 2*f + 9. Let h be 2 - (13 - 1)/f. Solve h - 10 = -2*b for b.
3
Suppose 23115 = 43*y - 11252 + 7965. Solve -612*f + 10 = -y*f for f.
-5
Let q(j) be the first derivative of j**2/2 - 4*j - 23. Let t be q(6). Let m = -3 - -3. Solve -t*z = -m*z + 4 for z.
-2
Let v be ((-150)/10)/(0 + -1). Let y = 19 - v. Suppose 4*t = -y*k + 12 + 32, 2*k = 5*t - 27. Solve -t*j = -5*j - 2 for j.
1
Let a(i) = -2*i - 6*i - 198 + 32*i. Let s be a(9). Solve s - 3 = -3*p for p.
-5
Let q be (-21)/(-42)*(-1 + 1). Let z(u) = -5*u - 35. Let x be z(-8). Solve q*y = -x*y for y.
0
Let n(q) = q**3 + 11*q**2 + 37*q + 516. Let s be n(-9). Solve -6*o + s - 339 = 0 for o.
1
Suppose -378*r + 414*r = 2196. Solve 6*v + 440 = r*v for v.
8
Let n = -2350 + 2371. Solve n*y - 17*y = 18*y for y.
0
Let p(t) be the third derivative of t**7/35 + t**6/360 - 3*t**3/2 - t**2. Let g(f) be the first derivative of p(f). Let l be g(1). Solve 5*u - l = -0*u for u.
5
Suppose 2*u = -5*c + u + 128, 0 = 4*c - 3*u - 110. Suppose 0 = 3*y + z - 2, -4*y + 5*z = -y - c. Suppose 18 = 3*n + 6. Solve -6 = n*a - y for a.
-1
Suppose -8*m + 3*m + 7 = 3*z, 2*z = 3*m + 11. Let h be 22/55 - z/10. Suppose 4*o + 24 - 40 = 0. Solve 2*w - o*w + 2 = h for w.
1
Let t(l) = 119*l + 1567. Let p be t(-13). Solve p*r = -107 + 167 for r.
3
Let j(u) = 322*u + 2581. Let b be j(-8). Solve 28*x - b - 107 = 0 for x.
4
Let j(r) = r**2 + 9*r + 6. Let m be j(-8). Let h be m/(-15)*3 - 13/(-5). Suppose -d + 33 = 2*d - 2*w, 0 = w - h. Solve 4*b = -5 + d for b.
2
Suppose 17*l = 10*l - 28. Let x(d) = d**2 - 4*d - 32. Let p be x(l). Let z be 2/8*(3 + 1). Solve p = m - 2*m - z for m.
-1
Let m be (-10 + 11)/(2/22). Solve m - 11 = 5*t for t.
0
Let v be (-34)/(-14) - (-24)/42. Let k(t) = -8*t + 27. Let b be k(v). Let n be (-50)/(-3)*(-60)/(-50). Solve -2*w - n = b*w for w.
-4
Let o be ((-28)/1092*-39)/((-2)/(-170)). Solve 0 = -32*l + o*l - 53 for l.
1
Let a(l) = 2*l**3 + 23*l**2 + 28*l - 17. Let y be a(-10). Suppose -j = 27 - 1. Let p = -14 - j. Solve -y*h + p = -7*h for h.
-3
Let z(u) = -u**2 - 2*u. Let l be z(-2). Suppose l = 3*d - 4*d + 14. Let i(j) = 2*j - 22. Let f be i(d). Solve 0*k - f = 2*k for k.
-3
Suppose -4*n + 63 = -5*n - 2*s, 5*n + 3*s + 343 = 0. Let j = 144 + n. Let o = j + -61. Solve 7*b - o = 4*b for b.
4
Suppose 34*n + 91 = 21*n. Let r(t) = 7*t + 49. Let s be r(n). Solve 0 = -2*v - s for v.
0
Let v(r) = -2*r**2 + 56*r + 338. Let i be v(-5). Solve -i*b - 10 + 26 = 0 for b.
2
Let d = 5652 - 5631. Solve -31*p = -d*p - 50 for p.
5
Let u be 1 + 6 + (21 - 20). Suppose -5*z - 38 = -3*x, -5*z - 70 = -u*x + 3*x. Solve x*p - 11*p = -5 for p.
-1
Let g(f) = 3*f - 10. Suppo