e j = l - 0*l for l.
1
Suppose c + 4*q = 4, -c + 8 = c - 5*q. Suppose 5*h = -n + 23, -24 = -2*n - c*h + 4. Suppose 0 = -3*u + u + n. Solve -2 = u*g + 6 for g.
-2
Suppose 0 = -3*v + v + 4*g - 2, -2 = -v + g. Let f = v - 3. Suppose f*h = 2 - 12, -3*h = 4*m + 7. Solve s = -s + m for s.
1
Let t = -13 - -15. Solve -2*j + 4*j + t = 0 for j.
-1
Suppose 0 = -2*x - 2*x + 36. Suppose 3*i - 30 = x. Solve 5*u - 33 + i = 0 for u.
4
Suppose -5*l - 5*m - 5 = 10, 2*l = m + 6. Let k(a) = 3*a**3 - a + 1. Let r be k(l). Let y = 22 - 12. Solve 0 = -r*d + 2 + y for d.
4
Let x = 14 - 20. Suppose y + 14 = -3*p - 2, -3*y - 34 = 2*p. Let g = x - y. Solve -3*q + 2 = -g*q for q.
-2
Let o be (0*(-2 - -1))/1. Let w be 1/2*(o + 16). Let i(g) = g - 5. Let z be i(w). Solve j + z*j - 20 = 0 for j.
5
Let f be -3 + 1/((-3)/(-9)). Solve -s - 4*s + 20 = f for s.
4
Let h(c) = -c**2 + 8*c - 7. Let i be h(6). Let k = i - 1. Let f be 3/(-12) - (-17)/k. Solve f*r = r for r.
0
Let j(q) = q**3 + 2*q**2 - 3*q. Let y be j(-3). Let l be (3 - (-9)/(-5))*(9 + -4). Let h be -2 - (1 - (-5)/(-1)). Solve y*u + h*u - l = 0 for u.
3
Suppose -4 = -2*r - 2*r. Let g = r - 0. Let z be (0*(-1)/3)/g. Solve z = u + 4*u + 5 for u.
-1
Let i(j) = 2*j**3 - 3*j**2 - j + 2. Let k be i(2). Let f be 2/2*(-2 - -2). Suppose f*s - k*s = 0. Solve 3*m + 0 + 3 = s for m.
-1
Let q be (-138)/(-7) - (-4)/14. Suppose k - 4 + 2 = 0, -4*x + 4*k + q = 0. Solve -4*r - 9 = -x*r for r.
3
Let d(h) = 2*h**2 + 2*h - 1. Let n be d(-2). Let u = -7 - -12. Suppose -28 = -4*m - 5*o - 3, m + o = u. Solve -2*y - n + 9 = m for y.
3
Let q(a) = -a**2 - a. Let f be q(-1). Let u(y) = -y + 2. Let d be u(-3). Let c(p) = p**2 + p. Let n be c(1). Solve -d*v + 13 + n = f for v.
3
Let r be -1 + 4/1 + 0. Suppose -5*n = -5*v - 35, -4*v + 0*v = -n + 16. Suppose 0 = -3*m - m + n. Solve 0 = -a + m + r for a.
4
Let h be (-2)/(1/2 - 1). Let x be (1 - 1)*(h - 5). Solve -2*d = -x + 8 for d.
-4
Let a = 0 - 2. Let f be (-4)/12 - a/6. Let s = f - -2. Solve -2 + 0 = s*m for m.
-1
Let y be (-1 - (-12)/16)*-20. Let p be (-1*3)/(6/(-8)). Suppose -f - 5 = 5*o - 6*f, -o - p = -4*f. Solve 2*i + y + 1 = o for i.
-3
Suppose 5*g - 2*c + 121 = 0, 0*c - 2*c = -2*g - 46. Let z = g + 25. Solve 0 = t - z + 2 for t.
-2
Let l = -1 - -3. Suppose c + l = 2*c. Suppose -6*j = -4*j + 2*y - 14, -4*j + 4 = -2*y. Solve 15 = -c*g - j*g for g.
-3
Suppose -2*p + 0*p - 5*o = -11, -5*o + 5 = 0. Let c(q) = -14*q - 36. Let g be c(-3). Solve g*f - 3 = p*f for f.
1
Suppose -4*n + 4*p + 36 = 0, 4*p + 28 = 2*n + n. Solve n = -2*w + 4 for w.
-2
Suppose 0 = -5*q + 3*z + 25, 0*q + z = -5*q + 25. Solve 0*u - 10 = -q*u for u.
2
Let a = -28 - -48. Suppose -s + a = 3*s. Solve -s = -2*f + f for f.
5
Let i(v) = -v**2 - 8*v + 1. Let n be i(-7). Suppose -2*d - n = -0*d + 4*c, 4*c + 20 = d. Solve 0 = 4*f + 4 + d for f.
-2
Let f = 9 + -6. Suppose -7*i = 2*w - f*i - 34, i - 3 = 0. Solve 4*h + w - 3 = 0 for h.
-2
Let a be -1 + 7 + -2 + 0. Suppose -a - 4 = -4*q. Let l be (-2 - 1) + (7 - -1). Solve 0 = l*p + 3 + q for p.
-1
Let p be 1 + 5/(15/6). Suppose p*r - 5 = -2*r. Suppose -m = -2*i - 3*i + r, -16 = 4*i - 5*m. Solve h + 2 = -i for h.
-3
Suppose n = -3*k - 3*n - 10, 5*n = 4*k - 28. Solve 0 = g + 6 - k for g.
-4
Suppose -c = 2*c + 5*z + 15, c + 2*z = -6. Solve c = -2*d - 4 for d.
-2
Let u be (0 - 1)/((-3)/(-33)). Let i = u - -18. Let p = 11 - i. Solve l - p*l + 3 = 0 for l.
1
Let a = 14 + -12. Solve 8 = -3*q + a for q.
-2
Let o(i) = 2*i + 29. Let w be o(-12). Let l(z) = -8*z - 1. Let b be l(-2). Solve w*u + 0 = -b for u.
-3
Let d(a) = -5*a + 3. Let x be d(2). Let q = 4 + x. Let k be (2 + -2)/(q - -2). Solve k = -0*s - s + 5 for s.
5
Suppose -2 = -3*m + i + 3*i, -2*m = 5*i - 9. Suppose -m*q = -5*q + 9. Let l be -1 + q + (-4)/4. Solve w - 1 = l for w.
2
Let s(v) = -42 + 40 - v**2 + 4*v + 2*v**2. Let k be s(-5). Solve -k = -3*h - 15 for h.
-4
Let q(p) = -p - 3. Let v be q(-8). Suppose 2*y + 0*t + 42 = t, -4*y + v*t = 90. Let s be (-2)/10 + (-404)/y. Solve -s = -3*x - 2*x for x.
4
Let v be -2 + (-4)/((-10)/5). Solve v = 2*s - 4*s - 6 for s.
-3
Let d = -10 + 14. Solve d = r + 3*r for r.
1
Suppose -5*t - 64 = -4*w, -4*t - t = -5*w + 75. Let v(r) = -r**3 - 3*r**2 + 7*r + 1. Let a be v(-5). Suppose 0 = 3*s - a - w. Solve -q = -4*q - s for q.
-3
Let r = 45 - 42. Solve r*v + v = 12 for v.
3
Let y(m) = m**2 - m. Let c be y(0). Let t(s) = s + 14. Let o be t(-10). Suppose c = 3*q + q + 2*x - 10, o*x - 20 = 3*q. Solve q = -2*p - 0*p + 4 for p.
2
Suppose 16*u - 7*u - 18 = 0. Solve 1 = 3*j - u*j for j.
1
Let m = -39 - -43. Solve m = 3*r - 5 for r.
3
Let z(f) = f**2 - 4*f + 7. Let j be z(5). Suppose 0 = -2*h + 5*s + 11 + 4, 0 = -5*h - 4*s - j. Solve h = -2*o + 3*o for o.
0
Suppose -2*m - 16 = -2*u, 5*m - 4 = 3*m - 3*u. Let l be (-3 - -11)*(-2)/m. Solve -2*o = -0*o - l for o.
2
Suppose 0 = -4*g + 12 + 36. Let j(y) = 2*y + g - 3*y + 2*y. Let x be j(-7). Solve -2*l + 3*l + x = 0 for l.
-5
Let c = 2 - 1. Suppose 0 = 3*y + b + 4*b - c, -y = -5*b - 7. Suppose 6 = -h + 4*h. Solve 0 = -0*s - h*s - y for s.
-1
Let f = -5 - -9. Suppose r - 63 = 4*r. Let l be 1/(-3) - 70/r. Solve -l*m + 4*m = f for m.
4
Let h be ((-5)/2)/(4/(-16)). Let w = h + -6. Solve z = w*z for z.
0
Suppose -1 = -3*k - 4. Suppose 4*n = -i - 12, 8*n - 5*n + i + 9 = 0. Let g = k - n. Solve -g*f = -3 - 5 for f.
4
Suppose -h - o - 4 = -0*h, 3*h - 4*o = -5. Let p = -4 + h. Let m = -3 - p. Solve 0*z = -z - m for z.
-4
Let w be (0 + 0)/(0 - -2). Suppose 4*q - 2*q = w. Solve y = -q*y for y.
0
Let c be (1 + -4)/(9 + -10). Solve c*i = 6*i for i.
0
Let w = -3 + 28. Let f be 5/(24/(-32) + (-1)/(-4)). Let q = w + f. Solve 2*r - q = -r for r.
5
Suppose 6 = 4*f - 4*k + 5*k, -k = 2*f - 2. Let c be 126/(-12)*f/(-3). Solve -19 = -3*b - c for b.
4
Suppose -11 = -3*h + b, -h + b = -2*b + 7. Suppose m + 3*p - h = 6, 5*m = -4*p + 44. Solve -3*u = -u + m for u.
-4
Let q be 1472/112 - (2 + -4)/(-14). Solve 0 = 2*u + 5 - q for u.
4
Let z = 9 - 5. Solve 0 = z*p + 28 - 12 for p.
-4
Let j = 2 + -2. Let k = 3 - j. Solve k*m - 6 = -0*m for m.
2
Let f = -15 - -34. Let y be -11 - (-5 - (-3 - (-4 - -4))). Let i = y + f. Solve -2*t = 3*t + i for t.
-2
Let n be 9*(1 - 2/(-6)). Solve -2*z - n = -5*z for z.
4
Let x be (-2)/(-2) + (2 - 1). Suppose -x*f - 12 = 4*s, -f - 7 = -5*s + 2*f. Let v be s/(-3) - (-2)/(-6). Solve v = -b - b for b.
0
Let k = 9 - 9. Suppose 4 = -k*r + r. Solve r = 4*b - 8*b for b.
-1
Let q = -4 - -2. Let z be -6*((-1)/(-3) + -1). Let d = q + z. Solve -4*n = -d*n for n.
0
Let x be 33/(-7) + (-8)/28. Let r be -3 + -1 + 3 - x. Suppose 0*a + 4*a - 88 = 0. Solve r*m = -2 + a for m.
5
Let t = 32 + -32. Solve -y - 4*y - 15 = t for y.
-3
Let l(c) = 2*c - 7. Let s be l(6). Suppose -s*y = -2*b - 43, 3*y - y - 16 = 2*b. Suppose v = -5*t + 3*v + 1, -5*v = -t - y. Solve -14 - t = 3*x for x.
-5
Let s = -4 + 13. Suppose -p + s = 5*v - 20, -v = -3*p + 7. Solve v*z + 3 - 8 = 0 for z.
1
Suppose -5*g = 5 - 15. Solve 6*k - g = 5*k for k.
2
Let u be ((35/10)/7)/((-2)/(-12)). Solve -u = -x - 0 for x.
3
Suppose 0 = -2*o + 5*t, -2*o = 2*o - 4*t. Solve o = 2*u - 4 for u.
2
Let c be 7/(-1) - (-3 + 0). Let t(h) = -5*h**2 - h + 4. Let y(w) = 6*w**2 + w - 4. Let r(j) = c*y(j) - 5*t(j). Let p be r(-4). Solve -3*d - d = -p for d.
2
Let p(y) = -1 + 3 + 1 + y + 10. Let a be p(-9). Suppose -3*d = -g - 14, 6*d + a*g = d + 46. Solve 2*b + 0*b = d for b.
3
Suppose j - 6*j + m + 12 = 0, 0 = 5*j + 5*m - 30. Suppose 0 = -2*i + 4*s - 2 - 4, j*i - s - 6 = 0. Solve 0 + i = -o for o.
-3
Let d(s) = -s**2 - 3*s + 2. Let l be d(-3). Suppose -2*c - l*c + u + 21 = 0, -4*c + 4*u = -12. Let r be (76/6)/(4/6). Solve r + c = -5*o for o.
-5
Let t be 3/(-1)*3/(-9). Let z = 7 - 4. Suppose 4*q - 4 = z*w - 16, 0 = -2*q. Solve t = d + w for d.
-3
Suppose -5*g - 5 = i - 2*g, 0 = -2*g - 6. Suppose j = i*j - 15. Solve j*b + 3 = 2*b for b.
-1
Let f(j) = 2*j + 20. Let c be f(-8). Solve 3*w + c = 2*w for w.
-4
Suppose -2*f + 6 = -4*t, 4*f - f - 5 = 2*t. Let j(g) = -4*g**3 + g**2 - 1. Let q be j(t). Solve -h + 3 = q for h.
-1
Suppose -d = -4*x + 11, -2*d - 2*d = 3*x + 6. Solve 2*m - 8 = -x*m for m.
2
Let b = 28 + -13. Let z(n) = n - 15. Let x be z(b). Solve 5*u + 4 - 29 = x for u.
5
Suppose 0 = -5*m + 3 - 48. Let c = -6 - m. Solve -2*q - c*q 