= 5*u. Let j(p) = -7*p - 5. Let m be j(n). Solve 5*q = -2*x - x + 34, -m*q + 19 = 3*x for x.
3
Let j be 3*-18*1*1. Let h = 166 - 222. Let c = j - h. Solve 2*y + 2*k = -0*k + 8, 20 = c*y + 5*k for y.
0
Suppose -d = 3*f + 13, 2*f - 36 = -2*d - 34. Solve 13 = 4*c + 3*y, 4*c - 15 = -9*y + d*y for c.
4
Let f(d) = -d - 23. Let k be f(-19). Let m be (-8 - -29) + (k - 0). Solve 24 = -4*c + 4*n - 2*n, -3*c - m = -n for c.
-5
Let k be (8/20)/(2/10). Suppose -k*v - 5*m - 18 = -4*v, -2*v = 4*m. Let z be ((-38)/6)/(v - (-13)/(-3)). Solve 5*b - 3*c = -c - z, -c = -3*b - 11 for b.
-3
Let h be (4/(-5))/(5/(-25)). Suppose 5*r - 3*w = 4, 28 = -r + 3*w + 24. Solve j + r = -h*t, j + 2 + 0 = 3*t for j.
-2
Let h = 2425 + -2416. Solve 2*d = -4*s + h*s - 26, 2*d - 6 = -3*s for s.
4
Let o(x) = 5*x + 215. Suppose 4*a - 11*u = -8*u - 180, 2*a = -3*u - 72. Let s be o(a). Solve -g = -s*c - 0*g + 14, 14 = -3*c - 5*g for c.
2
Suppose -c + 10 = 20. Let a be 0/(((-4)/(-6))/(c/(-15))). Solve a = o - 2*x - 0*x - 10, 0 = 3*o - 2*x - 14 for o.
2
Let b be (2 - 3) + 18/2. Suppose 0 = -3*u + b + 7. Solve -w - 2*w = -u*j, 10 = 5*j - w for j.
3
Suppose 10*p - 8 = 6*p. Let v = 3 + p. Suppose -2*l = -2*u + 4, -v*u + 40 - 12 = 4*l. Solve -5*z + u*x - 2*x = 23, -z - 2*x + 5 = 0 for z.
-3
Suppose -9 = y - 48*i + 44*i, 83 = 5*y - 4*i. Let p = 13 + -13. Solve -2*d - 3*z - y = p, 0 = -2*d + 4*z + 1 + 11 for d.
-4
Let c(m) = -m**3 + 2*m - 1. Let a be c(0). Let l be a + 14/10 - (-294)/(-10). Let v = 35 + l. Solve 3*g + 16 = -n + v*g, -5*n = 5*g for n.
-4
Let s(p) = -6*p + 18. Let f be s(3). Solve 4*i - 17 = -4*d - 1, f = -4*d + 3*i - 5 for d.
1
Let x = 462 + -458. Solve 0 = l + x*o + 9, 5*l = -5*o + 9*o + 27 for l.
3
Suppose -m - 77 = -4*a + 43, 0 = 5*m - 5*a + 585. Let y = 116 + m. Solve -3*j - 5*c - 14 = y, -2*j + 0*c + 24 = -5*c for j.
2
Suppose 0 = 16*d - 39*d - 22 + 160. Solve -9*v + 11 = -4*s - d*v, -4*s - 5*v = -29 for s.
1
Let o = -201 + 199. Let j be o/4*(-24)/12. Solve 5*n + 4*u = 41, -2*n + 2*u + j + 1 = 0 for n.
5
Let g be 44/3 + (-2)/(-6). Suppose -9*i - 36 = -10*i - y, -4*y - 216 = -5*i. Let x(z) = 27*z - 49. Let c be x(2). Solve -2*k - m = g, c*k + 4*m + i = m for k.
-5
Let k(b) = -b - 6. Let m be k(-3). Let f be 15*5/50*(-110)/m. Suppose -59*i + 8 = -f*i. Solve 3*d = -5*q + 13, i*q + 3*d = q - 7 for q.
5
Let c(l) = 162*l - 627. Let f be c(4). Solve 18*j = t + f*j - 7, 2*t - 7 = j for t.
4
Let y(g) = -44*g**2 - 135*g + 3. Let q be y(-3). Solve -3*x + 4*x = 4*s + 9, s - q = 5*x for x.
-3
Let h be (-3)/3 + -3 + 1 - -29. Let v be (h/36 - (-4)/(-18))*6. Suppose 0 = -2*y - v + 13. Solve -q - 2*m - 2 = 0, 0 = 3*q - 0*m + y*m + 5 for q.
0
Let d be (-3)/(-10)*6*(-15)/(-3). Let w be (1 - 1)/(d - 17 - -10). Solve -10 = 4*m - w*m - 5*u, 6 = 3*m + 3*u for m.
0
Let j(c) = 6*c**2 + 132*c - 46. Let a be j(-22). Suppose 142 = -3*i - x, 0*i - 54 = i - 3*x. Let n = a - i. Solve -r - 5*l = 4 + 1, 4*l - 2 = -n*r for r.
5
Let j(r) = -r**2 + 11*r - 15. Let w = 278 + -273. Let i be j(w). Solve -3*x + i = h - 6*h, -x = -4*h - 12 for h.
-3
Let c be (-2)/(((-8)/6)/2). Suppose 0 = 51*y - 46*y - 35. Suppose r - 2*q + 2 = 1, -2*r = -q - y. Solve 4*o = -l + 21, c*l + 3*o = r*l + 2 for l.
5
Suppose -86*g - 4*u - 4 = -88*g, 3*u - 75 = -5*g. Solve 0 = -d - 2*p - g, -7*d - p - 20 = -3*d for d.
-4
Suppose 3*u + 33*h - 29*h - 5 = 0, 0 = 5*u + 5*h - 10. Solve -2*q + 5 = u*x, 6*q - 3*q - 2*x - 1 = 0 for q.
1
Suppose -22*i + 1294 - 1228 = 0. Solve -13*x + i*l = -18*x + 28, l + 9 = 2*x for x.
5
Let s(l) = -5*l - 271. Let u be s(-59). Let m = 49 + -31. Suppose -2*o = -3*g + g + m, 5*o = -2*g - 10. Solve u = 5*j - 2*t, -g*t + 0 = 3*j - 2 for j.
4
Let l(g) = g**2 + 5*g - 103. Let o be l(8). Let z be (1 - o) + (-3 + 15)/4. Solve z*n - 3*i + 6 = 0, -i = -2*n - 0*n - 5 for n.
-3
Suppose -1 = -2*z + 27. Suppose -21 = -z*q + 35. Let u = -5 + 11. Solve 0 = q*f - u*v + 2*v - 4, 4*v = f - 16 for f.
-4
Let y(a) = -a**3 - 22. Let f be ((-9)/18)/((-3)/(-18) + 0). Let i be y(f). Solve -b = -i*z + 15 + 2, 0 = 5*b - 3*z - 3 for b.
3
Let w be (4/(-12))/((-68)/612). Solve w*v = s + 73 - 82, -v + 10 = 4*s for s.
3
Let o(s) = s**2 + 7*s + 58. Let c be o(0). Suppose c*b + 44 = 60*b. Solve g - r - 4 = 0, -g - 3*r - b + 6 = 0 for g.
-1
Suppose 4*v - 5*p = 7, v + 5*p = 805 - 797. Solve 0*r - 11 = -4*x + v*r, 0 = -5*x - 2*r - 15 for x.
-1
Let n be (15/(-3) - -14) + -4. Let o be (-36)/20*8/12*n. Let z be (-3)/(-1 + 3/o). Solve -4*g - d + 1 = -5*g, -10 = 4*g - z*d for g.
-4
Let n = -188 + 344. Let y = n - 152. Solve 6 = -3*g + y*v - 5, -4*g = -3*v + 17 for g.
-5
Suppose 17*s - 2269 = 14*s + 5*v, 5*s - v = 3789. Let n = -755 + s. Solve -n*k - 3*d - 3 = 0, -2*k - 4*d - 4 = -0 for k.
0
Let z(p) = 27*p**2 - 113*p + 114. Let k be z(1). Solve m + 7 = -4*i + k, -m + 1 = -i for m.
5
Let q be -4 + 1 + 0 + 8. Suppose q*g = 63 + 17. Let v be (-88)/110*(-20)/8. Solve v*z - 12 = -2*n, -n + 5*z - g = n for n.
2
Let q be (-4)/((-12)/(-10)*6/(-9)). Suppose -q*o = 4*f - 32, f - 4*o + 7 = -2*f. Solve 3*k + 4*m - 3 = f*m, 19 = 2*k - 5*m for k.
2
Let y(f) = -17*f + 50. Let p be y(7). Let j = -69 - p. Suppose 3*q = -3*z - z + 12, q = -z + 3. Solve -z*r + 5 = -4*v - j*r, 5*v - r + 20 = 0 for v.
-5
Let f = -206 - -219. Suppose 0 = -f*a + 15*a - 10. Solve 4*r + 2*x + 1 = a*r, x - 2 = -2*r for r.
1
Let a(o) = -o**3 + 8*o**2 - 9*o - 15. Let f be a(3). Solve -2*i - 2*z = 0, -i = -2*i + 2*z - f for i.
-1
Let g be 45/10*(-204)/(-153). Solve 3*k = g*d, -10*k - 7 = -14*k + d for k.
2
Suppose 44*t + 10*t - 790 = -25*t. Solve -4*s - 5*n - t = 0, -46*n = 3*s - 48*n + 19 for s.
-5
Let h be (40/(-60))/((-2)/6). Let d = h + 46. Let i = d + -45. Solve -3*o - 2*o + 2*y + 21 = 0, i*y = 2*o - 15 for o.
3
Suppose 38 + 16 = 2*h. Suppose 15*n = -0*n - 1890. Let j = n - -129. Solve 3*s = 4*a - h, s + j*s = -20 for a.
3
Let k(r) = 2*r**2 + 4*r - 5. Let h be k(-4). Let x = 395 - 387. Let n be 3/36*9 - (-186)/x. Solve 5 = -l - 4*g - h, -l = -4*g - n for l.
4
Suppose -4*m = 21*m + 34*m + 20*m. Solve -3*i + 1 + m = -2*d, d + i + 3 = 0 for d.
-2
Suppose 16*q = 2*y + 21*q + 8, y - 5*q - 41 = 0. Solve -5 = 2*l - 5*o - 21, -y = -3*l + o for l.
3
Suppose -o + 14 = -2*l, 2*l + l = -3*o + 69. Suppose 87 = o*p - 33. Solve -4*a - 4*w + 2 = p, -4*w = -5*a + 4 for a.
0
Let h = -1210 - -1214. Solve 0 = 5*l - 2*v + 14, -h*v - 2 = l - 8 for l.
-2
Let j(l) = 65*l - 644. Let g be j(10). Solve 0 = -2*s - 4*d + 16 + g, s - 2*d = -1 for s.
5
Let w = -136 - -146. Suppose 0 = -b - b + w. Solve 0 = -b*c + 10, 5*c = -2*s + 14 + 6 for s.
5
Suppose -58*n + 248 = 4*n. Solve -4*b = -t - 20, n*b + 17*t = 12*t + 20 for b.
5
Suppose 13*t = 9*t + 68. Suppose -10*n + t = -23. Solve 10 = -2*b, -8*x + 15 = -n*x + b for x.
5
Let b be 1706/(-7) - (-2)/(-7). Let w = b - -256. Solve -5*q + w = 2*t - q, 4*t = -3*q + 9 for t.
0
Let n be 18/(-22) + 4 - (-2)/(-11). Let z = n + -3. Suppose 5*a - 6*a + 4 = z. Solve -5*m + 2*t + 12 = -17, a*m - 26 = 3*t for m.
5
Let u be (10 - (10 + 4))*42/(-48)*6. Solve -4*g = -i - 16, 4*i - u*g + 28 = -17*g for i.
-4
Let u(g) = 350*g + 4582. Let c be u(-13). Solve 4*n + 6*y = c, 0 = 5*n + 28*y - 30*y - 21 for n.
5
Let r = 66 - 141. Let y = 119 + r. Suppose y*g - 48*g = -76. Solve 0 = i - 4*d - 10 - 11, -4*i + 3*d = -g for i.
1
Suppose 0 = -r - 2*j + 7, 3*j = 3*r - 2*r - 27. Let h = -4 + 9. Suppose o - 3*f = 5*o - h, 0 = -o - 5*f - 20. Solve 3*n + 2*n - 24 = 3*z, r = -o*z for n.
3
Suppose -4 = 2*m - 3*g, 2*m - 6*m = -g - 12. Suppose 2*f = -5*k + 8, -m*k = -k - 3*f + 12. Solve 3*h = -2*z + 3*z + 7, z - 4*h + 11 = k for z.
5
Suppose 0 = 5*j - 17 - 3. Let h(x) = -x**3 - 9*x**2 + 16*x + 62. Let b be h(-10). Let d be 0/(b - (j - 1)). Solve 0 = -2*z - 2*w, -4*w = 5*z - d*w + 1 for z.
-1
Suppose 98*r = 93*r + 175. Suppose -5*t = 3*k - r, -2*k - 3*k = -4*t - 9. Solve 19 = k*v + 2*g, 3*v = 4*v + 2*g - 7 for v.
3
Let y(w) = -w**2 - w + 3. Let d be y(0). Suppose d*c + 6 = -3. Let a be 5*4/((-20)/c). Solve -4*x = -4*l - 1 - a, 5*l + 11 = 2*x for x.
-2
Let r be 170 + (-7 + 3 - 2). Let x = -161 + r. Solve 2*o + 4*t + 4 = x*o, o - 5 = 5*t for o.
0
Let b = 2783 + -2770. Solve 0 = -o - 3, 3 = -d + 5*o + b for d.
-5
Suppose -7*f - 3*b = -2*f - 90, 5*b = 0. Let q be (-6 - 6)/(1/((-2)/4)). Suppose -36 = -f*c + q*c. Solv