j = 4 for h.
5
Let h be (-2)/(-1) - 1 - -1 - 0. Let a be -3*1 + h/((-16)/(-40)). Solve 5*b = -3*r + 15, a*b - 3*r = -r + 6 for b.
3
Suppose -24982*o + 24826*o = -468. Let t be -3 + 2/2 - -4. Solve g = -t, -g = 3*z + o + 2 for z.
-1
Let g(c) = -2*c. Let s be g(-6). Suppose s*o - 72 = 10*o. Suppose 6 = o*d - 34*d. Solve -3*t - 5 = -4*n, 6*n - t = d*n for n.
-1
Let v(t) = t**2 + 12*t + 5. Let s(o) = o**2 + 13*o - 42. Let m be s(-15). Let q be v(m). Solve x + 5*f - 6 - 3 = 0, 4*f = -q*x + 3 for x.
-1
Suppose 0 = 3*i + 4*r + 10, 25*r + 22 = i + 20*r. Solve 0 = i*s - 3*j - 12, 0 = 2*s - 9*j + 14*j + 20 for s.
0
Let p = 279 + -270. Let s(u) = u**2 - 3*u - 51. Let o be s(p). Solve o = m - z, -4*m + z + 4*z + 15 = 0 for m.
0
Let k = -90 + 74. Let p = -26 + k. Let w = 44 + p. Solve -4*y - 1 = w*j + 7, 2*j - 2*y = -8 for j.
-4
Suppose 9*o - 221 = -221. Solve o = 3*c - 5*v - 8, 5*c + 3*v + 8 = 10 for c.
1
Let p(l) be the first derivative of -1/2*l**2 + 12 - 4*l. Let x be p(-6). Solve -4*j - 5*a + 0*a + 10 = 0, 2*a = x*j + 4 for j.
0
Let r be (-6*(1 - 0))/(3/(-2)). Let u = 20 - r. Suppose l - 4*w + 0 + 4 = 0, 2*w - u = -3*l. Solve -5*h - 20 = 4*g, 1 = l*h - 3*g - 14 for h.
0
Let f(s) = -2*s**2 - 3 - s + 3*s**2 - s. Suppose 3*u + 16 = -4*l + 8, 2*u + 12 = -4*l. Let j be f(u). Solve 5*b - 35 = 5*t, -2*b - j*t = -5 + 26 for b.
2
Let j(p) = -23*p - 15. Let m be j(-1). Suppose n = -4, -6*q + 2 = -m*q - 3*n. Solve 3*r - 9 = -q*y, -3*y = -0*y - 2*r - 13 for y.
3
Let c be (4 + 140/(-21))*48/(-32). Solve -2*n = -c*h + 4, 5*h + 1 = 4*n + 9 for n.
-2
Let m = -2671 - -2673. Solve -s = -3*i - m, 5*i + 1 = s + 3*i for s.
-1
Let y = -6511 - -6512. Solve 2*m = -2, -15*d = -19*d - 3*m + y for d.
1
Let a(x) = -x - 10. Let m be a(-12). Let j be -5*2/(20/(-5))*m. Solve -y - 4*u + 4 = -5*y, -j*u = -10 for y.
1
Let v = 192625 - 192620. Suppose -27 - 3 = -3*n. Solve -n = -v*u + 3*c + 4, -5*u + 28 = 4*c for u.
4
Let k be 6/(-15) + (-24)/(-10)*(-117)/(-27). Solve -2*j + m = 1, -k*j + 4*m - 22 = -11*j for j.
2
Let i be (-2 - (-2)/1) + 920/(-46). Let a be i*(0/1 + 11/(-44)). Solve 0 - 5 = -3*m + u, -u - a = m for m.
0
Let z be 0 - (4/12)/(2/48). Let t be (16/3)/z*177. Let d = t - -121. Solve 4 = 4*h - 0*n - 5*n, -3*h = -4*n - d for h.
1
Let b be (-7)/(7/2) - -24. Let j be b - 1 - (-3 - 0). Suppose 0 = 4*h - 2*o - 18, h = 3*h - 4*o - 6. Solve h*s - j = -a, -4*a - 2*s = -3*s + 9 for a.
-1
Let n be (-61 + 60)/((-1)/4). Suppose -3*a - d = 2, -3*a - 2*a - 2*d - n = 0. Solve -z + a*i = 4*i + 16, 2*i = 5*z + 14 for z.
-4
Suppose -1518*y - 5 = -1522*y + 7. Solve -5*a = 3*h - y, -3*h - 4*a - 4 = h for h.
-4
Suppose -i - 4*c = -0*c - 11, -3*i = c. Let a be 35/i*2/(-5). Suppose 4*p - p = 2*p. Solve a = 4*g - 3*x, -5*g - 3*x + 31 = -p*g for g.
5
Let j = 858 + -368. Let h = 497 - j. Solve 4*v + 3*g = 5, 3*g - 7*g + h = 5*v for v.
-1
Suppose 23*g + 18 = 18. Let t be (-395)/(-237)*(18 + g). Solve 0 = -2*w + 5*l - t, -w + 2 = w + 3*l for w.
-5
Suppose 3*g + 4*d + 325 = 6*g, -5*d = -3*g + 323. Let z = g + -112. Let r be (105/(-14) - -8)/(z/(-4)). Solve p + 1 = -m, -p = m - r*m - 9 for m.
-5
Suppose -45*y = -75 - 15. Let j = 47 - 38. Suppose j*t + 2*t - 44 = 0. Solve -t*d + y*b - 14 = 0, -3 = -2*d + 5*b - 30 for d.
-1
Suppose 4*w + 2*x - 26 = 0, 16*x - 21*x + 13 = -3*w. Solve w*l + 16 = 3*q, -4*q + 12 = -q for l.
-1
Let t be (12*124/84)/(2/7). Suppose -3*m = 47 - t. Let v be 27/(-18)*16/(-6). Solve 3*i = 2*r + m, 0 = i - 5*i + v for r.
-1
Suppose 60 = 4*j - 4*s, 4*s - 15 = 3*j - 65. Let k = 13 - j. Solve -4*u - 2*f + 14 = 0, u = 3*u + k*f - 9 for u.
3
Suppose 4*c = -d - 86, 14*d - 172 = 16*d - c. Let q = 93 + d. Solve -3*v - 17 = 4*a, 7 = -4*v - a - q for v.
-3
Let n(i) = 9*i + 83. Let a be n(-10). Let r be 28/(-126)*(a + 0 + -2). Solve 4*z - 5*v = -10*v + 5, -r*z = 3*v - 5 for z.
-5
Let k(o) = -5*o**2 + 48*o + 22. Let v = -108 + 118. Let l be k(v). Solve -5*f - 4*j + 7*j + 2 = 0, 0 = 2*f + l*j - 4 for f.
1
Let b = 79 + -74. Suppose 0 = b*j + 2*u - 37, j - 3*u = -14 + 35. Suppose -5*i - 27 = -3*s, 5*s + i - 3 = 70. Solve 3*v + 4*d = -j, v + 4*d = -d - s for v.
1
Let b = 105 - 220. Let y = -111 - b. Solve -2*g + 0*n + y*n = 0, -n - 2 = 0 for g.
-4
Let j be (176/20)/(51/255) - 7. Solve 5*a + o - j = -2*o, -4*a = 2*o - 28 for a.
5
Let y(d) = d**3 - 2*d**2 - 6*d + 13. Let q = -169 - -171. Let s be y(q). Solve 0 = -4*c - 3*w + 21, s + 14 = 4*c + w for c.
3
Let q(n) = -8*n + 54. Let s be q(11). Let p = 34 + s. Solve 0 = 5*m + 3*i + 26, p*m - 5*m - i = 22 for m.
-4
Let w be ((-16)/20)/((-30)/75). Suppose b + 4 = 5*a - 6, 12 = 2*a - w*b. Solve 5*y = -5*k - 15, -y - 6 = -a for k.
2
Suppose 1170 = 17*t + t. Let g = t - 62. Solve -2*h - 7 = -5*w - g*h, 2*h = 4 for w.
1
Let i(q) be the second derivative of -q**5/20 + 7*q**3/6 + 13*q**2 - q + 7. Let j be i(0). Solve 5*d - 5*b = -5, -2*b = -2*d + 6*d - j for d.
4
Let c(u) = -7*u**2 - 13*u + 110. Let a be c(-5). Solve 3*w + 1 + 7 = -2*h, -5*h + 5*w + 30 = a for h.
2
Let w be 2/(-10)*(-500)/(-8)*-2. Suppose 10 + w = 7*v. Solve v*t - 4*k - 10 = 0, 2*k - 17 = t + 5*k for t.
-2
Suppose 62*i = 17*i - 19*i + 1024. Solve 11*t - 27 = i*t - 4*n, 5*n - 30 = 5*t for t.
-3
Suppose 37*g - 9 = -3*j + 34*g, j - 3*g = 31. Solve 0 = z + r - 2, -23*z = -27*z - 2*r + j for z.
3
Suppose 3*f = 2*p + 10, -42*p + 39*p - 15 = 2*f. Solve 0 = -4*t + 3*q + 7, -3*t + 4*q - 152 + 159 = f for t.
1
Let y = -381 + 374. Let u(z) = z**3 + 5*z**2 - 31*z - 111. Let p be u(y). Let x = -4 + 8. Solve c - x = 3*a, a - p = 5*a - 4*c for a.
-1
Suppose 2948 - 3023 = -15*k. Solve -4*q + k*x + 16 - 1 = 0, 2*q = -2*x - 6 for q.
0
Let y be 142 + 1 - (-1)/(-1). Suppose -y = 2*i + 3*r, 4*i - 8*r + 9*r + 264 = 0. Let s = i - -72. Solve 0 = -3*j + 2*g + 14, -4*j + s*j - 17 = 5*g for j.
4
Let b be 2/(-6) - (-42)/27*(-177)/(-118). Solve -n - i = -b, 0 = -n - 2*n - 2*i + 4 for n.
0
Let p = -18203 + 18206. Solve -6 = -2*v, -4*f + 2 = -p*v + 7 for f.
1
Suppose 19*h + 162*f - 391 = 164*f, -4*h = 2*f - 92. Solve 0 = 5*o - p + 18, -6*p + 10*p = 3*o + h for o.
-3
Let n(u) be the first derivative of -u**4/4 - 3*u**3 - 9*u**2 + 12*u + 91. Let y be n(-5). Solve 5 = g + 2*r, 10 = y*g + r + 2*r for g.
5
Let w be (-2)/12 - 1460/24. Let g = 72 + w. Let l be ((-30)/15)/(1 + (-13)/g). Solve 0 = -5*s - 4*h + l + 14, 3*h = s + 14 for s.
1
Let f = 8236 - 8223. Solve 10*c + 13 = -y + f*c, -5*c + 20 = 0 for y.
-1
Let s(i) = 8*i. Let g(l) = 3*l. Let v(m) = -11*g(m) + 4*s(m). Let h be v(-2). Let n = -1201 - -1203. Solve 4*o = -5*j + 11, -h*o = -n*j + o + 9 for j.
3
Let b = 87 + -30. Suppose -15*t + 18*t - b = 0. Let j = 3 - 1. Solve 3*m - t = j*i, i + 35 = -4*i + 5*m for i.
-2
Let h be 10/(-25)*-10*(-7 - (1 + -9)). Solve 0 = -r - a - 6, h*r + 33*a = 37*a - 8 for r.
-4
Let p be (-7 + 12 - 0)/1. Solve p*k - 25 = -2*c + 3, -5*k = 3*c - 32 for k.
4
Let s = 40 - -28. Let k = s - 64. Suppose -2 = -m - 1, -v + 6 = -k*m. Solve -y = 2*r - v - 3, -5*y = 4*r - 41 for r.
4
Let x = -9649 - -9653. Solve -2*v + 2 = 0, 3*v = -4*g + x*v + 11 for g.
3
Let h be (-1 - -1)/4 - -41. Let s = h - 36. Let w = 28 - 5. Solve 5*d - v = -4*v - w, -2*d = s*v + 13 for d.
-4
Let a(b) = -4*b**2 + 63*b - 38. Suppose 0 = -n - 4*w + 35, -4*n + 6*n - 4*w - 10 = 0. Let c be a(n). Solve -5*u - l - 10 = -6*l, 0 = 2*u - 3*l + c for u.
1
Let i = 6 + -30. Let j be (-4)/i - 68/(-24). Suppose j*s = 4*s. Solve -m + 0*m + 3*h + 2 = s, 2*h = -2*m + 4 for m.
2
Let t = 292 + -220. Let y be 12/(-2)*9/(t/(-4)). Solve b = -w + 4 + 5, y*w - 11 = b for w.
5
Let c = -1502 - -1512. Suppose -p = 3*h - 14, 3*p - 2*p + 10 = 5*h. Suppose h*w - c = w. Solve -37 + 2 = -w*y - 4*l, 2*y - 3*l + 9 = 0 for y.
3
Suppose -2*u - 4*p = 13 - 43, -4*u = -4*p. Solve -2*i - 20 = 5*k, u*k + 9 - 14 = 3*i for i.
-5
Suppose -4*r + 11 = 11. Suppose 0 = 5*f - r*f + s - 26, -30 = -5*f - 5*s. Suppose -d - 81 = -83. Solve 4*l = f*y + 17, y - l - 2 = -d*l for y.
-1
Suppose 4*x - 6*b = -4*b + 20, -4*b + 20 = 2*x. Suppose 5*n = 4*z + n - 692, 4*z - 3*n = 689. Let j = -168 + z. Solve 0 = j*i - 2, -3*t + t - 4*i + x = 0 for t.
1
Let g = -3142 + 3165. Solve -3*d = -2*o + g, -4*d - 29 = d - o for d.
-5
Let t = -441 + 467. Suppose n + t = 5*z, -9*n = -4*n + 5. Solve -3*q = -3, 4*q + 4 + 7 = -z*c for c.
-3
Suppose -35 + 266 = 