e 2*j - m = l, 0 = -2*l - 0*l + 5*j - 18 for l.
1
Let u be 30*4/28*-14. Let j be 6/((u/(-8))/5). Suppose 3*w - 4*y - 1 - 43 = 0, -5*y = 2*w + 9. Solve 2*m = 3*o - 1, 9*m - j*o = 4*m + w for m.
4
Suppose -s = -4*s + 9. Suppose 0*u - 15 = -s*u. Solve -2*y = -p - 9, 3 = y - 5*y - u*p for y.
3
Suppose 0 = 5*f - 3*f - 6. Suppose -9 = -3*i + i + 3*t, -5*i = t + f. Solve v - 5*y = -29 + 8, i = 3*v + y - 1 for v.
-1
Suppose 0 = 4*y - 0*y - 12. Let x(p) = 1 - 4 + 2*p - 9 + 2. Let d be x(7). Solve y*h = -v + 18, -h = -5*v + 6 + d for h.
5
Suppose -m = -4*m - 519. Let l be (-4)/18 - m/9. Let n = l + -13. Solve -6*q = -4*q + 2*i + n, 0 = 3*q - i + 9 for q.
-3
Let v(b) = -b**2 + 5*b + 4. Let d be v(5). Let o = 0 - -4. Let g be o/6*(0 - -3). Solve -4*u + 2*f = -7*u + 11, -18 = -g*u - d*f for u.
1
Suppose 2*x - 2 = 0, 3*x - 13 = -2*d - 0*x. Suppose -10 - d = -5*u. Solve -5*a + 5*g = -u - 2, -7 = -5*a + 4*g for a.
3
Suppose -4*z = -5*c + 2*c + 59, 5*z - 47 = -2*c. Let g = 39 - c. Solve -2*o + 16 = 4*r, 5*o - g = -0*r + r for o.
4
Let g(u) = u**2 + 5*u + 5. Let v be g(-6). Suppose 3*l = v + 19. Solve l = 2*j - k, j + 0*k = -4*k - 13 for j.
3
Let o = 7 + 29. Solve 5*j = -5*c, -4*c + 0*c + o = -5*j for j.
-4
Suppose -5*m + 81 = -2*m. Solve 5*a = -l - 2*l + m, -5*a + 5*l - 5 = 0 for a.
3
Suppose 22 = 5*k + o, 6*k - 4*o = 5*k - 4. Solve -3*t - 2*i = 2*t - 14, k*t - 28 = 4*i for t.
4
Let c = 32 - 27. Solve -w + c = -4*l, l + 2*l - 4*w + 20 = 0 for l.
0
Suppose -5*n = 5*b, -4*b + 8 = -2*n - 4. Solve 0 = 2*l + 2*s - b, s + 4 = -4*l - 4 for l.
-3
Let m(d) = -d**3 - 2*d**2 - 3*d - 6. Let f be m(-3). Solve f - 1 = -4*s + z, 3*s = 3*z + 3 for s.
-4
Let r be (-13)/(-1) - -2 - 2. Let i = 14 - r. Solve 2*d - 3*c - c = -14, 3*d = 2*c - i for d.
3
Let n(w) = -w + 9. Let x be n(9). Suppose x*r - 2*r + 10 = 0. Solve -z + 8 = 3*z + 3*c, 3*z = r*c + 6 for z.
2
Let d(h) = -7*h. Let c be d(-1). Suppose -64 = -j - j. Suppose 5*s = j - c. Solve 4*a - 7 - 7 = -s*y, -y - 5*a + 7 = 0 for y.
2
Let o be (-1 + -24)/(-1 - 0). Suppose 2*i - 2 - 10 = 0. Suppose -2*g + i = -6. Solve 0 = 4*u, 3*u = -j + g*j - o for j.
5
Let b = 64 - 60. Solve -a - 5*s = -b - 7, 0 = 2*a + 3*s - 8 for a.
1
Let t be (-46)/(-10) + (-6)/(-15). Let m = -134 - -138. Solve -m*w - l = t, -3*l + 2*l = -w + 5 for w.
0
Let v = 66 - 63. Solve 2*l - 3*r - 13 = -0*r, -20 = 5*l + v*r for l.
-1
Suppose 5*o = 9*o - 12. Suppose 0 = -o*y - 2*y + 10. Solve 5*p + 8 - 17 = y*c, 4*p = -2*c for p.
1
Let u be (-18)/(-27) - (15/9 - 1). Solve u*h = -3*h + 2*a - 1, h + 5*a = -23 for h.
-3
Let j be (18/(-15))/((-3)/10). Let w(x) = -x**2 + 17*x - 14. Let b be w(16). Solve j*i - 2*i + b*u = -6, -2*i - 6 = 3*u for i.
-3
Let n = -7 - -8. Let u be n/(-2)*(-4)/1. Solve 0*l + y = l, -u*l - 12 = 4*y for l.
-2
Let t(z) = -z**3 + 7*z**2 + 2*z - 9. Let u be t(7). Solve 0*r + u*r + 5 = 0, y + 2*r = -6 for y.
-4
Let x(z) = -z**3 + z**2 + z - 1. Let r(i) = i**2 - 3*i - 3. Let m be r(4). Let y be x(m). Solve 3*s - 3*h = y, -2*h - 1 = -3*s - 3 for s.
-2
Let a(z) = -z**3 + 30*z**2 + 32*z - 26. Let k be a(31). Solve g - 3*g = -n - 13, 0 = -k*n + g - 20 for n.
-3
Suppose g + 10 = 15. Solve g*l + 31 = 2*x, 3*l = 5*x + 14 - 44 for x.
3
Suppose 4*u = -u + 60. Let a be (-32)/u*(-3)/2. Solve 0 = -f + a*q - 19, -f + 5*f - 2*q + 20 = 0 for f.
-3
Let v(r) = r + 10. Let j be v(-5). Suppose -k - j = 0, 0 = 2*y - 4*k - 2 - 10. Let c = y - -9. Solve 2*n = 0, 5*d + 0*d + c*n = 20 for d.
4
Suppose 2*n - 12 = -5*l, -3*l - n - 24 = -8*l. Solve -4*r = -3*r - 4*g - 4, -r + l = -g for r.
4
Suppose -2*o + 4*l = 0, -2*o = -o + 2*l - 20. Solve 0 = -4*t - 2*g - o, -5*g - 33 = -8 for t.
0
Suppose 0 = 5*i + 2*x + 22, -3*i = -5*x + 5 + 2. Let m be (-4)/(i/7) + -2. Solve -4*v = m*c - 14, 0 = -4*v + c + 2 for v.
1
Suppose -2 = -3*g + 2*p, 0 = 2*g + p - 2*p. Let o be (g/(-5))/(1/5). Let x be 33/o + 5/(-10). Solve -5*m = -2*t - 2*t + x, -5*t = m - 20 for t.
4
Let p(o) = o**3 + 8*o**2 - 2*o. Let r be p(-8). Let y be (10/(-8))/((-4)/r). Solve -3*f + 15 = -3*t + f, 2*f = -y*t + 1 for t.
-1
Suppose -2*g = -2*g - 5*g. Solve 11 = -4*z + 5*y, 4*z + g*y - 2*y + 2 = 0 for z.
1
Suppose r = -2*r. Let t be r/(-2) + 6/2. Solve h - t*x - 11 = -x, 25 = 3*h - 4*x for h.
3
Let s(j) = -j**2 - 15*j - 47. Let n be s(-10). Solve -5*h - n*v + 8 = -4*v, -12 = -5*h - v for h.
2
Let l(h) = -h**2 + 6*h + 7. Let c be l(7). Suppose c*k + 2 = k. Solve k*b = -2*p - 2, 3*p + 18 = -0*b + 2*b for p.
-4
Let x = -15 - -24. Solve 3*m - 3*f = f - x, 0 = 2*m - f + 1 for m.
1
Let a = -46 - -47. Solve 4*s - a = n + 2, -2*n + 8 = -s for n.
5
Let s = -7 - -4. Let q = s - -4. Suppose -y + 4*a = -12, -a = -2*y + q + 2. Solve -2*z + 5*g = -z - 13, 2*z + 2*g + 10 = y for z.
-2
Let s(x) = x**2 - x. Let j be s(5). Suppose 0 = c + 3*c - j. Solve c*k - 4*b + 14 = 0, -k = k - 3*b + 7 for k.
-2
Suppose 0 = -4*p - 3*t + 19, -5*p - 4*t - 1 = -25. Suppose 3*l + 0*l - 4*n = 39, l + 5*n = -6. Let a = l - p. Solve -a*m + 41 = 4*j, 2*m + 5*j = 22 + 8 for m.
5
Let l be (6/(-4))/((-12)/(-16)). Let x be (l*(-3)/2)/1. Solve -x*w + 4*p - 9 = -4*w, -9 = -3*p for w.
-3
Let h be 0*(-4)/6*5/10. Suppose -q + 15 = -0*q. Solve -k + q = 2*k + 4*v, -5*v = h for k.
5
Let f be (2 - (1 - 0)) + -2. Let k = f - -2. Let h be (12/3)/k*1. Solve h = -w - 2*u, 4*w + 2*u + 10 = -3*u for w.
0
Let n be -5 + 6 - (-48)/2. Suppose -4*o + 26 = -34. Let s be ((-12)/o)/(2/(-25)). Solve -n = 3*t - 4*i - 5, -i = 3*t + s for t.
-4
Let i = -17 - -24. Solve y - p + i = 0, -5*p + 13 = 3*y + 2 for y.
-3
Suppose 4*z = -2*t + 8*z + 20, 14 = t - 3*z. Solve r - 2*o - 3 + 0 = 0, t*o = -2*r + 12 for r.
5
Let c(m) = 2*m**2 - 19*m - 10. Let k(l) = 3*l**2 - 20*l - 11. Let g(s) = -4*c(s) + 3*k(s). Let t be g(-16). Solve 4*b = 6*b - h + t, -b - 2*h - 1 = 0 for b.
-3
Let w be (-1 - -4)*(3 + (4 - 6)). Suppose 0 = -5*v - 10 + 35. Solve -5*s - w*r + r + 5 = 0, 5*s + 30 = v*r for s.
-1
Let p be ((-1)/1)/(6/(-6)). Let j be (-18)/(-8) + p/(-4). Solve 5*z = 2*d - 11, 3*d + j*z = -2*d + 13 for d.
3
Let c = -4 - -6. Let u(w) = -w**3 - 19*w**2 + w + 24. Let b be u(-19). Solve -x - 3 = c*p, 3*p = -p + b*x + 1 for p.
-1
Suppose v - 8*q = -3*q - 10, 3*q - 34 = -5*v. Suppose -3 = v*z - d, -2*z - 12 = z - 4*d. Let f = 29 + -14. Solve -2*b + b = -5*x - f, -4*x - 12 = z for b.
0
Let w = -16 + 19. Solve w*t + 2 = j, 1 - 6 = 3*j + 2*t for j.
-1
Let n = -2 - -4. Suppose 0 = t - 5*j + n, 2*j - 6*j = -4. Solve -t*u = -p + 2*u - 1, 2*p = 5*u + 3 for p.
4
Let w be (1/2)/((-1)/(-26)). Let q = w + -23. Let p be 6/((-23)/q - 2). Solve 2*a + 0*r = -4*r - p, 3*a - r + 2 = 0 for a.
-2
Suppose 2*c - 9 = 11. Suppose -12*b = -17*b + c. Suppose l + 39 = 5*u, 4*l + 0 = -5*u + 19. Solve -6 = s - p, -2*s + b*p + 9 = u*p for s.
-3
Let b(w) = -w**3 + 2*w - 1. Let h be b(1). Suppose -2*q + 4 = 2*y, 3*q - 4 + h = -4*y. Solve -20 = -q*n - 5*j, 2*n = -2*j + 1 + 7 for n.
0
Suppose -67 = -3*h - 2*b, b = 4*h - 3*b - 76. Let y = h + -11. Solve n - 4*q = 2*n - 17, 0 = 2*n - 3*q + y for n.
1
Let u = 50 + -48. Solve -4*t - 22 = 5*n, -5*t + u*t - n = 11 for t.
-3
Let t = -8 + 13. Solve -6 = 3*q - 2*j, 3*j = t*q - 1 + 12 for q.
-4
Let y = 33 + -33. Solve y*f - 4*f = -d - 19, 0 = 4*d + 3*f for d.
-3
Let m be 0 + (1 - (2 - 3)). Suppose -m*w = 2*w - 24. Solve 0 = -l + 1, 14 = -3*c + 5*l + w for c.
-1
Let g = -17 - -21. Solve -g*d = 3*i - 3 - 8, 5*d + 25 = 4*i for i.
5
Suppose 3*y - 5*w = 1 + 6, 15 = 5*y - 5*w. Solve -1 = -6*g + g + 3*m, 0 = 3*g + y*m + 11 for g.
-1
Let x be (6/12)/(2/4). Suppose 3*k - x = k - 3*z, 5*z = -4*k + 5. Solve 5*h - 20 = -5*a, h = -k*a - 0*h + 4 for a.
0
Let u be (-2 + 3)*-1 - -3. Suppose k = -u*k. Solve p + 3*z + 9 = k, 5*p - p - 2*z - 6 = 0 for p.
0
Let a(n) = 2*n**2 - 3*n + 2. Let f be a(2). Solve 10 = 3*g + f, -4*p - 2*g = 8 for p.
-3
Suppose -9*y + 33 + 282 = 0. Solve -4*z + 8 + 23 = -5*t, 5*z - y = 5*t for z.
4
Suppose 0*s - 2*s + 24 = 0. Solve s = 2*w - 2*m, -m = 7*w - 4*w + 2 for w.
1
Let u(k) = 6*k. Let q be u(-1). Let a(h) = -h**3 - 5*h**2 + 7*h + 9. Let i be a(q). Suppose -2*y + 16 + 0 = 0. Solve 3*g + 0*p + 28 = 5*p, i*g = p - y for g.
-1
Let l(o) = -2*o - 3. Let w be l(-3). Suppose 0 = -4*a - w + 11. Solve c - 7 = 3*b, 0*b - b - a*c - 7 = 0 for b.
-3
Suppose 28 = -5*q - j - 25, 31 = -3*q - j. Let v = q + 6. 