4 for j.
0
Suppose 0*g - 12 = -3*g. Suppose 8 = 2*y + 2. Suppose 7*k = y*k + 12. Solve -3*i + 3*m = -12 + k, 2*m + 2 = g*i for i.
-2
Let g be (-1)/(-4) + (-118)/(-8). Suppose 5*t + g = 10*t. Suppose -2*q + 19 = 2*r + t*q, 0 = -5*r - q + 13. Solve r*o + 2 = 2*x, -4*o - 3*x = -6*x + 4 for o.
-1
Let z be 22 - (0 - 0/1). Suppose 0 = 4*k + d - 62 - 44, -4*d = 8. Let r = k - z. Solve 4*t + 16 = 3*f - 2*f, 4*f = r*t + 31 for f.
4
Suppose 4*w - 14 = -2*c, -6*c + 3*c = w - 16. Solve 3*m + 18 = -4*d, m + d = c*m + 5 for m.
-2
Suppose -17*z + v - 6 = -19*z, -2*z - 5*v = 2. Solve -4*k - k + 2*m = -22, -z*k + 3*m = -19 for k.
4
Let f = -240 + 243. Solve 3*a + 22 = 5*t, -f*a - 8 = 4*t - 4 for a.
-4
Suppose -3*u = -2*y + 7, 0 = -3*y + 5*u - 50 + 60. Solve 5*c = -g - 7, -y = -5*g - 4*c + 2 for g.
3
Let n(r) = -r**2 - 5*r. Let z be n(-3). Let h be -18 - (10 + -2)/(-4). Let s = h + 19. Solve 2 = -2*g - 0, 3*g - z = -s*f for f.
3
Let l(f) = f**2 - 7*f - 4. Let c be l(8). Solve 2*z + c*k = 2, k - 16 = -5*z + 2*k for z.
3
Suppose 0 = 3*h - b - 36, 5*b + 13 = -2. Let q = h + -7. Let t(m) = m - 60. Let f be t(65). Solve -q*l - 30 = 5*i, -f*l + l = -4*i + 12 for l.
-5
Suppose -72 = -5*j - 2. Let o = -3 - -9. Suppose -o = -2*l - 0. Solve -w - 4 = -3*f, -l*f - 4*w + 3*w = -j for f.
3
Let u(v) = -2*v**3 - 6*v**2 - 9*v - 1. Let i be u(-1). Solve 0 = c + 5*h + 16, 3*h + 2 = -i*c + 6 for c.
4
Let c be (-3)/(-5) + 3/(-5). Suppose -2*v + 4 = -c. Suppose -2*f = -g + v*f + 15, 5*f + 18 = g. Solve 0 = z + x + 3, -8*x + g*x = -z + 3 for z.
-2
Let n be (1*(-1 + 0))/((-2)/6). Suppose -s + 5*w = -n, 0*s - 2*s = 5*w - 21. Solve -2*d = -5*d - v - s, 2*d + 2 = -4*v for d.
-3
Let y be 80/(-60)*(-12)/8. Suppose -f + 6 = -0*f. Let n = f + -4. Solve 18 = -y*x + n*d, 0 = 2*x + x + 5*d - 13 for x.
-4
Let c(o) = -6*o + 119. Let d be c(19). Let m(i) = -i**3 + 4*i**2 + 2*i - 5. Let z be m(4). Solve -2*k + 2 - 5 = -g, -d*g = -k + z for k.
-2
Suppose -2*m + 2*n = -2*n - 20, 3*m + n = -5. Solve -2*j - 16 = 3*r - r, 3*j - 4*r - 11 = m for j.
-3
Let p be (8 + -8)*(1/2 - 1). Let r be 1 - ((p + -1)*29 + 2). Let x be 7/3 - 4/(-6). Solve 5*d + 20 = 0, -4*f = -x*d - r + 4 for f.
3
Let w = 9 + -3. Suppose 4*x - w = 2. Let r(z) = -8*z**3 + 2*z**2 - 1. Let k be r(-1). Solve -2*n = -a - a, 5*a + k = x*n for a.
-3
Suppose -17 + 14 = -3*w. Solve 5*s + w = n + 23, 2*s = 4*n + 16 for s.
4
Suppose 7*n - 44 = 4*p, -2*n + 14 = -2. Suppose 124 = 5*m - 2*r, -5*m + 0*r = 3*r - 114. Solve s = p*i + 6, 0*s + m = -4*i - 4*s for i.
-3
Let g = 1 + -1. Suppose g = 6*v - 5*v. Suppose v*t = -2*t + 16. Solve 0 = -4*j + 3*u + t, u + 3*u = -5*j + 10 for j.
2
Let a(u) = -3*u**3 + 21*u**2 + 25*u - 8. Let k be a(8). Solve 5*v - p + 4 = k, 5*v - 4*p = p for v.
-1
Let t = -361 - -363. Solve -2*y + 16 = -4*o, y - 3*o - 8 = t for y.
4
Suppose -4*v + 43 = 7. Let q(h) = -3*h**2 - 16*h - 3. Let o be q(-5). Suppose -2*t = o*j - 10 + 4, 5*t - 3 = -j. Solve 6 = -j*m + k, -k = -3*m + k - v for m.
-1
Suppose 2*p - 34*w - 10 = -30*w, 0 = -5*w. Solve 5*d = -p*s - 5, 4*s + 11*d - 6*d = 0 for s.
-5
Suppose -5 = 3*h + 2*w, -7*h + 2*h + w - 30 = 0. Let k(x) = -5*x - 21. Let m be k(h). Solve -m*f - 2*c + 22 = 0, 2*f + 4 = 4*c - 0 for f.
4
Let s = 431 - 430. Solve -3*d = 5*h + 11, 2*d - 5*h - s = -0*h for d.
-2
Suppose 5*h + 2*h = 0. Suppose 0*m - 3*m - 63 = h. Let r = -16 - m. Solve 5*t + r*k - 30 = 0, 3*t + 2*k = 12 + 5 for t.
5
Suppose 4*x - 5 - 11 = 0. Suppose -42 - 18 = 3*b. Let c be (-8)/3*210/b. Solve -h - 4*h + 4*j = 8, 4*h + x*j + c = 0 for h.
-4
Suppose -18*h = -26 - 28. Solve -14 = -3*z + 2*x, 1 = -h*z - 4*x + 9 for z.
4
Suppose 17*p - p - 256 = 0. Suppose -8*d = -0*d - p. Let k = 3 + -2. Solve 0 = 3*u - d*v - 0 + k, -4*v - 7 = 3*u for u.
-1
Let v = -11 + 15. Let l = -358 - -356. Let k be (v - (-1 - l)) + -1. Solve 23 = -3*f + 4*d, -5*f + k*d = -2*f + 13 for f.
-1
Suppose -h = -3*m + 50, 0 = -5*m - 17*h + 16*h + 70. Suppose -7*n + 2*n + 60 = 0. Let t = m - n. Solve 4*b = 2*p + 2, 0 = -8*p + t*p - 3*b - 18 for p.
-3
Let r be 2/(-16) + 50/16 - 3. Solve 3*j + p + 10 = r, 2*j + 7 = -j + 2*p for j.
-3
Let t = 2472 - 2462. Solve 3*i = -2*d + t, 7*d - 2*i = 2*d + 25 for d.
5
Let g be (-8)/(-7)*63/18. Let f be ((-2)/g)/(1/(-2)). Solve -4*j = 2*l + 12, -2*l - f = -j - 9 for l.
2
Suppose -f = 5*k - 1, k - 5*f = 3*k - 5. Suppose 4*a - 3 = 17. Suppose k*q + a*q = 0. Solve -19 = -q*x + x + 4*b, 2*x = b + 7 for x.
1
Suppose -2*u - h - 115 = 0, 0*h + 3*h + 15 = 0. Let p = u + 77. Suppose -4*o + 9 + 3 = 0. Solve 0 = 5*q + o*l + p, -15 = -5*q - l - 39 for q.
-5
Let k be 1/((-16)/(-36) - 7/63). Solve 4*b - 26 = -h + k*h, 7 = 2*b + h for b.
5
Let y be 27 + -3 + 4 - 0. Let k = y - 15. Suppose 0 = -3*w - 4*t + 11, 2*w + 7*t = 2*t + 5. Solve -3*h = 2*d + 5 - 15, 2*h - k = w*d for d.
-1
Suppose -3*k = 1 - 7. Let x = -6 - -13. Let o(w) = w**3 - 8*w**2 + 7*w + 2. Let m be o(x). Solve 0 = m*f + c - 1, k*f - c + 3*c = -4 for f.
3
Suppose -5*n + 10 = -7*p, -3*p = -0*n + 3*n - 6. Solve -2*f + 3*b + 11 = p, -6*b = -f - 2*b + 8 for f.
4
Let x be (-116)/(-696) - (1 - (-125)/(-6)). Solve -2*s - s - 4*a = -x, 20 = 4*a for s.
0
Let g(l) = -3*l**2 + 2*l - 6. Let y be g(-3). Let p = y - -43. Solve -h = p*t - 21, h - 11 = t - 2*h for t.
4
Let c be (-21)/14*(-8)/18*57. Let i = -36 + c. Solve -2 = i*a + 2*t, a + t - 11 = -3*a for a.
4
Let m(a) = 4*a - 2. Let l be m(2). Suppose -c - 2*y + 1 = 0, -5*y - 5 = -2*c + l. Suppose c*k - 10 = 5. Solve -10 = -2*g - 5*x, 4*g = k*x - 10 + 30 for g.
5
Let a(f) = f**3 - 8*f**2 + 10*f - 17. Let h be a(7). Suppose -h*z + b + 48 = -b, 0 = -2*z + 2*b + 20. Solve 3*i = 5*s + 4, -i = 4*s + 2*i + z for s.
-2
Let n(h) = -h + 19. Let z be n(14). Let l be z/(-35) + 87/21. Solve -4*m + 3*x - 19 = 0, -3*x = 2*m - l*x + 9 for m.
-4
Let n be 2 + 1*(3 - 3/1). Suppose 0*v - 5*h + 35 = 2*v, 0 = -v - n*h + 15. Solve 0 = -v*o + 3*r, -3*o - r - 2*r = 24 for o.
-3
Let h(s) = -s - 5. Let m be h(1). Let p = m + 6. Solve p = -5*x, 0*c = 2*c - 3*x for c.
0
Suppose -2*i - 20 = -3*g, 4*g - 6*g = -2*i - 16. Solve 10 = q - 3*q + l, g*l - 16 = 0 for q.
-3
Suppose 0 = -2*l - 2*v + 33 - 11, v - 23 = -3*l. Let z = l + -9. Let k be 4/3 + (-2)/z. Solve 4*p - k*h = 2*p, 4*p - h = -3 for p.
-1
Suppose -4*c - 2*v + 4*v = -24, 4*c = -4*v. Suppose -1 = -c*x + 3. Suppose 2*i + i = 27. Solve 3*p + w = x + 8, -i = -3*p - 2*w for p.
3
Suppose -2*m + 17 = 5*w - 0*m, -2*w - 2*m = -2. Suppose 0 = 7*v - 5*v - 4. Let n(d) = d - 2. Let x be n(v). Solve -w*y + 27 = s, 19 = 5*y - x*s - 3*s for y.
5
Suppose 8*a - 182 - 18 = 0. Let d = 37 - a. Solve 12 = 4*b, 5*r - d = -4*b + 10 for r.
2
Suppose 2*d + 31 = 4*s + 21, -17 = d - 5*s. Solve -2*o + 20 = 2*k, o + d*o - 15 = k for o.
5
Suppose -f + 47 = 4*o + 11, f = -o + 12. Solve p = 5*w + 1, o = -4*w - p - 0 for w.
-1
Suppose 72 = -20*f + 26*f. Solve 0 = -2*i + 3*k - 4, -i - 2*k + f = -0*k for i.
4
Let x(d) = 2*d**2 + 4*d + 15. Let z(u) = u**2 + 5*u + 15. Let m(c) = 2*x(c) - 3*z(c). Let p be m(10). Solve -3*o + p = -4*s, 4*s = -4*o - s - 11 for o.
1
Suppose 0 = -10*n + 15*n. Solve 5*w + n*w + o = 2, -6 = 2*w - 3*o for w.
0
Let w(b) = -2*b**3 - 4*b**2 - 12*b - 19. Let x be w(-2). Suppose -3*z + 5*z - 18 = 0. Solve 0 = -2*r - x*q - 13, 3*r + 0 = -4*q - z for r.
1
Let q = -44 + 63. Solve -q = -5*f - 2*y, y - 10 = -5*f - 4*y for f.
5
Let z(g) = g**2 + 16*g + 19. Let d be z(-15). Suppose -2*v + 3 = 3*i, 3*v + 14 = d*i - 7. Solve 2*t = 2*u + i*t - 12, t = 4 for u.
4
Suppose 0 = 46*z + 73*z - 476. Solve 0 = 4*o + 2*b - 12, 2*b - z = 4*o - 0 for o.
1
Let d(i) = -i**2 + 64*i - 825. Let p be d(18). Solve -4*t = 2*r - 20, p*r + 6 = -2*r + 4*t for r.
2
Suppose 0 = -19*t - 7*t + 52. Suppose 0*s = 3*s - 39. Solve -x = -0*x + 5, -t*x = -3*f + s for f.
1
Let s(c) be the first derivative of -c**2/2 - 10*c - 5. Let y be s(-12). Suppose y*u = -u + 15. Solve 4*k + 7 = -5*n, -2*k - 14 = k - u*n for k.
-3
Let j(g) be the second derivative of -g**5/20 + g**4/4 + g**3/6 - 2*g**2 - 37*g. Let i be j(2). Solve l + 1 = 0, 0*k = 5*k - i*l - 22 for k.
4
Let p = -140 - -144. Solve 2*o + 4 = 5*n, 2*o + n + 4*n + p = 0 for o.
-2
Let d = 75 - 73. Suppose 5*u - 5*s - 20 = 0, d*s = 6*s + 8. Solve -15 = -b - 4*a, -5*b = -u*a + 3*a + 20 for b.
-5
Suppose 0 - 24 = -6*g. Solve g*v + 