
Let g = -392 + 395. Suppose -8*u + 2*k - 12 = -10*u, -g*u = k - 12. Solve l + u = 0, 0*a + 3 = -5*a - l for a.
0
Let q = 17 + -10. Let v(x) = -12*x + 89. Let k be v(7). Let b(o) = 2*o**2 - 8*o - 2. Let z be b(k). Solve q*c + z = 3*c - 5*s, -5*s = 2*c + 4 for c.
-2
Let p = 148 - 120. Suppose p*h - 16 - 124 = 0. Solve 3*v = h*k + 1 + 1, -v + 2 = -k for k.
2
Let c be 7 + -12 - 2*(0 - -29). Let i = -61 - c. Solve 2*k = 0, 0 = 4*q - i*k - 4 - 8 for q.
3
Suppose -d - 3*s = 6, -5*d - 7*s + 4*s = -6. Let v be d/(-15) + -3 + 258/15. Suppose -20 = -18*j + v*j. Solve -5*f = 5*l - j, 6*f = 3*l + 2*f - 31 for l.
5
Suppose 3*f + 2*f - 6*f = 0. Suppose 2*h - 4*p - 20 = f, 3*h + p + 0*p - 23 = 0. Suppose 0*x = h*x - 144. Solve 3*r - u = 4*u - 24, -4*u + x = -2*r for r.
-3
Let d = 43 + -32. Let q = -140 - -146. Let c = d + q. Solve -13 = 4*o + 5*j, -2*o = 4*j + c - 3 for o.
3
Suppose -31*p + 16*p + 90 = 0. Let l(o) = -o**3 + 5*o**2 - 4*o + 71. Let v be l(p). Solve -m = 3*z + v, -5*m - 29 = -0*z + 2*z for m.
-5
Suppose -161*c = 41*c - 1232 - 3818. Solve -5*j = -5*q + 35, -c = -5*j - 14*q + 9*q for j.
-1
Let d = -122 - -126. Suppose s + 6 = d*s. Solve n - 5 = -2*a, 0 = -a + 4*n - s*n + 5 for a.
3
Suppose -68*b = -24*b + 91*b - 2160. Solve o - 3 = -3*g, -3*o = -19*g + b*g - 9 for o.
3
Let z(h) be the second derivative of -11*h**3/3 + h**2 + 71*h. Let r be z(0). Let q = 22 - 13. Solve m = -0*k + r*k + q, 2 = -k for m.
5
Let x = 25620 + -25616. Solve -5*g + 340*v - 345*v = 45, -x*g - 16 = -v for g.
-5
Suppose 0 = -17*n + 132 + 140. Suppose 51*x - n = 188. Solve 0 = 4*r + 8, 0 = -h + x*h - 2*r - 7 for h.
1
Let i(c) be the first derivative of c**3/3 + 5*c**2 - 9*c - 2. Let v be i(-11). Let s = -65 + 69. Solve v*g - s = -4*j, 3*j - 4*g = g + 16 for j.
2
Let n(l) = -2*l**3 + 83*l**2 + 44*l - 87. Let k be n(42). Let z be k/(-1) - (-44)/22. Solve 4*m - z*t = -m + 20, 0 = 5*m + 3*t - 4 for m.
2
Let q = -3547 - -3553. Solve y - r + q = 0, 2*y = 3*y + 2*r for y.
-4
Let d(b) = -2*b + 1. Let w be d(-2). Let r be (0 + -1)*(-39 - -4)/w. Suppose l - 5*l = s - 19, -r = -4*l + 3*s. Solve 8 = -q - 3*u, -3*q + l*u + 20 = 2*u for q.
4
Let w be 3 - 8 - (-39 + -1). Suppose 3*k + 10 = -0*u - u, -u + 25 = -4*k. Solve -4*a - 5*p + 5 = 0, -4*a = -0*a - u*p - w for a.
5
Let y(k) = -39*k - 310. Let w be y(-8). Suppose -5*h + 8 = -4*m + 4, 0 = w*h + 2*m - 16. Solve h*p - v - 8 = 0, -3 = 2*v + 5 for p.
1
Let g(s) = -49*s + 2259. Let n be g(46). Solve -5*k - 5*c - n = -25, 4*k - 11 = c for k.
3
Let c(m) = m + 1. Let d be c(4). Let b = -228 + -297. Let x = b + 544. Solve -s + 3*n = 11, 0 = 4*s + 3*n - d + x for s.
-5
Let y = 41204 + -41032. Solve 0 = -y*w + 171*w - i + 1, 0 = -w + 3*i - 15 for w.
-3
Let r(d) = -29*d - 20. Let z be r(-1). Let b(i) = -56*i + 504. Let p be b(z). Let u be (-14)/(-2)*(-18)/(-7). Solve -4*g - u = -5*k + 4, p = -2*g - 6 for k.
2
Let h = -42238 + 42242. Solve -o + 19*b + 23 = 14*b, -16 = h*b for o.
3
Let r(o) = -o**2 + 6*o + 15. Let z be r(6). Suppose -5*d - 5*b - z = -6*d, 15 = -5*b. Solve 2*a = j - 11, 2*a = 2*j - d*a - 14 for j.
3
Let g = -34 + 59. Suppose 8*y + 34 = g*y. Solve 0 = 7*j - 4*j + 2*w - 1, -5*w - 26 = -y*j for j.
3
Let z be (0 + (-16)/10)*-5 - (126 - 127). Solve n = 3*j + 2, -5*j + 4*n = -10*j - z for j.
-1
Let d = -227 - -230. Let q(x) = -2*x**2 + 13*x - 6. Let z be q(d). Solve 0 = -5*r + z, 0*v - 21 = -3*v - 2*r for v.
5
Suppose -4*o = -5*x + 18, 4*o - 50 + 54 = -2*x. Solve -2*v + 12 = x*n, -2*v + 4*v - 9 = -n for n.
3
Let f(g) = g**3 + 2*g**2 - 16*g - 29. Let z be f(-4). Suppose s + s - j = z, 0 = -5*s - 5*j + 30. Solve 5*r - s*a = 6, 4*r + 5*a = -r - 10 for r.
0
Let h(z) = z**2 + 7*z + 9. Let b be h(-6). Suppose 178 = -5*y + 173. Let v be y/(6/225*(-21)/14). Solve s = 6*s + x - v, 0 = -2*s + x + b for s.
4
Suppose -5*u + 2*i = -8, -3*u - 4*i = -5*i - 4. Let o(d) = 86*d - 24. Let t be o(2). Suppose -33*a = 4*a - t. Solve u = -4*r + h - 5, -3 = -r + a*h - 8 for r.
-1
Let i = 2075 - 2067. Let p(q) = q**3 - 14*q**2 + 2. Let v be p(14). Solve -v*y + 12 = -4*y - 3*k, y + 2*k + i = 0 for y.
0
Suppose 55*u = 58*u + 15, 5*z = 4*u + 25. Suppose -2*f = -3*f - 5*q, q + z = 0. Solve -4*y = -2*r - 2, -2*r = 3*r + 4*y + f for r.
-1
Suppose 0 = 5*h - 2*w - 193, -10*h - 760 = -30*h + 5*w. Solve 33*r + 4*k = h*r - 28, r + 3*k + 9 = 0 for r.
3
Suppose -5*n - 31 = -4*f + 30, -2*f + 43 = -5*n. Suppose -4*u = 5*i - 2, -4*i + 7 = -u - f*i. Solve -u*y - g + 17 = 0, 0 = -5*y - 2*g - 0*g + 30 for y.
4
Suppose -14*x = 30*x + 88. Let y be (8 + x)*1 + -4. Solve 0 = -2*o - l + 1, -y*o - 3*l - 2 = -l for o.
2
Suppose 5*o = 5*a - 15, 19*o = 2*a + 16*o - 7. Let j be ((-5)/9)/(a/(-18)). Solve -2*b = -0*b + j*g, -2*b + 5*g = 20 for b.
-5
Suppose 3*s + 30 = 3*u, -2*s = -2*u + 3*u + 8. Let i be (-42)/(-4) + (-9)/s. Let c be ((-13)/4 - -3)*(1 - 9). Solve o + o + c*r = i, 5*o = -r + 14 for o.
2
Let s be -370 + 3 + 1*(8 + -3). Let b = 365 + s. Solve -5*n - 35 = 2*r + b*r, -4*n + 4*r + 12 = 0 for n.
-2
Let z(x) = 12*x + 37. Let t be z(-1). Suppose -5*n - t = 0, 2*n - 20 = 4*r + 6*n. Suppose -15 = -3*o - 0. Solve -4*c + r*c = -y - 17, -o*c + y + 20 = 0 for c.
3
Let s(v) = 13 - 56*v + 0 + 55*v. Let k be s(7). Let u = 10 + -10. Solve u = -5*h + 4*g + 21, 4*h - 5*g + 15 = k*h for h.
5
Let v be (30/(-12))/(25/(-40)). Solve -c + 2*r + 4 = -10, -4*c - 4*r = v for c.
4
Let k(m) = m**2 + 84*m - 168. Let w be k(2). Solve -9*f + 8*f = -4*t + 13, -w*f + 2 = 2*t for f.
-1
Let m(a) = -a**3 + 2*a**2 + a + 23. Let y be m(0). Suppose 43*b - 110*b = -268. Solve -b*h + y = 7, 3*h = -5*t + 37 for t.
5
Let z(d) = d**3 + 12*d**2 - 2*d + 9. Let o be z(-12). Suppose -6*c - 5*c = -o. Solve -c*m + 3 = -m - n, -3*m = 3*n for m.
1
Suppose 5*d + 5*t - 395 = 0, -t = -2*t. Let g = 135 - d. Let s = g + -51. Solve k + 2*i = s, i = -2*k - 0*i - 5 for k.
-5
Let p = -147 + 165. Suppose 0 = -x + 5*s - p, -s = -x - 5 + 3. Solve -x*h - 2*c + 3 = 17, 0 = -h - 4*c - 19 for h.
-3
Suppose -8*s = -2*j + 16, 4*s - 37 = -4*j + 15. Solve -4*o - 3*w - 31 + j = 0, -o + 4*w = 0 for o.
-4
Let f be (1 + 5)/(14/(28/3)). Solve 2*d = -s + 5 - 4, -4 = -4*s + f*d for s.
1
Suppose -8*v + 97 + 23 = 0. Let c(i) = -8 - 4 + 2 + v - 4*i. Let m be c(-2). Solve -3*d + m = -4*k, 4*k + d + 3 = 2 for k.
-1
Let i be (-8 - 1 - -7)*-4. Suppose -5*b + 5 = 6*s - s, -5*b - 2*s + i = 0. Solve -b*m + 4*o = -20, 3*m + 2 + 3 = -o for m.
0
Let p be 15 - (66/6)/1. Solve 4*d + 4*c = 8, -d - p*d + 5*c = 40 for d.
-3
Suppose -28*l = -522 - 1018. Solve -53*b + l*b + 11 = 3*w, -3*w + 5*b + 23 = 0 for w.
1
Suppose -5*l - 54 = 4*u + 35, -4*l = 5*u + 73. Suppose 13*d = 40*d - 783. Let a = l + d. Solve 3*b - a = 0, 0 = n + n - b + 4 for n.
0
Let u(i) = -6*i**2 - 5*i + 39. Let g be u(2). Solve -g*z - 6 = -r - 3, -4*r + 12 = 4*z for z.
0
Let x = -8000 - -8001. Solve -x = c - h, 58*c = 63*c - 4*h + 1 for c.
3
Let t be 4/3*(-855)/38*(-8)/12. Solve 6*j + 5*p + t = 5*j, -3*p - 12 = -2*j for j.
0
Let b(c) = -9*c + 59. Let w(l) = 17*l - 117. Let g(o) = 14*b(o) + 6*w(o). Let r be g(5). Solve -4*t = 4*q, r*q + 5 + 11 = 4*t for t.
2
Let g(a) = -863*a + 8634. Let h be g(10). Solve -9*j + 7*j - 3*n = 1, h*j + 5*n + 1 = 0 for j.
1
Let f(w) = -w**2 + 11*w + 95. Let y be f(16). Suppose -6*j + y - 3 = 0. Solve 2*b - j*s = -6, 4*b - 2*s = -s for b.
1
Suppose 9 - 24 = -5*q. Let k be 15/6*(-109 + 5). Let o = k + 263. Solve 0 = o*z + q, -5*s - 2*z = 3*z + 15 for s.
-2
Let f be -1 + (-7)/(-6) + (-3114)/(-108). Solve -2*g + o - 27 = -f, -5*o - 10 = 3*g for g.
0
Suppose y - 19 - 94 = 0. Suppose -125 = -3*k - y. Solve 0 = -3*o + 2*p + k, 0 = -2*o + o + 3*p + 13 for o.
-2
Let l = -278 + 288. Let t = -8 + l. Solve 0 = r - 3*x + 5, -r = t*r + 2*x - 7 for r.
1
Let b be 8/(-2) + 0 + 14. Let l be (6/4*b)/3. Suppose -2 = -l*u + 4*u. Solve -9 = -u*p - k - 2, 0 = 2*p - 5*k + 23 for p.
1
Let d(t) = 5*t + 135. Let p(m) = -8*m + 6. Let g be p(4). Let l be d(g). Solve q - a = -q + 11, -q - l*a = 0 for q.
5
Suppose 4*i - 24*i - 2700 = 0. Let s = i - -138. Solve 8*o + 3*l - 24 = 3*o, 0 = s*o - 3*l for o.
3
Suppose -3*t = 3*p - 2 - 10, 5*p = -t + 4. Solve -7*f + 4*f = t*o - 19, -3*o - 3*f = -18 for o.
1
Let h(z) = 9*z**2 - 6 - 9*z - 2 + 11 - z**3. Let m be h(8). Let a(v) = v**3 + 7*v**2 + 10*v + 1. Let o be a(m)