Suppose i + 2*q - 4*q - 12 = 0, 22 = i - 4*q. Let a = i - -2. Suppose -a*n + 8 = -3*j, -5*n + 12 = 2. Solve 6 = -2*x - j*x for x.
-3
Let h(i) = -i - 2. Let x be h(-7). Suppose -2*u + x = -5. Suppose -4*r = u*f + 17, -5*f - 15 = r + 4*r. Solve 0*c + r*c = -8 for c.
-4
Let h(j) = 3*j**2 + 33*j - 43. Let i(d) = -d**2 - 11*d + 14. Let t(m) = -3*h(m) - 8*i(m). Let z be t(-12). Let o = 1 - -3. Solve z - 21 = o*p for p.
-4
Let h = 9 - -13. Let l = h - 13. Suppose -2*f = -5*f + l. Solve f*u - 12 - 3 = 0 for u.
5
Let w = 29 - 23. Let v = w - 6. Solve -2*y = -v*y - 6 for y.
3
Let k(j) = -j**3 - 17*j**2 - 21*j - 27. Let m be k(-16). Let a = m - 51. Solve a*f = -f for f.
0
Suppose -2*a - 5 + 23 = 0. Suppose 0 = 3*d + 22 - 37. Solve -d*o + a = -6 for o.
3
Let x(h) = h**3 - 6*h**2 + 9*h - 9. Let n be x(5). Solve l = n - 7 for l.
4
Let w be -3 + (2 - -4) - 1*3. Let g be 0 + w - (-16 + 16). Solve p + g*p + 3 = 0 for p.
-3
Let h be 1/(1 - (-17)/(-16)). Let a be 1/(-3) - h/3. Suppose 17 = 5*j + 2*i, -11 = -3*j - a*i + 3. Solve o + 0*o + j = 0 for o.
-3
Suppose 8*u + 396 = -284. Let v = 87 + u. Solve v*t + 0*t = -6 for t.
-3
Suppose 4*y + 2 = -2. Let m be ((-65)/(-13))/(y/(-3)). Suppose -4*j + m = j. Solve 0*s + 3*s = -j for s.
-1
Let a(x) = -x**2 + 26*x - 8. Let j be a(14). Let w be 1/2*j/16. Suppose w*i = 3*n - 15, -2*n - 2*n = -20. Solve 3*b - 8 - 1 = i for b.
3
Suppose 10 = 5*h + 3*l - 8, 0 = -4*h + 3*l + 36. Let v(m) = -m - 1. Let j = 28 + -30. Let i be v(j). Solve -h + i = r for r.
-5
Suppose l - 3*t = -6, -t + 2 = -0*l - 5*l. Solve l*c - 3*c = 0 for c.
0
Suppose -z - 129 = -4*s, -2*s - 2*z + 10 = -62. Let l = 36 - s. Solve -l = -4*v + 1 for v.
1
Let w(r) = 3*r - 16. Let x be w(5). Let c be 2 - x - 0/(-1 - 0). Solve -c*l = -0*l + 3 for l.
-1
Suppose -2*t + 250 = 2*i, -4*t = 5*i - t - 631. Solve i - 164 = 9*w for w.
-4
Suppose -18*u - 85 = -23*u. Solve 7 = -6*l - u for l.
-4
Let m(z) = z**2 - 4*z - 1. Let o be m(4). Let x be (3 - 0 - -2) + o. Solve -x*b + 1 - 17 = 0 for b.
-4
Let x(d) = d**2 + 3*d - 2. Let n be x(-4). Suppose 3*b - 19 = n*j, -2*b + 0*j = -j - 11. Solve -4*s + 1 = -b for s.
1
Let a(p) = 2*p**2 + 5. Let w be a(-3). Solve 0 = -5*n - 3 + w for n.
4
Let i(t) = 2*t**2 - 17*t + 3. Let j be i(7). Let d = j - -21. Solve 3*b - 2*b - d = 0 for b.
3
Suppose -2*u + 1 = -3. Suppose -3*s + 7 = -u. Suppose 5*y - s = -w - 0, 2*y - 5*w = -15. Solve 4*g - 3*g + 1 = y for g.
-1
Let v(d) = -d + 19. Let h be v(13). Suppose -3*n + 2*b = -8, -n - b + 14 = 2*n. Let w = h - n. Solve -20 = 3*s + w*s for s.
-4
Suppose 0 = 3*l + d - 10, -5*l - 6*d = -d - 10. Solve 7*g + 3 = l*g for g.
-1
Let t(y) = 3*y**2 - y. Let m be t(1). Suppose -2*h + m*b - 7 = -25, 2*b = -h - 6. Suppose -h*i + 1 = -11. Solve 0 = -i*k - 5 + 17 for k.
4
Suppose 0 = 2*h + 4*j - 16, 3*j + 6 = 4*h - 2*j. Solve 3*s = h*s for s.
0
Let x be 1 - (-1 + 0 + 2). Suppose 6*z + 21 = 13*z. Let g be 4 - (-1 + x + z). Solve 7*h + 25 = g*h for h.
-5
Suppose -42 = -2*u - 2*b, 6*b = 4*u + 3*b - 49. Let f = u + -14. Suppose 0 = -f*w - 5*i - 16, i + 20 = 5*w + 6. Solve -x = -w*x for x.
0
Let y be 1/(2*4/32). Let n = 2 - 9. Let g be ((-2)/n)/((-12)/(-84)). Solve -g*k + y = -k for k.
4
Let u be 4/(-12) + 16/3. Suppose -1 = -u*z + 24. Suppose z*i - 9*i + 64 = 0. Solve -3*k = -i + 4 for k.
4
Let w(j) = j**2 - 29*j + 2 + 16*j + j**3 + 12*j. Let u be w(-2). Solve u = 5*g + 2 + 3 for g.
-1
Suppose 12 + 62 = -4*o + 2*r, o = -2*r - 26. Let w be 4/o - 22/(-10). Solve 4 + 6 = w*z for z.
5
Let o(l) = 3*l**2 + 13*l - 10. Let c be o(-6). Let x = c + -17. Solve 2*i = x*i for i.
0
Suppose 0 = 3*s - 2*o - 7, -s + 0*o + 5 = 2*o. Suppose -y = -5*q + 2*y + 4, -4*q = -5*y - 11. Let t be (-2)/(0 - q) + 4. Solve 0 = 5*h - t*h - s for h.
1
Let k = 22 + -13. Suppose 4*o + k = -31. Let y be 10/(-25) - 44/o. Solve 0 = -3*z + z + y for z.
2
Let z be -23*(-15)/3450 + 58/20. Let o be (1 - (-2)/(-2))/2. Let g be 4 + -1 - (0 + o). Solve z*y = -g + 12 for y.
3
Let h = -10 + 17. Suppose 2*k + 9 = -3*p, -6 + 2 = -3*k - p. Suppose 0 = -k*u + 6. Solve -1 = -u*d + h for d.
4
Let f(d) = 2*d - 2. Let o be f(3). Let r be 3/((6 - o)/2). Solve -x = -r*x + 8 for x.
4
Suppose 5*a - 16 = -w + 9*a, -16 = -5*w + 4*a. Solve w = 2*o - 6*o for o.
0
Let i(w) = -w - 5. Let z be i(-12). Let d(x) = x**3 - 7*x**2 + 3. Let f be d(z). Suppose f*a - 7*a = 3*l - 9, -l = -a - 3. Solve 2*g + l*g + 5 = 0 for g.
-1
Let v = 1 + -2. Suppose -19*z = -33*z - 308. Let x be v + -2 + 1 - z. Solve w = -3*w + x for w.
5
Let t = 80 - 80. Suppose t = v + 2*v + 2*v. Solve v = 3*o + 4 - 1 for o.
-1
Let h(t) = -t**3 + t**2. Let n(m) = 5*m**3 - 6*m**2 + 5*m - 5. Let r(w) = 6*h(w) + n(w). Let x be r(-3). Solve -x*f = -2*f - 20 for f.
4
Suppose 5*t = -2*c + 42, 1 = c - 0*c. Let p be 1/(-6)*t*-3. Solve 4*d - p = 8 for d.
3
Let o be (5 - 8)/(0 - -1). Let w(v) = v**2 + 3*v + 2. Let m be w(o). Solve 2*g - 4 = -m*g for g.
1
Let g = -780 + 788. Solve 6*m = 10*m + g for m.
-2
Suppose -5*v + 13 = -y - 4, 5*y + 2*v = 23. Suppose x = -y + 2. Let c be (1 - -1)*(1 - x). Solve 5 = c*n + n for n.
1
Suppose -3*j - 6 = -3. Let y = 5 + j. Suppose r - 2*r + 13 = y*f, 0 = 3*r - 3. Solve -i = f*i - 4 for i.
1
Let j(q) = q**2 - 2*q - 127. Let y be j(13). Solve y*l - 1 = 15*l for l.
1
Let h(s) = -s**3 - 7*s**2 + s + 9. Let r be h(0). Solve l = 4*l - r for l.
3
Let s = 51 - 26. Let u be ((-4)/(-5))/(10/s). Solve -6 - 2 = u*q for q.
-4
Let x be (-102)/85*(-10)/4. Solve 22 = x*n + 31 for n.
-3
Suppose 4*w - 3*u - 4 = 9, -3*w + 9 = -3*u. Solve l - w = -l for l.
2
Let b(i) = i**3 - 6*i**2 - 6*i - 7. Let m = -38 + 69. Suppose -4 = -5*a + m. Let l be b(a). Solve -3*h + l*h - 6 = 0 for h.
-2
Let u be (2/(-3))/((-6)/144). Let j be (-4)/12 - (-10)/3. Suppose -4*m + j*h = 11, 4*m - 2*h - 2*h = -u. Solve -v = -2*v - m for v.
-1
Suppose -2*i = 2*d - i - 11, i - 19 = -4*d. Suppose 15 - 3 = d*w. Suppose 2*c - 9 = -w. Solve -2*p = -c*p - 1 for p.
-1
Let f be (-2)/(-10) + (-3)/15. Suppose -4*r - 8 = -f*g + 4*g, 5*r = -4*g - 8. Suppose r = 4*m + 16, 2 + 2 = 2*u + 2*m. Solve -i - u = -2 for i.
-4
Let l(p) = 4*p**2 - 8*p + 3. Let b be l(4). Suppose 55 - b = 4*g. Solve g*r + 3 = -2 for r.
-1
Let v(p) = 1. Let y(r) = r**3 + 4*r**2 - r + 1. Let s(h) = -5*v(h) + y(h). Let m be ((-10)/(-25))/((-1)/10). Let n be s(m). Solve -f - 4*f - 15 = n for f.
-3
Suppose -5*v + 165 = 5*t, -11*v + t + 147 = -6*v. Solve -18*h + v = -24*h for h.
-5
Suppose 4*y = -3*m - 55, 5*m = -3*y - y - 65. Let u be 4/y + 21/15. Solve 0*r + r = -u for r.
-1
Suppose -2*v + 4*m = 16, 3*v - 3*m + 5 = -2*v. Suppose 3 = -3*k + 5*b, 5*b = -3*k + 5 + 22. Solve z - k = v*z for z.
-4
Let f(a) be the first derivative of -5*a**2/2 + 12*a + 13. Let u be f(4). Let w(x) = -x**3 - 8*x**2 - x - 4. Let b be w(u). Solve b = -2*k + 3*k for k.
4
Let x(v) be the first derivative of v**2 + 13*v - 2. Let n be x(6). Suppose 0 = 4*r + r - n. Solve -s = 4*s - r for s.
1
Let o be (6 - (14 + -8))/2. Solve 0*z + 17*z + 17 = o for z.
-1
Let d = -19 - -4. Let o be d/2*8/(-12). Solve 3*h - 4 = o for h.
3
Let i be (-4)/10 - 8/5. Let a be 98/5 + i/(-5). Suppose d + d = 5*b - a, -4*d = 0. Solve 0*j = -b*j - 16 for j.
-4
Suppose 2*z - 12 = 2*f - 3*f, -f + 27 = 5*z. Solve -15 = -f*u + 7*u for u.
-3
Let v(u) = u**3 + 5*u**2 - 3*u + 20. Let f be 6/4*(4 + -8). Let k be v(f). Solve -m = k*m + 15 for m.
-5
Let y be 12/(-48)*(-2 - 14). Solve -y*r = -r - 9 for r.
3
Let l(b) = -8*b + 106. Let m be l(13). Solve d - m = -2 for d.
0
Let w be 10*1/(-2) - 155/(-31). Let d be 1/(2/(2 + 2)). Solve w = -k - 3 - d for k.
-5
Let u be (-4)/3 + (-111)/(-9). Suppose 13*m - 2 = u*m. Suppose -c - m = x, -c + 19 = 4*c - x. Solve 5*a - c - 2 = 0 for a.
1
Suppose 1 = -2*i + 5*f, 3*i - 5*i = f - 5. Solve -8*h + i*h = -30 for h.
5
Let w = -2691 + 2747. Solve -w*o = -53*o + 3 for o.
-1
Let b be 42/28 + 6/(-4). Suppose b*u = -4*u. Let y(s) = s**2 + 5*s + 5. Let k be y(-5). Solve k*v - 2*v - 15 = u for v.
5
Suppose -30 = -7*q + 2*q. Solve -q = -3*y + y for y.
3
Let i(f) = -12 + 3 + 24*f**2 + 5 + 2*f + 3. Let y = -14 - -15. Let q be i(y). Solve r = -4*r + q for r.
5
Suppose 0 = 14*b - 44 - 110. Solve b*s = 10*s for s.
0
Suppose 2*t - 15 = -5*u + 18, 3*t + 2*u = 33. Solve 5*j - 4 = -t for j.
-1
Suppose -u + 3*u = -i + 74, -4*u = -2*i - 