b, -16 - 4 = 5*d + 2*f for d.
-4
Let s be 5*(9 + (-19 - -11)). Solve -u - 7*p + 12*p - 1 = 0, -4 = 4*u - s*p for u.
-1
Suppose -38*h + 41*h + 24 = 0. Let b(f) = 2*f**2 + 17*f + 11. Let w be b(h). Solve -w*x = -2*k, x + k + 5 = -0 for x.
-2
Let m(q) = -q**3 - 21*q**2 - 35*q + 58. Let a be m(-19). Solve 3*x - 9 = 5*h, 6 - a = 5*x - 5*h for x.
-2
Let c = 99 - 114. Let k be -6*(10/c)/2. Suppose 2*z - 5*h = 22 + 3, -5*z - k*h = -19. Solve 36 = -4*r - 4*j, 2*r + 40 = -2*r - z*j for r.
-5
Let n = -7506 - -7512. Solve 4*r + j + 21 = 0, -4*r - n = -35*j + 33*j for r.
-4
Suppose 3*t + 4 - 16 = 0. Suppose 3*q - 7*q = 5*b - 27, -3*b + 3*q = 0. Solve t*k = 2*k - b*j - 4, 3*j = -3*k - 6 for k.
-2
Suppose -450 = -3*w + 144. Suppose 190*b - w*b = 0. Solve 8 = -q - 3*q, 5*a + 2*q + 9 = b for a.
-1
Let j = 19 - 11. Let z be 0 + 3 - (7 + (-5 - -21)). Let h be 4 - 0*4/z. Solve 0 = -5*l - h*b + 4, 4*l - j*l = -2*b - 24 for l.
4
Suppose -l - 27 = 3*q, 3*l = 4*q + 44 - 86. Let u be 11100/1350 + (-1)/(l/(-4)). Solve 2*x - 6 = 3*c + u, 0 = -4*x - 4*c - 12 for x.
1
Suppose 2*j + 176 = i, 2*j - 2*i + 265 = -j. Let n = 91 + j. Let g(c) = -c + 1. Let o be g(-4). Solve 0 = -x + o, 4*x - 4 = n*t + 32 for t.
-4
Let o(y) = -y**3 - 25*y**2 - 2*y - 50. Let r be o(-25). Suppose r*k + 25 = 5*k + j, -3*j + 31 = 4*k. Solve k*x = -u + 12, 4*x - 2*u - 12 = u for x.
3
Let b(h) = h**2 + 58*h - 3051. Let j be b(34). Solve -3*n + w = -64 + j, 11 = -3*n - w for n.
-4
Let k(h) = -h**3 + 8*h**2 - 4*h - 24. Let j be k(8). Let c = 58 + j. Let l = -1 - -3. Solve t = -c*a - t + 6, 3 = -a + l*t for a.
1
Suppose -225 = 5*l + 20. Let o be 3/(-2)*(l - -47). Solve 0*f + o*f + 2*w = 13, -3*w = -2*f - 13 for f.
1
Let m = 390 - 387. Solve -m*n - 8 = -5*n, 5*n = -o + 18 for o.
-2
Let r(a) = a**2 + 8*a + 11. Let b be r(-9). Suppose 0 = 2*d - b + 22. Let z be (-1)/(-3)*27/(4 + d). Solve 2*n - q + 10 = 0, z*q = -0*n - 2*n - 2 for n.
-4
Suppose 424*n - 78 = 385*n. Solve -8 = -o - n*w, o = w + w - 4 for o.
2
Suppose 433*m - 429*m = 28. Suppose -26 + 61 = m*p. Solve 0 = -r + 5*r + a + 1, -5 = -r + p*a for r.
0
Let k = 18 - 0. Let d = -197 - -199. Suppose 0 = -5*t - d*q + k, 4 - 2 = 3*t - q. Solve w = -w - g + 2, -t*g = -4 for w.
0
Suppose -5*w - 2*u = -45, -13*w = -18*w - u + 45. Let j be 0/(-4 + w) + 24. Solve 0 = 3*z - 3*y + j, -2*z + 12 = -y + 6*y for z.
-4
Suppose -3*c + 103 + 28 = -p, -4*c = 2*p - 178. Let b = -70 + c. Let f = b - -33. Solve 4*g - f*z = -4*z - 2, -2 = 2*g - z for g.
-2
Suppose 4*z - 48 = -0*z. Let u be (z/(-10))/(((-4)/(-10))/(-1)). Let g(j) = -2*j**2 + 14*j - 9. Let d be g(6). Solve -d*o - 4 = -x, -x + 2*o = -u*o - 10 for x.
-5
Let i be (5 - (-10 + 4)/(-1))*-4. Solve 2*u = -2*o + i, -12*o = -13*o - 4*u + 17 for o.
-3
Suppose -7*f + 8*f = -4. Let q be (-12*1/f)/((-3)/(-9)). Let r(b) = b - 1. Let n be r(1). Solve -5*p = -2*y + 18, n = -3*y + 4*y + 2*p + q for y.
-1
Suppose 11*t - 15 = 7. Suppose -2*r = a - 5, 3*a + 7*r - 20 = t*r. Suppose 3*d = -2*d + a. Solve -i + 5*i + 4*o + 20 = 0, -d*i + o = 11 for i.
-4
Let f(v) = -2*v**2 - 10*v + 10. Let x be f(6). Let j = x + 144. Solve 3*b + s - 2 = 4*b, -s = 5*b + j for b.
-4
Suppose -2801 = -27*t - 2099. Solve 0 = 3*k + 2*b + 10, -2*k + 6 - t = -2*b for k.
-6
Let m = 269 + -125. Let c = -87 + m. Let h = c - 55. Solve b = -4*d - 6, -d - 2*b = -0*d - h for d.
-2
Suppose -12*t - 2380 + 2404 = 0. Solve -i - t*j = -4*j - 7, -i - 4*j - 17 = 0 for i.
-1
Suppose 0 = 31*x - 95*x + 15*x + 931. Solve -12 = -3*f - 3*a, x*f - 2*a = 24*f - 23 for f.
5
Suppose 4*o - 2*o = -3*j + 1, 3*j = -4*o - 1. Let v be 4/o*183/(-6). Suppose v - 2 = 5*l. Solve -5*r + 9 - l = -5*a, -10 = 5*a for r.
-5
Suppose 3*z - 10*z = -1043. Suppose 4*o = -2*a + 222, -o - 2*a = -4*o + z. Let r = -50 + o. Solve 0 = -r*b - f + 3*f + 7, -5*b - 3*f = 1 for b.
1
Let p(s) = -331*s - 991. Let u be p(-3). Solve -5*m = 3*f - 25, -5*m + 15 = -u*f + 3*f for m.
2
Let m(a) = 10*a + 68. Let l be m(-6). Suppose -2*u - 8 = -9*i + 13*i, 5*i + l = -2*u. Solve 3*q - 17 = -2*g, i = -5*g + 2*q - q for g.
1
Let c = 5 + -2. Let s(f) = -20*f**3 - 5*f**2 + f + 11. Let l be s(-3). Let a = l - 495. Solve 2*y = 5*j + a, -y + 2*j - c*j = -4 for y.
4
Let h(t) = 6*t + 10. Suppose -31*l = -37*l - 6. Let s be h(l). Solve 2*u - 25 = 5*z, 5*u + 4*z + s = -16 for u.
0
Suppose -130*g + 646 = -524. Solve 3*m + g = u, 0 = 4*u + 2*m - 55 + 47 for u.
3
Let n(x) = 2*x**2 + 3*x + 6. Let o be n(-3). Suppose o = 50*c - 45*c. Solve 2*l + 3*b - 2 = 0, 3 = 3*l + c*b - 0*b for l.
1
Suppose -1014 = -4*l - 1006. Suppose l*k = -7*k + 180. Solve -4*v = 2*z - z + 20, -4*z = 4*v + k for z.
0
Let x(f) = -f**2 - 22*f + 52. Suppose -14*o + 25 = 361. Let d be x(o). Suppose 0 = -y + 4*z - 15, 4 + 1 = 4*y - 3*z. Solve -y*b = -4*k, 0*b = d*b for k.
0
Let p(t) = 17*t + 100. Let b(f) = 17*f + 99. Let d(s) = -4*b(s) + 5*p(s). Let c be d(-6). Solve 2*w - 2 = w, -2*i + 3*w = c for i.
2
Let s = -30336 - -30339. Let r(z) = -z**3 - 2*z**2 - z. Suppose -h - 1 - 1 = 0. Let d be r(h). Solve 0*x + s*x + d*i = 1, -5*x - 4*i - 1 = 0 for x.
3
Let u = -32524 + 32543. Solve -2*j - 5*n + 3 + u = 0, -2*j = -5*n + 18 for j.
1
Suppose 25*i = -31458 + 31583. Solve 4*l = -2*o + 14 - 34, -i*l - 25 = 4*o for l.
-5
Let w = 211 - 202. Suppose 2*u + 2*d = u + 11, -u = -3*d + w. Solve 5*g + u*l = -5, 3*l = -0*l - 15 for g.
2
Suppose -2*n - 5*f = 2*n - 45, 2*f = 4*n - 66. Let l be -10*(-3 - ((-273)/n)/7). Solve l*z = 2*w + 8, -3*z = -0*z + w - 11 for z.
3
Let l = 29 - 53. Let i = l + 28. Suppose -i*c = 4*s - 37 + 1, c = s + 1. Solve -s*m + y = -15 - 1, y = 2*m - 8 for m.
4
Let t(o) = -2*o**3 + 2*o + 1. Let x(g) = 4*g**2 - 19*g. Let c be x(8). Let b be (-26)/c + (-3)/4. Let v be t(b). Solve 4*q = -4*s, -5 = -4*q - 2*s - v for q.
2
Suppose -116*u - 21 = -57*u - 62*u. Solve -u*z - p - 15 = -3*z, 2*z + 5*p - 15 = 0 for z.
-5
Suppose 3 + 13 = 2*x. Let c = x + -5. Let b = -76053 - -76058. Solve -4*t = 2*a + 2*a - 4, -5*a = -c*t - b for t.
0
Suppose 5*z = -2*h + 30, -5*h - 5*z + 37 = -2*z. Let b(y) = 204*y + 51. Let w be b(-2). Let p = 377 + w. Solve 10 = 3*a - g, 0*a + h*a - 5*g = p for a.
3
Suppose -17*r - 5004 = -434*r. Solve 2*t - 4*x = -r, -11*x + 12*x = -t + 3 for t.
0
Let i(a) = 2*a**2 + 24*a + 61. Let r be i(-14). Let j = 4 + r. Suppose j = -2*y + 125. Solve 0 = 4*l - 0*l + 4*m, 3*m = y*l - 15 for l.
3
Let g(s) = -s**2 - 16*s - 57. Suppose h = 4*h + 18. Let p be g(h). Solve 0 = 2*y - p*k + 4, -3*k + 5 = -3*y + k for y.
1
Suppose -3*m = 8*m - 1716. Suppose 5*n - m = n. Let b = -35 + n. Solve 4*t = -v + 12, -b*t + 0*v + 12 = -2*v for t.
3
Let k be (-8 + 1640/220)/((-2)/11). Solve -k*i + 18 = 3*m, -2*i - 25*m = -28*m + 13 for i.
1
Suppose 10*b - 177 + 67 = 0. Suppose -b*y = -7*y. Let p = 8 - 4. Solve 2*r = 4*w + p, y = 6*r - 2*r - 4*w - 8 for r.
2
Let p(f) = -f - 1. Let i be p(2). Let d be (i - 0)/((-2)/(-2) + -2). Suppose d*a + 80 = 8*a. Solve 2*m = -2*j - 2*j + 24, 2*j = -2*m + a for j.
4
Let n be (-1056)/33*2/(-4). Solve 0 = -2*g + n*k - 21*k - 33, -g + 4*k + 16 = 0 for g.
-4
Let w(s) = 4*s - 8*s + 2*s - 4. Let o be w(-4). Let n(t) = -5*t**3 + 11*t**2 + 13*t - 29. Let k be n(2). Solve g - k = -0*g + 4*h, 5*h - o = -4*g for g.
1
Let c be 417/12 + 9/36. Let a be (c/(-7))/35 - 951/7. Let h = -135 - a. Solve 3*z + 11 = -5*k, -z - h = k - 0*z for k.
-4
Let w = 299 + -89. Suppose -6*h - w = -9*h. Suppose p - 10 = f, -5*f + h = 4*p + p. Solve 3*b - p = -3*m, -m + 4*b - 8 = -b for m.
2
Let g be (4 + -1)/(12/164). Let f = -137 - -142. Solve -4*i - g = 5*m, -i + f*i = -m - 21 for m.
-5
Let q(v) = v**3 - 12*v**2 - 16*v + 14. Let o be q(14). Let u = 185 - o. Solve -3*s + 2*s - 7 = k, -2*s + u*k + 11 = 0 for s.
-2
Let k(p) = 2*p**2 + 7*p + 8. Let a be k(-4). Suppose -h - h = -a. Let l(v) = 10*v - 56. Let r be l(h). Solve 4*i = -2*q - 9 - 15, 2*q = 3*i + r for i.
-4
Suppose 72*a - 11760 = 30*a. Suppose 4*o - 18*o + a = 0. Solve -t = s + 4*s - o, -3*s + 4*t + 12 = 0 for s.
4
Let q be 45/(-9) + 0/(-3) + 142. Let n = -133 + q. Solve d + a = n, -2*d = 2*a - a - 3 for d.
-1
Let n be ((-6)/(-7))/(57/7714). Let z(s) = 15*s + 1. Let g be z(8). Let t = g - n. Solve 2*x - 10 = t*a, 11 - 27 = 4*a for x.
-5
Suppose -45*h + 29040 = 10*h. Let g = -526 + h. Solve -5*x = 3*m - 10, -4*m - g*x - 15 = -x