*y + d - 10 = u for y.
-3
Let j = 1183 - 1178. Solve 1 = j*a - 3*v + 26, 3*a + 5*v + 15 = 0 for a.
-5
Suppose 6*k - 2*k + 4*j + 8 = 0, -5*j = -2*k + 24. Let f be ((-4)/3 - 2)*(-10 + 7). Solve 6*w = -4*i + 4*w - f, -i - 10 = -k*w for i.
-4
Let a(l) = -l**2 - 9*l + 5. Let u be a(-9). Solve 0 = u*t - 5*z, -z + 8 + 0 = -3*t for t.
-4
Let o(m) = -m**3 + 19*m**2 + 20*m - 2. Let q be o(20). Let d = q - -5. Solve v - 2*t = -7, -t + d*t - 12 = 2*v for v.
-5
Let n(o) = -341*o + 2. Let v be n(-5). Let j be (-8)/36 + v/27. Let c = -32 + j. Solve 0*d + 2*d - 2 = 4*i, 0 = 5*d + 2*i + c for d.
-5
Suppose 292*t - 269*t = 46. Solve t*b = -q + 1, 2*b + 4*q + 2 = 12 for b.
-1
Let i(p) be the first derivative of -2*p**2 + 4*p - 9. Let c be i(0). Solve 1 = 2*t + 3*d, c*t + 3*d + 4 = -d for t.
-4
Suppose -165 = 2*j - 203. Solve w - 2 - j = 4*t, 2*t + 14 = 4*w for w.
1
Suppose -w - 5*l = -4, -4*l = 3*w - 0*w - 12. Solve -w*h + 3*k + 9 = -6*h, -3 = 4*h + k for h.
0
Suppose 0 = -5*l + 20 - 0. Let j be 14 - -2*(-4)/(-8). Let n be (-17)/(-3) + (-10)/j. Solve -2*b - n = -l*y + 5, -b - 8 = -3*y for y.
3
Let h be -9 + (-2)/(1*8/(-12)). Let v(k) = 2*k**2 + 13*k + 6. Let n be v(h). Solve -2*y = 5*t + 22 - 5, n = -4*t - 12 for y.
-1
Let k be 1 + (-8)/12*-3. Let c be ((-4)/k)/((-2)/30). Solve 2*z - 13 = -5*m + c, -2*m + 10 = 0 for z.
4
Let d be (15/(-30))/((-1)/12) - -16. Solve 2*g = 4*b + d, 2*g + 8 = -2*b - 0 for b.
-5
Let w(c) = 3*c**2 - 22*c + 24. Let z be w(6). Solve 4*s - 6 = -2*h - 0, -h + s - 9 = z for h.
-5
Suppose 0 = -3*y + y + 6. Let g(p) = -p - 1. Let z be g(y). Let q(m) = -m**3 - 5*m**2 - 4*m + 5. Let n be q(z). Solve -o + 15 = 3*o + i, 35 = n*o - 2*i for o.
5
Suppose 153*l - 152*l = 1. Solve -5 = -u + 3*c - l, u + 3*c = -14 for u.
-5
Let y = -207 - -217. Solve -3*j - m = 2, -2*j + y = -3*j + 2*m for j.
-2
Let r = 64 + -43. Let n = 42 - r. Suppose -3*l - l - 5*p = -n, -2*l - 4*p + 12 = 0. Solve -4*t - 8 = -l*g, 3*t - t = 5*g - 4 for g.
0
Suppose 3*p = 12, 4*s - 39*p - 8 = -40*p. Solve -4*f = -h + 8, -f - s = -h + 4 for h.
4
Suppose -125 = -5*y - 5*g, 0 = -2*g + 1 + 7. Let f be 4/(-12) - (-104)/(-12). Let t = f + 12. Solve -5*k + 4*m = -37, t*k + m - y = 3*m for k.
5
Suppose 2*w + 32 - 52 = -2*o, -w + 25 = 4*o. Solve -3*m + 2*m + 13 = 4*p, -7 = o*m + 2*p for m.
-3
Let q(v) = -v + 14. Let c = -5 + 9. Suppose c*z + 0*z + 5*p - 50 = 0, 2*z = -2*p + 24. Let k be q(z). Solve -t - 5*l = 10, -k*t - 3*l - 6 = -3*t for t.
0
Let x = -278 + 282. Solve 5*n - n = -z - 9, x*n - z + 7 = 0 for n.
-2
Let r(f) = f**3 - 6*f**2 + 11*f - 6. Let m be r(4). Let o be 2 + m*(-6)/9. Let j = o - -2. Solve -5*c - 28 = -5*u - 2*c, -3*u - 5*c + 10 = j for u.
5
Let a be (-5 + 3)*(-1 + 8). Let w = -28 - a. Let n be (-20)/30 - w/3. Solve 5*m = -y, n*m - 5*y = -17 - 12 for m.
-1
Suppose 0 = 2*h + 3*h - 4*f - 7, 10 = 2*h + 2*f. Solve -c = -3*a + 9, 2*a + 1 = -h*c - 4 for a.
2
Let k be (-4)/14 + (-4539)/(-623). Solve -3*s - 5*l = -k*l - 14, 3*s + 2 = -2*l for s.
2
Suppose 0 = -5*f - 3*i + 66, -2*i - 16 + 20 = 0. Solve 5*q + 30 = -r + 6*r, -3*r - 3*q = -f for r.
5
Let w be (-6)/(-51) - (-912)/51. Solve 3*y - 5*x - w = 0, -2*y + 14 = -3*x - x for y.
1
Let r be 18/(-2)*(1/3)/(-1). Solve -4*j + 4*a - 36 = 0, -r*j + 2*a = -5*j + 2 for j.
-4
Let f = -53 + 44. Let g = 1 + 0. Let l = g - f. Solve 3*b - 4*v + l = 2*b, -3*b = 4*v - 2 for b.
-2
Suppose -w + 3 = f, -2*w = -3*f + 8*f - 9. Suppose -v - f = -11. Solve 4*a - 10 = -s + 7, 2*s - v = -2*a for s.
1
Let h(o) = -o**2 + 8*o - 10. Let s be h(5). Suppose 0 = l - 3 + 12. Let q be ((-16)/12)/(2/l). Solve -s*a = -u + 18, -q*a - 3 = -a + 4*u for a.
-3
Let i be (3/(-2))/(27/(-72)). Suppose -p + 75 = i*b + 2*p, 4*p - 94 = -5*b. Solve -m - 4*s - 17 = 0, -3*m - 3*s + 3 = b for m.
-1
Let b be (-20)/3*(-12)/(-10). Let k be (4/b)/(2/(-8)). Let g(z) = 7*z**2 + 2*z - 2. Let w be g(-2). Solve -y + 2*n + 2 + 11 = 0, k*n + w = 4*y for y.
3
Let i = 319 + -319. Solve 5*r - 5*l - 15 = i, 0*r - 2 = -2*r + 4*l for r.
5
Let g be 8/(-6)*(-9)/6. Suppose 16*h = 21*h - 10. Suppose 2*v + 16 = 3*n, 0*n + 3*v + 14 = h*n. Solve -4*q - 9 = g*t - t, n*t + 10 = -3*q for q.
-2
Let t be 2/(-8) - (-671)/44. Suppose -5*v - 20 = -0*v + 4*l, 3*l = 3*v - t. Solve 2*a + 5*s - 18 = v, a - 3*s + s = -9 for a.
-1
Suppose 0 = -4*o - 4*s + 4, -6*s = -4*s + 8. Solve y - h - o = -y, 5*y - 5*h - 5 = 0 for y.
4
Let z = 12 + -9. Solve 0 = -z*a - 0*a + f + 2, 3*f = -a + 4 for a.
1
Let f be ((-34)/(-6))/((-7)/(-21)). Let k(w) = w**3 - 19*w**2 + 34*w + 9. Let y be k(f). Solve -s + 3*m = -11, 12 = 5*s + 2*m - y for s.
5
Let w be (-8)/((-32)/11) + (-2)/(-8). Solve w*b + 16 = -5*z, -2*z - 16 = -2*b - 0*z for b.
3
Let l = 16 + 53. Let z = -40 + l. Suppose 0 = k + 5*d + 5, 0*d = -4*k + 4*d + 28. Solve z + 11 = k*f + 4*r, 4*f - 36 = -4*r for f.
4
Let k be (-130)/14 + (-12)/(-42). Let m be 86/18 - 2/k. Let l = m - 5. Solve l = -5*r - 2*o - 30, 3*r - 3*o + 1 = -r for r.
-4
Suppose 4*h + 4*m - 56 = 2*h, m - 47 = -2*h. Let s be -1 - 0/3 - 2/(-2). Suppose 2*x + h = 3*j, s = 3*j + x + x - 2. Solve i - 5 = 0, 29 = -5*k + 2*i + j for k.
-3
Let w(d) = d**2 - 3*d + 9. Let p be w(5). Let i = -17 + p. Suppose -z + i*z - 17 = 0. Solve 5*m - z = -4*o, -2*o + 4*m = 2*m - 4 for o.
3
Let y be (-22)/12*1146/(-191). Solve 5*f = -5*p - 5, -4*f = f + p - y for f.
3
Let h = 10 - -17. Let q = 64 + -43. Let t be (-12)/21*q/(-6). Solve -4*o - h = -3*m + o, 0 = 3*m + t*o - 6 for m.
4
Let d(a) = 15*a + 63. Let h(v) = 8*v + 32. Let o(z) = 5*d(z) - 9*h(z). Let r be o(-9). Solve j = r, 0 = -2*l - 0*l + 3*j - 2 for l.
-1
Suppose -2*u + 10 = -y + 28, 0 = -5*y + 4*u + 60. Solve 0 = 3*t + f - y, 8 - 4 = -f for t.
4
Let r(a) = 2*a - 7. Suppose 3*y - 3 = 6. Let g be r(y). Let n = 6 + g. Solve 2*v + 2*z + 13 = 7*z, v + 9 = n*z for v.
-4
Let y(q) = -q**2 + 21*q - 62. Let p be y(17). Solve -3*l + p*l = -4*i + 7, 4*i - 3*l + 23 = 0 for i.
-2
Let r = 454 + -452. Solve 0 = 2*q + r*o, -q - 20 = -6*q + 5*o for q.
2
Suppose 5*q = 3*u - 1, 2*u + q = u + 3. Suppose -14 + 2 = -u*f. Solve s = -2*g + 3, 2*g + 4*s - f = 12 for g.
-1
Let f be ((-48)/40)/((-9)/15). Suppose -f*l + 2*a = 0, -4*l - 4 + 34 = 2*a. Solve -3*d - 24 + 5 = -l*k, -2*d - k = -9 for d.
2
Let j(c) = 2*c - 6. Let r be j(5). Suppose -2*v - 6 = -5*v. Suppose 3*f + 16 = -5*o, 7*o - v*o = 5*f - 40. Solve -f*x + 6 = -s - 4, 12 = r*x for s.
-1
Suppose -5*r + 23 = 2*h, -5*r - 5*h + 29 = -6. Solve 5*k = -2*i - 5, 2*i + 6 + 7 = r*k for k.
1
Let x = 658 - 653. Solve 0 = 4*w + t + x, 15 = 2*w - 5*t + 2*t for w.
0
Suppose -21 + 16 = -y. Suppose 0 = -y*z - z + 24. Solve 2*c - 4*b = -14, -5*c - 7 = -0*b + z*b for c.
-3
Let m(r) = -2*r + 14. Let q be m(6). Suppose 0*w = -q*w + 10. Suppose 84 = s + w*s. Solve f = 2*f - b - 4, -f - s = 5*b for f.
1
Let o = 538 + -533. Solve -2*g = -4*f - o*g + 28, -5*g = f - 24 for f.
4
Let j be (-10)/5 + 6*(-2)/4. Let d = 15 + j. Solve 2*p - 5*f = -d - 9, -5*p = -2*f + 16 for p.
-2
Let y = 2 - 12. Let q(x) = x**2 + 12*x + 8. Let k be q(y). Let g be k/(-28) - 44/(-28). Solve -3*n = 5*j - 15, 4*j - g*n + 10 = 6*j for j.
0
Let m = -1 - -4. Let s be (2/11 - (-598)/(-506))*-3. Solve m*x = x - s*y + 2, -5*x + 12 = 4*y for x.
4
Let h be (-1*6)/(2/1). Let z = h + 5. Suppose -w + 16 = -2*o - 2*o, -o = z*w - 5. Solve 0 = -2*p + n - 3*n + 2, 5*p - w*n + 4 = 0 for p.
0
Let s(i) = -i**2 - 7*i + 1. Let o be s(-5). Suppose 6*c - 30 = o*c. Let l be c/(-3)*3/2. Solve 0*m + 4 = -2*n - 2*m, -4*m - 4 = l*n for n.
-4
Let r(p) = p**2 + 2*p. Let q be r(-2). Suppose 2 = -7*y + 45 - 1. Solve -3*c + h - 13 = q, h = y*c - c + 23 for c.
-5
Suppose 2*t - a - 25 + 6 = 0, -5*a - 32 = -3*t. Let s = 4595 + -4593. Solve 3*h - s*v = -t, -2*h + 2*v + 1 = 5 for h.
-5
Let n(g) = 2*g**3 - g**2 - g + 1. Let v be n(1). Let y = -13 - v. Let t be (-6 - y)*(-6)/(-8). Solve -2 = -h + 4*i, -2*i - t = -3*h + 3*i for h.
2
Suppose -w + 21 + 4 = b, -w - 4*b + 16 = 0. Suppose -w = -7*o - 0. Solve -5*d - o*v + 10 = v, 3*d + 10 = v for d.
-2
Suppose -229 = -4*r - 5. Suppose -3*f + 92 = f - 2*s, -2*f = 4*s - r. Let c = 29 - f. Solve z - 2 + 3 = 2*o, -4*o = -c*z - 11 for z.
-3
Let s(z) = z**2 + z - 5. Suppose -4*g = -5*d - 41, -g - 3*g = 5*d + 9. Let r be s(g). Suppose -2*w = -w - r. Solve -j - t = -0*t + 1, -w = -j - 5*t for j.
