-2*q + p*q - 3*a = -6 for q.
3
Let l = -22 + 27. Solve 2 + 0 = 3*o - l*t, -3*o + 1 = -4*t for o.
-1
Let y be ((-2)/1)/(2/3). Let b be 0*(6/y - -1). Solve b*k + 3*k - 19 = -5*v, 2*k = -5*v + 16 for k.
3
Let v be (1 - (30 - -2))*1. Let k = v + 43. Let q be 3/12 + -1 - 69/(-12). Solve 2*w = -q*j + 11, -3*j + 0*w = -5*w + k for j.
1
Let r = -3 + 5. Suppose 2*b = a + 11, r*a = -b - 0*a - 7. Solve -z = -b*z + 5*v + 16, -z + 6 = -2*v for z.
-2
Let p be -5*((-2)/(-17) - 78/85). Let l be 2/(-7) + (-12)/7. Let m = l - -2. Solve 0 = -5*t + p*z - m*z, 0 = -4*z for t.
0
Suppose 5*t = t - 2*x + 18, 4*x = 4*t + 12. Let j(f) = 13 + f + 4 - t. Let s be j(-10). Solve -9 = s*q - 2*y - 1, 3*y + 3 = 0 for q.
-2
Let h = 27 - 27. Solve h = 5*z - f - 9, 2*z + 3*f + 2 = 2*f for z.
1
Let u(w) = w**3 + 7*w**2 - w + 6. Let j be u(-6). Let d = 33 - j. Let f be d/(-6)*(-16)/(-10). Solve 0 = 5*i + 5 - 25, 0 = -f*a - 2*i + 4 for a.
-1
Suppose 0 = 2*m - 4*m + 4*c, -5*m - 20 = -5*c. Let y = m + 12. Solve -8 = 2*n + 2*u, -3*n = -y*n + 3*u + 8 for n.
-1
Suppose 3*a - 109 = -5*h, 89 = 4*h + a + 2*a. Solve -2*t - 3*j - 1 = 7, 5*t - 2*j = -h for t.
-4
Let s(y) = -y**3 - 4*y**2. Let j be s(-4). Solve -3*f + 5*g - 2*g - 3 = j, -f - 9 = g for f.
-5
Let z = 14 - 11. Solve 2*n + 2*s - 9 = -z*s, 3*n - 2*s + 15 = 0 for n.
-3
Suppose 5*p = -2*j + 11, -4 = 2*p - 3*j + 3. Suppose 0*q - 2*s = -q - 1, -4*q + 3*s = -11. Solve -4*d - q = 5*n, -2*d = 3*n - p + 6 for d.
5
Let g = 104 + -87. Solve -3*n + 2*q - g = 0, 5*n = q - 16 - 3 for n.
-3
Let v = 51 + -51. Solve -h = -v*j + 3*j + 4, -22 = -j - 5*h for j.
-3
Let f be (3 + 44/(-12))/(1/(-24)). Solve w + 4 = 2*t + 8, 0 = -2*t - 4*w + f for t.
0
Let v(n) = n**3 + 3*n**2 - 6*n - 4. Let k be v(-4). Let q = k + -1. Suppose -2*r = -q*r. Solve -3*p - 5 - 4 = r, 0 = -2*a + 5*p + 17 for a.
1
Let a(s) = s**2 + 9*s - 10. Let b be (-10)/1 - (1 + -1). Let c be a(b). Solve c = -7*m + 4*m + 3*g - 6, -g - 6 = m for m.
-4
Let a(u) = -7*u + 40. Let d be a(5). Solve -3*m + 23 = -7*m - 3*o, 5*o = -d*m - 35 for m.
-2
Let i = -7 - -13. Suppose -2*k + 3*k - 5*b + i = 0, 0 = -k - b + 6. Solve f - 4*c = -8, -k*f + 6*c - 19 = 3*c for f.
-4
Suppose 0 = g + 4*g - 25. Suppose 0*w + 110 = 5*w + a, -w - 5*a = -22. Solve -c = 5*v - g - w, 2*v - 4*c - 2 = 0 for v.
5
Let t(a) = a**3 + 5*a**2 - 6*a. Let f be t(-6). Suppose -z - 4 = 3*h, f = -4*z - 4*h + 21 + 3. Solve z = -5*m + 5*u - 4, 4*m + 21 = -5*u for m.
-4
Suppose 4*c = -2*w + 6, -2*c + 3*w = -c - 5. Solve -2*a = -4*v + 4, 2*a = v - c*v - 4 for a.
-2
Suppose p = -p - 10, -2*l + 4*p = -24. Let y(u) = u**3 + 17*u**2 + 15*u - 14. Let r be y(-16). Solve r*h = l*j - 18, j = -2*h - 0*j - 3 for h.
-4
Let v be (-29 + 1)/(4/(-12)). Suppose -3*s = 4*r - 143, 2*r - 3*s + 17 = v. Let w = 38 - 5. Solve 4*q + r = -3*c + 4, 2*q + w = -5*c for q.
-4
Let o = -38 - -79. Solve -4*i + o = -2*f + 15, 7 = 2*i + f for i.
5
Let t = 36 + -34. Solve -2*n = t*n + 2*q, 12 = -2*n + 2*q for n.
-2
Let p(x) = 4*x - 24. Let g be p(7). Solve l - g*o + 11 = -2*o, -3*l + o = 8 for l.
-1
Suppose 3*m - 3*k - 9 = 0, -2*m + 9 = m - k. Let d(i) = i**2 - 11*i + 13. Let b be d(10). Solve -w - 18 = m*v, 5*v + 3 + 31 = -b*w for w.
-3
Let l = -58 - -58. Solve 3*b - 2*u + l = -7, -5*u = -5*b - 20 for b.
1
Let r be ((-1 - -1)/(-2))/(-1). Suppose r = 3*j + j - 4. Let n be 6/(j + -4)*-2. Solve -6*c - n*h + 8 = -2*c, -3*h = -2*c - 6 for c.
0
Let f be (1/3)/(11/264). Let x = 2 - -3. Solve -f = 2*l + x*j, -l - 3*j = 3*l + 2 for l.
1
Let k(w) = w - 7. Let x be k(3). Let d be 3/(x + (-52)/(-12)). Solve -5*z + 3*p - 3 = d, -5*p = z + 8 for z.
-3
Let q(w) = -w**2 - 5*w - 4. Let k be q(-4). Let u(o) = o - 10. Let b be u(12). Solve b*p - 4*p = 0, -2*c + 2*p - 4 = k for c.
-2
Suppose -5*k + 159 + 6 = 0. Suppose -8 + k = -5*u. Let m = u - -10. Solve -3*a - m = 4*v, 5*a - a - 2 = -v for v.
-2
Let z be 42/7 + 6/(-2). Solve 0 = -2*m + z*m + 4*r - 16, m - 11 = -3*r for m.
-4
Let n be -4 - -4 - 3/(-1) - 0. Solve -3*t - r = 4*r - 23, -5*t + n*r - 7 = 0 for t.
1
Let m = -58 + 62. Solve -5*a - m*b = -5*b - 10, 3*a = -b + 14 for a.
3
Let w(c) = -c**3 + 6*c**2 + 2. Let h be w(6). Suppose -3*g + 5*r + 5 = -1, -h*r + 2 = g. Solve 0 = -2*v - j + 1, 5*j + 1 = -4*v + g*j for v.
2
Suppose 5*t - 45 = 555. Suppose 3*b - 4*b - t = -5*p, 0 = 3*b - 15. Solve 2*w - 3*w = -5*r - p, 2*r = 3*w - 10 for w.
0
Let o be 1*(0 + 3 + -3). Suppose -3*f + o*f = 0. Solve 3 = -3*u + 4*s - 1, -u - 4*s + 4 = f for u.
0
Suppose -28 = -4*f - 4*i, -i - i + 10 = 0. Solve -4*l + 3*n - 2 = 8, -5*n + 12 = -f*l for l.
-1
Let h = 4 + -2. Solve 5*o + 7 = g, -4*o - 3 = -h*g - 1 for g.
-3
Let t(n) = -n**2 - 10*n. Let j be t(-10). Solve -2*i + 4*y + j*y - 2 = 0, 0 = -4*y for i.
-1
Let f = -13 + 9. Let r be -1 - (0 - (-3 - f)). Solve 2 = d + 4*o - 7, -5*d - 2*o + 9 = r for d.
1
Let u be 102*((-6)/2)/(-9). Let a = u - 22. Solve 4*n - a = 5*p, -2*n + 4*n = -p - 8 for n.
-2
Let j(q) be the first derivative of -q**4/4 - 5*q**3/3 - q**2/2 - 3*q + 1. Let g be j(-5). Solve -9 = 2*f - x, 0 = g*f + 3*x + x - 6 for f.
-3
Let m(o) = 2*o - o - 4*o + 1. Let n be m(-1). Suppose -2 = -3*z + n. Solve -y - 1 - z = -2*i, -3*i + 5 = -2*y for i.
1
Suppose 0 = a - 5*a + t + 5, -3*a + 5*t = 9. Solve 5*g - 25 = i, -a*i = -4*g + i + 31 for g.
4
Let o = 18 + -22. Let q(c) = c**2 + 3*c + 1. Let k be q(o). Solve -2*a - 27 = -k*p, -4*p + a + 3*a + 24 = 0 for p.
5
Let y(w) = -w**3 + 6*w**2 - 4*w + 3. Let k be y(5). Let j = 8 - k. Solve 5*s = -5*a + 40, -s + j*s - 4*a = -20 for s.
4
Let q(v) = v**2 + 6*v - 4. Let l be q(-7). Suppose -3*b - 3*w = 9, -2*w - 27 = -l*b - 11. Solve c - b*x + 4 = -c, -3*c = -x - 4 for c.
3
Let u(v) = -13*v - 2. Let r be u(2). Let m be (r/8)/((-2)/12). Solve -5*y - f - f = m, -3*y - 2*f = 15 for y.
-3
Let t = -1 + -5. Let z be ((-15)/t)/1*2. Suppose 2*i - 7*i + 13 = -4*y, 25 = z*i. Solve 0 = -m + y*a - 8, 0*a - 2*a = -2*m - 4 for m.
1
Let h = 31 - 21. Suppose 2*p - 13 = -3*j, 2*j + p - h + 1 = 0. Solve 3*t = 2*k + 3*k + 10, k = -j*t - 2 for k.
-2
Let m be (-4 - -5)/((-1)/(-4)). Solve -5*h + 7 + 1 = m*u, -h - u = -2 for h.
0
Let i be 2*(0 - -1 - -1). Let w be 86/10 + (4 - 54/15). Solve i*q - 2*d = 3*q - 4, d - w = 4*q for q.
-2
Let c(p) = -p**2. Let w(l) = l**3 + 10*l**2 + 5*l - 5. Let b(x) = -4*c(x) - w(x). Let h be b(-5). Solve -g - h*f = 4*g - 20, 2*g + 7 = f for g.
-1
Let o = 23 - 23. Solve o*c - r = -4*c + 1, -c + 2*r - 5 = 0 for c.
1
Let y = -1 + -4. Let r be (-130)/(-25) - (-1)/y. Solve 5*q - 8 = -v - 3*v, -v - r*q + 2 = 0 for v.
2
Let j = -10 - -6. Let y(k) = -k - 2. Let l be y(j). Suppose 4*w - 5*h + 2 = 30, l*w - 5*h - 24 = 0. Solve -n - 3*n - 32 = -3*b, w*b - 23 = 3*n for n.
-5
Suppose 3*c - 1 = 5. Suppose -12 = -c*y - y. Suppose -7*x + 3*x = 5*g + 6, 10 = -g - 3*x. Solve i - 13 = -g*o + 4*o, -4*i + y = 4*o for o.
-4
Suppose 4 - 1 = n. Solve g = 4*g - z - 4, 2*z + 2 = n*g for g.
2
Suppose 3*i + 2 = 2*q, 2*i + 0*q + 5*q - 24 = 0. Solve -i*a = -5*v - 3 + 11, -5*v + a + 9 = 0 for v.
2
Let r be (-7 + -2)*6/18. Let n = -2 - r. Solve -6*c - 2*f = -c + 10, 0 = c + f - n for c.
-4
Let n be 1*6/(-1)*112/(-21). Solve 3*g = -t + 13, -2*t - n = -4*g - 7*t for g.
3
Let y(l) = -4*l - 3. Let f be y(-2). Suppose -3 = -f*p + 22. Let q(h) = h - 3. Let a be q(6). Solve a*t = c + 7, 5*c + 2*t - 7*t = p for c.
5
Suppose 2*c - t = -c + 13, -5*t = -25. Suppose c*h - h = 10. Solve -3*k + 5 = -h*g - 0, -g + 5*k + 1 = 0 for g.
-4
Let n be 0/(2*(-1 - -2)). Solve 2 = u - j, 4*u + n*j = 5*j + 11 for u.
-1
Let r(z) = 0*z**3 - 15*z - 15*z**2 + 32*z**2 - 13 - z**3. Let u be r(16). Solve -5*x - u*a + 5*a = -23, x + 17 = -5*a for x.
3
Suppose 2*o + z = 37, -o + 3*z + 49 = o. Suppose b = -3*b + o. Let g = b + -5. Solve -3*t - 3*r - 9 = g, 2*t = -t - 2*r - 10 for t.
-4
Let y = 12 + -7. Suppose v + 9 = 3*o, -y = v - 4*o + 8. Solve 5*l + 21 - 9 = v*g, 0 = l + g + 4 for l.
-3
Let g(h) = -6*h - 4. Let a be g(-4). Suppose -4*t + 2*t + 2*v = -10, -4*t = 5*v - a. Suppose -3*m = 2*m - 10. Solve -2*d - n + 4 = -2, t*n - m = -3*d for d.
4
Suppose -3*l = -5*z + 16, -z + 0*z + 5*l + 12 = 0. Suppose -d = -5*i - 4*d - z, -6 = 5*i + 4*d. Solve 2 = -2*n - p, 0 = i*n + 3*p + 4 + 6 for n.
1
Suppose 2*l = l + 5. Let m(a) = -a**3 + 5*a**2 + a - 5. Let h be m(l). Let b be 5/(-2)