lve 2*i = 4*b - 0*b - 12, -u*i = -3*b + 10 for i.
-2
Let d(o) = o**2 - 2*o - 46. Let y be d(14). Let h = y + -120. Suppose -4*x + h*l + 3*l = -20, -4*x + l = -20. Solve 3*i - z = 2*i + x, -2*z - 10 = -i for i.
0
Suppose 0*y = -3*p - 5*y + 20, 8 = 4*p + 2*y. Suppose -13*i + 11*i + 16 = p. Solve -2*t = -4*h - 3*t + 24, -i = -2*t for h.
5
Suppose -o = 2*y - 3*o + 12, -4*y - 5*o = 6. Let r be (-6)/y*(-10)/(-12)*4. Let i = 29 - 27. Solve -2*z - 10 = -i*l, -r*z + l = -l + 19 for z.
-3
Suppose 1047 = -15*y + 1092. Solve y + 1 = -2*g, s - g - 4 = 0 for s.
2
Let b = 2525 - 2522. Solve 0 = -2*j - b*m + 22, 4 = 2*m - m for j.
5
Let k(f) = -2*f**3 + 38*f**2 - 3*f + 62. Let a be k(19). Solve -3*d = -5*u + 32, -a*d + 0 = 3*u + 8 for u.
4
Suppose 16*a - 6810 = -2*a - 6612. Solve 4*d = 4*t + 8, -d = -3*t + 9 - a for t.
0
Let z = 24 + 24. Let h = z + -37. Let b be (-1)/(-4) + (-21)/(-12). Solve -5*w - b*a - h = 0, w - 3*a = 5*w + 6 for w.
-3
Suppose 34*n = 111 - 9. Solve y + 1 = n*h, -h + 31 = -4*y + 49 for y.
5
Let x(z) = -2*z**2 + 168*z - 635. Let a be x(80). Solve q + 20 = -5*o, a*q - o + 19 = o for q.
-5
Let y(d) = 1 - 1 - 2 - 11 + 5*d. Let f be y(9). Suppose 0 = -3*x + 4*l + 12 + 16, -3*x + 5*l = -f. Solve 2*z + 8 = 4*w + z, -w + 17 = -x*z for w.
1
Let u(q) = 2*q**3 + 12*q**2 + 3*q - 20. Let l be u(-5). Solve 10*f - 35 = 7*f + 4*r, -f + 2*r = -l for f.
5
Suppose 18 + 4 = 5*z - 2*m, -2*z - 3*m + 24 = 0. Suppose z*o = -15*o + 105. Solve 4*i + 0*k = -4*k + 12, -o*k = -3*i - 15 for i.
0
Let p(x) = 159*x - 1259. Let g be p(8). Solve -16*v + 3 = -g*v + 5*y, 4*v - 3*y = -25 for v.
-4
Suppose 2*x + 4*o - 12 = 0, x - 3*o + 0 = -4. Suppose 5 - 1 = x*g. Solve -17 = -3*j - 5*a, 5*a = -5*j + 27 - g for j.
4
Let q be 5 + 399/(-77) + 1/((-33)/(-6)). Solve -w - 2*i + 7 = q, 64*w - 2*i = 66*w - 4 for w.
-3
Suppose 4*v - 5*f - 8 = 0, 4*v - 3*f - 7 - 1 = 0. Suppose -t + v*t = -21. Let a be (-7)/28 - (0 + t/4). Solve 0 = -a*g - 10, -6 + 3 = 5*w - g for w.
-1
Suppose -3*t - 2*t + o = 30, 0 = -t + 4*o - 25. Let y = t + 5. Suppose y = c - 2*i + 5, -2*c - 15 = -4*i - i. Solve v = c*p - 24, -17 + 5 = 3*v - 3*p for v.
1
Let r(t) = -t**3 - 5*t**2 - 5*t - 2. Let j be r(-4). Suppose -51 = -2*v - 11. Let h = v + -15. Solve 1 = k - j*n - 3, -h*k + 4*n = -2 for k.
-2
Let v = 337 - 330. Suppose 4*r - 10 - 7 = n, v = 2*r - n. Solve r*l - 13 = -2*j - 2, -4*l + 16 = -2*j for j.
-2
Suppose -90*l = -106*l + 6128. Suppose l = 27*v - 22. Solve 0 = -z + b + b - v, -5*b + 40 = -3*z for z.
-5
Suppose 5*x - 37 - 26 = 2*k, -2*k = 3*x - 41. Suppose -3*r - 24 = -3*b, 3*b + 5*r = -x - 3. Solve 2*a - 3*a + 4*y + 4 = 0, 0 = b*a + 2*y + 2 for a.
0
Suppose 0 = 732*h + 760*h - 1471*h - 84. Let s = 8 - 3. Solve -4*r + 0*r - s*c = -8, 3*c = -h*r + 8 for r.
2
Let p(n) = -6*n + 255. Let m be p(42). Solve -11*d = -7*d - 12, -3*k = -d - m for k.
2
Suppose -449*u - 377 = -462*u. Solve 5*r = o + u, 5*r - 23 - 10 = 2*o for o.
-4
Let c(s) = s**2 - 5*s - 5. Suppose -19*t - 30 = -14*t. Let q be c(t). Let i = q + -58. Solve 4*l + 5*r - 3 = -0, -4*l - i = 3*r for l.
-3
Suppose 3741 = 31*f + 98*f. Solve 2*r - 3*u = 8 - f, -27 = 4*r - 3*u for r.
-3
Let b = -318 - -1763. Suppose b*v = 1439*v + 24. Solve 3*n = 12, r + 10 = -v*r + 5*n for r.
2
Suppose -22 + 56 = -t. Let g be 1874/t - 24/(-204). Let d be 2/(-5) - 297/g. Solve -d*i = -3*k - 16, -6*i + 25 = -i for k.
3
Let v(i) = 2*i**2 - 68*i + 78. Let d be (-60)/300 - 332/(-10). Let n be v(d). Solve 3*a = -0*w - 5*w + n, 4*a + 2*w = 16 for a.
4
Let h be 9 - (11 + (-5 - -8) + -8). Solve 0 = -3*c + v + 4*v + 11, v - h = -2*c for c.
2
Let g = 288 + -286. Suppose -8*b - 16 = -4*d - 3*b, -3*d + 12 = -g*b. Solve -j + 3*j + 10 = -d*u, j + 3*u = -7 for j.
-1
Let m = -249 + 254. Let h be 6 - m/(-5)*-1. Solve -h*n + 0 - 10 = -2*q, 0 = 4*n for q.
5
Let u be 10/12 - 9/((-756)/266). Solve 4*q = 2*m + 24, 2*q + 0*m - 24 = u*m for q.
4
Let z be 40/(-16)*(-7 - (-232)/40). Solve -2*c = -3*p + 8, z*p - 5*p = 0 for c.
-4
Suppose -8 + 19 - 11 = -51*c. Suppose -w + 4 = z - 1, 5*w - 20 = 0. Let f be (-3 - -2 - 0)*0. Solve -j = 2*r + 7, f = -r - c - z for j.
-5
Let r(f) be the first derivative of f**4/4 + 16*f**3/3 + 8*f**2 + 15*f - 59. Let s be r(-15). Solve l + 3*y + s = 1, 11 = 4*l + 5*y for l.
4
Suppose -3*k = -4*i + 3 - 113, -5*i - 22 = -k. Solve k - 54 = -4*b + j, -2*b - 4*j = -6 for b.
3
Let r(a) = -9*a + 48. Let x be r(5). Let q be (-8)/28 + (-48)/(-21). Suppose -q*s + 6*s = 8. Solve v + 19 = -c - x*c, -4*v = s*c + 6 for c.
-5
Let y be (((-141)/94)/(1/10))/(-1). Suppose y*r + r - 384 = 0. Solve 0*v - 4*a = 2*v - r, -5*v - 4*a + 36 = 0 for v.
4
Suppose -13*r + 20*r = 14. Suppose -3*c = -9, -3*j + c + 3 = -r*c. Solve 0*q + j*y = 3*q + 3, -5*q = 4*y - 27 for q.
3
Suppose -3*d = b - 30, 9 = 3*b - 5*d - 137. Let z = 47 - b. Solve -z*a - 45 = -4*f, -a + 4*a = 3*f - 30 for f.
5
Let x(d) = 4*d**3 + 32*d**2 - 9*d - 6. Let c be x(-7). Let l = 256 - c. Solve -g - 3*t + l = 17, -3*g - 3*t = 18 for g.
-2
Let k(f) = 431*f - 421. Let b be k(1). Solve -b = -5*w + 2*h - 3, 0 = -3*w - 3*h for w.
1
Suppose -4*y - y = -65. Let i be ((-1)/(3/16))/((-3)/(-72)). Let z = i - -150. Solve 5*f - 2*l = -z, -f + 5*l = f + y for f.
-4
Let g = -403 + 613. Let k = 215 - g. Solve 0 = 3*f + a + 12, k*f = -0*f + 3*a - 20 for f.
-4
Let s be -3*(4/8)/(3/(-6)). Suppose 0 = 2*w - 4*w - 3*n + 10, -s*w + 4*n - 2 = 0. Suppose -2*m - 3*m = 0. Solve 10 - 1 = 3*u - w*c, m = -3*c for u.
3
Let q be 21/(-2)*(-15 + 17). Suppose -5*m + 12 + 103 = 0. Let c = m + q. Solve c = a - 2, -a = -4*r + 8 for r.
3
Let u be 179/(-1)*((-12)/4)/3. Suppose -191 = -6*a - u. Solve 4*t - 28 = -2*s - 2*s, t - 12 = -a*s for t.
2
Let g = -83 + 82. Let a(d) = 13*d + 16. Let j be a(g). Solve -3*v = j*b, 2 = -2*v - 5*b - 1 for v.
1
Let y(h) = -5*h - 73. Let b be y(-21). Solve 22*a + 29 = -3*o + 26*a, -4*a = -4*o - b for o.
-3
Let g(h) = h**3 + 19*h**2 + 40*h + 396. Let q be g(-18). Solve -2*w = -4*v + 18, q = w + 3*v - 2*v + 3 for w.
-5
Let o = 762 + -757. Solve 4*x - o*t = x - 15, 2*t = -4*x + 6 for x.
0
Let v be (29 - 28)/((-2)/12). Let s be 11/5 + v/30. Solve -s*r + r - 2 = 5*o, o = 0 for r.
-2
Let m(g) = -19*g - 243. Let c be m(-13). Suppose -14*n - c*k + 12 = -18*n, 5*k = n + 15. Solve -t + 2*z - 13 = n, 4*z = -4*t + 9 - 1 for t.
-3
Suppose -32*q = 2*q - 170. Suppose 3*m - m - y - 12 = 0, -12 = -q*m - 2*y. Solve m*f = 5*w + 11 + 2, 3*w - 1 = -2*f for f.
2
Let n(c) = -c**2 - 5*c + 155. Let x be n(-15). Suppose -10*b + x = -9*b. Solve 0 = -b*r + 3*u - 9, -2*r + 0*r - 8 = u for r.
-3
Let p = 7039 - 7037. Solve 0 = p*i - 5*c + 4*c, -5*i - 3*c = -22 for i.
2
Let g = 3160 + -3119. Solve -5*j = 20, g = -4*y - 5*j - 3 for y.
-6
Let s be ((-145)/(-2) - 2)*10/15. Suppose 8*w - 15 = -s. Let d be 2/w + 4/(56/49). Solve -2*h - 3*n = -3, d - 1 = -3*h + 2*n for h.
0
Let y = -88 + 38. Let v(q) = -3*q**2 - 74*q + 1. Let x be v(-1). Let f = x + y. Solve 4 = m + 4*a + f, a = -5 for m.
2
Let i = -2589 - -2596. Solve -2*c + 4*v = -20, -4*c + 9*v - i*v = -22 for c.
4
Let z be (2/(-7))/((-81)/1134). Let f be (-1071)/(-81) + z/(-18). Solve 0 = 2*b - 3*x + f, 2*b + 0*x - 4*x + 18 = 0 for b.
1
Let n be ((-10)/(-6))/(-5)*144/(-12). Suppose -n*m = 25*m. Solve 0 = -5*v - g + 9, 17 = -3*v + 5*g - m for v.
1
Let x(j) = 2*j**2 - 3*j + 2. Let a(n) = 2*n**2 - 3*n + 2. Let d(z) = 6*a(z) - 5*x(z). Let v be d(2). Solve 0 = l + 5*c - 2, -l - v*l + 4*c = -10 for l.
2
Let i be 1 - ((-4)/(-26) + 1764/(-819)). Solve 2*d - 10 = n - i, -22 = -5*d + 4*n for d.
2
Let d(y) = 2*y + 9. Suppose -7*f + 21 = -5*u - 9*f, -24 = 5*u + 3*f. Let r be d(u). Solve 0*n = 2*n + 2*s + 6, 2*n + r = -s for n.
0
Let k = 189 + -189. Let m(h) = h - 4. Let s be m(6). Suppose b = -k*b + 5*p + 27, 10 = -s*p. Solve -c = -b*i - 9, -2*i = i - c + 13 for i.
-4
Let x be ((-23)/(-7) - 3)*-98*7/(-14). Solve 8*i - 7*i - 6 = -5*g, -3*i = -g + x for i.
-4
Let g(k) = k + 8. Let b be g(0). Suppose -126*j + 47 + 120 = -211. Solve j*i + i = c + 14, 4*c = -b for i.
3
Let k = 3615 - 3615. Solve 3*v = -2*z - 2*z - 32, k = -4*z + 5*v for z.
-5
Let t be 2/(-1)*-8*14/56. Solve -a + 0*a = 2*o - 3, -t*o = -2*a - 2 for o.
1
Let c be (2196/72 + -33)/(2/(8/(-1))). Solve q + 4*k = 8, 3*q + 13*k + 3 = c*k for q.
-4
Suppose 464*y - 460*y - 20 = 0. So