d + n*u - 5 for d.
-1
Suppose -3*s + 5*l = -6, 3*s + 39*l - 30 = 36*l. Suppose 9 = n + 3*v + s, -3 = 3*v. Solve -3*d = -g + 11, n*g - 19 - 6 = 0 for d.
-2
Let z be (-5078)/10 + (962/65 - 15). Let u = 510 + z. Solve 0 = 2*r - u*d + 2, 2*r - d = -5*d - 14 for r.
-3
Let i = 1836 - 1829. Solve -i*s = -4*q - 6*s, 0 = 2*q - s + 2 for q.
1
Let z(v) = 23*v**2 + v + 6. Let p be z(0). Solve -35 = 4*f + 3*j, 2*f + 2*j - 10 = p*j for f.
-5
Let m be (-21)/6*32/4. Let n be (780/(-910))/(-1 + (-22)/m). Solve -v + 4 = -4*t + 21, 4*t = -n*v + 32 for t.
5
Let n = 7706 - 7688. Solve b - 4 = -3*z, -3*b - n - 6 = -3*z for b.
-5
Let z = -156 - -154. Let p be ((-2)/z)/((-1)/(-4)). Solve 2*j - p*x - 18 = 0, -2*x + 1 = 11 for j.
-1
Suppose -8*r - 22 = -30. Let m be r/1 - -4*(-37)/2. Let g = m + 74. Solve -2*q - g = -5*x, -2*q + x + 3*x = 0 for q.
2
Let s be (-2)/(12/9) - (-2795)/10. Let g = s - 252. Solve -3*l + 3*n = -n + 10, 5*l + 4*n - g = 0 for l.
2
Let m(o) = o + 1. Let z(q) = 24*q - 12. Let l(n) = -15*m(n) + z(n). Let a be l(4). Suppose -a*h + 10 = -7*h. Solve h*b = 4*u - 0*b - 26, -3*u = b - 10 for u.
4
Let z(x) = 98*x - 11 + 66 - 101*x. Let s be z(17). Solve -2*f - s*k = 6, f + 0*f + 9 = 4*k for f.
-5
Let j = 1 - -2. Suppose -s = 3*x, 0*s = 3*x + 5*s. Let q be (36/6 - 1) + x. Solve j*w = q*k - 22, 9*w + 12 = 4*w - 4*k for w.
-4
Suppose -w + 180*g = 177*g - 6, 4*w = -3*g + 9. Solve -6 = 5*o + w*r, 7*o - r + 18 = 2*o for o.
-3
Let y be ((-3)/(-21) - 1)/((-23)/161). Let l be -1*(0 + 6 - y). Solve -s - 12 = -5*u, l = 4*s + 8 for u.
2
Let y be 1305/(-145) - 1*-19. Solve -5*x = -4*f - y*x - 5, -x = 3*f - 10 for f.
5
Suppose 5*y - 5*m + 15 = 0, -2*m + 26 = -2*y - 4*m. Let p be (-4)/y*1*10. Suppose 5*i = -i + 2*i. Solve q + 4*l - 2 = -22, p*q + 2*l + 10 = i for q.
0
Suppose 4*n = -2*s + 388, 5*s + 831 = 9*s - 3*n. Let r = -201 + s. Solve r*g = m, 2*g + m = -3*m + 14 for g.
1
Suppose 291 + 526 = 12*s + 31*s. Solve -3*m - 14 = -a, 0*a + 4*a = -3*m - s for a.
-1
Let l(c) = c**2 + 18*c - 25. Let x be l(-14). Let i = x + 85. Solve -2*r - s + 4*s + 7 = 0, -4*s + i = 0 for r.
5
Let x(l) = -5*l - 14. Let n be x(-4). Suppose n*t + 0 = 12. Solve -t*q - 3*c = 2*c + 13, 5 = -q - 2*c for q.
1
Let p be (-2 + (-20)/(-6))/((-224)/(-336)). Solve -4*g = t - 2, -3 = -3*g + t + p for g.
1
Suppose -40*a - 16 = -42*a. Solve 2*h + a = 4*s - h, -h = -2*s + 4 for s.
2
Let d(v) = -15*v**2 - 21*v + 22. Let x be d(-2). Solve -12 = -i + 2*o, -3*i - 3*o = x + 5 for i.
2
Suppose -9*k + 32 = -5*k. Suppose 4*h + k = -24. Let w = -4 - h. Solve -s = 4*v - 6, w*v + 3 = v + 3*s for v.
1
Let m(x) = x**2 - 23. Let u be m(-5). Suppose -u*j = -4, 4*r + 5*j - 12 = 3*r. Suppose 3*g - 9 = 6. Solve -w - 4*s + 21 - g = 0, r*w = -3*s + 17 for w.
4
Let t be ((-3807)/94)/(6/(-16)). Let q = t + -106. Solve -7 + 0 = 5*n + 2*x, 0 = 2*n - q*x + 14 for n.
-3
Suppose 0 = -8*q + 104 - 0. Suppose -4*l = 3*x + 63, -27 = 3*l - 5*x + q. Let v = 20 - l. Solve -5*s + 3*o - 4 = 1, -5*o + v = 5*s for s.
2
Suppose y = -5*t + 8, -y = -37*t + 33*t + 19. Solve -t*p = -a - 10, -p + 6 = -15*a + 16*a for a.
2
Let p(r) = -r**3 + 104*r**2 + 212*r + 3. Let u be p(106). Solve j - 7 = 5*o, -u*o = 62 - 56 for j.
-3
Let f be (-1)/2 + (-15)/6. Let m = f - -6. Let r = 18 + -5. Solve 0 = g + 3*d + 13, -m*g + 4*d = -0*g - r for g.
-1
Suppose 0 = -2*m + 2*r - 10, -5*m = r + 1 - 6. Let p(f) = 6*f - 3. Let q be p(2). Solve m = -3*n + q, 2*x - x + n = 1 for x.
-2
Let m = -1747 - -1085. Let g = 664 + m. Solve -9 = -g*c + 3*c + 4*v, 2*c - 3*v - 15 = 0 for c.
3
Suppose -9 = p - 4*q, -p = -2*q - 0*q + 3. Suppose -5*k = -s - 629, -1 = -k + p*s + 136. Let m be (8/20)/(5/k). Solve -5*r - m = z - 6*z, 0 = 2*z - 2 for r.
-1
Suppose 1239 = -5*n + 1249. Solve n*s + 10 = -x, -5*s = 18*x - 17*x + 25 for x.
0
Let t(l) = -33*l - 2341. Let n be t(-71). Solve u = 5*c + 12, -9 = -n*c + 5*u - 0 for c.
-3
Let c be (3 - (-32)/(-4))*-1. Let w(k) = k**3 - 4*k**2 - 3*k - 5. Let d be w(c). Suppose 0 = 12*u - 2 - 58. Solve 0 = -u*z + d*h - 30, -3*z + 0 = 2*h - 2 for z.
-2
Suppose 2*c - 109 = 31. Suppose 0 = 34*t - 20*t + 910. Let w = t + c. Solve -4*j = 2*p - 4, j + p - w*p = -17 for j.
-1
Let m(t) = -257*t - 3071. Let v be m(-12). Solve 5*d + v = -4*q, 0 = 10*d - 13*d - 4*q - 3 for d.
-5
Let m(k) = k**2 - 8*k + 6. Let o be m(7). Let d be (246/(-9) - o)*3. Let j = -74 - d. Solve j*p - 2*s = 15, p = -2*p - 2*s + 9 for p.
3
Let m be 26 - 22 - (0/2)/1. Solve m*c - 3*i - 13 = 0, -238 + 231 = -c - 3*i for c.
4
Suppose 4 = d + 3*q, 7*d - 46 = -3*q - 0*q. Solve -d*x = 4*p - 25, -4*x + 15*p - 12*p = -9 for x.
3
Let p = -4193 + 4196. Solve p*d - 5*n - 23 = 0, -5*n - 16 = -n for d.
1
Suppose 3*k = 139 - 256. Let j(h) = -h**2 - 45*h - 234. Let r be j(k). Solve 4*m + n + 0 = -4, r = 4*m - 4*n - 16 for m.
0
Let o = 2767 - 2762. Solve -4*p + 13 = 4*c - p, -c - o = -2*p for c.
1
Let a(o) = -o**2 - 12*o - 10. Let n be a(-4). Suppose 4*x + 14 - n = 0. Suppose -c - c + d = -25, x*d = -c + 10. Solve -r - l = 6, 4*r - 2*l - 3*l = c for r.
-2
Let f = -7 + 8. Let p be (-1)/(3/33*f). Let r = p - -21. Solve g + r = -5*u + 6*g, -5*g - 40 = 5*u for u.
-5
Let r = -122 + 123. Let f(b) = -b**3 + 1. Let v be f(1). Suppose 3*q + 2*c = v, 0*q - 5*c = -3*q + 21. Solve -r = 5*g + 2*n, q*n - 5 = -g - n for g.
-1
Let d = -962 + 966. Let r = -43 + 21. Let q = r - -22. Solve -d*i - 8 - 4 = -2*f, q = i + 2 for f.
2
Let z(d) = -d**3 + 13*d**2 - 13*d + 12. Let u be z(12). Suppose u = -5*x + 59 - 14. Solve -2*y = 3*m, -2*y + 3*y - x = 3*m for y.
3
Let c(w) = w + 2. Let f(s) = 12*s + 146. Let o(k) = -3*c(k) + f(k). Let n be o(-15). Solve 6*j - j = n*r, -3*r - 5 = -4*j for r.
5
Let j = 212 - 209. Suppose -t + 12 = j*n, 49*n = 4*t + 45*n. Solve t*v + 15 = m, 2*m = -m + 5*v + 25 for m.
0
Suppose -1034 = -16*p + 3254. Let d = p + -266. Solve -d*z + 3 = 2*x - 1, -5*z + 20 = 0 for x.
-2
Let c(b) = -6*b**2 + 61*b - 7. Let k be c(10). Solve -19 = k*v + 2*z, -z = 3*v - 6*z - 16 for v.
-3
Suppose 13 = -57*c + 581 - 112. Solve 4*f + c = -3*w, -3*w = 26*f - 21*f + 13 for f.
-5
Suppose -4262 = -23*l - 720. Let g = l - 149. Solve -3*t + 5*n - g = 0, t + 0 + 3 = 3*n for t.
0
Let j be (2 + 0)*(-8)/(-48)*33. Suppose -44 = -2*o - 3*i - j, 4*i = 3*o - 24. Solve 10 = 2*b - 2*q, b - 2 = -4*q - o for b.
2
Suppose 4*t - 26 = 3*z + 11, 5*z + 4*t = -51. Let m = 23 + z. Suppose 3*n = -0*n + m. Solve -n*g + 3*h = g + 17, -4*g - 24 = -5*h for g.
-1
Suppose -4738 = -5*f + 9*w - 6*w, -4*f + 3788 = -3*w. Suppose 9*s = -29*s + f. Solve 5*k = s, 3*z - 7 - 6 = -2*k for z.
1
Suppose 5*l = -b + 28, -75 = -4*l - 5*b - 19. Solve 11*n + l*g + 10 = 7*g, g + 4 = 0 for n.
-2
Suppose -15*u + 3*u = 0. Suppose o - 104 + 101 = u. Solve -7*c + 4*s - 26 = -4*c, o*s = -4*c + 7 for c.
-2
Suppose -4*n = 20, -114*q + 112*q + n + 11 = 0. Solve -2*f + 2*b = 0, 6 = -3*b - q for f.
-3
Let n be (3/(-2))/(10/80). Let u = 12 + n. Let y(h) = -9*h + 248. Let v be y(27). Solve u = j + d - 9, -2*j + v*j - 3*d - 3 = 0 for j.
5
Let u be ((-87)/58)/(-3*1/4). Let h be (33/9 + -3)/(u/(-234)). Let z = -76 - h. Solve -2*o = 2*a + 4, -o - 12 = o - z*a for o.
-4
Suppose 3*v = 2*v. Suppose 12*m = 10 + 2. Let o be ((-1)/(m/2))/(2/(-5)). Solve -i - 4*y = 13, v*y + 2*y + 29 = -o*i for i.
-5
Let w(a) = -3084*a + 6199. Let t be w(2). Solve 3*k + 2*z - t = -27, 5*k - 4*z - 14 = 0 for k.
2
Suppose -40*r + 2593 = 2433. Solve -4 + 0 = r*j, 5*i = -2*j + 8 for i.
2
Let h be (1 + -2 - 1) + (126 - 79). Solve -16 = 4*x, h*x = -5*m + 50*x + 30 for m.
2
Let a(g) = -7*g**2 - 29*g - 100. Let o(u) = 5*u**2 + 30*u + 99. Let h(c) = -2*a(c) - 3*o(c). Let w be h(-28). Solve -d = -4*d - w, 0 = -2*i + 2*d + 12 for i.
1
Suppose -l + 12 = -o, 3*l = 84*o - 80*o + 43. Solve 20 = -4*c, 3*h - 3*c = -l*c - 16 for h.
-2
Suppose 0 = 4*l + 13 - 29. Let h be -1*(-2)/4*-34. Let y be (-6 - h) + (1 - 4). Solve 4*w = l*f - y, 0 = -2*w + 3 + 1 for f.
4
Let a = 17 + -12. Let k be (-25)/(-20)*(-512)/(-320). Solve 2*p - k*i - 20 = -0*p, 0 = a*i + 25 for p.
5
Let g = -502 + 485. Let t(d) = -d**3 - 17*d**2 + 3. Let v be t(g). Solve 7*y = 4*y + 4*p - v, -5 = 5*y - 3*p for y.
-1
Suppose -29*v + 40 = -21*v. Suppose 5*i = 3*i + a + 3, a = v*i - 9. Solve i*c = 3*f - 3*c - 31, 20 = -4*c for f.
2
Suppose 110 = 111*w - 109*w + 5*t, -w + 60