or y.
5
Suppose -5*v + 4*x + 12 = 1, -5*x = 4*v - 17. Suppose -3*s + 9 = -v. Solve -s*b - 11 = -3 for b.
-2
Suppose 2 = -3*q + 5*q, 3*t - 3*q - 12 = 0. Suppose -65*a = t*v - 60*a, -4*v + 21 = -3*a. Solve -v*o - 17 + 2 = 0 for o.
-5
Let m(v) = -5*v - 30. Let u be m(-6). Let r(s) = s**3 - s**2 + 4. Let t be r(u). Solve t*y = -y + 5 for y.
1
Let r(u) = -u**2 + 9*u + 36. Let g be r(12). Suppose b + 2 - 6 = g. Solve 0 = b*n - 0*n + 8 for n.
-2
Let o = 14311 + -14289. Solve -46 = o*p - 2 for p.
-2
Let s(r) = r**2 - 20*r + 39. Let o be s(19). Let y(h) = -3*h - 4. Let a be y(-2). Let g be ((-3)/a)/((-3)/8). Solve -o = -g*b + 8*b for b.
-5
Let d = -7 + 5. Suppose 11 = -21*f - 10. Let s be f*(-2)/(-4)*d. Solve 0 = 3*r + s + 14 for r.
-5
Let s(x) = x**3 - 6*x**2 + 2*x + 1. Let c be s(5). Let w be (-34)/(-119) + 32/c - 140. Let h = 148 + w. Solve 3*a + h = -0*a for a.
-2
Suppose -3*f + f + 4 = z, 3*f = z - 4. Suppose -z*o + 48 = 4*a, -4*o + 4*a + 19 = -21. Solve -5 = 4*m + o for m.
-4
Suppose 101 = 8*v + 77. Suppose -v*z - 9 = 0, -5*t + z - 4 = 4*z. Solve -4 = n + t for n.
-5
Suppose -2 = q + q, -q = -u - 28. Let l = u + 72. Let i = l + -40. Solve -i = 4*w + 1 for w.
-1
Let t(s) = -s**3 + 31*s**2 - 42*s + 365. Let w be t(30). Solve -27*u = -w*u - 22 for u.
1
Let d be -9 + -2 + 0 + (5 - 4). Let i be (-18)/45 - ((-208)/d)/(-2). Solve 3*j - 35 = i*j for j.
-5
Let i(z) = -8*z**2 + 0*z**2 - 5*z**2 + 3 + z**3 + 2*z**2. Let n be i(11). Solve w - 8 + n = 0 for w.
5
Let w(y) be the second derivative of y**5/20 - 7*y**4/12 - 5*y**3/6 - 21*y**2/2 - 178*y. Let x be w(8). Solve 3*o = 2*o + x for o.
3
Let t = 40 - 39. Let a be t + -1 - (-1 + 1). Let w be (5/(-25)*a)/(1 + -4). Solve w*j - 12 = 3*j for j.
-4
Let h(u) = 117*u + 16396. Let j be h(-138). Solve -39*p = -211 + j for p.
-1
Let t = 40 + -103. Let b = -59 - t. Solve b*a = 3*a + 5 for a.
5
Let a = 352 - 247. Let f be a/(-63) - (2/6 - 2). Solve f*n = -n - 4 for n.
-4
Suppose 5*t + 40 = 0, 6 = -2*q + 5*t + 46. Solve q = -396*u + 394*u + 12 for u.
6
Let o(n) be the first derivative of -n**4/4 - 16*n**3/3 + 3*n**2 + 38*n + 7. Let s be o(-16). Let l = s + 60. Solve -l*a - 15 = a for a.
-5
Let x(h) = 5*h + 18. Let s be x(-3). Let j be ((4 + 0 + -4)/(-2))/s. Solve 4*q + j*q = 8 for q.
2
Let l(s) = -s - 25. Let v = -260 + 233. Let o be l(v). Solve 10 - 8 = -o*h for h.
-1
Let t(h) = h**2 - 223*h + 881. Let l be t(4). Solve 3 + l = 4*i for i.
2
Let m(x) be the second derivative of -x**4/12 - 31*x**3/6 - 55*x**2/2 + 7*x. Let y = -101 + 72. Let b be m(y). Solve 3*p + 0 = b for p.
1
Let n = 5453 + -5449. Suppose -2 - 4 = -2*u + 4*o, 5*o = -3*u - 2. Let v be (-10)/(-2 - (-2 + u)). Solve n*z + 6 = -v for z.
-4
Let r = 279 - 273. Suppose 2*w + n + 3 = 0, -3*w - r*n = -0*w + 18. Solve 2*h + 10 = -w for h.
-5
Suppose 47*u = 28*u + 23 + 34. Solve 0 = -24*d + 21*d + u for d.
1
Suppose -3*z + 3*z = 4*z. Suppose -3*r - 15 = -48. Solve 6*d + 7 + r = z for d.
-3
Let z be (7/(-2)*(-520)/182)/((-42)/(-567)). Solve 34*d - z = 7*d for d.
5
Suppose 3*m = 5*j - 484, 0 = 3*j - m - 3*m - 297. Suppose -n = 93 - j. Let t(v) = 2*v**2 - v - 4. Let d be t(n). Solve 0 = d*q - 7*q for q.
0
Let u(j) = 3*j**2 - 18*j - 22. Let z(o) = 5*o**2 - 36*o - 44. Suppose 0 = 5*m + 6 + 14. Let r(g) = m*z(g) + 7*u(g). Let c be r(-17). Solve 0*n = -n + c for n.
5
Let c = -373 + 23. Let j = c + 355. Solve -2*r = -j*r - 15 for r.
-5
Let c = -14 - -69. Let j = c + -39. Suppose -j = -3*q - 13. Solve -16 = -3*v - q for v.
5
Let y(m) = 2*m + 54. Let d be y(7). Suppose -d*h + 73*h = 25. Solve h*k = k for k.
0
Suppose -3*v + 17 = -5*g, -5*v - g - g = -18. Suppose -17*i + v*i = -221. Solve 3 = 4*b - i for b.
5
Suppose -3*v + 178 = -389. Let m be (v/63)/(1*3) - 1. Let d(n) = n**2 + 2. Let p be d(2). Solve m*y - 2*y = p for y.
-3
Suppose -3*i + 14 = -16. Suppose 3*t - 36 - i = -2*z, 3*t + 4*z - 38 = 0. Solve 0 = 19*o - t*o - 5 for o.
5
Let b be (16/10)/((-4)/(-2*10)). Suppose -3*x + 6*g = b*g - 17, -x + 3*g - 9 = 0. Solve -x*n - 2 = 7 for n.
-3
Let y(g) = g**2 - 2*g + 2. Let s be y(3). Suppose 2*b + 1 = s*n + 8, -n = -3*b + 4. Suppose -5*i + 30 = 3*d, 0 = i + 2*d - 8 - 5. Solve -2*t - b = i for t.
-2
Let s(c) = -6*c + 24. Let i be s(7). Let w = 18 + i. Solve 16 = -w*q - 4*q for q.
-4
Let m be 4/14 - 156/7. Suppose -2*k + 0*t - 2*t + 46 = 0, 2*k = t + 52. Let j = k + m. Solve -8 = -g - j*g for g.
2
Suppose 5*f + 25 = 4*q, -q - 85*f = -82*f + 15. Solve q = 3*k + 339 - 348 for k.
3
Let v = -600 - -623. Solve 2*f + v - 21 = 0 for f.
-1
Let o(k) = -k - 14*k - 5 + 6*k**2 - 5*k**2 + 14*k. Let l be o(-3). Solve 0 = -l*d + 11*d for d.
0
Let k(l) = 2*l**3 + 13*l**2 + 13*l + 5. Let z be k(-5). Solve 242 = -z*m + 137 for m.
-7
Let j(n) = -n**3 - n**2 + n - 2. Let m be j(-2). Suppose 9*l + 0*l - 648 = m. Let r = -72 + l. Solve -2*x + r - 10 = 0 for x.
-5
Let d = 147 + -7. Suppose -69*u + 76*u = d. Solve 0*l + 5*l + u = 0 for l.
-4
Suppose 2*u + d - 199 - 33 = 0, 0 = 5*u - d - 566. Solve 14*l - 30 = -u for l.
-6
Suppose 56 = 17*l - 16*l. Let i = 64 - l. Solve -i*k + 25 = -3*k for k.
5
Suppose -3264*d + 864 = -3256*d. Solve -11*i + 207 = d for i.
9
Let k(p) = -p**2 - 6*p - 4. Let s be k(-4). Let y(h) = -76*h - 380. Let j be y(-5). Let r = j + s. Solve 8*a - r*a = 12 for a.
3
Let c be 2 - (4 - (4 - -2)). Suppose 14 = 2*s - 5*u - 8, -3*s - u - 1 = 0. Suppose -2*r + s = 3*f, -2*f = r - 0 + 1. Solve 0 = r*b + c - 29 for b.
5
Let c = -6975 - -7034. Solve c + 5 = -16*o for o.
-4
Suppose -h + 15*h - 28 = 0. Suppose 2*w - 3*y + y - 40 = 0, 0 = 4*w + 4*y - 104. Let a = -23 + w. Solve a = h*o - 3*o - 1 for o.
-1
Suppose -174 = -13*d + 60. Suppose 21 = 3*g + d. Suppose -w + 4 = -g, 5*q - w = 5. Solve -q*b = -b + 3 for b.
-3
Suppose 5*z - 204 = -3*v, -10*v + 5*v + 5*z = -380. Solve 37 - v = -18*o for o.
2
Let k = 15974 + -15440. Solve 4*u - k = -502 for u.
8
Let l be (16/10)/((-4)/(-42))*(-59395)/(-3394). Solve -18*s = -67*s - l for s.
-6
Let n = -6 - -12. Suppose 0 = -n*g + 3*g + 96. Suppose 11*y - 10*y - g = 0. Solve -12 = -5*l - y for l.
-4
Let g(t) = t**2 - 13*t + 7. Suppose 12 = -5*k + 7*k. Let m be g(k). Let i = m + 39. Solve 1 = -l - i for l.
-5
Suppose -5*y + 45 = -2*u + 1, 5*y = u + 42. Let n(v) be the first derivative of v**3/3 + 13*v**2/2 + 3*v - 14. Let p be n(-15). Solve -5*m = -y + p for m.
-5
Suppose -5*o - 5*s = -185, 3*s + 52 = o - 9. Solve 30*z + 26 = o*z for z.
2
Suppose 4*p + 7*p = p. Suppose p = -3*q + 3, -2*z + 25 = 4*q + q. Let h be 2/18*3*6. Solve -h*f + z = -0*f for f.
5
Suppose -2*p - 5*o = -7*p + 25, 0 = o - 3. Suppose 30 = p*l - 34. Solve -h + 7 = -l*h for h.
-1
Let s = -6933 + 6980. Solve 25*p + s = -28 for p.
-3
Suppose -3*d + 8 = h, -135*h - 4 = -d - 136*h. Let g be -2*(2 - 1)*-2. Suppose -3*n + 9 = -g*k, -4*n = -2*n + 4*k - 6. Solve -n*w - 7 = d for w.
-3
Suppose -3*r = -3*c - 54, -2*c + 23 + 31 = 4*r. Let a(s) = -s**3 - 11*s**2 + 11*s - 8. Let b be a(-12). Solve -27 = -b*h - r for h.
3
Suppose 11*i - 63 = 531. Suppose y = 6*y - 270. Let d = y - i. Solve d = 4*x - 0*x + 8 for x.
-2
Suppose -8*w + 2 = 26. Let b be w + -1 - (-52 + 38). Solve 0*s - b = 5*s for s.
-2
Let d be (-6)/16 + 162/48. Suppose 0 = 12*b - 8*b + 4*a - 64, d*a + 7 = 2*b. Solve -b = 3*i - 2 for i.
-3
Suppose -3*k + 240 = 45*k. Suppose h - 1 = q, -3*q - k*h = -57 + 20. Solve -7*d + q*d = 3 for d.
-1
Let k(u) = -u**3 - 12*u**2 - 43*u - 6. Let v be k(-6). Solve 36 = v*l - 72 for l.
3
Let l be ((102/(-7))/((-2)/(-14)))/(-1). Suppose 14 = -4*n - l. Let c = 30 + n. Solve -c = -5*k + 4 for k.
1
Let o = 4644 - 4603. Solve o = f + 33 for f.
8
Suppose 166 = -2*t + 3*c, 3*c + 219 = t - 4*t. Let k = -70 - t. Suppose 2*h = 4*p - 8, 0 = h + k - 3. Solve p*a + 4*a = 0 for a.
0
Suppose 53*u - 756 = -73*u. Solve -27*i - 63 = -u*i for i.
-3
Let v be (4*(-36)/(-336))/(2/126). Solve 0 = -10*r + r - v for r.
-3
Suppose -2636*q = -2633*q - 6, 5*z - 4*q = 22. Suppose 4*i - 4 - 12 = 0. Solve -i + z = s for s.
2
Let k(o) = 2*o**2 + 128*o + 1620. Let n be k(-48). Solve n*r + 402 = 17*r for r.
-6
Let r be -6 + -1 + 12 + -4 + 5. Let i be (16/(-12))/(4/18). Let n = -3 - i. Solve -w - r = -n*w for w.
3
Let k(o) = -2*o**2 + 55*o + 35. Let t be k(28). Suppose t*a - 1 = 34. Solve 0 = -2*i - 1 + a for i.
2
Let s be (6 - 129/21) + 127/