 for i.
-2
Suppose 20 = 5*d + 3*j + 2*j, -5*d + 2 = -4*j. Let l = 5 + -7. Let q(k) = k**3 + 4*k**2 + k - 2. Let t be q(l). Solve d*i + 0 = -t for i.
-2
Let k(p) = -2*p - p + 0*p + 1 - p. Let g be k(-1). Suppose g*t - 4*a - 32 = 0, -t = 2*t - 3*a - 21. Solve f = -t*f - 5 for f.
-1
Let b = 91 - 89. Let y = 3 - 1. Suppose 2*v + 0*c = -2*c + 10, -y*v = -4*c - 22. Solve b*h + 20 = v*h for h.
4
Let m = 5 + -3. Solve m*g = 3 + 3 for g.
3
Suppose 0 = -2*a + 6*a + 8. Let k = -4 - a. Let p be 25/15 + k/3. Solve -5*l - p = -11 for l.
2
Suppose 2*b - 10 = 4. Solve 3*m + b = 4 for m.
-1
Suppose 0*m - 3*m = -18. Let q = 9 - m. Solve 2 + 7 = -q*l for l.
-3
Let x = 7 - 5. Suppose -4*y - 4*i - 3 = 1, -y - 3*i - 7 = 0. Suppose 0 = -5*a + 5*m - 25, -3*a - 5*m = -4*a - 25. Solve x*p = -a*p - y for p.
-1
Let j = -1 - -2. Suppose 4*d - 20 = -d. Solve -d = -3*y - j for y.
1
Let h(f) = 0*f**2 - 5*f + f**2 + 12*f - 4. Let u be h(-8). Suppose 0*a - 24 = -2*a. Solve a = 2*l + u for l.
4
Suppose -f = -2*m - 14, 3*f - 4*m - 15 = 21. Let p = f - 6. Suppose 3*z - 5*g = 34, -1 = -3*g - 16. Solve 0 = z*l - 2*l - p for l.
2
Let f(b) = 2*b**3 + b + 2. Let j be f(-2). Let l = j - -16. Solve -x + l = 1 for x.
-1
Suppose 22 = q - 5*h, 3*q - h + 19 = -3*h. Let o be q*(-8)/6 - -1. Suppose -o*w - s + 25 = 0, -w + 20 = 3*w + s. Solve 2*i - i + w = 0 for i.
-5
Let l = -16 - 3. Let i = -14 - l. Solve 4 = i*h - 6 for h.
2
Suppose -19 = -5*v - 3*q, -4*q - 16 = -2*v - 8*q. Solve 0 = -v*c - c - 6 for c.
-2
Let x be 2/2*(-4 - -3). Let p be 2*x/4*-6. Solve -2*k - 1 = p for k.
-2
Suppose -5*a - 4*y = -16 - 5, -4*a - y = -8. Let k be (6/(-5))/((-6)/20). Let q be k/(-6) - 14/(-21). Solve -v + a + 1 = q for v.
2
Let m be (-1)/(-2)*(-1 + 7). Suppose 11 = -3*c - 4*r, -2*c - m*r = c + 6. Let h be ((-8)/c)/((-2)/15). Solve 3*x + h = 8*x for x.
4
Suppose -3*q + 12 = -0*q. Solve k + q = -k for k.
-2
Suppose 3*c + o + 7 = -6, 0 = 4*c + 5*o + 21. Let t be (-2)/(8/c)*0. Solve t = 4*v - 6 - 2 for v.
2
Let g be (-3)/2*(-32)/12. Suppose 3*a - 15 = w + 2*w, 0 = -g*a + 2*w + 22. Solve 21 - a = 3*i for i.
5
Let o be (-8)/3*(-4 + 1). Suppose -f - f = -o. Solve -7 - 13 = f*v for v.
-5
Let j = -4 + 9. Let b = -3 + j. Suppose -b*t = -3*t. Solve t*w = -4*w for w.
0
Suppose 3*y - 1 = 3*i - 28, i - 3*y = 17. Let r = i + -7. Let m be 1/r*(-1 + -5). Solve m*n = 4 + 2 for n.
2
Let s(o) = -o**2 - 2*o + 3. Let k be s(-5). Let v = -9 - k. Let x be v/12 - 1/4. Solve 5*y + x = 10 for y.
2
Let z = -45 + 104. Suppose 2*d - z = -3*l, 3*d - 12 - 3 = -l. Let i be (-6)/l - 2/(-7). Solve i*k - 6 = -2*k for k.
3
Let w be (-1)/(11/(-5) - -2). Let s(n) be the first derivative of -n**4/4 - 2*n**3/3 + 3*n**2/2 + 3*n + 1. Let m be s(-3). Solve -m = -2*x + w*x for x.
-1
Suppose 2*m - 6*m + 3*j + 31 = 0, 0 = -m - 2*j - 6. Solve -m = 5*x + 21 for x.
-5
Suppose 0 = -f - 3*f + 16, -3*j + 4*f = 10. Solve j*m - 13 + 5 = 0 for m.
4
Let d(j) = j - 1. Let x(s) = 1. Let t(c) = d(c) + 6*x(c). Suppose -5*h - 14 = 1. Let m be t(h). Solve -2*l - m = 2 for l.
-2
Let s = -5 + 13. Suppose -g + 3*v - 6 = 0, -s*g + 3*v = -4*g - 12. Solve -g = -i - 2 for i.
4
Let t(k) = -2*k + 5. Let c be t(0). Let z be 0*(-1)/4*2. Solve z = -c*d + 2*d for d.
0
Suppose 4*i - 10 = 2. Let n be (2 - i)*(4 + 0). Let l be (-10)/n*(-4)/(-5). Solve -a = -0 - l for a.
2
Suppose -4*v + 7*v = 24. Suppose 0 = -3*t - 4*g + v, t - 7*g = -2*g + 9. Solve -t = -3*u + u for u.
2
Suppose 0 = -3*m - 4*t + 26, m + 0*m - 5*t + 23 = 0. Suppose -2*u - 4 = -0. Let l = m + u. Solve l*s - s = 3 for s.
-3
Suppose -5*s = -2*r - 21, -2*r = -s - 5*r + 11. Suppose -s*z = -y + 15, -2*y + 4*y - 6 = 2*z. Solve -2*g = -y*g for g.
0
Suppose 0 = 3*d + 12, -m + d + 2 = -2*m. Suppose -v = -m*v. Solve b = -v*b for b.
0
Let q be (-1)/(-3)*-3*-12. Solve -4 - q = -4*r for r.
4
Suppose -g - 28 = -3*g. Let m = g - 10. Solve -2*r + 0*r - m = 0 for r.
-2
Let a(m) = -m**2 + 5*m + 8. Let w(d) = -d**2 + 5*d + 7. Let b(g) = -6*a(g) + 7*w(g). Let t be b(4). Suppose -5*x + 9 = -2*x. Solve t*h = x*h for h.
0
Suppose -10 = 3*j - 25. Solve -j*g + 6 = -9 for g.
3
Let o = 24 - 24. Solve o = 5*m - m - 16 for m.
4
Suppose -3*p = 11 + 4. Let a = p - -15. Solve 3*d = d + a for d.
5
Let u = 0 - -4. Let f = 2 + u. Solve -3*z + f = -6 for z.
4
Let j = -4 - -10. Suppose -j*p + p + 10 = 0. Solve 10 = -4*n + p for n.
-2
Let x be 64/30 - ((-8)/15)/(-4). Solve -y + x = 7 for y.
-5
Suppose -5*x + 26 = 6. Solve 3*r = 2*r - x for r.
-4
Let u = -17 + 17. Solve t = -u*t + 5 for t.
5
Suppose 3*v = -3, -3*y = 2*y - 5*v - 65. Let w = 31 - 29. Suppose 0 = i - j - y, w = -i - j + 6. Solve -o = o + i for o.
-4
Let x(c) = -c**2 - c - 8. Let r be x(0). Let n = -1 - r. Solve n*g = 3*g - 20 for g.
-5
Let s(z) = -z**3 + 7*z**2 + z - 5. Let q be s(7). Solve 15 = -q*n - 3*n for n.
-3
Suppose 307*i + 12 = 309*i. Solve 25 = -i*m + m for m.
-5
Suppose 2*u + 0*u - 6 = 0. Let d be (-2)/2 - (-45)/(-9). Let q(s) = s**3 + 6*s**2 + 5. Let o be q(d). Solve u*f - 4 = o for f.
3
Let k(c) = c**2 - 5*c. Suppose 0*z - z + 5 = 0. Let o be k(z). Solve o*y = -y - 3 for y.
-3
Suppose m = -z - 2*m - 2, 2*z = 3*m + 5. Solve -5*k + 4 = -z for k.
1
Let f(l) = 3*l - 6. Let p be f(4). Let r be (p/(-12))/(2/(-12)). Solve t = -r*t - 16 for t.
-4
Let a be 4*1 - (21 - 19). Solve 2*i - 20 = -a*i for i.
5
Suppose 0 - 5 = -n. Solve 2*u = 5 + n for u.
5
Let x be 5/10*-1*4. Let z = x - -8. Solve -3*b + 6*b = z for b.
2
Let q be (-4)/6 + (-528)/(-36). Suppose q*x = 12*x + 6. Solve 0 = -h - x*h - 4 for h.
-1
Suppose 0 = 6*m - 34 + 4. Suppose p - 6 = -2*q + 6*p, 2*q + p + 6 = 0. Let h be (1 - 1)/(0 + q). Solve h = m*i + 13 - 3 for i.
-2
Let r = 12 - 8. Solve 20 = t + r*t for t.
4
Let a(k) = 2*k**2 + k - 1. Let n be a(1). Suppose -5*u + 2*h - n = 0, -6*u = -u - h + 1. Solve -2*b + 4*b + 6 = u for b.
-3
Suppose 7*t - 8 = q + 5*t, 5*q + 5*t - 20 = 0. Suppose q*w - 3 = -3*c - w, -12 = 4*w. Suppose 2*i - c*y = 44, 4*i - 88 = 4*y - y. Solve 4*z = i - 6 for z.
4
Let g be (60/(-42))/(4/(-14)). Solve -z + 0*z = g for z.
-5
Let m = 2 - -1. Let u(o) = 1 - o**3 - 1 + 6*o**2 + m - 5*o. Let t be u(5). Solve 8 = s + t for s.
5
Suppose 13 = 3*j + p, -3*p - 11 = -2*j - 6*p. Suppose r - 1 = -j*k, 4*k + 18 = -4*r - k. Let l = r - -7. Solve -2*w - 10 = -l*w for w.
-5
Suppose 0 = 2*u + 3*u - 2*j, -u = j - 7. Solve c = -u*c - 9 for c.
-3
Let f = 1 + 3. Suppose 0 = -5*g + f*g + 7. Solve 5 + g = -3*q for q.
-4
Let j be 1/(((-3)/18)/1). Let k(f) = -f - 8. Let h(n) = 1. Let p(c) = -2*h(c) - k(c). Let s be p(j). Solve w - 1 = -s for w.
1
Suppose 5*v + u = 2, -3 - 4 = 2*v + 3*u. Solve 0 = s - v for s.
1
Let o be 171/4 + (-2)/(-8). Suppose -3*h = -o + 4. Solve h = 5*p - 12 for p.
5
Suppose 4*t - 14*t = -40. Solve 0 = t*g - 5*g - 2 for g.
-2
Let p = 2 - 0. Suppose 5*h + g - 6 = 0, -g + 2 = h + p*h. Solve 0*b + h*b = 2 for b.
1
Let w(q) = q**2 + q - 20. Let x be w(-5). Solve x*a - 9 = -3*a for a.
3
Let q = -11 - -7. Let u be (0 + 0)*(-2)/q. Solve u = -t - 0*t + 1 for t.
1
Let n be 0/((-1)/(2/(-4))). Let a(b) = -2*b - 7. Let i be a(-5). Solve -c + n = i for c.
-3
Suppose 0*o - o + 10 = 3*g, 4*g - 7 = 5*o. Solve -3*k - 7 = -o for k.
-2
Let s(t) = -10*t**3 + t. Suppose 5*d - 4*w + 13 = 0, 5 = -3*d - 2*w + 3*w. Let i be s(d). Let x be (-6)/i*3 - -2. Solve 10 = 2*f - x*f for f.
5
Let i(o) = -o**2 + 3*o + 3. Let w be i(3). Suppose 0 = 3*y - 21 + 3. Let u(f) = -f**3 + 6*f**2 + 6. Let l be u(y). Solve -l = -6*z + w*z for z.
2
Let p(q) = 2*q - 25. Let y be p(15). Solve 0*s - s = -y for s.
5
Suppose -4*i = 5*u - 16, 9*i = 5*u + 5*i - 24. Let c be (-4 + 2)/(1/(-3)). Suppose k = 4*q - c, -4*q + 2*q = k - 6. Solve u*m - 5*m + k = 0 for m.
2
Suppose 0 = -x - 5*c + 2*c - 11, 0 = 4*c + 20. Let l = -31 - -31. Solve l = 4*k + 16 - x for k.
-3
Let a be -3 + (-4)/((-12)/9). Let z be a*3*(-3)/(-9). Solve -3*l - 11 - 1 = z for l.
-4
Suppose 2*l - 12 = -2*l. Solve 0 = 2*u + l*u + 20 for u.
-4
Let p = -12 - -23. Suppose -3*n + p = 5*s, 3*n + 4 - 65 = 5*s. Suppose 0 - n = -4*h. Solve -5*l - h = 17 for l.
-4
Suppose 0 = y + z - 11, y = -2*y + z + 25. Suppose 1 + y = 5*m. Suppose 3*w - 2*w - m = 0. Solve -3*s + w = -4*s for s.
-2
Let c = -1 + 0. Let m(h) = 2*h**2 + 1. Let r be m(c). Suppose b + 2*z + 16 = -2*z, r*b = -5*z - 13. Solve 0 = -o + b*o for