1 for h.
3
Let j(b) = b**2 + b + 2. Let r(p) = p**3 + 3*p**2 + 4*p + 12. Let g be r(-3). Let q be j(g). Solve -14 = -2*w - 4*u, -2*u = -q*w + u - 21 for w.
-3
Let l = -208 - 199. Let p = 417 + l. Solve 5*t - p = -3*y, 4*y + 5 + 5 = 5*t for y.
0
Let g be -6 - 8 - ((3 - 2) + 4). Let f be -2 - g/8 - (-63)/24. Solve -f*z + 6 = -o, 2*z + 10 = -4*o - 0*z for o.
-3
Let g(t) = 113*t + 1249. Let r be g(-11). Solve -2*s = y + 3, 5*y = r*s - 4*s + 33 for y.
5
Let h be 0/(-4)*((-2)/6)/(-1). Suppose h = 8*z - 156 + 92. Solve -2*w - 4*r = 22, 4*w + r + z = 2*r for w.
-3
Suppose -2 = -8*j - 2. Let w be (-2 + 2)/(j + 1). Suppose w = 4*a - 2*a - 3*k - 34, -k = 5*a - 68. Solve 4*x + 4 = 2*m - a, -3*x = 9 for m.
3
Let y = 1185 + -1167. Solve -a = q + 6, q = -13*a + y*a + 18 for q.
-2
Suppose 0 = p - 2*p + 5*s + 5, -5*s = -5*p + 5. Let f = 6 + 3. Suppose -v + f - 7 = p. Solve 4*x = -0*g - v*g - 8, 5*x = 5*g + 5 for g.
-2
Suppose -x = 3*h - 10 - 2, 3*h = 3*x. Suppose -i - 4 = -x*i. Solve -3*z + 4*z - 1 = 3*u, 4*z + 24 = -i*u for z.
-5
Let n = -2 - -3. Let d be 3/(-6)*0 - -8. Suppose r = 4*i + 1, 23*i - 23 = 25*i - 3*r. Solve 0*l + y + n = l, d = i*y for l.
5
Suppose -427 + 39 = -97*h. Let o be 9/(-4)*32/(-6). Suppose -4*g - o + 94 = a, -g - 4*a + 28 = 0. Solve 5*u = h*p + g, -u = -3*p - 1 - 3 for u.
4
Suppose 45*a = -47*a + 2*a + 360. Solve -s = -71 + 70, 4*s - a = r for r.
0
Suppose -a + 27 = -w, -a - 4*a = w - 129. Solve 4*l = -2*g + 2 - a, -3*g - 2*l - 20 = 0 for g.
-4
Let k(r) = -16*r**3 + r**2 - 1. Let v be k(-1). Let l be (-2)/(-2) + v - -4. Solve 7 = -2*x + t, x = -0*x + 4*t - l for x.
-1
Let s(n) = 3877*n + 23267. Let c be s(-6). Suppose -3*l = -5 - 139. Let z be (-3 + 2)/((-2)/l). Solve h - 9 = 3*h - g, -c*h - z = -3*g for h.
-3
Let d be (2 - 5/(-5))*(-128)/(-96). Solve -d*n + 12 = 2*g, n + 28 = 5*g + 20 for n.
2
Suppose -2*b + 2*a - 3 = -27, 4*a + 24 = b. Suppose 2 = y - b. Suppose -2*n + n = -y*n. Solve 3*q + 2*o = n, -4*o = 3*q + 2*q for q.
0
Let k = 3 - 113. Let i(u) = u**3 - 5*u**2 + 2*u. Let h be i(7). Let r = h + k. Solve -3*n + 4*t - r*t + 13 = 0, 5*t = 3*n - 28 for n.
1
Suppose -u - 684 = 4*c - 4*u, c + u + 164 = 0. Let y = c - -172. Solve -1 = -x - v, y*v - 40 = x + 4*x for x.
-4
Let c = -22624 - -22629. Solve -w + 4*w + c*d = 45, -w = -4*d + 19 for w.
5
Let h be (7/(-21)*15)/((-5)/4). Solve 5*l + 1 = h*a, 9 - 8 = -2*a + 3*l for a.
4
Let s(n) = -3*n + 32. Let u be s(10). Let f(m) = -27 + u*m - 6 + 9*m - 4*m. Let v be f(5). Solve -2*c = -3*d - 15, 0*d + v*d = 2*c - 12 for c.
3
Suppose 3*b + 3*f - 3 = 0, f = 2*b + 6 - 17. Let n be (33/(-44))/(9/(-132)). Solve -2*y - n = 2*a - 3*y, 25 = -b*a + 5*y for a.
-5
Suppose 418*n = 3*w + 417*n - 41, -w + 4*n = -32. Solve -4*j = 4*g + 8, -8*g = j - w*g - 13 for j.
1
Suppose 9*t - 2565 = -2439. Solve -5*i - 1 + t = 3*v, -5*v = -i + 25 for v.
-4
Let i = 359 - 164. Let v = 197 - i. Solve 2*u + 4 + 1 = -c, -3*c - 3 = v*u for c.
1
Let k = 14441 + -14441. Solve 2*i - 23*j + 27*j + 4 = k, -3*i + 3*j = 15 for i.
-4
Suppose 54 = -130*u + 314. Let v = 2 - 0. Solve -l + 3*q = -v*l + u, 2*q - 24 = 5*l for l.
-4
Let x(j) = j**2 - 261*j + 777. Let f be x(3). Solve -14*o + 13*o = -5*t + f, 3*t = 3 for o.
2
Suppose -5*d = -j - 18, 3*d = 47*j - 42*j - 20. Solve 3*s + 3*r + 9 = 0, -3*s + 15 = -d*r + 16 for s.
-2
Let x = -98959 - -98966. Suppose 5 + 5 = -5*p. Let r be 3/((-1)/(p/3)). Solve s = r*u + 3*u + x, u = -s - 5 for u.
-2
Let r = 9 + -4. Suppose 0 = -5*a + 25, -5*z - 2*a + 772 = -3028. Suppose d = -z + 760. Solve -d*p + r*u + 35 = -0*p, p = -u for p.
5
Suppose 1 = 4*l - 11. Solve -2 + 26 = l*g + 3*u, -g - 3*u = -18 for g.
3
Let u(b) = -10*b**2 + 79*b - 61. Let m be u(7). Solve -3*y + 2 = -m*y + r, -11*y + 3*r = -36 for y.
3
Suppose -15 - 8 = -23*o. Suppose 4*k + o = -3*c + 36, c - 5 = 0. Solve -g - k*l = 3*g + 3, g = -l for g.
3
Suppose -9*q = -13*q + 8. Solve 2*d + 3*u = 18, 10 - 4 = -q*d + 3*u for d.
3
Let s(y) = 19*y. Let o = 103 + -103. Let x be s(o). Solve 2*m + 5*v - 8 = 10, x = 2*m + 2*v - 12 for m.
4
Let c = -10519 + 10523. Solve -c*v - v - 14 = 4*l, 0 = -2*l + v for l.
-1
Suppose -28*f + 278 = 166. Solve f*y - 3*y = -o - 4, 4*y = 4*o + 8 for o.
-3
Suppose -4*b - 640 = 22*b - 36*b. Let m(k) = -61*k. Let g be m(1). Let h = g + b. Solve -2*z + h*w = 2, 8*w - 3*w = 10 for z.
2
Let h be (10/35)/((-7)/(-98)). Solve 17*n + 3 = 14*n - 3*g, -4*n = 2*g + h for n.
-1
Let x = 10413 - 10413. Solve -r - p = 0, x = 5*r + 21*p - 25*p - 18 for r.
2
Let l be 774/12 + 1/2. Suppose 36*v - 31*v - l = 0. Suppose 16*p - v*p = 15. Solve -4*a + 3 = d, -p*d + 4*a = a + 31 for d.
-5
Suppose -4*b = -690*z + 687*z - 36, -3*z - 18 = 2*b. Solve 5*r + 30*f - 15 = 25*f, -2*r = -b*f - 16 for r.
5
Suppose 13*y - 9*y + 20 = 4*v, 4*y + 5 = -v. Solve v*a + 10 = -2*u + a, 19 = u - 5*a for u.
-1
Let f = -3694 + 3702. Solve -a + 3*m - 18 = -f, -a + 4*m - 12 = 0 for a.
-4
Suppose 84*t - 88*t = -3*x + 17, -4*x + 2*t = -16. Solve x*d - g = -0*g + 12, -4*g = -d + 26 for d.
2
Let l = 7296 + -7293. Solve l*m - c = -5 + 8, 0 = -4*m - 5*c + 4 for m.
1
Let d be 0 + -1 - (1 + -4). Let n be (-260)/91 - (0 - (-238)/(-49)). Solve 0*p + 2 = n*l - 4*p, -3*p + 16 = d*l for l.
5
Let h(l) = -36*l - 108. Let a(n) = 73*n + 217. Let o(f) = -2*a(f) - 5*h(f). Let r be o(-3). Solve 2*u - 27 = -5*x, -r*u = 5*x + 8 - 37 for u.
1
Suppose -115 - 3 = c. Let p = c - -123. Solve p*f = 15, 3 - 9 = 2*t - 4*f for t.
3
Let c = 186 - 169. Suppose 4*u - 4*g = 24, -3*g + 5*g + c = 3*u. Solve -w + 4*z = 3*z + 4, u*z - 8 = -w for w.
-2
Let c = -25 + 50. Let m be (3/2 - 1) + (-25)/2. Let z(s) = s + 27. Let v be z(m). Solve -5*l = -2*j + j - c, -3*l + j = -v for l.
5
Let u = 9564 - 9559. Solve -5*y + 4*y - 3*r - 5 = 0, -3*r + u = -y for y.
-5
Suppose -28*g + 718 - 214 = 0. Suppose 2*r = 4*n - g, -4*n - 5*r = -1 - 10. Solve -5 = -3*i - w, -4*i + 0*w + n*w - 20 = 0 for i.
0
Suppose 0 = 4*f + 43*f - 470. Solve -62*t + 57*t + 40 = -3*l, -l - f = -t for l.
-5
Let b(j) = -j**3 + 9*j**2. Let y be b(9). Suppose -2*c + y*c = -4. Suppose 12*r - 23 - 25 = 0. Solve 4*x = -4*g, 3*x + c*g + r = -3*g for x.
2
Suppose -2*y + 40 = 4*f, -29*f - y - 24 = -31*f. Solve 2*b = -z - 10, 4*b + 13 + f = -3*z for b.
-3
Let n be (1 - (-20 - -1)) + 0. Suppose -6 = q - 2*t, -4*t - 55 + 67 = -4*q. Solve 4*w + 0*x = -3*x + n, -2*w + 3*x - 8 = q for w.
2
Let k(d) = d**2 + 6*d + 7. Let x be k(-5). Let l be 15 + (390/6)/(-5). Suppose -8*h = -l*h + x*h. Solve 4*c + 5*j + 16 = h, 5*c - 3*j = -0*j + 17 for c.
1
Let f(g) = g**2 + 9*g + 12. Let v be f(-9). Let i(t) = 4*t**2 - 21*t + 42. Let d be i(2). Solve 4*x + 9*q = 4*q + d, -4*x + 2*q = v for x.
-1
Let r be (1/(0 + 1))/((-22)/22). Let w be 38 + -4 - (r - -4). Solve 6*m + 5*a + w = 3*m, 0 = 5*m - 2*a for m.
-2
Let d = -342 - -348. Solve -3*b + 7*m - 10*m = -15, -d = -2*m for b.
2
Let j = -15820 - -15822. Solve -p - 8 = 2*w, 2*w = -4*p + j - 22 for p.
-4
Suppose 7*n - 44 - 5 = 0. Suppose 5*l + 4*a - 11 = 5*a, 2*a + n = 5*l. Let j be (-1 + l + (1 - 0))*1. Solve -w = -0*t - 2*t - 11, j*w = -5*t for t.
-3
Let x = 11608 + -11602. Solve -x*k - 9 = -11*k + 4*p, 5*k = p + 6 for k.
1
Let x(h) = -h**3 - 11*h**2 + 26*h + 1. Suppose 67*a = 53*a - 182. Let j be x(a). Solve -c - c - j = -3*g, 0 = -g - 1 for c.
-2
Let u be 90/75*(0 - (-35)/3). Suppose 0 = 3*o - u + 2. Solve 0*i - 5*i = -5*k + 30, -i = -o*k + 21 for k.
5
Let l(o) = -42*o - 86. Let d be l(-3). Let t = 0 - 11. Let k = 13 + t. Solve -5*b + 4*a + d = 0, -a - 2 = k*b - 5 for b.
4
Suppose 2*r - 6 = -0. Suppose -583 = 12*n + 29. Let o = n - -56. Solve o*t + 3 = -r*g, 0 = 3*t - 4*g + 2 - 6 for t.
0
Let p = -98 + 42. Let f be (-9)/((-9)/(-3)) + p/(-7). Solve -f*w = 4*k - 5, -2*k - k + w - 20 = 0 for k.
-5
Suppose -n - 4 = -5*j - 24, 0 = -2*n - 3*j - 12. Let b(p) = p**2 - 174*p + 3346. Let m be b(22). Solve -c + 18 = 3*c + m*a, 2*c + 2*a - 12 = n for c.
3
Suppose 0 = 4*p - 0*p + i - 930, -3*i = 5*p - 1159. Let l = 233 - p. Solve 3*n - 5*s - 37 = l, 0 = -5*n - 0*s - s + 15 for n.
4
Suppose -w + 28 = -0*w. Let u(j) = 4*j**2 + 8*j - 9. Let l be u(1). Solve -n = -5*n - 4*v + w, 5*n - 3 = l*v for n.
3
Let f be (5 - 4) + (-4 - -1 - -6). Suppose 5 + 49 = 3*m. Suppose -m + 23 = u. Solve -2*l - 8 = -4*l, u*p - 4*l = f for p.
4
Let b = 2269 -