m*a - 9 for o.
0
Let f(c) = -c**2 + 11*c - 15. Let l(s) = -s + 1. Let h(k) = f(k) + 3*l(k). Let i be h(5). Solve -4*o = -4*a + 12, -i*a + 0*o + 4*o = -10 for a.
2
Suppose 0 = o - 3*k - k, 3*k = -2*o + 11. Suppose -7*a + o*a + 2*n = -17, a + 5*n = 0. Solve -a*x - 1 = 3*j, j - 4*j = 6 for x.
1
Let l(d) = 280*d + 2524. Let x be l(-9). Solve -x*r = -4*y + 32, r + 5*y + 48 = 70 for r.
-3
Suppose -4*a - 28 = -4*s, 3 + 26 = 3*s - a. Suppose -2*c = -s + 7. Suppose -22 = -4*f - c. Solve f = u - 3*w - 1, 2*u = -4*w + 2 for u.
3
Let s = 782621 + -782607. Suppose 4*g + 4 - 16 = 0. Solve -z - 7*f = -g*f - s, -z - 22 = -5*f for z.
-2
Let q(b) = -2*b**2 + 68*b - 64. Suppose -21*d - 235 = -928. Let m be q(d). Solve -m*i - 3*w + 13 = -7*i, i + 3*w = -17 for i.
-5
Let j be 31078/123 + 4/(-6)*1. Let s = j - 245. Solve 2*x - n + 2 = 0, -4*x + 3*n = -s*x - 12 for x.
-2
Suppose -75*f + 55 - 7 + 627 = 0. Suppose 3*g = -3 + 27. Suppose -g*v + f*v = 5. Solve -2*k - 21 = v*w, 4*k + 2*w - 13 = 3*w for k.
2
Let i(z) = -z**3 - 11*z**2 - 12*z - 128. Let c be i(-11). Solve -22 = -155*j + 158*j + c*g, 4 = -g for j.
-2
Suppose -75*d - 68*d = 24*d - 1670. Solve 15*u - 18*u = -4*f + 15, -4*f - d = 2*u for f.
0
Let j = -1708 + 1723. Solve 0 = 3*c + 5*q, -72*q + 77*q + j = 0 for c.
5
Let z = 45 + -55. Let i be (-6*z/(-45))/((-1)/3). Solve -i*y + j = 21, 0*y - 5*j = 3*y - 13 for y.
-4
Let f = -3422 - -3440. Solve -4*o = -3*x - f, -5*x - 2*o + 6 = -6*x for x.
-6
Let s(c) = -4*c**2 - 10*c - 8. Let u be s(-1). Let v be ((-1)/2)/((-9)/(-72)). Let y be (v - -3)*(-5 - 2 - u). Solve 4*q = -k + 9 + 3, -5*q = y*k - 15 for k.
0
Let w = -1315 - -1319. Solve -3*h + w*b = -20, h + 4*b = -7 + 3 for h.
4
Let g = -67 - -61. Let v be 21 + ((-6)/18 - 26/g). Solve 4*f - 5*u + 36 - 11 = 0, 0 = -3*f + 5*u - v for f.
0
Let z(b) = -12*b - 21. Let x be z(-2). Let o be -20*(2 + (-27)/12). Let h(w) = -w**2 + 6*w - 3. Let y be h(o). Solve -x*j = 3*f + 3, 4*f - y*j + 0 = 2 for f.
0
Suppose -4*n = -56 - 4. Let r be n*6/(-45)*-3 + -4. Solve -12 = g - 3*c, 2*g + 2*c + 6 = -r*g for g.
-3
Let g be (2 - 2)/(2 - 4). Suppose v - 1 = 0, -3*v + g*v + 21 = 3*d. Solve -d = 3*p, 2*p + 4 = -w - 2 for w.
-2
Let t(a) = a**2 - 40*a + 37. Let o be t(39). Let k be 4/o - -1 - (-20 + 17). Solve 3*v - 4*h = -k*v + 13, 4*h + 8 = 0 for v.
1
Let q = 28584 - 28584. Solve 2*g + t - 1 = q, 5*g - t = 9*g + 1 for g.
-1
Let o(s) = s**2 - s - 5. Let j be o(4). Suppose 3 = -2*h - 3, -4*g - 3*h + 11 = 0. Let c = -208 - -211. Solve 1 = -c*u + 2*k, -g*u - 2 + j = -2*k for u.
3
Let o be 1 + -3 - 0*(-5)/(-40). Let d be -12 - -12 - (o - (3 + -2)). Solve g = d*y + 6, 5*g = -y + 2*y + 16 for g.
3
Let d(i) = -i**2 - 18*i - 68. Let u be -10*((-30)/(-25))/2. Let g be d(u). Solve -5*l - 3 = f, l + 3*l + 4*f = g for l.
-1
Suppose 4*t = -4*n - 3 + 11, 2*t - n = 4. Solve 2*p + 3*f + 8 = -t, 0 = -3*p + f - 4 for p.
-2
Let d = -1234 - -1234. Solve d = 5*s - r + 5, 2*s - 3*r = -r - 10 for s.
0
Suppose -2*u + 5*o + 35 + 45 = 0, 5*u + 3 = -2*o. Suppose r - 8 + 3 = -4*b, 4*r = 5*b + 20. Solve u*t - 6 + 23 = 4*l, b = -3*t - 15 for l.
-2
Suppose -7*o - 8055 = 8*o. Let i = o - -541. Solve -2*h = -0*h + i*w + 16, -4*h - 2*w = 8 for h.
0
Let t be (0 - 1 - -4) + -1. Let c(x) = -140*x + 1686. Let w be c(12). Solve 2*g = -4, -t*h + w = 4*g - 3*g for h.
4
Suppose l + 4*m = 35, -11*m = l - 15*m + 29. Solve 2*u = -12*z + 17*z + 12, l*z = -2*u - 20 for u.
-4
Let b = 12423 + -12421. Solve -5*w = 3*k - 12 + 27, -b*w = 0 for k.
-5
Suppose 0 = -4*t - 7*k + 6, -2*k + 1 = -5*t + 6*t. Solve t*o + 4*p = 13, -6*p + 7*p = -3*o + 5 for o.
1
Suppose -3*j + 169*v - 2 = 165*v, -3*j - 5*v = -16. Solve -j*t - 41 = 5*p - 24, 5*t + 31 = -p for t.
-6
Suppose 0 = 6*x + 70 - 58. Let l be (226/(-791))/(x/14). Solve 5*j - 12 = -l*d, -5*d - 5 = -4*j - 2 for j.
2
Suppose 0 = 6*g + 21*g - 3*g - 1056. Let j(l) = 43*l - 1. Let d be j(1). Let u = g - d. Solve u*y + 2*y = 5*a + 26, 0 = -4*y - 5*a + 6 for y.
4
Let v = -12623 - -12631. Solve 4*d - r - 9 + v = 0, -3*d + 2*r = 3 for d.
1
Let y = -904 - -475. Let d = y - -432. Solve 3*g + i + 15 = 0, 0 = d*i - 7*i for g.
-5
Let d(c) = -10*c - 40. Let h be d(-3). Let t be h/(5 + 0) - (3 - 10). Solve t*g - 35 = -5*r, -g = -0*g - 4*r + 18 for g.
2
Suppose -62*i = -60*i - 136. Let w = -68 + i. Solve w*z - 4*z - 2*s + 28 = 0, 5*z - 5*s = 5 for z.
5
Let r = -3656 + 3658. Solve 0*t - 3*n + 1 = t, -t - 9 = -r*n for t.
-5
Let u(h) = h**2 + 13*h + 15. Suppose 10*r - 30 = 13*r. Let w be u(r). Let l = w - -38. Solve -3*s = -6*n + 4*n - 21, -l = -4*s + n for s.
5
Let f = -2 - -7. Let q = 207 - 153. Let i be 6/27 - (-420)/q. Solve -5*o = -3*o - f*l + 22, -4*o - i = -l for o.
-1
Let y be 2 + (182 - -4 - -4). Let m be 6/51 + y/102. Solve 6*x + m*t + 20 = 2*x, -2*t - 8 = 0 for x.
-3
Let u(z) = -67*z + 236 + 37*z + 51*z. Let o be u(-11). Solve f - 3 = 4*a, o*f + 13 + 12 = 0 for a.
-2
Let d(k) = 8*k**2 - 3*k - 2. Let z be d(-2). Suppose -11*c + z + 19 = 0. Solve c*t + 3 = 4*n - 13, 5*n = -3*t + 20 for t.
0
Let s(p) = -2*p**3 + 9*p**2 + 5*p - 4. Let g be s(5). Let n = 29 + g. Suppose 7*i = 3 + n. Solve 0 = 4*m - 4*u, u + i*u = 10 for m.
2
Let f be 8/6*(-12)/(-8). Let n(z) = -z**2 - 2*z + 6. Let r be n(8). Let x = r - -91. Solve f*q - 11 = -w, -x = -2*w - 0*w - 3*q for w.
1
Let s = 9234 + -9234. Solve 11 = -5*l - a, s = -a - 20 + 24 for l.
-3
Suppose 2*l = -0*h - 3*h - 42, 5*l + h = -131. Let s be (3 - -43)/(6/(-3)). Let p = s - l. Solve 3*k - 2 = -g - 6, -2*g + p*k = 8 for g.
-4
Let h(z) = -z**3 - z - 6. Let n be h(-2). Solve 3*y = n*t + 27, 3*y = 15 - 0 for t.
-3
Let s(l) = 4*l**2 - 11*l + 12. Let z be s(1). Solve 20 = -4*o - 0*o - m, 20 = -z*m for o.
-4
Let h = -704 - -705. Let m be (6/(-5))/(h/(-15)*6). Solve 3*y - y - 2*v + 20 = 0, -4*v + 35 = -m*y for y.
-5
Let l(p) = 10*p - 18. Suppose 5*m - 11 = -1. Let y be l(m). Solve 0 = y*c + 10, -4*c - 27 = 2*v + c for v.
-1
Suppose 0 = f + 4*x + 24, 12*x - 5 = -f - 85. Solve -2 = c - f*p, -70*c + 4 = -66*c - 4*p for c.
2
Let x = -4654 + 4658. Solve -2*q - 2*t = -t + 6, 5*q + x*t = -12 for q.
-4
Suppose -38 + 3167 = 94*d - 1571. Solve s + 5*r + d = 39, 3*s = -4*r for s.
4
Let x(k) be the first derivative of -k**2 + 2*k**2 + 12 + 6*k - 4*k. Let a be x(1). Solve 9*d - 4*d - a*q - 13 = 0, -4*q = -4*d + 12 for d.
1
Suppose 0 = 3*n + 3*u - 0 - 9, 5*n - 3*u = -1. Let y be (-5*6/15)/(n/(-2)). Solve -y*c - 20 = -2*g, 0*c = c - 3*g + 15 for c.
-3
Let c(s) = -s**3 + 8*s**2 - s. Let w be c(6). Suppose w = f + 63. Let a(j) = 7*j - 90. Let l be a(13). Solve 4*p + 5 = -q - 0*p, -f*q = -4*p - l for q.
-1
Let x be (315/60)/(1/32). Suppose x*k - 166*k = 4. Solve -5*g - 5*y = -20, -3*g - 15 = k*g - 2*y for g.
-1
Let q be (10/4 - 3)/((-2)/(-16)). Let j be (-151)/(-6) + q/(-48)*-2. Solve 4*z - 5 - j = 2*v, -3*v = -5*z + 40 for z.
5
Suppose 10*o - 14*o - 8 = 0, -4*o - 3 = x. Solve -k = 5*g + 37 - 8, x*k + g + 25 = 0 for k.
-4
Let s(a) = a**3 - 52*a**2 - 58*a + 265. Let u be s(53). Solve -5*h - 2*t - 36 = u, -h + 0*t + t = 3 for h.
-6
Let b = -4 - -1. Let a be (-2)/(-6) - 5/b. Let i = 2922 + -2915. Solve a*y + 10 + i = 3*c, -8 = 2*y for c.
3
Suppose -45 = -h - 8*h. Suppose h*q = 4*q + 5. Solve -4 = -q*o - 4*b, 2*b + b = -4*o + 4 for o.
4
Let b be -4*(-8 + (-4 - -14) - 3). Solve h + 3*k = 3*h - b, k + 20 = -4*h for h.
-4
Let z be (23 - (-2 - 0)) + (4 - 2). Let v = -24 + z. Suppose 6*r = v*r + 2*r. Solve -4*f - 12 = -0, r = -2*u - 4*f - 18 for u.
-3
Let l be ((-32)/10)/((-8)/60). Let x be 8/12*24/(3 + -2). Suppose 26*i = l*i + x. Solve 2*d - 4 = 0, 8*z - 4*z = 2*d + i for z.
3
Let u be 10 + 424/(-40) - (-2)/(-5). Let c(r) = -11*r + 3. Let f be c(u). Solve -d + s + 3 = 0, -4*d + 6*s = s - f for d.
1
Let m be 6 + -3 - 7/((-21)/225). Let h be m/16 - 11/(-88). Solve -y + 3*p = -p + 11, 4*y - 19 = -h*p for y.
1
Suppose 0 = 27*t + 11*t - 4*t - 136. Solve -15 = t*p + 5*g, -13*g = -p - 15*g - 6 for p.
0
Let d(o) = 2*o**2 + 13*o + 2. Let b be d(-7). Suppose -6 = -5*l + b. Suppose 3*w + 4*c = -12, -5*w - 9 = -2*w + l*c. Solve -2*y - y = 4*s - 16, s - 4 = w for y.
0
Let v be (-29 - 1)/((-75)/50). Suppose 0 = -583*b + 582*b + v. Solve -4*k + 9*k = -x - 20, x - 3*k - b = 0 for x.
5
Let f be 8/(-10) - (-1975)/125. Suppose f*q + 60 = 18*q. Solve 24 = n - 0*n + 5*h,