- t = -6, a + 2 = -5*o - 5*t for o.
-2
Let i = -210 + 216. Suppose 0 = 7*b + i - 34. Solve -4 = -2*u, b*d = -u - u + 4 for d.
0
Let l = -976 - -979. Solve 0 = l*i + 23*y - 20*y - 24, 4*y = 12 for i.
5
Let f = -1 - -3. Suppose -12 = -74*q + 71*q. Suppose -f*p - 16 = -q*d, -5*d + p + 22 = -4. Solve -2*k = 5*z + 5, 4*k = -2*z + d*z + 32 for k.
5
Suppose -21*p - 14 + 35 = 0. Solve 0 = -h + 5*z - 1, -h + 2*h = 4*z - p for h.
-1
Suppose 2*c = -4, 10*q - c + 58 = 15*q. Let a(y) = y**3 - 11*y**2 - 7*y - 41. Let j be a(q). Solve -t - j = -3*u + 3*t, -u = t - 4 for u.
5
Suppose -215 = 5*o + 600. Let l = 163 + o. Solve l = -0*d - d - 4*f + 21, -4*f + 16 = -4*d for d.
1
Suppose -g + 2*g = 3. Suppose 5*r + y + 4*y - 15 = 0, 40 = 4*r - g*y. Suppose 90 = -373570*h + 373579*h. Solve -l + 4*c = 2*c + r, 5*l - 5*c + h = 0 for l.
3
Let j = -376 + 389. Suppose -83 - 125 = -j*v. Solve 5*d + c - 2*c - v = 0, d = -c + 2 for d.
3
Let b(j) = -j**2 + 3*j + 13. Let m be b(5). Suppose y - 18 = -m*l, -2*y - 32 = -6*y - 4*l. Solve 5*u + 2 = 3*u - y*i, 5*u = i - 5 for u.
-1
Let m be (-52)/3 - (-3)/(-27)*6. Let b be (m/21)/3 + 54/(-7). Let p(k) = k**2 + 8*k + 3. Let u be p(b). Solve -7*o = -2*g - 2*o + 7, -u*o - 9 = 0 for g.
-4
Let j(c) = c**3 + 1. Let n be j(-1). Suppose 3*r - 3*p - 227 = -2*r, r - 4*p - 42 = n. Let t = r - 42. Solve 2*m + 3*s = -11, -m - t*m = -3*s - 25 for m.
2
Let a = -6114 + 6116. Solve -16 = 4*q, -a*v + 3*q = -86 + 68 for v.
3
Suppose -8240 = 35*s - 45*s. Let a = 846 - s. Solve 5*q + 3 = 4*v - 7, q = -4*v + a for q.
2
Suppose 4*l = -5*k + 100, 2*k - 50 + 7 = -l. Suppose 28 = -196*t + 203*t. Solve t*i = 3*v - k, -2*i + 4*v = -v + 26 for i.
-3
Let z(i) = i**3 + 4*i**2. Let d be z(-4). Solve 3*b - 2*p - 15 = 0, -3*b + 6*b - 5*p - 15 = d for b.
5
Let y be -340 + 1 - 4 - -5. Let u = -334 - y. Solve 10 = -2*r - 4*l, -u*r - 16 = 5*l - 5 for r.
1
Let f = 7241 + -7235. Solve c = -4*b + 8*b - 18, b = -5*c - f for b.
4
Let i = -6 + 10. Let g(v) = -v**2 - 9*v - 11. Let m be g(-7). Suppose -12*u + 180 = -m*u. Solve -5*r = -h + u, 0 = -h + i*r + 14 + 2 for h.
0
Suppose -3*q = -c + 6, 0 = c - 2*q + 1 - 5. Let u be (1 - c)/((-7)/(-35)). Solve 3*j - u*g = 6, 0*g - 3*g + 2 = j for j.
2
Let y be ((-11)/(-4))/((-1)/(-4)). Let d(z) = -133977 + 11*z + 3*z**2 - z**3 + 7*z**2 + 133979. Let q be d(y). Solve 2*w - 4 = -q*p, -5*w - 4*p + 2 = -3 for w.
-3
Let d be ((-18)/16*2/(-3))/((-37)/(-148)). Solve 0 = -2*c + 2*b - 10, 2*c + 3*c - d*b + 17 = 0 for c.
-1
Suppose 4*l + 5*s - 7 = -22, -5*l - 9 = 3*s. Suppose -3*f + 15*f - 96 = l. Let b be 16 - f - ((-4)/(-2) - 4). Solve 4*t = -2*h + b, -4*h + 11 = -t - 0*h for t.
1
Suppose -1921 = -5*w - 2*v, 2*w - 3*w = -3*v - 374. Let c = -383 + w. Solve -l = 0, l = 3*h - c*l - 12 for h.
4
Let x = -63 + 35. Let z = -1016 + 890. Let i be -1*(x/z + (-58)/18). Solve 3*q + 2*s = -13, -5*q - i*s - 15 = -2*q for q.
-3
Let x be (-4 - 1)*(-2 - -1). Let v be -2*(-2806)/4 - (-6 + 1). Let r = v - 1408. Solve -b + 26 = x*m, -5*b = -2*m - r*b + 5 for m.
5
Let h = -556229 - -556231. Let c(u) = u + 11. Let a be c(-5). Suppose -n + a = 2*n. Solve 3*o - h*r - n = 0, -3*o = -o + 2*r + 12 for o.
-2
Let t(a) = -a**2 - 4*a + 6. Let y be t(-5). Let l(u) = 5*u - 2. Let h be l(y). Suppose -5*p + 24 = h*p. Solve 0 = 2*c + p*c + 2*v - 15, 0 = 2*v + 10 for c.
5
Let n = -2346 + 2367. Solve 4*g + 3*f + 4 = n, g = 3*f + 8 for g.
5
Suppose 0 = 2*w + 3*i - 831, 5*i - 426 = -2*w + w. Suppose -17*r = -w + 71. Solve -5*d + r = 0, 2*d - 16 = 3*k + d for k.
-4
Let a(z) = 224*z**3 - z**2 - 4*z - 2. Let v be a(-1). Let s = 224 + v. Solve k = -r + s, -3*k - 22 = -4*r + 2*r for r.
5
Let z(w) be the first derivative of 9*w**2 - 158*w - 76. Let p be z(10). Solve 2*c + 14 = -3*g - g, p = 4*c - 2*g for c.
3
Let c = -22 + 27. Let w be (4 - (-7)/(-2))*6. Solve -3*y = u - 5*y - 7, c*u = -w*y - 17 for u.
-1
Let o = -517 + 520. Suppose -3*q + 10 = 2*q, o*q = -5*g + 16. Solve -4*j + 2*w = -14, j - g = w + 2 for j.
3
Let p(m) be the second derivative of -m**4/12 - 9*m**3/2 - 34*m**2 + 46*m. Let a be p(-23). Solve 0*o - 5*f - a = -4*o, -4 = f for o.
1
Let z = 64 - 61. Solve 6 = -z*p - 5*g, 5*p + 2*g + 0*g - 9 = 0 for p.
3
Suppose -5*f = -g - 72, -4*f + 54 = g - 0*g. Let z = f + -10. Let i(j) = -j - 7. Let c be i(-10). Solve 4*d + 5*u + 1 = d, 0 = -c*d + z*u + 17 for d.
3
Let r(s) be the third derivative of 0 + 20*s**2 + 0*s - 1/12*s**4 - 10/3*s**3. Let x be r(-11). Solve -q = -h - 8, 4 + 4 = x*q for h.
-4
Let z = -4387 - -4390. Solve 5*u = i - 18 + 2, -3*i = z*u + 6 for i.
1
Suppose -z + 41*p - 5 = 39*p, 3*z = -4*p + 35. Solve -5*x = 2*a - 10, -4*a = -0*a + z*x for a.
-5
Let p be (5 + -3)*5/2. Suppose 187 = -17*w + 28*w. Solve 2*q - p*z = w, 3*q - 4*z - 15 = -0*z for q.
1
Suppose 2 = c - 0*y + y, -3*c - 2*y = -9. Suppose -z - 49 = 65. Let u = z + 118. Solve -4*h - 3*g - 3 = 0, -4 = u*h + g + c for h.
-3
Let l(y) = -350*y + 3503. Let d be l(10). Solve 2*h - 14 = -5*i, 67*h - 65*h - 10 = -d*i for i.
2
Suppose 59*j - 230 = -108*j + 104. Solve j*z - 2 = -f, 3*f = 5*z - 4 + 32 for z.
-2
Suppose -u - 3*u = -20. Suppose -2*z = -5*v + 5 + 10, 4*v - 5*z = -5. Suppose -b + 2*b = u*x - 22, v*b = -3*x + 30. Solve s - 3 = y, -2*y - b + 9 = 2*s for s.
3
Let l(h) = h**2 + 2*h + 1. Let b be l(-2). Suppose 0 = 4*z + n + 2*n + b, 22 = 5*z - 4*n. Let k = -33268 - -33270. Solve m = -k*i - 2 - 3, i - z*m = 5 for i.
-1
Let o(s) = s**3 + 5*s**2 + 2*s + 11. Let g be o(-5). Let n be g + 0 - (34 + -36). Solve 0 = -3*q - 3*c - 9, -2*c = c - n for q.
-4
Let i be 3/69 + 9042/1518. Solve i = -2*h - 3*b, 5*b + 3 = -h + 6*b for h.
-3
Suppose 0 = -28*m + 68*m - 360. Solve 0 = -n, -m*i - 3 = -8*i + 4*n for i.
-3
Suppose -d + 2*d - 25 = 0. Suppose -3*u + 123 - 18 = 0. Let i = u - d. Solve i*y + 12 = 5*y + 3*v, 5*v + 5 = 0 for y.
-3
Let r(j) be the first derivative of 17*j**2/2 + 147*j - 27. Let t be r(-7). Suppose -1 - 1 = -d. Solve -5*s = -d*f - 12, -3*s - 2*s = 2*f - t for s.
4
Let s be ((-308)/1078)/(1/(-49)). Solve 4*r = 0, -10*v - 32 = -s*v + 5*r for v.
8
Let w be (-1)/(-2 + 1 + (-3)/(-4)). Let s be (1/w)/((-4)/(-80)). Suppose 0 = o - s*u - 5, 2*o + o - 15 = u. Solve r + o*y - 1 = -6, 0 = 5*r - 3*y - 31 for r.
5
Suppose -2*v + 5 + 3 = 0. Let d = -45 - -372. Let r = 329 - d. Solve 2*s = -r*x - 3*x + 30, v*x = -s + 21 for s.
5
Let u be (22 - 11 - 5) + 55. Suppose -236 - 89 = -5*r. Let a = r - u. Solve -3*z + 5*m - 21 - a = 0, -5*z = 3*m - 15 for z.
0
Let s be ((-16)/24)/(4/18). Let t = -5 - s. Let v be (-1)/((8/12)/t). Solve 2*w - 2 + 0 = -v*o, 2*o - w = -1 for o.
0
Suppose 2*u - 25 = 3*p, -424*p = -5*u - 429*p. Solve 5*r = -u, 3*t + 12 - 2 = 5*r for t.
-5
Let g be (12/3 + 2)/(-4 - -6). Suppose -15*v + 16*v = 0, 3*t - g*v = 9. Solve -t*h + 7*h = 5*f + 15, -h + f = -3 for h.
0
Let y(m) = -49*m - 241. Let t be y(-5). Solve t*v + 4 = x, -v + x - 6 = -5 for v.
-1
Suppose 2*w + 0*p + 5*p = 441, -2*w + p + 447 = 0. Let a = -219 + w. Solve 0 = 3*z + a*h - 28 + 5, 2*z = 2*h + 6 for z.
5
Let j = -425 - -450. Suppose a - j*a + 96 = 0. Solve 0 = a*k - 19 - 1, 2*v = 3*k - 11 for v.
2
Let w = -4211 + 4231. Solve -2*t = 3*a - 5*a - w, 38 = 5*t - 3*a for t.
4
Let h = 41 - 26. Let w be (-5)/h*-1*-87. Let d be (-18)/(-9)*w/(-2). Solve 0*c - c - 5*l = -d, l + 11 = 4*c for c.
4
Let w(f) = -f**3 + 4*f**2 - 2*f - 3. Let d be w(3). Let t be 3/12 - 1 - (-45)/12. Solve -q - t = -5*c, 0*c + c + q + 3 = d for c.
0
Let n(l) = -l**2 + 11*l + 15. Let o be n(12). Let v = o + 1. Solve 5*b - 23 = -u, u + 2*b + 1 = v*u for u.
3
Suppose -4*f = y + 6, 4*f + 4*y + 10 = y. Let z = -129 + 141. Let p be -4*z/(-16) + f. Solve 3*x - 1 = 2*t + p, -3*t - x + 1 = 0 for t.
0
Let c = -9741 + 9750. Solve -2*w - 2 = 8*k - c*k, 0 = 2*w + 6 for k.
-4
Let i(g) = 2*g - 6. Let z be i(4). Suppose -z*f = 3*f. Suppose 3085*o - 3078*o = 0. Solve o = 4*n, 2*b + f*b = 5*n + 4 for b.
2
Let z(m) = -m**3 + 7*m**2 + 11*m - 4. Let x be z(8). Suppose x - 32 = -4*n. Suppose -n*o + 35 = 4*o. Solve -t - 7 = -5*a, 0 - 4 = -o*a + 2*t for a.
2
Let t(u) = -u**3 - 4*u**2 - 15*u - 23. Let d be t(-6). Let y = -137 + d. Solve a = -0*a + 3*r - y, a + 3*r = 4 for a.
1
Let p = -5 + 9. Suppose -15 = -3*r + 3*v, 2*r + v = -2*v. Let k = -21081 - -21084. Solve -2*q - k = r*c, -p*c - q - 3 = 2*q for c.
