
Let l = 819 + -817. Solve -4*v - l*m = 30, v + 4*m + 20 = m for v.
-5
Suppose 15*x + 3*x - 72 = 0. Solve -r + 3 = y, 0 = 8*y - 4*y + 2*r - x for y.
-1
Suppose 50*p - 51*p - 5*h + 10 = 0, -2*p = -5*h + 10. Solve -5*w = -2*z + 31, p = 2*z - 3*w - 6 - 15 for z.
3
Let d = 1081 - 1076. Solve 3*g - 3 = 0, -d*b + 0*g + 22 = 2*g for b.
4
Suppose -v = -2*z - 47 + 26, 6 = -3*z. Solve 5*f = -2*i + 21, 8 = 5*f - v for i.
-2
Let a = 521 - 519. Solve -2 = -4*h + 2*m + 8, 3*h = a*m + 6 for h.
4
Suppose 0 = -3*d - 10*n + 6*n + 22, 16 = 4*d + 2*n. Solve -r - 14 = -0*r + 5*k, d*k + 10 = 4*r for r.
1
Let f be (12/30)/((-4)/(-10)). Suppose -2*v = 3*b - 22, -3 = 2*b + f. Suppose 8*y - v = y. Solve -22 = 5*u - 3*h, -y*h + 14 = 3*u + 3*h for u.
-2
Suppose 14 = -4*o + 30. Solve 3*f + 2*y - o = -3*y, -4 = -2*y for f.
-2
Suppose 5*b + 0*b + 23 = -4*p, -p + b = 8. Let s be (-4)/p*7/2. Suppose 0*z = s*z. Solve z = -4*u - 8, v + 5*u + 5 = -4*v for v.
1
Let z(v) = 17*v + 14*v + 65*v. Let l be z(1). Suppose -3*s = 3*s - l. Solve -2*o + s + 0 = -2*c, 5*o - 34 = 3*c for c.
-3
Suppose z - 2 = -5*t, 0 = -3*t - 2*z - z + 6. Solve -3*q - 2*q - 20 = t, -5*c = -2*q - 23 for c.
3
Suppose 5*x = 11*x - 30. Solve -x*q - 5 = -3*l, -3*l + 24 = 2*q + 26 for l.
0
Let l be (12/(-15))/(1/((-45)/9)). Solve 5*d = 4*a + 25, -a + l*a + 5*d + 10 = 0 for a.
-5
Let q(h) = -h**3 + 8*h**2 - 8*h + 7. Let l be q(7). Let a be l*(-2 - 12/(-4)). Suppose 6*s - 6 - 12 = a. Solve -d + 21 = 4*x, -2*d + s*x = d + 12 for d.
1
Let t = 2483 - 2477. Solve 3*q = q + 4*r + t, 9 = 3*q - 4*r for q.
3
Suppose 0 = -4*r - 0*r. Let q = 1483 - 1483. Solve r = 2*c, 3*d + 2*c + 3 = -q*d for d.
-1
Let m = -82 - -101. Solve 0*v = -i - 5*v - 1, 4*i - 3*v - m = 0 for i.
4
Let h(n) = 6*n - 66. Let o be h(11). Solve 2*m - 5*a = 13, o*a + 5*a + 15 = 0 for m.
-1
Let j(y) = y**2 + 8*y + 17. Let r be j(-7). Suppose r*c = 8 + 22. Solve 2*h - 11 = 3*k, 0 - 11 = c*h + k for h.
-2
Let n(z) = -3*z - 24. Let u(t) = -t. Let h(v) = -n(v) + 4*u(v). Let b be h(19). Solve -r - r = -b*g, r + 4*g = 13 for r.
5
Suppose b - 2*s - 14 = 0, 2*b + b = -2*s + 2. Let z be (24/(-56) - 24/(-7)) + -3. Let h be ((-9)/(-6))/(6/28). Solve -5*k = z, -q - h*k = -3*k + b for q.
-4
Suppose 0 = 6*x - 111 - 33. Let a = x + -24. Solve -3*t - 5*k = 40, a*t + 2*t + 30 = -4*k for t.
-5
Let x be (8 - 6) + (-3 - -1). Let c be x/1 - 1 - -14. Let n be (-6)/(-4)*(-11 + c). Solve -2*s + 1 = -3*s + n*j, 2*j = s + 2 for s.
-4
Let i be (0 + 3/6)*6. Let o be (-3)/((i/3)/(-1)). Solve -y + 3 = -o*f - 11, 5*y - 25 = 0 for f.
-3
Let i(y) = 3*y - 6. Let r be 2/(-5) + 18/(-30) - -4. Let f be i(r). Solve f*w = 3*j + 12, -2*j = 3*w - w for w.
2
Suppose 352 = -252*b + 284*b. Solve 0*v = 3*v + q - b, 9 = 2*v + q for v.
2
Suppose 138*x = 125*x + 65. Solve x*r + 12 - 57 = -4*t, t - 30 = -5*r for t.
5
Suppose 945 = -10*n + 37*n. Solve 5*s = 9 - 24, 5*q - n = 5*s for q.
4
Let z be (-1 - -4) + (0 - -1). Suppose 20*v = 3*v. Let q(r) = r**2 - 6*r + 5. Let s be q(5). Solve v = -0*l - 5*l + z*g + 27, s = l + 3*g + 6 for l.
3
Let s = 493 - 488. Solve -5*b + 2*l = 22, -3*b - 8 = s*l - 1 for b.
-4
Suppose -t + 5*d = 20, 0 = -5*t + 11*d - 16*d + 20. Solve -5*q = -4*i - 1 + 17, t = -3*i - 3 for q.
-4
Suppose 7*y + 7*y = 210. Suppose -4*a = -a - y. Solve -a*c = -5, 3*l - 3*c + 4 = c for l.
0
Let u = 310 - 300. Solve 5*b + 5 = -3*i, 2*i - u = 4*i for b.
2
Let z be ((-24)/10)/(2/20). Suppose 20*h - 54 = 6. Let c be h*(-4)/z*18. Solve 5*d = -5*u, -5*d + u + c - 33 = 0 for d.
-4
Let z = 8 - -3. Let d be -3*(3 + z/3). Let k = d - -25. Solve -3*x + a = -1 - 6, x - k*a + 21 = 0 for x.
4
Let t be (60/100)/((-2)/(-50)). Solve -2*z + y + t = 0, -2*z - y - 4 = -9 for z.
5
Suppose -3*d + 245 = 4*d. Suppose -d*n + 36*n - 5 = 0. Suppose 6*c - 2 = n*c. Solve -4*x - 21 = -c*k - 9*x, -4*k = x + 3 for k.
-2
Suppose -5*o = 3*v - 16 - 7, -3*v = o - 19. Solve -h = -5*a - 14, -3*h - 12 = 5*a + v for a.
-3
Suppose 2 = m - 1. Suppose -5*s + 47 = -3*j, 5*j = -m*s + 7*s - 35. Let n be 1*(-1)/(-2)*s. Solve 7*w - 3*w = h - 7, -n*w + 2*h = 8 for w.
-2
Let t(o) = -o**2 + 6*o + 10. Let v be t(7). Let q = v - -2. Let n = -6 - -10. Solve -n*z + q*j = -1, z + 3*j = 5 + 8 for z.
4
Let v be -13*4/16*4. Let k = 13 - -12. Let f = v + k. Solve t + f = -4*r, -r + 8 + 8 = 5*t for r.
-4
Let x = 2 + 1. Suppose x*k - 8 = -2. Solve -2*i = 2*w + 2, 6 = -k*i - 2*i - 3*w for i.
-3
Let u(a) = -5*a - 20. Let k be u(-5). Suppose 20 = b + 3*b + 4*t, 0 = -k*b + 2*t + 39. Solve -2*c + 2*z + 2 = 0, 3*z = -0*c - 2*c + b for c.
2
Suppose 0 = 65*j + 2*j. Solve -5 = 2*y - j*y - g, -4*y - 1 = g for y.
-1
Let d = 21 + -21. Solve 0 = -5*h + 2*f - 16, -h - f - 2*f + 7 = d for h.
-2
Suppose f = -75 + 80. Solve -4*d + 3 = -u - f, -3*d + 6 = u for d.
2
Let f = 508 + -505. Solve 2*w - 5*d - 4 = 0, -4*w + f = 4*d - 5 for w.
2
Suppose 57*u - 91 = 194. Solve 2*k = 7*k + 5, 5 = 5*g - u*k for g.
0
Suppose -2*p - 6 = -14. Suppose 0 = 3*v - q - p, -3*v - 3*q = v - 14. Solve v*l = 5*s - 10, 2*s - 32 = -s - 4*l for s.
4
Let n(r) = -r**2 + 7*r - 7. Let b be n(4). Solve 5*i + v = -0 - 4, -b*i + 4 = -v for i.
0
Suppose 67 - 19 = 6*u. Suppose 0 = -37*m + 39*m - u. Solve 2*s = 2*b + 10, 1 = m*s + 2*b - 7 for s.
3
Let a = 1540 - 1536. Solve 3*z + 2*p = -13, a*z + 4 = -0*p + 4*p for z.
-3
Let q(o) = o**3 - 2*o**2 + 2*o - 1. Let f be q(1). Let y(w) = 7*w + w - w**2 + 1 + 1. Let i be y(8). Solve -v - i = f, -4*v + 8*v = r - 13 for r.
5
Suppose 54 = 5*g + 2*w, 4*g - w - 4*w = 30. Let m = -6 + g. Solve 4*n - 5*p - 4 = -10*p, m*n - p = 4 for n.
1
Suppose -4*m - 60 = -8*m. Suppose -125 = -6*x - 95. Suppose s = x*s - 20. Solve 4*g + 4*y = -12, 0 = -s*g + 2*y + y - m for g.
-3
Let y(g) = 7*g. Let l be y(1). Let k(b) = b - 3. Let u be k(l). Suppose u*o + o = 20. Solve o*d = -f + 20, -f - 22 = -5*d - 6 for d.
4
Let z be (-3)/(-2)*13/(234/372). Suppose -5*t + 2*t = 84. Let x = t + z. Solve -g - 2*g = 3*i - 15, x*i = 5*g - 1 for i.
3
Suppose -3*x = 6*r - r - 42, 4*x = -3*r + 23. Let q = 11 - 1. Let a = q - r. Solve -l = -f + a, l - 2*l - 6 = -2*f for f.
5
Let r(z) = z**2 - 4*z - 16. Let x be r(-4). Suppose 4*s = -0*s + x. Solve -s*n = 16, -l = 3*n - 6*n - 17 for l.
5
Suppose 5*n - 22 = -3*k, -n = -2*k + 2*n + 2. Suppose 48 = k*l + 8. Solve -3*c - 2*c = -4*z + 45, -4*c = 2*z + l for c.
-5
Suppose 5*h - 3*h - 4 = 0. Suppose -21 = -h*n - n. Let y be ((-7)/(n/2))/(-1). Solve -2*o - y = -4*v, 2*v = 3*o - 2*v + 3 for o.
-1
Let b(u) = u**3 + 3*u**2 + 4*u + 2. Let s be b(-2). Let k be 1 + (-11)/(-4) + s/(-8). Solve -3*d = -5*p + 19, p - 1 = k*d - 4 for d.
2
Let l be 0 + 7 + -41 + 35. Solve 0 = -p - 3*t, 4*t = -l - 3 for p.
3
Let j be (-5)/3*(7 + -4). Let y be (9/j)/((-9)/30). Suppose -6 = -6*f + y. Solve 2*x - 3 + 1 = -4*q, -f*q = -6 for x.
-5
Suppose -4*m = -3*m + 4*q, 4*m - 3*q - 19 = 0. Solve 5*k = 3*j - 5, -3*j + m - 5 = k for k.
-1
Suppose 5*x + 2*x = 2*x. Solve -2*w = -x*s + 3*s + 1, 3*s = -w + 4 for w.
-5
Let h(p) = p**2 - 2*p - 3. Let t be h(6). Suppose 3*n = -4*n + t. Solve n*s - 2*r + 9 = 0, 3*s - 2*r = -s - 10 for s.
-1
Suppose -17*z + 20*z = 126. Let f = -31 + z. Solve -2*g + 4 = 2*p, 3*p + f = 4*g - 11 for p.
-2
Suppose 0 = -4*q - 8, -3*t = -5*t - 4*q - 120. Let s be 5/25 - t/(-5). Let v = s - -16. Solve r - 3 = -v*c, 9 = 4*c + c + 3*r for c.
0
Suppose 4*n = -2*q - 6, -2*q + 0*n = -2*n. Let u be (10/q)/(-2)*8/10. Solve 3*m - u*p + 0*p - 18 = 0, p + 1 = -m for m.
2
Let v = -1 - -39. Suppose -13*s = -15*s + v. Solve 0 = -3*q - 2*j - s, 3*j = -4*q - 2*j - 30 for q.
-5
Let h(k) = k**2 + 24*k + 49. Let n be h(-22). Let s be 1 + 1*3/(-3). Suppose 5*x + 0*x - 20 = s. Solve n*y = -2*f - 9 + 1, x*y + f = -4 for y.
0
Suppose 3*x + 5*x = 0. Suppose 6 = -x*c + 2*c. Solve -4*l = c*v - 2 - 3, 3*v + 3*l = 0 for v.
-5
Suppose -11*d - 137 = 72. Let a(q) = -q**2 - 19*q. Let v be a(d). Solve 0 = -v*w + 3*w + 2*z + 1, -w = 5*z - 17 for w.
-3
Let o = -2132 - -2137. Solve 2*u = -2*k - 2, -2 + 6 = o*k - 4*u for k.
0
Let z(u) = -4*u**3 - 2*u**2 - u. Suppose a - 5 = 6*a. Let r be z(a). Suppose -4*y - 4*b - 5 = -25, 4*y + r*b = 18. Solve -9 = y*f, -i = -f - 4*f - 12 for i.
-3
Let k(l) = -l**2 + 12*l - 7. Let j be k(10). Solve 5*d + j = 5*s - 7, -16 = -4*s for d.
0
Suppose -2*f - 9 = -2*t + 3, f - 6 = -3*t. Suppos