 - 15, -5*w - g*i - 6 = 0 for w.
0
Let w(p) = -p**2 + 6*p + 12. Let l be w(8). Let u be 3 - 0/(9/(-3) - l). Solve -3*x + 0*t = -2*t, -3*t = u*x - 15 for x.
2
Let k be 5/3 - 2/(-6). Let j be 16/(-2)*(-3)/12. Let s be (-2 - (2 + -6)) + j. Solve -5*a - 25 = 4*f, 0 = -s*a - k*f - f - 19 for a.
-1
Let h = -64 + 25. Let l = 41 + h. Solve 7 = 2*c - 4*p + 25, -l*c - 12 = -2*p for c.
-3
Let j(r) = -2*r - 24. Let g(x) = -x**3 + x**2 + 3*x + 4. Let a be g(4). Let b = a + 19. Let c be j(b). Solve -2*k = -4*h, 3*h - c = 4*k + 3 for k.
-2
Let d = 358 - 350. Solve -c - i = 2*i + 8, -3*c = i + d for c.
-2
Let d(s) = -2*s. Let h(u) be the first derivative of u**4/4 + u**2/2 + u + 1. Let a be h(-1). Let x be d(a). Solve x*c - 10 = -3*t, -2*c - 4*t - t = -14 for c.
2
Suppose 5*h + 73 = 13. Let o be (-126)/12*(h/9)/1. Solve -8*v + o = u - 5*v, -v = -2*u + 7 for u.
5
Suppose 0 = -y - b + 14, -5*b + 16 + 21 = 2*y. Let i = y + -25. Let n be 4/i + 111/21. Solve p - n*x = -16, -2*p + 2*x = 11 - 3 for p.
-1
Suppose -t + 5*t - 80 = 0. Let m(c) = c + 14. Let p be (-2 + -20)/2 - -1. Let h be m(p). Solve 4*w + h*g = -w + t, 0 = -w - 5*g + 25 for w.
0
Suppose -109*o + 2 = -108*o. Solve o*v - 22 = -v - 5*w, 2*v + 17 = 3*w for v.
-1
Suppose k + 10 = 2*q, -2*q - 3*q + 2*k = -25. Solve 0 = -3*x + v, q*x + v = -3*v + 17 for x.
1
Let v be (465/(-20))/(15/(-20)). Suppose 4*s - v = -15. Solve -w - s*w - 3*z - 12 = 0, -4 = -4*z for w.
-3
Suppose 21*q = 9*q + 420. Solve 5*i - 2*y - 14 = 0, -5*i = y + 4*y - q for i.
4
Let g = -50 + 69. Solve g = 2*n - 4*r + 3, 3*n = 3*r + 15 for n.
2
Let p be 3 - (0 - 1)*1. Let u be (p/30)/(-1) + (-1128)/(-360). Solve u*h + 4*y + 32 = 0, -h + y + 4 = 3 for h.
-4
Let s be (3 - 5)/((-2)/4). Let u(a) = 47 + 31*a - 35*a + 7. Let i be u(13). Solve -w = -i*m - 7, 4*m = 2*m - s*w - 12 for m.
-4
Let z = 234 + -229. Solve z*s + 18*g + 20 = 13*g, g = -4 for s.
0
Suppose s = -g + 23, 5*g + 12 = 3*s - 33. Solve 4*o = -5*d - 16, -o + 4*d = 4*o + s for o.
-4
Let o(s) = 2*s**2 - 3*s + 1. Let h be o(2). Suppose -t = -h*t + 4. Let c = -73 - -78. Solve -t*m = -4*l + 1 - 7, -3*l - c = -m for m.
-1
Let c be (-1 - (-4)/16)*152. Let h = c + 137. Solve 7 = -2*q + 5*q + t, -3*q = 5*t - h for q.
1
Suppose 0 = 11*u + 9*u - 100. Solve 3*f + u*r = -0*f + 29, f + 4*r - 19 = 0 for f.
3
Suppose -5*b - 6 = -4*w, 4*w - 8*w + 4 = -6*b. Solve 5*m = b*q + 10, 5*m + 2*q = 3*q + 5 for m.
0
Let y(f) = -15*f + 128. Let h be y(8). Solve 4 + h = -2*u - 5*x, -5*x = 5*u for u.
4
Let b be (-400)/(-70) - (-2)/7. Let x be b - (-3)/((-3)/4). Solve x*r = -3*n - 3*r + 37, -14 = -n - 2*r for n.
4
Let z be (5 - -143)/(0/1 - -2). Suppose -3*j - j + 3*g = -z, 0 = 4*j + 4*g - 88. Solve -4*u + 2*u - 25 = 5*k, 0 = 4*k + 3*u + j for k.
-5
Suppose -2*x = -2 - 4. Let z(h) = -2*h**3 - 3*h**2 - h - 1. Let a = -21 - -19. Let r be z(a). Solve x*d = -r*i - 10, -4 = 3*i - 5*d - 32 for i.
1
Suppose -9*f + 14 = -7*f. Suppose -f*z + z = -24. Solve 3*k = -p - 17, 2 = -z*k - 18 for p.
-2
Suppose -u + 4 = 1. Suppose 0 = u*n + 3, -4*h + 0 + 19 = n. Suppose -2 = 2*i - 10. Solve -2*s + 3*f - 5 = 0, -h = -3*f + i for s.
2
Suppose 0*k - 18 = -k. Suppose -3*b - 3 + k = 0. Let d(z) = z**2 - 3*z - 1. Let h be d(4). Solve -h*g - 4*c + 12 = g, 3*g - 13 = -b*c for g.
1
Let j(k) = -k**3 + 19*k**2 + 20*k + 5. Let v(f) = 3*f - 10. Let n be v(10). Let b be j(n). Solve -4*c + 0 + 21 = -5*p, -b*p + 7 = 3*c for c.
4
Let m be (-1)/3 + (-13)/(-3). Suppose -2*o = 20*o - 110. Solve o*w = -m*j - 32, 3 = 3*w - 6*j + j for w.
-4
Suppose 2*j = 5*t - 0*j - 33, -4*j - 6 = 2*t. Let a = 560 + -557. Solve -a*x - t*l = -3*l + 11, l = x + 7 for x.
-5
Let t(b) = b + 11. Let f be t(-8). Suppose -2 = 2*k - 6. Suppose k*w - f = 1. Solve 0 = 3*c - 3*l + 4*l + 5, -2*c - w*l + 2 = 0 for c.
-3
Let l(g) = -g**2 - 14*g - 42. Let t be l(-5). Solve 0 = 5*i - t*z, i + i = 3*z for i.
0
Let j = 1676 + -1672. Solve -11 = -m - j*c, -3*m = -5*c + 6*c - 11 for m.
3
Let h be (1 + -4)/(0 + (-3)/35). Let c = -29 + h. Suppose 2*t - 1 = 5. Solve 3*q + t*v + c = 0, 0*v - 26 = -2*q + 4*v for q.
3
Let g = 34 + -19. Let m be ((-24)/g)/(4/(-10)). Suppose -42 = -3*h + 24. Solve h = 5*z + o, 2*z - 3*z - 3*o - m = 0 for z.
5
Let t be (-10)/(-3) + 10/15. Suppose 430 = 5*s + 415. Solve -g + 2*i = -0 - 1, 0 = -3*g - t*i + s for g.
1
Let q(i) = 4*i**2 + 2*i + 1. Let g be q(-1). Suppose s = 1 + g. Suppose 4*y + s = 8*y. Solve 0 = -2*p - 5*o - 21, 0 = -4*p + 3*o - y - 2 for p.
-3
Suppose 4*u + 178 + 346 = 0. Let q = u + 154. Solve 5*z + 6 = -2*k + 21, -3*z = 4*k - q for z.
1
Let f = 6 - 9. Let n be ((5 + -2)*-2)/f. Let i be (-13 - 0)*(-1)/1. Solve n*t - i = -v, -5*v = 6*t - 4*t - 25 for t.
5
Let m(w) = 6*w**2 + w. Let l be m(-1). Let k = -43 + 45. Suppose -4*x + 2*n = -2, l = -k*x - n + 4*n. Solve -r - 5 = -x*y, -r + 2*r = -4*y + 7 for y.
2
Suppose 19*m = 13*m + 24. Solve 2*p = -4*t + 2, t + m*p = p + 8 for t.
-1
Suppose -27 = -3*t + 30. Solve -3*a - t = -5*b, -3*b + b - a + 12 = 0 for b.
5
Suppose -2*v - 32 = -a, -5*a = -5*v - 46 - 44. Let k be 4/6*(-7)/(v/6). Solve -2*m - 13 = j, m = -2*m + 2*j - k for m.
-4
Suppose 5 = -3*z + 17. Suppose s + 2*f + 5 = 0, -z*s = -f + 6*f + 8. Solve 3*n = -4*o - o - 9, s*n - 9 = o for o.
-3
Let t = -872 - -886. Solve -2*i - 3*h + t = 0, 2*h = -3*h + 20 for i.
1
Suppose 8*s = 32 + 8. Solve -3*l - 6 = 0, 0*k - 15 = 5*k - s*l for k.
-5
Let g = -25 - -27. Suppose -w = w - 84. Suppose -w = -2*d - 4*n, 0 = -3*d - g*n + 32 + 43. Solve 0*s - y = -5*s + d, -s + 3 = y for s.
5
Let j(c) = -c**2 - 2*c + 4. Let n = 29 - 29. Let w be j(n). Solve 0*u - u = -4*a + 17, w*u + 5 = -5*a for a.
3
Let r(h) = -72*h - 3. Let n be r(-1). Let b = -44 + n. Solve 0 = 8*x - 3*x - 4*f + b, -f = 0 for x.
-5
Let l = 11 - 2. Suppose l*x + 70 = 14*x. Suppose -9*v = -x*v + 120. Solve 3*s - 6 = -5*y, 2*y - v = -3*y + 3*s for y.
3
Suppose 0 = -8*d - 149 + 173. Solve d*s - 27 = -5*y, -2*y + 12 = 2*y for s.
4
Let g be -94 + (4/(-6) - (-40)/(-30)). Let b = 101 + g. Solve -w + 2*w = -b*r, 3*r = -4*w for w.
0
Suppose -3*d - 2*h + 5 = 0, 2*d - 7*d + 4*h + 23 = 0. Suppose 0 = d*l - 2*z, 0 = -5*l + l - 5*z. Solve 0 = 2*w + 2*u, l = -3*u + 2*u - 1 for w.
1
Let z(h) = h**3 + 12*h**2 + 2*h + 24. Let o be z(-12). Solve -4*u = -4*x + 16, 7 + o = 2*x - u for x.
3
Let x(f) = f + 5. Let k be (-3)/6 + 33/6. Let r = k - 5. Let p be x(r). Solve -12 = 5*w - j - 5, 3*w + p*j + 21 = 0 for w.
-2
Let d be ((-450)/375)/(3/(-20)). Solve 4*u + 3*z + 3 = 1, u - d = -5*z for u.
-2
Suppose 14 = o - 5*h - 10, -3*h = 3*o - 36. Solve i - 3*a - 22 = -8*a, -2*i = 4*a - o for i.
-3
Let p(h) = 2*h**2 - 35*h + 23. Let d be p(17). Solve 3*q = -5*w - 10, 0 = -2*q - w + 4*w + d for q.
0
Let b = -19 + 24. Let a be (b - -1)/(6/(-4)). Let x = 0 - a. Solve -3*t = -x*k + k - 21, -k + 13 = 3*t for t.
5
Let u(k) be the first derivative of k**2 + 9*k + 33. Let i be u(3). Solve 5*h + 3*m + i = -2*m, 4*m - 6 = 2*h for h.
-3
Let f(b) = 13*b - 608. Let i be f(47). Solve -i*k - 6 = 3*n, -4*n + 4*k + 27 = k for n.
3
Suppose 2*x = 3*u + 6, 10*x - 5*u - 15 = 5*x. Solve v - 4 = -3*v, -l = x*v - 7 for l.
4
Let k be (-90)/40*(-16)/6. Suppose 0 = -k*z + z + 25. Suppose 0 = z*x + x. Solve -r + 6 = -c, -c - 3*r + 4 + 2 = x for c.
-3
Let o(q) = 2*q**2 + 3. Let t be o(-1). Solve -4*r - 4*z = -16, -r - 4*r + t*z - 20 = 0 for r.
0
Suppose 2*k = 4*k - 6. Suppose y - 2*i = 2*i + 14, -3*y = -k*i - 24. Let f be 9/y*(-2 - -4). Solve 2*r = 2*l - f*r - 26, -4*r - 25 = -3*l for l.
3
Let x(w) = 12*w**3 + w**2 - 1. Let h be x(-1). Let q = h + 14. Let p be 0*(-4)/8*q. Solve -4*y + 4*d - 16 = p, d - 8 = -y - d for y.
0
Let b be 7 + 21/28*-4. Solve 16 = -b*f, f + 8 = -5*v - f for v.
0
Let j be 6/9 - 17/3. Let a = j - -18. Let i = 18 - a. Solve q + 4*f - i = 3, -5*q - 11 = 3*f for q.
-4
Let d(l) = 8*l + 45. Let t(x) = 3*x + 15. Let b(y) = 4*d(y) - 11*t(y). Let a be b(13). Solve 2*m - 4*g + 8 = 0, 2*m = -7*g + a*g + 28 for m.
4
Suppose 2*a + 8 = 4*a. Let b be 22/a*(84/(-3))/(-7). Solve -s - 5 = 3*d + 4*s, -2*d + 3*s + b = 0 for d.
5
Let q(b) = -b**2 - 61*b - 853. Let o be q(-38). Let z = -2 - -7. Solve 0 = 4*i + z*v + o, 0 = 2*v - 5 + 15 for i.
1
Suppose -34 = 4*b - 58. Suppose -21 - 3 = -b*q. Suppose 5 + 18 = 5*o - z, -2*o - 2*z = -2. Solve d - q*w + 7 = -2*w, 0 = 5*d