0 = -5*j - 0 + 35. Suppose -n = j*n. Solve -4*f = -3*y, 4*y - 25 = -3*f - n*f for y.
4
Let w(g) = -g**2 + 6*g - 6. Let t be w(3). Let y be t/18 + ((-1780)/(-24))/5. Suppose -5*r = -5 - 5. Solve 0 = r*p + 2*d - 2, -d = p - 4*p + y for p.
4
Let m = 31 - 22. Let p = 12 - m. Solve -5*i + 6 = -v - 1, 0 = -3*i + p*v + 9 for i.
1
Let u(i) = 6*i**2 + 5*i. Let j = 74 + -75. Let p be u(j). Suppose -t + 1 = -3. Solve 3*x - t = 4*g, 2*x = -x - g - p for x.
0
Let w(u) = -3*u - 2. Let x be (-10)/6 + ((-4)/(-3))/(-4). Let q be w(x). Solve 5 = 5*v + 4*c, 0*c + 4 = q*v + 4*c for v.
1
Let v be 18/2 - (6 + 1). Solve -v*t = 2*f - 8, -f - 5*t + 20 = 3*f for f.
0
Suppose 3*x = 25*x - 440. Solve 24 = 3*j + 10*v - 13*v, -2*j + 3*v + x = 0 for j.
4
Let f be ((-102)/(-14) - 7)/(2/14). Solve 4*b - 8 = 2*q, -12 = -f*b + 3*b - 4*q for b.
4
Let x(y) = -10*y - 2. Let n be x(1). Let q be -1 - (3/(-1) - n). Let p be (0 - -1)/((-2)/q). Solve -5*r + 3*m = -1, -r - 3 = -p*m + 10 for r.
2
Suppose 7*u = 19 + 2. Suppose -u*a - 20 = -8*a. Solve -a*f + f = 2*h - 6, -4*f = -5*h + 15 for h.
3
Suppose 4*h - 80 = 2*q - 6, -4*h + 71 = -q. Solve -k = -a, 4*a = -2*k + 5 - h for k.
-2
Suppose -3*o + 1 + 8 = 0. Let p be ((-2)/(-3))/((-15)/90). Let q(g) = -3*g + 5. Let w be q(p). Solve -2*s - 16 = 4*b, -3*b + o = 2*s + w for s.
-4
Let p(m) = 9*m - 11. Let l be p(-7). Let n = 58 - l. Suppose 4*t - h - n = 0, 5*t - 5*h - 138 - 42 = 0. Solve -10 - 11 = -i + 4*g, 3*g + t = 4*i for i.
5
Let b(n) = n - 1. Suppose -11*p - 36 = -17*p. Let z be b(p). Solve 5*m - 2*l = 0, -3*m - 4 = -z*l + 15 for m.
2
Let l be 2/(-14) - (-4030)/182. Solve -2*i + i = 4*c - 23, -i - l = -5*c for i.
3
Suppose -2*m - 3*l - 9 = 2*l, m - 12 = 3*l. Suppose 0 = m*k - 75 + 60. Solve -2*o + 4*q = -14, -7 = -k*o + q + 2*q for o.
-1
Suppose 47 = 3*w - 22. Let u = 44 - w. Let p = u - 18. Solve 2*o - 5*y = -4 + 18, p*y + 9 = o for o.
-3
Let u be 33 + -37 + (28 - 1). Solve 3*n - u = -0*z + 5*z, 16 = 4*n - 3*z for n.
1
Suppose -3*p = -2*p. Suppose 8 - 3 = k. Suppose 27 = k*d + u - 0*u, p = -d - u + 3. Solve 4*r + 5*f = -6, -5*r - d*f - 12 = -2*f for r.
-4
Suppose 0 = -2*f + f + 11. Suppose 0 = -w + 4*a - 16, -f - 14 = -5*a. Let c be 8/(-6)*(-30)/w. Solve u = -2*u + 4*b + c, -2*b = 3*u + 14 for u.
-2
Suppose -3*a - 2 = -11. Let h = 6016 + -6011. Solve 0 = 4*x - h*k + 1, 8*k + 11 = x + a*k for x.
-4
Suppose 0 = -5*c - y + 33 + 29, -2*c + 3*y + 18 = 0. Solve -5*z + i = c, 0*z - 4*i + 18 = -5*z for z.
-2
Suppose -13*p + 52 = 13. Solve -p*o - 16 = -2*w, -4*o + 5*w + 18 - 51 = 0 for o.
-2
Let k be (30/7)/(117/546). Solve -13*o + 5*q = -12*o - k, -4*o = -q + 15 for o.
-5
Let l = -1709 + 1744. Solve -5*z = 2*a + l, -z + 4*a = 2*z - 5 for z.
-5
Suppose 4*u = -2*r + 168, 6*r = 5*u + r - 180. Suppose -2*b = -4*t - u, 101 = 4*b + 5*t + 34. Solve 3*j = -j + f + b, -j + 10 = -3*f for j.
4
Let g be (0 - 2) + 2 + 4 + 0. Solve x = 2*z - 0*x - 9, g*x = z - 15 for z.
3
Let q(k) = 32*k - 348. Let r be q(11). Let m = 3 + 0. Let w(o) = o**2 + o - 4. Let p be w(m). Solve -4*c = 4*n + 24, r*n = -3*c + p*c - 6 for n.
-4
Let m = 844 - 844. Solve m = -5*o + 4*b + 30, 4*o - 3*b - 18 = 5 for o.
2
Suppose 14 = -5*z - 4*h, 5*z + 3*h + 9 + 9 = 0. Let q = z + 10. Suppose w + 5*s = 2, q*w + 4*s - 8 = 16. Solve -f - 4*y - 16 = -5*f, 2*f - y - w = 0 for f.
3
Let c be (-1)/4 - (-2)/8. Let f(b) = -b**2 - 4 - 3 + 15 + b**3 - 4. Let g be f(c). Solve y - g*s + 0*s = 17, -y = 3*s + 4 for y.
5
Let b(j) = j**2 - 6*j + 8. Let r be b(4). Solve r*h + 5 = h + 2*k, -h - k + 4 = 0 for h.
3
Suppose 22 = 4*l + 10. Let o be ((-1)/(-1))/(2/44). Solve -j - l*j - 2*k - 20 = 0, -4*j - o = 3*k for j.
-4
Let d(g) = 5*g**2 + 25*g + 20. Let i be d(-4). Solve 6 = 2*o, -2*y + 3 = -i*y - o for y.
3
Let b(x) = x**3 - 5*x**2 + 4*x - 2. Let m be b(4). Let z be 3 - 7 - (m - 5). Solve -2*i = 2*i + 4*r - 4, -1 = 2*i + z*r for i.
4
Let m(k) = k**2 - k - 3. Let l be m(3). Suppose h + 12 = -44. Let d = -41 - h. Solve -3*r - 4*v - d = 2, -4*r - l*v - 18 = 0 for r.
-3
Let l(f) = f**2 + 45*f + 237. Let k be l(-6). Solve -o + k*y - 5 = 4*y, 3*y = o - 15 for o.
0
Let m be (1/(-3))/(8/(-120)). Let i = -58 + 61. Solve -i*z - 4 + 39 = 4*s, -s - m = -2*z for z.
5
Suppose 3 = 28*k - 29*k, 0 = -2*f - k + 1. Solve -f*n - 2*m + 3*m - 11 = 0, 0 = -m + 3 for n.
-4
Let v be 1*-4 - (3 + -5). Let q be v/(-3) + 24/18. Suppose 0 = -2*i - 3*c + 50, 5*i + 15 - 130 = -5*c. Solve -2*d - 11 = 3*o + 1, -5*d = q*o + i for o.
-2
Suppose -5*u - 5*r + 10 = 0, -2*u + 5*r - 2 + 6 = 0. Let q be (-20)/(-70) + (0 - (-4)/(-14)). Solve q*a = -u*a + 4*j - 6, -8 = -2*j for a.
5
Suppose v - 3 + 0 = a, a - 4*v + 12 = 0. Suppose a = -r + 52 - 38. Solve 3*n + 13 = u, -4*u + 2*u - r = 2*n for u.
-2
Let k = 268 + -263. Solve b + 0*j = k*j, -4*j = -2*b + 6 for b.
5
Let a = 29 - 13. Suppose a = 2*j - 28. Let z = j + -12. Solve -2*q + 7*q = -z, w - q - 4 = 0 for w.
2
Let m be 21/14*(2 - 0). Suppose m*l = 4*l. Suppose -8*a + 3*a = l. Solve 3*g + 5*i - 25 = -a*g, g = -2*i + 10 for g.
0
Let x = -4 + 10. Suppose 24 = x*b + 6. Solve l = b*f - 12, 0 = -f - f - 4*l + 8 for f.
4
Suppose -x + 0*x = -o - 23, 65 = -4*o - 5*x. Let c be (o/15)/((-4)/12). Solve c*a - 9 = -5*b - 2, -5*b = 5*a - 10 for a.
3
Suppose 4*m = 16*o - 12*o - 16, -5*m = o + 2. Let k be (-3 + 4)*(4 - (3 + m)). Solve 2*t + k = p, -4 + 0 = 4*t + 3*p for t.
-1
Suppose 3*j = -2*i + 9, -6 = -2*j + 5*i - 4*i. Suppose -j*p = -3*d - 36, 2*p - 5*p + 31 = -2*d. Solve -5*h - m = p, -h + 23 = -5*h + 5*m for h.
-2
Let z be -1*(507/(-273) - 1/7). Solve -5*p + 29 = 2*t, p - 19 = -2*t - z*p for t.
2
Suppose 944 = -j + 948. Let v(n) = -n - 5. Let y be v(-8). Solve 4 = -b - y*p, -16 = -0*b + j*b + p for b.
-4
Let b = -2829 - -2832. Solve b*a - 2*y - y + 9 = 0, 15 = -2*a + 5*y for a.
0
Let a(l) = 3*l - 3. Let f be a(-5). Let n be (-12)/f*-39*1. Let z = -5 - n. Solve 3 = -o, -2*o + 0*o = -5*h + z for h.
3
Let l = 535 - 533. Solve -7 = -5*u + 3*f, 7 = l*u - 3*f + 6*f for u.
2
Suppose 5*z = -5 + 20. Suppose 3*f + 13 = -4*w, -5*w - z = -4*f - 10. Let r be w/(-2) + (-10)/(-4). Solve 4*u = 5*x + 27, -x - x = r*u - 3 for x.
-3
Let q be (-48)/(-4)*144/108. Solve -5*u - 11 = -2*n, -27 = -5*n - 4*u - q for n.
3
Let a be 2 + (-1)/((-1)/3). Let p(n) = 5*n**2 + 45*n + 3. Let w be p(-9). Solve g - a = -g + 3*m, -w*m = -5*g - 10 for g.
-5
Let c be (3/(-5))/((-4)/20). Suppose -x = -k + 4*k - 4, 5*k = -3*x. Let w be (-1)/k - 368/(-24). Solve w = -3*g - t, -g + 11 = -c*g - t for g.
-4
Let s = 5 - 7. Let p be (63/6)/(-7)*s. Suppose -u + 11 = -2*b + 4*b, 1 = p*u - 2*b. Solve -6*r + 15 = -u*r, r = 5*j + 15 for j.
-2
Let n be (50/20)/((-2)/(-4)). Suppose 4 - 29 = -n*c. Let z be (1 - c)/(-4 - -2). Solve -2*t = z*v, 0*v = -4*v - 3*t for v.
0
Let d(x) = x + 2. Let z be d(0). Suppose 0 = 5*w + 20, 0*w = -p + w + 32. Solve -z*k - p = 4*g, 2*k + g = -3 - 10 for k.
-4
Suppose -y + 2*h = 3*y + 60, y = -2*h - 5. Let q = -9 - y. Let r = -274 - -278. Solve -40 = -q*l - 4*o, -r*o + 7*o = -2*l + 25 for l.
5
Suppose 5*n - 28 = u + u, -2*u = -2. Let c(w) = 2*w - 12. Let f be c(9). Suppose -f = -5*q + 54. Solve -q = -4*p + o, -2*p + 5*o = o - n for p.
3
Suppose -48*v = -54*v + 24. Solve 2*n + f - 4*f - 12 = 0, -2*f - 8 = -v*n for n.
0
Let b = 3 + -2. Let q(p) = -5*p**3 - 2*p**2 + p + 2. Let j be q(-1). Solve j*g + n - 4 = -b, 4*g = n + 5 for g.
1
Let d(q) be the first derivative of -1/3*q**3 - 5/2*q**2 - 11 + 4*q. Let y be d(-5). Solve -5*b = -6*b - y*a, 2*b = 5*a for b.
0
Suppose -13*x - 12 = -17*x. Solve c - 3*c + x*j - 8 = 0, -2*c - 5*j = -8 for c.
-1
Let t = -1673 - -1677. Solve t*r = -11 - 9, -5*m + 3*r + 25 = 0 for m.
2
Suppose -9*a = -15 - 66. Suppose 2*s + 12 = 6*s. Suppose -s*j = -2*j - 17. Solve r + 2*r + 2*n = a, 4*n = -5*r + j for r.
1
Let n be -140 + 147 + 1 + -2 + 4. Solve 4*q - 5*y = -3*y - n, -2*q - 3*y = 17 for q.
-4
Suppose 54 = 8*j - 50. Suppose 3*d = -5*a - d + 30, 0 = a - 3*d + j. Suppose 2*n = 1 + 3. Solve 5*p + a*y - 6 = -n, p - 3*y = -6 for p.
0
Let o be ((-184)/40 + 4)/((-1)/(-5)). Let l be 7/(14/o) + (-22)/(-4). Solve -4*f = -0*f + 3*v - 27, -l*v = -f - 17 for f.
3
Let o = 13 - 7. Let w = o - 12. Let i be 1/6 + (-29)/w. Solve 1 = -y, -2*y + 16 = -i*n + 2*y for n.
-4
Let s(d) = 3*d**2 + 3*d - 2. Let y be s(-2). Solve -4*t