3 = -2*h + c*z for h.
5
Suppose i + 45 = -52. Let z = i + 101. Suppose z*v - m = 13, -4 = -2*v - 2*m - 0. Solve 30 = -v*q + 3*n, -q + 2*q - 10 = -3*n for q.
-5
Suppose -7*k + 36*k = 145. Solve k*w = -3*b - 11, -b - 2*w - 5 = -0*b for b.
3
Let r = -67 - -76. Suppose -r*z - 301 = 140. Let o = z - -55. Solve -2*c - 4*b + 12 = c, -3*c = -2*b + o for c.
0
Let v(y) = -16*y**2 - 51*y - 3. Let u be v(-3). Solve 3*j - 6 = u*c - 3*c, -5*c + 4*j - 9 = 0 for c.
-1
Let m be (7 + (-2 - -1))/((-34)/(-187)). Suppose -7 = -m*z + 356. Solve z = -o - 2*v, -20 = 5*o - o + 2*v for o.
-3
Let p = -27292 - -27297. Solve 47 = p*m - 6*v + 4, 2*v = -3*m + 9 for m.
5
Let h = -66 + 68. Suppose -9 = 3*c, 3*s = h*s + c + 6. Solve -3*k + 5*m - 16 = 3*m, 0 = 4*k + m + s for k.
-2
Let q be (-108)/(-21) - -2 - (-88)/(-616). Solve -25 = 5*f + 4*r, -2*r + 2 - q = -5*f for f.
-1
Let v be ((-4)/5)/((-10)/600*3). Solve -2*t = 2*k - v, 5*k + 0 = -3*t + 32 for k.
4
Let k = 271 - 261. Let w be 4/10 - 2/5. Suppose w = -11*x + k*x + 9. Solve 5*c = -5*j - 20, 4*c - x - 3 = 3*j for c.
0
Let t be (-150)/48 + (-1)/(-8). Let n = 187 + -206. Let m be (-80)/(-12) + -6 + n/t. Solve 0*w + 5*r + 23 = -4*w, 4*w = 5*r + m for w.
-2
Let j be 4 + (-1 + 1)/(-1). Let g = -688 + 394. Let a be g/(-784) + 6/(-16). Solve a = 5*n - 5*f + 30, -n + 3*f = j*f - 4 for n.
-1
Let n = -4 - -7. Suppose 3*p - 15 = -2*p. Let u be (58/(-15) - 46/345) + 2 + 5. Solve u*k + w = -k - 13, -p*k - n*w - 3 = 0 for k.
-4
Suppose 0 = 3*p - 7299 + 7287. Solve 2*i - 15 = 4*g + g, -3*g + p*i = -5 for g.
-5
Let r = 303 - 432. Let g = -124 - r. Solve -g*y + y + 3*x = -4, 0 = x - 4 for y.
4
Suppose 0 = -2*l + l. Suppose l = -s - 4*s + 105. Let g be (4/8 - 4) + 4 + 665/38. Solve -g = -5*o + 4*y + 13, -s = -3*o + 3*y for o.
3
Suppose -3*n = -0*n + 3*i - 528, 0 = -2*n - 3*i + 347. Let j = 186 - n. Let l(c) = -c + 19. Let t be l(19). Solve -3*b + d - 15 = 3*d, -j*b + 5*d = t for b.
-3
Let u(s) = 2*s**2 - 217*s + 844. Let d be u(4). Solve d*q = -4*v + 7*q - 5, 5*v + 2*q + 10 = 0 for v.
0
Let t(u) = -18 - 3*u - 26 + 2*u + 13 - 9. Let s be t(-43). Solve -2*r - 10 = -5*x, -x - 20 = s*x + 4*r for x.
0
Suppose -4*f - 3*w = -20, -2*f - f + 15 = -4*w. Let a be (-46)/(-18) + 24/54. Suppose -8 + 17 = a*z. Solve 2*x + z*s + 5 = 0, 0*x = 2*x - f*s - 3 for x.
-1
Let k be (-510)/60*(0 - -2). Let f(v) = -v**3 - 19*v**2 - 37*v - 46. Let o be f(k). Solve -3*j + 6 = -o*s - 9, 3*j - 15 = 3*s for s.
0
Let a be (4377/10213)/(1/14*2). Solve 13 = -a*f - 5, -2*h + 4*f + 32 = 0 for h.
4
Let r be 1*8/4*(1 + 0). Let g be 1 + (r + 2)/4. Solve 5*h - 3*u - 7 = 0, -5*u = -g*h - 2*u + 1 for h.
2
Let m be (2 - (7 - 3) - -6)/1. Solve -2*g = -m*d + 6*d, -4*g + d - 5 = 0 for g.
-1
Let b be (-8)/14*(-49)/14 - -17. Suppose -2*m - 5*o - 7 = 0, m = 2*m - 5*o - b. Let w be 6/m*(25 + -7). Solve -2*r + 0*z - z = 11, -3*r - 5*z - w = 0 for r.
-4
Let a = 6041 + -6034. Solve -3*q = s + 15, 3*s + a = 2*q + 17 for s.
0
Let j = 41 + -43. Let q be (-5)/((-90)/338) + j/(-9). Suppose 7 = -3*d + q. Solve -4*t = 2*v - 18, -3*t + d*v - 5*v + 11 = 0 for t.
2
Suppose 2*g = 3*q + 4*q - 2*q, 5*g = 2*q. Suppose -1 = -6*f - 1. Solve -2*o + 4*o + 2 = f, q = -2*z - o - 3 for z.
-1
Suppose 0 = -4*p - 2*i + 76 + 18, -3*p - 4*i = -68. Suppose -5*l = o - 2*o + 10, 5*o + l = p. Solve 17 = 3*d + o*a, -a = -6*a + 20 for d.
-1
Let v(o) = 3*o**3 + 19*o**2 - 16*o - 14. Let z be v(-7). Suppose -3*h + 32 = -n - 4, 5*h - 62 = n. Solve c + z*d = -3*d - h, 0 = -5*c - 5*d - 15 for c.
2
Suppose 0 = 7*n - 5*n - m - 15, -2*n + 5*m = -51. Solve n*t = 4*i + 2*t + 1, 3 = -t for i.
-1
Suppose 0 = j + 2 - 3. Let q be (j + -3)*((-84)/(-8))/(-7). Let y be 1*q*-10*16/(-120). Solve 0 = -2*v + 5*k + 8 + 4, -2*v - y*k - 6 = 0 for v.
1
Suppose 0 = 5*d + 5, 2*d = -z - 292 - 51. Let n = z + 345. Solve 0 = 5*p + 2*q - 20, -5*p + q - n*q + 20 = 0 for p.
4
Suppose 309*w = 316*w - 980. Suppose 3*v + w = 152. Solve -v*n - f = 2, -f = -4*f + 6 for n.
-1
Suppose -14*g - 12048 = -238*g - 278*g. Solve 0 = -t + o, -g = 2*t - 4*o - 18 for t.
3
Let k be (-5 + 7)*((-208)/4 + 2). Let o = -75 - k. Let m be 6*(o/15 - (-3)/(-3)). Solve -3*s + 2*p - 6*p - 31 = 0, 0 = -p - m for s.
-5
Let a be 3*-3*(-28)/36 - (-1)/(-1). Solve 3 = -2*z + 85*r - 90*r, z - 5*r = a for z.
1
Let s(y) be the third derivative of -1/24*y**4 + 1/3*y**3 + 28*y**2 + 0*y + 0. Let a be s(-12). Solve 3*w - 15 = -4*f + 3, -w - 4*f = -a for w.
2
Let f be 19*(-417)/9 + 12/36. Let m = 883 + f. Solve -3*p = 5 - 2, -3*w - m*p - 9 = 0 for w.
-2
Suppose -4*d = 0, 118 + 108 = -2*h - 3*d. Let o = h + 111. Let v be 36/90*(26 + o/2). Solve -5*f - t - 19 = -4*t, v = -5*t for f.
-5
Suppose -3*i - 2 = 2*k, 7*k = -5*i + 6*k + 6. Let p be (-6)/(-2) + 0*1/i. Solve -p*n + 33 + 2 = -4*t, 5*t = -3*n - 10 for t.
-5
Let z(k) = -4*k**2 + 102*k + 52. Let c be z(26). Suppose c = 5*j - 12*j + 28. Let y = -13 + 18. Solve 2*f = 5*r - 1, 5*r + j = y*f - 1 for r.
1
Let a be (-12)/(-75)*5*(5 - 0). Solve 8 = 3*p + s, 19*p - 20*p - 2*s = a for p.
4
Let c(x) = 16*x - 119. Let m be c(6). Let f = -20 - m. Solve -f*z + 0*n = 2*n + 22, 5*n + 33 = -2*z for z.
-4
Let v be ((-2)/(-6))/((-7)/(-42)). Let z = -4064 + 4068. Solve q = -2*s + 9, z*s = v*s + 2*q for s.
3
Suppose -109*q + 2105 + 5056 = -16*q. Solve 78*t = -v + q*t - 3, -2*v + t + 3 = 0 for v.
0
Let q be (3 + 64/(-12))*(-6)/7. Solve -q*z - 23 = -3*f, 5*z + 10*f + 30 = 12*f for z.
-4
Let u = 12858 - 12832. Solve -2*t = 4*c - u, 5 = 4*c - 5*t - 0 for c.
5
Let m(z) = -7*z**2 - 109*z - 152. Let p be m(-14). Solve 15 = 5*j + 4*o, 2*o - p - 8 = 0 for j.
-1
Let u(j) = 21*j + 3*j**2 + 0*j**2 - 36 - 3*j**2 - j**2. Let b be u(19). Suppose -b*f = 14 - 18. Solve 2*m = -4*z + 6, 0 = -2*m + 3*z - 24 + f for m.
-5
Let j = -302 + 309. Suppose 4*o - 7 = -0*o - 3*w, -5*o - 3*w + 11 = 0. Suppose 4*l - 4 = 2*d, -1 - 3 = o*d - 4*l. Solve -h + d*g + 3*g = j, h = -3*g - 1 for h.
-4
Suppose -2*l + r = 6*r - 31, -r = -4*l + 29. Suppose 0*q = -q - 7*q. Suppose -23*g - 52 + 144 = q. Solve w = 4*o + g, 2*w = -0*o - 4*o + l for o.
0
Let c be (5*-1 + 2)/(147/(-2695)). Suppose p + 3*b - 2 = 0, -c*b = -5*p - 54*b + 10. Solve 0*r = 2*r - 3*o - 1, 3*r - p*o + 6 = 0 for r.
-4
Let t = -4246 + 4251. Solve -t*c = -11*z + 16*z, -2*c - 5*z = 0 for c.
0
Let m(t) = 63*t - 1698. Let q be m(27). Solve 0 = 2*f - q*n - 3, 6 - 7 = f - 4*n for f.
3
Let a be 4*(1 + 3)*((-3)/(-1))/3. Solve 4*d + 2*g = a, -g + 3*g = 5*d - 20 for d.
4
Let f be ((-2 - -5)/(-3))/(1/4). Let q be 14/f*352/(-154). Suppose q*u = 20*u - 144. Solve -3*w = -u, 0 = 4*t + 4*w - 6*w for t.
2
Let x be (-9)/(-21) + 22/14. Let y be 6 + 8 + -2*x. Solve 5*n + y = 2*v, n + 2 = -0 for v.
0
Let y(x) = -34*x - 574. Let m be y(-17). Solve -5*a + m*u + 16 = 6, u = 5*a - 10 for a.
2
Let k be (-4)/(-1) - (7 - (9 - 1)). Suppose 5*n + 7 = -4*f, 4*n = k*f + 6*n - 4. Solve -5*r + 13 = f*v - v, -v + 1 = r for v.
-2
Let b = 596 - 44. Let o = b - 550. Solve 0 = c + c + 10, -o*c - 13 = -3*k for k.
1
Let g(a) = a**2 - 93*a - 1006. Let v be g(-10). Solve -4*b - 8 = 0, -4*r - 28*b = -v*b + 28 for r.
-5
Let g(l) = 861*l + 3457. Let f be g(-4). Solve -d - f*w + 12*w = 0, -4*d + 5*w = 0 for d.
0
Let l(w) = w**3 - 4*w**2 - 15*w - 40. Let f be l(7). Solve 37*o - 34*o = 2*r + 1, 3*o + 7 = -f*r for o.
-1
Let c(o) = 43*o - 30 - 66*o - 24 - 33. Let l be c(-4). Let f be (1 + 2)*(-11)/(-3). Solve 5*q + v - f = -0*v, 9 = 2*q + l*v for q.
2
Let r = 370 + -131. Let w = r + -234. Solve -15 = -w*b + 5*o, 0*b = 4*b + 2*o - 18 for b.
4
Let r = -47 - -9. Let u = r - -31. Let h(l) = -l - 4. Let n be h(u). Solve 30 = -n*x - d - 2*d, 10 = -3*x + d for x.
-5
Let d = -17243 - -17248. Solve -26*c + 31*c = d*o, 2 = -o + 3*c for o.
1
Let w(q) = 8*q**2 + 49*q + 9. Let u be w(-6). Solve 5*j = -28*r + 26*r + 5, 3*j - u = 5*r for r.
0
Suppose 0 = 4*o - 7*x + 11*x - 32, 5*x = -2*o + 34. Solve o*a + 4*p + 26 = -a, -3*a - p = 11 for a.
-2
Let y = -66 - -101. Let q = -39 + y. Let f(i) = i + 7. Let j be f(q). Solve -2 = -2*u - j*o + 3, 13 = -2*u + 3*o for u.
-2
Let b = 45 + -37. Let x(h) = 3*h - 1. Let l be x(4). Suppose w = l - b. Solve -3*m + 5*y = w, -2*y - 3*y = 4*m + 4 for m.
-1
Let b be (5/(-2))/((-6)/(-48)). Suppose 4*z = 3*a + 16 - 90, 5*z = a - 98. Let f = z - b. Solve f = 3*u - 9, 0 = 3*o