 + 134. Let p be k(13). Let q be ((-37)/p)/((-1)/(-6)). Solve 0 = -4*y - r - r + 2, q*y + 5*r = -2 for y.
1
Let b be 45/(-18)*((-18)/(-15) + -2). Suppose -b*c - 5*q + 36 = 2*c, -c + 8 = q. Suppose -c*p + 3*p = 6*p. Solve p = -5*x - 4*m - 9, 4*m + 2 = -4*x - 6 for x.
-1
Let c(g) = -8*g + 4. Let q be c(-1). Let r(p) = 16 + 6*p + 5*p + q - p**2 - 21*p. Let k be r(-12). Solve -3*x + 1 = -k*a, a + 4*a + 30 = -2*x for x.
-5
Let t = -1466 + 1466. Let j be (-6)/((-4)/(16/(-6))). Let y be 3/2 + (-6)/j. Solve 15 = h + 4*k, -y*k + t*k + 13 = -h for h.
-1
Suppose 10*h - 6*h = 200. Suppose 2*r + h = -3*r. Let o be 1 - (r + 3 - -4). Solve 2*g - 3*j = -2*g, o*g + 3*j = 24 for g.
3
Suppose -53*y - 19 + 235 = -17*y. Solve -2*o - 20 = -2*v, 2*v + 35 = -3*o + y*v for o.
-5
Suppose -y + 24 - 9 = 0. Suppose 0 = -21*x + y*x + 18. Solve -o + 1 = 3*g + 4, -o - x = 5*g for o.
-3
Suppose -4*c + 16 = -4*b, -20*c + 26 = -2*b - 15*c. Solve b*h - 6*h + x = -7, -3*x = -3*h + 3 for h.
2
Suppose 0*d - d = 2, 5*d = 5*a + 100. Let b be 4/a + 368/88. Let h = -334 - -338. Solve -h*t = u - 2 - 1, t - 12 = -b*u for u.
3
Let y be -2 + 10 + 198/11 + 0. Solve -2*q + 14 = -3*p - 7, y = -4*p + 2*q for p.
-5
Suppose -53 = -u + 3*l - 33, 0 = 4*u - l - 25. Solve -3*n = -i - 5, -5*i - u*n + 3*n = -9 for i.
1
Let o = 107 - 100. Suppose 0 = -3*b + 2*b + 2*r + o, -2*b + 2*r + 10 = 0. Solve -b*d + d + v + 3 = 0, -d + 3*v = -4 for d.
1
Let m be 92/10 - (-8)/10. Let a be 8/10*m/4. Solve 7*t + 5 = a*t - 4*z, 4*z - 30 = 2*t for t.
-5
Let m = 4 - 3. Let r(a) = -2*a**2 - a. Let x be r(1). Let j be (4/x)/((-8)/24). Solve -5*i = j*n + 4, 4*n + 2*i + m - 9 = 0 for n.
4
Let k = 358 - 347. Suppose -12 = -3*x, k*x = 4*v + 12*x - 24. Solve -5*p + 5 = -v*j, -2*j - 2*j = 0 for p.
1
Let t(u) = u**3 - 18*u**2 + 79*u - 12. Let i be t(7). Solve -4*o = -q - 13, -i*q + 10 = -6*o + 7*o for q.
3
Let y = 56 + -52. Suppose 241 + 131 = y*o. Let g = -81 + o. Solve -6*u = -2*u + g, 0 = -c + 2*u + 1 for c.
-5
Suppose 2*m = -0*c + 5*c + 17, 3*m = 5*c + 23. Let d(l) = l - 9. Let i be d(7). Let h = i + m. Solve -3*y + h*y + 2*b = 9, 2*y - 13 = -3*b for y.
-1
Let j be 67022/806 + (-15)/13 + 1. Let g = j + -75. Suppose 70*q - g = 68*q. Solve 3*z = z - n + 3, -5*z - q*n = -12 for z.
0
Let l(c) = c**2 - 19*c + 87. Let s be l(6). Let a(f) = f**3 - 15*f**2 + 58*f - 31. Let r be a(s). Solve -5*z = -x + 7, -x - 8 = -r*x for z.
-1
Let l be -5*1/((-8)/5 + 180/300). Solve -5*d = l*n - 55, -3*n - 153 = -168 for d.
6
Suppose 5*t = -2*j + 25, -567*j - 2*t = -571*j - 10. Solve 5*w - 3*l + 14 = 0, -3*w - 2*w - 4*l - 28 = j for w.
-4
Suppose 2*p = 3*r - 80, -4*r + 30*p + 105 = 27*p. Suppose r*u + 6 = 32*u. Let m = -1 + 1. Solve f - 3 = -2*i, -i + u*f = -m*f + 2 for i.
1
Suppose 160 = 173*p - 148 - 384. Solve 20 = -p*d, 3*d + 225 - 202 = -4*t for t.
-2
Suppose 323*o - 310*o - 65 = 0. Let w be 5/(-10) + 62/(-4). Let t be w/(-12)*(-9)/(-6). Solve -t*v + o = 3*u, -3 = 2*v - u + 4 for v.
-2
Let r(z) = -140*z + 140. Let x be r(1). Solve -31 = 3*v + 5*l, -6*v + v + 2*l = x for v.
-2
Suppose 2*t - 19 - 13 = -5*a, 10 = a + t. Solve 6*o = 7*o + b, 0 = -a*o + 3*b + 21 for o.
3
Let d be ((-15)/(-21))/(158/1106). Solve -d*z + o + 21 = 0, 0 = -28*z + 26*z + o + 9 for z.
4
Let z = 84 + -82. Suppose -11 = -z*f + 1. Solve -2*y + 2*m + f - 4 = 0, -2*m = -5*y + 2 for y.
0
Suppose -2*v - 14 = 0, -32*v + 35*v + 27 = 2*m. Suppose -z - 2*z = 18. Let j be 13/m - z/9. Solve -3*t - 5*p + 22 = t, 2*t = -j*p + 16 for t.
3
Let p(t) = t**3 + t**2 - 14*t - 5. Let s be p(-4). Suppose -2*x - 3*i + s = x, 2*x - 4*i + 4 = 0. Solve -8 = -2*n + 5*g, x = 5*n - g + 6*g - 20 for n.
4
Let w = -546 - -564. Suppose -561 = -w*x + x. Let o be (-6)/(-9) + 26/6. Solve -n = h - 0*h + 7, -o*h - x = 4*n for h.
-5
Let l = 5291 - 5280. Solve 0 = 3*i + 5*y - 1, 5*i + 9*y = l*y + 12 for i.
2
Let m be 99/((-132)/(-12)) + -7. Solve -i + 2 = -3*d + 3, -m*i - 10 = 2*d for i.
-4
Let u(g) = 49*g - 291. Let z be u(6). Solve 0 = z*m + l - 17, 0 = -5*m - 7*l + 2*l + 35 for m.
5
Suppose 1178*d + 16 = 1179*d. Solve 7*i + 4*r - d = 9*i, 0 = 5*i - r - 5 for i.
2
Suppose p = 4*u - 409 - 600, 2*u - 5*p = 491. Let o = u - 248. Solve y - o*y = s - 17, -2*y + s = -13 for y.
5
Let j(q) = -11*q + 67. Let f be (-22)/(-3) + 4/(-3). Let g be j(f). Solve k - 3*t + 12 = g, 0 = -k - t - 3 for k.
-5
Suppose -34*b + 30*b + 2*s = 32, 16 = -2*b + 2*s. Let p be -10 - -16 - b/(-4). Solve 5*a = -3*z - 2, 0*a + p*z + 24 = 4*a for a.
2
Suppose 86*l - 47 = 67*l + 10. Solve l*p - 3*t - 21 = 0, -5*p = -10*p - t + 23 for p.
5
Suppose 0*k + k - 79 = -5*d, 4*d - 20 = 0. Let a = -67 + k. Let h = 16 + a. Solve 2*c - h*p - 8 = 0, 3*p + 2*p = -3*c + 12 for c.
4
Let c(p) = -2*p**2 - 11*p - 2. Let g be c(-6). Let v be -3*28/g*6/9. Suppose v = -5*b - 3*s, 0 = -4*s - s - 20. Solve -3*y = 5*q - 3, q + b = 4*q + 2*y for q.
3
Let w be 42/(-56)*32/(-3). Solve -2*q = 5*j - 11, j - 7*q + 4*q + w = 0 for j.
1
Let i(c) = -11*c + 19. Let n be i(2). Let o be (6 + (-45)/10)/(n/(-10)). Solve -3*s = -o*p - 3 - 3, 0 = 5*p + 3*s - 6 for p.
0
Let b be 2 - (-132)/5 - (-6)/(-15). Let s = -24 + b. Suppose -4*u - 7 = -7*u - 5*d, 11 = s*u + 5*d. Solve -3*z + 2*x - u = 0, 3*z - 5*x = 6 + 2 for z.
-4
Suppose -121*f = -31*f - 67604 + 67424. Let v = 2 - -1. Solve 5*m - 5*w = v*m - 9, -f*w + 21 = 5*m for m.
3
Let z(f) = -f**2 + 39*f + 87. Let n be z(41). Solve n*c + 4 = 3*b, 2*b + 5*c + 0*c = -14 for b.
-2
Let s be 26/10 + 6/15. Suppose 4*z + 211 + 108 = -5*o, -4*z - 327 = -3*o. Let a be (18/(-30))/((z/(-30))/(-9)). Solve m = s*p - 0 - 1, 3*p = 2*m + a for m.
-1
Suppose -1054*q - 17 = -1061*q - 3. Solve 3*s - 13 = q*i, 0 = -9*i + 5*i + 4*s - 24 for i.
-5
Let g = -4581 + 4585. Let o(y) = y + 9. Let z be o(-5). Solve 2*t - g*u - 32 = -3*t, z*t = -u + 13 for t.
4
Suppose 5*c + s - 22 = 0, -2*c - 5*s + 7 = -11. Let n be ((-6)/15)/(0 + 3/(-15)). Let a = 7 - n. Solve -c*p - 12 + 32 = a*m, -p = -2*m + 8 for p.
0
Let d(q) = -q**3 - 6*q**2 - 2*q - 8. Let s be d(-6). Let a(i) = 9*i + 13. Let b be a(0). Suppose -t = b*t - 28. Solve t*f + 8 = 0, -f - 3 + s = z for z.
5
Let p = -20 + 23. Suppose -4*o + 4*y + 99 = y, -y = -p*o + 73. Let g be 2*27/o*20/3. Solve 6*c - g = 5*v + 3*c, 4*v - 5*c + 12 = 0 for v.
-3
Suppose -p + 9 = -3*o + 1, 3*p - 24 = o. Let t be 1/p + 1170/240. Solve 4*d = 3*d - 5, 4*d = -t*a - 20 for a.
0
Suppose r = -103*r + 416. Solve -r*n - 1 + 10 = k, 5*k - 4*n + 27 = 0 for k.
-3
Suppose -37*c + 14 = -39*c. Let x be (-112)/32*c/((-147)/(-60)). Solve 2*y = -5*n - x, 5 + 5 = n - 2*y for n.
0
Let h be 3 + -8 + 182/(-312)*-12. Solve 12*q + 5 = 7*q, h*k - 1 = q for k.
0
Suppose -f + 8 = 3*f. Let k = 16461 - 16456. Solve 0*q = q - 3*v + k, 3*v - 10 = f*q for q.
-5
Let c be (-3*6/9 - -2) + -7. Let u be (-6)/9*-9 + (c - -2). Solve 5*t = 4*k - 13, u = -t - 0 for k.
2
Suppose -2*a = 2*o + 70, 3*o - 6 - 29 = a. Let q be (-60)/a*7/3. Solve 5*h + q*y + 8 = -16, h - 2*y = -2 for h.
-4
Let q(u) = u**3 + 7*u**2 + 8*u + 8. Let k be q(-6). Let p = k + 4. Let m = -5130 - -5135. Solve 3*v + 11 = -2*n, v + 0*n + n + m = p for v.
-1
Let k be -3 + 5 - (126 + -4). Suppose -27*p - 665 = -32*p. Let i = k + p. Solve 2*s = -3*d - 2*s - 17, -5*d - i = -s for d.
-3
Let t(m) = 2*m**3 + 17*m**2 - 12*m - 24. Let g be t(-6). Let q = g + -225. Solve -5*b = 3*w - 20, -25 = -q*w - 4*b - 6 for w.
5
Suppose -2*i = -8*i + 12. Suppose -2*f + 5*n - 8*n - 9 = 0, -i*f + 16 = -2*n. Solve b = f*t - 10, t + 2*b + 16 = 6*t for t.
4
Suppose 5*r + 4*h = -1, -4*h + 25 - 38 = r. Solve 0 = -k + 2*n - 9, -r*n = k - 3 - 13 for k.
1
Let v = -1670 - -1672. Suppose -38 = -f + 2*j - 27, -5*f + v*j + 23 = 0. Let i be 0/1 + 2 - 0. Solve f = -r, 3 = o - r + i for o.
-2
Let g(t) = -11*t - 7. Let y be g(-1). Let l(j) = -11*j + 46. Let m be l(y). Suppose -3*n + 2 = -10. Solve 3*p + 1 = n*r, 0 = 5*p + r - 4 - m for p.
1
Suppose 0 = 4*c + 3 + 9. Let z = 5 + c. Let r(i) = -28*i - 2100. Let u be r(-75). Solve 2*p - z*g - 7 = -1, -p + 4*g = u for p.
4
Suppose -2*k + 11 = 1. Let q be 8/(-10)*4/((-32)/20). Suppose -4*a + l + 24 = -3*l, q = 5*a + 2*l. Solve -k = 5*v + 5*i, -9 = a*i + i for v.
2
Let l(o) = -o**3 + 10*o**2 - 35*o + 69. Let d be l(6). Solve -2*g = d*b + 22, -6*g - 2 = -5*b + 8 for b.
-4
Let a(f) = -3*f - 103. Let p be