 d*h - j*g for h.
-3
Suppose -3*v + v + v = 0. Let g be 4*(2/8 + 1). Suppose -8 - 2 = -2*k. Solve 2*c + 32 = -g*x + 3, v = -2*c + k*x + 21 for c.
-2
Suppose -12*a = -8*a + 52. Let r = a - -18. Solve 3*h + 4*j + 19 = 0, -h - r*j = -2*j + 8 for h.
-5
Let g = 580 + -565. Let l be 2 - (-4)/(1 - -1). Solve 0 = 3*n - f + 5 + l, -5*f - g = 5*n for n.
-3
Let v(r) = -r**2 - 8*r - 1. Let l be v(-7). Suppose 0 = 11*t - 2*t + 459. Let c be (-221)/t - (-4)/6. Solve -5*q + 30 = -c*s, 0 = 5*q - s + l*s for q.
3
Suppose -2 = -2*b + 2. Suppose 9 = -3*v + b*t - 7, -4*t = 16. Let u be (1 + -1)*4/v. Solve 3*r + u - 40 = 5*s, 2*s = r - 15 for r.
5
Let y be 45/(-6)*(-8)/10. Solve 2*r = 2*s - y, 2*r = 4*s + 1 - 3 for s.
-2
Let r be (-1)/(15/(-6) + 2). Let h be -3 + 30/(-3 + 6). Let n be 7 - (20/2)/2. Solve r*c + 3 + h = -4*f, 10 = 5*f - n*c for f.
0
Let c be (-14)/(-1) - 10/5. Suppose -9*q + c = -3*q. Solve 2*n - 2*z + 0*z + q = 0, -2*n + 5*z = 5 for n.
0
Let w(g) = g**3 - 5 + 11 - 5*g**2 - 5 + 5*g. Let b be w(4). Let m be (-12)/10*5/(-2). Solve b*k + 5*v = 0, m*k + v - 2 = k for k.
2
Let s(q) = 32 - 10 - 6 + 14*q**2 - 15. Let k be s(-1). Let b = -15 + k. Solve 2*m = -4*z + 4*m - 10, -3*z - 4*m - 35 = b for z.
-5
Let h = 20 - 16. Let v be h/(-14) - 6/(-21). Suppose v*r = 5*r. Solve 0*f + 4*d = 2*f + 24, -5*d + 25 = r for f.
-2
Let u = 19 + -47. Let p = -22 - u. Solve 2 = -x + k, 2*x + k = x + p for x.
2
Let k = 8 - 0. Let s = k + -13. Let w = 8 + s. Solve -5*r - 2*n - w*n + 15 = 0, -4*r + 5*n + 30 = 0 for r.
5
Let w(t) = -3*t - 51. Let q be w(-18). Suppose 5*f - 5*d = 175, -q*f - 5*d = -7*f + 140. Solve 0*g + f = 3*v - 5*g, -g - 19 = -3*v for v.
5
Suppose -5*k - 20*k = -300. Solve 3*v - 9 = 5*y, k - 6 = -3*v for y.
-3
Let y(o) = -2*o**2 - 24*o + 6. Let j be y(-12). Suppose -14 = -5*b + j. Solve 4*u + 11*a - 31 = 6*a, 0 = u - b*a + 8 for u.
4
Let n = 37 - 55. Let d = 24 + n. Solve 2*y - d*r = -3*r + 18, -5*y = -4*r - 31 for y.
3
Suppose 0 = 5*n, -x + 5*n + 3 = -2. Suppose -103*v + 104*v - 4 = 0. Solve 2*i + v*b - 8 = 0, i + 0*b - 16 = -x*b for i.
-4
Let j = -8 + 13. Suppose 0 = 3*q - 2*p + 14 - 46, -j*q = p - 62. Let k be (-5 + 1)*q/(-8). Solve -m + c - k*c = 5, 3*m = 5*c + 5 for m.
0
Let j(x) = -x**3 + 5*x**2 + 9*x + 4. Let b be j(8). Let o be (-8)/20 + b/10. Let w = 14 + o. Solve -2*a + 4*i = -12, -2*a + 3*i = w*a - 19 for a.
4
Suppose 0 = 5*r + 5, 5*n + r + 0*r = -226. Let m be 72/n*(-10)/4. Solve m*z - b - 7 = 0, -4*b - 13 = -1 for z.
1
Let d(c) = c**2 - 2*c + 1. Let x be d(3). Let m be (31 + -33)/(2/(-6)). Let v be 10 + (-5 + 2 - -5). Solve x*k - o = -v, -m*o = -k - o + 16 for k.
-4
Suppose -4*f + 40 = 4*b, 5*f = 6*f + 5. Let x = b - 5. Solve -4*i = 2*o + x, o - 25 = 6*o + 4*i for o.
-5
Suppose -3*z + 2*b + 14 = 0, 4*b = -9*z + 4*z - 6. Suppose z*l = 9*l - 28. Solve -2*m - 12 = 3*n, -3*m + 8*m + l*n + 16 = 0 for m.
0
Suppose -53*o + 204 = -61. Solve -4*q = -o*x - 15, 5*x = -0*x + q for x.
1
Let h(o) = 2*o**2 + 2*o - 20. Let d be h(3). Let n = 4 + -1. Solve -5*p + 1 = 4*a - n, -5*a = 4*p + d for p.
4
Let u(r) = 2*r**2 + 54*r + 61. Let y be u(-26). Solve 4*b = -o + 18, 2*b - y + 1 = -o for b.
5
Suppose -f - 2 - 16 = 3*w, 0 = f + 2*w + 20. Let a = 28 + f. Solve 0*z + a*z = v + 20, -5*v + 5*z = 40 for v.
-4
Let v be (1/1)/((-1)/6). Let u(y) = -y**3 - 5*y**2 + 5*y - 3. Let w be u(v). Let r be -1*2 + 7 + -1. Solve r*p + w*t = -0*p - 4, p + 4*t = 12 for p.
-4
Let p = -38 - -31. Let g be 4/p - (-109)/7. Solve -4*y = 3*n - g, 5*n = -2*y + 4 + 7 for n.
1
Suppose -i + 6 = -2*m, -4 = -i - 5*m - 5. Solve 2*l - 4*l - 14 = -i*z, z = 4*l + 7 for z.
3
Suppose 0 = 3*o + 32 - 89. Suppose 4*h - 114 = -42. Let c = o - h. Solve 2*a + 5*y = -15, a - 4*y = -0*y - c for a.
-5
Let z = -3 + 7. Let w be (-6)/(z + 11/(-2)). Solve -16 = -5*u - w*c, u - c = -6*c - 1 for u.
4
Let i = -24 - -27. Suppose -2*w = 2*b + 4 - 2, -10 = 2*b. Solve 0 = 2*t - 4*t - w*q - 30, -i*q = -3*t for t.
-5
Let v be 789/6 + (-7)/(-14). Suppose 5*i = -i + v. Solve 3*k = -2*m - 2*m - 31, 2*k + i = -3*m for k.
-5
Let h = 571 + -563. Solve -5*c - 15 = 0, -q + 10 = -10*c + h*c for q.
4
Let n = -21 + 39. Suppose -4*s - 5*w = -w - 24, n = 4*s + w. Let o be (3 - 3)/((-1)/1). Solve -3*q = -o*q + 4*x, s*q + 28 = 4*x for q.
-4
Let v = -6 - -7. Let d(o) = 5*o + 4. Let m(f) = f - 1. Let h(z) = v*d(z) - 4*m(z). Let s be h(-4). Solve s*r + 8*a = 3*a - 45, 0 = -r + 2*a + 5 for r.
-5
Let p(v) = -v**3 + 5*v**2 - v + 6. Let m be p(5). Suppose 0 = 5*q - 19 - m. Let g = 336 - 336. Solve 2*x = -q*t - 28, 19 = -3*t - g*x - x for t.
-5
Let f = 7 - 1. Suppose -k + 0*k = -f. Solve 2*q + 11 = -5*s + k*q, 0 = -2*s + 3*q - 3 for s.
-3
Let p be 1/(25/136 - (-14)/(-112)). Solve 3 = 2*h + 3*y, -6*y + y = -4*h + p for h.
3
Let s = 369 - 364. Solve 9 - 3 = -3*c - 5*z, -z + 12 = s*c for c.
3
Suppose -5*u + 43 + 3 = 4*k, -4*k = -u - 34. Let s(z) = 5*z - 3. Let j be s(4). Solve -2*a - k = -0*t + t, -4*a = t + j for a.
-4
Let b(d) = -8*d - 10*d + 90*d**2 + 0*d**3 + d**3 - 73*d**2. Let w be b(-18). Solve w = -2*c - 5*y + 3*y + 2, 3 = 3*y for c.
0
Suppose 25 = 4*m - 3*y, -2*m + 3*y + 18 = 7*y. Solve o = -4*w - m, 0*o - 2*w - 8 = 2*o for o.
-3
Let s = -6 - -11. Suppose 146*l + 48 = 170*l. Solve -5*x + 0*x = s*n + 10, -l = 5*n + 3*x for n.
2
Suppose 0 = 12*z - 3 - 45. Suppose -29 = -5*u + 3*v - v, z*v = -2*u + 2. Solve -11 = -u*g - 4*o, 0 = -g + 4*o - 17 for g.
-1
Let t(i) = -2*i**3 - 25*i**2 - 11*i + 15. Let a be t(-12). Solve -a*l + 8*l - 3*u = -3, 2*u - 2 = l for l.
0
Let j = 134 - 132. Suppose 3*l = j*b + 2, 3*b + 5*l - 6 = 5*b. Solve 0 = 4*x - 2*v - 10, -b*v + 35 = 2*x + 3*x for x.
5
Let h(m) = m**2 - 15*m + 47. Let d be h(11). Solve -3*p - d*t + 12 = -0*p, -4*p + 16 = -t for p.
4
Let j be -8 + 6 + (-6 - -13). Solve 2*s = -5*p + 2 - 6, 0 = j*s - 5*p + 10 for s.
-2
Let l be 1/(-2*1/6). Let a = 7 + l. Solve 0 = -3*v - 0*s - 2*s - 20, v + a*s + 20 = 0 for v.
-4
Suppose -1 = h, -4*g - g + 18 = -3*h. Suppose g*w - 40 = -5*w. Solve -3*f = -3*u - 18, 3*u + w*f = u + 16 for u.
-2
Let f = 1323 - 1321. Solve s - 10 = -f*r, r - 5*s + 17 = -0*r for r.
3
Let a(k) = -2*k**3 + 11*k**2 + k - 24. Let b be a(5). Solve w - b*c = -2*c - 3, w - 3 = c for w.
5
Let v = 12 + -9. Let u = 13 - 11. Solve -g = m - 0*m + v, 15 = u*g - 5*m for g.
0
Suppose 9 = b - v, -1 - 2 = -v. Suppose b*f = 9*f + 96. Suppose 4*g - f = 4*h, -3*g - h = 3*h - 3. Solve 4*n = -2*p - 8, -3*p - 10 = g*n + 1 for n.
-1
Let z(d) = 9*d**2 - d**2 + 4*d + 5 - 4*d**2. Let l be z(-1). Solve l*m + 5 = -5*i, -16 = 4*i + 5*m - 4*m for i.
-5
Let n be (-2)/(-9) + 1042/9. Let q = n + -111. Solve 2*f - 5*k = 21, -q*f + 14 + 13 = -4*k for f.
3
Let n be (32/20)/((-4)/(-10)). Let b be 6/n*(-12)/(-9). Solve 2*q - 10 + 2 = b*l, -4*q = 4*l + 24 for q.
-1
Let p(t) = t**2 + 5*t + 4. Let f be p(-5). Let c(x) = -x**3 - 6*x**2 + 3. Let a be c(-6). Solve -5*j + 4*h - 33 = 0, -a*j - 23 = -0*j - f*h for j.
-5
Let i be -1*(-30)/(-4)*(-12)/18. Solve -t = 8*v - 3*v + i, v + 15 = -3*t for t.
-5
Let z = 30 - 15. Suppose b - 3*t = z, -3*b = -2*t - 17 - 0. Solve -b*n = -2*o + 11, 2*o = o - 2*n - 5 for o.
1
Let p = -7 - -13. Suppose 46 + 38 = p*a. Solve -4*g - k = 15, -4 + a = 2*k for g.
-5
Let a(x) = -x**2 + 19*x + 192. Let d be a(26). Solve -5*h + 0 = -2*t - 5, 5*h - 3*t - d = 0 for h.
-1
Suppose c = 6*c - 10. Let a(s) = 28*s + 224. Let j be a(-8). Solve -c + 0 = o - v, j = v for o.
-2
Suppose 0 = -3*t + 5*a + 254, 2*a + 432 = 5*t - 2*a. Let y be 8/20 + t/5. Solve -5*b + 11 = -p, 2*b + 4*p - y = p for b.
3
Suppose 0 = 5*s + 197 - 217. Solve 3*q = 4*u + u + 2, 0 = s*u - 5*q + 12 for u.
2
Let i = -20 - -28. Suppose -2*h + i - 4 = 0. Solve -4*y - p + h = 13, 3*p = -y for y.
-3
Let i(r) = r**2 + r + 3. Let a be i(0). Suppose 4*f = 2*f + 8. Solve a*j = b + f, 3*b + j = -j + 10 for b.
2
Let n(i) = -i**3 + 14*i**2 + 16*i - 12. Let p be n(15). Suppose -z - p*t = 8, 2*t = 4*z + 5*t - 4. Let d = -1 + z. Solve 3*q - q = -10, -3*q = -d*w + 3 for w.
-4
Let k = 1228 - 1226. Solve 0*b - 4 = 5*b + k*p, -p - 7 = 5*b for b.
-2
Let g be (-44)/(-10) - 8/20. Suppose 2*d + g = -y, -y + 3*d = -4*y. Let i = -4157 + 4171. Solve t = y*x - 11, -5*x - 3*t + 4*t + i = 0 for x.
3
Suppose 209 = -2*p + 219. Solve -5 = -5*y + 4*i - 0*i, 0 = i - p for y.
5
Let y(x