x - 3, -5*f - y*x = 3 for f.
1
Let y = -2388 + 2390. Solve h + f = y*h + 6, -2*h = -4*f + 22 for h.
-1
Suppose -u + 5*h + 327 = 0, 0 = -3*u - 2*h + 1118 - 171. Let k = -311 + u. Solve -k*s + 4 = -4*a - 4*s, 4*a = -3*s + 6 for a.
0
Suppose 251 = 13*c + 35*c - 517. Solve 0 = 4*o - 5*a + c, 77*a - 72*a - 22 = -2*o for o.
1
Suppose -s + 2*s = -s. Suppose s = 5*t - 10, -3*h - 2*t = -2*h - 3. Let g(o) = -5*o. Let z be g(h). Solve -2*m - 3 - 19 = -4*p, -2*p - 5*m + z = 0 for p.
5
Let c be 0/(-1) + 1 + 2. Let p(u) = -12*u**3 + 97*u**2 + 103*u - 1. Let r be p(-1). Solve 2*a + 7 = -r*i, 3*a = -i - 2*i + c for a.
4
Suppose 2*i = -5*n + 6063, 7*n - 6075 = 2*n - 5*i. Suppose -1215*h = -n*h - 16. Solve -v - 4*b + 11 = 0, -h*b + 16 = -v + 3 for v.
-1
Let q be 3 + (-20)/6 + (-6111)/(-27). Let o = 232 - q. Solve 3*w - o = 2*s - 0*s, 5*w - 10 = -4*s for w.
2
Suppose 0 = 25*s - 41*s + 27*s - 33. Solve -3*p - 10 = 5*x, -x - 6 - s = 2*p for p.
-5
Let b = -9445 + 9447. Solve 4*h + 34 - 30 = -2*v, -18 = 4*v - b*h for v.
-4
Let o(b) = 2*b**2 + b - 1. Suppose -z = -4*z. Let p be (-2 - -6) + -3 + (z - -3). Let h be o(p). Solve 0 = -3*r + 5*a - h, -2*r - 3*a + 1 = -1 for r.
-5
Let b(l) = 7*l + 19. Let r be b(0). Suppose -18*g = -33*g + r*g. Solve 6*n - n + 4*j - 17 = g, 0 = j + 2 for n.
5
Suppose x - 4*a = -3*a, 6*a = 5*a. Solve -y + 5*o - 2*o + 6 = 0, -4*o - 8 = x for y.
0
Suppose -3*o = -5*b + 15, -5*b + 6 = o - 9. Suppose -3*z + 7*z + m - 11 = 0, 2*z + m - 7 = o. Solve 5*j = -4*t + z*t - 27, 0 = -5*t + j for t.
-1
Suppose 230 = -5*b - 3*u, 6*b - b - 4*u + 265 = 0. Let j = -47 - b. Suppose -4*f = -j*f - 10. Solve 2*x = 5*h, 9 + 12 = 2*h - f*x for h.
-2
Let w(b) = -3*b**2 - 9*b - 3. Let p be w(-5). Let a(y) = y**3 + 31*y**2 - 64*y + 69. Let t be a(p). Solve -2*s - 2*k = 3*s - 33, 5*s = t*k + 13 for s.
5
Let d be (5/(-30))/(2/(-24)). Let c be (-4 - d)/(9/(-6)). Solve -2*j + 3*t - c = 0, j - 10 = 6*j + 2*t for j.
-2
Suppose 0*w + 3*n = -w - 48, -137 = 4*w + n. Let s = w + 55. Solve 3*z - m + s = -5*m, 4*z = 3*m + 4 for z.
-2
Let f(v) = 2*v**3 - 8*v**2 + 6*v + 49. Let s be f(5). Solve 4*z = 3*n - s + 145, 0 = -2*n - 4*z - 4 for n.
-4
Let x = 185 - 182. Let l = -1 + x. Solve 0*v - 20 = -4*v - n, l*v - 10 = -4*n for v.
5
Let m(x) = -354*x - 3535. Let f be m(-10). Solve 5*b = -f, 0 = -2*j + 2*b - 4 + 8 for j.
1
Let d = 5 - 0. Suppose v - 4*a = 24, -3*v + d*a + 42 = -9. Let n be 38/9 - v/54. Solve h - 3 = 0, 29 = -5*p + 7*h - n*h for p.
-4
Let o(r) = -r - 1. Let p(s) = -5*s - 11. Let a be ((-1)/(-2))/(7/(-28)). Let l(m) = a*o(m) + p(m). Let i be l(-4). Solve 2*x + i = -4*u - 5, 24 = x - 5*u for x.
4
Suppose -164*u = -171*u - 343. Let k = 49 + u. Solve 4*a - 10 = 2*a, k = -4*x - 4*a + 40 for x.
5
Let z = -31 - -34. Let s(y) = 0 + 2 - 7*y**3 + 6*y**3 + 7*y**2 + 0. Let k be s(7). Solve -l - k = -1, g + 3*l = -z for g.
0
Let j(o) be the second derivative of 5*o**3/3 - 4*o**2 + 7*o + 3. Let c be j(1). Solve -c*z = w - 13, 0*w + w = -z + 9 for w.
5
Let f be 3 + (-3 + (-20)/(-12) - 13/(-3)). Solve 0 = 2*q - 6, 22*y + 2*q = 19*y - f for y.
-4
Suppose 61*b - 89 = 94. Solve -1 = r, 1 = -b*h + 5*h + 5*r for h.
3
Suppose 2 = 2*f + 2*y, 0*y - 4 = -2*f - 4*y. Solve -5*m + f*m - 5 = 2*z, 3*m + 3 = -4*z for z.
0
Suppose 0 = 26*v - 66 - 64. Suppose -w - 2*w - 2*b = -5, -v*w + 2*b + 19 = 0. Solve -4*f = 4*k + 4, -k - w*f = -4*k + 21 for k.
3
Let q be 4/(-17)*(-4590)/540. Solve -d - 28 = -n - 6*d, 0 = q*n + d - 11 for n.
3
Let v(d) = -6*d**2 + 69*d - 28. Let h be v(11). Solve 2*u + 6*j = 7*j + 9, -h*j = 2*u - 15 for u.
5
Suppose -318*z - 333*z = -635*z + 1984. Let j(u) = -6*u**2 - 4*u. Let n be j(-5). Let d = z - n. Solve -5*t = 4*x - 1 - 0, -t + d = -5*x for t.
1
Suppose -n - 1863 = -23*n - n. Solve -5*x = -15, -n*m + 83*m - 12 = -4*x for m.
0
Let u be -4 + (-1 - -13) - 2. Suppose 4*o + 3*s = 2, -2*s - 4 = 3*o - u. Solve 0*z = -3*p + o*z - 16, -3*z + 7 = 4*p for p.
-2
Let c be (6/(-4))/(-3) + (-1209)/6. Let i be c/(-1 + 4) + 1. Let w = -64 - i. Solve 0 = 2*s - 10, 4*s - 32 = -6*b + w*b for b.
3
Suppose -2*c = -5*s + 60, 75 + 9 = -5*c - 4*s. Let x be 217/49 - c/35. Solve 4*i = -x*f - 15, -f = i + 5 - 2 for f.
-3
Let c be (2 - 9/((-315)/710))*7. Let y = c + -152. Solve y*h + 3*t + 5 = 0, 0*t + 5*t - 30 = h for h.
-5
Let z(f) = f**2 + 17*f + 36. Let k be (15/(-9))/(5/45). Let c be z(k). Suppose c*p = 7 + 29. Solve 3*i = p*i + m - 11, -2*m - 18 = -2*i for i.
5
Let j = 25 + -18. Suppose -j + 1 = -3*q. Solve 5 = 2*c - 4*c + 5*s, -2 = q*s for c.
-5
Let r be ((1 + -1)*(-9)/(-27))/2. Suppose 56*g - 26*g - 90 = r. Solve 5*z + 4*l = 3*z - 10, 0 = 2*z - g*l + 3 for z.
-3
Suppose 9*b = 5*b + 24. Let x = b - 4. Let j = 3284 + -3282. Solve 5*n + 0*y - 3*y - 5 = 0, 0 = j*n + 5*y - x for n.
1
Let j(i) = 147*i + 3234. Let c be j(-22). Suppose 3*t = 2*t. Solve -3*u + 4*d + 6 = -c*u, u - 3*d - 2 = t for u.
2
Let m be (16 + -10)/(-2 - -2 - 2). Let f be 35 - ((-4)/(-2) - 1*m). Solve 3*c = 2*c + 3*h - 14, -3*c - f = -5*h for c.
-5
Let n(j) = 17*j - 60. Let w(r) = r**3 - 13*r**2 + r - 9. Let k be w(13). Let y be n(k). Solve 5 = 2*f + 3*x, -5*f - x = -y - 11 for f.
4
Suppose c = 16*c - 168*c - 123*c. Solve -4*v - 9 = -5*o, -4*o = -4*v - c*v - 8 for v.
-1
Let n = -6775 - -6777. Solve -4*p = -4*d - 20, -n*d = 2*p + 2*p - 2 for d.
-3
Suppose -6 = -2*o + 22. Let n = -12 + o. Suppose -5*b + 26 = -n*v, 4*v + 14 = 2. Solve 16 = k - b*g, -3*k = -2*g - 0*g + 2 for k.
-4
Let o be (-1)/(3 + 110/(-35)). Suppose o*h = h. Suppose 4*i - 8 = -h. Solve z + 3 = 4*y, i*z = 5*z + 3*y - 21 for z.
5
Suppose 153*w = -241 + 700. Solve 8*c = w*c - 2*v - 28, -4*c = -3*v + 4 for c.
-4
Suppose 32*c = 24*c + 8. Suppose 2*v = 2*w - 6, v - 4*v + w + c = 0. Solve -4*q + 7*q + 3*n - 9 = 0, 3*q = v*n - 6 for q.
0
Let n(b) = -b**2 - 52*b - 273. Let a be n(-46). Solve -4*w = -2*y + 2, a*y - 32*w = -29*w for y.
-1
Let y(d) = 7*d**3 + 467*d**2 - 138*d - 265. Let u be y(-67). Solve -f + 9 = j + 3*j, j + 6 = -u*f for j.
3
Suppose 226*a + 1012 = 230*a. Suppose 3*k - 262 = -a. Solve u - k*p = 0, 0 = -4*u - 3*p + 5 + 10 for u.
3
Suppose 0 = -9*i + 5*i - 832. Let u = -3 - -1. Let w be u/13 - 1696/i. Solve v = 3*l + w, 2*l + 4*v - 3*v = -12 for l.
-4
Let m(o) = 4*o**2 + 66*o + 144. Let j be m(-14). Solve 3*k = 2*a + 6, -5*k = -j*k - 4*a - 2 for k.
2
Let p be ((-54)/(-180)*-5)/((1/10)/(-1)). Solve 3*g + 2*g = 4*k + p, 0 = -3*k for g.
3
Let u(f) = -2*f**2 + 246*f + 1282. Let k be u(-5). Solve 0 = t - 3*z + 3, -6*t - k*z = -t + 15 for t.
-3
Suppose 0 = 29*t - 84*t + 156 + 9. Solve -5*s = -3*v + 15, -16*v - 20 = -20*v - t*s for v.
5
Let x be 4/((-16)/7)*(22 + -26). Suppose x*h = 5*h - p + 3, -5*p = 25. Solve h*u + 26 = 5*k, -4*u = k + 5 + 9 for k.
2
Let x be (-14)/(-4)*17/(833/42). Suppose -2*h + x*m + 6 = h, -2*m = 2*h + 4. Solve h = -3*v - 11 + 2, 3*l = 5*v + 24 for l.
3
Let a = -31943 + 31946. Solve 5*c - 3 = -3*q - 7, -a*c - 3*q = 0 for c.
-2
Let n = -10 + -21. Let c = n + 79. Suppose -4*u = 4 - c. Solve -4*d + 6 = -2*l - 10, 0 = 4*l - d + u for l.
-2
Let q(w) = 56*w - 664. Let v be q(12). Solve -3*d = -4*c + v*c - 4, -c + 3*d + 16 = 0 for c.
4
Let y(k) = -140*k + 5. Let i be y(0). Solve -4 = -d, -4*x = -10*d + i*d for x.
5
Let x be (-1371)/(-9) - (3 - 10/6). Let v = -148 + x. Solve 5*u = v*a - 10, -3*u = -2*a + 6*a - 23 for a.
5
Let v(k) = 6*k**3 + k**2 + k + 2. Let x be v(2). Suppose -2*j - x = -6*j. Suppose -12*h + j*h = 10. Solve -h*o = -5*m, o = 3*m - 0*m for m.
0
Let u(b) = -b**3 - 8*b**2 - 6*b + 10. Let y = 113 + -120. Let j be u(y). Solve -3*x = -4*p + 3, -x - j = -2*p - 2 for x.
-1
Suppose 2*w = -2*x - 916, -3*x + 8*x + 2272 = 4*w. Let y be (285/x)/(2/(-16)). Solve -5*q - y*c = 35, 0*c = -4*c - 16 for q.
-3
Let d(w) = w - 2*w - 4*w + w**3 + 2 + 3*w. Let k be d(2). Let l = -8 - -11. Solve -l*j + k = 3*i, 0*j - 5*i = j - 10 for j.
0
Let c(n) = -n + 8*n**2 + 4*n**2 + n**3 + 2*n - 2*n - 9. Let g be c(-12). Suppose 4*v + 12 = -2*u, -v - 5 = -g*u - 2. Solve 5*y + 1 = -u*b - b, 5*b = -5 for y.
0
Suppose -19*j - 3*m + 67 = -15*j, -j + 31 = -4*m. Solve -v - 4 = 5*s + 3, 0 = 2*s - 5*v + j for s.
-2
Suppose -575 = -273*r + 790. Solve -r*o = 3*s - o + 1, 0 = -5*s - 2*o + 3 for s.
1
Suppose 25 = 5*c + 5. Suppose 21 = 7*m, -4*u - 11*m + 6*m + 40 = u. Solve -u*d 