for y.
5
Let b be 1/((-8)/(-20))*28/35. Let u = -1 - -3. Suppose u*p - 4*p = 0. Solve -4*t + b + 10 = p for t.
3
Let o = -36 - -40. Suppose s = -o*s + 10. Solve s*i - 6*i = -16 for i.
4
Suppose 0 = -2*j - 2*f + 14, -2*j = 4*f + 8 - 22. Suppose 0 = 3*k - 3*g - 9, -2*k + 1 = 4*g + j. Let z(i) = 2*i + 3. Let r be z(k). Solve -22 = r*v - 7 for v.
-3
Let s(l) = -2*l**3 - l**2 + 1. Let u be s(-1). Let x be (13/(-26))/(2/(-4)). Suppose 2*o = q + x, o - 2*q - 1 = 1. Solve -u*t + 4 = -o for t.
2
Let z = -25 - -25. Let n be 3*(-1)/(-1) + 0 + z. Let t = -7 + 14. Solve -t*w = -n*w + 8 for w.
-2
Suppose 14*z - 11*z - 60 = 0. Let j(s) = s - 18. Let b be j(z). Solve 4*g = -6 - b for g.
-2
Let a = -88 - -78. Let m(p) = p**2 + 9*p - 7. Let b be m(a). Solve 0 = 2*l - b*l for l.
0
Let m be (-1 + -1 - -2)*-1. Suppose h + 5*b = 25, 15*b - 10 = -h + 13*b. Let k be (h/3)/(2*4/(-8)). Solve k = -m*w + w - 4 for w.
4
Suppose 2*h = -93 + 93. Solve h*r = r + r for r.
0
Let a = 148 - 141. Solve -1 + a = 2*b for b.
3
Let z = -7 - -3. Let l(h) = -h**3 - 5*h**2 - 3*h + 6. Let n be l(z). Solve 6*j = 4*j + n for j.
1
Suppose 0 = 8*l - 4*l - 132. Let r = l + -29. Solve 0 = -u - r*u for u.
0
Let b(d) = 39*d - 455. Let c be b(12). Solve -c = 9*m + 5 for m.
-2
Let x be 19/7 - 2/(-7). Let k(s) = 3*s**3 - 2*s**2 + s. Let i be k(1). Suppose i*r = x*t - 6*t - 15, 0 = -5*r + 2*t + 10. Solve 2 = -z - r*z for z.
-2
Let c be (-1)/4*-20 - 5. Suppose 0 = 3*l + 2*y - 19, -3*l - 4*y + 15 = -y. Solve c*x + 3*x + l = 0 for x.
-3
Suppose -r + 2*f = -10, -3*r = -4*r - 5*f + 10. Let n = 15 - r. Solve n*w - 7 = 3 for w.
2
Suppose 102 = 7*k - k. Let u = -41 + k. Let j = 29 + u. Solve 6*a = a - j for a.
-1
Let v(t) = t**2 + 75*t - 305. Let j be v(4). Solve 5 + 50 = -j*r for r.
-5
Let d be (-1410)/94*2/(-10). Solve d*t + 164 = 167 for t.
1
Suppose 4*l + 11 - 32 = 3*u, 3*l - 13 = 5*u. Suppose 21 - 3 = l*z. Solve -2 = h + z for h.
-5
Let v = 21 + -16. Let s(c) be the third derivative of c**4/6 - 8*c**3/3 - 2*c**2. Let w be s(v). Solve 5*y - y = -w for y.
-1
Let m(q) = q + 84. Let k be m(0). Let s be (-3)/(3 + k/(-32)). Let t be 0*(-1 - 12/s). Solve -c + 4 = -t for c.
4
Let a be ((-12)/16)/((-17)/68). Solve 77 = a*h + 65 for h.
4
Let w(g) = 5*g**2 + 4*g + 3. Suppose -7 = 5*n + t, 2*n - 3*t = -10 - 3. Let x be w(n). Solve x = -0*k + 3*k for k.
5
Let a(x) = -x**2 + x + 42. Let w be a(9). Let m be (2 + w/24)/((-3)/(-8)). Solve 1 - 5 = -m*g for g.
2
Suppose -4*j - 46 = -14. Let b = -3 - j. Solve o = -0 - b for o.
-5
Let d(t) = t**3 + 9*t**2 - 3. Let z be d(-9). Let q be (-1 - (z - -3))*8/(-4). Solve q + 0 = v for v.
2
Let w be (-63)/(-28) + 1/(-4). Suppose s + w*s - 3 = 0. Solve 0 = m - s for m.
1
Let t = -166 - -171. Solve 27 = -t*n + 2 for n.
-5
Let a be 360/140 + (-3)/(-7). Suppose a*l - 39 = -0*o - 2*o, 0 = 2*l - 4*o - 42. Solve -l = 5*n - 8*n for n.
5
Let y be (-1 - 8) + 42/3. Solve -y*k - 15*k = -60 for k.
3
Suppose -6*w + 2*w + 18 = 2*f, -5*w + 21 = 2*f. Let i(b) = -b**3 - 3*b**2 - 4*b - 2. Let k be i(-2). Suppose 0*u + k = 2*u. Solve -w + u = s for s.
-2
Let t be (-2 - 1)/(1/13). Let c = -326 - -312. Let w = c - t. Solve -4*d - w + 5 = 0 for d.
-5
Let a(b) be the third derivative of b**6/120 + 13*b**5/60 + 7*b**4/8 + b**3/3 - 19*b**2. Let u be a(-11). Solve 3 = -5*r + u for r.
2
Suppose -19*b + 26*b - 21 = 0. Solve b = -19*q - 35 for q.
-2
Let i be (4/(-3))/(4/(-6)). Suppose 8*z - 35 = -11. Suppose -z*q + 9 = -3. Solve -i*b - 6 = -q*b for b.
3
Let g = -28 - -10. Let l = g + 18. Solve 0 = r - l + 3 for r.
-3
Suppose -l - 16 = -2*f - 20, 16 = 4*l - 4*f. Solve -4 - l = 8*z for z.
-1
Suppose 8*y + 27 = 17*y. Solve y*v = -v + 12 for v.
3
Let j = -70 - -78. Suppose 0 = -3*u - 2*n + j, -3 - 11 = -3*u + n. Solve -u*p + 8 = -8 for p.
4
Suppose c - 11 - 2 = 0. Suppose 8*a - c*a = -80. Let p = a + -14. Solve -p*t = t for t.
0
Suppose 8*o - 167 = 145. Solve -5*i + 14 - o = 0 for i.
-5
Let g = 21 + -21. Suppose 3*u - 5*o + o = 20, -u - 20 = 4*o. Suppose 0 = -4*p - 0*t + 4*t + 12, -4*p - t + 17 = u. Solve 0*c + p*c - 16 = g for c.
4
Suppose 4*q = -2*b + 6, b - 15 = 2*q - 0. Let d(a) = -20*a - 9 + 10*a + 11*a. Let m be d(b). Solve m = 5*n - 3*n - 6 for n.
3
Suppose -1093 = -90*j - 11*j - 83. Let x(n) = -n + 7. Let s be x(5). Let t be (-6)/(-3) + (s - 1). Solve 0 = -t*a + a - j for a.
-5
Suppose 0 = 5*y - 3 - 7. Let v be ((-6)/y + 1)*1. Let o(c) = c**3 + 2*c**2 - c + 2. Let x be o(v). Solve 3*a + 5 = x*a for a.
5
Let s = -28 + 33. Suppose f = -34 + s. Let x = -25 - f. Solve x*c = 2*c for c.
0
Let g be (-39)/(-6)*(-5 - 7)/(-6). Solve -i + 24 = -g*i for i.
-2
Suppose 14 = 5*o - 6. Let d = 54 + -47. Suppose 0 = -d*t + 4*t. Solve -a - o*a = t for a.
0
Suppose -3*x - 2*x + 2*x = 0. Suppose j - 2*d - 15 = x, -5*j + 26 = -d - 4. Solve j = 5*t - 0 for t.
1
Let y(c) = c**3 - 15*c**2 + 9. Let i be y(15). Solve 21 = i*s - 2*s for s.
3
Suppose -150 = 58*c - 1310. Solve -90*f + 85*f = -c for f.
4
Suppose 2*l - 5*j = -19, -22 + 0 = l - 5*j. Suppose -f - 6 = -l*f. Suppose -40 + 30 = -5*p. Solve -7 = -p*h + f for h.
5
Let i(a) = a**3 - 28*a**2 + 24*a + 84. Let b be i(27). Solve 0 = -b*r + 4*r + 2 for r.
-2
Let k = -638 - -639. Solve 2*l + k = -1 for l.
-1
Let u = 6 - -1. Suppose 4*a = u*a. Suppose 5*s - 5*t - 25 = -a*s, 2*s - t = 9. Solve -s = 2*j - 3*j for j.
4
Let r be 5 + 0/(-1) + -3. Suppose -6*o + r*o = -12. Solve -4*v + o = -1 for v.
1
Suppose 5*s - 357 = -2*b, -5*b + 0*b + 5 = 0. Solve 11*t + s = 16 for t.
-5
Suppose k - 1 = -13. Let s be ((-15)/k)/(3/12). Suppose s*i + 5*o = 50, 0*i - 14 = -i + o. Solve h + i = -2*h for h.
-4
Let c = 71 - 69. Suppose -c*t = 8*t - 2*t. Solve t = -4*r + r for r.
0
Suppose -6*c + 8*c - 68 = -3*p, 5*p - 140 = 2*c. Solve -6*l + 56 = p for l.
5
Let a(o) = -3*o**3 + o**2 + o - 2. Let y be a(-2). Suppose 4*i = -4*m + 20 + y, 2*i + 83 = 5*m. Solve 2*j - m = 5*j for j.
-5
Let h = -44 + 11. Let i = 72 + h. Suppose 0 = 5*l - 46 - i. Solve l = -5*o - 3 for o.
-4
Let u = 30 + -24. Let o be ((-10)/u)/(25/(-30)). Solve 0 = -o*t + 3*t - 2 for t.
2
Suppose 0 = -s - 3*h + 12, 20 = -4*s + 3*h + 2*h. Let q be 4/1*33/44. Let d be q + (s - -2) + -1. Solve y = -d*y for y.
0
Let r(t) be the third derivative of t**6/60 + 11*t**5/60 + 5*t**4/24 + 5*t**3/6 + 25*t**2. Let h be r(-5). Solve -3 = -p - h for p.
-2
Suppose m + 3*u + 2 + 1 = 0, 3*m - 5 = -2*u. Let t be (-3 + m)/(-5)*1. Suppose -o - 3*o = t. Solve -5*q + 13 - 3 = o for q.
2
Let u(a) = -2*a**3 + 4*a**2 - 4*a + 3. Let h be u(2). Let c = h + 7. Let g be (-2 + (-3 - -9))*c. Solve 5*y - g = 2 for y.
2
Suppose 4*z + 2*y - 14 = 0, 2*y = -4*z - 2*y + 20. Solve -18 + 28 = z*b for b.
5
Suppose 2*g - g = -2*j + 12, 3*j = -2*g + 19. Suppose -a + 5*a - 84 = 0. Suppose -g*c + a = 5. Solve 3*t - t = -c for t.
-4
Suppose -2*z + 7 = -4*x + 53, -x = -2*z - 19. Let k be 4/18 - (-16)/x. Suppose k*b - 4*c - 16 = 0, -4*b + 1 + 4 = c. Solve b = -3*a + 8 for a.
2
Let f be (-38)/(-14) + (-14 - (-1200)/84). Solve 3 + f = 3*v for v.
2
Let t be 40/300 + 596/30. Let n be (-7)/(-4) - (-5)/t. Solve -3*c = n*c for c.
0
Let j = 34 - 31. Suppose 5*t + 5 = 2*f + j*f, -2*f = -4. Let v be 0/(0 - t)*-1. Solve v = -h - 2 for h.
-2
Let p(q) = -q**3 - q**2 + 3*q - 4. Let s = -2 - 1. Let a be p(s). Suppose 2*o = a*d - 9, -2*o + 7*o + 4*d = 27. Solve 0*g + 3 = -o*g for g.
-1
Let c(q) = -10*q**3 - 2*q**2 + q. Let b be c(-2). Solve b = i + 67 for i.
3
Let l(c) = 3*c**3 + 5*c**2 - 14*c + 20. Let u(t) = -t**3 + t**2 + t. Let f(k) = l(k) + 4*u(k). Let n be f(8). Solve 2*r = 14 - n for r.
5
Suppose 0 = -5*u + 10 - 5. Suppose 4*t - 4 - 4 = 0. Suppose t*m - 2 = m. Solve m*c = -5 - u for c.
-3
Suppose -8 = -2*g - 26. Suppose -50 = -10*r + 5*r. Let s = r + g. Solve 2 + s = -w for w.
-3
Suppose 4*n - 8 = -0. Suppose n*j = -j. Let w = 62 + -57. Solve -h + j = w for h.
-5
Suppose 155*q - 145*q - 240 = 0. Solve 0 = -8*h - q for h.
-3
Let f(m) = -2*m + 2. Let y be f(-1). Let t(r) = 4*r - 7. Let d be t(y). Solve 0*k + 3*k - d = 0 for k.
3
Suppose 2*r - 20 = 4*g - 9*g, 4*r - 4 = -g. Solve r = 9*n - 26*n - 17 for n.
-1
Let m = 50 + -37. Suppose -12*b = -m*b. Solve 5*y = -b*y for y.
0
Let o be 2*2 + 12/(-18)*-24. Solve -11*n + 6*n = -o for n.
4
Suppose 4*o + 81 - 13 = 0. Suppose 2*a - 51 = -k, -7 + 101 = 2*k - 4*a