 5*y + 25, y = c*o + 4*y + 15 for o.
0
Suppose 0 = 4*o - 4*c - 8, -4*o + 2*o - 4*c = 8. Solve o = 4*l - 20, 3*w = 6*l - 4*l + 5 for w.
5
Suppose -v - 3*v - 15 = -3*i, -i + 5 = -5*v. Let q = 0 - 0. Solve q = i*j, p + 4 = -2*j + 1 for p.
-3
Let v be -1 + 11/3 + (-8)/(-6). Solve v*k + 7*i - 2*i = 36, 4*i - 28 = -3*k for k.
4
Suppose 3*r = -4*d + 22, 2*r + 4*d - 12 = 4*r. Suppose -r*o + 2 = 2*a, 4*a + 3*o - 6 = -0*o. Solve 4*x = -3*p - 29, -a*x + 8*x = 4*p - 13 for p.
-3
Let f be -1 + (-2)/(-2) + 3. Suppose -5*v - 12 - 8 = -5*y, 0 = -4*v + 20. Suppose -195 = -y*t - 4*t. Solve 0 = -f*m + t, -p = -6*p - m for p.
-1
Suppose 4*s + 2 - 18 = 0. Suppose s*r + 10 = 22. Solve 0*u = -r*i - 2*u - 20, -3*u = 4*i + 28 for i.
-4
Suppose -33 = -4*h - 21. Solve -h*c + 5 = -5*a, -3*c - 6*a + 2*a + 23 = 0 for c.
5
Suppose -3*x + 2*f + 9 = 0, 4*f + 5 = 2*x - 1. Solve -2*b + 8 = 2*l, -2*b + 12 = x*l - b for l.
4
Let m be ((-11)/(-2))/((-2)/8). Let r = -752 - -794. Let k = r + m. Solve k = 4*f + 2*i, f + i + 1 = 8 for f.
3
Let f = 1 - 0. Suppose f = -4*j + 9. Suppose s + j*h - 8 = -0, -h + 5 = s. Solve -5*a - s*r - 37 = -5*r, 2*r = 5*a + 33 for a.
-5
Suppose -i + 72 = i. Let o be ((-14)/8)/((-3)/i). Solve 2*t = -5*z - 0*t + o, -3*t - 1 = z for z.
5
Suppose -10 = -z - 4*z. Let d = 4 + -4. Suppose q - 2*q + 11 = d. Solve 6*i - 2*i = -3*t + q, z*t - 3*i = 13 for t.
5
Suppose 464 = 47*a + 135. Solve 4*p - 25 = 3*k, -5*k - 28 = -5*p + a for p.
4
Let z be (-2 - 6/(-4))/(6/(-24)). Suppose -z*q = -q - 7. Suppose 2*v - 3 = 5. Solve -c = -v*m - 2*c + q, c = -3*m + 5 for m.
2
Let y(o) = 5*o**2 + o + 2. Let k be y(-2). Let h be ((-12)/(-15))/((-4)/(-10)). Let r be 0 - -1 - (-2)/h. Solve w + k = 2*d + r*d, -4*d = w - 12 for w.
-4
Let q = 375 + -374. Solve 0*o + q = o - p, 0 = -o + 3*p + 9 for o.
-3
Suppose -o - 3*k = -8*k - 77, 0 = o + 5*k - 27. Suppose -4*r = 16, y - 2*r - o = 3*r. Let i be (0 + 2)/(2/3). Solve -15 = i*w, -4*t + y = -w - 3*w for t.
3
Let s = -46 + 78. Let u = -29 + s. Solve -2*m - 6 = -y - y, u*m + 4*y - 19 = 0 for m.
1
Suppose f + 10*f - 33 = 0. Solve -4*j + 0*h - 2 = f*h, 5*j + 4*h + 3 = 0 for j.
1
Suppose -4 = -2*z, -5*s - 2*z - 3*z = 210. Let x = s + 47. Solve 5*v + 0*v + d = -22, 2*v = -x*d - 14 for v.
-4
Let g be (-1 + 56/40)*10. Solve f - 25 = -5*p, g*f = -4*p + 3 + 17 for f.
0
Let a be (-188)/(-3) + 34/102. Let y be (3/a*18)/((-2)/(-14)). Solve -y*g + g - 24 = -4*v, 5*g - 2*v = -22 for g.
-4
Let o(c) = 3*c - 5. Let r be o(6). Suppose 5*g - 112 - r = 4*k, 5*g - 125 = 5*k. Solve 2*i = -t + 5, 4*i = -t + 2*t + g for t.
-5
Suppose -10*o + 62 = -11*o. Let h = o + 87. Solve -5*b - 5*r = h, 5*r + 30 = 2*b + 5 for b.
0
Suppose 0 = 5*p - 2*b - 18, -4*p - 15*b = -12*b - 19. Solve p*t + 11 = 5*f, 2*f - 3*f - 13 = 3*t for t.
-4
Suppose -7*z = -4*s - 2*z - 4, -3*s + 5*z = 8. Suppose s - 20 = -4*r. Solve -4*u = -2*w - 10, 3*u - r*w - 14 = 1 for u.
1
Suppose -h + 5*h + 30 = 2*v, 0 = v + 5*h + 20. Solve 2*k + 5*c + v = -4, 5*k = -5*c for k.
3
Suppose -9*l + 172 = -4*l - 4*g, l + 3*g - 42 = 0. Let t(y) = y**2 - 3*y + 4. Suppose s - 6 + 3 = 0. Let u be t(s). Solve l = u*m + 2*c + 6, 0 = 2*c - 10 for m.
5
Suppose 7*h - 3*h + 840 = 0. Let a be (-1)/5 + h/(-50). Let y be (-24)/32 + 31/a. Solve n + y = -0*k + k, -n - 5*k = -23 for n.
-2
Let v = 25 + -24. Let l = 4 - v. Solve -4*b + 7*t + l = 2*t, 5*b + 4*t - 14 = 0 for b.
2
Let p(k) = k**2 + 7*k + 12. Let s be p(-3). Solve r - d = -1, -2*r + 3*d = -s*d for r.
-3
Let i be 128/24 + 2/(-6). Suppose 5*y - 2*v - 9 = -5*v, 5*y + 5*v = i. Solve -5*d = y*b + 12, -d - 3 - 17 = 5*b for b.
-4
Let i be -4 + (-4 - (-12 - 0)). Suppose -72*w + 67*w + 20 = 0. Solve 5*v - 25 = i*b, 19 = -w*b - 0*v - v for b.
-5
Let b(s) = -s**2 + 21*s - 37. Let j be b(19). Solve -3*o = 4*q + j + 16, -o - q = 4 for o.
1
Suppose -16 = -3*b + s, 0 = -0*b + b + 4*s + 12. Let y be b/((-2)/(-3)*15/5). Solve c + 0*c + 5*l - 29 = 0, -2*c + y*l = 2 for c.
4
Let v(p) = p**2 + p - 3. Let k be v(-3). Suppose -5*r = -14 + 4. Suppose -k = b - r*b. Solve b*u + 4*j + 11 = 0, -2*u - j = -6*u - 21 for u.
-5
Suppose w - 2 = -3*b + 17, 0 = -5*w + 4*b. Solve 0 = 2*p + 3*v + 8, 0 = -w*p + v - 6 - 10 for p.
-4
Let y = 196 - 187. Solve -3*n + 3*x - y = -0, 4*x = 5*n + 15 for n.
-3
Let a be 126/15 + (8/(-5))/4. Suppose 10 = a*t - 14. Solve i = t*y + 2, 3*y - 5*i + 12 = -10 for y.
1
Suppose 0 = j - 11 + 9. Suppose r + 22 = 4*o + 2*r, 0 = -o - 2*r + 2. Let f be o - (-3 - 6/(-2)). Solve 0 = -5*h + 2*a - 6, -7*h - j*a = -2*h - f for h.
0
Let n = -11 - -16. Let k be n/4 - -2 - (-1)/(-4). Solve 5 = k*d + 3*y + 2*y, 17 = -5*d - 2*y for d.
-5
Let d = 528 - 516. Solve -20 = -2*c - 5*t, -c - d = -0*c - 3*t for c.
0
Let g be 104/5 - 8/(-40). Suppose 18*t = g*t + 57. Let v = t - -24. Solve -4*p = -u + 16, v*p + u = -36 + 7 for p.
-5
Suppose 0 = 4*j - j - 6. Let w = -3092 + 3101. Let n be 1 - (-3)/((-1)/(-1)). Solve -j*g = 2*l + l + w, 0 = -4*l - n for g.
-3
Suppose 3*s - 7*s - 18 = -2*w, 5*s = 2*w - 21. Solve -4*p = w*u - 1, -4*u + 2*p + 0*p = 28 for u.
-5
Let r(a) = a**3 - 8*a**2 + 16*a - 14. Let k be r(6). Solve -k = 4*f + o + o, -3*f - o - 8 = 0 for f.
-3
Suppose -3*g = g - 20. Solve g*x = 5*t - 25, 2*t = -t - x + 11 for t.
4
Suppose 116 = 5*f - 4*h, 2*f - 36 = -0*h - h. Suppose t - 8*l = -4*l + 13, 5*l + 10 = 0. Solve 0 = 2*k - n - 7, -t*k = 4*n - f - 4 for k.
4
Let x = -1362 + 1370. Solve b + 0*n - 4*n + x = 0, 5*b - 4*n + 24 = 0 for b.
-4
Let z(c) = c**3 + 5*c**2 + 3*c - 7. Let n be z(2). Solve h = -5*t - 23, -h = 5*t - 2*h + n for t.
-5
Suppose 0*k - 2*k + 4 = 0. Solve 3*o = -k*l + l - 5, 0 = l - 1 for o.
-2
Suppose -8 = -4*f - 396*o + 397*o, 2*o = 2*f - 4. Let p be 10/8*-1*-4. Solve f*k - 2 = p*i - 4, -2*k + 10 = i for i.
2
Let z(x) = x**3 - 7*x**2 + 5*x + 16. Let b be z(6). Let u be (-2 + b/4)*12/3. Solve 0 = -c - 3*c + 2*g - 6, 0 = -u*c + 5*g - 15 for c.
0
Let x be (-5)/7 + 10/(-35). Let i(s) = 5*s**2 + 3*s + 2. Let b be i(x). Suppose -b*w - 4 = -6*w. Solve -4*u = w*h + 12 + 12, -4*h + 5*u = -17 for h.
-2
Let u be ((-2)/2)/(2/(-36)). Suppose 4*m - 2 - u = 0. Suppose -4*l = m*a + 2 - 18, -5*l + 20 = -4*a. Solve -3*v + 5*i + 6 = -a, 2*i = -5*v - 21 for v.
-3
Let a(t) = 0*t - 3*t + 2*t. Let j be a(-3). Suppose -304 = 9*c - 331. Solve r = j*g - 7, -3*g + 3*r + c = -6 for g.
2
Let j(s) = s**2 + 23*s + 18. Let q be j(-20). Let t be 8/(-28) + (-138)/q. Solve 2*h + 4*g = 16, -5*h + t*g = -3 + 15 for h.
0
Let u(n) = n**2 - 2*n. Let i be u(3). Solve -i + 23 = -5*g + 5*l, g + 4 = -l for g.
-4
Let s = -1585 + 1589. Solve -l + s*x - 10 = -x, x - 2 = -3*l for l.
0
Let y(a) = -a**2 + 6*a - 8. Let x be y(6). Let u = 298 + -309. Let p = x - u. Solve 3*w - 4*k + 14 = w, p*k = 6 for w.
-3
Suppose 0 = -3*c - 2*k + k + 93, -4*k + 116 = 4*c. Suppose -4*x - 8 = -c. Let b be x + (-2 - 0) + 0. Solve i - 3*o = -8*o + 25, -b*i - 5*o = -40 for i.
5
Let w be ((-1)/(-2) - 3)*16/(-10). Solve 3*s = m, w*m = 5*s + 8*m for s.
0
Let r = -8 - -12. Suppose -7*u + 2*u - o + 12 = 0, 0 = -5*u - 5*o. Solve u*z + 5*h + 9 = 0, -4*z = -5*h - 27 + r for z.
2
Suppose -89 = 70*u - 509. Let l = 8 + -4. Suppose -24 = -4*b - b - k, b + l*k = 1. Solve 2*c = w + 5, -5*w - 4*c = b + u for w.
-3
Suppose -6 - 42 = 4*p. Let f = p + 24. Let v = f - 11. Solve -4*q + v + 3 = 0, -1 = 3*g + 2*q for g.
-1
Let d = 527 - 524. Suppose -4*f - 2*o + 16 = 0, 3*f - 16 = -4*o + 1. Suppose -f*m + 12 + 3 = 0. Solve 3*s = -m*r + 6, 4*s - 4*r + d*r = 8 for s.
2
Let v = -271 + 271. Solve -3*g + v*q = -2*q, -g = -2*q for g.
0
Let w be 172/60 + -3 + (-94)/(-30). Suppose -4*y + 24 = 3*u, u - 3 + 8 = w*y. Solve 0 = u*j - q + 12, 16 = 7*q - 3*q for j.
-2
Suppose 7*i - 12*i + 18 = 2*g, -6 = -3*i. Let y = 32 + -23. Suppose 16 + y = 5*b. Solve h - 2 = -3*s, b*s - g*h = 2*s + 22 for s.
2
Let q = -173 - -182. Solve 5*a = 2*o - q, -2*o + 0*a - 3*a = 15 for o.
-3
Let l(s) = -3*s - 22. Let p(b) = b - 1. Let n(j) = -l(j) - 4*p(j). Let c be n(6). Solve -1 - 14 = 4*a - i, 0 = a - 5*i - c for a.
-5
Let u(w) = w**3 + 6*w**2 - 9*w + 6. Let o be u(-7). Let y = 28 - o. Let h = 8 - y. Solve -3*j + 6 = h, 0*m + 14 = -4*m - 3*j for m.
-5
Suppose -w = 3*x - 11 - 12, 4*x = -3*w + 29. Suppose -3*q + x*q = -60. Let p = 0 - q. Solve -4*j + 12 = 2*s, 3*s - 4*s - 4*j = -p for s.
0
Let 