3*g - j for g.
-3
Suppose 4*i + 2*n - 18 = 0, 0*i - i + n = -3. Solve -i*p - 13 = 5*j, -4*p + 24 = -3*j - p for j.
-5
Let x = -31 - -35. Solve -4*v - v + x*k - 7 = 0, 3*k - 9 = 0 for v.
1
Suppose 4*h - 5*g - 35 = 0, 3*h - 34 = -4*g - 0*g. Suppose -4 = -14*w + h*w. Solve -3*q - w - 1 = -2*f, 2*f = 2*q + 2 for f.
1
Suppose 5*c - 2*q + 32 = 126, 40 = 2*c - 2*q. Solve 5*s + c = -p, -2 = -4*p - p - 2*s for p.
2
Suppose -a - 2 = u, a + 22 = 2*a - 5*u. Solve 4*m = n + 16, -a*n + 3*n - 3*m + 13 = 0 for n.
-4
Let l(s) = -2*s**2 + 5*s + 49. Let p be l(6). Solve 0 = -g - 4, 3*z + 3 = 4*g + p for z.
-4
Let j be 4/(-5)*(3 - 8). Solve -r + 5 = 0, -j*u - 8 = -u - 4*r for u.
4
Suppose 4*f = -i + 4*i + 1, -3*i = 3*f - 27. Solve -3*w - 9 = 3*q, -6*w = -q - 5*w - i for q.
-4
Let o(n) = 12*n - 14. Let i(w) = -w + 1. Let r(z) = -42*i(z) - 3*o(z). Let y be r(2). Suppose p = 4*p - y. Solve -3*h = -p*u - 29, 3*h + 4*u + 6 = u for h.
3
Let b(p) = p + 4. Let d be b(-4). Suppose -x + 7*x - 44 = l, 3*x - 16 = 2*l. Solve d = 4*n + x, -3*o - 20 - 3 = 4*n for o.
-5
Let b = -5 + 11. Let k(l) = 3*l - 14. Let d be k(b). Solve -3*x + 2*f - 11 = 0, d*x = -2*f + 7*f - 10 for x.
-5
Suppose 85*f - 8126 = -154*f. Suppose -4*l + 64 = 2*n, -6*n + 80 = 5*l - n. Let y be (-4)/5*(-2 + -3). Solve h + l = 5*x, 0 = -y*x - 2*h - 10 + f for x.
4
Let z(x) = 11*x + 495. Let c be z(-43). Solve 0 = 4*t + 5*v - 19, 26*v - c*v - 15 = -3*t for t.
1
Suppose 0 = 5*x - 3*d - 2*d - 5, 10 = 4*x - 2*d. Solve 0 = 2*n - 6*n + 12, -x*j + 5*n - 31 = 0 for j.
-4
Let y be (9/(-4))/((-3)/8). Let u = -2411 - -2414. Solve 2*p + u*z + 13 = 0, -y*z = -5*p - 3*z + 20 for p.
1
Suppose -3*d - 9 + 13 = -p, -4*p = -5*d - 5. Solve 3*s - 6*s - d*i + 6 = 0, 0 = -5*s + 3*i - 14 for s.
-1
Suppose -40*a = -44*a + 4. Solve -i - 4*m - a = -5, -1 = -m for i.
0
Let s(x) = x**3 - 3*x**2 - 8*x - 7. Let y be s(5). Suppose -u + 7 = y. Solve -q - u*v - 1 = -2, 2*q - 8 = -2*v for q.
5
Let t(x) = 10*x + 50. Let u be t(-5). Solve -3*o + 4*r + 14 = u, -7*r = 5*o - 2*r + 35 for o.
-2
Let z(g) = -2*g**2 - 47*g - 197. Let a be z(-18). Solve 4*n + 28 = 4*m, -5*n - 3*m - 12 = -a for n.
-4
Let c = 36 + -33. Suppose 16 = -c*w - w, 5*d - 24 = w. Solve -y = d*n - 7, -2*n = 4*y + 2*n + 8 for y.
-5
Let q = 0 - -3. Let j = 29 - 24. Suppose 0 = 5*h - 3*k + 5*k - 30, -4*h + j*k = 9. Solve 3*l + 9 = 0, -19 = f + h*l - q for f.
-4
Let r be (-12)/8 + 87/6. Suppose -2*d = 3 - r. Solve -2*j + 0*j + 1 = -3*i, -j - d*i + 20 = 0 for j.
5
Let y = 27 + -20. Suppose y*a - 17 = 11. Solve 3*x - 18 = 3*d, d = 3*d + a for x.
4
Suppose 3*t = 4*t - 4. Let i be (0/(-10))/(-1 - 0). Solve -t*g - 3*b + 7 = i, 4*b - 5 = -g - 0*b for g.
1
Let c(n) = 57*n**3 + 3*n**2 + 2*n. Let o be c(-1). Let j = o + 60. Solve -5*w = 4*f - 0*w + 35, -32 = 4*f + j*w for f.
-5
Let b(r) = 6*r**2 + 69*r - 140. Let m be b(2). Solve -4*w = -3*a - m, 0 = 4*w - 2*w + 4*a for w.
4
Suppose 37*i - 14 = 36*i. Suppose -10 + i = 2*q. Solve 4*x - q*t = 16, -4*x - 8 = 2*t + 2*t for x.
2
Let a(x) = -x**3 + 11*x**2 + x + 5. Let k be a(11). Suppose t + k = 5*t. Solve 5*u = i - t*i + 29, i + u = 7 for i.
3
Let v(r) = r**3 - r**2 - 2*r + 2. Let a be v(0). Suppose 2*g + 25 = 5*b + a, 4*b - 20 = 2*g. Solve 5*x = -b*t, -3*t + 2*t - 10 = 5*x for x.
-3
Suppose -302*k - 6 = -303*k. Solve 3*f - 5*o + 2 = 0, f = o - 2*o - k for f.
-4
Let i(r) = r**2 + 9*r + 12. Let v be i(-9). Suppose v = g + 2*g. Suppose 0 = g*x - 2*x. Solve -j + x = 3, -j + 1 = h for h.
4
Suppose 0 = 26*z - 133 - 23. Solve z*q - 2*q = -2*o + 14, -q + 3*o = 14 for q.
1
Let l(s) = -s**3 - s**2 + 3*s - 4. Let r be l(-3). Solve 4*n - 7 + 1 = -5*w, -n - r = -2*w for n.
-1
Suppose 20 = -22*j + 26*j. Let g(v) = v - 7. Let s be g(7). Solve s = 2*w + 2*w - j*f - 45, -10 = -5*w - 3*f for w.
5
Let r(q) = q**2 - 5*q + 6. Let p be r(3). Suppose 1 = -z + 3. Let a be 4/(z + (-4)/6). Solve 4*o - 4 = p, a*u = o + 2*o for u.
1
Let m(v) = -v**3 - 15*v**2 + 35*v + 22. Let k be m(-17). Solve k*h - 25 = -4*n, 0*h = -2*h + 4*n + 10 for h.
5
Let t(a) = -2*a + 4. Let l be t(2). Let n be (-1)/(-2)*l - (-8)/4. Solve -2*j = 2*s - 4, -1 + 9 = n*j for s.
-2
Suppose 0 = -5*h + 330 + 10. Let a = h - 63. Solve 0 = -a*k - 15, -3*k + k + 2 = 2*v for v.
4
Let l(k) = -k**2 - 7*k + 5. Let m be l(-8). Let h be 2*7*(-2 - m). Solve -j - 5*b = j + h, -5*j - 2*b = -7 for j.
3
Suppose -4*l - 2 = -3*f - 2*l, 0 = -f + l. Suppose 0 = f*h - 0*h - 5*q, -q - 8 = -2*h. Solve -20 = h*i + 3*z, -4*i + 5*z + 21 = -0*i for i.
-1
Suppose -3*l = o + 3*o - 58, -2*l + 44 = 3*o. Suppose 0 = 4*g - 0*g - o. Solve -4*b + 10 = g*a - 18, -a = -3*b + 9 for b.
4
Suppose -9*b + 612 = 42*b. Solve -5*i = -3*o - 14 - 16, b = 4*i for o.
-5
Let l be (30/(-8))/(3 - 26/8). Solve l = 5*c + 2*d - 0*d, -c - d = -6 for c.
1
Let z = -1208 - -1214. Solve 2*a = -2*j + 20, -z + 11 = -a + 2*j for a.
5
Suppose -8*m - 200 = -4*m. Let x = -47 - m. Suppose -4*y + 3 + 5 = 0. Solve -7*c + y*c + k = 0, 5*c = x*k for c.
0
Let t = 59 + -63. Let j be ((-12)/(-30) - 0) + t/10. Let c = 14 - 9. Solve 4*q - c = -3*p - j, -4*q + 5*p = 19 for q.
-1
Let c(r) = -r**2 + 53*r - 515. Let b be c(13). Solve b*k - 25 + 10 = 0, 0 = -3*p + 2*k - 6 for p.
0
Suppose 5*h = -4*z + 45, -z + 8 + 2 = h. Let p(c) = c + 8. Let o = -1 + -5. Let m be p(o). Solve 0*a - 5*a = 2*k - 3, m*a - 3*k = h for a.
1
Let q = -17 - -22. Suppose 0 = -3*p - q*s + 33, -p = 6*s - s - 21. Solve 3*d + u = -15, d - u + 19 = -p*u for d.
-4
Let h be (18/54 + 1 + -1)*3. Solve h = -d + 2*r, -4*d = -9*d + 2*r - 13 for d.
-3
Let n be 2 + 4 + -8 + (-4)/(-2). Let m(f) = 5*f - 2. Let p be m(2). Let g be p/4 + (8 - 2). Solve n = 2*w + v - g, 5*v = 4*w - 0*w - 16 for w.
4
Suppose 5*r + 16 = 7*r + 2*v, -5*r + 8 = -3*v. Solve 2*i - 26 = r*b, -3*b - 4*i = -0*b - 8 for b.
-4
Let a be 4/(((-6)/9)/(30/(-45))). Solve 7*d - 5*d = -2*v, -a*d - 15 = v for v.
5
Let h(u) = -47*u + 547. Let g be h(11). Suppose -118 = 4*c - n, -5*c + 3*n - 152 = 4*n. Let s = g + c. Solve s = -5*p + k + 13, 0 = 5*p - 3*k - 5 - 4 for p.
3
Let n be 5 + -3 - (-1)/1. Suppose -m - n*h - 32 = -5*m, -5*m + 29 = -h. Solve -5*s - t + m*t = 0, 3*s = 3*t for s.
0
Suppose 22*i - 28*i = -18. Solve 0*j - 5*o - 2 = -2*j, 0 = i*j + 4*o + 20 for j.
-4
Let x(q) = -2*q + 6. Let m be x(3). Suppose m = -2*z - z. Solve -4*h - 3*a - 4 = z, h - 3*a = -4*a - 1 for h.
-1
Let d(n) = n**2 + 7*n + 8. Let o be d(-7). Suppose -4*l + o + 4 = 0. Suppose 4*z = -4*x + 16, 4*z + 2*x - l - 5 = 0. Solve 5*j + 30 = 5*g, z*g - 6 = -3*g for j.
-4
Let z = -274 + 277. Solve -5*u - 9 = -t, 7 = -3*u + u - z*t for u.
-2
Let m(j) = 2*j - 8. Let s(c) = 2*c - 8. Let z(b) = 7*m(b) - 6*s(b). Let o be z(4). Let t = 5 - o. Solve 5*h + d - 1 = 0, 2*h - d + t*d = -14 for h.
1
Let q = 7 + -2. Let j be (0/(8/(-4)))/(-2). Suppose -q*p + j = -5. Solve -y + 4*l = p, -3*y + 2*l - 3*l = 3 for y.
-1
Suppose 0 = 4*t - z - 23, 3*t + 0*z - 2*z = 21. Suppose -t = -0*u - u. Solve -4*g - b - 16 = 3*b, -3*b = -u*g - 4 for g.
-2
Suppose 18*h - 33*h = -30. Solve 1 = -4*u + 4*p + 37, -3*p - 2 = h*u for u.
5
Let q = 93 + -90. Solve -2*g + q*p = 2, -5*g + 3*p + 9 = -p for g.
5
Let z(w) = w + 1. Let f be z(3). Let l = f + 2. Suppose -2*k + l = -2. Solve 2*o + 0 + 7 = -5*s, 0 = k*s - 4*o for s.
-1
Suppose 3*c = -2*j + 42, -5*c + 37 = -2*j - 49. Solve 2*d - 3*d = -5*t - 24, -t + c = 5*d for t.
-4
Let w be 133/(-38) - 21/(-2). Solve -3*o = -2*z + w, 5*z + 5 = 3*o - 0*z for o.
-5
Suppose -5*x - 5*d + 0*d - 225 = 0, -4*d = -4*x - 148. Let p = 43 + x. Solve a + 6*k + 15 = k, 3 = p*a - k for a.
0
Let h be 3 - (7 - 4/(-4)). Let m be h/(-1*4/20). Suppose m = 7*n - 2*n. Solve 10 = n*l, -5*l + 3 + 3 = v for v.
-4
Let f(g) = 3*g + 12. Let t be f(-5). Let q be ((-8)/t)/((-3)/(-9)). Suppose 2 = -q*x + 9*x. Solve -5*b - 6 = -x*b, 0 = -2*k + 5*b for k.
-5
Let w(g) = g**3 - 6*g**2 - 6*g - 5. Let o be w(7). Suppose -4*u = 3*t - 12, 2*u = o + 4. Let j = t + 3. Solve -4*m + 3 - 7 = 0, -4*z - 23 = j*m for z.
-5
Let k = 6 - 6. Solve -f + 5 = 2*h, k = -3*f + 5*h - 36 - 4 for f.
-5
Suppose -60 = 12*b - 14*b. Let l be (-1 + 1/2)*32. Let n = l + b. Solve -5*r = -2*r - 5*x - n, 0 = 4*x + 4 for r.
3
Suppose 3*v = -4*p + 33 - 15, 2*p + v - 8 = 0. Solve -4 = -2*m, d - m = -p*m + 5 for d.
1
Let t = 204 + -199. Solve t*k + 0*k = 5*i +