2 = 0 for v.
-1
Let l be ((-18)/63)/(2/(-28)). Solve 3*u - 8 = -l*f, u - 2 = 5*f + 7 for u.
4
Suppose 6*b + 2 = 56. Let m(q) = -q**3 + 8*q**2 + 12*q + 13. Let p be m(b). Solve -p = 5*h - 3*x, 5*x - 16 = -2*h - 1 for h.
-5
Let g = -296 - -317. Solve 2*d + 2*z - 2 = z, d = 5*z - g for d.
-1
Let f be -3*(0 - 4/(-12)) - -4. Solve y + 3*p = -y - 7, -y + f*p + 1 = 0 for y.
-2
Let k be 5/(-25) + 21/5 + -2. Solve -b + 2*b = -k*v, 16 = 4*b for v.
-2
Suppose 0 = 2*j - 11 + 1. Let w be (-2 + 0)/(4 + (-66)/15). Suppose -w*s - 25 = 0, -9 = -4*m + s + 4. Solve -x - 5 = -j*k + 2*x, -m*k - 9 = x for k.
-2
Let s = -208 + 213. Solve -s*r = 2*k - 33, -4*k + k + 37 = 5*r for k.
4
Let r(a) = 15*a**3 + 2*a**2 + 3*a + 2. Let c be r(-1). Let k be (-273)/c*(-8)/6. Let h = -18 - k. Solve 2*q + 2*q + 12 = 0, 2*i - h = 4*q for i.
-2
Let y(j) = -j + 4. Let q be y(4). Let v be ((-39)/6 - -6)*(-6 + 0). Suppose -6*h + 117 = v*h. Solve -4*f - 17 = -i, i + 4*f + h + 2 = q for i.
1
Suppose -15*d = -2*d - 156. Solve o + d = -4*w - 0, 0 = 4*w + 3*o + 20 for w.
-2
Let d be 1/(-2 + 3 + 0)*-37. Let j = d - -42. Solve g + 0*g = -j*m + 18, 0 = 3*m - 5*g + 6 for m.
3
Let s be (1/(-1))/(-1*2/6). Let v be (s - 1) + (1/1 - 1). Solve -5*g = -5, -2*c = -v*g - 1 + 13 for c.
-5
Let r(w) = -w. Let p be r(5). Let t be (p - -4)/((-1)/7). Suppose 0 = -8*u + t*u + 5. Solve -3*x + 2*l + 5 + 4 = 0, 0 = -2*x + u*l - 5 for x.
5
Suppose -17 = -4*i + 15. Suppose i*a = 5*a. Suppose -4*u + 4*f = u - 30, u - 5*f - 27 = a. Solve -u*q - 14 = 4*d, 2*q + 5 + 3 = -d for q.
-3
Let z = -6 + 10. Suppose -s + 26 = 4*a - 0, z*a - 44 = -4*s. Let v = -5 + 8. Solve 3*b = s, 4*b - 2 = v*i - 0*b for i.
2
Let c be -4 + (-28)/(-1) - 20/4. Let m be 1/3 + 82/6. Let z = c - m. Solve -z*v = 3*w + 12, 2*v - 1 = w + 3 for v.
0
Let q(u) = u**3 - 9*u**2 + 7*u + 3. Let l be q(8). Let m be (-1 + 1)*l/(-10). Solve 3*f - 2*f - 2*a + 11 = m, -2*a + 23 = -5*f for f.
-3
Let z(q) = -2*q + 1. Let x be z(-2). Suppose 4*a - t - 20 = 108, a - 3*t = 43. Solve 40 = -5*g + 4*o, g - x*g = -3*o + a for g.
-4
Let o(t) = -t**3 - 2*t**2 + 3*t + 3. Let d be o(-3). Suppose d*k + 4*w + w = 58, -30 = -5*k + 5*w. Solve -3*h = -4*x + 10, 1 = 3*x - k for h.
2
Suppose -2 = -x - p, -2*x = p - 12 + 6. Solve 1 = -x*y - 5*f - 1, -3*y - 5*f + 1 = 0 for y.
-3
Let w = -20 - -25. Suppose 3*q - 3*b - 66 = 0, 4*b - 3*b + 62 = 3*q. Solve x - 20 = -4*t - x, w*x = q for t.
3
Let g = 17 - 6. Suppose -4*y + s + 117 = 0, -3*y = 2*y + 4*s - 120. Let r be 440/y - 6/(-21). Solve 3*q + g = -j, j - 2*j = 4*q + r for j.
4
Suppose w = 3*g - 35, -4*g + 4*w + 46 = 3*w. Solve 5*j - t - g = 0, -4*j + 7*j + 4*t = 2 for j.
2
Suppose 0 = -3*s - 15, 4*z + 1 + 1 = -2*s. Let j be 3/(-9) + 48/9. Suppose -2*i = i + 3, -j*i - 11 = -2*b. Solve 0 = 2*n - x - 6, 12 = b*n - 5*x + z*x for n.
2
Let y(j) = 17*j - 341. Let p be y(21). Solve -5*g + 25 + 3 = 4*i, -5*g + 2*i = -p for g.
4
Let m(t) = 19 - 13 - 2*t - 11. Let y be m(-7). Solve -x + y = -5*h - 7, 2*h = 2*x for x.
-4
Let a(b) = 2*b**2 + 4*b + 6. Let k be ((-4)/14 - (-20)/21)*-3. Let y be a(k). Solve 6 = 4*q + 4*p - 6, -4*q = 2*p - y for q.
0
Suppose -m - 2*m + 3*s = -33, -4*m + 19 = s. Let b = 11 - m. Let a(i) = i**3 - 6*i**2 + 4*i + 5. Let u be a(5). Solve -t + 9 = 2*h - 0*h, b*h - 20 = u for t.
1
Let h be 17 - 2*9/6. Solve -5*r = -10*r - 5*k + 25, -h = -3*r - 2*k for r.
4
Let q(m) = -4*m + 6*m - 5*m - 15. Let v be q(-6). Solve -v*n - 4*f = 0, 4*f - 8*f = 4*n - 4 for n.
4
Suppose 5*q - 187 = -2*i, 0 = -q - 0*q - 2*i + 39. Solve -4*h = 2*j - 28, 3*j + 4*h = -h + q for j.
4
Let j = -20 + 23. Suppose -44 = -j*l + 4*l. Let x be (-888)/l - (-4)/(-22). Solve 3*r + 5*u = x, 0*u + 7 = r + 2*u for r.
5
Let n = 10 + -5. Suppose -i + n - 3 = 0. Solve 3*q + 4*r + i = 2*r, -3*q - r = 7 for q.
-4
Suppose 0 = -4*k - 4*k + 24. Solve -7 = 3*b + 5*h, 4*b = 5*b - k*h + 7 for b.
-4
Let f(x) be the first derivative of 1/2*x**2 + 9 + 3*x. Let m be f(1). Solve -5*o + 4*p = 8, -o - 4 = m*o - 2*p for o.
0
Let m(y) = 2*y**2 - 2*y - 58. Let x be m(-5). Solve -2*t = 5*j - t + 6, -x*j = t for j.
-2
Suppose 21*u - 14*u = 0. Solve u = -4*n + 2*d + 16, -d = -5*d + 8 for n.
5
Let f = -534 + 534. Solve -4*g + 4*r + r - 13 = f, g - 23 = -4*r for g.
3
Let y(g) = -3*g - 2*g**3 + 4*g - 1 + g + g**3. Let p be y(1). Let r be 1 - (-24)/(-6) - -7. Solve 2*n + r*m = 3*n - 7, p = -5*m - 5 for n.
3
Let m(p) = 10*p - 20. Let d be (26/10 - (-8)/20)*2. Let a be m(d). Solve -4*x + 28 + 3 = -3*z, 5*x - 4*z = a for x.
4
Let q be (1 - (-39)/(-21))*28/(-8). Solve -4 = -2*v + 5*k - 3, q*k = 3 for v.
3
Let y = -9 - 3. Let s be ((-18)/y)/(2/4). Let v = -1 + s. Solve -5*j - b - 5 = -0*b, -v*j + 2*b - 2 = 0 for j.
-1
Suppose -5*z = -a - 3, 4*z + 3*a + 1 = 11. Solve -n = -g - z + 2, g = 2*n + 3 for n.
-2
Suppose 13*t + 3 = 3. Solve -3*j + 5*i - 24 = 2*i, -5*j + 3*i - 34 = t for j.
-5
Let c(m) = -m**2 + 7*m - 10. Let l be c(5). Suppose l*h - 4*h = -140. Suppose -6*f = 2*z - 2*f - 28, f = 3*z - h. Solve -x - 8 = -4*y + x, 2*y = -x + z for y.
4
Let g(x) = -x + 3. Let o be g(-3). Suppose 4*y - o - 2 = 0. Solve 4*m = 5*q - 2*q - 14, 0 = -3*m + y*q - 11 for m.
-5
Let j be (-54)/10 - ((-90)/(-25) + -4). Let h be j/20 + (-34)/(-16)*2. Solve a + 2*b - 22 = -2*a, -4*a + h*b - 4 = 0 for a.
4
Let q be 56/(-35) - 4/10. Let a be -2 + (2 - 2) - q. Suppose -5*u = r - 7, -3*r + 3*u = -0 - 3. Solve 2*h - 7 = f, r*h - 11 + a = 5*f for f.
-1
Suppose -7 = -4*n + 5. Let r(x) = 12*x + 7*x - 1 - 17*x. Let b be r(n). Solve 0 = -5*i + 25, 3*w = b*i - 3*i + 2 for w.
4
Let a(y) = 5*y + 35. Let x be a(-6). Solve -3*t - 2 = -2*c - 11, x*c - 4*t + 19 = 0 for c.
-3
Suppose 0 = -23*h + 20*h + 9. Solve -19 = -5*x + 2*w - 6*w, -4*x + h*w + 9 = 0 for x.
3
Let j(x) = x**2 - 11*x + 23. Let m be j(2). Suppose m*f + i = 20, 3*f + 4*i - 6*i - 25 = 0. Solve -f*z = -0*z + 20, -z = 4*b + 20 for b.
-4
Let j(k) = 3 - 2 + 3 + k**2 + 11*k. Let d be j(-6). Let x = -22 - d. Solve 2*q + 4 = -o, -6 - 2 = x*o for q.
-1
Suppose 6*a = 39*a - 132. Solve 2 = 2*b + 2*d, -d + 8 - a = 4*b for b.
1
Let c(s) be the first derivative of -s**4/4 + 7*s**3/3 - s**2/2 + s - 10. Let j be c(6). Solve -3*l - j = 4*u, -4*u - 40 = 4*l + u for l.
-5
Let p = 541 + -516. Solve 0 = -5*z + a - p, 4*a = 2*z - 0*a + 28 for z.
-4
Let l(u) = -2*u**2 + 14*u + 2. Let v be l(7). Suppose -4*q + v + 5 = n, -q - 4*n = 17. Solve 4*z + 31 = -q*t + 6, -4*z - 5*t - 31 = 0 for z.
-4
Suppose -16 = 5*q - 131. Suppose 4*a - q = 1. Suppose 2*n = -3*l + 15, 3*n + a = l + 1. Solve -2*b + z + 3 = 0, 0*z - l = -5*z for b.
2
Let h be (-88)/((1/(-2))/((-2)/(-4))). Let b = h - 84. Solve -2 = -b*j + 2*j + 2*c, 0 = -5*j - 2*c + 5 for j.
1
Let f = -136 + 140. Solve n + 12 = 4*g, 3 = g - 2*n + f*n for g.
3
Suppose 329*r = 328*r + 8. Solve -5*q + l - 20 = 0, 2*q = -0*q - l - r for q.
-4
Let j = -1177 + 1181. Solve 5*x = -3*m + 1, 7*m = -4*x + 3*m + j for x.
-1
Let f(r) = r**3 + 8*r**2 + 14*r + 12. Let z be f(-6). Solve 17*w - k - 10 = 19*w, z = -5*w - 4*k - 25 for w.
-5
Let q = 6 - 2. Let k = 2194 + -2192. Solve -p + 5 = -5*g - 0, q = -4*g + k*p for g.
-1
Let p(r) = r - 4. Let c be p(6). Suppose -3*q = -5*l + 127 + 23, 3*l = 5*q + 234. Let w be (c/(-5))/(3/q). Solve -4*t + 1 = b - w, 0 = 4*b - 2*t - 10 for b.
3
Let s = 1962 + -1949. Solve l - 1 = c, -l + s = -5*c - 0 for c.
-3
Let g(a) = -a + 17. Let y = 98 + -86. Let q be g(y). Solve 0*i + 4*w = -5*i + q, 0 = 3*i - 4*w - 3 for i.
1
Suppose 0 = -2*h - y - 5 + 10, 5*y - 25 = -4*h. Solve 17 = 3*u + 5*w, h*u - 3*u - 11 = -2*w for u.
-1
Let z = -1 - -1. Suppose -5*m = 96*p - 93*p - 31, 0 = -4*p + 2*m - 2. Suppose 5*l - 10 = -4*f, 3*l - 2 - 4 = -f. Solve 3*a - 12 = z, p = l*v + 5*a - 3*a for v.
-3
Let f = -56 + 73. Suppose 0 = -f*a + 2*a + 60. Solve 0*b = a*n + b - 17, 0 = 2*n - b - 1 for n.
3
Let m be -2*(-1)/6 + (-153)/(-27). Let p be -2 + (-3 + 4 - 1). Let s be ((0/1)/p)/(-3). Solve s = -3*q + 3*i - 18, -m*q + 5*i - 28 = -2*q for q.
-2
Let w(y) = y**3 + 10*y**2 - 23*y + 14. Let j be w(-12). Suppose j*b = -i + 11, i - 4*i + 4*b = -13. Solve 0 = 2*r + 3*s - 13, 0*r - i = -r - 2*s for r.
5
Suppose 86 + 24 = 3*t + 5*g, -3*t + 4*g + 101 = 0. Let x = -31 + t. Solve -x*j + 21 = 3*u, 2*u - u = 3 for j.
3
Let z(u) = -u**2 + u + 8. Let x = -28 + 28. Let s be z(x)