lve 3*v = 4*n - s, 5*v + 1 = -3*n + 15 for v.
1
Let v = -767 + 770. Solve v*i + 1 = 16, -2*f = -3*i + 11 for f.
2
Let r be -4 + 40 + 0 + 0. Suppose -r = 3*y + 5*u, -4*y + 3*y = u + 10. Let v = y - -12. Solve 3*a + 0*o + 2*o = -v, -5*a - 17 = -o for a.
-3
Suppose a - 4*a + 18 = 0. Let k(z) = -z + 11. Let m be k(a). Solve -4*n = m*f - 13, -5*n = 5 + 10 for f.
5
Let y(b) = -b - 5. Let p be y(-5). Let c(g) = p + 1 - 8*g**3 - g**2 + 9*g**3 + 1. Let x be c(2). Solve -4*u + 2*s = -x, 0 = 2*u + s + 2 + 1 for u.
0
Suppose 3*n = 5*s - 15, 0*s - 4*s + 12 = 5*n. Solve -18 = 3*c - 2*m - 0, n = -5*c - m - 17 for c.
-4
Let t = 22 + -17. Suppose 2*y + 40 = t*f - 0*f, 0 = 3*f - 2*y - 20. Solve 4*w - 7 = -l, 3*l = l - f for w.
3
Let h be -19*(4 + -4 + -1). Suppose -h + 1 = -6*b. Solve b*z = -3*y - 3, 3*z + 3*y = 4*z + 5 for z.
-2
Suppose 5*u - 5*c - 5 = 0, u - 8 = -2*c + 5. Let i(m) = -m**3 + 5*m**2 + m. Let b be i(u). Suppose k = b*k. Solve k = l - 3, 3*z + 5*l = -1 + 22 for z.
2
Suppose 5*v = 28 + 27. Suppose 2 = v*g - 10*g. Solve -w + 3*t + 10 = -g*w, 5*t = -20 for w.
2
Let q = 2010 - 2007. Solve 12 = 3*j + q*c, -4*j = 11*c - 9*c - 10 for j.
1
Let t(k) = k**2 + 20*k - 94. Let w be t(-24). Solve -12 = j + 2*l + w*l, 3*j = -4*l - 12 for j.
0
Let n = -218 + 222. Solve 0 = 3*y - 15, -n*v - y + 3 = -18 for v.
4
Suppose 24*q + 50 = 314. Solve 2*c = 5*b + q, -2*b + 4*c - 3*c = 4 for b.
-3
Let p be (-8)/(-3)*3/2. Suppose 4*i + 8 = p*b, 9*b - 3*i - 14 = 4*b. Solve -23 = j - b*g, g - 17 = -j - 3*g for j.
-3
Let n(m) = -m**3 + 8*m**2 - 8*m - 20. Let v be n(6). Solve -4 = -4*i, -8*c + 29 = -3*c + v*i for c.
5
Let o be 2/4*72/12. Solve 0 = 2*x + 2*s + 2 - 4, 0 = -3*x + 5*s + o for x.
1
Suppose 5*v - v - m - 353 = 0, 0 = -4*v + 3*m + 363. Suppose 5*k - v = -62. Solve -12 = -o + 2*i, k*i + 28 = 3*o + i for o.
4
Let c = 59 - 39. Let k = c - 22. Let s be k/(-4)*(-8)/(-1). Solve b - s*b + 2 = -2*a, 0 = -b + 4*a + 14 for b.
-2
Let q be ((-6)/8*2)/((-5)/10). Suppose -6 = h - q*m, 0 = 4*h - 4*m + 8. Solve 4*v + 8 = -h*k - 4*k, 0 = -3*k + v - 18 for k.
-5
Let p = -6 + 6. Suppose 7*c + 7*c - 28 = p. Solve 3*k + 3*h = k, -5*k = -c*h - 19 for k.
3
Suppose -2*m - 3*n + 43 + 153 = 0, -3*n = -6. Suppose -5*f = 2*r - 88, 3*f + 40 = r + m. Solve -j - 4*a + 0*a = f, 4*j - 2*a = 0 for j.
-2
Let c(r) = -r + 3. Let g be c(-6). Let s = 14 - g. Solve -4*t + 13 = t - 4*o, 2*o + 9 = s*t for t.
1
Let w = 956 + -930. Solve 7*g = -4*l + 2*g - 30, -4*l = 3*g + w for l.
-5
Let v = -185 - -190. Solve -n = w - 5, v*n + 0*w = -4*w + 22 for n.
2
Suppose 5*i + 2*s - 10 = 0, 8*s = 2*i + 3*s - 33. Suppose 20 = -8*v + 13*v. Let m(c) = -c + 4. Let a be m(v). Solve 4*p - u = i*u, a = -3*p + 4*u + 1 for p.
-5
Suppose 0 = -k + 19*l - 15*l + 24, -4*l = -4*k + 36. Solve -2*m - 5*u - 2 = -4, 0 = k*u - 8 for m.
-4
Suppose -5*h = 2*j + 2, -2*j + 3 - 5 = 0. Suppose 2*n - 4 = 3*n, -3*k - 3*n - 12 = h. Suppose -3*r = -k*r - 69. Solve -7 + r = -4*i, -23 = -3*l + 2*i for l.
5
Let x(o) = -o**3 + 10*o**2 - 23*o + 126. Let c be x(9). Solve 0 = 4*t - 3*s - 11, 5*t - 2*s - 9 - 3 = c for t.
2
Suppose 0*u = 4*x + 3*u + 4, 4*u + 16 = 0. Let y = -109 - -113. Solve 2*v + 21 = v - 5*l, -y*v + 26 = -x*l for v.
4
Let d(t) = -t**2 - 44*t - 277. Let b be d(-8). Solve -5*g - b = x + 19, 3*g + 35 = -4*x for x.
-5
Let d = -43 - -48. Let t = -2 - -3. Solve u - t = -k + 5*u, -3*u = -5*k + d for k.
1
Let o be (-5 - -5)*(-8)/(-24). Solve 2*h - 3*j + 9 + 14 = o, -25 = -5*j for h.
-4
Let k be -1 - (-21)/3 - 1 - 0. Suppose r + c = 14, k*r + c - 42 = 36. Solve -4*p - 1 = -0*u + 3*u, p + 4*u = r for p.
-4
Let p(x) = 10*x**2 - 4*x - 16. Let v be p(-2). Solve 4*d - v = -4*o, 3*d - 21 - 7 = -4*o for o.
4
Suppose 454*n - 458*n = -64. Solve -4*z - 5*t = -n, z - t = 4*z - 12 for z.
4
Let l(p) = -85*p + 10. Let o be l(0). Solve 2*a - 3*f = -o, 3*a + 2*f + 5 = -10 for a.
-5
Suppose 0 = 7*z + 14 - 42. Solve 0 = 5*l - l - 2*h - z, 2*l + 2*h = -4 for l.
0
Let x(n) = -n**3 - 13*n**2 + 14*n + 5. Let i be x(-14). Let b(r) = r**2 - 8*r. Let k be b(6). Let m = k + 18. Solve -5*q - 2*d = 0, i*d - 3*d = -2*q + m for q.
-2
Let t = 81 + -81. Suppose t = -l + 14 - 3. Solve -3*o + 3*d + 18 = 0, -l = -3*o - 4*d - 0*d for o.
5
Suppose 2*h + 2 = 3*h. Suppose 3 = -h*b + 3*b. Suppose -b*p + 14 = 2. Solve -3*y = y + g + 17, 0 = -p*y - 5*g - 37 for y.
-3
Let j = 2 - 2. Suppose -2*n = -5*b + 9, 32 - 17 = b + 4*n. Solve -b*z + 0*z = -3*k + 6, j = -z + 3*k for z.
-3
Suppose -40*i - 2*i + 126 = 0. Solve -2*r = 2*u - 2, u + r = -u - i for u.
-4
Let n be 118/14 - 6/14. Suppose 0 = n*w - 52 - 36. Solve -6*b - 5*r = -4*b - 3, -w = -2*b + 3*r for b.
4
Let k(d) = -87*d - 4*d**2 + 22 + 3*d**2 + 81*d. Let r be k(-8). Solve l - 4*t + 0 = 8, 5*l - r = 3*t for l.
0
Let p be 4/(-6) - (-28)/6. Let f(o) = 2*o**2 + 79*o + 786. Let z be f(-18). Solve 0 = 5*w + 4*t - 12, -w + 0*t + p*t = z for w.
0
Suppose -4*m - i + 80 = 0, 3*i = -11*m + 16*m - 83. Solve -3*a + 5*a + 3*z + m = 0, 0 = 2*a + z + 13 for a.
-5
Let b be (-4 - -5) + -1*(2 - 19). Suppose 0 = -b*k + 22*k. Solve 0 = -k*v - v + 5, 4*n + 35 = 3*v for n.
-5
Suppose 10*c = -5*c + 45. Solve 0 = -c*i - 2*f + 4*f - 6, -3*f - 29 = 5*i for i.
-4
Let n = 9 - -165. Suppose 0 = 5*f + 154 - n. Solve 3*g - f*c - 8 = -0*c, 0 = -2*g - c + 9 for g.
4
Suppose 0 = -5*f + 3*g - g - 75, f + 33 = 4*g. Let w(c) = -4*c - 30. Let j be w(f). Solve 4*u + j = 3*i, -20 = 2*u + 3*u for i.
2
Let t = -20 - -11. Let p = 14 + t. Solve 0*i - 3*i - 6 = -3*d, 6 = p*d - 3*i for d.
0
Suppose 0 = -o - 5*z - 12, -z = -o - 2*z. Suppose 10*r + o*r - 15*r = 0. Solve 5*u = 9 + 1, 5*g - u - 8 = r for g.
2
Let t = 5 - 2. Let d = 802 + -802. Solve p + 2 = 3*k - 7, p - t = d for k.
4
Let z(p) = -2*p**2 + 33*p - 66. Let h be z(13). Solve -8*b + 4*b - h = 5*q, -5*q = -3*b - 10 for q.
-1
Let p = 6 + -2. Let g(k) = 2*k - 1 + 3*k + 2*k**2 - 12*k. Let d be g(5). Solve 3*j + 2*q = -0*j + 11, -p*j + d = 3*q for j.
5
Let u be (0 - 4) + (-6)/3 + 9. Suppose 2*r - p = 6, -u*r - 3*p = -2*p - 4. Solve -4*j + t = -r*t + 2, 3*j - t - 1 = 0 for j.
1
Let x = 1591 - 1578. Solve x = -3*z + n, -5*z + 2*n - 29 = -8 for z.
-5
Let r = 124 - 91. Let x be (-5)/(-2) - 1/(-2). Suppose r - 12 = t + x*z, 0 = -t + 4*z - 14. Solve 5*n - 4*i = -28, -8*i + t*i - 8 = 3*n for n.
-4
Let x(y) = -y - 3. Let u be x(0). Let m be 3 + (1 + -1)/u. Solve 5*p + 6 = -m*k, 5*p + 20 - 2 = k for p.
-3
Let g(z) = 6*z + 3. Let y be g(-2). Let s = y - -9. Let n be s - -2 - (-4)/2. Solve -3*q - n = 5*d, -3*q + d + 2*d = 12 for q.
-3
Suppose 2*c + 0 = -2*q - 4, 3*c + q = 4. Suppose 3*m = 22 - 1. Solve 2*b - c*d = -4*d + 5, -5*d = b - m for b.
2
Let w(v) = 2*v - 6 + 46 - 22. Let i be w(-5). Solve 0 = -3*n - 6, n = 2*p - 4*n - i for p.
-1
Suppose 22 = 2*l + s, 0 = l - 0*s + s - 13. Suppose -l*c - 6 = -24. Solve -4*h = 8, u + c*h + 1 = -8 for u.
-5
Let c be (-2 - -5)*(-1 + 4). Let i = 183 - 180. Suppose 2*z = -z + i. Solve -3*w + 0 = 3*p - c, -5*p - w = z for p.
-1
Let p = 57 - 52. Suppose -l = -p - 0. Solve -2*k - 3*k + 10 = 0, k = l*t - 18 for t.
4
Let c be 0/(-7) + -9 - -13. Solve 0 = c*j - 4*l - 5 + 1, -5*l = j - 13 for j.
3
Suppose -n + 4*n = 2001. Let g = -458 + n. Let x be g/77 + 2/7. Solve 20 = -5*u - x*c, -u - 4*c - 28 + 7 = 0 for u.
-1
Suppose 3*a = 15, f + 4*a - 3*a - 24 = 0. Solve -2*o + 7*d - f = 2*d, 0 = -o - 5*d + 13 for o.
-2
Let s = -47 + 56. Let c be (-2*s/12)/((-12)/56). Solve -d = -3*i + c + 7, -3*d = -3*i + 12 for d.
1
Suppose 0 = 5*o - 3*t + 2, -4*t - 4 - 2 = 2*o. Let u = 6 + o. Solve -u*y - 15 = i, -i - 6 = 3*y + 3 for i.
0
Let l(u) = 1. Let b(j) = 2*j - 16. Let w(a) = b(a) - 3*l(a). Let p be w(11). Solve -2*f - 5*v - 3 - 22 = 0, -5 = p*f + v for f.
0
Let b = 123 + -120. Solve 0 = -2*p - 0*n + b*n, -4*p - 10 = -n for p.
-3
Let h(t) = 105*t + 25. Let q(u) = -13*u - 3. Let k(c) = 3*h(c) + 25*q(c). Let g be k(-2). Solve 4*i + 4*p = g, 1 = -p + 2 for i.
4
Let r(o) = o**2 - 8*o - 5. Let h be r(8). Let f = 10 + h. Solve -y - 1 = -2*v + 4, 5*v = f*y + 15 for v.
2
Let v be (1 + -1)/(24/((-16)/(-2))). Let q be 2 + 1 + 0/(-2). Suppose q = 2*h - 5. Solve -r + v + 2 = k, h = 2*r for k.
0
Let q(g) = -g**3 + 2*g**2 + 2*g. Let a be q(0). Solve 4 = b + b - v, a = -4*v for b.
2
Suppose 3*v = -2*d + 50, 2*v - 2*d - 7 - 23 = 0. Suppos