4*q - i for q.
-3
Let w(x) = -x**3 + 3*x**2 + 2. Let h be w(3). Let y be (8/6)/h*3. Solve 10 = 5*f + 2*i - 3, y*f = -3*i + 14 for f.
1
Let a be ((-27)/(-6))/3*10. Let o = a + -11. Suppose 22 + 0 = -u + 5*i, 17 = o*u + i. Solve 3*r = -v - 8, -3*r + 20 = u*v - 5*r for v.
4
Suppose -g = -2*g + 2. Let f be -2 - ((2 - 11) + -2). Suppose x - 2*n = 9, -x + 2*x + 4*n = -f. Solve g*u + 3 = r, -r - 2*r - x = -2*u for u.
-3
Let u = 5 + -2. Suppose 0 = -u*w - 2*w. Let s = w - -3. Solve -16 = s*p - 2*o, p + 3*o = 5*o - 12 for p.
-2
Suppose 8 = 4*q - 36. Suppose 5*t + q - 31 = 0. Suppose -15 = -2*x - x, -2*g = 4*x - 30. Solve -g = -4*p - t*h + 11, -p = -3*h + 12 for p.
0
Suppose 5*c + 4*t = 51, t = c + 5*t - 23. Let z = c + -5. Let s = z + 0. Solve 3*r - 6 = s*r + 3*d, 3*r + d + 2 = 0 for r.
0
Let n = 2 + 4. Let w = -16 - -33. Let p = w + -7. Solve n = -2*r + 4*x, 2*r + 2*x = -2 - p for r.
-5
Let t(i) = 9 - 6*i - i - 2*i**2 + i**2. Let j be t(-8). Solve 2*q + j = 2*w - 3*w, 4*q + 23 = 5*w for w.
3
Suppose 5 = 5*g, 66 = 6*x - 2*x + 2*g. Suppose z - x = -3*z + 4*r, -3*z = -r - 8. Solve -n - 6 = 2*d, -z*d - n - 4*n = 6 for d.
-3
Let p(v) = v**2 + 2*v. Let x = -2 - 1. Let k be p(x). Solve r - 2*t = -5, 0 = -k*r + 2*r - t + 1 for r.
-1
Suppose -4*f = -2 - 10. Solve -5*j = -15, 4*j - 2 = f*b + 10 for b.
0
Suppose 0 = w - 5*w + 4*j - 4, -w - 5*j + 29 = 0. Let t be 2*(4/(-8) + -1). Let z be 12/36 + 1/t. Solve z*m - 3*m - i = -1, -w*m + 3 = 3*i for m.
0
Let l = -1 + 6. Suppose -5*b + 25 = 0, 0 = l*u - 2*b - 2 - 3. Let k be 2 - 2 - (u + -16). Solve 2 = 2*a - 2*m, -2*m = 3*a - 0*m - k for a.
3
Suppose -t + 4*j + 44 = 0, 0 = 4*t + 2*j + 2*j - 76. Solve 4*d + 0*d = -5*f - 36, 2*f = -4*d - t for f.
-4
Let i(g) = -g**2 - 6*g + 9. Let l be i(-7). Suppose 3*f - 5*a - l = 7*f, -8 = 4*a. Solve -5*m = -4*m - 4*k - 4, 4*m + f*k = -2 for m.
0
Suppose 3*z - 16 = -z. Suppose -n = -z*n. Solve n = 3*j - 12, 0 = -p - 2*j + 3 + 3 for p.
-2
Let k = -16 - -18. Suppose -k*y - 8 = -6*y. Solve -11 = -2*h - 3*u, 5*u + 0*u = y*h + 29 for h.
-2
Let i = -42 - -45. Solve 2*r - 16 = 4*u, -5*r - 23 = i*u - r for u.
-5
Suppose 5*q - 7*q + 10 = 0. Let t(k) = k + 3. Let u be t(q). Let y(i) = i**2 - 6*i - 2. Let d be y(7). Solve -1 = -d*a - 2*p + 3, 4*p = -2*a - u for a.
2
Let b = 37 + -31. Solve -2*d - w + 7 = 0, -5*d + b + 31 = -4*w for d.
5
Let h = 186 + -102. Suppose v + h = 4*v. Solve -k + 6 - v = -4*r, 0 = r - k - 7 for r.
5
Let i be (-1*(2 - 12))/2. Solve b - i*b - 6 = -2*c, -5*b = 0 for c.
3
Let j = 21 + -19. Solve j*r - 2 - 19 = 5*s, -3*s + 4*r = 7 for s.
-5
Let k be (0 + -1)/((-2)/32). Solve -4*y - 24 = 4*h - 0*h, -2*y - 3*h - k = 0 for y.
-2
Let l = -40 - -52. Solve -b + 0*b + 3*g - 9 = 0, -b + l = 4*g for b.
0
Let z = -24 + 33. Solve -3*v = -w + 3 + z, 0 = -3*v + 5*w for v.
-5
Suppose 0 = v + v. Suppose 0*p + 3*p = v. Solve p = -5*n - 15, 4*z = z - n + 9 for z.
4
Suppose 0*c + 6 = 3*c. Suppose 0 = c*d - 0*d. Solve d = -5*f - 2*t + 3*t - 6, 4*t = -2*f + 2 for f.
-1
Let w(v) = -v - 4. Let i(o) = o**3 + 12*o**2 - 13*o - 7. Let x be i(-13). Let l be w(x). Solve r - u = -0*u, 0 = l*u - 15 for r.
5
Suppose 0 = -w + 4*l + 16, 2*w + 3*l - 23 = w. Solve -c = -v - 3, c = -3*c - 4*v + w for c.
4
Suppose 4*h + 12 = 10*h. Solve -2*a - 31 = h*a + 3*l, -l = 2*a + 13 for a.
-4
Suppose -4*x - w + 15 = 0, 2*w = -6 - 4. Solve -s - 3*s - 16 = -4*t, 0 = s - x*t + 12 for s.
-2
Let b(r) = -4*r**3 + r**2 - 2. Let m be b(-1). Suppose 0 = 2*h - 4*s, 3 = h - 0*s + s. Let g = h + -2. Solve v - 7 = -g*u - m*u, -2 = 4*v - 3*u for v.
1
Let m be ((-4)/8)/(1/(-8)). Let i be -2 + m - (-8)/(-4). Solve p - 13 = 3*b - 0*p, i = b - p + 3 for b.
-5
Let x = 7 - 13. Let m be (-28)/x + 8/(-12). Solve w = m*k + 11, 2*k - 4*w + 8 + 8 = 0 for k.
-2
Let w be 1*((-40)/(-5) - 6). Suppose t - 3*t - 6 = 2*m, 10 = -2*m. Solve -12 = t*c - 2*r - 2, -7 = w*c + r for c.
-4
Let d be -2 + 1*24 + 1. Let r = d + -18. Solve -c = -r*u + 3*c + 31, 2*u - c = 10 for u.
3
Suppose -3*i = q - 29, -3*i = -3*q - 4*i + 47. Solve 0 = 4*p - a + q, 1 = 2*p - 2*a + 5 for p.
-4
Suppose o - 10 = -2*k, o - 18 - 7 = -5*k. Let z(h) = -h**2 - 10*h - 3. Let l be z(-9). Solve -2*f - 2*w - 8 = -0*f, o = 2*w + l for f.
-1
Suppose 2*f + 5 = 63. Suppose y + n = -4, -4*y = -0*n - 5*n - f. Let p = y + 2. Solve -4*o - p*x = -0*x - 20, 0 = -5*o - 3*x + 25 for o.
5
Let p be (-2)/4 - 39/(-6). Let i(o) = -o**2 + 8*o - 5. Let r be i(7). Let k(a) = 2*a - 4. Let h be k(r). Solve -3*d = 5*t - 7, -5*d + 2*t - 15 + p = h for d.
-1
Suppose a + 5 + 8 = 3*q, 4*a = 3*q - 7. Solve -a*l = -3*l - k, -3*k = 4*l - 4 for l.
4
Let l(v) = 5*v - 1. Let r be l(5). Solve 3*k + r = -3*x, -2*k = -6*k + x - 12 for k.
-4
Let c = 0 - -3. Solve -7*h - 4*u - 36 = -c*h, -3*u - 11 = -h for h.
-4
Suppose -4*k - i - 40 = 0, -3 = -5*k + 3*i - 53. Let f = -7 - k. Solve s = f*h + 5, -4*h = h + 5*s + 35 for h.
-3
Suppose -4*l + 5 - 1 = 0. Solve l + 24 = 5*g, -4*g = -4*t for t.
5
Suppose 0 = u + d + 7, 0 = u - 5*d + 3*d - 8. Let l be (23 - u)/1 - 2. Suppose 0 = -5*w + g + g + l, g = -4*w + 21. Solve x = -2*x - 3, -7 = -w*n + 2*x for n.
1
Suppose -y - 3*y + 5 = -3*n, -n + 4*y - 15 = 0. Solve -n*p + 5*d = 15, -p - 3 = d - 3*d for p.
-3
Let k = 18 - 16. Solve 6 = 2*d - 2*a, -7*d + 6 = -k*d - 2*a for d.
0
Suppose 2*t - 4*m - 2 = 0, -3*t - 4*m + 6 + 7 = 0. Solve 0 = t*y + 5*g + 7 + 1, -16 = -y + 3*g for y.
4
Suppose -2*b + 20 = 2*b. Suppose -v + 28 = -b*o, 3*v = -4*o - 0*o - 11. Solve -5*i - 15 = -5*u, 8*i - v*i + 15 = -2*u for u.
0
Let b(w) = -w**3 - 11*w**2 - 8*w + 4. Suppose -18 = 5*s + 32. Let u be b(s). Let p be u/(-7) - 2/7. Solve p*d - 1 - 9 = j, -4*d + j = -16 for d.
3
Let b = -13 + 9. Let z = 1 - b. Solve 2*i - z*q = -2, -4*i - 4*q + 3 = 7 for i.
-1
Let d be 1/3 + (-4)/12. Suppose -2*t + 5*t = d. Solve -3*v - 15 = t, -2*v + v = -o + 5 for o.
0
Let j(h) = h + 2. Let d be j(0). Suppose d*l + 6 = 5*l. Solve l*k - 11 = -o, -4*k + 0*k + 12 = 0 for o.
5
Let l(w) = 2*w - 3. Let b be l(4). Let v(i) = i - 2. Let r be v(b). Let u be 10/(4/(1 + 1)). Solve -4*n + u = -5*n, -21 = 3*a + r*n for a.
-2
Suppose -40 = 3*j + 2*j. Let i be 404/(-16) + (-2)/j. Let v be 77/5 + 10/i. Solve 2*p + 5*h = -35, 0*p + 5*h + v = 2*p for p.
-5
Let c be 14/(-21)*-9*5. Solve 2*n - 11 = -5*w, -5*w = -5*n + 5 - c for n.
-2
Let z(u) = 13*u**2 - 17*u - 7. Let m(v) = -7*v**2 + 8*v + 4. Let h(n) = 11*m(n) + 6*z(n). Let j be h(14). Solve 21 = -j*l + 3*b, 31 = -2*l + 5*b - 0 for l.
-3
Suppose -2*k + 58 = 6*o - o, 0 = 5*o - 2*k - 62. Let b(t) = t**3 + 5*t**2 + 2*t - 4. Let d be b(-4). Solve 4*f + z - 3 = 0, d*f = 5*z - z - o for f.
0
Suppose -4*m - 40 = 4*p - 2*m, -64 = 5*p - m. Let d(x) = -x - 8. Let z be d(p). Solve -4*y = -4*c - z - 16, -4*y - 2*c - 10 = 0 for y.
0
Let b = -7 + 12. Suppose -7*u - 4*l = -3*u - 4, 3*u + l = 7. Let v be (-5)/(10/(-6))*3/3. Solve -15 = u*y - 3*k, -4*y - b = -v*y + 2*k for y.
-5
Suppose -10 = -3*j + 17. Let k(d) be the first derivative of d**2/2 - 2*d + 1. Let c be k(j). Solve -2*s + 4*b + 10 = 0, 2*s - c*s + 10 = 5*b for s.
3
Suppose 8*o + 2 = 9*o. Solve 3*w = 6*i - 2*i - 11, -4*i = o*w - 26 for w.
3
Let z(y) = y**3 - 2*y**2 - 3*y + 5. Let i be z(3). Solve -6 = 3*w - 3*s - 0*s, -2*s + 11 = i*w for w.
1
Let a be 2/4*(3 + 7). Solve -6 = a*p + 2*j, 2*j = 3*p + 3*j + 3 for p.
0
Suppose 4*r = -8, -6*m = -2*m - 3*r - 14. Solve -x = -2*j - 11, -j + 2*j + 10 = m*x for j.
-4
Suppose 9 = 2*k + 1. Suppose -4*i + 8 = -k. Solve -i*m = -t + 2*t - 19, 2*m = 10 for t.
4
Let f = 70 + -68. Suppose r = -2*h - 3*r + 8, -r = 5*h - 29. Let n be h/(-3) - (0 + -2). Solve n = f*a + y - 8, y + y - 1 = a for a.
3
Suppose 2*z = -b + 13, -5*z - 5 = 3*b - 39. Suppose -2*o + v = -57, 10*o - 144 = z*o + 2*v. Solve -2*q + o = -4*p, p - 2 = 2*q - 17 for p.
-5
Suppose -283 = 9*v - 373. Suppose -1 = -2*m - t - 2, 4*t = -m - 18. Solve 0 = m*o + 2*l + 14 - 4, 0 = 5*l + v for o.
-3
Let i = -16 + 19. Solve -4*r = 5*k, k = -i*k for r.
0
Let v be 4 + (-1)/(1/2). Let n(q) = q - q**2 - 1 - v + 6. Let y be n(0). Solve 4*j + y*k = 1 + 7, -5*j - 5*k = -15 for j.
-1
Suppose -d = 5*d - 18. Solve -q + 5*c = 2, 0 = 3*q + 2*q - d*c + 10 for q.
-2
Let i(b) = -6*b**3 - 2*b**2 - b. Let t be i(-1). Solve l - 5 = q, -l = 4*q - 0*q - t for q.
0
Let f be (-2 + -1)*(-30)/9. 