7 for y.
-4
Let p(y) = -y**3 + 45*y**2 + 3*y - 135. Let n be p(45). Solve -6*i + 14*i + 16 = n for i.
-2
Let q be (-6)/(((-56)/(-7))/(-40)). Suppose 8*g - q = -14. Solve g*o = -2*o + 2*o for o.
0
Let z(o) be the second derivative of -o**5/10 + 5*o**4/6 - 5*o**3/3 + 7*o**2 + 37*o. Let l be z(6). Let r = -116 - l. Solve r*s - 4 = s for s.
4
Let g(i) = -79*i - 4. Let v be g(1). Let q = v - -87. Solve -3 = q*t + 13 for t.
-4
Let v = -27 - -40. Let g(p) = 8*p + 42 - 11*p - 18 + v. Let y be g(11). Solve -a + 5 = y*a for a.
1
Let j(o) = -o**3 - 51*o**2 - 23*o - 1166. Let z be j(-51). Solve -z*h - 93 + 128 = 0 for h.
5
Let o = 53 - 65. Let m be (-8 - -4)/(o/45). Suppose -5*r = -0*r - m. Solve g = -0*g + r for g.
3
Suppose -240 = -2*j - 3*j + 2*p, 2*j = -2*p + 96. Solve -j = -12*f + 12 for f.
5
Let t = 657 - 613. Suppose -26*z + 3*l = -28*z + t, -4*l = z - 32. Solve 0 = -q - 3*q - z for q.
-4
Let v(b) = b**3 - 5*b**2 + 5*b - 20. Let c be v(5). Suppose 0 = 4*i + c*f - 47, 0*f + 3*f + 7 = 2*i. Let r(x) = x - 4. Let t be r(i). Solve -t*y - 9 = 7 for y.
-4
Suppose -5*u + 4*m - 1874 + 6704 = 0, -4*u + 3870 = -2*m. Solve 0 = u*w - 985*w + 105 for w.
7
Suppose 6*l + 463 = -815. Let m = 225 + l. Solve u + 3*u = m for u.
3
Let a be -29 + 50 + (2 - 1). Solve a - 7 = 3*z for z.
5
Suppose 0*p - 2 = -2*p. Let s be (12/(-36))/(1 - 68/66). Suppose -2*d = z, 3*d = 10*z - s*z + 1. Solve 2*n + p = -d for n.
-1
Suppose 12 = -3*y + 6*y. Let c = -78 - -932. Let r = c - 852. Solve 3*o - r*o + y = 0 for o.
-4
Suppose 0 = 4*y + 2 + 2. Let l be (0 - -3)/((y - -2)/1). Suppose 5*p - 23 = 2*i, -2*p = 4*i - l*i - 2. Solve -x = -p*x for x.
0
Let t(m) = -23*m - 18*m**2 + 23*m**2 - m**3 + 19*m. Let p be t(3). Suppose -20*i = -22*i + p. Solve 2*r + 15 = -i*r for r.
-3
Let j = 21 - 23. Let h be (j + -7)*1*(-3 + 2). Let o(q) = -q**3 + 8*q**2 + 12*q - 22. Let i be o(h). Solve -i*r - 12 = -r for r.
-3
Let u(p) = 4*p**2 - 6*p - 29. Let d be u(-9). Let m = d - 347. Solve -2 = m*r - 12 for r.
5
Let x be (-12)/(-2) + -36 + 30. Suppose -114*w + 116*w - 14 = x. Solve -w*a = -5*a for a.
0
Let t be 10/(-40) - (-6)/(-8). Let f be (-1 + 9)*t/(-2). Solve 5*x - f*x = 1 for x.
1
Let y(h) = -8*h - 15. Let l be y(-3). Suppose 0*a - 22 = -2*a. Let j = a - l. Solve 0 = 3*t + j*t + 10 for t.
-2
Let x = 24 - 14. Suppose 3*g = g + 8. Suppose 0 = -5*w - k + 5*k + 10, -8 = -4*w - 4*k. Solve -g*r = -w*r - x for r.
5
Let l(j) = 3*j**2 - 31*j - 24. Let r(k) = k**2 - k - 2. Suppose 11*i = -7*i + 18. Let h(q) = i*l(q) - 2*r(q). Let x be h(30). Solve -w - x = -6*w for w.
2
Let l be 22/4 + 15/(-10). Suppose -l*w + 0*h = 2*h - 186, 34 = w - 2*h. Let o = w + -44. Solve 0*z + 4*z + 8 = o for z.
-2
Let o be (10/(-25))/(2/710). Let k = -139 - o. Solve b - 16 = -k*b for b.
4
Let j be -3 + -69*(-13)/3. Let r = j + -291. Solve r*t - 27 = -12 for t.
3
Suppose h + 41 = -l + 2*l, 3*h - l = -125. Let t be h/(-189) + 1 + (-22)/18. Suppose 0*r + 9*r = t. Solve 0 = -4*v - r + 4 for v.
1
Let v = 6 + -1. Suppose 688 = -55*w + 4758. Suppose w = v*g + 4*z, 5*z = 4*g - 2*g - 23. Solve -5*b + 4 = g for b.
-2
Let v = -118 + 119. Let i be -4 - v/((-1)/58). Suppose -j + i = 8*j. Solve -s + j = 2*s for s.
2
Let a = 10 - 10. Suppose 2*z - 11 - 3 = a. Let i = 557 + -553. Solve -z*y - i = -3*y for y.
-1
Let d = -258 - -289. Suppose 0 = z - d + 28. Solve 3 + z = 6*c for c.
1
Suppose 6 = v - 1. Suppose -6*s + 10 = r - 2*s, 4 = -2*r + 4*s. Suppose -6 = -y - 4*d, 4*d - 30 = -v*y + r*y. Solve 15 = -3*n + y*n for n.
5
Suppose -2*i + 628 - 188 = -k, -5*i - 5*k = -1070. Solve i - 134 = 14*a for a.
6
Let g(y) = -1051*y - 7347. Let w be g(-7). Let z = -6 + 9. Solve 0 = w*h - 13*h - z for h.
-1
Let l(b) = b**2 - 5*b. Let w be l(5). Suppose -2*o + 3*c + 24 = 0, c = o - 12 - w. Let p = -6770 + 6774. Solve -o - p = 4*t for t.
-4
Let p(t) = t**3 + 3*t**2 - 4*t. Let u be p(-4). Suppose 5*z + u*z = 10. Suppose -x + 26 = 2*s, 1683*x = 5*s + 1681*x - 56. Solve 0 = z*n + 4 - s for n.
4
Let a(y) = -y + 2. Let u(h) = 12*h - 163. Let m(k) = a(k) + u(k). Let r be m(15). Solve -2*f + r = -4 for f.
4
Suppose n - 27 = -8*n. Suppose -2*d - 12 = 5*j - 6*j, n*j = 4*d + 26. Solve -j*y - 10 = -0*y for y.
-5
Let i = 1024 + -1011. Solve 7 = -20*q - i for q.
-1
Let h(s) = -2*s - 16 + 0*s - 5*s - 17*s. Let f be h(-1). Solve f = -5*k + 23 for k.
3
Let o be 5 + (-9 - -3) + 49. Solve -20*n = -4*n - o for n.
3
Suppose 0 = -986*h + 1255*h - 15500 - 11938. Solve h = 21*y + 39 for y.
3
Let u = -3681 - -3738. Solve -4*k = -u + 77 for k.
-5
Let l be ((-15)/(-45))/(1/(-57)). Let h = l + 18. Let f be (-6*(-5)/(-2))/h. Solve -5*y + f = -0*y for y.
3
Suppose -34*p + 1534 = p - 1336. Solve -p*w - 21 = -89*w for w.
3
Let m(q) = -q**2 + 4*q + 8. Suppose -r + 158 = 4*d, -2*r + 3*d + 328 = 5*d. Suppose 4*s = -146 + r. Let u be m(s). Solve -u*a + 14 = -1 for a.
5
Let f = 15 - 9. Suppose 4*g + g + 4*i = -9, 5*g - 45 = 5*i. Solve -g*o = -o + f for o.
-3
Let l = -273 - -274. Let k be l*6/(-6) + 4. Solve -12 + 3 = -k*w for w.
3
Suppose -23 = 4*t - 19, g - 5*t - 7 = 0. Solve -g*c = -16*c - 28 for c.
-2
Let d be 90/23 - (-44)/506 - 14. Let i be ((-64)/160)/(2/d). Solve 0 = -10*r + i*r - 16 for r.
-2
Let r(c) = -5*c**2 - 37*c - 34. Let n be r(-6). Solve 17*k + n = 21*k for k.
2
Let u = 23344 - 23331. Let h = 7 + -10. Let b be 0/2 - (1 + h). Solve 0 = 5*a + b + u for a.
-3
Let b be -5 + 0 + 9 + (-9)/9. Suppose 16*q - 12*q = b*x - 46, 4*x = -4*q + 80. Solve 0 = -16*u + x*u + 6 for u.
-3
Suppose 0 = 5*p + 30, -2*p - 13 = 5*o - 31. Solve -2*d + 16 = -o*d for d.
-4
Let y be 7 + -1*(1 + -2). Let c(h) = 16*h**3 + 546*h**2 + 72*h + 162. Let f be c(-34). Solve -f = y*o - 2 for o.
-3
Let v be 138*20/(-30)*(-1)/2. Suppose 2*z - 3*y + 5*y = v, -y - 1 = 0. Suppose n = -z + 28. Solve -l = n*l for l.
0
Suppose -100*k - 5*g + 704 = -96*k, -3*k = 4*g - 528. Solve 186 = 5*w + k for w.
2
Let m(l) = -119*l + 1441. Let s be m(12). Solve s*b = 21*b - 32 for b.
4
Suppose n - 5 = -7*f, 2*n - 4*f + 32 = 5*n. Solve 11 = -l + n*l for l.
1
Let r(w) = -w**3 + 8*w**2 + w - 4. Let j = -32 - -20. Let c(t) = t**2 + 14*t + 32. Let m be c(j). Let o be r(m). Solve -5*i = -3*i + o for i.
-2
Let u(t) = 18*t - 81. Let k be u(5). Let n be (21/(-14))/((k/(-4))/3). Solve 0 = -n*h + 7 - 11 for h.
-2
Suppose 5*m + 2*f - 5*f - 616 = 0, 5*m - f = 612. Let d = m - 122. Solve 16*x - 12*x + 20 = d for x.
-5
Let q(f) = 31 - 17 + 21 + 21 + f**2 - 17*f. Let b be q(13). Solve b*o = 14 - 2 for o.
3
Suppose 3*t + 5*t + 426 = 14*t. Solve 8*k + t = 23 for k.
-6
Let n = 134 + -112. Let z(x) = -x**3 + 22*x**2 + 2*x - 38. Let j be z(n). Solve -4*o = -j*o for o.
0
Let a(c) = -7*c**2 + 28*c - 100. Let s(v) = -v**2 + 3. Let i(l) = -a(l) + 6*s(l). Let x be i(23). Solve -x*p - 1 = -4 for p.
1
Let v be 30/(-165) - ((-50550)/55)/6. Solve -24 = v*g - 165*g for g.
2
Let b be (-35 + 36)/((-1)/(-28)). Solve 28 = b*q + 112 for q.
-3
Let p(g) = -g**3 - 21*g**2 + 195*g + 34. Let y be p(-28). Solve 0 = -5*z + y - 22 for z.
8
Let r(b) = 7*b - 7. Let u be r(2). Suppose -u*t - 15*t = -4*t. Solve i - 6*i - 10 = t for i.
-2
Let y be (368/(-552))/(1/(-147)). Solve -u - 13*u = y for u.
-7
Suppose -632*a = -627*a + 2575. Let k = -509 - a. Solve -5*m - k = 14 for m.
-4
Let j = -36 + 55. Suppose 0 = -t - z + 21, 0*z + 3*z - 81 = -4*t. Solve j*b - 4 = t*b for b.
4
Let p(j) = -j**3 - 3*j**2 + 14*j - 14. Let c be 6/(-9)*12/16*12. Let t be p(c). Solve 0 = 6*d - d + t for d.
-2
Let h(g) = -g**2 + 2*g + 16. Let u be h(5). Let i = -1 - u. Let j be (1/(-2))/(i/20). Solve 3*p - 2 = -j for p.
-1
Let k = 30 - 9. Suppose 12*x = 5*x + k. Let s be 12 - (-4 - 0/x). Solve -6*b + 2*b + s = 0 for b.
4
Suppose -5*o = -6*o + 5. Suppose o*l = 3*l + 10. Suppose l*f = -f + 24. Solve f*d + 4 = -0 for d.
-1
Let r be (-26)/(-30) + -1 + (51/45 - -12). Let f(a) = -a + 8. Let g be f(6). Solve -14*x = -r*x + g for x.
-2
Let y = 9419 + -9384. Solve 44*k - y = 49*k for k.
-7
Suppose -7*i = -0*i. Suppose i = -3*x, 5*x - 49 = -4*g - 5. Suppose g = 5*d + 1. Solve d = 4*l + 14 for l.
-3
Let w be 256/16 + 10/(-2). Solve 4*d - w = 15*d for d.
-1
Let m(b) = 34*b**2 - 402*b - 67. Let y be m(12). Suppose 5*t = -2*v + 53, 0 = -t + 3*v + v - 7. Solve -2*a - t = -y*a for a.
3
Let d be 15 - -2*(-9)/3. Suppose 4*s = -5*n + d*s +