- 9514. Solve -3*y + 12 = 0, -2*l - y = w - 15 for l.
4
Let b be 5/(3 - -27) + (-58)/(-12). Suppose -b*k = 5*x - 5, k - 3 = 5*x - 2. Let o = 8 + x. Solve 2*a + 2*a + o = 0, 4*f = -3*a + 2 for f.
2
Let o be ((-36)/20)/(3/20). Let p(y) = -5*y - 60. Let t be p(o). Solve -10 = 3*i - t*i + g, 3*g = -3 for i.
-3
Let p be 36/15 - (-24)/40. Suppose c - 5*c + 13 = 3*y, p*c - 3 = 0. Suppose y*s = 6*s. Solve -i + 4*l + 6 = s, i = -4*l - 3 + 1 for i.
2
Let a(o) = o. Let l(m) = -42*m - 24. Let k(r) = -36*a(r) - l(r). Let q be k(-4). Solve 0 = 5*y + 2*p + 18, 3*y - 2*y - 4*p - 14 = q for y.
-2
Let f = -6261 + 6263. Suppose -2*o - h = -3, 0*h = 4*h - 12. Solve o = 3*l - 5*n + 25, f*l - n + 0*n = -5 for l.
0
Let h be ((-1)/(-3)*0)/2. Suppose -g - 2*g - 3*n = -45, 30 = 2*g - 4*n. Suppose 2*u = -3*i - h*i + g, -2*i = -6. Solve u*z + 1 = 2*s, 5*s = 3*z + s + 5 for z.
1
Suppose -2*v = -2*s + 758, -4*s + 44*v - 45*v = -1521. Let b = -377 + s. Solve -3*g + 2 = b*q + 23, -4*g + 2 = -2*q for g.
-2
Let o = 365 + -365. Let w be o + (5 + 0 - 0). Solve -u + 2*k + 4 = k, -3*u + w*k = -22 for u.
-1
Suppose 3*p - 1074 = -599*n + 598*n, 5*n = -p + 386. Solve p*f - 360*f = -5*y + 26, 16 = -4*f for y.
2
Let j = -15387 + 15389. Solve 79*y = m + 74*y + 18, j*y = -4*m + 16 for m.
2
Suppose -138*v = -480 - 1590. Solve 0 = 2*t - f + v, 0 = -2*t + 10*f - 11*f - 5 for t.
-5
Suppose 0*d = d - 4. Suppose -3*w - t = 6, 2*w - 5*t - 286 = -256. Solve 4*k - i - d*i = 40, w = -4*k - i + 16 for k.
5
Suppose -3*c + 0*c + 5*a = -55, 4*a = -20. Suppose 0 = 11*z - c*z + t - 4, 2*z - t = 5. Solve 0*x - 6 = 3*j + z*x, -2*j - 4*x - 8 = 0 for j.
0
Suppose 35 = c + 181. Let b = c - -83. Let l be (-266)/b + (-2)/9. Solve l*z + 2 = y, 4*y - 14 = -3*z - 6 for y.
2
Suppose 3*m - 21 = 3*v - v, -35 = -5*m + v. Suppose -5*s - 26 = -2*u, 2*s = -m - 1. Solve -2*k - u*q - 7 = 0, -k + q + 13 = k for k.
4
Suppose 0 = -5*z + 3*k + 47 + 31, 3*k = 2*z - 42. Solve 0 = -4*w - z, 28 = -5*q + 3*w - 4*w for q.
-5
Let x(f) = -4*f + 14. Let j be x(7). Suppose 3*y + 4 = -p, -3*p = -p - 2*y. Let m be 3 + p + (j - -23). Solve 2*z + m = -z - w, -8 = 4*z + 3*w for z.
-5
Let o(h) = -94*h**2 + 564*h + 3. Let l be o(6). Solve 0 = -2*v + 6*v - y - 12, l = v - 3*y for v.
3
Let i = 579 + 21. Let q = 603 - i. Solve 4*z - 4 = 3*w, q*z - 7 + 3 = 2*w for z.
4
Let u = -27 - -30. Suppose -3*m + 3 = 0, 14*m + 25 = u*a + 12*m. Solve a = -5*v + d, v - 1 = -v + 5*d for v.
-2
Let y = 92 - 78. Suppose 5*j + 4*i = 7, -6*i + 7 = j - 8*i. Solve a + 17 = 4*g, -y + 3 = j*g + 4*a for g.
3
Suppose -3*g + 12 = -7*g, 0 = -z - 3*g - 5. Let c = -2 + z. Let v = -45 + 49. Solve -6 = -4*m - 2*w + v, 10 = c*w for m.
0
Suppose 0 = 2*i - 7*i - r + 13, -3*i - 4*r = -1. Suppose -4 - 5 = -i*l. Let x be l*(-1)/(-4) + (-17)/(-4). Solve -x = -5*g - 2*z, -5*z - 15 = -2*g + 16 for g.
3
Suppose 5*s - 3 = -g - 1, -5*g = -2*s - 64. Solve j = 4*o + 27, o - 7*j + 5*j + g = 0 for o.
-6
Let t(h) = -h**3 + 116*h**2 - 224*h - 445. Let b be t(114). Solve 5*w - 4*v = -15, w + 0*w - b = -2*v for w.
1
Let v(p) = -558*p + 1121. Let h be v(2). Solve 0 = -h*g + 40*a - 35*a, -5*a = g + 24 for g.
-4
Let i(m) = -2*m - 4. Let j(o) = 2*o - 9. Let g(b) = 3*i(b) + j(b). Let q be g(-6). Solve q*a - 9 = 0, 0 = -n + 2*n - 3*a + 5 for n.
4
Suppose 61*k = -2*k + 189. Suppose 11*o + 4 = 14*o - 4*t, -2*o = k*t - 14. Suppose -3*z - 15 = -6*z. Solve d - 4*g = -2*g - 4, -z*d - o*g = -22 for d.
2
Let r = 94 + -94. Suppose r*g = -2*g + 8. Let a be (4 - (-5)/(-5))*1. Solve -4*v = -12, g*f - 5*v = -a*v + 10 for f.
4
Let i(g) = -5*g**2 + 49*g + 195. Let m be i(-3). Solve -5 = 5*s - m*w - 0*w, -5*w - 5 = -5*s for s.
-4
Let o(y) = -3*y + 1. Let h(u) = -4*u - 26. Let d be h(-6). Let s be o(d). Let l = -14 + 25. Solve 2*r + b - s = 0, b - l = -3*r - 0*b for r.
4
Suppose 45*k + 43*k - 38 = 69*k. Solve -13 = k*z - 3, 3*w + 4*z = -5 for w.
5
Suppose -166 = 3*w - 442. Suppose -p = -3*o - 44, 3*o = 2*p - 2*o - w. Let t = p - 56. Solve 0 = 4*a + 12, -4*l - 5*a = 15 - t for l.
0
Suppose 14*v = 1501 - 353. Let z = v + -143. Let a = -54 - z. Solve -2*c + 3*d = c - 3, -2*d + a = -5*c for c.
-3
Suppose -5*n - d = -8, -2*n + 3*d - 4 + 14 = 0. Suppose 0 = -r + n. Let b be (-31)/(-341) + 86/22. Solve 5*v - 17 = c + 2*c, r*c = -b*v + 18 for c.
1
Let r(s) = -2*s - 14. Let u be r(-10). Let m(t) = t**3 - 4*t**2 - 8*t + 1. Let b be m(u). Let y = 28 - b. Solve 5*x + y*o = -0*o - 23, -4*o - 4 = 0 for x.
-4
Suppose 16*h = 9*h - 3374. Let v = h - -488. Solve -v*u - 5*s = -u + 10, -5*u + s = 16 for u.
-3
Let f(h) = 6*h - 49. Let a be f(9). Suppose z + a*y + 21 = 0, 2*y - 5 = 3*y. Solve -5*n - r + 11 = 0, n + z*r = -0*r + 6 for n.
2
Suppose 4 = 3*u - u. Suppose -42*p - 71 = -215 - 66. Solve -u*d + 2*z = 2*d + 10, 4*d - p*z + 1 = 0 for d.
-4
Let f be (24/(1 - -5))/((-1)/(-6)). Let q = -22 + f. Solve -q*n = 6, 2*w + 4*n - 13 = 5*n for w.
5
Let r be (-70)/(-8) + (-21)/28. Suppose -r*a = -9*a + 12. Suppose a*q = 11*q + 8. Solve -5*u + q + 7 = 5*d, 5*d = 2*u + 22 for u.
-1
Suppose -33*s = 785 - 851. Solve -s*m + 10 = -2*b, -5*m = -15*b + 14*b - 5 for m.
0
Suppose 3*z = z + 4*w + 6, -3*z - 5*w + 9 = 0. Let d(y) = 2*y + 27. Let s be d(0). Suppose 45*j = 54*j - s. Solve -j*f = 3*a - 3, z*a + a = 3*f - 24 for a.
-3
Suppose -6*u = -2*u + 4*t - 840, -3*u = -3*t - 648. Let n = -190 + u. Solve -3*d - 3*z + z = -9, -n = -4*d + z for d.
5
Let m be 5 - (-5 - -3)*(-15)/(-10). Let q(o) = -6*o + 51. Let z be q(m). Solve -p - 6 = -u + 2*p, -2*p + 3 = -z*u for u.
-3
Let q = 4611 - 4609. Solve -3*m - 2*p + 4*p = 11, -q*p + 10 = -2*m for m.
-1
Suppose -301 + 3151 = 190*v. Solve -v = 3*j + 16*z - 13*z, -4 = 4*z for j.
-4
Suppose -197*x + 207*x - 50 = 0. Solve -4*w = 3*k + 6, 0 = -6*k + x*k - 4*w - 10 for k.
2
Let j(x) = 2*x**2 + x - 5. Let d(m) = m**2 - 2*m - 1. Let z(y) = 3*d(y) - j(y). Let s be z(7). Solve 6*u = -4*t + s*u - 28, -5*t = -u + 23 for t.
-5
Suppose 0 = -q + 2*q - 3. Let s = -3845 + 3848. Solve -4*g = -v - g - 2, 0 = -q*v + s*g - 12 for v.
-5
Suppose 4*h - 116 + 96 = 0. Let x = -31 - -33. Suppose -3*t = -x*t - 3. Solve -23 = h*b - p, t*b - 2*p = b - 14 for b.
-4
Let b be 132/20 - 6/10. Let g = 6 - b. Solve a = -3*z, g = -3*a + a + 5*z for a.
0
Let f be ((-1)/(-4))/((-20)/(-80)). Suppose -2*n + f + 3 = 5*b, n = -5*b + 2. Solve 2*x + 3 = -p + 8, 2*p - 4 = -n*x for p.
-1
Let x(d) = -d - 1. Let z be x(-1). Suppose -5*t = f - 3, -2*f + 4*t - 6 = -f. Let o be (-3*f/(-3))/(z + -1). Solve -8 = o*g - l, -3*g - l = -7 + 24 for g.
-5
Let t be 78/143 - (-1360)/88. Let x(a) = -a**3 - 7*a**2 - 2*a + 2. Let v be x(-7). Let j = v - t. Solve j*q - 16 = 2*q - 4*r, 3*q = -5*r - 2 for q.
-4
Suppose -2*b + 0*p = -4*p - 4, 4*b - 20 = -4*p. Suppose -5*z - 3*k = -b*z - 10, -5*k + 40 = 4*z. Solve -5*n - o - z = 0, n = -n - 5*o - 27 for n.
-1
Suppose -20*u + 7*u = -364. Suppose -30*g = u*g - 54*g. Solve -m + n - 5 = -0*m, -5*m + 2*n - 19 = g for m.
-3
Suppose o - 20 = -3*o. Suppose -11*b = b - 4056. Let p = -336 + b. Solve -4*g + g + o = 4*j, 0 = -p*g + 3*j - 25 for g.
-5
Suppose -2*w - 2*h - 34 = 0, 6*w = 5*w + 2*h - 8. Let t = w - -13. Let b be (-2)/4 - (t/2 - 5). Solve -b*q = -5, 0 = 5*x - 3*q - q - 1 for x.
1
Let h(t) = -t**2 + 8*t - 2. Let x be h(7). Solve 2*g + x = b, b - 16 = -11 for g.
0
Let t(n) = 3*n**2 - 90*n + 172. Let a be t(28). Solve -3*b + 12 = -12*w + 7*w, a*w + 9 = 3*b for w.
-3
Let u be ((-4140)/150)/(4/(-30)). Let o = u + -203. Solve -o*v - d - 3*d + 8 = 0, 4 = 4*d for v.
1
Suppose 5*z - 210 = -4*t, -6*t + 42 = z - 2*t. Suppose -14*h + z = -42. Solve r = -r - 4*d + 14, 0 = -r - d + h for r.
5
Let o be 1 - (-8 - 2/1). Let z = 62664 - 62655. Solve o + z = g - 3*h, 30 = 3*g - 3*h for g.
5
Let n = -116 + 126. Suppose -n = 9*v - 11*v. Solve z - 4*w + 6 = 0, -v*z + w - 5*w = -18 for z.
2
Let o = 304 - 544. Let i be (100/(-6))/(-1)*288/o. Let m(c) = -c**2 - 22*c - 37. Let z be m(i). Solve -5*d = -v - 3*v - 2, z*v + 7 = d for d.
-2
Suppose -5*s = 4*q + 2, 6*q - 15 = 11*q. Suppose s*b = -102 + 112. Solve 4*d + b = 4*o - d, 3*o = 5*d + 10 for o.
-5
Suppose -220*w = -74*w - 438. Solve 0 = -w*f + 3, -2*f = -6*r + 2*r + 10 for r.
3
Suppose 0 = 3*x - 84 - 6. Suppose 97*c - 631 - 339 = 0. Solve -6 = -3*d - 5*j, -5*j + x = -c*d + 5*d for d.
-3
Let f be 288/28*1