= -m - 7 for m.
5
Let n be (25 - 16)/(2/10). Suppose 5*a - 14 = 3*d, -4*a + d + 2*d + 10 = 0. Solve -2*y = -5*q - a + 14, 5*y = -5*q + n for q.
4
Let m be (-5 - -13) + -2 + -1. Solve 4*s = -c, -m*s - 5*c = -c + 11 for s.
1
Let m(j) = 3 - j - 2*j - j + 7*j. Let h be m(8). Let c be ((-8)/3)/((-18)/h). Solve -4 = v, -c*r + 0*v - 2*v + 4 = 0 for r.
3
Suppose -t + 0*t + 2 = 0. Suppose -5*r = 3*l - 15, l - 3 = t*r + 4*l. Solve 5*g + 15 = q, 3*q = 2*g - r*g - 12 for q.
0
Let c be -1*(-39)/(2 - -1). Let w = 18 - c. Let f = 10 - w. Solve -5*z + 2*j - 10 = -0*j, -2*z + j = f for z.
0
Let q be (-12)/(-1)*(-8)/(-12). Let i be 1/(-2 - (-18)/q). Solve -2*c + 5*z - 10 = z, -i*c - 4*z - 20 = 0 for c.
-5
Let k(g) = 3*g - 31. Let c be k(11). Solve -5*v - 5*w = 30, -c*v - w + 6 = -5*w for v.
-3
Let o = -5 + 7. Suppose 3*f + 2 = 2*t, -o*f - 4*t = -6*t + 4. Solve y + 0*d = -f*d - 2, -4 = 4*d for y.
0
Let s(c) = -c + 14. Let i be s(10). Suppose -i*x = -3*t - 6, -5*t = -x + 4 - 11. Solve t*d + 8 = 0, -2*h + 2 = 2*d + 14 for h.
-2
Suppose -5*y + 21 = -9. Let n(t) = -t + 11. Let w be n(7). Solve w*d + y*f = f - 2, 0 = d - 5*f + 13 for d.
-3
Let v = -6 - 0. Let f = 12 + v. Solve p + f = 4*b, 2*b - 3*b - 3 = 2*p for p.
-2
Let x(t) = -2*t**2 - 11*t - 6. Let n be x(-7). Let o be n/(-45)*(1 + 4). Solve -5*a - 5*y = -15, -5*a + 2*y - o = -4 for a.
1
Suppose 2*s - 6*s = 16. Let k = 6 + s. Solve 0 = -4*n + k*m + 20, -2*m = -n - 0*n + 8 for n.
4
Let n = -3 - -6. Suppose -k + 0*k - 2*u + 3 = 0, -n*k - 3*u = 0. Let j(b) = b + 3. Let r be j(k). Solve r = 5*g + 2*c + 13, -c + 2 = -3*g - 8 for g.
-3
Let j = 13 - 7. Let m be 2/j + (-5)/(-3). Solve -m*u - 3*y + 3 = u, -8 = -4*y for u.
-1
Suppose -4*v - 5*c + 12 = -c, -3*v + 9 = -c. Solve -4*l + 4*n = 32, -v*l + l = -n + 12 for l.
-4
Let d(w) = w**2 - 5*w + 8. Let y be d(4). Solve 2*i = 4*m - 0*i + 10, -m + y*i - 13 = 0 for m.
-1
Let c(v) = -v**2 + 4*v + 4. Suppose -2*t + 4*t - 8 = 0. Let a be c(t). Solve a*i = 3*z + 2, -4*i - 4*z = -2*i + 10 for i.
-1
Let b(u) = u**3 - 20*u**2 + 18*u + 26. Let y be b(19). Solve -3*a - 3*h = -a - y, 2*a + 2*h - 2 = 0 for a.
-4
Let r be 2/8 - 423/12. Suppose m + 21 = -0. Let i = m - r. Solve -3*s - 6 = -3*t, -s = s + 3*t + i for s.
-4
Let l = 10 + -7. Suppose 3*r = m - 2*m + 8, -3*m = 12. Let i be (-4)/12 + r/3. Solve -l*k + v - i = 2, -3*k + 2*v = 0 for k.
-2
Let f(q) = q**2 - 7*q - 12. Let d be f(10). Suppose -3*h + 3*g = 5*g - d, -h = 2*g - 10. Solve 2*s + 4*c = 10 - 2, s = -h*c + 8 for s.
0
Let n = 2 + -6. Let m be 0/1*(-2)/n. Solve m = 3*l - 2*u - 5 - 0, -5*l - 3*u = 17 for l.
-1
Let n(p) = p - 5. Let a be n(4). Let g be 2 + (a - -1*19). Suppose -g = 3*x - 4*o, -3*x + 6*x = 2*o - 10. Solve -3*m = 4*f + 16, x = 6*m - 2*m + 3*f + 12 for m.
0
Let r(b) = -3*b**3 - 2*b**2 - 2*b - 1. Let a(k) = k**3 - 6*k**2 - 7*k - 1. Let c be a(7). Let m be r(c). Solve -1 = -d - y - 2, -2*y = m for d.
0
Let l(z) = -z**2 + 13*z - 5. Let y be l(9). Let t = y + -18. Solve t = g - 3*d, -2*d - 4 - 1 = 3*g for g.
1
Let k be (6/4)/((-9)/24). Let i be k/22 - 158/(-22). Let y be 4/(-6) - (-2)/3. Solve 2*v - 5*q + i = y, v - q = 2 - 1 for v.
4
Let g(y) = -y**3 + 2*y**3 - 7*y + 5 + 4*y + 2*y**2 - 2. Let d be g(-3). Solve 2*b = -2*f - 2, 21 = -0*f - d*f + 3*b for f.
-4
Suppose -6*z + 8 = -2*z. Solve -2*p + 3*p + l = -5, -z*p = 3*l + 13 for p.
-2
Suppose -3*z + 15 = 3*d, -z - 4*z + 23 = 4*d. Solve 0 = -3*g - 4*x + 16, -x = g - 2 - z for g.
4
Let d be 1*2/(4/(-10)). Let o = -28 - -29. Let z be o/d - 66/(-5). Solve -4*s - z = -5*v, -2*v - s = -0*s for v.
1
Suppose -z + 1 = -2. Suppose -4*k - 1 = 3*x, -z*k + 8 = 4*x - 0*k. Solve 3*h - 9 = -4*n, -x*h + 1 = 6*n - 4*n for h.
-1
Let x be 6/4 + 605/22. Let k = x + -27. Solve t - 5 = k*v, -4*v - 4 - 11 = 3*t for t.
-1
Let s = 8 - 4. Solve -o = 2*g + 2, -2*o + s*o = 2*g - 10 for o.
-4
Suppose 3*t - t + 136 = 4*r, -5*r + 74 = -t. Let l be t/(-30) + (-2)/15. Solve l*h + 4 = 4*h + i, 3*h = -i + 7 for h.
3
Suppose 4*n + 8 = 6*n. Solve 3*p - n*l + 9 = 0, 2*p - 6 = 4*p + 5*l for p.
-3
Let n(v) = -v - 2. Let f be n(-6). Suppose 0*q - f = -q. Solve -d - h - 4*h = -4, -q = -4*h for d.
-1
Let l = 526 - 521. Let c be 46/10 + (-2)/(-5). Solve 0 = -l*z - 5*f + c, -3 + 0 = f for z.
4
Let k(l) = l**3 + 4*l**2 + 2*l - 2. Let r be k(-3). Let i be (r + -1 + 0)/(-2). Suppose -4*v + 26 + 22 = i. Solve 4*b + 2*s + v = 0, b + 5*s = 4 + 2 for b.
-4
Let t be ((-76)/4)/((-5)/5). Solve u + 17 = -2*u - 4*s, -u = 4*s + t for u.
1
Suppose c + 5*r + 25 = 6*c, 4*c - 16 = 2*r. Suppose 5*w = 44 + 21. Suppose 5*l - 7 = w. Solve 3*q + 0*a = l*a - 21, q + c*a - 6 = 0 for q.
-3
Let l = 6 - 4. Solve 2*w + 0*w = 4*f - l, -4*f + 3*w + 1 = 0 for f.
1
Let b be ((-36)/5)/(110/(-25) - -4). Solve 3*q - 2*d - 14 = -0*q, 3*d + b = 3*q for q.
2
Let g be 2 - (-1 - (-3 + 0)). Let o be (-5)/(3/(-3 + g)). Solve -3*a = -o*c - 26, 0*c + 3*c + 3*a + 6 = 0 for c.
-4
Let f = 9 + 6. Solve 0 = -s - 5*h + f, 5*h - 3*h = -4*s - 12 for s.
-5
Let p(z) = z**3 + 13*z**2 + 30*z + 2. Let g be p(-10). Solve 0 = -3*w - 2*f - 7, -9 = 3*w + 2*w + g*f for w.
-1
Let v = 18 - 16. Suppose -3*y + 16 = y. Solve -5*i - h - 30 = -10*i, -y*i + v*h = -30 for i.
5
Suppose -x + 1 = -1. Suppose 16 = -c + 2*c - 3*i, 4*c - 36 = 5*i. Solve -c*h - 2*k - 24 = 3*k, 0 = -3*h + x*k + 5 for h.
-1
Let c = -1 + 8. Solve -3*x = -x + 8, -3*x = -5*q + c for q.
-1
Let w(z) = z**2 + 2*z + 2. Let m be w(-2). Solve d + 3 = -3*k + m*d, 4*k - 6 = -2*d for k.
0
Suppose -5*c - 4*o = -30, 7*c + o = 4*c + 25. Suppose -c = -5*q + 4*f, -4*q + f + 8 = 3*f. Solve -15 = -3*d - 4*t, 6*d - 5*t = q*d - 11 for d.
1
Suppose 4 - 1 = j. Let v(n) = n**2 - 2*n - 3. Let d be v(j). Solve 2*s = -f + 8, d = -s + 2*f + f - 10 for s.
2
Let t(a) = -a**3 + 5*a**2 + 3. Let q be t(5). Let w(m) = m**2 + 9. Let d be w(0). Let s be (-7)/(-3) + 6/d. Solve 5*z + 2 = -4*n + q, -5*z - 3 = s*n for z.
-3
Let q = -15 + 17. Suppose -q*r - 3*r + 25 = -c, 4*r + 2*c - 6 = 0. Solve -3*v - 12 = r*t, -3*t = -5*v - 2 + 11 for v.
0
Let r = 15 + -5. Suppose 0*p = -5*z - p + 7, 9 = 3*z - p. Solve -u + z*n = -3*u - r, -2*u = 3*n + 13 for u.
-2
Suppose -g = -4*w + 34, 5*w + 4*g - 35 = 2*w. Let o = w + -4. Solve -2*k - k + 12 = -3*q, -o*q - k = 2 for q.
-1
Let x be (-88)/20 - 4/(-10). Let j = -2 - x. Let m be (162/(-24))/(j/(-8)). Solve 5*n - m = 3*y, 4*y - 18 = 4*n - 46 for n.
3
Let q be (-1)/(((-12)/(-9))/(-4)). Solve k + 3*p - 4 = 0, -q*p + p - 4 = 4*k for k.
-2
Suppose 0 = 5*r - c - 4, -2*c = 3*r + 11 - 3. Solve 7*t - 2*t = 4*y - 5, r = 2*y + 10 for t.
-5
Suppose -15*j - 4 = -17*j. Let b be 30/4*(4 - j). Let g be (9 - -1) + -1 + 2. Solve 4*u - g = z, -2*u - 3*u + b = 0 for z.
1
Let g(x) = 6*x**2. Suppose -1 + 4 = -3*z. Let w be g(z). Solve w*c = 4*l + 3*c - 13, 3 = -c for l.
1
Let p(m) = -m**3 - m**2 + 5. Let g be p(0). Solve 2*l - 3*l + 3 = -5*z, 0 = z - 3*l - g for z.
-1
Let u = -19 + 10. Let t = u + 14. Let y be -1 + t - 1/(-1). Solve 5*p = -i + 23, y = p + 2*p + 5*i for p.
5
Suppose p + 1 - 4 = 0. Solve -2*c + p*v - v - 10 = 0, 5*v = 2*c + 19 for c.
-2
Suppose 4*y = 4 + 8. Let h(b) = -2 + 2*b**3 - y*b**3 + 4*b**2 + 0 + b. Let s be h(2). Solve -t = -4*r - s, 3*t - 3*r + 2*r = 2 for t.
0
Let b = 16 - 11. Suppose 0 = b*w + 9 - 24. Solve 5*v + w = 3*s, -2*s - 17 = 3*v - 0*v for s.
-4
Suppose -5 = -2*q + 37. Solve -3*f + 15 = -2*n - n, 5*n - f + q = 0 for n.
-4
Suppose 3*k + 4*t = 5*k - 24, -3*t = -3*k + 27. Suppose 2*q + k = 3*q. Let m be (-10)/(-3) + q/(-18). Solve 0 = 4*o - 8, -2*s + o + 2 = -m*s for s.
-4
Suppose -3*g = 12 - 36. Solve -d = -5*d + 2*h + 8, -g = -4*d + 4*h for d.
2
Let b(t) = -t**2 - 4*t - 1. Let d be b(-3). Let n(l) = 3*l**2 - 3*l + 2. Let q = 8 - 6. Let z be n(q). Solve -2*g - 3*o = -7, 3*g - o = -z + d for g.
-1
Let a be (9/27)/(1/15). Solve s - 4 + 0 = 0, -a*s = -4*p - 36 for p.
-4
Suppose -4*t = -15 - 1. Solve p + a + 0*a = 0, -t*a = 3*p + 5 for p.
5
Let a be (-2)/(-3) - 52/6. Let b = a - -8. Solve b = 5*j - v - 7, -5*v = 2*j + 7 + 1 for j.
1
Let h = 17 + -8. Let u = h + -5. Let r be 1 - 0 - (-7 + 3). Solve 2*o = u*v, -o + 0*v = r*v - 14 for o.
4
Let y(v) = -v**2 - 11*v - 2. Let o be y(-10). Solve 5*c - 28 = -o, -2*r = 3*c - 16 for r.
2
Suppose -2*s + 3*s - 10 = -u, -2*s - 15 = -5*u. Solve 4 = -f - b - 0, -f + 2