= -2*q - 10 for q.
-4
Let f = -44 + 44. Solve -5*y + 4 = 2*n, 0*n - 4*n - 12 = f for y.
2
Let b = 19 + -13. Let n(k) = k**2 + k + 18. Let c be n(0). Solve -c = -z + 4*h, 5*h + b = -2*z - 10 for z.
2
Suppose -156 = -7*o + 5. Solve 5*h - 27 = -3*f, 3*h + o = 5*f + 4*h for f.
4
Suppose 5*v - 35 = -2*s + 3*s, -5*s - 37 = -2*v. Suppose v = 4*p - 6. Solve -2*b = -2*q + 1 + 9, 0 = 3*q - p for b.
-4
Suppose 0 = 2*c - 17 + 3. Suppose 3*n = 4*o + c - 17, 0 = -4*n + 8. Solve t = 2*v + 7, -o*v + t = 2*t - 1 for v.
-1
Let b(v) = v - 1. Let j be b(6). Suppose 3*n = 5*o - 3, 35 = j*n + 6*o - o. Solve -18 = -2*h + 2*f, 2*h - n*f - f = 30 for h.
5
Let k be ((-3)/(-12))/((-4)/(-48)). Suppose x - 3*x + 8 = 0. Solve -11 = x*z + k*t + 6, 3*z + 19 = 4*t for z.
-5
Let u be ((-160)/(-60))/(4/6). Suppose 0 = -0*v - v + u. Solve -v*i - 7 + 52 = 5*d, -3*d - 5*i = -40 for d.
5
Suppose 4*t = -3*v + 38, -2*v - 3*t + 3 = -24. Suppose 5*s - 71 = 3*i + 10, -5*s + 84 = -2*i. Solve -3*c = -4*d - 22, 3*c - v*d - s = -3*d for c.
2
Let z(o) = -4*o - 11. Let i be z(-5). Solve -t + 5 = 3*a - i, -a + 10 = 3*t for a.
4
Suppose -2*f = 5*y + 17, 4*f = -y + 2 + 9. Suppose 6*x = d + x + 8, -f*d = -4*x. Suppose 0 = -0*a + a. Solve 4*q + a*p = p + d, 0 = -q + 2*p - 3 for q.
1
Suppose 0 = -2*i + 5*i + 2*m - 7, 0 = 5*i - 5*m - 20. Suppose -i*n + 4*v + 3 = 0, 9 = 4*v - v. Solve n*o - 2 = 3*p + 2, 0 = -5*p + 4*o - 11 for p.
-3
Suppose 6*q + 80 = 11*q. Solve 4*k + 3*o = 2*o - q, 4*o = k - 13 for k.
-3
Let i(r) = 3*r**2 + 12*r + 15. Let u(g) = -2*g**2 - 6*g - 7. Let q(b) = 3*i(b) + 5*u(b). Let k be q(7). Solve y = k*t + 4, y - 8 = 3*y + 2*t for y.
-2
Suppose m = v, -2*m + 8 = v - m. Suppose v*p + 7 = 55. Solve -j - 1 - 2 = -5*y, 5*y + p = -4*j for y.
0
Let u be -4 + 6/(24/44). Solve h + u = -n - n, -3*h = 3 for n.
-3
Suppose -15*p = -19*p + 8. Solve -6 = -2*n + 3*n - p*c, -n - 11 = -3*c for n.
4
Let x(i) = -2*i + 7. Let m be x(-5). Let f(n) = n**3 - 7*n**2 + 4*n + 5. Let k be f(4). Let y = -22 - k. Solve t - m = y*o - 3, -3*t = 2*o + 9 for o.
-3
Let i(j) = j**3 + 7*j**2 + 7*j + 9. Let q be i(-6). Solve -c + 3*k + q = 8, 5*c + 15 = 5*k for c.
-2
Suppose -16 = -3*k - 5*k. Solve h - m + k = -0*m, 2*m - 2 = h for h.
-2
Let f(v) = -v**3 - 6*v**2 + v + 6. Let l be f(-6). Let j = 32 - l. Let p = -19 + j. Solve 5*t = -n - 16, -3*n + n + p = -5*t for n.
-1
Let y(c) = -c**3 + 3*c**2 + 4*c + 2. Let s be y(4). Solve -3*r - o + s*o = 14, 5*o - 28 = r for r.
-3
Suppose -25 = -5*m - 0*m. Let r = 4 - m. Let v be 2 - r*(2 + 0). Solve -v*j + 2*z - 13 - 11 = 0, -4*j + 4*z = 28 for j.
-5
Let b be (-152)/(-28) - 15/35. Solve b*o + u - 22 - 2 = 0, 4*o - 17 = -3*u for o.
5
Let b = 41 + -26. Solve -3*u + 2*u + 5*k = 29, 0 = 3*k - b for u.
-4
Let j = 0 - -6. Let a be (-2)/j*0/(-6). Solve 2*t - 20 = -2*i, a = 2*t + 3*i - 8 - 17 for t.
5
Suppose 0*p + 3*p = 15, 4*j - 54 = -2*p. Solve -6*n - j = 4*h - 5*n, 2*h + 5*n + 1 = 0 for h.
-3
Let i(g) = 9*g. Let c(p) = 5*p. Let d(f) = 7*c(f) - 4*i(f). Let z be d(-8). Solve -a - z = r, a + 5*r + 14 = -10 for a.
-4
Let s be -2*(-2)/(-4) + 1. Suppose 4*x + 2*v - 20 = s, 4*x + x = v + 11. Solve -x*t - 3*w + 0 + 3 = 0, -2*t = -5*w - 9 for t.
2
Suppose 2*f + 4 = 0, 5*h + 2*f - 49 = -f. Let z = h - 6. Let p(j) = -2*j - 2. Let i be p(-6). Solve 4*u = 5*o + 22 + i, -z*u = 2*o - 7 for o.
-4
Suppose 1 = 4*m - 7. Let q be (m - 1)/((-4)/(-12)). Solve -5*h = -4*s - 10*h + 3, 2*s + h = q for s.
2
Suppose t - 66 = -2*t. Suppose 5*j - t = -h, -h = 2*h - j - 2. Suppose -4 = -v - h. Solve 2*x + 5*f = 3*x, -v*x - 2*f = 0 for x.
0
Let g be 27/12 - 2/8. Suppose g*m = -c + 10, m - 5 = -c + 2. Solve 5 = -t + m*b + 1, 7 = -5*t + 2*b for t.
-1
Let y be 4/(-10) - 546/(-65). Suppose 4*s + 3*w - y = w, -w = -4. Solve s*v + 5*u = v + 18, -2*v - 4*u + 20 = 0 for v.
2
Suppose 26 = 5*l + 8*l. Solve -l*f + 1 = -k, -6*k = -4*k + 10 for f.
-2
Suppose 17*q - 12*q = 15. Solve 0 = -5*l - 5, 9*l - 4*l + q = r for r.
-2
Let g = 1 + -2. Let f be 1 + g - -1*8. Suppose 6 = 2*c - f. Solve -c = 4*q - 2*l + l, 2*l = q for q.
-2
Let t(j) = j**3 + 7*j**2 - 2*j - 9. Suppose 0*g - 5*g - 35 = 0. Let i be t(g). Solve 3*u = l + 1, 0*u = -i*l - 2*u + 12 for l.
2
Let b(g) = 5*g**2 - 2*g - 2. Let v be b(2). Suppose -v = -4*x + 6. Let n = -1 - -1. Solve 0 = -n*s - x*s, s = 3*j - 15 for j.
5
Suppose 3*m - m = -5*s - 25, -m - 2*s - 10 = 0. Let j = m - -1. Let b = 1 + j. Solve -16 = -4*f, -u - 2*f + 14 = b for u.
4
Suppose -2*g - 3*g = -5. Let l be 4/g - 1 - 5. Let y = l + 6. Solve -4*p - 4*r + r = 6, 8 = y*r for p.
-3
Let q = 3 + -1. Solve -w - q*w + 4*t = -7, -4*w + 5 = -t for w.
1
Let v(m) = -m**3 + 17*m**2 + m - 1. Let g be v(17). Solve -1 + g = -5*u, 4*z + 27 = -5*u for z.
-3
Let i(v) = v**3 + 4*v**2 + 3. Let q be i(-4). Solve 0 = -3*s - 5*b - 1 - 2, q*b = -5*s + 11 for s.
4
Let p be (-3)/(-9)*0 + 5. Solve -3*v - 12 = -3*w + 2*v, p*v = w - 4 for w.
4
Let w(h) be the first derivative of -h**3/3 + 3*h**2 + h + 2. Let n be w(6). Let f = 3 + n. Solve -2*c = 2*j + f, -j + 2*c - 16 = 2*j for j.
-4
Let g be (-4 + 0/(-1))*-1. Let q(v) = -v**3 + 25*v**2 - 23*v - 10. Let u be q(24). Solve z = -3*k - g + u, 2 = 3*z - 5*k for z.
4
Let d(a) = -38*a + 3. Let v be d(2). Let n = -49 - v. Solve -n = w - 0*w - 5*q, 0 = -4*w - 2*q - 8 for w.
-4
Suppose -3*s - 2*q + 14 = 1, -13 = -s - 5*q. Suppose -4*f + f = -2*t - 22, -3*f - s*t = 3. Solve f*r - 17 = 4*k + 11, 2*k = -6 for r.
4
Let t be 6*-2*(-1 - 0). Suppose 2*d = t - 2. Solve -d*u + 3*j = 8*j + 15, u - j = -1 for u.
-2
Suppose i = -127 + 27. Let m = -3 - -5. Let d be 7/m*i/(-35). Solve -g + 2*b + 10 = -5*g, -g + 2*b + d = 0 for g.
0
Let w(j) = j**2 - j. Let x be w(-3). Let a be (x/8)/(3/8). Suppose -2*n = -a*s + 8*s - 16, s = -2*n + 7. Solve -5*g = 2*b + 7, -3*b - 8 = n*g + 3*g for g.
-1
Let g(t) = 4*t**3 - t**2 + t. Let j = 14 + -13. Let c be g(j). Solve 16 = c*x, -8*z + 24 = -3*z + x for z.
4
Let t be (-5)/2*(0 + -2). Let b = 43 - 22. Solve -2 = -2*l - 5*v - b, t*v + 28 = l for l.
3
Suppose l - 3 = 0, 2*m + 3*l - 20 = -l. Suppose 2 = m*c - 46. Let f = c + -1. Solve 5*n = -4*i - f, 2*i - 2 = -2*n - 8 for i.
-4
Let t = 0 + 15. Let b = t - 10. Solve j + b*m = 7, 10 = 5*m - 0*m for j.
-3
Suppose -2*n = n + 5*b - 64, -3*n + 4*b = -73. Solve s - 9 = 5*c + 18, 5*c + s + n = 0 for c.
-5
Suppose p - 3*p + 8 = 0. Solve -6 = n - p*l, 2*l + 5 = -2*n + 13 for n.
2
Let y(h) = -h**2 + 6*h - 3. Let o be y(4). Let s be 4/(-2) - 1/(-1). Let w = o + s. Solve 2*b + 2 + 0 = 3*g, g - w*b = 4 for g.
0
Let z = 15 - 12. Solve -z*b = b - 4*v + 16, -b = 4*v - 11 for b.
-1
Suppose 63 = 16*g - 1. Solve 4*s - g - 10 = -3*a, 2*s + 4*a - 2 = 0 for s.
5
Suppose -28 = -u - 5*t, 0*t = -u + t + 4. Suppose -r = 3*r - u. Solve -2 = 2*d - d, -r*k = -d for k.
-1
Let o be (-30)/4 + (-4)/8. Let j = o + 9. Solve w - q + 22 = 6*w, j = 2*w + 3*q for w.
5
Let z(c) = -c**2 - 16*c - 10. Let h be z(-15). Solve t + h = -3*g + g, 7 = -t - 3*g for t.
-1
Let t be 15*1*(-2)/(-6). Suppose 2*a + 14 = 5*b, -6*b + b = t*a. Solve -2*x - 7*g + b*g = -1, g = -x - 1 for x.
-2
Suppose -4*m - 8 = 4*b, 2*m + 3 = b + 8. Let z = 4 - b. Solve 0 = -f - 3*d - 8, 0 = -f - z*d + 3*d - 12 for f.
4
Let k = -50 - -53. Solve 2*n + 33 = -2*q - k*n, 0 = q - 4*n - 16 for q.
-4
Suppose 2*d + 6 = d. Let c be (-2 - -4)/((-3)/d). Solve 0 = c*u + u + w + 1, 2*u - 2*w = -10 for u.
-1
Suppose -2*r + 3*r = 15. Let p be 4/(60/9)*5. Solve -3*x = -0*c + p*c + r, -2*x + 2 = -2*c for x.
-2
Let r be ((-7)/(-2))/((-6)/(-24)). Let a(y) = 3*y. Let p = 1 - 0. Let w be a(p). Solve w*c - r = -4*u + c, -u + c + 8 = 0 for u.
5
Suppose -4*y - 2*q = -8, -4*q + 9 + 3 = 4*y. Let x be (y - 1)*3/(-6). Solve g - 5*n + 15 = x, n = 3*g + 30 - 13 for g.
-5
Suppose 5*l + 50 = -100. Let q = 43 + l. Suppose -2 = -3*c + q. Solve 5*n - n - 2*g = 18, -17 = 4*n + c*g for n.
2
Let d(h) = 2*h - 2. Let j be d(4). Let s be (-38)/(-3) - (-2)/j. Solve 4*m - 12 = 4*z, m + z + 3*z - s = 0 for m.
5
Let k be -1 - 4*-1 - -4. Suppose 3 = 2*t + t, k = 2*g - 3*t. Solve 3*c + 4 = -4*y, g*c = y + 9 - 31 for y.
2
Let h be ((-39)/(-12))/(1/4). Suppose 3*n - t = 17, -n + h = -4*t - 0*t. Let x(c) = -c - 3. Let b be x(-3). Solve b = -n*p, -q = p + 3 + 1 for q.
-4
Let r(q) = q**2 - 15*q + 58. Let w be r(8). Solve -4*m = -5*n + m, -5*n