Let v be x(6). Let q be (-3)/9*(-1)/(v/30). Solve -6*w + 1 = -q*w for w.
1
Suppose -2*a - 114 = -114. Suppose a = -3*w - 3 + 24. Suppose -13 = -w*f + 1. Solve z = -f - 1 for z.
-3
Let x be 21*(-15)/210*1*-10. Solve x = 21*j + 162 for j.
-7
Let z(o) = 13*o**2 + 14*o**2 - 26*o**2 - 4 + 3. Let c be z(-1). Solve c*n - 4*n = 0 for n.
0
Suppose 41493 = -n + 41517. Solve 17*p - 11*p - n = 0 for p.
4
Suppose -4*r = -3*n - 24, 15*r + 3*n = 10*r + 84. Solve -47 + 131 = r*u for u.
7
Let f = 30 + -30. Suppose 2*w - 3*p = 1, -3*w + 5*p + 0*p = f. Let l be 4/(-6)*(16 + -19). Solve -l*x = -3 + w for x.
-1
Let x be ((-25)/15)/((-30)/72). Suppose -x*m = 7 - 15. Solve m*g = g - 4 for g.
-4
Let n = 24 - 25. Let a(f) = -14*f - 10. Let l be a(n). Solve 13 + 3 = -l*b for b.
-4
Let u(g) = 27*g**2 + 164*g - 59. Let y be u(-7). Solve -y*k - 344 = 236 for k.
-5
Suppose 4*o + 22 = 34. Suppose z = k + 6*z + 16, -2*k - 4 = o*z. Suppose 5*d = -3*t + 9, 5*d - 3*t - 28 + 7 = 0. Solve -d*h + 1 = -k*h for h.
-1
Let n(x) = -x**3 - 4*x**2 - 10*x - 22. Suppose y + 6 = -2*v, -2*v = -7*v + 3*y - 26. Let d be n(v). Solve 3*q + d - 12 = 0 for q.
-2
Let u(k) = -8*k - 153. Suppose 4*z + 64 = 4*n, 2*z + 5*n + 7 = -60. Let v be u(z). Solve v = -4*a + a for a.
-5
Suppose -5*a + 4*f + 43 = 0, 0 = -a - 0*f - 2*f + 3. Let s be (8/7)/(2/a). Suppose k - 3*k = k. Solve s*p + 20 = -k*p for p.
-5
Let d = 1865 - 1003. Let t = -856 + d. Solve t*z + 26 = -7*z for z.
-2
Suppose 4*o - 30 = o. Let j(v) = -v**3 + 11*v**2 - 10*v + 2. Let m be j(o). Suppose 21 = 2*r + z, 4*r + 36*z = 40*z + 12. Solve -2*c - m*c - r = 0 for c.
-2
Let j be 1*((-50)/4)/5*(-34)/(-170)*-4. Let d = 1 + -1. Solve d = j*z - 85 + 79 for z.
3
Let f(b) = 2*b - 119600 + 119632 - 4*b. Let x be ((-16)/5)/((-2)/10). Let n be f(x). Solve n = -2*q - 2*q - 8 for q.
-2
Suppose -2*j = 2*o - 14, 0*o = -2*o - 4*j + 20. Let r(u) = 4*u**2 + 121*u + 32. Let y(p) = 3*p - 48. Let x be y(6). Let h be r(x). Solve 2 = h*w - o for w.
3
Let t be 1/8 + 1/(-8). Solve t = -6*l - 12 for l.
-2
Let y(i) = 2*i**2 - 248*i - 246. Let u be y(-1). Let m(p) = -p**3 + 4*p**2 - 3*p + 3. Let s be m(3). Solve -13 + u = s*w for w.
-3
Suppose 5*q = -2*k + 2060, 80*k = q + 85*k - 389. Solve -416*n - 4 = -q*n for n.
-2
Let t(q) = -q**2 - 134*q - 2380. Let h be t(-22). Solve 0 = -12*z - 9*z + h for z.
4
Let x = 1740 + -1717. Solve 0 = 7*a + x - 9 for a.
-2
Let v = 123 - 121. Suppose 60 - 56 = v*a. Solve -7*i + 25 = -a*i for i.
5
Let s(c) = 35*c**2 + 2*c - 3. Let v be 4 - (-4)/(-8)*6. Let d be s(v). Let u = 34 - d. Solve 4*q - 16 = -u*q for q.
4
Let g = -42975 - -43019. Solve g*j + 161 = 293 for j.
3
Let p be 1/(-2)*4/(-1). Suppose 10*u - 5*q = 6*u + 43, 0 = u - 5*q + 8. Suppose 5*s + u = 3*h + 8, -s - h + 3 = 0. Solve s*a = a - p for a.
2
Let t(f) = 65*f - 23. Let k be t(1). Solve 23*g - 16*g = -k for g.
-6
Let y(l) = -25*l - 2. Let z be y(-1). Let o = 23 - z. Solve o*g + 5*g = 0 for g.
0
Let u(v) = 12*v + 225. Let l be u(-18). Suppose -l*n + 67 = -68. Solve -13*m = -8*m + n for m.
-3
Suppose 5*m + 1262*i - 1261*i - 418 = 0, 2*m - 2*i - 184 = 0. Solve -21*y + 64 = -m*y for y.
-1
Let q(o) = o**2 - 9*o - 7. Suppose f - 3*f = -20. Let r be q(f). Let l be 1*(-4)/38 - 20068/(-3287). Solve -3*u + r - l = 0 for u.
-1
Let g(h) = 5*h**2 - 10*h - 7. Let l(x) = x**2 - 2*x - 3. Let z be l(-2). Let f be g(z). Let c = -62 + f. Solve -c*y + 2*y = -16 for y.
4
Suppose 19*s - 8*s = 99. Let g be 10 + (8/12 - 6/s). Solve -16*k + 14*k - g = 0 for k.
-5
Let j(n) = -2*n - 3. Let p be j(-4). Let r = -7524 - -7532. Solve -p*k = 3*k - r for k.
1
Let d be (-20)/3*(42/4)/7. Let j be ((-12)/30 + 0)*d. Solve j + 11 = 5*n for n.
3
Let n be (28/20)/(10/(-8 - -108)). Solve -8 + n = -3*c for c.
-2
Suppose 3*k - b = 39, k = 5*k + 5*b - 33. Suppose -5*t + t = -k. Suppose -4*r - h + 2*h - t = 0, -2*h + 6 = 4*r. Solve r = -0*p + 2*p - 8 for p.
4
Let r be 1/(33/(-6)) - 26032/88. Let p = -293 - r. Solve 0 = y - 2*y + p for y.
3
Let s = 206 - 201. Suppose 0 = -l - s + 6. Solve a = l - 4 for a.
-3
Let w = 1457 + -1453. Suppose -2*k - 2*k - 24 = -5*b, -2*b + k + 9 = 0. Solve -w = 4*z - b for z.
0
Let g(c) = -133*c - 3696. Let a be g(-28). Solve 56*v - a = 140 for v.
3
Suppose -100*s = -4257 - 402 - 1641. Solve 11441*d = 11434*d + s for d.
9
Suppose -70*c - 9 = -73*c. Suppose -5*y + c*m = 9, 3*m - 3 - 6 = 2*y. Suppose i - o = 2*o + 11, 3*i - 3*o - 27 = y. Solve -f - i = f for f.
-4
Suppose -32 + 4 = -4*w. Suppose -13 = -2*o + w. Solve -4*u + o = u for u.
2
Suppose 10*s + 11*s = 0. Let x(j) = 3*j + 45. Let k be x(-11). Solve s = -d + 5*d - k for d.
3
Let z(d) = d**3 + 11*d**2 + 9*d - 8. Let r(v) = -v**3 + 5*v**2 + v - 15. Let g be r(5). Let b be z(g). Suppose 3*j - 20 = 16. Solve 0 = -b*i - i - j for i.
-4
Let n(j) = -7*j + 72. Let g be n(10). Suppose 3*z + g*z + 10 = 4*i, 2*i = 4*z + 2. Solve 2*x = i*x - 15 for x.
5
Let u(r) = -3*r**2 + 1 + 5*r - 5 + 2*r**2. Let b be u(4). Suppose 24*g - 28*g - 72 = -22*g. Solve b = w + g*w - 10 for w.
2
Let k(p) = 6*p - 1. Let i be k(1). Suppose 2*j - 23 = -3*q, 28 + 10 = i*q + 3*j. Let f be 2 + 0 + (q + -2 - 3). Solve 0 = f*y + y for y.
0
Let r be (-49 + 19)/(4 + -7). Solve -18*o = -r*o for o.
0
Suppose -21*s + 0 = -42. Let l be -3*-1*(-12)/(-9). Solve -l*m = s*m + 6 for m.
-1
Let p(k) = 487*k - 3355. Let r be p(7). Solve 149 + 13 = r*c for c.
3
Suppose 0 = 27*z - 5398 - 4322. Let j = 360 - z. Solve v - 2 + 5 = j for v.
-3
Suppose -4*x = x + 3*w - 15, 5*x + 5*w - 25 = 0. Suppose 0 = 5*g - 4*t + 199, -g - t - 35 - 3 = x. Let v be 22/14 + g/(-91). Solve -3*y + v*y = -1 for y.
1
Let a(y) = 6*y - 10. Let j be a(2). Let z(w) be the first derivative of w**3/3 - w**2 + 3*w + 16. Let m be z(2). Solve m*r = -j*r + 20 for r.
4
Let w = -9131 - -9172. Solve w = 22*h + 19 for h.
1
Let k(y) = -6*y + 9. Let t = -755 - -756. Let w be k(t). Solve 0 = -5*f + 7 + w for f.
2
Let h(x) = 5*x + 124 + x + 7*x. Let k be h(-9). Solve -k*o + 3*o = 4 for o.
-1
Let p = -11 + 36. Suppose -691 + 639 = -26*w. Solve -15 = -w*j - p for j.
-5
Let r be (-6)/27 + (-11)/(-9). Let m = -53 - -333. Let c = 286 - m. Solve -z = c - r for z.
-5
Let j be ((-4454)/(-917))/((-2)/(-7)). Solve 23 = 8*k - j for k.
5
Suppose 100 = -76*l + 480. Suppose 404 = 4*b + 2*f, -342 = -3*b - 5*f - 46. Suppose 5*a + 22 = b. Solve l*i = i + a for i.
4
Let w = 76 + -45. Let q = -5 + 11. Suppose q*s + 7 = w. Solve 0 - s = i for i.
-4
Suppose 0 = -3*a + 3, 0 = 2*w + 4*a + 60 - 92. Suppose 5*g - 37 = 48. Solve g*p = w*p for p.
0
Suppose 654 = 41*t - 44*t. Let j be t/(-14) + (-30)/(-70). Suppose -11*d + 6 + j = 0. Solve -d*f = -f + 5 for f.
-5
Let l(t) be the first derivative of t**4/4 + 13*t**3/3 - 8*t**2 - 22*t + 39. Let g be l(-14). Solve y + 15 = g*y for y.
3
Let m(t) = -3*t + 262. Let s be m(25). Let k = 190 - s. Solve 2*h + k = 7 for h.
2
Suppose 179*m - 150*m - 464 = 0. Suppose 0 = -y + 5*f, -f - 4*f = 0. Suppose -4*u = u - 2*p - 20, -4*p = y. Solve -u - m = 5*s for s.
-4
Let o = 323 - 162. Let a = 165 - o. Solve 5*x + a = 4*x for x.
-4
Suppose y + 5*l - 1 = -0*y, y - 2 = -4*l. Let v be (-9)/y*(-22)/3. Suppose v - 3 = 2*p. Solve 0 = -p*o + 9 + 7 for o.
4
Suppose 5*b - 12*b = -15*b + 208. Solve -12*s - b = 70 for s.
-8
Let k(v) = 2*v**2 + 16*v + 7. Let u(a) = -a**2 - 9*a - 21. Let o be u(-7). Let b be k(o). Let s be (-6)/b*(-7)/(-2). Solve -s*p = -7*p + 20 for p.
5
Suppose 3*k = 5*j - 6 + 23, -k = 3*j - 1. Suppose k*w - 48 = -5*u, 4*w - u = -2*u + 32. Let f be 2/w - (-38)/14. Solve -5*c = f + 17 for c.
-4
Suppose 3*h - 2*l = 1720, -2*h + 1732 = h + l. Let f = -555 + h. Solve 2*y + f = 9*y for y.
3
Suppose h - f + 1 = 2, h + f - 11 = 0. Let k be 26*(-3)/12*(8 - h). Let i be (-2)/k + (-48)/(-26). Solve s + i = 5 for s.
3
Let a(i) = 375*i + 410. Let p be a(-1). Solve -66 = -p*d + 74 for d.
4
Suppose 2*p = -3*p + f + 4244, -5*p + 2*f = -4248. Solve 5*h + p - 823 = 0 for h.
-5
Let f be 4*(3/14)/((-38)/(-133)). Suppose f*v - 4*q - 108 = 0, 5*q = -0 - 15. Solve v = -8*y - 0*y for y.
-4
Suppose 65*g - 100 = 75*g. Let z be 13/65*g/6*-12. Solve -15 = z*s + 1 for s.
-4
Let i(m) = m**2 + 4. Let k be i(0). Suppose 2*p - a = -3*p + 2, 3*p - 5*a = 10. Suppose p = 3*o + 3*t - 60, 4*t - 23 = -3*o + 35. Solve 2 - o = k*j for j.
-5
Let q(w) = w**3 - 14*w*