ve g*j = -u - 4, -w*j - 8 = -3*u + u for u.
2
Let o be 4/6 + (-3515)/(-285). Solve -d - o = 21*t - 17*t, 11 = d - 4*t for d.
-1
Suppose 8*j + 2 - 18 = 0. Let k = -48 + -2. Let b be (-5)/(-2)*(-120)/k. Solve q + b = -q - j*i, -5*q - 25 = -5*i for q.
-4
Let c = -48805 + 48805. Solve c = -2*r - 11*p + 16*p + 15, 2*r - 14 = 4*p for r.
5
Suppose 0 = -3*j - 0*j + 6. Let h be (30/(-25))/(-2*(-1)/10). Let y(b) = 6*b + 42. Let p be y(h). Solve 0 = -4*d - l + 16, -2*d = -j*l + 3*l - p for d.
5
Let z be (-2 + (0 - 1))*1. Let t be -1*((-1 - z) + -6). Suppose -128*j = -84*j - 264. Solve -2*b + j = 6*o - 2*o, -t*b - 21 = -3*o for b.
-3
Let v(s) = 3*s - 8. Suppose 0 = -3*a + 23 + 4. Let u be v(a). Suppose 0 = 16*w - u*w + 15. Solve 5*i - 2*o = 2*o + w, i + 3*o = -18 for i.
-3
Suppose -206*g + 398*g = 384. Solve -4*l = g*c + 46 - 20, -16 = 5*l - 3*c for l.
-5
Let r = 19760 - 19599. Solve -166 = w - r, 3*y = 3*w + 6 for y.
-3
Let z(d) = -d**2 - 8*d - 3. Let g be z(-6). Let o(f) = -g + 8*f - f - f - f**2 + f. Let m be o(4). Solve m*c = -4*h, c = -4*h - 0*h for c.
0
Suppose 0 = -v - 2*l + 14, 21 = 2*v + l + 2. Let b be 3*(-3 + -4 + v). Solve 2*s = -3*n - 3, -s + n = b*s + 13 for s.
-3
Let t = 729 + -257. Let w be ((-3)/8)/(-3) + (-59)/t. Solve 5*r + 6 + 3 = 2*x, w = 2*r + x for r.
-1
Let o(i) = 7*i - 2*i**2 - 2*i + 5*i**2 - 2*i**2 - 10. Let g be (-99)/15 - (-6)/(-15). Let k be o(g). Solve 0 = m - k*d + 7, -d = 5*m - 2*d + 16 for m.
-3
Let u = -159 + 164. Let z(i) = -i + 23. Let t be z(u). Let d = -13 + 19. Solve -d + t = -2*n + v, 5*n + 29 = 2*v for n.
-5
Let b = 6 + -4. Suppose -8*x + 3*x = -15. Let s(j) = -j**3 + 7*j**2 - 4*j - 15. Let y be s(5). Solve 0 = -2*q - b*n, -q + x*n = -n + y for q.
-3
Suppose 16*t - 85 = 267. Suppose -8*k + 19*k - t = 0. Solve 0*f - 4*f - 10 = -3*p, k*f = 3*p - 2 for p.
-2
Let s(k) = -2*k + 8. Let x be s(-6). Suppose 19*p - 9*p = x. Solve 3*a + p*h = 6, 2*h + 2 = -0*a + a for a.
2
Let c be 5 + 1*(-2 + 0). Let l(t) = t**3 - 16*t**2 + 74*t - 204. Let b be l(11). Solve 4*k + v + 8 = 0, -b*k - 5*v - 28 = -c for k.
-1
Suppose 4*y + 226 = 5*t, 5*t - 4*y - 230 = y. Let k = t - 7. Solve 5*j - k = -5*h, 5*h = -j + 2*j + 11 for h.
3
Let l = -761 - -766. Suppose 0 = -5*n - 4*i + 34, l*n + i = n + 25. Solve -5*q - 2*c + 9 + 5 = 0, 2*c = -3*q + n for q.
4
Let k = -2317 + 2374. Solve 5*g + 2*h + k = 82, 20 = 4*g - 2*h for g.
5
Let p = 111 + -103. Suppose -8*d + a + 15 = -4*d, p = 3*d - 4*a. Solve 4 = -4*f - l, -d*f - 1 = -l + 3 for f.
-1
Suppose 2*i - 31 + 7 = -t, 2*i = -4*t + 24. Let x be (4/i + 1)/(4/30). Let c be (-20)/25*(-25)/x. Solve -c*a - 2*a - 24 = 2*d, 4 = -5*d + 4*a for d.
-4
Let n be (28 + 3 - -3)*(-9)/(-6). Let s = n - 34. Suppose -4*l - 27 = -g, 2*g - 2*l = 37 + s. Solve -g = -4*z - u + 6*u, 5*z + 2*u = 9 for z.
3
Suppose -x - 887 = -892. Solve x*c - 2*p = 0, 2*p = 3*c - 0*c + 4 for c.
2
Let l(k) be the first derivative of -2*k**2 + 202*k + 202. Let g be l(47). Solve -u + 0*u - 5*o - 22 = 0, u + g = -3*o for u.
-2
Let w(v) = -42 + v**2 - 6*v + 3*v + 17. Let u be w(-4). Solve -g = 2*i + u, 4*i + 11 = 4*g - 1 for i.
-2
Let z(v) be the second derivative of v**4/6 - 19*v**3/6 - 7*v**2/2 + 7*v + 1. Let i be z(10). Solve 5*d = 3*b - 23, 0 = d + i*d + 3*b + 13 for d.
-4
Let c(n) = 720*n**2 - 4311*n + 7. Let u be c(6). Solve -3*l - u*o = -63*o, -4*o = -l - 10 for l.
2
Let a be ((-1)/5*-6)/(3/(-370)). Let r = -148 - a. Solve 2*o + 3*x + 4 = x, o - x - 4 = r for o.
1
Suppose 5*h = -3*c + 9, 240*c - 243*c - 3*h + 21 = 0. Solve -3*t - 6*b - 15 = 0, -11*t = -c*t - 5*b - 12 for t.
-1
Let p(d) be the third derivative of -d**5/30 + 13*d**4/8 + 11*d**3/3 + 4*d**2 + 8. Let i be p(20). Solve 6*a + 14 = i*a - 3*g, 5*g - 5 = -a for a.
-5
Let z(l) = -l**3 + 13*l**2 + 3*l - 3. Let d(o) = -o**2 - 10*o - 8. Let g be d(-7). Let w be z(g). Let b = -20 + w. Solve 0*p = 3*m + p - 16, 0 = -4*p + b for m.
4
Let v(p) = -p + 23. Let r be (5 - 270/(-4)) + (-1)/2. Let b be 192/r - -1*(-2)/(-6). Let j be v(b). Solve -5*s = -3*w - 8, 2*w - 2*s = -5*s + j for w.
4
Suppose 9*h = 4*h + 20. Let g(q) = q**2 - 17*q - 56. Let i be g(-3). Solve -4*t + i = 0, -3*t = -h*z + 5 + 4 for z.
3
Let w = 30820 - 30812. Solve 0 = 3*u - h + 11, w*h + 37 = -5*u + 5*h for u.
-5
Let m be (-4)/30 - (-47)/15. Let d(x) = x**m + 18 + 26 - 12*x + 0*x**3 - 11 + 13*x**2. Let j be d(-14). Solve 3*r - 4*r = -j*w + 20, -w = 5*r + 22 for w.
3
Let s be (15/30)/(2/12*1). Solve 0 = a + b - 5, 4*b = 3*a + s*b + 1 for a.
1
Let x(b) = -2*b + 71. Let t = -168 + 203. Let f be x(t). Solve r + f = o, -4*r = o - 5 - 6 for r.
2
Let v = 7281 - 7256. Solve -7 = 4*m + 3*j, 3*j + v = -20*m + 25*m for m.
2
Let o(l) = 113*l - 2709. Let x be o(24). Solve -x*j - 8 = 5*m, -2*m + 26*j - 25*j - 12 = 0 for m.
-4
Let g be 2*6/(48/20). Suppose 9*r - 10 = 8. Suppose 3*h - r*q = 113, 3*h = q - 7 + 125. Solve -g*b = -4*t - h, -7 = b - t + 4*t for b.
5
Let h be (65/15 + -4)*3 - 3. Let u = 5 + h. Solve -u*y - 1 = 3*l + 5, 0 = -2*l + 4 for y.
-4
Let w be (-2)/(-20) + (-1062)/20. Suppose 116 = 3*p - 49. Let s = w + p. Solve 0*t - 2*t = 3*y - s, 2*t - 16 = 4*y for y.
-2
Let v(c) = 7*c**2 + c + 2. Let t be v(2). Suppose -100*x - t = -104*x. Let n = -4 + x. Solve -2*s = 4*a + n, -3*s = -a - 0*a - 8 for a.
-2
Let b = -205 + 205. Let a(r) = -10*r**3 - 2*r + 1. Let w be a(-2). Suppose 5*u - w = -k, -4*u + 68 = -3*k + 6*k. Solve 3*h + 0*h = -5*p, b = p + 4*h - u for p.
-3
Let n = -31 - -31. Let d be 4/((2/(-3))/(-2)). Let q be (16/4 - 2)/(-6*(-5)/75). Solve n = -q*o + 2*z - 11, -d = 2*o + 3*z - 0*z for o.
-3
Suppose -3*t + 131 = 4*l + 113, -3*t = l - 18. Solve -3*j + 10 = 4*v, 4*v + l*j - 6 = -j for v.
1
Let k = 10129 - 10127. Solve 5*c = -3*s - 19 + 16, -k*s - 2 = 0 for c.
0
Suppose -4*a - 3*f + 12 = 0, 192*a - f + 4 = 195*a. Suppose -68 + 8 = -3*t. Solve 5*w + v - t = 0, 2*w + w - 3*v - 12 = a for w.
4
Suppose 0*o + 25 = 5*o, 43 = -3*g + 5*o. Let i(k) = 6*k + 40. Let s be i(g). Solve s*c + 4 = 0, 4*v - 10 = v + c for v.
3
Suppose 16*n - 56 = -8. Solve 3*h - 9 = 0, -2*s = -3*s + n*h - 5 for s.
4
Suppose -7*a + 462 = 5*c - 4*a, -5*c + 438 = -3*a. Suppose 96*n - c*n = 0. Solve n = 4*k - 12, -4*i + 5*k = -7*i + 15 for i.
0
Let u be 8/(15/(-390)*-8). Solve -25*j - 5*q = -23*j + u, -4*j + 3*q = -26 for j.
2
Let j = 77 + -15. Let t be j/4 - 4/8. Let u = t - 10. Solve -5 = -n + y - 2, 0 = -5*n - u*y - 5 for n.
1
Suppose 2*w = -2*w + 4. Suppose 11*f - 35*f + 336 = 0. Let x = f + w. Solve -2*m = 3*u + 6, 4*u + 5*m + x = -0 for u.
0
Let z = -32222 - -32238. Solve y - 4*w = -z, -6*w + 20 = -w for y.
0
Let v(f) = -135*f + 814. Let u be v(6). Solve -14*m + 9*m + u*l = 10, -10 = 5*m + l for m.
-2
Suppose -67*h + 18*h = 224*h. Solve -5*i + 3 = -3*d - 1, -d + 2*i - 2 = h for d.
2
Let w(f) = -f + 4. Let s(m) = -2*m + 91. Let r(g) = -s(g) + 4*w(g). Let q be r(-39). Solve 4*c = -q*b - 7, 7*b + 3*c = 4*b - 6 for b.
-1
Let t = 3815 + -3813. Solve 0 = t*r - 2*j + 3*j + 7, -17 = 5*r + 3*j for r.
-4
Suppose 2*b - 12 = 442*l - 438*l, 2*b - 11 = 3*l. Solve 10*c = -b*f + 7*c + 17, 0 = 5*f + 2*c - 23 for f.
5
Let c = 391 - 384. Suppose m = -2*j + 8, j - c*m + 14 = -3*m. Let a = 5 + 0. Solve 0*l - j*l = -3*h + a, -5*l + 3*h = 8 for l.
-1
Let x = 3 + 1. Suppose 39*v = 15*v - 132*v + 624. Solve 3*p = -y - p + 15, -v*y - 2*p + x = 0 for y.
-1
Suppose -9*q + 329 = 284. Suppose 0 = -5*h - t + 15, -2*h + t = -3*h - 1. Solve 6*y - 15 = q*g + y, 0 = 3*g - h*y + 7 for g.
-5
Let x(f) = f**3 + 7*f**2 - 16*f - 7. Let a be x(-7). Suppose 203 = 11*v - a. Solve 0 = q + s - 1, 2*s - 6*s = -4*q + v for q.
4
Suppose -3*l = 2*b - 301, 4*l + 652 = 21*b - 17*b. Let f = -154 + b. Solve x - f*n + 24 = 0, -3*n + 0*n + 15 = 0 for x.
-4
Let i(d) = -d**3 - 9*d**2 - 11*d - 22. Suppose -5*r + 648 = 688. Let a be i(r). Solve 3*q + 3 = 3*w, -a*w - 6 = q + 7 for w.
-4
Suppose -r = -7*r + 12. Let v be 6 - 5 - (-1 - r). Suppose -24 = -3*b + 3*h, 3*h = -4*b + 8 + 3. Solve 0 = v*j - 4*n - 4, 5*j + b*n - 17 = 18 for j.
4
Let s be (-1 - (-9)/(-1)) + 6/3. Let o(l) = 2*l + 38. Let z be o(s). Solve 2*u - v - 2 = 3*u, -5*v = -u + z for u.
2
Let u = -8956 - -8967. Solve -3*b = -a + u, -a = -3*b - 3*a - 5 for b.
-3
Let x be 11*(-2)/(-5) + (-42)/105. Solve -3*y - t = 0, 0 = -x*y + 5*t - 10*t - 11 for y.
1
Su