3 = o, 2*i = o - 13 for o.
5
Suppose 14*d = 2*d. Let g be 12 + ((-30)/(-6) + d - 5). Solve 5*y + 15 = -2*z, -3*y + 5 = -4*z - g for y.
-1
Let s(b) = 2*b - 33. Suppose -48 - 199 = -13*f. Let w be s(f). Solve 2*p = 5*l - 3*p + 15, w*l + p = -3 for l.
-1
Let d = -3263 - -3267. Solve -4*r - f + 3*f = 14, -5*f + 7 = d*r for r.
-2
Suppose 6*o + 12 = 12*o. Let m be 3 + 5 + 6/o. Solve g + 0*b + 5*b + m = 0, 0 = 2*g - b for g.
-1
Let j = -31040 - -31045. Solve 5*l - 3*z = 8*l + 15, -4*z - 23 = j*l for l.
-3
Let l be ((-5)/3 - -2)*18. Suppose 5*d - l = 3*d. Let q be -2 + (d - 1) - -2 - -2. Solve -1 = 3*g - 3*o - q, 5*g = -3*o - 3 for g.
0
Let p = -1637 - -1644. Solve -2*d = -t + 6, p = -4*t + 3*d + 11 for t.
-2
Let s = 10 + 4. Suppose 0 = s*i - 20*i + 24. Suppose 1 = -5*y + i*y - 3*f, 0 = 5*y + 3*f - 7. Solve y*u + 0*u - 5*j = 20, 0 = 3*j + 6 for u.
5
Let h(n) = n**2 + n + 2. Let z(v) = -3*v**2 - 5*v + 7. Let j(a) = -2*h(a) - z(a). Let b be j(5). Solve -y - 5*d - 20 = -2*y, 4*y - b = 3*d for y.
5
Let f = -113 - -118. Let d(s) be the second derivative of -s**3/3 - 7*s**2/2 + 5*s. Let u be d(-6). Solve 4*r - 11 = -0*r + o, f*o = -u*r - 5 for r.
2
Let r(c) = -c**3 - 4*c**2 + 58*c - 17. Let y be r(-10). Solve -83*p + y*a = -84*p - 4, 5*a + 3 = 2*p for p.
-1
Suppose 22*d = 18*d + 8. Suppose k - d = -0*l + 3*l, -3*k = 5*l - 6. Solve 3*q = -5*m - 3, -1 = -3*q + k*q - m for q.
4
Let p = 186 + -182. Suppose 3*c + 0*c = -p*i + 3, -2*i - c + 3 = 0. Solve 8 = v - 3*o, -i*v + 6*v = 5*o + 20 for v.
5
Suppose 33*v - 374 + 22 = -11*v. Let q be 12*((-24)/(-9) - 2). Solve -4*u - v - q = 0, 5*w - u = 29 for w.
5
Suppose -172*p + 175*p - 9 = 0. Solve 2*w - x = -p - 0, w - 2*x = -6 for w.
0
Let r = -294 + 320. Suppose -4*y - 29*p = -r*p - 17, 2*p = -y + 3. Solve c - 20 = y*s, 0 = -s + 1 - 4 for c.
5
Let f(y) be the second derivative of 1/3*y**3 + 0 + 1/3*y**4 + 0*y**2 - 20*y. Let z be f(-2). Solve w + 3 = -m, 3*w + w + z = 4*m for w.
-3
Let k = 23 - 18. Let a be 0 - (k - -1 - 3). Let p be 0*((-7)/2 - a). Solve -o + 10 = o + 2*v, p = 5*o + 2*v - 13 for o.
1
Suppose -26*d = -18*d + 16. Let z be 5 - (5 + -3 + d). Solve z*y - 20 = 0, 4*y + 9 = u - 6*u for u.
-5
Suppose -158 + 159 = -b, 5*b = -p - 3. Suppose 5*d + 0*l + 16 = 4*l, -l + 4 = -5*d. Solve d = 3*u - 3*n - 6, 0 = 3*u + n - 16 - p for u.
5
Let c = -164 + 93. Let y = c - -77. Suppose -8 - y = -7*f. Solve 3 = -m, -f*z = -6*z + 4*m + 32 for z.
5
Let l(s) = s + 14. Let y(v) = v - 13. Let d be y(5). Let x be l(d). Suppose -3*c + 2 = i + x, -c = 5*i - 8. Solve -i = 2*b + 4*f, 23 = b - 6*b - f for b.
-5
Let c(b) be the second derivative of b**4/6 + b**3/2 - 26*b. Let y be c(0). Solve 4*w + 3*t - 19 = y, 9 = 3*w - t - 2*t for w.
4
Let o = 55 - 53. Let k = o + 1. Let i be (8/(-28))/(1/(-7)). Solve -k*z + l = -2*l + 24, i*z - 3*l + 21 = 0 for z.
-3
Suppose q - 10 = -q. Let z be ((-3)/54 - 12/(-72))*9 + 0. Solve q*x + z = 3*x + m, -5*x = 5*m + 25 for x.
-2
Suppose 6*u - 5*q - 18 = 2*u, 4*q + 12 = 2*u. Let w be u/3*(-4 - (-12 + 5)). Solve 33 = 4*g + 5*o, o = -w*g - 0*g + 9 for g.
2
Let z = -2331 + 2344. Solve o - 4 = 4*b + z, 4*o - 32 = 4*b for b.
-3
Let z = 9235 - 9230. Solve 20 = 2*d + 3*d - 2*r, -2*d + 8 = -z*r for d.
4
Let t be (((-306)/8)/9)/((-1)/4). Suppose 6*y - 3*h = 5*y - 3, t = 5*y + h. Solve n - 3*a = -2*n + 12, 4*a + 11 = y*n for n.
5
Suppose 3*j = -297*s + 302*s + 1568, 3*j - 1572 = 3*s. Solve 3*g + 4*r + 23 = 0, -5*r - j = -3*g - 504 for g.
-1
Suppose -15*h - 3*w = -20*h - 9, 4*h + 4 = 2*w. Solve h*f - 80*j = -83*j - 9, -4 = -2*j for f.
-5
Let u be (-2)/2*4 - (-35 + 2). Let q(b) = -2*b - 14. Let m be (14/4)/((-2)/4). Let t be q(m). Solve 7 = -z - 0*z + p, -2*z + 5*p - u = t for z.
-2
Let j be ((-3 - -3)/(-1))/(8/(-2)). Suppose -3*a + 5*v - 11 = j, -4*v = 4*a - 7 - 21. Solve -5*f + 17 = 4*y, -a*f - 2*y = y - 9 for f.
5
Let s be 1 + -2 + (-5 - -5). Let f be 12*s*(-2)/4. Suppose 10*p - f = 8*p. Solve 2*d - 4 = 0, -18 = -4*x + p*d - 2*d for x.
5
Let r = 5207 + -5205. Solve -r*h + 30 = 4*v, 4*h - 7*v + 8*v = 25 for h.
5
Let u = -605 + 601. Let y be u/6*-6*(-10)/(-20). Solve 4*f + 2*z + 14 = 0, -6*z + 3*z = y*f + 13 for f.
-2
Let d be -9 + -11 + 9 + 12. Solve f - n - 5 = 0, 0*n = n + d for f.
4
Suppose -w + 2*m = 2, -10*w + 4*m - 4 = -5*w. Let i be 1/4*0/1. Suppose i*y + 3*y - 6 = 0. Solve 2*j + y*c = 0, 5*j - 8 = -w*c - 3*c for j.
4
Let f = -171 + 173. Let i be -1 - (f - (-30)/(-6)). Solve -3*w - 15 = -3*d, i*d = 4*d + 2*w + 6 for d.
1
Let y(u) = -5*u**2 - 73*u - 33. Let s be y(-14). Suppose -3*i = -3*l + 9, 9*l - 13*l = -i - s. Solve -5*x + l*m - 9 = 0, 0*m + 5 = x + 3*m for x.
-1
Let s(z) = z**3 - 3*z**2 + z + 2. Let r be s(2). Solve k + 21 = 4*k - 2*h, r = 2*h + 6 for k.
5
Suppose -2*o = -5*r + 14 + 2, 4*r - 2 = -2*o. Suppose 15*b - 9*b = r*b. Solve -h + 0*i = -3*i + 11, -2*i + 8 = b for h.
1
Suppose i + 2*j = -10, 5*i = i - 5*j - 22. Solve -4*h + 30 = i*c, -h - h + 20 = 2*c for c.
5
Let w be 4/16 + (-1 - (-75)/20). Solve -5 = -5*l + w*d, l - 1 = -12*d + 14*d for l.
1
Let p = -18126 + 18137. Solve c - 22 = 5*j, 4*c = -7*j + p*j + 24 for j.
-4
Suppose 2*o - 20 = -22*p + 19*p, 2*o + 2*p - 18 = 0. Solve -3*j + 3*d + 1 = o*d, 4*j - 4 = -4*d for j.
3
Suppose 4*m - 17*u - 516 = -13*u, 5*u = -5*m + 555. Solve -a - 9 = -4*b, -b + 26 = -m*a + 115*a for a.
-5
Let u = -154 - -164. Suppose -u*c = -12*c + 6. Solve 4*w + c*h - 16 = h, -h = -2*w + 12 for w.
5
Suppose 167*h = 79*h - 75*h. Solve -5*y - 20 = h, 0 = 5*k - 5*y + 8*y + 7 for k.
1
Let t be ((-6)/(-4))/3*826/59. Solve 2*f - 15 = -2*s - t, -f - 1 = -4*s for s.
1
Suppose 0 = -3*x + 17*x + 420. Let h be ((-57)/(-9) + -7)/(4/x). Let m be 1*4 + (2 - (h - 3)). Solve 4*d - m = -3*a + a, 4*a = -d - 6 for d.
2
Let z be ((1482/65)/19)/((-6)/(-15)). Solve 5*m - 2*m + 10 = -2*r, m - z*r - 15 = 0 for m.
0
Let a(n) = -9*n**3 - 3*n**2 + 2*n - 2. Let j be a(3). Let v = j + 271. Solve c - 20 = 4*k, -4*c = k - 0*k + v for k.
-5
Let g be 16/(-2)*(-10)/100*30/24. Solve p - 2*c + 7 = 0, -3*p - 2*c + 12 - g = 0 for p.
1
Let g(d) = 69*d - 62. Let j be g(1). Solve -24 = -4*s + 5*l, -4*l - j = -3*s + 12 for s.
1
Suppose -109*p = -3106 + 1253. Solve x = -3*l - p, 5*l + 5*x - 9*x = 0 for l.
-4
Let p = -13377 - -13379. Solve -7 = p*h - 5*q, -33*q = -5*h - 28*q - 10 for h.
-1
Let h be (-17)/2*((-840)/450 - 8/60). Solve -8 = 3*p - 2*w, -p + 16*w = h*w + 1 for p.
-2
Let d be (-1 + 21)/5 + (-4 - 20). Let o be (-6)/10*d/6. Solve 4*s - 4 = -4*h, -s + 2*h = -o*h + 19 for s.
-3
Let o(h) = -h + 1. Let l be o(-3). Let i be (-2 + 18 - -2) + 96/(-24). Let c be 6 - (i/4 - 3/2). Solve -17 = c*a - 4*g + 3*g, -a - 17 = l*g for a.
-5
Let w(k) = k**3 - 27*k**2 + 181*k + 14. Let n be w(14). Solve -y + h = -84 + 82, n = -4*y - 3*h + 22 for y.
4
Suppose -99*i - 96*i + 200*i - 10 = 0. Solve -15 - 5 = 4*c, i*c + 26 = -4*j for j.
-4
Let l(q) = -125*q - 497. Let v be l(-4). Solve -6*u - 4*t = -3*u - 9, -5*t + 18 = -v*u for u.
-1
Let n be 1/(-6) + (-174)/36 + 5. Let d = -61 - -63. Solve -a + d*h = 0, n = -2*a + 6*a - 4*h - 8 for a.
4
Let o = 4 - -17. Let j = o - 19. Let m(p) = -p**2 - p + 3. Let y be m(0). Solve -d = -y*d - 6, 0 = -g - j*d - 8 for g.
-2
Let n(c) = -2*c + 95. Let k be n(46). Suppose -k*g = 3*z + 17 - 8, -4*g + 3 = z. Solve 0 = 3*m - 9 - 6, -2*m + 2 = -g*t for t.
4
Suppose 15*y = 6*y - 18. Let c(s) = -5*s + 7 + 1 - 3. Let g be c(y). Solve -4*d - 5*f = g + 2, -f - 5 = 0 for d.
2
Let i = -11601 - -11604. Solve 3 = -4*f + i*n, -5*f + 3*n - 5*n - 21 = 0 for f.
-3
Suppose 833*t - 829*t + 8 = 0, 2*t = 4*m - 12. Solve 4*f = 3*f - 2, 0 = -4*g - m*f + 4 for g.
2
Let h(v) = -176*v - 1932. Let w be h(-11). Solve -4 = 4*l, -l + 8 - w = j for j.
5
Suppose -2*p + 5 = 5*q - 30, 3*p + 2*q = 25. Suppose 0 = p*g - 2*y - 0 - 8, -5*g - y = 4. Solve 3*n - 2 = 4*w, -2 = -g*n - n for w.
1
Let v(m) = 23*m - 1493. Let o be v(66). Solve 5*b + 5 = -4*g - 25, o = -5*g for b.
-2
Let l(y) = y**3 - 40*y**2 - 176*y - 54. Let r be l(44). Let w be (-4 - 0)/(72/r). Solve 3*h + f - 3*f - 4 = 0, -8 = w*h + 4*f for h.
0
Let k(i) = -77*i + 1312. Let z be k(17). Solve 3*c + u + 6 = 0, 37 = -c - z*u + 43 for c.
-3
Let p be (-5)/2 + 6319/2414 + 4/(-34). Solve v + p = 3*z + 10, -z + 6 = -5*v for z.
-4
Suppose -26*o + 23*o + 15 = -2*f, -9 = 4*f - 3*o.