 t be g(12). Solve -4*k + 0*k = t*s + 28, 4*s + 26 = -2*k for k.
-5
Let s be (-4040)/(-160) - 5/20. Solve 4*y - 5*k - 20 = -25, -s = -5*k for y.
5
Suppose 3*d = 5*h - 60, -3*h + 5212*d + 7 = 5216*d. Let s = 4 - 2. Solve -2*v = s*p, 0 = -4*v + h*v - 5*p for v.
0
Let s be (1 + 1)*(5 - -9). Suppose 25*f - s = 18*f. Solve 8 = f*c - y + 5*y, -c - 2*y = -4 for c.
0
Let l = 8773 - 8771. Let i be (-16)/(-12)*(-9)/2. Let g = i + 9. Solve 12 = 3*h + 3*b, b - l = g*b for h.
5
Let w be (-2)/(-3)*(-7 + 3 + 13). Suppose -w*j + 2 = 2. Suppose 0 = -q + 3*h + 1, -4*h + 4 = j. Solve 5*u + 14 + 2 = 4*g, 16 = q*g for u.
0
Let r(k) = k**2 + 5*k - 20. Let u be r(5). Suppose 0*q + 30 = -q. Let o = u + q. Solve 2*l = 4*j, j - 2*j + 3*l - 10 = o for j.
2
Suppose -3*h = t - 22, -2*t + 5*t + 18 = 5*h. Solve 0 = -t*b + 3*s + 18, 4 = 4*b + 3*s - 2 for b.
3
Let m be (1 + -2 - 6/(-1)) + (-3662 - -3661). Solve 0 = -m*l - 5*g - 16, 12 = -3*l + 9*g - 11*g for l.
-4
Suppose f - 4 = -9. Let o be (-6)/(f/((-10)/3)). Let h(x) = -2*x**2 - 7*x + 9. Let n be h(o). Solve 4*q - n*y + 9 = 0, -q - 2*q - y - 2 = 0 for q.
-1
Suppose -24*t - 136555 + 143083 = 0. Solve 4*o + t - 280 = x, -6 = 3*x - 3*o for x.
0
Let o(v) = 15 - 29 - 23*v + 24*v. Let k be o(16). Solve -3*t = 6, 3*t + 0*t - k = -4*b for b.
2
Let d be (-18)/3*(-120)/180. Solve -f + 0 - 8 = 2*q, q = -5*f - d for q.
-4
Let y = 1220 - 1197. Solve y = 3*g - 2*t, 5*g - 21*t + 26*t - 5 = 0 for g.
5
Let g be 6 + (-2 + 1 + -3 - -6). Suppose -4*m + 24 = g. Solve 0 = r + v - 2, -m*r + 4*v - 14 = -5*r for r.
-2
Let n(o) = -31*o**2 - 178 + o**3 + 18*o + o**3 + 134. Let b be n(15). Solve -3*y + z = -y + 1, 3*z + b = 2*y for y.
-1
Let x be ((-3105)/120 - -26)/(1/40). Solve -n + h = 7, 0 = -x*n + 14*h - 16*h for n.
-2
Suppose 10*d + 89 + 71 = 0. Let z be d/12*(-3 + (-3)/(-2)). Solve 3*x + 27 = 5*h - x, 4*h + z*x = 6 for h.
3
Let w be 0 + 0 - (5 - 9). Suppose 0 = 2*c - 4*y - w + 20, -3*y = -15. Solve -c*s + 3 + 3 = 0, 0 = 2*f + 5*s - 25 for f.
5
Suppose -2*w = 2*h + 28, 29 = -4*w + 9. Let j(k) = -k**2 - 13*k - 32. Let a be j(h). Solve 10 = -4*x + 2*c, 2*x - 2 = -a*c + 8 for x.
-1
Suppose 5*d = 5*c - 45, 2*c - d = -c + 17. Let m(y) = -24*y + 17. Let t be m(-2). Suppose 0 = 12*n + n - t. Solve -n = o + 2*i, -o + 7 = 3*i - c*i for o.
3
Suppose -4*p - 144*w = -141*w - 20, -2*w - 20 = -4*p. Solve -f - 4 = c, 22 = -p*c + 27 for f.
-5
Let t be -7 - (11043/(-818))/(1/2 + 0). Solve 5*u + 22 = -4*z, -13 = 5*u - t*z + 21*z for u.
-2
Let y = 951 - 943. Let a be (-3)/y - 54/(-16). Solve -7 = 5*q - 0*q - g, 0 = -3*q + a*g + 3 for q.
-2
Let a be (301 + -1)*(-50)/15. Let b = a - -1004. Suppose -4 = -n - 0. Solve -3*r = -n*r + 2*h, 0 = -b*r - h for r.
0
Let z(i) = -98*i + 100. Let d be z(1). Solve -o + 0*l = -l + 8, -o + d*l - 13 = 0 for o.
-3
Let j(f) = -f**3 - 4*f**2 + 31*f - 4. Let x be j(-8). Solve -4*w + u + x - 3 = 0, 9 = 3*u for w.
1
Let l(g) = 24*g - 622. Let w be l(26). Solve -m = -w*v - 2, 13*m - 11*m + 4 = -4*v for m.
0
Let x = 257 + -434. Let u = x + 183. Solve 0 = 5*h + 2*r, 5*h - u + 1 = -r for h.
2
Suppose -3*q + 38 = -2*w, 144*w - 148*w + 8 = 0. Solve 2*d + 20*p - 15*p = -q, -2*d = 2*p + 2 for d.
3
Let f = 332 + -331. Suppose 0 = -3*r - f + 13. Solve 2*b - 7*b + m = -18, 0 = r*b - 2*m - 18 for b.
3
Let t be 4/(112/580) - 110/(-385). Solve 0 = 3*l - 3*i - 6, 10 = 5*l - 16*i + t*i for l.
2
Let l(i) = i**3 + 7*i**2 - 23*i - 102. Let n be l(-3). Solve 4*m - 3*o = 3*m - 13, -4*m + n = -o for m.
2
Suppose 2*n = 6*n. Suppose -5*r + 2*c = c - 43, -c - 16 = -2*r. Let o be r/6*10/6*2. Solve 0*z - 4*v = o*z - 4, 5*z + 5*v = n for z.
4
Let p = 189406 - 189402. Let d(z) = z**2 - 2*z - 2. Let r be d(3). Let u be (-3 - -2)*(-1 + r). Solve -p*m + x = 19, -1 = -2*m - 3*x - u*x for m.
-4
Suppose 3228 = -175*r + 713*r. Suppose -2*s + 3 = -3. Solve s*g + 20 = 4*b, -4*g - 4*b = b + r for g.
-4
Let s = -14120 + 14191. Let i(d) = 14*d + 3. Let a be i(-5). Let v = a + s. Solve -v*z + 22 = 6*r - 3*r, -3*r = -z - 2 for z.
4
Let m be 15/10*(-8)/(-6). Suppose -8*t + 9*t - m = 0, 4*q = -4*t + 80. Solve 0 = 2*n + 2*s + 6 + 10, -3*s - q = n for n.
-3
Let k(v) = -23*v + 396. Let d be k(15). Suppose -d*r + 40 = -46*r. Solve 2*w = -2*t, 4*w = r*w for t.
0
Let z(i) = 53*i - 13. Let x be z(-2). Let f = x - -130. Solve 4*q = l - 1 - 0, 2*l + q - f = 0 for l.
5
Let x = 320 - 407. Let l be x/(-42) + (-17)/238. Solve 4*k - 3 = -0*k - p, -k - l = 3*p for k.
1
Let u(w) = 4 - w - 2*w**2 - 4 + 16*w**3 + 2. Let z be u(1). Suppose -4*b - 5*a = -z, 4*b - 3*b + 2*a = 6. Solve 2*r = 2, -5*x - 5*r + 25 = -b*r for x.
4
Let y(p) = -p**3 + 4*p**2 + 4*p + 6. Let g be y(3). Let a = 30 - g. Let h be (14/(-3))/(2/(-18)*a). Solve d + 2*o = -o + h, 3*d + 23 = 4*o for d.
-1
Let c(a) = 2*a**2 - 8*a + 5. Let s be c(2). Let u be 31/5 + s/15. Suppose 0 = 4*z + u*z - 20. Solve -2*w - 2 = -h + 2*h, 5*w = -z*h - 7 for w.
-3
Let p be (-3 + 25/10)*-6. Suppose -p*a = -6*a + 96. Let q = 56 - a. Solve -3*k + q = 4*r, -2*r + 5*k + 1 = 15 for r.
3
Let p be ((-2)/(-6))/((-8)/(-576)). Suppose 0 = -5*q - h + 21, 0 = -2*q + 7*q + 4*h - p. Solve -2*v - q*y + 4 = -2, -2*y = 5*v + 1 for v.
-1
Let m = -101 + 105. Suppose 0 = 2*l + t - 10, -6*t = -l - m*t. Suppose -i + 22 = 5*v, -l = -i - 3*i + v. Solve -5*y - i*j + 19 = -j, 4*j + 8 = y for y.
4
Suppose 3*v - 8*w + 3*w = 0, 0 = -4*v + 3*w - 11. Let u(t) = -t**2 - 7*t - 6. Let o be u(v). Solve 1 = 3*j - 2*m, -j - m - o*m = 11 for j.
-1
Let c be (-19)/(-5) + (-9)/(-45). Let t(v) = -v**2 - 39*v + 2486. Let b be t(34). Solve b*m + c*a = 16, 20 = 5*m + 2*a - 0*a for m.
4
Let i be (67/335)/(2/90). Let u(s) = 19*s - 169. Let w be u(i). Let q be (-186)/4*4/(-6). Solve 0 = 4*a + m + w*m - q, -4*m + 20 = 0 for a.
4
Suppose t + 8 = -4*g, 45 - 10 = 5*t - 5*g. Solve 6*p - t*i = 3*p + 20, -5*p = -i - 22 for p.
4
Suppose -4*l + 9 - 25 = -2*h, -3*l = -h + 11. Solve -4*j = -h*m + 5*m - 16, -m - 16 = -4*j for j.
4
Suppose -5*f - 30*h + 32 = -27*h, -5*f + 2*h + 12 = 0. Let o be (-5)/(-6 - (-19)/f). Solve 4*m = 8, 5*c - 10 = -o*m + 3 for c.
1
Suppose -4*r = r - 10. Suppose -r*j = -4*j + 10. Solve 2*m + d = -1, 2*m - m - 5 = j*d for m.
0
Let m = -1761 + 1766. Solve -3*u = -2*t + 12, 3*u - m*t = -14 + 2 for u.
-4
Suppose 2*o + 7*o - 3*o = 0. Let n(t) = -t**2 + t + 30. Let g be n(o). Suppose -3*x + g + 63 = 0. Solve 4*r + 22 = 2*q, 5*q - 4 - x = 5*r for q.
3
Suppose 630 = 17*u - 8*u. Let z be -5*((-21)/u - (-2)/(-4)). Solve 3*v - z*d - 2 = -2*v, 4*v - 3*d - 1 = 0 for v.
-2
Let o(u) = u**2 - 7*u - 224. Let t be o(-12). Suppose -5*k - 5*h + 40 = 0, -t*k + 29 = 3*h - 0*h. Solve 3*g + b - k = 0, 0 = -g - 3*g + 2*b - 10 for g.
0
Let t(r) = -956*r**2 - 2*r + 1. Let f be t(1). Let i = 963 + f. Solve 3*u + 21 = -3*z, z + i*u - 2*u = -22 for z.
-2
Let c be (-220 - -2)*5/(40/4). Let i = 109 + c. Solve 4*r - 5*s + 6 = i, -1 - 5 = r + s for r.
-4
Let t(q) = -70*q + 1472. Let h be t(21). Solve -2*y = -3*s - 18 + 29, 4*y - h*s + 10 = 0 for y.
-1
Let j be -1*4*(-78)/104. Solve 50*g = -t + 55*g - 23, j*t - g = 1 for t.
2
Let j be (-6)/(-4) + 209/418. Solve d = -5*x + 2, -3*x + 15 - 6 = -j*d for d.
-3
Let p = -6230 - -6235. Solve 0 = b - p*h - 2, 16*b + h = 11*b - 16 for b.
-3
Let m = 196 + -313. Let a = m - -121. Solve 2*g - 4*u - 14 = 0, -a*u - 1 + 2 = 3*g for g.
3
Suppose -105*o = -282*o - 139*o - 161*o. Solve o = -5*j - d - 15, 0*d = j - 3*d - 13 for j.
-2
Let l(z) = 11*z**2 + 2*z + 1. Let o = -128 + 127. Let w be l(o). Solve s + 5*i = w, -4*s + 6*i + 15 = i for s.
5
Let q(j) = j**3 + 76*j**2 - 668*j + 338. Let m be q(-84). Suppose 0*i = -2*i. Solve i = r + m*r - 5*s + 15, 0 = 3*r - 2*s + 6 for r.
0
Suppose 13*w - 12*w - 9 = i, w = -2*i - 15. Let p be (-40)/(-12) - i/12. Solve -b + 2*l = -7, -l = -5*b - p*l + 22 for b.
5
Let k(o) = 78*o + 2609. Let c be k(-32). Solve -2*u - 3*j - 17 = 0, c*u - 29 = 118*u + 3*j for u.
-4
Suppose 2*y - 11 = -3*l, 3*y + 0*l - 4*l = 8. Solve 0*c = -2*m - 7*c - 10, 0 = y*m - 2*c + 20 for m.
-5
Let b = 55 - 53. Suppose -i - 16 = -l - 3*l, l + b = 0. Let q be (-1)/((-4)/i + 13/(-42)). Solve -2*t + 3 = -y, t + q*y = 4*y - 9 for t.
0
Let b(o) = -o**3 - 12*o**2 + 42*o - 36. Let z(y) = -y**2 - 10*y - 15. Let f be z(0). Let x be b(f). Solve -r - 2*r + x = 0, 3*a - 4*r + 9 = 0 for a.
1
