= 4*q + 13 for w.
-1
Suppose 0*z = -z + 4. Let c be (3/z)/(-3 + (-52)/(-16)). Solve k - 5 = 2*g + c, 5*k = -5*g - 5 for k.
2
Let d(h) be the first derivative of h**2/2 + h - 13. Let p be d(4). Solve 0*k + z - p = -4*k, z = 3*k - 9 for k.
2
Let r(p) = -p**3 + 2*p**2 + 4*p - 6. Suppose 26 = 10*d + 6. Let i be r(d). Solve 2*v - 2*b - i*b = -16, 3*v + 5*b = 9 for v.
-2
Let j be (-1 - -3)/((-9)/(-396)). Suppose -91*i = -j*i - 12. Solve 4*x - 5*a + 4 = -2, i*x - 2*a = 0 for x.
1
Suppose 27*i = 30*i - 12. Suppose 7*l = -i*h + 3*l, 4*l = h. Solve -2*g + 3*g - t - 1 = h, 4*t - 11 = -g for g.
3
Let b(c) = c**2 + 182*c + 732. Let f be b(-4). Let h be 8/2*(0 + 3). Solve h = -0*n + 4*n - 2*v, -f = -4*n - 2*v for n.
4
Let c(p) = p**3 - 9*p**2 - 11*p + 13. Let d(y) = -y**2 - y + 1. Let i(f) = c(f) + 4*d(f). Let a be i(14). Solve 5*s - 3*b = -0*s - 8, 1 = 2*s + a*b for s.
-1
Let t = -33 - -28. Let k(r) = -r**2 - 10*r - 7. Let h be k(t). Solve n - 26 = 5*j, -3*n + h = -j - 2*j for j.
-5
Let g(v) = 69*v - 412. Let j be g(6). Solve 2*t + 3*t - 23 = j*i, -4*i = 16 for t.
3
Suppose -3*q = 15, -g - 2*q = -7*q - 25. Let a be (-2)/4*g/(-3 - 2). Solve -3*c = -a*c - s + 9, 6 = 2*s for c.
-2
Let b(z) = 2*z - 7. Suppose -2*j + 13 = -23. Let n be 30/(-9)*j/(-12). Let l be b(n). Solve a = -1, l*u = u - 2*a + 4 for u.
3
Let t(z) = -2*z - 6*z**2 - 5 - z - z**3 - 4*z. Let h be t(-5). Suppose -2*n + 2 = 4*u - 18, 26 = 4*n + u. Solve -3*w = h*i - 15, -5*i + n = -3*i + w for i.
3
Suppose -5*x - 5*w + 405 = 0, -172 = -2*x - 6*w + 2*w. Let o = 78 - x. Solve -5*p + 3*d = -1 - o, 4*p + 5*d + 5 = 0 for p.
0
Suppose -3 = -w + 1. Suppose 2*u - 22 - 36 = 0. Let v = u - 21. Solve -k = -4*b + 3*k + w, -3*b = -4*k - v for b.
-4
Let z(b) = -b**3 + 29*b**2 - 2*b + 66. Let r be z(29). Solve 4*g - r = -4*s, 0 = -4*g + 2*s + s + 8 for g.
2
Let z be 1*9 + 17 + -19. Solve -q - q - 2*s = -4, -4*s - z = q for q.
5
Let i be 3/9 - (-2)/3. Suppose 4*k + 10 = 2*p, -4*k - i + 0 = p. Solve 3*l + 5*m - 12 = 0, -5*l = m + p*m - 20 for l.
4
Let t(n) = n**3 - 3*n**2 + 3*n. Let a be t(2). Let p = -101 + 107. Solve 21 = -4*z - g, -6*g + a*g = -2*z - p for z.
-5
Let v = 159 + -157. Solve -g - 12 = -6*g - 2*w, 0 = v*g + 2*w for g.
4
Let f(u) = -3*u + 24. Let j be f(7). Solve 0 = -4*m - j*c - 0*c - 6, 0 = -3*m - 2*c - 4 for m.
0
Suppose -b - 417 = -421. Solve b*y - 4 = 2*q, 4*y - 4 = 4*q + 4 for y.
0
Suppose 5*y - 2*g - 740 = 0, -3*y + 5*y - 312 = 4*g. Let h = y - 144. Solve -1 = h*m - 3, 0 = -3*a - m - 2 for a.
-1
Let x = 47 + -40. Suppose x*k = -k. Solve 4*m - 6*m + 4*f + 12 = 0, -m + 4*f + 16 = k for m.
-4
Let x = 30 + -20. Let f(j) = j - 8. Let l be f(x). Solve l - 1 = n, -o - 4*n - 1 = 0 for o.
-5
Let u = 23 - 16. Let w be 20/(-30)*(-1 + 2 - u). Solve -2*p = -3*l - 6, l - 2*l - w*p = -12 for l.
0
Suppose -8 = -22*m + 20*m. Suppose 7 - 27 = -m*a. Solve p + 27 = a*q, -5*q + 29 = -2*p - 0*q for p.
-2
Let q be 64 - 28/(-6)*12/(-14). Let s = q + -55. Solve -5*w - 2*g = 15, 3*w + 2*w - s*g = -15 for w.
-3
Suppose -246 + 86 = -40*x. Solve -2*v = -z - 9, 2 + 6 = 3*v + x*z for v.
4
Let z(g) = -g**2 - 8*g - 2. Let p be z(-2). Let b be 3/((-25)/p + 4). Solve -3*k + 3*l = -21, 2*l - 5 = -b*k + l for k.
4
Let v(j) = j**3 - 11*j**2 + 11*j - 6. Let g(c) = 3*c + 1. Let u be g(3). Let y be v(u). Solve -o = -x - 2*x + 6, -3*o - 3 = -y*x for o.
3
Let j(u) = -u**3 - 7*u**2 + 2*u + 4. Let k be j(-5). Let m be k/(-12) - 2/(-6). Suppose -4*y + m = -15. Solve 3*w - y*r = -13, -2 = -4*w + r - 8 for w.
-1
Let x(i) = -i**3 - 18*i**2 + 5. Let y be x(-18). Solve -y*w = -4*w - 3, -c + 17 = 4*w for c.
5
Suppose -12 - 8 = -5*k. Suppose 6*o - k*o - 57 = 5*s, o - 3*s - 31 = 0. Let m = 277 - 273. Solve m*u + 3*t = 3*u + 4, -4*t - o = -4*u for u.
4
Suppose -19*z - 80 = -23*z. Solve 7*s - z = 9*s + 4*d, 25 = 4*s - 5*d for s.
0
Suppose -k = 5*x - 3 - 4, -5*k - 2*x + 127 = 0. Let n = -24 + k. Solve 2*a + 13 = n*c, a + 3*c = 2*c + 6 for a.
1
Let f be (5 - 4 - -5)*(-2)/(-6). Solve -3*l - 3 = 3*c, 4*c - f*l = 2*l + 12 for c.
1
Let q(z) = 3*z**2 + 54*z - 53. Let k be q(-19). Solve 4*c + k*w - 7 = 25, -4*w = -12 for c.
5
Suppose 0 = h - 12*h + 165. Suppose 0 = 3*w - h - 6. Solve 23 = c + 2*p - w*p, -4*c + 3*p + 7 = 0 for c.
-2
Let a = 53 - 62. Let l be (-148)/(-5) - a/(90/4). Solve 5*h - 4*k = -k - l, 3*h - 2*k + 19 = 0 for h.
-3
Let z(u) = -4*u**2 + 76*u - 46. Let d be z(18). Solve 0 = 3*t - 4*i + 3, t - 2*i - d = 5*t for t.
-5
Suppose -85*r = -104*r. Solve -5*h + 45 = -5*t, -2*t + 2*h - 5*h + 7 = r for t.
-4
Suppose -2*a - 4*m + 20 = 0, 0 = 4*a - 2*m - 4 - 6. Suppose 0 = -b - a*b + 5. Solve 0 = -d + 2*c - 6 + 1, -5*d + 4*c = b for d.
3
Let r(u) = 2*u + 36. Let h be r(-8). Let c be (36/h - 1)/((-4)/(-10)). Solve -2*p + 3*s + 14 = -6*p, -c = -4*p + 5*s for p.
-2
Suppose -5*y + 2*j + 72 = 6*j, 0 = -2*y - 3*j + 33. Let m be (-4)/6*y/(-8). Let w be 0/(-23)*(3 + -2)/2. Solve i + m = 0, 3*b + 5*i + 20 = -w*b for b.
-5
Let d(k) = 7*k**2 + 2*k - 1. Let h be d(-1). Solve -5*r + 2*m - 6*m - 20 = 0, -h*r - 4*m - 20 = 0 for r.
0
Suppose 8 - 2 = u. Let t be ((-64)/(-24))/(4/u). Suppose -t*s + 3*f = -20, -3*s - 3 = 4*f - 18. Solve 0 = -2*v - s*o - 21, 2*o = 5*v - 0*v - 20 for v.
2
Let o(s) = -2*s**2 + 32*s + 74. Let u be o(18). Solve 0 = -7*t + 2*t + 4*x + 12, 0 = -4*t + u*x + 6 for t.
0
Suppose -20 = -5*m - 5*a, -a - 4 = -4*m + 12. Solve -12 = -3*t, 9*g - 4*g + m*t = -9 for g.
-5
Let d = 4 + 1. Suppose 0 = -4*l - 2*u + 38, -4*l - d*u - 6 = -47. Solve -2*f + l = -3*q, -2*q - 4 = -2*f + 2 for f.
0
Let h(l) = -44*l - 42. Let b be h(-1). Solve 0 = 3*i + 2*m, b*i + 0*m = -2*m - 2 for i.
2
Suppose -245 = -5*k + 10. Let p be k/2*4/6. Solve -3*w - x = p, 2*w = 2*x - 3 - 3 for w.
-5
Let h be -1 + (-567)/(-30) + 3/30. Solve -2*p - 5*q = -6*p - 35, -3*p + q - h = 0 for p.
-5
Suppose 2*f - 60 = 2*v, 3*f - 106 = -4*v - v. Suppose 3*p - f = 16. Let l = 1 - -3. Solve 5*s - 4 + 40 = l*y, y + 5*s = -p for y.
4
Let u be (-45)/(-55) + 8/44. Let x be (2/(-5))/(1/(-5)). Let t be u/((8/20)/x). Solve -15 = 5*g - t*v, 4*g - 3 = 3*v - 12 for g.
0
Let x = 16 + -16. Let z be -1*(-8 - 3/3). Let k be (z/12)/(3/12). Solve 3*c = u + u, x = 3*c - k*u for c.
0
Suppose 5*a - 101 = -91. Solve k - 4*w = 7, -4*w - 2 = -a*w for k.
3
Let h be 4/(-10) - 118/(-295). Solve -4*i + m + 19 = h, -3*m + m = 6 for i.
4
Let t = 5 - -11. Suppose t = -4*m - 3*q, m + 5 = 4*q - 18. Let v(z) = z**3 + 6*z**2 - 7*z + 3. Let c be v(m). Solve 3*h - 4*g = -g - 6, -c*h - 5*g = -18 for h.
1
Let y(t) = 4*t + 3. Let d be y(-2). Let m = -1 - d. Suppose m*z + 9 = 7*z. Solve -z*s - 1 = 2*x - 4, -2*x = -5*s - 11 for x.
3
Let y be -2 + 3 + (-2 - -26). Let c = 20 - y. Let d be (-8)/c - (-2)/5. Solve -3*t = -3*w + 6, -5*w + 6 = -d*t - 1 for t.
-1
Let p be (44/(-55))/((-2)/15). Suppose 12 = p*t - 0*t. Solve 5*d = 0, 5*k + 0*d - 15 = t*d for k.
3
Suppose -2*h - 5*s = -105, 16*h + s = 12*h + 183. Solve h = 5*x + 5*o, 3*o = 7*o - 20 for x.
4
Suppose -5*t + 24 = m, 0 = t - 4*m - m + 16. Solve 20 = -5*r + t*g, -r - g + 0*g = -5 for r.
0
Suppose 2*a = 7*a - 60. Let b(x) = x + 11. Let j be b(-7). Suppose -13 = 2*l - 5*l + q, l = -j*q. Solve -g = -l*m + a, 4 = 2*m - g - 0*g for m.
4
Let b(m) = m**2 - 2. Let o be b(2). Suppose -o*v = v. Let s be v*(0 - (-1)/(-3)). Solve -3*r = -4*d + 9 - 23, -2*d - 2*r = s for d.
-2
Let j(i) = -11*i - 26. Let b(f) = -4*f - 9. Let d(z) = 8*b(z) - 3*j(z). Let t be d(-3). Solve -3*q = q + 2*w + 6, t*w - 3 = -2*q for q.
-3
Let r be ((-6)/(-4))/(126/420). Solve -r*q = 5*f, -f + 7 + 2 = -2*q for f.
3
Suppose -47*q + 128 = -107. Solve -4*b + 5*o = 7*o - 8, 5*b - q*o + 5 = 0 for b.
1
Suppose 0*f + 15 = -f. Let g be ((-24)/f - -3) + (-2)/(-5). Suppose -5*c - 2*r = 3 + 5, 2*r + 8 = 3*c. Solve -2*k + 2*v + 2*v + 14 = c, 5*v + 25 = g*k for k.
3
Let n be (-4)/(-24) - (-1)/(-6)*-17. Let b be (8/n)/((-28)/(-42)). Solve -14 = -3*i - 0*w - 2*w, b*w = i for i.
4
Let l = 210 + -205. Solve -d = -o - 3, 0*d = -l*d - 4*o - 30 for d.
-2
Let g be 68/(-272) + ((-26)/8)/(-1). Solve -2 = 4*z - 2*t, 30 = -6*z + z - g*t for z.
-3
Suppose -12 = 3*u, 16*d = 11*d - u + 1. Suppose -2*c - 15 = -3*b, 0 = c + 1 + 2. Solve -f - 4 = l + d, 0 = -f + b*l + 3 for f.
-3
Suppose 5*g = -3*m + 57, -7 = 4*g + 5. Suppose -f + 7*f = m. Solve 0 = -5*n