 z - 5*z, -5*v + 4*z = 45 for v.
-5
Let k = 45 + -70. Let c be ((-20)/k)/((-2)/(-10)). Let d = 3 - 0. Solve -2*l = -2*v - 14, v - c = 3*l + d*v for l.
2
Let b be 1 - -2*(4 - 1)/3. Solve -7 = -b*g + y, -5*g + 7 + 4 = -y for g.
2
Let t = -36 + 50. Let y(h) = -h**2 + 15*h - 12. Let p be y(t). Suppose v = 6 - p. Solve c - v = -3*d + 4, 4*c - 25 = -5*d for d.
1
Suppose 0 = -5*o + 4*w + 23, 4*o = 21*w - 26*w + 2. Solve -5*z + 2*h - 3*h - 17 = 0, -19 = o*z + 5*h for z.
-3
Let h be (48/(-5))/(6/(-20)). Suppose 0 = -2*u - 6 + h. Solve -u = y + 3*o, 3*y - 1 = o + 10 for y.
2
Suppose -d = -0*d + 210. Let n be 7/(d/(-78)) + 2/5. Solve 4*a - 4 = -f, -a - 2*f + n*f + 1 = 0 for a.
1
Suppose -3 = -3*q + 3*u, 2*q - 8*u - 3 = -5*u. Solve 0 = -5*o, 2*o = -2*j - q - 8 for j.
-4
Suppose -o - 2*j = -j - 6, -5*o - 2*j = -21. Solve 3*n = o*t, 4*n + t - 5 = 15 for n.
4
Let a(w) = 13*w**2 + 1. Let m be a(-2). Let z(v) = -2*v**2 - 20*v + 5. Let y be z(-10). Suppose -2*g + 3*g = y. Solve -6 = 2*k, -g*o - 4*k + 16 - m = 0 for o.
-5
Let f be (-9)/15 - 3/(-5). Suppose 4*h - 5*h + 6 = f. Suppose 4 = -p, -4*p - 10 = 5*c + h. Solve c = 5*a - 2*q - 15, 2*a + 4*q - 45 = -3*a for a.
5
Let a(s) be the first derivative of -15*s**2 - 8*s - 17. Let w be a(-1). Solve -2*o = -d - 9, d + d + 4*o - w = 0 for d.
1
Let j be (-28)/(-8) + (-2 - (-15)/10). Solve -2*c = -5*t + j*c - 5, -4*t = 3*c + 18 for t.
-3
Suppose 0 = 22*o - 5*o - 85. Solve 0 = -k + 3*i - 10, 3 = o*i - 7 for k.
-4
Let o(l) = -239*l - l**2 + 1 + 469*l - 238*l. Let n(v) = -v**2 - v. Let g be n(-3). Let b be o(g). Solve -4*k + k - 5*m = 0, 5*k + b = -4*m for k.
-5
Let o(a) = -10*a - 3. Let m be o(-7). Suppose m = 3*r - 5*g, 2*r - 3*g - 42 = -g. Let l(s) = s**2. Let y be l(-2). Solve -9 = 2*k + z, y*k = -4*z + z - r for k.
-4
Suppose 115*s + 40 = 120*s. Solve -s = -2*l, -3*y - 2*y - 5*l + 10 = 0 for y.
-2
Let t = 170 - 165. Solve -4 = -a + i, t*a = i - 3*i - 1 for a.
1
Suppose 2*p + 33 = 5*p. Let q be 2 + (-4 - (0 + -4)). Let x be (-1)/(-3) - 1/3. Solve 0 = -o - q*g - p, -g = 3*o - x*g + 8 for o.
-1
Let z be (-273)/(-78) + 12/8. Let d be 2/4 - 2/(-4). Solve d = c - 3*m, -z*c - m = -3*m + 8 for c.
-2
Let l be 4/(-10) - (-12)/5. Let b = 4 - l. Solve -2*z + 1 = 3*h, -4*z = -h + b*h + 13 for z.
-4
Suppose f + 4*f = 35. Let x = -2 + f. Suppose -10 = -3*z + x. Solve 0 = s + 2*m + 4, -2*s + 7*s - 40 = z*m for s.
4
Let h be -1 + (-2 - -1) - -4. Let a = 48 + -44. Suppose -a*d + 9*d = 120. Solve -4*n - d = h*l, 11 + 14 = -5*n for l.
-2
Suppose 6*h = -18 - 12. Suppose c + 8*g - 4*g - 33 = 0, -5*g = -c - 12. Let l = h + c. Solve -3*x = -4*p + 7 + 4, 4*x + l = 4*p for x.
3
Let l be 1 - 2/4*2. Let z be (-24)/9*((2 - 5) + l). Suppose -d = -2*d + 13. Solve 2*q = 2*y + q - d, 4*y + 4*q - z = 0 for y.
5
Let h be (-6)/3*(-36)/8. Suppose 0*u + 3*u - h = 0. Suppose 2*f = 2, -7*p = -u*p + f - 33. Solve -y = 3*n + y + p, -2*n = -2*y + 2 for n.
-2
Let l = 17 + -11. Suppose 0 = -4*a + 2*a + l. Solve 16 = -a*p - 0*p + 5*x, 12 = -p + 5*x for p.
-2
Let y be (-2)/(1/(-3) + 12/(-18)). Solve -z + 4 = y*a, 0*z - 20 = -4*a + z for a.
4
Let b be 0 - ((-4)/28 + (-204)/42). Solve b*h - 11 = f, -3*f + 3*h - 6*h + 21 = 0 for f.
4
Let j(z) = -z**2 - 19*z + 24. Let y be j(-20). Suppose 0 = -3*k + y*k - i, -16 = -4*i. Solve -v + 6*v = -l + 27, k*v - 28 = -4*l for v.
5
Suppose -2*d - 5*r = -8, -2*r - 12 = -3*d - 0*r. Suppose -3*h - 5 = -d*h. Solve u + 2*w + 6 = w, h*u = -3*w - 22 for u.
-2
Let c(f) = 2*f**2 - 21*f - 7. Let x be c(11). Suppose -x*a - b = 3 - 2, -2*a + 17 = -3*b. Solve a = -3*y - i, -2*y + 5*i - 29 = -0*i for y.
-2
Let o(i) = -20*i + 465. Let f be o(23). Suppose 0 = -9*p + 4*p + 130. Solve 4*a - 3*q + 0 = -4, -3*a = f*q - p for a.
2
Let m = -1219 - -1221. Solve 0 = 5*w - 3*a + m + 1, 0 = 4*a - 4 for w.
0
Let l be (-2)/(-4) + 75/(-6). Let g(b) = b**3 + 13*b**2 + 10*b + 7. Let w be g(l). Let y = w + -26. Solve y*c = 5, 3*c - 2 = 3*p + 1 for p.
0
Suppose 5*h + 18 = 133. Suppose 2*t + 0*u + 6 = 2*u, -5*u = -t - h. Solve 23 = -5*q - t*i, -4*i - 23 = 5*q + 8 for q.
-3
Suppose -2*g + 27 = 5*c, -3*g + 41 = 38. Solve 2*a + 7 = -a - x, -c*x = -5*a + 15 for a.
-1
Let j be (4/10)/(1/(-5)). Let l = j - -4. Let a = l + 3. Solve 3*r + 30 = a*d - 2*d, 3*r - 10 = -5*d for d.
5
Let t(r) = -r + 18. Let s be t(12). Suppose 0 = -3*b - s*l + 5*l + 17, -3*b - 3*l = -27. Solve -3*u = -b*y + 19, -3*u - 2 - 5 = -y for y.
4
Let c = 325 + -323. Solve 0 = -2*k + 3*t - 18, -2*k + 14 = 3*t + c*t for k.
-3
Let i(g) be the first derivative of g**3/3 - 2*g**2 - 16*g + 35. Let x be i(7). Solve 29 - 8 = -s + x*t, 3*s - 4*t = -19 for s.
-1
Suppose 4 = -4*b - 4*u, -b + 2*u + 1 + 7 = 0. Suppose y - b - 3 = 0. Let a = -320 + 323. Solve -13 = -4*o + 3*w, -y = -o + a*w - 4 for o.
4
Suppose -4*u = 4*y - 60, -4*u = u - 2*y - 96. Suppose 5*p + 8 = u. Solve 0 = q - o + 6*o, p*q = -5*o for q.
0
Let n(v) = 18*v + 164. Let j be n(-9). Solve -1 = -0*q + q - 2*c, q + j = c for q.
-3
Let l = -96 + 98. Let r(x) = -x - 2. Let h be r(-8). Suppose -h = -u - l*u. Solve -4*n - 7 = g - n, -2*g + 18 = -u*n for g.
5
Suppose -d + y + 2*y + 9 = 0, -5*d + 3*y + 21 = 0. Suppose d*p + 3*h = -9 + 30, 2 = 2*p - h. Solve -o + 2*s = -0*s + 2, p = -o + s for o.
-4
Suppose 2*h = 5*u + 3*h - 16, u - 3*h = 0. Solve z + w = 1, 9 = -u*z - w + 2*w for z.
-2
Let j = -71 - -76. Suppose 4*a + j*f = 37, f - 17 = 2*a - 4*a. Solve 2*m = -c - 3*c - 6, 4*m + 4*c + a = 0 for m.
-1
Let z be 6*3/((-18)/(-4)) - -2. Solve -4*q = -w + 3*w + z, 3*q + 3 = 0 for w.
-1
Let q = 97 + -94. Suppose 8*j - q = 37. Suppose 0 = -2*y - 5*s - 0*s - 5, -5*s - 5 = -y. Solve 4*n + 2*r + r - 29 = 0, y = -j*n - 2*r + 31 for n.
5
Let m = -4 - -9. Let h be -2 + m + (3 - 4). Let n = h - 0. Solve 2*s + 3*u - 14 = 0, n*s - 4*u = -0*s - 14 for s.
1
Let w = -3 + 5. Suppose -w*u + r + 8 = 0, 3*r + 22 = 3*u - r. Suppose 0*z - u*z = 0. Solve -3*y + 5*x - 24 = 0, z = -y + x + 2*x - 12 for y.
-3
Suppose 5*q - 56 = 89. Let k = 72 - 47. Let h = q - k. Solve 3*g = -v - h + 9, -2*g - 5 = -v for v.
5
Let o(x) = -43*x**2 + 11*x**3 + 42*x**2 + 0 - 2 + 3*x. Let h = 1 - 0. Let m be o(h). Solve 7*l - 3*l - y - 7 = 0, y - m = -5*l for l.
2
Suppose -37 = -2*j - 3*u, 22 = -5*u + 17. Solve -3 + 8 = -4*r - b, 4*b = -2*r - j for r.
0
Let d(j) = -33*j + 9. Let v be d(-2). Suppose 5*k + 2*i = -i + v, -k + 15 = 4*i. Solve -3*u - 5*a + 0*a + 17 = 0, 0 = -u - 4*a + k for u.
-1
Suppose -5*n + 5*q = -10, -2*q - 10 = -4*n - 0*q. Solve 0 = 4*g - 2*c - 6, 0*g + n*c = -2*g - 9 for g.
0
Suppose -2*p - 6 = -2. Let o = 1 - p. Suppose d = 4*d - 15. Solve o*f + 4*w = -0*w + 10, 0 = -d*f - 2*w - 2 for f.
-2
Suppose -5*u - 3*w = -233, -4*u - 4*w = -35 - 145. Suppose -3*n + 16 = n. Let l be n/(12/(-27))*-1. Solve -5*y - 5*j - u = -l, 3*j + 3 = 4*y for y.
-3
Let q = -2 - -5. Suppose 5*m + 20 = m + 5*n, m + q*n - 12 = 0. Solve -3*u - 2*a - 7 + 1 = 0, 2*u + 5*a + 4 = m for u.
-2
Let i be (-12)/(12/(-5))*3. Solve 0 = 3*p - 2*j + 5, -21 = 10*p - i*p - 4*j for p.
1
Let r(n) = 2*n**3 + 12*n**2 - 17*n - 21. Let q be r(-7). Solve q = -x - 3*v - 10, 2*x + 0*v = 5*v + 13 for x.
-1
Let k(o) = -o**3 - 6*o**2 + 3*o - 3. Let f be k(-7). Suppose -7*q = f - 123. Solve -m + 18 = -4*t - 3*m, -3*t - q = m for t.
-5
Suppose -3 = -6*i + 75. Let g = i + -9. Solve -2*q + 24 = -5*q - 4*z, z = -g*q - 19 for q.
-4
Let c(z) = -z**2 - 26*z + 292. Let j be c(-34). Solve 0 = -s - p + 5, -j = -4*s + p + 2*p for s.
5
Let h be (-58)/(-4) - 5/10. Let o = 102 - 89. Solve 3*a - o = -7*c + 3*c, 2*c = -4*a + h for a.
3
Let j(s) = s**3 - 3*s**2 + 5*s - 2. Let q be j(2). Solve -5*w + 8 = -2*w + q*r, 0 = w - 3*r + 19 for w.
-4
Let c(t) = -2*t + 37. Let h be c(16). Suppose -29 + 9 = -2*b. Let r be (-3)/(-4) - (-2)/8. Solve 5*l + b = 3*u, h*u = 3*l + 5 + r for l.
-2
Let b be ((4 - 3)*7 - 3)/1. Solve b*z = -2*r - 4, 4 = z - 3*r + 5 for z.
-1
Let r(p) = 7*p + 72. Let s be r(-10). Solve 0*k = s*k + 4*m + 14, 0 = 5*m + 10 for k.
-3
Let l(i) = -2*i**2 + 75*i - 171. Let x be l(35). Solve 0 = 4*r - 3*z + x, -r - 12 = r - 4*z for r.
2
Let v(n) = 2*n**2 + 9*n - 31. Let a be v(-7). Solve -5*z + 29 = a*q, 2*z - 21 = -q - 2*z for q.
1
Suppose 0 = 5*l - 7 + 87. Let y be 247/5 - l/(-40). Suppose -3*b + 2 + y = 0. Solve -5*p + 8 = -b, d + 3*p - 15 = 0 for d.
