+ 2*x = -2*y for y.
4
Suppose -40*x + 84*x - 88 = 0. Solve 16 = 5*k + x*h, 0 = 3*h - h + 4 for k.
4
Let f(j) = -2*j - 30. Let g be f(-12). Let w be (20/g)/((-1)/12). Solve 5*r - 4*i = w, 3*i + 19 = r - 0 for r.
4
Suppose -22*y + 12*y = -100. Let q be 22/8 + (-1)/(-4). Let z be (9/(-9))/(2/(-4)). Solve y + 7 = -q*r - z*s, 5*s + 25 = -4*r for r.
-5
Suppose 12*g + 30*g = 126. Solve 0 = 2*x - g*h + 17, -5*x + 0*x - h = 0 for x.
-1
Suppose 106*w - 104*w = 8. Suppose w*q = -5*r + 10 - 0, -2*r = q - 4. Solve r*v - 4*t + 10 = -0*t, -4*t + 20 = 0 for v.
5
Let q = 36 + 4. Let y be (-2)/4 + 20/q. Solve -2*x - 5 = 3*v, -14 = 4*v - x - y for v.
-3
Let b(d) = d**3 + 4*d**2 - 5*d + 3. Let m be b(-5). Let a(p) = 9*p + 35. Let t be a(-2). Solve -21 = -3*y + m*z, -5*z = -4*y + t + 13 for y.
5
Let h(n) = 37*n. Let f be h(1). Let w = f + -34. Let r = -1 + 1. Solve r = -4*l - 6*s + s + w, 6 = 2*s for l.
-3
Suppose -2 = y - 2*y. Suppose y*z + 4 = 4*z. Solve -a + 4*a + 4 = 5*m, z*m - 1 = a for a.
-3
Let t be ((-11)/(66/(-30)))/(0 + 1). Solve 3*o - 3*w - 2*w + 14 = 0, -7 = 4*o + t*w for o.
-3
Suppose 18*c = 16*c - 3*i + 18, -c + i = -9. Solve -w - 1 = -2*z, -4*w = -c*w - z + 17 for w.
3
Let d(w) = -w + 8. Let i = 65 - 43. Let t = i + -16. Let v be d(t). Solve 0 = z - v*y + 7, 3*y + y = 20 for z.
3
Suppose -7*t + 21 = -14. Suppose -t*d + 7*d - 4 = 0. Solve -f + 6 = 2*j, -j - d*j + 4 = 4*f for j.
4
Let z be ((-57)/(-21) - 3)/(3/(-21)). Let o(c) = -c**2 - 7*c + 3. Let n be o(-7). Suppose 0 = -n*q + 7 + 2. Solve y = -w - z, -4*y = -9*y - q*w - 14 for y.
-4
Suppose -10*z = -15*z + 30. Let c be (8/6)/(((-4)/z)/(-2)). Solve 6*r - 8 = 2*m + 5*r, 18 = -c*m + r for m.
-5
Let y = 15 + -6. Let h be 1/(2 - (-5)/(-3)). Solve 2*t - 2*n = -11 - h, 2*t + y = n for t.
-2
Let u be ((-16)/(-10))/(1/5). Suppose -u*k = -4*k - 44. Suppose -5*r + 30 = 3*m, 3*r - 96*m + 11 = -92*m. Solve -r = -t, 2*j + 1 + k = 2*t for j.
-3
Suppose 0 = -6*x + 2*x + 8. Suppose -5*n + 7 + 8 = 0. Suppose -3*d + 30 = 2*d + 5*v, 24 = n*d + 5*v. Solve -4*m - 6 = -f + d, x*f - 10 = 0 for m.
-1
Let c(t) = t**3 + 9*t**2 - 22*t + 2. Let m = 26 - 37. Let n be c(m). Solve 0 = 2*k - 4*q - n, q - 9 = -5*k + 7 for k.
3
Suppose 0*m - 3 = -5*z + 2*m, 0 = 4*z - 2*m - 2. Let y = z - 5. Let g be (y/(-7))/(3/21). Solve g = -f + 2*w - 9, w - 5 = 0 for f.
-3
Let g be 1/(-2) + (-15)/(-6). Suppose a = 4, -6 = 2*z - 6*a + 2*a. Suppose b + 0*i - i = z, 0 = -5*b + 3*i + 21. Solve g*r + 15 = -5*y + 7*r, b*y + r = 3 for y.
0
Suppose -45 - 45 = -5*p. Solve -2*h + 3*h - 4*g - p = 0, 4*h + 4*g = -8 for h.
2
Suppose -5*y = -3*y - 46. Let x = 8 + 6. Let u(c) = 19*c + 173. Let o be u(-9). Solve 5*p + h + x = 0, -5*h - y = -o*p - 7 for p.
-2
Suppose -5*f + k = 2*k - 15, 5*k + 29 = f. Suppose 4*r = 9*r - 15. Suppose 3*q - 2*q = -v + f, -r*v + 5*q = 4. Solve 12 = -3*j - 0*c - 2*c, v*c = 2*j + 8 for j.
-4
Suppose 296 = 20*u - 24. Solve a - 2*q + 12 = -0, 2*q = 3*a + u for a.
-2
Suppose -9*c - 4 = -5*c. Let h be (-5)/((c + 2)*-1). Let x(s) = -s**3 - 3*s**2 - 2*s + 2. Let o be x(-3). Solve -4*v = o, h*p - v + 5*v = 2 for p.
2
Let w = -62 - -76. Suppose w*v - 10 = 12*v. Solve 3*s = -2*x + v*x, 0 = x - 2*s - 5 for x.
-5
Let n be (-4 - 0) + 144/6. Solve -4 = y, -3*q = 2*y + 3*y + n for q.
0
Suppose -l + 4*l - 12 = 0. Let i(a) = 8 + 2 + 2*a - 2 - 11. Let n be i(l). Solve -n*u - g - 17 = 0, 0*u = u + 3*g - 5 for u.
-4
Let p be (-8)/(-16)*20 + -5. Solve -2*j + 2 = -2*w - 8, -7 = p*w + 4*j for w.
-3
Suppose 8*c - 3*c = 4*b + 13, -c = 2*b - 11. Solve 0 = c*t + 2*k + 3, -2 = -4*t - 3*k - 3 for t.
-1
Let x be 2/(-85)*-5 - 1690/(-85). Solve -4*y - x = -4*l, 4*l - 6*y = -7*y for l.
1
Let x be 1*(1 - 1) - -18. Let m be 8/6*(-7)/((-42)/x). Solve 0 = -0*a + a - 2*j, -m*a + 3 = -5*j for a.
2
Let w(a) = -a**3 + 3*a**2 - 4*a + 34. Let v be w(4). Solve 0 = 2*l + q, -v*l - 7*q + 2 = -5*q for l.
-1
Let c(b) = -b**3 + 11*b**2 + 4. Let d be c(11). Let s be 5 + 0 - (-3 + (-3 - -6)). Let q = 48 - 29. Solve -4 = 4*a - d*x, -3*x + q = s*a - 0*x for a.
2
Suppose 10 = -o + 12. Let r be (-9 + 0/3)/(-1). Let d be r/5 + 2/10. Solve 7 = c + 4*c - d*u, -c = o*u + 1 for c.
1
Suppose -5086 = m - 5101. Solve 3*b - 2*b - 4*r = -m, 15 = b + 2*r for b.
5
Let j be 2 + ((-3)/1 - -5). Let l = 10 - 10. Let g = -170 + 175. Solve l = -2*i - u + 9, 3*i - g*u + 2 = -j for i.
3
Let v(n) = n**3 - 12*n**2 + 13*n - 16. Suppose 2*l - l - 11 = 0. Let f be v(l). Solve 3*r + 10 = u, 6 = -f*u + 3*u for r.
-4
Suppose -3*v + 9*h = 4*h - 46, 3*h - 6 = -3*v. Solve 2*y + 3 = -b + 6, 2*y + 3*b + v = 0 for y.
4
Let v(g) = g**3 + 30*g**2 - 29*g + 74. Let m be v(-31). Suppose 0 = -3*r - b + m, 3*b = -0*r + r + 6. Solve -3*f + r*a - 12 = 0, 4*f + 3*a + 11 = 2*a for f.
-3
Suppose 2*z - 25 = -7. Solve 2*i + 4*q = 3*i + 9, -2*i - q + z = 0 for i.
3
Let i = -45 - -49. Solve 0 = -4*f + 16, -3*f + 5 - 1 = i*h for h.
-2
Let o(u) = 32*u - 194. Let q be o(7). Solve -4*m + q = -2*i - 3*i, -m + 3*i = -11 for m.
5
Let c(s) = 2*s + 30. Let h be c(-10). Suppose 5*q - h = 5*p, -3*q - p + 11 + 3 = 0. Solve 2*j - 4*i - q = 0, 3*j + 2*j - i = 10 for j.
2
Let l be ((-48)/6 - -4)*(6 + -7). Solve 2*b + q + 1 = 4, 4*b + l*q = 12 for b.
0
Suppose 4*h + 8*o - 11*o - 4 = 0, -h - o + 8 = 0. Solve -2*b + m + 0 = -h, -b + 2 = -2*m for b.
2
Let u be 20*1/(10/4). Let b(z) = z**2 - 19*z - 45. Let m be b(19). Let g = 47 + m. Solve t - 3*t + u = g*k, -t + 2*k = -7 for t.
5
Suppose 691 + 44 = -5*q. Let p = -145 - q. Solve 0 = 2*i - 2, 7*v - 3 = p*v - 3*i for v.
0
Suppose -d - 4*s = -6, -2*d + 5*s + 0 = 1. Solve -2*u + 3*u + 11 = 4*b, 0 = -d*b - u + 1 for b.
2
Suppose -74*a + 145 + 151 = 0. Solve -5*r + 0*p - a = 4*p, 4*p - 28 = 3*r for r.
-4
Let f = 12 + -4. Suppose 0 = -2*u - 5*y - 13 + 1, -3*u - y = -f. Let z be u + (-3)/(9/3). Solve -5*w = 0, 2*j + 4*w - 10 = z*w for j.
5
Let m be 4/(129/(-172)*4/(-6)). Suppose -3*y = -3 - 3. Solve -3*f = s + 10, -y = 3*s + 5*f + m for s.
5
Let r = -671 + 671. Solve -2*g = -3*s + s + 16, r = -g - 4*s + 7 for g.
-5
Let k(a) = -a**3 - 40*a**2 + 561*a + 3. Let j be k(-51). Solve 0 = -q - j*p - 1 - 4, q + 5*p = -5 for q.
-5
Let o be (-95)/(-15) + 2/3. Suppose 0 = 3*i + 5 + o. Let h be (5 + -6)*(i - -1). Solve 0 = f, -9 = -h*d + 5*f - 3 for d.
2
Suppose -4 = 3*o - 19. Suppose -3*j - 15 = 0, -2*c - 4*j = -o*c + 29. Solve c*n + 3*a - 28 = 7*a, 12 = -n - 4*a for n.
4
Let v(f) = 3*f - 46. Let b be v(16). Solve o - 8 = 5*u, -b*u + 7 - 21 = -4*o for u.
-1
Let p(g) = g**2 + 9*g. Let w be p(-7). Let n be ((-72)/28)/(1/w). Let s = -31 + n. Solve 4*q + r - 17 = -40, -4*r - 37 = s*q for q.
-5
Let g be -4*2/(-10)*5. Let i(u) = -u**3 + 13*u**2 - 13*u + 11. Let j be i(12). Let f = j + g. Solve f*s = 2*b - 1 - 3, -8 = 3*b - s for b.
-4
Suppose 3*t - 35 = -20. Solve 4*m - t*d - 15 = 0, m = -0*d + 2*d + 6 for m.
0
Suppose g = c + 6, -2*g + 2*c = -3*g. Let r be (g - 3)/((-2)/(-60)). Let h(f) = -f**2 + 3*f. Let a be h(3). Solve 5*m - 12 = d, 5*d + 5*m - r = -a*d for d.
3
Let n be ((-92)/5 - -18) + (-7)/(-5). Solve 2 = -u, -14*f = -9*f + 3*u + n for f.
1
Let f(x) = x**2 - x + 5. Let g be f(0). Let b be (4/(-8))/((-2)/16). Solve 3*q - 18 = -i, -g*i = b*q - 0*q - 35 for q.
5
Let x(a) = -a**3 - 12*a**2 + a + 14. Let n be x(-12). Suppose -4*j - 28 = 5*t - 9*t, 0 = 4*t + 5*j + 8. Solve -t*g + 2 = b - n*g, 2*b - 3*g = 19 for b.
5
Let c(m) = -4*m**2 + 2*m + 2. Let s be c(2). Let a = 12 + s. Suppose 2*b - a*g - 68 = -2*b, -2 = g. Solve 4*t + b = 0, -t - 8 = 5*y + 1 for y.
-1
Let c(y) = y + 13. Let x be c(-3). Let g = 4 + -1. Solve -g*u - 23 = -3*m + u, 0 = 5*u + x for m.
5
Suppose 0 = 2*f - 27 - 13. Let u be (1 - -8) + 3 + -4. Let t(y) = -y**2 + 9*y - 8. Let n be t(u). Solve n*m = -4*m - 16, 5*l - 5*m = f for l.
0
Suppose 342 - 32 = 10*c. Solve t - 5*m - 2 = -25, 0 = -3*t - 5*m + c for t.
2
Let r(o) = -3*o**3 + 2*o**3 - 8*o**2 + 5*o - 1 + 2*o + o. Let z be r(-9). Solve -v - 2*v = -6, 2*v - z = -4*a for a.
1
Let b = 2 - 2. Let z be (1*(-6 + 5))/((-1)/3). Let u be (-6)/3*39/(-6). Solve -z*c = -2*q + 5, -5*c + u = 2*q - b*q for c.
1
Let m(h) = -7*h**3 - h**2 - h - 1. Let d be m(-1). Suppose -i = g + 2, -2*g + i = -d*g + 4. Solve z = -2*c + 6, 4*c - 14 = -z + g for z.
-4
Let c be (-50)/225 + (-2)/(-9). Solve c = -m - 2*s, -4*m - m = 3*s for m.