*s + 6 = -3, -4*t + 3*s + g = 0 for t.
1
Let j = -29154 + 29158. Solve 14 = -y - j*z, -4*y - 5*z - 37 + 14 = 0 for y.
-2
Suppose 10976*v = 10982*v - 12. Solve -3*u + v*j + 4 = -3*j, 5*u = 5*j for u.
-2
Suppose o + m = -2, -3*o - 11*m = -13*m - 24. Solve 5*j = -2*y + 12, -o*j + 62 = -4*y + 30 for j.
4
Suppose -3*s - s + 28 = l, 0 = -3*l + s + 97. Suppose -82*y + 1250 = -l*y. Solve -g + 6*o = 5*o - 5, -y = -5*g - 4*o for g.
5
Let i be ((-3)/4)/((-10)/40). Let l be 3 - (0 + i) - -5. Let b be ((4/(-6))/2)/(28/(-2940)). Solve l*n + b = -5*s, -2*s = -4*s + 2*n + 2 for s.
-3
Suppose 17*g + 4*t - 36 = 13*g, -4*t = 8. Solve 3*d - 5*d = -10, -3*d + g = -v for v.
4
Let h(n) = -161*n - 15442. Let v be h(-96). Solve v = 3*w + y, -5*w + 30 = 19*y - 14*y for w.
4
Let h be (11*15/99)/(0 + 3/9). Solve -v + 10 = x, h*x - 45 = -v - 3*v for v.
5
Suppose 24*v = 719 + 1249. Solve -4*h + v = t + 62, -h + 8 = t for t.
4
Let g be -22 + 22 + -22 - -28. Solve 4*i - 87*o = -90*o - 7, 18 = g*o for i.
-4
Let s be ((-1350)/175)/(12/(-28)). Solve 7*x + 4*m + 8 = 3*x, 0 = -2*x + 5*m - s for x.
-4
Let t = 39 + -21. Let f(c) = 4*c**2 + 11*c + 2. Let j be f(-3). Solve 0 = -z - j*g, -3*g - t = -5*z + 2*z for z.
5
Let a be -24 + 21 + 40/5. Solve 0 = -a*y + 2*k + 10, 6*k = 3*y + k + 13 for y.
4
Let z(o) = -148*o - 582. Let s be z(-4). Let r be 0*(7/4)/7. Solve 3*g + x - 15 = 0, -2*g = -r*g - 5*x - s for g.
5
Let j(i) = 2*i + 5. Let h be j(0). Let m be (-118)/(-5) + (-9)/2*(-86)/(-645). Solve m = -k - h*n, 2*k - 5*k - n = 13 for k.
-3
Let n = -287 + 82. Let i = 207 + n. Solve -x = -5*b - 21, 2*x - 4*b = 14 - i for x.
-4
Let l be -1*2 + (22 - -10). Suppose g - 11*g + l = 0. Solve -9 = 4*b - 2*j - 33, -g*j = -4*b + 26 for b.
5
Let x = 279 - 272. Suppose 11*i - 72 = x*i. Solve -2*d = 4*u + i, 3*u - 8*u = 3*d + 25 for u.
-2
Let r = 10351 + -10348. Solve -r*v - 21 = 2*m, 2*m - 3*v - 18 = 3*m for m.
-3
Let l = -255 - -247. Let u(t) = 4*t + 35. Let q be u(l). Solve -4*g + q = 3*b, -2 = 3*b - 5*b - 3*g for b.
1
Let w be (-2)/(1*(-1)/3). Let o(l) = -49*l + 590. Let q be o(12). Let b be (-1 + 15/w)*q. Solve -3*j - 5*c + 3 = 0, 3*j + 0 - 3 = -b*c for j.
1
Suppose -5*r + 7*r + 3*r - i = 95, 0 = 3*i. Solve -4*a - 12 = -3*u, 0 = a - r*u + 21*u + 14 for a.
-6
Let l(q) = -10*q**2 - 734*q - 288. Let y be l(-73). Solve -4*v = y*d - 16, d = -2*v - 16 + 20 for v.
0
Let l be (-3)/4 - ((-14)/(-56) - 1) - 0. Solve 16*u = 12*u + 4*v + 12, l = 5*u - 4*v - 17 for u.
5
Let w = -503 - -511. Suppose -5*o + 16 = -u, -12*u + o = -9*u - w. Let v(h) = h**2 - h - 3. Let m be v(-3). Solve u - 7 = -2*l - j, -l - 4*j = m for l.
3
Let s(c) be the second derivative of 17*c**4/12 - 2*c**3/3 - 3*c**2/2 - 8*c - 5. Let l be s(-1). Solve -2*n = -z + 5, 0 = -5*n - l - 7 for z.
-5
Suppose 2*g - 2*z - 40 = -0*z, 0 = -4*z - 8. Suppose c = -u - 14 + g, -4 = -u + 2*c. Solve 3*i + 5*h = -5, -u*i + 3*h - 30 = -4 for i.
-5
Suppose 0 = 46*o - 128 - 194. Suppose 3*v + 2*p - 2 = o*v, 5*p - 14 = v. Let b(k) = 14*k**2 + k. Let i be b(1). Solve i = -x + 5*h, 4*h - 17 = -v for x.
5
Let s(i) = -3*i**2 - 12*i - 7. Let g be s(-3). Solve g*f + 31 - 20 = -r, 2*r - 5*f = 23 for r.
-1
Let l = -28 - -33. Suppose -3*v - l*s = -141, -3*v - s - 13 = -166. Let o = v - 50. Solve -13 = -b - 3*w, o*w - 10 + 5 = 3*b for b.
1
Let b be -3 - 3 - ((-30)/(-3))/1. Let s(k) = k**3 + 20*k**2 + 62*k - 24. Let z be s(b). Solve 5*d + 5 = 0, 0 = 9*i - z*i + d - 2 for i.
3
Suppose -5*u + 16 = 37*g - 39*g, -3*u - 4*g = -20. Solve i + 4*p = 6*p - u, 5 = -5*i + 5*p for i.
2
Suppose 0*o = -5*o + 3*a + 25, 4*o = -2*a - 2. Suppose -h - 3*j - 56 = 10, h + 62 = -o*j. Let i = 58 + h. Solve i*p = 3*p - 3, -3*z = 5*p + 12 for z.
1
Let u(k) = -k**3 - 11*k**2 + 3*k + 13. Let i be u(-11). Let l = 30 + i. Solve s - l = -3*f, 5*f - 3*s = 28 + 12 for f.
5
Let o be (-9)/(-6)*2/(-3). Let z be 1/((o/(-10))/1). Suppose -c - c + z = 0. Solve -2 = 2*r + 4*j, r - c*j + j - 17 = 0 for r.
5
Let s be ((-12)/8)/(2 - 5/2). Suppose -s = -18*o + 17*o. Solve -o*f + q = -7*f - 25, -4*q - 20 = 0 for f.
-5
Suppose -152*o - 21*o = 4 - 4. Solve 3*g + 28 = p + 9, -p + 2*g + 13 = o for p.
1
Let d = -5121 + 8128. Let n be d/589 - 4*(-2)/(-76). Solve -5*b - n*o = -20, b + 14 = 6*o - o for b.
1
Suppose -3*c + 3 = 2*y, -y + 17 - 9 = -5*c. Let o be (1 + -9)*5*c/1. Let s be o/24*(-6)/(-5). Solve 3*k + u = -3*u + 12, s*k - 9 = -3*u for k.
0
Suppose 2*p + 8 = -c + 1, 3*c - 4*p = 29. Let y = 105 - 105. Solve y = -3*s - 3*o, -4*s = -c*o - o + 24 for s.
-3
Suppose -8*l + 5*l + 147 = 0. Let s = l - 45. Solve 6 = s*n + 2*i, -i - 1 - 4 = 0 for n.
4
Suppose 35*c = 16*c + 209. Let q(w) = -w**3 + 13*w**2 - 31*w + 99. Let p be q(c). Let t = 6 + -2. Solve 4*u + 7 = -2*b - 11, -t*b - 5*u - 24 = p for b.
-1
Suppose 0 = 8*k - 129 + 113. Solve 4*u - 15 = 16*l - 17*l, -5*l = -k*u + 35 for l.
-5
Let u = 116 + -100. Suppose 197*x = 201*x - u. Solve v = x*y + 5, 7*y - 3*v = 2*y - 8 for y.
-1
Suppose 19 = 3*g + 4*a, -g - 2*a + 9 = 2*a. Let i be 31/(g/(-15)*3). Let d = -26 - i. Solve -w - 3*w + 13 = -x, -20 = -d*w for x.
3
Let r be (0 - 0)/(11 - 7). Let n be 2/(r - 1) + (-67 - -71). Suppose -2*u + 10 = -n*s, 0 = -5*s + 3*s - 2. Solve -3*y + 20 = o + 7, -u*o = -2*y - 10 for o.
4
Let w = 3464 - 3435. Solve -2*u - 5*q - 3 = 0, -w*u = -32*u - 3*q for u.
1
Let h(i) = i**3 + 3*i + 17. Let p be 0/(10/(-5)*1). Let a be h(p). Solve -5*w + a = r, -2*r - w = w - 10 for r.
2
Suppose 11 - 5 = 3*s. Suppose -5*d + 3*v = -27, 4*d + 0*v - 8 = -v. Let w be -9 + 130/11 + 4/22. Solve -16 = w*a + u, -d*a = -s*a - 5*u - 16 for a.
-4
Suppose -s + 5 = s + d, -3*d + 13 = 5*s. Suppose 4*i - k - 23 = 0, -6 = -i - s*k + 2. Suppose -58 - i = -4*h. Solve -2*j = -5*a + 12, -6 + h = 5*a for j.
-1
Let i(o) = o + 6. Let s be i(-3). Suppose 4*p = s*u - 3, u = 6*u - 5*p. Let c be 5 + (5 + -2)/u. Solve b = -c*h - 6, 5 = -4*h + 4*b - 11 for h.
-2
Let b = -283 - -302. Suppose 0 + 9 = 3*f. Suppose -n = f*k - b, 0 = -k + n + 6 - 5. Solve 4*g + 4 = -0*g, 0 = -k*p + 4*g + 4 for p.
0
Suppose 3*i = 15 - 0, -i + 13 = 2*c. Solve -c*w = 4 + 16, 5*f - 2*w + 5 = 0 for f.
-3
Let t(u) = -u - 38. Let r be t(10). Let g be (-8 + (0 - -2))*24/r. Solve -3*l = -4*l - 3*m + 12, 3*l + 12 = g*m for l.
0
Let q be (6/(-4))/(((-65)/(-90))/(-13)). Solve 41 = 2*t + 31, -a - 5*t + q = 0 for a.
2
Suppose -6*a + 3*a + 27 = -3*k, -3*a + 35 = 5*k. Solve 0 = n + 5*i - 13, -4*n + 2*n - 2*i = -a for n.
3
Let s(b) = 111*b - 11985. Let j be s(108). Let d(a) = -a**2 + 3*a + 4. Let n be d(3). Solve 2*x + 2*w = -w - 1, 0 = -x + j*w + n for x.
1
Let q be ((-1)/4)/((-12)/240). Suppose n - 4*s + q*s - 13 = 0, s = -3. Solve -u = -3*u - 2*c - 10, -5*u - 2*c - n = 0 for u.
-2
Suppose -70 = x - 8*x. Suppose -n - 423 = -x*n. Let r = -38 + n. Solve -4*f = -2*p + 2, 3 = 3*f + 3*p + r for f.
-1
Let k = 202 - 177. Suppose -43 - 7 = -k*p. Solve -p*z - 8 = -4*y + 8, -2*z = 0 for y.
4
Let r(a) = -a**2 - 6*a - 8. Let l be r(-4). Suppose 7*b - 40 + 5 = l. Suppose b*f + 8 = 13. Solve 3*v = -4 + f, -11 = -4*h + 3*v for h.
2
Let k(n) = -3*n**3 + 3*n - 98. Let j be k(0). Let r = j + 119. Solve 5*s + 4 - 23 = -d, 0 = 4*s - 5*d - r for s.
4
Let m = 494 + -295. Let o = -172 + m. Solve -d - k - 15 = 3*k, 5*k + o = -4*d for d.
-3
Let b(s) = -s**3 - 8*s**2 - 7*s + 6. Let i be b(-7). Let u = -5 + 7. Solve -3*h = n + i, 21 = u*n + n - 4*h for n.
3
Suppose 6*m - 88 = -2*k + 3*m, -4*m = -8. Let t = -23 + k. Let l = t - 15. Solve -i - 8 = -z, -2*z + 1 = -0*z + l*i for z.
5
Suppose 0 = -5*k + 4 + 61. Let j(n) = -16*n + 315. Let v be j(15). Suppose 0 = -k*b - 2*b + v. Solve w = p + 1, -p - 3*w - 1 = -b*w for p.
-1
Let c = 4 - 4. Suppose c*a - 5*a = 0. Let i be ((-27)/(-36))/(5*(-6)/(-80)). Solve s - 27 = -5*m, 5*s - 20 = -a*m - i*m for m.
5
Let c(q) = -q**2 - 2*q + 66. Suppose 5*z - 3*r + 30 = 0, -3*z + 7*z - 4*r + 16 = 0. Let n be c(z). Solve -s - 1 = -4*l + 1, 0 = l - 2*s + n for l.
1
Let b(k) = -2*k - 10. Let x be b(-7). Suppose -4*c - l + 16 = 0, c + l + x = 8. Suppose c*n = 5 - 5. Solve 4*j + 4*a = -3 - 9, n = -j + 4*a + 2 for j.
-2
Suppose 3*w + i - 121 = -64, -2*w + 2*i + 54 = 0. Solve -2*a = -w*t + 22*t - 3, 5*t = a - 7 for t.
-1
Let g be ((-9)/(-15))/(10/50). Let r = -16 + 16. Suppose i + 2*c + 0 - 4 = r, -5*i + 2*c - 4 = 0. Solve -g