 - 13 = 0, 5*b + 2 = c*y + 1 for b.
-2
Let r be 42/7 - (-1 - -5). Let f be (5/(-2) + 2)*-8. Solve r*a + 3*m = -5 - 2, f*m = -12 for a.
1
Suppose 8*l - 3*l = 0. Suppose -7 = -5*p + 3. Suppose l = p*h - 3*h + 12. Solve 0*s + h = -4*y - 3*s, 2*y + 6 = s for y.
-3
Let p(u) = -u + 11. Let d be p(6). Suppose 0*w - 3 = -w - d*s, 4*w + s - 12 = 0. Solve -l - 5*r + 7 = l, w*r = -3*l - 3 for l.
-4
Let s(m) = m**2 + 34*m - 20. Let a be s(-35). Solve -3*t + 13 = -4*j, -3*t + a = -3*j + 3 for t.
3
Let a(g) = -g**3 - 9*g**2 - 7*g + 8. Let i be (0 - 10)*2*(-2)/(-5). Let u be a(i). Solve -3*j - 2*n + 22 = u, -2*j + 4*n = 3*j for j.
4
Suppose -43*v + 41*v = -10. Solve -v*a = -10 - 0, 4*i + 2*a = 0 for i.
-1
Suppose -11*z = -45 + 12. Suppose -2*h - 5*f + 21 = 0, h = -0*f + 3*f - 6. Solve 4*v - 25 = h*o, 5*o + z*v = 2*o + 3 for o.
-3
Suppose 10 = -n + 21. Suppose 9*j + 30 = n*j. Solve 0 = -3*v - j, 8 = -z + 3*z - 2*v for z.
-1
Suppose 0 = -3*k + 6, 2*z = 9*k - 6*k + 20. Solve 4*h + 21 = a, -4*h = 3 + z for a.
5
Let c be 29/8 + 5/(80/6). Solve h = 2*h + z - c, 0 = -3*h - 5*z + 22 for h.
-1
Suppose -9 = 4*w + 5*i, -w = 16*i - 15*i + 1. Solve 2*o + 10 = 2*f + o, w*f - 5*o = 20 for f.
5
Suppose 3*b - 4*n - 10 = 0, 2*b + b + 2*n = 4. Suppose -5*t + b*x = -0*x, -4*x = -t - 18. Solve -3*v + t*k - 12 = 5*k, 3*v + 9 = -2*k for v.
-1
Let h = 407 + -407. Let q = -4 + 6. Solve -3*z + v + 9 = q*v, -4*z + v + 19 = h for z.
4
Suppose 7*l = 6*l + 3. Suppose -l*r + 0*r + 4*o = 13, 0 = 5*r + 5*o + 80. Let x = r + 13. Solve 0 = x*q + 8, -2*j - 4 = -2*q + 3*q for j.
0
Let v(u) = u**3 - 7*u**2 - 9*u + 9. Let z be v(8). Solve -5*i - 6 - z = -2*o, -2*o - 17 = 3*i for i.
-3
Suppose 6*h = h + 225. Let f = 50 - h. Solve f*t = 4*k + 45, 5*t - 2*k - 30 = -k for t.
5
Let a = 75 + -52. Suppose -h - a = -29. Solve -l = -2*b - 2*l - h, l = -2 for b.
-2
Let h be 0/(-11)*(-3)/(-3 - 0). Solve 5*b = o + 12, 5*b = -h*o - 4*o + 2 for b.
2
Let q(o) = o**2 + 16*o + 59. Let z be q(-11). Solve -m + 4*m = -z*a - 15, 0 = a for m.
-5
Suppose 0 = 3*t - 8*t + 15. Let w(i) = i**3 + 18*i - 41. Let s be w(2). Solve -t*q - s*f - 30 = 2*q, -10 = 2*f for q.
-3
Let c be 3/(-6) - 39/6. Let z be (4/c)/((-30)/105). Suppose -60 = -z*i - 3*i. Solve 2*f - 1 = -v - 7, -4*f - 4*v - i = 0 for f.
-3
Suppose -2*a - 32 = -4*a. Let z(j) = 2 - 7*j - 2 - j**2 + 2. Let m be z(-7). Solve -2*f + a = 4*h, m*h = 3*f - 8*f for f.
-2
Suppose v - 1 - 14 = 0. Suppose 2*s - 5*s = -v. Suppose -s*g + c + 11 = 0, 5*g - 2*g - 25 = -4*c. Solve 5*u = 3*n + 12, 3 = g*n + 5*u + 15 for n.
-4
Suppose -537*x + 534*x = -15. Solve x*q - 5*y + 0 - 20 = 0, 0 = -5*q + 3*y + 22 for q.
5
Suppose -4*c = -38 - 122. Suppose p = 4*p - 12. Suppose 3*t = 7*t, p*t = -5*g + c. Solve -5*u = 2*i - 0*i + g, 4*i = 5*u - 16 for u.
0
Let m be (-10)/(2/11 - 360/165). Solve 2*k = -5*x - 4 + 1, 0 = -m*x - 5 for k.
1
Let g = -14 + 16. Suppose l + q - 6 = 5*q, -2*l = -g*q - 6. Suppose -2*r = 3*r - h - 10, l*r - h - 4 = 0. Solve -c - r*b - 26 = -6*c, c - 1 = -b for c.
4
Let h(i) = 5*i - 20. Let t be h(5). Let z(c) = 7*c - 8. Let q be z(t). Solve 3*a - 3*m = -q, 0*a + 2*m - 14 = a for a.
-4
Suppose -3*n - 3*j = 21, -n - 3*j = -0*j + 1. Let m = n + 13. Suppose 3*f - 2 = 4*v, 5 - 12 = -m*v - 2*f. Solve 5*k - 3*h = -40, v = -2*k - 3*h + 6 for k.
-5
Suppose 5*j - 3*m + 199 - 193 = 0, -5*m + 10 = j. Solve 3 = -3*k + x, -2*x = -k - j*x - 6 for k.
0
Let g(u) = 2*u + 12. Let v be g(-5). Suppose 2*x + 0*h + v*h = 0, 0 = 3*x + 5*h. Solve -2*q = 4*c - 20, x = 2*c - c - 3*q + 2 for c.
4
Suppose 11*n - 109 = 243. Solve -o = 4*o + 3*f + n, 2*o - 8 = 4*f for o.
-4
Let y(l) = l**3 - 11*l**2 + 9*l + 14. Let f be y(10). Solve f*s = -4*i, 3*s = -i - s + 6 for i.
-2
Let b be (-6)/9 - (65/15 + -8). Suppose -2*d = 1 - 17. Solve 2*s + 3*z = d - 30, s = b*z + 7 for s.
-5
Let o(s) = -s**3 - 10*s**2 - 5*s + 41. Let a be o(-9). Solve -a*f - 21 = 3*l, 2*l + 3*l + 4 = 2*f for l.
-2
Let m be 5*(2 + -2 + 1). Suppose 0*g - g = 5*s - 68, m*g - 28 = -s. Let n = s + -12. Solve -2*b + n = -2*z + z, 4*b + 3*z = 27 for b.
3
Let s(i) = i**2 - 7*i + 6. Let v = 10 - 3. Let p be s(v). Solve 0 = -4*b + 2*z - p, -3*b + 0*b - 3 = -3*z for b.
-2
Let y be (-1)/(2/(-4) + 1) + 0. Let t be y/(-4)*5/(15/18). Solve 0 = -2*c - c + 5*b - 15, t*c = -5*b - 15 for c.
-5
Let k = 148 + -142. Solve q - 2*l - 3*l + k = 0, 0 = 5*q + 3*l - 26 for q.
4
Let q = 24 - 24. Suppose q = -y - 3*r + 2*r + 21, -r = -3*y + 47. Solve -5*z + 18 = -4*p - y, -4*p = z + 17 for z.
3
Let a = 4 - -10. Suppose -3*r = 5*u + 9, 2*r - a = -2*r + 2*u. Solve 4*c + 4 = 3*j - r, -4*j = c - 8 for j.
2
Let h be 4*(-24)/(-120)*10/4. Solve 4*a + 22 = -h*d, -4*a + 0*d = -d + 13 for a.
-4
Let m be 196/294 - (-25)/3. Solve 6 = 3*l - 5*c + m, 4*c + 2 = -2*l for l.
-1
Let c be (-1 + 0)*(-2 + 1). Let y be 11 - (4/c + -1). Solve 2*z + 0*z - h + 1 = 0, 3*z + 5*h = -y for z.
-1
Suppose u - 4*n = 4, 5*n + 4 + 1 = 0. Solve u*v - 2*a = v + 5, a + 3 = 0 for v.
1
Let h be 3 + 2 + -4 + 2. Solve -2*v - 3 = p, p - h = 3*p + v for p.
-1
Let n be 2/(1*(36/(-8))/(-9)). Solve -4 = 3*z + 2*w, 0*w - 12 = 4*z + n*w for z.
2
Let b(n) = 8*n - 84. Let h be b(11). Solve 2*f - 3 = -h*m + 9, -5*f - 15 = -5*m for f.
0
Suppose -4*n = -0*n - 16. Let k be n/(-24) + 13/6. Let o(b) = b**3 + b**2. Let t be o(0). Solve k*y - 3*j = -y - 6, t = 2*y - 5*j + 13 for y.
1
Let x be 4 + -1 + (8 - 18/3). Solve 0 = -4*y + 12, -r + x*y = 4*y + 3 for r.
0
Let r be 2/(-3) + 42/9 + 15. Suppose 13*a + 48 = r*a. Solve -a = -3*x + 4*y - 25, 3*x + 3*y - 18 = 0 for x.
1
Suppose -17*u - 6 + 6 = 0. Solve 0 = -2*y + 6*y - 4*s - 12, -5*y + 4*s + 14 = u for y.
2
Let h(t) = -t**3 + 30*t**2 + 64*t + 6. Let g be h(32). Solve r - q - q = 3, -2*q = g for r.
-3
Suppose -329 = -42*y - 35. Solve 0 = -n - 5*t - 21, n - 4*n - t = -y for n.
4
Let o be -4 + (-21)/9*-3. Let j be (-4)/o - (-1020)/36. Solve 0 = d + 4*q + 17, 2*d - j = -2*d + 3*q for d.
3
Let q(j) = -10*j + 12. Let o be q(1). Solve -2*z + 5*d + 4 = z, o*z = -4*d - 12 for z.
-2
Suppose -5*s - 3 = 5*j + 7, 2*s + 8 = -3*j. Suppose -s*i + 9 = -5*i. Let r be ((-28)/21)/(2/i). Solve m - 3*m + 5*p = 21, -r*m = -p + 1 for m.
2
Suppose 5*k - 661 = 4*o + 6*k, -3*o = k + 496. Let n = o + 168. Solve n*d - 2*a = 1, 3*a = -3*d - 1 + 7 for d.
1
Suppose -2*b + 5*t - 80 = 3*b, 4*t = -5*b - 71. Let f = -13 - b. Solve -3*u - f*u + 25 = -3*k, -5*u + 25 = 2*k for u.
5
Suppose -3 = -2*q + 5. Let u(y) = 2*y**2 - 33*y + 138. Let n be u(7). Solve n*x = -3*l - 40, 5*l - 2 = q*x - 7 for l.
-5
Suppose 67*g - 2*g = 195. Solve 2*v - 2*o + 6 = 2*o, 0 = -g*v + 4*o - 1 for v.
5
Suppose 0*u + 9*u - 144 = 0. Solve 3*y + 5*i - u = 0, 15 = -3*y + 2*i - 4 for y.
-3
Let q = -177 - -179. Solve -4*a = 2*l - 14, 3*a - 4 = a + q*l for a.
3
Suppose -14 = -3*k + 5*l, -l = k - 4*l - 6. Suppose -2*s - k*a = 7 - 0, 3*s = 3*a + 27. Solve -25 = -3*x + 5*i, 7*x + 5*i = s*x - 25 for x.
0
Let q(j) = j - 12. Let o be q(6). Let z be ((-1)/3)/(o/72). Solve -z*y = -3*l + 16, 4*y - 5*l = -y - 25 for y.
-1
Let l be (9 - 3) + (-64)/(-8). Suppose -3*f - 2*f + 25 = 0. Suppose -f*q = -0*q - 25. Solve 5*k - 4 = 3*k - 2*h, q*h = -k + l for k.
-1
Let r be (-2)/2 - (-3)/3. Suppose 2*q - 2*s - 7 - 23 = 0, 2*q + 4*s = r. Let y = q - 6. Solve d - 25 = y*w, 0 = -2*w - 0*w - d - 5 for w.
-5
Suppose 4*x - 24 = -8*x. Solve 4*i - 2*w = 5*i + 3, -w + 3 = x*i for i.
3
Suppose 15 = -0*y + 5*y. Suppose -y*f + 2*f = -5. Suppose -8*p - f = -9*p. Solve -4*x = 2*m, 5*x - 3*m + p = -8*m for x.
1
Let f(m) = m**3 + 7*m**2 - 3*m - 8. Let x be f(-7). Suppose 11*a = x*a - 4. Solve -4*j = 2*h - 22, a*h - 2*j + 2 = -6 for h.
1
Suppose -2*o + 52 = 3*t, -4*t + 2*o = -3*t - 4. Let v = -22 + 31. Let m = t - v. Solve 2*h = -2*b + 3*h - 5, 0 = -5*b - 5*h - m for b.
-2
Suppose -8*z + 35 = -5*z + 5*n, -5*n + 15 = -z. Suppose 4*r - 5 + 29 = 0. Let d = r - -13. Solve 3*b - 2*w - 7 = -d*w, 0 = 5*b + z*w - 15 for b.
4
Suppose -3*t + 12 = -2*h, -4*t + 5*h = 8*h - 16. Solve -7 = -3*i + f, -12 = -t*i + 3*f + 4 for i.
1
Let n(i) = i**3 + 2*i**2 - 4*i**2 - 16*i**2 + 0*i**2 - 38 - 17*i. Let l be n(19). Solve -o - 15 = 5*m, 3*o - 3*m = -l*m - 9 for o.
-5
Let z = 164 + -157. Solve -3*v - 33 = 5*s + 2, 3*s - v = -z for s.
-4
Let r = 214 - 212. Solve -4*k = 4*y - 6*k - 8, r*y - 8 = 2*k