= c. Suppose l + 3*l = 0. Solve l*j + a*j = 0 for j.
0
Let j = -12 + 8. Let x = -3 - j. Solve g - 2 + x = 0 for g.
1
Let z(d) = -d**2 + 3*d + 2. Let l be z(2). Let u be 18/l - (-1)/2. Solve -3*w - 11 + u = 0 for w.
-2
Let v be 6*(-1 - (-2)/6). Let n be v + (-2)/(-2) + 1. Let g = n - -4. Solve -g = 3*w - 5 for w.
1
Let i(m) = m**3 + 4*m**2 - 2*m - 4. Let j be i(-4). Suppose -t - 2*y = -0*t + 2, 2*t = -y + 8. Solve -j*c + c = t for c.
-2
Let r be 0/(1 + -2 + 3). Solve r + 2 = l for l.
2
Let a(i) = -i**3 + 2*i**2 + 5*i - 4. Let k be a(3). Solve 12 = -k*t + 4 for t.
-4
Let s(b) = -b**3 + 7*b**2 + 10*b - 4. Let v be s(8). Let y = v + -8. Solve k = y*k - 6 for k.
2
Suppose 16*w = 17*w - 6. Solve -2*q + w*q + 20 = 0 for q.
-5
Suppose z = 2*z - 3. Let r = 38 - 38. Solve z = d - r for d.
3
Suppose 6*z = 4*z - 5*n + 39, 5*n - 27 = -z. Solve -5*i = -13 - z for i.
5
Let c = 6 - -4. Suppose y = -4*y + c. Solve 2 = -2*o - y for o.
-2
Let s(f) = -f**2 + 2. Let j be s(0). Let l be 3/j*196/21. Suppose -17 = -u - 3*a, -2*u - 2*a = -0 - l. Solve u*b = 7*b for b.
0
Let c be 45/2*(-12)/(-15). Suppose -3*a + a - c = 0. Let u(t) = -t**2 - 11*t - 13. Let m be u(a). Solve -3*w = -m*w - 4 for w.
-2
Let o be 8/(-24) - 1/((-3)/46). Solve 0 = 4*d - d - o for d.
5
Suppose -4*g + 9 = -7. Solve -3*i - g = -19 for i.
5
Let d(y) = -y + 6. Suppose -2*z - 2*k - 4 = -4*z, -4*z = -5*k - 4. Let r be d(z). Suppose 5*v - 45 = -4*g - 0*g, -5*g = 3*v - 66. Solve 3*u + r*u = g for u.
5
Suppose 3*t + 3 = 6. Solve 5*v + 14 = -t for v.
-3
Let k(x) = 17*x - 25. Let q be k(2). Solve q = -5*s + 34 for s.
5
Let r(l) = 6*l**2 - l - 1. Let y be r(-3). Suppose -y = -3*p - 4*w, 0*p - w - 62 = -4*p. Suppose j - 5*j + p = 0. Solve -3*i + j*i - 3 = 0 for i.
3
Let x = -1 - -1. Solve x = 2*a + 2 + 8 for a.
-5
Suppose 0*n - n - 8 = 0. Let l(f) = -f - 9. Let t be l(n). Let v be (2/(-4))/(t/4). Solve -r = v*r for r.
0
Let w = 2 - -3. Solve -w*s = 5 + 15 for s.
-4
Let m = 1 - -3. Solve s + m = -s for s.
-2
Let x(n) = n - 10. Let b be x(10). Suppose -3*a + r - 13 = -7*a, b = -a - 2*r + 12. Suppose 0 = 2*t, a*t - 5 = -g - 0*g. Solve -2*d + 1 = -g for d.
3
Suppose 0*r + 5*k - 17 = 3*r, 4*r + k + 15 = 0. Let f be -1*(-5 - r/1). Solve v - f = -2 for v.
-1
Let k = -41 - -43. Suppose -c + 4*c = -5*t, -5*t - 30 = -3*c. Solve 3 = -k*y + c*y for y.
1
Let v = 8 + -12. Let x be -1*((v - -2) + 0). Suppose 5*p = y - 37, -x - 14 = 4*p. Solve -y = -5*w + 3 for w.
4
Let u(x) = -2*x - 6. Let y = -8 - -3. Let q be u(y). Suppose 0 = 5*t + 2*w - 11 + 1, -w = q*t - 8. Solve -6*l = -t*l for l.
0
Suppose 4*k - 1 + 12 = -3*n, -3*n - 15 = 0. Let q be -3*k/(-3) - 1. Solve -3*d + 3 = -q for d.
1
Suppose k - 16 = -3*k. Suppose -k*u - 3*q = -23, 7*u - 5*q = 4*u + 39. Solve -3*v = -u*v for v.
0
Let n be 38/4 - 3/(-6). Suppose n - 4 = 3*m. Solve -2*b - 4 = m*b for b.
-1
Let p(z) = z + 10. Let o be p(-9). Suppose 5 = -2*b + 3*n, -4*b + 3*n - o + 0 = 0. Let i(f) = -f**2 + 3*f - 1. Let x be i(b). Solve -5 = -2*q - x for q.
2
Let b = 109 - 106. Solve -4*u + 3*u = b for u.
-3
Let y = -24 + 27. Solve 2*x - 1 + y = 0 for x.
-1
Let t be 0 + 262/14 + 10/35. Solve -4*w + 7 - t = 0 for w.
-3
Let d be (-1)/4 + 10/8. Let k(i) = 2*i**2 - 40*i + 4. Let h be k(20). Solve 3*o - h = -d for o.
1
Suppose 4*l + 5 = 3*p, 3*l = p + 4*l - 4. Solve -2 - p = g for g.
-5
Suppose -4 = 4*l + 8. Let k be (2 + l + 2)*9. Let w = 13 - k. Solve w*h = -h + 25 for h.
5
Suppose 0 = 2*a - 5*a. Suppose -2*d + 10 = l - 2, a = d - 1. Suppose 4*m = -m + l. Solve x + m + 2 = 0 for x.
-4
Suppose -48 = 3*n - 6*n. Let y be (n/(-6))/(14/(-21)). Solve 12 = y*a + 4 for a.
2
Let d be ((-3)/6)/(2/(-316)). Suppose -19 = 4*r - d. Solve 0 = 2*i + 3*i - r for i.
3
Suppose 27 = 4*k + 3*g, 10 = -5*k + 4*g + 5. Solve s = k*s - 4 for s.
2
Let j(s) = s**3 - s**2 - 2*s. Let i be j(2). Solve i = -h - h for h.
0
Suppose -3*i + 10 = d, 3*i - 5*i + 2*d - 4 = 0. Let u = 14 + -9. Suppose n - i*t = 6, -2*n + 7*n = -u*t. Solve 0 = -n*c + c for c.
0
Let k(l) = -2*l - 18. Let q be k(-12). Solve -3*b = -b + q for b.
-3
Let n(f) = -f**3 + 3*f**2 + 10*f + 5. Let j be n(5). Solve -2 = -v - j for v.
-3
Suppose 0*o = -4*o + v - 15, -2*o - 12 = -2*v. Let d be o/12*2*-10. Solve -x + 2 - d = 0 for x.
-3
Let y be 0 + 6 - 0/(-2). Solve -4*u + 2 + y = 0 for u.
2
Let q be (-39)/(-12) - 6/(-8). Suppose -q*y + 6 = -2. Solve -10 = -0*r - y*r for r.
5
Suppose 8*q = 31 - 15. Solve -3*i + 4*i + q = 0 for i.
-2
Suppose -42 = -0*p - 3*p. Let o(f) be the first derivative of -f**3/3 - 3*f**2/2 + 2*f - 2. Let n be o(-3). Solve -3*t = n - p for t.
4
Suppose -v - 3*v - 2*y = 16, 4*y = 0. Let d be 1/v + 168/32. Solve 0 = d*c - c + 12 for c.
-3
Let y be 12/(-21) + (-36)/(-14). Solve -2*z = y*z - 16 for z.
4
Let y = 90 - 86. Solve -z = y*z + 20 for z.
-4
Let n(z) = z**2 - 12*z + 11. Let b be n(11). Solve 2*p + b*p = -2 for p.
-1
Let o be -15 - -16 - (-2)/(-2). Solve 3*t + 3 = -o*t for t.
-1
Let a = 32 - 7. Let s be 2/(-4) - (-429)/66. Solve -a = -s*t + t for t.
5
Let d = -15 - -18. Solve -3 - d = -3*h for h.
2
Let h be (-2)/10*2*-5. Suppose -2*z - 15 = 2*c - 5, 0 = -c - 5*z - 25. Suppose 0 = -c*g + g. Solve -h*n - 2*n = g for n.
0
Suppose 5*z + 0*z + 4*d = -1, 2*z = 5*d + 26. Suppose 0 = -4*u - 5*m + 177, m - 41 = -5*u + 175. Let j be 3/(-5) + u/5. Solve -j = -z*k + 7 for k.
5
Let v = -4 - -9. Suppose -39 = -3*u + 2*u. Let l = u + -23. Solve v*w + l = -4 for w.
-4
Let a be (-22)/(-143) + 41/(-13). Let x be 3/((1 - 3)/(-2)). Let j be x/3 + a - -6. Solve 16 = 5*m - j for m.
4
Let f be (2 + -1 + -1)*1. Solve p = 2 - f for p.
2
Suppose -8 + 2 = -p. Let n be (0/(-4*5/(-20)))/2. Solve n*u = -3*u - p for u.
-2
Let i = 21 + -12. Solve -4*p = -1 + i for p.
-2
Let z be (-9)/36 - (-2)/8. Suppose z*p = -p. Solve p = h + 4 - 0 for h.
-4
Let c = 45 - 45. Solve 8 = 4*j - c for j.
2
Suppose 2*b + 15 = -4*p + 5, 4*p - 25 = 5*b. Suppose p = y - 2*x - 6, 2*y + 4*x + 9 + 3 = 0. Let m = 9 + -5. Solve y = -5*w + w + m for w.
1
Let i be (0 - -1)*(7 - 5). Solve a - 3 = i for a.
5
Suppose 27*j - 80 = 22*j. Suppose 4 = c + 1. Solve 7*u - c*u = -j for u.
-4
Let b be (-5)/((-15)/2)*6. Solve 17 = -b*f + 1 for f.
-4
Let n be (299/26)/((-2)/4). Let j = 35 + n. Solve -2*o - 2*o - j = 0 for o.
-3
Suppose -20 = -5*a, 2*v = -a + 4*a - 10. Let b = v + 2. Suppose -u - b*r - 5 = 0, 2*u - 3*r = -2*u + 25. Solve u*n + 19 - 7 = 0 for n.
-3
Suppose -i - 5*z + 23 = -6*z, -4*i = 2*z - 68. Solve -5*m - i = 6 for m.
-5
Let u = 1 + 3. Solve -3*x + u = -2 for x.
2
Let j be (-1 - -1)/((-2)/(-2)). Suppose -3*h + 7*h + 5*d - 9 = j, -3*h + d + 2 = 0. Solve 4*f + h + 19 = 0 for f.
-5
Let n(p) = 2 + 4*p - 9 + p**3 + 0 - 8*p**2. Let c be n(8). Suppose 5*a - c = -10. Solve 0 = -s - a*s - 4 for s.
-1
Suppose -9 + 1 = -4*z. Let t be z + (-3 - (1 - 1)). Let l = t - -8. Solve 2*s + 15 = l*s for s.
3
Suppose -k + 3*k = -3*k. Solve -s + 2*s = k for s.
0
Let f be (-3 - -4)/((-4 + 1)/(-45)). Solve 0 = 3*c + f - 3 for c.
-4
Suppose -3*z + 0*z + 12 = 0. Let f = 12 - 6. Suppose y - 3*k = -f, -y + 0*y + 2*k = 3. Solve 0 = y*x + 1 - z for x.
1
Let r = 11 + -8. Suppose -4*u - 7 = -r. Let o be u + 5 + 1 + 0. Solve -2*v + 12 = -o*v for v.
-4
Let w = 9 - 7. Let y be w*(-2)/((-16)/20). Solve 0 = -y*p + 8 + 7 for p.
3
Let m(s) = -7*s - 4. Let j(h) = 8*h + 5. Let a(i) = 5*j(i) + 6*m(i). Let n(o) = 3*o + 1. Let q be n(-1). Let g be a(q). Solve -5 = g*b - 0 for b.
-1
Let s = 2 - 3. Let w = 1 + s. Let d be (-1)/6 + 130/60. Solve -3*c - d - 4 = w for c.
-2
Suppose -2*p = 2 - 6. Let g = p + 0. Solve 1 - 3 = -g*u for u.
1
Let l be 6/(-36) - (-62)/12. Solve -17 + 2 = l*s for s.
-3
Suppose 134*s = 132*s. Solve 6*x - 4*x = s for x.
0
Suppose 0 = -5*a + 8 + 12, -a = -2*p. Let b(r) = -r + 9. Let c be b(7). Solve -c*x + 2 = -p for x.
2
Let i(k) = k. Let d(g) = -4*g. Let s(u) = -d(u) + 2*i(u). Let q(m) = m**3 + 5*m**2 + 4*m + 2. Let n be q(-4). Let l be s(n). Solve 4*c - c = -l for c.
-4
Let q = -17 + 28. Solve -4*g = -q - 9 for g.
5
Suppose -4*q - 4*u + 8 = -6*q, -8 = -q - 2*u. Solve -2*t + 0*t = -q for t.
1
Let n(g) = g**3 - 4*g**2 - 7*g + 10. Let a be n(5). Solve a = t - 6*t + 25 for t.
5
Suppose -17*q = -15*q - 10. Solve 2*k + 9 = q*k for k.
3
Suppose -1 = o - 4. Suppose 2*c = -o*w + 58, 4*w + c - 81 = 2*c. Solve 