-4*q - 2*l for q.
2
Let l = -4 - -6. Let d(i) = -2*i**3 - 4*i**2 - 4*i - 4. Let p be (3*(-1)/2)/((-9)/(-12)). Let m be d(p). Solve -l*k - m*y - 10 = 0, 20 = -5*k + k + 3*y for k.
-5
Let z = -5575 - -5581. Solve c - 15 = 4*n, n - z = -2*c - 3 for c.
3
Let m = 0 + 0. Let w be 0/(8/(-16)*4). Suppose m*d + w*d = -4*d. Solve 5*s + 2*g - 5 = 4*s, d = -g + 3 for s.
-1
Suppose 5*o + 85 = 10*o. Let z = -11 + o. Suppose -3*j + z = -3*k, 4*k + 13 + 0 = 5*j. Solve 3*g + 4*x = 5*x + 10, -j*g + 22 = x for g.
4
Let x(g) = 2*g**2 - 15*g + 2. Let s be x(8). Let p be -4*10/s*1/(-4). Solve 2*k = 4*a + p + 13, 0 = 4*a - 3*k + 19 for a.
-1
Suppose f + 2*f + 7 = -4*i, -5*i = 4*f + 8. Suppose 0 = 58*q - 57*q - f. Solve -q*p - 3 = 0, 3*n = -0*n + p - 5 for n.
-2
Let g be (-2 + 2 + -12)/(19 - 22). Solve g*f + 24 = 4*u, f = -5*u + 9 + 3 for f.
-3
Let c(n) = -n**3 + 11*n**2 + 63*n - 42. Let v be c(15). Solve 8 = -3*q - 11*g + 15*g, -4*q + v*g = 6 for q.
0
Let z be ((-4)/(-3))/((-9)/(-351)). Let s = z + -49. Suppose -s*o - 2*k - k = -12, 5*o + 4*k - 25 = 0. Solve -3*b - 9 = -0*b + r, -3*r + o = 0 for b.
-4
Let q(k) = -14*k - k**2 + 12 + 26 - 59. Let h be q(-12). Solve 3 = -3*n + h*g + 12, -3*g = n + 5 for n.
1
Let i be 136/14 + (-42)/(-147). Suppose i = 5*p - 3*p. Solve -f + 3*f = 2, -p*c = -f + 26 for c.
-5
Let y be (-32 + 29)*1/(9/(-2361)). Let n = 790 - y. Solve 5*t = -2*q + 7*q, 2*q - n*t = 1 for q.
-1
Let x = 21 - 17. Suppose 9 = -3*q, x*u + 5*q + 4 = 5. Solve -31 + 11 = -4*p, u*p - 15 = -n for n.
-5
Let g(t) = -2*t + 4. Let d(z) = z**2 - 19*z + 8. Let b be d(18). Let v be g(b). Suppose -11*q = -17*q + v. Solve 0 = q*n - n - 3*i - 6, -17 = 2*n + 5*i for n.
-1
Suppose 3*p = 49 + 2. Suppose -6*l + 4*l - 4*f = 4, f - p = -5*l. Suppose 2*b - 16 = -4*t, 4 = l*b + 2*t - 4. Solve b = -5*h - 3*w - 3, h + 2 = -h - 2*w for h.
0
Suppose 3*f - 156 = 4*w, 32*w = -4*f + 34*w + 198. Suppose 6*z + 30 = f. Solve 3*r = 12, z*u + u = 2*r - 4 for u.
1
Let m(b) = b**3 - 5*b**2 + 19*b - 92. Let x be m(5). Solve 3*a = 4*y + 32, y - x*a = -7*a + 11 for y.
-5
Let v(y) = 3*y**2 - 26*y - 4. Let l be v(9). Suppose l*c = 3*d + 8, 2*d - 20 = -12*c + 9*c. Solve 4*u = 3*h - d, -5*u - 3*h - 8 = -3 for u.
-1
Let p be (-2)/(-12)*31 - (-18)/(-108). Suppose 6 = 3*q + 5*k, -7*q + 10 = -2*q + p*k. Solve 4*r - q*m + 1 - 5 = 0, -4*r - 5*m + 18 = 0 for r.
2
Let b be -1*1/((-4)/(-48))*-1. Let f be (1 + -2)*(b - 15). Suppose -6*j = 5*q - f*j, -j = -3*q + 14. Solve 0 = -3*g - 3*x, -4*g + 0 = 5*x + q for g.
3
Let u = 34104 - 34087. Solve b + 3 = 3*q, -15*b - 3*q = -u*b for b.
3
Suppose -4*l + l - 180 + 228 = 0. Solve m + 1 = 2*j, -2*j + l = 20*m - 24*m for m.
-5
Suppose 46 = 4*d - 2*t, -2*d + 5*d - 47 = -t. Suppose -d*i + 16*i = 34. Suppose -6*s + i - 5 = 0. Solve -2*f - h = -0*h - 4, 3*h + 20 = s*f for f.
4
Let f = -6 + 14. Suppose f*v - 162 = -v. Suppose v*m = 5*m + 260. Solve -2*t = 3*k - 15, -k - 3*k = t - m for k.
5
Let u(a) = -a**3 - 15*a**2 - 70. Let m be u(-16). Suppose -25*y + m = -89. Solve 3*t + 8 = 4*q, -2*t + y = 5*q + 1 for q.
2
Let x be ((-120)/32 - -7)*-140. Let d = 459 + x. Solve -4*c + 1 = -5*v + d, -9 = 4*c + v for c.
-2
Let v = -4965 - -4971. Solve 0 = 2*h + v - 4, 5*t + h = -6 for t.
-1
Let l be (-30 + (-1242)/(-42))/((-1)/7). Solve -20 = l*j + 11*f - 13*f, 12 = -4*j - f for j.
-4
Let d = 3 - -2. Let n = -15338 - -15338. Solve 4*r - 2*m - 16 = n, 2*r = -5*m + 3 + d for r.
4
Let g(m) = -12*m**3 + 2*m + 4. Let d be g(-2). Suppose 9*v = -d + 402. Solve 0 = 5*b - 20, -5*w + b + 15 = v for w.
-3
Let m(k) = -2*k**2 + 45*k + 10. Let n(v) = v**2 - 23*v - 6. Let u(p) = -6*m(p) - 11*n(p). Let b be u(0). Solve -5*d = -z + 10, -2*z - 19 = 5*d + b for z.
-5
Let q(k) = -22*k**2 - 52*k + 21. Let b(c) = 8*c**2 + 17*c - 7. Let h(u) = -8*b(u) - 3*q(u). Let p be h(-11). Solve 3*t + 2*d + 17 = 0, t - d = -4*d - p for t.
-3
Suppose 0 = 10*i + 527 - 567. Solve 16*u + i*g - 9 = 15*u, 5*g - 25 = -4*u for u.
5
Suppose 0 = -4*d + 17 + 30 - 35. Solve -4*v + 4*a + 2 = -18, 5*v - 9 = -d*a for v.
3
Let u(n) = 3*n**2 + 5*n - 489. Let c be u(12). Solve c*f + 2*g + 13 - 22 = 0, g - 3 = 0 for f.
1
Suppose -2*g - 6 = -3*c, -4*g = -2*c - 9 + 5. Solve -g*a + 21*n - 17*n + 23 = 0, -2*n - 7 = 3*a for a.
1
Let c(f) = 6*f - 46. Let g(i) = -3*i + 23. Let v(d) = -6*c(d) - 11*g(d). Let z be v(7). Let s = 22 + -19. Solve -s*o + 3*p = 0, 0*o - 2*o - z = -p for o.
-2
Suppose 4*v - 5*n + 2 = 0, 592*v + 2 = 596*v - 3*n. Solve 2 = 2*r - a, 22*r - 18*r - 3*a = v for r.
2
Let u be (-17)/(-2)*(-2670)/(-4539). Solve -2 = -3*w - i, u*i - 13 + 14 = -4*w for w.
1
Suppose 0 = -3*z - 5*s + 64 - 20, -2*s + 2 = 0. Suppose z = 3*x - 0*f - 4*f, 0 = 4*x + 5*f - 7. Solve -5*v = -3*m - 40, -m + 11 = x*v + 1 for v.
5
Let a(w) = w**3 - 6*w**2 + 5*w - 12. Let u(p) = -5*p + 6. Let j be u(0). Let l be a(j). Let o = -16 + l. Solve -3*t - 3*m = -4*m - 15, -o*m - 5 = -t for t.
5
Let p(d) = 259*d - 4401. Let y be p(17). Solve -4*n + 16 = 0, 6*j - 10*j = y*n + 12 for j.
-5
Suppose -19 + 929 = 52*y + 13*y. Solve -f = -4*z + y, 4*f + 3 = -4*z + 7 for f.
-2
Suppose 3*t = -6 - 0. Let p be (-10)/t*2/1. Suppose 4*m = 2*r + r - 30, m - p = -r. Solve -5*g + q + 0 + r = 0, -3*g + 4*q = -23 for g.
1
Let c be -17 - (-10 - (-2 + -5)). Let n(s) = 16*s + 227. Let x be n(c). Solve -2*j = x*i - 0*i + 7, -2*i - 2*j - 4 = 0 for i.
-3
Suppose -6*r + 33 = 4*r + 5*t - 72, 3*t = 33. Let z(x) = x**2 - 7*x + 8. Let s be z(6). Solve j - 6 - s = r*o, o = j for o.
-2
Let q(s) = s**3 - s + 13. Let n be q(0). Let l(c) = 5*c - 35. Let d be l(n). Let f be ((-6)/15)/((-4)/d). Solve 3*u + f*t = 4*u - 13, u = t + 3 for u.
-2
Suppose 0 = z - 3*w - 13, -14*z + 18*z - 4*w - 20 = 0. Let c be 1404/45 - z/20*4. Solve 4*o + c = -8*i + 3*i, -3 = i for o.
-4
Suppose y + t = 11, -3*y - 21*t + 26*t = -89. Solve -4*p - 2*v = p, p + 4*v + y = 0 for p.
2
Let u = -31 + 33. Let o be (-2 - (u - 3))/((-1)/5). Suppose 2*w = 3*y, o*w + 5*y = w. Solve 0 = -2*s - 0*s + 5*g, w = -2*s + g - 8 for s.
-5
Let y be (6/(-4))/(25/100). Let w(o) = -o**2 - 11*o - 26. Let d be w(y). Let l be (-1 + 3)*20/8. Solve 20 = 5*n + 4*a - a, d*a + 20 = l*n for n.
4
Let h = 66 + -110. Suppose -220 = -7*o + 137. Let c = h + o. Solve -2*l = j + 11, c*l - 3*l + 4*j = -32 for l.
-3
Let h be (-5)/(-1) + (-74 - -73). Solve 4*u = -7*n + 4*n - 35, h*u + 15 = n for n.
-5
Let n = 996 - 990. Solve -13 = -m - 4*l - 8, m + 5*l - n = 0 for m.
1
Let u = -3727 - -3747. Solve -2*y = 5*q + 10, -u = -8*y + 4*y for q.
-4
Suppose 16 = 2*w - 4*t, 4*w + 34 = 4*t + 82. Solve -4*b + 6*q = 4*q - w, -5*q - 20 = 0 for b.
2
Suppose 1 + 34 = d. Solve 15 = -5*h - 10, 3*h + d = 4*m for m.
5
Let i(s) = s**2 - 31*s - 25. Let p be i(22). Let m = 225 + p. Solve -b = -w - 3, 3 = -b - m*w - 0*w for b.
1
Let x(g) = -4*g + 63. Let s be x(9). Suppose -s + 77 = 25*f. Solve -5*i + 4 = 4*a, -3*a + 4 = -f*i + 1 for i.
0
Suppose 6*b - 72 = -2*b. Let a(r) = -r**3 + 11*r**2 + 25*r + 18. Let c be ((-91)/(-28))/(3/12). Let s be a(c). Solve 0 = s*v - 3*w + b, 0 = -5*w - 10 for v.
-3
Let h = 16 - 6. Let t be 8/h*2*(-5)/(-4). Solve -a - 6 = t*b, -a + 3 = 5 for b.
-2
Suppose 96*w = 114*w - 72. Suppose 77*t - 12 = 73*t. Solve 4*b - 4 = l, l = t*b - w*l + 14 for b.
2
Let w(n) = -3*n - 6. Let s be w(-5). Let i be (-3692)/(-6) + ((-42)/(-9))/7. Let f = -616 + i. Solve f = -2*v + 4*o + 3 - s, -4 = v - 3*o for v.
-1
Suppose 146*h = 309 + 1752 - 163. Solve h = -c - 3*w + 20, -2*c - 4*w + 10 = 0 for c.
1
Let l(s) = 25*s + 1379. Let i be l(-55). Solve 5*r + 0 - 30 = 5*k, 12 = -i*k for r.
3
Suppose -h - 3*h - 19 = 3*p, -h - 4 = 0. Let g be (-21)/(-4)*p*4. Let i = g - -25. Solve i*l + 4*c - 3*c - 12 = 0, -4*l - 5*c + 12 = 0 for l.
3
Suppose 71 = 2*r + 3*t, -83*t = -5*r - 85*t + 194. Solve 4*h - 212 = -v - 237, 5*v + 3*h + r = 0 for v.
-5
Let o be (-16)/6*(-6)/4. Let s = 1471 + -1460. Suppose 5 = 3*m + s, 4*h = 5*m + 30. Solve -2*f + 3*n + o = 12, -h*f - 20 = 3*n for f.
-4
Let u(k) = -18*k - 406. Let t be u(-23). Solve 0 = 3*l - l - 4*i + 24, -2*l - 4*i = -t for l.
-4
Let b be (12/4 - 4) + 3. Let i = -3384 - -3392. Solve 0 = b*r + 6*u - u - 22, 0 = -2*u + i for r.
1
Let u(t) = -t**3 + 5*t**2 + 5*t + 8. Let r be u(6). Suppose -3*k = -5*s + 1, 2*s + 5 = r*k + 3. Solve -m + 2*w - 1 = 4, -3*m + k*w = 3 fo