 13 = -3*j - 0*j, 4*j + 4 = 4*x. Suppose 2*d - 4 = 6. Let l = -6 - -6. Solve j*b = u - 4, -3*b + l*u + 16 = -d*u for b.
-3
Let m = 9 + -16. Let p = m + 40. Solve -r - 3 = 4*n, 3*n + p = 5*r - n for r.
5
Let t = -55 + 59. Let i = 204 - 199. Solve -t*n = k + 17, -i*k + 3*n + 2*n = -40 for k.
3
Suppose -4*b = -m - 2 - 6, 5*m - 8 = -4*b. Let h(y) = -2*y + 2. Let p be h(-1). Suppose 44 = p*u - 8. Solve -g + 2*t = -2*g - u, -b*t - 25 = 5*g for g.
-3
Suppose 0 = 4*i - 2*i - 8. Suppose 120 = l + 2*l. Suppose -4*w = -14*w + l. Solve 4 = -4*x - i*p, w*x - 2*p + 3 = -7 for x.
-2
Let t(j) = 20*j**2 + 4*j + 5. Let d be t(-1). Solve -n - 2 - d = 4*i, 0 = 4*i + 3*n + 29 for i.
-5
Let q(n) be the first derivative of n**3/3 - 2*n**2 - 3*n - 22. Let t be q(-1). Solve x = v - 3, -5*v - t + 8 = -2*x for x.
-3
Suppose 5*c - 6 = 2*c. Let y be 0/(-5 - (-10 - -6)). Solve -c*w = -y*h + 5*h, 0 = -5*w + 4*h - 33 for w.
-5
Suppose -40 - 14 = 9*x. Let j be (-6)/8 - x/8. Solve j*l = 3*l + s - 5, 4 = 3*l + 2*s for l.
2
Let m(g) = -3*g - 14. Let l be m(-6). Let f be -3 + 5/(20/(-12)). Let a = -1 - f. Solve 0 = -a*j + 4*o + 1, -l*j + o = -3*o for j.
1
Suppose -2*r + 2 = -r. Let c be 23 + -18 + 1*2*-1. Suppose 31 = 5*d + r*q, -5*d - 11 = c*q - 45. Solve -x + o - 10 = 4*o, -2*x - d = o for x.
-1
Suppose -3*d + 3*s + 44 - 8 = 0, 30 = 5*d + 5*s. Let a = d - -5. Let f = -6 + a. Solve 4*x + f = -p, -x = -0*x + 1 for p.
-4
Suppose 33 = -u + 1. Let f = -29 - u. Let g(z) = z**3 + 6*z**2 + 4*z. Let y be g(-5). Solve -2*d - f*m + 8 = -y*m, -2 = -d - m for d.
3
Suppose 0 = 8*b + b + 9*b. Solve b = -5*f + 2*r + 9, -2*r + 1 = 5 for f.
1
Let f = -24 - -30. Suppose 0 = 3*i + f - 18. Solve -i*x = -q - 4 + 5, -14 = 2*x + 4*q for x.
-1
Suppose -26 = -12*i + 22. Solve -y + 2*c = -i, 3*y - 4 = 2*y - 4*c for y.
4
Let i = -1 - -12. Let j be 18/(-4) + 4 - i/(-2). Solve -4*w + 7*w + 4*y = -11, -j*y = 2*w + 19 for w.
3
Let s = 111 - 110. Let g be 8/(-16)*(-4)/s. Solve -3*n - j - g*j - 6 = 0, 22 = -5*n - j for n.
-5
Let h = 1195 + -1188. Solve 5*a + h + 0 = -4*k, 2 = k for a.
-3
Let t = 2 - 0. Let l = 1100 + -1098. Solve -2*m - 4 + 16 = -l*y, 17 = -t*y + 3*m for y.
-1
Let a = 228 - 226. Solve 2*j + 2*v = 4, -a*v - 2*v = -3*j + 27 for j.
5
Let l = -724 - -726. Solve -3*t = -3*d - 3, 3*t - d + 17 = -l*d for t.
-4
Let w = 93 - 91. Suppose -14 = -5*y - 4. Solve -3*n + w*g = -9, 4*g = -n + y*g + 11 for n.
5
Let h be -2 + (0 + -2 - -1 - -3). Suppose h = 5*u - k - 16, 28 = -3*u + 6*u + 4*k. Suppose 5 = 2*b - b. Solve -3*l + 3 = -u*q - b, 0 = -2*l - 5*q - 33 for l.
-4
Let y(z) = -z**3 + 9*z**2 + z - 5. Let o be y(9). Let c = 7 - o. Suppose i - c*i = -10. Solve 0 = -k - i*f, 2*k - 1 + 14 = 3*f for k.
-5
Let d be 16/10 - 4/(-10). Let n = 43 - 38. Suppose 2 - n = -o. Solve d*t = -o*u - 2*t + 16, -u + 12 = 3*t for u.
0
Let o(i) = -i**3 - 11*i**2 - 13*i - 8. Let p be o(-10). Let h = p + -1. Suppose 0 = 5*q - h + 1. Solve q*y - 5*d + 6 = 0, y + 2*d - 9 = -4 for y.
1
Suppose 11*r - 72 = 93. Suppose r*s = -14 + 269. Solve -3*o - 17 = 5*n - 0*o, -s = -3*n + 5*o for n.
-1
Let k = 27 - 14. Suppose 3*b + q - 4*q = 27, -b + k = -2*q. Solve -3*p - h = -2*h - 7, -5*p + 15 = -b*h for p.
2
Let u be (2 + 0)*(65/2)/13. Solve -b + 3*k - 4*k + 3 = 0, -b = 3*k - u for b.
2
Suppose 3*f = f - 6, 4*f = 3*k - 27. Solve -26 = -4*v - k*m, -3*v - 2*m = -5*m - 6 for v.
4
Let i(t) = t**2 - 37*t + 341. Let l be i(21). Solve 3*v + 4 = -p, -p + l*p + 1 = 3*v for p.
-1
Suppose 4*c = z - 240, -4*c + 180 = -7*c + 4*z. Let n = -51 - c. Solve 0*j + n = p - 4*j, 4*p + 18 = -2*j for p.
-3
Suppose 29*m - 37*m + 40 = 0. Suppose 2*r - 10 = -2*f, 0 = m*r + 6*f - 9*f - 17. Solve z = -5*i - 18 + 3, r*z + 14 = 3*i for i.
-2
Suppose -4*u - 11 = v - u, v = 4*u + 17. Let h be (-9 + 8)*(0 + 1 - v). Solve -4 = 2*g + 2*f - h, -2*g = -2*f for g.
-1
Let r(i) = -i - 51. Let h be r(-56). Solve -4*o = -5*u + 12, -24 = -h*u - 0*o - 2*o for u.
4
Let t = -334 + 339. Solve 24 = -j - 4*j + 4*r, -r = -j - t for j.
-4
Let h(g) = g + 4. Let o be h(0). Suppose -2*z + 6 = -5*z, -4*z - 2 = 2*s. Suppose -s*l + 5*c + 5 = 14, 2*c - 4 = l. Solve 8 = 4*y + o*k, y - 3 = -l*k + 3 for y.
-2
Suppose 3*j + 5 = 17. Suppose -18 + 66 = -j*m. Let k be m/(-30) - (-9)/15. Solve 0 = 3*z + 2*v + k, 1 = 4*z + 2*v - 1 for z.
3
Let z be (560/336)/((-10)/(-36) + 0). Solve 5*t - 3 = -3*n + 5*n, -2*t + z = -2*n for n.
-4
Suppose -9*n - 2673 = -2727. Solve -3*f + 14 = -4*a, -n = -5*a - f - 33 for a.
-5
Let o = -17 + 20. Suppose -o*k = -5*k. Suppose k = -0*d + 4*d - 28. Solve -2*z = -5*x + 2*x + d, -4*x + 5*z = -7 for x.
3
Suppose -5*b = -4*g - 12, -b + 5*g = 3*b - 6. Suppose -12 = -4*h + b. Suppose 0 = -2*p + h*p - 8. Solve 2*t = p*s + 18, 2*s = -3*s - 15 for t.
3
Suppose z + v = -0*v - 3, 2*z - 3*v - 19 = 0. Solve z*k - 4*w + 13 = 9, -5*w + 10 = -5*k for k.
-2
Let g = 42 - 51. Let j be -6*(-5)/g*(-12)/10. Solve j*d - 4*z + 12 = 0, 2*z - 3 = -3*d - 7 for d.
-2
Suppose 0*c + 3*c - 7 = -4*l, 2*c + 18 = 3*l. Solve 0 = -5*u + l*j + 21, 0 = -u + j + 4 for u.
5
Let c be (9/(-4))/((-6)/16). Solve 3*z - 21 = 3*n, -2*n + 12 = -c*n for z.
4
Let a = 1211 + -1209. Solve -5*k - u + 12 + 12 = 0, a*u - 4 = k for k.
4
Let v(s) be the second derivative of 0 - 3*s + 1/6*s**3 + 2*s**2. Let g be v(0). Solve -3 = 3*u, -g*u - 2 = 4*n - 2*n for n.
1
Let k(f) = 2*f + 6. Let b be k(-3). Suppose -7*j + 8*j - 12 = b. Solve -3*i + j = 2*i - 4*n, -5*n = -10 for i.
4
Suppose -3*c = c - 4*o - 112, -c + 4*o + 19 = 0. Let w = c - 28. Solve -2*i = -3*b - b + 10, b - i - w = 0 for b.
2
Let o(h) = -h + 7. Let p be o(-5). Suppose i - 33 = -2*c, c + 5*i - 51 = -p. Suppose c*r - 1 = 13*r. Solve 3 = -l, -2 = -2*q - 3*l - r for q.
5
Let s = 32 + -26. Solve 0 = -3*d + d + 2*c, -2*c - s = -5*d for d.
2
Let z be (-1)/(14/(-92)) - 9/(-21). Solve -b = 4*q + z, 4*b + 1 + 7 = 4*q for b.
-3
Let x(t) = 0*t**2 + 5 + 0*t**2 + 5*t + 7*t**2 - 5*t**2. Let i be x(-4). Suppose -2*q = -43 + i. Solve -3*a + 9 = n, 0*n = -2*a - 3*n + q for a.
2
Let y(j) = 8*j + 2. Let t be y(3). Let a = 31 - t. Solve -a*k - 8 = 5*p - 38, -2 = 3*p - k for p.
1
Suppose 3*k + 1 - 10 = 0. Let l = -2 - -15. Suppose -5*s - k = -l. Solve t = s*g + g, 8 = g - 3*t for g.
-1
Let h = 25 + -21. Suppose 2*u = 4*u. Let s = h - u. Solve -5*d + 4*i = 12, s*i - 3 = 3*i for d.
0
Let k(w) = w**3 + 14*w**2 + 17. Suppose -4*b + 6*b - 24 = l, -13 = 2*l + 3*b. Let c be k(l). Solve -q - c = 4*g, 0 = g - 2*q + 11 for g.
-5
Let w(h) = -h**2 + 11*h - 26. Let l be w(7). Solve -18 = i - 0*i + 5*z, l*z = 5*i + 9 for i.
-3
Let s = -222 + 225. Solve 4*g - 14 = 6, -s*z - 3*g = -21 for z.
2
Suppose -98*y = -136*y + 152. Solve y*w = -2*u - 18, 2*w - 4*w = -4*u + 14 for w.
-5
Let q be 2*2/2 + 3. Let v(u) = -u**2 - 19*u + 5. Let h be v(-19). Solve h = -q*j - 3*t, t + 2*t = -3*j - 3 for j.
-1
Let p(f) = -2*f - 2. Let n be p(-14). Let q = n - 12. Solve -q - 7 = b - 5*c, 16 = 4*c for b.
-1
Let u = 16 + -21. Let v = u - -9. Suppose k - v = -k. Solve -5*p = -2*p - z + 6, -2*p - k*z = 4 for p.
-2
Let w be 338/18 + 2/9. Suppose 9*q - w = 17. Solve 5*j = -2*h - h + 34, q*j - 17 = h for j.
5
Let b(r) = -r**2 + 3*r + 1. Let s be b(2). Let j be -18*(s/(-9) + -1). Solve -c = 3*c - k - j, -2*k - 3 = c for c.
5
Suppose -2*c - 16 = -6*c. Let d be (968/(-66))/(c/(-6)). Solve -q + 0*j + 3 = -j, -4*q - j + d = 0 for q.
5
Let w(p) = 4*p - 17. Let k = 11 + -3. Let d be w(k). Solve d = -3*b, 5*u = -b - b - 20 for u.
-2
Suppose -d - 5 = -v, -4*d = -4*v + d + 20. Suppose -84*b + 80*b = -20. Suppose -4*x + b*x - v = 0. Solve -j = -5*o + x, 5*j - 1 = -2*o + o for j.
0
Suppose 0 = -2*q - 0*q - 4. Let t = 0 - q. Let m be 336/32 + t/(-4). Solve 4*d - 3*p = 7*d + 3, m = 5*p for d.
-3
Suppose 5*w = 5*u - 85, -3*u = -2*w - 18 - 30. Suppose 0 = -3*z - 3*b + 15, -3*b + 4*b - u = -4*z. Solve -z*n + 2*j = j - 17, -2*n = -4*j - 28 for n.
4
Let o = -7 - -12. Suppose 0 = -0*i - 2*i + 8. Let r be 3*21/18*i. Solve 5*b - o*w = -40, 8*b - w = 5*b - r for b.
-3
Let b = -8 + 4. Let r be b/(-6) + (-8)/12. Suppose -k + 0*k = r. Solve k = -2*s + q, -s - 3*s = 3*q - 20 for s.
2
Suppose c = -1, 2*c = -2*v + 7*c + 45. Suppose 4*d - v = 4. Suppose 0 = f - 5 + 2. Solve 2*l + f*l - d = -a, a = 1 for l.
1
Let a(f) = 2*f - 35. Let z(i) = -2*i + 36. Let x(q) = -3*a