4*k - 3 + 1 = 0. Suppose 2*q = d + z. Solve 0*n + q*n - 10 = -5*w, 2*n = 4*w + 22 for n.
5
Let t = 17 - 40. Let m = 13 + t. Let i be (12/m)/(2/(-5)). Solve 0 = a + 5*u - 0*u - 5, -i*u - 15 = -3*a for a.
5
Suppose 3*f - 4*c = 7, -4 - 61 = -5*f - 4*c. Let g(b) = b - 7. Let d be g(f). Solve -4*v + 10 + 5 = -m, v - 2 = d*m for v.
4
Let r = -1990 + 1994. Solve -4*u = 4*c - 2*u + 14, -r*u - 7 = c for c.
-3
Let z = 62 + -58. Suppose -z*m - 18 = -10*m. Solve i = -5*l + 4*l, 0 = -m*i - 2*l - 5 for i.
-5
Let v = -46 - -48. Solve -v*t + 3*r = 3, 0 = -t - 0*t + 3*r for t.
-3
Let i = 510 + -507. Solve -i*q - 2*v = 7, -q = v - 0*v + 2 for q.
-3
Suppose 14 = 10*f - 16. Solve k + k + 5*b + 4 = 0, -5*k - 10 = f*b for k.
-2
Let f(k) = k**3 + 9*k**2 - 14*k - 19. Let i be f(-10). Solve 2*p - 5*h - i - 14 = 0, -2*p = -2*h - 20 for p.
5
Let y be -1 + -4 - -2*(-153)/(-34). Solve -5*k = 3*q + q - 30, y*k - 3 = q for k.
2
Let k(t) = -5*t. Let z be k(-1). Suppose 5*p - 2*x = x + 36, 5*x = -z*p + 60. Solve g - 6 = -s, 2*s - s + 4*g = p for s.
5
Let h(g) be the first derivative of -g**2/2 - 23*g - 51. Let d be h(-27). Solve o + 6 = -d*u, 2*o + 3*u - 2*u = -5 for o.
-2
Suppose w = 20*p - 23*p + 14, -4*w + 35 = 5*p. Solve -4*l + u + 24 = -3*u, -p*l - 5*u + 10 = 0 for l.
5
Suppose 4*h - 14 = z - 59, -5*h + 3*z - 65 = 0. Let l be -4 - ((-14)/(-35) + 84/h). Solve 3*g - 12 = -4*y, 2*g = -2*y + 2 + l for g.
0
Suppose -4*j + 25 = -4*c + 5, 3*j - 3 = -3*c. Solve -2*y - j*y = -4*p + 20, -y + 2*p - 4 = 0 for y.
-4
Suppose -v + 67 = -0*v. Suppose -5*z + v = -13. Let d = z - 14. Solve u = -3*r + 10, -d*r + 7*r + 4*u - 12 = 0 for r.
4
Suppose 0 = 2*z + 3 - 11. Let g be z + (-33)/39 + (-2)/13. Solve 3*d = 15, -2*m - m + g*d - 30 = 0 for m.
-5
Let w(p) = p**2 - 3*p + 4. Let m be w(3). Suppose 5*n = m*n. Suppose n*x + c = -5*x + 23, -c = 2. Solve 0*z = 4*q + z + 19, 2*q - x*z - 7 = 0 for q.
-4
Let r(p) = -5*p - 21. Let i be r(-5). Let q be i/(-22) - 552/(-132). Solve -4*d + d = -q*a - 28, -4*a = 3*d + 4 for d.
4
Let n be (-3)/(-5)*240/72. Solve 3*l + n = 2*v, 2 + 2 = 2*l for v.
4
Suppose -15 = a - h + 5*h, 0 = 3*a - 4*h - 19. Let x be 2/4*(1 - a). Solve x*k - 2 = 4*n - 2*k, -k = 4*n - 13 for n.
2
Let h be (-10*(-18)/(-495))/((-2)/11). Solve 2 - 5 = -h*s + r, 4*s + 4*r = 0 for s.
1
Suppose 173 = 5*u - 4*c, -3*u - 5*c + 39 = -50. Let j = u + -33. Solve -2*w + 0*w + 2*d = j, w = -3*d for w.
0
Suppose 6*z = -5*f + z + 115, 2*z - 4 = 0. Let k(u) = 3*u - 58. Let v be k(f). Solve 17 + 3 = -5*d - c, -v*c = -25 for d.
-5
Suppose 5*q + 16 = 4*g, 2*g - q = 7*g - 20. Solve 0 = -3*t - 12, -5*s + t = -g*s - 4 for s.
0
Let z(q) = 32 - 32 - q + 6*q**2. Let r be z(1). Solve 5*u + r*o = 20, -o = -u + 3*u - 6 for u.
2
Let f = 1310 + -1307. Solve 0 = -7*p + 3*p - 12, f*m + 3 = -p for m.
0
Suppose -s = -2*s + 10. Suppose a + 4 - 9 = 0. Let v be 5/(a/3) + 5. Solve -2*c - 4*j = -0*c - s, 3*j = -c + v for c.
-1
Let x(h) = h**2 - 3*h - 206. Let o be x(-13). Solve q + 1 = 5*b, 12 = o*q + b + 3*b for q.
4
Let r be (-920)/(-25) + 2/10. Let l = -22 + r. Let n be (l/4)/((-6)/(-16)). Solve 0 = -2*k - 4*s + 6, -3*s + n = -2*k - 2*k for k.
-1
Let h be (1/2)/(1/14). Let v = h - 3. Suppose -3*o + p = -6, 2*p - v = -2*o - 0*p. Solve -t = -o*r - 3, 3*t + 0 + 2 = -5*r for r.
-1
Suppose -8 = -0*k - 4*k. Suppose -2*u = k*l - 24, -u + 5*l = -0*u - 42. Solve 5*p - n = u, 26 = 5*p - 2*n + 4*n for p.
4
Let g(r) = r**2 - 48*r - 378. Let l be g(-7). Solve 8*k - 11 = l*k + 3*q, 3*k = 4*q + 23 for k.
5
Suppose r + 3*f = -36, 5*r - 3*f = 2*r - 72. Let p be (-60)/r - (-2)/(-9). Let z be ((-60)/45)/(4/(-21)). Solve 2*c = -4*t + 18, -p*t - 23 = -3*c - z*t for c.
1
Let b = -19 - -31. Let k be 258/b - (-3)/2. Suppose r = 5*y - k, r + 4*r = -y + 15. Solve -2*g - 16 = -v - 3, 5*g = y*v - 40 for v.
3
Suppose 2*x = 2 + 2. Suppose x*u - 3 = 1. Let l = u + 0. Solve 0*f + 4*f - 2*g = 8, 2*f + l*g - 4 = 0 for f.
2
Let k(p) = -p**3 + 2*p**2 + 10*p - 3. Let q be k(4). Solve 2*s = 4*o - 24, -q*o + 0*o + 3*s + 32 = 0 for o.
4
Let o be (2 + (56/20)/(-1))*-10. Suppose 0 = -i + 5*a - 5, i - 21 = -4*a - o. Solve 2*g - 7*g - 20 = -2*z, i*z + 8 = -2*g for g.
-4
Let n(l) = 23*l + 303. Let i be n(-13). Solve i + 7 = -2*o - b, -32 = 4*o + 4*b for o.
-3
Let k = -257 + 262. Solve 2 = 3*h - k*n - 1, 4*h + n - 4 = 0 for h.
1
Let h be (-24)/(-4) + (7 - (-6 + 8)). Solve -2*l = 2*z + 8, -h = 3*z - z + 5*l for z.
-3
Suppose 3*k - 42 = -2*l, 5*k - 9 = -5*l + 66. Solve -3*f = -5*m, 3*f - 39 + k = -4*m for m.
3
Let p(q) = -q**2 + 27*q - 163. Let r be p(13). Solve -3*l - r = 5*y, 0 = 2*l + l + 3*y + 15 for l.
-3
Suppose -4*i - i + 10 = 5*d, 0 = 5*d - 4*i - 28. Suppose -d*r + 3*r + 3 = 0. Suppose 0 = -r*b + 3. Solve 4*l - 2 = q, -q = -2*l + 3 - b for q.
-2
Suppose m = 3*m - 26. Suppose -3 + m = 5*c. Let a be 1/c + (-184)/(-16). Solve -3*b = -a, -5*i + 2*b - 3 = -0 for i.
1
Suppose 3*o - 3*i - 27 = 0, 0 = -2*o - 4*i + 18 - 30. Solve -4*s - 12 = 3*r, o*s + 4 = -0*r - r for s.
0
Let v = 48 - 8. Let m = -35 + v. Suppose 2*s = -m*b + 9, 4*s + s + 9 = -2*b. Solve -8*n - 16 = -4*n, 0 = b*g - 2*n - 17 for g.
3
Let z(q) = q**3 - 5*q**2 + 2*q - 7. Let s be z(5). Solve -p - r = -s, 2 = -2*p + 5*r + 1 for p.
2
Let l(h) = 2*h - 5*h - 2*h + h + 6. Let c be l(-3). Solve 8 + c = 5*w - n, w = -n + 4 for w.
5
Let c be ((-6)/20)/(-3)*20. Solve -5 = -2*r + s, -3*r + 35 = c*r + 2*s for r.
5
Suppose -19*j - 120 = -24*j. Let x be (2/4)/((-2)/168). Let d be x/98 + j/7. Solve 5*r + 3*b + 14 = -0*b, 0 = -d*r + 2*b + 3 for r.
-1
Let o = -1222 - -1226. Solve -k - 2 = -4*k + o*x, -4*k - 5*x = 18 for k.
-2
Suppose -96 - 44 = -4*m. Let v = -35 + m. Solve 0 = -z - x + 5*x - 23, 4*z + 4*x - 8 = v for z.
-3
Let o(c) = -10*c + 2. Let t be o(0). Solve -2*r + 3*b + 11 = 0, 4*b = t*r - b - 21 for r.
-2
Let v be (-7 - -4)/9*0. Let a(j) = -7*j**2 + j**3 - j**2 + j + v*j**3 - 3. Let u be a(8). Solve -3*t + 12 = u*o - t, 4*o - 3*t - 28 = 0 for o.
4
Let t(w) = w**2 - 3*w - 8. Let r be t(5). Suppose -4*m + 4 = -2*n, 4*n - 26 = -r*m - n. Solve l + 4*z = -11, 34 + m = 5*l - 3*z for l.
5
Let s = -405 - -405. Solve a + 2*d - 7 = -s, 2*d - 13 = 5*a for a.
-1
Let z be 7/((9 - -1)/10). Solve z*o = j + 6*o + 4, 3*o = 4*j + 14 for j.
-2
Let d = 40 - 33. Let t = -3 + d. Solve t*z - 2*v = -0*v + 4, -2*v = z + 4 for z.
0
Let l be (6/9)/(1/3). Solve -l*k + 3*a = 25, 2*k = 6*k + 5*a - 5 for k.
-5
Let q(f) = f**3 + 6*f**2 + 8*f + 5. Let h be q(-5). Let o be (h/(-25) + -1)/((-1)/35). Solve 3*p + v + 3 = -2*v, -3*p + 3*v = -o for p.
3
Suppose -5 = -2*y - 2*h + 3*h, -2*y - 10 = 2*h. Suppose y = -q + 3 - 1. Solve 5*v - 4*o - 30 = -2*o, q*v = -5*o - 17 for v.
4
Let q be 12 + 64/((-88)/11). Solve k = q, 5*x + 11*k = 6*k + 25 for x.
1
Let i(p) = 8*p + 120. Let c be i(-15). Solve 5*l = -2*v + v - 22, c = 3*v - 9 for l.
-5
Suppose 3*d - 2*v = v + 9, 4*d = 2*v + 12. Suppose 0 = 2*b - 5*g + 2*g + 5, d*b + 9 = 5*g. Let u = -5 - -8. Solve 10 = -u*y - q + 5*q, -4 = 3*y + b*q for y.
-2
Let j(r) = r**3 - 4*r**2 - 5*r. Let l(t) = t**2 - 4. Let q be l(-3). Let x be j(q). Suppose 0 = -2*c + 51 - 43. Solve 5*g = -2*w - 5, x*g - c*w - 2 = 2*g for g.
-1
Suppose g - 13 = 3*u, 0*u + 20 = 2*g - 4*u. Solve 0 = 3*z + 4*j - 10, z = -0*z + g*j - 2 for z.
2
Let d be (-12)/(-2) + 1/(-1). Suppose -3*r + 7*r = 16. Suppose 4*x - 8 = r. Solve x*j = -2*j, -2*w + 2 = d*j for w.
1
Let g(z) = -z**3 - 5*z**2 - z - 2. Let l be g(-5). Solve 0*w = 4*k + 2*w - 12, -2*k + 2 = l*w for k.
4
Let v be (-128)/(-72) - 4/(-18). Let d(h) = -9*h - 5*h**2 + 3*h + 5*h**v - 5 + h**2. Let z be d(7). Solve -z*y + 4 = 0, -3*n - y = -4*y + 15 for n.
-3
Suppose 0*r + 4*r + z - 4 = 0, 5*z + 22 = r. Solve p - r = 2*h - 3*h, 3*p = -4*h + 3 for p.
5
Let g be (-2)/(-4) + 23/2. Let q = 855 + -836. Solve 4*y = -n - n + g, 3*y - q = n for y.
5
Let q(m) = m**3 - 7*m**2 + 15*m - 4. Let z be q(3). Suppose 5*u = u + 3*r + 15, z*r = u + 9. Solve -5*x - 3*g = 18, -3*x + 2*g + g = u for x.
-3
Suppose a = -1 - 1. Let r be (-2 + 1)/(a/8). Let c be r/(2 - 6) - -6. Solve -2*u + 2 = 2*w - 8, -3*w - c*u = -23 for w.
1
Let o(d) = -5*d + 50. Let v be o(9). Let y(f) = 21*f**2 - 2*f + 1. Let a be y(1). Solve 6*u + a = -4*c + 2*u, 4*u + 20 = -v*c for c.
0
Let k be (-10)/(-6) - 2/3. Suppose 13*j = 15*j - 74. Let r