= -2*t. Solve -w - 4*w = 4*x + 31, -t*w - 5 = -x for x.
-4
Let m be 0/(2 + 0)*(22 - 23). Solve -4*z = -2*a + 7*a + 41, -3*z - 12 = m for a.
-5
Let l = -2 - -7. Solve -l*g + 2*p - 7 - 9 = 0, -2*p + 4 = -2*g for g.
-4
Let m be 0 + -1 - 68/(-17). Solve -q + 10 = 3*z, -3*q + q = -m*z + 7 for z.
3
Let c be (-3)/(-6)*6*1. Solve 3*t - 2*a = -11, t - 5*a + 5 + c = 0 for t.
-3
Suppose -d - 2 + 24 = 0. Let f = 12 - 7. Suppose -19 = -2*w - f*y, -2*w + 13 = -0*w + 3*y. Solve -q + w*v + 31 = -6*q, 5*q - v = -d for q.
-5
Let d = 53 - 49. Solve d*c = -5*z - 22 - 2, -3*z = 5*c + 17 for c.
-1
Suppose 4*o - 25 = -o. Solve 0 = 4*p + o*f + 27, 3*p - f + 6*f = -24 for p.
-3
Suppose 0 = 3*i - 4 - 59. Let b = -16 + i. Solve 0 = -2*d - b*l + 16, -d = -4*l + 6*l - 6 for d.
-2
Let x = -39 - -42. Let u(l) = -l + 5. Let k be u(3). Solve -3*c - x = 5*d, 0*c + 2*c = -k*d + 2 for c.
4
Suppose 0*y + 4*y + 80 = 0. Let o be 12/y - (-84)/15. Solve 4*t = 3*q - 10, -q - 3 = -0*t + o*t for q.
2
Let q be (4/3)/(8/12). Let b be 1 - (-2 - (-1 + 0)). Suppose -3*u - 7 = -2*l - q*u, -2*l - b*u + 10 = 0. Solve y - 3 = -4*s, -5*y - l*s - 27 = -10 for y.
-5
Suppose 5*t - 2 + 12 = 2*s, -4*s + 20 = -3*t. Suppose t = -a + 3 - 1. Let f = 8 + -5. Solve -a*o + w - 4 - 11 = 0, f*w = 15 for o.
-5
Suppose 3*h + 5*x - 48 = 0, -3*x = -2*h + 57 - 6. Solve -4*r - 16 = 3*c - 2*c, 0 = -3*r - 3*c - h for r.
-3
Let h = 6 + -3. Suppose -c + h - 1 = 0. Solve 0 = -c*v - 2*r + 4*r, 4 = r for v.
4
Let b(t) = -16*t - 1. Let v be b(-1). Suppose 0 = -r + 4*r - v. Solve l + r = 0, 2*l = c + 5*l + 10 for c.
5
Let n(i) = -i**2 - 8*i - 8. Let r be n(-4). Solve 4*u = 2*a + r, 1 = 3*a - 5 for u.
3
Suppose 3*r = -z - 6 + 18, -3*r + z = -6. Solve r*w + 0*i + 11 = 2*i, -2*w + 2*i = 6 for w.
-5
Let u = 7 + -3. Let n = u - 2. Solve n*s - s - 2*x = 5, 4*s - 20 = 4*x for s.
5
Let r(u) = -3*u**2 + 8 + 10 - 5 + 2*u**2. Let h be r(0). Let k = -4 + 7. Solve 3*i + 5 = -4*d, -5*i - k*d + 1 = h for i.
-3
Let x(g) = g + 3. Let v be x(-3). Suppose -8 = -4*j - v. Solve o + 3*o = 4*a - 16, -3*a - 4*o = j for a.
2
Suppose 9*i - 4*i = -10. Let y be i/((-3)/(-6) + -1). Suppose -2*z + 7 = -9. Solve 3*q - y*o + z = 0, 4*o = 5*q + 8 + 8 for q.
-4
Suppose -3*o - 2*h = 0, 2*h = -3*o + h. Suppose o = -4*a - 5 + 25. Suppose -5*y + 3*y = -4. Solve 3*s - y*s - 5*u = 24, -5 = -a*s + 2*u for s.
-1
Let q(g) = -g**2 + 59. Let i be q(0). Suppose 0 = -3*l + 3*u + 33, -i = -4*l + u. Solve 22 = 5*o + 3*p, -5*o - 2*p + 39 = l for o.
5
Let j(n) = -3*n - 31. Let a be j(-11). Let b(u) = u**2 - 3*u - 5. Let v be b(5). Solve a*c - c + 20 = 4*f, 0 = c + f - v for c.
0
Suppose 10 = 3*c - 116. Suppose -4*d + d = c. Let l = -8 - d. Solve k - l*k + 23 = -2*m, 0 = 3*m + 5*k - 28 for m.
1
Suppose 0 = -0*b + 4*b. Let s = b - 0. Solve 4*z + 12 = -3*a - s, -2*z + 4 = -a for z.
0
Let r = 4 - -1. Suppose 2*b - r*b = -3*c, c - 2*b = -5. Suppose 3*g = -0*j + c*j - 25, -j = -4*g - 22. Solve 1 = -3*i + 4, -5*w + j*i = 22 for w.
-4
Suppose -x + 2*x - 3 = 0. Suppose -x*d + 4*d = 5. Let z be (-20)/2*(-2)/4. Solve z = -5*v + d*c, -7*c + 4*c = -4*v for v.
3
Let b be 3 - (-398 - (1 + 1)). Suppose 5*c + 3*u + 2*u = 1015, 0 = -2*c - 3*u + b. Let w be (-9)/15 - c/(-10). Solve z - 3*z = 5*t + w, 2*t = -4 for z.
-5
Let a be ((-2)/4)/((-1)/(-18)). Let n = a + 20. Suppose -3*c + 60 = 3*s, 0 = -2*c + 5*s + n + 1. Solve -4*u + 6*h + c = h, u - 5*h = 19 for u.
-1
Let r be (-4 + -1)*(-48)/5. Suppose 3*k - r = -4*v - 9, -2*v = -6. Suppose 2*j = -j + k. Solve 2*t + 20 = j*c, -c + 4*c + 3*t = 0 for c.
4
Suppose -4*m - 2*c = -100, 0*c = 5*m - c - 125. Solve -3*x = -2*p + 33 - 8, 5*x = -m for p.
5
Suppose 2*x + 1 = o - 1, 0 = 5*x + 5*o - 10. Solve x = 4*n - 3*j + 11, 0 = -4*j + 9 + 11 for n.
1
Suppose -2*w = 1 + 3. Let q be (-3 + -1)*w/8. Solve d + 12 = -3*d + 4*v, d = -v + q for d.
-1
Let i(y) = -y**2 - 17*y + 21. Let t be i(-18). Solve -l + 4*o - 12 = 0, -3*l - o + t = 13 for l.
-4
Suppose w - 1 - 9 = 0. Solve 2*q = w, -12 = -4*h - 4*q - 0*q for h.
-2
Let l(s) = -11*s**3 - 2*s**2 + s - 2. Let o be l(-2). Suppose -o + 1 = 5*b. Let p be -15*(33/b - -1). Solve p = -4*y + i, y - 3*y - 12 = -2*i for y.
-4
Suppose -49*j - 15 = -52*j. Solve 2 = -r + 2*y, 4*r + j*y + 8 = 3*y for r.
-2
Suppose 8 - 4 = 2*y. Suppose y*f - 6 = -2*z, -4*z + 3*f = -5*z + 9. Solve 5*n + 2*v = 9, -2*n + 3*v - 4*v + 3 = z for n.
3
Let a = -6 - -4. Let n = a + 6. Let h be -1 + -1 + 1 + n. Solve -2*k - 4*v + 14 = 0, -4*k + 2*k = h*v - 10 for k.
-1
Let a be (3/2)/((-15)/(-50)). Solve -3*h + f - 11 = 2, a*h + 3*f + 17 = 0 for h.
-4
Let p(i) = -7*i + 10. Let w(c) = 6*c - 10. Let l(t) = 2*p(t) + 3*w(t). Let d be l(10). Solve -5*m + 21 = -2*z, 3*z = -2*z + 5*m - d for z.
-3
Let q(i) = -4 + 3 - 4*i + 4*i + 17*i**2. Let h be q(1). Solve -h = -4*t + 4*v, -t - 3*t = 4*v + 8 for t.
1
Let v(q) = 2*q**2 - q - 2. Let i be 1/1 + 3/3. Let h be v(i). Let j(t) = 3*t - 6. Let b be j(4). Solve r - b*r - 2*s = 15, 0 = h*s for r.
-3
Suppose 3*d = 5*d - 5*c - 34, 0 = -3*c - 12. Solve -k = -o + 3, -d = k + o - 0*o for k.
-5
Suppose 8 = 4*f - 4. Suppose -3*s = 2*u - 41, s - 3*s = -u - 39. Solve -f*x + 0*r + s = -5*r, 0 = -x + 4*r + 15 for x.
-1
Let q = -25 - -38. Solve 3*y = -3*u + 2*u + q, -y + 1 = -3*u for y.
4
Let c be (-23)/(-1) + -3 + -3. Suppose -5*d - 20 + 5 = -5*l, -5*d + c = 3*l. Suppose 24 = -3*q + 7*q. Solve 5*v + 11 = -2*o, 5*v + 4*o + q = -d for v.
-3
Let o = 4 - 1. Solve -v + f = -o, f - 2*f = 0 for v.
3
Suppose 4*q = 17 + 3. Suppose -q*d + 4*i = -78, -20 = -5*d + 4*d + 3*i. Let f be 0/(2 + 1 + -2). Solve f*a - 5*x + d = -a, a = 2*x - 5 for a.
1
Suppose 3*m - 4 - 2 = 0. Suppose -47 = -3*n - 17. Let d(c) = -9*c - 1. Let f be d(-2). Solve -3*a - f = -2*s, -m*a - n - 16 = -5*s for s.
4
Let b = 19 + -6. Let m = 12 + -7. Suppose 0 = -m*f + b + 27. Solve -f = 3*h + c, 4*c - 5*c - 9 = 4*h for h.
-1
Let l be ((-4)/(-2) - 1) + 24. Suppose -2*u + 6 = 0, -4*w - 5*u + l = -2. Solve -1 = g + o + w, 0 = -5*g + 4*o - 29 for g.
-5
Suppose -n + 0*n = -29. Suppose 0 = -0*t + t - 11. Suppose 0 = 4*s - t + 3. Solve -3*r - n = 5*y, s*y - 1 = r + 2*r for r.
-3
Let y be -2 - 6/(1 + -2). Suppose -4*f + f + 1 = t, -y*f + 23 = -3*t. Let n(q) = q**2 + 5*q + 3. Let v be n(t). Solve 5*i - 20 = 0, v*o + 2*i + 7 = -0*o for o.
-5
Let i(c) = 4*c - 13. Let a be i(6). Solve 2*g + 1 = 3*y + a, -y - 10 = -4*g for y.
-2
Suppose 3*z = 5*c - 22, -z + 1 - 11 = -3*c. Suppose -96 = 5*r - 26. Let l be ((-12)/r)/((-3)/(-21)). Solve -2*k - 3 = 2*n + 3, 0 = -c*n - l for k.
0
Suppose 3*a + 49 = 5*v + 4*a, 0 = 5*v - 3*a - 33. Let c be (90/15)/(1/2 + 1). Solve -4*k + o + 0 + v = 0, -c*k - 4*o = -4 for k.
2
Let w = 7 + 19. Suppose -5*b + w = -54. Solve -y - 2*y + 19 = -4*k, -4*k = b for y.
1
Let m = -12 + 8. Let l be 2/m*2/(-1). Let a = l + 6. Solve j - 2*y + a = 0, -2*j + 2*y - 10 = 2*j for j.
-1
Let b(y) = -17*y - 1. Let a be b(-1). Let c = -5 + 8. Suppose 2*u - u + 2*l - 8 = 0, c*u - 4 = 4*l. Solve 0*t = 2*t - 3*d + 14, a = u*t + 5*d for t.
-1
Let o(c) = -c - 3. Let r be o(-5). Solve 7 = -0*m - 3*m + 4*h, 0 = -r*m - 3*h - 16 for m.
-5
Suppose 4*c - 9*c + 95 = 0. Solve 4*g + c = -k, 2*g + 0*k + 2*k = -8 for g.
-5
Let p(n) = -n**2 - 8*n - 6. Let r be p(-7). Let g be (-2 - (-1 + r))*-2. Suppose g*o - 2 = 3*o. Solve -6*t = 4*c - 4*t - 6, -o*c - 3 = -t for c.
0
Suppose 9 = -x + 4*i, 3*x + 3*i - 18 = -0. Suppose l + x*l = 0. Solve -p - 2*p + 4*t - 19 = l, -t + 11 = -2*p for p.
-5
Let o be (-95)/(-20) - 2/(-8). Let m = o - -2. Let z = m + -2. Solve z*k - 2 = 3*l, -10 = -5*l + 3*k - 8*k for l.
1
Let j be (3/(-1) + 9/3)/2. Solve j = 5*t + 5*h - 6 - 19, 4 = 2*t - h for t.
3
Let b(w) = w**3 + 5*w**2 + 3*w - 3. Let l be b(-3). Suppose 0 = -v + 2*v - l. Solve 4 = 5*s + 3*r, -r - v = 2*r for s.
2
Suppose -7*n - 10 = -g - 2*n, -5*g = -2*n - 4. Solve -4*c + 24 = -g*c - 5*a, -c + a = -5 for c.
1
Suppose 2*l = -2*l. Let b = l - -2. Suppose -3*h + b*d + 2*d = -26, -2*d = 2*h + 6. Solve h*g = -4*k, -2*k = -5*k + 2*g for k.
0
Suppose 0*c + 2*c - 4*l = 26, 0 = 3*c - l - 19. Let p be (0 + 3/5)*c. Solve -4*q + p*n = -11, -2*q + 2 = -2*n - 2 for q.
5
Let r = -16 - -24. Let j be ((-5)/10)/((-1)/r). Solve o - 3*k = -4*o - 12, j = -2*o + 2*k for o.
-3
Suppose 3*y - 14 = 6*y - 4*l, -2*y - 13 = l. Let s(f) = -f**2 