4*q - 7, u - q = -y for u.
-5
Let v = -10 + 10. Let g = -7 + 7. Suppose g = -w - v*w. Solve -5*m - 3*b - 12 = 0, 0 = -3*m - w*b - 2*b - 7 for m.
-3
Let p = -96 + 112. Solve 4*c - o + 11 = 2, c - 3*o = -p for c.
-1
Suppose -5*z - 27 = 3*m - 2*z, 11 = m + 5*z. Let d be (-2)/6 + m/(-6). Solve 5*o = -d*q - 3, 2*q = q + 1 for o.
-1
Let w = 141 - 136. Solve -3*c + 5 = -2*c + 2*u, -c + w*u - 30 = 0 for c.
-5
Suppose -4*z + 7 = 3*w + 11, -2 = -2*w + 2*z. Let l be w*(1/(-2))/((-1)/(-1)). Solve c = 5*d - l*d + 16, -5*c - 28 = 2*d for c.
-4
Let x(d) = 1 - 3*d - 3*d**2 + 0*d + 2 + 2*d**2. Let c be x(-3). Let l be c/((-3)/6*-3). Solve -l*v + 45 = 2*v - 5*k, 5*k + 50 = 5*v for v.
5
Suppose -2*j = -j + 2. Let v be (-4 - -5)*(j + 19). Solve s + v = 6*s - 3*b, 5*s + b - 1 = 0 for s.
1
Let v = -44 + 17. Let f be 6/v + (-112)/(-18). Suppose 0 = -f*q + 5*q + 2. Solve -8 = 3*o + q*n, -5*o - 7 = 3*n + 5 for o.
0
Suppose 4*o - 4*p = 28, o - 23 = 4*p - 4. Solve 24 = 4*y - 4*c, 18 = y - c - o*c for y.
2
Suppose -5*m - 17 = 13. Let t be (-4)/m*30/20. Let q = 2 - t. Solve 4*x - 12 = w, -q - 1 = 5*x + 3*w for x.
2
Let i(z) = z**2 - 5*z. Let m be i(7). Suppose -m - 2 = -2*r. Solve 26 - r = 2*g - 4*h, 0 = -5*g + 4*h + 21 for g.
1
Let a = -948 + 950. Solve 1 = -r, -a*d = -4*d + 5*r - 5 for d.
-5
Suppose -5*z = -5*q - 15, 5*q + 29*z + 5 = 32*z. Solve 10 = 3*l - 4*v, 4*v = l - 4*l + q for l.
2
Let b be (12/14)/((-3)/(-14)). Let c be b/2 + (0 - 8). Let q be c/(-10) + (-7)/(-5). Solve -4 + 8 = -m, a + 7 = -q*m for a.
1
Let g be 60/24 - 18/4 - -4. Solve 4*j - g*z - 18 = 0, j - 3 = -j - 5*z for j.
4
Let r be 15/(-4)*(-156)/117 - 0. Solve 2*i - r*q + 26 + 7 = 0, -2*i = -4*q + 28 for i.
-4
Let k be (-2)/1 + 4 + 0. Let p = k - -3. Let o be ((-450)/80)/(-15) - (-135)/24. Solve o*j - 4*j - 5*a - 6 = 0, 4*j + p*a + 18 = 0 for j.
-2
Suppose 0 = 7*t - 80 + 31. Solve 3*g - g = 10, 4*b - g - t = 0 for b.
3
Let k = -413 + 419. Solve 0 = 3*x - 0*x + 2*j + 17, -2*x + 4*j = k for x.
-5
Suppose -2*b + 12 = 4*i - 3*i, 3*b = i + 3. Solve 2*m = -5*l - 5, 0 = -5*m + i*l - l + 40 for m.
5
Let d(f) be the first derivative of 3*f**2 - 1/3*f**3 - 1 + 6*f. Let c be d(5). Solve -2*n + 2*b = c + 3, -2*b = 3*n - 4 for n.
-2
Let n(z) = 4*z + 5. Let c be n(5). Let p be 360/(-75)*(2 + 3). Let y be ((-1)/(-4))/((-2)/p). Solve -5*g + 5*i = c, -17 = 5*g - 0*i + y*i for g.
-4
Let p(i) = 2*i - 11. Let h be p(7). Suppose -h*y - 6 = -0*y. Let o = y + 2. Solve 2*u = 3*d - o - 2, -3*u = -d - 4 for u.
2
Let b = -31 + 36. Let d = 5 - b. Suppose -4*j - 4 - 8 = -5*c, d = 4*j + 5*c - 28. Solve 2*g - 4*g + 8 = 2*r, -6 = -j*r for g.
1
Let a be (-7)/(-14)*(1 + -5). Let m be 1/a + 28/8. Suppose -5*v - 37 = -3*l, m*v + 7 = -8. Solve 6*p + 22 = p + 4*f, -p = -l*f + 14 for p.
-2
Let l be 104/40 - (-9)/(-15). Solve -c + 12 = -2*k, -2*k + 2*c - l = 12 for k.
-5
Let u = 35 - 25. Suppose -2*q + l = 4*l - u, l + 15 = 3*q. Solve 0*p - 14 = 3*p - 5*w, -q*p - 12 = 3*w for p.
-3
Let f(z) = -z**2 - 8*z - 12. Let r be f(-6). Suppose -c - w + 2 = r, c + c - 2*w - 16 = 0. Solve -c*i - 23 = 2*o, 6*i + 22 = i - 3*o for i.
-5
Let p(t) = -2*t**2 - t + 2. Let l be p(-2). Let s be l/(-10) - 2/5. Let x(h) = -h - 8. Let k be x(-13). Solve -o + 5*z = -22, 0 = -s*o - 3*o - k*z - 14 for o.
2
Let u(k) = -k**3 + 6*k**2 - 4*k. Let y be u(5). Suppose -y*z - 15 = 0, -3*g - 2*z + 0 - 3 = 0. Solve 4*h + 3 = -4*q - g, 2*h = -4*q - 12 for q.
-5
Suppose -l - 29 = -3*h + 4*l, 0 = 4*l + 16. Let i be (-72)/12 - 4*-3. Solve 0 = h*b + i, -4*b + 3 - 10 = -u for u.
-1
Let l(h) = -h**2 - 6*h - 4. Let i be l(-4). Let p = -2 + i. Suppose -5*x - 13 = -34*d + 30*d, 3*d - 9 = 3*x. Solve d*r = -m - p*m + 3, 0 = -m - 2*r + 5 for m.
-1
Let r be (48/(-252)*-7)/((-8)/(-18)). Let p = 11 - 2. Solve -3*y - r*g - p + 3 = 0, 2*g - 24 = 5*y for y.
-4
Suppose 16 = 4*h + 3*j, 3*j + 2*j + 16 = 4*h. Suppose -h*q + 20 = q. Let d be (57/21 - 3) + 37/7. Solve -4*s = 2*p + 4, 2*s - p - q = -d*p for s.
-2
Let j(a) = a**3 + 12*a**2 + 9*a - 6. Let g be j(-11). Let v be (-14)/(-63) - g/(-9). Suppose h - 4*h + 15 = 0. Solve -3*b + h*u = 2*u + 21, 0 = 5*b + v*u for b.
-2
Let h(j) = -j**2 - 4*j + 1. Let d be h(-3). Suppose u - 4 = -q, u + q = d*q. Let a = -14 + 14. Solve 2*n - 2 = 4*w, -3*n + a*n - u = 0 for w.
-1
Let w(g) = -9*g - 5. Let q(v) = -v**2 + 19*v + 11. Let u(o) = 2*q(o) + 5*w(o). Let b be u(-3). Let f = -7 - -11. Solve 0 = -2*s - f, -i - 3*s - s - 5 = b for i.
3
Let l(c) = 9*c**2 + 7 - 2 - c**3 + 5. Let v be l(9). Let b be 7/2 - 5/v. Solve -u - w - w = -b, -3*w + 18 = -3*u for u.
-3
Suppose -m - 96 = -4*m + 5*k, m + 3*k - 32 = 0. Let r = -9 + m. Solve -5*i = -5*o + r + 12, 4*o = 20 for i.
-2
Let c = -340 + 342. Solve 0 = -2*d - c*w, 5*w + 3 = -5*d + d for d.
3
Suppose -b - 1 - 76 = 0. Let c be (-32)/(-14) + 22/b. Suppose l - 55 = -c*i, 4*i + 0*i = 3*l + 135. Solve -q + 5*f + 25 = q, 5*f + i = 3*q for q.
5
Suppose -4*j - 28 = -4*n, 5 = -j + 4. Solve -3*l = 15, 2*s - s = -2*l - n for s.
4
Let t be (-16)/6*3/(-2). Suppose -2*i = -2*u, -u - t*i + 16 = -4. Solve 2*k + 16 = -u*l, 0*k = 3*k - 3*l - 3 for k.
-2
Let h = 78 + -123. Let o = -35 - h. Solve -o*y - 3*w = -6*y - 5, 2*y - 6 = 2*w for y.
2
Let x(g) = -g**2 - 7*g - 6. Let z be x(-2). Solve 5 = t + j, z*t - 3*j = -2*j + 5 for t.
2
Suppose 5*q + 5*g = -125, 2*q = -0*q + 2*g - 34. Let z be (-20)/(-50) + 164/(-10). Let k = z - q. Solve 4*s - 5*v + 2*v = 20, 0 = -k*v for s.
5
Suppose -40*a = -45*a + 25. Solve 0 = a*f + 2*o + 13, 4*f = 5*o - o - 16 for f.
-3
Let l = -38 - -37. Let a be -2 + 1 + 0 - l. Suppose 11*o - 6*o = a. Solve 2*m - 3*h - 1 = o, -1 + 5 = -5*m + h for m.
-1
Suppose 4*u = -j + 10, -5*j - 4 = 2*u - 0*j. Suppose -72 = -10*i + 28. Let s be 3*i/6 - u. Solve 2*t + s = x, x - 12 = t + 6*x for t.
-2
Let c(q) = q**2 + 12*q + 19. Let t be c(-13). Let x = t - 13. Let p = -16 + x. Solve -5 = r + 4*f, 4*r + p*f + 5 = 2*f for r.
-1
Suppose 0*t = 4*t - 20, c - 4*t = -15. Solve z - 4 = -2*y, -y - 9 = -c*z - 0 for z.
2
Let r = 0 - 0. Suppose -f + 3 + r = 0. Solve f*i - 13 = 5*x, 4*x = 3*i - 0*i - 11 for i.
1
Let q be (7 - -9)*25/20. Suppose 0*z + 4*z - 16 = 0. Solve 4*t + 16 = 3*r, z*r + 5*t + q = 5*r for r.
0
Let n be (-2 + 1 - 0)*0. Suppose n = 2*i - 3 - 3. Suppose -i*l + 4*b + 2 = -22, 2*l - b = 11. Solve -x - 25 = -4*w - l*x, -3*w - 5*x + 27 = 0 for w.
4
Let b be 3962/266 - (-2)/19. Solve 0 = 5*u + 5*f, 2*f = u - 0*u + b for u.
-5
Let u = -293 - -313. Solve -4*k = -3*j - 6, 2*j + 1 = -5*k + u for j.
2
Suppose 2*h + 10*h - 144 = 0. Solve 3*a - h = 0, -i + 3*a - 12 = -0*i for i.
0
Suppose -10*z + 2*j = -15*z + 38, j + 14 = 3*z. Solve 3*m + 3*c = -z, 3*c = -c - 12 for m.
1
Suppose -25*l + 40 = -23*l. Let c be ((-8)/l)/((-4)/10). Let o be 1*-1*(-3)/c. Solve -3*j + 2*s = -o*s + 7, 0 = -3*j - 2*s + 7 for j.
1
Let m be -5*2/(-5) - (2 - 13). Let l be (-2)/(-4)*(1 - -1). Suppose z - l - m = 0. Solve -9 = -2*y - 1, -f + z = 4*y for f.
-2
Let b be 1/((-465)/(-231) - 2). Suppose 17 = 3*l + b. Let c = l + 20. Solve c = -q - 4*q + 5*z - 25, -3*q - 5*z = -9 for q.
-2
Suppose -7*q + 9*q = 0. Let v(a) = -a**3 + a + 13. Let z be v(q). Solve -3*x = 5*o - 4*x + z, 2*x - 16 = 5*o for o.
-2
Let l be (-111)/(-12) + (-8)/(96/(-9)). Suppose 0 = s - 5*u + 16, -3*u = -4*s - 2 + 6. Solve 3*b - 7 = 4*q + l, 0 = b - s*q - 19 for b.
-1
Let t be 4/12 - 10/(-6). Solve 0 = 2*k - 4*q + 30, t*q = -3*k + 6*k + 25 for k.
-5
Let l(s) = s**3 + 5*s**2 - 6*s + 3. Suppose 1 = -r - 5. Let p be l(r). Let t(b) = b + 1. Let u be t(p). Solve u*o - 14 = 5*n, o + 3 = -5*n - 6 for o.
1
Let a be 0 + 4 + -3 + 2. Suppose -p - 52 = -a*p. Solve 0 = -s - 4*w + 13, 4*s = 8*s + 3*w - p for s.
5
Let p be -1*(-4)/(-6)*3. Let y be p/11 + 167/11. Suppose 3*d = g - 2 - 26, 3*g = -3*d + 36. Solve i - x - 2*x - y = 0, 0 = -4*x - g for i.
3
Let p = 2 + 3. Solve 4 = -3*u + b - 2, -p*u - 17 = -4*b for u.
-1
Let r(j) = -j**3 + 32*j**2 - 63*j + 93. Let y be r(30). Solve 5*c - y = -s, -4*c = -2*c + 3*s + 4 for c.
1
Let u = 13 - 10. Let s(d) = d**3 - 6*d + 4. Let f be s(4). Let b be f/28 - 15/(-35). Solve -4*a - 2 = b*c, 4*c + u*a + 1 = 7 for c.
3
Suppose -4 = 2*i - 12. Solve -j + 11 = -i*c + c, 0 = 5*j - 4*c - 11 for j.
-1
Let t = -23 + 50. Let l = 32 - t. Solve -l*h + 0*h + 4*f = 0, -h = 2*f for h.
0
Let