 + 17, -x*o = 2*w - 3*o - 5 for w.
3
Suppose l - 6 = 6. Suppose 0 = -4*x - 2*h - 9 - 5, -33 = -27*h + 30*h. Solve x*q - l = 3*v + v, -5*v - 28 = 4*q for q.
-2
Suppose 9 = -n + 4*n. Suppose 39*g = 19*g + 23*g. Suppose 57*i - 62*i + 15 = g. Solve 6 = i*f, -14 = n*h + f - 5*f for h.
-2
Let v be 0 + (-1 + 0 - 1) + -4. Let z be ((-2)/(v/9) - 2)*5. Suppose -z*f + 0*f - 4*s = -37, -3*s + 4 = -f. Solve -3*n = 4*y + 2 - 21, 0 = -f*y + 5 for n.
5
Let g(m) = m**2 - 62*m - 3525. Let q be g(-36). Solve 2*a = -2*s - 14, 15*s - 16*s - q*a = 17 for s.
-2
Let u be ((-12 - -12)/(-10))/(-6). Solve u = -5*c - 4*h, -123*h + 5 = -122*h for c.
-4
Let x(s) = 90*s**2 + 3*s - 6. Let n be x(2). Suppose 6*o = -4*o + n. Let r = -33 + o. Solve 17 = h + 3*v, -4 = -h + v - r for h.
5
Let r(x) = x - 13. Let k be r(34). Suppose 17*b = 4*w + k*b - 20, -w + 5 = -5*b. Solve -o - 1 = -5*a, w*o + 4 = -2*a + o for a.
0
Suppose -6*s + 255 - 135 = 0. Solve -2*a - 5*u - 75 = -50, 0 = -3*a + 4*u + s for a.
0
Let u = 34 - 22. Suppose -u*d - 4 = -14*d. Suppose -2*h + 22 = 4*j, 3*j - 5*h = -d*h - 6. Solve 3*w - 3*c = -3, j*c + 3 + 2 = -w for w.
-2
Let u = 113 - 110. Suppose -2*d - u + 13 = 0. Solve -4*r = 3*m + 6, d*m - 3*r + 4*r + 10 = 0 for m.
-2
Let u = -4 + 2. Let c be u - -1*(-5)/((-20)/(-216)). Let i = c + 61. Solve -i*r = 2*q + 20, -3*q = 2*q + 25 for r.
-2
Suppose -8 + 0 = -l. Let r = 9 - 9. Suppose t = 2*y - 7*y + 17, r = -5*y - 4*t + l. Solve 4*c + 2*n - 6 = 0, -n = y*c - 3 - 6 for c.
3
Let k = 615 + -610. Solve -19 = b - 3*o, 3*b + 50 - 13 = k*o for b.
-4
Suppose 44*g - 41*g + 5*v = 94, 2*g + 4*v = 64. Let k be g*(25/5 + -4). Solve 4*p - 4*b + k = -0*b, -20 = 2*p - 5*b for p.
-5
Let f be 3*(6/4)/(729/810). Solve 0 = 8*i - 13*i + f*s + 5, -9 = -i + 3*s for i.
-3
Let r be ((-344)/32 - -11)*-4*-7. Solve 0 = 4*m, -5*f - m + r + 8 = 0 for f.
3
Let c = -17 - -32. Let u = 19 - c. Suppose g - s = -2*g + 13, -5*s + 25 = 3*g. Solve -g*b + 3 = -u*d - 0*d, 3*d + b + 7 = 0 for d.
-2
Let f(g) = g**3 + 5*g**2 - g - 2. Let m(w) = 2*w**2 - 36*w + 29. Let c be m(17). Let p be f(c). Solve 4*i - 21 = -p*r, 4*r + i = 2*i + 9 for r.
3
Let u = -382456 - -382458. Suppose -3*c = -3 - 3. Solve -4*z - c = d, 4*d - 16 + 6 = u*z for z.
-1
Let n = 7429 + -7409. Solve 5*c + 5*x = n, -5*c + 16 = -4*x + 5 for c.
3
Suppose -9 = n + 4*y, 0 = -n - 29*y + 26*y - 6. Let v(r) = -2*r - 12. Let i be v(-11). Solve 0 = -5*w + w - 5*j + i, -4*j = -n*w - 8 for w.
0
Suppose -p - 3*p + 39 = y, -75 = -5*p + 4*y. Let f = p - 6. Let j be (-505)/(-20) - 3/12. Solve -o - 15 = f*t, 3*t - j + 62 = 5*o for o.
5
Suppose -28*z = -25*z - 36. Let g be (-99)/(-45) + (-2)/10. Let d = g + z. Solve -3*i - d = -4*j, -25 = -3*j - 5*i - 0*i for j.
5
Let g = -465 + 467. Let p be (-2 - g)*(11 - 5 - 7). Solve k = 4*m + p, -4 = -k + 2*k + 4*m for k.
0
Let a(d) = 33*d - 19. Let l be a(1). Suppose -6 - l = -10*s. Solve -8 = s*z, 0 = b - 2*z - 8 - 2 for b.
2
Let r be 10/(-2) - (-1 + -9). Solve 15 = 2*b + b, -2*p + r*b = 17 for p.
4
Let v be 5/1 - 4/4*-67. Let l = v - 68. Let a = 19 - 0. Solve -6 = -w - k, 4*k + l = -w + a for w.
3
Let v be (20/85)/(46/1955). Solve v = -4*u + n, 21*u - 24*u = -4*n + 1 for u.
-3
Let y = 27821 - 27813. Solve 4*t + 5*v = 7*t + 13, -2*t - y = -3*v for t.
-1
Suppose 0 = -22*h - 4082 - 4762. Let u = h + 423. Let t = -13 - -18. Solve 4*j = -4*v - 7 - u, t = -j for v.
-2
Suppose 5*c + 7 = -3*g + 17, 5 = -2*c - 3*g. Solve 0 = 3*u + m + 5, 75 - 86 = c*u - m for u.
-2
Let v = 19 - 14. Let h(n) = -5 + v + 9*n + 2*n**2 - 7*n. Let p be h(-2). Solve s = -2*s - 3*m + 3, -p*s + m + 9 = 0 for s.
2
Let m be (-337 + (-8 - 0))/((-9)/(-6)). Let o = 235 + m. Solve 4 = -2*u + 6*u, 3*z - 5 = -o*u for z.
0
Suppose -j - 3*d + 9 = 0, -8*d + 3*d - 2 = -4*j. Let p(k) = -5*k + 18. Let r be p(j). Solve -r*m - s - 2*s = -9, -3*s + 15 = 5*m for m.
3
Let s(z) = 167*z + 2186. Let k be s(-13). Solve 2*o - 10 = 2*y, k*o - 11*o - 8 = -2*y for y.
-2
Let i(y) be the second derivative of -y**3 + 141*y**2/2 + 29*y. Let x be i(23). Solve -2*h = 3*r + 15, -x*r - 22 + 7 = 0 for h.
0
Let z = -1267 - -1269. Solve -22 = 6*b - 2*b + n, 24 = -4*b - z*n for b.
-5
Let k(f) = -3*f**2 + 2*f**2 + 2*f + 21 + 8*f - 5*f. Let a be k(7). Suppose -a*w - w = -16. Solve 0 = -2*p - 5*l + 17, -w*l + 5*l = 2*p + 7 for p.
1
Let x(b) be the second derivative of b**5/20 + b**4/3 + 2*b**2 + 4*b. Let d be x(-4). Let y be d/(-3)*51/(-34). Solve o - y*p + 2 = -p, 4*o = 5*p - 9 for o.
-1
Suppose -147*t - 250 + 835 = -1767. Solve -5*b + 19 = 2*u, 62*u - 59*u = -5*b + t for u.
-3
Let j = 267 + -259. Let z be 51/9 + j/(-12)*1. Solve 0 = 2*i + z*p - 2, 3*i - p = -3*p + 3 for i.
1
Let s(z) = 6*z**3 + z**2 + 3*z - 6. Let h be s(2). Let y be 4/7 - h/91. Solve 18 = -4*j + p, y = 4*j - 2*p - p + 22 for j.
-4
Let l(f) = 3*f. Let n be l(0). Suppose 8*g + 48 = -n*g. Let z be 5/2*(-4 - g). Solve -3*k - z*u - 35 = -k, 0 = k + 5*u + 30 for k.
-5
Let t(l) = l**3 - 32*l**2 + 15*l + 34. Let k be t(31). Let v be (-12)/(-20) + k/(-30). Solve -14 = 4*i + 3*y, 2*i + 2 = 4*y - v for i.
-5
Suppose 4*d - 2 = 14. Let k = d + 0. Suppose -4*t + 6 + 71 = 33. Solve -30 = -5*j - 9*p + k*p, t = 2*j + p for j.
5
Let r(v) = -11*v + 9. Let y be r(1). Let j be (y - (-141)/21) + 34/119. Solve u - 3 = w - j, w - 2*u - 7 = 0 for w.
-3
Let k(x) = -x**3 - x**2 - 5*x - 64. Let g be k(-4). Solve 2*z = -3*h - 13, -9 = 5*z + h + g for z.
-2
Let t be 7*1 - (-452 - -453). Solve -3*h + f = -9, 8*h - 10*h + 5*f = -t for h.
3
Let i = 0 + -5. Let s = i - -5. Let p(c) = -c**3 - 14*c**2 + 57*c + 405. Let w be p(-16). Solve -5*d + w*m = -s + 10, -4*d - 12 = -2*m for d.
-4
Suppose 31*u - 87*u = -40*u - 112. Solve 15 = -3*q + 3*p, 19*q - 16*q - p + u = 0 for q.
-1
Suppose -3*c - 22 = -2*y, 3*y - 4*c + 70 - 101 = 0. Solve y*a - 5*w - 37 = -22, 5*a = -5*w - 25 for a.
-1
Let g(s) = -2*s**3 - 225*s**2 + 116*s + 345. Let d be g(-113). Solve -d*h + 3*h = 4*c - 16, c - 2*h = 4 for c.
4
Let v(j) be the first derivative of -j**3/3 + 13*j**2/2 + 24*j + 3. Suppose 9 = 3*m - 30. Let t be v(m). Solve 0 = 4*c + 4*i + t, 3*c + 5*i + 24 = -0*c for c.
-3
Suppose 14 = -h - 4*d, -4*d + 0 - 24 = -4*h. Let j be -5 - (h/7 - 370/70). Let n be 2/5*(-4 + 14). Solve -4*l + 5*u = -31 + n, j = -l - u for l.
3
Suppose -5*q = m - 6, 6 = m + 29*q - 30*q. Solve -5*p - x - 2 = 0, -3*p - m = -21*x + 20*x for p.
-1
Let n(v) = v**2 + 3*v - 1. Let p be n(-4). Let b = 51 - 48. Suppose -x - b*x + 5*x = 0. Solve -2*t = -p*l + 8, x = -4*t + 4 + 4 for l.
4
Suppose -5*w + 3*w = 0. Let a be (-148)/(-814) - (-31)/11. Let l be ((-2)/a)/(2/(-12) - w). Solve 0*o - l*o - 28 = 4*q, o = -5*q - 23 for o.
-3
Let h be (-4)/6 + 1/(3/29). Suppose -h = -11*i + 2*i. Suppose 2*p - 3*r - 9 = 0, -2*p - 5*r + i = -0. Solve -4*a + 5 + p = k, -k + 3*a + 1 = 0 for k.
4
Let t(m) = -m**2 + 8*m + 5. Let a be (-4)/(-18) - (-869)/99. Let u be t(a). Let s = u - -4. Solve 5*b - f = s, -b = -4*b - 3*f + 18 for b.
1
Let y = 10 - 6. Let a = -583 + 587. Suppose -9*q + y*q = 25, -a*q = -u + 24. Solve 0 = 4*o + u*s, -o + 3*o + 4*s = 8 for o.
-4
Let u be (-1)/(-2) - (-3)/(-12)*-6. Suppose -u*k = -11*k + 27. Let x be k*(-228)/(-45) - 16/(-20). Solve -4*l = -2*g - x, -5*l + g - 8 = -25 for l.
3
Let j(r) be the second derivative of r**5/20 - 2*r**4/3 - 11*r**3/3 + 10*r**2 - 165*r. Let f be j(10). Solve -2*a - 10 = -4*l, f = -2*a - 2*l - 2*l + 6 for a.
-1
Let n(v) = -4*v + 54. Let f(h) = 2*h + 2. Let m(b) = f(b) - n(b). Let a be m(9). Solve 5*g - 4*j = a*g - 11, g = -4*j - 9 for g.
-5
Suppose 2*x + 12 = z - 18 + 3, -24 = 2*x. Let s(w) = w**2 + 3*w - 4. Let g be s(-4). Solve -2*r = -b + z, -4*b + 7*r - 2*r + 6 = g for b.
-1
Let m(q) = -2*q**3 + 61*q**2 - 85*q - 52. Let z be m(29). Solve -z = -3*f + 2*x, -45 = 4*f - x - 48 for f.
0
Let c = 8352 + -8346. Solve 5*o + 4*a + 2 = 0, -c*a + 4 = -3*o - 7*a for o.
-2
Let x(g) = g**3 + 2*g**2 - 39*g - 113. Let m be x(-5). Let j be 2/5 + (-52)/(-20). Suppose j + 6 = 3*w. Solve -6*r - 9 = 3*i - w*r, m = -2*i - r for i.
-4
Let t = 120 + -105. Suppose 8 = t*v - 22. Let y(x) = 3*x + 31. Let j be y(-9). Solve 4*i + 4*p = 24, j*p - 1 + v = i for i.
5
Suppose 0 = -2*g - 5*g - 453 + 488. Solve -9*s + 6*s - 28 = g*z, 4*z + 22 = -2*s for z.
-5
Let k = -131 - -163. Suppose 0 = 5*t - 67 + k. Solv