 for y.
1
Let y(s) = -2*s + 2. Let h = -25 - -24. Let k be y(h). Solve 3*o + u - 2 = 0, 3*o - k*u = -20 - 3 for o.
-1
Let p = 14 - -1. Suppose 3*g = 4*d + 22, 5*d = 2*g + d - 20. Solve 4*s = -g*w + 7*w - p, -3*w + 9 = 0 for s.
0
Suppose -2*o + 4*k + 54 = 0, -4*k - 104 = -o - 3*o. Let m(w) = -w + 7. Let r be m(11). Let u be (6/(-12))/(1/r). Solve -3*v = u*v + t + o, 2*v = t - 3 for v.
-4
Suppose 2*d + 10 = 12. Let y(b) = b**2 - 4*b - 1. Let a be y(5). Solve 5*p + 2*z = -3*z + 30, p - a*z - d = 0 for p.
5
Let v(n) = 3*n**3 + 7*n**2 + n. Let a be v(-2). Solve -p - 5*k - 20 = 0, -4*p - 19 = p - a*k for p.
-5
Let z(b) be the first derivative of b**4/2 - 20*b**3/3 + 19*b**2/2 - 5*b + 20. Let i be z(9). Solve 0 = -m - u - 0*u - 1, 5*u - 13 = i*m for m.
-2
Let l(r) = -10*r - 67. Let a be l(-7). Suppose 0 = -a*t + 2*x + 44, -3*t + 53 = t + 3*x. Solve f = 5*q + t, 7 = -3*q - 0*f + 2*f for q.
-3
Suppose 15 = -3*b, 3*p = 12*b - 10*b + 10. Solve 5*n + 4*v - 24 = -p*v, n = 4*v for n.
4
Let t be (-8)/10 - (306/(-45) - -6). Solve t = 5*r - 19 - 6, -r + 5 = -d for d.
0
Suppose -2*i = -l - 22, -l - 19 = -3*i - 3*l. Suppose 3*k - i = -3. Suppose -k*f + 47 = 5*x - 0, -3*x + 23 = -4*f. Solve 2*v - x + 23 = -3*h, -4*h = -2*v for h.
-2
Let c = -20 - -24. Suppose -c*w + 4*l = -4, 0*w + 1 = -2*w - l. Solve w*p - 3*p + 11 = k, -2*p - 6 = -2*k for p.
2
Let j be (0 - -5) + (-5 + -2)/7. Solve -f + 6 = -3*y, y + 2*y + 6 = j*f for y.
-2
Suppose 6*v - 16 = 14. Let f be v + -8 + 3*2. Solve -2*s + 4*s - 9 = f*i, -5*i - 15 = 5*s for i.
-3
Let j = 1315 + -1310. Solve 5*g - 2*h - 17 = 0, 4*g = 2*g - j*h + 1 for g.
3
Let t be 11 + -23 + 22 + -7. Solve 4*h - 4*n - 4 = 0, 3 - 8 = -4*h + t*n for h.
2
Let p(u) = 21*u - 1214. Let y be p(58). Suppose 2*n - 14 = -2*t, -t = -4*n + 2*t + 14. Solve n*b - 7 = -d, 3*d + b + y = d for d.
-3
Suppose -d = -2*b + 1 + 2, 0 = -2*d + 2. Suppose 0 = -31*t - 31*t + 310. Solve 5*g - 5*w - 35 = 0, t*g = -4*w - b + 10 for g.
4
Let s(t) be the first derivative of 5*t**2/2 - 35*t + 26. Let v be s(11). Solve -k - v = 4*l, -4*k - 4*l + 1 = 21 for k.
0
Let a(n) = 3*n**3 + n**2 - n + 1. Let k be a(1). Suppose 0 = -k*o - 0*o + 32. Solve 0 = 3*v + 3*r + o + 7, -v - 5*r - 21 = 0 for v.
-1
Suppose 8 = 6*x - 4*x - 2*g, 0 = -4*x - 4*g. Suppose -40 = -2*j - 3*j - m, -4*j - 5*m = -32. Solve -x*r + 14 = -4*r + 4*t, t - j = 2*r for r.
-3
Suppose 2*o + 3*g - 3 = 17, 0 = g - 4. Suppose 2*u + h = u + 6, o*u - 3*h - 31 = 0. Solve 0 = -3*j - 4*y - u, 6*j - j - 19 = y for j.
3
Let q be 24/9 - (-5)/15 - 1. Let g be q - (-3 + 5 + 0). Solve -4*t + 2*z = 10, -t + 2*z = -g*t + 10 for t.
0
Suppose 258 - 288 = -10*g. Solve -3*x - w = w - 20, g*w - 28 = -4*x for x.
4
Suppose -5*b - 12 = -92. Let h = -2 + 2. Solve 0 = 3*c + 12, 4*g = -3*c - h*c - b for g.
-1
Let j be (35/(-5) - -7) + (8 - 1). Suppose -j*b - 21*b + 7*b = 0. Solve b = p - 3*p - 2*y + 6, 3*p + 4*y = 12 for p.
0
Suppose 3*f - f = 3*y - 11, 4*f = y - 17. Let o = 28 - 31. Let s be (1/2)/(o/(-24)). Solve a - v = 0, a - y = s*v - 4 for a.
1
Let w(o) = -o**2 + 11*o + 70. Let b be w(15). Solve -5*p - 10 = 2*l, -p + 2*l + b = -4*p for p.
0
Suppose 77 = -5*l + 92. Solve 0 = 4*a - l*a - 2*v + 9, a + 7 = v for a.
-5
Let l(a) = 6*a - 12. Let q be l(2). Solve q = -2*c + 4*k + k - 28, -4*k = c - 12 for c.
-4
Let g be (-2 + (-88)/(-14))*(-14)/1. Let j = g + 75. Solve 3*y = -4*r - 11, 3*r + j = -5*y - 2*r for y.
-1
Let m = 164 - 160. Solve -m*j - 1 = -5*b - 0, 2*b - 6 = 3*j for b.
-3
Suppose 3*r = 1387 - 1381. Solve 10 = r*w + 3*p, 8 + 0 = w + 3*p for w.
2
Suppose -6*z + 13*z = 0. Solve z = -4*c + 3*s - 11, -c + 9 = -2*c + 2*s for c.
1
Let s be 62/3 - (-4)/(-6). Solve 4*q - s = 0, -2*b - 3*q = q - 14 for b.
-3
Let v(t) = t**3 - 15*t**2 - 15*t - 3. Let r be v(16). Suppose -5*q = -r - 2. Solve -4*j + 7*i - 36 = q*i, j - 6 = -2*i for j.
-4
Let o = -898 + 922. Solve 4*a + 5*h + 21 = -o, -10 = -3*a + 5*h for a.
-5
Let z = -7 + 12. Solve 2*t = -z*f - 3, 2*f + f = t + 7 for f.
1
Suppose -q - 4*r + 15 = 0, -2*q + 0*r - r + 9 = 0. Solve -15 = 3*u - q*p, -3*u - p - 4 = -1 for u.
-2
Let x be -9*(2 - 6 - -2). Suppose 8*c = 2*c + x. Suppose -f + 5 = -4*z, -f - 5*z + 100 = 2*f. Solve 0 = -c*s + 4*i + f, -3*i - 13 = -5*s + 14 for s.
3
Let m = 1293 + -1288. Solve 2*f = -4*r + 4, 5*f + 3*r - m*r + 26 = 0 for f.
-4
Suppose 0*l - 4*y - 12 = -3*l, 2*y = -3*l + 30. Suppose -4*q + 4*s + l = 0, -3*q + 6 = -s + 3*s. Solve 2*f - 6 = -0*f + q*x, -5*f = -2*x - 6 for f.
0
Let s(c) = c**2 - 9*c + 7. Let y be s(6). Let a = y + 13. Solve 0 = -a*j + 2*m, 3*j + m - 4 = 2*m for j.
2
Let c be (-1 - (-2)/5)/((-168)/560). Solve -3*w - 2*g - 3*g = -8, -c*g = -2*w for w.
1
Let g(a) = -3*a + 8. Suppose -1 = -h + 5. Let d be g(h). Let t = d - -15. Solve -t*m + 8 = -3*x - 9, x + 4*m = 0 for x.
-4
Let f(r) = -r**2 - 11*r - 19. Let o be f(-8). Suppose o*i - 5*j = -10, 4*j - 2 = 3*i + 7. Solve -4*d - 2 = 4*y + 10, 0 = -y - 2*d - i for y.
-5
Let s(v) = 27*v - 376. Let z be s(14). Solve 2*o = 3*o + x + z, x + 8 = 5*o for o.
1
Let j be (-5)/5 - 34/(-1). Let s = j - 27. Solve w = -w + s, 0 = t + 3*w - 12 for t.
3
Let o(v) = -v**3 - 11*v**2 - 11*v - 6. Let c be o(-10). Suppose c*w - 4*q = 8, -2*q + 0*q = 0. Solve w*n + 22 = 4*x, 5*n + 42 = 3*x + 8 for n.
-5
Suppose 4*u = -5*k + 15, 4*k - 2*u = 11 + 1. Solve 3*d + 6 = -3*a + k, 0 = -d + 4 for a.
-5
Let g = 384 + -381. Suppose -q + 4*d - 5 = 0, -2*q - 3 = -4*d - 1. Let z be (0 - -6)*q/2. Solve -2*w + g*t - z = -w, t - 5 = w for w.
-3
Suppose -3*s - o + 7 = 0, -5*s - 8*o + 3*o = -5. Solve -5*p + 3*c + 3 = -17, -c - 12 = -s*p for p.
4
Let f = 31 - 29. Suppose 0*n + f*v = -4*n + 18, 0 = n - v. Solve -5*u - 4*m = -0*u + 6, 0 = n*u + 2*m + 2 for u.
2
Let b be ((-7)/(-21))/((-2)/(-6)). Let g be 4*(2 - b)*(-18)/(-24). Solve g*j - 18 = -l - l, 27 = 3*j + 5*l for j.
4
Suppose 169 = 34*t - 21*t. Solve -12 = 5*f + 3, -3*f - t = -o for o.
4
Suppose -5*i + 5*r = -0*i + 15, -10 = -2*i - 2*r. Let c be 0/(-2)*i - -19. Solve -5*t + k = 3*k - 22, -c = -4*t - 3*k for t.
4
Let d(f) = -3*f + 14. Let g be d(4). Solve -25 = g*j + 5*z, -5*z = 8 + 7 for j.
-5
Suppose -338 = 5*g - 3*p, 10*g - 13*g + 3*p = 198. Let w be 3 - 0 - -7*10/g. Solve -w*d = -d + i + 6, 8 = -3*d - i for d.
-1
Let w be -3 - (-4 - -2) - -16. Suppose w = 2*y + 5. Suppose 0 = 5*x + 70 - 95. Solve 5*s - 5*k + y = 0, -x*s + k + 7 = -k for s.
3
Suppose 4*o + 2*m + 63 - 3 = 0, -26 = 2*o - m. Let p = o - -17. Suppose 2 = -b + 2*y, -4*y + p = -2*b - y. Solve -29 = i + 5*d, i + i - 5*d - 17 = b for i.
-4
Suppose -86*r + 57*r + 87 = 0. Solve r*i + 18 = -8*t + 7*t, 0 = i - 4*t - 7 for i.
-5
Let i = -24 + 26. Suppose n - 2*x = -x - 4, 2*x = -i. Let f(k) = -k**3 - 4*k**2 + 3*k - 4. Let y be f(n). Solve j - 3*s + 0*s = -10, -5*j + s = -y for j.
2
Let i be (52/8)/(1/(-6)). Let z = -34 - i. Solve z*j - 4*s = -25, 4*s - 10 = 2*j + 3*s for j.
-5
Let d(n) = -n**3 - 9*n**2 - 8*n. Let j be d(-8). Suppose 4*h + 57 = i + 151, -2*i - 4 = j. Let b = h - 23. Solve -3*c + g = 3*g + 4, 5*g - 20 = b for c.
-4
Suppose -17*i - 15 = -22*i. Let g(m) = -4*m**i - 4*m + 7*m**2 + 6*m**3 - 3*m**3 - 7. Let s be g(6). Solve 9 = s*a - c, 2*a - 2*c - 2 + 0 = 0 for a.
2
Suppose -3*b - 5*n + 25 = 2*b, 0 = 4*b + 2*n - 16. Solve -4*z = q - 4*q - 6, b*z - 5 = 2*q for z.
3
Let a(w) = w**3 - 14*w**2 - 9*w - 12. Let y be a(15). Let m = y - 75. Solve 0 = m*f - 3*r - 24, 2*f - 3*r - 33 + 13 = 0 for f.
4
Suppose 2*r - 2 = -5*k, -14 = -r + 3*k - 2. Suppose -3*u = -7*u + 4*l + 4, -u - 4*l + r = 0. Solve 0*x - 2*q + 20 = -u*x, -30 = 2*x - 4*q for x.
-5
Suppose 7*s + 101 = -389. Let z = s + 76. Solve 0 = y - 3*d + 6, 0*y + 3*y + 3*d = -z for y.
-3
Let j be ((-108)/(-15))/(-1 + (-24)/(-20)). Solve j = 4*d - 5*w, 5*d + 4*w - 16 = 3*w for d.
4
Let q(h) = -h**2 - h + 3. Let s be q(1). Solve 5*b = -5*f + s + 4, 0 = -2*b - 5*f - 10 for b.
5
Suppose 3*r + 3 = 4*r. Suppose -37 - 5 = -r*v. Suppose 3*s = 3*p - v - 1, 21 = 4*p - 3*s. Solve -4*d = -3*k, 2*k - p*k + d = 13 for k.
-4
Let f(c) = -c**2 + 41*c - 374. Let i be f(27). Solve k - 5*j - 7 = 0, i*k = -3*j + 1 + 4 for k.
2
Let h(x) = -x**2 - 27*x + 132. Let p be h(-31). Solve 0 = 3*s + 4*m - 0 - p, -6 = -3*m for s.
0
Let f = 247 - 239. Solve -2*g - 2*v + 7 = -5, -f = -g - 2*v for g.
4
Let t be 0/(4 