k + 12 = -3*p, 3*p + 6 = 3*k. Let h be (126/p)/(-9)*10. Let v = h + -32. Solve -v*x - 2*x = 0 for x.
0
Let x = -271 - -427. Let m = -156 + x. Solve -r + 2 = -m*r for r.
2
Suppose -7*m = 4 - 39. Suppose m*n = -0 + 15. Solve 0 = n*j - 0 + 6 for j.
-2
Let s = 591 + -589. Suppose s*d - 9 = -3*y, -33*d - y - 31 = -38*d. Solve 5*j - d = 19 for j.
5
Suppose -3*u + 181 - 25 = 2*i, 3*u = -i + 156. Solve 12*b + u = -b for b.
-4
Let i be ((-63)/14)/((-18)/60). Suppose 4*u - 7*u + i = 0. Solve u*t = 3*t - 6 for t.
-3
Let a be 11/1*(-142 - -150). Solve 0 = -25*i + 3*i + a for i.
4
Let u be 21/4*(-48)/(-9). Let z be (u/(-10))/(8/(-160)). Suppose w - z = -7*w. Solve 0 = r + 2 - w for r.
5
Suppose -4*u + k - 242 = 0, 6*k = -3*u + k - 170. Let x = -152 - -214. Let o = u + x. Solve -o*h - 2 = 4 for h.
-3
Let s be ((-170)/(-25))/(3/15). Let z(p) = 39*p**2 + 4*p + 2. Let r be z(-1). Let v = r - s. Solve 8*g = v*g - 25 for g.
-5
Let t be 16/(-2) + -4*5/(-4). Let c be (3/t + 13)*2. Solve -c = -3*v - 33 for v.
-3
Let h = 3337 - 3300. Solve 31*y = 25 + h for y.
2
Let y = 307 + -303. Suppose -2*m + 5*n - 4 = 0, m + y*n + 24 - 35 = 0. Solve -6 = 3*h + m*h for h.
-1
Suppose -5*l + 9*l = 55*l - 306. Suppose 0*s + 5*p - 88 = -4*s, 3*p = 0. Suppose -2*o + 13 = 5. Solve -o*h + s = l for h.
4
Suppose 2*c = 4*p - 440, 2*p + 4*c - 123 - 87 = 0. Solve -8*q - 93 = -p for q.
2
Let r(d) = d**3 + 24*d**2 - 25*d + 2. Let g be r(-25). Let h(z) = -z**2 - 9*z + 3. Let k be h(-9). Let y be (k + 21/(-3))/(-2). Solve g*j - y = -0 for j.
1
Let g = -44 - -48. Suppose 4 = g*d + 8. Let i be (-4 - (-2 - -3))/(-2 - d). Solve i*z = 3 + 2 for z.
1
Let m be -1 - (-16)/(8 + -4). Suppose 0*q - 15 = -m*q, 0 = -3*y + q + 55. Solve -j - 18 = -y for j.
2
Suppose -2*l = 3*i - 40, -4*l + 2*i - 4*i + 64 = 0. Let z = l - 13. Suppose -s + 4 + z = 0. Solve -5*h = 5 + s for h.
-2
Suppose -11*w + 32 = -12. Suppose -18*b + w*b = -154. Solve v - b + 16 = 0 for v.
-5
Let x(r) = -23*r - 18*r + 44*r - 8. Let l be x(4). Solve -7 = -l*q - 15 for q.
-2
Let m be (2 - (-24)/(-9))*-3. Suppose m*d - 11 = d. Let r = -6677 - -6708. Solve 4*q = -r + d for q.
-5
Let z(b) = -181*b + 5798. Let c be z(32). Solve -1133 = -c*p - 1139 for p.
-1
Suppose 11*l - 199 - 54 = 0. Suppose -2*y + l = 11. Solve 9 + y = -3*c for c.
-5
Let t = -21 - -12. Let j = t + 9. Let h(o) = o**3 - 4*o**2 + 27*o - 103. Let k be h(4). Solve j = -2*q + k*q for q.
0
Let y(w) = 4*w + 24. Let g be y(-9). Let v be 6*(-2 + 16/g). Let c be v/(-4) + (-3 - -6). Solve -3*k + c*k - 5 = 0 for k.
1
Let d = 875 - 605. Suppose 0 = -17*b + 47*b - d. Solve -b*n = -2*n for n.
0
Suppose 7*s = 3*s + 204. Solve -3*t = 39 - s for t.
4
Let i = 3633 - 3607. Solve 0 = -i*p - 47 + 177 for p.
5
Let k(l) = -3*l**2 + 33*l - 2. Let n(p) = p**2 + p - 1. Let x be n(-4). Let o be k(x). Let i be (-11)/11*(o - -2). Solve -2*d + 5*d = i for d.
0
Suppose -2*a + 28 = 2*a + 4*s, 3*s - 36 = -4*a. Solve 14*z = 29*z + a for z.
-1
Let v(k) = 99*k - 581. Let f be v(6). Solve f*t + 25*t - 76 = 0 for t.
2
Suppose w + 240 - 14 = o, 0 = -2*o - 3*w + 477. Solve -37*l - o + 9 = 0 for l.
-6
Let i = 673 + -665. Let q be (4/i)/(4/56). Solve q*f - 2 = 6*f for f.
2
Let r = -110 + 110. Let j be 40/12*((-9)/(-6) + 0). Solve 0 = 5*x - r - j for x.
1
Let m be (5 - 1) + (-2)/(-2). Let k(c) = 2*c**3 + 24*c**2 + 9*c - 128. Let b be k(-11). Suppose l = -0*g + 2*g + 1, -b = m*g - 5*l. Solve 4 = -a + g*a for a.
4
Let m(f) = -f**3 + 7*f**2 + 18*f + 4. Let z(v) = 2*v + 37. Let t be z(-9). Let q = t - 10. Let w be m(q). Solve w*r = -r for r.
0
Let v = -2190 + 2218. Solve -8*k + k = v for k.
-4
Let s be (-190)/(-57)*(-3)/(-2). Suppose -25*q = -27*q + y + 31, q - 20 = -4*y. Solve q = h - s*h for h.
-4
Let h be (-2)/1 - ((-28)/6 + 0)*180. Solve -h = 2*f - 842 for f.
2
Let o(g) = 5*g**2 + 4. Let p(a) = a**2 - a - 1. Let k(r) = -o(r) + 6*p(r). Let f be k(9). Let l = f - 17. Solve l*j = 2*j - 2 for j.
1
Let c(q) = 18*q**2 - 7*q + 8. Let s be c(1). Solve 22*v = s*v for v.
0
Suppose 5*m + 137*c - 132*c - 9 - 11 = 0, 4*c = 0. Solve -m*f = -f + 18 for f.
-6
Let q(m) = 5*m - 22. Let r be q(5). Let x = 30 + -25. Let a = -23 + 25. Solve -a*i - x = -r*i for i.
5
Suppose -4*n - 4*m + 984 = 0, -565 = -3*n - 4*m + 171. Let d = 258 - n. Solve -3*v = d + 2 for v.
-4
Suppose 2*k - 35*f + 37*f - 174 = 0, -3*k - 4*f = -264. Solve k*v = 32*v + 156 for v.
3
Suppose 4*j = -4*q + 16, j + 6*q - 9*q = -12. Suppose 17 - 2 = 5*i. Solve i + j = -l for l.
-3
Suppose -3*b = -2*f - 18, -1 = -4*f - b - 9. Let z be (7 + f)*(-9)/(-12). Suppose 5*x = -x - z*x. Solve x = -5*h + 3*h - 8 for h.
-4
Let p(q) = 4*q + 6. Let k(n) = 2*n**2 - 2*n - 1. Let d be k(-1). Let w be p(d). Suppose -5*a = -2*a - w. Solve a*y - 4*y = 10 for y.
5
Let m(c) = c**2 + 10*c - 81. Let q be m(-15). Let n(l) = -l**2 - 18*l - 45. Let d be n(q). Solve 0*u - 9*u + d = 0 for u.
3
Let h(u) = -u**2 - u - 1. Let q(k) = k**2 + 4*k + 13. Let b(j) = 2*h(j) + q(j). Let z be b(5). Let n(f) = -3*f - 12. Let m be n(z). Solve -v - 4 + 2 = m for v.
-2
Let f be (204/(-918) - (-68)/(-18)) + 4. Solve f = -7*n + 48*n + 41 for n.
-1
Let g = 2582 - 2551. Solve g*y + 8 = 27*y for y.
-2
Let b = -86 - -217. Suppose 5*h - 20 = 0, 3*t - 20 - 5 = -4*h. Suppose -j = -p + 22, t*j = -5*p + b - 53. Solve -5*f - 2 = p for f.
-4
Suppose 5*a = x + 14 + 7, 3*a = 3*x + 15. Solve -35 = a*m - 19 for m.
-4
Suppose 4*q - 601 = -3*w, -w + 35*q - 31*q + 227 = 0. Solve -6*v + 177 = w for v.
-5
Suppose 0*a = -2*c + 2*a + 2, -3*c + 2*a + 4 = 0. Let f = -67439 - -67443. Solve 6 + c = -f*m for m.
-2
Let p(t) = 2*t**2 + 16*t - 39. Let m be p(-10). Let w be (32/(-12))/m*(-27)/6. Solve w*j = -45 - 15 for j.
-5
Let l = -7 + 22. Let y be 5256/(-360) + -3 + 17 - (-3)/5. Solve y = -l*v + 10*v - 15 for v.
-3
Let b be 5/((-4)/(-8) - -2). Let d(j) = j**b + 33 + 55 - 106 + 24*j. Let p be d(-25). Solve -5 - p = 3*t for t.
-4
Suppose 5*i - 58*i = -13 - 199. Solve 33*j - i = 37*j for j.
-1
Suppose -2*j - 3*p + 10 = -2*p, -5*j - 5*p = -35. Suppose -y - 2*y = -5*g + 3, 0 = 5*y + j*g - 29. Solve 11 = y*r + 27 for r.
-4
Suppose -64*a + 5192 = -2168. Solve 0 = -2*p - 21*p + a for p.
5
Let h be (38/(-14))/((-76)/532). Solve 34 = 5*u + h for u.
3
Suppose -19*o = -23*o + 16. Suppose 0*h + h - m - 1 = 0, 0 = -5*h - o*m + 32. Let p be (1 + -2)*(-7)/1. Solve -27 + p = h*a for a.
-5
Suppose -h - 6 = -4*h. Suppose h*a + 0*n = 3*n - 6, 26 = 2*a + 5*n. Suppose 5*f + 4*m = 21, -m = f - 2*f - a. Solve 0 = -4*y + 21 - f for y.
5
Let x = -7657 - -7659. Solve 0 = -x*g - 5*g + 28 for g.
4
Suppose -4*t + 7 = -1. Let x be 40*((-4)/5)/(t/5). Let y = 80 + x. Solve q = -y*q for q.
0
Let g(l) = 3*l + 90. Let y be g(-26). Solve -y*d - 1 = -37 for d.
3
Suppose 3*j - 16 = -j. Suppose 176*i = -438 + 1142. Solve -i = j*b - 5*b for b.
4
Let r be ((-165)/(-11))/(1 - 0). Suppose -5*n = r, -5*f + 21*n = 19*n - 16. Solve -f*a = -3*a - 2 for a.
-2
Let q = -192 + 113. Let j = q - -81. Let m be 3*1 - 12/(-12). Solve 2*k = -j*k + m for k.
1
Let s be (6 - 4)*1245/10. Solve 0 = 2*h + 237 - s for h.
6
Suppose l - 2805 = -29*l + 13*l. Solve -29*i = 67 + l for i.
-8
Let y be (-495)/220*(6 + (-86)/3). Solve -y*k = -67*k - 64 for k.
-4
Let w = 2525 + -2511. Solve 0 = w*r + 119 - 35 for r.
-6
Suppose -4*i = 16, -s - 149 = -i - i. Let m = -157 - s. Solve 6*b - 4*b = m for b.
0
Let d be 0/(1/(-4)*(-12)/3). Suppose -w - 83 = -85. Solve -q + w*q = d for q.
0
Suppose -3*u + 25 = -26. Let g(j) = 3 - 30*j + u*j**2 + 0 + 725*j**3 - 726*j**3. Let p be g(15). Solve -x = p*x for x.
0
Let s be 38/4 + 589/38 + -18. Solve -s*o - 90 + 62 = 0 for o.
-4
Let j be -8 + (-2)/5*-5. Let g(m) = -m**3 - 8*m**2 - 12*m + 12. Let b be g(j). Suppose -5*n + y - 5*y = -20, 4*y = -3*n + b. Solve -4 = 2*a + n for a.
-4
Let m(r) = -2*r**3 - 12*r**2 + 6. Let n be m(-6). Solve n = -27*t + 28*t for t.
6
Let q = 3537 + -3534. Let o(d) = -d - 6. Let t be o(-8). Solve -t*c - q*c = 0 for c.
0
Let k = -3695 - -3702. Solve -3*z - 4 = -k*z for z.
1
Suppose 2*f - 64*s = -62*s + 280, -5*s - 428 = -3*f. Solve -10*n + 56 - f = 0 for n.
-8
Suppose -2519*u + 277 = -2520*u. Let a = 290 + u. Solve a*h - 16*h = -6 for h.
2
Suppose -f = 3*i - 55, 3*i - 24*f + 22*f - 43 = 0. Solve i*c = 25*c + 40 for c.
-5
Let g(c) = c**3 - 8*c**2 + 3*c + 17. Le