d + l, 2*d = 8 for j.
4
Let j = 2 + 31. Let q be 28 - (-1 - 3)/(0 + 2). Suppose j*f - 15 = q*f. Solve 15 = -2*a - f*s, 5*s = a - 0 - 15 for a.
0
Let s be -1 - -3 - (-2 - 0). Let o = -37132 + 37132. Solve -3*a = r + s + 1, -r - a - 1 = o for r.
1
Let w be (-4)/12 + 22/3. Suppose -g = -5*p + 25, -3*g + w*g + 5 = p. Solve -z - s + 6 = 0, -3 = -z + 3*s - p for z.
4
Let l = -6586 - -6595. Solve 10*b - l*b = -2*r + 2, 3*r = -b for r.
-2
Let o(q) = -q**3 + 27*q**2 - 130*q + 104. Let r be o(5). Suppose -g + 8 = -23. Solve -7 = 3*u - 2*k, 2*u + r*k + g = -u for u.
-5
Let y be 4/(-1) + 2 - (-230 + 225). Solve -15 = -3*x, -53 = y*u - 17*x + 4*x for u.
4
Let r(k) = k**3 - 38*k**2 + 36*k + 64. Let g be r(37). Solve -4*h = x - g + 6, 1 = -4*x + h for x.
1
Let m = -2642 + 2646. Solve -l + 4 - 3 = -m*b, -5*l = -3*b - 22 for l.
5
Let s(h) = 15*h + 235. Let i be s(-16). Let u be 10/8*2/i*-24. Solve 5 = 3*v + 2, u = 4*b - 4*v for b.
4
Let y be (-3654)/(-210) + ((-72)/(-15))/8. Solve -12 = -3*r - y, 0 = -j - 3*r - 1 for j.
5
Suppose 27*x - 28 = 22*x + 4*r, 5*x = 2*r + 14. Suppose -d - 6 = d, 0 = -2*g + 2*d + 6. Solve -2*b + x*l + 10 = 2*l, -3*b + 4*l - 13 = g for b.
1
Let k(n) = -n**2 - 3*n + 11. Let p be k(-10). Let b = p - -61. Solve -b*g - 5*v - 13 = 0, 5*v = -g - 7 - 7 for g.
1
Let h(f) = -3*f**2 - 12*f + 5. Let c be h(-4). Let k(x) = -x**3 + 4*x**2 + 2*x - 3. Let q be k(4). Solve -2*s + 4*s - 7 = -3*t, 0 = -5*t - q*s + c for t.
5
Suppose y - l = 2*l - 3, -4*y = 4*l - 36. Let c be -5 + (-12)/(4/((-16)/y)). Solve 4*i - 12 = i, -h + i - c = 0 for h.
1
Suppose 0 = 3*b - 5 - 1. Let p be (24/(-20))/((-21)/140). Let i be ((-10)/(-4))/(35/70). Solve i*u = 20, -b*s + 2*u + p = 4*u for s.
0
Suppose -3*m + 6 = -m. Suppose -158*l = -678 + 362. Solve -3*k = l*k + b - 5, -4*k + m*b = -23 for k.
2
Suppose 18*b = 38 + 70. Suppose k = -2*r + b*r, -5*r = 4*k. Solve -5*w + 6 = -4*w - 2*i, r = w - i - 5 for w.
4
Suppose 33*j - 29*j = 128. Suppose y - 9*y = -j. Suppose -5*s = -2*m - 26, -5*m - 14 = -3*s - 6. Solve -z + 2*k = 3, -y*z - 3*k - 6 = s for z.
-3
Let g = -1196 + 1205. Solve 3*h = 2*n - 16, -4*h = -g*h - 10 for n.
5
Let l be 16/(-40)*(3/(-6) + -2). Let n be 5/2 - (-1)/(-2). Solve p + 2 = -4*x - n, 4*p = -x - l for p.
0
Let s = 18 + -13. Suppose 2242 - 127 = 5*m. Suppose m*q = 428*q. Solve -d = -5*z - 3, q = s*z + 3 + 2 for d.
-2
Suppose -4*p - 8 = 0, 4*x - 30*p + 35*p = 10. Solve -4*i + 56 = 5*d + 39, -20 = -5*i - x*d for i.
3
Let u = -16 + 19. Let w(r) = -r**2 - 2*r + 23. Let y be w(2). Solve -2*j - 4*i + 2*i = 6, y = -3*j + u*i for j.
-4
Let u be (5 + -2)*(-25)/(-15). Let n be (-9)/(-2) + u/(-10) + -1. Suppose n*r - 11 = 1. Solve -3*i + x + 4*x = -r, -5*x + 8 = i for i.
3
Let w = -17 - -41. Let x = w + -22. Solve j = -3, 6*j - x*j + 16 = 4*y for y.
1
Suppose -3*v = 5*f - 45, -3*f - 18*v + 20*v = -46. Let p be 23 + f/10*105/42. Solve 3*l - p = 4*k, 10 = -0*k - 2*k for l.
2
Let l be 6 + -1 - (-49 + 52). Solve 3*i = -3*r - 9, -4*i + l = -r - 2*r for i.
-1
Suppose y - 28 = 5*k, 3*k = -y - 3*y + 66. Solve 4 = -2*a + 2*r, y = -9*a + 12*a + 5*r for a.
1
Let h(r) = -35*r - 77. Let a be h(-3). Suppose -4*p = 4*n - 40, a*p + 5*n - 35 = 26*p. Solve -2*f - 7 = t - 4, -2*t - p = 3*f for t.
-1
Let d(u) = -u**3 - 5*u**2 - u + 12. Let k(f) = 2*f**2 - 11*f + 7. Let z be k(4). Let r be d(z). Let c = 22 - r. Solve -4*x + 40 = y + 15, -5*x = -c*y for x.
5
Let t = 63 - 17. Let q be t/10 - 3/(-20)*-4. Solve 2*g = 5*w + 35, 3*w + g + q = -6 for w.
-5
Let w = 5 + -7. Let c be 12/w*(171/18 + -10). Solve -2*d + d + c = 0, -6 = 3*a + 3*d for a.
-5
Suppose -4*w + 10*w = 126. Let n = 16 - 5. Suppose 0 = 4*z - n*z + w. Solve -5*t - z*c = 10, -4*t + c = 5 + 3 for t.
-2
Suppose 0 = 5*x - 0*x + 20, 2*q = -3*x + 46. Suppose 0 = q*i - 27*i - 78. Suppose 5*u = -i + 119. Solve -2*s = g + 1, -2*s + 0*s = 4*g + u for g.
-5
Let t be (-1923)/5769*(0*(-2)/4)/2. Solve 2*a - j = 2*j + 12, t = 2*a + j - 4 for a.
3
Suppose 3*g - 59 = -5*f - g, g + 4 = 0. Let t be 12/(5 + -9)*80/(-4). Suppose -4*v + 6 = 2*d, 2*v + t = -3*d + 61. Solve 5*k + f = 0, 4*p - 9 = -3*k + v for p.
5
Let i(h) = 2*h**3 - 30*h**2 - 32*h + 2. Let u be i(16). Suppose p = 4*j, -23*p + 26*p - u*j = 10. Solve -3*l + 16 = 2*y, 0 = y - 3*l + 6 + p for y.
2
Let g be -21*(-9)/27 + (1 - 6). Solve -2 = -g*j - v + 2, 5*j + 5*v - 20 = 0 for j.
0
Let i(f) = -f + 13. Let j = -8 - -3. Let r be i(j). Suppose k = -52*k + 212. Solve 5*g = -k*w + r, -2*w - w + 4 = -g for g.
2
Let x = -29116 + 29129. Suppose 6 = p - 0. Solve 2 = o - k + p, -4*k = -o - x for o.
-1
Suppose -w - f - 11 = 0, 3*w = 5*f - 71 - 2. Let z = 27 + w. Suppose z*j - 7*j = 8. Solve 14 = -4*n + k - j*k, n = -3*k - 9 for n.
-3
Let k = -1692 - -1703. Solve 2*p - 6 = 0, -4*o - 7*p - 32 = -k*p for o.
-5
Suppose 233*d - 269 = 1362. Solve -u - 5 + 8 = -5*k, -3*u - d = k for u.
-2
Let g(j) = 2*j - 2. Let d be g(2). Suppose 3*o - 35 = -4*q, 7*o - d*q + 30 = 11*o. Solve 0 = a + 2*l - 5, l = o*a - l + 35 for a.
-5
Let t be ((-882)/210)/(3/(-5)) - 2. Solve -4*h + t*b = -11, -b - 8 = 19*h - 14*h for h.
-1
Let l(v) = -11*v**2 - 1134*v - 99. Let m be l(-103). Solve 2*z = -j - 10, j = 4*z + m + 10 for j.
-2
Suppose 2*n = -5*b + 19, 4*b = 7*n - 2*n + 2. Suppose -16*i + 1245 = -i. Let q = -73 + i. Solve n*y = -5*r - 19, -3*r - 3*y - q = 5 for r.
-3
Let m = -10535 - -10539. Solve -m*j + v = -6, 4*j - 3*v = v + 24 for j.
0
Let c(g) = g**2 - 6*g + 14. Let f be c(9). Let q = 52 - f. Suppose q*h = 16*h. Solve -3*w = 5*i - 6, h = -4*w - 3*i + 11 - 3 for w.
2
Suppose -9 = -3*q + 35*d - 38*d, 0 = 3*d. Solve -q*i - 27 = 3*g, 0 = -4*g + 2*g - 3*i - 23 for g.
-4
Suppose 10 = 3*z + 1. Let c = -71 + z. Let a = c - -70. Solve -5*d - 10 = -5*o, -d - a*o = -6*o - 1 for d.
-3
Suppose 0 = -5*s + 14*s + 27. Let c be 0 + (s + 3 - -2). Suppose -14 = -3*r - c. Solve -12 = -r*w + w, 5*n - 2*w - 7 = 0 for n.
3
Let k be (9 + -8)/(-2*(-2)/56). Solve 11 + 13 = 3*r + 3*q, 0 = 2*r - 4*q + k for r.
3
Suppose -4*u + 223 = -249. Suppose 63*l - 76*l - 382 - 1113 = 0. Let d = l + u. Solve 0 = d*j - 3 + 9, 4*r + 16 = 2*j for r.
-5
Suppose 0 = 4*v + 5*u - 603, 2*v = -2*u + 430 - 126. Solve 0 = -2*d + w - 9, -5*w - 138 = 3*d - v for d.
-2
Suppose -3*n - 120 = -3*p, -2*p = -5*n - 55 - 34. Suppose h + 36 = p. Solve -q + 2*m = h, q + 2*m + 19 = 6*q for q.
5
Let k(p) = -2*p + 69. Let g(a) = a**3 + 6*a**2 - 9*a + 18. Let l be g(-7). Let s be k(l). Solve -2*y + z - s*z = 22, 4*z + 27 = -3*y for y.
-5
Suppose -31 = -7*h - 1487. Let z = 208 + h. Solve 8 = -m + 3*l, -8 = -z*m + 5*m + l for m.
-2
Suppose 3*f - 12 = -5*c + c, -2*f + 3*c = -25. Solve 5 = 5*p, -3*q = -4*p + f*p - 13 for q.
3
Suppose 15*p + 624 - 774 = 0. Solve -3*n + 14 = h, 0 = -5*h + 3*n + p - 12 for h.
2
Suppose -5*d = 5*s + 15, 33*d + 27 = 5*s + 32*d. Solve 0*n - s = 3*n + 2*p, 4*p - 16 = 0 for n.
-4
Let i be (176/(-12) + 18)/((-10)/(-12)). Solve z - 77 = 5*c - 52, 5*z + i*c + 20 = 0 for z.
0
Suppose 0 = -n + 4*r + 1, 0 = -2*n - n - 2*r + 17. Let p be 2/8 + (-1533)/(-36)*3. Suppose 10*k - p - 22 = 0. Solve 3*i + 17 = -n*t + t, 5*i - 2*t = k for i.
1
Let t(k) = k + 4. Let b be t(0). Let w = -1056 + 1065. Suppose 4*r - w = r. Solve 0 = -5*z + r*y + 2*y, 9 = -5*z - b*y for z.
-1
Let v(d) = 2*d**2 - 13*d - 11. Let s be v(-1). Solve -5*u - s*f - 36 = -0*u, 5*f + 24 = -u for u.
-4
Let k(i) = -4*i**2 + 11*i + 10. Let o(t) = 2*t**2 - 1. Let y(h) = -k(h) + 3*o(h). Let s be y(-1). Solve -w = 2*d - s, -6*w + 16 = 2*d - w for d.
3
Suppose -3*y + 5959 = 5953. Solve 2*p + y*g - 10 = 0, 0 = -2*p + 4*g - 9*g + 10 for p.
5
Let g = 3625 - 3621. Solve -h + g*t - 7 = 0, 4*t - 23 - 14 = -5*h for h.
5
Suppose 2*b - 4*v + 8 = 0, 11*b = 6*b + 2*v + 12. Suppose b*l = -l + 30. Suppose -l*c + 9 + 21 = 0. Solve -3*t - 3 = 0, 0 = j + 2*j + 5*t + c for j.
0
Suppose -f - a + 19 = 4, -3*a + 55 = 4*f. Suppose -4*j = -216 + 80. Let p be (-4)/2 + (j - -1 - 1). Solve -4*l = -2*b - 2*b - p, 2*l - f = 0 for b.
-3
Let f(i) = -25*i**2 - 4*i + 7. Let m be f(2). Let w = -55 - m. Suppose -10 - w = -4*k. Solve -3*d = -l, d - 3*d - 4*l = -k for d.
1
Let h be -1*(21/(-21))/(2/14). Solve 0*c - 5*g = 2*c - h, -3*c + 4*g = 24 for c.
-4
Let g = -985 + 995. Solve g = 3*x - 5*z, -2*x - 1 = 3*z + 5 for x.
0
Let c be (-1)/(-2)*0/3. Let 