t + 7, -4 = 4*a - 4*t for a.
-2
Let m = 162 + -158. Suppose 3*b = -4*r + 59, 3*r = m*b + b + 8. Solve -4*i - r = -5*y, 3*i + 14 = -3*y + y for y.
-1
Let t be 85 - 91 - (-1 - 0 - 7). Suppose 0*s = -4*s + 4*l + 16, 5*l + 8 = -s. Solve 0*n - s = 4*n + t*g, 4*n + 11 = -5*g for n.
1
Suppose 0 = -3*f + 5*c + 213, 252 = 4*f + 8*c - 4*c. Let i = f - 52. Solve -m - 3*k = 1 - 3, -4*m - k = i for m.
-4
Suppose 0*w + 5*w = 5*r - 125, 3*r - 79 = -w. Let s = -21 + r. Suppose -4*y + t = -13, 3*t + 20 = s*y + t. Solve y*b = 4*x - 11 - 11, -2*x - 4 = 2*b for b.
-5
Suppose 3*s - 4*f = 98, -s + 3*s + f = 47. Suppose -s*x = -28*x + 6. Solve -x*p = -12, -3*p + 10 = -3*i - 2 for i.
0
Let p = -6278 - -6282. Solve 0 = 13*t - 18*t - 2*k + 6, -3*t - 12 = -p*k for t.
0
Suppose 2*j - 2*p = 58, -39 = -3*j + p + 56. Suppose 4*s - j = 7. Solve s = -2*r, -3*n - 33 = n + 5*r for n.
-2
Let z be (-171 - -168) + 10/2. Let x be 0/(-3*4/6). Solve 4*d + x*d = 3*t + 13, -5*d = -z*t - 18 for t.
1
Suppose 151 = 6*x - 1157. Let f = x - 214. Solve -f*o - 14 = -3*r, 2*o + 16 = -r - 2*r for r.
-2
Suppose 3*x + 2*a + 106 - 6 = 0, 5*x + 2*a + 172 = 0. Let f be (x/10)/((-9)/30). Let k be 2*2*3/(f/5). Solve -d + 4*d = k*t + 12, 4*d + 16 = -4*t for t.
-3
Let o = 6816 - 6800. Solve -3*a + 17*l + 12 = 20*l, -4*a + 4*l + o = 0 for a.
4
Let p = -52 - -62. Suppose 0 = -43*s + 29*s. Solve 4*z + 3*u - p = 0, s*z - 5*u + 11 = z for z.
1
Suppose 0 = 5*m + 5*f, 4*m - 3*f - 40 = f. Suppose 2*c - 36 = -5*d, -4*d - 155*c = -158*c + 8. Solve -3*i - 21 = -m*n, 0*n - 22 = 5*i - d*n for i.
-2
Let j be -1*((-16)/48 + (-2)/(-6)). Suppose j = q - 4 - 2. Solve 4*l + 6 = -2*d, -d = 2*l + 3*d + q for l.
-1
Let d = -76 + 81. Suppose 3 = -s, d*t - s - 89 = -26. Solve -t = g + 4*u, g + 2*u - 6 = 7*u for g.
-4
Let y = -3912 - -3917. Solve -3*v + 18 = -y*x, 5*v - 11 = x - 25 for x.
-6
Let j be (24/(-60))/(2/(-160)). Let c = j + -14. Suppose 3 = 4*s - 2*s + 3*y, -2*y = 4*s - c. Solve 2*b - s = 2*d, -2*d + d = 0 for b.
3
Let s be (((-6)/(-4) - 2)*-10)/1. Solve -4*y - 12 = s*i, y + 5*i + 3 = i for y.
-3
Suppose 0 = -3*l - 2*n + 24, -5*l + 92 = 4*n + 8*n. Solve 11*u - 1 = 18*u + l*s, -2*u + 2*s - 16 = 0 for u.
-3
Suppose 30 = -37*h + 40*h. Let a be (2 - 10)/40 + 42/h. Solve v + 0*t - 7 = -3*t, -a*v = 5*t - 14 for v.
1
Let y(f) = -284*f + 297. Let h be y(1). Solve -n + 2 - 1 = -z, 0 = -4*n + z + h for n.
4
Let b = -2582 + 2587. Solve -4*p + b*u = 2*u + 26, 4*p - u = -22 for p.
-5
Let q(m) = m**3 + 19*m**2 + 24*m + 1015. Let a be q(-20). Solve 4*b = 4*g - 16, a*g - 137*g - 4*b = -8 for g.
4
Let u = -22971 - -22973. Let m be ((-2)/(-2))/(-2)*0. Let r be (-3 + m)/(6/(-4)). Solve c = b, -r*b + 4*c = -2 - u for b.
-2
Suppose 0 = 57*m - 60*m + 15. Suppose 0 = -n + 30*k - 35*k - 13, 2*n - m*k - 19 = 0. Solve -5*c + n*p + 23 = 0, 2*c + 2*p + 2 = -0*c for c.
3
Let o(b) = b**2 + 14*b + 28. Let c(n) = 28*n + 44. Let w be c(-2). Let y be o(w). Solve 0*p - 7 = -2*p - h, 2*p + y*h - 4 = 0 for p.
4
Let t be (-44)/484 - 36/(-33). Solve t = -17*x + 16*x + q, -3*q = 5*x + 13 for x.
-2
Suppose 0 = -y - 3*w + 28 - 0, 2*w = 4*y. Solve -2*c = -y*i - 8, 9*i + 8 = 7*i for c.
-4
Let i(m) = 38*m**2 + 340*m - 12. Let t be i(-9). Solve -4*k + 2*h + 12 = 0, -65*h = -62*h + t for k.
2
Suppose -61 = 4*g - 45. Let l(d) = 2*d**2 + 7*d + 10. Let c be l(g). Suppose 0 = -9*t + 4 + c. Solve t*r - 4 = -2*j, -j - 4*r + 4 = -r for j.
1
Let w be -54 + (-1 - (0 + -1)). Suppose -7*t - j - 106 = -5*t, 6*j = -4*t - 228. Let u = t - w. Solve 0 = -3*h + u*q + 12, h + 3*q + 3 = -1 for h.
2
Let a = -40 + 40. Suppose 9*h - 12*h - 138 = a. Let r = -44 - h. Solve -z - 21 = 5*n, 4*z - n - r = 2*z for z.
-1
Let w(b) = -b**2 + 38*b + 188. Let s be w(42). Solve o + 4*t = 5, 6*t + s = 4*o + 8*t for o.
5
Let s be (-36)/(-54) - 3/((-9)/37). Suppose -s - 5 = -2*b. Suppose 3*d = 4*m, -2*d + b = 1. Solve -3*u - 3*o = -2*u - 11, -m*u + 3*o = 27 for u.
-4
Suppose 0 = l - 4*n + 9, 4*l + 2*n + 3 = 21. Suppose -2*s = l*p - 4, -3*s + 3 - 12 = -3*p. Solve 0 = -3*j - 9 - 6, 0 = p*z + 3*j + 7 for z.
4
Suppose 2*g - 5*o + 22 = -282, 0 = -5*g + o - 760. Let n = 156 + g. Solve -y - n*x + 27 = 7, -10 = 5*y - 2*x for y.
0
Suppose -2*g + 38 = 2. Suppose 38*v - 10 = z + 41*v, 2*z = 4*v + 20. Suppose g = 4*r + z. Solve -3*q = 4*i - 4, -5 = r*q - 4*i - 29 for q.
4
Suppose 3*n - 40 = -5*z, -3*n + 1068*z = 1070*z - 61. Solve -15 = g - 52*j + 55*j, 0 = 5*j + n for g.
0
Suppose -192 = 364*b - 412*b. Solve -15 = 3*w + d, 32 = -3*w - b*d - 1 for w.
-3
Let u = -220 + 222. Let p(y) = -25*y + 128. Let r be p(5). Solve 4*z = -3*i + i - u, z - 3*i = r for z.
0
Let a = 2870 - 2867. Solve 13*c + 13 = 4*z + 18*c, -a*z - 5*c = -16 for z.
-3
Let l = -425 - -361. Let p be (l/(-16))/((-6)/(-3)). Solve m - 3*h + h + 7 = 0, -5*m = -p*h + 3 for m.
1
Let p be 4810/481 - (8 - 0). Solve -20*d - p*u = -21*d - 8, 12 = -4*d + 3*u for d.
0
Let y(i) = 6*i**2 - i + i**3 - 10*i**2 + 2*i + 9. Let p = 2 - -1. Let d be y(p). Solve -d*j = -j - 2*h, -9 = -5*j - 4*h for j.
1
Let x(o) = 10*o + 116. Let d be x(-12). Let w be (-4)/d + 28/14. Solve -w*j = 4*n + 27, n - 2*n = -j - 2 for j.
-5
Suppose 4*u + 1092 = -4*z, -10*u + 8 = -8*u. Let n = 280 + z. Suppose 2*x + 92 = 2*o + 32, 3 = x. Solve 4*p + 3*y = -7, 4*p - n*y = 2*y + o for p.
2
Suppose -i = -3*u - 2*u - 159, -3*u = 3*i - 531. Let p be ((-638)/i)/((-1)/6). Solve -d + 19 = -5*j, -4*d = -0*d - 2*j - p for d.
4
Suppose -116 = -14*k - 88. Let c = 1 - 1. Suppose 2*r - 48 = -k*a, 3*r = 5*a - c*r - 80. Solve -4*s + a = 3*q, 13 = 5*q + 3*s - s for q.
1
Let z(x) be the first derivative of -x**3/3 - 7*x**2/2 + 63*x + 51. Let q be z(5). Solve q*t + o - 2*o - 7 = 0, 4*t = -5*o + 41 for t.
4
Let h(w) = -5511*w + 27561. Let p be h(5). Let r(d) = d**2 - 6*d + 3. Let q be r(7). Solve -2*b - q = 3*u, -4*b - p = -2*b + 2*u for b.
1
Let l(q) = 2*q**2 + 99*q + 62. Let w be l(-49). Solve 11*f - w*f = k, -3*k + 4 = 5*f for k.
8
Suppose -4*p - 2*j + 7 = -21, 12 = 4*p - 2*j. Let x be (-18)/((-18)/120*15). Solve 0 = -m - 4*w - 16, -p*m + 7 + x = w for m.
4
Let m(o) = 14*o - 278. Let z be m(20). Solve 3*x + 5*v - 12 = 0, -z*v - 12 + 0 = -3*x for x.
4
Let u = -176 + 170. Let q be u + 2 - (-18)/2. Solve 33 = -0*y + 2*y - q*h, 4*y + h - 11 = 0 for y.
4
Suppose -8 = 2*f, 3*h - 4*f = -f + 45. Solve -i + h = i - 5*p, i = -p - 5 for i.
-2
Let s = -17 + 22. Let c = 195 - 14. Let t = 188 - c. Solve -v - 4*j + 28 - t = 0, s*j - 26 = -v for v.
1
Let j(r) = -15*r + 28. Let f(l) = -7*l + 14. Let h(m) = 13*f(m) - 6*j(m). Let k be h(1). Let x = 9 + -4. Solve -n + x*p = -5*n + k, 0 = -2*n + 5*p - 1 for n.
2
Suppose 13*o = -18*o. Solve o = -5*a + 3*n + 29, -4*a - 2*n = 3*n - 1 for a.
4
Let l be (0/(-3 + (-3 - -3)))/(-1). Suppose 0*m + 11*m - m = l. Solve m = -4*v + 4*j - 9 + 1, 2 = 3*v + 5*j for v.
-1
Let o = -126 - -129. Suppose 0 = 3*d + d - 5*b - 20, o*d + 2*b + 8 = 0. Let k be 4/10 + (-4)/10. Solve 3*l - 5*m - 27 = d, k = 3*l - 4*m - 16 - 8 for l.
4
Suppose 3*p - 4*n + 2*n - 15 = 0, p + 2*n = 5. Suppose 2*r = 4, p*c + 5*r + 2 - 22 = 0. Solve -c*w + 3*x + 8 = 0, -3*x = 2*w - 2*x for w.
1
Let o(t) = 2*t**2 + 677*t - 5513. Let v be o(8). Let u(b) = b**2 - 6*b + 5. Let f be u(6). Solve -2*z + v = 3*a + 3*z, -a + f*z = 23 for a.
2
Let l(q) = 3*q**3 - 17*q**2 + 14*q - 16. Let d be l(5). Solve 2*b - d - 4 = 4*t, 3*b + 24 = -3*t for b.
-4
Suppose 4*u = -5*t + 21, -2 = -2*t - 5*u + 3. Let k(p) = -6*p - 20*p + 19*p - 37. Let n be k(-6). Solve -t*f + 2*o + 24 = 0, 8 = -2*f + n*f + 2*o for f.
4
Let y = -14708 - -14724. Solve -212*d + 216*d + 4*j = -20, -5*d - y = 2*j for d.
-2
Let l be (-444)/(-37) + (0 - 4) + -3*1. Solve n - 21 = -l*a, n = -2*a - 2*n - 2 for a.
5
Suppose -2*x = -5*x + 9. Let d be 6 - ((-5)/(-15) - (-2)/x). Suppose 0*m + 2*m - 20 = 2*f, -3*m = d*f - 70. Solve 2*q + 3*q = 4*t - 41, 0 = q + 5*t - m for q.
-5
Let i(g) = 8*g**2 - 11*g + 12. Suppose -6*s - 5 + 11 = 0. Let x be i(s). Solve 0 = 2*m - x*j + 4*j + 16, 2*m + j = -4 for m.
-3
Let l(t) = -t**3 + 5*t + 5. Let q = 40 - 42. Let a be l(q). Suppose 5*v = 5*x, a + 12 = 5*v. Solve 2*w + 3 = -w - 5*r, 24 = x*w - 4*r for w.
4
Let x = 3608 + -3603. Solve -5*j - x*y + 25 = -0*j, 2*j = -4*y + 20 for j.
0
Suppose 0 = -2*k - 6*n + 10*n, 0 = 3*k + 2*n. Solve 5*w + 13*z - 6 