 1 - 2 = 0 for o.
-1
Suppose 0 = 3*y - 122 + 161. Let c be 7*((-1)/(-1) + 2). Let k = c + y. Solve -5*r = -2*s - k, 2*r = 3*s - r + 12 for s.
-4
Suppose 14 = -11*p + 12*p. Let j = p + -11. Solve -7 = -3*l + 4*q + 4, -2*l - j*q - 21 = 0 for l.
-3
Let c = 55 - 52. Solve -c*u - 2*u = 2*a + 22, 4*u = 3*a - 13 for u.
-4
Let v be (3 - (-7 + 6)) + 12. Solve 0*r + r = 3*z - 4, 0 = 5*r - 3*z - v for r.
5
Let j(l) = -2*l - 5. Let x be j(-4). Let f be 922/8 + (-40)/32. Let i be (-3)/(-12) + (f/8)/3. Solve 2*r - g = -0*g, x*g + i = r for r.
-1
Let y(u) = -3*u + 23. Let w be y(6). Solve -19 = w*v + 1, 0 = -5*f - 2*v - 23 for f.
-3
Suppose -6 = -3*v - 3*a, v - 1 = -3*a + 5. Suppose -m - 2*w = -13, 0*m = 5*m - 3*w. Let k be (0/(-4))/(9/m). Solve -x + k*x - r = v, 4*x + 3*r - 1 = 0 for x.
1
Let q(x) = 2 + 5 + x**2 + 3 - 4*x + 11*x - 8. Let z be 7*(0/2 - 1). Let j be q(z). Solve -v = j*v - 5*y - 5, 0 = -2*v - 2*y - 18 for v.
-5
Let n(y) = y**2 + 2*y - 7. Let x be n(7). Let j = -56 + x. Solve u + t + j - 4 = 0, 0 = 2*t + 2 for u.
5
Let z be (18/(-30) + 1)/((-2)/(-5)). Solve -2*w + z - 13 = 3*l, 4*l + 4*w + 20 = 0 for l.
-2
Let j = -1916 + 1920. Solve 0 = 2*z + 4*k - 4, 10 = 2*z - 3*z + j*k for z.
-2
Let t be 3 + (2/2 - 3). Suppose -y = t - 46. Solve -m = 4*i + 15, i - y = -4*m + 6*i for m.
5
Let r be (18/(-21))/(-3 - (-375)/126). Suppose 15*z - r = 6*z. Solve -2*v + 22 = -3*y, 0 = -y + 3*y - z*v + 28 for y.
-4
Let t(u) = -4*u**3 - u**2 + u + 2. Let b be t(-1). Solve y + 10 = -3*r, y - 6*r + b*r = 5 for y.
-1
Let w = 4 - -16. Let g be 6/(6*5/w). Solve 2*a + 16 = 4*j + 5*a, -g*a = -16 for j.
1
Let r(d) = -d**2 - 7*d + 13. Let k be r(-8). Suppose 2*t = p + 3*p - 52, k*t = 3*p - 32. Solve -4*n + 2*l + 2 = 0, -n + 0*l = -5*l - p for n.
-1
Suppose 5*n - 35 = 10. Suppose -b + 4*j = -2*b - 14, 2 = -3*b - 2*j. Solve 0 = -5*t + o + 3*o + n, -t - 1 = b*o for t.
1
Let w be ((-10)/2)/(-1*1). Let u(d) = d**2 - 4*d - 10. Let o be u(-5). Let n = o + -32. Solve -17 = -w*y + n, -3*y = -5*r + 13 for r.
5
Suppose -k + 11*u - 6*u = 0, 0 = 3*k + 4*u - 19. Solve 3*b + 4*d + 4 - 14 = 0, 2*b = k*d - 24 for b.
-2
Suppose 2*v + 4*d + 48 = -3*v, 3*v = 5*d - 14. Let i = v + 11. Suppose -i*t + 3*x + 58 = 7, t - 7 = 3*x. Solve -6*f = -b - f + t, -5 = f for b.
-3
Suppose 0 = 13*s - 5*s - 256. Let y = s - 29. Solve 4*p - 26 = y*l, -l = 2*p + p - 13 for l.
-2
Let k = -160 + 169. Suppose l = 6*l + 4*z + 12, -3*z = -2*l + k. Solve -2*c - 5*j = 4, -2*j = 4*c - l + 8 for c.
-2
Let u be (-6)/(-51) - 132/(-34). Suppose -r = -u*r - 2*r. Solve -5*l - 20 = r, 4*f + 5 = -5*l - 15 for f.
0
Suppose 2*a - 8 = -3*n, -n + 6*n - 3*a = 7. Solve 3*x - 5*x + 3 = l, -n*l = 10 for x.
4
Let y(m) = m**2 - 4*m + 4. Let r be y(4). Let g be 22 + (-3)/(-4 - -7). Suppose 5*p - 46 = -g. Solve r*i = -5*x - 21, 12 = -p*x + x - 2*i for x.
-1
Suppose 0 = -2*j + 4 - 44. Let h = 31 + j. Solve 0 = 2*x - 3*r - 16, -3*r - 33 = -5*x - h for x.
2
Suppose 3*w + 195 = 3*m, 2*m - 22 = -2*w - 144. Let u be 4/18 - 1246/w. Let z = u + -20. Solve 3*c + 2*c - 3*k = 0, -2*c - 5*k + 31 = z for c.
3
Suppose -65 = 2*d - 5*x, -2*d = -d - 2*x + 33. Let o be (-2)/7 + 95/d. Let j be (-2)/o - 129/(-9). Solve -5*n - 12 = -3*p - 2*n, -4*n = -5*p + j for p.
-1
Suppose -4*p + 52 - 10 = 3*x, 0 = 4*p + 2*x - 40. Solve -4*m - 6 = -t + p, t = m + 3 for t.
-1
Let u(p) = p**3 + 5*p**2 - 4*p + 1. Let i be u(-6). Let t(h) = h**3 + 11*h**2 + h + 13. Let s be t(i). Solve -s*a + x + 10 = 2*a, 2*a + 4 = -4*x for a.
2
Let k be -7*(12/7)/(-6). Suppose -c + 4*t = -3*c + 64, 0 = -k*c - 3*t + 60. Solve -4*i = 5*m - c, 0 = 2*i + 3*m - 7*m + 14 for i.
1
Let q be 2/1 + -3 + 3. Suppose 26*u - 12 = 22*u - 2*w, 2*u = -3*w + 6. Solve -u*n - 5*m - 7 = -4*m, -q*m - 10 = 4*n for n.
-2
Let m(y) = -28*y - 18. Let k be m(-1). Solve -3*l + 7*v = 9*v + 15, -2*l = 5*v + k for l.
-5
Let k be (-10 - 2)*(3/4)/(-3). Suppose 5*b - 9 = 6. Suppose 5*s - 19 = 3*i, b*s - 7 - 11 = 4*i. Solve -k*y + y = -2*p - s, -1 = 5*y - 3*p for y.
-2
Let j be (10/8 - 3)*-4 - 2. Suppose -j*v + 81 = 6. Solve -2*p = -6*h + 2*h + 22, -v = 3*p for h.
3
Let h = -15 + 12. Let z be h/1 + 7*1. Suppose -3*t + z*t = 3. Solve 3 = -q + 2*g, q = 3*q - t*g + 7 for q.
-5
Let h be (-2)/3*(-3 - -6). Let d = 6 + h. Suppose -f + 13 = 2*t, d*f + 22 = 5*t + 9. Solve -b = -u - 9, -f*u - b - 16 = u for u.
-5
Let x = -1 + 3. Let j(c) = -c**2 - 5*c + 2. Let r be j(-5). Let n = -11 - -13. Solve -x = n*d, -p + 5*d = 3*d - r for p.
0
Let m(v) = -v**2 - 21*v + 101. Let h be m(-25). Solve -2*r - 18 = -3*x, -4*x - h = 4*r - 5 for r.
-3
Let j be (0 - -2) + (-1 - -2). Suppose -5*t = -38 + j. Let w = -2 + t. Solve -2*y - 3*y - 9 = -2*n, -12 = w*y - n for y.
-3
Suppose 7*j - 8*j + 5*t = 1, -4*j + 5*t + 26 = 0. Solve 21 = 5*q + g, q - j = -q - g for q.
4
Let q(m) = -2 - 6 + 2*m + 5*m**2 - 2*m**3 + 3*m**3 + 3. Let u be q(-4). Suppose -8*w = -u*w - 15. Solve -f - 8 = c, w*c + 0*c = -4*f - 27 for c.
-5
Suppose 230 = 13*b + 22. Let p be (-3)/4*b/(-6). Solve h - 4*n + 5 = -3*n, 4*n - 14 = -p*h for h.
-1
Let v be 22/2 + (3 - 4). Suppose -s = -6*s + 50. Suppose 14*x - s = 12*x. Solve x*w = -4*n - 11, -w = 4*n + 5 + v for w.
1
Let n = -3 + 7. Suppose a + 33 = n*a. Suppose 2*v = -4*x, 5*v - v + a = 3*x. Solve -x = 2*z + 2*d + 9, 2*z - 3*d - 5 = 0 for z.
-2
Let w = 8 + -6. Suppose 4*m - 13*v + 9*v = 40, 0 = 5*m - 3*v - 46. Solve -w*u = 5*c + m - 0, -u - 4 = 2*c for u.
-4
Suppose -34 - 20 = -18*n. Solve 0 = 4*x + l - 4*l + 15, 2*x - n*l = -9 for x.
-3
Let z be 4/(-18) - ((-3320)/45)/8. Let s = -11 - -7. Let o be (-40)/(-2) - (2 + s). Solve 2*f + j - o = -3*j, 3*f - 2*j = z for f.
5
Let f = 926 - 906. Solve -z + 4*b = z, 3*z + f = -4*b for z.
-4
Let k = 115 + -111. Suppose 42 = 4*f + 14. Suppose -f*o = -5*o. Solve -2*n = -4*c + 10, -3*n - 4*c - 9 + k = o for n.
-3
Let h be -30*(1 - (-3)/(-2)). Suppose -i = 4*i + h, -i = 3*n - 444. Suppose 5*t + 44 = n. Solve 5*s - 2*d - t = 0, -2*d + 4 = -s + 5 for s.
5
Let v be (3 + -3 + 7)*3/7. Solve -v*f = 5*k - 9, k + 3*f = -k for k.
3
Let k be (3/2)/(3/(-4)). Let y = k - -4. Suppose -9*c = c - 450. Solve -4*p = -y*a + 6, -5*a - 4*p - p = c for a.
-5
Let f(p) = -p. Let m(l) = -l**2 - 9*l - 20. Let a be m(-8). Let n be f(a). Solve 4*w + 25 = 5*y, -4*y - 28 = 4*w - n for y.
1
Suppose 3*g + 1 = -14. Let k = g + 13. Let r = 172 - 150. Solve -j = 5*y + r, -2*j + y + k = -j for j.
3
Suppose -20*u = -17*u - 39. Suppose -8*k + 61 = u. Solve -3*z - 4*b = -3*b + k, 2*z = 5*b - 4 for z.
-2
Let r = 596 - 594. Solve 4*n + 2*f - 28 = 0, 3*n - 4 - 3 = r*f for n.
5
Suppose 0*b - 5*b + 15 = 0. Let p(d) = d**3 - 8*d**2 + 2. Let a be p(8). Suppose 0 = 2*w - w - a. Solve 0 = -w*c, -c - b = 2*k + k for k.
-1
Suppose 2*p + d - 14 + 10 = 0, p + 7 = -5*d. Solve 0 = -w - w + 6, -4*g - p*w = -1 for g.
-2
Let y be (-2 - (2 + 1)) + 3 + 2. Solve y*n - 5*n + 2*b + 28 = 0, 0 = 3*n - b - 16 for n.
4
Suppose -f = -17 - 13. Let r = f + -35. Let w be (-5 - (3 + r))*-1. Solve 5*i + 12 = z + 4, -i = -w*z - 4 for i.
-2
Suppose 2*q - 2*p - 6 = 0, q - 5*q - 3*p + 12 = 0. Suppose 0 = 3*b + 5*f + 14, 0 = -b - f + q*f + 10. Solve -6 = i + 2*i, -s - b*i - 5 = 0 for s.
-1
Let x be 18/(-30)*(-3 + -2). Solve -4*q = 2*r - 6, 0 = x*r - 2*q + 3*q - 9 for r.
3
Suppose 20*g - 4 = 21*g. Let r be ((-14)/g - 3)*4. Let d = 1 + -1. Solve d*v = -3*x - 3*v, -r*v - 3 = 3*x for x.
-3
Suppose 272 + 353 = 25*z. Solve -4*t + z = -s + 8, -4*s - 4 = 0 for t.
4
Let y = 82 - 80. Solve -3*r - y*q = 6, 7 = 5*r - 4*q + 17 for r.
-2
Let v = -496 + 499. Solve -3 = 2*a + y, -6*a + y = -v*a + 7 for a.
-2
Suppose 2 = 3*h - 4. Suppose 90 = 3*q + w + 2, h*q - 59 = -w. Solve -k + 4*a + 16 = -0*k, k + 5*a + q = 0 for k.
-4
Suppose -15*a + 327 = 252. Solve -3*f + 2*f + 2 = 2*q, -16 = -3*q + a*f for q.
2
Suppose 5*s = -3*j + 2*s + 3, 0 = -5*j + 2*s - 2. Let k be j - (2 + -5) - 10. Let w be -1 + 16/(-3 - k). Solve w*c - 3 = z, 3*z + 0*c - c + 1 = 0 for z.
0
Suppose -2 - 15 = -17*w. Solve 4*n - 10 = a, 2*n = -2*a + w + 9 for n.
3
Let c = 320 - 301. Solve c = 5*l - 3*w, 4*w = 3*l + w - 9 for l.
5
Let l(c) = c**3 + 20 + 13*c + 7*c - 2*c**3 - 19*c**2. Let o be l(-20). Solve -5*v - o = -0*f + 5*f, 2*v - 4*f = 22 for v.
1
Let s(a) = a**2 + 4*a. Let z be s(-4). Suppose -5*k - 3*k + 16 = z. Solve 5 = -k*o