 0 = b - 5*u - 15 for b.
-5
Let w = -5 + -7. Let f(r) = 2*r**2 + 12*r + 12. Let m be f(-7). Let l = w + m. Solve 0 = -z + 2*z - 2*o - 4, -5*z + l = -4*o for z.
2
Let o(z) = z**3 + 5*z**2 + 3*z - 6. Let w be o(-3). Suppose -w*b = -2*a - 8, 0 = a - 4*b + 15 - 1. Solve -t + a*g + 6 = t, 4*t - 2*g - 16 = 0 for t.
5
Let j = -80 + 84. Solve -2*l + 2*c = -14, j*l - 7 = -0*l - 3*c for l.
4
Suppose 0 = 220*g - 235*g + 75. Solve 2 = -5*m + 4*o, -7*o = -g*m - 2*o for m.
-2
Let w be ((-6)/10)/(-3)*55. Solve 4*t = z + w, 2*t + 0*t = -z + 7 for z.
1
Suppose 0 = -3*q - 14 - 13. Let t be (q + 7)*(-5)/2. Suppose 15 = t*m - c + 5, 3*m - 2*c = 13. Solve -4*s + 4 = 4*o, 0 = 3*s + 3*o + o + m for s.
5
Let n(z) = z**2 + 18*z + 26. Let b be n(-15). Let p = b - -21. Solve -4*i = 3*f + 13, 2*i + 7 = -p*i - f for i.
-1
Let c = -76 - -122. Let v = 50 - c. Solve 0 = -3*s - 9, -s = v*u + u + 23 for u.
-4
Let q(g) = -g**3 - 4*g**2 + 3*g + 5. Let z be q(-4). Suppose 9*r - 22 = 11*r. Let x = z - r. Solve 2*y - 5*j = -17, x*j = 5*y - 0*j for y.
4
Let k be 77/22 + 5/2. Solve -x + 2 = -3*i, k = 7*x - 4*x - 5*i for x.
2
Let d = -92 - -94. Solve -2*p = d*n - 7*n - 17, -n - 4*p - 21 = 0 for n.
-5
Let d = -19 + 24. Let s(r) = 2*r**2 - 9*r - 3. Let v be s(d). Solve 0*m - 2 = -2*m + 2*z, 0 = -v*m - z + 5 for m.
2
Suppose 13*h + b = 14*h, 4*h - 2*b = 0. Solve -q + 4*l = 14, h = -q + 2*l + l - 10 for q.
2
Let f = 57 + -57. Solve 0*d = t + 5*d - 16, 4*d - 16 = f for t.
-4
Suppose 271*u = 273*u - 12. Let x = 14 + 3. Suppose -x = -l - 2*l - 2*k, -26 = -5*l - k. Solve 4*m - 3 = l*i, 3*i + m - 6*m = u for i.
-3
Let t = -71 - -67. Let d be -6*(t + 40/12). Solve 3*l + d*x + 4 = 0, -3*l = 3*x + 7 - 1 for l.
-4
Let r(q) = -q**2 - 6*q - 2. Let k be r(-5). Suppose 10585*i = 10587*i. Solve -2*n + 3*g = k*n - 22, 2*n + g = i for n.
2
Let f(q) = q**2 - 6*q - 3. Let x be f(7). Let y(g) = -g**2 + 10*g - 12. Let a be y(8). Suppose -a = -4*w + x. Solve -s = -2, w = -v - s + 7 for v.
3
Let h(f) = f**3 - 4*f**2 + 5*f - 4. Let x be h(3). Suppose 3*g - 8 = g. Solve -u + 1 + x = 0, 16 = 4*s + g*u for s.
1
Let h = 74 + -46. Let y be 120/(-16) - -6 - 7/(-2). Solve y*u = z - 6, h = -4*z - 0*z - 5*u for z.
-2
Let i be (-1)/((-96)/(-94) + -1). Suppose 0 = 2*r - 3*x + 48 + 102, -5*x - 206 = 3*r. Let j = i - r. Solve -2*v + j = -5*z - 4*v, 3*z - 1 = 2*v for z.
-3
Let u be (-44)/(-2) + 2/(-1). Suppose -5*m + 13 = n, -4*m - n + u = 3*n. Let s be -3 + 20/8*m. Solve 4*g - s*x = 10 + 16, -2*g + 2*x = -18 for g.
4
Suppose -2 = 5*p - 7*p. Let z(k) = k**2 + 2*k + 2. Let m be z(-2). Suppose -5*c + m*c = 0. Solve c = s - p, s - 2*s = -4*y - 1 for y.
0
Suppose -3*s + 5 + 20 = -b, 2*s - 21 = 5*b. Suppose s = r - 2*d, 4*r + d = 16 - 2. Suppose 12 + r = 4*w. Solve -j + 5 = -2*q - w, -5*j = 2*q - 9 for j.
3
Let n = -16 - -18. Let l(y) = -y + 6. Let i be l(6). Solve i = 3*d + n*a + 3, -2*d + a + 8 = -a for d.
1
Let l(w) = 4*w**2 - 49*w + 14. Let f be l(12). Solve f*j - 10 = -0*j - 3*o, 0 = 4*j - 5*o - 20 for j.
5
Let d = -2563 + 2572. Let h = 0 - 0. Solve -25 = -2*c + 4*c + 5*k, -3*k - d = h for c.
-5
Let t = -3 - -7. Let c be (-14)/(-182) + 128/26. Solve -6*w + w + c*o = -15, -t*o + 16 = 3*w for w.
4
Suppose 0 = 16*l - 20*l + 28. Suppose 10 = -12*o + l*o. Let r be (-6)/15*5*o. Solve -4*i - y = 3*y + 12, 0 = -i - r*y for i.
-4
Let j be (3/(-4))/((-24)/96). Solve 0 = 2*p - 6, -5*k + 8*p - j*p = 35 for k.
-4
Let n = -39 - -44. Suppose -4 = -3*w + n. Solve 3*a = -w*y - 4 - 2, -a = 3*y for y.
1
Suppose 3*a + 3*k = a + 10, -3*a = 3*k - 12. Solve 0 = 5*j - 2*x + 23, 0*j - a*j - 13 = 3*x for j.
-5
Suppose -2*c = -c - 10. Solve 7 = -s - 5*u - 13, -s - 3*u - c = 0 for s.
5
Let m be (-12)/42 + (-88)/(-14). Suppose 0 = -3*a + m + 30. Suppose -5*t = i - 0*i - 18, -t + 5*i = a. Solve t*p = 4*x + 23, -3*p - x + 6*x + 25 = 0 for p.
5
Let k be (-2 + 52/8)/(12/8). Solve i - 2*r = 7, 3*i + k*r - r = -3 for i.
1
Suppose -4*j - 4*c = -4, 3*c - 31 = -4*j - 24. Solve -i = -f, 0*f + j*i - 30 = -2*f for f.
5
Suppose -2*r = w - 2*w - 9, -2 = -r - 2*w. Suppose 2*u + 30 = r*d, 0 = 3*u - 7 - 2. Solve 3*z = 3*o + 6*z - 15, 0 = 5*o + z - d for o.
1
Let w = 97 - 87. Solve 0 = -2*i + 4*l + 26, 3*l + 12 + w = 2*i for i.
5
Let z = -51 - -31. Let s = -7 - z. Let h be (((-2)/(-2))/1)/1. Solve 0 = 4*l + 4*v + 3 + h, -l = -5*v + s for l.
-3
Let j(k) = -k**2 + 14*k - 16. Let q be j(12). Suppose q*y = 17 + 7. Solve -2*c = -10, 0 = -y*w - 5*c + 2*c for w.
-5
Suppose -3*f + 57*a - 55*a + 9 = 0, -2*f - 5*a + 6 = 0. Solve -15 = -2*d - f*d, 3*d - 8 = s for s.
1
Let b(v) = -5*v + 45. Let q be b(8). Solve -45 = -q*w + 5*l, -4*w + 4*l + 11 = -5*w for w.
5
Let w = 106 + -102. Solve 0 = w*a - 5*h - 5 - 16, -4*h - 20 = 0 for a.
-1
Let m be (-1*1)/(-10 - (-1971)/198). Solve 5*v - m = -i - 2*i, -7 = -2*v - 3*i for v.
5
Let i be (-51 + 41)*9/(-30). Solve 2*n + i*p - 1 = 3*n, 3*n = -2*p - 14 for n.
-4
Let t = 235 - 235. Solve -3*x - 3*a - 9 = 0, -a - 19 = 5*x - t*a for x.
-4
Let z be 0*3/(6/(-1)). Suppose -5*x + z = -15. Solve -x*s + 6*s + 18 = 3*n, -n + 4 = 0 for s.
-2
Suppose -3 = 2*z - 1, 4*z - 36 = -2*i. Suppose 0*p + i = 5*p. Solve 0*w = s - w + p, -2*w + 2 = s for s.
-2
Let y = 1098 + -1086. Solve 2*j = -3*x + x + 12, -4*j + 2*x = -y for j.
4
Suppose 2*m + 3*x = -12 + 14, 22 = 3*m - 5*x. Solve 11*v - 5 = 16*v - 4*u, -4*v - m*u = 4 for v.
-1
Let b = 52 - 13. Let u = b + -36. Let y = 12 + 1. Solve -u*v - 12 = -4*w + w, y = -4*v + w for v.
-3
Let x = 125 - 212. Let j be x/(-27) - (-4)/(-18). Suppose 0 = -w + k, j*k = -4*w + k. Solve -2*o + 4*b = -w*b - 18, -21 = -5*o - 2*b for o.
5
Let w(j) = -j**2 + j + 4. Let z(a) = a**2 + 3*a - 4. Let o be z(-4). Let k be w(o). Let r be ((-6)/6)/((-1)/2). Solve 5*g + 28 = -h, -r = 4*h + 2*g - k*g for h.
-3
Suppose -6*r - r + 14 = 0. Let v = 16 + -32. Let i = -13 - v. Solve l = 2*y - 7, -2 + 7 = -i*l - r*y for l.
-3
Let f(l) = -2*l - 1. Let p be f(-3). Suppose p*g = -0*g + 10. Let q be -3 - (-15)/(-35)*(0 - 7). Solve 3*j - g*w = -2, -3*w + 2 + 1 = q for j.
0
Let j = 102 + -86. Solve 3*b + 3*l + 18 = 0, 3*b - l + j = -2*l for b.
-5
Let n(m) = 5*m - m**2 - 5 - 1 + 6 - 2. Let z be n(4). Solve 5*i - z*h = 1, -h + 0*h + 3 = i for i.
1
Suppose -3*b + 2*a - 8 = 2*b, -4*b + 4*a = 16. Solve 2*j + 4*n + 9 + 9 = b, 0 = 4*n + 20 for j.
1
Suppose 2 + 1 = -3*n. Let w be ((-22)/n)/(4 - 2). Suppose 4*a + 0*a = -d + 7, d = -2*a + 5. Solve 4*u + w = 3*k + 2*k, -d*k + 7 = -2*u for k.
3
Let n(u) = u + 5. Let i be n(-2). Let q = 4 + -2. Solve f + 14 = -i*h - q*h, -3*f = -4*h + 4 for f.
-4
Let d = 10 + -9. Let s be (-2)/(-2) - -2 - d. Suppose 4*u + 14*u = 252. Solve u = -s*i + 2*t, -i + 3*i + 4 = -3*t for i.
-5
Suppose -4*y - 158 = -5*j, -4*j + 22 = -y - 100. Let d = -25 + j. Suppose d*b - 2*b - 23 = -4*g, -29 = -5*g - 4*b. Solve -g*c - 23 = h, h = -c - 4*h + 5 for c.
-5
Suppose -4*y + 54 = 5*y. Solve 6*i + 3*x = 2*i + 2, y = 4*i + 5*x for i.
-1
Let i = -38 - -48. Solve -5*t - 4 = -7*c + 4*c, 2*c - i = -4*t for t.
1
Let c(l) = 3*l - 40. Let i be c(15). Solve -3*t = 4*n - i*t + 12, -n = -3*t + 3 for n.
-3
Suppose -b - b = 0, 4*b - 6 = 2*q. Let w be 4*((-30)/(-8) + q). Solve 0 = -3*u + 3*s + 2*s - 13, 0 = w*u - s - 7 for u.
4
Let n = 29 + -29. Suppose -5*f + f + 2*r = -22, 5*f + r - 17 = n. Solve -40 = 5*d - 5*u, -f*u = 5*d - 3*u + 16 for d.
-4
Let k(h) = h**3 - 2*h**2 + 1. Suppose -17 = -4*n + 2*f + f, 3*f = -n - 7. Let a be k(n). Solve -3*g = l + 4, 0*l - 2*l - 3*g = -a for l.
5
Suppose -2*k + 10 - 6 = 0. Let i be k + 0 + (-3 - 2). Let v(w) = w + 7. Let c be v(i). Solve -3*y + 0*n + 4*n - 1 = 0, -4*n = -c*y - 4 for y.
-3
Let a = -473 - -477. Solve x = -3*x - 2*v, a*x - v = -12 for x.
-2
Let t be 3/((-12)/4)*-7. Suppose -4*q = -1 - t. Let a be (-1)/(-2*4/80). Solve f + a = -4*f, q*f + 4 = 3*z for z.
0
Suppose -3*k + 264 = 3*n, 6*n + 470 = 5*k + n. Let f = 111 - k. Solve -3*a + 7 = -2*c - 0*c, 0 = -5*a + 5*c + f for a.
-1
Let f = 80 - 76. Solve 5*m + 15 = 0, -2*m + 0 = f*n - 6 for n.
3
Let l(j) = -j**2 + 8*j + 12. Let q be l(9). Let y be (1 - 3 - -3)*q. Let u = 0 + y. Solve -2*o + u = 5*s, -3*o = -2*s + 4*s + 1 for s.
1
Let i = 514 + -511. Solve i*n = 4*n - h, 0 = -4*h for n.
0
Let n(v) = -5*v + 21. Let x be n(7). Let s = x + 19. Solve -5*h + 2*i - i = -17, s*h = -