*o - 4*z = 3*o - 15, -l*z + v = 4*o for o.
3
Let s(r) = -r**2 + 5*r - 2. Let h be s(3). Let d(x) = x**3 - 5*x**2 - 3*x - 7. Let i be d(6). Let u = i - 6. Solve -3*m = -u*l - h, 2*l - m = -l for l.
1
Let k = 12 - 8. Let p be (-12)/10 - 84/(-20). Solve 0 = -p*c - 9, c = k*l - 7*l - 9 for l.
-2
Let p = -144 + 155. Suppose -7*h = -p - 3. Solve -4*o = y + 12, 2*o + 2*o + 12 = -h*y for o.
-3
Suppose -32 = -15*l + 73. Solve 4*j + l*p - 4*p - 29 = 0, -3 = -p for j.
5
Let j be ((-8)/6)/((-2)/6). Let o(k) = -7*k - 3. Let x be o(-1). Suppose 0 = -l + x*l - 0*l. Solve l = -3*i + j*r + 6 - 3, -3*r = 0 for i.
1
Suppose -2*j + 20 = 3*j - g, 0 = -5*j + 3*g + 30. Let i = 0 + j. Suppose -4*n + i*o + 10 = 0, 3*o = 4*o - 2. Solve -5*f + 18 = 4*a, n*f + 0*a - 4*a = 0 for f.
2
Let x(c) = c + 8. Let g be x(8). Suppose 0 = -2*m + 3*q + 1, 3*q + g = 5*m - 0*m. Solve -m*b - 10 = 0, -s - 3 = -0*b - b for s.
-5
Suppose 0 = -b + 6*b - b. Let m(s) = -s**2 + 2*s + 4. Let f be m(b). Solve 0 = 2*g - f*q - 6, -5*g - 3*q = -9 - 6 for g.
3
Let q = -93 + 98. Let t(r) = -r - 3. Let a be t(-3). Solve a*h + 2 = -n + h, 0 = -q*n - 5*h + 40 for n.
3
Suppose 10 = 5*b - 105. Let f = 26 - b. Solve 0 = h - 0*r + 3*r - 5, -5*h + f*r = 29 for h.
-4
Let g(w) = -3*w**2 + 39*w - 67. Let b be g(10). Solve -u - b = 5*l, -10*l = -14*l - 5*u - 10 for l.
-5
Let r be 3*(-4 - -3) + 23. Let y = r - 18. Suppose 3*u - 7 = y. Solve -6 = -u*l, -3*h + h - 4*l + 4 = 0 for h.
-2
Let k = -132 - -130. Let h be (-2)/(-1) - 2/k. Solve g - 5*d + 14 = h*g, -3*g + 12 = 3*d for g.
2
Let u be 2/10*41 + 340/425. Solve -b = -3*w + u + 10, -4*w + 24 = -b for w.
5
Let v = 29 - 26. Suppose 0 = v*t + t, 0 = 2*p - 4*t - 10. Solve b + 3*x + p = 0, -4*x - 7 = 4*b + 13 for b.
-5
Let w(v) = -v**2 + 19*v - 16. Let d be w(18). Suppose 5*y - 3 = -h, -6*y = -d*h - 4*y + 6. Solve 3*l + 34 = -5*z, h*l - 7*l + 13 = -5*z for z.
-5
Suppose 8 = -4*v - 20. Let r = -5 - v. Let h be (13/(-26))/((1/(-6))/1). Solve h*u = 9, -r*n = -n - u - 1 for n.
4
Let l be (10/12)/((-5)/10)*-3. Solve g = -4*r - 18, g + 20 = -l*r - 3 for r.
-5
Let t be 3 + (-3 - (1 + -1)). Suppose t = 2*r + 3*r + 10. Let v be (-6 + 7)*(-10)/r. Solve -5*a - 2 = v*m + 3, -2*m + 5*a = -26 for m.
3
Let d = 1035 + -1031. Solve d*j + 3*g - 23 = 0, -2*j = -g - 2 - 7 for j.
5
Let l be (25/35 + 1)/(15/70). Solve v + 16 = 3*d + 8, -2*d + l = 0 for v.
4
Suppose t + 10 = -4*t. Let k = t + 5. Suppose 5*o = k*c + 19, -5*c + 5*o = 7*o - 20. Solve -c*f - 3*g + 6*g = 10, 0 = -g for f.
-5
Let c(j) = 2*j**2 + 8*j - 8. Let m be c(-6). Solve 2*t - 6 = -v - 14, 0 = -3*v - 4*t - m for v.
0
Let u be (27/54)/(1/8). Solve q - 1 = -3*q + z, u*q + 3*z = 13 for q.
1
Let h = -12 + 9. Let b = h - -5. Suppose 14 = -3*i - 4*y, -4*i - b*y - 2*y = 12. Solve 0 = f - p + 1, -p - 4 = 4*f + i*p for f.
-1
Suppose 4*z + y = -29, z + 17 = 4*y - 3. Let x be (3*-2)/2 - z. Let w = -50 - -70. Solve 2*a - 15 = -x*q + 13, 2*q = -3*a + w for a.
4
Suppose 6*q - 10*q = -12. Suppose 9 = 4*p - 5*r - 23, -q*r = -p + 15. Solve -8*o + p*o - 30 = 3*m, -m - 14 = 3*o for m.
-5
Let c be -4 - (1 + 19)/(-5). Solve -6*z - 10 = -2*z + 2*y, -z - 2*y - 7 = c for z.
-1
Let s(q) = -13*q**3 + 6*q**2 + 4*q + 1. Let y be s(-1). Solve -2*p + w - 5 = 0, -46 + y = 2*p + 4*w for p.
-5
Suppose 3*y = -7*y. Suppose y = -4*m + 2*q + 6, 19 = -4*q + 7. Solve 0 = 5*i + 2*z, m = 3*i - 0*z + z for i.
0
Let y(n) = n**2 + 6*n - 23. Let j be y(-7). Let r = j + 30. Solve -m - 8*l = -3*l + 21, 0 = -2*m - 3*l - r for m.
-1
Suppose -5*l = -4*q + 2, -52*l + 2*q + 2 = -48*l. Solve -5*u = 5*y + 5, -3*y = -l*y for u.
-1
Suppose -18*j + 0*j = -108. Solve 2*s - j = o, -3 = 2*s - 3*o - 1 for s.
5
Let b = -1 - -55. Let h = b + -49. Solve 12 = 3*t, -h*w - 5*t + 35 = -0*w for w.
3
Suppose -9 = -4*x + 11. Let l be -1 - (-32)/x - 42/105. Solve -4*c - l*g + 32 = 0, -4*c - 11 = -9*c + g for c.
3
Let d(g) = g**2 - 31*g + 118. Let o be d(27). Solve -5*r - s = -o, 12 = -4*r + 4*s - 4 for r.
1
Let o(y) = y**3 + 2*y - 1. Let k(q) = -q + 3. Let z be k(2). Let m be o(z). Suppose 10 = m*f - 0. Solve -21 = -2*l + f*c, 2*l = 5*l + c + 11 for l.
-2
Let y(v) = v**2 + v - 1. Suppose 4 + 8 = -x. Let r = 14 + x. Let c be y(r). Solve -c*z + 3*n = -17 + 4, -z = -3*n + 7 for z.
5
Let b(m) = -m**2 - 16*m - 45. Let u be b(-4). Solve 0 = 5*n + s - 2, -2*n - u*n = 5*s - 10 for n.
0
Let w(d) = d**2 + 14*d + 26. Let f be w(-12). Solve 2*k = j - 0*k + 5, 0 = -f*j + 5*k - 15 for j.
5
Suppose -2*o = 5*f - 18, -4*o - 17 = -7*o - 5*f. Let p be (4/3)/(o/(-12)). Suppose 4 = -4*t + p. Solve 0 = 5*b - t*m, m = -3*b + 4*b for b.
0
Let d = -4 + 8. Let v(z) = -3*z - 22. Let j be v(-8). Suppose j*o = 5 + 3. Solve -2*h - o*y - 8 = 0, 0 = d*h + y + 4*y + 16 for h.
-4
Suppose 2*d + 2*f = -3 + 13, 2*f - 18 = -4*d. Let a be (-1 - 8)*74/(-222). Solve 5*b + 3 = q + d, -3*q - a = 4*b for q.
-1
Suppose 10 = -5*r, -2*v + 7 = -r - 5. Solve -2*o = -0*o - 4*p + 8, v*p + 12 = -3*o for o.
-4
Let h be 22 + -11 - (0 + 1 + 3). Solve -5*a - 1 = -2*f, 0 = 5*a + h - 2 for f.
-2
Suppose 4*n = 3*n + 28. Suppose 303 - n = 11*l. Solve -5*w = -h - l, -w - w = h - 3 for w.
4
Suppose 62 = 2*k + 4*p, 2*p = -11 + 1. Solve -10 = -2*m, g - k = -5*m - 11 for g.
5
Let x be (5/((-15)/(-2)))/(42/126). Solve y = 5*m + 1, -x*m + 3 = 3*y - 5*m for y.
1
Let w be (24/(-3) - -4) + 4. Let a(z) = -15 - z + 3 + w + 2*z. Let m be a(15). Solve -4*k - 2*x + 8 = 0, -m*k + 13 = 2*k + 4*x for k.
1
Let p(r) be the second derivative of r**4/6 + r**3/2 + r**2/2 - 7*r. Let g be p(-2). Let j(i) = i + 1. Let a be j(3). Solve z = o - a, g*o - 10 = 2*z - 1 for z.
-3
Suppose -12*f + 13*f + 4 = 0, -3*s = 4*f + 10. Suppose 4 + 6 = 3*t + 2*r, -4*t + 18 = -2*r. Solve 2*b = s*l - t, 0 = 7*l - 2*l - b + 6 for l.
-2
Let b(v) = 5*v**2 + 35*v - 35. Let f be b(1). Solve 3*h + 5 = 2*l, -4*l + 17 = -l + f*h for l.
4
Suppose -z + 3*g = -14, 0*z + g = -4*z + 17. Suppose -2 = -z*w + 8. Solve 5*m + 5 = -3*b, w*m = -m - b + 1 for m.
2
Suppose 2*r = -2*r + 5*r. Suppose 8*a - 20 - 20 = r. Solve -4*i = -a*s - 5 - 15, -4*i + 4*s = -20 for i.
5
Suppose 4 = -2*d - 4*b - 0*b, -2*b - 10 = -d. Suppose 8*z - v = 3*z + 24, -z - 8 = 3*v. Solve -z*f = m - 0*f - 5, 5*f = d*m + 1 for m.
1
Let q be 26/(-169) - 4/(-26). Suppose -4 = -t - t. Suppose 4*y = -5*h + 33, 3*y - 7*y = 2*h - 18. Solve q*p + p + 3*x = -10, -t*x - 4 = y*p for p.
2
Let a(b) = -b**2 + 14*b + 18. Let t be a(15). Suppose -2*u + 3*d = -7, 4*d - t - 9 = 0. Solve 2*n = -u, -2*r = 3*r - 3*n - 17 for r.
1
Let s = 2 - 0. Suppose 0 = -2*b - j + 11, 2*b - 3*j - s = b. Solve 5*u = 2*d - b - 8, 5*u = 4*d - 11 for u.
-3
Let l be (-2)/10 + 52/10. Suppose -l*i + 22 = 3*q - 0, i - 10 = -2*q. Solve 0 = -5*g - i*t - 0*t - 19, -4*t = 5*g + 23 for g.
-3
Let n = 37 - 77. Let g be (-64)/4 + 0 + 0. Let m = g - n. Solve -2*p + 20 = -4*q, -3*p + 0*p = -4*q - m for q.
-3
Let t be (-4)/(-10) + 144/90. Solve 0 = -4*j - 5*q - 21, 3*j = 5*q - 9 + t for j.
-4
Let s = -227 + 247. Solve -4*c = -6*c - 4, 4*f + 4*c + s = 0 for f.
-3
Let g = -480 - -480. Solve g = -d + 5*v - 27, 15 = 5*d + 6*v - v for d.
-2
Let a = 429 - 425. Solve -9 = f + a*j + 3, -3*f - 3 = j for f.
0
Let s(j) = 9*j - 25. Let l be s(3). Let f be (0 - 4) + (-1 - -3). Let d be 1 + 4/(f + 4). Solve -l*w + 4 = 0, 3*x + d*w + 10 = 5*w for x.
-2
Let u = 10 - 29. Let n = u + 22. Let z = -8 + 13. Solve -z*k - 19 - 1 = -4*i, n*k - 15 = -3*i for i.
5
Suppose 8 = 2*v, 0 = 5*y - 6*y - 2*v + 10. Solve 10 = y*x - 0, -4*x + 24 = 2*m for m.
2
Suppose 2*c + 2*c - 552 = 0. Let t = 145 - c. Solve -7 = -4*y + 3*f + t, -5*y = 5*f for y.
2
Let y(r) = -38*r + 584. Let g be y(15). Solve -j - n + g = -4*j, 30 = -5*j - 5*n for j.
-5
Let x be (-2)/((5 + -3)/(-4)). Solve 2*p = 5*l + 6, -2*p = 4*l - x*p + 6 for l.
0
Suppose 56*i + 24 = 64*i. Solve b - 3*p - 3 = 2*b, -b = 5*p + i for b.
-3
Let s(v) = v**2 - 7*v - 2. Let b be s(8). Let h = b - -7. Suppose 3*f - 52 = 5*c, 142 = 5*f - 3*c + 50. Solve -4*i = -3*i + 4*n + h, 0 = 4*i + 5*n + f for i.
-1
Let p(x) = x**2 + 10*x + 4. Let g be p(-10). Suppose g*q - 4*t = -44, -4*q = t + 28 + 31. Let o = q - -16. Solve -3*u = -0*u - 2*j - 22, u + o*j = -6 for u.
4
Let m be 16/4 + 2 + -1. Let k be 3*((-6)/9 + 1)*m. Solve -3*w = 0, -5*w = k*t - 3*t - 8 for t.
4
Suppose 56 = -6*q + 10*q. 