0*o, -4*q + 2*o = -16 for q.
2
Let j = -1812 - -1812. Solve 5*t - 5*i + 20 = j, -5*t - 2 = -t + 3*i for t.
-2
Let o(i) = i**3 - 36*i**2 + 38*i - 105. Let u be o(35). Solve -f + x = 5, -f + 2*x + u*x - 7 = 0 for f.
-3
Let i = -25 - -29. Suppose -i*j + 1348 + 740 = 0. Let c be (-4)/(-30) + j/135. Solve -3 = 3*t + 3*u, c*t = -3*u - 7 + 2 for t.
-2
Let k be ((-1)/1 + 6)*1. Let o(i) = -i**3 + 3*i**2 - 6*i + 3. Let n be o(4). Let f = n + 39. Solve -k*b + 11 = -f*w, 3*w + 3*b - 12 = 3 for w.
2
Let u be (8/(-6))/(4/6). Let i be (-1628)/36 + u/(-9). Let n be i/(-6)*(-16)/(-20). Solve -g = -z + n*z - 11, 0 = -g + 1 for z.
2
Let z = -408 + 416. Solve 3*t = 4*q + 16, 2*q = -0*t + 3*t - z for q.
-4
Suppose 0 = -5*r - 0*r + 350. Suppose r = -0*y + 5*y. Suppose -4*x + 4*u = -9 - 23, y = 4*x + 2*u. Solve -j = v + v, -3*v = x*j for j.
0
Let y(q) = q + 28. Let c be y(0). Let s(z) = z**2 - 7*z + 5. Let w be s(5). Let u be (15/(-6))/(w/10). Solve -5*t - c = -4*p, 6 + 0 = -u*p - 4*t for p.
2
Let n(p) = p**3 - 17*p**2 + 13*p + 20. Let m be n(16). Let g = m + 30. Solve 13 = g*a - 5*w, 4*a + 3*w + 19 = -2*w for a.
-1
Suppose -g = 2*l + 5 + 22, -18 = l + 2*g. Let n(b) = -b**2 - 10*b + 26. Let i be n(l). Solve 5 = -5*p - t, 0 = p - i*t - 2*t + 22 for p.
-2
Suppose -6*r = 2*a - 2*r - 20, 3*a - 10 = -r. Solve -5*c - a*v + 5*v - 22 = 0, 5*v + 20 = -3*c for c.
-5
Let u(y) = 2*y + 12. Let z be u(-5). Solve g - z*x - 4 = 0, 3*g - 7*g + x = 5 for g.
-2
Let c be 0*2/(-8)*-2. Suppose 36*t - 13*t = 92. Solve 3*k + 25 = -5*v, -2*v + t*k + 1 - 11 = c for v.
-5
Let s = -11 + 9. Let o be 7 - (s/(-9) + 25/9). Solve -2*a - 3*k + o = 0, 5*a - 11 = 4*k - 47 for a.
-4
Suppose 4 - 2 = r. Solve -3*q = r*s - 3*s + 4, -5 = q - 4*s for q.
-1
Let y(d) = 35*d + 2 + 1 - 32*d. Let j be y(-1). Solve j = -h + 2*f, 0 = -h - 0*f - 2*f for h.
0
Let p = 41 - 85. Let i be 11/p + (-82)/(-8). Let j be (4/18 - 18/81) + 3. Solve -2*k - i = -5*o + j*k, 0 = -3*o + k + 2 for o.
0
Suppose 32*j - 125 = 3. Solve -11 = -h + 2*y, -j*y = -0*h - 5*h + 31 for h.
3
Let p = 1610 - 1606. Solve 2*k - p*g + 3*g - 8 = 0, -k - 4*g = 14 for k.
2
Suppose 4*k - 19 + 3 = 0, -4*k + 16 = -2*l. Solve -2*q = -5*u - 29, u = -4*q - l + 3 for u.
-5
Suppose 0 = -5*n + 5*w + 10, -4*n - 2*w + 0 = 4. Solve a - 4*t - 8 + 0 = n, 2*t + 4 = 5*a for a.
0
Let i(c) = -c**3 + 8*c**2 + c - 8. Let t be i(8). Suppose -l - 2*b + 2 = t, -2*l + 1 = 3*b - 2. Solve l = 5*a + 5*f, -4*f + 25 = f for a.
-5
Let g be (-8)/12 - (-168)/9. Suppose 13*w = g*w + 15. Let x be (-4)/(-2)*(w - -5). Solve v + x*p = p - 14, 5*p = v - 10 for v.
-5
Let n be (-27)/((-432)/(-64))*2/(-4). Solve 3*t - 1 + 2 = n*g, 3 = -3*t for g.
-1
Suppose -5*i - y + 4*y - 30 = 0, 15 = 3*y. Let s be ((-44)/(-33))/(2/i). Let t be s/(-3)*(-4 + 7). Solve 0*n - 4*u = t*n - 2, -n = 3*u + 1 for n.
5
Let s(r) = -2 - 4*r - r + 7 + 6*r. Let u be s(-2). Suppose -u*t + w = -14, t = -2*w - 2*w - 4. Solve -t*l = -4*v - 4, -l = 4*v + 8 + 6 for v.
-3
Let u(r) = 4*r - 9*r - 1 + 3*r + 5. Let y be u(0). Solve -24 = -3*m - y*n + n, -5*n + 16 = -m for m.
4
Suppose -5*u + h = -428, u - h - 40 = 44. Let y = 91 - u. Solve -k - 26 = 2*s + 4*k, 35 = -5*s - y*k for s.
-3
Let b = 1625 + -1621. Solve 5*o - 18 = 2*m + o, 0 = -b*m + o - 22 for m.
-5
Suppose 0 = 8*x - 5*x - 63. Let g(w) = -w**3 + 4*w**2 - 3*w + 3. Let f be g(3). Solve f*n + 4*m = 6, -3*n + 6*n - 5*m + x = 0 for n.
-2
Suppose -17*a = -11*a. Solve 3*y = 2*y - 2*n + 2, y - 4*n + 10 = a for y.
-2
Suppose i = c - 18, 0 = -4*c - 0*i - i + 72. Suppose 0 = x - 4*p + 12, 0 = -3*x - 2*p + c + 2. Solve -5*a - 7 + 32 = -5*j, -8 = -3*a - x*j for a.
4
Let s(r) be the second derivative of -r**3/6 - r**2/2 - 32*r. Let g be s(-7). Solve -3*p - m = 3 - 1, -p + g = -3*m for p.
0
Suppose -o = -4, c + 5*o = 1 + 1. Let n = -18 - c. Suppose n*m = m - 2. Solve 1 = -p, -m = 6*b - 2*b + 2*p for b.
0
Suppose 5*o + 5 + 10 = 0. Let q(b) = -4*b**2 + 7. Let k be q(o). Let i = 29 + k. Solve 3*h - 35 = -5*z, 30 = 2*h - i*z + 5*z for h.
5
Let n = 24 + -32. Let m(a) = -a**2 - 6*a + 25. Let w be m(n). Solve 5*i = 5*x - 5, 3*i + 5*x - w = 6*i for i.
2
Let j = -637 - -645. Solve -2*h + 1 = -3*h + d, -5*h + 4*d = j for h.
-4
Let b(r) = r**3 + 4*r - 7*r**2 - 3*r + 19 - 11*r**2. Let w = 495 - 477. Let c be b(w). Solve 4*q + 15 = k - q, 5*k + 3*q = -c for k.
-5
Let s(u) = 2*u + 5. Let d be s(-9). Let p = d - -14. Solve 2*y - 4*x - 4 = 0, x + 0*x = -3*y - p for y.
0
Let g(i) = -i**3 - 4*i**2 + 3*i - 13. Let q be g(-5). Let b be 150/9 - (-2)/q. Solve -4*m - 4*d + b = 0, 4*m - 5*d + 26 = -3 for m.
-1
Suppose 2*m = 6*m - 56. Suppose -2*o - o = -6, 0 = -3*d - 4*o + 23. Suppose -5*n = -0*n - 25. Solve -25 = 5*p - d*t, -n*t = -11 - m for p.
0
Suppose -2 = m + 1, 3*m + 9 = -2*x. Suppose 9*v - 4*v + 4*b - 26 = x, 0 = 2*v - 2*b + 4. Solve -4*g + 4*i - 24 = 0, -3*g - 5*i = v - 0 for g.
-4
Let q be ((-6)/2)/3*-9. Suppose -12*b = -q*b. Solve -2*u - 2*z = 2*z + 12, b = -2*u + 3*z + 23 for u.
4
Suppose u + 5*t + 509 = 5*u, -348 = -3*u - 3*t. Suppose -9 = 4*y - u. Let a = -12 + y. Solve 5*p = 2*s - a, -2*p - 2 = -4*s + s for p.
-4
Suppose -266 = -4*t + 6*t. Let f = 138 + t. Solve -4*k - f = -2*b + 7, k - 3 = -b for b.
4
Suppose 3*a + 15 = -2*a, -a = -5*k + 28. Suppose -3*w + 3*v + 3 = 4*v, 4*v - 12 = 0. Suppose w*c = 4*c - 16. Solve -k*y + 1 = -4*z - 7, 5*z + 10 = c*y for y.
0
Suppose k - 1 = 2*k, -5*r - k = -59. Solve 0 = -4*t + d, 4*t + 4*d = 2*d - r for t.
-1
Let x be (-44)/16 - -5 - 1/4. Let p be (-1 - -4)/(x/6). Solve -d + p = 4*y - 6*y, -5*d = -15 for y.
-3
Let d = -1338 + 1338. Let s(u) = -u**3 - u**2 + 3*u - 4. Let k be s(-3). Solve 0 = -2*y - g + k, 2*y + 2*g - 2 + 0 = d for y.
4
Let o = 3 - 0. Suppose o*x + 27 = 63. Suppose 0*h - 3*h + x = 0. Solve h*k - 4 + 1 = -m, 2*k = 2*m + 4 for k.
1
Let d be (-88)/(-14)*(-21)/(-6). Let c = d - 20. Let y be 0*(-2)/(c + 0). Solve 4*r + 20 = 2*h, 4*r - 5*h = -y*h - 20 for r.
-5
Suppose c = 2*d - 0 + 3, 5*c + 3*d - 15 = 0. Solve -c*k + 4*x = -17, -2*x = k + x + 3 for k.
3
Let g = 57 + -54. Let l(u) = -u**3 + 3*u**2 - 2*u + 3. Let v be l(2). Let m = 0 + v. Solve -5*z = -m*k + g, -16 - 8 = 3*k + 4*z for k.
-4
Let r be 5/((-50)/(-6)) + (-132)/(-30). Solve 0 = 4*b + r*q + 8, -5*b - 3*q - 10 = -q for b.
-2
Let z(d) = -d**3 + 19*d**2 - 19*d + 21. Let q be z(18). Suppose 15 - 3 = q*b. Solve -8*c = -b*j - 4*c + 8, 6 = 3*j - c for j.
2
Suppose 0 = -4*z + 13 + 3. Suppose -w + 0 = 7. Let t be z + w + (-7)/(-1). Solve -3*l - 29 = -4*y, y + y = t*l + 22 for l.
-3
Let k be -2 - (2050/(-400) - 2/(-16)). Let f = -5 + 4. Let c = f + 5. Solve -5*x = k*z + 17, -4 = x - 4*z + c for x.
-4
Let h(f) = f**3 - 9*f**2 - 11*f + 15. Let i = -20 + 30. Let t be h(i). Solve n - t*o = -5, o + 1 = 2*o for n.
0
Let a = 81 - 52. Let h be ((-44)/132)/((-6)/(-18)*2/(-10)). Solve -p = h*x + a, 0 = 2*p - x - 3*x - 12 for p.
-4
Let j be (-2 - -1) + 1 - -1. Suppose 3*h - f - 5 = 0, -2*h - 4*f + 3 - 23 = 0. Suppose h*p = 3*p. Solve -4*l + 3*k + 0 + j = p, 4*l + 2*k = 26 for l.
4
Suppose 3*g + 5*t - 22 = -0*g, 0 = 4*g + 2*t - 6. Let v be -5*g/5 - -2. Solve b - 3*b + 10 = -3*y, 0 = 2*y + v*b - 15 for y.
0
Let v be (-4)/6 - 2/(-3). Let d = 50 - 22. Suppose -b - y = -4*y - 16, d = 4*b - 3*y. Solve 3*f - 10 = 4*i, 4*i + v*i = b*f - 8 for f.
-2
Suppose -8*g = 46 - 78. Solve 9 = g*c - 3*c - 4*s, -2*c - s = 0 for c.
1
Suppose 4*c - 5*v + 245 = 0, 4*c - 6*c + 4*v - 118 = 0. Let o be 2 + (-39)/18 - c/30. Solve -1 = 3*f + 5*p, -3*p - p = -o*f - 8 for f.
-2
Suppose 9*q + 59 = -157. Let o = -21 - q. Solve -4*r = 5*y, r - o*y + 15 = -8*y for r.
5
Let h be (-4 + 18/4)*2. Let r(l) = 5*l**2 - 4*l + 3. Let a be r(h). Solve -y + 2 = -2*o, 2*y = -a*o - y - 14 for o.
-2
Suppose -4 = 6*x + 20. Let y be 8/x + 4 + 3. Solve -7*v + 16 = -4*v + 5*t, 3*t = y*v - 4 for v.
2
Let k(h) = -h - 4. Let l be k(-9). Suppose -l*n + 0*n = 175. Let u be (-20)/3*84/n. Solve -2*b + 4*x + 8 = -u, -8 = 2*x for b.
4
Suppose -5*v = -74 + 19. Let r = v - 4. Solve -2*i + r = -2*x - 3, 5*i - 5 = -5*x for i.
3
Let k = 1473 - 1470. Let v(c) = -c**3 + 3*c**2 - c. Let w be v(2). Solve d - k*d - w*a = 0, 4 = a for d.
-4
Suppose -2*s + 4*v = -28, -3*s + 7 - 20 = 5*v. Suppose -2*k + 0 = s. Let g be 24 + ((-2)/k - 2). Solve -7 = 2*o - 3*f - 25, o - g = 5*f for