x*m for m.
0
Suppose 0 = -v - 4 + 13. Let i = v + -7. Suppose -i*x + 6 = x. Solve 0*p - x*p + 8 = 0 for p.
4
Suppose 0 = -5*r - 5*v + 45, -5*r + 3*v = -2 - 11. Solve 0 = x - 0*x - r for x.
5
Let p be -6*1*-2 + 0. Let v = 611 - 609. Solve -v*a = a + p for a.
-4
Let i be 3*-3*4/18. Let g(a) = -2*a**3 - 3*a**2. Let m be g(i). Let l(t) = 7*t. Let c be l(1). Solve c = m*k - 9 for k.
4
Let l be 3 - 6 - (-2)/(-1). Let a be 2 - (l + 3 - 1). Suppose 0 = -5*q - 2*u - 10, -5*q + u = -a - 0. Solve q*y = y for y.
0
Let j = -68 - -68. Solve 5*x - 9 - 11 = j for x.
4
Let s be (-4)/(-3)*15/10. Suppose 4*l = o + 4, 2*l - o - 8 = -2*o. Solve l - 4 = -s*m for m.
1
Let f be 244/(-28) + (-4)/14. Let u = f + 13. Suppose -3*s + 0*s - 4*h + 71 = 0, -105 = -u*s + 5*h. Solve s = -2*l - 3*l for l.
-5
Suppose -7 - 9 = -8*j. Let n = 1 + -1. Solve n = -2*k - j*k + 16 for k.
4
Let s(y) = 2*y - 12. Let o be 39/9 - (-2)/(-6). Suppose 0 = -2*d + o*d - 16. Let m be s(d). Solve -m*t = -8 - 12 for t.
5
Suppose 10 = 2*g, -3*s - 3*g + 15 = -0*g. Suppose s*t = -3*t. Suppose -12 = -2*p - p. Solve 0 = -t*b - p*b + 20 for b.
5
Suppose a - 7 = 6. Let i be (-12)/8*8/2. Let j = i + a. Solve j*m - 2*m = 5 for m.
1
Let r be (-3 - (3 - 2)) + 3. Let b be (2/2)/r*0. Suppose b = -3*n + 8*n - 15. Solve n = -u - 0*u for u.
-3
Let b be (-5)/(-3) + 16/(-6) + 3. Solve 5 = -b*f + 15 for f.
5
Let g = 176 + -172. Solve 2*z - g = -12 for z.
-4
Let j be (5 + -1)*1/2. Let i(w) = w - 3. Let c be i(7). Suppose -7*v + 5 = -51. Solve c*y - j*y + v = 0 for y.
-4
Let y = -94 + 97. Solve 5 = -4*i + y*i for i.
-5
Suppose 0 = 4*x + 5 - 9. Let h(m) = 3*m - 1. Let f be h(x). Solve 0 = -5*l + f*l + 6 for l.
2
Let d(p) = 24*p**3 + p**2 - 2*p + 1. Let z be d(1). Let q be (5/(-3))/((-2)/z). Let f be ((-27)/18)/((-6)/8). Solve 0 = -6*n + f*n - q for n.
-5
Suppose -2*o + 31 = -3*l + 5, -5*o - 5*l = -90. Solve -2*n = 2*n - o for n.
4
Suppose 0 = m - 3*h, 2*m - 2*h - 44 = 5*m. Let c = m + 29. Solve 0 = 5*g + c + 8 for g.
-5
Suppose 16 = 6*l - 8. Suppose m - 6 = 3*i + l*m, 0 = 4*i + 2*m. Suppose 14 = 4*s + 2*u, 2*s + 2*u + 1 = s. Solve 0 = s*o + i + 18 for o.
-4
Suppose n - 2*i + 12 = 2*i, 0 = -2*n - 2*i + 16. Solve 5*d = -11 - n for d.
-3
Let w(m) = m**3 + 10*m**2 - 2*m - 12. Let i = -2 + 6. Let q = -14 + i. Let d be w(q). Solve -n - n = d for n.
-4
Suppose -4*q = -43 - 5. Let w(p) = -p**3 + p. Let g be w(2). Let c = g - -8. Solve -k - q = c*k for k.
-4
Let y be 23 - (2 - 5)/3. Suppose -3*i - 2*a = 24, -a - y = 5*i - 3*a. Let r be (3/i)/((-1)/4). Solve -r*u = -u for u.
0
Suppose s - 4 = 1. Solve 0*t - s*t = -15 for t.
3
Let o(v) = 2*v**2 + 32*v - 25. Let z be o(-17). Solve 0 = 2*a + a - z for a.
3
Let x(v) = v + 6. Let o be x(0). Suppose d - o = z, 0*d + 12 = 3*d - z. Suppose d*f = -f + 32. Solve 2*w - 2 - f = 0 for w.
5
Suppose -5 + 1 = -i. Solve 2*n + 0*n + i = 0 for n.
-2
Let q be (-6)/(-9) + (-10)/(-3). Suppose 2*g - 5*w = -7 - 2, q*w = 20. Suppose -6*t + g = -2*t. Solve 3 - t = -a for a.
-1
Let j(q) = q**3 + 4*q**2 - 7*q - 7. Let h be j(-5). Let x = 119 + -119. Solve -u + h*u - 4 = x for u.
2
Let g(v) = -2*v**3 + v**2 - 5*v - 3. Let n(r) = -r**3 - r. Let u(w) = -g(w) + 3*n(w). Let a be u(0). Solve -2 = -b - a for b.
-1
Let u be ((-6)/21)/(2/(-14)). Let i be 1/(u + (-15)/9). Solve -3 = -i*b - 6 for b.
-1
Let u(l) = -l**2 - 6*l - 2. Let v be u(-6). Let j be v/4 + (-8)/(-16). Solve 5*a - 4 - 11 = j for a.
3
Suppose -o + 3 = -3*s - 2, -4*o = s - 20. Solve s = 6*j - j - 20 for j.
4
Suppose 5*n = -0*r - 2*r + 4, -2*n - 20 = -r. Solve 4*p = -8 - r for p.
-5
Let s(a) = -a**2 - 8*a - 2. Let f be s(-6). Suppose 2*g - 2*d - 10 = -d, -f = -2*g - 3*d. Suppose 2*u - 3 - 15 = -3*c, 2*u - 2*c = -2. Solve -2 = u*y - g for y.
1
Let b(o) = -3*o + 40. Let s be b(12). Suppose 14 = 6*c - c + a, -5*c + 3*a = 2. Suppose s*k + c = 10. Solve 4*y = -k - 14 for y.
-4
Let f(o) = -o**2 + 8*o + 2. Let j be f(6). Let a = -12 + j. Solve -7*c = -a*c + 5 for c.
-1
Suppose l - 4*p + 7 = -6, 2*p = -4*l + 38. Let v = 9 - l. Solve z = -v*z - 9 for z.
-3
Let p(w) = -w**2 - 7*w - 7. Let a be p(-5). Suppose -5*v + a*i - 4 = -20, 5*i = -10. Solve 2*h - 3*h + v = 0 for h.
2
Let u = 3 + -4. Let o be -8*(u/4 + 1). Let b = -3 - o. Solve t = b*t for t.
0
Suppose 17 = 3*c - 31. Let i = c - 9. Let a(k) = k + 9. Let j be a(-7). Solve -i*y + j*y = 20 for y.
-4
Let z be (-3 + 0)/(15/(-20)). Suppose z*n - n - 48 = 0. Solve i + 3*i + n = 0 for i.
-4
Suppose 3*y = -26 + 8. Let f be y/27 - (-182)/9. Suppose 5*k - f = k. Solve 0*v = k*v + 20 for v.
-4
Suppose -4 = -4*i + 4*y, 0 = -0*i + 5*i - 3*y - 9. Let m(j) = j**2 - 1. Let t be m(2). Let s be 2 - (-4)/(-6)*t. Solve -12 = i*n - s*n for n.
-4
Let m(w) = 5*w**3 - w. Let p be m(-1). Let v be 275/44 + 1/p. Solve v = -k + 4*k for k.
2
Suppose 4*v - 11 = 3*m, -3*v + m + 8 = -m. Solve b = -v*b for b.
0
Suppose k = -k. Solve 0 = -3*v - 6 - k for v.
-2
Suppose 0 = 2*f + f. Solve f*l = 2*l for l.
0
Let q = -3 - -5. Let z be 16/(-7) + 8/28. Let w = 2 + z. Solve q*r = -w*r for r.
0
Let w = 16 - 16. Solve w*m + 8 = -2*m for m.
-4
Let l = 1 - -6. Let w(y) = -y + 9. Let s be w(l). Solve -6*z = -s*z - 4 for z.
1
Suppose 2*q + 4*g - 48 - 54 = 0, -5*q + 4*g = -255. Suppose 0 = 9*d - 12*d + q. Solve 4*v - 3 = d for v.
5
Let a(d) = -3*d - 3. Let g(r) = -r**2 - r - 3. Let b be g(0). Let i be a(b). Suppose 2*f = i*f. Solve f*x = 3*x + 3 for x.
-1
Let n = -6 + 6. Suppose 2*t - 52 - 16 = n. Let p = -19 + t. Solve -p = -2*s - 3*s for s.
3
Let h = 7 - 12. Let z be h/(-2) - 2/4. Let b = -38 + 47. Solve -z*r - 1 = b for r.
-5
Let f = 108 - 103. Solve 0 = z - f*z + 12 for z.
3
Let l = -17 + 23. Solve 0*s + l = 3*s for s.
2
Let y be (1*8)/((-8 - -2)/(-3)). Solve -k = 3*k + y for k.
-1
Let k = -2 - -2. Let j(z) = -z**2 - 10*z + 2. Let b = -12 - -2. Let s be j(b). Solve r = -k*r + s for r.
2
Let r be 9/2*(-8)/(-12). Solve r = -0*k - k for k.
-3
Let n(k) = -2*k - 7. Let l be n(-6). Suppose -2*q = 5*y - 30, -q + 12 = -l*y + 42. Solve -y*w - 20 = -2*w for w.
-5
Let u(k) = k**2 - 3*k - 3. Let p be u(5). Suppose r - 3 = -x, -2*x + r = -p - 2. Suppose 4*t - 18 = -2*s, 2*t - s - x - 7 = 0. Solve -11 = t*f - 1 for f.
-2
Suppose -2*k - 2*g = 2*k - 24, 12 = 3*g. Suppose a = -k*n + 11 - 5, 18 = 3*a - 5*n. Solve 5*u - a = 14 for u.
4
Let p = -30 + 48. Suppose t + 14 = p. Solve -3*k = -2*k + t for k.
-4
Let s = 22 + -20. Solve 15 = -s*x - 3*x for x.
-3
Suppose 2*u = -5*m + 55 - 5, 3*u - 5*m = 75. Solve 0 = -v - 4*v + u for v.
5
Suppose 0 = j - 3*g - 2*g + 3, 2*j - 7 = -3*g. Solve j*p = -2*p - 16 for p.
-4
Let j(a) = -a + 10. Let s be j(7). Solve -k - 1 - s = 0 for k.
-4
Suppose -6*h - 20 = -11*h. Solve h*q + 20 = -0 for q.
-5
Let o = -26 - -27. Solve -3*n - o = -4*n for n.
1
Suppose -3*g - g - 12 = 0. Let k be 3 - (-3 - 1) - g. Solve -k = 5*y - 0*y for y.
-2
Suppose 0 = -7*i + 2*i. Solve -2*n - 8 = -i for n.
-4
Let a(x) = -x**3 + 4*x**2 + x - 1. Let o be a(3). Solve -4*m - o = 1 for m.
-3
Let b(f) = 2*f**2. Let v be b(1). Solve v = -2*y + 10 for y.
4
Let u be 12 + -10 - (-1 + 3). Solve u = y + 2 - 1 for y.
-1
Let g(j) = j**2 - j - 2. Let n be g(3). Suppose -w = 2*p - 16 + 4, -4*p + 36 = 5*w. Let c be (0 - 3/(-6))*10. Solve -n*o + c*o = w for o.
4
Suppose s + 0*s + 12 = 2*x, 4*x + 3*s - 24 = 0. Let b be x/9 - (-7)/3. Solve b*i + 16 = -i for i.
-4
Let l = 60 - 54. Solve -5 = 5*g - l*g for g.
5
Let y(h) = -h**2 - 3*h + 18. Let r be y(-6). Solve -2*c - 3*c - 25 = r for c.
-5
Let h(k) = k**3 + 11*k**2 + 10*k + 3. Let g be h(-9). Suppose 5*n + 3*v - g = 0, -5*v = -13 - 12. Suppose y + n = 5*y. Solve -y*u + u = 0 for u.
0
Let k(m) = 2*m + 14. Let t(z) = -4*z - 28. Let j(h) = 11*k(h) + 6*t(h). Let b be j(-10). Solve -14 = 5*i + b for i.
-4
Let y = -26 + 32. Solve -3*b = -y*b - 6 for b.
-2
Let j be (-1*3)/((-5)/(-10) + -2). Solve -6 + 0 = -j*s for s.
3
Let a(c) = 4*c - 5. Let j be a(2). Solve -j = 2*v + 1 for v.
-2
Let k be 70/6 + (-2)/(-6). Suppose -4*s = -5*s. Solve 3*w + k = -s*w for w.
-4
Suppose 3*h + 2*c + 4 = 0, 2*h + 2*c - 3*c = 9. Solve h*y - 7*y - 15 = 0 for y.
-3
Suppose -2*n + 4 + 14 = 0. Solve 1 = 4*q + n for q.
-2
Suppose 4*r + 5*a - 3 = 0, a + 3*a + 14 = 5*r. Solve -14 = 4*z + r for z.
-4
Let q(d) = d**2 - 9*d - 2. Let y(u) = -u. Let a(n) = -q(n) + 6*y(n). 