-o - 10, 2*o - 2 = -4*k for k.
0
Let p(t) = t**2 - 97*t + 714. Let q be p(8). Solve 12 = -3*f - s, -q = f - 4*s + 2 for f.
-4
Suppose i - 4*x + 8*x - 127 = 0, 124 = i + 5*x. Suppose -i = -7*v - 13. Solve -w - 6 = -q - q, 5*q = 4*w + v for w.
-2
Let a be (0 + -2)*(-1190)/28. Suppose -a + 5 = -20*b. Let h = -19 - -19. Solve -3*s - 2*t + t - 12 = h, 3*t = b*s + 16 for s.
-4
Let u(l) = -l**2 - 11*l - 16. Suppose 43*g + 279 = 12*g. Let q be u(g). Solve -5*z + 5 = 0, q*z = r + 3*z - 4 for r.
3
Let m be ((-30)/(-27)*3)/((-12)/(-72)). Suppose 3*d + m = 2*n, 4*n + 5*d - 36 = 10*d. Solve -n*j - 3 = z, 4*j - 1 = z + 2 for z.
-3
Let s = -91 + 103. Let h be -8 - -7 - s/(-2). Suppose 0 = -2*d - d + 18. Solve -q - 3 = y, -25 = -h*y + d*q - q for y.
1
Let f(g) = 47*g**2 + 129*g. Let a be f(-3). Solve 5*p + 15 = 5*b, -40*b - 4*p + a = -38*b for b.
8
Let h be -10*((-896)/20)/8. Let q be 30/(-70)*h/(-6). Solve -r - 4*o = r - 16, -r + q*o = 4 for r.
4
Suppose 3*k - 19*b = -15*b + 13, -4*k = 2*b - 32. Solve m - 8*o - k = -9*o, 2*m = o - 1 for m.
2
Let j = -5288 - -5292. Solve 8 = -3*h - m + 12, 3*m + 1 = j*h for h.
1
Suppose 13*t - 8*t = -2*g - 134, -100 = 4*t - 2*g. Let n be (-24)/(-15)*(-65)/t - 2. Solve 0 = f - 3*f - m - 8, 3*f + n*m + 14 = 0 for f.
-2
Let j = -1252 + 1252. Solve j = -u, 2*v - 15 = -v + 2*u for v.
5
Suppose -5*k = -10*k - 17300. Let c be (-1)/2*-1 - k/40. Let r = c - 87. Solve -p - 3 = -5*i, r = -5*i + 6 - 1 for p.
2
Suppose 0 = j + 3*j - 16. Suppose j*a + 0*a = 16. Let b(o) = 29*o - 403. Let s be b(14). Solve s*d - a = 4*k, 2 = 5*k - 4*k for d.
4
Let y = -167 - -179. Suppose -4*g + 0 = -y. Solve -g*j = -4*s + 8, j = 5*s + 5*j - 10 for s.
2
Let d(n) = -33 + n**3 + 1130*n - 1149*n + 13*n**2 + n**2. Let t be d(-15). Let o = t + -25. Solve -3*a - o*z + 16 = -4*z, a = -2*z - 8 for a.
2
Suppose 0 = -v - 3, -63 + 14 = -5*z + 3*v. Let p be (z/(-64)*0)/1. Solve -19 = -5*f - 0*m - 4*m, 3*f + 3*m - 12 = p for f.
3
Suppose 21*d = 14*d + 1260. Let t = 1 + 2. Suppose -12*p + d = -t*p. Solve 5*l + p = 0, n + 2*n - 3*l - 9 = 0 for n.
-1
Let t(o) = 2707*o - 13435. Let j be t(5). Solve -5*u + 101*y + 26 = j*y, -11 = -2*u + y for u.
5
Let i(h) = -h**3 + 5*h**2 - 4*h - 1. Let r be i(2). Suppose r*w + 14*z - 7 = 12*z, 5*w - 5*z - 20 = 0. Solve -f = y + w, y - 5*y - 2*f = 8 for y.
-1
Let v(x) = -5*x**3 - 20*x**2 + x + 16. Let z be v(-6). Let t = 374 - z. Solve -t*w - 2*n + 5 = 3, -4*w = -5*n - 37 for w.
3
Let w(q) = -q**3 + 8*q**2 + 2. Let h be w(8). Let z be (16 + -26)/((-1)/h). Solve -k = 5*s + 10, 4*s + s - 5*k - z = 0 for s.
-1
Suppose 0 = 6*k - 2*k + 60. Let d be ((-2)/2 - 0)/((-1)/k). Let c = 44 + d. Solve -5*b + b + 5*g = c, 3*g = 3*b + 18 for b.
-1
Suppose 4*n - 105 = 9*n. Let g be (18/(-7))/(n/(-98)). Let h be ((-2)/4*-1)/((-2)/g). Solve 4*r + 8 = v, 3*v = h*r - 0*r + 15 for r.
-1
Let k = 175 + -165. Suppose 3*s = -4*l + k, 2*s - 6 = -l - l. Solve -4*h = -4*f + s + 26, -3*h + 2*f = 16 for h.
-2
Suppose -13*v + 225 + 35 = 0. Let y be (v/(-8))/(5/(-30)) - -6. Solve -z + 8 = -k + 3*k, -3*k = -3*z - y for k.
5
Suppose -4*x = z - 45, -5*x + 4*x = -5*z - 27. Suppose 60*r + x = 63*r. Solve 10 = 2*t + r*p - 0*p, t = -3*p + 6 for t.
3
Let h(r) = -r**2 - 13*r - 9. Let n be h(-12). Let u = 76 + n. Suppose -43 = -v + 5*k, -2*v + 5*k + u = v. Solve 0 = -o - 2*o + 4*m - v, 4*o = -2*m - 2 for o.
-2
Suppose -s = 3*u + s - 198, -4*u = s - 269. Suppose 6*o = u + 4. Solve d + 6 + 4 = -3*x, 2*x + o = 2*d for d.
2
Suppose -4*h + 26*h - 56 = 8*h. Solve -34*y + 39*y - 4 = -h*u, 0 = -3*y + 5*u - 5 for y.
0
Let k = -759 - -495. Let d = -261 - k. Solve 16 = -d*y + p, 0*p + 8 = -2*y - 2*p for y.
-5
Let r(b) = -b + 11. Let h be r(6). Let i be (7 - (4 + -1))*237/(-12). Let m = i - -87. Solve -m = 2*w + q + q, -h*w - 10 = -5*q for w.
-3
Let y be -10*(54/(-9) + 5). Solve 13 = -p - g + y, -4*p + 2*g = 18 for p.
-4
Suppose -w + x = 2, w = -2*x - 29 + 33. Suppose -4*v + 12 = w, n - 2*n = -4*v + 10. Solve n*g = -5*s + 15, 10 = s - 2*g - 5 for s.
5
Suppose 0 = 2*u - 4*x + 112, 5*u + 206 = 4*x - 50. Let a be 24/u*0/(-1). Let t = 1 + -1. Solve t = -5*p - a*o - 4*o - 35, 4*p - 5*o - 13 = 0 for p.
-3
Suppose 74800 = -10*g + 74830. Let o(d) = -d + 8. Let j be o(8). Solve w + g = -4*m, 4*w + j*w + 2*m - 2 = 0 for w.
1
Let v(s) = 140*s - 56. Let f be v(3). Let n = f + -364. Solve -p - 5*c = n, -5*p - c = -15 - 9 for p.
5
Let m be 3/((-21)/35*(-5)/2). Suppose 52*t - 58*t = -18. Solve 2*u = -m, 4*u - u - 6 = t*v for v.
-3
Suppose 0 = 40*l - 3380 + 3180. Solve 8 - 37 = 3*x - 5*v, v + l = -3*x for x.
-3
Let s(r) = 3 + 0 - r**2 + 4*r - 16*r. Let h be s(-13). Let x = 13 + h. Solve -x = -5*o + 4*p, -7 = -5*p + 8 for o.
3
Let h(w) = w**3 - 23*w**2 + w - 8. Let g be h(23). Suppose -4*j + g = -j. Solve j*r + 2 + 3 = 4*u, 0 = 2*u - 3*r - 1 for u.
5
Let b = 197 + -472. Let f = b - -300. Solve -3*o + 8 = -3*j - 2*o, f = -5*j + 4*o for j.
-1
Suppose -8*q = -7*q + 5*s - 31, 2*q - 5*s = 2. Suppose -3*j = 5*i - 12, q = -5*i + 2*j + 3. Solve i = 3*u - 2*d + 3*d + 1, 5 = -3*u - 2*d for u.
1
Let h = 123 + -118. Let p be -2 + (-89)/(-4) - h/4. Solve -4*b = -3*z + p, -7*z = 5*b - 2*z - 20 for b.
-1
Let u(a) = 32*a**2 + 1. Let b(f) = -f**3 + 5*f**2 - f + 6. Let x be b(5). Let r be u(x). Let j = r + -33. Solve -y - y + 2 = j, -5 = -k - 2*y for k.
3
Suppose 0 = -4*n - 3*y + 31, -1081 = -n + 4*y - 1078. Solve -6*h = -3*h - 2*g - n, 8 = 2*g for h.
5
Let t(o) = 2*o - 78. Let g be t(16). Let w = -32 - g. Suppose -w*c + 4*c + 20 = 0. Solve r - 1 = c*u - 5*u, 17 = u - 3*r for u.
2
Suppose -2*r + r - 2*i = -248, -4*r + 3*i + 959 = 0. Let s = r + -227. Solve -s = 4*v - c, -v - 5*c + 3*c - 6 = 0 for v.
-4
Let i be 3/(-4) - (7432/32 + -12). Let n = -219 - i. Solve 31 = -5*v - 2*q, 3*v - 7*q = -n*q for v.
-5
Let m(n) = n**2 + 19*n - 147. Let j be m(-26). Suppose 0 = -96*c + 103*c - j. Solve -5*h - 3 = 7, c*h = -5*p - 25 for p.
-3
Suppose 6*f = -3*f - 9*f. Solve 2 = -2*u + 4*o, 3*o + 16 = 5*u - f*o for u.
5
Let h = -8499 + 8504. Solve -4*j - 2*v + 3*v - 3 = 0, 0 = -5*j + h*v for j.
-1
Suppose -2*z - 4*i = 1030, -1550 = -z + 4*z + 5*i. Let g be ((-18)/10)/(45/z). Solve 3*b - 5 = -5*a, -b - 2*b = -3*a - g for a.
-2
Suppose -9*b - 460 + 499 = 4*b. Solve 4*a - 3 = -q, a = -b*q + 3*a + 9 for q.
3
Let m = 15 - 11. Let k = 8348 + -8346. Solve 2*o + k = m*c - 2, -3*o - 5*c - 17 = 0 for o.
-4
Let x = 151 - 155. Let n be (-10)/x*48/30. Solve -n*k - 1 = -5*l, 4*l - 4*k + 3 = 7 for l.
-3
Let h be 1 + 5 + -1 + 31. Suppose 9*n - 261 + h = 0. Let v = 65 + -49. Solve 4*a - v - n = -5*w, -5*w = -3*a - 13 for w.
5
Suppose 5*x - 40 = -28*l + 25*l, 5*x = 25. Solve 10 = -2*d - h + 4*h, -d = -l*h + 5 for d.
-5
Suppose -4*r = -3*b + 101, -15 + 6 = -9*r. Solve 4*c - b = -5*h, 10 = -4*h - h + 5*c for h.
3
Let v(u) = 6*u + 3. Let d be v(-2). Let k = 7 - d. Suppose k = 2*c + 2*c. Solve 5*h + 13 = -3*j, h + c*j = -4 - 2 for h.
-2
Suppose 75*n + 115 = -52*n + 150*n. Solve 22 = 3*b - n*x, -126*x = -b - 128*x - 11 for b.
-1
Suppose 3*h = -5*y - 116, 0 = -0*y + 4*y - 3*h + 109. Let d be (-4 + -1)/y - (-19)/5. Suppose -46 = -2*k + d. Solve -2*c + 1 = -t, 0*t + 5*c = -2*t + k for t.
5
Let j(g) be the second derivative of -g**4/3 - g**3/3 + g**2 - 19*g. Let s be j(1). Let f be -2*2/s*4. Solve -5*y = 4*o - 25 - 12, f*o - 12 = 0 for y.
5
Let l be (160/240)/(2/189). Suppose -l*x + 2*x = -305. Solve -x*k - 10 - 3 = -c, 4*c - 4*k = 20 for c.
3
Let o(s) = 2*s**2 + 10*s + 4. Let t be o(-5). Solve 40 = -5*u - 5*p, 6*u - 5*u + t*p = -20 for u.
-4
Let c = 164 - -289. Let q = c + -450. Solve -8*v = -q*v + 25, 8 = 2*s - 2*v for s.
-1
Suppose 5*f + 5*r - 95 = 0, -9*r = 2*f - 6*r - 46. Let z = -8 + 12. Solve 3*c + 5 + f = -p, z*c - 2*p + 8 = 0 for c.
-4
Let c(o) = 15*o**2 - 29*o - 27. Let u be c(3). Solve -5*m + 25 = 0, 39*n = 40*n - 5*m + u for n.
4
Suppose -2*j - m = -3*m, -j + 3*m = -4. Let i be (-2 - (-4 - j))*-1 + -6. Let x be (9 + -3)/(-4 - i). Solve -x*g + 8 = 4*u - 8, -2*u = -3*g + 10 for u.
1
Let a = 60 + -39. Let t be (-19)/2 - (9/6 + -1). Let x(n) = -n - 5. Let w be x(t). Solve -5*p + 5 = -3*o + a, -5*p - 40 = w*o for o.
-3
Let n(v) be the first derivative of -v**3/3 - 13*v**2/2 - 14*v + 22. Let x be n(-12). Let z be 1 - (x/2)/1. Solve -5*p - 3*y = -4*y - 6, -z*y = -