2 = 0, -t*c - 5*k - 13 = 0. Solve 0 = -c*d + 3 - 0 for d.
1
Let s = 2941 - 2814. Solve -144*c = -s*c + 17 for c.
-1
Let p be (6/(-12)*-12)/(0 - -2). Suppose 0 = p*c + 5*i + 11, i + 0 = -3*c + 5. Solve 0 = -c*w - 2*w + 15 for w.
3
Let m = -66 + 68. Suppose -3*f = -12, 0*f - m*f - 13 = -3*a. Suppose -10 - 4 = -a*p. Solve p*c - 4 = 3*c for c.
-4
Let r(t) = 15*t**2 - 9*t - 24. Let s be r(-3). Let u = s - 28. Let f = 110 - u. Solve f*y - 4 = 2*y for y.
-2
Suppose 13*d = -0*d + 65. Let s(t) = -t**2 + 6*t - 1. Let p be s(d). Solve -3*b = -p*b for b.
0
Suppose -36 = -0*y - 9*y. Suppose 6*l - u = l + 11, y*l - 2*u - 10 = 0. Solve 7*v + l = 23 for v.
3
Let r = 168 + -164. Suppose r*b - 28 = -5*h, 5*h - 3*b - 4 = 10. Solve -h*p + 1 = 13 for p.
-3
Let r(x) = x**3 + 45*x**2 - 5*x - 86. Let o be r(-45). Solve 6*j + o - 127 = 0 for j.
-2
Let b = 929 - 921. Solve -7*g = -b*g - 2 for g.
-2
Let r(s) = -70*s**3 - 52*s - 54. Let g be r(-1). Solve g*u + 11 = 57*u for u.
-1
Suppose -2*k = -2*n + 28, n - 4*k - 10 = -2*k. Suppose 9 = -3*j, -2*a - a + n = -4*j. Let q = 24 + -23. Solve a*p = -q + 7 for p.
3
Suppose 5*v + 15*a - 11*a - 205 = 0, -5*v + 200 = 5*a. Solve 3*q = 51 - v for q.
2
Let x = 26010 - 25972. Solve r + x = -37*r for r.
-1
Let p be 2*25*1/2. Suppose -3*r + p = 2*r. Suppose 10*u - 32 = -6*u. Solve -u*i = 3*i + r for i.
-1
Suppose -3728*d - 385 = -3733*d. Solve 20*i = -d - 63 for i.
-7
Let y(d) = -2*d**3 + 13*d**2 - 6*d + 6. Let b be y(6). Suppose -5*a + 4*a + b = -2*i, 0 = -a + 3*i + 9. Solve 0*w - 4*w = a for w.
0
Suppose 3*p - 6 = 0, 5*g - 2*p + 10 = 3*p. Suppose -5*h - 4 = -2*b - 8*h, 5*b + 3*h - 10 = 0. Suppose 30 = 12*v - b*v. Solve g*d + v = d for d.
3
Suppose 2*v - 48 = 5*t, 3*v - 65 + 3 = 5*t. Solve -v*y = -12 - 2 for y.
1
Suppose -26 + 56 = 5*o. Suppose 50 = -u + o*u. Let s be u/45*1*9. Solve -s + 12 = -5*h for h.
-2
Let p(t) = -t**3 + 2*t**2 + 4*t - 3. Let m be p(3). Suppose 114*f - 118*f = -40. Let o(q) = q**2 - 3*q - 67. Let d be o(f). Solve -3*j - d = -m for j.
-1
Let r = -297 - -304. Solve -r*b - 12 = 2 for b.
-2
Let q = 19 - -6. Let i = 28 - q. Suppose -2*y + 6 = i*a - 5*y, 2*y - 16 = -3*a. Solve 0 = -d - a for d.
-4
Suppose 109*a + 50*a - 15423 = 0. Solve -14*f + a = 27 for f.
5
Let i = -63 - -61. Let o be i + -33 + (-3)/3. Let s be 3/2 + 6/o*9. Solve s*u + 10 = -5*u for u.
-2
Let q be (-4536)/(-180)*10/6. Solve 0 = -12*l + 18 + q for l.
5
Let p be (7/((-350)/60))/(3/(-45)). Suppose -27*h + p*h = -144. Solve 19*n + 15 = h*n for n.
-5
Let x = -389 - -389. Solve x = -60*u + 55*u for u.
0
Let w(v) = 49*v - 829. Let y be w(17). Suppose 2*f = 2 + 40. Let n be 44/8 + (-5)/10. Solve -n*z - f = y for z.
-5
Let h(w) = 9*w**3 + 5*w**2 - 7*w + 1. Let d be h(2). Let n = d + -78. Solve p + n + 3 = 0 for p.
-4
Let b(v) be the first derivative of -v**4/4 - 8*v**3/3 - 7*v**2/2 + v + 4. Let z be b(-7). Solve 2*j + z - 7 = 0 for j.
3
Suppose 0 = 19*p - 4992 - 6161. Let z = -586 + p. Solve 0 = -q - z + 6 for q.
5
Let p(v) = 3*v + 41. Let r be p(-11). Suppose 0 = 3*q - r*q + 4*k + 32, -3*k = 9. Let o be (2 - (-8)/(-6))*9. Solve -q*w + 10 + o = 0 for w.
4
Suppose 4*y - 6*y = -3*a + 11, 0 = -5*y + 5*a - 15. Suppose -3*x - 5*v + y = 0, 0 = x - 2*x + 5*v + 14. Suppose 0 = x*q - 9 + 5. Solve 2*b = 3*b + q for b.
-1
Let y = 211 - 196. Suppose -y*a + 11*a = -12. Solve -8*q = -a*q + 25 for q.
-5
Let m(f) = f**2 - 28*f + 36. Let s be m(27). Suppose 9*o + 0*o - s = 0. Solve -3 + o = -y for y.
2
Suppose -220*s + 194*s = -156. Let m = -4 - -8. Solve m*r = r - s for r.
-2
Let d(t) = 2*t - 51. Let o be d(35). Solve o = -i - 18*i for i.
-1
Let w = -620 - -646. Suppose -11 = w*f - 31*f + 3*c, -f - c + 7 = 0. Solve 0 = -4*p - 0 - f for p.
-1
Let s be (-40)/7 + (-4)/14. Let d = s - -11. Suppose -10*z - 3*u = -7*z, 3*z - 4*u = 28. Solve d = -5*v + z*v for v.
-5
Let y(f) = f**2 - 12*f + 34. Let g be y(10). Suppose 0 = 5*v - g + 4. Solve 0 = 6*i - 7*i + v for i.
2
Suppose y - 3*k - 26 = 0, -410*y = -415*y + 2*k + 104. Solve -80 - 40 = y*q for q.
-6
Let x(f) = -40*f**2 + 246*f - 8. Let a be x(6). Solve 0 = -646*p + 632*p + a for p.
2
Let z = -9032 + 9302. Solve -71*s - z = -17*s for s.
-5
Let f(m) = -m**3 - 2*m**2 - m + 6. Let w be f(3). Let v be w/252 - (0 - (-62)/(-12)). Solve 0 = -v*o + 3*o - 2 for o.
-1
Let k(a) be the first derivative of -a**2/2 - 2. Let o be k(-5). Let b be 8 - ((-423)/(-126) - 3/(-21))*2. Solve o*x - b = 4 for x.
1
Let d(k) = -2*k**2 - 19*k - 45. Let y be d(-6). Let t(s) = -s**3 - 2*s**2 - 7*s - 28. Let w be t(y). Solve -3 + 9 = w*u for u.
3
Let f = -141 - -224. Suppose -f = -10*q - 3. Let m(y) = y**3 + 3*y**2 - 5*y. Let z be m(-4). Solve 3*w - z = q for w.
4
Suppose 256 = s - 2*t - 37, 4*t - 1148 = -4*s. Solve -s + 295 = 2*z for z.
3
Let b = -2972 + 2972. Solve b = 7*h - h - 30 for h.
5
Let u(p) = -p**2 - 31*p + 32. Let k be u(1). Solve k = -6*i + 194 - 164 for i.
5
Let d(z) = -2*z**3 - 17*z**2 - 62*z - 40. Let s be d(-4). Solve -s = -28*a + 76 for a.
5
Suppose -10*a - 425*a = -5220. Suppose -4*r + 10 = 2*v - 0*v, 2*v = -3*r + 9. Suppose -3*o - v*s + 9 = 0, 5*s + 3 + 7 = 0. Solve 0 = -o*x + 3 + a for x.
3
Let r(w) = w**3 + 5*w**2 + 2*w - 6. Let g be r(-4). Suppose g*m - 11 = -5*h, m = 2*h + 5*m + 2. Suppose -25*t = -24*t - h. Solve d = t*d for d.
0
Suppose -380*u + 404*u - 10992 = 0. Solve 60 = -u*g + 473*g for g.
4
Suppose -a - h - 1 = 0, 15*a + 3*h = 20*a - 27. Suppose 2*j - 3*o = a, 9 = 4*j - 5*o + 2. Solve 5*u - j*u - 10 = 0 for u.
5
Let u = -113 + 209. Suppose 5*v - u = -6. Suppose 0 = 5*n - 11*n + v. Solve -4*r + 3*r - n = 0 for r.
-3
Suppose -23*f = -h - 21*f + 25, -3*h - 5*f + 130 = 0. Suppose -3*v - 4*q = -h, v - 5*v + 30 = -3*q. Solve -u - 2*u = v for u.
-3
Let s(n) = 319*n + 342. Let o be s(-1). Solve -19*g - 5*g - o*g = 0 for g.
0
Suppose 2*f + w = 35, 5*w - 44 = -2*f + w. Suppose f = -4*k, 0 = -2*m - 5*k + 1 - 17. Suppose -3*q + a = -3, q = -m*q + 2*a. Solve -q*g + 12 = g for g.
4
Let d(x) be the first derivative of x**4/4 + 37*x**3/3 + x**2/2 + 41*x + 201. Let u be d(-37). Solve u = 14*z - 15*z for z.
-4
Let g(n) = 8*n + 41. Let p(z) = -3*z - 14. Let u(t) = -4*g(t) - 11*p(t). Let y be u(6). Let r be ((-4)/(-8))/((-4)/8) - y. Solve 8 = m + r for m.
5
Let o be (12 + 3)/((-45)/(-9)). Suppose o*z + 3*j - 2 = 2*z, 0 = j + 4. Solve 9*m + 10 = z*m for m.
2
Suppose 7*o - 184 - 362 = 0. Let c = 93 - o. Solve 5*a + 0*a - c = 0 for a.
3
Suppose 18*p + 3*p - 748 = 4*p. Solve 0 = 9*x - 17 + p for x.
-3
Let k = -55 - -73. Suppose 65 = k*h - 583. Solve -4*z = -13*z - h for z.
-4
Suppose -68*y + 6110 = 169*y - 10480. Solve -15*p = -p + y for p.
-5
Suppose l - 1 - 6 = 0. Suppose -16*m + 36 = -l*m. Suppose -2*i - 6 - 6 = -5*z, -5*i + 4*z = -m. Solve -i*f = 1 + 11 for f.
-3
Let w = -847 + 953. Let j(g) = 33*g - 1. Let f be j(-3). Let i = w + f. Solve -i*d = -3*d for d.
0
Let i = 3521 + -3510. Solve -i*t - 9*t + 21*t = 0 for t.
0
Let q be 255/(-12) + 3/(-4). Let v be (-2)/4 - q/4. Suppose 62 - 71 = 2*d + b, d = -3*b - 32. Solve d + v = 2*a for a.
3
Let h(q) = 2*q**3 - 89*q**2 + 47*q + 101. Let d be h(44). Solve -224 + d = -3*u for u.
-3
Let f(j) = j**2 - 11*j - 81. Let m be f(-5). Let x(h) = 28*h + 36. Let a be x(m). Solve 6*q = a - 26 for q.
-3
Suppose 103 = -340*v + 341*v + k, -3*v + k + 317 = 0. Solve v*b = -53 + 158 for b.
1
Let b = -343 + 348. Solve -842*q = -841*q - b for q.
5
Let r(i) = -2*i**2 + 34*i + 36. Let u be (-9)/6*(-11 + -1). Let o be r(u). Let d be (-7)/(-2)*(-12)/(-7). Solve -d*l + 9*l = o for l.
0
Suppose -2*a + 85 = 3*a - 0*a. Solve 13*i + a = -9 for i.
-2
Suppose -3*f = -l - 0*l - 601, -5*f + 1015 = -5*l. Let g = -191 + f. Solve -38*j + g = -40*j for j.
-4
Let c = -67 - -72. Suppose 4*n = -c - 3. Let s be 3 + n*(-1)/(-2). Solve -4*a = -s*a for a.
0
Suppose -3*w - 31 = -2*j, 0 = -4*j - 3*w + 5*w + 42. Let g = 151 - 139. Suppose -604*y = -600*y - g. Solve -7 = y*l + j for l.
-5
Suppose 2*z = 12*z - 110. Suppose 6*k + 15 = -21. Let q be 8/k*((-33)/2)/z. Solve q*h = 4*h - 10 for h.
5
Let x = 139 + -124. Suppose 19*t = 53 - x. Solve -4*s + 8 = -t*s for s.
4
Let j = 95 - 91. Suppose 3*u - 5*y - 82 = -0*y, 0 = -5*u + j*y + 128. Let p = 7 + -2. Solve p*i + 9 = u for i.
3
Let y be ((-154)/(-28) - 7)/(219/114 - 2). Solve 0 = -y*b + 54 - 73 for