Let n(q) = 2*c(q) + 3*t(q). Let j be n(-7). Solve -2*p + 0 + j = 0 for p.
5
Let h(i) = -i + 4. Let n be h(10). Let c be (-27)/n + 2/(-4). Solve x - c = 1 for x.
5
Let k be (-24)/16*(1 + (-21)/9). Let r(w) = -w**2 - 2*w + 1. Let d be r(1). Let c = 6 + d. Solve c*o - 2 = k*o for o.
1
Suppose -3*m + 6 = -0. Suppose -o - 2*w - 2 = 0, -2*w - 15 = w. Solve m*d + 0*d = o for d.
4
Let w be 99/21 - (-4)/14. Solve 2*p - w*p + 12 = 0 for p.
4
Suppose -3*d + 16 - 1 = 0. Suppose s + s = 8. Solve d + 7 = s*r for r.
3
Let y(p) = -p**2 - 6*p. Let i be y(-5). Let x be (-122)/(-6) - i/15. Solve -x = 2*t - 6*t for t.
5
Let w(v) = v - 4. Let q be w(7). Let o = 5 - q. Suppose -4*f + 3*u = -1, 2*f - f - 29 = -5*u. Solve -f*r = -o*r + 2 for r.
-1
Let p = -11 + 15. Solve -p*o - 17 = -5 for o.
-3
Let l = 15 + -10. Suppose -3 = -v - 4*p - 0, -l*v + p + 36 = 0. Solve 0 = 2*i - 1 - v for i.
4
Suppose 5*z - 5 = 5*j, 0 = 2*z - 4*z + 4*j + 4. Suppose z*t = t - 5. Let x = -55 + 84. Solve -t*k - x = -4 for k.
-5
Suppose 4*t - 20 = -4*y + 6*t, -9 = y + 3*t. Solve -4*v - 2 = -y*v for v.
-2
Let m = -10 + 10. Suppose -2*w + 4*x = w + 5, w - x = m. Solve 0 = -w*z + 7*z - 4 for z.
2
Suppose -3*f = -7 - 2. Suppose 0 = f*u - u - 4. Solve -4*c + 4 = -u*c for c.
2
Suppose 7 = 2*k - k. Suppose 5*n - 4*d = k, -4*d - 3 = -4*n + 1. Let i = 5 - n. Solve -i*a - a = 0 for a.
0
Let w = -57 + 82. Suppose 8*x = 3*x + w. Suppose j + 5 = -0, -j = -x*d + 5. Solve g - 6*g = d for g.
0
Let l be (-1 - -3)*(-6)/(-4). Let n(s) = s**2 - 8*s + 18. Let q be n(7). Solve 4*y - l + q = 0 for y.
-2
Let d(l) = -l**3 + 16*l**2 + 55*l + 40. Let b be d(19). Let v be 1/4 + (-1)/4. Let r(s) = s**3 + 6. Let y be r(v). Solve u + b - y = 0 for u.
4
Let k = 72 - 68. Solve -k = o - 5*o for o.
1
Let h(u) = -u**2 + 5*u - 4. Let k be h(3). Solve k*b - 6 = 5*b for b.
-2
Let p = -24 - -30. Solve -3*i + 21 = p for i.
5
Let h(w) = -7*w**3 + 16*w**2 - 10*w + 9. Let v(b) = 15*b**3 - 33*b**2 + 20*b - 18. Let z(i) = 13*h(i) + 6*v(i). Let u be z(9). Solve u = -4*x + x + 9 for x.
3
Let t = 0 + 16. Solve -4*z + 0*z = t for z.
-4
Let t(x) = x**3 + 9*x**2 - 3*x - 12. Let v(p) = p**2 + 10*p - 9. Let i be v(-10). Let r be t(i). Suppose 4*s = s + r. Solve -3*a - 4 = -s*a for a.
2
Let y(d) = -d - 5. Let l be y(0). Let a be (-4)/l*(-3 - -8). Solve 9*m - a*m = 0 for m.
0
Suppose -5*o + 5 = 3*d, -o - 5*d - 8 = 13. Suppose -4*m + o = -3*m. Suppose -2*i + 28 = m*b, 0 = 2*i + 3*b - 10 - 14. Solve -2 + i = -4*r for r.
-1
Suppose -h - 4 = -v, 0*h + h = 5*v - 4. Suppose -2*z + 4*p - 16 = v, -z - 2*z + 5*p - 19 = 0. Solve z*u - 4 = u for u.
4
Let o = -9 + 14. Solve 6 = -o*f + 8*f for f.
2
Suppose 5*b + 24 = 4*c, -4*b = -3*c - 0*c + 17. Let q be (0 - 1)/(4/(-20)). Solve 4 = q*l - c for l.
3
Let i(n) = n**2 - 2*n + 3. Let l be i(2). Let g = 10 + -6. Suppose f = 4*f - 9. Solve -g*t + l*t = f for t.
-3
Suppose 2*f = 3*f - 2. Let u be (-1 + -11)*f/(-3). Solve -4*n = -4 - u for n.
3
Suppose -8*k - 8 = -3*k - 3*n, -k + 3 = 4*n. Let j = k - -1. Suppose b - 2 = -j*b. Solve 0 = b*w - 10 for w.
5
Let r(n) = n**2 + 9*n + 7. Let y be r(-9). Let x = -6 + 9. Solve -x*k = -y*k for k.
0
Let o = 44 - -9. Suppose 29 - 83 = 3*a - q, 4*a = -5*q - o. Let d be (-4)/6 - a/3. Solve 0 = d*i - 3 + 8 for i.
-1
Suppose 2*q + m - 11 = 0, -9 - 11 = -4*m. Suppose -2*p - 2*u = 2*u - 26, -q*u = 5*p - 37. Solve p = s - 0*s for s.
5
Let a = 5 + 0. Let n = a + -2. Solve -2*i - n = -9 for i.
3
Let x(d) = d**3 - 6*d**2 - d + 10. Let b be x(6). Solve -b - 4 = 2*g for g.
-4
Suppose 3*y = -3*b + 2*b + 13, b + 11 = 3*y. Solve y = 4*u - 3*u for u.
4
Suppose 0 = 5*n + 10, n - 13 = d - 0*d. Let s be (-6)/d - (-18)/5. Suppose f + 2 - s = 0. Solve 2 = -f*w + 10 for w.
4
Suppose -2*w = 3*l + w - 6, 5*l + 10 = 5*w. Solve 2*q - 9 - 1 = l for q.
5
Suppose 0 = 5*q - 0*q - 25. Solve -q*v = 4 + 11 for v.
-3
Let a(d) = 2*d**2 - 6*d + 8. Let j be a(2). Solve -j*w + 15 = 3 for w.
3
Let d = -28 - -33. Solve 0 = -d*t - 26 + 6 for t.
-4
Let f = -43 - -45. Solve 2 = -f*j - 2 for j.
-2
Let c be (-4)/(-10) + 108/(-45) + 4. Solve -c*n = 5 + 1 for n.
-3
Suppose -3*z - 2*z = -55. Let p = 13 - z. Solve -k + 2 = -p*k for k.
-2
Let z be (22/(-99))/((-1)/9). Solve z*f + 0 - 2 = 0 for f.
1
Suppose 4*o = -3 + 31. Suppose -r = 4 - 8. Solve -r*s - 3 = -o for s.
1
Suppose 134*w = 130*w. Solve r + 2*r = w for r.
0
Let u be (-18)/(-9)*(2 - 1). Solve -1 = -u*b + 3*b for b.
-1
Suppose 14 = -5*f + 3*z, 4*z - 7 + 31 = -4*f. Let g = f - -6. Let i be (-3 - -2)/(g/(-4)). Solve i*u + u - 6 = 0 for u.
2
Suppose -5*v = -3*y + 11, -y - 4*v - 3 + 1 = 0. Solve -y*l - 5 = -7*l for l.
1
Let r(l) = -7*l - 12. Let z be r(-2). Solve z*i = -i for i.
0
Let k(g) = g**2 + g + 11. Let u be k(0). Suppose 3*l = -l + 44. Let f = u - l. Solve -5*v + 10 + 10 = f for v.
4
Let y = 22 + -10. Solve -y = 2*l + l for l.
-4
Let x = 22 + 8. Suppose -n - 2*n + x = 0. Solve 0 = 2*t - n + 2 for t.
4
Let m = 4 - 1. Suppose -20 = -2*l + 4*j, j - 2 - m = -2*l. Solve 20 = -l*a - 0*a for a.
-5
Let m be (-1 - (-5 + 0)) + 0. Let v be -10 + 2 + 2*-1. Let b = 1 - v. Solve -m*k + b = 3 for k.
2
Let o(m) = -m**2 + 6*m + 8. Let x be o(6). Suppose 2*u - s = 4*s, 3*u + 4*s - 23 = 0. Suppose -3*l + 24 = -v, -3 = v - 0. Solve u*t = -x - l for t.
-3
Suppose -3*h = -2*h + 6. Let y be ((-2)/h)/((-3)/(-27)). Solve -y*u = 2*u + 25 for u.
-5
Suppose -6 = -v + 44. Suppose -v = 14*w - 19*w. Solve 3*r = w + 2 for r.
4
Let b(q) = q - 1. Let y be b(1). Solve 3*w - 10 + 1 = y for w.
3
Suppose 4*v = -4 - 4. Let m be 0*v/4*1. Suppose -4*a + 8 = 3*b, -36*b = -38*b. Solve m = -a*y - 0*y - 6 for y.
-3
Let b(t) = 2*t**2 - 13*t + 20. Let z be b(2). Solve i - 3 = z for i.
5
Let w be (-3)/4*(5 + 15). Let l = -7 - w. Suppose -j - j = -l. Solve k + j = -1 for k.
-5
Let l(i) = -i**3 + 3*i**2 - i - 2. Let f be l(2). Suppose f*w - w + 4 = 0. Solve 0 = s + w*s - 25 for s.
5
Let m(o) = -1. Let d(c) = c + 6. Let k(v) = d(v) - 4*m(v). Let p be k(-8). Solve w + 2 + p = 0 for w.
-4
Suppose -5*u + 10 = -2*p, 0 = -2*p + u + 20 - 22. Solve -5*j + 16 + 9 = p for j.
5
Suppose 0 = 4*r - 2*i + 10, -3*i = -1 - 14. Solve -4*k - 5 - 11 = r for k.
-4
Let n(u) = -u**2 + u + 2. Let s be n(0). Solve -2 + 0 = s*o for o.
-1
Let d(t) = -t. Let r = 4 - 8. Let i be d(r). Solve c + c = -i for c.
-2
Let u(r) = -3*r - 12 + 2 + r**3 + r**2 + 7*r**2. Let v(p) = p**3 - 4*p**2 + p - 2. Let s be v(3). Let l be u(s). Solve 0 = -3*w + l + 1 for w.
5
Suppose -3*k + 8 = 4*d, -k = -5*k - 4*d + 16. Solve -m + k = 3*m for m.
2
Suppose 5*q - 10 = 0, 4*q - 6 = 4*u + q. Solve u = 4*f + f - 20 for f.
4
Let x(l) = 5*l**3 + l - 2. Let q be x(1). Solve -q*f = -7*f - 3 for f.
-1
Let r(y) = -2*y - 3. Let l be r(-2). Suppose 2*f + 3 = l. Let v be (-2 - 2)*f*2. Solve -3*j = 7 + v for j.
-5
Let d = 56 - 52. Let a(k) = k**2 - 2*k + 1. Let w be a(1). Solve w = -d*i - 16 for i.
-4
Let t(n) = 2*n + 24. Let r be t(-11). Solve -r*b - 12 = b for b.
-4
Let i be -1 + 1*(-3 + 4). Solve i*h - 12 = -3*h for h.
4
Let x(q) = q**3 - 2*q**2 + 2*q + 1. Let w be x(2). Solve -13 + w = -4*v for v.
2
Let q(f) = f**3 + 5*f**2 + f + 5. Let w be q(-5). Suppose w = -t + 9 + 8. Suppose -2 + t = 5*l. Solve l*a = -9 - 3 for a.
-4
Suppose -3*l + 4*w = 2*w + 2, w = -2*l + 1. Let p = -10 + 14. Solve -p*o + l*o = 20 for o.
-5
Suppose 0 = -2*h + b + 24, 3*b - 42 = -3*h + 6*b. Solve 11*t = 6*t - h for t.
-2
Let f be -3 + ((-4)/(-1))/1. Let v(o) = o + 3. Let m be v(-3). Let a = f + m. Solve -a - 11 = 3*q for q.
-4
Suppose -2*s = 2*b + 2*s - 20, 6 = 5*b - s. Solve -b*k = -0*k + 2 for k.
-1
Suppose -s + 4*k = 10, 27 = 3*s + 4*k - 23. Solve -2*l = 3*l - s for l.
2
Suppose -8 + 0 = -4*c. Let s be 1 - (4*-1)/c. Solve -5 = s*x - 2 for x.
-1
Let p(x) = -x + 4. Let w be p(4). Let y(s) = 2 - s**2 + w + 0 - 3*s. Let f be y(-3). Solve 0 = -g - 3 - f for g.
-5
Suppose 3*n - 12 - 24 = 0. Solve n = 3*r - 6*r for r.
-4
Suppose 3*a + 3 - 11 = -5*t, 4*a + 24 = 2*t. Suppose -j = 2*j - 3*o + 3, 0 = -5*o + 20. Suppose -5*x + g - 3 = -9, j*x = -3*g + 18. Solve x*k - 3*k = t for k.
-4
Suppose r + 6 = -3*u, -u - 6 = 5*r + 2*u. Suppose -5*v - 28 = -5*h - 3, 4*h - v = 26. Suppose 7 + 8 = 5*y. Solve r = h*d - y*d - 20 for d.
5
Let u be (4 + (-6 - -2))/(1/1). Solve u = -2*z + 6 + 2 for z.
4
Let u be -2*3/6*-3. Su