 4*x = -u - 19 for u.
1
Let x = -65 + 71. Suppose -9*b + x*b = -9, 0 = 2*o + 4*b - 24. Solve 0*t + 6 = 2*t, -3*m + o = 2*t for m.
0
Let b(z) = z**3 - 10*z**2 - 94*z + 16. Let y be b(-6). Solve -16 = -16*s + 20*s - 4*w, 5*s + 15 = y*w for s.
1
Let c be (7 - (0 - 0))*(46 + 1)/47. Solve -q + 17 = 4*d, 2*q = 4*d - c*d + 19 for d.
3
Suppose -4*a = -0*a + 20. Let p(o) = -5*o**2 + o**2 + 15*o + 10 - 8*o + 5*o**2. Let j be p(a). Solve s + 2 = -4*d - 4, -3*d - s - 4 = j for d.
-2
Let g be (6/(-3))/2 + 3. Let r = -7685 + 7685. Solve r*f - 5*z + 9 = -2*f, 6 = g*z for f.
3
Let u = -27 + 104. Suppose -u*x = -73*x. Solve x = c + 5, 12 = 5*v + c - 3 for v.
4
Let g = 67 - 71. Let v(s) = s**2 + 4*s + 2. Let j be v(g). Let o = -6 + 8. Solve -5 = j*m - 3, 0 = -3*d - o*m - 17 for d.
-5
Let q = -76 - -81. Suppose -2*m + 29 = q. Suppose 17*v - m*v - 20 = 0. Solve 3*r - 3*d + 4 = -r, -5*r + 26 = v*d for r.
2
Let u be (-1034)/198 - (-3)/((-135)/(-10)) - -26. Solve -3*m = -4*g - 1, -5*g + m = u - 6 for g.
-4
Let h(q) = -q**2 + 20*q - 50. Let o be h(17). Let k be 75/(-15)*(0 + (o - 2)). Solve -k*b = 4*g - 18, -4*g + b = -3*b for g.
2
Let p = 307467 - 307461. Let v be (1 + -1)/(6/3). Solve -2*j + 2*y - p = v, -3*j + 5*y = 9*y + 16 for j.
-4
Suppose -260*q + 3239*q = -432*q + 10233. Let f = -3 + 2. Let h(l) = 14*l**2 - 1. Let x be h(f). Solve b + 2*n + 10 = q*b, b - 5*n - x = 0 for b.
3
Suppose 127 = j + 38. Suppose j = -2*q - 11. Let d = 53 + q. Solve -2*v - 2*z - 4 = 0, 0*v - 10 = d*v + 5*z for v.
0
Suppose 4*u + 504 = 12*u. Let x be ((-84)/u)/(-1 + (-15)/(-27)). Solve 5*g - 5*k - 15 = 0, 4*g + 0*k + x = -k for g.
0
Let n = -83 + 167. Suppose -5*d = -17*d + n. Solve -i = -3*k + d, 0 = k - 1 for i.
-4
Let m = 7 + -10. Let v be 12*((-2)/m)/(96/36). Let t = -27 + 48. Solve -f = -v*b + 11, -b + 3*f = 4*b - t for b.
3
Suppose -13*p + 24 = -7*p. Suppose 2*w + 4 + 7 = -3*q, -2*q - 18 = -p*w. Solve w*g + z - 1 = -2*g, 4*g = -3*z - 5 for g.
1
Let c(g) = -11*g - 699. Let l be c(-64). Solve 28 = -5*q - 2*r - r, -l*q = 5*r + 30 for q.
-5
Let d be -2*(3 - (-6 + -146)). Let s = d + 312. Solve -t + 0*t - s*x = 2, 5*t = 5*x + 35 for t.
4
Suppose -411 + 30 = -127*r. Solve -f + r*w = 4*w - 1, 0 = f + 4*w - 1 for f.
1
Suppose 0 = -3*p + 8*p - 5. Let k be (-7 - 133/(-14))*556. Let z = k - 1386. Solve 4*l - 3*i - 4 = 9, -z*l = i - p for l.
1
Let x = -9 - -100. Suppose -12*v + x = -77. Suppose -6*t - t = -v. Solve -3*y - 3*d = -15, t*y + d - 5 = -0*d for y.
0
Let x be (0/(0 - -2))/1. Let z(p) = 4*p**2 + 76*p - 76. Let j be z(1). Solve -j*f - a - 3 = x, 5*f + 5 + 20 = 3*a for f.
-2
Suppose -15 = -2*p - p, -5*k - 3*p = 100. Let u be (-4)/14 - (0 - k/(-7)). Solve 2*z + 2*z + 12 = 2*v, -u = z - v for z.
-3
Let n be ((-4)/(-6))/((-10)/(-75)). Suppose -2*h + 1 + n = 0. Let t = 420 + -418. Solve i = -h*v - 0*v - 8, 0 = -t*i - 2*v - 4 for i.
1
Suppose 0 = -2*j + 8*j - 84. Let y be 5/(((-50)/(-40))/((-15)/(-6))). Suppose 0*x = -x. Solve -2*t - 3*b - j = x, -b = -4*t + 2*b - y for t.
-4
Suppose 6083 = 42*a + 30*a + 7*a. Solve 3*w = -a*s + 82*s - 10, -4*w = -4*s + 8 for s.
2
Let b = 1598 - 998. Let x = 606 - b. Solve -r + 4*f - 19 = 0, 2*f + 7 = -3*r + x for r.
-3
Let z(n) = -n**2 - 26*n - 139. Let m be z(-13). Solve 5*u - 5*b + 10*b = m, -18 = -u - 5*b for u.
3
Let a(u) = -u**2 + 0*u**2 + 2*u**2 - 13 + 72. Let n be a(0). Suppose 5*r + 59 = n. Solve q = -y + 5, r = 5*q + 4*y - 2*y - 10 for q.
0
Let l be (-27)/(-36)*200/30. Solve u - 5*z - 10 = 0, -z + 30 = l*u - 6*z for u.
5
Let l be (1/(-1))/(-1 + 8/12). Suppose 2*d - 7 = l*n - 2*n, -3*n - 14 = d. Let h be (2 + d)/(-6)*(-12 - -2). Solve -5*x = 5*a + h, -a - 2*x - 9 = -3*x for a.
-5
Let z(l) = -2*l**3 - l**2 + 26*l + 3. Let w be z(-4). Solve 23 = 5*y - o, -18*y + w = -19*y - 5*o for y.
4
Let i = -69 - -69. Suppose i = -r - 4*w + 2, -14*r + 16*r - 4 = 2*w. Solve -2*f = 5*z - 12, -4*z + 6*f + 32 = r*f for z.
4
Let v be (64/(-10))/(8/(-100)). Let r be 34/51 + 3/(18/v). Let z = r + -3. Solve -3*c + 5*c + z = 5*g, 5*g = -4*c - 7 for c.
-3
Let o(u) = u**3 + 4*u**2 + u + 4. Let y be o(-4). Let c(r) = 2*r**2 - 2*r - 3. Let a be c(5). Let s = -33 + a. Solve y = s*h + 20, f + h + 0*h + 3 = 0 for f.
2
Let c(h) = -1. Let n(y) = -5*y + 27. Let u(z) = 5*c(z) - n(z). Let o = -2639 - -2648. Let b be u(o). Solve 0*g + 5*f + b = -g, 0 = -3*f - 6 for g.
-3
Let n be ((-10)/(-3)*3)/(32/80). Suppose n - 1 = 8*z. Suppose -w - 8 = -z*w, -2 = 3*g - 2*w. Solve -1 = g*k + i + 4, -3*i - 3 = 2*k for k.
-3
Suppose z + 168 = 5*b, -4*b - 4*z + 167 - 47 = 0. Suppose -2*f + 8 = 0, -b - 25 = -5*t - 2*f. Suppose t = 2*j + 3*j. Solve m + 4 = -g, 2*m = g - j*g - 5 for g.
-3
Let i(f) = -f**3 + 24*f**2 - 20*f - 67. Let d be i(23). Suppose -2*b = -d*o + 26, 0 = -8*b + 4*b - 12. Solve 5*t + a = o, -2*a + 3*a - 7 = -2*t for t.
1
Suppose 6*c = c + 60. Suppose -k = -2*l - l - 11, 3*k - 2*l - c = 0. Solve 0 = -5*a + 25, -k*w + 4*a = 17 + 3 for w.
0
Let p = -95 - -100. Suppose 0 = -5*r - 25, 293 = 2*k + 2*k - r. Suppose -k = m - p*m. Solve x = -g + 2*x + 6, 0 = -4*g + x + m for g.
4
Let y be 3/(6/(-4) - -3). Suppose -3*u + 6 = 3*l, -y*u - u + l = -14. Solve -x + 37 = 3*w + u*x, 2*w + 3*x - 23 = 0 for w.
4
Let s(l) = -15*l + 182. Suppose 3*m = a - 6, -3 = 2*a + 4*m - 35. Let c be s(a). Solve r + 4*x = c*x - 10, -5*x = 3*r + 26 for r.
-2
Let s = 6200 - 6198. Solve s*n = t + 3, -6*n = -0*t + 5*t - 17 for t.
1
Let k(h) = 84*h**3. Let o be k(1). Suppose 5*w - o = w. Let g be (400/1100)/((-7)/((-1078)/28)). Solve -5*t + w = l, 3*t = -2*l + g*t + 6 for l.
1
Let o(l) = l**2 + 44*l - 139. Let v be o(3). Solve 3*p = 15, 2*p - 17 = -v*m - 3 for m.
2
Let u(t) = 2*t**2 + 10*t - 6. Let o be u(-7). Solve -4*v = 83*a - 84*a - 11, -4*a - o = -5*v for v.
2
Let g(c) = -4*c**2 + 40*c + 34*c + c**3 - 71*c. Let m be g(3). Solve 2*u = -3*v + 7, u - 4*v + 13 = -m for u.
-1
Suppose -2*i = -2*s + 12, -50*i - 22 = -49*i - 3*s. Solve -5*q = -u - 2, -4*q = -i*u + 2 - 6 for q.
0
Let h = 6942 - 6937. Solve -h*s = -2*o + 19, 14 = -5*s - 1 for o.
2
Let s = -1176 - -1187. Solve s*c + 19 = 9*c - 5*p, 5*c = -3*p for c.
3
Let w = 7927 + -7921. Solve 15 = 5*v + 3*g, -5*g + w = 5*v - 9 for v.
3
Suppose -12*m - 24*m - 11*m + 188 = 0. Solve m*x = 5*r - 10*r + 4, 16 = x + 5*r for x.
-4
Suppose 3*n + 2*n = -x + 912, 2*x = 4. Let q = n + -177. Solve -s - 1 - 6 = -2*m, 2*s = q*m - 19 for m.
5
Let x(s) = s**3 + 9*s**2 + 3*s + 2. Let g be x(-9). Let c = 39 + g. Suppose 0 = -6*l + 16 + 2. Solve 4*p + c = o - 3*o, l*p + 3*o + 9 = 0 for p.
-4
Let v = -57 - -25. Let s be (v/(-10))/(13/(-65)). Let k = s + 16. Solve k = -n + r - 1, 2*n = 3*r - 0*r - 4 for n.
1
Let l(q) = -7*q**2 + 8*q**2 - 7*q**2 + 2 - q**3 - 8*q**2 - 13*q. Let u be l(-13). Let d = 69 - 65. Solve -d*j - k - u = -9, -j = k - 4 for j.
1
Let a = -56 - -164. Let b = a + -106. Solve 27 = -3*k + 5*v, -4*k = b*v + 9 + 1 for k.
-4
Let k = 734 - 1354. Let w = -618 - k. Solve 10 = r - 4*p - 5, 3*r - w*p = 5 for r.
-1
Suppose 9*p - 4*p + 6 = -n, n = -2*p + 6. Suppose -2*j - 18 = -6. Let s be j/(4 + -1)*5/(-2). Solve -2*k + n = 3*m, s*m - 18 - 6 = -4*k for m.
4
Let g be (-4)/(((-72)/15)/6). Suppose 15 + 65 = -g*l. Let v = l - -20. Solve 5*f + 3*n - 21 = 3, 0 = v*f + 4*n - 24 for f.
3
Suppose 5*g + 4*k - 1548 = 0, 0 = 4*g - 3*k + 7*k - 1240. Let o be (-2)/6 - (5 - g/33). Solve 2*i = 5*s - 13, -s + 5 = -2*i - o for s.
1
Let c be (-40 - 0/(-6))*1*-6. Let z = c + -235. Solve z*w - 2*x - 13 = 0, 2*x = 7 - 5 for w.
3
Let i(a) = 39*a + 197. Let b be i(-5). Suppose 2*k - 6*f + b*f + 8 = 0, 2*f - 6 = 0. Solve 5*h - 3*m = -k, -h + m = 4*h - 6 for h.
2
Suppose -4*c - 29 = g, -5*c + c = -3*g + 41. Solve 13 = -4*y + g*f, f - 5 = -6 for y.
-4
Suppose -5*o - 8 - 12 = -5*y, -2*y + 2 = -5*o. Solve 0 = o*z - 4*g, 3*z + 0 - 10 = g for z.
4
Let n = 588 - 596. Let y be (2/n)/((-40)/800). Solve 0 = r + 2*m - 6*m + 6, -y = 2*r - m for r.
-2
Let i(b) = b**2 + 32*b + 263. Let v be i(-30). Let f be 1029/v + 6/(-87). Solve -f = -4*t - 3*m - 2, 5*m - 28 = t for t.
-3
Suppose -1028*y + 24 = -1024*y. Solve 3 = 3*a - y*a - 4*g, -2*g - 5 = 5*a for a.
-1
Suppose 3*b - 31 = -5*c + 6, -5*b - 5 = -5*c. Solve -5*p + c*w = 15, -6*w - 4 = -2*p - 6 for p.
-4
Let c = 27 - 35. Let u be 6 + 15/(-6)*c/(-10). Suppose -u = 2*w - 14. S