r q.
2
Let z(p) = p**2 - 11*p + 18. Let x be (-1 - -9) + (-18)/9. Let v be z(x). Let u = -1 - v. Solve -3*r - c - 14 = 0, 4*r + 12 = 3*c - u for r.
-5
Suppose -123*t + 145*t + 15 = 257. Solve -t*j = 3*d - 6*j + 24, -d = 3*j + 12 for d.
-3
Let m be (-12)/(-6 + 3) - 2. Suppose 43*h - 12 = 74. Suppose h*v = -2 + 8. Solve v*p = -0*o + 3*o - 21, m*p = -8 for o.
3
Suppose 0 = -4*d + 4*g + 32, 20 = 3*d + 2*g - 4*g. Let n(i) = -3*i + 32. Let s be n(6). Suppose 3*p - 10*p = -s. Solve 5*o + 10 = -3*j, 0*o + d = j - p*o for j.
0
Suppose 0*i = -72*i + 288. Solve -6 = 2*g + 4*n, 3*g - i*n - 4 = 27 for g.
5
Let r = -2234 + 2244. Solve 5*m - h + 29 + r = 0, m = 2*h - 15 for m.
-7
Let r = -247 + 250. Let l be r*((-28)/(-33) + (-8)/44). Solve -l*a + 3 = -w - 7*a, -1 = a for w.
2
Let h be 10 - (-1)/(19/(-5) + 4). Let n be (-2 - -6)/(-4) - 6/(-2). Solve -h = n*r + 5*v, v + 1 = -0 for r.
-5
Suppose -i = i + 146. Let h = i - -75. Solve 3*t - 2*u + 15 = 3*u, h*t + 3 = u for t.
0
Let k(w) = -w + 3. Let u be k(-6). Suppose 0 = d + 4*v - u*v - 24, 3*d - v - 16 = 0. Solve 2*g - g + 19 = 5*s, -d*s + 15 = -g for s.
4
Let d = -362 - -527. Suppose d*a - 158*a - 28 = 0. Solve -f - 4 = -3*q, 2*f + a*q = -2*f for f.
-1
Let q(y) = 4*y**2 - 38*y - 7. Let i = 108 + -98. Let k be q(i). Solve 5*z + 10 = 2*m, 5*m = -z + 12 + k for m.
5
Let c(u) = -u + 1. Let x(y) = -6*y + 40. Let g(t) = c(t) + x(t). Let v be g(5). Solve -i - 3*r + v = 0, 0 = -i - r - 4*r + 8 for i.
3
Let b(c) = -c - 4. Let z(q) = -q**3 - 2*q**2 - q - 12. Let m be z(0). Let r be b(m). Let w = 17 - r. Solve -4*k - w = 3*d - 2, 4*d = 4*k + 28 for d.
3
Suppose 5*j + 39 = -2*o, -16 = 3*o - 3*j + 74. Let h be (-1 - -2)/((-9)/o). Suppose -1351*z - 10 = -1356*z. Solve z*g = 3*l - 16, -h*l - 4*g = l + 12 for l.
2
Let o = -13309 + 13309. Solve u + 3 = o, 4*i - 17 = 5*u - 14 for i.
-3
Let a be (306 - 302) + 2/(-4)*2. Solve 0 = 5*p + 2*z - 3, p - 7*z + 8*z = a for p.
-1
Suppose -135*b + 10400 = -115*b. Let r = b - 516. Let d(h) = h**2 - 2*h + 1. Let w be d(1). Solve -5*j + 29 = p, -r*p = -w*p - j - 11 for p.
4
Let l(j) = j**2 - 15*j + 30. Suppose -a = -82 + 69. Let d be l(a). Solve 0*c + d*c + 3*g - 15 = 0, 2*c + g = 7 for c.
3
Let c(d) = d**2 + 34*d + 244. Let f be c(-10). Solve 32*l = 34*l - f*v + 20, -4*v = -16 for l.
-2
Suppose 157*x - 336 = 292. Solve -7*f - x*z = -9*f - 30, -20 = -4*z for f.
-5
Suppose 12 = 2*a + a, -3*p + 1 = a. Let r be (-244)/(-12) - ((-2)/6)/p. Solve 5*o = 5*u, 0 = o - 5*o - u + r for o.
4
Let p = 2312 - 2310. Solve -6 = p*r + 2*y, y = r + 3*y + 5 for r.
-1
Let t = -114 - -532. Let z = t - 418. Solve 5*x = -4*v - 9, 2*x - v - v = z for x.
-1
Let a(u) = 7*u + 8. Let r be a(-5). Let x be (-3*12/r)/((-18)/(-27)). Solve x*w + 13 = -j, 5*j = -0*j + 2*w - 5 for j.
-3
Let q(l) = -l**3 + 18*l**2 + 43*l - 50. Let w be q(20). Suppose 0 = n - 1, 2*g + w*n - 5*n = 45. Solve -4*u = -0*u - 5*t + g, 0 = 4*t for u.
-5
Suppose -5*c = 5*s - 10, 0 = 3*s - 4*s - 5*c - 10. Solve 7*l = 11*l - s*y + 16, 0 = -3*l + 2*y - 5 for l.
1
Suppose 0 = 3*y - 2 - 7. Suppose -8 = 2*t - y*p, 0 + 6 = -5*t + 4*p. Suppose t*c - 5 + 1 = 0. Solve 5*h + 12 = x - c, -x - 3*h - 2 = 0 for x.
4
Let t be (-18)/9*-2 - (-2 - -3). Solve -d + 21 = -t*w + 2*d, 4*w = -5*d - 10 for w.
-5
Suppose -3 = 3*j + 5*h, -2 = 4*j + 4*h - 6. Suppose -9*b = -j*b. Solve -3*d - 18 = -3*l, b*l + 5*d = -l for l.
5
Let t be -328 + 0 - 0/(-81). Let z = t + 334. Solve 3*a = -4*f - 2, -2*a = -5*f + z*f - 2 for a.
2
Suppose -5*y + 70 = -21*g + 26*g, 0 = -g + 5*y - 16. Solve -5*a + 5*w = -5, -3*a + g*w + 27 = 12*w for a.
5
Let g = 16059 - 16055. Solve -4*o + 28 = -g*u, 5*u - 2*o + 27 = 1 for u.
-4
Let c be 14664/(-130)*10/(-4). Let o = -278 + c. Solve 5*i = -0*i + 2*f + 10, -o*i + 5*f + 25 = 0 for i.
0
Let p(s) = 3*s**2 + 11*s - 4. Let k be p(-7). Let g be ((-5)/2)/((-33)/k). Solve n = -3, -1 = 5*f - g*n - 21 for f.
1
Let l = -49 + 93. Suppose 3*s = s + l. Let n be s/6 - -3*4/36. Solve -4*u - 18 = -2, 2*u = c - n for c.
-4
Suppose -3*b = -b + 4*a - 32, 4*a = b - 28. Let m be (8/27*(-3)/2)/((-38)/171). Solve 3*z + m*o - 12 = 0, -5*o = -5*z - 3*o + b for z.
4
Let j = -27 + 29. Let l(g) = -405*g - 1618. Let u be l(-4). Solve 2*c = -2*d + 6, c - 5 = -u*d - j*c for d.
4
Let o = 17284 + -17280. Solve -3*b + 3*q = 9, -12 = -8*b + 3*b - o*q for b.
0
Let a = -8484 - -8495. Solve -6*c - 6 = -r - 7*c, c = -2*r + a for r.
5
Let x be (-744)/(-9) + 1 - (-1)/3. Let r = 92 - x. Solve 20 = -5*q + 5*h, -r*h + 8 = -2*q - 3*h for q.
-4
Suppose -2*b = 5*v + 22, -8 = -236*b + 237*b + 2*v. Solve -2*n = -b*h + 5*h + 4, 0 = 4*n + 4*h + 16 for n.
0
Let k(g) = g**2 + 3*g + 2. Let d be k(-6). Let p be 452/5 - 16/40. Suppose -21*s = -12*s - p. Solve v - 3*v - s = 0, -3*r = -4*v - d for r.
0
Suppose -m - 2*o = -37, -5*o - 139 = -3*m - 127. Solve 2*v + 11*x = 14*x - m, -13 = 2*v - x for v.
-5
Let a(v) = -v**2 + 2*v - 1. Let p be a(1). Let m = 3 - p. Let h = -11460 - -11464. Solve -q + m*l - 2*l = h, 19 = -5*q + 4*l for q.
-3
Let a be (-15)/(-70)*-7*4/(-6). Let p be 2/2*a - (-104 - -81). Solve 5*r = 5*k, 5*k + r + 6 = p for k.
3
Suppose -3*t = 406*f - 411*f + 31, -35 = 5*t. Solve 0 = -i - 5*o + 14, -i - 6 = -f*i - o for i.
4
Let h = 1111 - 1108. Solve -2*d = 3*w - 18 + 15, -5*d + h*w + 18 = 0 for d.
3
Let k = 1 - -1. Let q(j) = 667*j + 25349. Let w be q(-38). Solve k*m = 0, 0 = w*u - u + 3*m + 2 for u.
-1
Suppose -71 = 5*q - 96. Suppose 36 = q*b + 16. Solve -19 = 3*x + b*i, -3 - 9 = 2*x + 2*i for x.
-5
Suppose 0 = -90*j + 88*j + 20. Suppose 0 = 3*a - p - j, 1 = 4*a - 5*p - 5. Solve 0 = -n - 5*o + 20, a*n + o = 3*n + 8 for n.
5
Let i be 6/(-2) + 20/(10*(-14)/(-35)). Solve j = i, -5*w + 2*j + 6 = 5*j for w.
0
Let v = 5 + -1. Let j(s) = 4*s - 6. Let o be -4*(-4)/(-56) - (-96)/42. Let p be j(o). Solve 3*t + 18 = -v*n - 1, -13 = 3*n + p*t for n.
-1
Let o(x) = 102*x + 717. Let g be o(-7). Solve -35 = -g*a - 5*w, 3*a - 14 = w - 3 for a.
5
Let f(o) = o**3 - 3*o**2 + 2*o - 4. Let t be f(3). Let d be (4 + -10)*15/t. Let x = d + 49. Solve i = p - 5, 4*p + 5*i + 3 = -x for p.
2
Suppose 0 = -9461*g + 9477*g - 80. Solve 7 = -4*o + 5*q, 5*o - 2*o - g*q = -9 for o.
2
Let o(n) = 4*n - 5 - 8 - 132. Let q be o(38). Solve 3 + 16 = -5*x + v, 0 = x - v + q for x.
-3
Suppose -8*f = 5*n - 7*f - 13, 4*f - 8 = 2*n. Suppose -3*d - 24 = -5*h, -n*d = -2*h - 6*d - 6. Solve 3*c = -5*y + 1, 4*c + h + 3 = -3*y for y.
2
Let j(r) = -r + 36. Let b be j(12). Suppose -2*z = 4*g - b, 36 = 4*z - g + 5*g. Suppose 10*n = 13*n - z. Solve 0 = -4*o - w + 20, 4*w - n*w = -o + 5 for o.
5
Let u = -14087 - -14154. Solve 0 = -v + 3*s - 1, 70*v - u*v + 4*s = -3 for v.
-1
Suppose 0 = -k - 7 + 12. Suppose k*c + c = -180. Let b = -30 - c. Solve i + 17 = 3*g, -4*g + b + 12 = 4*i for i.
-2
Let t(r) = -122*r - 16. Let p be t(2). Let h = 261 + p. Solve 3*l = -3*w, -l + w + h = -1 for l.
1
Let h(m) = 2*m**2 + 113*m + 58. Let b be h(-56). Solve -3*k = v - k + 1, 3*k = -b*v - 1 for v.
1
Let w = -1009 - -671. Let l = w - -342. Solve 0*o = -5*o + l*u + 24, -4*o + 14 = 2*u for o.
4
Suppose 0 = 2*x - 7*x + 15. Let m be ((-18)/(-5))/((-25)/((-2625)/42)). Solve 0 = -4*r - 20, -4*r = x*z - r + m for z.
2
Suppose -113 = -3*v - 4*o, -2*v - 4*o + 8 = -74. Suppose -10*b = -v*b + 84. Solve 1 - 8 = -z - 3*k, 0 = -b*z - 3*k - 8 for z.
-5
Suppose -3*o + 206 - 177 = -2*w, 4*o + 3*w - 16 = 0. Solve -m - o + 6 = 0, -16 = 5*n - 4*m for n.
-4
Suppose -4*i + 8*o = -56, 54*i - 2*o + 34 = 59*i. Solve 0 = 4*l - y - i - 6, -3*l = 2*y - 5 for l.
3
Let o(b) = -23*b - 73. Let v be o(-3). Let s be v + (-42)/(1 - 8). Solve 2*m - 4 = 2*f, f + 4 = -m - s for f.
-4
Suppose -j - 24 + 3 = -c, -3*c = 4*j - 77. Let y = c - 21. Solve 0 = 4*g - 4*b - b - 22, 0 = -y*g + 5*b + 16 for g.
3
Suppose j + 0*j = 3*p, 0 = 3*j + 5*p. Suppose y + 1 = j, -2*c - 2*y = 2*c - 54. Solve 5*t + g + 9 + c = 0, -4*t = 2*g + 16 for t.
-5
Let l be (1299 - -10)/(-11)*(-4)/14. Suppose 26 = -2*r + l. Solve r*z = y + 24, -2*y + 6*y + 31 = 3*z for y.
-4
Let b(d) = d**3 + 6*d**2 - 18*d - 12. Let w be b(-8). Suppose -27*i + w = -23. Solve -5*k = 5*u - 5, 2*k + 2 - i = u for u.
1
Let k(q) = 5*q**2 + 79*q + 86. Let z be k(-1). Solve 2*a = -d - 2, z = -4*d + 9*d - a for d.
2
Let a(l) = 4*l + 30. Suppose -25*y = -34*y - 63. Let v b