5*s - 20 for y.
-2
Suppose -5*x = 5*w - 20, x - 2*w = -6*w + 10. Suppose 5*p = -j + 24, x*j + 8 = p - j. Solve 5*v = -0*v - z - 5, -25 = 5*v + p*z for v.
0
Suppose -2 - 3 = -i - 3*s, 5*i - s = 25. Suppose 0 = 15*b - i*b - 30. Solve -15 = -b*r, -14 = -4*a - 3*r + 9 for a.
2
Let g(l) = l**3 + l**2 - 2*l. Let o be g(-2). Let s be (-1)/(o + 3 - (-28)/(-8)). Solve -3*d + w = -16, 1 = 3*d - s*d + 4*w for d.
5
Let o = -273 - -281. Solve -2*z + 2*q - 5*q = 4, 0 = 4*z + q + o for z.
-2
Suppose -13*t = -27*t. Solve -2*p = -2, 3*z = -t*z + 2*p - 14 for z.
-4
Let u = -72 - -82. Solve 0 = -y + 5*o + u, 4*y + o = -0*o - 23 for y.
-5
Let y = -442 + 445. Solve 0 = -x + 1, 0*x = -2*q - y*x + 7 for q.
2
Suppose -4*g = 2*u, -2*g + 1 = -u - 5*g. Suppose 4*v = -u*f + 3*v + 28, 0 = -3*v + 12. Solve 5*d = 4*k + f, -2*d + 15 = 4*k - 1 for d.
4
Let k(h) = 37*h - 98. Let n be k(3). Solve -3*w = -p - n, 3*w - 4*p - 12 + 5 = 0 for w.
5
Suppose -4*m + 26 = -4*l - 2, 0 = m - 3*l - 11. Solve -m*q - 15 = 5*c, 6*c - 2*c = -20 for q.
2
Suppose -47*r - 240 = -67*r. Solve p = 3*c + 14, 3*c + r + 3 = 0 for p.
-1
Suppose -5*a + 4*x = -35, 4*a + 1 = -3*x - 2. Suppose 5*q - 7 = -2*l - a, -3 = -3*q - l. Solve 3*s + q*f = -5, 4*f = -s - 4 - 1 for s.
-1
Let u(q) = q**3 - 2*q**2 - 3*q + 4. Suppose 0 = -4*r - r + 15. Let b be u(r). Solve 2*t = -4*g - 6, -2*t + b*g + 12 = 2*t for t.
1
Suppose -1 - 9 = -5*i. Suppose -2*a = 5*a - 10 - 4. Solve -4*j + y = -15 + 1, -i*y = -a*j + 10 for j.
3
Let d = 316 + -311. Solve 0 = -y - 2 - 0, c = d*y + 9 for c.
-1
Suppose -2*t = 3 - 15. Let q = -2115 - -2117. Solve -v = -3*m + t, 4*v + 2 = -q*m + 3*m for v.
0
Let l be 5/(-10) + 53/(-2). Let r be (-804)/l + (-2)/(-9). Suppose -37 + 7 = -3*o + 3*w, -3*o + r = -5*w. Solve 3*x - 13 = -q, 2*q - o - 1 = -3*x for q.
-2
Suppose -1338*z + 1335*z = 0. Solve 5*l = z, -3*d = -0*l + 4*l + 9 for d.
-3
Let x be 1036/(-7)*(-6)/8. Suppose 5*p - x = 14. Solve -4*r = 5*f + 1 + p, -r = 5*f + 14 for f.
-2
Suppose 5*s = 5*v, s - 3*v = 4*s. Solve s = -2*t - 4*k + 22, k = 2*t + 6*k - 27 for t.
1
Let j(i) = -2*i - 1. Suppose 0 = 2*k + 3*k - 4*h + 27, -9 = -2*k - 5*h. Let c be j(k). Solve -18 = o - 3*o + 2*u, -2*o = -c*u - 33 for o.
4
Let g(o) = -o**2 - o + 42. Let x be g(0). Let p = 46 - x. Solve 4*l - 32 = p*r, 5*l - r + 6*r = -10 for l.
3
Suppose 3*b + 20 = 4*b. Suppose 0 = 3*m - 7*m + b. Suppose 20 + 5 = 5*z. Solve 3*p - z = -4*g, 0*p + 2*p - m = -3*g for g.
5
Let d(k) = -k**2 - k. Let p be -3 - -2 - (-2 + 1). Let m be d(p). Suppose 4*i = -5*w - 0*w - 15, m = 4*w + 12. Solve i = o + 4*l - 13, -o - 3*l + 6 = o for o.
-3
Let v = -662 - -675. Solve v = -3*f + p + 3*p, -2*p = -f - 5 for f.
-3
Suppose -4*y - 5 + 19 = z, -4 = -2*y. Suppose 0 = 8*t - z*t - 8. Solve 2*o - 5*r = 3*o - 4, -2*r - 16 = -t*o for o.
4
Let m = 562 - 558. Solve -m*h - 2 = 6, -5*x - h = 7 for x.
-1
Let j(k) = 16*k**2 - 3*k + 2. Let a be j(1). Suppose 3*o + 4*r - r = a, -2*o + 4*r = -16. Solve -4*c + 9 = l, 0 = 6*c - 2*c - 2*l - o for c.
2
Let v(i) = -i**3 + 11*i**2 - 30*i + 3. Let h be v(6). Solve -h*z - 4*x - x = 13, -4*z - 2*x + 6 = 0 for z.
4
Let g = -45 - -72. Suppose -w + 29 - g = 0. Solve -4*d + 26 = w*x, 2*x + 1 + 8 = 3*d for d.
5
Let p be (102/(-24))/((-3)/24). Let b = -29 + p. Suppose 0*g - 35 = -5*g. Solve -8*y + 3*y - b = -5*k, 0 = y - 4*k + g for y.
1
Let i(a) = -6*a - 243. Let c be i(-41). Solve -20 = 4*h, 5*r - c*h + 15 = -4*h for r.
-2
Let s = -224 + 227. Solve -5*u + 3*a = 1, -3*u = -2*u - 2*a + s for u.
1
Suppose -x - 9 = 10*g - 53, 5*g + 2*x - 13 = 0. Suppose k = 2*k. Solve -5*l + 2*i + 6 = k, 18 = g*l + 5*i - i for l.
2
Suppose -7*k + 4*k + 612 = 0. Suppose 0 = 5*m - k + 69. Solve l + m = -2*l + 3*w, 5*l - 2*w = -33 for l.
-5
Let y = 4 + -3. Let a be (-10 + 10)/(y + -2 + 0). Let f be 1/4 - (-19)/4. Solve a = -2*i + 5*k + 19, -i - f*k - 37 = 3*i for i.
-3
Let o be (24/(-30))/(2*(-1)/15). Suppose -5*a = -4*c + o, -7*a + 2*c - 10 = -8*a. Solve 5*y - 14 = -a*k + 2*y, 0 = -5*y + 10 for k.
4
Let h be (10/(-20) + 2)/(1/2). Solve -2*b + 2 = 5*f, -8*b + f - 22 = -h*b for b.
-4
Suppose -4 = 3*l + 4*y, 19 = -8*l + 5*l - y. Let n be 31/8 - 1/l. Solve 5*b - 2*i = i + 24, -3*b - n*i = 3 for b.
3
Suppose -4*w + 22 = 2*z, -17 = 3*w - 2*w - 4*z. Solve o - 3*o = 5*s + 6, -w*s - 2*o = 6 for s.
0
Suppose 4*w - 2*w + w = 0. Let m = 1 + -3. Let f = 3 - m. Solve 2*s - 13 = -0*k - 3*k, -2*s + 5*k + f = w for s.
5
Let j(a) = a**2 - 11*a + 4. Let x be j(11). Suppose -4*f = -2*g + 6, -2*g + 0*g + 46 = x*f. Let v = 15 - g. Solve -5*w - 4*p - p = -5, -w + v*p = -4 for w.
2
Let d = -222 + 225. Solve 5*i = -u - 21, -4*u = d*i - 2*i + 8 for i.
-4
Let c be 0 + -3 + 19 + -9. Suppose c*q - 5*q - 66 = 0. Solve -4*b - q = -5*d, -4*b - 25 = b - 3*d for b.
-2
Let l(r) = -3*r**2 - 2*r. Let u be l(0). Solve g - 2*k + 1 = u, -3*k - 3 = -3*g - 9 for g.
-3
Let v = -3 - -15. Suppose c = 2*y - 9, -3*c - v = c. Solve 2*h + 2*i + 8 = 0, 4*h + 2 = y*i - 0 for h.
-2
Suppose 0 = 3*z + 2*t - 11, 3*z + 0*t - 5 = 4*t. Solve 0*w = -z*w + b - 4, 0 = -4*b - 20 for w.
-3
Let b be (21/7)/(3/6). Let r be (3 - b)/(-3) - -8. Solve -z + 2*c = r, 5*z + 17 = c - 1 for z.
-3
Suppose 6 = 2*k + 2*i, -4*k - 7 = -4*i - 35. Suppose -8*p - 27 = -k*p. Let t be 5*1 + (-10 - p). Solve -t*g + 0*j + 22 = 2*j, -j + 17 = 4*g for g.
3
Let d(i) be the second derivative of i**4/12 - i**3/6 - i**2/2 - 3*i. Let u be d(3). Let o be (-38)/(-10) + u/25. Solve -2*w = o*p, 5*p - 14 = w - 0*w for w.
-4
Let l(o) = -13*o - 348. Let s be l(-27). Solve 3 - 4 = -h - r, s = 4*h + 5*r for h.
2
Suppose -10 = -5*c + 2*s, -4*c + s = -s - 10. Suppose 5*j + 0*j = c. Solve j = -i + 2*u + 11, -5*i + 25 = -0*i - 4*u for i.
1
Let w be ((-1)/(-10))/((-2)/(-10))*32. Solve -2 = 3*j + f, j - w = 2*f + f for j.
1
Suppose 18 = 4*i + w, 2*i + w = -3 + 11. Solve 7*v = i*v + 3*b + 15, 5*v = -2*b + 9 for v.
3
Suppose 5*l + 3*d = 1 + 12, -5*l + 5*d + 5 = 0. Solve -5*k + 4 = 5*v + 39, 22 = -4*k - l*v for k.
-4
Suppose 25*v = -17*v + 84. Solve -4*y + 2 = -3*u + 3, 5*y + v*u + 30 = 0 for y.
-4
Let n = -107 + 110. Suppose -5*t + 2*m = -9, 4*t - 15 = 2*t - n*m. Solve t*w - 2*d = w + 4, 4*d = -16 for w.
-2
Suppose 12*f = 13*f - a - 3, 5*f - 33 = -4*a. Solve n - 2*n - 4 = -2*s, n = -f*s + 17 for n.
2
Suppose -4*p = -7 - 9. Solve -d - 4*j + 32 = 3*d, -4*j - p = -5*d for d.
4
Let z(s) = -5*s - 11. Let r(d) = d + 1. Let y(b) = 6*r(b) + z(b). Let t be y(7). Suppose -3*i + i + 10 = 0. Solve i*w = -t*a - a - 20, -3*w + 12 = -3*a for w.
-1
Let k be (-4)/(-14)*(14 + -21). Let b(l) = -3*l - 4. Let a be b(k). Solve -5*o - 2*z = 3*z - 15, 0 = a*o - z + 6 for o.
-1
Let s = 686 - 682. Solve 0 = -r + 2*r + j, 0 = -r + 3*j - s for r.
-1
Suppose 221*n = 213*n + 120. Solve 5*b = -5*a + n, 5*b - 3*a - 17 - 6 = 0 for b.
4
Let f be 7/1 - (-413)/(-59). Solve 5*u = f, 2*v + 10 = -3*v - 5*u for v.
-2
Let t = -1740 - -1745. Solve 4*w = -t*o - 5, -4*o + o + w = 3 for o.
-1
Let q(p) = -p**3 - 7*p**2 - 7*p - 6. Let a be q(-6). Suppose -d + 5 = -a*d + h, -20 = -4*d + 3*h. Solve -5*b - 4*l = -0*l - 17, d*b - 5*l = -10 for b.
1
Let m = -562 - -570. Solve 0 = -4*g - 4*d - 28, m*g - 7*g - 2*d = 8 for g.
-2
Let p be (2 - (-1 - -1))/((-6)/(-9)). Suppose 0 = 2*m - 5 - p. Solve -o = -2, -3*n + 12 = n + m*o for n.
1
Let f be (-1)/((-2)/24*4). Let u be (0 - (-5)/15)*f. Suppose -9 = -4*p - 2*a - 3*a, 0 = 2*p + 4*a. Solve u - p = 2*x + 3*m, -5 = x - m for x.
-4
Let z(t) = 2*t**2 - 16*t + 1. Let r be z(8). Suppose -r = -q + 2. Solve 0 = -3*c - 3, -4*m = q*c + 2*c + 5 for m.
0
Let l be (-12)/(12/(-3)) - (-1 - 0). Let s be (-2)/l*(-4 - 4). Let f = -5 + 5. Solve n - p = -f*n - 2, 3*n = -s*p + 8 for n.
0
Let o(m) = -10*m + 312. Let d be o(31). Solve 5*h - 3 = d*h, -3*p = 3*h + 9 for p.
-4
Let f(m) = 4*m**2 + 8*m + 2. Let y be f(-2). Solve -5*c + 19 = -y*k, -3*k + 2*c = -4*k + 13 for k.
3
Suppose -3*j = 5 - 11. Let p be ((1827/(-3))/(-7))/(-2 + 1). Let k = p - -89. Solve j*a - 6 = x, 0 = -5*a + k*x + x + 17 for a.
1
Suppose -92 = -8*x - 76. Solve -2*f + 9*g - 11*g - 16 = 0, x*f = 2*g for f.
-4
Let u be (-15 - 3)*2/(20/(-15)). Solve q = 5*w - u, w + 7 = 2*w - q for w.
5
Let m(g) = g**3 - 8*g**2 + 11*g + 8. Let c be m(6). Suppose -2*p + 2*b - 7*b + 17 = 0, 22 = 4*p - c*b. Solve -2 = s - y, -3*s = 4*y + 