 = 20, z = -0*j - j + 2*d - 5 for j.
5
Let l(y) = y + 17. Let q be l(-12). Suppose 150 = -q*w + 15*w. Solve 3*p + 3*u - w = 0, -2*p + 4*u - 8*u = -20 for p.
0
Let t = -146 - -149. Suppose t*c = 9 + 6. Solve 3*f - f - 13 = 5*s, -5 = c*f for s.
-3
Let b(z) = 7*z**2 - 21*z + 19. Let g be b(1). Solve 19 = 4*r - r - g*x, 2*r - 14 = 4*x for r.
3
Suppose 19*d - 45 = 96 - 27. Let b = 6 + -4. Suppose l - 3*u + 0*u = -4, 5*l = b*u + 19. Solve l*c - 2*c = 2*w, 3*c - d = 0 for w.
3
Let f(a) = -2*a - 53. Let q be f(-29). Let h be q/((-60)/(-39)) + 2/(-8). Solve h*d = 4*l - 5, 0 = -5*l - 6 + 1 for d.
-3
Let o(w) = 3*w**3 - 4*w**2 + 34*w - 56. Let v be o(2). Solve 0 = j, 0 = -3*b + v*j - 25*j + 3 for b.
1
Suppose -9 = 4*j - 25. Suppose -2*o - 8 = -6*o. Suppose 0 = -2*y + 3 + 1. Solve 2 = y*f, 6*p - o*p - j*f = 0 for p.
1
Suppose -3*t - 432 = -a + 4*a, 4*a - t + 596 = 0. Let m = 157 + a. Solve -m*z + 3*h = -4*z, -z + 3*h = 12 for z.
3
Suppose 2*v = -5*s + 3498, 7*s - 2798 = 3*s - 2*v. Let l = -680 + s. Solve 5*w + 26 = 3*u, 0 = 2*u + 2*w - 6*w - l for u.
2
Let m(y) = y**2 - 59*y + 840. Let l be m(24). Solve -4*u - u - 15 = l, -4*g - 4*u - 24 = 0 for g.
-3
Let p(o) = 23*o**3 + 12*o**3 + 5 + 3*o - 36*o**3 - 4*o**2 + 6. Let x be p(-5). Solve -i - 19 = -3*k, -k + 0*k = -4*i - x for k.
5
Suppose -8*a - 25 = -3*j - 3*a, 0 = -4*j + 5*a + 30. Suppose 3*v - 5*v + 5*d = 14, 5*v + 3*d = 27. Solve m + j = -2*w, 2*m - v*w - 8 = -w for m.
1
Let i be (-5)/(6 + (6 + 36)/(-6)). Suppose 4*h = -6*u + u + 142, -3*h = -4*u + 126. Solve -19 = 3*g + i*v, -4*g + 13 = 5*v + u for g.
2
Suppose 2*t + 2 = -i, 6*i - 28 = -5*t + 9*i. Solve 4*g - 2*v = 6, g = t*v + 5 - 8 for g.
3
Let u(b) = -b**3 - 74*b**2 + 2349*b - 292. Let m be u(-98). Let l = 1 + -1. Solve l*q - 1 = 3*k + q, 0 = 4*k - m*q + 18 for k.
-2
Let r = 3696 - 3691. Solve -5 = -r*a, -6*g + 5*g + 3*a - 6 = 0 for g.
-3
Let h = 4987 - 4983. Solve h*g + 28 = 0, 2*m = 15*g - 10*g + 29 for m.
-3
Let f be -7*((-6)/48)/(3/24). Solve 3*n - f*n + 4 = -2*v, n - 2*v + 5 = 0 for n.
3
Let x(g) = 81*g + 1776. Let t be x(-21). Solve -3*d - 73*w - 6 = -t*w, 0 = 5*w for d.
-2
Suppose -80 = -13*u + 15 - 30. Solve -7 - 3 = u*f - 2*x, -5*f + 4*x - 20 = 0 for f.
0
Suppose 11*i = 6*i + 25. Solve 0 = 2*d - u + i, 10*u - 11*u + 15 = -4*d for d.
-5
Let g(b) = -3*b. Let x be g(-1). Let y be 40/50*25 + -18. Solve x*t - 4*a = 0, t = y*t + 3*a for t.
0
Suppose -15 = -5*w + 60*a - 57*a, 0 = -w - a + 11. Solve -20 = -8*v + w*v + 5*s, -4*s - 19 = -v for v.
-5
Let x = 7 + -5. Suppose 0 = -x*s + 3 + 13. Let u(n) = 2*n**2 - 115*n - 1504. Let h be u(-11). Solve -2*g = 0, -h*a + 3*g = -7*a + s for a.
2
Let s be (-2)/5 + (306/90 - -2). Solve 4*k + 3 + 6 = s*i, 3*k - 12 = 0 for i.
5
Let i = 276 + 345. Suppose 29*y - i = -41. Solve 0*h + y = -3*h - 5*l, 8 = -3*h - 2*l for h.
0
Let j be (-16)/(-2) + (6 + (-46)/8)*-16. Solve -43*l - 3*x + 21 = -46*l, -2*l - 18 = -j*x for l.
-5
Let d = 0 - -5. Suppose 20*r + 7*r = -5805. Let f = 217 + r. Solve -f*u - 1 - 1 = h, d*u - 4*h + 18 = 0 for u.
-2
Suppose 0 = -0*t + 4*t + 5*g - 40, 4*g = -2*t + 26. Suppose -5*q = -t*w + 2 + 8, -4*q - 4 = -2*w. Solve 4*d = -2*i + 4, -4*i + 5*i + 2 = q for d.
2
Let b be (-2)/(32/(-40) - 2/(-5)). Let t be -3 + 11 - b/((-30)/(-24)). Solve -u = -t*g + 15, -4*u = -5*g + 6*g - 8 for g.
4
Let w(x) = x + 18. Let f be w(-15). Suppose 3*u = -f + 6, -u - 19 = -5*n. Suppose -3 = -n*g + 29. Solve -3*k + 3*y + 19 = 8*y, 0 = 2*k + y - g for k.
3
Suppose -4*k + 2*o = 286, k - 2*o + 71 = -o. Let g be k/15*(-125)/50. Solve 3*i = -i - g, -q + 2 = i for q.
5
Let q = 23191 + -23186. Solve 5*l = -q*z + 25, -4*z - 3 = -2*l + 1 for z.
1
Let j = 29 + -1. Let f = j - 34. Let o(p) = p**3 + 7*p**2 + 8*p + 17. Let h be o(f). Solve d + d = h*l - 9, 15 = 4*d + l for d.
3
Let k(s) = -22*s - 7. Let q be k(-1). Suppose -4*b = 0, -3*t - 3*b + 39 - q = 0. Solve 4*c - 2*h = -3*h - t, 0 = -c - 3*h - 13 for c.
-1
Let v = 5 - 3. Suppose -962*t + 126 = -956*t. Suppose -5*g + 4*n = -0 - t, 4*g - n = 19. Solve -5*u + q = -22, 0 = v*u + 3*u - g*q - 10 for u.
5
Let n(q) = q + 1. Let h be n(-3). Let t be (h - 2)/(156/42 - 4). Solve 5*f - 2*u = 14 + 16, f - 2*u = t for f.
4
Suppose -5*f + 2*i + 12 = 0, -13*f - 28 = -12*f - 8*i. Solve f*b + 32 = -4*g, 7*g - 2*g + 3*b = -30 for g.
-3
Let w be (1*(-9 - -8))/((-1)/5). Suppose 20 + w = 5*p. Solve p*m = -4*k + 16, 4*m = 2*k + 3*k - 20 for k.
4
Let c(n) = -2*n**2 + 8*n + 4. Let j be c(-6). Let b = 123 + j. Suppose -4*w + 6 + 6 = 0. Solve k - w*z + b*z = -15, 2*k - z = 6 for k.
1
Suppose g + 0*g = 4*n + 39, -4*n + 123 = 5*g. Suppose -l + m + 6 = 2*m, 5*m = -4*l + g. Solve -5*f + 12 = l*k, k - 9 - 2 = -4*f for f.
3
Let y(c) = 26*c - 700. Let q be y(27). Solve -3*w + 3*i = 15, -q*w - 9*i - 3 = -4*i for w.
-4
Let j be ((-2)/(-10))/((-15)/25)*-4*42. Solve -4 = -y, 2*r - j = 2*y - 64 for r.
0
Suppose 0 = 5*b + 203 + 67. Let j = -50 - b. Solve -3*k = g, -2*k = -6*k + j*g for k.
0
Let b = 2249 - 2245. Solve 20 = 5*i, -2*x + b*i + 38 - 46 = 0 for x.
4
Suppose -71*h + s = -74*h + 56, 4*h - 3*s - 105 = 0. Solve -9*g + 4*c - 7*c = -h, -8 = -2*c for g.
1
Suppose -3*l = -s - 0*s - 4, s + 8 = 5*l. Solve -32*u - 10 = -33*u - l*g, -8 = -2*u - g for u.
2
Let m(h) = -h**2 - 43*h + 350. Let c be m(7). Let z be (-3)/9 + (-32)/(-6). Solve -z*a - 3*g - 2 = c, 0 = -4*a + a - 3*g - 6 for a.
2
Let s(i) = i**2 - 49*i + 573. Let v be s(19). Solve -5*q - 2*x + 2 = 1, -9 = -v*x for q.
-1
Let j be 3/((-54)/(-15)) - (2 - 21/18). Solve 3*x + 5*z - 5 = j, -5*z - 25 = 18*x - 21*x for x.
5
Let b be ((-6)/(-9))/(3/18). Let d(u) = -8*u + 37. Let y be d(b). Solve -q = -5*q + 3*i + 14, -4*q = y*i - 30 for q.
5
Let b(n) = -n**2 - 2*n - 3. Let k be b(9). Let x be 4/(-10) + 16/(-10). Let y be 6/x - k/17. Solve 2*h - h = 2*m - 3, -y*m - 2*h - 13 = 0 for m.
-1
Let m = 434 - 620. Let a = -176 - m. Solve 5*y + 3*i = -7 - a, 4*y + 4*i = -20 for y.
-1
Let g(j) be the first derivative of -2*j**2 + 71*j + 52. Let f be g(17). Solve f*r + 6 = -2*t, 15 - 7 = -2*t - 4*r for t.
0
Let o(g) be the third derivative of -1/60*g**5 + 5/8*g**4 + 11*g**2 - 4/3*g**3 + 0 + 0*g. Let z be o(14). Solve 2*d - 4 = -a + z, 3*a - 5*d + 25 = 0 for a.
0
Let h be (-9 + -2)*(-3 - (-31)/11). Solve -5*x = -n - 6, 275 - 257 = h*n + 5*x for n.
4
Let o(y) = -36*y + 2. Let r be o(-2). Suppose -2*k - 76 = -5*b, 4*b + k - r = -8. Let v = b - 16. Solve v = -5*w - 10, 2*w = u + 5*w + 3 for u.
3
Suppose 76*j = -46*j - 56*j. Solve -r = 2*z - 5*r + 30, z + r = j for z.
-5
Let j = 26179 + -26177. Solve 5*f = 6*f - 5, -j*f + 1 = 3*d for d.
-3
Suppose 0 = 5*m - 2*b - 2*b - 55, 0 = -3*b - 15. Let l = 241 - 275. Let y = l - -37. Solve 4*s + m = 2*v + s, -y*v = 3*s - 18 for v.
5
Let y(t) = 12*t + 1260. Let f be y(-104). Solve 4*m = 0, 10*c - 2*m = 4*c + f for c.
2
Suppose -30*j + 23*j + 14 = 0. Let v(p) = -p**2 + 3*p - 2 + p - 1 + p**3 - 1. Let x be v(2). Solve -4*g = -r - j*r, 4*g + x = r for r.
-4
Let z(v) = v + 3. Let m be z(3). Let p be (-3)/6 - ((-9)/m - -1). Suppose 4*q - 14 - 50 = 0. Solve -4*b - q = p, -b - 28 = -4*a + b for a.
5
Let d be (2/(-4)*(17 + -3))/(-1). Suppose d*f - 255 = 2*f. Let a = f + -41. Solve a = 5*w + 2*g - 18, 8 = 2*g for w.
4
Suppose -5*j + 26 + 39 = -5*f, -2*j + 21 = 3*f. Solve -3*d + j*i = 14*i - 5, 3*i + 6 = 0 for d.
3
Suppose -2*z + 3*q - 131 = -4*z, 0 = -2*z + 5*q + 155. Let s be 7*40/z + 0 + 7. Solve 3*d - s = 4*g + 6*d, 2*g + 8 = -2*d for g.
1
Let g = -198 + 200. Suppose 0*h + 8 = 3*h - q, -2*q + 8 = g*h. Solve 2*i + u - 17 = -h*i, -15 = 5*u for i.
4
Let o = -633 + 635. Suppose -a - 4 - 4 = -4*t, 5*t + 4*a = 10. Suppose i - o*r = t*i + 2, -4 = i + 3*r. Solve i*c = 2*l - 6, 12 = 2*l - 6*c + c for l.
1
Let p be -17 - 12/(108/(-333)). Solve 3 = 2*a + 13, -a + p = -5*j for j.
-5
Suppose 4*y - 2*y - 28 = 0. Let o = -22 - -24. Let r be (4/12)/(1/9). Solve r*g - y - 6 = -q, o*g = 2*q for g.
5
Let y(p) = -8*p + 20 - 10*p + 15*p + 23. Let v be y(12). Suppose v*b = 14*b - 7. Solve 0 = -4*g - 0*g - 5*t - 30, g = 3*t + b for g.
-5
Let y = -280 - -281. Suppose -v - y = -2*v. Solve v = 3*i + 2*u - u, -18 = -2*i - 5*u for i.
-1
Suppose 8 = -3*a + t + 19, 3*a = 4*t + 8. Solve 0 = -5*c - a*s - 6, 7 = -c - 5*s + 10*s for c.
-2
Let r be 1 + 35*2/(-2). Let d be (-17)/r - (