-l = 5, -g - 220*l - 6 = -s*l for g.
4
Suppose 7*a = 35*a. Solve -4*z - 13 = -r, a = -4*r + 5*z + 7 + 1 for r.
-3
Let t be (0/(0 + (-4)/4))/1. Suppose -12 = -6*x - t. Suppose 21*w - 22*w + 5 = 0. Solve x*s + 1 - 7 = -2*a, -w*a = 0 for s.
3
Suppose -44 = -4*b - 18*b. Suppose -b*n = -15 + 9. Solve 3*l + 4 - 14 = 5*g, n*g + 6 = 2*l for g.
-2
Suppose 5 = i - 2*z + z, 0 = -i - 5*z - 25. Suppose -23*y + 18*y = i. Solve 2*t + 5*x = 21, -x = -y - 3 for t.
3
Let c = 185 + -188. Let a be (-16)/5*(99/(-18) - c). Solve a = 2*h - 3*g - 8, 0 = 2*h - g - 12 for h.
5
Let o(u) = u**2 + 78*u - 501. Let p be o(-84). Solve d + 5 = -p*v, -2*v + 4*v = -d - 2 for d.
4
Let m(n) = 2*n**3 + 36*n**2 + 35*n + 21. Let v be m(-17). Solve 0 = -4*t + 28, 3*a - 10 = -3*t - v for a.
-5
Suppose -94*p + 145*p - 489 = -112*p. Solve -5*z + 10 - 35 = -5*k, p*z + 15 = 0 for k.
0
Let z(w) = 29*w + 357. Let s be z(-12). Solve 11*v + 4*q = 8*v - 10, 3*q = -3*v - s for v.
-2
Let r(a) = 0*a + 2 + a - 2 - 5. Let w(p) = -p**3 - 14*p**2 - 3*p - 32. Let o be w(-14). Let k be r(o). Solve 0*q + 3 = -3*y + 2*q, 2*y - k*q + 13 = 0 for y.
1
Suppose 0 = -4*s - 182*a + 185*a + 8, 2*s - 3*a - 4 = 0. Solve 0*q + s*q = -2*b, 2*q + 5*b = 0 for q.
0
Let d be 3192/231 + (-1 - (-26)/22). Let a be (-92)/(-28) - 4/d. Suppose -a*i = -5*q + 20, 3*q - q - 8 = -5*i. Solve -5*g - 4*u = -4, 4*g = q*u - 5 + 1 for g.
0
Let v = 36862 - 36859. Solve -27*f + 16 = -v*a - 28*f, 0 = 3*a + 3*f + 24 for a.
-4
Let g be (-15)/30 - 2/(-4) - -4. Suppose f - 13 = -5*r, 0 = -r + g*f - 10 + 21. Solve 2*l - 1 = -b + r, b - l - 1 = 0 for b.
2
Let d(t) = 2*t**3 - 4*t**2 + 4*t - 1. Let p be d(2). Solve -3*m - 9 = 0, 2*y + 6*m - p*m - 3 = 0 for y.
0
Suppose -14 = -a + d, -44 + 79 = 5*a + 2*d. Solve z + 5*l = -25, 3*z - a = 4*l - 8 for z.
-5
Suppose 0 = -2*c, -3*g - 2*c + 880 = 2*g. Let b be (-2)/(-6) - g/(-66). Solve -m - b*i = -10, m = i - 3 - 3 for m.
-2
Suppose -4*t = -16*t - 14*t. Solve -4*u - 1 = 5*r, 2*u + 4*r + 2 = -t*u for u.
1
Let p(k) = 9*k + 22. Suppose 8*t = -4 - 12. Let h be p(t). Let z be 0*2/(-2)*-1. Solve 4*n - 3*x - 32 = z, -h*n + 0*n - x + 16 = 0 for n.
5
Suppose 102*t = -332 + 740. Solve -3*v - t = -4*r, 10*r + 4*v + 26 = 5*r for r.
-2
Let v(w) = -5*w**2 - 6*w - 13. Let m(d) = d**2. Let x(t) = -4*m(t) - v(t). Let r be x(-3). Solve -7*j + 5*j = -3*i, -4*i = r*j + 20 for j.
-3
Let j = -92 - -81. Suppose 4*v = 3 + 5. Let t be (v/j + 52/44)*4. Solve -5*g + t*g = -2*l - 6, -5*g - 5*l + 15 = 0 for g.
4
Let r(v) = -v**2 - 3*v. Let y be r(0). Solve 0 = j - 2*n + 7, -5*j + n - 1 + 2 = y for j.
1
Let m = -10820 - -10823. Solve s = m, 5*w - 101 = 3*s - 90 for w.
4
Let l(o) = -2 + 0 - 34*o + 67*o - 34*o. Let v be l(-7). Solve n + v*t = 17, -3*t + 3 = 3*n - 0 for n.
-3
Let g(w) be the second derivative of w**3 - 3*w**2 - 98*w. Let p be g(1). Solve 5*t = p, 5*t = 3*m - 2*m - 3 for m.
3
Suppose -18 = 5*a - 7*a. Suppose 8 = -a*b - 1. Let l be 5/(b*((-6)/2 - -2)). Solve 3*g - 2 = 3*m + 7, 3*m + l*g + 25 = 0 for m.
-5
Let z(n) = -4*n**2 + 40*n. Let d be z(10). Solve -5*w - 2*a - a = d, -5*a = -3*a for w.
0
Let w be (87/(-116))/(6/(-32)). Suppose 0 = 4*n - 8, -40*b - 4*n = -42*b + 8. Solve 0 = 4*q + 5*x + 11 - 1, w*x + b = 0 for q.
0
Suppose -3*c + 2*h = 5*h - 48, c - 4*h - 1 = 0. Suppose -150 - 172 = -66*w + 8. Solve 4*k = -3*t - c, -k + 19 = -w*t - 5*k for t.
-3
Let z be -5 + 0 + 6 + 13. Suppose 0 = 2*u + 3*g + 7 - z, -4*g + 16 = 4*u. Solve 4*v - 12 = 4*w, -u = -5*v + w + 6 for v.
2
Suppose 2*n = 2*g - 108, -3*g = -4*n - n - 160. Suppose h + g = 6*h. Let o be 28*(2/(-4))/(h - 12). Solve z + 5*f + o = 0, -2*z - 4*f - 13 = -3*z for z.
1
Let h(r) = r**3 - 6*r**2 + 6*r - 1. Let l be h(5). Suppose 0 = -4*a - 4*m - 7 + 63, 3*a - m = 26. Solve -3*d - a = -p, -l*d - 2*p = -4*p + 14 for d.
-3
Let t = -258 + 269. Let y be ((-87)/(-3))/1 - 0. Suppose 0 = 10*x - t - y. Solve -x*g - 3 = 2*h + 21, -g - 5*h - 24 = 0 for g.
-4
Suppose 5*l - 35 = -132*r + 129*r, 4*r - 43 = -3*l. Solve -i = 3*s - 5 - r, s = i + 5 for s.
5
Let t(s) be the second derivative of s**4/6 + s**3/2 - 6*s**2 - 12*s. Let o be t(5). Let g = -50 + o. Solve -g*l + 2*n + 5 = 0, 5*l - 11 = 2*n + 4 for l.
5
Let r(q) = -448*q - 2683. Let m be r(-6). Solve 34*i - 39*i = -5*b + 25, 0 = -m*b - 5*i - 5 for b.
2
Suppose -297*p + 3*a = -303*p + 18, -5*p + 5*a + 30 = 0. Solve -5*b - 3*v = -25, -b + 21 = p*v + 16 for b.
5
Let u = 12 + -5. Let q be (4 + -3)/(-1 - 0) + u. Solve q*o - 37 = o + 3*j, -4*o + 32 = -3*j for o.
5
Suppose -24*g + 872 = -28*g. Let q = g + 219. Solve -5*f = 2*j + 14, 0 = 2*f - 3*j - 1 - q for f.
-2
Suppose -5*f + 6*u - 3*u = -75, 4*f = 3*u + 57. Suppose 18 = -12*o + f*o. Solve 0 = -5*a + o*a, 0 = -l + 4*a for l.
0
Let x be (136/(-85))/(-2*(-6)/(-90)). Solve 3*s - 3*i = 9, -x*s = -15*s - i + 13 for s.
4
Let m(z) = 3*z**3 + 271*z**2 + 356*z + 7. Let i be m(-89). Solve 4*l = -16, -22 = 5*j - 4*l + i*l for j.
-2
Suppose 287*y - 618 = 530. Solve 6*n - 3*n + 5*k = -5, -2*n - 4 = y*k for n.
0
Let p(a) = -a**2 + 5*a + 9. Suppose 0 = -3*j + 3*h + 3, -j + 0*h - 2 = -2*h. Let i be p(j). Let k = i - -12. Solve -k = 5*m, -25 = 5*f + 3*m + m for f.
-1
Suppose 2*u = 2*m + 2, -4*m + 83 - 84 = -3*u. Solve 3*d - 8 - 12 = -2*n, 0 = -m*d + 8 for n.
4
Let h be ((-35)/(-21))/((20/(-72))/(-1)). Solve -h*b - 30 = -11*b + 5*g, -3*b - 7 = 2*g for b.
1
Suppose f + 4*f + 30 = 0. Suppose 16*d + 145 = -175. Let q be (2 + f)*((-55)/d + -4). Solve 3*g - 15 = -q*u + 8*g, u = 4*g + 3 for u.
3
Let l(q) = 9*q - 11. Let p be l(5). Suppose -x - 2 = -2*u, 2 = -4*x - 2*u + p. Solve -2*a + x*a + 13 = d, d = a + 1 for d.
-3
Let i = 3449 - 3444. Solve 3*c = -3*h + 2 + 1, -17 = h - i*c for h.
-2
Suppose 132*p - 196 = 200. Solve -i - 1 = j + 4*i, -p*i - 3 = 3*j for j.
-1
Let h = 7 + -5. Let t = h - 0. Suppose 474 = 84*x - 30. Solve 3*n - x = -t*m - 2*m, 3*m - 4*n = 17 for m.
3
Let b = 1642 - 2347. Let h = b + 708. Solve 4 = t + 3*a + h, 4 = 4*a for t.
-2
Let o(m) = -4*m + 57. Let f be o(23). Let n = f + 39. Suppose -n = -14*y + 12*y. Solve x - 3*v = y*x - 14, 5*x + 5*v - 20 = 0 for x.
-1
Suppose -12*x = -302 - 202. Let j be (-9 + 392/x)/((-2)/(-84)). Solve 4*y - j = -r + 5, 4*r + 4 = 4*y for r.
3
Suppose 28*s - 20 = 8*s. Suppose -4*v + 23 = -0*v - 3*r, v = -4*r + s. Solve -26 = 5*t + 4*p - 4, -v*t - 19 = 3*p for t.
-2
Let f(c) = 9*c**2 + 86*c + 196. Let b be f(-6). Solve -4*v - 4 = -3*p + 10, 18 = p - b*v for p.
-2
Suppose 465*j = 493 + 902. Suppose -f + 5*i + 3 = f, 0 = -5*f + 5*i + 15. Solve 3*l = -3*r + 15, j*l + f*r - 20 = 2*l for l.
0
Let d = -546 + 538. Let g be (4 - d/(-1))/(-2). Solve -4*j - 8 = b + 2*b, -3*b = -g*j - 22 for b.
4
Let o(u) = 223*u**2 - 1. Let k be o(1). Let v = -218 + k. Solve -3*d - 5*a = -6*d - 19, 14 = -3*d + v*a for d.
2
Suppose 901 + 226 = 7*c. Let n = -158 + c. Solve -f + 1 = -n*k - 4, -4*k = 2*f + 10 for f.
-1
Suppose -8*j + 20 = -4*j. Let n be -6 - -6 - (1 - 0). Let q = n - -6. Solve -q*c - j = 0, 3*v + 3*c = 8*v + 17 for v.
-4
Let u(n) = n**3 + 7*n**2 - 7*n - 8. Let q be u(-7). Suppose 135 = -108*j + 111*j. Let o = j - q. Solve 14 = -3*k - 2*h, 2*h - 1 - 13 = o*k for k.
-4
Let f(l) = l**3 - 42*l**2 - 47*l + 164. Let z be f(43). Let x be z/(32/(-12)) - 1. Solve -x*i - 3 + 2 = j, -j - 5 = 4*i for i.
-2
Suppose -2*c + 7 - 1 = -2*a, c = 2*a + 2. Solve 12*x + 2*b = 7*x - 15, 4*x - c*b = -12 for x.
-3
Let b(v) = 5*v**2 + 67*v + 139. Let k be b(-11). Solve -d - 9 = -4*i, 5*i - 8*i = -d - k for d.
-1
Let r = -10382 + 10382. Solve 2*o - 7*n + 3*n - 30 = r, 0 = -2*o + n + 12 for o.
3
Let k be (0 + -70)/(-14) + (-3 - -1). Solve 2*o - 8 + 5 = k*s, 5*s + 12 = o for s.
-3
Let o = 220 + -215. Suppose -x + 3 = o*g - 10, 5*g - 4*x = -2. Suppose 3 = r, 20 - 8 = 3*z - 3*r. Solve 2*f - 4*c - 16 = 0, z = 4*f - c - g*c for f.
-2
Suppose 0 = 47*k - 4484 + 1194. Solve 2*q + 2*a = 2, 0 = -5*q + a - k + 69 for q.
0
Suppose -3*x - 3 = -0*x, -5*r - 4*x + 91 = 0. Suppose -2*k + 9 + 5 = 0. Suppose 3*f - r = -k. Solve -2*g + f*g + 4*y = -18, -15 = -5*g + 5*y for g.
-1
Let n be 4/((-16)/4) + (2 - -28). Suppose n*b + 12 = 33*b. Let j be -3*(-4 + (-50)/(-15)). Solve b*o - 5 = 3*k - j, 0 = 2*k + 2*o + 18 for k.
-5
Suppose 10 = 2*y - 0. Suppose -3*v = y*l - 53, 4*v - 44 = -3*l - l. Suppose l = 2*b - b. Solve f +