t a = n + 0. Solve 3*i + a = 1 for i.
-1
Let q(f) = f**3 + 4*f**2 - f - 9. Let p be q(-3). Solve 8 = p*d + 2 for d.
2
Suppose -7*g + 3*g = -8. Solve -7*p + 5 = -g*p for p.
1
Let k = 2 - -3. Suppose -s + 4*i - 8 = -3*s, -s = 4*i - 4. Suppose 0 = -5*r + 25, -s*l = -r - 0*r - 11. Solve l*t - k + 1 = 0 for t.
1
Suppose 0*s - s = 0. Let b be s + (2 - -3 - -2). Solve -b*u + 2*u + 15 = 0 for u.
3
Suppose -3*v - 2*z = -43, 85 = 5*v - 2*z + 8. Suppose v = 5*a - 2*a. Solve -4*g + a*g = 0 for g.
0
Suppose x - 5*o = 1 - 4, -o + 1 = 0. Suppose 3*w + 9 = 3*c, 0*c + x*c - 5*w - 3 = 0. Suppose -i - c*i + 20 = 0. Solve i = -4*n - 12 for n.
-4
Suppose -35 = -3*t + 5*j, 2*j + 1 + 12 = t. Suppose 3*a = -5*c + 2*a + 31, c - 11 = -t*a. Solve -1 = -p - c for p.
-5
Suppose -g + 6 = -0*r - 2*r, -4*g = r + 3. Let t(w) = -w**2 + 4*w. Let s be t(4). Let p = s - g. Solve -f = -p + 1 for f.
-1
Suppose 4 = 2*b - 0. Suppose 3*u + 4 = -2. Let f be 1*(-2 - -1)*u. Solve -b*v = -3*v + f for v.
2
Let y = 5 + -1. Solve -y*v + 7 = -5 for v.
3
Let f(k) = k**3 - 14*k**2 + 14*k - 10. Let c be f(13). Suppose c*m + 4*d + 160 = -m, 0 = 4*m + 5*d + 160. Let l = -20 - m. Solve l = -6*b + 2*b for b.
-5
Suppose 18*m = 17*m. Let y be (-1 + m)/((-1)/14). Solve -y + 2 = 4*q for q.
-3
Let k = -11 + 20. Solve 0 = -3*m + k + 3 for m.
4
Let w = 11 + -9. Solve w*l + 0 = 6 for l.
3
Let h(c) = c. Let k = 2 - 0. Let q be h(k). Solve 3*m = -q*m + 20 for m.
4
Suppose -k + 3*p = k - 16, 5*k - 40 = 5*p. Solve 3*f + k = 2 for f.
-2
Let k(d) = -d**2 - 5*d - 3. Let t be k(-4). Solve -3*q + t = -2 for q.
1
Suppose -2 = -m + 1. Suppose 0*q + 2 = 2*q. Solve -q + 4 = m*u for u.
1
Let x = 19 + -14. Solve 1 = a + x for a.
-4
Suppose -31 = -4*h - 3. Let b = -5 + h. Suppose 16 = -b*x + 6*x. Solve -x*r + 2*r - 2 = 0 for r.
-1
Suppose j - 3*x - 13 = 0, j + 2*j = 4*x + 24. Let n be (j + -3)*3 - 3. Solve n = 5*y - 14 - 6 for y.
4
Suppose 5*d + 3*m = 5*m, 0 = -2*d + 3*m. Solve -g + 4*g + 3 = d for g.
-1
Let b = 13 - 5. Suppose -l - 30 = 4*l. Let k = l + b. Solve -k*s = 5 - 15 for s.
5
Let r be (15/12)/5 - 6/(-8). Solve -t + 3 = r for t.
2
Suppose 2*u = -u + 9. Suppose -r - 10 = -3*r, -3*r + u = -3*y. Let d be 3 - (-1 - y/(-2)). Solve d*l = -l for l.
0
Suppose -114 = -3*q - 2*q + 3*m, 3*m - 6 = 0. Let x(t) = -6*t - t**2 - 2 + t + 0*t + 2*t**2. Let c be x(6). Solve q - c = -5*n for n.
-4
Let q(h) = -h**3 - 5*h**2 - 2*h - 3. Let s be q(-5). Suppose 5 = 2*o - s. Suppose i - o = -3. Solve -i*v = -7*v for v.
0
Suppose 3*c = -p + 36, -3*c - 2*p = -5*c + 24. Solve h - c = 5*h for h.
-3
Let v be (-1)/(-10)*18*40/12. Solve 2*m - 2 = -v for m.
-2
Let i = -8 - -14. Suppose 5*j - 13 = f + i, -5*f + 35 = j. Solve f*r = r - 20 for r.
-4
Let k(l) = -23*l**2 + 2*l + 1. Let i be k(-1). Let y be 18/i + 1/(-4). Let f be -4*2*y/4. Solve -d = f*d for d.
0
Suppose 0 = 5*c - 0*c. Solve c = -y - 4 for y.
-4
Let u = 5 + -6. Let i(q) = 4*q**2 - q - 1. Let z be i(u). Solve -z*o + 3 - 7 = 0 for o.
-1
Let z be ((-6)/(-9))/(1/6). Suppose 2 - z = -b. Solve -b*i = -5*i - 3 for i.
-1
Suppose 5*i - i = -32. Let r be (12/i)/(6/(-8)). Solve -10 = -0*a + r*a for a.
-5
Let x = 13 - 8. Solve 0 = x*i - 21 + 6 for i.
3
Suppose 1 = t + w, -4*w - 41 = t - 6*t. Let x = 12 - 12. Solve -t*d = -x*d for d.
0
Let n(d) = -d**3 - 5*d**2 - d - 3. Let q(o) = o**2 - 4*o - 5. Let y be q(4). Let g be n(y). Solve -g*m + 5*m = 3 for m.
1
Let h = 22 - 20. Solve -h*g + 3 = -7 for g.
5
Suppose -j = 3*j - 48. Let k be 1/(-6) - (-26)/j. Solve k*y + 3 = -y for y.
-1
Suppose -s + 4*j + 31 = 0, -5*j - 96 + 16 = -4*s. Solve -4*b - s = -7*b for b.
5
Let h(x) = x**3 + x**2 - 7*x - 3. Let l be h(-3). Solve -v + 1 = -l*v for v.
1
Let a(w) = 4*w**2 + 10*w - 5. Let q(z) = -5*z**2 - 11*z + 5. Let c(d) = 6*a(d) + 5*q(d). Let g be c(2). Solve g = 5*j - 4*j for j.
1
Let j be (10/(-6))/((-3)/45). Suppose o - 5*c = -2*o - 4, -5*c = -j. Let l(v) = 7*v**2 - 22*v + 5. Let w be l(3). Solve 3 = -w*h - o for h.
-5
Let f(v) = -v**2 - 6*v - 4. Let g be f(-6). Suppose -5*h + 85 = -5*o, -h + 6*h = -o - 35. Let t = g - o. Solve 0 = -b - 3*b + t for b.
4
Let z = 45 - 25. Solve -5*w - z = -w for w.
-5
Let z = -7 + 9. Solve 5*q - z*q - 3 = 0 for q.
1
Suppose -5*f = 8 + 27. Let o be (-25)/f + (-3)/(-7). Solve -5*c = -o*c + 5 for c.
-5
Suppose 0 = -5*x + 8 + 7. Suppose -x*f = -6 - 0. Let s = f + 0. Solve 0 = 2*n - s - 4 for n.
3
Suppose -g - 5 = -2*h, -4*g - 1 - 1 = -2*h. Solve m = -0*m - g for m.
-1
Let s = 26 - 21. Solve s - 15 = -5*u for u.
2
Let r(k) = -3*k. Let i(o) = -o - 1. Let n(d) = -4*i(d) + r(d). Let b be n(0). Suppose -b*v = -6*v + 14. Solve -5*u + 3 = -v for u.
2
Let n(l) = -l**3 - 5*l**2 - 4*l + 5. Let p be n(-4). Suppose -2*x - 2*c - 1 = -p, 5*x - 5*c - 30 = 0. Solve 2*v = -2*v - x for v.
-1
Let o = -8 + 10. Let i(g) = g**2 - 5*g + 4. Let c be i(4). Solve o*h + 2*h - 16 = c for h.
4
Let v = -4 - -9. Solve 10 + v = 3*k for k.
5
Suppose 5*v - 3*v = 3*k - 4, -3*v + 3*k = 0. Suppose 0 = -0*x - v*x + 12. Suppose -2*d = -4*c - 28, x*d - 5*c - 38 = -c. Solve -j = -6*j + d for j.
2
Let h = -4 + 4. Let v be -3*(-2)/6 - h. Solve v = 4*i + 5 for i.
-1
Suppose -4*c = o + 3 + 1, 3*o = 2*c - 12. Solve c = -0*h - 5*h for h.
0
Let s = -9 - -11. Suppose 10 = -5*o - 5*y, 0 = -3*o + 2*o - 5*y - 10. Let n = -9 - -15. Solve o = -n*r + s*r - 12 for r.
-3
Suppose -4*h = 40 - 48. Solve t + 3 = -h for t.
-5
Suppose -5*b = -i - 2, -4*b + 3*i = i - 4. Solve 2*o - 4 = -b*o for o.
2
Let o = -3 - -6. Solve -6 = -3*a - o for a.
1
Suppose -19 = -4*a + 49. Let d = a + -11. Solve 5*t - 19 = d for t.
5
Suppose 0 = 5*g + 5*x - 20, 0 = 2*g - 5*g + 4*x + 26. Solve 2*h = -0*h + g for h.
3
Let h = -148 + 158. Solve -5*w + h = 5 for w.
1
Let f = -43 + 45. Solve 0*n - f*n = 8 for n.
-4
Let x = 6 + -2. Let q(f) = f**3 - 4*f**2 + f + 1. Suppose 2*o - 14 = d - 4*d, -d + 5 = o. Let r be q(d). Solve 0 = x*a - r*a + 5 for a.
5
Suppose -n - 3*a = -8, -8*n + 29 = -3*n + 4*a. Suppose c - 14 = n*m, m + 8 = 2*c - 11. Solve y + c = -2*y for y.
-3
Let n(g) = g**2 + g + 1. Let i be n(0). Let q = -3 - -3. Solve 0 = -w - q - i for w.
-1
Let r(v) = v**2 - 4*v. Let j be r(5). Solve 5*l + j + 0 = 0 for l.
-1
Suppose 12*t - t = 33. Solve 9 + 0 = -t*d for d.
-3
Suppose 0 = 2*o - 4*y + 16, 10 + 5 = 3*y. Suppose 3*l = 4 + o. Suppose -u + 1 = -l. Solve 4 = -u*n + 7*n for n.
1
Let u be 0 - 0 - (-13 + 11). Solve -w + u = 1 for w.
1
Suppose 0 = -f + 4*f - 6. Let a be -1*0*4/(-8). Suppose a = 5*v - 9*v. Solve -y = -v*y + f for y.
-2
Suppose -3*x = -3, -x = u - 1 - 2. Let d be 6/(-8) + 18/(-8). Let n be (1/d)/(6/(-36)). Solve 4 + n = -u*o for o.
-3
Let z = 3 + 2. Suppose -m + z*m = 4. Suppose -c = 4*r - 22, -2*c = 2*r - 3*r + m. Solve -r*u - 26 = -6 for u.
-4
Let w be (-16)/(-10)*20/8. Let n(h) = -h + 8. Let f be n(0). Let a be (-2)/f + (-234)/(-8). Solve -9 + a = -w*t for t.
-5
Let o(l) = -l. Suppose -3*c - 2*c = 10. Let k be o(c). Suppose -k*m = 4*v - 10, -5*m + 6*v - 2*v + 11 = 0. Solve -12 + 0 = m*h for h.
-4
Let a(v) = v**2 + 14*v. Let c be a(-14). Solve c = 3*l + 6 + 6 for l.
-4
Let y(o) = -6*o - 65. Let c be y(-11). Solve -c - 2 = -t for t.
3
Let c be 7 + (-3 - 3 - -3). Solve -2 = c*z - 14 for z.
3
Let y = -198 - -290. Let c be 1/3 - y/(-12). Let i be 1 + (c - 0) + -3. Solve i*d - 3*d - 12 = 0 for d.
4
Suppose 12*g = 5*g + 6*g. Solve g*a = a for a.
0
Let m = 9 - 5. Suppose x = 2*l + l + 3, m*l + 12 = 4*x. Solve 0 = x*y + 2*y - 20 for y.
4
Let v be (5/(-2))/((-3)/6). Suppose -v*d + 6 = -34. Solve 1 = -3*i - d for i.
-3
Let k = -2 + 6. Suppose -2*s = -s - k. Let t(j) = -j**2 + 3*j. Let u be t(3). Solve s*g + u*g = 12 for g.
3
Let w = -32 + 35. Solve 0 = -w*c + 8 + 7 for c.
5
Let o(r) = -r + 9. Let n be o(4). Suppose 3*g - 20 = -n. Solve 0 = g*c - 2*c + 6 for c.
-2
Suppose 0 = 5*s + 4*l - 27, -5*l = 3*s + s - 18. Let a(u) = 2*u - 4. Let k be a(s). Solve k = -4*h - 2 for h.
-3
Let p be 0 + (0 - (-6)/3). Solve h = -p*h for h.
0
Suppose 0 = -3*o - 2*b + 75, 41 + 34 = 3*o + b. Suppose -4*q + m - 3 + o = 0, 3*q + 4*m - 7 = 0. Solve -q = -2*d + 3 for d.
4
Let h be 3*(-1)/((-9)/12). Suppose 2*s + s - 9 = -f, 4*s - 3*f - 12 = 0. Suppose 0*g - u = 2*g - 10, -s*g + 14 = u. Solve 8 = -h*t - g for t.
-3
Let t = 0 - 0. Solve t = -4*w + 8 for w.
2
Let n(d) = -d - 2. Let q be 