 = -v - y, 0 = 4*v - 3*y - 7 + j for v.
-1
Suppose 7*h + 4719 = 4747. Solve 0 = -i - 2*q + h*q - 1, 2*q - 13 = -3*i for i.
3
Let b = 14 + -16. Let u be (b/(-4))/(3/30). Suppose 5*r - 2*s - u = 3, 4*r - 7 = s. Solve o + 7 = -r*a, 3*a + 0*o = o - 18 for a.
-5
Let o(z) = 6*z - z**3 + 2 + 4 - 11 - 2*z**2. Let q be o(-4). Solve -2*y = -2, 5*v + y + q = -16 for v.
-4
Suppose 635*t = 616*t + 38. Solve -t*c - y + 5 = 0, 3*c + 5 = 4*y - 15 for c.
0
Let c(s) = -5 + 5 - 4*s - 5 + 4. Let k be (1/(-2))/(2/4). Let q be c(k). Solve 5*y + 27 = u, -q*u + 4*u + y + 3 = 0 for u.
2
Let u(d) = -3*d - 6. Let k be u(4). Let s = k - -20. Solve 0 = 3*m - s*i - 4 - 3, 3*m + 2*i - 23 = 0 for m.
5
Let f(s) = s**2 - 5*s + 4. Let y be f(4). Let t = -645 + 650. Solve 3 = 5*o - 2*b, y = 3*o - t*b + 3 - 1 for o.
1
Let u = -3 - -8. Let p = -209 + 214. Suppose -p = l, u = -3*z - 5*l + l. Solve -8 = w + 3*d, w - 6 = -w + z*d for w.
-2
Let u = 299 - 293. Solve 5*y = -q + u*q - 5, 4*y + q = 11 for y.
2
Let v(p) = -2*p - 9. Suppose -8*k - 18 = -5*k. Let l be v(k). Solve -3*q = -0*q - l*a + 18, -7 = q - 2*a for q.
-5
Let s = -10 - -12. Let c = -37 - -37. Solve -d - 14 = 5*a, 2*d - s*a + 5 - 1 = c for d.
-4
Suppose 0 = -5*m - 4*f + f + 72, -2*m = -5*f - 35. Suppose -70*d = -75*d + m. Solve 3*q = 4*r + 4*q + 3, 3*r + d*q = 9 for r.
-2
Suppose -2*g - g = q + 6, 3*q - 5*g + 32 = 0. Let z be (15/25)/(q/(-33))*5. Suppose 0 = -u - 0*u + 3. Solve u*o - x = z, 2*o - x + 3 = 11 for o.
3
Let o(v) = 22*v + 137. Let k be o(-6). Solve -g - 2 = 2*x, k*x = -6*g + 3*g - 3 for g.
4
Suppose -15*l + 14*l + 5 = 0. Solve 2*h - 16 = -l*t - h, -3*t + 14 = 4*h for t.
2
Let v(p) = p**3 - 6*p**2 + 3*p - 8. Let q(g) = -2*g**2 + 22*g - 14. Let x be q(10). Let w be v(x). Solve -4*t = -2*s - w, -4*s + 30 = -0*t + 2*t for s.
5
Let y(r) = 5*r**2 + 16*r - 14. Let p be y(-4). Solve j = -o - 3, 3*j + 5 + 9 = p*o for j.
-4
Suppose -2*n - 51 = -19*n. Solve h - 1 = -3, 3*h - 3 = n*t for t.
-3
Suppose -71*o = -72*o + 3. Solve 2*i - 3*i + 9 = -2*s, o*i - 3*s = 21 for i.
5
Suppose -3*o + 27 = 3*s, 0 = -o + s - 1 + 4. Suppose -u - 4*r = -o, -1 = u - 0*r - 3*r. Solve u*w - 5*w = l, -w = 3*l for w.
0
Let m(j) = 5*j**2 + 8*j. Let r be m(-2). Solve -r*a = -4*z, -a - 2*z - 4 = -4*z for a.
4
Let s be -1 + (10 - (-5 + 12)). Solve s*y = 8, 3*y = 4*f + y - 8 for f.
4
Suppose 7*g - 132 + 83 = 0. Let t = 13 + -7. Let h be (-4)/(-3) - (-4)/t. Solve 20 = -4*d, 5*b + g*d = h*d - 25 for b.
0
Suppose 2*g - g + 9 = 0. Let x be 4 + -4 - g - -3. Solve 2*a + 5*q + x = 3*a, 4*q = 4*a for a.
-3
Let i = -12 - -2. Let w = 15 + i. Solve -5*j = 5*r - r + 21, w*j + r = -9 for j.
-1
Suppose -16*t + 429 = 285. Solve 3*c + 5*d + t = 0, c - d - d = -3 for c.
-3
Let o(r) = -5*r - 42. Let l be o(-9). Let a be (21/(-12))/((-1)/4). Suppose 4*s - a = 3*s. Solve x = -l*i - 0*x + s, 14 = i - 2*x for i.
4
Suppose -z = -6*z + 25. Suppose 0 = -4*x - x - 5*w + z, 3*x - 19 = w. Solve -4*i + 3*k - 4 = -0, -2*i - x*k = -24 for i.
2
Suppose 14 = 2*a - 2*f, -2*a - 2*f = -0*a - 6. Solve -a*y + 5*h - 15 = 0, -3*y - 4 = -6*h + 4*h for y.
2
Let s = 6 + -3. Let j = 33 - 30. Suppose -j*p - 3*g + 8 = -2*g, 5*p + 2*g - 15 = 0. Solve -s*n - q = 3*q - 6, 0 = -n - q + p for n.
-2
Suppose 0 = 4*i - 4*l - 40, 24*i - l - 26 = 21*i. Solve 4*c = -4*n - 11 + 39, 4*n - i = 0 for c.
5
Let b be ((4 + -84)/4)/(-1). Let a = b - 10. Solve 5*t + 2*d = 1, 3*d - 2 = 2*t - a for t.
1
Suppose 129*d - 126*d = 6. Solve -4*u + 21 = -h, 0 = -d*u + 2*h + h + 13 for u.
5
Suppose 0 = -2*b + 2*o + 20, -3*b - 4*o = 2*b - 68. Suppose b = 5*a - 8. Solve -3*r - 2 = 3*p + 4, 2*r + 4*p + a = 0 for r.
-2
Let f be (8/(-3))/(220/(-165)). Solve -2*a + 4 = 0, 2*a - f = -3*z + 2 for z.
0
Suppose 2*h - 3*j = 3, 2*h + 5*j = 6*j + 5. Let g be h/((6/5)/2). Solve c - g*c = -2*u - 24, -2*c = u - 4 for c.
4
Suppose -2*s - 4 = s + 5*y, 3*s - 11 = -2*y. Let z = 11 + s. Suppose 2*c + 4*h = h + 18, 4*h = -2*c + 22. Solve -14 = -r - c*g, -r - 6*g = -2*g - z for r.
2
Let m(h) = -4*h + 89. Let c be m(21). Solve g - y = c*g, -y = -g for g.
0
Let r(z) = -z - 2. Let m(w) = w**3 - 3*w**2 - 4*w - 2. Let t be m(4). Let a be r(t). Suppose 4 = n - a*n. Solve d + n*s + 11 = 0, -3*d + 2*s = -6*d - 3 for d.
1
Let y(x) = 2*x**3 + 4*x**2 - 2*x - 1. Let b be y(2). Let r(a) = 54*a - 2. Let g be r(1). Let v = g + -49. Solve v*p = p - 2*i - 6, i - b = 5*p for p.
-5
Let y = -36 - -38. Solve -u = -3*d, -6*u + y*u = -4*d + 8 for u.
-3
Let a(m) = 2*m**3 - 8*m**2 + 5*m + 5. Let w be a(3). Solve w*p = -3*o - 2*o, 0 = -4*p + 4*o + 28 for p.
5
Let r be (3*1)/((-81)/108). Let d be ((-6)/r)/(1/2). Solve 0 = -3*b + 9 - 0, -d*b = 3*c + 6 for c.
-5
Suppose 4*d + 52 = 5*q, -2*d + 26 = 5*q - 8. Solve 5*m = -5*g + 5, -3*g + 31 = -2*m + q for g.
5
Suppose 0 = 11*i - 9*i - 56. Let n = i - 3. Let q be 1/2 - (-10)/4. Solve n = -0*j + 5*j - g, j - 19 = q*g for j.
4
Let x be 2*(4/(-1) - -5). Solve 0 = -a + x, -a = 5*m + 2*a - 11 for m.
1
Let z be (6 - 12/6) + -4 + 4. Solve -4*c + 16 = -z*d, 9*c = 5*c + 12 for d.
-1
Suppose -7*c + 23 + 47 = 0. Solve 4*v = 2*d - c, -4*v + 3*d - 2 - 3 = 0 for v.
-5
Suppose 1641*g = 1654*g - 39. Let c(y) = -y**2 + 45. Let t be c(0). Suppose -15 = 3*l - t. Solve -2*z = -g*z - 5*k + l, z - 4*k = 1 for z.
5
Let l = 2914 + -2911. Solve 4*w + 3*s + 21 = 0, 0 = -l*w + s - 4*s - 18 for w.
-3
Let v = -2139 + 2156. Let g(i) = -i**3 + 6*i**2 + 7*i + 10. Let h be g(7). Suppose h*b - 5*b = 30. Solve -r + 4*x = -b*r - v, -4*x = -5*r - 33 for r.
-5
Let g = 84 + -82. Solve 0 = 4*l + 3*q + 31, l = g*q + 2 + 4 for l.
-4
Let v = -2 + 5. Let t(k) = -23*k + 3 + 28*k + 1. Let d be t(0). Solve v*p = 3*z + 1 + 5, 16 = d*p for z.
2
Let x be (1 + -5)*(-9)/18. Suppose 4*s - 15 + 19 = 0, o = -5*s + 1. Solve x*v + c + 9 = 0, 0*v - 2*v + 2*c - o = 0 for v.
-4
Let k(i) = 4*i + 124. Let w be k(-31). Solve w = -5*r - t + 2, 0 = -2*r - 3*t + 6 for r.
0
Let z be 4/2 + (-2 - -2). Let t(n) = 3*n - 2. Let f(g) = -5*g - 21. Let k be f(-5). Let s be t(k). Solve -a = b - 0*a + z, 0 = -2*b + 5*a + s for b.
0
Suppose -2 = 3*d - 2*f - 5, 4 = 4*d + 4*f. Let j be 2 - (d + 2/2). Suppose j = i + 3 - 14. Solve 5*r = 4*p - 28, -p - 4*r - i = 3 for p.
2
Let n(k) = -2*k**3 + 11*k**2 - k - 16. Let u be n(5). Solve -f - 8*j + 9 = -u*j, 4*j = -4*f for f.
-3
Suppose 19*x - 9 = 16*x. Suppose 2*s - 18 = -2*u - 0*u, -4*s + 28 = 2*u. Solve 5*c - 3 = -u*q, -3*q + 6*c - 18 = x*c for q.
-3
Let t(s) = 85*s - 478. Let z be t(6). Solve -4*v = v - 4*p + z, 2*v + 2*p + 2 = 0 for v.
-4
Let l(v) = v**2 - 7*v + 3. Let t be l(5). Let y be 2/t - (-4)/14. Let d(m) = -m + 16. Let a be d(16). Solve -s - 2*q - 8 = y, -5*s + a*q + 4 = -q for s.
0
Suppose 3*g - 10 = -2*g. Suppose 5*o = 2*v - 4, g*o + v - 10 = -4*v. Solve 3*p + 17 = -5*m, 0 = -3*p - 4*m - o*m - 16 for p.
-4
Suppose 0 = 5*x + 25 - 10, i = 2*x + 6. Suppose -3*v + 96 = -i*v. Suppose 3*s = -5*w + 32, s - 5*s + 4*w = -v. Solve n - z = 0, -s - 1 = 4*n - 2*z for n.
-5
Suppose -5*p - 21*l + 22*l = -121, 5*l = 20. Solve -5*c = -2*b + p, 5*c + 10 = 3*c for b.
0
Let a = 3 + -4. Let q be (-9)/(-15)*(a - -6). Suppose q*v - 7*v = 0. Solve -2*h + y - 4 = 0, v*y + 11 = -3*h - y for h.
-3
Let g = -13 - -9. Let a(r) = -7*r - 3. Let l be a(g). Suppose -221*q + 224*q = 15. Solve l = 5*i, -q*i + i + 15 = -p for p.
5
Let n(h) = 42*h + 173. Let j be n(-4). Solve 0 = 3*d - w + 7, 3*w - 8*w + j = 0 for d.
-2
Let s = -24 - -55. Let g = s - 31. Solve 5*m = -5*r + 40, g = -r - 3*r + 3*m + 4 for r.
4
Suppose 5*v + 10 = 0, -2*n - v = 2*n - 18. Solve q + 5*h = 28, -n*q - 5*h = -0*h - 40 for q.
3
Let w be -9 + 603/45 + (-4)/10. Solve 5*r - w*q - q = 25, -2*r = q + 5 for r.
0
Suppose -3*x = -3 - 9. Suppose x*u + 14 = 3*v + 37, -5*v + 20 = 5*u. Solve 0 = -2*g + 8, u*g = -0*q - q + 21 for q.
1
Suppose r - 6*r - 15 = 0, -2*r - 22 = -4*d. Let u = -33 + 37. Solve -u*j = -4*p - 16, -d*j + 10 = p + p for j.
3
Suppose -5*u + 3*l + 47 + 275 = 0, -4 = l. Let q = u + -60. Solve -3*g - q*k = 10, -3*g + 3*k + 15 = 2*g for g.
0
Let w be (-2)/(-3) + (-620)/(-15). Suppose w = 2*j + 36. Solve 2*x = 3*d + 3, 2*x - j = -2*d + 5 for d.
1
Suppose 29*x = 44 - 44. Solve -3*n - 3*r = 1 + 14, x = 2*n + 5*r + 25 for n.
0
Suppose -15 = -6*s + 57. Let w = -1 + s. Solve -5 = -u - 4*b - w, -18 = -4*u + 5*b f