 - b - b, -x*n - b = -13. Suppose -n*k = -53 - 35. Solve -k = -2*g + 4*c, g + 4*c + 4 = -9 for g.
3
Let f(v) = 2*v + 13. Suppose 0 = -3*z - 2*k, 3*k = -4*z - k. Let n = -4 + z. Let w be f(n). Solve -s - 5*a = 6, w*a + 4 = a for s.
-1
Suppose -5*f - 3*k + 35 = 2*k, -3*f = -2*k - 1. Suppose 3*x - 1 - 21 = 2*o, 5*x = -12*o - 86. Solve -f = h + p, 0 = 2*h + h + x*p + 7 for h.
-1
Let f(t) = -2*t**2 - 4*t + 5. Let g be f(-2). Suppose -g*c = -23 - 32. Solve 4*r = 4*m + 5*r + c, 3*m + 10 = r for m.
-3
Suppose 111 = 94*n - 77. Solve 5*y - p - 3 = 3*y, 2*y - 2*p = n for y.
2
Suppose -3*c - 8 = c. Let d be -53 - 0/(-4) - c. Let a = -51 - d. Solve -4*k + 3*s - 35 = a, 0 = 5*k - 5*s + 84 - 34 for k.
-5
Let r(w) = -33*w - 62. Let a be r(-6). Let n = 132 - a. Let v be (3/2)/((-24)/128*n). Solve -2*y = -4*d - 14, v*d + d + 17 = -5*y for y.
-1
Let i(n) = -n**3 + 22*n**2 + 101*n + 85. Let s be i(26). Solve 3*k - 9 = -2*m - 3*m, -4*k - 5*m + s = 0 for k.
-2
Let q be 24/36 - 176/(-6). Let h be (q/(-9) + 4)*6. Solve h*n + 22 = 2*r, -2*r - 6*n = -2*n + 18 for r.
1
Let o(x) = 41*x - 1517. Let t be o(37). Solve -12 = -5*s + 2*s + 4*l, t = l for s.
4
Let n(f) = -13*f**2 - 45*f + 104. Let r be n(-5). Solve -40*b + 2 = -36*b - 2*d, 3*b = r*d + 14 for b.
-2
Suppose 0 = 2*t + t + 3. Let p = t - -9. Let x(u) = 25*u + 100. Let g be x(-4). Solve 9 = 4*y - 3*d - 6, 3*y + d - p = g for y.
3
Suppose 2*d - 6 = 0, -27 = -5*p + 5*d + 68. Solve 5*c - 20 = c, -3*n = -5*c + p for n.
1
Suppose -3*k - 25 - 37 = -2*x, 5*k = 5*x - 95. Suppose -3*g + 1 - 4 = 0, -3*g = -4*p + 195. Let u = k + p. Solve 3*w = -3*z - u, -w = 4*z + w + 26 for z.
-5
Suppose 10 = 3*y + 2*y. Suppose -3*c + 7*c + 40 = -4*d, 2 = -3*c + 4*d. Let o be (-2)/(-2) + (-5)/(10/c). Solve 0 = -4*k - o, 0 + y = 5*u - 2*k for u.
0
Let a = -2034 - -2043. Solve 2*u - 6 = -3*w, 2*w + 3*w = 3*u - a for w.
0
Suppose 13*h = 18*h + 35. Let j(u) = -19*u - 130. Let r be j(h). Solve 4 = 4*d + 4*z, 4 = r*d + d - 2*z for d.
1
Let d be (-8)/(-3)*66/8. Let y be 2 + (162/(-9) - -4). Let c = y + d. Solve -q + 7 = -4*h - c, -5*q - 5*h + 10 = 0 for q.
5
Let p = -7354 - -7358. Solve s - 3*r = 8, -2*s = -p*s + 3*r + 7 for s.
-1
Let g(k) = 83*k**3 - k**2 + 8*k - 8. Let d be g(1). Let z = 86 - d. Solve -z*r = 3*y + 17, 3*r + 18 = -5*y - 3 for y.
-3
Let l = -35 + 85. Suppose 6*q - 2*q = -2*a - 190, -191 = 4*q + 3*a. Let i = l + q. Solve -2*b - 2 = -i*h + 11, 4*b = 2*h - 14 for b.
-2
Let h be 15/4*(800/(-15))/5. Let c be (h/(-25))/(2/(-10)). Let y be 3/((-18)/c)*6. Solve 4*j - y = 2*j - m, -j = 5*m - 13 for j.
3
Let x be 1 + (0 - 0) + -7. Let y(s) = -21 + 2 + 13 + 3*s - 4*s. Let d be y(x). Solve 0 = -3*g - q - 1, d*g - 3*g - 5 = 2*q for g.
1
Suppose 0*k + 2*k = o - 59, -4*k = 4*o + 124. Let h = -25 - k. Suppose 5*t + h = 4*f + 18, 4*f + t = 17. Solve f*y + 2*s = -23, -4*s - 36 = 5*y - y for y.
-5
Let w be 133/38 - (36/(-8) + 5). Solve 12 = -5*k + k + s, 4*s + w = -k for k.
-3
Suppose -20 = -11*p + 24. Suppose p*x + 39 = 17*x. Solve h - x*w = -20, -3*h + 5*h + 30 = 4*w for h.
-5
Let x(q) = -2*q**2 + 28*q + 18. Let z be x(14). Suppose 74*o + z = 77*o. Solve 0 = -4*p - 2*b - o, 4 = p - 3*p - 2*b for p.
-1
Let z(f) = -2*f**2 + 21*f + 15. Let m be z(11). Suppose m*d + 9 = 33. Suppose 45 = d*s + 15. Solve -4*x = i - 1 + s, i = -2*x for x.
-2
Suppose 0 = 3*f + 15, 3*f + 6 - 5 = -2*m. Suppose -m*s - 88 = 10. Let t be -1 - (s - (-4)/2). Solve 8 + 0 = u - 2*a, a + t = 4*u for u.
2
Let c be -2*4/(-10)*(-60)/(-24). Suppose 0 = 5*u - c*d + 15, 2*u - 3*d = 7*u + 15. Let h be -3*u/4 - (-5)/(-20). Solve -g = h*s - 0*s, s - 5*g - 11 = 0 for s.
1
Let a be 4/(-4) + (2 + 0)/(-2). Let f = 5 - 0. Let j = f + a. Solve 2*z = j*x + 6, 3*z = 5*x - 2*z + 5 for x.
-4
Let y be 22*(820/1312 - 2/((-16)/3)). Solve 4*m + 2 = 3*i, -4*m - i - 16 = -y for m.
1
Let i = -3143 + 3169. Solve 0 = -5*m + 34 - 14, 5*z - 4*m = -i for z.
-2
Let a be -3 + 35 - (-4 - (6 + -3)*-3). Suppose -5*m = 4*w + 12, 5*m + 10 = -7*w + 2*w. Solve -3*c - 5*d = a, -d + 2*d + 11 = -w*c for c.
-4
Let c(t) = -11*t**2 - 2*t - 4. Let h be (-3)/(2 - 5)*(-2 - 0). Let b be c(h). Let y = -39 - b. Solve -10 = 2*w - u, 0 = y*w - 4*u + 32 - 4 for w.
-4
Suppose 9*i + 2*i = 605. Let y = -52 + i. Suppose y*h + 5 = r + 16, -4*h - 2*r + 18 = 0. Solve -4*g + h = 2*j - 0*g, -3*j - 3*g = -6 for j.
2
Let r be 4/3*(-5 - -2)*-1. Suppose -16 = -2*y + 2*i, -5 - 32 = -5*y + r*i. Solve 3*x - 8 = y*t, 0 = 2*t + 3*t - 4*x + 4 for t.
-4
Let z = -51 + 73. Suppose -a + z + 0 = 0. Suppose -r = 4*q - 4, -a = -3*q + 5*r - r. Solve 5*x = q*i + 29, -5*x - 4*i - i + 15 = 0 for x.
5
Suppose 4*p - 41 = -5*m, -21 = -p + 2*p - 5*m. Let c be (p - 5)*(3 + -7). Let r be (-6)/(336/(-154) + c/22). Solve b - 5 = i, -2*b - 1 = -r*b for i.
-4
Let p be (-4 - 73)/7 + 6 + 11 - 3. Solve -4*l - 3*a = -p, l - 5*a + 2 = -3*a for l.
0
Let b(a) = -24*a**2 - 8*a + 13. Let z be b(3). Let f = z + 231. Solve 3*m = f*h + 5, -3*m = -1 + 4 for h.
-2
Let v = -246 + 342. Let m be (-12)/v + 17/8. Solve 7*l + 5*j = 2*l, 12 = m*l - 4*j for l.
2
Let x(d) = -d**3 + 11*d**2 - 6*d + 2. Let r be x(10). Let p = r + -40. Solve -5*v + 3*b - 24 = 0, 0 = -2*v + v + p*b - 9 for v.
-3
Let t = -7373 - -7426. Solve -4*u = -4*m + 4, -t*m + 8 = -2*u - 49*m for u.
2
Suppose -4*n = -5*n + 85. Suppose 4*i + k - 35 - n = 0, 3*i = -k + 89. Solve -a - 4*a - 27 = 3*z, 5*a + i = -4*z for z.
-4
Suppose c - 12 = 5*n, 11*c + 3*n - 2 = 7*c. Suppose -2*u + 27 = -q + 2*q, 6 = -c*q. Solve 3*s = y - u, s + 3 + 4 = y for s.
-4
Let h(f) = f**3 + 30*f**2 + 57*f + 816. Let c be h(-29). Solve -4 = -3*l - 5*w, -c*l + 2*w = -6*l for l.
-2
Suppose 0 = 2*h + 8, -3*h - 2*h - 32 = -4*o. Let w(f) = -f**3 - 9*f**2 - 6*f + 18. Let v be w(-8). Solve 11 = -5*k + 3*m, -v*m + 23 = -5*k - o*m for k.
-4
Suppose g - 44*v = -43*v + 9, 5*v = 2*g - 33. Suppose 11 = -2*f - 3*m, g*f + m + 2 = 5. Solve -2*j + 15 = -y, -y + 10 = f*j + j for j.
5
Let m be 7 - 1/2*10. Suppose 0 = -m*z + 12 + 28. Solve -z = 2*c + 4*t, -4*t - t = 5*c + 30 for c.
-2
Let x = -262 + 267. Solve -x*b = -5*s - 31 + 1, 3*s = -5*b + 22 for s.
-1
Suppose -25*f + 64 = -9*f. Let a be 5 + -1 - -2 - (f - 0). Solve 6*w - 2*w - r + 21 = 0, 8 = -a*w - 2*r for w.
-5
Let d(p) = -50*p + 503. Let l be d(10). Solve 4*y - 19 = -l*t, 10 + 1 = 4*y - 5*t for y.
4
Let n = 206 + -381. Let h = -170 - n. Solve 5*r + 4 = r - 2*p, -h*p + 1 = -r for r.
-1
Let t(y) = -y**3 - 7*y**2 - 9*y - 16. Let l be t(-6). Suppose h - 29 = -3*x - l*x, 4*x - 20 = -4*h. Solve k + 2*m - 7 - x = 0, 16 = 2*k + 2*m for k.
3
Suppose 0 = 73077*b - 73074*b - 18. Solve 3*d + 0*d = 5*t + 28, b*d + 2*t = -4 for d.
1
Suppose 370*t - 1010 - 1205 = -73*t. Solve 0 = -4*z + 5*w + 7 - 16, t*z - w - 15 = 0 for z.
4
Let x be (168/35)/(4/250). Suppose -15*u - x = -45*u. Solve u + 10 = -3*j + 5*n, -j + 4*n = 9 for j.
-5
Suppose 45 - 14 + 21 = 13*n. Let q = 9 - 7. Solve n*a + q*w = -w - 12, -a - 3 = -5*w for a.
-3
Let g be 280/(-357) + 2/3 + (-14022)/(-697). Solve -g = a + 5*b - 17, 2*a - 9 = 5*b for a.
2
Let x = -202 + 264. Suppose -5 = b, 3*a + b = 6*a - x. Solve -19 = t + 4*n, -5*t - a = 3*n - 2*n for t.
-3
Suppose 6 = -39*d + 33*d. Let l be (0*(-2)/8)/(0 + d). Solve -4*k + 3*u + 6 = l, 6*u - 20 = -4*k + 2*u for k.
3
Suppose -3*x - 4*x = 1204. Let h = 174 + x. Let k(o) = o + 4. Let q be k(-3). Solve 0 = -h*p + 7 + q, 4*j - 5*p = -24 for j.
-1
Let m(p) = 1 + 82*p - 40*p + 6 + 9 - 40*p. Let f be m(-7). Solve 0 = 4*r - 20, f*r - 15 - 3 = -2*s for s.
4
Suppose d = 1289 - 1286. Suppose -88 = d*w - 25*w. Solve -2*f + 0*f + 2*i = -6, -w*f + i = -6 for f.
1
Suppose 0 = -29*q + 27*q - 6, -2*q = 4*k - 366. Let n be 19*1/9 - k/837. Solve 5*z + n = -5*a - 38, -4*z - 27 = 3*a for z.
-3
Let g be 13 - (0 - 20/(-5)). Let m be ((-12)/g)/(4/(-24)). Solve -3*o = -4*r + 2, -3*r = -m*r - 5*o + 20 for r.
2
Suppose 5*u + 5*o - 2*o - 2 = 0, 3*u - 2 = -2*o. Let t be (-29)/8*u - (-33)/(-132). Let h = 16 + -5. Solve l = -5*k + 8, h = -t*k + 3*k + 5*l for k.
1
Let f(j) = -j**2 + 70*j - 318. Let c be f(5). Solve -h + 2*s = c*s + 2, -3*s = 3 for h.
3
Let o(t) = 22*t**3 + 3*t**2 + 2*t. Let l be o(-1). Let c be (2 - (-48)/l) + 960/(-70). Let z = c - -14. Solve z = r - 2*g + 1, 3*r + g + 1 = -2 for r.
-1
Let l = -1 + 5. Let k = -558 + 228. Let a = k + 