y = 0 for y.
0
Suppose 5*u = -y + 5*y + 2, -2 = -u. Let i(f) = 2*f + 2. Let n be i(y). Suppose 3*v = n*v - 6*v. Solve -o - 1 = -v*o for o.
-1
Let b(p) = -2*p - 11. Suppose 4*g = 5*o + 18, -4*o = -6*g + g + 18. Suppose 4*k + 5*x = -0*x - 53, -2*x = -g*k - 4. Let y be b(k). Solve -m - 2 = y for m.
-5
Suppose -b - 213*u + 23 = -208*u, -b - u + 39 = 0. Solve -b*f = -19*f + 120 for f.
-5
Let h = -8586 - -8598. Solve 0 = -135*v + 141*v + h for v.
-2
Let c = 2196 + -2173. Solve 10 = c*n - 28*n for n.
-2
Let p be 5 + 9 - (-2 - 45). Solve 0 = -59*n + p*n for n.
0
Let i be (9/5)/(300/500). Suppose 0 = 3*t - t - 18. Let b = t - 8. Solve -i*z + 2 = -b for z.
1
Let i = 169 + -169. Suppose -3*j = -7*j - 3*h + 37, 3*h + 15 = i. Solve 5*g + 8 = j for g.
1
Suppose 370 = 5*w + x - 17, 5*x = -w + 111. Solve -w*q - 2 = -78*q for q.
1
Suppose -2*w = 7 - 11. Let p(q) = q**3 + q**2 - q. Let f(t) = -t**3 + 2*t**2 - t - 8. Let h(i) = w*p(i) + f(i). Let s be h(-4). Solve s - 3 = m for m.
1
Let l = -993 - -996. Let s be (1 - l)*-1 + 1. Solve 0 = -5*o + 8*o + s for o.
-1
Let j = 107 + -105. Suppose j*s - 4*x - 80 = -2*s, 5*s = 2*x + 103. Solve -6 = -3*d - s for d.
-5
Let f be 2 + 3 - -11*13. Let h = -147 + f. Solve -g + 0 = h for g.
-1
Let x(u) = -332*u - 993. Let j be x(-6). Solve 1005*y + 42 = j*y for y.
-7
Suppose -5*p = -25 - 55. Suppose -3*m = m - p. Let q(n) = 63*n - 744. Let k be q(12). Solve c + k = m*c for c.
4
Let i = -6 - -11. Let g(l) = 6*l + 20. Let k be g(-5). Let w be (k/(-6))/(95/342). Solve -w - 19 = -i*p for p.
5
Suppose -116 = 713*v - 116. Solve -100 = 20*d - v for d.
-5
Suppose -20*f = -26*f. Suppose 0*p + 4*p - 200 = f. Suppose -48*j + p = -43*j. Solve 4*g + j = 6 for g.
-1
Let m be 9576/437 - (-2)/23. Suppose 0 = 4*d + 8, -2*w + 80 = -m*d + 26*d. Solve 4*k - 24 = -w for k.
-5
Let b = 78725 - 78721. Suppose -4*c = -0*c + 12. Let i be (-4)/6*9/c. Solve -2*a - b = i*a for a.
-1
Suppose -5*b - 19 = 11. Let v be (4 - 0) + -9 - b. Solve -8*q = -9*q - v for q.
-1
Suppose 0 = 2*z + 2*r - 128, 3*z + 3*r = 4*r + 180. Let h be 523/(-9) - 1*3/(-27). Let g = h + z. Solve -g*x + 6 = -6 for x.
4
Let a = -10835 + 10860. Solve -a*c = -0*c - 3*c for c.
0
Suppose -4*f - z + 22 = -3*z, 0 = -3*f - 3*z + 39. Solve -37*r + f*r = 9*r for r.
0
Let i(n) = -36*n + 32. Let g be (21 + -22)*(-3 - -3). Let s be i(g). Solve v + s = 17*v for v.
2
Let l(w) = -w**3 - 6*w**2 + 2*w + 6. Let a be l(-6). Let z(s) = -4*s**2 - 24*s + 12. Let u be z(a). Solve u - 2 = -2*j for j.
-5
Suppose -27 = -1341*i + 1332*i. Suppose 0 = -3*k - 3*y + 20 + 22, 18 = k - i*y. Solve 161*v = 158*v - k for v.
-5
Let t(n) = -n**2 - 3*n + 4. Let r be t(-4). Suppose 28*i - 27*i = r. Solve i = -0*w - 2*w + 2 for w.
1
Let y = 107 + -104. Suppose 0 = -y*o - 21*o - 7*o. Solve o = -f - 4*f + 10 for f.
2
Suppose 5*k - 4 = 16. Suppose 0 = 5*m - 5*s + 185, -k*m + m + s - 111 = 0. Let v = m + 42. Solve -v*y - 25 = -0*y for y.
-5
Let b(t) = t**3 - 9*t**2 + 20*t - 1. Let j be b(4). Let v be (1 + j)*((-42)/(-4) - 10). Solve -6 = -6*l - v*l for l.
1
Let a = 47 - 35. Suppose 49*m + a = 52*m. Suppose 4*k + 4 = -r - 5, m*r = -4*k. Solve l - r*l = 10 for l.
-5
Let v(u) = -u**3 + 1. Let r be v(-2). Let h be -1 + 2 - (-26 - 3). Suppose -16*x - h = -21*x. Solve -x*w = -3*w - r for w.
3
Suppose 0 = 28*i - 1958 - 7842. Let s = 355 - i. Solve s*p - 8 = 7 for p.
3
Let o = -1 - -6. Let h = 40216 + -40210. Solve h*a - o = a for a.
1
Let q = -3465 + 3611. Solve q = 12*p + 74 for p.
6
Suppose 0 = -4*p + 2*q - 2078, -4*p - 2077 = 3*q - 14. Let k = -516 - p. Solve 0 = 3*v - k - 1 for v.
1
Suppose -13*i = 362 - 518. Solve -21 = -i*n + 27 for n.
4
Let f be (-1 + 7)*(2 - (-21)/(-14)). Suppose -4*a + 5 = 29. Let c be (6/(-3))/(a/60). Solve v = -f*v - c for v.
-5
Suppose 0 = 3*m + 16 - 19, -4*m = -a + 83. Solve -93*f + a*f - 6 = 0 for f.
-1
Let o = 1557 + -1547. Solve -o*t + 1 = -19 for t.
2
Suppose -u - 153 = -5*l, -4*l + 7*u = 3*u - 116. Let w be 31/(-6)*(1 - (-5 - -12)). Let h = w - l. Solve -r + h = 4 for r.
-4
Let s be 621 - (-13 + 5 + 7). Let w = -622 + s. Solve w = 6*r - 7*r + 1 for r.
1
Let j be (56/(-7) - 700/21)*(-15)/10. Solve -12 = 37*q + j for q.
-2
Let y be 70 - (-162)/(234/13). Solve y = -10*r - 1 for r.
-8
Let p(j) = -8*j**3 - 231*j**2 + 20*j - 47. Let x be p(-29). Solve 0 = 73*l + x + 5 for l.
-3
Let m(s) be the first derivative of -s**3/3 - 29*s**2/2 - 192*s - 109. Let i be m(-18). Solve 3*q = -i*q + 27 for q.
3
Suppose -4068 - 3017 = -47*t - 2009. Solve 17*u - 57 = -t for u.
-3
Suppose 35 - 92 = -3*t. Suppose -5*y + 64 = a + t, -2*y - 10 = -a. Solve -10 = 5*w - a for w.
2
Let f be (5/(-2))/(37/(-222)) - (-6)/(-2). Solve 0 = -4*b - 12 - f for b.
-6
Suppose -h = -f - 90, -11*f - 579 + 984 = 4*h. Solve 548 = -91*y + h for y.
-5
Let a = 19 - 12. Suppose -37 - a = -4*c. Let t = c + -5. Solve -t = -3*y - 0*y for y.
2
Suppose -4*l + 36 = -6*a, -8*a = 4*l - 13*a - 30. Let i = -1 + 5. Suppose -2*y + 18 = i*c, 5*y - 29 = c - 3*c. Solve -y*d + d - 8 = l for d.
-2
Let f(x) = x**2 - 49*x - 149. Let k be f(-3). Solve k - 3 = s for s.
4
Let n = -135 - -203. Suppose -3*x + 2*w - 56 = -0*w, -4*w + n = -4*x. Let a be -5 + 1 - (x + 18). Solve -u + 2 = -a for u.
2
Let r(m) = -59*m + 445. Let s be r(7). Solve h + 23 = s for h.
9
Let s(z) = -z**3 + 30*z**2 - 29*z + 1. Suppose 0 = 5*y - 3*i - 0*i - 139, 5*i = y - 19. Let d be s(y). Solve 0 - d = -n for n.
1
Let w = -58 + 60. Suppose -2*d = -w*i + 8, 0*d + 4*i = d + 10. Let k be d*1*(-5 + 4). Solve -g = -k*g for g.
0
Suppose -2*j - 10 = -24. Let w be (-330)/132*((-7)/5 - 1). Suppose -j*d = -w*d - 2. Solve m + d = -m for m.
-1
Let k(j) = -13*j**2 - 227*j + 66. Let s(n) = -7*n**2 - 114*n + 34. Let i(m) = -3*k(m) + 5*s(m). Let c be i(-28). Solve 34*b - 35*b + 5 = c for b.
5
Suppose 138*j - 77*j = 0. Solve j = 5*z - 29*z - 24 for z.
-1
Suppose 0 = 3*l + 2*l - 20. Suppose 15 - 3 = l*o. Solve o*j + 20 = -j for j.
-5
Suppose 2*t = 3*t - 10*t - 4*t. Solve t = -16*l + 62*l - 230 for l.
5
Let d be -54*299/(-130) - ((-28)/5)/7. Solve 132*l + 42 = d*l for l.
-6
Let k be (-10 + 8)*((-44)/8 - 2). Solve k*h + 44 = -16 for h.
-4
Suppose 16 + 3 = 4*l + z, -2*z + 18 = 3*l. Let f(g) = g**3 - 39*g**2 - 39*g - 37. Suppose -12*y + 524 = 44. Let s be f(y). Solve l*v - 1 = s for v.
1
Suppose -a - 23 = -4*q, 2*q + 0*q = -2*a + 24. Let r(m) = -2*m + 17. Let p be r(q). Suppose -3 = -p*u - 0. Solve -i = -u - 1 for i.
2
Let w = -3685 + 3702. Solve 6*d + 19 + w = 0 for d.
-6
Suppose 0 = -l + 8, 181 = -2*t + 5*l + 145. Solve 0 = -t*j + 54*j + 260 for j.
-5
Let h(f) = 22*f**2 + 63*f + 197. Let q be h(-3). Solve 18*i + q = 80 for i.
-7
Let t(f) = -5*f**3 - f**2 + 4*f + 4. Suppose -3*d + 2*a + 237 = 0, -2*d + 174 = -0*d + 4*a. Let k = d - 82. Let m be t(k). Solve 3*z = z - m for z.
-2
Let x be (-3)/6*8 - -4. Suppose x*u = -5*u + 10. Let b = u - -1. Solve -b = 3*a - 0*a for a.
-1
Let c = -111 + 111. Let f be 46/(-92)*(c + 0). Solve f*j = -2*j for j.
0
Let d be 3/(-7) + (-1420)/35. Let p = -102 + 61. Let a = p - d. Solve 5*n - 3*n - 10 = a for n.
5
Let i = 1908 - 1893. Solve -3*t = -i*t for t.
0
Suppose 0 = 2*v - 0*v - 4. Suppose v*x = -7 + 25. Suppose -4*k = x - 29. Solve -5 = -k*s + 5 for s.
2
Let m(j) = -j + 1. Let n(x) = x + 42. Let u(c) = 3*m(c) - n(c). Let g be u(-11). Solve -1 + g = 2*b for b.
2
Let s = -19 - -31. Suppose -w + 17 = 2*p, -2*p - 2*w + 6 = -s. Solve 3*f + f = p for f.
2
Let j(x) = -3*x**3 - 7*x**2 - x + 2. Let v be j(-4). Solve -103*o - 34 = -v*o for o.
-2
Suppose -5*d = 4*i + 2567, 19*i - 2*d = 21*i + 1282. Let b = -636 - i. Solve u = -u + b for u.
1
Let i(g) = -g**3 - 3*g**2 - 4*g + 5. Let r be i(-3). Suppose -r*h + 168 = -3*h. Solve -6*y + h = 12 for y.
0
Let b = -8618 + 8784. Solve 5*a - b + 136 = 0 for a.
6
Let s be (54 - 54)/(5/2*-2). Suppose -2*m + s*m - 3*d = 0, 2*m = 2*d. Solve -y + 8 - 6 = m for y.
2
Let t(r) = -4*r + 65. Suppose 59*d - 55 = 54*d. Let p be t(d). Solve -x + p = 6*x for x.
3
Suppose -10 = -2*r, 2*r + 422 = -5*l + 1032. Suppose 0 = -2*v - 4, 4*t - l = -4*v - 32. Solve t*b - 29*b + 20 = 0 for b.
4
Suppose m = -t + 6, 46*m - 2*t - 20 = 40*m. Solve -m*h = 680 - 672 for h.
-2
Suppose f - 5*u + 3*u = -39, 8 = -2*u. Let a = f + 57. Solve -4*x = 2 + a for x.
-3
Let v be ((-19760)/(-456))/(3*(0 