2*q = 5*v - w for q.
5
Suppose -20 = g - 6*g. Solve 0*x - g = 3*d + x, x - 14 = 3*d for d.
-3
Let u be -3 + 2 + 2 - -3. Solve 4*w + u*n - 2*n - 18 = 0, -3*w - 3*n + 21 = 0 for w.
2
Suppose 2*b = 12 - 2. Let z be 3*(20/(-15) + 3). Solve -3*y - b*g = 7 + 1, 2*g = z*y - 28 for y.
4
Suppose -10 = -4*t + i, -2*t + 4 - 2 = -2*i. Suppose -t*c - c = -16. Solve -4*n + z - 16 = 0, -10 = -2*n + z + c*z for n.
-5
Let u(n) = -4 - 2 - 1 - n - 5. Let x be u(-11). Let j(p) = -3*p + 1. Let g be j(x). Solve 0*w + g*c = -3*w - 5, 0 = 4*w - c - 6 for w.
1
Let u(t) = -t**3 + 9*t**2 + 11*t - 5. Let z be u(10). Suppose -10 = -z*r - 0. Solve 0 = -r*y - 4, 4*v = v + 3*y + 6 for v.
0
Suppose -7*n = -4*n. Solve 3*x + 3 = t - 2*x, 5*t - 2*x + 8 = n for t.
-2
Suppose 0 = 2*v - 6*v + 8. Let i be (3 - 4)*(-10)/v. Solve -z + 1 = 0, -i*z = -3*l - 0 - 5 for l.
0
Let y(g) = -g**3 + 14*g**2 - 13*g + 4. Let d be y(13). Solve -t + 4*p + 11 = -d*t, 0 = 5*p - 5 for t.
-5
Let s be (-1)/(5/((-50)/12) + 1). Solve 21 = 4*v - 5*b, 3 + 22 = -s*b for v.
-1
Let y(u) = u**2 + u - 2. Let a be y(-2). Suppose a*j - j + 5 = 0. Solve m + 3*l = -l + 16, 3*l = -j*m + 29 for m.
4
Suppose 4*u + 1 = -a, -2 + 4 = 3*u - 2*a. Solve -5*p + 27 = -4*k + 5, u = -k - 5*p + 7 for k.
-3
Suppose 6 = 2*u - 4. Solve 4*f - j - 8 = 0, -u*f - 1 + 4 = -3*j for f.
3
Suppose -3*m + 6 = -3. Suppose 3 = m*x - 6. Solve y + x*w + 15 = 0, -y + 5*w = 3*w - 10 for y.
0
Let c be (4/6)/(10/105). Suppose 0 = -c*y + 6*y. Solve -2*m - 8 = -6*m + z, y = 4*z for m.
2
Suppose 5*y - y = 0. Suppose 0 = -p - y*p + 9. Solve 5*m + 3 = -4*r, p*r - 3*m = 4*r + 24 for r.
3
Let p(o) = 9*o**2 + o - 1. Let a be p(1). Let d(j) = -8*j**2 - 8*j + 3*j**3 + 2 - 8 - 2*j**3. Let t be d(a). Solve -4*g + 20 = n + n, 3*g - 3*n + t = 0 for g.
3
Let l be (2/2)/((-1)/(-5)). Let d = l + -3. Suppose -7 = -d*s + r, -5*r - 6 - 5 = 2*s. Solve c = 5*k, -s*c - 2*c = -5*k for c.
0
Suppose 3*l - l = 2*b - 8, -2*l - 7 = -3*b. Let p = l - -7. Suppose -10*r = 125 - 305. Solve -4*j = -q + p + r, 3*j = -q - 15 for j.
-5
Suppose -3*t = n - 19, -2*t = -n + 3*t + 59. Solve -5*u - n = -3*r, -3 = -2*u + 4*r - 25 for u.
-5
Let z = -9 + 1. Let b = z + 48. Suppose 4*n + p - 80 + 18 = 0, 2*n = 4*p + b. Solve -6 = -2*m - 3*i + 3, 5*m + i - n = 0 for m.
3
Let z be (-10 + 12)*(0 + 9). Solve -4*i - 3 = 4*n - 11, i = 3*n - z for n.
5
Let x(p) = -10*p + 44. Let k be x(4). Solve -2*b + 3 = -5*g - 5, 4*g + k*b = 16 for g.
0
Let v be ((-2)/4)/(20/24 - 1). Let z be (-1)/((-2)/6 + 0). Solve 0 = -s - v, -2*g = g - s + z for g.
-2
Let o = 38 + -19. Solve -5*h - 2*s = 4, s = -5*h + 4*s - o for h.
-2
Let f be (-2*2)/(-2) - 1. Suppose 3*x = f + 5. Let y be 45/x*4/5. Solve 5*c + 0*c + 5*s = 10, -3*c + 3*s - y = 0 for c.
-2
Suppose -3*c - 3*m = -18, -m - 3 = -3*c + m. Solve -c*w = -5*l + 7, 2*w + 2*w - 5*l + 6 = 0 for w.
1
Let p(a) = a**2 - 3*a - 13. Let f be p(-3). Solve n + 3*v - 3 = 4*v, -f*v + 17 = 3*n for n.
4
Let y(v) = -v**3 - 10*v**2 - 8*v + 15. Let d be y(-9). Solve -17 = -5*z - m + 2, 2*z - 3*m + d = 0 for z.
3
Let a = 6 - 4. Let i be (-1 + -1)*(-2)/a. Suppose -i*m = -6*m. Solve -2*j + y = 6 + 2, 2*j - 5*y + 16 = m for j.
-3
Let v be ((2 - 0)/(-2))/(-1). Solve d + k = v, 0 = -0*d - 5*d - 3*k + 11 for d.
4
Let z = 20 - 18. Solve 0 = z*a + 5*k + 9, 0*a - 4 = 4*a - 4*k for a.
-2
Let z be 1 + -1 + -1 - -3. Let l(n) = 3*n**2 + n. Let g(d) = -d + 5. Let j be g(4). Let w be l(j). Solve 3*v - z*v = u - w, 3*u = 3 for v.
-3
Suppose 56 = -5*g - 3*x - 21, 2*g + x = -31. Let s be ((-5)/(-4))/((-4)/g). Solve -s*a + 29 = 4*y - 10*a, -5*a = y + 24 for y.
1
Let h be (-17)/(-3) - (-4)/(-6). Suppose 10 + 5 = h*v. Suppose -7 = -2*r - v*k, -r + 4*r - k = 5. Solve -4*w + 0*j - j = -11, -w = j - r for w.
3
Suppose 7*b = 11*b. Let l be (-39)/(-15) + 2/5. Solve 0 = 2*z - 4*t + 18, -5*z - l*t - 11 + 5 = b for z.
-3
Let y be 2 - (-1)/(1/(-4)). Let q = 1 - y. Suppose 0 = -3*x + 4*x - q, 6 = -3*w + 5*x. Solve -6 = -a - 2*a - w*o, -a + 3*o - 10 = 0 for a.
-1
Let b be 2/((3 + -1)*1). Let u be -1 + (-2 - b)*-1. Suppose 0 = -2*h - 2, -u*x - 2*h + 4 = 0. Solve x*r + r + 19 = -3*k, k - 15 = 4*r for r.
-4
Suppose 4*l + 4*c + 28 = 8, -5*l - 5 = c. Let j = l - -4. Suppose 0 = -5*d + 2*g + 112, g + 111 = -d + 6*d. Solve 2*m = t - 7, t + 3*m = -j*t + d for t.
5
Let t = 5 - 6. Let b be 3*t/(-3 - -2). Solve 4*m + 10 = g + g, 5*m = -b*g - 7 for g.
1
Let p be (-2)/(((-18)/15)/3). Suppose p*y - 4*y = 20. Solve 0 = -v - 5*g + y, -3*g + 12 + 12 = 3*v for v.
5
Let d(n) be the first derivative of -n**2/2 + 14*n - 1. Let z be d(0). Solve 0 = u + q - 3, 3*u - z = -5*q - 5 for u.
3
Suppose 3*a = 2*k + 9, 2*a + 3*a - 11 = 2*k. Suppose 4*m - a = 7. Solve 2*o + m = -2*s, 3*o + 5*s - 2 + 5 = 0 for o.
-1
Suppose -s + 20 = 3*j - 6*j, -2*s + 15 = -j. Solve g - 17 = 5*b, -25 = s*b + g - 6*g for b.
-3
Let s be (6 - 2/(-1)) + 1. Let l be (s/(-3))/(1 + -2). Suppose -38*m + 21*m = -153. Solve 3*b = r - 7, l*r + 4*b + m = 4*r for r.
1
Suppose -5*w + 2*w = 12. Let v be w/(-6) + (-26)/(-6). Suppose 4*m = v*k + m + 5, 0 = k + 2*m - 12. Solve -f = 5*h + 5 + 19, 15 = 5*f - k*h for f.
1
Let q(a) = a**3 + a - 1. Let u(s) = 4*s**2 + 2*s - 1. Let j(y) = -q(y) + u(y). Let x be j(4). Solve -l - x - 2 = -3*n, 5*l = -2*n - 13 for l.
-3
Let s(v) = -2*v - 8. Let q be s(-8). Solve 4*x = q, 4 = -n + x + 3*x for n.
4
Let j be (0/(-1))/(-4 + 3). Let x be ((-10)/4 - -3)*j. Solve x = -4*s - d + 3 + 10, 5*d = 5*s + 15 for s.
2
Let y be 1 + 3 + 0 + 0. Let w = y - 1. Solve 4*b = -x - 22, -3*x + w*b + 14 = -b for x.
-2
Let n(r) = 2*r - 15. Let v(t) = t - 5. Let p(o) = 4*n(o) - 11*v(o). Let k be p(-10). Solve -3*d + 4*q - 8*q - k = 0, 0 = -4*d + 4*q + 4 for d.
-3
Let y(s) = 3*s**2 + 9*s - 16. Let z = 3 - 7. Let g(b) = -b**2 + 1. Let u(a) = z*g(a) - y(a). Let n be u(8). Solve 20 = r + 2*r - n*p, 0 = -4*r - 4*p - 20 for r.
0
Suppose -3*z - l = 2*l - 21, 2*z - l = -1. Suppose z = -4*w + 14. Solve -w*g + 4*g + 9 = -3*j, 3*g = -4*j - 17 for j.
-2
Let j(a) = -26*a**3 - a**2. Let r be j(-1). Suppose -r = -7*u + 2*u. Let y = 38 - 33. Solve -y*z + x - 18 = -0*x, 15 = u*x for z.
-3
Suppose 0 = 3*s - 5*s + 2. Solve 2*g = 3*v + 6*g + 17, -v - s = -g for v.
-3
Let x be (-16)/12*(-6)/(-4). Let b be 88/(-20) + x/(-5). Let q(o) = -o**3 - 5*o**2 - 4*o + 2. Let i be q(b). Solve 2*r - i = -f - 0, -3*f = 4*r for f.
-4
Let l = -60 - -62. Solve 4*d - 2*d - 1 = 5*x, -l*x = 2*d + 6 for d.
-2
Let w = 7 + -3. Let v be 9 + -2 - w/4. Solve 9 = -3*r - 0*t - 2*t, 3*r + t = -v for r.
-1
Suppose 0 = -2*z + w - 20, -5*z + 2*w + w - 50 = 0. Let j = z - -7. Let b = 5 + j. Solve -g - 3*m - 12 = -3*g, 3*g - 5 = -b*m for g.
3
Let t(b) = b**3 + 6*b**2 + 5*b - 7. Let k be t(-3). Suppose -39 = -0*a - 3*a. Solve 4*c - 2*l = -12, 2*l + 11 = -k*c - a for c.
-4
Suppose -1 + 21 = -4*c. Let p(l) = 1 - 4*l**2 + 3*l**2 - 6*l + 0*l. Let w be p(c). Solve -g + 2 = r, 3*r = 2*r + 3*g - w for r.
0
Suppose c - 50 = -46. Solve -c*v = -l - v + 3, 4*l = 4*v - 4 for l.
-3
Let q be (-8)/(-4)*(1 + 0). Let w(f) = 4*f**2 + f - 1. Let d be w(q). Solve 5*n + 7 - d = -5*c, 3*c = -2*n + 1 for n.
5
Suppose -n + 2*r + 12 = 0, 0 = -2*n + 4*n + 4*r. Let f = 12 - n. Suppose 5*v - 32 = -4*q, -9 = q + 3*v - f*v. Solve 2*c + 3*o - 9 = -q*c, 4 = -2*o for c.
3
Let y(o) = -o**2 + 1. Let p be y(-1). Suppose 1 = a - 1. Suppose -3*t + a*t = -37. Solve 5*z = 4*i + t, p = -3*z + 5*z - 10 for i.
-3
Let n(i) = i + 5. Let h be n(-5). Solve -3*a = j + 2 - h, -4*a = 2*j for a.
-2
Let l(r) = -2*r**3 - 9*r**2 + 5*r + 4. Let w be l(-5). Solve q - 4 = u, -5*u - 21 = -w*q - 6 for q.
5
Let v = 18 - 16. Solve 3*r - 12 = 4*r + 3*u, u = v*r - 11 for r.
3
Let x = 2 - 8. Let d = -4 - x. Suppose -11 = -d*s + 3. Solve -5*h + 9 = -3*z + s*z, 0 = 3*z - 3 for h.
1
Suppose 5*r - 66 = -5*v - 21, 0 = 2*v + 5*r - 21. Let f = 12 - v. Solve f*a - 8 = 0, 4*n = 5*a - 17 - 9 for n.
-4
Suppose o - 4*o + 6 = 0. Suppose -3*n = -2*y + 9, 4*n + 10 = -o. Solve y = 2*j + 2*q - 18, 2*q - 23 = -j - 2*j for j.
5
Let x(l) = l**3 - 8*l**2 - 9*l + 12. Let n be x(9). Let u = n + -9. Solve 0 = 3*t + u*q - q + 16, 5*t - 5*q - 15 = 0 for t.
-2
Let h(o) = 0*o + 7 - 3*o + 4*o. Let p be h(-5). Let j(g) = -g**2 - 5*g + 2. Let v be j(-5). Solve 2*y = -5*t - p, -y = 4*y + v*t + 5 for y.
-1
Suppose 4*c = c