 18 = -m*o for v.
-3
Let x be 6/(-21) + 2/7. Solve -5*q = 5*o - 2*q - 26, x = 3*q - 6 for o.
4
Suppose 3 - 16 = -k + 3*q, -q - 52 = -4*k. Solve -2*v + 10 = 5*b - k, 5*v + 2*b = 5 for v.
-1
Let g be (-2)/5 + 153/45. Solve n + z = 1, g*z - 2*z + 5 = 5*n for n.
1
Suppose -4 = 4*r - 2*k - 2*k, -17 = 2*r - 5*k. Solve -3*o = -3*b + 2 + r, 2*b + 2*o = 0 for b.
1
Let k = 20 + -14. Solve -14 = -5*s + 3*t - k*t, 3*s - t = 14 for s.
4
Let s be -1 + 1 + (-2 - -2). Let b(q) = s*q - q + 0*q + 8. Let u be b(6). Solve 5*c + 10 = 0, -u*z - 4*c - 12 = 4 for z.
-4
Let b(c) = c**2 + 4*c - 4. Let m be b(-6). Let d = -7 + m. Suppose 4*r - 21 + d = 0. Solve 2*v - r*h = -15, v - 3*v - 3*h + 25 = 0 for v.
5
Let u = -9 - -11. Solve q + 15 = 4*p, p - q - 5 = -u*q for p.
4
Suppose -4*z + 1 = 2*y - 1, z = -2*y + 14. Solve q + 2*p = 6, -3*p - y = -3*q - 6*p for q.
0
Suppose 20 = -0*y - 5*y. Let z(n) = -n**3 - 5*n**2 - 6*n - 3. Let c be z(y). Solve c*t - 3*j = 2*t + 6, 2*j + 5 = t for t.
-1
Let i = -6 - -15. Suppose 0 = -4*q + 14 - 14. Solve -4*v + 4*k - 8 = -q*v, -4*v - i = -3*k for v.
-3
Let g = -13 - -37. Suppose -3*i + 0 + g = 0. Solve c - 3*c + 5*p = 11, -c - i = -5*p for c.
-3
Let d(w) = -w**3 - 2 - 4*w**2 - 3*w + 2*w**3 - 5. Let z be d(5). Solve 5*x = 5*s - 10, -s - z*x - 4 = -7*x for s.
4
Suppose 0 = -2*i + 6*i. Solve -5*k - w + 10 = -0*w, -k - 2*w - 7 = i for k.
3
Suppose 3*u = 5*p - 15, 0*p = 4*p - 4*u - 20. Suppose -5*a = -p*z + 5*z - 5, -3*z + 2 = 2*a. Solve 5*x = -5*b - a - 4, 2*x - b = 1 for x.
0
Let g = 15 + 0. Suppose -5*i + 60 = -g. Solve 3*x = 5*r - i, x + 3*r + 1 = -4 for x.
-5
Let x = 18 + -15. Let f be (-10)/(-8)*(-2 + 6). Solve 0 = x*r - 2*w - 3 + 6, -f*w = -15 for r.
1
Let r be (0/(-1))/(-1) - -2. Let m(n) = n**2 + 3*n. Let h be m(-3). Suppose 4*c - 5*k + 16 - 4 = h, -5*k + 26 = 3*c. Solve p - q + c = 2*q, p - q = r for p.
4
Let m = 1 - -2. Let n be 3/2*20*(-7)/(-42). Solve x + 5*q + m + 2 = 0, q = n*x + 25 for x.
-5
Let r = 4 - 2. Suppose 0 = 4*v - y + 1, -5*v - 3*y - y + 4 = 0. Suppose 3*w + 5*l + 11 = v, -5*w + l + 31 = -3*l. Solve -z = -w, -3*g - z + 8 = -r*g for g.
5
Let p(x) be the first derivative of x + 1/2*x**2 + 3. Let b be p(0). Solve w = v + b, v + 3*v + 4 = -3*w for v.
-1
Suppose 14*o = 20*o - 36. Solve -3*g + o*u - u + 30 = 0, 0 = 5*g - 2*u - 31 for g.
5
Suppose -3 = -28*o + 27*o. Solve -4 = 2*g - 3*h, 3*g + 5 = 5*h - o for g.
4
Let o = -44 - -48. Solve 2*x + 10*n = 5*n - 16, -2*x - 2*n - o = 0 for x.
2
Let n = 33 + -31. Solve 2*s = 2*r, -n*r - 8 = -0*r + 2*s for r.
-2
Let p be -3 + 2*(-10)/(-4). Suppose -4*i + n + 1 = -3*i, -4*i + p*n = -4. Solve -i = 2*u - h - 4*h, -u - 5*h = -7 for u.
2
Suppose -2*x + 4 = -0*x. Suppose -4*b - 2*a + 104 = -0*b, -4*a - 32 = -x*b. Solve 0*h + b = -h - 5*y, 0 = 3*y + 15 for h.
1
Suppose 5*v = 5*x, -5*x + 8 = v - 10. Suppose -9 + 4 = 5*l + s, -4*l + 4*s + 20 = 0. Let y = l + x. Solve 0*i = i - y*p + 5, 2*i - 5*p + 8 = 0 for i.
1
Let u be (-2)/1*(-14)/(-4). Let f be (2 - -26) + 4 + u. Solve -3*y - f = 2*y, 4*q - y + 7 = 0 for q.
-3
Suppose 3*u = 5*r - 167, -3*u = 3*r - u - 85. Let c = r - 21. Let j be c/(-45) - (-364)/18. Solve -5*q + j = 0, 0 = 2*w - 0*w + q + 6 for w.
-5
Let f be ((-17)/(-6) - 1/3)*2. Solve -2*k - f*x = -0*k - 3, 4 = -k + 3*x for k.
-1
Let x be 22*3/(-6)*-1. Suppose 2*i - 43 = -x. Let p be ((-12)/i)/((-1)/48). Solve -7 = 5*q + f, -11 = -5*q + 5*f - p for q.
-2
Let s be (25/15)/(3/9). Solve 0 = -2*r - q - 2, 2*q + 13 = s*r for r.
1
Suppose -5*j + 2*g = 22, -g + 2*g + 4 = 0. Let n be 38/(-14) + j/21. Let m(r) = -r**2 - 5*r - 4. Let h be m(n). Solve -t + 3 = 1, k = h*t - 8 for k.
-4
Suppose 0 = f - 2*w, -25 = 3*f + 4*w + 15. Let s = -5 - f. Solve 3*i - 4*x + 1 = 0, -i - s = -0*i - 2*x for i.
5
Suppose -3*z = -6 - 0. Let k be 2/2*0/z. Let g be 5*(k - 1/(-1)). Solve 3*d - 5*t = 5*d - g, -t + 23 = -4*d for d.
-5
Let u(n) = 3*n**2 - 1 + 0*n**2 + 0*n**2 + n**2. Let i be u(-1). Let w(o) = o**3 - o**2. Let g be w(2). Solve 6*q - 2*q + 16 = -g*r, i*r + 5*q + 10 = 0 for r.
-5
Let z(k) = 4*k + 7. Let s be z(-1). Solve 3*x = -5*f - 1, x - 8 = -s*x - 2*f for x.
3
Let v(u) = 2*u**2 + 4*u + 3. Suppose -2*o + 16 = -7*o + 3*s, -3*o - 5*s = -4. Let a be v(o). Solve 5*l - 1 = -n + 5, -3*l = -a*n for n.
1
Let w = 1 + 1. Suppose -26 = -8*m - 2. Solve 3*f = m*v + 8*f - 22, -f + w = 3*v for v.
-1
Suppose 12*k - 253 = k. Solve 0 = -4*u - 3*q + k, -2*u + 2*q + 2*q + 6 = 0 for u.
5
Let l(s) = 2*s - 3. Let j be l(3). Let w = -2 + j. Suppose 4*o - w + 5 = 2*k, 2*k + 3*o = 11. Solve b + k*p + 5 = 0, 5*p = -3*b - 0*b - 1 for b.
3
Let j be (-1 + -4)*(-1 - 0). Solve -2*s + 20 = 4*u, -j*s = -10 - 0 for u.
4
Let q be 18/117 - (-50)/13. Solve -5*d - a - 6 = 0, -a + 12 = 4*d + q*a for d.
-2
Suppose -11*p + 6*p = -20. Let w = 6 - p. Solve -5*a + 2*a = -w*i - 4, 4*i = 2*a - 16 for a.
-2
Suppose -4*u + 26 = 3*k + 3, 2*u - 15 = -5*k. Suppose -y - 13 = 2*y - 5*m, -3*m = -4*y + k. Solve 3*l = 5*r + 35, 2*l - 6*l + 4 = y*r for r.
-4
Suppose 4*j - 4*u - 220 = -j, -172 = -4*j + 4*u. Let a = -34 + j. Solve -f + 0*b = -3*b + 8, a = -f + 5*b for f.
1
Let i be (0 - (-14)/1)*1. Let x be (-8)/28 + 46/i. Solve 10 = -5*w - 5*k, 0 = -4*w + k - 26 + x for w.
-5
Let x = -8 + 9. Suppose 2*u + 17 = 3*q, -q - 3*u - x = -2*u. Let h(z) = z + 7. Let g be h(-5). Solve 0 = -4*n + q*c - 31, g*c + 3*c - 25 = 0 for n.
-4
Let h be (2 - 3)*(-4 - -12). Suppose 0 = -5*m - 5*c + 10, 4*m + c = 2*c + 18. Let l be (-1)/m + (-2)/h. Solve l = 3*k - 15, -k = 5*q + 10 + 5 for q.
-4
Suppose 0*r - 4 = -2*r. Suppose -f - 20 = -h - 5*f, -2*h - 10 = -r*f. Solve -5*g = k + 20, h = 3*g - 2*k - 0 - 1 for g.
-3
Let u(d) = -d - 2. Let b be u(-4). Suppose 0 + 6 = b*w. Suppose -8 = w*y - 4*y. Solve -4*f + 13 = -4*z + 1, 5*z + 2*f = -y for z.
-2
Let g(n) = 8*n - 6. Let d be g(1). Solve 4*j + i = -9, 3*j + 0*j - d*i + 15 = 0 for j.
-3
Suppose 3*h = h. Solve h = 4*n - i + 6, 3*n - 4*i = -n for n.
-2
Let d be (72/28)/(6/28). Suppose -4*y + d = -y. Suppose -2*p = -p - x - y, -4*x = -5*p + 16. Solve -5*s - 11 = -q - q, p = 5*s + 15 for q.
-2
Let x = -2 - 2. Let z = 9 + x. Solve r - 15 - z = 4*g, -25 = 5*g - 4*r for g.
-5
Let m(h) = h**2 + h - 3. Let n be m(-3). Solve 5*v = -5*o + o, 0 = -o + n*v for o.
0
Suppose -5*s + 14 = -3*i, -8 = 4*s + i - 26. Solve 2*w - 12 = -n + s*w, -3*w = 2*n + 4 for n.
4
Let d = 68 - 65. Solve 0 = -2*o - 3*p - 14, 1 - 7 = d*o - 3*p for o.
-4
Suppose 0 = 2*p - 4*h - 12, -p + 3*h = p - 10. Let k = p - -1. Solve -3*y - w + 19 = 2*y, k*w - 6 = 2*y for y.
3
Let o(p) = -p**3 + 9*p**2 + 10*p + 2. Suppose -20 = -5*d + 3*d. Let f be o(d). Solve -3*x + 0*y - 8 = f*y, 2*x = 2*y - 12 for x.
-4
Suppose 6*v - 2*v - 5*u = 6, 4*v + 5*u - 26 = 0. Let i be 3/(-5) + 18/30. Solve -o + v*x = -x + 15, -5*o + 3*x + 13 = i for o.
5
Let k be (-9)/6 - (-195)/10. Solve m - 3 = 0, -3*m = -7*a + 4*a - k for a.
-3
Let x(c) = c**3 - 17*c**2 - 19*c + 22. Let s be x(18). Solve w + s*w + 5*q = 0, -4*w - 8 = -4*q for w.
-1
Suppose 5*m - 3*v = 20, 2*v = 4*m + v - 16. Suppose m*b + 20 = 5*p, p + b = 3*p - 8. Let w be 18/p*(-6)/(-9). Solve 5*a + 40 = 3*j, 13 = 4*j + 2*a + w for j.
5
Suppose -4*w = 3*x - 25, -2*w = 3*x - 3*w - 5. Solve 15 = -2*c + x*q, 0 = 4*c - 2*c + 2*q for c.
-3
Let j(r) = r**3 + 7*r**2 + 3*r - 12. Let k be j(-6). Solve 5*u + k = -m, -4*m + 2*u = -u - 22 for m.
4
Let f = -9 - -11. Suppose -3*g - 7 + 1 = 0, 4*q + f = -5*g. Solve -z = -t - 4*z + 5, t = -q*z + 4 for t.
2
Suppose 142 = 4*c - w, -3*c + 5*w = -0*c - 98. Let s be (-4)/14 - c/21. Let y be 0/3*(s + 1). Solve 3*g = n - 2, -g + 2*n - 3*n + 2 = y for g.
0
Let y be 75/7 - 8/(-28). Let z = y + -6. Suppose 3*h - 14 = 2*q, 0 = -5*q - 18 - 2. Solve 0 = 2*j + 3*c - 19, -c + z = 5*j - h*c for j.
2
Suppose f - 3 = j, 3*f + 2*j = -2*f + 8. Suppose -f*s = -3 - 1. Solve -10 = -s*c + y + y, 4*y = 3*c - 18 for c.
2
Let k be -3*1/(-3)*0. Solve r + y = -3, k*r - y - 2 = 2*r for r.
1
Suppose -10 - 2 = -4*j, -3*j - 11 = -5*y. Solve -3*a - 3 = -y*t + 10, -4*t + 14 = -2*a for a.
1
Let c be (-4 + 5)*(3 - 3). Let i be 5 + (c/(-4))/3. Solve -3*m + 4*m + 5*a - 4 = 0, -5*a = -i*m + 20 for m.
4
Let s(v) = -v**3 + 3*v**2 + v + 2. Let m be s(3). Solve -m*z + 0*u - 20 = -5*u, -4*z + u - 7 = 0 for z.
-1
Suppose -x + 9 = -2*o - 0, 2*o - 16 = -4*x