4*a + o = 11, -2*o - k = -3*a + o for a.
-4
Suppose -2039 - 749 = -82*d. Solve d*t = 5*m + 39*t, m - 3*t = 0 for m.
0
Let o(g) = g**3 - 130*g**2 - 286*g + 2909. Let s be o(132). Let c = 19 - 5. Solve u - b + c = -s*b, 0 = 4*u - b + 5 for u.
-2
Let l(j) = 35 + 7 + 13*j - 8*j - 10*j. Let a be l(8). Solve -a*s + 0*s = -4*k - 2, 4*k = 3*s - 1 for k.
-1
Let h = -10 - -5. Let l(b) be the second derivative of b**5/20 + 5*b**4/12 - b**3/3 - 3*b**2 + 753*b. Let x be l(h). Solve x*a + 19 = y, a + 16 = -3*a for y.
3
Let d be (-5)/(-15) + 1/(-3). Suppose -h = 4*k + 15, -h = -d*h + k. Suppose -t - 4 = -5*v - 5, -5*v = h*t - 65. Solve -3*x - x - 3*s = -t, 10 = 2*s for x.
-1
Let z be (0 + 42)/14 + 1. Solve -5*t - 12 = z*g, -5*g + 5*t - 11 = 4 for g.
-3
Let w be 170/(-680)*4*(-1)/1. Solve 3*t - g = -w, 25*g + 3 = -5*t + 28*g for t.
0
Let o(u) = 4*u**2 + 48*u - 31. Let p be o(-13). Suppose 0 = -3*l - p + 36. Solve 28 = -k + l*b, 0*k + 4*b - 5 = -5*k for k.
-3
Suppose -4*f = -4*j + 188, 4*f + j = -j - 182. Let z = f - -66. Solve -3*b = -9, 5*b - z = -5*u - 0*b for u.
1
Let l = 164 + -74. Suppose -17*t = -8*t - l. Let p be 3 - (t/(-15))/((-2)/(-3)). Solve 2*b + p*d = 3*b - 15, -5*b - 13 = 2*d for b.
-1
Let y(f) = f**3 - 39*f**2 - 42*f + 119. Let p be y(40). Suppose 10*j = 1 + p. Solve 4*d = -2*x + j, x = -4*x - 3*d + 10 for x.
2
Let o = -28213 + 28218. Solve 0 = -2*v - 7*g + o*g, 4*v + g = -6 for v.
-2
Suppose 0 = -8*f + 3*f + 50. Let l be f - 1 - 70/14. Solve 3 = -l*m + 4*y + y, -y - 1 = 0 for m.
-2
Let o(b) = -b**3 + 11*b**2 - 9*b - 18. Let m be o(9). Let y = m - 64. Let t be (-4)/((13 - 15) + (-1)/y). Solve 2*c - 1 = -5*v, 4*v = -0 + t for c.
-2
Suppose f + 75 = 6*f - 5*w, 4*w = -4*f + 44. Suppose -s = -3*a + 5, f = 2*a + 2*a + 5*s. Solve -2*g + 2*t - 6 = 0, 2*g - 2*t - a*t = -10 for g.
-1
Let h(r) = r**3 + 10*r**2 + 6*r - 12. Let s be h(-9). Suppose x - 6*x + 45 = 4*f, -s = -x - 2*f. Solve -b = k - 6*b + 10, 5*b = -x*k + 10 for k.
0
Let q = -2725 + 2728. Solve -u - q = -2*x, -22*x + 5*u - 21 = -21*x for x.
4
Suppose 13*l - 4*t = 17*l - 20, 4*l - 35 = -t. Solve 2*j = 5*a - 3*j + l, j + 10 = 5*a for a.
3
Suppose -4*c - 12 = 0, 3*v + 8 = -3*c + 2. Let i be 0/(v - (-2 + 7)). Let y be ((-6)/4)/(-3)*34. Solve i = -4*d - l - y, 4*l - 8 = -d - 1 for d.
-5
Suppose 4*w = -2*o + 59 + 27, 0 = -w + o + 29. Suppose -25*q + 114 = 18*g - 23*q, 68 = -4*g + 4*q. Solve g*f = -4*n + w, -2*f = 2*f - n - 9 for f.
3
Let p(t) = -8*t + 4. Let i be p(-1). Suppose 7*o = 166 - i. Suppose -6 = 19*d - o*d. Solve -5 + 27 = d*r + 4*g, 4*g = 5*r - 13 for r.
5
Let g be (-13 + 636/36)/(-3 + 55/15). Solve 266*z - 263*z = -3*x - 9, 5*z = -3*x - g for x.
-4
Let l(s) = -s**2 + 6*s + 3. Let y be l(6). Let m be (y - 2) + (-1 - -3). Suppose 2*n = 9*n - m*n. Solve n = -2*u - 5*z - 9, 4*z - 5*z + 6 = 3*u for u.
3
Suppose 2*o = -2, -6*f = -10*f - o + 15. Suppose -2*u - 16 = -f*b, 105*u - 4*b + 28 = 109*u. Solve 2*t = 2*v + 6, 2*t = u*v - 5*v - 14 for v.
-4
Suppose 0 = 2*y - 5*r - 5, y + 5*r + 5 = -0*y. Suppose 33*a - 37*a - 920 = y. Let l be a/55 + (-4)/(-22) + 29. Solve v - m + 5 = 3*m, m = 5*v + l for v.
-5
Suppose -4*i - 56 = -4*v, v - 3*i = 6*v - 46. Suppose -v*s - 23 = -23. Solve 2*t + x + 9 = 0, s = t + 5*x - 0*x + 27 for t.
-2
Suppose 4*w + 9 = 17. Suppose w*v - t = 15, -5*v + 4*t + 18 = -3*v. Solve 2*c = 8, v*z = 3*z - 3*c + 28 for z.
4
Let k be 232/20 + 4/10. Suppose i = 5*i - k. Let n = 458 - 456. Solve i*a = 5*p - 5, -a - n*p + 17 = p for a.
5
Suppose 0 = -223*b + 811 - 142. Solve 4*f + 20 = -2*w, 3*f - 3 = -b*w - 24 for w.
-4
Suppose 4*p = 12, 0 = -16*j + 15*j + 5*p - 11. Suppose 3*n - 18*h = -22*h - 4, -j*n - 4*h = 0. Solve d + 8 = -n*k - k, 0 = -2*d - 6 for k.
-1
Let z(j) = 6*j**3 - 2*j**2 - 2*j. Let k be z(-2). Let s be 2/3 + 5 + k/(-12). Suppose -9*i + s = -8. Solve l = -n + 7, -i*n = n - 6 for l.
5
Let x = -10 - -14. Suppose t + 0*t = x. Let g be (3 - (-3 - -14))/(1 + -3). Solve t*m + 12 = l, -g*m + 4*l + 3 = -5*m for m.
-3
Let u(x) = -x**2 - 4*x - 2. Let t be u(-2). Let f be 8/t*(-18)/(-12). Let v be 1 - (4 - 2 - f). Solve 2*b - 4*o = -2*b - 8, -o + v = -2*b for b.
-3
Let x be (3230/19)/(-10) + 21. Solve 0 = 5*c - x*u + 3, -4*u = 2*c - 5 - 5 for c.
1
Let d be (-27)/(-2) + 2/4. Suppose -d*l = -4*l - 40. Solve 0 = -g - 5*o - 30, -l*g + 10 = -5*g - o for g.
-5
Let u(s) = 10*s - 29. Let y be u(7). Suppose 4 + y = 9*c. Solve 3*h + 10 = -2*h - 5*f, -22 = c*h + f for h.
-5
Let j(y) = y**3 + 16*y**2 - 18*y + 3. Let c be j(-17). Suppose -4*o + 76 + 8 = 3*q, -3*q = 3*o - 84. Solve 5*z + q = -4*w, w - 5*w = 3*z + c for z.
-4
Let b(k) = -8*k + 43. Let a be b(15). Let l = 82 + a. Solve -l*n - 3 = 4*d + 9, 2*d - 3*n + 6 = 0 for d.
-3
Let d = 906 - 916. Let c(n) = 20*n + 202. Let b be c(d). Solve 3 = -4*h + x, 0 = -5*h - b*x - 8 + 1 for h.
-1
Suppose -495*b + 19706 = -161*b. Solve 0 = -2*r - 4, 0 = -w - b*r + 60*r - 3 for w.
-5
Suppose 26 = 28*u + 194. Let t be 12 - (0/(-9) - u). Solve -j - t = 3*k - 0, 6 = -4*k - 2*j for k.
-3
Let d(h) = -84*h**3 - h**2 - 2*h. Let w be d(-1). Let i = w - 50. Solve 6*j + 3*t = j + i, 0 = j - 2*t + 6 for j.
4
Let a be 51/374*55*(1 - -1). Solve 2*p = 0, -3*p + 2*p - a = -5*d for d.
3
Let b = -109 - -104. Let w be (-2 - b)/((-15)/(-10)). Solve l = 2*u + u - 9, l - 11 = -w*u for u.
4
Let f(j) = -5 + 3 - 3*j**3 + 0*j**2 - 3*j - 2*j**2. Let n be f(-2). Let h = -1806 - -1810. Solve 5*v = -0*m - 4*m + 16, 5*m = -h*v + n for v.
0
Suppose 104 = -7*a + 125. Let i be (-8 + (a - 1))*(-2)/2. Solve l - 4 = 3*w, 2*w - i*l = -2*l + 4 for w.
-2
Let z(n) = 2*n**3 + 8*n**2 - 6*n - 2. Let p be z(1). Solve -p*a - 2*m - 61 = -41, -4 = -2*a + 4*m for a.
-6
Let b = 30 + -61. Let t = -27 - b. Suppose 2*j - t = 4*j, 4*x - 20 = 2*j. Solve -5 = 4*y + u, 2*u = -2*u - x for y.
-1
Suppose -4*m = -2*m. Suppose -185*c - 46 = -306*c + 559. Solve 4*a - c = -4*u - 13, m = -3*a - u - 2 for a.
0
Let m be ((-21)/(-105))/(4/(-20))*-23. Solve -5*c - 4*f + 5 + m = 0, -5*f - 2 = -3*c for c.
4
Let x = -11931 + 11938. Solve -5*b - x = -5*z - 27, -4*b = -5*z - 20 for z.
-4
Suppose -46*c = -0*c. Solve 2*z + 0*z + 3*u - 3 = c, -5*z - u = -14 for z.
3
Let y = 9849 + -9844. Solve 8 = -2*h, -2*u - y*h = 1 + 17 for u.
1
Let s(n) = 9*n**2 + 205*n - 31. Let r be s(-23). Solve 0 = -3*p - 4*x - 19, 5*p = 2*x - 8 - r for p.
-5
Let d = -9 - -13. Let l be (d/10)/(1/10). Let c be 0 - 29/(-7) - 1200/1050. Solve -2*v + c*h = l + 15, -1 = 2*v + 3*h for v.
-5
Let s = 4186 - 4182. Solve 4*i + c + 1 = 16, -s*c - 4 = 0 for i.
4
Suppose l = -0*l + 4*l. Suppose 5*v - 6 - 9 = l. Suppose -4*r = -5*r + v. Solve 2*k + r*p + 15 = 0, 5*k + 0*p + 12 = p for k.
-3
Let g be (2 - 2) + -1 - -4. Let d be 2 + (-6 - 2) + 16 + -8. Solve -d*p + 4*w + g = -13, 0 = -3*p - w + 10 for p.
4
Let t(l) = -2*l + 11. Let y be t(4). Suppose -p + 6*p = 0, -y*p = -5*x + 35. Solve -5*w = 4*j + 10, 2*j + 2 = -w + x*j for w.
-2
Let o(f) = -449 - 4*f**2 + 3*f**2 + 12*f + 433. Let p be o(9). Solve 0*w + p = -w + 4*m, -w = m - 4 for w.
1
Suppose 14*l + 15*l = 87. Suppose 2*m = -3*f + 15, 3*f - 9 = -3*m + 6. Solve -4*v + 12 = m, l*n + 0*v - v - 6 = 0 for n.
3
Let y be -2*(-3)/(-6) + 8. Suppose -8*w = -y*w - 2. Suppose n + w = -2*c + 9, 4*c - 2*n = 10. Solve -x + s = 0, -2*s + 8 - 3 = c*x for x.
1
Suppose -829*o + 20 = -834*o. Let f be 1/(95/(-25) - o). Solve 4 = -2*w + f*k, 3*w + 5*k - 27 = -8 for w.
3
Let l = 215 - 212. Solve -3*p = 15, l = -4*k - 4*p - 29 for k.
-3
Let l = -943 - -947. Let k be (2 - 14) + l - -22. Solve -j + a - 2 = 0, -3*a + k = j - 0*a for j.
2
Let v = -57 + 32. Let o = v + 48. Let w = o - 18. Solve d - w*p + 2*p = 5, d + 16 = -4*p for d.
-4
Let z = -4782 + 4786. Solve -b = 7*k - 2, 0 = 2*k - z + 2 for b.
-5
Let v(b) = b**2 + b + 2. Suppose 49 = 5*x + 19. Let a be ((-3)/x*0)/2. Let n be v(a). Solve -n*i = -5*w + 8, w + i = -2*i - 12 for w.
0
Let j(w) = -2*w - 4. Let f be j(-3). Suppose 99 + 13 = 14*t. Suppose 3*i + 15 = g + 7, 3*g - i = t. Solve n = -3*q - 4*n - 2, -g*n = 4*q - f for q.
1
Let t = 174 + -171. Let l be t*-1*12/(-18). Solve 12 = 2*o - 5*h, -8*h - 6 = l*o - 4*h for o.
1
Let c(d) = -d**2 - 16*d - 45. Let x be c(-12). Solve -x*m - 2 = -4*b, b - 17 + 23 = 4*m for m.
2
Suppose 4*k = -7*j + 10*j + 180, -k = 4*j - 64. Let t be (4/(-8))/(