= -4*f for y.
-1
Suppose -5*q - 15 = 0, 5*n - q - 19 = 4. Suppose i = -n*i + 25. Solve -i*f - 3*y = -2 + 4, -1 = -4*f - 5*y for f.
-1
Suppose -5*z + 4 = -4*z. Suppose 4*m - 4 = -4*s - 8, 5*m = -z*s - 7. Solve 0*g - 4 = -s*g - 4*d, -5*g = 4*d - 10 for g.
2
Let k = 2116 - 2113. Solve -k*z = -3*g + 18, 7*z + 5*g = 6*z for z.
-5
Suppose -10*d + 21*d - 44 = 0. Solve -u = k - 8, -19 = -d*k + u - 2 for k.
5
Let t = 135 - 123. Solve k + 2*s + 3 = 0, -5*k + 2*s = 3*s - t for k.
3
Let z be 0/12 + 0/(-2). Solve 2*o + 4*b + 7 + 5 = 0, z = -4*o - b + 11 for o.
4
Suppose -2*d - 2 = -6. Let i(r) = 2*r**3 + 13*r**2 - 15*r - 51. Let p be i(-7). Solve -m = 5*o + p, -m + 3 = -o + d for m.
0
Suppose 30 = -3*j + 3. Let i(q) = q**2 + 9*q + 16. Let l be i(j). Solve -2*s + 2*c = 8, 0 = 3*s + 5*c + l + 4 for s.
-5
Suppose -5*l = x - 1253, 0 = 5*l + 2*x - 4*x - 1244. Suppose 4*t - l = -t. Let g = t + -26. Solve 5*c + 3*b - 4*b = -g, 0 = -c - b for c.
-4
Suppose -210 - 178 = -97*a. Solve -36 = 4*b + a*h, -35 = 5*b - 0*h + 3*h for b.
-4
Let r be (-444)/(-5) + (-13)/(-65). Let a = r - 86. Solve -5*j = w + 24, 2*j + 28 = a*w - 3*j for w.
1
Suppose 5*v = 4*d - 10, 2*v + 5*d = v + 27. Solve -v*o = 3*g - 13, -4*o - g - 1 = -2 for o.
-1
Let h be (7 - -1)/((-2)/(-1)). Let q = 106 + -42. Suppose 8*s - h*s - q = 0. Solve -5*j + 4*v = s, 4*j + v + v = -18 for j.
-4
Suppose 11 - 2 = -2*a + 3*n, n + 29 = -2*a. Let z = 15 + a. Solve 2*p + 6 = -z*b, 8*p + b = 3*p - 15 for p.
-3
Let m be ((-2)/(-5))/(2/60). Suppose -2*s = 4*t - 23 + 3, -4*t - 28 = -2*s. Let p be s*5*(-5)/(-50). Solve p + 12 = 2*h + 4*l, -l = 3*h - m for h.
3
Let g = -59 - -67. Suppose -12 = -g*a - 4*a. Solve 4*l + 12 = -3*u, -3 - a = u for l.
0
Let b be -15*1/(-3)*1. Let w(x) = 2 - x + 0 + 2 + b. Let n be w(4). Solve -3*s = -4*q - 23, 0*s - n*s + 33 = -4*q for q.
-2
Let n be 4/((-8)/(-10)) - -1. Suppose -16 = -n*u + 2*u. Suppose -5*b - 83 + 98 = 0. Solve u*r - 3*r + 5*q + 17 = 0, -5*r - 1 = -b*q for r.
-2
Let s = 465 + -463. Solve -s*c - 3*z - 12 = c, -5*c = -2*z - 1 for c.
-1
Suppose 6*r + 0*r - 36 = 0. Let y be (-1 + -2)*(-16)/r. Let w = 21 - 11. Solve -4*g + q + y = 0, 0*q + w = 5*g - 2*q for g.
2
Let p = 8 + -3. Suppose -11*t = -16*t + p. Solve 5*z - t - 9 = 3*s, -s - 9 = 4*z for z.
-1
Let s be -2 + 3/((-3)/2). Let u = 7 - s. Let d = 13 - u. Solve d*a = 10, -l - 5*a + 13 = 2*l for l.
-4
Suppose 4*j = 19*d - 16*d - 19, 0 = -3*d + j + 7. Solve -4*c - 5*y = -d, -5*y - 3 = -8 for c.
-1
Let x = 80 + -70. Let a be x/40*16/2. Solve 2*m + 5*v - 18 = 7, v + a = m for m.
5
Let f(u) = -u**2 + 16*u - 11. Let v be f(15). Suppose 3*r = 2*p + 1, 3*p - 7*p + 28 = v*r. Solve -p*a = -2*w - 6, 2 + 7 = -3*w - 4*a for w.
-3
Suppose 0 = -3*j + 3*r + 51, -j - 2*r = -r - 7. Suppose -v + j = 3*v. Solve 16 = 2*b + 3*i, -5*i = v*b + b - 30 for b.
5
Suppose 3*k = -r - 5 - 50, -k - 29 = -5*r. Let i be 2/(-4)*(k - -15). Solve 4*v = q + 9, i = 5*q + 7 for v.
2
Suppose -5*p + 3*a = 6*a - 24, -4*p - a + 15 = 0. Solve 3*c = 3*s - p, 5*c - 4*s + 5*s = -11 for c.
-2
Let l = 521 + -521. Solve -3*d + 22 - 6 = a, l = -d + 2*a + 3 for d.
5
Suppose 0*g = -5*g + 75. Suppose 0*r + 3*r - 39 = -5*x, 5*x = -4*r + 42. Let l = x - 6. Solve -5*m + g = l, 5*u - 5*m + 35 = -0*m for u.
-4
Let u(n) = -n**3 - 16*n**2 - 9*n + 95. Let h be u(-15). Solve 3*t - 3*j + 1 = -8, h*j - 27 = -t for t.
2
Let l be 9/4 - (-20)/(-80). Suppose p + 5*w = 14, -p + l*w = 2*p - 8. Solve 0 = -5*r - 3*d - 26, -r + p = -5*d + d for r.
-4
Suppose -3*i - 1 = -7. Let f(n) = i*n**2 - n**2 + 5 + 4*n + 2*n. Let g be f(-5). Solve 5*x + g - 2 = -y, 4*y + 5*x = 8 for y.
2
Let i(y) = -y**2 - y - 13. Let a be i(-4). Let f be 20 - a/(-3 - 2). Solve -4*l - b + f = 4, -3*b - 15 = 0 for l.
4
Let d(k) = k**2 + 3*k + 5. Let g be d(-2). Let b = 134 - 134. Solve 2*x + 1 = g*m + x, 2*m + x - 9 = b for m.
2
Let x = 44 + -28. Solve -y = 1 + 1, 4*v + 2*y = x for v.
5
Suppose 6*u - 9 = u + 3*q, u = -q - 3. Solve -r = -5, j + j + r - 13 = u for j.
4
Let w(o) = 2*o**2 + o + 1. Let g(h) = -h**2 - 3*h + 3. Let v be g(-3). Let b be v/(-9)*1*-3. Let j be w(b). Solve -5*s - j*d - d - 15 = 0, -4*s - 9 = 3*d for s.
0
Let c(t) = 14*t - 20. Let x(m) = -12*m + 19. Let f(k) = -2*c(k) - 3*x(k). Let z be f(5). Solve -2*p + 22 = 4*n, -4*n = p + 4 - z for p.
3
Suppose 4*w = -5*c + 45, -w + 5*c + 5 = -0*w. Suppose 0 = 5*d - 0 + w, 0 = 2*n + 3*d - 52. Solve 5*j - n = -l, -j + 25 = -l + 6*l for j.
5
Suppose 6*v - 2*i - 138 = 2*v, 3*i = -2*v + 73. Suppose -3*n + 50 = v. Solve n*a + 3 = 3*a + b, 4*b + 8 = 3*a for a.
-4
Let q = 37 + -34. Let c = 25 - 21. Solve -5*k - q*y = 20, -c*k - 2*y = -9*k + 5 for k.
-1
Suppose 12 = s + 8. Suppose 7*i + 2*b = 4*i + 12, 0 = -4*i + s*b + 16. Let w be 0 + (3 - i) + 4. Solve 2*x - w*h - 16 = 0, -5*x = -4*h - 14 - 19 for x.
5
Let s(t) = 8*t**2 - 2*t + 2. Let y be s(1). Suppose y*i - i - 35 = 0. Solve 3*w - 4*g + 15 = 0, 4*w + 3*g = -0*g + i for w.
-1
Suppose 2*p = x + 4*x - 2, 24 = 4*p + 4*x. Let m(q) = -q**3 + 3*q**2 + 4*q + 4. Let d be m(p). Solve 4*v - 2*b = 8, -40 = -5*v - d*b - 4 for v.
4
Let a(y) = 2*y - 7. Let r be a(7). Suppose -41*t + 6 = -40*t. Suppose -10 - t = -8*u. Solve 0 = 3*b - 3*j, r*b - j = u*b for b.
0
Let h(y) = -6*y + 14. Let o be h(2). Solve -40 = 5*z - 3*u, 0 = -5*z + 6*u - o*u - 45 for z.
-5
Let j be (-2)/(2 + -6) - (-7)/2. Suppose -5 = -l - j*l. Solve -l = -3*v + 2*o, -5*v - 5*o = -o - 9 for v.
1
Let a = 129 + -124. Solve 4*v - 3*v - 7 = 3*c, 4*v - a*c - 21 = 0 for v.
4
Let g = -28 + 24. Let r be (-2)/g + 25/10. Let v = r + -1. Solve 10 = -5*p - 5*u, 0 = -v*p - 5*u + 1 - 5 for p.
-2
Let f be 16/(-6)*(-9)/6. Let k be 6 + 0/10 - 2. Solve -4*h + f = -k*z + 8*z, 2*h + 1 = -3*z for z.
-3
Suppose -3*c - 3*a + 2*a = 480, 0 = c - a + 160. Let m be ((-3)/2)/(60/c). Solve -5 = -m*f - 10*o + 5*o, 3*f + 40 = 5*o for f.
-5
Suppose -2*f - 20 + 26 = 0. Suppose 0*c + 20 = 5*c. Suppose r = j + c, -4*r + 21 = -f*j - 0. Solve r*h + 35 = -3*g + 4*h, 2*h = -g - 13 for g.
-5
Let u(c) = -29*c - 29. Let n be u(-1). Solve -5*l - 3*s + 2*s + 28 = n, l - 5*s = -10 for l.
5
Let j be -24*(-7)/77 + 2/(-11). Solve 3*w - w = 2*x + 16, -3*x = j*w + 4 for w.
4
Let n = -31 - -29. Let f be 2*(21/n)/1. Let k = f + 21. Solve 0 = -3*w + d - 20, -2*w - 20 = -2*d - k*d for w.
-5
Let j(v) = v - 2. Let r be j(5). Let f(i) = -i**3 - 3*i**2 + 5. Let w be f(-3). Solve r*n + 3*y = -21, -4 = w*y + 11 for n.
-4
Suppose 0 = g + 5*d - 0*d - 29, -5 = -d. Solve g*r = -3*w - 3 - 5, -4*w = -2*r + 18 for r.
1
Suppose -u = u + 26. Let y = -9 - u. Solve c = -f - 6, -3*f = -6*f + y*c + 3 for f.
-3
Let b be ((-3)/5)/(9*14/(-630)). Solve -3*y = -8*y - 5*g - 5, -b*g = 6 for y.
1
Let i(o) = 2*o**3 + 16*o**2 - 20*o - 18. Let q be i(-9). Solve 5*j - j + 5 = 3*l, -j - 5*l + 16 = q for j.
1
Let q = -483 + 488. Solve 4*w = 2*a - 1 + 3, -q*a + 34 = 3*w for a.
5
Let i be (-10)/5 - -18*2/4. Solve 3*p - 3*z + 11 = i*p, -2*p - 5*z - 5 = 0 for p.
5
Let y = 3 + 0. Let b = -465 + 468. Solve 24 = -3*m + b*q, -7*m = -y*m + 4*q - 8 for m.
-3
Suppose 18*m = 1 + 35. Solve -i + 21 = 5*j, -m*i - i + 3*j = 9 for i.
1
Let n(r) = 2*r**2 - 59*r - 88. Let a be n(31). Solve 2*i - 4*i - 2*j = 2, -4*i = -a*j - 23 for i.
2
Let g(l) = 2*l**3 - 4*l**2 - l + 6. Let n be g(2). Solve 4*r - 5 = 3, 0 = 2*p - n*r + 4 for p.
2
Suppose -2*f - f = -21. Let r be 2/(-3)*(30 - 3). Let g = r - -23. Solve -2*o = -f*o - 5*q - g, -4*q - 9 = 5*o for o.
-5
Let f(i) = 12*i - 370. Let v be f(31). Solve m - 3*t = -v*m - 6, -3*m + t - 2 = 0 for m.
0
Let h be (-7)/(-5) - 1 - 2016/(-560). Let b(i) = -i**3 + 3*i**2 - 2. Let w be b(2). Solve 4 = -h*y + s, -w*y + 2*s = -2*s + 16 for y.
0
Suppose 0 = -7*b + 56 - 0. Let u be 262/b - (-60)/(-80). Solve 3*g - 35 = 4*n, -n - u = -3*g - 12 for g.
5
Suppose -5*b - 4*i - 11 + 326 = 0, -i + 252 = 4*b. Suppose b = 5*z + 48. Solve a = z*o + 10, 3*o = -o + 4*a - 16 for o.
-3
Let a = 142 - 142. Solve 5*t - 5*k + k - 31 = a, 0 = 5*t - k - 19 for t.
3
Let b be 26/8 + -4 - (-22)/8. Suppose -3*o + 2*s + 40 = s, b*s - 32 = -2*o. Solve -4*q = 4*x - 9*x + 2, -2*x - 5*q + o = 0 for x.
2
Let t(i) = i**3 + i**2 - 3*i - 3. Let c be t(2). Let f be (-3)/(-3) - (2 - -1)/c. Solve 3*n - 15 = 0, -17 + f = -4*d - 5*n for d.
-2
Let f(a) = -6*a**2 - 35*a - 8 + 12*a**2 + 5*a