= -9, a = -3*r + 5*r - 5*j for r.
2
Let l be -4 + 11 - -4 - 0. Suppose 3*d = l*d - 48. Solve 3*o + 2*b - 37 = -3*b, -4*o + d = -2*b for o.
4
Let b = 56 + -38. Suppose 3*m - 15 = 2*v, -15 = 2*m - 5*m. Suppose -2*c - 3*c + 20 = v. Solve 4*u - 1 = f - b, c*u = 5*f - 21 for f.
1
Let t = 76 + -72. Suppose -4*y = -t + 20, -22 = -3*j + y. Solve 2*c - 4*l - 12 = 0, -5*l - j = -1 for c.
4
Let b = 564 - 564. Solve 2*w + 2*y - 14 = 0, 4*w - 3*y + y - 10 = b for w.
4
Let a(v) = -45*v - 222. Let y be a(-5). Solve 3 = 2*o - 3*b - y, 2*o = -3*b - 6 for o.
0
Let g = -455 - -466. Solve 5*k - 17 = 3*r, -4*r + 7*r + 2*k - g = 0 for r.
1
Let l be (1*-2)/(-5 + (-52)/(-13)). Let v(u) = u**2 + 5*u + 6. Let a be v(-4). Let o be (-3)/15 - (-2)/10. Solve o = 2*p - a, l*h - 4 = -4*p + 2*p for h.
1
Let g be ((-4)/18)/(((-728)/(-117))/(-28)). Solve -26 = 5*a + 6*s - 4*s, 0 = -4*a + 5*s - g for a.
-4
Let p be (-48)/84 + 144/7 - 4. Solve -5*v + p = -4*c, 2*c = v + 1 - 3 for c.
1
Let c(s) = 3*s**2 - 2*s. Let y be c(-1). Suppose -9*g + 48 = -y*g. Solve 4*x + g = -4*j - 12, 2*x + 7 = 3*j for x.
-5
Let n = -2608 + 2632. Solve 7*y - 4*p - n = 3*y, -2*y = 4*p for y.
4
Let o = 92 + -74. Suppose 22 + 77 = 3*q. Suppose 5*r + o - q = 0. Solve -r*k - 8 = t - 2*t, -k = 2*t + 12 for t.
-4
Suppose 27*b + 43 = 124. Solve 8*w = b*w + 10, 10 = 2*x + 4*w for x.
1
Suppose -t + 5*c + 35 = 0, -4*t - 3*c + 7 = -18. Suppose -5*l + 0*l = -t. Solve 0 = 5*u - l*q - 23 + 6, 3*q - 17 = -u for u.
5
Suppose -14*a + 166 = 124. Solve -a*k = 5*o + 28, 3*k - 7 = 3*o - o for o.
-5
Let q(k) = k - 4. Let b be q(7). Let v be -2 - -29 - (-4)/(-4). Suppose d - v - b = 0. Solve 5*c = -j - 19, -c = 5*j + 2*c + d for j.
-4
Let x be ((-40)/8 - 1)*(-1)/2. Let o = 136 + -96. Solve -x*z = -5*h - o, -h + 2*z = 2*h + 25 for h.
-5
Let v(k) be the first derivative of 2 - 4*k - 1/3*k**3 + 5/2*k**2. Let d be v(4). Solve a - r + 2*r - 10 = d, 0 = 2*a - r - 5 for a.
5
Let n be 114/22 - 14/77. Suppose n*j - 10 + 0 = 0. Suppose -j*c = -0*r - 3*r + 28, 2*r - c - 17 = 0. Solve 0 = 3*h - 6, h = -2*x + 4*h - r for x.
0
Let i(l) = l**2 + 5*l + 7. Let r be i(-1). Solve r*o + 1 = 5*w + 11, 3*w + 6 = 0 for o.
0
Let z(r) = -18*r**2 + 2*r - 2. Let n = 9 - 8. Let a be z(n). Let d = 20 + a. Solve 0 = -5*g + 2*k - 6*k + 9, d*k = 5*g - 3 for g.
1
Let m = -1 - -5. Suppose m*l - 30 = -l. Solve 0 = f - 3*c + l, 2*f + 5*c + 14 = 35 for f.
3
Let t(p) = -4*p**2 + p - 7. Let q be (2/4)/((-2)/(-20)). Let f be t(q). Let n be f/(-21) - (-5)/35. Solve 5*s - 5*k + 4 = -11, -n*k + 15 = 0 for s.
0
Let k be (42 + -4)*(-1)/(-2). Let r = k - 17. Suppose 0 = -4*p + 10 + r. Solve p = 4*q - q + f, -q + 3*f = 9 for q.
0
Let c be 3 + (-27)/(-18) - (-2)/(-4). Solve g - 25 = c*g - 5*h, -h = 5*g - 5 for g.
0
Let f = -79 + 79. Solve 2*y + 3 = -u, f = y + 4*y - 5*u for y.
-1
Let g = -11 + 15. Solve 0 = 5*x + 3*u - 2, -x - g*x + 1 = 4*u for x.
1
Suppose -t - 82 = -z + t, -159 = -2*z + 3*t. Suppose 3*h + 3*l - 30 = 0, -10*l + 6*l = -4*h + z. Solve -5*k - h = -3*k - 4*b, -5*k + 5*b = 10 for k.
3
Let n = -70 + 77. Solve 0 = n*y - 3*y - 2*t, -y - 4*t = -18 for y.
2
Suppose 0 = -19*n - 14 + 166. Solve 4*a = -2*g + n, 2*g - 4*a - 2 = -g for g.
2
Suppose 3*s + 3*a - 6 + 0 = 0, 4*s - 5*a = 17. Suppose 0 = 5*x - 5*y - 10, 5*y - s*y - 10 = -5*x. Solve -4 = 4*j, -x*u - 3*j + 2 - 3 = 0 for u.
1
Let i = -18 + 23. Suppose -2*m + 41 = 3*r, 2 + 3 = r + i*m. Let f(p) = -p**2 + 16*p - 8. Let o be f(r). Solve -2*z + 27 = o*u - 2*u, -5*u + 28 = 3*z for u.
5
Suppose 3*m = m + 8. Suppose m*t = t + 51. Suppose -28*d - 31 = -31*d + 4*i, -4*d = 5*i. Solve 4*g = -3*o + t - 3, -d*g - 4*o = -17 for g.
5
Suppose 5465*t - 5474*t = -18. Solve 2*z + 1 = -3*n + 6*z, 4 = t*n + 2*z for n.
1
Let l = -254 - -258. Solve 0 - l = -m - 3*c, 15 = 5*c for m.
-5
Let k be (-20)/(-14)*7*1. Let q be (-40)/(-4)*5/k. Solve 3*g = -q*n - 28, -5*n + n + 5*g = 15 for n.
-5
Let u(c) = -c**3 - 3*c**2 - 2*c + 1. Let n be u(-3). Suppose -n*i = -12*i + 15. Let q be i - 3/6*2. Solve 0 = -h + 1 + 2, -3*g = q*h + 6 for g.
-4
Suppose m + m = -2. Let b be m + ((-15)/(-1) - -1). Let z(o) = o**3 + 20*o**2 + 82*o - 25. Let k be z(-14). Solve 3*t = 2*t + k*q + 13, 5*q + b = 0 for t.
4
Suppose 0*d - 36 = -4*x - 5*d, 5*d = 5*x. Suppose p - x = -p. Solve 3*s - 4*s + 3*u + 2 = 0, 5*s - p*u + 16 = 0 for s.
-4
Suppose 4*o - q = 345, 5*q - 32 = 3*o - 278. Let p = -61 + o. Solve 4*j - 3*a = p, -5*j - 4*a = -14 - 3 for j.
5
Suppose -j = -4*j, -3*h - 5*j = 0. Let k be (48/28 + h)*7. Let r be 1*-21*k/(-18). Solve -4*g = n + r, -n = -5*g + n - 11 for g.
-3
Let g(a) = 2 - 3*a**2 - a**3 + 10*a + 2*a**2 + 4. Let v be g(-4). Solve 0 = 5*h - 5*z - 15, -2*h - 2*z + v = -0*h for h.
5
Suppose 38 = 17*i + 2*i. Let o be 1 + 1 + 2/1. Let k(g) = g**2 + 11*g + 4. Let t be k(-12). Solve 6*b = i*b - t, o*v - 5*b = 8 for v.
-3
Suppose 17*o - 7*o = 20. Solve 2*a = -5*u + 3, -5*a + o*u = u + 6 for a.
-1
Suppose 5*l - 2*l + 24 = 0. Let q be l - -10 - (1 + -4). Solve -i + 0*w = 5*w - 30, -i + 2*w - q = 0 for i.
5
Suppose 28*d - 27*d - 4 = 0. Solve j = -4*n + 7, j = -d*j + 5*n - 40 for j.
-5
Suppose h = 4*r + 12, r = 6*r + 10. Suppose 16 = 4*m + h. Let o(k) = -k**2 - 18*k + 44. Let n be o(-20). Solve -m*l - 20 = 5*u, -4*u + 2*l = -2 - n for u.
-1
Let z be (-2 + -2 + (-7 - -11))/(-2). Solve z = -0*u - 2*u + 4*n + 26, 0 = -u + n + 8 for u.
3
Suppose -58 = -5*a - 2*u, 0*u + 3*u = -3*a + 42. Let k(h) = -h**3 - 5*h**2 - 4*h - 36. Let x be k(-6). Solve 5*m = 5*w + a, -2*m + 0 = 5*w + x for m.
-2
Let h(s) = -s**2 - 10*s - 6. Let m(k) = -2*k**2 - 21*k - 13. Let n(p) = 5*h(p) - 2*m(p). Let x be n(-7). Solve 4*u - 3*f = -23, -u + f - 13 = x*u for u.
-2
Suppose -5*y + 30 = -5*z, z + 3 = 2*y - 6. Solve -5*f + 6 = p + 21, 0 = -2*p - f - y for p.
0
Let g = 29 + -42. Let m = g + 17. Solve 0 = -i - 2*j - 4, -5*j = m*i - 2 + 6 for i.
4
Suppose 8 + 1 = 3*w - 4*t, 0 = -4*w + 4*t + 12. Solve 5*f = w*l + 16, -2*f = 3*f + 5*l for f.
2
Suppose -16*d + 12*d = -108. Solve 0 + 15 = -5*w, -3*x - d = 4*w for x.
-5
Let d be -2 - ((1 - 0) + -2). Let y be (-2 - (-1 + -1))*d. Let x be -2 - ((y - -3) + -8). Solve -q + 5*z - z = 0, z = -x*q for q.
0
Let r(q) = -q**3 + 8*q**2 + 9*q + 1. Let i be r(9). Suppose -3*o + i = -5. Solve -2*u + 12 = 3*n, 4*n - 16 = u + o*u for n.
4
Let k be 0*(18/(-4))/(-9). Solve k = -5*c + 5*y + 35, 0 = -c - 3*y - 0*y - 13 for c.
2
Let k be 0/(((-65)/26)/(1/2)). Solve 3*s + 2*b + 8 = k, 5*s - 2*b - 3 + 11 = 0 for s.
-2
Let r be ((-42)/35)/(-3)*210/(-2). Let n = r + 42. Solve 5*j = -n*j + 10, -y + 5*j = 7 for y.
3
Let x be (1 + -1)*1/(-2). Suppose 3*m - 4*y = -x*y - 10, 4*y = 2*m + 8. Let i be 5 + (-1)/(m/(-6)). Solve -4 = -3*t - 5*c + 3*c, -2*c + 2 = i*t for t.
2
Let l = 612 + -612. Solve 3 = 2*o + h, l = -5*o - 9*h + 4*h + 5 for o.
2
Let r be 1/(((-9)/(-12))/3). Suppose 3*l = -l. Solve -2*j + 18 = -r*f, 4*f = -j - l*j - 9 for f.
-3
Let n be (-2)/(-6)*3 + -3. Let x = 1 - n. Let v = -61 + 63. Solve q - v*i = -9, -x*q - 4*i + 2*i + 13 = 0 for q.
1
Let q(f) = 2*f**3 + 19*f**2 + 12*f - 13. Let n be q(-9). Let a = 48 + n. Solve 2*o = -3*y + 5 + 4, -o - a = -y for y.
5
Suppose 2*k = 4*k - 16. Suppose -120 = -22*l - 2*l. Solve -5*a + 2*y = k, -5*y + 25 - l = 4*a for a.
0
Let p(a) = a**3 - 15*a**2 - 34*a + 6. Let l be (-1 - 39/12)/((-4)/16). Let f be p(l). Suppose -t = -6*t. Solve -5*c + 2*o - 19 = t, -35 = 4*c - o + f*o for c.
-5
Let i be ((-72)/(-27))/(8/12). Solve 3*s + w = -2*s + 20, 0 = i*s - 2*w - 30 for s.
5
Let f = 238 - 158. Let k be (f/(-25))/(-8)*10/4. Solve 3*j = j - u - k, 0 = -j - 3*u + 12 for j.
-3
Let d(l) = -l**3 - 59*l**2 + 60*l + 13. Let h be d(-60). Solve -3*k - 2*q - 11 = -4, -h = k - 2*q for k.
-5
Let w = 1198 - 1195. Solve -6 = 3*x + w*u, -30 = -7*x + 2*x + 5*u for x.
2
Suppose -j = -4*w + 8, w + j = -1 + 3. Suppose -4*d - 4*q + 34 = q, w*d + q - 20 = 0. Let v = -4 + 7. Solve 0 = v*n + 4*r - 5 - 3, 3*n + r - d = 0 for n.
4
Suppose -3*q = -q - 4. Let f be (-3)/(4 + q)*26. Let r be 2/5 + f/(-5). Solve -4*b + 15 = -3*w, -2*b - w - r*w = -2 for b.
3
Suppose 0 = -2*g - 0 + 4. Let p(k) = -k**3 + 7*k - 8*k**g - 2*k + 2*k**3 - 3*k - 6. Let x be p(8). Solve 5*d = 3*d + 2*q - x, 4*q + 8 = -3*d for d.
-4
Let b(y) = -14*y - 29. Let x be b(-9). Suppose -2*t + 5*c = -25