k + 12 = -28*s, -3*k = -4*s + 5 for s.
-1
Let w(n) = n - 5. Let h be w(6). Let o be h + (-1)/(-1 - 0). Suppose 0 = 1031*m - 858*m - 692. Solve -d - 2 = -o*k, -2*d + 2*k = 6*k - m for d.
0
Let y(f) = f**3 + 4*f**2 - 2*f - 2. Let s be y(3). Suppose -3*d + 14*d - s = 0. Solve o + 3*o + m - d = 0, -o = 2*m - 10 for o.
0
Suppose 5*h = d - 17, -281 = 4*d - 2*h - 295. Solve 40 = 3*y - 5*l, -10 = -4*y - d*l - 0 for y.
5
Let i = 187 + 155. Let t = i - 342. Solve 0 = -5*v - o - 17, t = -5*o - 12 + 2 for v.
-3
Let m be (-14)/(-224) + (-1)/16 + (10 - 5). Solve -17 = -h + 4*f, -2*h - f - m = -3 for h.
1
Suppose -3*n - 29 = -4*t, 0 = -12*n + 14*n - 10. Suppose -z + t - 9 = 0. Solve z = 5*s - 4*r - 9, -3*s = -2*r - 5 for s.
-1
Suppose 42*r - 41*r = -t + 3, 0 = 2*t - 3*r + 9. Solve -5*i = 10, t = 2*p - i - i - 8 for p.
2
Let t be (0 - (-12)/30)/(3/(-1245)). Let g = t + 168. Solve 10 = -2*q - 2*a - 2*a, -a = -g*q - 5 for q.
-3
Let x = 34761 + -34759. Solve x*o - 16 = -m, o - m = -3*m + 14 for o.
6
Let t(m) = -192*m + 10. Let a be t(-1). Let i = a + -200. Solve 0 = -3*l - 9, 2*x + 19 = -i*x - 5*l for x.
-1
Suppose 4*a - 22*d - 4 = -25*d, 3*d + 32 = 5*a. Solve -v = -4*t + 23, -8*v + a*v + 34 = 5*t for v.
1
Let y = -1983 - -1987. Solve n = -2*k + y*n - 17, 3 = n for k.
-4
Suppose -171*f + 495 = -72*f. Solve -18 = 22*v - 24*v + 4*h, 0 = -f*h - 20 for v.
1
Let h = -52 + 59. Suppose 0 = -5*m + 8 + h. Suppose t + 1 = -3*k, -k + m = t - 0. Solve 0 = 3*l, 0 = u + 4*u - 5*l + t for u.
-1
Let b(t) = t**3 + 2*t**2 + t + 67. Let y be b(0). Suppose -62 + y = a. Solve 0 = -5*l - 3*i + 10, 4*l + a*i - 31 = -10 for l.
-1
Let w = 42 - 23. Let t(k) = -4*k**2 - 3*k - 44. Let h be t(-8). Let s = h + 308. Solve 4*v + 4*g - 47 = -w, s = 5*v + 4*g for v.
4
Let c be (-19)/((-665)/336) - (-102)/(-170). Solve c*y - 8*y + r + 2 = 0, 0 = -4*y + r - 13 for y.
-3
Suppose -l = -3*x + 73, 0 = -2*x + 4*l + 74 - 22. Solve -3*n - x = -5*v + 10*v, 0 = 5*v - 5*n for v.
-3
Let r = 148 + -125. Suppose 2*l = -4*c - l + 6, 3*c = 4*l + 17. Suppose -c*z + w = -5, z + 13*w = 8*w + r. Solve -20 = 4*h - v, -z*v + 5*v = 0 for h.
-5
Suppose -5*i = 4*r + 172 - 197, -5*r = 3*i - 28. Solve -2*s - 22 = -5*t - r*s, -4*t = s - 19 for t.
5
Suppose 5*w - 14 = -z, -4*z - 14 = -9*z + 3*w. Let d be (-31 - -2)*(-994)/14413. Solve -z*a = -g - 10, -6 + 0 = -d*g - 5*a for g.
-2
Suppose 0 = -10*n - 47*n. Solve 4*t - 13 = -5*c, 3*t - c - 5 = -n*t for t.
2
Let f(u) = 9*u**2 + 2*u - 2. Let n(y) = -y**2 - 9*y + 21. Let i be n(-11). Let g be f(i). Solve 0*b = 2*l + 2*b + 12, 4*l + 6 = g*b for l.
-4
Suppose 31 + 39 = 14*g. Solve -4*r - 2*o - 6 = 0, -g + 11 = -3*r - 2*o for r.
0
Let h = 4276 - 4273. Solve -h*g + 11 = -2*q, -3*g = -4*q - 7 - 0 for g.
5
Suppose 0 = -4*h - 6*w + 126, -2*h - 4*w + 24 = -36. Solve h*y - 37*y = 2*g + 2, -3*g - 13 = -y for y.
4
Let b be (-32)/(-2) - (28 + 7)/7. Solve 4*d + 13*x - b = 14*x, 3*d - 15 = 3*x for d.
2
Let n = 5 + -3. Suppose -4*q = 12, -n*q = 2*j - 4*q - 12. Let l be 2/j*(-12)/(-2). Solve -4 = 4*g - 0, l*g = -c - 2 for c.
2
Suppose -96 = -180*o + 156*o. Solve 0 = -2*x - 82*n + 83*n, 3*x - o*n + 5 = 0 for x.
1
Let g(o) = -2*o - 11. Let w be 8/(-20) - 58/5. Let i be g(w). Let x = 15 - i. Solve 3*h + 7*l - 16 = 2*l, -3*l + 21 = -x*h for h.
-3
Let d be ((-5)/3)/(2/(-12)). Suppose 28*v - 120 = 24*v. Let x(m) = 4*m - 101. Let c be x(27). Solve 0 = -2*p + 5*r - v, c*r = -2*p + 2*r + d for p.
-5
Let j be (-1 - 1)*7710/(-60). Let m = 269 - j. Solve 2*k - 3*y + 20 = 0, -m = k - 4*y + 2*y for k.
-4
Let r(t) = 14*t**2 + 7*t - 25. Let w be r(5). Let h = w - 357. Solve -h*c = -j - 8, -j - 3*c + 2*c = 4 for j.
-5
Let k(q) = -4*q**2 + 80*q + 7. Let j be k(20). Solve j = -3*u - 4*i, -3*u - 26 = 2*i - 21 for u.
-1
Suppose 4*c + 60 = 2*g, g - 125*c - 46 = -121*c. Solve 5*w = -5, 17*l - g*l = 4*w - 11 for l.
-5
Let l(s) = s + 6. Let d be l(-4). Suppose d*h = -4*h + 18. Let q be (h/(-2))/((-21)/6 + 3). Solve -10 = q*a + 3*w - w, 0 = -2*a + w - 2 for a.
-2
Suppose 770 = -4*d + 834. Suppose 6*c = 7*c - d. Solve -z - 8 = -3*o, -5*o - 4*z + c = -5*z for o.
4
Let d = -2274 + 2275. Solve -d = -f, -2*z + 7 = 5*f + 6 for z.
-2
Suppose -r + 14 = 4*w, -5*w + 6 = 2*r - 10. Let t be (-176)/(-77) - r/(-7) - -3. Solve -p = 1, -5*v - p + t*p = 6 for v.
-2
Suppose 0 = 2*q - 5*q + c + 1, -q - c - 1 = 0. Suppose -b - 3 = 13*k - 15*k, 0 = -5*k + 20. Solve 0*v + 1 = -3*v - 4*i, q = -b*v - 4*i + 1 for v.
1
Let m(z) = 3*z**2 - 5*z - 8. Let r be m(-2). Suppose 0 = 6*l - 44 + r. Solve 2*c - 18 = -c + l*g, -3*c + 15 = -4*g for c.
1
Suppose -34*c + 1134 + 289 = -107. Solve 9*f - 5*l = 14*f, -4*l + c = -5*f for f.
-5
Let b(i) = -115*i - 51. Let h be b(-5). Let d = 526 - h. Solve 4*s + 3*j = -d*j - 20, -2*s = -j + 10 for s.
-5
Suppose -35*z - 18*z + 7360 = 39*z. Solve -k + z - 75 = 0, -4*u - 2*k = -22 for u.
3
Let g = 4004 - 3999. Solve 4*q + 5*r = -g, -r = 126*q - 124*q + 7 for q.
-5
Suppose v = -2*k + 5*k, 5*v + k = 0. Suppose -3*y + v*y = -81. Suppose 9 = -6*c + y. Solve -3*z = c*w - 3, 0 = -2*z - 4*w + 12 for z.
-4
Let k(f) = 56*f - 3836. Let z be k(69). Solve -y = r + 1, -z*r + 4*y = -26*r - 22 for r.
3
Let j be (-4 - -12) + -1*(3 - -2). Suppose -3 = f - 4*f, -4*f + 88 = j*c. Solve 12 = -5*i + p, i + c = -5*p + 10 for i.
-3
Let o = -7456 + 7459. Solve -2*d + 3*p = -1, o*p = -5*d + 7*p - 1 for d.
-1
Suppose 3*p + 40 = 4*d, 3*p = -2*d + 34 - 14. Let y(m) = m**2 - 4*m - 10. Let q be y(d). Suppose -3*t + q = 7*t. Solve 0 = -3*r, -s + r + 20 = -t*s for s.
-5
Suppose 10*a = 5*a - y + 13, -y = a - 5. Solve 5*u - 1 = 5*l - 31, 5*l + a = -3*u for l.
2
Suppose 21*g = 15*g - 48. Let b(q) = 2*q**3 + 17*q**2 + 6*q - 15. Let y be b(g). Solve -3*s - 1 = -2*u - 2*s, s = y for u.
1
Let r(l) = -7*l + 125. Let g(u) = -u. Let m(q) = 4*g(q) + r(q). Let j be m(11). Solve -3*w + 3 = 5*t - 21, -j*w - t + 15 = 0 for w.
3
Let d(x) = 3*x + 149. Let m be d(23). Suppose m*t - 2 = 217*t. Solve 5*l = -2*j - 15, j - 5*j = t*l - 10 for l.
-5
Suppose -65*g + 63*g + 190 = -2*u, -5*g = -u - 499. Solve -2*p - 3*b = -10, -98*p + 2 = -g*p + 4*b for p.
2
Let m(b) = 2*b**2 + 279*b + 1603. Let u be m(-6). Solve -2*w = 2*a + 6, -w - 2*a - 1 - u = 0 for w.
-4
Suppose -2*r = -16 + 6. Let c(k) = -k + 2. Let v be c(7). Let m be -6*5/50*v. Solve -y = 2*d - m + 2, -r*d = -2*y - 25 for y.
-5
Suppose -6*k - 1193 + 6821 = 0. Suppose z + 920 = k. Let g be -1 - (0 + 1)/(-1). Solve g*b + 5*t - z = 2*b, 4*t = -3*b - 4 for b.
-4
Let d be ((-8)/18 + (-364)/882)/(4/(-14)). Solve -2*w + 4 - 2 = 2*z, -w = -z - d for z.
-1
Let z be ((-10)/12 - 253/(-138)) + 5. Let k be -5 - (z + -6 - 5). Solve -3*y = -k*y - 15, -2*c = -2*y + 2 for c.
4
Suppose 251 = -30*i + 371. Solve 6 = i*o - 60*c + 58*c, 4*o = 4*c for o.
3
Let f(s) = s**2 - 8*s. Let v be f(8). Let d be -2 + v - 14/(-2). Let j = -782 - -785. Solve -j*b + i - 4 = 0, -d*i = 4*b - 1 - 0 for b.
-1
Let b be (-4)/80 - (-3965)/1300. Solve -b*q = 18 - 15, 2*o = -5*q - 13 for o.
-4
Let l be (2/(-3))/((-11)/90 - (-17)/(-170)). Solve 24 = 3*h - l*y, h - 2*y = 11 + 2 for h.
3
Let p = 11808 + -11804. Solve 4*b + p = n + 3, -3*b - 9 = 2*n for b.
-1
Suppose -5*y = -5*d + 40, 5*d + 5*y - 4*y = 16. Suppose 28 = d*k + 56. Let s = 9 + k. Solve -6 = -2*n - s*q, -5*q = -q - 16 for n.
-1
Let j(u) = u**2 + 10*u + 25. Suppose 2*b = 2*n - 6, 4*b + 18 = 2*b - n. Let k be j(b). Solve -3*x + k = -5*g - 0, -x = -3*g - 4 for x.
-2
Suppose -3*q + 5*p = -33 - 4, 3*p + 11 = q. Suppose q*x = 11*x + 15. Suppose 11*s = -x + 38. Solve 0 = s*z - 5*b + 11, -2*z - 1 = z + 5*b for z.
-2
Suppose n = 3*n - 4*n. Let t = 139 - 128. Let r(c) = -2*c + 27. Let f be r(t). Solve -3*d + 7 = -4*g, n*d = f*d + g - 27 for d.
5
Let r = 362 + -133. Suppose 3*q + 205 = r. Solve i - 2*a + 7 = 0, 4*a - 10 = -10*i + q*i for i.
-1
Suppose -81*a - 9*a = -270. Solve -5*w + a*w + 4 = 0, -13 = i - 5*w for i.
-3
Suppose -5*x + 520 = 2*y, -y + 127 = -4*x - 133. Suppose y*u - 10 = 258*u. Solve l = u*a, 0 = -6*a + 2*a + l for a.
0
Let x = -15 - -19. Suppose -5*d + b + 12 = 0, 0 = -d + 5*b + x + 8. Solve 3*p - 3*h + 24 = d*h, 0 = -4*p + 3*h - 21 for p.
-3
Let d(f) = -8*f - 131. Let y be d(-16). Let x = 11 + -7. Let u be x/(-12)*2*y. Solve 2*q - 4 = 3*i + u*i, 0 = 3*i + 5*q - 10 for i.
0
Let h = -145 + 149. S