 4, 5*x - 4*y + 20 = 0 for x.
-4
Let n be -12*(2/3 + -1). Suppose -3*p + 4*u = 7 + 76, -u = -3*p - 77. Let z be ((-20)/p)/(n/10). Solve -2*r - 10 = 2*w - w, 10 = -3*w - z*r for w.
0
Let s = -8 - -12. Suppose 22 = -3*k + 5*c, 21 = -s*k + 4*c + c. Let b = 6 + 2. Solve -2*n - 4*h - b = 0, 0 = -2*n + 2*h + h - k for n.
-2
Suppose 3*x - 6 - 9 = 0. Suppose 4*y - x*y + 5 = 0. Suppose -1 = -i + y. Solve 2*l + 6 = -2*l + 2*t, -5*l - i = -2*t for l.
0
Let b be (-8)/(-1 + 3) + 7. Suppose -2*o = -4*i - 20, 3*i - 10 = 8*i. Suppose b*f - o = 12. Solve -t + 20 = -f*t, 16 = -3*c - 4*t for c.
0
Let f(x) = x**3 + 2*x**2 - x + 8. Suppose -d = -4*h - 9, 1 = 4*d - 5*h - 2. Let s be f(d). Solve -2*z - 6 = -s, 4*z = 2*r - 12 for r.
2
Suppose -6*x + 20 = -5*x. Suppose 0 = 4*y - 9*y + x. Solve 0 = 3*p - 3*w, 0 = y*p + p + w + 24 for p.
-4
Suppose -11*p + 26 = -8*p + 4*g, 0 = -g + 5. Solve 3*u + 20 = -p*u, 0 = -2*d + 5*u + 24 for d.
2
Let f be 0 + 1 + 1 + 1. Let a(r) = r**3 - 13*r**2 - r + 19. Let x be a(13). Let z be 4/x*(6 - f). Solve -3*g = -g - 3*i - 7, -z*g - i = -11 for g.
5
Let l be 14/(-35) - ((-22)/5 + 0). Solve l*m + o - 3 = 0, 7*m + 2*o - 6 = 2*m for m.
0
Let s = 326 + -319. Solve 0 = -u + 4*l - 15 - s, -4*l = u - 18 for u.
-2
Let k be -7 + (2/1)/2. Let i be (352/144)/11 + (-79)/(-9). Let x = i + k. Solve -5*f + x*p = 34, 15 = 3*p + 2*p for f.
-5
Let c = 58 - 39. Let y = -17 + c. Solve 2*v - 3 = v - y*a, -2*a + 7 = -3*v for v.
-1
Let d(h) = -28*h**3 - 2*h**2 - h + 2. Let o be d(-1). Solve o*k - 4*v - 24 = 26*k, -2*v = -2*k + 14 for k.
4
Let y = 1819 - 1815. Let p(u) = 1 + 2*u + 0*u - u. Let h be p(4). Solve -h*f - y = -k - f, -4*k - f - 1 = 0 for k.
0
Let i be (1 - (-8)/(-2)) + 9. Let k be 144/80*2*5/i. Solve 0 = 3*j - 5*g + 25, -2*j - g - 10 = -k*g for j.
0
Let z = 24 - 17. Suppose -5*q + 3*g = -1, 0*q - g = -5*q + z. Suppose 5*j - 5*d - 20 = q*j, -4*d - 29 = -5*j. Solve 0 + 3 = 2*w - 5*t, 10 = -5*w - j*t for w.
-1
Let a(i) = -i**2 + 5*i + 207. Let b be a(-12). Solve 2*d - 4 = b*x + 2, 5*d + 15 = 0 for x.
-4
Let t = 643 + -635. Solve 5*j = -4*q - 17, -3*j + t*j - 4*q = 7 for j.
-1
Suppose -18*b = -20*b. Suppose 3*m + 2*g + 4 = b, m = 2*g - 4 + 8. Solve -2*a + m*a + 10 = 5*c, -a = -5*c + 10 for a.
0
Let r be 1/4 - (-4 + (-316)/16). Solve 0 = 3*g - z + 2 + 15, 4*g = 2*z - r for g.
-5
Let z be (5 + 133/(-14))*(-4)/6. Solve 5*h - z*i + 20 = 0, -5*i + i = -20 for h.
-1
Suppose -10*a - 200 = -270. Solve -a = 4*w + r, -w + 2*w = 4*r - 23 for w.
-3
Let k(x) = -x**3 + x**2 + 4*x + 3. Let w be k(-1). Solve y = -2*r - 2*y - w, -3*r - y = -9 for r.
4
Suppose 2 = 4*p + 2*l - 4, -5*p = -2*l + 6. Suppose -m - 3 = c - 4, 2*m + 5*c + 1 = p. Let a be m + (5 + -1 - -1). Solve -8 = -b + n - 0, -n = 4*b - a for b.
3
Let c(q) = -q**2 + 8*q + 44. Let p be c(9). Solve 6*w - w = 5*r - p, -2*w - 20 = -5*r for w.
-5
Let n be ((-1513)/85 - -19)/((-4)/(-10)). Solve -r = 5*f - 1, n*r - 3 = -f - 0*f for f.
0
Let f be 0/3 + 4 + 0. Suppose -f*h + 0*w + 2*w = 0, -4*h + 5*w = 0. Let m be (-3)/(3/1)*-3. Solve n = -5*d + m*d - 6, h = -d + 2*n - 13 for d.
-5
Let s(d) = -d**3 + 7*d**2 - 6*d + 3. Let k be s(7). Let i be k/26*(-4)/3. Solve 5 = a, -2*a + i = 5*n - 3 for n.
-1
Let d = -1065 + 1070. Solve -d*l + 26 = 3*x, l = -0 + 4 for x.
2
Suppose -6*l + 50 = 146. Let b be (0 + 2)/((-4)/l*4). Solve b = s + 3*s + r, -3*r = -s + 7 for s.
1
Suppose -r - 15 = 94. Let h = -107 - r. Solve -3*w - 4*q = -7, w - h*q - 2*q + 3 = 0 for w.
1
Let k(f) = 6*f - 50. Let d be k(9). Solve -3*t + 35 = -d*a, -4*a - t = -0*t + 15 for a.
-5
Let c(f) = 3*f - 9. Let a be c(1). Let b(d) = -d - 3. Let o be b(a). Solve m + 5 = -2*j - 0, 0 = o*j - 4*m + 35 for j.
-5
Let s(b) = 11*b**2 + 18*b + 2. Let m be s(-2). Solve 0 = 3*v + 4*f - 3*f - 15, -m = -4*v + 2*f for v.
4
Let y = -117 + 199. Let m = 86 - y. Solve 0*o - 3*d = -4*o + 18, -4*o = -m*d - 20 for o.
3
Let w be (3 - 1)/2 + 7. Let d be (w/(-16))/((-2)/44). Let r = d - 7. Solve -4*t = 5*s + 1 + 5, r*t = -3*s - 10 for s.
2
Let z(y) = y**3 - 2*y**2 - 4*y + 3. Let m be z(3). Suppose m = -3*l + 47 + 16. Let x = 37 - l. Solve -5*s = -3*o + 5 - 0, -x = -s + 4*o for s.
-4
Let v(y) = -3*y**3 - y - 1. Let s be v(-1). Suppose 2*f + 2*f = 44. Suppose 3*k - f = 1. Solve s*x + 1 = t, 3*t - t - k*x = 0 for t.
-2
Suppose 0 = 3*n - p + 149, -8 = n - 3*p + 39. Let x = 53 + n. Solve -r - 12 = 4*b, 2*r = -x*b - 14 + 5 for b.
-3
Let n be (-1)/(1/(-7)) - (-5)/(-1). Solve 5*c = 5*a + 25, -3*a + 2*a - 9 = -n*c for a.
-1
Let m(o) = 7*o + 19. Let j be m(-4). Let k = 14 + j. Solve 4*v - 2*d = 0, 5*d - k = -v - 16 for v.
-1
Suppose -3*x + 1026 = 1020. Solve 4*v + 3 - x = -3*f, f = -2*v - 3 for f.
5
Let x be 0/(-3) + (-2 - 1). Let t(r) = -5*r + 2 + 5 + 6*r. Let v be t(x). Solve v*a + 3*n + 4 - 1 = 0, -5*n + 12 = a for a.
-3
Suppose -x + 2*x = 14. Suppose 160 = 4*v + v - 2*g, -2*v = -4*g - 48. Suppose -v = 9*p - 11*p. Solve -4*s - 7 = -3*d, x + p = -4*s - 5*d for s.
-4
Suppose -8*x + 2*x = 0. Suppose x = -2*z + s - 3, 3*s + 6 = 5*s. Solve z = 5*o + j + 14, 5*o = 4*j - 0*j - 19 for o.
-3
Let h(g) = g**3 + 6*g**2 + 8*g + 2. Let x be h(-4). Solve -m = -x, 4*c - 7*m + 3*m = -4 for c.
1
Let l(x) = -20*x**2 - 120*x + 4. Let a be l(-6). Solve 10 = -v + 4*v + 5*s, 4*v = a*s - 40 for v.
-5
Let m(w) = w + 12*w + 5 - 4*w + 6 - 3*w**2 - w**3. Let h be m(-5). Solve -t = 5*y - 24, h = 5*t - 4 for y.
4
Let m = -347 - -350. Solve -2*y + 2 = 4*p, y + m = 3*p - p for p.
1
Suppose u + 5*u - u = 0. Suppose -3*q - 6 = u, -6 = -i + 3*q - q. Solve -2*p + 7*p - i*w + 10 = 0, -2*p - 4 = w for p.
-2
Let s be 2/(-2) + (50 - 5). Suppose -3*f - s + 191 = 3*u, -3*u = -5*f - 139. Suppose -u = -5*r + r. Solve -4*y - q - q = -20, 0 = 3*q - r for y.
3
Suppose -78*x + 14 = -76*x. Solve -4*s - x*q = -3*q - 8, -3*q = 5*s - 8 for s.
1
Suppose -o - u = -9, -5*u = -o - 32 + 17. Solve -4*n + 5 = -o*n - l, 4*n - 2*l = 4 for n.
-1
Let v(q) = 0 + 3*q**3 + 4*q + 1 + 0 - 6*q + q**2. Let p be v(1). Solve -7 - 8 = -5*n, 3*x + 3*n = -p for x.
-4
Suppose 0 = 4*q + 4, z + 15 = 6*z + 5*q. Suppose w = 2*t - 3*t + z, 17 = 5*t + 2*w. Suppose 2 = t*u - 28. Solve 0 = -3*l - r - u, 4*l + 0*r + 14 = -2*r for l.
-3
Suppose 0 = -w - 1 + 14. Suppose -z = 2*g + 1 - w, -3*g + 8 = -z. Solve 0 = g*q + 4, m - 4*q - 2 = -m for m.
-1
Let q be ((-3)/(-9) - (-65)/(-105))*-28. Solve n + 2 = 0, w - 4*n = -0 + q for w.
0
Let j(g) = -3*g**3 + 2*g**2 + 7*g + 5. Let a be j(-1). Solve 0 = -3*m + a*u, u = 6*u for m.
0
Let r(f) = -f + 4. Let w be r(-3). Suppose 38 - 10 = w*p. Solve -p*a + 2*q = 3*q + 8, -2*q + 8 = -4*a for a.
-2
Suppose -5 + 3 = -i. Suppose 4*l = 3*l + v + 23, 98 = 4*l - i*v. Let u be l/7 - (-16)/56. Solve -p - 3*k = 0, 0*p = -4*p - u*k - 8 for p.
-3
Let m(v) = 2*v**3 - 2*v**2 - 3*v - 1. Let j be m(-1). Let f be (j/5)/(255/(-50) - -5). Solve -2*b = 2*r - 4, f*r + 0 + 2 = -2*b for b.
5
Let b = 16 + -12. Suppose 7*v - 3*v = b. Let x = v + -1. Solve -5*p - 40 = 5*k, 4*k = -x*p + 2*p - 14 for k.
-5
Suppose -2*n = -n - 3*c + 1, -5*n = -2*c - 8. Let w = 13 + -11. Solve 0 = d - 5*d - 5*h + 3, w = 2*d + n*h for d.
2
Let b be -3 + -2 + 0 - -8. Solve c + o = 2*c + 4, b*o = 15 for c.
1
Let z(d) = -1 - 6*d - 2 + 3*d. Let b be z(-4). Suppose -5*w + 5*k = -24 - 6, 3*w - k = 10. Solve 10 = 4*a - 0*m + w*m, 3*m - b = -4*a for a.
3
Suppose -8*x = -24*x + 112. Solve 0*y = -2*y + 6, 0 = -v - 4*y + x for v.
-5
Let o be 0*(-5 - (-12)/3). Suppose 10*b - 2*b - 64 = o. Suppose 0 = -3*j - 2*j + 60. Solve 3*u + 12 = 2*f, -b = -5*f + 5*u + j for f.
0
Let t = 5 + -5. Suppose 5*a + 5*n = 48 - 18, -3*n + 20 = 5*a. Solve t = -3*u + s + a, -s = -2*u + u + 3 for u.
-1
Let m(s) = 3*s + 3*s**3 - 2*s**3 - 2*s**2 + 5*s**2 - 6 + 9. Let f be -5*4*1/10. Let y be m(f). Solve 3*j + y = -2, -4*b = 4*j for b.
1
Suppose 2*l - 12 = 2*z, 0 = z + 6 - 3. Solve -3*r + 1 = -v, 3*r + l = -5*v + 16 for r.
1
Let t = 177 - 173. Let z be (-2)/(1 + -1 + -2). Let f be -57*(z/(-3) - 0). Solve 4*u + l - 6*l = -f, 13 = -u + t*l for u.
-1
Suppose 0 = -16*i + 11*i + 140. Let d be -5 + 0 + 9 + (0 - 0). Let w be 2/6 + 4/(-12). Solve -d*t - 5*q = i, w = q + 3*q + 16 for t.
-2
Let m = -41 + 12. Let u = m + 32. Let t be 6/4*(1 + 1). Solve t*i + y = -2, 2*y + 4 = u*i - 0 for i.
0
Let k be (-2)/11 - 8/(-44). Let m(f) = 2*f + 1