10*h - 8*h = -o*b for b.
0
Let n = -833 - -162. Let b = -669 - n. Solve -2*g + 0*g = 2*v - b, 4*g + v - 16 = 0 for g.
5
Let m = 5025 + -5022. Solve t - 20 = -m*t, 0 = -2*g + 4*t - 16 for g.
2
Suppose 15*u + 45 = 20*u. Suppose -p = z - 3, 3*p = -5*z + 2 + u. Solve 0 = -2*g - 4*b + 4, p*b - 2 = 2*g + 4*b for g.
-4
Let y be 120/(-9)*24/5*1. Let u = -47 - y. Solve -5*j = -t + u, 5*j + 2 = -18 for t.
-3
Let v = -2776 - -2779. Solve -v*z - h = 2*z - 18, 2*z + 4*h - 18 = 0 for z.
3
Let m(p) = -p**2 - 12*p + 7. Let c be m(8). Let k = c + 159. Solve 5 = a - 3*f, a - 3*a = 2*f + k for a.
-1
Let l(v) = -v**2 - v + 7. Let t be l(0). Suppose 27 = -t*d + 55. Let u be d/(2*4/8). Solve 4*o = 3*b - o + 29, -4*b = 4*o - u for b.
-3
Suppose -28 = -2*c - 2*f, 8*f = 4*c - 9 + 1. Solve 3*h - 2*i = c, h + i = -0*i for h.
2
Let i(g) = -g**2 + 3*g + 70. Let w be i(10). Solve -2*r - 2 = 2*f - 3*r, -5*f + 2*r - 4 = w for f.
0
Suppose w = 3*w - 8. Suppose 0*h - 4*h = -t + 8, 8 = 3*t + w*h. Suppose 0*x = 4*q + 5*x - 2, -t*q + 4 = 4*x. Solve 3*f - 2*f = q*m + 6, 0 = -2*m + f - 4 for m.
-2
Let q(y) be the first derivative of y**4/4 - 2*y**3/3 + y**2/2 + 3*y - 60. Let v be q(3). Solve 3*j - 1 - 5 = -2*n, 0 = 2*j + 5*n - v for j.
0
Suppose 18 - 3 - 3 = l. Solve -4*v + 5*m = 9 - 29, -3*m - l = 2*v for v.
0
Let o(f) = -3*f**2 - 22*f - 28. Let k be o(-5). Solve -k*t + 6 = h - 3*t, 2 = -2*h - t for h.
-2
Let o = 4158 - 4155. Let m(b) = -b**2 - 11*b + 16. Let l be m(-12). Solve -a = o*a - 8, 3*a = l*f - 2 for f.
2
Let u(o) = -o**2 + 22*o - 57. Let a be u(19). Suppose 125*i - 121*i - 8 = a. Solve v - 7 + 1 = -3*n, i*v - 2*n + 12 = 0 for v.
-3
Let n(h) = 22*h + 599. Let m be n(-27). Solve -m*v = -2*q - 16, 2*v + v = -q + 3 for v.
2
Let j be 45/(-105) - 230/(-14). Suppose j*r - 2*k - 10 = 20*r, 0 = -3*r - k - 5. Solve 0*o - o - 3*h + 1 = r, 8 = -2*o - h for o.
-5
Let k be -119*63/(-12) + 7/28. Let w = k - 623. Solve 3*v = w*y - 3*y + 15, -v = -3*y - 5 for v.
5
Let b = -620 - -629. Solve l = 4*i + 8, -6*i + b*i = -5*l - 29 for i.
-3
Suppose 9*k = 106*k - 388. Let b(o) = -2*o - 2. Let g be b(-5). Solve -3*l = 5*j + g - 30, 3*l - 17 = -k*j for j.
5
Suppose 0 = -y + 182 + 105. Suppose -2*z = -295 + y. Let v be 54/z*5/((-30)/(-4)). Solve -5*d + u = -2*u - v, 0 = -3*d - 2*u - 6 for d.
0
Let l = -50 - -78. Let i be -1*(6/9 + (-51)/9). Let g be (l/(-5) + i)*-5. Solve -4*t - 8 = -3*v, 5*v = -g*t - 5 + 28 for t.
1
Let v = -31 - -36. Suppose -18*l + 619 + 155 = 0. Let n = 44 - l. Solve -4*q = -2*m + 4, v*q - 2 + n = 4*m for m.
-4
Suppose -3*j - 2*m + 22 = 0, -3*j - m - 39 = -56. Solve -5*r + 4*f = -40, -5*r + 5*f + 29 = -j*r for r.
4
Let u be 6*(-5)/((-75)/35). Let z = 13 + -8. Suppose z*p - 3*p = -6, -3*q - 5*p = 15. Solve v = -4*b, 4*b - 4*v + 6 + u = q for b.
-1
Let r = -9488 - -9488. Solve 18 = 3*g - 5*n + 22, r = 4*g + 3*n - 14 for g.
2
Let j be ((-8)/(-60)*6)/((-1)/(-5)). Suppose j*w + 3 - 13 = 5*u, 3*w + u = -2. Let a = 9 - 5. Solve -2*q + 3*q - a*b = -16, -4*b + 16 = w for q.
0
Let w = 549 - 544. Suppose 0 = -r - 6 + 10. Let h be 0 + 0 - -16 - r. Solve w*g = -5*i + 3*i, 2*i + h = g for i.
-5
Suppose -564*p = -35*p + 1254 - 13421. Solve -5*c - p = -h, 5*c = 37*h - 38*h - 17 for h.
3
Suppose -19 = p + 3*q, -9*p = -11*p - 20*q - 150. Solve -d + 16 = -p*i, 4*d + 0*i = 4*i for d.
-4
Suppose 10*w - 12*w + 2*q = -122, -4*q + 81 = w. Suppose 12*y + y = w. Solve -5*z = 3*i - 9, -y*i + 4*z = 5 - 20 for i.
3
Suppose 0 = 4*z - 3*f - 15, -z + 3*f - 5*f = -1. Solve 2*l + 4*u + 8 = -6, z*u = -3*l - 9 for l.
1
Let r(k) = k**3 + 11*k**2 + 8*k - 16. Let h(t) = 3*t - 23. Let a be h(15). Let q = -32 + a. Let d be r(q). Solve 2*y - x + 6 = d*y, 4*y = -3*x + 12 for y.
3
Suppose 0 = -2*p + 5*m + 12, -4*p + m + 3 - 15 = 0. Let o be p/(-3)*3 + -7 - -6. Solve o*h + 10 = -h - n, -6 = 3*n for h.
-2
Let x = -312 - -318. Suppose -w + 5*w - 25 = 3*v, 2*v = -x. Solve 2*f - 25 = 3*f + 5*l, w*f + l + 5 = 0 for f.
0
Let j = -441 - -566. Suppose 15*s - j = -10*s. Solve -4 + 28 = -2*l + s*n, 0 = -3*l + 2*n - 14 for l.
-2
Let l(s) = -s**3 + 60*s**2 - 180*s + 531. Let k be l(57). Solve 0 = -2*g - 5*n - k, -n + 3 = 5 for g.
-4
Let u be (-5)/(-2)*(-48)/(-15). Suppose u = 7*l + 36. Let q = l + 6. Solve 6 = -a - q*v, -4*a + 0*v + 3*v + 9 = 0 for a.
0
Suppose -8*h + 22*h - 952 = 0. Suppose -h*a + 60 = -53*a. Solve 33 + 1 = 5*q - 3*o, -a*q - o + 17 = 0 for q.
5
Suppose 3*o = 8*o + 5*o. Solve o = -2*v - 6, -31 = 4*k + 6*v - v for k.
-4
Let u = 228 + -225. Suppose -u = j - 7. Solve j*n = -4*i, -2*i + 4*n - 7 = -n for i.
-1
Let w be (2 + -2)*-1 + 10. Suppose 3*l = l + w. Let t be 1500/735 - (-184)/(-4508). Solve -6 = -5*v - 5*x - 31, -t*v = -l*x + 10 for v.
-5
Suppose 2*a + 4*u = 63 - 17, 5*a + 3*u = 87. Suppose -a*i + 36 = -24. Solve -4*x + 18 = 3*m, 0 = i*x + 3*m - 5*m - 8 for x.
3
Let l(d) = -7*d + 42. Let o be l(6). Suppose 2*s - 4 = o, q + 3 - 7 = s. Solve -2*k = -3*a - q, -k + 5 = 5*a + 2 for a.
0
Suppose 4*z + 3*f - 233 = 0, -z - 2*f + 234 = 3*z. Let h = -28 + z. Solve 2*m - m - 5 = 2*x, 4*x + h = -5*m for m.
-3
Let f(y) = 74*y - 92. Let j(i) = -36*i + 47. Let l(s) = -2*f(s) - 5*j(s). Let m be l(2). Solve 0 = -z + 4*d - 6 - 5, -d = 5*z + m for z.
-3
Suppose -104 = -49*g + 43. Let s(u) = u**3 + 7*u**2 + u + 8. Let v be s(-7). Solve -3*m - 5*z = -4, -m - g = -z + v for m.
-2
Let i = -27 + 31. Suppose o - 5*k + 31 = i*o, 61 = 5*o - k. Suppose -o = -4*s + 4. Solve 4*w + 0 = 3*v - 3, 0 = -4*v - s*w - 24 for v.
-3
Let w(s) = -s**2 - 19*s - 54. Let d be w(-16). Let j = 9 + d. Solve -k + 3*u - 15 = 2*k, -3*k = u + j for k.
-2
Suppose 10*u = 15*u + 3*j + 1633, -4*j = u + 313. Let g = u + 333. Solve -n + 0*n - h = 1, -n + 8 = g*h for n.
-4
Let w = -193 - -261. Let b be w/(-170) + (-87)/(-5). Solve -4*m = 4*i - 3*i - b, 0 = 3*i - 4*m - 3 for i.
5
Suppose 7*v + 5*v - 414 = -11*v. Solve 2*i + v*u = 23*u + 15, 5*u + 15 = -i for i.
0
Let w be 66/(-561) - ((-106)/34 - -3). Solve -3*j + 2*n + 3 = w, -5*j = -9*j + 5*n + 4 for j.
1
Let c be (-9)/(((-1)/(-6))/((-248)/72)). Suppose -c = -6*t + 4*t. Let l = -91 + t. Solve -10 = -l*h + 2*o, 4*h + o = 1 - 6 for h.
0
Let m be 16 + (8 - (-1 + 15)). Solve 4*z - m = c, 16*c - 19*c = -2*z for z.
3
Let r = -1 + -1. Let h be (-2)/(-3)*(r - -5). Let b(l) = 32*l + 516. Let w be b(-16). Solve -s = c - 6*c + h, -w = 2*s - 3*c for s.
-2
Suppose -21*k + 116 = 9*k - 34. Solve 4*r - 30 = 2*d, -k*d + 7*d + 10 = 0 for r.
5
Let m = 277 - 266. Suppose m*a = 14*a - 12. Solve 2*d + 16 = 4*z, 3*z + 4 = a*d + 4*z for d.
0
Suppose 2*v = -3*y + 30, -1708*v + 2*y = -1704*v - 28. Solve 0 = q - 2*d - v, q - 7 = -0*q + d for q.
5
Let y(b) = 4*b - 2. Let q be y(3). Let v(a) = a**2 - 3*a - 2. Let k be (1/(-5))/(-4 + 273/65). Let m be v(k). Solve 4*w = m*d + q, -2*d + d - w + 1 = 0 for d.
-1
Let g(r) = r**3 + r + 2. Let c be g(0). Suppose 32 = 4*w - 0*w. Let z be 6/w*(-4)/(-12)*32. Solve s - c*v = -5, 3*v = s + z*v - 23 for s.
3
Let n = 347 + -353. Let y be n*(-6)/48*16/6. Solve y*x + 7 + 1 = 2*b, -10 = -b - 5*x for b.
5
Let v(z) = -z**2 - 160*z + 659. Let h be v(4). Suppose 3*f - 4*b = -6, -15 = -7*b + 2*b. Solve 0 = 2*i + 2*o - f, 0 = -3*i - o + 14 - h for i.
5
Let j be (12/5)/(15 - (-1944)/(-135)). Solve 0 = y + 3*u + 6, -j*u + 5 = -3*y + 26 for y.
3
Suppose -91*j + 65*j - 133*j = -795. Solve -4 = q, -7*a - q = -j*a - 4 for a.
4
Let w(j) = -j**2 + j + 1. Let h(c) = -2*c**2 + 18*c + 15. Let z(v) = h(v) - 5*w(v). Let l be z(-5). Solve -2*b + 4*t = -2 + 12, -l = 4*b - t for b.
-5
Suppose 13676*k + 0 = 13685*k - 0. Suppose 3*x = -x + 12. Solve -4*h - 5*s = -0*h - 3, k = -x*h - 3*s for h.
-3
Let k = -12072 + 12138. Solve -u + 68 = 2*j + k, 3*u = -5*j + 7 for j.
-1
Suppose -g - 311 = 3*b, -5*b = g - b + 308. Let p = g + 324. Solve -z = -5*t - 0*t, -p*z = -5*t for z.
0
Suppose 2232 = 3*h + 2187. Solve 0 = -2*f - 13*z + 10*z + h, 3*z - 9 = 0 for f.
3
Suppose 6 = z + 2. Let p = -483857 - -483860. Solve -4*q - z*x = -16, 8 + p = 5*q + 2*x for q.
1
Let v(i) = -i**3 + 11*i**2 - 29*i + 3. Let j be v(5). Suppose 0 = -8*p - j + 40. Solve 0 = -p*h + h - 6, l + 3*h + 1 = 0 for l.
5
Let l = 15981 + -15977. Solve -a + 3 = -l*a - 3*f, 4*a = f + 1 for a.
0
Let a(o) be the second derivative of -o**5/20 - 9*o**4/4 - o**3/6 - 11*o**2 - 17*o. Let h