 4 = -2*q for q.
4
Suppose -3*c - 75 = -3*n, 3*c - 3*n = c - 49. Let v = -22 - c. Solve 0 = -3*q + 5*u - 17, -v*q + 3*u = -5*q + 13 for q.
1
Let f(n) = -n. Let u be f(-4). Let h be (4/8)/(1/u). Let t be 3 + 1 + (-3 - -2). Solve -s = 4*d + 11, -h*s + 4*d = t*s - 41 for s.
5
Suppose 9 = 4*n - n. Suppose 9 = 2*y + n. Let q = 4 + 1. Solve b = 2*j + y, -3*b + 4*j + q = -0*b for b.
-1
Let l(o) = -o + 7. Let g be l(5). Suppose 0*v = g*v - 2. Let j = v - -3. Solve -16 = -3*d - 4*b, 4 = 2*d - j*b - 0*b for d.
4
Let q(b) = 32*b + 230. Let j be q(-7). Solve y + 3*a = -7, -a = j*y - 2*y + 6 for y.
-1
Let a(j) = -13*j + 0*j**2 + 333 - 351 - j**2. Let p be a(-11). Solve 3*g - 1 = -p*k, 3*g = -0*k - 2*k - 1 for g.
-1
Let r = 9 - 35. Let b = 29 + r. Solve 6 = -3*k, 19 = -b*d - k - k for d.
-5
Let w = -194 - -197. Let r = 5 + -1. Suppose 6*n - r = 4*n. Solve -n*t - 9 = -3*k, 3*k - 6*k = w*t + 6 for k.
1
Suppose -o - 20 = 5*w, 0*w - 20 = 5*w. Solve k + 3 = o, -2*d + 2*k + 18 = d for d.
4
Suppose -5*r + 50 = -5*z, 3*r - 5*z = 4*r + 20. Let w be (-8)/(-6)*(0 + -6). Let f = r - w. Solve -2*v + t + 2*t - f = 0, -4*v - 1 = -t for v.
1
Suppose -g - 2*g = 4*v - 6, 4*v + 4*g = 4. Let n be 4/(v - -1)*9. Solve 3*w + n = -3*l, -l = 4*l - 3*w - 25 for l.
2
Let w be 5/((0 - 5)/(-5)). Solve -5*z = 4*d - 20, w*d - 25 = -5*z + 2*z for z.
0
Let n(s) = s - 2. Let q be n(4). Let b(i) = -2*i - 5*i - 1 + q*i + 4*i. Let l be b(-5). Solve r - 6*r + 1 = -3*z, -r + 14 = l*z for z.
3
Let b be (-3)/12 + 36/144. Solve -3*q - 24 = 2*m - 7*m, b = 2*q - 5*m + 21 for q.
-3
Suppose 8*z + 3896 - 3912 = 0. Let f = -1 - -1. Solve a - 5 = w, f*a - z*a = 0 for w.
-5
Let v(m) = -5*m**3 + 2*m**2 + 7*m + 5. Let x be v(-1). Solve -n - n - 2 = 2*c, -2*c = x*n - 1 for n.
1
Suppose 0 = -y + 6 - 3. Solve 4*g + v - y*v - 12 = 0, 2 = g - v for g.
4
Let n be (1 - -2 - 4)*-1. Suppose -3*p + n + 11 = 0. Suppose -18 - 1 = -4*v - g, 5*v = 3*g + 28. Solve -v*z - 2 = -4*l + 3, 3*z - p*l + 3 = 0 for z.
-1
Let h be 4/14 - 1/((-21)/162). Suppose -a = -5*a - 4. Let b = a + h. Solve 3*t = -m, -3*m - 4*t + 2*t = b for m.
-3
Suppose -3 = 7*x - 31. Solve w - r = -5*r, 5*w - x*r + 24 = 0 for w.
-4
Let x = -165 - -169. Solve 2*j - 25 = -3*d - 2*d, 0 = -x*j for d.
5
Let b = 1387 + -1384. Suppose 4*j + 2*d = 0, -j + 2*d = 3*j. Solve -f + 0 + 3 = b*u, 5*u - f - 5 = j for u.
1
Let q = 0 - -5. Suppose -q*n + 37 = 12. Solve -5*u + 56 - 23 = -4*y, 0 = -u - n*y - 5 for u.
5
Let n(y) = -y**2 - 6*y + 4. Let d be n(-6). Solve -d*g = -0*g + 5*w - 37, 4*g - w = 7 for g.
3
Let g(c) = 2*c**2 - 20. Let a be g(-4). Suppose a = 6*b + 12. Solve k + k + 3*q - 10 = 0, b = k + 2*q - 5 for k.
5
Let s = 1015 + -1013. Let k be 2/(-6) - 26/(-6). Solve 4*o + q - k = 0, -12 = 5*o - q - s*q for o.
0
Let h(c) = c**3 - 2*c**2 + c - 1. Let k be h(0). Let w be (5 - 6)*k*(2 + 1). Solve -p - w = -a - 0*p, 4*p = 0 for a.
3
Let n be (-4)/10 - 44/(-10). Suppose 3*j = 2*o - 8 - 2, 0 = 4*j + n*o - 20. Suppose j = a + 3 - 6. Solve 4*t = -k - 22, -4*t - a*k - 18 = -4*k for t.
-5
Suppose -18 = 5*p - 148. Solve 5*t + 2*k - k - p = 0, 2*t = -k + 11 for t.
5
Suppose 8*k = 2*k + 12. Solve -5*w = -5*n, k - 6 = -4*w for n.
1
Suppose -7 = 5*s - 3*i + 6, -s - 5*i - 25 = 0. Let o = 8 + s. Let a(v) = -64*v + 642. Let x be a(10). Solve -d - 3*q + 2 = 0, q - 2 = -x*d - o for d.
-1
Suppose 4*d - 2*k + 7*k = -15, 15 = 3*d - 5*k. Let w(s) = -8*s + 24. Let p be w(3). Solve 5*l + p*g + 16 = 3*g, 3*l + 3*g = d for l.
-2
Let k(z) = 2*z + 2. Suppose -r = r - 2. Suppose 3 = 2*s - 3*t, s + 2*t + 1 = -r. Let p be k(s). Solve o + 2 = b - 1, -b = p*o + 6 for o.
-3
Suppose 5*d = 5, -7*o - d = -3*o - 5. Let t(p) = 8*p - 7. Let h be t(o). Solve -20 = 4*q, -7 + h = 3*x + 3*q for x.
3
Suppose 2*p - 4*b = -12, 0 = -3*p + 12*b - 10*b - 6. Solve p*a + 17 = m - 3*a, 3*a = -m - 13 for m.
2
Let p = 16 + -8. Let h(y) = y**2 - 5*y + 6. Let c be h(3). Suppose p = m - c. Solve -m = -3*o - 2*x + 4, -4*o - 4*x = -16 for o.
4
Let a = -1 + 6. Suppose -p + 36 + 7 = -a*u, 5*u - 5*p = -55. Let n be (-15)/10*u/3. Solve 3*z + 5*k = -0*z - 13, -8 = n*z + 2*k for z.
-1
Let u = -478 - -480. Solve z - 19 = 3*g + 3*z, u*g + 2 = 4*z for g.
-5
Let a(o) = -o**3 + 4*o**2 + 5*o + 4. Let n(c) = 0 + c - 2*c + 2. Let k be n(4). Let x be a(k). Solve t = -2*t - 3*l - x, -l + 2 = -3*t for t.
-2
Let b = 57 + -37. Suppose 9*t - 7*t = b. Let v be (224/(-70))/((-4)/t). Solve -g - s + v = 0, 2*g + 5*s = 4*g + 19 for g.
3
Let r be (-8)/((-1)/7 - 48/(-140)). Let g = -36 - r. Solve -g*p - b = 20, -3 = p - 4*b + 2 for p.
-5
Let j be ((-20)/6)/((-2)/3). Let m(a) = 3*a**2 - 162*a + 1. Let u be m(54). Solve i + 3 = -j*v, i + v - u = -0*i for i.
2
Let c be (-2)/10 - 174/30. Let a = c + 9. Let k = 11 + -8. Solve -a*y + 21 = -k*q, 3*y - 5*q + 4 - 33 = 0 for y.
3
Let f = -18 + 30. Let w be (-38)/(-2) + f/6. Solve -14 = 4*y + 3*z + 2, y + w = -5*z for y.
-1
Suppose 0 = -4*o + 7 + 25. Let q(s) = -s**2 + 10*s - 12. Let u be q(o). Solve v - 8 = -t, 3*v = -2*t - u + 24 for v.
4
Let p(a) = a - 4. Let z be p(6). Let d = -20 + 13. Let x be (d - -5)/((-1)/2). Solve 0 = -z*i + x*s - 8, 3*s - 4 = i - 0 for i.
-4
Let o = -6 - -8. Let m = 97 - 95. Let g = o + m. Solve -5*l - 7 = 3, -2*l - 16 = g*p for p.
-3
Let z(t) = -t**3 - 2*t**2 - t. Let h be z(-1). Let u(j) = -6 - 5 + 9*j - j**2 - j. Let w be u(5). Solve w*p + 4*a + 12 = 0, h*a = -3*p + a + 3 for p.
0
Suppose 1 + 11 = -g - 4*z, 2*g + 2*z + 12 = 0. Let t be (-27)/(-3) + g - 2. Solve 2*n = -t*b + 10 + 4, 2 = 3*b - n for b.
2
Let v(z) be the first derivative of 2*z**3/3 - 5*z**2 + 3*z - 1. Let n be v(5). Solve -2*m - k = -7, m - k + 1 = -n for m.
1
Let q(k) = k**2 - 34*k + 81. Let d be q(33). Let f = -1 + 4. Suppose d = f*b + 18. Solve -2*t = 3*t + 4*y - 14, 3*t - b = -4*y for t.
2
Suppose 0 = 2*o, -2*o + 7*o + 44 = 4*s. Solve 2*p + 0*p - s = -k, -4*p = 3*k - 27 for k.
5
Let d be 145/(-87)*(-3)/1. Solve 3*j - 3 = -2*s + 2, 0 = 5*s + d*j for s.
-5
Suppose 2*v = -m + 10, -3*m - 4*v = -5*v + 5. Solve j = 4*l - 18, l + 2 = -3*j - m for l.
4
Suppose -5*z + 15 = -3*d, 3*z = 3*d + z + 6. Suppose d = -8*r + 2*r. Solve -f - b - b - 2 = 0, r = 3*b for f.
-2
Let k be (-7 + (-486)/(-63))*7. Let y be 1*1/(3/30). Suppose 4*n + n = y. Solve 0 = 2*r + f - 5, -k*f + 2*f - 9 = -n*r for r.
3
Suppose 3*f = 9 - 3. Let k = f - -17. Suppose -4*m + p = -9 - 5, -k = -3*m + 5*p. Solve 3*l - 2*z + m + 20 = 0, 2*z + 12 = -4*l for l.
-5
Suppose -2*q + 3 = -1. Suppose -11 = -4*f + 3*w - 4*w, -q*f + 2*w + 8 = 0. Suppose -4*s + 11 = -5*x + 57, -2*s = x + 2. Solve r = 5*c + 10, f*r + c = x*c for r.
-5
Let p = 2 + -2. Suppose -8 = -2*w + 14. Solve p = h + 2*k - w, 0*h - 2*h - 2*k + 14 = 0 for h.
3
Let w(x) = -x + 13. Let y be w(11). Suppose 2*i - 5*s = -45, 5*i - 3*s + 32 + 33 = 0. Let r be (i + 1)*(-4)/12. Solve 0*f + r*f + y*m + 20 = 0, f - m = 0 for f.
-4
Suppose 0 = -2*t + z - 5 + 25, 52 = 3*t + 4*z. Let k be 3/(t/(-2))*0. Suppose -5*l - 5 + 15 = 0. Solve k = l*y - 2, -f + 0*f = -y for f.
1
Let v be 2/((-4)/(-1)) + 18/12. Solve -2 = -v*g - x, x + 8 = 3*g - 5 for g.
3
Suppose 3*j - 25 - 35 = b, -3*b = 9. Suppose -7 = 3*g - j. Solve g = 4*f - 5*l - 7, 0 = f + l - 5 for f.
4
Let u be ((-3)/(-3))/(3/9). Suppose 0 = 2*c + 8, -5*f + u*c = -17. Solve v + f = -2*j - 8, -5*v + 11 = -4*j for j.
-4
Suppose 0 = -p + 2*f + 4 + 1, f = 0. Solve -2*h = -p*b - 6*h - 26, -b + h + 2 = 0 for b.
-2
Let v be 7/14*-10 - -9. Suppose 0 = v*h - 4*h + 4*h. Let b be ((-3)/(-4))/(-1)*-4. Solve -y + m - 3*m = b, 3*y + 5*m + 10 = h for y.
-5
Suppose -19 + 39 = 5*h. Solve -h*a + 2 = 2*n, 1 = -3*a + 2*n - n for a.
0
Suppose -4*n - b - 2*b + 35 = 0, 3*n - b - 36 = 0. Solve -33 = 5*w - 4*j, -3*w - n*j - 13 = -10*j for w.
-5
Let h(o) = -2*o**2 - 20*o - 24. Let n be h(-8). Solve 4*j = 4*f + 4, -2*f = 4*j - 0*f + n for j.
-1
Let d = 0 + 2. Suppose -1 = -g + d. Solve 24 = 5*q + r, -4*r - 1 = g for q.
5
Suppose -4*j = -3*j - 15. Let b be (j/(-4))/((-3)/12). Let s be 3*(-4)/(-3 - 1). Solve 0 = h - 2*c - 9, -s*h + b = -c - c for h.
3
Let p = 97 + -87. Solve x + x = -2*t + p, -4*x + 5 = -t for t.
3
Let z(h) = 3*h - 20. Let l be z(7). Suppose 3*d + 15 = 3*w, l = -w + d - 2*d. Solve w*x - 5*t + 16 + 12 = 0, -3*x - 20 = -2*t for x.
-4
Let m(t) = 8*t - 16. Let o be m(3). Let u(