 = -0*t, j = -2*t + 3 for j.
1
Suppose 5*w - 4*j = 3*w - 4, -5*w + j = -8. Solve 2*v + 13 = 3*c, w*v - 7*c + 2*c = -23 for v.
1
Let g = -5 - -9. Suppose 0 = 3*t + o + g*o, 2*o = 0. Let u be t + -1*(-2 - -1). Solve -5*b + k + 1 = -0*b, 3*b = k - u for b.
1
Let b = -3 - 11. Let w = b - -19. Solve w*v - 3*y - 5 = 12, 5*v - 16 = 4*y for v.
4
Let d = 122 + -209. Let i = 87 + d. Solve 4*b - 4*j - 20 = i, 0 = b + 3*j + j for b.
4
Suppose -17 = -5*c + 2*k, 0 = -2*c + c - 3*k. Let z be -1 + 2 - (-31 + 0). Let r = 45 - z. Solve -4*q = -u - r, 0*u - 13 = q + c*u for q.
2
Let w be -13 + 22 + (1 + 0)*1. Solve -2*g - 4*h + w = 0, -5*g + 5*h + 28 - 3 = 0 for g.
5
Let p be -3 + 3 + 5 + -2. Suppose -p*r - 5 = -8*r. Suppose 0 = 4*u - 17 + r. Solve -5*q - 11 = -u*s, -3*s + 6 = -2*q - q for s.
-1
Suppose 0*f - d = 2*f + 50, -4*f = -5*d + 128. Let y = f - -31. Solve 35 = y*s - 3*m, -6*m - 20 = -2*m for s.
5
Suppose 3*z = -4*w + 443, 5*w - 2*z + z = 549. Let o be w/4 - 2 - 10/(-20). Solve 5*l = -10, 2*l = -4*v - 3*l - o for v.
-4
Suppose -3 + 11 = 2*x. Suppose x*g = -g - 2*d + 5, 0 = 4*d. Solve -z = -f + g, z + 2 = 5*f + 9 for f.
-2
Suppose 3*t = 2*t + 4. Let x = -3 - -8. Suppose 3 + 5 = -2*l + t*m, 3*m = x*l + 6. Solve 6 = 2*b - l*g - 2*g, -g = 3*b - 5 for b.
2
Suppose 5*i + 20 = 15*i. Solve -3*w = 6, 4*a + 0*w + 16 = i*w for a.
-5
Suppose 2*i + 3 = 3*m, -3*m = -5*i - m + 9. Solve 20 = -4*r, -c + 3*r = -i - 8 for c.
-4
Suppose -6*r = -74 - 22. Suppose 13*u = r*u - 36. Suppose 3*g - 3 = u. Solve -g*x + 15 = -3*d, -x - d + 25 = -6*d for x.
0
Let q(m) = m**3 - 13*m**2 + 11*m + 24. Let y be q(12). Solve -4*o = y, 24 - 12 = -3*f - 3*o for f.
-1
Let n be ((-18)/12)/((-2)/(-12)). Let p = n + 0. Let x be (30/2)/(p + 10). Solve -3*g + x = -4*k, 0 = k + 3 for g.
1
Let i(b) = b**3 + 4*b**2 + 4*b. Let g be i(-3). Let w(k) = k**3 + 4*k**2 + 4*k + 7. Let h be w(g). Solve -h*p = -5*c + 14 - 2, 16 = 4*c for p.
2
Suppose 2*x = -5*k + 47, 4*x + x = -2*k + 23. Solve k = p - 4*a, 2*a = -5*p - 0*a - 21 for p.
-3
Let h(g) = g**3 - 2*g**2 - g + 5. Let c(i) = -i**3 + i**2 + 3. Let l be c(0). Let w be h(l). Let z = -8 + w. Solve -u + 0*u - z*j + 2 = 0, 0 = -4*u - 4*j for u.
-1
Let z = 10 - 5. Let p(g) be the first derivative of -g**2/2 + 8*g - 7. Let s be p(-13). Solve 2*v + z*q + 1 = s, 0 = q - 4 for v.
0
Suppose 5*z - 15 = p, -14 = -5*z + 3*p + 11. Suppose 3*s = -2*b + z + 10, 0 = 5*s - 10. Solve b*v + 4*j = -25, -v - 2*j - 7 = -j for v.
-3
Suppose -o - 8 = -5*o. Let q = 9 - 4. Suppose 5*r = 23 + 167. Solve o*j + q*x + 9 = r, -3*x = -2*j - 11 for j.
2
Suppose 2*b + 5*l - 7 = -15, -5*b + 42 = -3*l. Solve b = 3*p, x - p + 11 = 3*p for x.
-3
Let f = 8 + -6. Suppose -3*c - f*c = -10. Suppose 5*w + s - 75 = 0, -c*s - 6 - 4 = 0. Solve 4*i = -5*u + 2*i - 6, 4*u - 4*i = -w for u.
-2
Suppose -d + 2 = -3. Let b be (28 - 1) + 2 + -5. Let t = 32 - b. Solve d*w - 3 = w - 5*m, -t = -3*w + 2*m for w.
2
Let d be 4/(-1 - -3) - -3. Suppose -d + 1 = -w. Suppose 9 = -k - 4*i - 5, k - w*i - 18 = 0. Solve -3*u + 8*u - k*s = -21, -13 = 3*u - s for u.
-5
Suppose -3*k = 0, -5*f + 3*k - 55 + 175 = 0. Suppose 27*d - 9 = f*d. Solve -4*u + 4 = 0, -d*j + 0*u + 14 = -u for j.
5
Let f be 8/(7/((-28)/(-8))). Suppose 5*k + 5*u = -0*u + 10, k - u - f = 0. Solve 3*q + 3*x + 6 = 0, -k*x - 4 = q - 0*x for q.
-1
Let y = -16903 + 16908. Let l = 304 + -202. Let g be (0 - -1)/(2/l). Solve 3*d - 20 = -4*h - g, -2*d + 10 = -y*h for h.
-4
Suppose 0 = 2*j - 10, 4*d + j + 0 = 5. Let s(o) = -2*o - 7. Let w be s(-6). Suppose 3*m + 5*n - 35 = -m, 0 = w*n + 5. Solve 2*y + m + d = 0, 9 = -q - y for q.
-4
Let c(x) = -6*x + 5. Let u be c(-2). Let k(f) = f**2 - 16*f - 17. Let d be k(17). Solve d = b, -3*h - b - u = -2 for h.
-5
Let o = 1 - -4. Solve 5*i - o*f + 4*f - 18 = 0, 4*f = 3*i - 21 for i.
3
Suppose 0 = -3*b, -k + 4*b = 4 - 12. Solve -k = -u + 3*n, -4*n + 6*n = -2*u - 8 for u.
-1
Let l(d) = 2*d**2 - 37*d + 18. Let t be l(18). Solve 5*x + 1 - 6 = 4*s, t = x + 3*s + 18 for x.
-3
Let n = 132 - 128. Solve -3 = 3*f, 2*x + 5*f + 5 = n*f for x.
-2
Let u be 1 + 19 - (-3 - -8). Solve u = -5*n, 0 = -l - 5*n - 20 + 2 for l.
-3
Let k = 768 + -766. Solve -23 = 5*b + 2*h, -b - 2*b - 13 = k*h for b.
-5
Let j = 124 + -120. Suppose 0 = -j*a + 3*a - 5*a. Solve -5*t = -4*w - 33, a = 4*t - 3*t - 5 for w.
-2
Suppose 10*c = -9*c + 475. Solve i - c = 5*n, 0 = 4*n + 18 - 2 for i.
5
Suppose 4*r + 12 = 9*r + 4*x, 0 = -r - 5*x - 6. Solve r*i + n + 14 = 0, 6 = i + 3*n + 4 for i.
-4
Let m = -8 - 4. Let d(i) = -i - 12. Let o be d(m). Suppose 3*b - 6 = -o. Solve 5*h = -b*t - 20, 5*h - 5 + 35 = -4*t for h.
-2
Let p(r) = r**2 + 91*r - 379. Let b be p(-95). Suppose 4*i = 2*c + 2*i - 12, -5*i = c + 12. Solve -3*o = -c*l + 5*l - b, -1 = l for o.
1
Suppose -2*z = -f - 29, 5*z - 4*f - 71 = -2*f. Suppose z = q - 2*d, -11 = q - 4*q - d. Solve 6 = -q*t - k, 4*k - 19 - 5 = 4*t for t.
-2
Let b = -34 - -42. Solve 3*u + b = 4*u + z, 5*u - 3*z = 8 for u.
4
Suppose 3*d - 15 = 0, -h - 3*h + 27 = -d. Suppose 4*j = 5*j - 4. Suppose -5*w = -10, j*y + 3 = -4*w + 19. Solve -4*v + 0 + h = 4*g, -y*v = 3*g - 3 for g.
-1
Let v = 560 - 555. Solve 25 = -w - v*z, 18 + 8 = -2*w - 4*z for w.
-5
Let d(r) = r - 22. Let n be d(10). Let f = 17 + n. Let z be f + (-9)/((-36)/(-8)). Solve z*u = -9, p - 4*u = -0*p + 8 for p.
-4
Suppose -308 = -5*q + q + 4*c, 5*c = 3*q - 239. Let o = q - 73. Let d = 1 - -3. Solve d*f + 3*a - 1 = 0, o*a - 2 = f + 3*a for f.
1
Let y be (-1 - (-6)/(-3))*-1. Suppose t + t - y*t = 0. Solve 3*d - 14 = -l, t*d - 5*l + 26 = 4*d for d.
4
Let a(u) = 121*u**3 + 4*u**2 + u - 1. Let x be a(-1). Let g = x + 122. Solve -q + 0*q + 5*c + 4 = 0, 4*q - g*c = -1 for q.
-1
Let l be (-6 - -1)*10/(-25). Let x(h) = h**2 - h. Let b be x(0). Solve -2*n = -b*j - 4*j + 18, 2*j = l*n + 14 for n.
-5
Let k(s) = -s**3 + 10*s**2 - 17*s + 8. Let z be k(8). Solve -3*m + 7*r + 35 = 2*r, m - 5*r - 25 = z for m.
5
Let g be 1 - 3 - -4 - -3. Let f be (-204)/(-60) - (-3)/g. Solve 3*h = -5*u + 4, -2*h = -4*h - 2*u + f for h.
3
Let z(y) = -4*y**2 - 92*y + 1. Let i be z(-23). Solve 0 = -3*c, -2*l - 3*c + i = -5 for l.
3
Let y = -21 + 34. Solve -x - x = 2*q - 16, -4*x - y = -5*q for q.
5
Suppose -44*x = -67 - 65. Solve -5 = -4*b + 5*b - 4*k, 5 = -2*b + x*k for b.
-1
Let t = 185 - 180. Solve 12 = 4*z - 4*y + t*y, 12 = -2*z - 5*y for z.
4
Let s = -1274 + 1279. Solve -4*o + 0*o + 13 = -5*v, 0 = -v - s for o.
-3
Let h be 1 + 3*(-1 - (-48)/18). Solve -4*l + h*l + 4*v = -16, 5*l - 3*v + 1 = 0 for l.
-2
Suppose -3*o + 0 = -12. Let i be (-24)/((-8)/(-4)) - o. Let q be 12/i - 3/(-4). Solve -j = -2, 2*j - 24 = 5*y - q*j for y.
-4
Let i be 22/33 + 13/3. Let c(a) = a**2 - 4*a + 5. Let z be c(i). Suppose 8*t - z*t = -38. Solve 3*h + 21 = -3*p, -p - 5*h + 4 = t for p.
-5
Let g(x) = x**2 + 4*x - 2. Let y be g(3). Let z be y/3 + 8/(-36)*6. Solve b = -4*a - 8, -8 - 2 = 5*a - z*b for a.
-2
Let j be (2/7)/((-3)/(-21)). Suppose 3*c - 7*c + 4*z = -4, -j*z - 11 = -5*c. Let x be (9/(c + -6))/(-1). Solve 5*y - 5 = -i - i, -4*i = -x*y + 3 for i.
0
Let g(l) be the first derivative of 2*l**3/3 + 5*l**2 + 8*l - 16. Let t be g(-6). Let o be 3*(1 + -1 - -1). Solve -16 = 3*c + 7*i - 3*i, -5*i - t = -o*c for c.
0
Suppose 3*v - 28 = 5*c, 19 = v + 5*c + 3. Let s(l) = 6*l + 163. Let y be s(-26). Solve 4*o - h - 21 = 0, -4*o = 2*h - y - v for o.
5
Suppose -3*t + t = -5*f - 31, -3*t = 3*f + 6. Solve -3*l + 22 = t*v + 4, l + 4*v - 12 = 0 for l.
4
Let k(g) = -9*g - 9*g - 17 + 20*g. Let z be k(10). Solve 0 = 4*s + z*q - 28, -2*s - 4 = 2*s - 5*q for s.
4
Let z(h) = h**2 + 7*h + 2. Let q be z(-3). Let r(m) = m**2 + 10*m + 2. Let c be r(q). Solve 5*p - 5 = 5*a - 0, -2*p + 4*a = -c for p.
1
Let a(f) = 13*f + 106. Let t be a(-8). Solve 4*w - t*i + 6 = -0*w, -w - 4*i - 15 = 0 for w.
-3
Let r be 451/205 - (-2)/(-10). Solve -z - r*n = -0*z - 8, -4*z + 20 = 5*n for z.
0
Suppose -22*h + 15*h = 476. Let m = -66 - h. Solve -3*x - 3 = b + m, 3*b + 15 = -x for b.
-5
Let j(h) be the second derivative of -h**4/12 - h**3/6 + 15*h**2/2 - 15*h - 1. Let d be j(-4). Solve -d*x + 5*g = 35 + 2, g + 7 = -3*x for x.
-4
Let k = 4 - -33. Suppose -107 - k = -8*m. Solve -4*l - m = -4*x + 2, -4*x - 3*l = -20 for x.
5
Let u(o) = o**3 - 5*o**2 - 3*o - 14. Let m be u(6). Suppose 0