- 5*b - 11 = 0 for y.
3
Let t = 228 - -289. Let y = t + -514. Solve h + y = -3*i + 2, 13 = 5*i - 2*h for i.
1
Let y = 518 + -518. Suppose 8*a + 14*a - 44 = y. Solve -a*i - z - 12 = z, 3*z - 14 = 5*i for i.
-4
Let s(q) = 2*q**2 - 3*q - 8 - 6 + 7*q. Let g be s(-6). Let o = g - 30. Solve -a - 4*a + 23 = u, 0 = -o*a + u + 13 for a.
4
Let g(w) = -w + 28. Let x be g(-27). Let u be (-22)/x*10/(-6)*3. Solve 5*s + u*z - 19 = 0, -s + 0*z + 8 = -z for s.
5
Suppose -3*m + 7*m - g = 4, -20 = -5*g. Suppose 3*o = 5*x - 98, -5*o - 135 = 3*x - 221. Solve 0 = 2*a - 2*f + m, 0*a - 3*f = 2*a + x for a.
-5
Let q(n) = n**2 - 18*n + 77. Let o be q(7). Solve -2*t + 2*b - 14 = o, b = 5*t + 35 - 16 for t.
-3
Let u(t) be the second derivative of t**4/6 + 11*t**3/6 - 3*t**2 - t - 41. Let h be u(-6). Solve p = d - 8, 3*p = -5*d - h*p for d.
3
Suppose -2*i + 14 = 5*i. Let u be 8*1/i + -18. Let q be (-40)/(-18) - u/(-63). Solve 5*f + 2*h + 19 = 0, q*f + 4*h + 23 = -3*f for f.
-3
Let z be (-24)/18*-15 - -2. Suppose -360 = -z*g + 2*g. Solve -5*u = -4*r - r - 5, -g = 2*u + 3*r for u.
-3
Suppose 673*u - 918 = 639*u. Solve 5*r - 5*y = -5, -24 + u = -3*r + 4*y for r.
-1
Let v(r) = 125*r + 5500. Let g be v(-44). Solve 5*q + 4*o + 38 = 14, -q + 2*o - 2 = g for q.
-4
Let l = -472 - -481. Let b be -1*(l - 9 - (4 - 1)). Solve t = r - 2*t - b, 2*t + 15 = 5*r for r.
3
Let g be 2 - 750 - ((-7 - -12) + -3). Let c = g + 752. Solve c*k + 10 = -0*d - 2*d, 5 = -3*k - d for k.
0
Let v = -48 + 18. Let k = 34 + v. Solve -r - k*l - 8 = -5*l, -4*r - 11 = 3*l for r.
-5
Let m(u) be the second derivative of 17*u**4/4 + u**3/6 - 6*u. Let r be m(1). Let q = r - 48. Solve -4 = -2*g, 5*w + 4*g = 9 + q for w.
1
Let v(w) be the second derivative of -17*w**3/6 - 81*w**2/2 - 183*w. Let j be v(-5). Solve -j*m + 4 = -4*h, -2*m - h - 18 = h for m.
-4
Let n(f) = -f**3 + 19*f**2 + 36*f - 7. Let t be n(21). Let l = t + 135. Solve 20 = 2*h + l*k, 3*k - 20 = -0*h - h for h.
5
Let o be ((-1)/(-4))/(2/128). Let p be (-245)/(-25) - o/20. Solve -3*q + 3*k = p, -2*q = k - 5*k + 10 for q.
-1
Suppose -109*h + 701 + 383 = -333. Solve -5*p + 14*a = h*a - 13, 5 = 3*p - 2*a for p.
3
Suppose -u - 2 = g, -3*g + 0*u = -2*u - 4. Let b be -2 + g - (-192)/32. Solve -5*h = -b*f - 12, 10 = 4*h - 2*f - f for h.
4
Suppose -6*r + r - 39 = -2*x, 0 = 3*r - 9. Let b be (8/(-3))/(18/x). Let k be 19 - ((-2)/b)/((-1)/2). Solve 2*s + 2 = 0, -5*j + j + 4*s + k = 0 for j.
4
Let r = -93 + 96. Suppose -r*m + 3*c = -3, -6*m + 3*m = 2*c - 13. Suppose 8*q - 21 - m = 0. Solve -d + 4 = 0, 32 = -q*p + 4*d + d for p.
-4
Let a be -12 + -16 + 9 + (-175)/(-7). Solve -a = 2*b - 4*h, -16 = -3*b - h - 18 for b.
-1
Let v = -137 - -135. Let c be v*(1 - 2) + 1. Solve -12 = 2*h + c*j, -j - 4*j = h + 13 for h.
-3
Suppose -3525*g + 3505*g = -62 + 22. Solve 6*j = i + 3*j + 10, -g*i + 7*j = 23 for i.
-1
Let z = -52 + 57. Suppose -z*t + 2*g + 18 = 0, -4*t = -3*g - 2*g - 28. Solve o = -t*a + 8, -6*o + 10 = 4*a - o for a.
5
Let v = -30 + -87. Let d = -215 - v. Let m = 98 + d. Solve 15 = -5*c, k + 4*c + 7 = -m for k.
5
Let y(o) = -o**3 + 54*o**2 + o - 70. Let a be y(54). Let s be (-6)/9*(2 + 37). Let u = a - s. Solve r = h + 2, 5*r - 3*h = -4 + u for r.
0
Let w be -4 + (-7)/21*-9. Let b be (35/(-7) - 0)/w. Solve -2*o + b*t + 23 = -3*o, 4*o - 33 = 5*t for o.
2
Let s = -19120 - -19131. Solve s*l - 13*l - 3*p - 7 = 0, 3*p + 6 = -3*l for l.
1
Let p = -1341 + 1345. Solve -2*r + 5*j = 33, 0*r - j - 11 = p*r for r.
-4
Suppose 2*o - 2 = p - 3*o, 3 = 3*o. Let t be 2/6*(59 - (-16)/(-2)). Suppose -17*g = -17 - t. Solve -p*n = -l - g*n + 1, 0 = l + 2*n + 8 for l.
-2
Suppose 3390 + 2520 = 96*a - 1482. Solve p = r - 3, -73*r + a*r - 5 = -3*p for p.
-1
Let h be 1 + (-6)/(-2) + (-3 - -3). Suppose 0 = w + 3*k - 18, 2*w + 2*w = -h*k + 40. Suppose w*m + 10 = 11*m. Solve -3*o + 4 = -f - 2, -4*o - m*f = -18 for o.
3
Let g(r) = 132*r + 795. Let w be g(-6). Solve 3*l + w*p + 6 = 0, 3*p + 3 - 1 = -l for l.
-2
Let c(u) = -12*u + 342. Let w be c(28). Let v = 23 + -8. Solve z - h = -3, 2*h + w - v = -z for z.
1
Let u(l) = -9*l**2 - 79*l + 43. Let f be u(-9). Solve -f = -5*s + 5*n, 4*s + 16*n + 4 = 12*n for s.
2
Let d = -59 + 71. Let c be d + -14 - (2 + -5). Solve 2*x + h = -c, 6*h - h - 19 = -2*x for x.
-3
Suppose -11 = -3*x + 4*h, 4*x - 3*h - 4 - 13 = 0. Suppose p - 4*z = 20, x = 25*p - 22*p - z. Solve 24 = -3*u + 3*d, 4*d + p*d - 12 = 0 for u.
-5
Suppose 4*m - 1213 = 75. Let d = -320 + m. Suppose 2*l = 3*l - 4. Solve -2*v = -3*t - 13, 12 = l*v - 2*t - d for v.
2
Let j(u) = 163*u + 504. Let y be j(-3). Solve 3*t - 19 = -2*m, -2*m = -7*m - t + y for m.
2
Let h be 15 + (-36 - (-7 + -19)). Let r(t) = t**3 + 7*t**2 + 4*t - 7. Let i be r(-6). Solve -18 = i*x - 2*d + 17, 0 = -h*x - 2*d - 15 for x.
-5
Let p = -320 - -331. Solve 0 = 3*g - 4*r + 13, 3*g - 9*r + p = -7*r for g.
-3
Let t(j) = j**2. Let z be t(-2). Suppose -2*y = 5*d - 7*y + 10, -5*d - 10 = 2*y. Let q be (-13)/d - 1/2. Solve 0 = z*a + 12, 0 = -o - 4*a - 6 - q for o.
0
Let q be (-36)/(-15) + 8/(-20). Suppose -q*g = 69 + 47. Let k = g - -62. Solve -2*c - 15 = 3*c - k*f, -6 = 2*c - 5*f for c.
-3
Let f(d) = 3*d - 1. Suppose 2*p + 4 = 6*p. Let m be f(p). Let u be 2/(2/3) + m - 2. Solve -12 = -4*h + u*k - 36, -2*h - k = 2 for h.
-3
Suppose 3*l = 3*g + 15, 4*l = 2*g + l + 7. Let s(c) = -c**3 - 8*c**2 - 2*c - 9. Let a be s(g). Let v = a - 4. Solve -v*o - 4*p = -5 + 2, -16 = -2*o + 2*p for o.
5
Suppose u - 2*u - 4*m = 20, -3*u + 4*m = -20. Suppose k - 5 = 0, 0 = 2*l - u*l + 2*k + 44. Let p = l + 30. Solve -4*n + a - 12 = -p*a, 3*n = 5*a - 11 for n.
-2
Let z(q) = 58*q + 119. Let s be z(-2). Solve k = -2*l + 12 - 7, 0 = s*l - k - 10 for l.
3
Let z be 7/((-28)/(-18))*4. Let i be 18 + (-9)/(-3) + 1. Suppose 2 = -4*v + i. Solve -g + 6*t - 3*t - 2 = 0, v*g - t = z for g.
4
Suppose -5*d - t = -155, 4*d - 124 = -17*t + 19*t. Solve 3*r = -0*o - 5*o + d, -2*o + 4*r + 2 = 0 for o.
5
Suppose 3*x + 5*s = -9 + 10, 3*x - s - 7 = 0. Let w be 1/2*0/6. Solve w = 3*l + 3*m + 12, l + x = -2*m - 1 for l.
-5
Suppose -2*v - 10 = -4*j - 3*v, 4*v + 2 = -2*j. Let p(q) = q + 8. Let n be p(-4). Let w be ((-3)/1)/(42/(-70)). Solve 7 = w*l - b - j*b, -2*b = -n for l.
3
Let a(b) = b**3 + 21*b**2 - 21*b + 25. Let y = -423 - -401. Let t be a(y). Solve -5 = v + w - 0, 0 = v - 3*w - t for v.
-3
Suppose 2*n - 6*n + 8 = 0, -4*x + 428 = 2*n. Suppose x = 9*k - 164. Solve -15 = -2*q + 4*s + 15, -s = -5*q + k for q.
5
Let i = 284 - 152. Suppose -3*p = u + 4*u - 201, 0 = 2*p + 4*u - i. Suppose p = 4*c + 4*s, 5*s = c - 5 - 1. Solve -3*j = f + f + 10, 4*f + 4*j + c = 0 for f.
-2
Let i(r) = 198. Let b(z) = -z + 196. Let a(g) = 5*b(g) - 6*i(g). Let f be a(-42). Solve 3*l - 6 = 0, 0 = -f*o - 0*o + l + 6 for o.
4
Suppose 0 = -112*j + 2359 + 105. Solve p = x + 3*x + j, -5*p + 25 = -3*x for p.
2
Suppose -11*q = -9*q + 202. Let v = -80 - q. Let x = -21 + v. Solve x = -5*g, 4*t + g + 2*g = 0 for t.
0
Let o be 320/(-4 + 9)*1. Suppose 5*r - o = 4*r. Suppose 5*v - 2*g - 68 = 0, -r = 3*v - 7*v + 4*g. Solve -3*k + 2*b - 1 - 4 = 0, 0 = 4*k + 2*b - v for k.
1
Let w = 1 - 13. Let m be 1/3*2 - 52/w. Suppose m*v = -25, 2*g - v - 9 = g. Solve -2*i - g*r + 8 + 8 = 0, r = -4*i + 4 for i.
0
Suppose -u + 1949 = -5*u + 5*v, 0 = u - 5*v + 491. Let h = 488 + u. Solve 0 = -3*q - 2*i - 17, 4*q - i - h = -21 for q.
-5
Let n(s) = -64*s - 59. Let w be n(-1). Solve 26*j - 21*j = -4*a - 50, -w*a - j - 31 = 0 for a.
-5
Let l = 63 + -56. Let r(f) = -4*f + 30. Let k be r(l). Suppose -4*a = -34 - k. Solve x - 5 = h, a = -3*x + h - 6*h for x.
2
Let w(z) = -z**3 + 6*z**2 + 7*z. Let f be w(7). Let n(v) = 80*v - 2718. Let o be n(34). Solve -3*x - 5*r = -19, f = x + o*r - 8 - 0 for x.
-2
Let q = 89 - 87. Suppose -n + 5 = 4*b, q*n = 5*n - 3*b - 15. Solve 2*o - t + 2 = 0, -6 = o - n*t + 13 for o.
1
Let u = -129 - -155. Suppose 0 = -10*y + u + 24. Solve 0*k = 5*r + 2*k, 5*k = -y*r for r.
0
Suppose -294 - 2085 = -793*c. Let a(l) = -l**2 + 1. Let t be a(-1). Solve t = -5*v - 4*k - 7, 5*v + 7 + 14 = c*k for v.
-3
Let v be 267 + 6/(-2) + 2. Let m be v/49 + 9/(-21). Let z be 10 - (4 + (4 - 3)). Solve -12 = -3*l + 3*k, m = z*l - k - 15 for l.
4
Suppose 4*f + 129 = -2903. Let y = 762 + f. Solve y*k = 2*x + 8, -3*x + x + 20 = 3*k for k.
4
Let