= m for v.
-4
Suppose -v + 0*v = -9. Suppose -3*j = -6*j + v. Let m = j - -2. Solve m*r = r for r.
0
Suppose b = 2*b. Suppose b = -2*j + 4*j - 46. Let p = j + -23. Solve 4*v + 1 - 9 = p for v.
2
Suppose 2*q - 3*v = 16 + 37, -5*q + 104 = 2*v. Solve 8*g + 6 = q for g.
2
Let d be (-26 + 27)/(0 - -1). Solve h + d = -3 for h.
-4
Let f(j) = -j**2 - 10*j - 21. Let r be f(-7). Suppose 0 = -3*p + 4*s - 0 + 5, -2*p + 11 = 5*s. Solve -p*o + r = 3 for o.
-1
Let a(t) = 5*t**2 - 51 - 6*t**2 - 5*t**2 + 7*t**2 - 12*t. Let h be a(16). Solve 3*c - 1 = -h for c.
-4
Let d = 26 - 21. Suppose d*a - 9*a = -4. Solve -1 - a = v for v.
-2
Suppose -4*i - 2*d = -4 - 12, -5*i + 5 = -5*d. Suppose -15 = -4*a + 3*m, -3*a = -2*m - 7 - i. Solve 0 = -a*x + x - 3 for x.
3
Let i = 198 + -194. Solve 5*r - 3*r + i = 0 for r.
-2
Let d = -535 + 541. Solve -d*h - 2*h = 8 for h.
-1
Let y be (-40)/70 - (-333)/7. Let i = y + -34. Let k be (-6 + 2)*2/(-2). Solve k*g + 3 = -i for g.
-4
Suppose 3*g + 4*k = 31, -2*g + 15 + 15 = 5*k. Suppose -8*v + 50 = g*o - 13*v, -5*o - 5*v = 0. Suppose 0 = 2*n - 7 - 9. Solve -n = o*u + 17 for u.
-5
Let i(k) = 8*k**2 - k. Let g be i(2). Suppose -q - 1 + 7 = -2*w, -w = -5*q + g. Solve 5*u - q = 3*u for u.
3
Let b be (4 - (2 - -5)) + (5 - -1). Solve -2 = 5*i + b for i.
-1
Suppose -7*b + 1 = -20. Let p(t) = -5*t + t**3 + 3*t**2 + b*t - 26 + 25. Let u be p(2). Solve 3*f + 0*f = u for f.
5
Let r = -16 + 13. Let f be (r - -5) + -2 + 3. Suppose -p - 4 = -2*p. Solve 5 = p*b - f for b.
2
Suppose -4*p = 2*f - 6, 3 = -5*p + 4*f + 17. Solve 0 = -c + p*c + 2*c for c.
0
Let j = -3 - -7. Let i = -20 + 11. Let p be ((-12)/i)/((-8)/(-6)). Solve p = j*t - 15 for t.
4
Let u(j) = -j**2 + 10*j + 10. Let i be u(8). Let g = i - 22. Solve -g*r - 4 = 12 for r.
-4
Suppose -2*i - 289 = -37. Let v = i - -128. Solve -5*l + 6 = -v*l for l.
2
Let r = 3 + 45. Let j be 904/r + 2/12. Suppose -4*f + 3*s = -j, -3*f - s = 2*s - 9. Solve -u = -2*u + f for u.
4
Suppose -m + 5*b = 2*m - 65, 0 = 2*m - 2*b - 42. Solve -12*f - m = -2*f for f.
-2
Suppose -i + 20 = 3*q, 3*q + 3*i = -0*i + 30. Let j be (q - 8)/(3/(-5)). Suppose -4*x - 2*n + j = -3, 3*x - 8 = -n. Solve 0 = -3*l + 8 + x for l.
4
Let a(l) = -3*l + 13. Let t be a(4). Let v be ((-1 + t)*-1)/(-3). Solve v = -6*p + 2*p - 20 for p.
-5
Suppose 0 = -10*l - 127 + 247. Solve -15*b - 3 = -l*b for b.
-1
Let r(n) = n**3 + 6*n**2 + 6*n. Let d be r(-3). Solve -5 + 32 = -d*t for t.
-3
Let w = -75 - -87. Solve -w*y + 6 = -6 for y.
1
Let f = -145 - -83. Let z = 62 + f. Solve z = -h + 3*h - 6 for h.
3
Suppose -5*f - 3*i = -10, 4*i = 2*f - 8 - 22. Solve -5*x + f = -6*x for x.
-5
Let b be 28/(-7)*(3 - 14/4). Solve 0*a + a = -b*a for a.
0
Let d(f) = 7*f**2 - 6*f - 1. Let i(v) = v**2 + v - 1. Let m(s) = d(s) - 6*i(s). Let a be m(12). Solve -a*q - 2 = 18 for q.
-4
Suppose -3 = 7*y - 31. Solve 2*q + 0 = y for q.
2
Let g be (-1 + (-5)/10)*(-4 - 0). Suppose -5*q = 0, -g*b + b + q = -15. Solve b = -3*v - 0*v for v.
-1
Let f be ((-7)/4*2)/((-1)/6). Let x be (12/f)/(12/(-7) + 2). Solve 4*v = -22 + x for v.
-5
Suppose -9*y + 7*y - 3*d = -101, d = 3. Solve 6 - y = 8*x for x.
-5
Let z = -17 - -21. Suppose -4*i + 36 = z*u, -2*i - 18 = 2*u - 4*u. Let n = u - 5. Solve -9*b - n = -7*b for b.
-2
Let u be (-1)/(55/(-1606)) + (-12)/10. Solve 10*x = 2 + u for x.
3
Let c = -2694 + 2694. Solve 12*v + 54 - 42 = c for v.
-1
Suppose 14 + 334 = 29*r. Solve 5*v = 9*v + r for v.
-3
Let z be ((15/(-12))/1)/(2/(-8)). Solve 0 = z*r - 5 + 20 for r.
-3
Suppose -4*p + 5*p = 5*a + 22, 5*a + 10 = -5*p. Solve 0 = p*g + 3 - 1 for g.
-1
Suppose -2*g - g = 4*c + 222, 61 = -c + 2*g. Let l = c + 60. Let p(o) = o**2 + 3*o. Let w be p(-3). Solve -l*d = -w*d for d.
0
Let l be ((8 - 7) + 0)*0. Solve -83*j + 90*j - 21 = l for j.
3
Suppose -j + 66 + 72 = -s, 0 = 5*j + 5*s - 660. Suppose 0*p - j = -9*p. Solve 4*i + i - p = 0 for i.
3
Suppose 3*q - 7*q = -96. Let l = q + -36. Let a = l + 12. Solve 6 = 3*x - a for x.
2
Let t = -63 - -67. Suppose -46 = -6*u - t. Solve 2*l - u*l + 15 = 0 for l.
3
Let v be (-12)/10*(-4 + 32/(-12)). Solve h + v*h = 9 for h.
1
Suppose 200 = 5*z + w, 2*z - 4*w - 102 = -0*z. Suppose 37*n = z*n. Suppose -4*d = -2*x - 20, 4*d = x - 2*x + 14. Solve -d*p + n*p = 8 for p.
-2
Let h(c) = c + 20. Suppose -4*m = 21 + 35. Let g be h(m). Solve l - g + 4 = 0 for l.
2
Suppose 0 = -2*j + 6, -2*j + 0*j - 84 = -5*g. Let c = g + -13. Solve 2 = c*w - 13 for w.
3
Suppose 0 = -4*d + 5*t + 33, -3*d = -2*d - t - 9. Suppose -2*z = -7*z + 3*u + d, 5*u + 20 = -2*z. Solve z*x = x - 1 for x.
1
Let b(d) = -6*d - 1. Let p(w) = w - 1. Let u(t) = b(t) + 3*p(t). Let o be u(-2). Solve -6*q = -o*q + 4 for q.
-1
Let l(k) = 3*k**3 - k**2 + 4*k - 3. Let b be l(2). Suppose -4*h + 5*h = b. Let f = h - 13. Solve -t + f = 3*t for t.
3
Suppose -15*d + 9*d + 36 = 0. Suppose 4*w - 3*f - 4 = 0, -d*w - 5*f = -7*w + 1. Solve -2*c + 7 = -w for c.
4
Let b = -11 + 15. Let l be (2/(-2))/((-2)/b). Suppose -s - 16 = -3*y - 1, -y + 5 = -l*s. Solve y = 4*t - 15 for t.
5
Suppose -98*r + 101*r - 9 = 0. Solve -n + 2 = -r*n for n.
-1
Let h = -6 - -8. Suppose -g - c + 0 + 5 = 0, -2*g = -4*c + h. Let p = 7 - 3. Solve 0 = -p*k + g*k + 3 for k.
3
Let q(s) = s**2 + 7*s + 10. Let v(m) = -m**3 + 11*m**2 - 11*m + 3. Let y be v(10). Let x be q(y). Solve -3*w = 2*w + x for w.
-2
Let n(o) = -o**3 - 6*o**2 - 7*o - 10. Let k be n(-6). Let u = k + -32. Solve u = 4*a - a for a.
0
Let i be (1/(-4)*-6)/((-3)/4). Let w be i/(-5) - (-22)/(-55). Let j(p) = p. Let x be j(2). Solve x*r = -w*r + 4 for r.
2
Let r = -39 + 39. Suppose 3*g - 2*g + u - 1 = r, g - 7 = u. Solve 6 = i - g*i for i.
-2
Let g = -168 - -171. Suppose w - 5*w = -8. Solve w*f - 15 = -g*f for f.
3
Let h(v) = -v - 3. Suppose -4*n + 4*j = 0, 4*n + 4*j + 40 = -0. Let c be h(n). Solve c*y + y - 9 = 0 for y.
3
Let w be 0/(-3*8/(-12)). Suppose w*u - i + 5 = -5*u, -i = -4*u - 5. Solve -4*t = -u*t - 16 for t.
4
Let h(t) = 12 + 4*t - 2*t + 0*t. Let s be h(-4). Solve s*w = w for w.
0
Suppose 0 = -s - 1 + 7. Let k = s + -3. Let u(l) = l**2 + 3*l - 2. Let w be u(-4). Solve 5*x - w = k for x.
1
Let w(n) = n**3 - 9*n**2 + 9*n - 8. Let t be w(8). Suppose 0 = q + 2*q + 5*a, -3*q - 4*a = t. Solve -2*h - 16 + 6 = q for h.
-5
Let b be 1 - 4/4*11. Let o be -10*b/35*7. Suppose 4*d - 3*r = 42, r + 14 = 2*d + 3*r. Solve d*g = 4*g - o for g.
-4
Let s = -1 - -3. Let v be (1*(3 - s))/1. Let h(b) = -b**2 + 13*b + 16. Let d be h(14). Solve -v = -d*l + 3 for l.
2
Let a = -24 + 25. Suppose 3*o + 2*k = 31, a = 4*k + 5. Solve 2*g + 1 - o = 0 for g.
5
Let x(t) = t**2 + 1. Let h be x(2). Suppose -5*u = -6*u + h. Solve -2*l + l + u = 0 for l.
5
Let n(f) = -f**2 + 5*f + 5. Let d be n(0). Solve -6*j + d = -j for j.
1
Let i be -3 + -1 + 112/4. Let t(c) = c**3 - 6*c**2 - 10*c + 7. Let l be t(7). Let x = l + i. Solve p - x = -p for p.
5
Suppose -93 - 51 = -3*v. Let i = v - 42. Solve i = -a - a for a.
-3
Suppose 0*z + 24 = 3*g - z, 0 = -5*g + z + 42. Suppose -3*c = -5*k + 24, 0 = -3*c + 6*c + g. Solve -u = -0*u - k for u.
3
Let v be 0/(-1) - (-10 + 8). Suppose 6*b - 8 = 4*b. Suppose 0 = 2*y - 2*n - 18, y - 11 = b*n - n. Solve y = -2*a + v for a.
-3
Suppose 5*o = 2*i + 77, -o + 5*i - 70 = -6*o. Solve 10*y - 5*y = o for y.
3
Suppose 4 = 4*r + x, 3*r = -3*x - 0 + 12. Suppose -76*s - 21 = -79*s. Suppose 0 = 4*m + s*m - 11. Solve r = w + m - 2 for w.
1
Let a(d) = -15*d + 77. Let g be a(5). Solve -g*x = 3*x - 10 for x.
2
Let c be 28/(-35)*(-10)/4. Suppose -c + 3 = f. Let o = 4 + f. Solve -z - o = 4*z for z.
-1
Let b be 2 - ((-1052)/36 - 4/(-18)). Solve 4*h + b = 15 for h.
-4
Suppose -9 = -a + 4*i + 11, 5*i - 9 = -3*a. Solve l = -l - a for l.
-4
Suppose 0 = x + 5 - 16. Let i = x + -13. Let f(o) = -o**3 - 2*o**2 - o - 2. Let w be f(i). Solve -6 = -w*q - 2*q for q.
3
Let n(l) = l**2 - 6*l - 10. Let z be n(8). Let r = 0 + z. Let b(w) = 3*w - 13. Let v be b(r). Solve -9 = -2*f + v*f for f.
-3
Let r = -11 - -16. Suppose 0 = -58*o + 47*o + 22. Solve -o*c + r*c = 6 for c.
2
Let z = 7 + -7. Suppose 3*l = -z*l + 18. Suppose -l + 3 = -s. Solve -s*r - 2*r = 15 for r.
-3
Let l be -2*((-9)/(-2))/(-1). Suppose 13*a - 5*a - 24 = 0. Let v be ((-57)/15 - a/15) + 5. Solve -v = -2*h - l for h.
-4
Suppose t = 2*n - 11 - 18, -49 = -3*n - 4*t. Suppose 2*s = 