ve -j = -2*s - 4, u = -s + 3*j + 3 - 0 for s.
-3
Let w be 4/1 + 0 + -1. Suppose -7*f - w*f = -80. Solve 3*c = -5*l - 0*c - f, 20 = -3*l + 2*c for l.
-4
Let m = 79 + -54. Suppose m = 2*i + 3*i, 4*p = -2*i + 22. Solve 3*o - 4 = 4*b, 0*b + 4*b + 28 = -p*o for b.
-4
Let i be (-9 + 3)*(-2)/6. Suppose -i*k + 3*f + 41 = 0, k + f + 43 = 3*k. Solve 0*d + 3 = 3*d - 4*x, -2*d + k = 4*x for d.
5
Let x(u) = 2*u**3 - 23*u**2 + 46*u + 7. Let c be x(9). Solve -4*k = -c, -k + 17 = 5*j + 2*k for j.
1
Let l(k) = 22*k - 2. Let c be l(1). Suppose d - 18 = 4*d. Let a be 91/21 + (-4)/d. Solve o = -4*o - 5*s + c, 4*o - 20 = -a*s for o.
0
Let u(f) = -f**3 - 10*f**2 - 10*f - 5. Let q be u(-9). Solve 2*n - q*h = 6, 2*n + h + 7 = -7 for n.
-5
Let t(i) = -i + 2. Let b(v) = -3*v + 3. Let s(l) = -3*b(l) + 7*t(l). Let c be s(0). Solve 3*f + 16 = c*x, 1 + 0 = -x + 2*f for x.
5
Let n = -26 - -33. Let b be ((-8)/(-7))/(2/n). Solve 22 = b*k + 2*z, -21 = -2*k - k - 3*z for k.
4
Let z(k) = -k**2 + 22*k - 112. Let i be z(10). Solve 0 = -5*v - 2*u - i, -4*v - v = 3*u + 7 for v.
-2
Suppose -837*f = -846*f + 144. Solve -1 + f = -h - 3*l, -2*l - 10 = -2*h for h.
0
Suppose -u + 3*a - 9 = -2*u, 4*a - 34 = -5*u. Solve -3*z + 6 = 0, 5*z = u*r - 3*r + 16 for r.
-2
Suppose -162 = 6*g - 162. Suppose -18 = -3*i - 3. Solve i*n - 2*h = 10, 2*n + g*n + 5*h = 4 for n.
2
Suppose 0*f - f + 6 = 0. Suppose -13*v - 16*v + 232 = 0. Let i = v - f. Solve -k = 2*p, -3*p = -2*p - i*k + 5 for p.
-1
Let i = 607 + -583. Let m(k) = -k**2 - 7*k - 2. Let u be m(-6). Solve u*g = n - i, -2*g = g + 15 for n.
4
Let t = -35 - -44. Let c = -2 - -4. Let x be 10/(c - (-2 - -3)). Solve 4*d - t = d + 3*f, -5*d + 4*f = -x for d.
-2
Suppose 12*l - 3*l - 36 = 0. Suppose 0 = -3*s + v + 95, -3*s = l*v + 39 - 139. Solve 3*b = 3*n, 4*b - 12 + s = 0 for n.
-5
Let v(r) = r + 9. Let j be v(-6). Let m(x) = -4 - 4 + 2*x + 2*x - j + x**2. Let h be m(-8). Solve 4*n = 16, -y + 4*n - h = -6 for y.
1
Let f = -10 - -10. Let i = -15 - -20. Suppose 0*u - 3*u = f, i*u + 4 = 2*k. Solve h = -3*c + 15, -h + 17 = 2*c + k*h for c.
4
Let p be 442/6 - 2/3. Let y be (54/(-36))/(3/(-8)). Suppose y*i = -4*z + 84, -2*i - 5*z + p = 16. Solve 5*j + 23 = -2*b + 4*b, -4*j - i = -b for j.
-3
Suppose -3*t = 3*m + 30, -4*t + 3*m = -t. Let h(z) = -z - 8 + 7 - 1. Let f be h(t). Solve 2*w + 2*u = 6*u, 0 = f*w - 5*u - 2 for w.
4
Let n(k) = -2*k + 25. Let u be ((-11)/2)/((-8)/16). Let b be n(u). Solve -2*h + 20 = 2*i, h + 2 + b = 2*i for h.
5
Let l(t) = t**3 - 5*t**2 - 4*t - 10. Let b be l(6). Suppose 8 = i + 2*w, -b*w = -3*i - 4*w + 12. Solve 0 = 3*a + i*k - 2, -k + 3 - 2 = -5*a for a.
0
Suppose -11 = 10*f - 31. Solve 5*i - 2*i + f*s = -3, -3*s = 0 for i.
-1
Let w be 150/20*(-2)/3. Let c = 9 + w. Let y be 3*(-2 + 3) - 1. Solve -y*l = -3*b + b - 2, 5*b + 4 = c*l for b.
0
Let q = -12 - -14. Let y be 4/q - (-3 - -2). Let h(l) = -l**3 + 3*l**2 + 2*l - 1. Let i be h(y). Solve c + 2*w = -0*w + i, 5*c + 4*w = 19 for c.
3
Let r(u) = u**2 + 5*u + 11. Let y be r(-3). Suppose -2*q - 20 = -3*d, y*q + 32 = d + 8. Solve 0 = -d*z + 3*c + 24, -z + 3*z = -5*c - 14 for z.
3
Let p(l) = -l**2 + 8*l - 12. Let h be p(4). Let t(o) = o + 19. Let a be t(-14). Solve a*y + 49 - 14 = -5*v, -h*y + 17 = -5*v for v.
-5
Let n(y) = 19*y - 484 - y**3 - 14*y + 473 + 20*y - 11*y**2. Let r be n(-13). Solve 0*b + 2*b + 8 = 4*s, 3*b - r = -s for b.
0
Suppose -5*z - 5*s = -25, 2*z + 0*s - 16 = s. Let k(x) = x**3 - 4*x**2 - 4*x - 1. Let t be k(5). Solve 3*a = -u - z, t*u = 2*a + u + 12 for a.
-3
Suppose 9*n = 5*n + 48. Suppose -5*b + 24 = t - 0*t, n = 2*b - 2*t. Solve b = 2*p - 5*u, p - 2*u + 0 = 3 for p.
5
Let m = 46 - 42. Let n be (13/4 - -1) + (-4)/16. Solve n*b = 5*o + 5*b + 2, 0 = -m*b - 8 for o.
0
Let w be (2/12*2)/(1/15). Solve -w*q + 5*a = -30, -2*a - 24 = q + 3*a for q.
1
Suppose -4*l - 1 = -4*y + 3, -l = 2*y - 14. Let q = -11 - -2. Let a = -7 - q. Solve -l*i - 9 = f, -f - a = i + 4 for f.
-5
Suppose 138 = 34*k + 2. Solve 0 = -k*u - 4*c, u + 2*u - 2*c = 15 for u.
3
Let a(h) = -2*h**3 - 29*h**2 - 11*h + 44. Let r be a(-14). Solve -2 = r*f, -5*w + 2*w = 2*f + 2 for w.
0
Let j = -8 + 5. Let n be -5*(-1)/j*6. Let h be 6/15 + (-136)/n. Solve -q + h = 3*u, 4*q - u - 15 = 2 for q.
5
Suppose -4*m = 3*v + 17, -2*m + 1 = 3*v + 8. Let g(z) = 3*z**2 + v + 3*z**2 - 3*z**2 + z - 2*z**2. Let b be g(-2). Solve -b*u = 5*s - 7, 3*u + 2*s = -u for u.
-1
Let t be 3/12 - (-1)/(-4). Let f = 9 - t. Let c = -2073 - -2078. Solve f*m - 4*m - 12 = 2*b, -3*m + c = b for m.
2
Let f = 4 - 13. Let d(o) = -8*o - 7 + 4*o**2 + 10*o**2 - 19*o**2 + 21 + 4*o**2. Let h be d(f). Solve b - 6*w - 7 = -2*w, b - h*w - 8 = 0 for b.
3
Suppose 4*b = -2*m - 4, -2*b = 2 + 2. Let q(z) = -m*z + z + z - z. Let d be q(-6). Solve 0 = -4*a - 2*x - d, a + 0*a + 1 = -x for a.
-2
Suppose 4*w - 17 = 43. Let z = -7 + w. Suppose -z*q + 3*q + 25 = 0. Solve -5*r + 4*b - q = 14, 2*b = 2*r + 8 for r.
-3
Let i = 18 + -13. Suppose -3*j - 11 = -j - 3*a, -j - i*a + 27 = 0. Solve 3*b - 4*k = -6 + 16, 0 = 2*b - j*k - 4 for b.
-2
Let u be 5*(-2)/10*-3. Let l(j) = -2*j**2 - 241*j - 929. Let c be l(-4). Solve -5*p + y + u = 0, -4*p + 15 = -c*p - 5*y for p.
0
Suppose -46 + 11 = -7*d. Suppose -4*b + 0*k = -2*k - 18, 0 = d*b - k - 15. Solve 5*r - 2*f = -12 - b, 3*f - 6 = 0 for r.
-2
Let c be (-12)/6*(-3)/2. Suppose 0 = 2*l + 3*t + 6, -3*t - c - 9 = 0. Let h be 2*l*(-28)/(-21). Solve -3*z = -3*d, -z + 4*z - d - h = 0 for z.
4
Let v be (0/1)/(3 - 1). Let k = 3 + v. Solve 0 = -5*m - 3*d - 28, m - d - k = -7 for m.
-5
Let f = 1011 + -1005. Solve 5*n - f*r = -11*r, -n = 3*r + 10 for n.
5
Suppose 4*f = -12, 2*w - 4*w = 3*f + 3. Let t be (-4)/1 - (-24)/w. Solve t*r - 5*r + 2*g + 9 = 0, 0 = -2*g - 6 for r.
3
Let u(k) = -k**3 + 66*k**2 - 57*k - 515. Let l be u(65). Solve 5*g - g - 16 = q, l*q + 16 = 4*g for q.
0
Let f(h) = -3*h + 5. Let n be f(-5). Solve 0 = -5*w - n, 4*u + 3*w - 12 = 2*w for u.
4
Let b = 16 + -11. Suppose 3*p - 2 - 31 = 0. Let m be 12/4 - (-1)/2*-4. Solve -5*d + 4*g = -10, -p = -5*d - b*g - m for d.
2
Suppose 0 = -0*i - 2*i + 10, 109 = 4*h + 5*i. Let z = -9 + h. Let s = z - -15. Solve 9*u - 5*o = 4*u + 40, -3*o = -4*u + s for u.
3
Suppose 5*l + 4*a = 26, -3*a - 24 + 9 = -2*l. Solve 5*t + 4*u - 16 = 0, 6 + l = -3*t + 3*u for t.
0
Let a(i) = -16 - 6*i - 29 - 12 + 3. Let m be a(-9). Solve -n = -m*n + 3*l - 2, 0 = -n - l for n.
-1
Suppose -3*a + 7*a - 12 = 0. Suppose 10 = a*s - s. Let n be 37 + 16/(-72) + 76/18. Solve -2*q - r - 29 = 3*q, s*q + 4*r + n = 0 for q.
-5
Let t = 445 - 441. Solve -5*v - 3 - 15 = -b, 21 = t*b - 3*v for b.
3
Suppose 3*h - 4*r = -0 + 15, -5*r = 3*h - 15. Solve 2*m + h*p - 13 = 4*m, -3*m - 3*p = -12 for m.
1
Suppose -3*f - 29 = 61. Let z be 2/3 - 40/f. Suppose -3*s - z*s = -30. Solve 4 = 2*g - 0, 4*p - s = 5*g for p.
4
Let f(u) = 15*u**2 + 2*u + 1. Let p = 35 - 36. Let i be f(p). Solve 2*g - g + 4*d - 4 = 0, g - 5*d = -i for g.
-4
Let o = -81 - -84. Let z be ((-27)/(-18))/(1 - o/6). Solve -b = s + 2, z*b - 6 = s + 4 for s.
-4
Let t(h) be the second derivative of h**3/2 - 7*h**2/2 + 13*h. Let s be t(4). Solve 0 = -f + s*m - 4 - 5, -4*f + 14 = 5*m for f.
1
Let w = 16 - 15. Let r be 12 + 4*w/(-2). Let c be 96/r + (-8)/(-20). Solve 5*j - 3*o + 14 = 0, -j - 2*o - c = o for j.
-4
Let u = -171 + 198. Solve -2*o + 20 = -5*z, z = 9*o - 4*o - u for o.
5
Let b be (-1 - 0)*(-1)/(-2)*-6. Suppose -l + b*l + 2*l = 0. Solve -5*g + p + 17 = l, g + p + p - 10 = 0 for g.
4
Let r = -351 + 356. Solve 4*o + 5 = 3*x, 3*o - 3*x = -x - r for o.
-5
Let p(b) = -5*b + 76. Let q be p(13). Suppose -q*w - 5 = -12*w. Solve -s - 7 = -2*j - 0*j, -4*j + w = -5*s for s.
3
Let g(q) = -q**3 - 8*q**2 - 15*q + 7. Let s be g(-5). Solve 4*m - r - 3 = -2, -4*m + s = r for m.
1
Let p = 2 - -2. Suppose -5*y + 63 = p*t - t, 4*y = 4*t - 52. Suppose 3*j - 5 = t. Solve 0 = -2*k - 2, -2*c - j = -3*c + 2*k for c.
5
Let c(k) = 2*k**3 - 55*k**2 - 28*k + 4. Let m be c(28). Solve 0 = -m*n + f + 2*f - 1, 4 = n - 5*f for n.
-1
Let w = 0 + 5. Suppose -10 - 5 = -w*y. Suppose 1 = -i - 2*d, 0 = -5*i + 2*d + 1 + 6. Solve t + o = -5, y*t + 9 + i = 2*o for t.
-4
Suppose -4*n + b + 2*b = 7, 5*b - 17 = 4*n. Suppose 0 = -h + n + 2. Solve -2*m = -2*i + 6*i + h, 3*i - m = -13 for i.
-3
Let j(p) = 0*p - 7*