- 35/2*k**2. Let t be r(10). Solve -3*c + 4 = -2*d, 2*c = t*d - 0*c - 12 for d.
4
Suppose -12 + 32 = 4*s. Let u be (-52)/16*(-8)/(-4 + 6). Suppose u*h = -18 + 148. Solve h = -s*d, -b - 4*b - 3*d = 1 for b.
1
Let c be (4 + (1 - -48))/1. Let d = 64 - c. Let g(s) = s - 7. Let m be g(d). Solve -h + m*h - 3 = -3*f, 2*f + h = -1 for f.
-2
Let x be 8 + -14*14/(-196). Solve d + x*s = 13*s + 5, s = 0 for d.
5
Let q(w) = 1183*w + 17767. Let m be q(-15). Let i = 1 + -1. Solve -s + 2*d + 11 = i, 5*s - 5*d = m + 13 for s.
3
Suppose 5*p + 230 = 5*g, -5*p - 1121 = 2*g - 1276. Solve q - 8 = 2*h, g*q + 16 = 59*q for h.
-2
Let y be ((-35)/(-10) + -1)*54/45 - -11. Solve -5*u = -3*z + 1 - y, 4*z = -2*u for u.
2
Let x(k) = 30 + 31*k - 7*k + 115 + 12*k. Let h be x(-4). Solve -4*o = w - 0*o - h, 3*w = -3*o + 12 for w.
5
Suppose -12*q = -0*q - 276. Suppose 5*m + g - 19 = 0, -m - 2*g + 7*g - 17 = 0. Solve -4 = m*a + 4*r, -5*a + q = -r - 1 for a.
4
Let s(z) = z**2 - 7*z + 10. Let i be s(10). Suppose -x = 9*x - i. Solve 4*g = -5*n, 0 = -4*g - n + x - 20 for g.
-5
Suppose -2*d - d - 4*u + 56 = 0, -4*u = -4*d + 84. Suppose 375*y - 371*y = d. Solve o = -5*k - 0*o, 0 = 5*k + y*o for k.
0
Let b = -202 + -3. Let x = b + 206. Solve c = x, -3*c = -2*t + 2*c - 9 for t.
-2
Let q = -30 + 42. Let c = -17 + q. Let i = c - -9. Solve 2*h - 5 = -5*r, i*h + 3*r = -r + 4 for h.
0
Suppose -u + 1179 = -4*y + 1191, 0 = -4*u - 2*y + 6. Solve 0 = c + 3*h - 11, u = 3*c + 4*h + 63 - 86 for c.
5
Suppose -5*i - 6*v + v = 10, -3*v = -5*i + 30. Let c be (-45)/18*(-12)/15. Solve -c*w + 1 = -3*w + 3*g, i*w - 4*g = 2 for w.
2
Suppose 0 = 5*k - 3*b + 12 + 56, 5*k + b + 64 = 0. Let n(q) = -6*q - 64. Let l be n(k). Solve -3*c - 2*z = -l, 4*c = c - 3*z + 15 for c.
4
Suppose -9 = -5*z + 3*k, 5*k = 3*z + k - 12. Suppose -15*a + 19 = 4. Let x be 1/(4/8*a). Solve z = t - 2 - x, -s + 7 = t for s.
3
Let m be (-2)/((-72)/873) - 5/4. Suppose -m = -4*n - 5*c - 7, -n - c = -4. Solve n*s - h = 10, 0*s - 3*s = -5*h - 16 for s.
2
Let t = -166 - -163. Let y be ((-6)/(-4))/(t/(-56)*7). Solve 0*x - 6 = -5*q + 3*x, -y*q = -3*x - 6 for q.
0
Let t = 68 - 57. Let m(z) = z**2 - 10*z - 11. Let r be m(t). Suppose r = 11*x - 16*x + 25. Solve -4*f - 13 = 5*g, 29 = -5*g + 3*f - x for g.
-5
Let p(n) = -56*n - 781. Let z be p(-14). Solve -4*d + 23 - 36 = -z*h, -3*d = -5*h + 7 for h.
-1
Suppose 13 = 4*w - 15. Suppose -180 = -w*l + 19*l. Let t be (4/(-10))/((-99)/l + -7). Solve -5*o + 2*g + t = 0, -o = -g + 3 - 2 for o.
1
Let a be (21/(-14))/(9/(-12)). Let s be (a/(-3))/((-18)/81) + -1. Solve -f + 3*i = 3*f + 6, 2 = -2*f + s*i for f.
-3
Let z(m) = 350*m - 346. Let x be z(1). Let c = -22 - -34. Solve q + 3*q - 6 = -5*a, -x*a = 5*q - c for a.
-2
Let a be 2 + 35/(-5) + 5. Suppose z - 130 + 99 = a. Let j = z + -28. Solve 3*u + 9 = -k, j*k + 6 = 2*k - 2*u for k.
0
Let w(o) = -5*o + 18. Let a(i) = 1. Let k(y) = 4*a(y) - 2*w(y). Let v be k(6). Let j = 30 - v. Solve -2*g + 2*s = -j, 5*s + 5 = 3*g - 8 for g.
-4
Suppose -3*v = 3*r - 9, -4*v + 8 = -7*r + 9*r. Solve 9*k - 24 - 12 = -o, -r*o = 4*k - 16 for k.
4
Let m = 2303 + -2298. Solve 0 = -4*z + 12 + 4, -m*w = -2*z + 28 for w.
-4
Let h be 5*110/(-35) + (-8)/28. Let p be -1 - (1/4)/(h/64). Solve -4*y - 4 = -3*k - 5*y, -5*k + y + 20 = p for k.
3
Let x be 2/(-10) - (-4)/20 - 0. Suppose x = -y + 3*y - 10. Suppose y*p - 47 - 98 = 0. Solve 5*q = 5 + 15, 3*m - 5*q = -p for m.
-3
Let l = 184 + -98. Let z be ((-3)/(-6))/(-2*(-2)/(-656)). Let v = l + z. Solve -4*r - 4*u = -24, v*r + 5*u + 4 = 31 for r.
3
Let b be (1 - -4) + (-10 - -5). Suppose b = 8*a - 7*a - 5. Solve -a*l + 6 = -2*m, -4*l + 3*l = -m for l.
2
Let w = -18 - -32. Let l(m) = m**3 + 24*m**2 + 14*m - 656. Let q be l(-22). Solve -3*p + 27 = q*a, 0 = 4*p + a - w - 9 for p.
5
Let k = -189 - -192. Suppose q + k*q + 2*q = 0. Solve -5*m + c + 0*c = -30, q = -4*m + 4*c + 40 for m.
5
Let p = -49 + 56. Suppose -p*w + 14 = -0*w. Let v be (3/(-4))/(w/(-24)). Solve 0 = 5*h + 4*o - v, 2*h - 2*o = -2*h + 2 for h.
1
Suppose -10*w - 3*t = -7*w, 3*t = 4*w. Suppose 0*o + 6 = 2*o. Let z be (-1)/8 - (605/(-40) - 0). Solve -4*r + 4*y + 20 = w, o*y + z = 3 for r.
1
Suppose 21 + 27 = 4*t + 8*t. Solve 2*r + 2 = -3*f, -t*f - r + 12 = 8 for f.
2
Suppose -2*u = -8, u = 2*g + 10 - 58. Suppose -25*d = -g*d + 10. Let b be (-22)/44*-1*d. Solve b = 3*p - r - 0*r, -p + 6 = 4*r for p.
2
Let g be ((-20)/(-35))/(5/70*2). Suppose -2036 = g*h - 2092. Solve -h = -3*u - 7*z + 3*z, -2*u + z = 9 for u.
-2
Let m(l) = -4*l + 3*l + 2*l + 3*l - 25. Let b be m(7). Solve -2*i = -b*j + 2*i - 1, -i - 2 = 0 for j.
-3
Suppose 80 = -146*n + 147*n. Let p be (n/(-50))/((-2)/5) - 1. Solve -4*b + p*z + 19 = 0, 4*b + 3*z = z + 14 for b.
4
Suppose z - a = 5*z + 263, 9 = -3*a. Suppose 0 = -w + 3, 211 = 4*n - 5*w - 54. Let s = z + n. Solve -4*o - 2*g + 6 = 0, 0*g = -2*o + s*g + 33 for o.
4
Let l be (((-48)/66)/4)/((-37)/407). Solve -n + 8 = -2*y, l*y + 5 + 7 = -n for y.
-5
Let i be 1/1*(3 - 1). Suppose 3*s = 3*u - 12, -u - 2*u = -4*s - 14. Solve u = -i*v, -v - 2*v + 3 = -2*z for z.
-3
Suppose 3*c - 20 = -o, 40 = 5*c - 3*c + 6*o. Solve l = -a + c + 2, -5*a = 2*l - 29 for l.
2
Suppose 3*c = 4*u + 5, 5 = -5*u + 5*c - 5. Let b be (-7 + 5)/((-1)/u). Suppose o = -7, -44 = -3*l + 1669*o - 1664*o. Solve -r = b*q, q = -4*r + l*q - 10 for r.
-2
Let q = -5 + 13. Let x = 1398 - 1398. Solve x = c - 2*m - 4, -3*c - 5*m - q = -5*c for c.
4
Let o be (-1068)/(-90) - (-60)/450. Solve 4*n - 2*i + o = 0, 4*i = 11*n - 10*n + 17 for n.
-1
Let h = -19116 + 19140. Solve h*s + 3*j = 28*s + 27, j = 4*s + 17 for s.
-3
Suppose 4*a + 375*v - 24 = 373*v, -4*a = -3*v - 4. Solve -19 = 10*q - 7*q - a*s, 21 = -5*q + 4*s for q.
-1
Let c = 13 + -40. Let w be (c/(-36))/((-2)/8). Let j(a) = -a**2 - 2*a + 6. Let k be j(w). Solve -k*h - 2*h = 4*v - 4, -5*h = 0 for v.
1
Suppose 5*z = -94 + 9. Let j = 12 + z. Let w be (-92)/j - (-12)/(-30). Solve -2*y + 4*c = 18, 3*y = 2*c + c - w for y.
-3
Let g be (6 - (1 - (-1 - 4)))/3. Suppose 5*n = 57 + 183. Let b = n + -38. Solve 0*v + 3*v - 5*z + 12 = 0, v + 3*z - b = g for v.
1
Suppose 2 = -3*g + 11. Let l be ((-15)/(-9))/((-1)/(-6)). Suppose 8*r = g*r + l. Solve t + r*k + 2 = 7, -5*t - 3*k = 10 for t.
-5
Let n(a) = -3*a**2 - 4*a**2 - 8 + 3513*a - 3501*a + a**3. Let o(r) = -2*r - 5. Let b be o(-5). Let y be n(b). Solve -27 = 3*g + 3*u, -y*u = g + 3*u + 25 for g.
-5
Let l(v) = 4*v + 2. Let b be l(-1). Let y be ((-4)/16)/(b/24). Suppose -m = 5*z - 99, -y*z + 77 = z + 3*m. Solve -d + 3*w - 2 = -0, 5*d + z = 5*w for d.
-5
Let f(m) = -m**2 + 17*m + 33. Let h = 105 + -14. Suppose 8*w - h = 53. Let y be f(w). Solve -3*p - 55 = -5*b - 15, -y = 4*p + b for p.
-5
Let h be (1 + 5 + (-18)/21)*(-154)/(-33). Solve q - 13 = -4*v, 4*q = 3*v - 0 - h for q.
-3
Let p be 50/(2*(-3)/(-9)). Let q = -71 + p. Solve 4*r - 8 = 4*d, -q*d = -3*d for r.
2
Let j(z) = -37*z**3 - z**2 + z - 3. Let u be j(-2). Let a = u - 287. Solve -l = -2*p + 9, a*l - 2*l = 2*p - 6 for l.
-1
Suppose 0 = -18*r + 19*r - 5*q, -3*q = r. Suppose 4*d - 2 = -2*b, -3*d + 15 = 3*b - 0*b. Suppose b*x = -r*x. Solve x = -3*w + 15, 5 = 5*o - 2*w - 0 for o.
3
Let k be -1*(1 + -1)*-1. Let h = -90149 - -90150. Solve 2*q + 2*f = k, -h = -3*q - q - 5*f for q.
-1
Suppose 122*z + 3*x + 42 = 125*z, 0 = -z - 5*x + 32. Solve -40*v + z = -2*b - 35*v, 0 = 3*b - 2*v + 9 for b.
-1
Let p be 1 - 0 - (-83 + 80). Let r = 28 + 2. Solve 6*t = t - m + r, -5*t = p*m - 45 for t.
5
Suppose 0 = -4*g + 4*j - 24 - 24, 4*j = -2*g - 36. Let d be 9/7 + 4/g. Let y = 1 + 1. Solve -3*t - t - 3*s = -d, 2*t = -2*s - y for t.
4
Suppose 3062*s - 3075*s + 416 = 0. Solve 32*i = -5*n + 33*i - 15, 0 = 3*n + 4*i + s for n.
-4
Suppose 3*d - 2*y = -8, 252*y = -5*d + 249*y + 31. Solve -2*x - d*p - 19 + 5 = 0, x - 5*p = 29 for x.
-1
Suppose -75 = -52*r + 27*r. Solve 3*j - r*f = 0, -5*f = -2*j + 7*j + 30 for j.
-3
Let a = 620 + -399. Suppose -a*v = -231*v. Solve 5*i + 18 = 3*p, v = -2*p + 2 - 0 for i.
-3
Suppose 2*j = -0*y + 5*y - 12, 0 = 3*y - 3*j. Let k be y + 2 + -2 - (-36)/(-18). Solve -d + 6 - 3 = -k*z, d = -z - 6 for z.
-3
Let b be 8 + -6 + -32 + 0. Let p be b/(-12) + 1/2 - -3. Solve -4*u + 5 = u, -p = 4*j - 2*u for j.
-1
Suppose 0 = -d + 2*g - 2, 0 = 225*d - 229*d + 4*g + 4. Solve 0 = d*r, -i + 