*k + 1 for k.
4
Let x(o) = -18*o**2 + 342*o + 2. Let v be x(19). Solve -7*y = -h - v*y - 12, -2*h - 2*y = 0 for h.
-2
Let f = 4726 + -4722. Solve t = -f*i - 3, -4*t = -4*i + 7 - 15 for t.
1
Suppose -54*l - 33 = -73*l + 43. Suppose -h = -4*h + 9. Suppose h*j + 2*j = 25. Solve 5*s - 10 = -2*y, -4*s - l - 5 = j*y for s.
4
Let o(b) = 5*b - 274. Let w be o(56). Let i(y) = -14*y + 114. Let r be i(8). Solve -1 = q + 5*x, 0 = -2*q + 4*q + r*x - w for q.
4
Suppose 345*s - 333*s - 60 = 0. Solve 3*d + 14 = 6*g + s, 5*g = 5 for d.
-1
Suppose -3*m - 23 = -32, -4*m + 2 = -2*y. Solve -g - 20 = y*j, -6*g + j = -5*g - 10 for g.
5
Let j be 0 + -4 + 5 + 5. Suppose 15*n = j*n. Solve n = -5*y + 10, -t + 2 = -y + 4 for t.
0
Suppose 0 = 2*w + 8, -o + 42 = o + 3*w. Let b be 3*2/(-5)*(-90)/o. Solve -5*u = 4*c - u + 8, -b = -c + 2*u for c.
0
Suppose 16*f + 12*f - 896 = 0. Suppose -6*b = -f*b + 364. Solve 0 = -2*s - s - 5*v + b, 0 = 4*s - 2*v - 10 for s.
3
Let m be (-1 - (-2)/10) + (-455)/25. Let w = m - -19. Let z = -72 + 84. Solve -5*p = 3*f + 35, w = -4*f - 32 + z for p.
-4
Let r(d) = -2*d**2 - 133*d - 377. Let c be r(-3). Solve -13 = -5*y + i, i + 14 = c*y - i for y.
2
Let n(d) = -4*d**2 + 21*d + 13. Let x be n(6). Let y(f) = -2*f**3 - 7*f**2 + 15*f. Let v be y(x). Solve 4*z - 13 = l, -l + v*l = -3*z + 11 for l.
-5
Suppose k - 19 = 15*d - 19*d, 0 = -5*d - 25. Suppose 2*f = -10, k = 5*t + 5*f - 31. Solve 4*y - t = 3*j, -2*j - 4*y + 0*y - 6 = 0 for j.
-5
Let k(m) = -m**2 + 6*m. Let j be k(6). Let w(g) = -5 + 3*g + 12 - 9 - 11. Let y be w(5). Solve -9 = f - j*f + y*d, -5*f - 31 = 3*d for f.
-5
Suppose -5*k - 581*n + 22 = -584*n, 10 = k - 2*n. Solve -4*y = k*h - 10, -171*h - 9 = -4*y - 174*h for y.
3
Suppose 4944 - 4948 = -2*u. Solve -8 = 2*k - 4*j - 34, u*j + 33 = 5*k for k.
5
Suppose 27*r - 224 = -r. Solve 5*l - 8*l = -2*z - r, 5*l - 20 = 5*z for z.
-4
Let z = -652 - -661. Let r be (-4 + -14)/z*-1*1. Solve 0*k - r = -4*k + q, 0 = -2*k - 3*q - 6 for k.
0
Suppose 0 = -5*f + 4*x + 21, 4*x + 1 = 5*f + 5*x. Let b be (-128)/32 - (f - 7). Solve b*p - 10 = -t, 20 - 3 = 5*t - p for t.
4
Suppose -3*z - 21 = -u - 33, -5*u + 5 = -2*z. Solve 2*r = 5*r - 4*p + 15, 0 = -z*r + 4*p - 25 for r.
-5
Let b(r) = -4*r + 3. Let l be b(0). Suppose -2*n + l - 15 = -4*g, -16 = -3*g + 5*n. Solve 5*d - 8 = -g*h, -2*h + 6*h = -d - 2 for d.
2
Let n(j) = -19*j**2 - 7. Let t be n(-2). Let x = 88 + t. Solve u + 0 = g + 2, -x*u - 4*g = 8 for u.
0
Suppose q + 104*f - 100*f = -12, 12 = 2*q - 4*f. Solve q = 5*r - 3*k + 17, 5*r + 23*k - 24*k + 19 = 0 for r.
-4
Suppose 7*o - 17 = -3. Suppose 0 = -5*a - 5*q + 20, 0 = 3*a - o*a + 5*q. Solve 4*t + 8 = n - 0*n, a*n - t + 17 = 0 for n.
-4
Suppose -9*j + 8 = -7*j + 2*y, 2*j + y = 4. Solve -2*p - 4*v + 2 = -20, 3*p - 2*v - 9 = j for p.
5
Let o = 9011 - 9007. Solve -5*z + 22 = -53*u + 54*u, 0 = 2*u + o*z - 14 for u.
-3
Let u = 10 - 3. Suppose -3*h + 4*h = -u*h. Suppose -12 = -4*m - h*m. Solve 4*o = -3*v + 10, o + 1 + m = -4*v for o.
4
Suppose -4 = 2*i, -74 = 3*w + 4*i - 96. Solve -w*o + 7*o - 10 = q, 5*o + 50 = 5*q for o.
-5
Let c = 19761 - 19758. Solve 61*p - c*t - 5 = 66*p, -p + 2*t + 12 = 0 for p.
2
Suppose -8*j - 7*j = -135. Suppose -24 = o - 4. Let f be (6/8)/3 + (-195)/o. Solve -i + 3*l + f = 3, -3*i - l - j = 0 for i.
-2
Suppose 0 = 5*u + 5*r - 110, u + 194*r = 189*r + 26. Solve 0 = 4*j - 4*h + 5 - 9, -4*j - h = u for j.
-4
Let i be ((-6)/4)/((-126)/168). Let x(q) = -q**2 + 9*q - 15. Let d be x(6). Suppose d*r - 20 = r. Solve -t = 2*c + 4*t - 13, -i*c = 4*t - r for c.
-1
Let o = 42 + 110. Let z = o + -152. Solve z*n - 4 = w + 5*n, -3*n + 2 = 5*w for w.
1
Suppose s + k - 92 = -14, -2*k + 316 = 4*s. Let y be (-4)/s*4*-10. Solve 0 = -3*o - j + 13 - 5, -4 = -4*o + y*j for o.
2
Let o = -29 + 4. Let m = o + 29. Suppose 5*y - 2*i = 9 + 8, -4*y = -4*i - m. Solve 0 = 6*u - 3*u + 5*d + y, 4*u - d = 24 for u.
5
Let d(v) = -v**2 + 38*v - 42. Let g be d(40). Let l = g - -127. Solve -4*p = -f - f - 8, -3*p = -l*f - 6 for p.
2
Let g be 2/8*36/(3 - 0). Let o(q) = q**2 - 3*q - 5. Let v be o(-2). Suppose v*z - 10*z = 0. Solve c - 11 = -5*u, z = g*u - c - 4 - 9 for u.
3
Suppose 4*m - 3 = 5. Suppose 0 = -q - m*q + 12. Suppose -q = -6*f + 26. Solve -23 = -f*h + 3*j, -h = -6*h - 2*j + 18 for h.
4
Let r be (-90)/(-70) + (-95)/(-133). Solve -3*n - 22 + 10 = -3*l, 12 = r*l - 4*n for l.
2
Suppose -322*h = 12*h - 52*h - 1974. Solve 0 = 3*i + 4*c + 27, 6*i + 36 = -9*c + h*c for i.
-5
Let q = 5340 - 5338. Solve 4*c + 36 = -5*n, 0 = -n + q*n + 5*c + 24 for n.
-4
Let n = -28078 - -28082. Solve 5*g + 0*g - 20 = -5*z, 12 = 2*g + n*z for g.
2
Suppose -54*u + 691 = -65. Solve 17*i - u*i - 3*s = 6, 5*i = -3*s + 34 for i.
5
Suppose -6*a - 3 = -3*q - 9*a, -31 = -4*q + 5*a. Solve -q*d = 4*j, 4*j - 204*d + 200*d = 8 for j.
1
Suppose -197 = -60*q - 17. Solve 6*x = 2*x + q*b - 19, x + 4*b = 0 for x.
-4
Suppose -32*q - 214*q + 66*q + 2700 = 0. Suppose 5*l = 4*l - 5*r - 22, -2*l + r - 44 = 0. Let s = 38 + l. Solve -4*o - x = -s, 3*o - q + 3 = -4*x for o.
4
Let q(l) = -19*l**2 - 2*l. Let w be q(-2). Let t = -560 + 634. Let g = t + w. Solve -g*z + 13 + 0 = -r, -32 = 4*r - 3*z for r.
-5
Let j be (41/(-41))/((-2)/44). Solve q + 9 = 20*t - j*t, 21 = -5*t - 2*q for t.
-3
Let i(g) = 5*g**2 + 50*g + 4. Let b be i(-10). Suppose 51*m - 53*m = -4. Solve -25 = b*o + o - 2*c, m*c = -5*o - 25 for o.
-5
Let m(y) = -2*y**2 - 5*y - 4. Let x(k) = 1. Let n(j) = m(j) - 3*x(j). Let a be n(-6). Let i = a + 52. Solve -4*r + 24 = -4*h, 0*r - 8 = 2*r + i*h for r.
2
Suppose 10*r + 31138 - 31238 = 0. Solve -10*h = -7*h - 5*w + r, 23 = -5*h + 2*w for h.
-5
Let v = 1956 + -1954. Solve -2*w + 5*a = w - 8, v*a - 12 = 5*w for w.
-4
Let k(u) = 10*u - 25. Let j = 587 - 584. Let t be k(j). Solve -12 = -t*i + d - 1, 0 = -5*i - 2*d + 8 for i.
2
Let x be 102/68 + (-124)/88 - (-96)/33. Solve 2 = -2*f, -x*h - 4 = -7*h - 4*f for h.
2
Suppose 543 + 513 = 8*u. Let h be (u/(-198))/((-1)/3). Solve v - 27 = -5*z, h*v + 5*z = 29 - 0 for v.
2
Suppose 5*o = -5*y, o - 4*y + 1824 = 1839. Solve -4*i - 10 = -2*f, o*f + 2*i - 22 + 7 = 0 for f.
5
Let y be (-4)/(-6) + 1 + 5/(-3). Suppose u - 9 = -4*c + 6, y = u + 5. Solve c*t + 1 = -2*r, 0*r = -t + 5*r + 16 for t.
1
Suppose 0 = -4*k + 2*f + 98, 0 = 2*k - 3*k - 3*f + 21. Suppose 14 = -k*o + 26*o. Solve 10 = -2*p + 3*x, -5*x - 18 - o = 5*p for p.
-5
Let h = 157 - 148. Suppose h*v - 19 = 17. Solve -v*r - 21 = -4*j + 3, -j + 3*r + 14 = 0 for j.
2
Let y = 15 - 9. Suppose 210 = 111*n - 96*n. Let l be 6/(-9) - n/(-3). Solve 0 = l*o + 5*f + 16, 0 = 4*o - 2*f - y + 22 for o.
-4
Suppose -3*d - 42 + 366 = 0. Suppose 31*p - 40*p + d = 0. Solve -c = o - 2, 2*o - 4 + p = c for c.
4
Let g be (13 + -11)*1*-1. Let b be (-20)/g*(-58)/(-145). Solve 2*k + 8 = 4*w, w + 9 = 2*w - b*k for w.
1
Suppose -4*a = -157 + 57. Solve -2*w + a = -4*w - 3*t, -5*t = 25 for w.
-5
Let k(b) = -b**2 - 27*b + 179. Let j be k(-32). Suppose 0 = -3*v + 129 - 114. Solve 5*s + 12 = x, -4*s - j = v*x + 8 for s.
-3
Let b(f) = -f**3 - 23*f**2 - 2*f - 44. Let h be b(-23). Let j be 42/63*3/h. Solve -4*n = 4*p + 8, 5 + j = p + 5*n for p.
-4
Let h(f) be the first derivative of -f**2 - 15*f - 44. Let q be 2016/(-198) + 2/11. Let b be h(q). Solve -a - 28 = 5*m, -b*m + 4 = 29 for a.
-3
Suppose 0 = -4*v + g + 41, -1081*v - 2*g = -1079*v - 8. Solve -t = f - 1, -3*f + 4 = -2*t - v for t.
-2
Let h be 0/((-54)/(-18) + -5). Solve 4*d - x + 12 = h, 0*x + 4*x = 2*d + 6 for d.
-3
Let h be 1 + 40 + (-6 - -5). Suppose 3*d = 4*l + 8, 2*l = 415*d - 412*d - 16. Solve -3*p - h = l*v + p, 2*p + 15 = -v for v.
-5
Let b = 39 - 38. Suppose 5*t = -c + 28, -3*t + 17 + b = c. Suppose -23 = -t*l + 2. Solve g + l = 0, 3*i + 6 = g + 2 for i.
-3
Let h be (96/64)/(6/28). Let i be ((-120)/(-35))/4*h. Solve -31 = -4*a + o - 6*o, 3*a - 2*o - i = 0 for a.
4
Let h be ((-1)/2)/(114/(-456)). Solve -h*t - 12 = -3*k, -t - 6*k = -7*k + 5 for t.
-3
Let r be (-5)/2*352/(-110). Let l(o) = -5 - r*o - 13*o**2 + 6*o**3 - 2*o**3 - 6*o**3 - 2. Let s be l(-6). Solve s*b = q + 13, 4*b - 4 = 2*q + 4 for q.
2
Suppose u + 2*d - 12 = 0, -4*u + 7*u - 3*d = -9. Solve -4*s - 4*n + 29 = 21, -5*s + u = 3*n for s.
-2
Let z = 299 + -296. Let a(w) = -21*w**2 + 0*w + 12*w**2 - 2*w + 10*w**2. Let o be a(2). Solve -