3*q = -2 - 10, -76 = -r*t + 3*q. Let k(h) = h - 1. Let b be k(4). Solve -5 = -3*a + 2*s, 0*s = 4*a + b*s + t for a.
-1
Let g be ((-122)/488)/(2/(-40)). Solve 0 = -4*f + 35 - 31, -g*b - 22 = -2*f for b.
-4
Suppose 4*z - 4*w - 20 = 0, 75*w = -z + 72*w + 1. Solve z*o = -r + 13, -3*o = 9*r - 4*r + 3 for o.
4
Suppose -5*d - 74 = -2*t, 6*d - 3 = -t - 17. Solve 0 = 4*v + m - 1 + 9, -t = 2*v + 5*m for v.
-1
Let w(x) = x**2 - 18*x - 25. Let t be w(19). Let c be (2 - -1) + -2*t/4. Suppose -4*z + 6 + c = 0. Solve -4*m = -13 - z, 20 = 2*i + 4*m for i.
2
Let h(q) be the second derivative of -q**4/12 + 13*q**3/6 - 20*q**2 + 57*q - 1. Let x be h(8). Solve 8 = -l + y + 4*y, x = -3*l + 4*y - 2 for l.
2
Let x be (((-3654)/147)/29)/(6/(-14)). Suppose -4*p = 3*l + 3, -4*p = -0*p - 3*l - 3. Suppose p = -0*f + f - 5. Solve f + 0 = n - x*g, n - 4*g - 9 = 0 for n.
1
Suppose 0 = 5*a - 10*a + 3*g + 674, -5*a + 688 = 4*g. Suppose a*u = 139*u - 9. Solve -2*m - m - 5*n = -11, u*m + 5 = -n for m.
-3
Let v be (-233)/6524 + 85/28. Solve 17*k + 42 = -3*i + 22*k, 24 = -v*i + 3*k for i.
1
Let g = 48360 + -48322. Solve -5*u + 20 = -3*f + g, -4*u + 5*f - 17 = 0 for u.
-3
Suppose -2*g + 0 = -22. Suppose 5*r + 185 = 490. Suppose -r*b + 140 = -33*b. Solve b*p + 18 + g = -4*t, 0 = -5*p + 3*t - 22 for p.
-5
Let l(b) = 13*b + 94. Let h be l(-7). Solve -2*c + 13 = 3*f, -f + h*c + 8 = -0*f for f.
5
Let p(d) = -d**3 - d**2 - 9*d - 4. Let s be p(-2). Suppose s*v + 5*v = 69. Solve -a - 3*o + 12 = -v*a, -20 = -2*a - 5*o for a.
0
Let l = 6518 + -6516. Solve z + 10 = -3*b, z + 5*b - l = 6*b for z.
-1
Suppose -3*d - 2*d = 5*k + 20, 3*d = k. Let z(o) = -4*o**3 - o - 1. Let u be z(d). Solve 2*f + 22 = -u*x, 2*x + 3 = f - 6 for f.
-1
Let w(i) = -2*i + 1. Let g be w(-2). Let y(t) = -4*t + 138. Let b be y(32). Let d = b - g. Solve 17 = -4*p + 3*l + 4, 4*p - d*l + 19 = 0 for p.
-1
Suppose 10 = 11*v - 89. Suppose -v*l - 4*i - 26 = -14*l, -3*i - 6 = 3*l. Solve 0 = 3*b + 3*g + 27, 3*b + 5*g = -l - 33 for b.
-5
Let w = 12418 - 12418. Solve t + 1 = w, -16*c = -21*c - 5*t - 25 for c.
-4
Let f = 133 - 68. Let w = f - 61. Let d = -2 + w. Solve 4 = 4*m - 5*m, d*m + 23 = -3*c for c.
-5
Suppose -4*s = -4*c, -c + 3*c = s + 3. Let w = -53 + 403. Let g = w + -347. Solve -y = -5*b + 23 - g, -4*b = 3*y + c for y.
-5
Let j be (99/(-36))/(-11) - 2429/(-28). Solve -n - 88*c - 1 = -j*c, -4*n + 5*c + 14 = 0 for n.
1
Let o be 702/3159 - ((-50)/18)/1. Solve 0 = -3*k - 3*j - 12, 0 = -o*k + 3*j + 2*j + 20 for k.
0
Let u be (1*-12)/(-2) + 8/(-2). Suppose 0*n - 7 = -u*i - 3*n, -i + 7 = -2*n. Solve z - 2*p - 6 = 0, -z - 3*z = -i*p - 12 for z.
-2
Suppose -66*d - 13*d + 632 = 0. Solve i = -c - 3, -9*c = -d*c - i + 7 for c.
-5
Let p be 30 - 12*(7 - 8). Solve 5*h + 47*q - p*q = 10, -3*h = -3*q for h.
1
Let c be 2 - (-9 + 7)/2. Suppose c*z - 55 = -8*z. Solve -4*b - 44 = 4*q - 16, 5*q = 5*b - z for q.
-4
Let n(a) = -a**3 + 39*a**2 + 125*a + 43. Let d = 677 + -635. Let w be n(d). Solve 0 = -l - 4*m + w, 4*l = 2*m + 1 - 15 for l.
-3
Let j = -2532 - -2544. Solve 11*q - j*q + 2 = -b, -3*q + 4 = -b for q.
1
Let l(x) = -x**3 - 25*x**2 - 59*x + 162. Let i be l(-22). Solve -2*p - s = -6, -17*s + 16*s = 3*p - i for p.
2
Let o = 189 + -187. Suppose -38 = -6*m - 38. Solve g + m + 6 = o*v, -g + 3*v = 7 for g.
-4
Let c be (-21 - -23)/(6/2145). Suppose -721*d + 264 = -c*d. Solve -2*p - 16 + d = 4*z, -4*z + 2*p = -12 for z.
5
Let n(s) = 2*s**2 + 9*s - 8. Let z be n(-6). Suppose -11*d + 12 + z = 0. Solve -5 = 2*c - 3*o, 2*c + d*c + 4*o = 0 for c.
-1
Suppose 22*p - 45 = -3*d + 24*p, -2*d + 5*p + 30 = 0. Solve 2*s = h + 10, 2*h = d*s - 19*s + 12 for h.
-2
Let y = -4 + 185. Let i = 181 - y. Solve -n = -4*p + 21, -2*n = 3*p - 2 - i for p.
4
Let r = -15 - -21. Suppose r*i - 181 - 53 = 0. Let h = i + -37. Solve -2*l - 4*o = 26, h*o + 2*o + 41 = -5*l for l.
-5
Let t be 4*(-6)/48*-28. Let d be (-1 - (-7 - -4)) + t. Solve 0 = -2*r - 4*x + d, -r + 3*x = 5 + 12 for r.
-2
Let i(m) = -m**3 + 7*m**2 + 17*m + 14. Let v be i(9). Suppose v*r - 2*n = -3*n + 47, 0 = 3*r - 3*n - 39. Solve -5*a + 2*j - 4 = 0, -5*j + r = -0*a + a for a.
0
Suppose -3*t + 126 = 4*t. Suppose 9*a + 27 = t*a. Solve -2*w + k - 16 = 4*k, -5*k - 25 = a*w for w.
-5
Suppose 25*y + 96 = 28*y. Let s = y - 25. Suppose j = -4*x + s*x + 7, -5*j - 4*x + 54 = 0. Solve 0 = -c + 4*a + j, 3*c + 2*a + 19 = 7 for c.
-2
Let o be 102/(-136) - (-22)/8. Solve -2*n - 4 = o*x - 0*x, 2*x = n - 13 for x.
-5
Suppose 9*q = 11*q. Suppose 2*x - 5*l = -q*x + 60, x = 4*l + 36. Suppose 5*w + x = -4*f, -20 = -0*w - 2*w + 4*f. Solve -4*m = g + 2, 3*m + w*m + 2*g = -4 for m.
0
Let k = -52 + 47. Let b(q) = 3*q + 25. Let y be b(k). Suppose 32 = 18*i - y*i. Solve -f - 1 = t + i*t, -4*f + 2*t + 18 = 0 for f.
4
Let f(x) = -114*x**3 + 10*x**2 - 40 + 113*x**3 + 3*x + x. Let j be f(10). Solve j = -2*q + z + 1, -5 = -q + 5*z for q.
0
Let q = -2942 - -2951. Solve 6*a + 20 = q*a + 4*r, 4*r - 4 = a for a.
4
Suppose -90 = 4*a + 2*a. Let v be (6/a)/(4/(-280)). Solve -v = -3*w - 5*z, -4*w + 4 = 4*z - 20 for w.
1
Let q = 34153 + -33836. Solve -5*s + o - 3 = 0, 2*o = q*s - 313*s for s.
-1
Let y(t) = 2 + 3*t**2 - 2*t**2 - 4*t**2 + t**3 - 4 - 4*t. Let l be y(-1). Let b be 12/(-6 - l) + 6. Solve -2*x - 7 = -4*x - b*a, 5*a + 5 = 5*x for x.
2
Let x(p) = 3*p - 42. Let a be x(15). Suppose 2*z - 3*n = 17, -3*z + a*n + 24 = -2*n. Suppose -24 - 1 = -5*b. Solve -4*y + 0*o = o + 15, -b*o + z = -2*y for y.
-4
Let j(x) = -5*x**2 + 18*x - 17. Let r(a) = -a**2 + a - 5. Let l(v) = j(v) - 6*r(v). Let i be l(-11). Solve 5*s = -i*z - 27, 4*z + 6 - 22 = 4*s for s.
-5
Let k = -19 - -22. Suppose 0*v = -k*v - 105. Let y = 35 + v. Solve -q + 4*s + 4 = y, 4*q + 2*s + 12 = 4*s for q.
-4
Suppose 0 = 68*d + 95 - 435. Solve 1 = -v - d*m, 5*v - 19 = 3*m + 4 for v.
4
Suppose 5*u = 23*d - 28*d, 5*u = -4*d - 3. Solve -16 = -4*n + q - d*q, 2 = q for n.
3
Suppose -3*y + 3*v = -11 + 2, v = 4*y - 15. Suppose -4*m + y*o - 17 = -7*m, -5*m + 2*o = -11. Solve -j + z - m = -7, -3*j + 4*z = -13 for j.
3
Let m = -3524 + 3524. Solve 9 = -3*q, m = -11*y + 9*y + 3*q + 19 for y.
5
Let n = -90 + 112. Let u be (-34)/68 - n/(-4). Solve s + 28 = u*w, -3*w + 2 = s - 10 for w.
5
Let c = -3685 - -3690. Let u(n) be the third derivative of -n**4/24 + 7*n**3/6 - n**2. Let j be u(c). Solve 0 = 4*l - j*z + 2, 3 = l - z + 4*z for l.
0
Suppose 22*w + 22*w - 6*w = 2*w. Solve 0 = b + 3*v - 15, w = 4*b + 9*v - 10*v + 5 for b.
0
Let z = 3800 - 3791. Solve -9*y - z = w - 8*y, 2*y + 28 = -4*w for w.
-5
Let i(s) be the second derivative of -s**4/12 - 5*s**3/2 - 4*s**2 + 27*s. Let u be i(-13). Solve 0 = 4*w + 5*f + 16, -4*w - 3*f = -2 + u for w.
-4
Let f(p) = -21*p**2 + 4*p - 3. Let l be f(1). Let q be (3/7 + l/14)*0. Solve q = -2*a + o - 3, 9 = -4*a + 5*o for a.
-1
Let w be 7/3 + (-6)/(-9). Let x(v) = 5*v + 4*v - 28*v + v + 74 + 4*v. Let y be x(5). Solve y*f = -0*s + 5*s - 20, -w*s = 2*f + 10 for f.
-5
Let p(n) = -n**2 - 122 - 4*n - 67 + 69*n + 16. Let w be p(3). Solve -2*h + 9 = t, -t = -4*h - 2*t + w for h.
2
Let b be 11/231 - ((-1465)/105 - -10). Solve 5*s - 2 = 3, -2*u + b*s = 4 for u.
0
Let s be 3*25/(-20)*-4. Suppose 120 = 9*g - s*g. Let h be (g/14)/((-14)/49). Solve -q + 6*q + h*b + 15 = 0, -4*b - 12 = q for q.
0
Suppose 4*s = 5*h + 258, -s - 6 = s. Let q = h - -102. Suppose 0 = 17*g - q - 3. Solve 5*l + 5*t = -15, g = 3*l - 0*t - 3*t for l.
-1
Suppose 111*l = 109*l + 4. Solve -3*k - l = 3*h - 7*h, 3*h - 5*k = -4 for h.
2
Let a be (-3)/(-4)*5520/1035. Solve m + r - 15 + 19 = 0, -a*r - 25 = -5*m for m.
1
Let y(x) = -x**3 - 22*x**2 - 9*x - 44. Let n be y(-22). Let t = n + -140. Solve c + 2*l = 2*c + 8, 2*c - 3*l + t = 0 for c.
-4
Suppose 44*a - 297 = 20*a + 13*a. Solve -p = 4*q - 13, -5*p + a*q = 32*q - 20 for p.
1
Suppose 0 = 5*k + s - 8, -76*k = -81*k - 3*s + 4. Solve 2*x + k*c = -12, -13*x + 2*c = -18*x - 27 for x.
-5
Let d = 60 - 44. Suppose -d = -4*g - x + 2, -4*g + 12 = 4*x. Solve -o - o + 2 = -g*j, 2*j = 0 for o.
1
Let c be 2 + (-6 - (2 + 0)). Let q be (-976)/(-40) - c/(-15). Solve 0*v + 5*a - 40 = 5*v, 2*a - q = 4*v for v.
-4
Suppose -4*f + 0*f = -44. Suppose z - f + 9 = 0. Suppose o + 9*i - 4*i = 5, 2 = -o + z*i. Solve -3*s + 5*y - 17 = 0, 4*s = -o*y + 2*y - 18 for s.
-4
Suppose -5 = -w - 0*w 