*t + v = 0 for t.
-1
Suppose -127 = -5*i + 13. Let b = -28 + i. Solve -2*c - 7 + 3 = b for c.
-2
Let p be (3 + -1)/((-16)/(-40)). Solve 2*q - p*q = 3 for q.
-1
Let b(v) = -16*v - 1. Let p be b(-1). Suppose 0*g = -3*g + p. Suppose w = g*w - 32. Solve 1 = 3*u - w for u.
3
Suppose 0 = 2*s - y - 12, 10*s = 5*s - 2*y + 21. Solve s*l - 31 = -6 for l.
5
Suppose 2*a - 59 = 5*n, 3*a - 111 = -a + 3*n. Let w = a - 26. Suppose 3*z = 7*z. Solve z = 3*y - 10 + w for y.
3
Let d(z) = 23*z - 208. Let q be d(10). Solve 3*j - 37 = -q for j.
5
Let p(k) = -k**3 - 2. Let m be p(2). Let v(n) = -n**3 - 10*n**2 - 2*n - 20. Let j be v(m). Solve 4 = -2*i - j for i.
-2
Suppose 0 = 5*w - 154 + 29. Solve -w*a + 10 = -23*a for a.
5
Let p(n) = n**3 - 23*n**2 + 20*n + 44. Let w be p(22). Let z be w/(7/(42/(-12))). Solve z = -2*g + 4 + 6 for g.
5
Let p be (-2)/15 + 58/435. Suppose 0 = -4*u - 15 + 95. Solve p*n - 4*n = -u for n.
5
Suppose -5*t + 166 = 21. Solve w - 33 = -t for w.
4
Suppose -3*c + 7 = -13*l + 12*l, 4*c - 21 = -l. Solve -c*n + 16 - 4 = 0 for n.
3
Suppose -4*a = a - 15. Let p be -3 - ((-100)/15 - (-4)/6). Solve 0 = 2*u - a - p for u.
3
Let r(o) = 83*o + 498. Let p be r(-6). Let t(i) = -i**2 + 2*i + 4. Let y be (0 + 3)/(4 - 3). Let f be t(y). Solve v + p = -f for v.
-1
Suppose -840 = -4*w - 6*w. Let d = w - 80. Solve 3*f - d*f = -1 for f.
1
Suppose o + 80 = 5*o. Let f be (5/4)/(5/o). Suppose f*z = 7*z - 20. Solve -x = 4*x - z for x.
2
Let g(s) = -2*s**2 - 11*s + 13. Let f be g(-6). Suppose 0 = -10*h + f*h + 27. Solve 0*j = 3*j - h for j.
3
Let x = -8 + 12. Suppose -130 = -4*t + 142. Let c = -65 + t. Solve -c*l + x = -2*l for l.
4
Let a be (2 - 0)*(4 - 3). Suppose 2*p + a = 3*p. Solve z - p = 3*z for z.
-1
Let z be (-3 - (-7)/2)*-10. Let y(l) = -3*l**2 - 2*l + 9. Let h(m) = m**2 + m - 1. Let j(i) = 4*h(i) + y(i). Let q be j(z). Solve -q = -0*n + 5*n for n.
-4
Suppose 0 = 4*s + 20, 2*j - 27*s + 23*s = 56. Solve -5 = 17*d - j*d for d.
5
Let w = -5 - -11. Suppose 27 - 3 = w*d. Suppose -4*q + d = -2*s - 2*s, -5*s + 2*q = -4. Solve -t = -s*t for t.
0
Let s = 18 - -2. Let j be 0*(3 + s/(-8)). Solve j = -b - 0*b for b.
0
Let p(v) = v**2 + 18*v + 54. Let u be p(-15). Solve -4*o = -7*o - u for o.
-3
Suppose 2*a + 30 = 5*x, 2*x - 10 = 2*a + 2. Suppose -15 - x = -3*m. Suppose n - 1 = m. Solve n = 3*t + t for t.
2
Let w = 4 - 23. Let n = w - -23. Suppose -4*t + n = -2*t. Solve s - t = -s for s.
1
Let k(t) = t**2 - 13*t + 42. Let y be k(10). Let n be 3/((15/5)/y). Solve f + 2*f = n for f.
4
Let n(j) = 10*j - 14. Let i be n(-8). Let w = -86 - i. Solve w = -2*p - 2*p for p.
-2
Let i be 4*6/(-48)*(-26 + -2). Solve 10*j = 16 + i for j.
3
Suppose -12*v + 9*v = -9. Suppose o = -b + 7, v*b + 2*o = 2*b + 10. Solve -w - b*w = -5 for w.
1
Let i(a) = -a**2 + 14*a - 32. Let p be i(8). Solve -p + 2 = 7*n for n.
-2
Suppose -21*u + 16*u + 20 = 0. Let s = 12 - u. Solve -10 = -s*l + 3*l for l.
2
Suppose 78 = -525*o + 531*o. Solve -10 = 3*h - o for h.
1
Let t = -151 + 154. Solve 0 = -t*j - j + 20 for j.
5
Let k be ((1 + 0)*-11)/(-2 + 1). Let z be k/1 - (-3 - -7). Solve -z - 18 = 5*a for a.
-5
Let z = -20 + 28. Suppose -12 = -a - z. Solve a*p = -p + 20 for p.
4
Let r(l) = -2*l**3 + l**2 + 2*l - 1. Let k be r(2). Let x(w) = w**3 + 10*w**2 + 10*w + 6. Let c be x(k). Let v = c - -7. Solve d + d = -v for d.
-2
Let w = 1172 - 1144. Solve -w = -41*z + 48*z for z.
-4
Let d = -218 - -229. Solve 3*x - d + 2 = 0 for x.
3
Suppose 4*p + 9 = -x - 10, -12 = -2*x + 2*p. Suppose -k - 11 = -2*r, 6*r - 8*r = -5*k - 23. Solve -u - r = -x for u.
-3
Suppose -5*y - 3*m + 28 = -0*m, -2*m = 4*y - 24. Let u(h) = 8*h**2 + 6*h**2 - 13*h**2 + 1 - h. Let w be u(-2). Solve y = 5*i - w for i.
3
Let n(h) = -h + 42. Let p be n(-11). Let w = -51 + p. Let x be -1 + 1 - 0/2. Solve x = u + w for u.
-2
Let w(m) = 3*m**2 - 8*m + 12. Let r be w(3). Solve 5*n - r = -5 for n.
2
Let g be (5 - (-9)/(-3))*(-9)/(-6). Let t be -3 + (0 + g - 0). Solve 2*i + t*i = 0 for i.
0
Let w be (2 - (-99)/(-12))/(6/(-24)). Solve 0 = -33*c + 38*c - w for c.
5
Suppose 66*v = 62*v. Solve -5*s + 1 - 6 = v for s.
-1
Let w be 2*(-24)/30*(0 - 10). Solve -f = 3*f + w for f.
-4
Suppose 4*x + 19 = -3*o, 6*x = o + 2*x - 15. Suppose 0*p - 3*p + 3 = 0. Let y be o + (-1)/p + 2. Solve -2*w + y = 10 for w.
-5
Suppose -245*h + 2*i + 4 = -243*h, -4*h = i + 2. Let v(p) = -p**3 - 5*p**2 + 6*p + 4. Let f be v(-6). Solve h = -2*z + f*z for z.
0
Suppose -3*p + 9 = -3. Suppose -3*w = -8 - p. Solve -w*h = -3 + 15 for h.
-3
Suppose 5*a + 3*a - 16 = 0. Solve -3*s - 10 = a*s for s.
-2
Let l(y) = y**3 - 5*y**2 + 3*y - 4. Let q be l(4). Let g = q + 12. Solve -g*h + 7 = -1 for h.
2
Suppose -99 = 11*c - 14*c. Let n = 53 - c. Solve -n = 4*q + q for q.
-4
Let y be -1 + 3 - 2*-50. Let o be (-8)/(-36) - y/(-27). Let g(k) = k**2 - 2*k - 6. Let l be g(o). Solve -l*w + 4 = -0 for w.
2
Suppose -3*i - 3*s - 24 = 0, 12 = 3*i - 4*s + 1. Let v be (-18 - -4)*i/6. Solve 0 = 4*l - v*l - 9 for l.
-3
Let c(o) = -o - 1. Let m be c(-3). Let r(z) = 1 + 16*z**2 - 34*z**2 + 19*z**m - z - z. Let i be r(1). Solve 4 = -2*q - i*q for q.
-2
Suppose 2*d = 0, 0 = 4*a - 3*d - 2*d. Suppose 619*w - 614*w + 3*j - 22 = 0, -3*w + 26 = 5*j. Solve a*z - 6 = -w*z for z.
3
Let v = -357 + 361. Solve v = 3*n - 2 for n.
2
Let t = 9 - 116. Let i = t - -115. Solve 0 = n + i - 11 for n.
3
Suppose -3*j - 87 = 3*p + 54, -3*p = 5*j + 227. Let l = -40 - j. Solve 2*q + l - 13 = 0 for q.
5
Suppose -3*k + 5*w + 7 = 0, -2*k = -0*w - 2*w - 6. Solve 0 = -b - k*b for b.
0
Suppose -3*w - 5 = -2. Let p be ((-3)/w)/((-5)/(-55)). Let r = -33 + p. Solve -2*n + r*n = -8 for n.
4
Suppose -4*v = -7*v + 2*z - 6, 0 = 2*v + z - 3. Let o(g) = -4*g + v - g - 1 + 0*g. Let s be o(-1). Solve y + 5 = s for y.
-1
Let y be ((-108)/9)/(-1) - -8. Solve y*p - 17 = 43 for p.
3
Let n(s) = -s**3 - 7*s**2 - 7*s - 2. Let b be n(-6). Let k = -27 + 35. Let r be (6/12)/(2/k). Solve -a + r*a = -b for a.
-4
Suppose 5*v + 15 = -r, 0 = 11*r - 7*r + 3*v + 9. Solve r*o = -8*o + 24 for o.
3
Let h(c) = c**2 + 13*c + 48. Let g be h(-7). Suppose 6 = 3*l + 2*p, 0*l + 2*p = -4*l + 6. Solve l = g*q - q for q.
0
Suppose 0 = 5*c - d + 76, 5*c - d + 6*d + 70 = 0. Let x be 5/(c/(-6)) + -3. Let q be x/2 + 25/2. Solve 7*m = 3*m - q for m.
-3
Let m be (5 - (-2 + 4)) + -2. Let p be (-1 - 0)*(-3)/m. Solve -3 + 0 = -p*b for b.
1
Let c(o) = o**2 - 10*o + 20. Suppose -18 + 74 = 7*g. Let b be c(g). Solve 2*s + b = -0 for s.
-2
Suppose -2*w - v = 3*v + 12, -5 = v. Solve -c + 0 = w for c.
-4
Let d(a) = -a + 9. Let f be d(1). Solve 6*v + f = 2*v for v.
-2
Let b(w) = -w**2 - 6*w + 3. Let o be (-4 - 1) + 0/(-1). Let n be b(o). Solve 5*q - q = n for q.
2
Let d = -106 + 109. Suppose -3*g - 13 = 5. Let z = -6 - g. Solve z = -d*t - 4 - 5 for t.
-3
Let a be (-2)/6*1 + 273/63. Solve 20*x = 21*x + a for x.
-4
Suppose y + 0*y - 7 = -i, 2*y + 6 = 2*i. Solve 1 = i*c - 4 for c.
1
Suppose 4*v - 16 = 0, 0 = 3*m + 2*v + 6 - 29. Suppose -3 = x, -m*x = 2*p - 8*x - 13. Solve 0 = -p*g + 5*g for g.
0
Suppose 94*x - 105*x = -22. Let d = -2 + 8. Solve -2 - d = x*t for t.
-4
Let r be 99/7 + (-8)/56. Solve -6*k - k - r = 0 for k.
-2
Let v be (-3)/12 - 50/(-8). Suppose -4 = -v*w + 4*w. Let k(g) = 3*g - 21. Let f be k(11). Solve -w*b + f = b for b.
4
Let k be 195/(-20) + 2/(-8). Let i be 2/k - 42/15. Let u be ((-4)/6)/(i/9). Solve g + 3 + u = 0 for g.
-5
Suppose 3*v + 16 = -3*l + 10, -4*l = 3*v + 8. Solve -6*m - 29 + 59 = v for m.
5
Let f be -5*(4 + 0)*(-1)/(-10). Let p be f/(-4)*24/3. Suppose -5*o = 2*v - 4, -o - 6 + 16 = 5*v. Solve o = p*b - 2*b - 8 for b.
4
Let x be -4*((-10)/(-2) + -7). Solve -26 + x = 6*o for o.
-3
Let q = -8 - -25. Let y = -11 + q. Solve -4*f + y = -7*f for f.
-2
Let o = -1 + 5. Let y = -44 - -44. Solve -2*i + 6*i + o = y for i.
-1
Let l be 53/5 + 57/(-95). Let r = -16 + 24. Let m = l - r. Solve 0 = m*c - 2 for c.
1
Suppose -3*b - 1 = -13. Let w be 11/((-11)/14) - -14. Solve w = -2*f + b - 6 for f.
-1
Let c(q) = q**3 - 7*q**2 - 16*q - 15. Let z be c(9). Let h be z/2*(-5)/6*-4. Solve t = h - 10 for t.
-5
Let i = 29 + -32. Let s be (-1 + -1)/(i/6). Solve -5*x - s = 1 for x.
-1
Let p = -208 + 221. Solve -5*w - p = -3 for w.
-2
Let x(v) = -v**2 + 5*v + 4. Let f be x(5). Suppose f*l + 0*c + c = -1, 2*l =