 -20 = -51*n + 41*n. Solve -t = 5*u + g, n*t + 3*u = u for t.
1
Let p(x) be the second derivative of x**4/12 - 3*x**3/2 + 9*x**2/2 + 4*x. Suppose 3*i - 33 + 6 = 0. Let b be p(i). Solve 4*k = 5*j - 17, k + k - b = -j for k.
2
Let h(q) = q + 3. Let k(u) = 2*u + 7. Let j(i) = -9*h(i) + 4*k(i). Let s be j(-4). Solve 5*d = 2*p - 4 - 15, 4*d + 5 = s*p for p.
-3
Suppose 2*c = 3*o - 18, -2*o + o - c = -11. Let i = 47 - 42. Solve y - i*a - 4 = 6, -4*a - o = 4*y for y.
0
Let c = -20 - -22. Let j be (-13)/39 - c/(-6). Solve -4*z = 16, -4*a + j*a - 4 = 2*z for a.
1
Let c(h) be the third derivative of h**6/120 - h**5/20 + h**4/24 + h**3/6 - 3*h**2 + h. Let a be c(3). Solve 4*x - 5*v = 22, 3*v + 14 + a = 4*x for x.
3
Let w = 17 + -7. Let f(v) = -v**2 + 6*v + 52. Let o be f(w). Solve -3*x - 5*z = 2*x - 5, 2*z + o = 5*x for x.
2
Let o(d) = -d**3 - d**2 + d - 3. Let j be (48/(-32))/(1/2). Let v be o(j). Solve 4*r + 0*r = -2*m + v, 5*m = -r - 6 for m.
-2
Let y(u) = u**3 - 7*u**2 + 6*u + 3. Let d be y(6). Suppose 6*z - 28 = 2*z - d*x, 4 = x. Solve 5*s - 4*m = -9*m + 40, z*s + m = 17 for s.
3
Let r(z) = z**2 - 26*z + 51. Let x(a) = 4*a + 72. Let h be x(-12). Let c be r(h). Solve 4*g = -2*v - 2, 5*v + 4*g + 14 - c = 0 for v.
-3
Let w(a) = -30*a + 126. Let y be w(4). Solve 2*q = 0, -y - 4 = -5*j - 4*q for j.
2
Suppose -4*m = -5*f + 20, -3*f + 15 = -5*f - 3*m. Solve 2*j - 4*q + 2 = -f*q, 0 = -5*q - 10 for j.
-5
Suppose -3*z = -a - 3, 4*z + 5*a = 7*z + 9. Solve 8 = 4*r - 3*y, -2*r + 0*r - z = -3*y for r.
5
Suppose 23*c + r = 18*c + 42, r = 4*c - 30. Solve -o - c = -3*o - p, -2*p = -2*o + 2 for o.
3
Let c be (9 - 230/30) + (-8)/(-12). Solve 7 = -5*b + 3*b + z, c = 2*b - 4*z for b.
-5
Let x be (4/(-10))/((-7)/560). Suppose -u + x = u. Solve -l - 2*l = -2*b + 13, l + u = 3*b for l.
-1
Let g = -31 - -35. Solve -6 + 32 = g*j - 5*v, 2*j - 4 = -2*v for j.
4
Let u be 14 + 2/3*-3. Suppose h = 5*y - 5, -4*h - 9 = -4*y + 11. Solve -4*z = 8, 0 = 2*r - z - y*z - u for r.
5
Let y(v) = v**3 + 15*v**2 - 2*v - 35. Let o be y(-15). Let m be o/((-8)/10 + (-1)/5). Solve -m*h = 2*x - 0*x + 23, 2*x + 3*h + 17 = 0 for x.
-4
Suppose 23*w - 51 - 87 = 0. Solve x + 6*r = 3*r - 8, -3*x = 3*r + w for x.
1
Let s(u) be the third derivative of u**6/60 - 11*u**5/60 + 5*u**4/24 + u**3/3 + 5*u**2. Let v be s(5). Solve -h + g = 8, -1 = -v*h + 4*h + 3*g for h.
-5
Let i(h) = -3*h - 1. Let s be i(-1). Let l be 23 - (-84)/(-24)*(-3 + 5). Solve 3*t + l = 4*u, -3*t = -2*t - s*u + 8 for t.
0
Suppose -7*j + 51 = -4*j. Solve j = 3*g + i + i, g - 23 = -5*i for g.
3
Suppose 0*j - 146 = 2*b - 3*j, 0 = -5*b + 5*j - 375. Let t = b + 83. Solve t*n = -o + 19, 0 = 2*n - o + 3*o - 14 for n.
4
Suppose -24 - 4 = 4*n. Let j = n + 27. Solve 0 = 5*y - 5*z - j, -z - z = 2*y + 4 for y.
1
Let s(k) = k**2 + k - 6. Let i be s(0). Let r = 4 + i. Let u = r - -23. Solve c - 3*v + 2 = 0, 3*c + 3 - u = -3*v for c.
4
Let y(v) = -9*v. Let r be y(-2). Let w = r + -14. Solve w*t = -6*l + 5*l + 12, 4*t - 12 = 4*l for l.
0
Let z(p) = -p**2 + 3*p + 19. Let c be z(6). Suppose 6*x - 5 = c. Solve 2*h + 3*i = 7*h + 19, x = -5*h - 3*i for h.
-2
Let n(l) = -l**2 + 6*l - 3. Let m be n(5). Suppose 163*j = 159*j + 2*t + 70, 5*j + 2*t - 74 = 0. Solve -5*b + 3*a = 25, m*b + 13 + j = 5*a for b.
-2
Let q be (1/2)/(2/(-8)). Let p be (q - 2/(-3))*9*-3. Solve -5*z - 7 + p = 2*h, 0 = 2*z - 5*h for z.
5
Let s be 2 - (-90)/(3 + 2). Suppose -5*o + s = -0*o. Solve 7 = o*a - 5, 0 = -r + a + 2 for r.
5
Let m(k) = k**2 + 9*k - 6. Let y(v) = -v**2 + v - 10. Let r be y(0). Let l be m(r). Suppose -l*z - z = -25. Solve 5*b - z*j = 40, -4*b + 20 = -3*b - 5*j for b.
5
Let q be (-32)/(-1232)*84 + 2/(-11). Solve 4*f + 5*t = -17, -5*f - 14 = -q*f + 4*t for f.
2
Let b = 229 - 225. Solve -3 = -3*f, -5*f + 23 = -b*d - 2 for d.
-5
Let k be (4 + 3 - 7)/(-1). Solve -2*d = 5*g - 4, 3*d - 6*d + 4*g + 6 = k for d.
2
Let z be 0/((0 - 0) + -2). Suppose 0 = -w - z*w + 2. Suppose 46 = 2*k - 5*q + 13, -3*k + 2*q = -22. Solve 0 = -2*g + 6, -w*g + 15 = k*s - g for s.
3
Let p = 10 + -8. Let m be (-1)/p*(11 + -1). Let d be (-1 - (-3 - m)) + 6. Solve 4*i + d*q = -q - 8, -q - 11 = -2*i for i.
3
Let n be 459/81 + 5/6*-2. Solve 4*i + 6 = -2, n*k - i = -6 for k.
-2
Suppose -2*d = -d - 2. Solve 0 = -k - a + 3, d*k - 10 = 5*a + 10 for k.
5
Let o = 129 - 91. Suppose -54 = -4*k + o. Solve 0 = 4*p - 5*z + k, -z + 4 = p + z for p.
-2
Suppose -63 = -2*b + s, -1 = -4*s + 3. Solve -2*d + 3*r - b = 3*d, -5*r = -20 for d.
-4
Suppose 0 = 5*h + 151 - 21. Let q = h + 40. Let g = q + -10. Solve 15 = k + 3*j + 2, -j - 3 = g*k for k.
-2
Let f(r) = -2*r**2 + 4*r + 41. Let q be f(5). Solve -q = -5*k - 4*z, 4*k - 8 = -3*z - 0 for k.
-1
Let q = -162 - -165. Solve -i + 3*u = q*i - 32, u + 24 = 4*i for i.
5
Let v be (-4 + 1)*(-4)/3. Solve -4*i - 11 = -2*a + 9, 0 = -v*a - 2*i for a.
2
Let h(t) = -2*t + 4. Let u be h(0). Suppose 13*v - 11*v = u. Solve 3*b - 14 = -0*b + l, 0 = v*l + 10 for b.
3
Let n be -40*(-2 + (-3)/(-2)). Suppose 173 - 13 = 5*q. Let v = q - n. Solve 0 = -3*o - 2*c + 4, 2*o - v = c - 0*c for o.
4
Let q = 26 + -23. Suppose -q*z + 12 = -9. Solve 5*m = -s + z - 28, m + 2*s = 3 for m.
-5
Let k = -480 + 484. Solve -h - 2*q + 2 = 4*h, k = 4*q for h.
0
Let l be (2/10)/((-3)/(-15)). Solve 0 = 3*t - t + 2*x + 2, -4*t - 3*x + l = 0 for t.
4
Let w(c) = -7*c + 25. Let b be w(5). Let a be 1*-3*b/10. Solve q = 5*j + 11, j - 2*j = a for q.
-4
Suppose 6 = 4*y - q, 25 = 4*y - 2*q + 21. Solve 5*d = -5*n - 5, n = -0*d + y*d + 5 for d.
-2
Let z be 113 - (-4 + (-36)/(-4)). Suppose 0*g - 6 = -2*g. Suppose -g*u - u = -z. Solve -4*i = -5*n + u, -5*i + i + 3*n - 21 = 0 for i.
-3
Suppose 6*r - 66 = -36. Solve -r*o - 14 = -2*o - 5*c, 3*c = 4*o + 4 for o.
2
Suppose 5*t = 0, 5*z = 8*z + 3*t. Solve -5*k - 4*q - 5 = z, 0 = q + 4*q for k.
-1
Suppose -93*g = -84*g - 63. Solve -4*x + 4*q + 24 = 0, -3*x + g*q - 6*q = -16 for x.
5
Let l = -325 + 193. Let c = l - -138. Solve -h + 2*v = 11, 2*v = 3*h + c*v - 17 for h.
-1
Let x be (0/((3/1)/(-3)))/(-4). Let r = 3 + 0. Let w = x + r. Solve 5*b = 4*o + 8, -w*o - 3*b = -12 - 9 for o.
3
Let r(i) = -2*i + 20. Let q be r(7). Let l be (q/(-18)*-1)/((-2)/(-24)). Solve -14 = -l*x - 5*g + 1, 0 = 5*x + 3*g - 22 for x.
5
Let f be (-690)/(-21) + (-4)/(-28). Suppose 4*i + f = 33. Solve i = 4*k + 4, -2*w + 5*k - 4 - 1 = 0 for w.
-5
Let o be (30/8)/(9 + (-264)/32). Let s(u) = -u**2 - 8*u - 8. Let g be s(-6). Solve o*w = 4*v - 22, -w - 2*v + g = -0 for w.
-2
Suppose 2*u = u - 3*u. Solve 3*x + 5*d + 31 = u, 2*d - 3*d - 13 = 4*x for x.
-2
Let q be (-4 + -2 + 1)*1. Let h be (-4)/3*(90/1)/(-10). Let o be h/(-1 - q) + 3. Solve -8 = f - 3*b, 2*f - 2*b + 6*b = -o for f.
-5
Let f(x) = 4*x**2 + 3*x - 4. Let k be f(1). Solve -2*i - 2*i - 21 = 3*z, -2*z - k*i = 15 for z.
-3
Let p(i) = 5*i - 4. Suppose -7*k + 3*k = 0, -2*k - 10 = -5*g. Let u be p(g). Solve 2*l + u + 4 = 0, l + 4 = -m for m.
1
Let g(p) = 2*p - 6. Let k be g(9). Let x be (k - 0)*2/(-6). Let t be x/22 + (-368)/(-88). Solve -2*l + t*o = -5*l + 16, -4*l + 3*o + 13 = 0 for l.
4
Let p(v) = -v. Let o = -7 - -1. Let l be p(o). Suppose -l*m + 2*m = 0. Solve m*w + 3*w - 5 = 5*b, -3*w = 4*b - 23 for w.
5
Let j = 38 + 10. Let x = j - 48. Solve x = 3*p + 2*g + 11, g + 0 + 9 = -5*p for p.
-1
Let l(u) = -u - 12. Let q be l(-16). Solve 4*w + q*m + 8 = -w, -4*m - 8 = 0 for w.
0
Suppose 4*s = 5*w + 10, -5*w + s + 4*s - 15 = 0. Solve -r - w = 0, 4*v + 18 = -r + 2*r for v.
-5
Let j(q) = q**2 + 17*q + q**3 - 8*q - 8*q + q**2. Let g be j(-1). Suppose -3*z + 5*k - 13 = g, z - 3*z + k = -3. Solve -4*s = -v - 11, 9*v - z*v = s + 21 for s.
4
Suppose -6*u + u + 50 = 0. Let c = 6 + u. Suppose -12 = 2*j + 5*d, c = 4*j + j + d. Solve 5*f - 13 = -w, -w + 5*f = 3 + j for w.
3
Suppose 2*t - 4*t + 835 = -q, t - 440 = -4*q. Let z be (4/(-7))/((-40)/t). Solve -4*d = -2*k - 2 + 16, 3*d - z = -4*k for d.
-2
Let j be 6 + 3/(2*3/(-8)). Solve 4*n + 3*d + 36 = -d, 0 = -4*n - j*d - 28 for n.
-5
Suppose 3*j = -12, -7*j - 65 = x - 2*j. Let s = x - -50. Solve 3*z = -0*z - s*m - 6, 5*z + 2*m + 10 = 0 for z.
-2
Let n(p) = -2*p + p - p + 37. Let t be n(16). Solve t*s = b - 3*b + 12, -3*b + s = -1 for b.
1
Suppose 2*d + 5*c - 4*c + 200 = 0, -2*d = -2*c + 194. Suppose 2*v + 350 = -3*v. Let u = v - d