*h + 2*v + 2*v = -12 for h.
4
Suppose -6 = -4*m + 5*w, -5*w = 3*m + 5 - 27. Suppose a - 150 = -m*a. Let o be ((-10)/a)/((-2)/150). Solve -3*u - 1 = v + 14, o = -3*v - 4*u for v.
-3
Let f(d) = -d**3 + 2*d**2 + d + 1. Let h be f(-1). Solve y + 5 = -5*k, -h*k - 3*y = -4*y + 3 for k.
-1
Let h be -1 - (4/2 - (-11 + 11)). Let y(u) = -3*u - 9. Let a be y(h). Solve a + 8 = -4*l + 5*n, 3*l + n = 13 for l.
3
Let d be (-4)/(-3)*3/2. Suppose d*b - 1 = b. Let g = 23345 - 23342. Solve -n - b = 1, -g*l - n - 11 = 0 for l.
-3
Let b be (((-1)/(-2))/(-1))/(10/(-100)). Solve -b*q + 5 = -2*j + j, -4*q + 4 = -4*j for q.
1
Let m = 8 - 3. Suppose 2*c - 190 = -2*c - 2*r, c - 60 = 2*r. Suppose 9*v + v = c. Solve -v*y + 12 = 4*o, -m*y + 22 = -5*o - 2*y for o.
-2
Let u(q) = -q**2 + 21*q - 38. Let d be u(19). Solve p - 5*o = 0, d*p - 2*p = 4*o - 14 for p.
5
Let g be (3/(-1))/(6/20). Let m = g + 3. Let j = m + 11. Solve 0 = a + a - 4*h - 16, 16 = -3*a - j*h for a.
0
Let a = -49 - -59. Solve 5*w + 4*u = a, -3*u + u = 3*w - 6 for w.
2
Suppose 4*g = -b + 27, 21*b - 26*b = 3*g - 84. Solve o = 2*l + 3, 2*o - b = -3*o for l.
0
Let x(a) = 2*a**2 - 8*a - 16. Let l be x(-2). Solve 0 = 3*u - l*u - 2*z - 17, 0 = 5*z + 5 for u.
-3
Let n = -86 + 88. Solve 2*m - m = z - n, 0 = 2*m + 5*z + 25 for m.
-5
Let z = -109 - -236. Suppose -4*f + 3*x = 3 - 98, 0 = 5*f - x - z. Solve -2*h - f = -0*t + 4*t, -3*t = 2*h + 22 for t.
-4
Suppose 5*x = -k + 48 - 9, -2*k + 43 = 5*x. Suppose 3*y + 116 = x*y. Suppose -3*d + 18 = 2*w - y, -1 = -w. Solve -2*g + 5*o + d = 0, 5*g - 4*o = 8*g + 12 for g.
0
Suppose -m + 29*m - 84 = 0. Solve m*d - 8 = 4*j, -3*d + 10 = -j - 4*j for j.
-2
Let v(l) = 4*l**2 - 68*l + 3. Let h be v(17). Solve 4*y - 3*w - 17 = 0, 2*y - h = y + 2*w for y.
5
Suppose 3*n - h = 32, 0*h = 3*n + 4*h - 37. Let i be (-4 - 36) + 4 - 4. Let y be (-608)/i + 2/(-10). Solve -4*k - y = -c, 2*k + 24 = -5*c - n for k.
-5
Let l(o) = o**2 + 20*o + 22. Let m be l(-19). Solve 2*d - 9 = -z - 1, 3*d - 21 = m*z for z.
-2
Let b be 289/7 - (-12)/(-42). Let m = -39 + b. Solve 0 = 2*s + 3 - 13, -3*o = -m*s + 1 for o.
3
Let y be (1 + 1)*60/40. Suppose -12*j - y*j = -45. Solve 15 = 3*u - 3*c, -3*u - 6*c = -j*c - 3 for u.
3
Let h(r) be the first derivative of 5*r**2 + 3*r + 11. Let v be h(1). Solve -g - 2*t = -7, -7*t = 3*g - 3*t - v for g.
-1
Let y = 241 - 241. Solve c + 3*s - 7 = y, -s + 13 = -0*c - 5*c for c.
-2
Let b be (2 + -3)*(2 + -2). Let h = -62 - -63. Solve -3*r = s + 1 + h, b = -4*r - 4 for s.
1
Let p(i) = 3*i - 15. Let a be p(6). Suppose 15 = -3*k, -a*h = -h + k - 19. Let b = h - 8. Solve -b*y + g + 19 = 2, 3*g - 5 = -2*y for y.
4
Let i = 2 + 2. Suppose 4*d = 2*t + 30, 5*d - 5*t + 0*t = 50. Solve d*s - 2*s - 16 = 4*b, -i*b = s for b.
-1
Suppose 16*a - 66*a = -750. Solve -4*x - 10 = 3*q - q, -x + a = -3*q for q.
-5
Let v(u) = 1. Let z(s) = s. Let n(p) = 3*v(p) + 12*z(p). Let l be n(2). Let o be (-3)/15 - (-21)/5. Solve 0 = 4*t + 2*h - 5*h + l, 0 = -o*t + 4*h - 32 for t.
-3
Let u(n) = -n**2 + 112*n + 469. Let b be u(-4). Solve 3*a - b + 2 = 3*p, 4*p = a - 4 for p.
-1
Let v(n) = n**2 + 2*n + 1. Let a be v(-3). Solve -4*s + a = -4*p, -4*s + s = -p - 1 for p.
-1
Suppose -3*d - 4*d + 105 = 0. Suppose -4*s + 37 = 3*w, -8*w + 3*w + d = -5*s. Solve -w = 5*o - t, 0 = 3*o + t + 2 + 7 for o.
-2
Suppose 3*m - 4*z = -4, 5*m = -2*z - 74 + 76. Solve 2*g = -5*d - 27, -d + 4*d + 2*g + 17 = m for d.
-5
Suppose 0 = -4*j - j - 15. Let b = 0 - j. Let v be (-14)/(-4)*(-11820)/(-2758). Solve -q = 3*w + 5, 0*q + b*q + v = 4*w for w.
0
Suppose -19*f = -6 + 25. Let y be ((-1150)/(-161) - f/(-7)) + -3. Solve y*z + 2 = 2*l, -2*l = 3*l + 4*z + 9 for l.
-1
Suppose 4*g + 4 = 24. Solve 3 = 3*v - 3*q - 18, -g*v - 4*q = 1 for v.
3
Let o(j) = -j - j + 0 - 10 - 6*j**2 - j**3. Suppose -183 = 20*p - 63. Let g be o(p). Solve -4*y = -y + c - 7, -g = c for y.
3
Suppose 0 = 3*d - s + 10 - 22, 0 = 3*s. Solve -3*f + 10 = 5*b - 0*f, d*f = 3*b + 23 for b.
-1
Suppose z + z - 2*w - 16 = 0, -3*w + 16 = 5*z. Suppose 4*s - 18 = -2, -z*l + 28 = 2*s. Solve 0 = -n - h, -5*n + l*h + 12 = 6*h for n.
4
Suppose -7*o = -4*o - 15. Let g be (-2)/o - 2016/(-90). Solve -3*s = -4*n + 22, 5*s - 5*n + g = -8 for s.
-2
Let o = 30 - 30. Suppose k + 0*c + 4*c + 13 = 0, o = 4*k + 2*c - 4. Solve -5 = -8*t + k*t, -3*n = 5*t + 7 for n.
-4
Suppose 0 = -199*o + 193*o. Solve -5*f + 10 = h, o = 2*h + 4*f - 24 + 10 for h.
5
Suppose 5*u = -3*f + 54, -u = -2*f + 10 + 13. Solve -m - 2*g = -3, -4*m + 7*m - 5*g + f = 0 for m.
-1
Suppose 0 = 3*u + 4*u - 28. Suppose 2*s - 3*s + 4*b + 2 = 0, 0 = 2*s + 5*b - u. Solve 0 = 2*j - z + 6, -s*j - 14 = -3*z - 2*z for j.
-2
Suppose 2*q = 7*q - 15. Solve 3*z = -2*m + 10, -z + 8 = -m - q*m for m.
-1
Let u(x) = 3*x + 14. Let b be u(-3). Solve -6*t + 4*t = b*j, 0 = 2*j + 4 for t.
5
Suppose -9 = -13*z + 10*z. Solve 0*k + 5 = -t - k, z*k = -2*t - 10 for t.
-5
Suppose 3*n + 18 = 6, 4*w + 4*n = 4. Suppose 4*x + 5*t = w*x - 18, -4*x + 9 = t. Solve -4*h = -x*r + 19, 2*h - 1 = -4*r - 5 for r.
1
Suppose 0 = -l + 9 - 5. Suppose l = 8*n - 4*n. Let h be (11 - 7)*(2 - n). Solve h*k - 7 = 5*w, -2*k = 3*k - 15 for w.
1
Suppose -2*g - 4 = 2*u, -g + 3*g + 10 = u. Solve 4*p - 8 = -4*k, -2*k = 3*p + u*p - 19 for p.
5
Let s be 3/3 + 5 + -2. Let i(r) = 2*r**3 - 2*r + 2. Let t be i(1). Solve s*k + t*o = 4*o - 26, -3*k - 4*o - 3 = 0 for k.
-5
Suppose -4 = -2*a - 8. Let p be ((-12)/15)/a*5. Solve -4*b + p*v = -0*v - 10, 2*v = -5*b + 35 for b.
5
Suppose 4 = k - 0*k. Let z = k + -2. Solve 5*n + 4*l = z*l + 11, 2 = -n + l for n.
1
Let z = -4 - -8. Suppose -h + 5 = -7*m + z*m, 2*h - 4*m - 8 = 0. Suppose h*f - 12 = -f. Solve -a + 4 = -w + 2, 23 = w + f*a for w.
3
Let r(n) = -5*n + 6. Let i(f) = f. Let w(s) = 3*i(s) + r(s). Let d be w(4). Let y be d - (-30)/(1 + 0). Solve 0 = -q - 3*j + 16 - 3, 4*q - 4*j + y = 0 for q.
-2
Let h(u) = u**2 + 8*u + 2. Suppose -7 + 1 = j - c, -5*c = -4*j - 22. Let g be h(j). Suppose g*s = -2*s. Solve 3*t - b + 2 = 0, t - 5*b = -s*b + 4 for t.
-1
Suppose 4*b + k = 24, -2*b + 5*b - 27 = -3*k. Suppose -4*o - 5*x = -o - 21, 0 = -b*o - 5*x + 25. Solve 5*j - 23 - o = c, 3*j - 22 = 2*c for j.
4
Let y be 0/1 + 3 + -12 + 16. Solve y*i + 3*j - 21 = 2*i, -11 = -5*i + 2*j for i.
3
Let v(c) = c**2 + 4*c + 7. Let q be v(-3). Suppose -4*k + 6 = q*n + 14, 3*k = 2*n + 19. Solve 3*r + 4*o - 2 = 0, -k*r - 2 = r + 3*o for r.
-2
Let x = 331 + -329. Solve 0 - 2 = x*s - 2*l, -5*l = 15 for s.
-4
Let m(h) = -h**3 - 26*h**2 - 23*h + 50. Let f be m(-25). Solve 3*p + 3 = -3*v - v, f = -2*p - 3*v - 2 for p.
-1
Suppose 5*q = -220 - 35. Let a = q - -55. Solve -2*j - 2*j = 4*l - 8, a*l + j - 17 = 0 for l.
5
Suppose 6*q = 11 - 5. Suppose -a = 3*s + q, s = -0*s - 5*a - 5. Solve -2*z - 3*v + 2 = s, -z - 5*v = -2*v + 2 for z.
4
Let l = -285 + 285. Solve 3*v = -a - 7, -a + l = -2 for v.
-3
Let a(m) = -m**3 - 13*m**2 - 2*m - 22. Let w be a(-13). Suppose -w*k - 8 = -28. Solve -k*f = -4*p - 21, -2*p - 2*p + f - 1 = 0 for p.
1
Suppose 0 = -3*a - 7*a + 30. Solve 13 = a*t + 4*b + 32, -7 = 2*t - 3*b for t.
-5
Suppose 12*x = -250 + 298. Solve 2*d + x*g + 6 = 0, -8*d - 2*g = -10*d + 18 for d.
5
Suppose 0 = -5*d + 2 + 8. Solve -15 = 5*b - 5*v, -2*b + d*v = 3*b + 3 for b.
1
Let f(l) = l - 5. Let o be f(5). Solve j - 4*j + 5*m = 0, o = j + 3*m for j.
0
Let f(w) = w**2 - 8*w - 6. Let o be f(9). Let k be (-3)/(-18)*o*24. Let v be (-4)/k*(-18)/1. Solve -3*x = -2*g - 0*x - 10, 2*x = g + v for g.
-2
Let g(j) = -j**3 - 11*j**2 - 13*j - 24. Let u be g(-10). Suppose 0 = u*d + 5 - 35. Solve 0*z = -4*p + d*z - 36, p + 5*z - 16 = 0 for p.
-4
Suppose -2 = -k + 20. Suppose -5 = -5*n - m, -4*m + k - 2 = -n. Solve n*s + 3*s = 3*b - 18, 17 = 3*s + 4*b for s.
-1
Let o(n) = -n + 20. Let f be o(15). Solve 0*t + t + 5 = -4*r, -t = -r + f for r.
0
Suppose 3*z - v - 6 - 5 = 0, -20 = 4*v. Solve 4*x = z*n - 18, -n - x = 4*n + 10 for n.
-1
Let l be (-12)/(-24) - (-3)/2. Solve 0 = 3*o - l*p + 6, 4*o + 2*p + 2 = 8 for o.
0
Let g be (-10)/(-75) - ((-43)/15 - -3). Suppose p = 2*p + 1. Let s be 8 + -5 + (g - p). Solve 0 = -2*b - 2*j, 3*b - s*b + j - 10 = 0 for b.
-5
Let p(w) = -w**3 - 12*w**2 + 12*w - 11. Suppose 56 + 9 = -5*q. Let b be p(q). Solve -b*d - 4*l = 3*d - 24, -5*l = -5 for d.
4
Let n be 1 + -5 + -1 - -7. Solve 