 c + 15 = 0, c = z - 0 for x.
2
Suppose 0 = -4*l - 2 - 2. Let b = l - -3. Suppose -j - 2*y - 20 = 2*y, 2*y + 10 = b*j. Solve j = 3*a + 3, 1 = h - 5*a - 0 for h.
-4
Suppose 57 = -0*w + 3*w. Solve -2*u - w = 5*q, 2*q + 2*u = 4*u - 2 for q.
-3
Let l = 9 - 14. Let h(k) = k**3 + 7*k**2 + 8*k + 3. Let u be h(l). Solve u = 2*m + b, 3*b - 8 = 3*m - b for m.
4
Let d = -16 - -24. Solve -4*a = 3*q, -4*a - q + d = -0*q for a.
3
Suppose 4*w = 0, 0*w = 2*r + 3*w. Solve -2*y = 3*b - b, r = 2*y - 10 for b.
-5
Let p = 4 + -2. Solve 0 = -5*j + 3*m - 10, 3*j + p*m = -3*m - 40 for j.
-5
Let w = -49 - -72. Let v be (-6)/(-12) - (-7)/2. Let h = v + 5. Solve x = -x - 5*b + w, h = 3*b for x.
4
Suppose -5*n = x - 20, -4*x + 3*n - 6*n + 29 = 0. Solve 6*u - x*j - 20 = u, 2 = 3*u - j for u.
-1
Suppose -3*v + 2*a = -7 - 1, 0 = -a + 2. Solve -v*q - 3*h = -5, 0*q - 4*q - h = -7 for q.
2
Let b = -5 + 10. Let m(w) = w. Let n(f) = f**2 - 5*f - 1. Let p(c) = 2*m(c) + n(c). Let d be p(6). Solve -b*x = -20, o - x - 4*x = -d for o.
3
Let w(r) = -r**3 + 7*r**2 - 6*r - 7. Let p be w(6). Let s be p - -5 - (-2 + 0). Solve 2*k + 4*a + 2 = s, 6*a + 9 = 3*a for k.
5
Suppose 27 = 5*v + 7. Let g = -48 - -28. Let u = -16 - g. Solve -5*k - 3*i = i + 14, 4*k + v = u*i for k.
-2
Suppose 0 = -3*c + 5*c. Solve 2*i - 8 = 4*q + 2, c = 4*q + 4*i + 16 for q.
-3
Suppose -5*j + 125 = -5*t - 0*j, -4*t = j + 85. Let q = t + 38. Solve v + 2*w = -0*w - 3, 4*w + q = 0 for v.
5
Suppose r + 2*r - 87 = 0. Let s = r - 11. Let v = s + 0. Solve -2*n - 2 = -5*i + v, 0 = -2*i + 4 for n.
-5
Let c(v) = -12*v - 8 - v**2 - 3 + 3. Let l be c(-8). Solve -l = -4*u - 2*i - i, -u - i = -7 for u.
3
Suppose 7*u - 31 = -10. Solve -r = u*l - 12, l = -3*l - 2*r + 16 for l.
4
Let j(x) = x**3 - 4*x**2 + x - 2. Let l be j(4). Let v be 3 - l/(-2)*1. Let g be 26/8 - 1/v. Solve -5*h + 8 = s, -h + 4*h = -g*s for s.
-2
Let w be 19*(-1)/2*-2. Suppose n + 2*t = -20, 22 = -5*n - 5*t - 53. Let f = w + n. Solve 0 = -4*l - 5*s + 2 - f, 5*l - 19 = 3*s for l.
2
Let z(r) = -2*r - 2. Suppose -4*m = 2*i - 52, -5 - 30 = -5*m + 5*i. Suppose -4*t + 3 - m = 0. Let y be z(t). Solve -2*n - 9 + y = 3*a, 3*n + a = -7 for n.
-2
Let t = -34 + 61. Let d = 48 - t. Let q be 6/(-4)*(-16)/12. Solve -5*f = -4*p - d, -5*p - 15 = q*f + 3*f for p.
-4
Let p be (-5 + 4)*4 + 17. Let g be (0 + -1 + 10)/1. Let u = p - g. Solve 3*l = -5*m - 3, 24 = 2*l + l - u*m for l.
4
Suppose 0 = 5*b + 25, 0 = 2*z + 3*z - 2*b - 135. Suppose -4*o - 1 = -4*c + 3, 5*c = z. Solve -o = 4*r - 5*v + 4*v, 0 = -2*r + v - 2 for r.
-1
Let r(q) = -q**3 - 6*q**2 - 4*q + 8. Let h be r(-5). Suppose -4*m - 21 = -h*c, -2 = 5*c + m - 14. Solve 2*w - 25 = 3*s, 0 = w - 5*s - 33 + c for w.
5
Let s = 4 - -1. Let u = -75 + 78. Solve 3*y = 9, -s*y = u*j - 7 - 2 for j.
-2
Let c(m) = -m**2 + 7*m - 4. Let u be c(6). Let o = -29 - -44. Suppose 3*p = -5*y + o, 2*y + 2*p = -y + 10. Solve y = -3*n, 3*n = -6*q + u*q for q.
0
Suppose 0 = -2*b - 12 + 60. Suppose -2*u = -7*u + 25. Solve u*h - b = -3*w + 7, 0 = 5*w + 2*h - 20 for w.
2
Let h = -13 - -10. Let d be (4 - (-1 - h)) + 1. Solve d*k = -0*w - 5*w - 10, -k - 5*w - 10 = 0 for k.
0
Let p = -67 - -69. Solve p*y - 3*v = 10 + 15, y = 5*v + 30 for y.
5
Suppose -3*u - 3*z = z, 2*u - 3*z = 17. Solve 3 = 5*a - 2*a - u*c, 2*c = 0 for a.
1
Suppose v + 2*a = 34, -5*a - 25 = -4*v + 46. Suppose -3*c = -v - 3. Solve 2*x + 3*x + 4*z - 5 = 0, 0 = 2*x + 3*z - c for x.
-3
Suppose -3*f + 6 = -3*g, 3*g + 5*f - 32 = -6. Suppose -g*s + 5*t - 12 = -0, 5*s - 8 = 3*t. Solve -p - 2*o + 9 = 0, -5 = -s*o + 15 for p.
-1
Let x be 1 - (54/3)/2. Let z = x + 13. Suppose -k - z*q - 10 + 3 = 0, -22 = -4*k + 5*q. Solve 5*y - 6*r + 2 = -8*r, 10 = -k*y + r for y.
-2
Suppose 16*m - 10 = 11*m. Solve m*p - 7 = -y, -4*y - 3 = 3*p - 26 for p.
1
Suppose 4*n + 2*d = 14, 3*n - 5 = -d + 6. Let k = 5 - 6. Let w be (-12)/(k + (-3)/(-12)). Solve -w = 4*u + n*g, -6*g = -g for u.
-4
Let a = 43 - 71. Let o = 39 + a. Let m = 18 - 7. Solve d + z = 3*z + o, -3*d - 5*z = m for d.
3
Suppose 70*r - 72*r = -4. Solve 14 = -r*k + 4*a, 0*k + 20 = 5*k + a for k.
3
Let k(h) = h**2 - 4. Suppose 4*c + 20 = 4. Let l be k(c). Solve l = -3*b, -1 = -4*x - b - 21 for x.
-4
Let r = 42 + -14. Let b(n) = -n**3 - 5*n**2 - n. Suppose -3*d = 3*o + 21, -2*o + 9 = 3*d + 25. Let k be b(o). Solve 3*i - 2*i - k*g = r, 5*g + 16 = -3*i for i.
3
Suppose 0 = 3*u - 8 + 2. Solve u*o - 4 = 0, -4*b - 2 = -3*b + o for b.
-4
Let t = 0 + 2. Suppose -12*x = -x - 132. Solve -4*d = -c + 2*c - x, -t*d = -3*c - 20 for c.
-4
Let r be ((8 + 3)/(-1))/(-1). Suppose -2 = 3*x - r. Solve -h + 3*n + n = -20, -3*h - x*n = 0 for h.
4
Suppose 4*a = 65 + 23. Solve 5*y = -3*g - a, 4*g = -0*y + 3*y - 10 for y.
-2
Let b = 70 - 53. Solve n - 7 = -2*n + 4*w, -3*n - w + b = 0 for n.
5
Let y(j) = -j**2 + 11*j - 3. Let o be y(9). Let k(m) = -m**2 - 2*m + 3. Let b be k(-3). Let c be (9/o - b)*5. Solve z = w - 3, 5*z = c*w - 2*w - 23 for w.
-2
Let c(o) = 7*o + 1. Let x be c(-1). Let r(q) = -q**3 - 7*q**2 - 8*q - 7. Let g be r(x). Let f = -26 + 26. Solve 2*t + b + 1 + f = 0, -g*t = b + 10 for t.
-3
Suppose 45*q - 40*q = 20. Solve -5*r = -4*o - q*r + 13, -1 = -o - 2*r for o.
3
Let i = 29 + -29. Solve i = 5*o + 3*y + 14 - 48, -4*o + y = -17 for o.
5
Let w = -2 + 2. Suppose w*k = k - 2*z - 19, -3*z = k - 4. Let s(a) = a**3 - 3*a**2 + a - 1. Let y be s(3). Solve -n - 1 + k = 5*p, -y*p - 6 = 4*n for n.
-3
Let n = 1 + 4. Suppose -n = -5*l + 20. Suppose -3*c + 3*b + 9 = 0, l*c = 4*b + 5 + 10. Solve -f + 19 = 3*x, -3*f - c = -3*x - 0*f for x.
5
Let d be (2 - 0)*1 - 4. Let x be d/3 + 16/6. Solve -3*y + 9 = -3*s - 0, x*y - 8 = s for y.
5
Let g be (-18)/(-12) - (-2)/4. Let o be (-1 + g)*(7 - 3). Suppose -4*t - 2 = -5*t. Solve -3*v + v = -r - 5, 0 = t*v - o*r - 2 for v.
3
Suppose -5*l + 8 = -d - 4, 5*l - 18 = 4*d. Solve l*q = -4*g + 10, -4*q - g + 3 = -10 for q.
3
Let l(p) = p**3 - 7*p**2 - 7*p - 3. Let y be l(8). Solve 0 = -2*g - 3*a + 3, -4*g + 4*a - y + 1 = 0 for g.
0
Suppose -5*b + 0 + 10 = 0. Solve 0 = b*j + 2*j - y, -20 = -4*j - 4*y for j.
1
Let x = 21 + -16. Suppose -9 = -3*y - 2*n, -2*n + x*n + 9 = 0. Solve 4*o = 4*z + 28, z + y + 5 = 2*o for z.
-4
Let a(y) = y**2 - 18*y + 34. Let j be a(16). Solve 0 = 4*s + 5*m - m - 40, 0 = 5*s - j*m - 15 for s.
5
Suppose 0 = -4*j + 9 - 1. Solve -4*x + 16 = 5*s, -17 = -j*x - x - 5*s for x.
-1
Let l = -15 - -26. Solve -v = -2*b - 6 - 1, 4*b + l = 5*v for b.
-4
Let u = 16 - 11. Suppose -4*f = p - 49 + 17, u*p = -3*f + 143. Let w be 8/p + (-4)/14. Solve 2*v = 6, -5*v + w*v + 10 = l for l.
-5
Let p(j) = -3*j - 3. Let w be p(-5). Solve 4*t = 4*q - 4, -5 - w = t - 5*q for t.
3
Let m(w) = 6*w**2 + 2*w + 1. Let i be m(2). Let b be 1/(-2)*(-5 - i). Solve -5*c - 5 = -2*f, 23 = -5*c - 5*f - b for c.
-3
Suppose -5*i + 40 = -5*b, 3*i + 11 - 27 = -b. Solve z = f + i, 14 = -2*f + z + 2*z for f.
-4
Let z(l) = -l**3 - 3*l**2 + 16*l - 15*l - 1 + l**2. Let t be z(-2). Let j be ((-3)/(t/(-4)))/(-2). Solve -2*x + 4 = j*w, -5*x + 2*x = 2*w - 1 for w.
5
Suppose 7 = -4*i - 1. Let x be (10 - (-2 - -4)) + i. Solve 2*l - 3*l = 3*n + 6, 2*l + x = -4*n for l.
3
Let g be (-4)/(-14) - 364/(-98). Solve g*l = y + 3*l + 2, 0 = -3*y + l + 2 for y.
2
Suppose 0*c + c + 20 = -4*z, 0 = 5*c - 5*z - 25. Solve -3*h = -3*f, -h + c*f - 10 = f for h.
-5
Let l = -15 - -22. Let f(x) = x - 3. Let s be f(l). Solve 0 = -4*d - 4*a + a - 9, -d = -s*a - 12 for d.
0
Let j = -7 + 3. Let p(k) = -k**2 - 4*k + 2. Let b be p(j). Solve 3*w + 4*u = -17, 5*w + 8 = -b*u + 3 for w.
1
Let y(q) = q - 1. Let x be y(6). Suppose -5*j + 0*r + 42 = -2*r, 5*j - x*r = 30. Solve 5*d = 3*g - j, -4*g + 22 = 2*d - 0*g for d.
1
Suppose -75 = 4*n + n. Suppose 4*r + 7 = 11. Let l be r/3 - n/9. Solve i = t, 2*t = -l*i + 7 + 9 for i.
4
Let r(s) = -s - 1. Let n be r(-4). Suppose 0 = n*m - 8 - 7. Let b(x) = x + 1. Let i be b(2). Solve 2*d + 0*d + i = -f, -5*d - 2*f = m for d.
1
Suppose 25*y - 22*y - 12 = 0. Solve 0 = -y*z - 4*x + 8, x = -5*z + 4*x + 18 for z.
3
Let r be 1 + 1/(-2)*-42. Solve n + 4*p = 3*p - 2, -p = -5*n - r for n.
-4
Let m = 9 + -6. Let j(g) = g**3 + 8*g**2 - g - 5. Let q be j(-8). Solve m*u = c - q, 5*u - 3*c = 3 - 12 for u.
0
Suppose 0 = -q + 7 + 10. Suppose 3*v - 20 = v. Suppose -k = k - v. Solve 2*a = k*w - 2