 -x for a.
-5
Suppose -3*i + 4 = -2. Suppose 1 = -i*q - 4*b - 11, -3*b - 35 = -5*q. Solve 8 = 5*h - q*m + 1, -4*h - 13 = 3*m for h.
-1
Let l(q) = 6*q**2 + q - 1. Let n be l(1). Solve 4*h = -0*a + a - n, 5*a = -10 for h.
-2
Let d(x) = x**2 - 9*x + 12. Let o be d(8). Solve a - 9 = -2*c, o*a - 2*c + 2 = -2 for a.
1
Suppose 28 = 2*p + 24. Solve -12 = 3*x - 4*w, -w + 9 = 4*x + p*w for x.
0
Suppose -4*i - 2 = 18, u + 3*i = -15. Let d(r) = r**2 + r + 3. Let l be d(-4). Let y be 5/l - (-28)/6. Solve 4*v = 4 + 8, k - v + y = u for k.
-2
Let s = -1 + 4. Let c be (3/2)/((-2)/(-16)). Suppose -8 = -4*k + c. Solve 2*j + k*d - 5 = 0, -s*d = 5*j - 0*d + 16 for j.
-5
Let d(m) = m**3 + 10*m**2 - 12*m - 3. Let j be d(-11). Let n = j + -5. Solve 0 = n*g + a, -5*g - 2*a = -0*g for g.
0
Suppose -2*b - 4*f = -8, -6*b + 2*f = -b - 8. Solve 0 = -r + 3, -3*y = b*r + 4 + 2 for y.
-4
Let x(k) = 5*k**3. Let n be x(1). Suppose l - 12 = n*l + 4*i, 3*i + 8 = -4*l. Solve 3*v - 5*c = -19, -c - l = -0*v + v for v.
-3
Let x(w) = -4*w. Let l be x(-1). Solve -5*v + l*g - 41 = 0, -v - 3*g - 3 = 2*v for v.
-5
Suppose -5*g - 11 = -0*f - 2*f, 4*f - 11 = -g. Let n(i) = i**2 + 5. Let b be n(-4). Solve -k - 3*d - b = -8, f*d + 17 = k for k.
2
Let u = -3 + -2. Let k(s) = -s**3 - 4*s**2 + 6*s + 7. Let b be k(u). Suppose b*p + 20 = 7*p. Solve -11 = d - p*z, -d + 5*z = -3*d + 4 for d.
-3
Let h(u) = -9 + 7*u + 2 - 8*u. Let d be h(-8). Suppose -3 = -g - d. Solve -4*i + 0*v - 3*v = 28, 4*i - g*v + 8 = 0 for i.
-4
Let m(i) = 3*i**3 + i**2 - 2*i + 1. Let r be m(1). Suppose 0*o + r*o = 6. Solve -s - 19 = -3*y, -o*y + 4 = 3*s + 6 for s.
-4
Let h(t) = 40*t**3 - 2*t**2 + t. Let v be h(1). Let i = 56 - v. Solve g = 3*a + 17, -5 - i = -2*g + 3*a for g.
5
Suppose -o + 129 = -0*o. Suppose 3*h - 6*h + o = 0. Suppose -8 - 23 = -5*w + 3*s, -5*s = -4*w + 30. Solve 5*l - 24 = k, -w*l - 4*k - 14 = -h for l.
5
Let r = -15 - -17. Suppose -4*x = -0*x - 20. Solve x*t + 21 = w + 3*w, -t + 7 = r*w for w.
4
Let w = 0 - 7. Let h = 9 + w. Solve -d - 4*g = h*d - 20, 22 = 4*d + 3*g for d.
4
Let x(r) = -3*r + 44. Let h be x(13). Let m = -1 - -2. Let k = m - 1. Solve 3*q + 4*v + v + 2 = 0, 5*v + h = k for q.
1
Let l(o) = o**2 + 5*o + 5. Let n be l(-5). Let c be 1/5 - (-19)/n. Suppose 0 = 4*a, c*x = -3*a - 1 + 41. Solve 3*i - 2*b + x = -5, -4*i + b - 20 = 0 for i.
-5
Let w be (-5 - (-92)/20)/(1/(-30)). Solve -4*c - w = 4*u, -2*u = u + 12 for c.
1
Let n be 7 + 2/(-4 - -2). Let v = n + -4. Let s be 23*(4 - 3) + 3. Solve -l + 2 + 1 = 0, -4*c - v*l + s = 0 for c.
5
Suppose 3*c - 18 = -3. Suppose t - c = 53. Suppose 0 = 5*v - 2 - t. Solve 0 = -2*r + 4*b - 24, 19 + v = -3*r + 5*b for r.
-2
Suppose 0*s = -2*s - 4. Let y = 7 + s. Solve 3*v = -5*x - 3 - y, -v + 20 = -4*x for v.
4
Suppose 35 = -0*y + 7*y. Solve 5*t - 2*t = y*h + 6, 0 = -3*t - h - 12 for t.
-3
Suppose 5*c = 27 - 2. Let f = -8 - -13. Suppose i + 10 = -5*p, 0 = 3*i - 3*p - 11 + 5. Solve i*s + f*s = c*d, -9 = -4*s + d for s.
3
Suppose -w = -4*w + 4*a - 10, -3*w - 2*a = 22. Let j(f) = -f + 2. Let r be j(w). Solve r = -4*h + c - 3*c, -c - 2 = h for h.
-2
Let n be (-3)/(-12) - 2/(-8)*-1. Solve -13 = -4*f - f - 2*i, -3*f - 5*i + 4 = n for f.
3
Let d(c) = -3*c + 8. Let o be d(7). Let z = o - -20. Let h = -4 + z. Solve -b = y - 1, h*y - b = 7*y - 16 for y.
5
Suppose 0 = -4*x - 8, -3*z = 5*x - 10*x - 4. Let s = z - -5. Solve -5 = 3*f + 4*v, 4 - 3 = -5*f - s*v for f.
1
Suppose 0 = 4*x - 3*l - 117, 2*x + 4*l = -2*x + 96. Let k be (-236)/(-9) + (-6)/27. Suppose -5*v = -k - 94. Solve -z + 5*p = 3*z - x, 4*z - 4*p = v for z.
3
Let d(t) = -t**3 - 3*t**2 + 2*t - 3. Let o be d(-4). Solve -5*h - 1 = o*g + 4, 3 = h + 2*g for h.
-5
Suppose -1 + 4 = c. Suppose -35 = 5*s - 10*s. Suppose s - 1 = c*q. Solve 0 = q*x - 5*x - b, -3*b = -2*x for x.
0
Let b = 1 + 9. Suppose -2*k = -5*o + 1 + 5, 5*o - b = 0. Solve -2*a - q = 0, 0 = -q - k - 2 for a.
2
Let j(n) = 5*n + 14. Let y(r) = -6*r - 14. Let z(m) = 7*j(m) + 6*y(m). Let l be z(7). Suppose 0 = f + 3 - l. Solve -4 = 2*u - 3*u, 0 = -f*d - 2*u + 24 for d.
4
Let o(l) = -l**2 - 4*l + 7. Let t be o(-4). Suppose -t*w = -3*w - 4*i - 20, -4*w = -5*i - 18. Solve 2*a = 2*j - 4, 2*a - w*a - 7 = -2*j for j.
1
Let c(o) = -4*o + o + 2*o - 5. Let u be c(-5). Solve -h + 1 = m - u, 2*h - 4 = -3*m for h.
-1
Let s(c) = -c**2 + 9*c + 5. Let r be s(6). Let k be ((-4)/6)/(4/(-18)). Solve r = -4*u - 2*j - k, -4*u - 31 = 3*j for u.
-4
Suppose -3*m + 27 + 3 = 0. Solve 3*k - 4*l - 14 = -3*l, 2*k = l + m for k.
4
Suppose -4*n - 3 = -5*n. Solve 2*l = n*w + 5, -3*l - 2*l + 22 = 2*w for w.
1
Suppose t = 2 + 4. Solve -t*f + 5*x = -f + 15, -2*x = -3*f - 7 for f.
-1
Suppose 36 = 4*j + 3*r, -j + 28 = -4*r - 0. Let t be (-1)/(-4) - 3/j. Let v be 3/12 + (-2)/8. Solve -3*l + t*l - i - 7 = v, -2*l = -3*i + 23 for l.
-4
Suppose 0*t = 2*t - 24. Solve -2*d + 12 = 2*g, 4*d - g - t = 7 for d.
5
Let j(p) = -2*p + 1. Let q be j(3). Let f(k) = 2 + 5 + k + 1. Let d be f(q). Solve d*v + 16 = -v, -5*y + 3*v + 12 = 0 for y.
0
Let m be (-54)/4*(-44)/33. Solve -3*y + 2*p = -m, 4 = -y - y - 4*p for y.
4
Suppose -19*b + 15 = -14*b. Let u be (-1 + 0)/(b/(-9)). Solve 17 = -m - 2*q - 2*q, -u*q = m + 14 for m.
-5
Let s = -6 + 9. Suppose s*n - 14 = -2. Suppose q - 3*r = -10, -n*r = -4*q - r - 4. Solve -q*o - 6 = -2*v - 0*v, -3*o - 4*v = 16 for o.
-4
Suppose -5*r + 18 = 3. Suppose -f + d = 3, 5*f - 5*d + 21 = r*f. Suppose -22 = -5*z - 2*y - f*y, 5*y = -4*z + 23. Solve 5*b - 4*x + 7 = 2*b, -b = 3*x - z for b.
-1
Let v(n) = n**3 + 13*n**2 + 3. Let g be v(-13). Solve x = -2*x - 3*z + 15, 4*z = g*x - 1 for x.
3
Suppose -6 = -5*r - 2*s, -2*r + r + 9 = 3*s. Suppose x - 3 = 0, x + 9 + r = 2*y. Solve 2*q - 8 = n, 4*n + y - 22 = -4*q for n.
0
Let s be (-1*1)/(9/(-54)). Solve 0 = 3*w + s, 3*u + 22 = -2*u - w for u.
-4
Let z be 3/((-3)/4)*-1. Solve r - 5*v = 3*r + 8, 3*r = -z*v - 5 for r.
1
Let g(f) = -f - 11. Let h be g(-10). Let y be (1 - h) + (-8 - -11). Solve 6 = -4*m + s + 13, 2*s + y = -m for m.
1
Let b(f) = -f**2 - 4*f. Let i be b(-4). Solve 5*s + 2 + 2 = 2*g, -4*s + 4*g - 8 = i for s.
0
Suppose 5*s - 13 = -n, 0 = -3*s - 3*n + 3. Suppose -3*f + 0 = -5*u - 16, -2*u = 4. Suppose 0 = b - 4 + f. Solve -2*k + 4*j + 11 = s, -2*k + b*j = -4 for k.
0
Suppose 5 + 3 = 4*z. Solve -2*p + z = -3*s + 8*s, 3*s - p = -1 for s.
0
Let l = 1 + 3. Let p(g) = g**2 + g - 1. Let a be p(-4). Solve 0 = -l*k - 5*m + 3 + 14, -2*k = 3*m - a for k.
-2
Suppose 0 = -2*r + 3*r. Solve r = 3*a - 5*t + 37, -a = -2*a - t + 1 for a.
-4
Suppose -4*q + 2 - 26 = -4*k, -60 = -5*k - q. Solve -5*b + 3*c = 29, -b - 5 = -4*c + k for b.
-4
Let l(u) = u**2 - 5*u + 6. Let i be l(4). Solve -3*g = 4*m + 2, -6 = -m + i*g - 1 for m.
1
Let u be (-1)/6 + 19/6. Solve -2*x - x - 12 = -2*t, -1 = 5*x + u*t for x.
-2
Let j be (2 - 0) + -4 + 0. Let w be 8*1*(-13)/j. Let t be (-2)/3 - w/(-6). Solve -5*m - r + 2 - 13 = 0, t = 2*r for m.
-3
Suppose 35 = 5*j + 4*b, b - 5 = -0*b. Solve j = 2*r + t, -t + 5*t = -12 for r.
3
Let j be (4/(-16*1))/(1/(-52)). Solve 0 = 2*q - t - 4*t + j, 0 = 4*q + 3*t + 13 for q.
-4
Let t(m) = -m + 5. Suppose 0 = -0*h + 3*h - 9. Let b be t(h). Solve -b*j + 3*c - 1 = 0, 17 = -6*j + 2*j + c for j.
-5
Let f(k) = k + 15. Let i be f(-12). Solve 0*a - 18 = 3*q - i*a, 0 = -5*q + 3*a - 28 for q.
-5
Let y be 34/10 - (-2)/(-5). Solve -a - 4*j + 11 = 0, -a + j - 21 = -y*j for a.
-5
Let i(o) = -3 + o**3 + o - 5*o + 2*o**2 - o. Suppose 2*c = 5 - 11. Let v be i(c). Solve 4*r + v = -w - 0*w, 3*r = -5*w + 19 for r.
-2
Let x be ((-10)/6)/((-3)/9). Let r(j) = -j**3 - 6*j**2 - 3*j - 2. Let a be r(-6). Let u = a + x. Solve 4*m - u = -5*t, 6*t - 25 = t - 5*m for t.
1
Suppose 1 = k - 17. Let b be (9/k)/((-1)/(-4)). Solve -2*n + 23 = 2*l - 5*l, b*n = -2*l - 2 for n.
4
Let x be 2/8 - (-184)/32. Suppose -4*q = -0*q - 16. Solve -q*w - x*k + 2*k = 0, -3*k + 20 = -w for w.
-5
Suppose v - 4*o - 21 = 0, 4*v - 2*o - 15 = -v. Let m be 17/4 - v/4. Solve 5*i + 20 = 0, m*i + 1 = -5*u - 0 for u.
3
Let f = 92 + -80. Solve -f = -3*j, l - 3*j + 8*j - 18 = 0 for l.
-2
Let h be 10 - ((-2 - -1) + 4). Suppose 3*b + 27 = x, -50 = -h*x + 2*x - 2*b. Solve -o + 0*o - x = 3*v, -5*o + 4*v + 35 = 0 for o.
3
Let r(t) = -t - 2. Let v be r(-4). Let w be (-1)/(-2)*(1 + 3). Let g be -1*w/(-3)*