 for m.
0
Suppose 5*f - 17 = -2*b, -2*b = 2*b - 4. Suppose 4*n = -25 - f. Let k = -4 - n. Solve -k = -0*y - 3*y for y.
1
Suppose -n - 4*n + o = -61, -22 = -2*n - 2*o. Solve 6*l = 3*l - n for l.
-4
Suppose 4*a + 20 = -4*p, -a - 1 = -p - 4. Let d be -2 + 13 + -2 + a. Suppose -3*t - 30 = -d*t. Solve -3*q + 9 + t = 0 for q.
5
Suppose 1 - 19 = -9*j. Solve -c = -j*c + 1 for c.
1
Suppose 0 = -36*y + 41*y - 10. Solve 0 = 2*z + y - 0 for z.
-1
Let w(a) = a**2 + 3*a - 2. Let s be w(-4). Suppose u = 2*u - 3*o + 2, 4*o - 2 = s*u. Solve -l + 5 = u for l.
4
Let v = 50 - 43. Suppose -2*r - 5*g = -r - 16, -2*r = 2*g - 8. Let u = r + -1. Solve u = v*a - 2*a for a.
0
Let v(k) = k - 6. Let d be v(8). Solve -3*m - d = 1 for m.
-1
Let y = 14 + -25. Let k = y + 13. Solve -4*l = -k*l - 6 for l.
3
Let w(a) = 2*a**2 - a - 2. Let f be w(2). Solve 0 = -x - f for x.
-4
Suppose 2*j - 5 = -2*y - 1, -5*y + 1 = -4*j. Suppose 2*a = f + j, -2*f = 5*a - 3*f - 4. Solve 2*p + a = -1 for p.
-1
Let r(k) = -k**3 + 5. Let x be r(0). Let d = x - 2. Solve 5 = -d*p - 2*p for p.
-1
Let l(p) = -p**2 - 2*p. Let j(u) = u**2 + u. Let x(s) = 2*j(s) + l(s). Let g be x(0). Let r = -18 + 26. Solve r = -2*o - g*o for o.
-4
Suppose v - 2*v = -5*k - 25, 10 = -2*v - 2*k. Let r be 1/4 - 14/(-8). Let a be (1 - -1)/r*v. Solve -j + 2 = -a*j for j.
2
Let h be (-3)/(-3 + 4) - -3. Let s be (2 - h - 2) + 8. Solve s + 2 = -2*l for l.
-5
Let l(i) = 2*i + 2*i**2 - 8 - 6*i**2 + 4 + i**3. Let w be l(4). Solve -w*d = -6 - 10 for d.
4
Let s(h) = 2*h**2 - 4*h + 3. Suppose -5*v + 3*v + 24 = 0. Suppose 2*o = 3*o + 3*l + 10, -2*o = -2*l - v. Let u be s(o). Solve 0 = -z - u*z for z.
0
Suppose -5*h - 11 = -2*u, -4 + 2 = u + 5*h. Suppose -3*w = -u*o - o + 6, -o = w + 2. Solve -l - l + 2 = o for l.
1
Suppose -5*q - 3*k + 7 = 0, 3*k = 2*q - 6 - 1. Solve q*b = 6*b - 8 for b.
2
Suppose 0 = 3*z + 2*z. Let o be (0 - (z - -1))*-2. Let b = 2 - o. Solve -3*s = -3 - b for s.
1
Suppose 0 = -3*o + 4 + 8. Solve 4 = -o*i - 4 for i.
-2
Suppose -2*i + 17 = 4*f - 1, 11 = 3*f + i. Solve -2*g - f = -6 for g.
2
Let d = -45 + 48. Solve 0 = -d*l - l - 4 for l.
-1
Let r be (1*(1 + -6))/(-1). Let i be 21/(-35) - (-18)/r. Solve -1 = -i*u + 2 for u.
1
Let j(l) = l - 2. Let v be j(2). Let c be ((-4)/(-3))/(6/45). Solve -3*z + c - 25 = v for z.
-5
Let c(t) be the first derivative of t**3/3 + 3*t**2/2 + t - 1. Let j be c(-3). Let u be -2*j/1 - -3. Solve 3*p - 14 = u for p.
5
Suppose -5*g = -3*c + 10, -3*g - 23 = -5*c - g. Solve 0 = u - c*u + 8 for u.
2
Let f(w) = w**3 - 8*w**2 - 12*w + 13. Let b be f(9). Let o = b + 19. Solve 0 = v - o for v.
5
Suppose 0 = 2*t + 5*q - 5 - 15, 4*q = -5*t + 16. Suppose 4*f = f. Solve -h + t - 4 = f for h.
-4
Let b(s) = s + 7. Let c be b(-3). Let k = 17 + -18. Let j(n) = -21*n. Let g be j(k). Solve 5 - g = -c*u for u.
4
Suppose 1 = v - k - 4, -v = 4*k - 5. Let h = -2 + v. Solve h*x - 2*x = 1 for x.
1
Let c = -23 - -29. Solve 4*q - 2*q + c = 0 for q.
-3
Let u be -4*((-27)/(-4))/(-9). Solve u = -5*g - 12 for g.
-3
Let a = -12 + 12. Suppose a*z = -z + 5. Solve p - 2*p + z = 0 for p.
5
Let d be 1 - (2 - -1) - -1. Let u(o) = 6*o**2. Let l be u(d). Let i = l + -3. Solve -2 = i*w - 8 for w.
2
Let u = -13 - -29. Solve -4*i = -0*i - u for i.
4
Let y = -6 - -2. Let b = -6 - -9. Let x be (y + 4)/(1*b). Solve x = 2*p - p - 3 for p.
3
Suppose -8*c + 7 = -3*c + 3*u, c + 4*u + 2 = 0. Let a(v) = v**2 + 1. Let i be a(c). Solve 0*k = i*k - 15 for k.
3
Let a(x) = -3*x - 1. Suppose 2 + 0 = -2*g. Let o be a(g). Let j = 2 + -2. Solve -o = -j*n - 2*n for n.
1
Let d(x) = 3*x - 2. Let y be d(2). Solve 2*i = -0*i + y for i.
2
Suppose 0 = -3*r + 6. Solve 0 = -n - r - 1 for n.
-3
Let c be (-1)/((-3)/63 - 0). Solve -c = -5*s - 6 for s.
3
Suppose -8 - 13 = -3*w. Solve 4*k - w = 9 for k.
4
Suppose 160 = 4*j - 0*j. Suppose 0 = -4*x - 0*x + j. Solve s + s + x = 0 for s.
-5
Suppose 0 = 5*w - 8 - 17. Suppose 3*c = -0*c + 2*b - 2, 3*b = -w*c + 3. Let n(s) = s - 2. Let d be n(4). Solve c = -d*a - 0 + 4 for a.
2
Suppose 3*y - 2*y - 8 = 0. Solve l = -l - y for l.
-4
Suppose 2*r + r - 5*m - 17 = 0, 13 = 4*r + 3*m. Suppose -2*a - r*y + 14 = 0, 4*a - 25 = -a - 5*y. Solve -a*i + 0*i = -15 for i.
5
Suppose 5*d + x = -4*x, -x = -d - 6. Let l = d + 16. Suppose 5*p + 5 = 5*b, 0*b - b + l = 5*p. Solve 2*t + b = t for t.
-3
Let h(i) = -i - 6. Let k(l) = 2*l + 11. Let x(g) = -11*h(g) - 6*k(g). Let v be x(-5). Let d = v - 5. Solve d = w - 5 + 2 for w.
3
Suppose 24 = 3*p + 18. Solve -4*b - p = -6 for b.
1
Suppose 0 = 2*k - 3*k. Let z = -14 + 11. Let m be (-5)/z - (-4)/(-6). Solve -m = n - k*n for n.
-1
Suppose -j + 28 = 4*i, j + 17 = 2*i - 3. Suppose -i = -2*x - 4. Solve 0 = -x*a + 6*a - 20 for a.
5
Suppose 2 + 25 = 3*f. Solve 5*m - 2*m = f for m.
3
Let m(q) = -q + 38. Let g be m(0). Let c = 18 - g. Let n = c - -34. Solve -5*v - n = -4 for v.
-2
Suppose -48 = -2*l - 40. Solve -3*i = -2*i - l for i.
4
Let j = 22 + -7. Let i be (j/(-20))/(2/(-8)). Solve 0 = -i*y - 2 - 1 for y.
-1
Let c be ((-12)/(-10))/(2/10). Let j be (-12)/(-6)*6/4. Let m = j - 1. Solve c = -2*l + m for l.
-2
Let h be (128/(-48))/((-3)/(9/2)). Solve h*w = 3*w + 5 for w.
5
Suppose -5*r = 3*w - 6*w - 30, 5*w = -25. Solve 5*d - r = -13 for d.
-2
Let n be (1/7 - 1)*-14. Let h = n - 20. Let u = -4 - h. Solve -u*q = -3 - 17 for q.
5
Suppose -42*c - 12 = -46*c. Solve -g - 8 = c*g for g.
-2
Let c(d) = d - 1. Let g be c(2). Let i = g + 2. Solve -m - 1 = -i for m.
2
Let b(n) = n**2 + 2. Let o be b(0). Let f be 12*(o - 12/9). Solve 2*h + f + 2 = 0 for h.
-5
Suppose -7*a = -4*a - 3. Solve 2*n - 3 = a for n.
2
Suppose -2*i - 2*u = 2*i - 8, -i + 2*u - 8 = 0. Solve 3*n + i = 6 for n.
2
Suppose -3*g = -6*g + 15. Solve -3*s + g = 14 for s.
-3
Let r(m) = 4*m**2 + 3*m - 2. Let i be r(1). Solve 2*c - i = c for c.
5
Suppose 5*o + 0*o - 61 = -4*n, 2*n - 26 = 2*o. Let y = n + -11. Solve -y*t + 7*t = 20 for t.
5
Let s(c) = -c**3 - 4*c**2 + 4*c - 5. Let n be s(-5). Solve n = q - 5 + 1 for q.
4
Suppose 3 + 1 = -2*u. Let k be -2 + u/(-2) - -2. Solve 0 = -2*y + k - 5 for y.
-2
Let z(n) = -6*n**2 + 3*n - 2. Let f be z(2). Let d be 5/f - 18/(-8). Suppose -3*p + 2*g + 2 = -8, 14 = 4*p - d*g. Solve p*c = -0*c for c.
0
Suppose 3*r = -4*v + 4 - 12, 0 = 5*r - 3*v - 35. Suppose 4 = -r*b - 4. Let s be 0 - (b - -1) - 1. Solve u - 2 = -s for u.
2
Let p(h) = h - 8. Let m be p(9). Let w be m*10 + (13 - 14). Solve -w - 6 = 3*x for x.
-5
Let d(s) = s**2 + s + 1. Let j be d(0). Let t(q) = -q**3 - 7*q**2 + 8*q + 6. Let o be t(-8). Solve 5*n - j + o = 0 for n.
-1
Suppose -4*l + 26 = -2*d, l + 3*d - 6 = 11. Suppose -3 = -z - 0. Suppose 0 = -5*v + 1 + 4. Solve v = z*j - l for j.
3
Let s be (-10)/(-2)*36/(-15). Let o = s - -18. Suppose -o*z + z = -10. Solve z*f = 6*f for f.
0
Let o = -32 - -35. Solve -o*j = -8*j for j.
0
Let c(i) = -i**2 - 6*i - 5. Let j be c(-5). Suppose -12 - 3 = -3*v. Let g = 4 + -2. Solve j = -g*m - v - 1 for m.
-3
Let j be 10*(-2)/8 + 42/4. Solve -2*y + 2 = j for y.
-3
Let q(b) = -b**3 + 13*b**2 - 12*b + 3. Let c be q(12). Suppose c*m + 10 = 5*m. Solve m = p + 4*p for p.
1
Let n(j) = -j**2 - 6*j - 2. Let x be n(-5). Suppose -8 = -g - x*g. Let c(s) = -s + 7. Let v be c(0). Solve -v = y - g for y.
-5
Let v(u) = -2*u - 3. Let g be v(-4). Solve 7 + g = -4*q for q.
-3
Let o = 16 + -11. Solve o = 4*b + b for b.
1
Suppose 0 = -2*a - 0 + 12. Suppose -3*r + 2*t + a = -5*r, 4*r = 3*t + 23. Solve y - 3 = -r*y for y.
1
Let t be (-22)/((12/3)/(-2)). Solve -4 - t = 5*v for v.
-3
Let t be 1 + (-2)/(8/(-12)) + 1. Solve 0*a - t*a = 25 for a.
-5
Suppose 0*n + 40 = -2*n. Let g be (12/(-5))/(4/n). Solve 8 + g = -4*b for b.
-5
Let x be (-6)/(-4)*(-16)/6. Let f(u) = -u**3 - 4*u**2 - 4*u + 4. Let w be f(x). Solve -5*p - w = -0*p for p.
-4
Let c = 31 - 26. Solve -3*b + c = 2 for b.
1
Suppose f = -q - 4 + 3, -5*q - 21 = -3*f. Solve 1 = -f*v + v for v.
-1
Let n(j) = 2*j**2 - j + 1. Let i(p) = 10*p**2 - 6*p + 6. Let o(x) = -3*i(x) + 16*n(x). Let t be o(-2). Suppose 3 = -t*m + 13. Solve 0*g = -m*g for g.
0
Let b(s) = s - 7. Suppose -5*y + 0*y = -50. Let h be b(y). Suppose h*p = n + 4, -p + 6 = p + n. Solve 2*g - 3*g = p for g.
-2
Let c(l) = -l - 1. Let w be c(-4). Solve -w*u + 2 = -u for u.
1
Suppose -3*s + 3*i = -45, 115 = 8*s - 3*s + 5*i. Suppose -3*