ve -r = 2*y, -9 = -x*y - 0*r + s*r for y.
1
Suppose 474 = 5*i + 2*y, 184 = 2*i - 3*y + y. Let r = i - 80. Solve r = -d + p + 2*p, -28 = 5*d - p for d.
-5
Suppose -19 = -4*z + 3*b, 0 = 4*z - 15*b + 20*b - 11. Solve -z*m - m = -2*w - 23, 3*w - 8 = -m for w.
1
Let k be 6*3/9*4. Suppose -5*t = 2*c - 6*c + 8, k = -4*t + 4*c. Solve t = -5*a + 25, z + 5 = 3*z + a for z.
0
Let z(v) = v + 9. Let t be z(-6). Suppose 5 = t*c - 1. Let o be c + -3 - (-21)/7. Solve 18 = 4*h - o*w, 0 = h + w - 2*w - 6 for h.
3
Suppose 9*w = 56*w. Solve w = -3*u + m + 1, u - 1 = 5*u + m for u.
0
Suppose -34 = 2*h - 6. Let y be h*1/4*-2. Suppose y*j - 3*j - 44 = 0. Solve -3*c - 19 = 5*i, 3*i - 5*i = -5*c - j for i.
-2
Let p be (0 + 0)*(-6)/(-12). Suppose z + 0*z + 8*z = p. Solve -5*d + 4*h = 17, -d + 0*h - 2*h + 5 = z for d.
-1
Let f(y) = -10*y**2 - 1. Let d be f(-1). Let h = -9 - d. Suppose 0 = -s + 2*s, h*s + 30 = 3*j. Solve j = 2*i, -7 + 27 = 3*p + 4*i for p.
0
Let y be 1/(-2*(-1)/18). Let i(k) = -k + 11. Let n be i(y). Suppose 3*j = n*j + 5. Solve l + 15 = 5*f, 3*f + 0*l - 37 = -j*l for f.
4
Let x(f) = -f**3 + 4*f**2 + 25*f + 4. Let j be x(8). Let g = j + 54. Solve -g*z = -2*o - 2 + 16, -5*z + o - 23 = 0 for z.
-4
Suppose 5*x - 2*j + 5*j = 181, 2*j + 66 = 2*x. Suppose 6*q - x = q. Suppose -5*p + 2 = -3*m + q*m, 2*m = -3*p. Solve -4*f + 4*i - i = 4, -m*i = 4*f + 4 for f.
-1
Suppose -86*l = -89*l + 162. Suppose l = 2*z + 4*z. Solve 0*s + z = -4*s + p, 9 = s + 2*p for s.
-1
Let l = -1 + 7. Let y(h) = -21. Let a(j) = -j - 42. Let x(n) = -2*a(n) + 5*y(n). Let c be x(13). Solve -c*m - 3*s = l, 3*m + 18 = -s + 4*s for m.
-3
Suppose -2*g + r = 61, -3*r = 4 - 7. Suppose -3*f - 3*x = -117, -4*f + 2*x + 138 = 6. Let v = f + g. Solve -4*j = 5*t - 9, 3*t - 6*t = -v*j - 35 for j.
-4
Suppose 31*r + 251 - 313 = 0. Solve 4*d + 5*g = r, -d + 2*g - 14 = 4*d for d.
-2
Suppose -5*r - 4959 = -4974. Solve -13*b = -8*b + 4*x + 3, b = x + r for b.
1
Suppose 0 = -0*r - r + 9. Let o(s) be the first derivative of -s**3/3 + 9*s**2/2 + 12*s - 51. Let l be o(r). Solve -5*k + 13 = 3*d, -2*d + l = 5*k - 5 for d.
-4
Let k be (-16)/12*6/(-4). Suppose 11*g - 13*g - 4*t = -16, -2*g + t = -6. Solve k*w - 14 = -2*l, -6*w = g*l - 3*w - 24 for l.
3
Let o = 98 + -98. Suppose -19 = -4*b - u, 0*u + 4*u + 4 = o. Solve -5*h + b + 2 = -d, 4*d - 4*h + 12 = 0 for d.
-2
Let y(p) = -4*p + 91. Let w be y(22). Let t be 4/2 + -1*2. Suppose 8*s - w*s - 30 = 5*u, t = -2*u. Solve -z + s*z = -4*i - 32, -5*i = -5*z - 5 for i.
-3
Suppose 5*h - 5*a = 0, -13*a + 9*a - 2 = -5*h. Solve -2*i - 3*w + 3 = -1, h*i - 4*w = -24 for i.
-4
Suppose -5*p + q = -31 - 64, -95 = -5*p - 2*q. Solve 13 = k - 4*x, -2*k + x = -7*k - p for k.
-3
Let x be (1 + 0)/((-3)/(-18 + 3)). Solve -3*t = 2*g - 14, 2*g - x*g + 16 = 2*t for g.
4
Let x = -233 + 235. Solve x*p - 5*a - 2 = -10*a, 0 = 2*a for p.
1
Suppose -h - 2*p = -0*h + 6, 4*p = 3*h - 22. Suppose 4*o + 10 - 24 = 3*i, 3*i - 26 = -4*o. Solve -h*r + i*g = 16, -4*r + 3*g = -2*g + 36 for r.
-4
Suppose 6*v - 10*v = -88. Let n be 172/(-8) - 4/8. Let y = v + n. Solve -p = o + 2, y*p - 4 = 2*o - p for o.
-2
Let l be (-1)/(-5)*5*(4 + -3). Let n(p) = p**2 - p - 3. Let m be n(0). Let g = l - m. Solve -4*c - w = -g, 2*c + w + 3*w - 2 = 0 for c.
1
Suppose 4*m + 6 = -2*m. Let j(y) = -3*y**3 - 3*y - 2. Let q be j(m). Suppose 3*g = q*i + 17, 5*i - 7 + 17 = 0. Solve 4*v = 2*r - 20, g*r = 4*r - 5*v - 19 for r.
4
Let v(n) = -n**3 - 9*n**2 + 35*n + 2. Let o be v(-12). Solve -13*g + o*g = -5*u - 5, g - 5 = 0 for u.
-2
Suppose 2*t - 5*t + 132 = 0. Suppose -2*d - 2*d - 4*l + t = 0, -3*l - 2 = -2*d. Solve 0 = -4*i - 2*b + 20, -4*b = -i - 2*i - d for i.
3
Let c = -48 - -53. Solve 37 = 3*r + c*o, 5*o = 2*r + 4*o - 3 for r.
4
Suppose 3*q + 9 = 0, 3*j - q = -2 + 17. Solve -29 = 3*a + j*z, -2*z - 1 = -3*a - 0*a for a.
-3
Let z be -2 + (5 + -2 - -1). Suppose 5*g = v + 12, 3*g + 3*v - z*v - 4 = 0. Solve g*u = 4*u + 5*h - 17, -5*h + 13 = -2*u for u.
1
Let l(x) = 8*x**2 - 3. Let d be l(-1). Solve -8*a + 2*v = -5*a + 6, -d*v = -3*a + 3 for a.
-4
Let j be 8*(-6)/12 - -6. Let k be (-3 - -2)*(1 - 6). Let z = 20 - 17. Solve 25 = j*i - z*a, -2*i - k*a = 3*i for i.
5
Let n be (-4)/22 - (-9027)/99. Suppose -4*r - 3*r = -n. Solve 5*a + 4*d = -7 - 4, 4*d - r = 3*a for a.
-3
Let w(q) = -q + 2. Let x be w(0). Let k(v) = -v**3 - 123*v**2 - 15*v - 1842. Let f be k(-123). Solve 0 = f*p + 2*l + 8, -x*l + 11 = -3*p - 7*l for p.
-2
Let j = 8 - 8. Suppose j = -7*f + 3*f. Suppose -r + 6 = 2*n - 0*r, 0 = -n + 4*r + 21. Solve -2 - 21 = 2*x - 3*y, -n*y + 25 = f for x.
-4
Suppose 0 = 4*i - 13*i + 72. Solve 0 = h - 4*v - 12, -2*h - v - 2 = -i for h.
4
Suppose 0 = -2*h - 2. Suppose -5*c + 4*c = -3. Let o = h + c. Solve 0 = 3*s - o*w - 7 - 0, -3*w = 15 for s.
-1
Let h(q) = 5*q**2 + q - 6. Let t(x) = 14*x**2 + 4*x - 20. Let c(s) = 11*h(s) - 4*t(s). Let z be c(2). Solve 17 = 5*m - k - z*k, m + 1 = -2*k for m.
3
Suppose 0 = -4*z + i + 14, 7 = 6*z - 3*z + i. Solve 2*s = -3*w - 12, z*s - 5 = w + 4*s for w.
-2
Let q(r) = r**3 + 6*r**2 + 5*r + 2. Let b = 65 + -70. Let o be q(b). Solve 5*c = -2*u + 19, -4*c - o*u + 10 = -2*c for c.
3
Suppose 0 = -7*x + 196 - 14. Let i = x - 28. Let w = 3 - i. Solve k + 4*k + 25 = -w*v, 5*v + 10 = -2*k for k.
-5
Let o = 116 - 113. Suppose 27 = o*i - 21. Solve 5*r + 1 = -3*y + 5, 5*y - i = r for y.
3
Let z(k) = -52*k - 243. Let y be z(-5). Solve -4*v + y = 2*c + 3, -4*c - 5*v = -13 for c.
-3
Let s be (1 - 2) + 3/1. Suppose s*d = 19 + 3. Let m = 18 - d. Solve 1 = -2*v - 5*y, 5*y = v - 5*v - m for v.
-3
Suppose -f = -4*s, 4*f - 15 = 1. Let j be (-2 + s)*3/(-3). Suppose 2*b = v + 3, 3*v + 4*b - 18 = b. Solve -4*g + 3*i = 18 - j, 1 = -5*g - v*i for g.
-2
Suppose -r - 14 = -4*f, -5 = 5*r - 4*f + 1. Solve -r*l - 2 = 2*k, 2*l = -4*k - 0*k + 4 for k.
3
Let v(f) be the second derivative of f**4/12 - f**3 - 13*f**2/2 - 33*f. Let k be v(8). Solve -3*z + 2*h - 4 = 0, 2*h - 10 = 2*z - k*h for z.
0
Suppose -2*y + 24 = -4*p - 0*p, 0 = 4*y + p - 12. Suppose 5*d - 6*d + 5 = 0. Solve 20 = -y*w, -4*l - w + d = 2 for l.
2
Suppose 4*d - 8 = w, 4*d - 1 - 31 = -5*w. Solve 0 - d = 2*m - 3*p, 4*m - 4 = -4*p for m.
0
Suppose 5*u - 6 = 4*u. Let w = 25 - 54. Let v = w - -33. Solve -3*g = -3*k - 9, -u*k = v*g - 4*k for g.
1
Suppose -8*q + 24 + 16 = 0. Solve q*o = 4*k, o = -o - 3*k + 23 for o.
4
Suppose 71*b - 27*b - 176 = 0. Solve -w - 7 = -b*k - 0*w, 5*k = -5*w + 40 for k.
3
Let b(v) = -v + 20. Let q be b(18). Solve 6*d - d = -s + 26, q*s = 4*d - 18 for d.
5
Let g = -43 + 47. Suppose 3*t + g*w = 1, 5*w + 2 + 8 = 0. Solve 0*d = -3*z + 4*d + 11, -18 = -3*z - t*d for z.
5
Let k = 7 - 5. Suppose -3*r - 32 = -4*q + r, -5*q - 4*r - 5 = 0. Suppose q*l = -2*l. Solve -5*i + 5*v = l, -5*i - v = -k*v - 12 for i.
3
Suppose -903*x + 56 = -901*x. Solve v = -4*t + 6*v - x, -12 = 2*t - 2*v for t.
-2
Let c = 2538 + -2536. Solve r - 4 = 5*z, -13*z + 12*z - c*r - 3 = 0 for z.
-1
Let i be (-44)/(-21) - 34/357. Suppose -2*c = 2*c - 2*t - 18, c + i*t - 2 = 0. Solve -2*s + 13 = -5*s - 2*k, c*s + 4*k + 20 = 0 for s.
-3
Let t(q) = 4*q**2 + 3*q. Suppose 38 = -5*i - 5*j + 3, j - 1 = 3*i. Let s be t(i). Solve -2*b - s = -0*b - 2*d, -3*b + 4*d - 18 = 0 for b.
-2
Let t = 3 + -1. Suppose -t*r + 0 = -6. Suppose 0*d + 3*d = 0. Solve 3*n - 5*n - 5*p - 2 = d, -n - 1 = -r*p for n.
-1
Let t be (-1)/(-1) - (-17 - -1). Suppose q - 9 = -2*r + 13, 0 = -5*r - 2*q + 53. Let x = -6 + r. Solve d = 5*d - 5*n - 11, 0 = x*d + 5*n - t for d.
4
Let p = 224 - 222. Solve g - f - 1 = -g, p*g + 2*f + 14 = 0 for g.
-2
Let o be 5/2*(-4 + (0 - -8)). Solve d - 5*n = -9 - o, 4*d - 20 = -4*n for d.
1
Let a = 452 - 452. Solve m - 5*c + 5 = -a, 2*m - 2*c = -10 for m.
-5
Let p be (-17)/(-2)*-2*(-1)/1. Solve 0 = -u + k + 6, 22*u - p*u = -5*k for u.
3
Let p(t) = t**3 + 2*t**2 - 3*t + 3. Let j be p(-3). Let m be j/(-4)*8/2. Let i be m - -1*(4 - 1). Solve i = -2*n + 3*v - 4, 8 = -4*n + 4*v - 0*v for n.
-2
Let d = -1163 - -1177. Solve 37 = 5*x - 4*u, -x + 2*x = 3*u + d for x.
5
Suppose -4*l + 2*t - 54 = 0, l = -2*t + 1 - 17. Let q(f) = -f**2 + 4*f - 7. Let a be q(6). Let u = l - a. Solve 3*d - n + 10 = 0, u*n + 13 = -3*d - 27 for d.
-5
Let t(o) = 2*o - 16. Let x be t(14). Solve -2*k - x = s, -s + 4*s = 3*k for k.
-4
Let l(o) = 