 -q + 16 for q.
1
Let q(b) = -4*b - 6. Let r be q(-2). Suppose r*k - 4*i - 8 = 0, 0 = -5*i - 7 + 27. Solve -k = -2*j - y, -y - 3*y = 3*j - 23 for j.
5
Suppose -5*o = i - 4*o - 45, 0 = 2*i - o - 87. Let u = 62 - i. Solve -3*g + 19 = -5*n, -g - u = 3*n - 5*g for n.
-2
Suppose 0 = 4*n + 32 - 16, -n = 4*d - 12. Solve -8 = 2*t, -2*o + d*t = -11 + 1 for o.
-3
Let w be (-10 + 1)*-1 + 1. Let h = 369 - 356. Let u = h - w. Solve 4 = 2*k + u*f, -2*f - 5 - 1 = -3*k for k.
2
Suppose -t - 2*t = 0. Let d be (t + -3 + 2)*6. Let f be (21/(-2))/(d/12). Solve 2*y + 3 = -7, 2*m = 3*y + f for m.
3
Suppose q + 2*z - 4 = 0, 0 = -2*q - 2*q - 2*z + 16. Solve 17 = 3*w + q*c, 2*w - 3*c - c + 2 = 0 for w.
3
Let o be (0 + (162/(-48) - -3))*-8. Solve 5*i - 18 = -0*v + 3*v, o*v - 4*i + 15 = 0 for v.
-1
Suppose -22*h = -64 + 42. Solve 2*k = -5*r + 20, -3*r - 2*k = -3*k - h for r.
2
Let j = -38 - -42. Suppose -14*h + j = -12*h. Solve -2*a - 2*z = -0*z + 12, -5*z = h*a + 27 for a.
-1
Let h be (12/(-18))/(2/(-6)). Suppose w - h = 2*r, -3*w + 5*r - 2*r = 0. Let q be (35/14)/((-1)/w). Solve -2*o + q*x = 10, -17 = 5*o - 5*x + 8 for o.
-5
Let y(b) = b**2 + 6*b + 4. Let l be y(-6). Suppose -4 = 4*q + n, 6*q - 3*q - n - l = 0. Solve -2*o = x + 5, 5*x - 19 + q = o for o.
-4
Suppose 0 = -2*f + 3*f - 9. Let x = f - 18. Let t(q) = -q - 6. Let l be t(x). Solve 0 = b - 4*b - 3*d - 18, 6 = l*b - 3*d for b.
-2
Suppose 4*v = 9 + 19. Let g(n) = -n + 0*n - v - n + n. Let h be g(-10). Solve 3*m = b, 0*b + 4*m + 5 = h*b for b.
3
Let t = -13 - -21. Suppose 20 = 5*j, 3*j - t*j + 12 = -s. Solve -2*g = -2*x + s, 3*g - 4*x = 7*g for g.
-2
Let k be (-1 - 3 - -1)*(-16)/12. Solve 0 = 5*z + 2*q + 33, -q = -k*z - 16 for z.
-5
Let o = -44 - -59. Solve -5*t = -4*y - o, -t - 8 = 5*y + 18 for y.
-5
Let a(o) = -8*o + 456. Let d be a(55). Solve 5*r + d = 2*z, 0*z + 2*z + 2 = -4*r for z.
3
Suppose 16 = 1166*p - 1158*p. Solve 4*v = b - p, -3*b - 5*v - 13 = b for b.
-2
Let x = -146 + 150. Solve x*t = 3*b + 20, 7*t + 3*b + 2 = 2*t for t.
2
Suppose 15*v + 150 = 195. Solve 3*i + 13 = 2*n, -2*n - 2*i + 1 = v for n.
2
Suppose 5*v + 84 = -76. Let b = v + 120. Suppose -110 = -2*m - 3*m - 3*x, b = 4*m - x. Solve -2*u - 3 - 5 = 0, 0 = 2*z + 3*u + m for z.
-5
Let g = 237 + -233. Solve g*f + 4 = 5*d, 3*f = -3*d + 6*d - 3 for d.
0
Suppose -24*u + 729 = -15*u. Let j = 86 - u. Solve -5*r - 18 = -a, 0*a + j*a = 15 for r.
-3
Let d be 8*7/28 - -1. Solve -5*i + d*c + 0*c - 19 = 0, 2*i = -3*c + 5 for i.
-2
Let x(f) = -3*f - 24. Let l be x(-8). Suppose l*r + 4*r = 8. Solve 0 = 3*h - 4*q + 7, -r*h + 1 = 5*q - 2 for h.
-1
Let k(m) = 30*m - 88. Let v be k(3). Solve 0*i + 5*i + 32 = -4*x, -v*x - 14 = 2*i for x.
-3
Let a = 138 - 110. Solve 0 = -3*k - k - 8, -5*r + 4*k = -a for r.
4
Suppose 2*v = s + 9, -s - 16 = -3*v + 3*s. Suppose -22*i + 50*i = 22*i. Solve -c + i*c - 4*b = 10, -3*c + v = -5*b for c.
-2
Let m be (4/(-3))/(2/(-12)). Suppose 6*x - m = 2*x. Solve 3*k = -4*n - 16, -x*n + 0*k = k + 8 for n.
-4
Suppose -110*k - 4 = -112*k. Solve 4*d + 6 = -2*z, 4*z + 3 + k = -d for z.
-1
Suppose 183 = -4*o - 321. Let z be (-9)/(o/104) + (-8)/(-14). Solve 3*w = c - z, -8 = -w + 2*w - 3*c for w.
-2
Suppose 2*k = 3*k - z - 5, -3*k + 5*z = -15. Let x be 1/4 - 39/(-4). Let y = x - k. Solve -5*u = -5*h + 15, -y*u - 10 = -2*h + 5 for u.
-3
Let u(k) = k - k + 12 - 5*k + 6*k. Let z be u(15). Solve r = -5*i - 6 + z, 3*r = 3*i - 27 for r.
-4
Let i(q) = 8*q - 6. Let c be i(2). Solve v = 5*x + 5, -c = -x - 4*v + 2*v for x.
0
Let v(m) = -m - 1. Let k(u) = -u - 1. Let r(q) = -2*k(q) + v(q). Let a be r(1). Let o be 0 - (a + -8)*1. Solve -o - 2 = -4*f, -3*p + 2*f = 1 for p.
1
Suppose -192 = -49*w - 15*w. Solve o - w*o = -2*z - 2, 2*z - o = 1 for z.
2
Let j(l) be the first derivative of 5*l**4/4 - l**2/2 + 7. Let f be j(1). Solve 5*v - f*x + 12 = -19, 2*x + 7 = -5*v for v.
-3
Suppose 12 = 4*k - 4*v - 24, 3*k - 2 = -2*v. Solve 5*d - 3*h = -h - 25, -10 = 2*d + k*h for d.
-5
Suppose -7 + 39 = 8*i. Suppose -i = n - 2, 3*m = -5*n - 10. Solve -3*u = -0*f + 2*f + 23, -4*u - 20 = m for f.
-4
Let c(k) be the second derivative of k**5/20 - k**3/6 + 2*k**2 - 3*k. Let s be c(-3). Let w be (-12)/s*10/2. Solve -p + 3 + 2 = 0, -p = w*m - 2 for m.
-1
Let b(d) = -19*d**2 + 345*d - 32. Let r be b(18). Solve 2*v = 0, -5*l - r + 7 = 4*v for l.
-3
Let o(y) = -10*y**3 + 11*y - 13 + 8*y**2 + 2*y**3 + 7*y**3. Let s be o(9). Let i(b) = b + 1. Let q be i(13). Solve -s*f - 5*v - 10 = 0, -q = 3*v - 5 for f.
1
Suppose -f - 3*f = 0. Suppose f = -2*a - 10, -4*n + 2*n = -4*a - 64. Suppose -w - r = -25 + 15, 4*w + 2*r = 44. Solve 4*z - w = 0, -n = 5*g - 0*z + z for g.
-5
Suppose 0 = -4*t - 4 - 4. Suppose -5 = -2*l + 11. Let b be (-4)/l*(-4 - t). Solve 4*g + 7 = 3*a - b, -a + 8 = 4*g for g.
1
Suppose -8*s + 4*g + 30 = -3*s, -s + 7 = -g. Let n(j) = 3 - 5*j**2 + 3*j**s - 6*j + j**2 - 1. Let d be n(-6). Solve 0*r + 6 = d*f + 4*r, 5*r = -4*f for f.
-5
Suppose -4*s - 46 = 5*q, -2*s + 2*q - 6 = 8. Let o = 12 + s. Solve o*r - 5*i - 26 = 8, -3*r + 4 = i for r.
3
Suppose -5*l - 2*v = -56, 12 = 4*l + v - 31. Solve -25 = -5*w + 4*n, 2*w + 0*w - l = -2*n for w.
5
Let r be (3/42 - 3/(-7))*0. Let f(u) = 4*u**2 - 6*u - 1. Let g be f(2). Solve 0*w + 4*w - g*h + 2 = r, -3*w + 5*h = -4 for w.
-2
Let b(m) = -m + 47. Let s be b(47). Solve x - 2*x + 4*a = 0, x + 3*a + 7 = s for x.
-4
Suppose -2*c = -3*v - 6, -5*v + 12 = 3*c + 22. Solve a + 8*d - 4*d + 20 = c, d = -5 for a.
0
Let k be (-2 + 3/2)*-4. Let n = 184 - 163. Suppose k*a - 5*v + 21 = 4*a, 0 = -5*a - 2*v + n. Solve a*c - d + 5 - 4 = 0, 0 = -5*d - 25 for c.
-2
Let s = 306 - 301. Solve 5*x = 5*l - 30, s*x + 18 = 4*l - 11 for x.
-5
Let a be (-3708)/(-252) - (-4)/(-42)*-3. Solve -3*x = 4*r - x + 10, 0 = -2*r + x - a for r.
-5
Let n be 8/(-8) - (-36)/6. Solve n*j + 0 = 4*y + 5, 3*j - 15 = 0 for y.
5
Suppose -5*w = -y, -5*w - 3*y = -6*y. Suppose t + 10 - 18 = w. Solve 10*q - 5*q = 4*z + 4, -t = -4*z + 2*q for z.
4
Let l(u) = -u**3 - 8*u**2 + 5*u - 15. Let k be l(-9). Solve -5*i = -3*f - 13, f + i - k = -3*f for f.
4
Let z(i) = -i**2 + 9*i - 1. Let o be z(8). Suppose -3*q + o = 1. Solve -l = -2*y + q, 9 = 4*l + 4*y + 29 for l.
-4
Let y be 0 + 5*-2*-2. Let j be (-4)/y - (-5)/25. Let r = 3 + j. Solve s + 0*w + w = -7, -2*s - r*w = 19 for s.
-2
Suppose 6*z + 3*z + 36 = 0. Let u(l) = -2*l - 9. Let g(a) = -2*a - 10. Let d(n) = -4*g(n) + 5*u(n). Let p be d(z). Solve -4*i - 4*x = 13 + p, 10 = -5*x for i.
-2
Let t(d) = d**2 - 7*d - 3. Let p be t(9). Suppose -6*c - p = -c - 3*l, -3*c - 20 = -4*l. Let j = -7 - -11. Solve -3*f - 4*i = -2*i + 22, c = j*f + i + 21 for f.
-4
Let l be (108/(-72))/(((-15)/6)/5). Solve 2*i = 5*w + 26, 2*w - l*i + 21 = -w for w.
-4
Let l(y) = -4*y + 3. Let m be l(2). Let o(w) = w**3 + 7*w**2 - w + 18*w - 3 - 3*w - 9*w. Let g be o(m). Solve -5*j = s - 2 - g, -4*s = -16 for j.
4
Suppose 0 = -8*p - 2*p + 14*p. Solve p*j = s + j + 6, -4*s - 18 = -2*j for s.
-5
Suppose -32*t = -30*t. Suppose 6*o - 13 + 1 = t. Solve 5*x + 1 = -q - 1, 1 = q + o*x for q.
3
Let y = -7 - -10. Suppose 3*q - 19 = z, -12 = 5*q - 2*z - 44. Suppose -3*v - 3*l + q = -9, -4*l = 0. Solve -v*m - 15 = 0, y = -w + m + 6 for w.
0
Let n(a) = -a**3 - 2*a**2 + a - 4. Let u be n(-4). Suppose -2*k - 24 = -u. Solve k = -2*y - 4*q + 8, -4*y = 5*q - 2*q - 1 for y.
-2
Let o(w) = -3*w**2 - 6*w + 6. Let m be o(-6). Let h = 78 + m. Solve 5*d - i = 20, -i - 2*i = -3*d + h for d.
4
Let v be (-3)/(-2) + (-502)/(-4). Let l = v + -82. Suppose 2*n - l = -n. Solve 3*b - 4*x + n = 0, 0 = 2*b - 2*x + 3*x - 1 for b.
-1
Let f = 21 - 21. Solve -u = f, r - 5*r = -u for r.
0
Let y = -3004 - -3004. Solve -2*o - w + 3 + 2 = 0, -4*w + 20 = y for o.
0
Suppose -2*p + 1 = -5. Let w = 1360 - 1357. Solve -g = p*x - 8 - 11, w*g + 5*x = 37 for g.
4
Let y = -188 - -193. Solve -2*d = -4*a - 5*d - 12, y*d = 4*a - 20 for a.
0
Let s(x) = -3*x**2 - 61*x - 17. Let z be s(-20). Solve 0 = -b - z*c + 16, 2*c - 20 = -5*b - 5 for b.
1
Let q be (-3)/6 + (-95)/(-10). Suppose q + 9 = m. Let x = 23 - m. Solve -5*k + 1 = -d - d, x*d - k + 14 = 0 for d.
-3
Let t be (-24)/((-30)/(-5)) + 30/5. Solve -16 = -f - t*j - 2*j, 12 = 2*f + 3*j for f.
0
Let b(i) = 225*i**3 + 3 + 22*i - 226*i**3 - 7*i + 5*i**2. Let a be b(7). Solve -5*c - a = h, -4