 - 4, -p = -w - 2*g - 1 for w.
5
Suppose 9 = 9*i - 36. Suppose 2*c = -m + i, m - 4*c - 8 - 3 = 0. Suppose -m*o - 7*o + 168 = 0. Solve -o = 2*g - 5*s, -g = -3*s - 2 + 10 for g.
4
Suppose 61*y = 43*y + 72. Solve -3*w = u + 3 - y, -u - 2*w = 1 for u.
-5
Let g(a) = -a**3 + 2*a**2. Let q be g(2). Suppose q = 6*i - 30. Let p(f) = 3*f - 5. Let z be p(i). Solve -15 = -5*o + z, 3*o - 14 = l for l.
1
Suppose 0 = 4*s - 16, 5*a + 7*s = 4*s - 28. Let i be ((-5 - a)/(-1))/(-1). Solve 0*o + 2*o = i*l - 4, -l + 2*o + 8 = 0 for l.
-2
Let a be ((-8)/(-6))/(3/9). Suppose -a*p - 15 = 1, -4*p = -q + 18. Solve -5*f - 17 = -k, -6*f = q*k - 10*f - 10 for k.
-3
Let j = -663 + 697. Solve -5*l + 8 = 3*b, 30*l - 4*b = j*l - 8 for l.
1
Suppose 0 = 2*p + 271 - 257, -4*v - 2*p = -2. Solve 14*g = 18*g - 4, 0 = 4*s + v*g - 16 for s.
3
Suppose -7*s + 4*s = -2*k - 10, 5*k = s - 25. Let p = k - -3. Let w be 22/(p + -1 - -4). Solve -w + 6 = -4*g, -4*g = -2*u - 12 for u.
2
Suppose -22 = -13*c - 74. Let t(i) = -i**2 - 14*i - 36. Let s be t(c). Solve -5*h = -s*g + g - 6, 3*g - 15 = -2*h for g.
3
Let x = 78 + -74. Let s be (-3)/12 + 257/x. Suppose 3*r = 11*r - s. Solve 4*a - 5*l = r + 1, -2*a - 2*l = 0 for a.
1
Let r(v) = v**3 + 22*v**2 + 40*v - 2. Let u be r(-20). Let s = 2 - u. Let i be (-6)/(-15) - ((-132)/20 + s). Solve 2*h + 4 + 1 = w, -i*h - w = 0 for h.
-1
Let m(u) = -6*u - 168. Suppose 144 = -5*x + 4*v, x - 5*v + 31 = -2*v. Let y be m(x). Solve y = 3*c - 2*l + 7*l - 24, -4*c + 15 = l for c.
3
Let g(b) = 17*b**2 - 1. Let t be g(1). Let a be 5 + (-186)/18 + (-1)/(-3). Let x = a + t. Solve -q = -2*q + 5*n - 7, 4*q - 3*n + x = 0 for q.
-2
Let f be -18 + 0 - 9108/(-414). Solve -4*i + 36 = -2*p - 2*p, 0 = 3*p + f*i - 1 for p.
-5
Let h(j) = 2*j**2 - 19*j + 38. Suppose -2*m = -26 + 12. Let v be h(m). Solve -c - v*y - 4 = 0, 5*y + 3 = -2*c - 2 for c.
5
Let u(c) = c**3 + 9*c**2 - 17*c - 15. Let w be u(-10). Let j = w + -49. Solve 4*z = -5*n + 3*n + j, 5*n = -5*z + 10 for z.
1
Let l = 16458 + -16456. Solve -3*c - l*n = -5, 8*c - 2*n - 10 = 6*c for c.
3
Suppose -94*t = -2*s - 90*t + 12, 2*t = -4*s - 6. Suppose s = -196*g + 187*g + 18. Solve -2*y = -g*i, 4*y = i - 0*i - 6 for i.
-2
Let p(s) = 2*s**3 + 29*s**2 + 23*s + 33. Let z be p(-14). Let g = z + 76. Let q be -14 - g - (3 - 0). Solve 0 = w - 2*y - q - 3, 30 = -2*w - 5*y for w.
-5
Let z be -15 - -233 - (1 + -3). Let v = -214 + z. Let b = -14 + 25. Solve -b = 2*r + r + d, 2*r + d + v = 0 for r.
-5
Let c = -808 + 806. Let z be (15/c - -3)*60/(-9). Solve -3*a = 3*l + z, 4*l = 3*a - 7 + 2 for l.
-5
Let p be 15/(19 + 276/(-24)). Solve 5*t - 5*u + 50 = 0, -5*t + u - 40 = -p*u for t.
-5
Let b be ((-4)/(-21))/(20/(-11880)*-18)*7. Solve -43*f + 2 = -b*f + 4*k, 3*f = -4*k + 10 for f.
2
Suppose -13 = 3*n + 5*r, 0 = r - 5 + 10. Solve 2*w - l + n = -8, 0 = -2*w + 2*l - 14 for w.
-5
Suppose 736*n - 733*n = 423. Suppose -138*w + n*w - 12 = 0. Suppose -3 - 3 = -3*i. Solve 16 = -k - 5*h, i*k - k + 2*h = -w for k.
4
Let l be (-4 - ((-15)/3 - 0)) + 2. Suppose -t + 8 = l*b + 4, -2*b + 11 = -t. Solve -g - 3*y + 11 = 0, -2*g = -b*g + 5*y - 29 for g.
-4
Let i be 4 + -3 + (-3 - -5). Suppose -2*p = -10, b + i*p + 2*p = 27. Solve -b*r = -5*a + 2*a - 5, 0 = -4*r + 16 for a.
1
Let r = -68 - -85. Let i(p) = 2*p**2 - 42*p + 15. Let d be i(r). Let x = d - -123. Solve l - 4*u - 22 = 0, -x*l - 13 = 4*u + 3 for l.
2
Suppose 2*w + 245 = 30*w - 371. Solve -4*u = -2*a - w, 0*u + 1 = -3*a - 2*u for a.
-3
Suppose -7*b = 3*b - 20. Suppose 18 = 4*d - b*n, d + n = -2*d + 16. Solve -d*z = 2*l + 5, 3*l = 5*z + l + 5 for z.
-1
Let z(x) = x**2 + 226*x + 1538. Let g be z(-7). Solve 27 = g*w + 2*c, -3*w + 19*c + 17 = 21*c for w.
5
Suppose 2*y - 192 = -y. Suppose 10*k = 8*k - 3*w + 134, -4*k - 4*w = -272. Let l = k - y. Solve l = -t - i - 0, 5*i + 6 = 3*t for t.
-3
Let j(p) = -p**2 + 15*p - 33. Let y be j(9). Suppose h - 25 = -4*r, -2*h - y + 26 = -r. Solve 0 = -m + h*u - 3 + 13, 5*u + 10 = -5*m for m.
0
Let m = 5588 + -5584. Let u be 1*-9*(-2)/(-3). Let h be (2/u)/((-1)/9). Solve j - h*g + 12 = 4*j, -3*j + 14 = m*g for j.
2
Let y(g) = 9*g + 8*g + 22 - 4*g - 3*g. Let p be y(-2). Solve -p*x - 10 = 2*d, 3*d = -x + 5*x - 8 for d.
-4
Let j be (-109 - (-5 - -3))*-5. Let z = -533 + j. Solve -5*w + z*o + 22 = 0, w - 4*w = 3*o - 9 for w.
4
Let s = -82 + 85. Suppose 340 + 5 = -5*f - s*l, -3*f - 201 = 3*l. Let t be (-376)/f - 4/18. Solve -z = -h - 2*h - 17, 0 = -2*z - t*h - 10 for z.
5
Let t be 6/4*2666/129. Suppose -4*z + 12 = -4*g, -3*g - t = -6*g - 5*z. Solve 2 = g*u + 2*f, -7 = -u - 2*f - 1 for u.
-4
Suppose -6*c + 5*c + 2 = 0. Suppose h + i + 76 = 0, -c*h - 117 = -2*i - 3*i. Let w = 84 + h. Solve 0 = 3*l + 2*o + w, -2*l - 3*o - 6 = o for l.
-5
Let c = -5659 + 5659. Solve 5*b - 3*x + 10 = c, -4*x - 15 = -b - 0 for b.
-5
Let z(h) be the first derivative of -h**3 - 95*h**2/2 + 34*h + 26. Let d be z(-32). Solve 6*y - d*r = 2*y + 30, 2*y - 3*r - 25 = 0 for y.
5
Let n(c) = 2*c + 50. Suppose -4*s + 9*d - 97 = 14*d, -s = -2*d + 21. Let g be n(s). Suppose -3 - 1 = -g*v. Solve -4*x - 5*m - 27 = v, -3*x = -2*m - 2 for x.
-2
Let x = 434 + -462. Let i be x/(-3)*(-10)/105*-9. Solve -5 = -d + 2*d - 2*s, 0 = -4*d + 5*s - i for d.
3
Let c = 1967 + -1935. Solve 4*m + 4*n = 8, 0*m - 4*n + c = -4*m for m.
-3
Suppose 0 = 4*a + 5*p + 160, 5*a - 4*p - 119 = 8*a. Let h be (-7)/(-35) - (a/25 - 1). Solve -4*j - 2*y - h*y - 5 = 0, -j - 2 = y for j.
-5
Let j = 79 + -72. Suppose -f + 87 = -3*l + j*l, -5*f = 5*l - 105. Suppose -l = -4*t - 7*t. Solve y + t*v = v - 7, v = -5*y - 23 for y.
-4
Let j be (36/10)/(234/260). Solve 4*a = 21*r - 16*r + 2, 17 = 3*a + j*r for a.
3
Let s be 1 + (5/(-5) - 1). Let a be ((-4)/(-14) + (-115)/35)*s. Solve n + a*v = -2*v + 27, -1 = 2*n - v for n.
2
Suppose -105*m + 494 = 179. Solve -m*h = -2*s + 21, -12*h + 15*h - 5*s = -30 for h.
-5
Suppose 0 = -3*h + 3 + 3. Suppose h*a - 4*i + 6 = 0, 3*i - 2*i + 6 = 3*a. Solve -2*v + 5*u = 22, v - 2*u = -3*u + a for v.
-1
Let d be ((-70)/280)/(1/(-12)). Let i = -102 + 144. Let t = -30 + i. Solve 4*o + n - 12 = -d*n, 4*o + 5*n = t for o.
3
Let c = -1262 + 1266. Solve 0 = 5*r - c*y + 29, 5*y - 10 = 2*r - r for r.
-5
Let p(a) = 22*a + 270. Let x be p(-12). Suppose w - 11 = -2*i, 2*w - 5*i = -8 - x. Solve -s + 4*s + 3*m = -12, -w*s - 5*m - 10 = 0 for s.
-5
Suppose 7*c + 10 - 45 = 0. Let r(g) = 8*g - 35. Let l be r(c). Solve -b + 3*f + 1 = 2, l*b - 33 = -4*f for b.
5
Let a = 5 + 30. Let q be (-204)/54 + 4 + (-192)/(-108). Solve -q*h + 2*f + f - 19 = 0, 4*h + a = 5*f for h.
-5
Suppose -146*d = -2681 - 2231 - 52. Solve 45 = 4*t + 5*c, 5*t + c - d = -4 for t.
5
Let s be (-3)/(-5 + (-107)/(-22)). Suppose 4*a - 15*a + s = 0. Solve 3*c - 4*g + 17 = 0, 2*g - 18 = a*c - 2*g for c.
1
Let x(y) = -4*y + 40. Let c be x(9). Suppose 2*v - 22 = -5*o, 5*v + 16*o - 11*o - 85 = 0. Solve 5*w = c*a - v, -13 = w - 2*a - 4 for w.
-1
Suppose -2*r = 1208*n - 1201*n - 64, -2*r - 16 = -3*n. Solve -s - r = 3*o, 12*o - 2*s - 8 = 9*o for o.
0
Let u = 5290 + -5283. Let n = 6 + -2. Suppose -u*m + 6*m + n = 0. Solve h - s = -3*s + 9, -4*s + 20 = m*h for h.
1
Let p = -3742 - -3764. Solve 0 = -2*r + 2, -4*k + 21*r - p*r = 19 for k.
-5
Let h(m) = m**3 - 4*m**2 + 6*m + 5. Let v be h(5). Suppose 30 - v = -6*i. Solve -12 = -4*c + 3*n, -i*n = 3*c + 2*c + 20 for c.
0
Suppose 3*j - 20 = -4*i - 6, -i + 10 = 4*j. Let b be 1 + 8 - (i + 2 + -2). Suppose -b*t = -20 - 8. Solve -r + m + t = 0, -4*m - 1 = -3*r + 11 for r.
4
Suppose -24 = -35*l + 31*l. Suppose -4*n = -l + 10. Let k be (3 + -15)/(-2) + n. Solve -4*z + 0*z - 2*j = -6, k*z = -4*j + 6 for z.
2
Suppose -4*r - 4*q - 75 - 525 = 0, -786 = 5*r - 4*q. Let o be 50/14 - 66/r. Solve a - 5*m + 24 = 0, o = 3*a + 5*m - 4 for a.
-4
Let i be 1/3*(292 - 286). Solve 5*r - 6*f = -5*f + 9, -2*r - i = f for r.
1
Suppose -a = 5*o - 123, -6*o = -3*o - 2*a - 66. Suppose -26*q + 6 = -o*q. Solve 0 = -4*y - 5*w + 12 + 5, q*w = 5*y - 12 for y.
3
Suppose 6*c = 18*c. Suppose c = 135*t - 140*t + 25. Solve -v - 11 = t*a + v, -a = v + 1 for a.
-3
Suppose -6 = 4*y - y, 0 = -4*m - 3*y + 1266. Let a = 343 - m. Solve 3*s - 5*x = -a, -s + 4*s + 2*x = 10 for s.
0
Let b = 2790 - 2781. Solve -6 = -4*c + 4*v - 2*v, 0 = 3*c - 3*v - b for c.
0
Suppose -4*j - 20 = -4*i, 0 = -j + 