q + 0*s = 2*s + 24 for q.
-4
Let z be (-1)/(-5) - (-28)/10. Let n(c) be the first derivative of c**3/3 - 4*c - 5. Let x be n(z). Solve -7*j + 2*j - 11 = -b, -5*b = x*j + 35 for j.
-3
Let j be (16 - 1)*(-12)/(-9). Let d = 28 - 24. Suppose -d*b = b - j. Solve 5*r + a + 16 = 0, -4*r + b*a - 13 = -5 for r.
-3
Suppose 0*x = -3*x - r + 48, 0 = -5*x - 5*r + 90. Let m = x - 12. Suppose m*v = -v. Solve -2*w + 8 = 2*i + 2, v = -4*w for i.
3
Let b = 191 - 186. Solve -2 = u - 4*t - 1, -b*t = -2*u - 2 for u.
-1
Let c(a) = -3*a**3 + 7*a**2 + 5*a + 5. Let k be c(3). Solve k = -2*v + w, -5*w + 6 = -4 for v.
0
Suppose 4*z + 124 = 3*j, 2*z + 17 = 2*j - 65. Solve -4*a + 3*x + 2*x - j = 0, 0 = x - 4 for a.
-5
Let s = 69 - 43. Suppose s*m = 29*m - 12. Suppose -m*j + d + 69 = -2*d, 0 = -4*j + 4*d + 68. Solve 3*h + 2*z + z - 9 = 0, 2*h - 4*z - j = 0 for h.
5
Let u be 4/26 + 89/13. Suppose 4*a = 5*l - 8, -4*a = a - 2*l - u. Suppose -3*b + 2*c = -b, a*c - 6 = 0. Solve 20 = -b*j + 4*j - 3*r, 0 = 4*j - 5*r - 36 for j.
4
Let s = 15 + -17. Let f be (s/(-3))/(18/(-162)). Let j be 800/60*f/(-4). Solve -j = -4*o + 2*q - q, 3*o - 3*q - 24 = 0 for o.
4
Let v(x) = 12*x - 36. Let g be v(3). Solve -l - 3*j + 9 = g, 2*l + 2*l = -j + 3 for l.
0
Let x(q) = -2*q - 26. Let c be x(-21). Solve -r = -4*g - 18, -3*r - 2*g - c = -7*r for r.
2
Let s = -107 + 112. Let w = 50 - 47. Solve o - 15 = -w*o + 5*q, s*q + 15 = -o for o.
0
Let x(j) = j + 1. Let a be x(2). Let y be (-28 + 16 + 19)*(-8)/(-14). Solve y*v = -u - 25, a*u + 20 = 2*v - 3*v for v.
-5
Let r(o) = o**3 + o**2 - 8*o - 6. Let j be r(-3). Solve 0 = 2*d - 2*s + 1 - 9, 5*d - 3*s - 22 = j for d.
5
Suppose 3 = -7*q + 8*q. Suppose -4*s - 7*s + 44 = 0. Solve -c - d + 7 = -q*c, s*d - 4 = 0 for c.
-3
Let s = 27 + -23. Suppose -t - 2*o = -s*t + 31, 4*o = -4*t + 8. Solve 2*n - 3*n - 3*q - t = 0, 0 = 2*n - 2*q - 2 for n.
-1
Suppose -5*z - 5 = 0, -3*f + 5*z - 79 = -4*f. Let d = 87 - f. Solve o - s + 5 = 0, 2*o = 2*s + d*s - 25 for o.
0
Let j = -16 - -19. Suppose 0 = w + j*w. Solve 2*u + 4 = w, -6 = -3*o + 3*u - 0*u for o.
0
Let p be ((-12 + -6)*1/(-3))/3. Let j = -16 + 26. Solve p*b - 3*b + 4*i = 7, b + j = 5*i for b.
5
Let t(f) = -3*f - 2*f + 6 + 4*f + 0*f. Let x be t(-7). Solve 4*h = h - 12, 0 = -y + 2*h + x for y.
5
Let s = 1290 - 1288. Solve 4*d + 14 = 3*q, -s*d + 1 - 5 = -3*q for q.
-2
Suppose -16 = -5*i + 4. Suppose 8*n + 116 = 4. Let m be 3*((-6)/n + (-400)/(-210)). Solve -i*y - 25 = -3*f, m = -4*y - 3*f - 0*f for y.
-4
Let t(q) = -5*q - 80. Let m be t(-17). Solve -2*w + h - 3 = -0*h, 5 = 5*w - m*h for w.
-4
Let v = 499 + -496. Solve 5*b - 5*l - 45 = 0, -v*l - 2*l = 2*b + 17 for b.
4
Let h = 0 + 2. Let w be ((-15)/(-9))/((-3)/(-9)). Suppose -8 + w = -j. Solve 3*r - 13 = -h*k, -4*r - j*k = -0*r - 17 for r.
5
Let f = 3 - 1. Let a = 818 - 812. Solve a = 3*x - 3*w + f*w, -4*w + 3 = -3*x for x.
3
Let c = 7 - 5. Suppose t - 3*m - 51 = -c*t, 3*m - 61 = -4*t. Solve h + 2*h + 4 = 2*p, h - t = 5*p for p.
-4
Let g(i) = -i - 3. Let h be g(-8). Let j(c) = -c**2 - c + 1. Let u be j(0). Solve 5*v - 9 = 4*s, h*v = -s + u + 3 for s.
-1
Let r be (2/1)/2*(3 - -7). Let z = r + -6. Solve 5 = -z*w + 5*f, w - 3*f + 3 = 5*w for w.
0
Suppose 2*c - 10 = -h, 42 = -h - 5*c + 64. Solve 0*o + 2*o + h*p - 10 = 0, -3*o - 5*p = -15 for o.
5
Suppose -3*b - r + 6 = 0, 0*b = b + r. Let y be (8/(-32))/(2/(-8)). Solve -2*m = -c - 5, b*m - 4*m + 2*c + y = 0 for m.
3
Suppose -25 = -5*m + 2*a, 0 = -m + 2*a + 13. Solve -3*d + 0 = 2*s + 10, -17 = m*d - 5*s for d.
-4
Let n = -2008 - -2012. Solve 14 = 2*g + n*s, 0*g + 24 = 4*g + 4*s for g.
5
Let g = 158 + -56. Suppose g = f + 2*f. Let n = 54 - f. Solve -3*a = -b + 1 + 4, 3*a - n = -4*b for b.
5
Let y(s) = 6*s + 27. Let b be y(-4). Solve m - 6 = 4*m + 3*x, -m + b*x = 10 for m.
-4
Suppose -16*u + 3*u + 208 = 0. Solve z = -0*t - 2*t - 8, -4*z = -4*t - u for z.
0
Suppose -4*v + 0*v + 12 = 0. Let p be v/12 + 66/24. Solve -2*r + 8 = 0, p*n + 29 = -2*n + r for n.
-5
Suppose 1 = -r, 0 = q + 5*r - 21 - 18. Let s be (q/(-3))/((-4)/6). Solve -3*f = i - 4*i - 6, 0 = -5*f - i + s for f.
4
Let p = 5 + -10. Suppose -16 = -4*w - 0*w - 5*r, -12 = 3*r. Let j = p + w. Solve -2*x + 20 = -j*t, -3*x + 0*x - 14 = 5*t for t.
-4
Let u = -1 + 4. Suppose 0 = 5*n - u - 7. Let w be 0/n - 30/(-6). Solve -2 = 3*g + 5*v - 0, -w = 5*v for g.
1
Let u be (-4)/(-18) + (-488)/9. Let h = u + 76. Suppose -18*f - 180 = -h*f. Solve f = -4*x - 5*t, -x + 6 = 2*t + 21 for x.
-5
Suppose -3*n - 34 = -5*n. Solve 3*x - 5*y = 27 + 4, -x = -3*y - n for x.
2
Let r(x) = x**2 - 25*x - 21. Let l be r(26). Solve 1 = 2*t + t + 2*g, l*g + 9 = 4*t for t.
1
Suppose -16 = 4*m - 6*m. Suppose 4*i - 3*k + 0*k = -13, 2*k + 14 = -3*i. Let r = i + m. Solve -r*t + t = -5*a + 29, 2*t + 4*a = 10 for t.
-3
Let r = -5 + 6. Let p be 4/8*14 + r. Suppose -3*d + 2*d + 3 = 0, -2*d = l - 8. Solve -l*j - 13 = 5*n, -2*n + 6 = -4*j - p for n.
-1
Suppose 8*g - 19*g + 22 = 0. Let c(k) = k**3 - 6*k**2 + 2*k - 9. Let v be c(6). Solve g - 8 = v*p - 5*m, 4*p + m = 15 for p.
3
Let y = -74 - -78. Suppose -b + h + 19 = 3*b, -b + 10 = 5*h. Solve y*k + 5*r = 2, 3*r = b*k + 2*r + 12 for k.
-2
Let a(l) = -l**3 - 30*l**2 + 2*l + 62. Let k be a(-30). Solve -k = z + z + 2*p, 14 = -2*z + 4*p for z.
-3
Let t(m) = 151 - 78 + 5*m - 77 + 2*m. Let u be t(1). Solve -g + 3 = -2*s - u, -4*s = -3*g + 10 for g.
-2
Suppose -4*b + 27 = -5*w, 0 = -5*w - 0 - 15. Solve 3*t + 6*f - b*f - 24 = 0, t = 3*f - 8 for t.
4
Suppose -5*f + 0*f + 20 = 0. Let m be 14/f*4 + -3. Let d = m - 9. Solve 5*k - 5 = d*s, 4*k - 4 = 4*s - 0*s for s.
0
Let f(d) = -d + 8. Let s be f(5). Suppose 4*a - 12 = 5*i, 4*i + s = a + 11. Solve -w - 3*w + a = -3*c, -w = -5*c - 2 for c.
0
Let u(c) = -c**2 - 6*c + 10. Let a = -28 - -21. Let m be u(a). Solve 3*y - m*d = 1 + 8, -3*y - d = -17 for y.
5
Suppose 15*c - 5*b = 13*c - 12, 2*c - 20 = -3*b. Solve -f - 6 = -5*k + 1, 0 = c*k - 5*f + 7 for k.
2
Let a be (27 + -29)*((-3)/(-2))/(-1). Solve -4*m = -a*g, 2*m + 2*m + 4 = 4*g for m.
3
Let m = -15 - 25. Let v be (m/(-25))/((-4)/(-10)). Solve 0*y - 20 = -3*y - v*l, 3*l = -4*y + 15 for y.
0
Let x(k) = 5*k - 27. Let f be x(6). Suppose 0 = -7*l + 3 + 18. Solve -t = f*o + o, -l*t = 0 for o.
0
Let a = -69 + 73. Let m be 6/18 + (-10)/(-6). Solve 2*z - 14 = 4*n + a*z, 2*n = m*z + 2 for n.
-2
Let h be (-10)/65 - (-28)/13. Suppose 6*s = -h + 8. Solve 3*y = -3*w + 12, -4*y + 2*w = 3*w - s for y.
-1
Let a be 0 + 7 - (-4 - -11). Let l(b) = b - 1. Let o be l(4). Solve a = 6*m - 2*m - 5*k + 26, o*k - 10 = m for m.
-4
Suppose -78 = -3*l + 5*p - 17, 0 = 5*l - p - 65. Solve -4*m = -l, 15 = i + 2*m + 3*m for i.
0
Let u be (12/(-28))/(24/(-280)). Solve -4*a = 2*z - 18, -a + z + 2 - u = 0 for a.
2
Let k = -515 - -520. Solve 4*f + 3 = -4*z - k, 0 = -f for z.
-2
Suppose -k + 2*k + 11 = 4*o, 32 = 4*k + 3*o. Solve -k*n - 8 = -2*z + 3, -3*z = -9 for n.
-1
Let l be (-2 + 23)/((-9)/(-48)). Let z = l + -108. Solve 0 = -2*g + 4*g + x + 11, 32 = -5*g - z*x for g.
-4
Suppose -5*j + 255 = 5*p, 2*j + 3*p - 122 = 5*p. Suppose j + 29 = 5*n. Let l = n - 12. Solve -x + 3*m + 10 = 0, 2*m = x - 0*m - l for x.
-5
Let a(h) = -2*h - 46. Let q(r) = -5*r - 91. Let l(v) = -13*a(v) + 6*q(v). Let g be l(12). Solve -4*s = -4*i + 32, 4 = -g*i - 3*s + 1 for i.
3
Let k be 4/14 - 84/(-49). Suppose k*o = 5*o + 15. Let t = 5 + o. Solve n + t*n = 4*r + 16, 5*r + n = -11 for r.
-3
Suppose 0 = 4*v - 6*m + m + 23, 3*m - 3 = -3*v. Let d(o) = -3*o - 24. Let b be d(-6). Let z be (b/(-9))/(v/(-15)). Solve -w - 2 = 0, z*t + 18 + 15 = -4*w for t.
-5
Let a(h) = 12*h**2 + 3*h + 2. Let n be a(-1). Suppose n*g - 15 = 6*g. Suppose y = g*y - 4. Solve 3*b + 3*m - y*m = 0, 1 = 2*b + m for b.
-1
Let j be (-6)/(-10) - 138/30. Let g be (-3*j/(-15))/(10/(-75)). Solve -2*b + 2*z + 0 = -4, -3*b = -5*z - g for b.
2
Let a = 85 + -80. Let y be (-16)/(-10)*(-5)/(-2). Solve -3*p = a*t + 1, y + 15 = 5*p - 2*t for p.
3
Let c be (-2)/(-4)*26*(-1 + 2). Suppose -c*i + 16*i = 18. Solve 3*k + 5*a = -2 + i, -3*a = -6 for k.
-2
Let k be ((-252)/(-30) - 8)/((-2)/(-5)). Solve 2*h + 2 = v, 2*h - k = -3*v + 3*h for v.
0
Let m be (3 + (-26)/6)*15/(-10). Solve -m*r + 4*o + 28 = 0, -2*r = r + 4*o + 8 for r.
4
Let c = -29 + 34. Suppose 2*q = -c*h + h - 28, 4*h = -12. Let z b