ve -r = -n - 1, -2 = y*r - 5*r for n.
0
Let r be 2/(-4)*(2 + 0). Let m be 0 - r*(-4 - -6). Solve o - m*z = 10, -7*o - 2*z = -3*o - 10 for o.
4
Suppose 0 = -4*o + 40*l - 43*l + 35, l - 30 = -5*o. Solve 5*c + 9 = 3*y, y - o*c - 6 = -y for y.
3
Let n = -685 - -738. Suppose 7*a - n + 25 = 0. Solve -a*d + 3*o = -4, 4 = d - o + 2 for d.
-2
Suppose 14 = -6*p + 50. Suppose -b - r = -9, 0 = -b - p*r + 4*r + 7. Suppose -12*d = -b*d - 5. Solve -z + 23 = d*g + z, g - 11 = -2*z for g.
3
Let m(q) = 10*q - 46. Suppose 13 = 3*d + 2*s - 8, 0 = 3*d - 5*s. Let f be m(d). Solve -i - 4*i = -f*n - 19, -4*i + 7 = 5*n for i.
3
Let y(k) = k**3 - 8*k**2 + 14*k + 7. Let z be (-1 - 9)/(-4 + 2). Let o be y(z). Solve -2 = 2*q - o*x - 4, 0 = -q - x + 5 for q.
3
Let y be (4/(-16))/(9/(-180)). Solve 4*f = -9*o + 11*o + 2, -4 = y*f + 4*o for f.
0
Let f be (1272/22)/12 - 6/(-33). Solve 4*b = -g + f*g + 28, b = -g + 3 for b.
5
Let k = 189 - 426. Let d = k + 242. Solve -s + 4*s - 2*n = -d, -2*n = -5*s - 7 for s.
-1
Let j be 53 + (2/(-1) - (-3)/3). Let w be ((-4)/(-2))/(j/78). Let t be 2 - 3 - (-3 + -1). Solve -9 = w*m, 15 = -n - t*m - m for n.
-3
Suppose 27 = -o - 2*x + 17, 2*o - 4*x = 28. Suppose 0 = 3*a - a - 56. Solve -p = r - 2, 0 = -p + o*p - 5*r + a for p.
-3
Let v = 228 + -89. Let t = v + -128. Solve 4*c + t = 4*d - 9, c - 5*d = -9 for c.
-4
Suppose 5*t - 35 = 14*a - 16*a, 10 = 4*a - 2*t. Solve a*c = l + 83 - 69, -5*c - 4*l = -19 for c.
3
Suppose 4*o = n + 20, -2*o + 1 + 3 = n. Let a be (6/(-4))/(n*15/(-160)). Let t be a/(-1*2) + (-33)/(-11). Solve t*l - 5 = 2*h, -2*h - l + 4 = -9 for h.
5
Let n(s) = 2*s**3 + 13*s**2 + 2*s - 21. Let g be n(-6). Solve 0 = 7*f - 11*f + g*u + 4, -u = 5*f - 5 for f.
1
Let b(t) = t**2 - 28*t + 84. Suppose -3*j = -4*j + 25. Let v be b(j). Solve 0 = -c - 5*i + v, -i = 5*c - 3*i - 18 for c.
4
Suppose -9 = -3*v, 3*v - 21 = -7*j + 3*j. Suppose 19 = 2*m + j*i, 3*i + 1 = 2*m + 12. Let l = 3 - -2. Solve -2*t - p - m = 7, 4*t = l*p + 17 for t.
-2
Let o = 4639 + -4604. Solve -7*g - 3 = -6*g, -5*t - 5*g = o for t.
-4
Let x = -4 + 8. Suppose b - 4*w = -72 + 79, 5*b + 5*w = 10. Solve 5*o + 17 = 4*c, b*c + 14 = -x*o - 12 for o.
-5
Suppose 0 = 20*d - 7*d - 104. Suppose -5*v + 4 = -4*n, -3*n = 3*v + d - 32. Solve -2*c - v = -3*q + q, 2*c - 26 = -4*q for q.
5
Let v be 20/150 + (-4)/30. Suppose 3*t - 12*t = v. Solve 3*g - 3*r + 2*r = -15, -g + 4*r - 16 = t for g.
-4
Let w(m) = -m**2 - 5*m + 1. Let o be w(-4). Let f be (-3)/(-2)*784/84. Suppose -f*r = -40 - 30. Solve 12 = -v + 5*d, -r*v - d = -o + 13 for v.
-2
Suppose -4*i = -3*i. Suppose -5*y + 10 = -3*z, -4*z + i*y + 4 = 2*y. Let t be (2/(-17))/(1*81/(-1377)). Solve z*f = 4*r + 2*f - 8, r = 2*f + t for r.
2
Let v = -79 - -185. Suppose 99*w = v*w - 21. Solve -4*a = w*l + 25, 0 = -5*l - 3*a - 40 + 13 for l.
-3
Suppose 0 = 20*h - 106 + 26. Solve 4*g - 12 - h = -i, -2*i + 2 = -2*g for i.
4
Let r(u) = -49*u - 828. Let k be r(-17). Suppose 5*x - 6 - 9 = 0. Suppose -c - 31 = -3*a + x*c, -c - 24 = -4*a. Solve -k*v - 15 = a*i, 0*v + v = -3*i - 9 for i.
-3
Let j be 5 + (10*-1 - (-51 - -42)). Solve 2*b - 4*u - 20 = 0, j*b = -55*u + 52*u - 4 for b.
2
Let g(l) = 35*l - 135. Let p be g(4). Solve -45 = -75*s + 71*s + p*h, 5*s = -h + 20 for s.
5
Let j be ((-54)/(-14) - (-174)/(-203)) + 7. Solve 0 = -c - 3*o + 5, 2*c + 5*o = 2*o + j for c.
5
Let b(m) = -184*m + 1840. Let q be b(10). Solve q = 3*c - 2*i + 25, -3*i = -2*c + 4*c - 5 for c.
-5
Suppose 3*o - 5 - 12 = -5*u, 5*u - 24 = 4*o. Let h(b) = b - 10. Let n be 24/60 + 136/10 + 0. Let k be h(n). Solve u*c = -4*l - 16, -2*l = k - 2 for c.
-3
Suppose h - 312 = 4*g, g + 5*h = -0*g - 99. Let o = g - -82. Solve 5*j + 0*d + 5*d - 5 = 0, -8 = 2*j - o*d for j.
-1
Let y = -6 + 6. Suppose 60*b = 3*z + 57*b - 30, 0 = -b - 10. Solve u + 12 = -4*n - z*n, y = u for n.
-3
Let s = -8472 + 8475. Solve -3*k = -3*i - 3, -3*i - 3 = s*k - 30 for k.
5
Suppose 4*b = 3*o - 8*o + 58, -15*o - 46 = 2*b. Solve -b*d + 17*d = -3*c + 30, 5*d + 20 = c for c.
5
Let x = -140 + 150. Let h(k) = k**2 + 17*k - 13. Let m be h(-18). Solve -v - 5*f = -22, f = -m*v - 4*f + x for v.
-3
Suppose 7*v - 27 = 1. Solve -y = -5*j - 0*y + 14, -v*j = 2*y for j.
2
Let a(v) = -v**3 - 16*v**2 - 22*v - 99. Let z be a(-15). Solve 8*y = 5*k + 5*y - z, -5*k + 5*y = 0 for k.
3
Suppose 2 + 38 = 8*v. Let u = -179 - -183. Solve 0 = 4*r - 2*r - 2*p + 10, -u*r = v*p - 16 for r.
-1
Suppose 0 = -4*u + 23 + 13. Suppose 2*f - 4*b = 22, 8*b - 5*b = -4*f. Suppose -7*q + 4 = -f*q. Solve 2 = -r - q, -u = -g + 2*r for g.
3
Suppose 6*u - 127 = -55. Solve -4*v + 6 = -8*o + 9*o, 0 = 2*o - 4*v + u for o.
-2
Let c(h) = -11*h**2 - 47*h - 8. Let l be c(-4). Solve 5*s - 3*w + 24 = l, -4*s - 14 = -2*w for s.
-1
Let g = -391 + 391. Suppose -2*w + 3*p + 16 = g, -2*w + 8*p - 16 = 13*p. Solve -b = 3*h + 2, -b = -h - 0 + w for b.
-2
Let d(h) = -2*h**2 + 28*h + 14. Let s(q) = 6*q - 5. Let o be s(9). Let x = o - 36. Let b be d(x). Solve -4*n = 4*y - b, 15 = 2*y + 2*y - n for y.
5
Let v(w) = -3*w**3 - 6*w**2 - 2*w + 9. Let x be v(-5). Let u = x + -241. Solve u*i + 2*l = -14, -4*i + 4*l + 18 = -5*i for i.
-2
Let r = 414 - 494. Let t = -78 - r. Solve -3*p + 15 = -5*f, t*f = 3*p - 2 - 4 for f.
-3
Suppose 419 = 133*q + 105 - 2213. Solve 2*x + 4 = a, -2*a - q = 3*x - 6 for a.
-2
Let v(d) = -12 - 60 + 25*d + 13*d - 29*d - 7. Let s be v(9). Solve 4 = -4*g - 2*r, -s*g - 1 = -5*r + 25 for g.
-3
Let y(l) = l**3 - 12*l**2 - 2*l + 27. Let k be y(12). Suppose -2*r - 3*r = -2*t - 16, k*t = -r - 7. Solve -4*u = -9*u + 4*i + 2, 0 = r*u - 4*i + 4 for u.
2
Suppose -7*l + 1323 = 14*l. Let x = 63 - l. Solve x = -d - 0*s + s + 4, -d = -3*s - 12 for d.
0
Suppose 40 = 2*n - s - s, 0 = -2*s - 4. Let m = -90 - -7. Let v = m - -85. Solve v*u + 2*r + 9 = -u, -n = 3*u - r for u.
-5
Let s(n) = 3*n**3 - 21*n**2 - 12*n - 94. Let g be s(8). Let j = 3 - -1. Solve 4*o - g - 2 = -2*t, t = -j*o for t.
4
Let m be (11 + -4)*-1*(-6)/7. Suppose y - 8 = 4*w, 0 = -2*y + 2*w + w + m. Let n be (y - -3 - 2)*5. Solve 0*g = -g + 5*h + 24, n*g = 5*h + 40 for g.
4
Let u be (-48)/(-20) - (-20)/(-50). Suppose -4 = 4*x, 5*w - 3*x - 15 = u*x. Solve 0 = -2*q + 3*m + 10, 22 = -5*m + w for q.
-1
Let h(w) = -w**3 + 8*w**2 + 34*w + 17. Let l be h(11). Suppose -l = -46*f - 28. Solve 3*q - 2*r + 14 = -1, f = -4*q - 3*r - 20 for q.
-5
Suppose 429 = 22*p - 407. Suppose -4*f - p = -23*f. Solve -4 = 4*j + f*z, z + 7 = -j - z for j.
1
Suppose -4 = 29*d + 4 - 8. Suppose -5*h - 46 - 4 = -5*s, 28 = -2*h + 4*s. Let v be (5 - 1)*h/(-12). Solve -2*i + 10 - v = -3*w, -4*i + 3*w + 4 = d for i.
-2
Let n be (-1)/((-42)/1374) + 4/14. Let a = n - 31. Let p be (-24)/a*4/(-16). Solve -p*c + g + 3*g = 9, -4*c - 5*g = -19 for c.
1
Let x(d) = 2*d**3 - 53*d**2 + 25*d + 33. Let l be x(26). Suppose 5*m + 8 + l = 0, a = -4*m - 8. Solve -4*s - 5*r - 41 = -0*r, -a*r = -5*s for s.
-4
Let m(q) = 3*q**2 + 22*q - 7. Let f be m(-10). Suppose 10*a - f = -23. Solve a*v - 3*y - 2 = 0, -3*v + 2 = -4*v + 3*y for v.
1
Suppose 639*q + 483 = 662*q. Solve -b - q = 23*g - 28*g, 3*b = -g + 1 for g.
4
Suppose -6*t = 11*t. Let m(j) = -3*j + j**3 - 5*j**3 + 25 + 3*j**3. Let q be m(t). Solve -2*g + q = -5*k, -30 = 5*k - 3*g - 0 for k.
-3
Let j(t) = -2*t - 55. Let d(x) = 7*x + 165. Let g(f) = 3*d(f) + 8*j(f). Let c be g(-10). Solve 0 = -4*r - c*l + 5, r + 4*l + 32 = 5*r for r.
5
Suppose -311*p - 278 = 810 - 5131. Solve -8*h - m = p, -3*h - 7 = -m - 9 for h.
-1
Let h = -5 - -34. Suppose h*l - 28 - 146 = 0. Solve 2*d - l = 4*d, 0 = 3*k - 3*d - 24 for k.
5
Let z = -12636 + 12638. Solve -3 = 3*h - 0, -h = z*i + 3 for i.
-1
Let l be 1 - (1 + 1 + (-20 - (-30 - -16))). Solve 2*v + q = -l, 4*v + 30 - 14 = 4*q for v.
-3
Let n be (460/(-16))/(3/12). Let c = n + 114. Let k be (8/(-10))/(c + (-4)/(-5)). Solve -i + k*i + 5*j + 16 = 0, -4*i = -5*j - 2 for i.
-2
Suppose -2623 + 2623 = 125*u. Solve -5*z + 94*m - 95*m - 25 = u, 3*z + 15 = 5*m for z.
-5
Suppose -67*x = -71*x + 5*f + 68, 4 = x + 2*f. Solve -16 = u + 5*b, 36*u + b = 32*u + x for u.
4
Suppose 0 = 5*f + 2*d - 45, 2*f - 4*d = 38 - 44. Solve 5*l + 5*q = 6*q - f, -3*q - 19 = 5*l for l.
-2
Suppose -11*v = -14*v + 9. Let i(u) = -2*u**2 - v*u**2 + 5*u**2 - 8 - u**2 + 7*u. Let k be i(3). Solve -2*s + k*y - 12 = 0, -2*y + 1 + 5 = s