+ 10, -2*d + 2*i + i = -6 for d.
0
Let v = -66 + 45. Let l = -19 - v. Solve l*q + 2*k = -2, 0*k = -5*q - 3*k + 5 for q.
4
Let v = -8 + 14. Let t be (8 - 14)/(v/20). Let b be ((-11)/(-4))/((-5)/t). Solve -r + o - 19 = -5*r, -o = 2*r - b for r.
4
Suppose -7*i - 7 = 21. Let w be i - 0 - (-2 + -5). Solve -6 = -3*t - x + 4, 2*t + w*x = 16 for t.
2
Let n(q) = 4*q**2 - 1. Let s be n(-2). Suppose -2*g - s = 3*g. Let k be (-2)/(-12)*-10*g. Solve -3*f - b - 17 = -0*f, 0 = -k*f + 3*b - 19 for f.
-5
Let x(q) = -2*q + 5. Let r be x(2). Let n be 5/4 - r - (-38)/8. Solve n*a - 11 = -4*o, o - 19 = -5*a + 5*o for a.
3
Suppose -268*z = -257*z. Solve 4*s + 2 + 14 = -a, 2*a - 4*s - 16 = z for a.
0
Suppose -j - 3 = -5*h, -2 = 5*j - 2*h - 10. Suppose -j*s = 2*s + 3*m + 39, -m - 5 = 0. Let n be (0 + 1)/((-2)/s). Solve -f + 2*u = -u - n, 2*f = 3*u for f.
-3
Suppose o = 3*p + 10, -o - p = -5 + 3. Suppose 0 = o*l - 9 - 7. Solve -3*f = l*w + 23, w - 21 = 3*f - 8 for w.
-2
Suppose -q - h + 9 = 0, 5*q - 39 = -0*h + h. Let d be 33/9 - q/12. Solve 4*c - d*c = -4*k - 18, -3*k = -5*c + 2 for k.
-4
Let p be (15/5)/(15/20*2). Solve 3*k - 4*n = 13, p*n - 11 = -k + 5*n for k.
-1
Let s(b) = 5*b - 2. Suppose 5*v - 30 = -5*j, 3*j - v + 10 = 3*v. Let d be 4/(3 - (-1 + j)). Let f be s(d). Solve 3*q + 5*t + 6 = 3*t, t = 4*q + f for q.
-2
Let t(n) = -n**2 + n + 2 - 4 + 4*n. Let y be 2/(-2*(28/6 + -5)). Let f be t(y). Solve d = -5*v - 29, f*v - d = 4*d for v.
-5
Let l = 19 - 9. Let n(u) = u**2 - 11*u + 10. Let a be n(l). Suppose -4*x + 28 + 48 = a. Solve 5*b + 14 = -3*w, 5*w - x = 4*b + 7 for w.
2
Suppose -5*r - 4*u = 22, -3*r + 3*u = 5*u + 14. Let m be ((-5)/(70/(-8)))/(r/(-273)). Solve 0 = 4*f - 5*w + 24, 5*f - 5*w + m = 1 for f.
-1
Suppose r - 3 = 5. Let v be 16/(-3) + 6/(-9). Let i = v + r. Solve 13 = -3*z - c, -7 = 2*z - i*c + c for z.
-4
Let k(i) = 30*i + 720. Let w be k(-24). Solve 3*a - 2*g + 4 = -w*a, 3 = -3*g for a.
-2
Let d(b) = b**3 + 15*b**2 + 16*b + 31. Let q be d(-14). Solve -x = c + 4*x, -q*c - 3*x - 12 = 0 for c.
-5
Let y = -7 - -11. Suppose z = -3*r, -17 = -2*r + 5*z - 0. Solve -4*v - 13 = t, -t - r = -y for v.
-4
Let u(f) = f**2 - 3*f - 4. Let h be u(3). Let t be 1/(4 + 14/h). Suppose -4*x + 2*i = -82, x + t*x - 61 = i. Solve x = -2*b + 4*l, 12 = -3*l + 6*l for b.
-2
Suppose v = -7*v - 24. Let u be v/(75/10) - (-84)/10. Solve 5*z = 3*l - 8, 0*l + u = -3*z + l for z.
-4
Let s be 2/6 + 66/18. Suppose -d + 81 = 4*l, l + d = s*l - 66. Let i = -14 + l. Solve -3*b - 27 = -2*j + 2*b, b + i = 2*j for j.
1
Suppose 46 = 2*j + 2. Suppose 5*o = -v + 28, -5*o + j = -6*v + 5*v. Let b be (-1)/(-6) + 369/54. Solve o*h + 30 = 4*d, h - 3*d = 5*h - b for h.
-2
Let k be 14/8 + 12741/548. Solve 2*y + k = -5*o, 5*y + 5*o + 15 = -10 for y.
0
Suppose 5*l + s - 18 = 4, -4*l = s - 18. Let y(n) = 0 + 1 + 2*n - 3*n + l. Let u be y(5). Solve u = -q + 3*x - 9, 3*q + x = -0*x - 7 for q.
-3
Let t(v) = v**2 + 23*v + 21. Let u be t(-23). Solve -2*y + 2*b = -18, b = 2*y + 2*y - u for y.
4
Let b(t) = -t**3 + t**2 + 19*t - 1. Let w be b(-4). Let k = 1 - 6. Let m be (2 - 1) + (-3 - k). Solve -c + 14 = -w*r, r + m*c = c for r.
-4
Let r(k) = 167*k - 83*k - 88*k + 1 + 56. Let y be r(13). Solve 3*l - 12 + 29 = 2*j, -l = -y*j + 23 for j.
4
Let i be (-3 - -3)*(14/(-4))/7. Suppose i*w - 2*j + 18 = w, 0 = 4*w + j - 51. Solve -5*g = -t - 13, -t - 4 = 2*g - w for t.
2
Let k(w) = 4*w**2 + 2*w. Let r be k(-2). Let d = 549 - -23. Let v be 2/r + d/24. Solve -5*u = 3*x - v, -3*x + 12 = -2*u + 3*u for u.
3
Suppose -2*t = -58*r + 57*r - 4, 2 = t + 2*r. Suppose -5*b = 8 - 23. Solve -b*h + 19 = -0*g + 4*g, -t*g = -2 for h.
5
Suppose -3*d + 4*n + 42 = -d, -12 = 3*n. Suppose 0 = m - 16 + d. Solve -2*w = -4*v + 8, m*v - 4*w + 6*w - 6 = 0 for v.
2
Let m be (((-9)/3)/(-1))/3. Let a(i) = -m + 2*i**3 - 3*i + 6*i**2 + 4 - 2*i**2 - 3*i**3. Let c be a(3). Solve 4*n + 12 = 4*p, c*p - 10 = 4*n - 2 for p.
4
Let o be 3 + -3 + -3 + -4. Let x(t) = -t**2 - 8*t - 17. Let s be x(o). Let i be (8/s)/((-16)/440). Solve 5*g + y + 3*y = -i, -3*g + 3*y + 3 = 0 for g.
-2
Let z be (-30)/50 - (4 + (-190)/25). Solve z*w - 8 = 2*x, -w - 20 = 3*x + 2*x for x.
-4
Let s(p) = 6*p - 1. Let v be s(1). Let g be (3 - v)*1 - -4. Let f(x) = x**2 + 3*x - 2. Let k be f(-4). Solve -2*o + 4*z + 1 = -o, k*o = z + g for o.
1
Suppose q + q = 62. Let o = -12 + q. Suppose t - 2*t = 0. Solve -9 = -r - 0*i - 4*i, -4*r + i + o = t for r.
5
Suppose -11 = -5*k + 19. Solve 0 = -4*m + 3*p - 18, 3*p = 3*m + 9 + k for m.
-3
Suppose 20 = 5*j, -v = 4*j - 2 - 24. Let b = 131 + -135. Let p = v + b. Solve -5*d + 5 = q - p, 7 = -4*q - 3*d for q.
-4
Let w be ((-42)/56)/((-1)/4). Suppose w*x = 8*x. Solve 0 = 4*a + 8, x = -5*y - 3*a + 2 + 7 for y.
3
Let u(h) = -h + 2. Let g be u(0). Solve -6*t = -c - 3*t + 10, 4*c = g*t + 20 for c.
4
Suppose 14 = s + 3*z, 2*z + 6 = s - 3*z. Let v be (6/3 - -3) + 2/(-1). Suppose -t + 9 = -v*m + m, -3*t = 2*m - s. Solve -t*h + 7 = 2*j - 3, 3*j - 15 = 0 for h.
0
Suppose 24*x + 8 = -4*d + 27*x, 0 = 5*d - x - 1. Suppose -4*y = -1 - 7. Solve 0 = t + y*t - 2*v + d, -5*t + v = -10 for t.
3
Let g = 68 + -66. Let x be (-2)/((g + 0)/(-4)) + -3. Solve -2*i - x = -3*w, 0 = -i + 5*i + 3*w + 11 for i.
-2
Let d(v) = -v**2 + 30*v - 193. Let x be d(19). Solve 4*z + 7 = 5*l, 2*z = 7*z + 2*l - x for z.
2
Let h = -359 + 361. Solve -2*f = y + 8, 4*f = 4*y + h*f - 18 for y.
2
Let z = -232 + 240. Solve -z = 4*n - 5*w, -2 = -4*n + w - 10 for n.
-2
Let m be (1 - 2) + (1 + 44)/3. Suppose m = 2*y - 40. Solve -3*x = -8*x + 4*q - 8, 3*x + 5*q = -y for x.
-4
Let f = 1034 - 1030. Solve -t = 3*x + 2*t - 9, 2*t - 8 = -f*x for x.
1
Let m be -3 + ((-6)/(-30) - (-24)/5). Solve 6*a - a + 19 = 3*b, -6 = -m*b + 2*a for b.
-2
Let i be (1/3)/((-12)/(-216)). Suppose -2*u + i = 2*g, -g + u + 3 - 2 = 0. Let t be g/(3 + -1)*2. Solve -4*p + 2*v - 10 - t = 0, 3 = -p + v for p.
-3
Suppose 3*j + x - 42 = 0, -j = -8*x + 12*x - 25. Solve 2*m - 2*r + 4 = 2, 0 = -5*m + 3*r - j for m.
-5
Suppose 0 = 112*n - 48*n - 512. Solve 10*v = n*v + 5*w - 20, -3*w + 21 = -3*v for v.
-5
Suppose -3*m = -5*f - 2, -f = -0*f + 4. Let d(o) = -o**2 + 36. Let u be d(m). Solve u = 2*k - 3*k + q - 6, 4*k = -3*q - 10 for k.
-4
Suppose 20*x = 6 - 6. Suppose -3*b + 15 + 9 = 4*l, -4*b + l + 13 = 0. Solve 0*v - 7 = 4*v - 5*p, x = 4*p + b for v.
-3
Suppose -5*y + 0*y = -15. Solve -y*w = -k + 1 + 4, -5*k - 5 = -5*w for w.
-3
Let z = 707 - 701. Let l be (1*3 + -1)/2. Let b be z*l + (-18)/(-9). Solve -2*v - 2*o = -b, 3*o - 2 - 10 = -2*v for v.
0
Let j(s) = s**3 - 19*s**2 + 5*s - 93. Let l be j(19). Let x = 0 - -2. Suppose -1 = -3*c + 26. Solve 16 = 2*n - 4*k, l*n + x*k + c = -5 for n.
-2
Let c = 19 + -24. Let p be (-6)/7*(c + -2). Let w be 48/40*20/p. Solve -3*h = 2*y + 15, 2*h - w*y - 27 = 7*h for h.
-3
Let i = 264 - 259. Solve i*r = -4*g - 0*g, 4*r - 11 = -g for g.
-5
Suppose 4*b + 6 + 34 = 4*m, -2*b = 5*m - 43. Suppose -m*q + 10*q = 3. Solve 3*c - 3*w - 15 = 0, 5*w + 1 = -q*c - 0 for c.
3
Suppose 7 - 7 = -19*z. Solve 8*o - 3*o - 5*j - 5 = 0, z = -5*o + 4*j + 7 for o.
3
Suppose 2*o + 12 = 4*r - 2*r, -16 = 4*o. Solve 1 = x + 4*x + 4*m, 2*m + 4 = r*x for x.
1
Let c be 3/(24/46)*4. Suppose -c = -2*k + 3*l, -5*l + 1 = 26. Let n = 67 - 62. Solve -5*a - k*z = -5 - 0, n*z = -25 for a.
5
Let o = -252 - -260. Solve 0 = -g + 2*i - o, -2*g = 2*i + 2*i - 24 for g.
2
Let f(h) = 6*h + 112. Let w be f(-17). Solve -3*n = q - 6*q - w, -5*n = -q - 2 for n.
0
Suppose 111*b - 94*b = 255. Solve -5*i - 5*n = b, -n - 4 = -5*i + 5 for i.
1
Suppose 6*r = 91 + 35. Suppose -16*y = -r*y + 20. Solve q + 0*q = u - 2, -y*q = 12 for u.
-1
Let t be 4/(-5)*(-50)/20. Let m(k) = 5 - 3 - t - k. Let h be m(-3). Solve h*n + 4*c = -3, n + 4*c + 2 - 1 = 0 for n.
-1
Let v be (62 + -8)/(-9) + 9. Solve -m + 1 = v*b, 4*m + 5 = 4*b - 7 for m.
-2
Let d(c) = c**3 + 30*c**2 - 62*c - 1. Let y be d(2). Solve 0 = 5*p, 3*h + 4 = y*p + 10 for h.
2
Let u be (-4)/(-2) + 3 + 4/(-1). Solve 3*s = -4*m + 13, s - 5*m + u + 1 = 0 for s.
3
Let d be 12/(-8)*16/(-12). Solve 4*a + 3*v + 2 + d = 0, -2*a = -4*v + 24 for a.
-4
Let l be 2/5 - (-1 - 39/15). Let d(t) = -1. Let c(w) = -w + 1. Let i(f) = c(f) - d(f). Let h be i(-16). Solve 8*j - h = -2*z + 4*j, l*j - 11 = 5*z for z.
1
Let t(z) = z**3 + 11*z