 for h.
-5
Let x be 3/(-4)*16*-1. Suppose 0*w + 4*w - x = 0. Suppose 7 = -63*c + 448. Solve p - 2*v = -6, w*v = p + c + 2 for p.
0
Let z(r) = -r + 18. Suppose 2*g + 2*w + 3 = 29, 0 = 2*g + 4*w - 20. Let s be z(g). Solve 0 = h - f + 1 - 3, 5 = s*h - f for h.
3
Let z(w) = -w**3 - 12*w**2 + 13*w + 2. Let c be z(-13). Suppose 664 = -c*n - 6*n. Let l = 85 + n. Solve -3*g - 3 = l*r, 0 = 4*r + g - 0 + 1 for r.
0
Let l(y) = -y**3 + 4*y**2 + 4. Let c = -54 + 62. Suppose i - 4 = 2*u, 2*i + 0*i + 4*u = c. Let t be l(i). Solve -2*m + m + t = 0, 4*g + 16 = 2*m for g.
-2
Suppose 2*w = 3*i + 47, -4*w - 6*i + 90 = -8*i. Let n be w/187 - (-147)/51. Solve 2*x + n*b - 6*b - 16 = 0, 5*b + 20 = 0 for x.
2
Let l(a) = -10*a**2 - 51*a + 35. Let n be l(-2). Solve -5*o = 2*h - 23, -o + 108 = 2*h + n for o.
3
Suppose -16013 + 15973 = -20*v. Solve -5*f + 60 = 5*g, -g = -36*f + 35*f + v for f.
7
Let m(k) = 6*k + 42. Suppose -11 - 2 = i - 4*r, -2*i = 5*r. Let o be m(i). Solve -3*y = -3*n + o, 0*y = -2*y - 4 for n.
2
Let q(h) = h**3 - 9*h**2 + 8*h + 45. Let j be q(7). Suppose 122*k = j*a + 120*k - 28, 5*a - 36 = -2*k. Solve -o + a = o, 16 = -4*t + o for t.
-3
Let m = -4265 - -4280. Solve 0 = -2*r + 4*r, 4*r - m = -3*j for j.
5
Let u be -1 + 3*(-3 + 1) + 3. Let z be u/6 + (-1 - 40/(-6)). Solve -d - 9 = 3*r, z*d = -5*r + 14 - 39 for d.
-3
Let i = -203 + 187. Let f = i - -29. Solve u + 7 = 3*d, 3*d + f = -u - 3*u for d.
1
Let t be (4/((-18)/4 - -4))/(-2). Let r be (-6 - (-15 + 7)) + t. Solve x = 2*o - 0*x, 3*x = r for o.
1
Let d be (-70)/(-14)*9/5. Let o be (-24)/(-16)*((-24)/d)/(-2). Solve 2*y + 2*s = 8, -4 = 3*y - y - o*s for y.
1
Let n(a) = -23*a + 12*a + 15*a + 11 + 0. Let w be n(-2). Solve -w*j + 3*c = 0, -c = j - 3 - 7 for j.
5
Let s = -293 + 410. Suppose -42 = 3*z - s. Solve 5*o = 3*i + z, -2*o + 5 = 3*o + i for o.
2
Let y(z) = 2*z**3 + 2*z**2 - 31*z + 10. Let o be y(0). Solve 0 = -2*k + 2*a + o, 3*k + 3*a + 23 = 8 for k.
0
Let r(a) = -2*a**3 - 5*a**2 - 2*a + 5. Let n be r(-3). Suppose -6*p + 3*p - 4*j + n = 0, 2*p = -j + 10. Solve 0 = -p*g - k + 12, -2*g = g - 2*k - 20 for g.
4
Suppose -50 = -4*c - 2*y, -2*y = y - 9. Suppose -4*g = 5*d - 25, 3*d - 4 = g + c. Suppose t - t + t = g. Solve -5*p - k + 16 = t, 4 = -3*p + 2*k + 11 for p.
3
Suppose -5*m - 15 = 0, q + q - 4*m - 18 = 0. Suppose 39*x - 3459 = -3342. Solve 2*a + q*j = -12, -2*a + j - x = 1 for a.
-3
Suppose -211*c = -294 + 226 - 565. Solve -4*l - 5*f = 15 - 24, l = -2*f + c for l.
1
Suppose -6*j + 10*j = 12. Suppose -5*p - 4*b = -139, -p + 30 = -0*b + j*b. Solve -x + p = -3*d + 2*x, 4*d = -3*x - 1 for d.
-4
Let g = -37 - 35. Let n be ((-3)/6)/(((-14)/g)/(-7)). Let b be (7/21)/(1/n). Solve d + 0 = -3*a - b, 2*d + 6 = -3*a for d.
0
Suppose f - 2*f = -2. Let z = -2890 + 2901. Suppose 0 = f*m + j - z, -2*m + 3*j + 2 - 3 = 0. Solve -l = 4*t - 13, 4*t - t - 5*l - m = 0 for t.
3
Let o be ((5 - 5)/6)/(-8). Suppose o = -5*b + 159 - 134. Solve -2*x + 5*a = -3*x + 13, b*a = x + 17 for x.
-2
Suppose w + 4*q = 19, 2*w + 3*q = 5*q + 58. Solve 3*b - 4*b + 4*o - 8 = 0, 0 = -3*b - 5*o + w for b.
4
Let u(n) = 41*n - 51. Let y(c) = 2. Let g(d) = -u(d) - 4*y(d). Let m be g(1). Solve -m*v - 2*v - 10 = s, 2*v - 2*s = -10 for v.
-3
Let h(u) = 24*u - 74. Let l be h(7). Let i = -90 + l. Solve -c + 3*c = -i*o, -4*o = 4*c for c.
0
Suppose 0 = 2*r - 4*c - 12, c - 41 + 37 = -3*r. Solve 4*n - 5*k = 8*n + 2, 0 = -2*n - 3*k - r for n.
2
Let p(w) = 3*w**2 - w + 1. Let c be p(1). Let o = 11555 + -11550. Solve -7*a + 4 = -c*a + 2*j, 5*a - o*j = -10 for a.
0
Let a be (4*-1)/(-17 + 16). Let r = 15 - 10. Let n = 1945 - 1943. Solve 0 = -3*x + a*u - 9, 9 = n*x - r*x - 3*u for x.
-3
Let v(i) = 0 + 8 - 4*i - 7 + 3. Let x be v(1). Solve 4*k + 3*t = -0*t + 9, x = -2*k + 5*t - 15 for k.
0
Let m = -1421 + 2065. Let y be ((-5)/(-8)*2)/(23/m). Suppose -6*z = -z + 4*x + 5, 4*x + y = 5*z. Solve 6*d - 20 = 3*p + 2*d, z*p = d - 14 for p.
-4
Let a be 7*((-20)/14 + 2). Suppose 15*t - 5*t = -60. Let q be (4/5)/(((-18)/75)/t). Solve -a*c = -5*m + 24 + 5, 4*m = q for c.
-1
Let k = -2010 + 2023. Solve -5*v + 10 = 5*y, -9*y = -k*y + 4*v + 8 for y.
2
Let k be ((-675)/(-30))/(-3)*32/(-10). Let l(m) = -m**2 + 4. Let v be l(5). Let w = 25 + v. Solve 4*z = -4*h + 3*z - k, 0 = -w*z - 16 for h.
-5
Suppose 14*k - 13*k + 2*t = 18, k - 6 = 4*t. Solve 3*x = 4*r + 20, -2*r + 5*r + 5*x - k = 0 for r.
-2
Suppose 2*s = -5*m + 392, 0*m + m = 2. Let x = s + -185. Let w = -3 - -5. Solve 4*p = -8, x - w = -3*j + 4*p for j.
-4
Suppose 47*o - 50*o = 168. Let m be o/(-8)*2/7. Solve 0 = -m*z - i + 3, -i - 4 = -2*z - 3 for z.
1
Let m(z) = 7*z**2 + 15*z + 10. Let s be m(-6). Let g = 177 - s. Suppose 4*i = -8, 0*q - 3*i = 3*q - 54. Solve 2*d - 2*f = -2*d + 22, 5*d + g*f - q = 0 for d.
5
Let i = -38 - -41. Let w be (256/(-112))/((-2)/7). Suppose -w*y = -4*y - 12. Solve -y*f = -2*a + 12, i*a - f = f + 8 for a.
0
Suppose -4*x + 24 = -4*z, 3*x + 148 - 174 = 7*z. Solve -x*l + 5 - 9 = -w, 3*l + 3 = w for w.
0
Let s be 12/(-15)*(-3)/((-12)/(-1810)). Let o = 364 - s. Solve 8 = n - o*t - 3, t + 6 = n for n.
1
Let a(w) = w**2 - 25*w - 1174. Let t be a(49). Solve 2*i + 4*p = -22, 3*i + 4*p - t = -27 for i.
-3
Let l be 3 + ((-36)/2 - -2). Let v(m) = -2*m**3 - 26*m**2 + 6*m + 26. Let k be v(l). Let y = k - -65. Solve -x = 3*p + 3*x - y, -13 = -4*p - x for p.
3
Let o be 1*2/(6/(-159)). Let t = o - -55. Suppose 3 - 7 = -t*d. Solve 0 = -3*f - 2*q - 18, -f - f + d*q - 2 = 0 for f.
-4
Let i(o) = 4*o + 5. Let a be i(2). Let r(x) = -x**3 + 12*x**2 + 13*x + 2. Let h be r(a). Solve -5*d + 20 = -5*c, -3*c - 3*d = -h*c for c.
-3
Let r(m) = -m**3 - m**2 + 21*m + 10. Let t be (-3)/(-7) - (-1064)/(-196). Let j be r(t). Solve 0*y = 4*k + 2*y + 6, 27 = 2*k - j*y for k.
1
Suppose -6*c + 0 = -54. Solve -12*v = -m - c*v - 2, -5*v - 10 = -5*m for m.
4
Let q = -45 + 65. Suppose 16*i + 40 = q*i. Suppose -9*b - i = -37. Solve 0 = -4*r + 20, -5*r + 3 = -b*c - 10 for c.
4
Suppose 9*z - 28 + 28 = 0. Suppose z = -k - 5*l + 28 - 7, 0 = 4*k - 3*l - 61. Solve 5*x - g - k = 0, -4*x + 4*g + 13 = -x for x.
3
Let x be -9 + (-75)/(-8) - 651/(-56). Solve -o + 3*p - 4 = 0, x*o - p + 12 = 9*o for o.
-4
Suppose -7*k = -11*k + 4*a + 356, 2*a = -4*k + 326. Let p = 134 + -46. Let c = p - k. Solve -c*f + o = 3*o + 4, -3 = 3*f + 3*o for f.
-1
Suppose 35*v + 4 = 36*v, 3*l = 2*v - 500. Let t = l - -169. Let f(x) = -x**3 + 2*x**2 - x. Let c be f(1). Solve -4*p - 11 = -c*q + q, 2*p = -t*q - 1 for q.
1
Suppose -229 = -106*h + 105*h. Let q = 233 - h. Solve 5*t + 6 = q*d, d + 5*t - 12 - 2 = 0 for d.
4
Suppose 155 = -14*c + 19*c. Suppose 6*y - c = -31. Solve 10 = 5*z + 2*p - 3*p, 5*z - 3*p = y for z.
3
Let t be (2 - (-40)/(-15))*2052/(-456). Let i be (-1 - -1) + (0 - 0). Solve -3*y = -2*r - i*y - t, 0 = 2*r + 2*y - 2 for r.
0
Let m = -138 + 142. Suppose -22*v - 61 = -m*o - 17*v, 38 = 2*o - 4*v. Solve -k + o = 4*q, -3*k - 4 + 15 = -4*q for k.
5
Let o be 270/55 + (-88)/(-968). Solve -o*q = -c + 15 + 5, -5*c - 4*q = -13 for c.
5
Suppose 0 = -42*f + 123 + 3. Solve -f*u = 15, -2*u = 2*o - 6*u - 26 for o.
3
Suppose -5*m = -2*v + 74, 399*m + 92 = 4*v + 396*m. Solve -4*z + 13*j - 8*j + 23 = 0, -z + 5*j = -v for z.
2
Let m(j) = 80*j - 3276. Let k be m(41). Solve -2*x = -u - 9, 27*x = -k*u + 26*x - 18 for u.
-5
Let l be 10/8 + 81/(-36). Let h be (-1 + 4/8)*(-77 + l). Suppose -37*z + h*z = 4. Solve 3*a = 9, -6*c + 3*c - z*a + 9 = 0 for c.
1
Let b(v) = -29*v + 815. Let c be b(28). Solve 3*s - 5 = s - 3*a, -a = c*s + 10 for s.
-5
Suppose 9*i - 515 = 14*i. Let a = i + 109. Let c be -16*1*a/(-4). Solve 0 = -2*w - 4*k - 6, w = 3*k - 7 + c for w.
5
Suppose -3 = 2*s + 3. Let f be 30/(-5) - 0*(-2)/8. Let k = s - f. Solve -k*z = -4*t - 9, -4*z + 5*t + 14 = -3*z for z.
-1
Suppose -5*s + 95 = 5*w, 35 = 3*w + 5*s - 32. Solve 3*z = 0, 11*h + 2*z - 9 = w*h for h.
-3
Let x(c) = -c**3 - 11*c**2 + c + 27. Let h = -67 + 56. Let y be x(h). Suppose -y*p = -10*p - 24. Solve 4*m - 4 = p*v, -2*v + 2*m = v + 7 for v.
-5
Suppose 28*y = 720 - 580. Solve 0 = y*t + 2*v - 5, 2*t - 18 = -5*v + 5 for t.
-1
Let j = 3760 - 3760. Solve j = -4*s + b - 16, 3*b - 4 = s + b for s.
-4
Suppose 175*v - 310 = 43 - 3. Solve -u - 1 = -2*o - 7, -v*u - 3*o = 16 for u.
-2
Let g be (34 - 46)*((-28)/8 + 3). Solve 