i = -w*o, -4*i = -8*i - 5*o for i.
0
Let z be (20/15 + -2)/(8/(-60)). Solve 2*y - 3*k = 9, 4*k + 7 + z = 0 for y.
0
Let i = 3 + -3. Let q be (-4)/10 - 1852/20. Let g be (-4)/12 + q/(-9). Solve -3*o - 3 = i, -o - g = -3*x - 0 for x.
3
Let h = -36 + 58. Let v be 10/(-3)*21/(-14). Solve -h = l - v*p, 3*p - 1 = -l + 9 for l.
-2
Let t = -9 + 11. Suppose -5 = 2*w - 0*j + j, t*j - 26 = 5*w. Let v be (-1 + -1)*50/w. Solve -2*r + 3*x - 16 = 7, 5*r - x = -v for r.
-4
Let s = 7 + -7. Suppose o - 4 + 0 = s. Suppose h = -o*h. Solve h*x + x + 22 = -5*p, 5*x = 15 for p.
-5
Let x = -95 + 67. Let i be 6/(x - -4) - (-17)/4. Solve -4*w - 3*z + i = 0, 2*z + 3*z = 0 for w.
1
Let b(h) = -h**3 + 3*h**2 - 6. Let a be b(4). Let r be 2/(-10) + a/(-10). Let k = 1 + r. Solve -z + 0*z + c = -1, 2*z + k*c - 17 = 0 for z.
4
Let r(u) be the first derivative of -u**2/2 + 11*u + 10. Let s be r(-15). Suppose -25*j = -s*j. Solve 4*q - 3*h + 12 = -0, j = 2*q - 2*h + 6 for q.
-3
Let b(f) = f**2 + 4*f + 5. Let d be b(-4). Suppose 3*h - 46 = -5*u, -11*u + 2*h - 36 = -15*u. Solve 6*c = 2*c + d*k - 22, k - u = 2*c for c.
-3
Let d = 69 + -64. Solve 2*r - 4*v + 9 - 29 = 0, 0 = 5*r + d*v + 25 for r.
0
Suppose -5*x - 7 = -22. Suppose -9*k + 58 = -32. Solve -5*i = 3*m + k, 11 + 14 = 2*m - x*i for m.
5
Suppose 0 = -2*q - 2*q + 8. Suppose 29*l + 372 = 71*l + 51*l. Solve 5*u - q*o = 27, o = 2*u - l*o - 15 for u.
5
Let d(x) = x**2 + 4*x + 4. Let m be d(0). Solve 4*v - 3*q + 5 = 0, -2*q = m*v + 2*q + 12 for v.
-2
Suppose -5*w + 2*x = 2 - 5, 0 = 5*x - 5. Suppose 0 = -5*z + z + 112. Solve 3*m = 2*r - w - 13, 0 = -5*r + 4*m + z for r.
4
Let m(g) = g**2 + 15*g + 5. Let q be m(-15). Let o = 59 - 54. Solve -q*n - 6 = -4*j, 4*n - n + o*j = 26 for n.
2
Let q = 61 + -58. Suppose -30 = -2*o - 4*m, 6*o + 5*m = q*o + 40. Solve -f - f - 16 = -4*v, -2*f - 21 = -o*v for f.
2
Let q be 2/((-12)/(-306)) + (-1)/(-1). Let c be 2/(-8) - q/(-16). Solve -4*a + c*o = 0, 0*a - o = 3*a + 13 for a.
-3
Suppose a + 4 = -a, -5*x = -3*a - 116. Suppose -x*w = -18*w. Solve 3*p = w, -2*l + 2*p - 5*p = 8 for l.
-4
Suppose -3*s - 90 = -6*s. Let o be (104/65)/(4/s). Solve 24 = -5*u - 3*m, -2*u - m - o = u for u.
-3
Let w be (12/(-15))/((-230)/575). Suppose -23 = -3*u + 5*p, 4*u - 4*p - 26 = 2. Solve 2*i + o + 5 = u*o, 4*i + w = 2*o for i.
0
Suppose 246 = -12*g + 18*g. Let k = 41 - g. Solve 6*w - 2*w + 10 = -2*d, k = 5*w + 2*d + 11 for w.
-1
Let p = -16 + 15. Let k be (9/(-18))/(p/6). Suppose 4*d - 6 = k*z, -z + 3 - 5 = 3*d. Solve -2*o + 18 = 4*u, 2*u - 2*o + 6*o - 18 = d for u.
3
Suppose 72 - 81 = -3*j. Let g(k) = k**2 + 2*k - 1. Let r be g(-4). Solve j*h + r = n, -3*h = -4*n - n + 11 for h.
-2
Let n be (25/(-20))/((-2)/48). Suppose -6*m = -n + 12. Solve m*w + 2*p - 7 = 0, -3*p - 10 = -3*w + 2 for w.
3
Suppose -y - 2 = -4*k + 2*k, 3*k = 3*y. Solve -4 - 9 = -y*q - 3*r, 0 = -2*q - r + 11 for q.
5
Suppose 48 = 5*m + 8. Let c = m - 1. Solve -3*p + 5*t = 12, -3*p + c*t - 6 = 4*t for p.
1
Let n be 3 - (-7)/(21/(-9)). Let w be (-215)/(-5) - 1*-2. Let p be 2/9 - (-80)/w. Solve h = 3, p*v = -n*h - h + 11 for v.
4
Let v(k) = k**3 + 4*k**2 + k - 4. Let j be v(-3). Suppose -1 = -u + j. Solve u*w = -4*l - 2, -4 = -5*l + 5*w - 24 for l.
-2
Suppose 3*f + 6 = 3*b - 9, 2*b + f = -5. Suppose 5 + b = j. Solve i + 19 = -5*l + 6, -5*i = -5*l + j for i.
-3
Let d = -783 + 791. Solve 5*s + 12 = 3*k - 7, -2*s - d = -k for k.
-2
Let q = 26 - 21. Let a be q*2*(-8)/(-16). Solve a*j - 5*r = 5, -j - 2*r = -4*r - 2 for j.
0
Let d be 30/(5 + -8) - -5. Let n be (14 - d) + ((-6)/3 - -5). Solve -3*q - 2*a = -n, -2*a + 40 = 4*q + 14 for q.
4
Let g(k) = -16*k + 133. Let a be g(8). Solve 0 = -q + 2*s - a, 2*q + 2 = -3*s + 5*s for q.
3
Let x(l) = -l**3 - 5*l**2 + 5*l + 6. Let w be x(-5). Let u = w + 24. Suppose -j - 5 = -2*t, 4*t = -4*j + u*t + 8. Solve -j*k - 2*p = -6, k + 1 = -p + 4 for k.
0
Let u = 898 - 889. Solve -4*l + 10 = -u*l - 5*z, 6 = 4*l - 3*z for l.
0
Let b(d) = d**2 + 3*d. Suppose -10 = -q - 14. Let c be b(q). Suppose 0 = c*r - 8*r + 12. Solve r*v = 5*a + 22, 2*v - 3*a - 12 = 1 for v.
-1
Suppose 3*z - 3 = 0, n + 1 = 4*z + 2. Suppose 0 = g - 2*g. Suppose -3*u + 2*u + 17 = g. Solve n*b - t + u = 0, t + t = -b + 1 for b.
-3
Let j be 5 - (-2 - -10) - -5. Solve -3*u + 2*b - 2 = 0, 4*u - 17 = -j*b - 43 for u.
-4
Let b(f) = -11*f - 140. Let c be b(-13). Solve -n = -3*n + c*l, -3*l - 21 = 5*n for n.
-3
Let m(c) = c - 8. Let v be m(6). Let j(k) = -k**3 + 12*k**2 - 4*k - 72. Let r be j(11). Let l = r + v. Solve -l*g + 2*q = 0, 6 = 5*g - 4*q + 4 for g.
-2
Let u(k) = 2*k**2 - 8*k - 4. Let i be u(6). Let r be ((-9)/(-6))/((-2)/(-56)). Let s be (1 - 5)*r/(-24). Solve -3*p = 2*v + 8, -s*v + 2*v - i = -p for p.
0
Let w = -1002 - -1006. Suppose 0 = -4*i - 12, -2*i + 23 + 11 = 2*s. Solve -p = -0*p - 3*r - 11, -4*r - s = w*p for p.
-1
Let y(h) = -14*h - 1. Let f be y(2). Let l = f - -41. Solve -3*v = 3*b + l, 3*b = 4*v - 8 + 31 for b.
1
Let t be (39/(-13))/((-9)/3). Solve 1 = z - 2*p, -2*z = -z + p - t for z.
1
Let x(n) = n + 10. Let w be x(-5). Suppose -1887*d = -1882*d - 25. Solve -8 = d*y + 4*g, 2*g - 4 = -w*y + 4*g for y.
0
Suppose -36 = 8*k - 68. Solve 4*q - 3*m - 7 = 0, 0*m - m + 3 = -k*q for q.
-2
Suppose -r + 12 = -13. Let o be -3 - (16/(-5))/(5/r). Solve 5*y - 11 = -q, -3*q + o = 5*y - 0 for y.
2
Let a(s) = 11*s**3 + s**2 + 2*s. Let l be a(-1). Let v = l + 19. Solve m - 3*n = -v, 5*m + n + 1 = -2 for m.
-1
Suppose -3*u - 48 = -0*u. Let q be (-1 + 4)*u/(-12). Suppose 0*b - q = -b. Solve -b*g + 2*z = g - 19, -3*g = 5*z - 30 for g.
5
Let p be (-3 + 22/6)*132. Suppose -4*g + 4*m = -p, -3*m + 2 = -2*g + 48. Suppose -f = f - 6, g = x + 2*f. Solve 5*z + 5 = 0, 4*z + x = -4*d + 2 for d.
-2
Suppose 0 = -5*n - 2*r - 0*r - 2, 5 = -5*n - 5*r. Suppose -2*m + 47 = 27. Solve n = 4*z + 2*k - m, -5*k = z - 0*z - 7 for z.
2
Suppose -y + 20 = 4*k, -14*k = -18*k + 5*y - 4. Solve 3*x + 12 = 0, c + x - k = 5*c for c.
-2
Let h = 68 + -66. Let z be (h/2)/((-4)/(-12)). Solve 5*n + b = 1, z*n + 3*b + 10 - 1 = 0 for n.
1
Suppose -2*a = 3*a - y - 23, a = -y + 1. Solve 0 = -5*q - c - 5, 4*q + c + 23 = a*c for q.
-2
Let n = -1678 + 1681. Solve 7 = f + 2*g, -n*g + 10 = -g for f.
-3
Suppose 35*j - 160 = 30*j. Let r be j/6*3/1. Solve 4*t = r + 4, 2*v - 4*t + 14 = 0 for v.
3
Let t(y) = y**3 - 3*y**2. Let z be t(3). Suppose -16 = -4*o - z. Suppose 0*n + o = n. Solve 4*b + 4*x - 4 = 2*x, 0 = b - x - n for b.
2
Suppose 3*w + n = 2, -6*w + 10 = -9*w - 4*n. Solve -w*q = -5*h, -6*q - 4*h = -4*q - 18 for q.
5
Let m = -70 - -73. Suppose -m*j + 1 + 11 = 0. Solve -3*h + 1 = -n, 2*h + 4 = -0*n - j*n for n.
-1
Suppose -9*x + 7*x + 1 = -5*u, -2*x - 3*u = -9. Solve -y + x*s + 19 = -s, 2*y = s + 3 for y.
-1
Let n(v) = v**2 - 9*v + 21. Let b be n(7). Suppose 0 = b*q - 0*q - 84. Solve r + 5*k = -2 + q, -6 = -3*k for r.
0
Suppose 0 = 2*w - 0*w + 418. Let v be w/(-57) - 2/3. Solve -21 = 5*g + 4*t, -30 = 5*g - 2*t - v*t for g.
-5
Let z be (-6 + 4)/((12/9)/(-2)). Solve z*u = 3*q + 9, 3*u = -2*q + 8*u - 9 for q.
-2
Suppose -2*k - b + 11 = -0*k, -3*k + 4*b = 11. Suppose -k*r - f + 33 = 4*f, -5*r + 71 = 3*f. Solve 3*q = y + 3 - r, 0 = 4*y - 4*q - 28 for y.
4
Suppose -5*x - 16 = -q + 5*q, -4*q = -5*x + 16. Solve 3*v = 2*a - 5, x*v = -2*v + 3*a for v.
-3
Let h(l) = -l**2 + 9*l + 26. Let t(x) = -2*x**2 + 18*x + 51. Let j(a) = -13*h(a) + 6*t(a). Let b be j(12). Solve 5*i - m - 13 = 0, -m + 7 = -i - b*m for i.
2
Suppose -5*c + 23 = -4*f - 0*c, -3*f + 2*c - 19 = 0. Let b = f + 19. Suppose -b = 2*d - 4*d. Solve 0 = 4*a + 3*v - 24, d*v - 16 = 2*v for a.
3
Let m = -14 - -14. Let z be m/(-1) + (-6 - -9). Suppose z*g = -3*j, -j - 2*j = 5*g. Solve -5*f - 5*a + 5 + 5 = j, 2*a - 4 = f for f.
0
Let w(i) = i**3 - 16*i**2 + i - 16. Let o be w(16). Suppose -20 = -2*j - o. Solve 2*r + 6 = 4*p, p - j = 2*r - 1 for r.
-5
Let t(a) = -a + 10. Suppose -2*z - 26 = -4*v, 0 = -2*v + 2*z - 7*z + 7. Let s be t(v). Solve -5 = w + j, w - s*w + j = 11 for w.
-4
Let n = -154 + 164. Solve 4*q - 4*u = -20, -u + n = -4*q - 7 for q.
-4
Let q be (-5 + 4)/(-1*(-1)/(-2)). Suppose 4 = -5*v + 14. Solve 0 = 4*t - 2*p + 2, v*t + q + 1 = -p for t.
-1
Let r(x) = -x + 9. Let q be r(1). Suppose 5*b + 0*b - 20 = 0, 2*b = -4*z + 20. Solve -z*v + i + q = 0, 0*v - 4*v