ve 4*u + 18 = -d*a, -a + 2*a + x = -u for a.
-2
Suppose 4*q - 5*a + 29 = -38, 2*a + 20 = -2*q. Let b = -11 - q. Suppose 3*x = -2*x + 80. Solve 0 = 2*g - b*t - x, 0*g = -5*g + 3*t + 30 for g.
3
Let q be (-1 + 0)*7*(-46)/161. Let b be (-15)/q*11/((-165)/10). Solve -2*r + b = a, 5*a + 5*r - 5 = 5 for a.
-1
Let x(f) = 6*f + 81. Let q be x(-13). Solve 4*n - m = m + 22, 3*m + 21 = q*n for n.
4
Let j = 10 - 9. Let z = 7 - j. Let b(q) = -q**2 + 6*q. Let r be b(z). Solve r = -0*u + 4*u - t - 16, -5*t = -5*u + 35 for u.
3
Let v(n) = 2*n**2 - 3*n. Let b be v(3). Solve -3*t - 3*g - b = 0, -4*t + 5*g - 14 = -2 for t.
-3
Let h(t) = -12. Let n(f) = f - 23. Let s(q) = 7*h(q) - 3*n(q). Let j be s(-5). Solve 3*m + 3 = 3*r, j = 3*m - r - 3 for m.
2
Let t = -144 + 149. Solve -5*z + 10 = -t*y, 2*z - 6*z + 13 = -5*y for z.
-3
Suppose -21 = 2*v + 5*q, -7*q = -3*q + 12. Let s = 8 + v. Solve 2*g + 12 = -5*r - 0*r, 4*g + 14 = -s*r for r.
-2
Let z = 55 + -68. Let c(u) = u**3 + 12*u**2 - 11*u + 26. Let b be c(z). Solve 5*l + 15 = 5*t, b*t + 4*t = -4*l - 20 for t.
-1
Let y(p) = 2*p**2 + 2*p + 4. Let j be y(0). Let h be (-2 + 4 - 2)/2. Suppose 2*c + 2*f = h, -j*c = -f - f. Solve -5*u - 15 = 3*i, 0 = -c*u - 5*u - i - 5 for u.
0
Suppose -c - 4*c = -15. Suppose -c*x = -4 + 7. Let v(s) = 3*s**2 - 2*s - 2. Let z be v(x). Solve 8 = z*a + u + 22, 3*u + 22 = -5*a for a.
-5
Let i be (102/(-663) - (-4)/26)/2. Solve 0 = -21*z + 17*z - 2*h - 16, 2*h = i for z.
-4
Suppose -100 = -5*r + 10. Let q = -10 + r. Solve 2*g = 2*z + 5*g - q, 4*g = 16 for z.
0
Let u = 5 + -2. Suppose 22 = 5*a - 88. Suppose 4*l = -0*l - 12, 0 = -5*n + 4*l + a. Solve -4*q - p = -u, -2*p - n = -q - p for q.
1
Let z be (2*25)/(-8 + (-2 - -12)). Solve -s + 0*s - 5 = 3*n, 0 = -2*n - 5*s - z for n.
0
Suppose 2*c = -4*r + 12, 0*r = 3*r - 3. Suppose c*u = -3*k + 21, -3*k = 2*k + 2*u - 49. Solve 5*y - 4 - k = 2*g, 17 = -3*y - 4*g for y.
1
Suppose 2*b = -4*k - 46, 2*b + 36 = -4*k - 2*b. Let g = k + 11. Let q be 1/(-1*g/27). Solve q = 5*d - 3*l, -3*d + 3*l = -0*l - 3 for d.
3
Let s be 4 - (0 + 2) - 21*1. Let i(g) = -g**3 - 18*g**2 + 19*g + 1. Let o be i(s). Solve 2*q + 17 = 5*a, -2 = -5*q - 2*a - o for q.
-1
Let k(c) = c**3 - 7*c**2 - 10*c + 31. Let n be k(8). Suppose -p - 4*t = -14, 0 = -t - 3*t + 4. Solve -2*d + 5*z = p, -3*d + 4*z - n = -0*d for d.
-5
Suppose -4*n + w = -182, -4*w = 3*n - 5*w - 137. Suppose -a + n = 8*a. Solve -5*c = 3*f + 3, 6*f = f + 4*c - a for f.
-1
Let o(z) be the first derivative of z**2/2 + 6*z + 7. Let n be o(-2). Solve -5*b + 2*d - 28 = 0, -d + n*d = 3*b + 24 for b.
-4
Suppose 93 = 3*i - 3*x - 0*x, 4*i = 3*x + 119. Suppose -l + 14 = l + 2*o, 4*l + 3*o = i. Solve 2*f = -4*d - 0*d + 8, -13 = -d + l*f for d.
3
Let m be 3/(-4) - 39/(-4). Suppose 4*i = -28 + 108. Let k be (3 - i/8)*0. Solve -v = -0*v + 5*r - m, r - 1 = k for v.
4
Suppose 0*v + 4*r = -2*v - 12, v - 2*r = 6. Solve g + 5*x - 1 = 0, v*g + x - 21 = 5*g for g.
-4
Let j(u) = -u. Let p(d) = -1. Let t(h) = -j(h) - 3*p(h). Let c be t(-2). Suppose c + 1 = k. Solve 2*i = 3*q - 4, -2*i - k*q + 16 = -0*q for i.
4
Suppose 0 = -16*i + 17*i - 5. Solve -2*p = 4*k, 2*k - k = i*p + 11 for k.
1
Let f = -10 - -9. Let l be f + 1 - 3*-4. Let r(p) = -3*p**3 - p**2 + p + 2. Let q be r(-2). Solve -3*d - l = -j, -j = -5*d - 5*j - q for d.
-4
Let o = 8 + -4. Let v(z) = 11*z + 596. Let p be v(-54). Solve s - 2 = p*q + 1, 5*s = -o*q + 29 for q.
1
Let y be 5*(440/(-25) + (-6)/(-10)). Let w = y + 88. Solve -3*j + w*g = 21, -3*j - g = -5*g + 26 for j.
-2
Suppose -5 + 21 = 8*g. Solve 5*w + d = -2, 5*w + 2*d + g = -2 for w.
0
Let t be -2*6/24 - (-65)/10. Solve 0 = -4*p + y - 4, -t = -p - 8*y + 10*y for p.
-2
Suppose n = 4 - 1. Suppose 9*t - i - 67 = 4*t, 45 = 3*t - n*i. Solve 3*w - w + 11 = b, -5*b + t = 4*w for b.
5
Let h = -57 - -68. Suppose -h*z + 27 = -28. Solve -4*a = 3*y - a, -z*y + 4*a = -45 for y.
5
Let v = -6 - -19. Let w = 34373 + -34370. Solve 0 = w*s - 15, -4*s = u - s - v for u.
-2
Let r be (3/(-4))/(2/(-184)). Suppose -r = -6*l + 3. Solve 12 = -5*p + 4*f, 4*f = 5*p - p + l for p.
0
Let t = -319 + 334. Suppose q - 4 + 0 = 0. Suppose t = k + q*k. Solve 3*c - 20 = -5*a, -4*a + 16 = k*c - c for c.
0
Let t(m) = 2*m + 34. Let x be t(-15). Suppose -r + 28 = -5*v, 3*v + 4 = 3*r + x*v. Solve 2*c + 18 = -r*g - 2*g, -22 = g + 5*c for g.
-2
Let v = 5 - 4. Let k be v/((-9)/(-8) - 1). Suppose -6 = -f - 3*b, 2*f - 3*b + 0*b - 3 = 0. Solve -6 = 2*l + f*r, 5*l = 4*r - 0 + k for l.
0
Let d(a) = a**3 + 14*a**2 - 13*a + 3. Let v be d(-15). Let i be v/18*4/(-3). Let m = 10 - 8. Solve 1 = i*b + u + 2, 2*b - m*u = 2 for b.
0
Let j(i) = -i**3 + 13*i**2 + 15*i - 9. Let c be j(14). Solve 3*u + 6 = 2*f, -2*f - 12 = c*u - 2 for u.
-2
Let y(i) = i - 33. Let l be y(13). Let g = -13 - l. Solve -g*w + 3*w - 11 = -3*z, 10 = -4*w + 2*z for w.
-2
Let h = 17 - 25. Let j be 6/8 - 90/h. Solve -3*w + 20 = -2*r - 0*r, -5*w - 2*r = -j for w.
4
Let o be (18/(-8))/((-1)/(-20)). Let k be (-100)/o + (-4)/18. Suppose 4 = k*y - 2. Solve 3*i - y*t = -2*i - 22, -i = t - 2 for i.
-2
Let c = -606 + 610. Solve -w = 2*y + 14, y - 3*y = -c*w - 6 for y.
-5
Let j(o) = o**3 + 39*o**2 + 36*o - 72. Let a be j(-38). Solve -3*w = a*t + 12, -t - 3*t = w + 12 for t.
-3
Let r(n) = -n - 2. Let m be r(-2). Suppose 5*t = 4*a + 53, 69 = -4*a + 81. Solve 0 = -2*c - 5*l - 3, 3*c = -m*c + l - t for c.
-4
Suppose -108*s + 701 = -163. Solve -13*u - 11 = -s*u - 4*a, 2*u + 8 = -2*a for u.
-3
Let f = 12 - 17. Let r = f + 9. Solve -4 = r*i + 4*g, 2*g - g = -5*i + 11 for i.
3
Let p = -1041 + 1046. Solve -4*k + 8 = -p*v - 0*v, 3 = 3*k - 3*v for k.
-3
Let h(p) = 6*p + 3. Let d be h(4). Suppose -4*f + 4*w - 24 = 0, 2*f + 33 = -2*f - 5*w. Let x = d + f. Solve q - 12 = 2*q - 4*c, 0 = 5*c - x for q.
4
Let l = -4 - -7. Suppose 5 = -2*x + 3, -3*w - 3*x = -l. Solve 3*a = 3*g - 0*g - 12, -g = 2*a + w for g.
2
Let r be (5 - 3)*(-8 - -3). Let a = -8 - r. Solve -4*h + 20 = 4*t, 2*t - 4*h + 20 = -a*t for t.
0
Let y(o) = 2*o - 9. Let q be y(6). Let k(x) = x**2 + 17*x + 19. Let t be k(-16). Solve 4*d - q*m - 4 = t*d, -2*d = 2*m - 8 for d.
4
Suppose -t - 3*i - 5 = -4, -2*t - 2*i + 2 = 0. Solve 4*n - 12 = 8*n - t*m, -n + m - 4 = 0 for n.
-2
Let v(x) = x**3 + 4*x**2 + 3*x. Let y be v(-3). Suppose 0*s + 5*s = y. Suppose 0 = 52*d - 94*d - 25*d + 201. Solve -d*b - 2*t = -s*t - 9, -4*b = -t - 23 for b.
5
Let g = -509 + 516. Solve -q - k + 5 = 0, k + g = -3*q + 6*q for q.
3
Let g(n) = 5*n + 3. Suppose -2*r = -8 - 4. Let o be g(r). Let u = o + -16. Solve 4*b = -4*s + 32, 4*s + 0*b = b + u for s.
5
Let o be (238/28)/(1/2). Solve 5*z - 16 = -f, -4*f - 3*z + o = 4 for f.
1
Let a = -290 - -293. Solve 5*j + k = 6, 2 + 4 = 3*j + a*k for j.
1
Suppose z - 6 = s, -3*z + 0*z + s + 8 = 0. Let r(k) = 2*k**3 - k**2 + k - 1. Let g be r(z). Solve -i + g = 4*i + 4*f, -4 = 4*f for i.
1
Let w(h) = -8*h - 12. Let n be w(9). Let p be n/(-35) - (-2)/(-5). Let f(o) = o - 5. Let d be f(10). Solve 2*l = 3*k + 7, -d*l + p*k + 22 = -k for l.
5
Let o(y) = -90*y + 180. Let p be o(2). Solve 4*z = a - 6*a - 5, z + a = p for z.
5
Let i be (-112 + 113)*(-23)/(-1). Solve -i = 5*q - 4*z, q + 3*z = -z + 5 for q.
-3
Let a = -120 - -125. Solve -2*s + a = 2*c - 3*s, 5 = -5*s for c.
2
Suppose -i = a - 3, 0 = 5*a - i - 2*i + 9. Suppose a = h - 3 + 4. Let t(m) = -3*m. Let q be t(h). Solve -q*r - d = -6*d - 11, -r + 5*d = -17 for r.
-3
Suppose -6*j = -11*j. Suppose j = -8*p + 3*p. Let l = p - -20. Solve 2*q - 28 = -2*y - 3*q, 5*q - l = 0 for y.
4
Let z(v) = v**3 - 5*v**2 - 3*v + 16. Let b be z(5). Suppose 2 = -h + 3*h - 2*p, 4*p + b = 3*h. Solve 0 = -2*m + 2*k - 2, 0*m + h*k - 8 = -2*m for m.
1
Let q be (40/(-30))/((-34)/(-18) - 2). Solve 0 = -b - 2*l - 8, -3*b + q = -2*b - 2*l for b.
2
Suppose 2*q = 5 + 13. Let y = q + -9. Let p be y/(2*4/8). Solve 0 = -5*g - p*v - v - 12, -v - 2 = 0 for g.
-2
Let q(k) = -k**2 + 25*k - 19. Let n be q(24). Suppose 5*z - n = 3*i, -2*z - 9 = 5*i - 42. Solve 0 = m, 7*m - z*m + 10 = -5*j for j.
-2
Let s be 187/44 + 5/(-20). Solve j + s = -5*q, 8*q = 3*q for j.
-4
Suppose 5*h + 11*h = 96. Solve -5*p = -h*y + 9*y + 3, -3*p - 1 = y for p.
0
Suppose -4*u - r = r - 42, -2*u = -3*r - 1. Let j(o) = -3*o**3 + 23*o**2 + 10*o - 10. Let l be j(u). Solve -2*c + 9 = -3*m, c +