 -j + z*d for j.
3
Suppose -4*k = -2*k - 6. Let o(r) = -2*r - 10. Suppose 11*l + 35 = 6*l. Let w be o(l). Solve v + 1 = -w*x - 8, -v = -k for x.
-3
Suppose 36*a - 135 = -72*a - 27. Solve 4*s + 46 - a = -5*x, 5*s = 4*x - 5 for s.
-5
Suppose -513 + 525 = -4*b. Let a be (-4)/b - (340/15)/17. Solve -t = a, -3*t = -3*c - 0*t + 9 for c.
3
Let g be -4 + ((-12)/8)/(100/(-16) - -6). Solve -g*f - f - 25 = -2*o, 5*f = -25 for o.
5
Let g = 749 + -746. Solve -t + 5*n = -13, -5 - 4 = g*n for t.
-2
Suppose -2*m + 4*x = -18, -4*m = -5*m - 3*x - 1. Solve -3*g - 3*r = -30, 34*g + m*r - 36 = 31*g for g.
7
Suppose 20*l + 36*l = 39*l. Solve -14*p + 18*p - 10 = 5*r, l = 2*r + 2*p + 4 for r.
-2
Suppose -2*x - 2*u = 0, -3*x + 7 = u - 5. Solve 0 = -4*g - 2*p - 6, -5*g + x = -6*g - 5*p for g.
-1
Let o = -315 + 319. Suppose 17 = -m + 4*w, 5*w - 32 = -o*m + w. Solve -2*i + q = 10, -q = 2*i + m*q for i.
-4
Let x(f) = f**2 - 9*f + 10. Let z be x(8). Let s = -442 + 443. Solve -m - 3 = -z*w, -2*w + 5*m - 2 + s = 0 for w.
2
Let u be (121 - 117)*5/4. Let z = 11 - 5. Solve -3*x - u*n + 13 = 0, -n = -x - 3*n + z for x.
-4
Let p be (6/21)/((-6)/(-1092)). Suppose -12 = -2*r + 4*z, -p = -5*r - z - 0*z. Solve f - 6 = -d, -3*d - 4 = -5*f + r for d.
2
Suppose -22*t + 17*t + 5 = -5*i, 12 = 3*i. Solve 2*x - 4*v - 7 + 5 = 0, 2*v - 29 = -t*x for x.
5
Let w(z) = 2*z**2 - 12*z - 12. Let u be (-2 - ((-8)/(-2) + 1))/(-1). Let y be w(u). Solve -y*b - c = -8, -5*c = -2*b - 23 + 7 for b.
2
Let c = 6294 + -6290. Solve -22 = c*r - 30*s + 28*s, 0 = -r - 3*s + 5 for r.
-4
Suppose 0 = 5*o - 320 - 470. Let k = -137 + o. Solve -t = -1, 5*g + t = g + k for g.
5
Let m(i) = i**2 + 20*i - 23. Suppose -l = w + 13, -4*l = -3*w - 0*l - 53. Let h be m(w). Let f = -82 - h. Solve 3*x + u - 9 = -3*u, 5*u - f = x for x.
-1
Let f = 14716 - 14714. Solve g = -m - 1, f*g = 7*g - 20 for m.
-5
Suppose 4*w = -0*w + 20. Suppose 176 = w*c + k, 3*c - 28 - 78 = -k. Solve 5*q = -5*d, -d - c = 4*q - 4*d for q.
-5
Suppose -5*g + 33*v = 28*v + 20, 2*v = -2*g + 8. Suppose 2*s = -4*m + 6, 15 = 5*m - 5*s - g. Solve 4*t = 2*a, 2*t - m = 4*a + 10 for a.
-4
Suppose -5*v + 234 = 84. Suppose 4*u = -5*l + v, 3*l + 2*u = -0*l + 18. Solve 0*g + 3*g = -5*q - 27, l = 2*q - 3*g for q.
-3
Suppose -49*o + 85*o = 43*o - 7. Solve 12*i - o = 9*i + 2*j, 5*j = 5*i for i.
1
Let j(q) = 53*q + 2644. Let m be j(-49). Solve m*a = -5*x + 42*a - 35, 20 = -5*a for x.
-3
Suppose -5*j - 23*i + 34 = -15*i, 2*i = 2*j - 24. Solve -3*t + z - 12 = 0, 2*z = 11*t - j*t + 4 for t.
-4
Let s(i) = -2*i - 2. Let z be s(-3). Suppose 39 = -7*w + 11. Let q be (1 + -1)*(-2)/w. Solve -z*u - 4 = q, -h + 0*h - 5*u = 0 for h.
5
Suppose -3*s - 72 = -3*r, 5*s + 8 = 3. Let z be 102/(-2) - (r - 19). Let o be (-18)/10*z/33. Solve -u = 4*a + 4*u - 33, o*u - 19 = -2*a for a.
2
Let b = 644 + -228. Let y = -408 + b. Solve -i + 5*k + 21 = 0, 0 = 4*i + 2*k - 3*k - y for i.
1
Let c = 858 + -835. Suppose 68 = 40*k - c*k. Suppose -12 = 4*r + 4*i, -4*i + 0*i - 22 = -r. Solve -r*h - 4 = -4*l, -k*h = h + l + 21 for h.
-4
Let x be 1/1 - (21 + -44). Suppose -x*h + 8 = -64. Solve -2 = -a + 5*a - h*m, 0 = -a - m - 4 for a.
-2
Suppose 24 = 5*k + 4*r, -r = 4*k - 21 + 4. Let h be 0*((-6)/(-2) - k). Solve -5*p - 6 - 10 = -2*l, -4*p - 3*l - 22 = h for p.
-4
Let v = -9 - -12. Let h be 2/((-6)/v)*(4 - 9). Suppose 2*j - h*j + 9 = 0. Solve 0 = 3*c - j*x + x - 1, 2*c = -4*x + 22 for c.
3
Let d be ((-1)/6)/(14/(-84)). Suppose -4*y + 3 = -5*t, -2*t + 3*y = 3*t + d. Let g be -4 + 6 + t*-2 + 2. Solve 0 = r + g, 4*r + 12 = -5*f + 3*r for f.
-2
Suppose 4*u + 4 = 3*u + 3*w, 3*w - 6 = 0. Suppose -3*g + 2*p + 11 = -u*p, -4*g - 2*p = 0. Solve 0 = r + 5*n - 9, 2 = -r + 5*n + g for r.
4
Let f(m) = -3 - 3*m + 2*m**3 + 4 + 0*m + m**2. Let i be f(2). Let b be (-40)/i*6/(-8). Solve -3*a = b*s + 25, -4*a = -2*s - 3*a - 5 for s.
-5
Let u be (1*-2)/(-2)*18. Suppose 0 = 11*z - 7*z - 476. Let m = 121 - z. Solve h = p - 1, -m*h - 2*p + 0*p = u for h.
-5
Suppose -2*s + 7*s = 175. Suppose -4*b + 3*t + s = 0, -11 = 3*b - t - 36. Suppose -b = 4*l - 72. Solve -i + 4*j = l, 4*i = -0*j - 3*j - 7 for i.
-4
Let z(w) = -5*w**2 + 96*w - 15. Let b be z(19). Solve y - b = -3*d, 4*y - 9*d - 2 = -14*d for y.
-2
Suppose 35*z - 25*z - 240 = 0. Solve 2*r = -f, -21*f + 2*r = -z*f + 8 for f.
4
Let y(a) = a**3 + 27*a**2 - 23*a + 143. Let h be y(-28). Suppose h*b - 8 + 2 = 0. Solve -3*q = r + b, 0*r = -2*q - 2*r + 4 for q.
-2
Let i(t) = t**2 - 11*t - 27. Let d be i(10). Let b = -35 - d. Let h be (-9)/(-2) - ((-20)/8 + b). Solve -l - 3*z + 18 = 2*z, 3*l + h*z - 24 = 0 for l.
3
Let b be (-6 + 8)*-5 + 12. Solve -t + 3*x = -0*t + b, 5*x - 6 = t for t.
4
Suppose 977 = 9*s - 427. Suppose 5*x + 0*j - s = 3*j, 2*x = 4*j + 54. Suppose -5 = 7*r - x. Solve h - 6 = -3*l + 5, -l = -r for h.
-1
Let g(c) = -2*c**3 + 8*c**2 + 44*c - 142. Let b be g(3). Solve 3*m + 9 = f, 14 - b = -2*m for f.
0
Suppose 0 = -60*j + 12*j - 19968. Let y = j + 418. Solve l - 3*d = -3*l - 10, 12 = -y*l - 2*d for l.
-4
Suppose -k - 4*y + 593 = -0*k, -2*k - 3*y = -1196. Let x = 605 - k. Suppose 0 = u - 20 + 5. Solve 2*c = -4*m - 20, -m - 4 = x*c + u for c.
-4
Suppose 3*y + 14 = 29*l - 24*l, 0 = -3*y + 4*l - 10. Let a = 13 - 10. Solve y*q + a*q + 25 = 4*d, 24 = -4*q + 4*d for q.
-1
Let n = -577 - -653. Solve 5*f - n = 4*i - 44, f - i = 7 for f.
4
Let y(x) = x**3 - 7*x**2 + 8*x - 9. Let i be ((-20)/(-6) + -3)*15 - -1. Let k be y(i). Suppose k*c + c = 16. Solve 5*r - 3 = 2*l - 3*l, 0 = c*r + l - 2 for r.
1
Let k(n) = n**2 - 20*n + 3. Let r be 21*1 - (9 - 8). Let o be k(r). Let c be o/(15/12 + 1/4). Solve 19 = 3*t + z, 17 = c*t - t + 3*z for t.
5
Suppose -2*g = -21 - 45. Suppose -30*x + g*x - 6 = 0. Solve -o - 3*j - 9 = 0, 2*j + 2 = x*o - 2*j for o.
-3
Suppose 0 = 171*x - 167*x + 5*c + 35, -4*c - 28 = -2*x. Solve x = -2*k + 5*t + 23, 7*t = 3*k + 6*t - 15 for k.
4
Let b be 45/18*(4248/(-15))/(-4). Let w = b + -177. Solve w = 3*r + 2*f + 12, 8 = r - 3*r - 3*f for r.
-4
Let o be (-272)/(-544) + (0 - (-1)/1)/(-2). Solve 0 = -r - v - 2, o*v - 2 = v for r.
0
Let k be ((-9)/(-27))/(3/2331). Suppose -4*t - k = -259. Solve t = r + 2*r - o - 15, -5*r + 25 = 4*o for r.
5
Let z(q) = -q**3 - 48*q**2 + 260*q - 265. Let o be z(-53). Let i be 15/9*6/(-2). Let u = i + 5. Solve 2*a + f + 6 = o, -f - 2*f = u for a.
-3
Suppose 4 = -4*b + 3*b. Let q(k) = k + 16. Let g be q(b). Solve -i + 2 = 3*s, -5*s + g = -5*i + 42 for i.
5
Suppose 17*d - 12*d - 43 = -3*b, -b + 3*d = -19. Solve -p + 4*s = p + b, 3*s - 12 = 0 for p.
0
Let h(d) = d**3 + 3*d**2 + d + 5. Let c be h(-2). Suppose -4*u = -5*x + c, 5*u - 9*x - 4 = -7*x. Solve 3*m = u*n + 2, 7*n = 2*m + 3*n - 12 for m.
-2
Let o be (-1 + -1)/2 - (11 - 7). Let h be (3 + 0 + -7)*(o + 3). Solve 4*t + 2*l = 8*t - h, -5*l - 10 = 0 for t.
1
Let j(x) = -x**2 - 7*x - 3. Let h be j(-6). Suppose h*w + 23 = 4*w. Let q = 666 - 664. Solve -q*f + 7 = -g, 1 = 5*f + 4*g - w for f.
4
Let s(r) = r**2 + 8*r + 14. Let b be s(-11). Let t(x) = -6*x + 284. Let o be t(b). Solve o*q + 1 = -a + 3, 3*q + a - 3 = 0 for q.
1
Suppose -34151*j + 34157*j = 10 + 68. Solve 3*a + 2*n - j = 0, -a = -n + 3*n - 11 for a.
1
Let c = -106 - -127. Let z = 46 - c. Suppose 12*g = -1 + z. Solve 0 = 5*t + w - 21 + 1, 0 = -2*t - g*w + 16 for t.
3
Let b = 246 + -246. Suppose b = y - 19*y. Solve -3*f + 3*w = 15, y = -5*f - 3*w - 20 - 5 for f.
-5
Let h be (-2)/(-8) + 328/(-32). Let z(g) = 8*g - 4 + 2*g**2 - g**2 + 30 - 10. Let w be z(h). Solve 4*m - 4*k - w = 0, 9 + 16 = 5*m - k for m.
4
Let w(j) = -j - 7. Let b(r) = r**3 - 8*r**2 + 10*r + 3. Let a be b(6). Let s be w(a). Suppose p = -s*p - p. Solve 5*d - 20 = 5*y, -y + p*d - 14 = -3*d for y.
1
Let k = -3770 - -3775. Let y be (4/3)/((-2)/(-6)). Solve i - 5*l = -24, y*i = k*l - 7 - 14 for i.
1
Let d(r) = -4*r - 20. Let s be d(-2). Let g(w) = 7*w**2 + 83*w - 7. Let q be g(s). Solve 4*m + 3 = 5*m + l, m + q*l = 23 for m.
-2
Let u(y) = -y**2 - 14*y + 20. Let v be u(-15). Suppose 414 = -z + 419. Solve 0*f = 5*f + 3*g + 10, v*f = -2*g - z for f.
1
Let l(i) = i**2 + 5*i - 2. Let g be l(-5). Let c be -1*(g/1 + -2). Let d = 3970 - 3966. Solve -d*h = 12, -2*h - 18 = c*f - 0*f for f.
-3
Suppose -2*d + 419 - 423 = -3*c, 12 = 5*c - 2*d. Solve 21*q = -c*o + 18*q + 12, -3 = -o - 2*q 