-4 for u.
4
Let q be 6/5*((-138)/(-9) + 8). Suppose -2*m + 16*m - q = 0. Solve -m*v = -18 + 8 for v.
5
Let v = 649 - 644. Suppose -3 = -3*f + u, -6*u + v = -5*f - u. Solve f*g - 5 = 3 for g.
4
Let y be ((-1635)/9)/(17/(-16 + -35)). Solve -y*w + 8 = -547*w for w.
-4
Let i(j) = -66*j + 896. Let b be i(13). Solve 82 = -30*s - b for s.
-4
Let j be (4 + -4)/((-7)/(-7)). Suppose 25*h = 27*h - 44. Let b = -20 + h. Solve j = v - 7 + b for v.
5
Let l(c) = -3 + c**3 + 8*c - 8 - 6*c**2 + 3. Let w be l(5). Suppose 5*t = 2*r + w, 2 + 4 = -2*t + 3*r. Solve t*a + 0*a = 0 for a.
0
Suppose 4*w - 345 = -3702*t + 3699*t, 5*w = -5*t + 435. Solve -89 = w*a + 5*a for a.
-1
Suppose 15*b - 7 = 8. Let g be (0 - 1) + (-3 - -5). Suppose -6*w + 5*w + g = 0. Solve 2*p + w = -b for p.
-1
Let d = 183 - 181. Let s = 24 + -21. Suppose s*o - 56 = h, -d*o - 2*o - 3*h + 92 = 0. Solve 2*x + o = -2*x for x.
-5
Suppose -4*x = 233 - 281. Suppose -3*d + 9 + 0 = 0. Suppose -d*f - 2*f = 0, -3*f = -2*k + 32. Solve -2*y + x - k = 0 for y.
-2
Let y = 23428 - 23382. Solve -39*l + y*l = 49 for l.
7
Suppose 0 = 2*b - b - 4, 2*h + 3*b - 36 = 0. Suppose 3*k - h = -k. Let x(t) = -t + 4. Let d be x(2). Solve -o + k = d*o for o.
1
Let q(d) = -d**2 - 10*d + 374. Let r be q(-25). Let k(n) be the second derivative of 5*n**4/12 - n**3/3 - n**2/2 + n. Let c be k(r). Solve -v + 3*v = -c for v.
-3
Suppose 3*r = 17 + 400. Let i = 153 - r. Solve 4*l = -2 - i for l.
-4
Let a(h) = -h**2 - 8*h - 16. Let y = -596 + 592. Let r be a(y). Solve r*c = 2*c - 2 for c.
1
Suppose 2037 + 851 = 29*y + 974. Solve -71*x + y*x = -5 for x.
1
Let x(q) = q - 13. Let v be x(16). Suppose -2*f - 8 = -0*f, -w = -f - v. Let j be (1 + (-4 - w))/((-5)/20). Solve -6*n - j = -2*n for n.
-2
Let w(s) = s. Let c be w(1). Suppose 0 = 5*r - j - 135, -2*r = -6*j + 4*j - 54. Suppose r*x - 22*x - 15 = 0. Solve 2*v + x = c for v.
-1
Let x(k) = 14*k + 35. Let j be x(-2). Suppose 0 = j*t + 50*t - 171. Solve 10*p = t*p for p.
0
Let u be ((-13)/(-26)*0)/(-1). Solve u = -5*k + 23*k + 90 for k.
-5
Let j be 5*4/20 + 1. Let t be (34/(-8) - -3)*24/(-1). Let b be ((-6)/9)/((-4)/t). Solve 0 = -j*a + a - b for a.
-5
Suppose 0 = -779*a + 787*a - 16. Suppose -2*c = 43*l - 48*l - 5, -a*l - 5*c + 27 = 0. Solve l = -2*u + u for u.
-1
Suppose -5*j + 29 = 4. Suppose 0 = -j*l + v + 20, 11 + 9 = 5*l + 3*v. Solve 0 = -8*s + l*s for s.
0
Suppose 0 = -17*h + 229 - 1266. Let a(g) = -21*g - 2. Let b be a(3). Let k = h - b. Solve -k*s = -s - 15 for s.
5
Let q(r) = r**2 - 4*r - 8. Let l be q(6). Suppose -i + 4 = 2*t, -2 = -t + l*i - 9*i. Suppose -2*p - t*d + 2 = 0, 4*p - 3 - 1 = -2*d. Solve p = -k + 3 for k.
2
Let n = 26 + -14. Suppose 76 = 4*g - 5*d, -6*g + 7*g + 4*d = -2. Suppose 0 = -2*y - 4*u + g, u = y - 5 + 1. Solve -y*l + l = -n for l.
3
Let w(c) = c**2 + 5*c - 49. Let r(m) = 2*m**2 - 7*m + 8. Let z be r(3). Let t be w(z). Solve 0 = -2*s + 7 - t for s.
3
Let a(u) = u - 7. Let q be a(7). Suppose 0 = -q*g - 22*g. Solve g = -l - 4 - 1 for l.
-5
Let t be (1200/560)/(2/14). Solve 25 = -20*o + t*o for o.
-5
Suppose l = l - 4*l. Suppose -v + 5*v + 60 = c, l = -c + 4. Let o = v + 16. Solve 6*h - 20 = o*h for h.
5
Let g(j) = -27*j + 336. Let z be g(11). Let q = z - 31. Solve q*y + 6 = 2*y for y.
-1
Let s = 3 - 1. Suppose 56 = 2*t + 72. Let w = -4 - t. Solve w*k = s*k + 6 for k.
3
Let h = 9 - 9. Suppose h = -7*i - 17*i + 48. Solve i*x = -x - 12 for x.
-4
Suppose -5*l = 5*s, 0 = -2*s - l - 0*l + 5. Let v = 21 + -17. Suppose -5*x + s = -2*c - 17, v*x = c + 17. Solve 0 = 3*p - x*p - 2 for p.
-2
Let b = 341 - 329. Suppose 164 = b*h + 68. Solve -h = -2*o - 4 for o.
2
Let u be 3 - (-70)/3 - (-1)/(-3). Suppose 108 = 5*z - 4*x, 28*x = 5*z + u*x - 104. Solve -8 = 6*t - z for t.
2
Suppose -4*l + 21 = 5*r, 1 + 22 = 3*r + 5*l. Suppose 0 = -q + 2*u - r - 4, -4*q - u = -25. Solve 13 = -q*b + 38 for b.
5
Suppose 0 = 7*u - 6*u - 4. Suppose -5*q = 3*l - 9*q - u, 2*l - 3*q = 3. Solve -7*a + 5*a = l for a.
0
Let m be 4/3*(-6)/(-4). Suppose 979 = 377*g - 288*g. Solve m*d - 3 + g = 0 for d.
-4
Suppose -7*j + 30 = -2*j. Let x = -7039 - -7043. Solve 0 = x*k - j*k for k.
0
Let p(z) = z**2 - 25*z + 50. Let u(g) = -4*g - 69. Let s be u(-23). Let y be p(s). Suppose -2*r + 26 = -y*k, 0*k = -2*k - 8. Solve 3*d + r = 4*d for d.
5
Suppose 55*z - 314 - 1556 = 0. Solve -z*v - 50 = -44*v for v.
5
Let u be (-9)/1 + (-27937)/(-91). Solve 6 = -u*z + 292*z for z.
-1
Suppose 918 = -3*l - 6*l. Let p = l - -126. Solve -p = 4*i - 4 for i.
-5
Let j(p) = p**3 - 10*p**2 + 9*p - 180. Let g be j(12). Let c be (0 + -4)*g/(-96). Solve -40 = -v - c*v for v.
4
Let l(p) = -55*p - 1277. Let q be l(-24). Solve -2*i = -q + 39 for i.
2
Let m be 3 - ((11 - 6) + -5). Suppose 49 = m*i + 31. Solve 0 = -7*u + 5*u + i for u.
3
Let k(q) = 25*q - 26. Let z be k(-5). Let j = 151 + z. Solve j = 2*r + 10 - 20 for r.
5
Let o = -62 + 104. Suppose 0 = -y + 3*v - 1 - 2, 0 = -4*y - 3*v - o. Let i be y/6 - (-9)/2. Solve -2*l = -i*l + 2 for l.
2
Let b be (-30)/5*(-25)/30. Suppose 4*s = b*x - 17, 0*x + 2*s = -4*x - 2. Solve 0 = 4*n + x - 17 for n.
4
Let z be -2 - (-28 - -30)*37/(-2). Suppose -60 = 5*n - z*n. Let j = 2 + -2. Solve j = n*o - 6 - 0 for o.
3
Let l(o) = o**2 + 13*o - 8. Let x be l(-14). Suppose -6*b - x = -24. Let n be 1/(4/b)*(-10 + 14). Solve n*p + 2 = -7 for p.
-3
Let l(k) = -4*k + 16. Let h be l(3). Suppose 3*g + 7 = h*y, -y + 2*g = -2*y + 10. Suppose -10*q = -y*q. Solve q*j + j = -2 for j.
-2
Let l(x) = x**3 + 39*x**2 - 100*x - 738. Let t be l(-41). Solve t = -131*v + 140*v + 27 for v.
-3
Let s = -221 + 226. Suppose b = -5 + s. Solve 6*w - w + 15 = b for w.
-3
Let o(y) = -10*y - 100. Let b = -116 - -106. Let g be o(b). Solve -3 = -3*r - g for r.
1
Suppose 5*h + 19 = -3*f, f = 4*h - h + 17. Suppose f*n = n. Let q(v) = v**2 + v + 5. Let d be q(n). Solve 0 = d*o + 29 - 9 for o.
-4
Suppose -2*r - 2493 + 2652 = -y, 0 = -3*r - 5*y + 206. Solve -24*c - r = -35*c for c.
7
Suppose 3*r = -5*n + 122 + 69, -45 = -r + 3*n. Solve 58*s = r*s + 4 for s.
4
Let c be ((-237)/(-6))/((18/(-4))/9). Let q = -67 - c. Let z be ((-1)/10 + 27/45)*q. Solve -2*x + 8 = -z*x for x.
-2
Let q(t) = -10*t + 4. Let b(z) = 21*z - 9. Let o(c) = -2*b(c) - 5*q(c). Let k be o(1). Suppose 62 = 9*w + 35. Solve -k*i = -w*i - 6 for i.
2
Let n(j) be the first derivative of j**3/3 - j**2 - 3*j - 15. Suppose 42 = 19*o - 15. Let l be n(o). Solve l*p - 4 = 2*p for p.
-2
Let t(i) = -1782*i - 6722. Let w be t(-4). Solve 96*d - w + 22 = 0 for d.
4
Let i = -6 - -8. Suppose -8 + 28 = 4*d. Suppose 0 = -i*k + d*k + 3*f - 9, 4*k - f = 2. Solve -2*w - 5 + k = 0 for w.
-2
Suppose -2*k + 20 = -2*q, q = -5*k - q + 15. Suppose -2*g = -4*n + 2, 3*g + 2 + 0 = k*n. Suppose 4*b = -3*v + v + 12, -8 = -4*v. Solve 3*a + b = -n for a.
-1
Let n be (-15)/5 - -3 - -9. Let q(p) = -p**2 + 2*p + 19. Let j be q(n). Let f = -31 - j. Solve -5*c + 7 + f = 0 for c.
4
Let u = -2461 + 2474. Solve u*t + 15 + 24 = 0 for t.
-3
Suppose -2*a - 31 = -3*h, 2*h + 16 = -5*a - 14. Let x be 10/6 + a/(-24). Let w be (-158)/(-13) - (-8)/(-52). Solve 2*o = -x*o + w for o.
3
Suppose 209*b = 213*b - 4*r - 436, 3*r + 6 = 0. Solve 19*a = -b - 26 for a.
-7
Let a = -12705 + 12936. Solve -27*t = 15 - a for t.
8
Suppose 3*o - 14 = -5*u, -8*u + 7*u - 5 = -2*o. Let p(i) = -i**2 + 6*i - 7. Let z be p(o). Suppose l = 6*l - 10. Solve -w = -l*w - z for w.
-2
Suppose 36*k + 14 = 194. Suppose k*w = 22 - 7. Solve -w*j - 3 - 6 = 0 for j.
-3
Let a be 0/((-23)/((-299)/91)). Solve a = -2*s - 206 + 212 for s.
3
Let v = 27 - 24. Let p be 7/(42/18) - v. Solve p = a - 1 - 4 for a.
5
Let z = -267 - -286. Solve -a - z = -20*a for a.
1
Let a(g) = g**3 - 25*g**2 - 49*g + 24. Let u be a(27). Solve -j + u - 165 = 0 for j.
-6
Suppose 0 = 6*w - 132 + 66. Let j(a) = -3*a**2 - 3*a. Let v be j(0). Solve v = w*c - 6*c - 5 for c.
1
Let j be 88/(-770)*(-15)/2*(3 - (-3 - 1)). Let i(n) = -n + 4. Let z be i(4). Solve -j*c + 0*c - 12 = z for c.
-2
Suppose 19 + 181 = 5*k. Let n be -3 + 430/k + 2/8. Solve -11 = -h - n for h.
3
Suppose -5*a + 50 = 5*n, n = 8*a - 10*a + 13. Solve -14*h = -13*h - n for h.
7
Suppose -49 = 15*h - 178 - 66. Solve 8*k = h*k + 25 for k.
-5
Suppose 2*o = -6, -k - o - 3 = -5*o. Let z = k + 22. Let t be ((-10)/6)/(2 + z/(-3)). Solve l = t*l fo