 r*d + 2 + 10, -6 = 2*d for y.
0
Let x be (2*-4*1)/(-2). Let f be 8/32 - 8/(25 - -7). Solve 0 = -f*o - o - 3*c, 2*o = -x*c for o.
0
Let n be 28 + (-6)/12*-6. Suppose -13*y + n = -21. Solve 3*t = 3*h - 3, -t - t = -y*h + 4 for t.
0
Let g(n) = n**3 - 6*n**2 + 9*n - 20. Let p be g(5). Suppose p = 19*a - 46 - 11. Solve 0 = -a*u + 3*s - 9, 0*s + 19 = -5*u + 3*s for u.
-5
Suppose -9*b + 391 = -75 + 34. Solve -5*o = 4*s + b, -25*s + 30*s + 51 = -4*o for o.
-4
Let y be (-1 + 3 - 4) + (17 - 140/10). Solve 0 = -i + y, 0 = -3*t - 4*i - 2 for t.
-2
Let o(y) = y**2 + 3*y - 5. Let p be o(2). Let k = 53 + -43. Let g = 5 - -1. Solve -5*q = 2*c - 2, p*c + k = -2*q - g for q.
2
Suppose 58*q = 54*q + 20. Let w be 2 - (-12)/9*(-18)/(-12). Solve p + 3 = -w*o, p - 2 = q*o + 4 for o.
-1
Suppose -2*f + 4 = y, 9 = 5*y + 5*f - 6. Let p(u) = -1483*u - 2961. Let s be p(-2). Solve -4*x = s*l + 19, 4*l + 7 = 3*x + y*x for x.
-1
Suppose -47*f - 10359 = -10547. Solve 6 = 5*y - 3*y - a, -2*y + f*a = 0 for y.
4
Let h be 2650 + -8*(-5)/20. Let l be h/48 + 2/(-8). Solve 4*v + 5*c = -l + 14, -2*c = 10 for v.
-4
Let d = 40 - 29. Let y = d + -7. Suppose -5*z - 3 = y*m - 21, -3*z + 9 = 3*m. Solve 4*q = -2*s + 12, -2*s + 6*q - z = q for s.
2
Let n be 10/4 - 48/96. Solve 7*l + 13 = 8*l - n*u, 31 = 2*l - 5*u for l.
3
Suppose -71 + 1751 = 5*u. Let r = -334 + u. Solve -a - 3 = -3*b, 0 = 3*a - 3*b - r*b + 9 for a.
-3
Let w = -20390 + 20407. Solve w = 4*o - 5*s - 12, 0 = -2*o - 5*s + 7 for o.
6
Let l(n) = 2*n**2 + 51*n + 324. Let p be l(-14). Solve 23 = 3*q - p*d, 2*q + 0*q = -4*d - 6 for q.
5
Let r(m) = 17*m - 134. Let d be r(8). Solve 0 = -d*o - w - 4, -3*o + 8*o + 21 = 3*w for o.
-3
Let r be 52*3/36 - (-4)/6. Suppose m - 2*m = z - 1, 0 = 5*m - r. Let f = 5 + z. Solve u = -3*u + x + 12, -3*x = f*u + 2 for u.
2
Let q(s) = 597*s + 4780. Let x be q(-8). Solve x*y - 153*g + 7 = -150*g, 3*g - 25 = -5*y for y.
2
Suppose g + 1 = 3. Suppose 13*l - 17*l = 236. Let j = l + 84. Solve w = 5*z + 6*w - j, -z + 10 = g*w for z.
0
Let o = 115 + -98. Suppose 0 = o*l - 6*l - 22. Solve -r + 0*r - 4*q + 25 = 0, 30 = l*r + 4*q for r.
5
Let c be (113/791)/((-1)/(-7)). Solve 3*o = -5*w - 16, 9*o + w - c = 7*o for o.
3
Let m be 58/18 + (-2)/9. Let y(g) = -2*g**3 - 24*g**2 - 2*g - 21. Let t be y(-12). Let h = 77 - 70. Solve -m*k + h = t*w - k, 4*k + 11 = -w for w.
5
Let i(f) = 8*f**2 - 59*f + 7. Let n be i(11). Let c = n - 309. Solve 3*y = 2*h + c, 5*h - y - 11 = -34 for h.
-4
Suppose 27 = v - 2*w, -3532*v + 3535*v = -w + 46. Solve -4*y - 8 = 0, -19*y = p - v*y + 4 for p.
0
Let t(a) = -71*a + 7. Let m be t(3). Let r = -97 - m. Let n = 114 - r. Solve -7*f + 3*f - h = 5, -8 = n*f + 3*h for f.
-1
Let b be (20 - 14 - (2/2)/1) + -1. Solve -n + b*n + 27 = 3*q, -n - 19 = -3*q for q.
5
Let p = 446 - 451. Let x be p*-4*(-1)/(-10). Solve 0 = 5*h - 4*h - 3*m + 4, -x*m = -2*h - 4 for h.
-1
Let c(n) = n**2 - 10*n + 11. Let s be -3*6*7/(-14). Let t be c(s). Suppose t*z = 5*q - 3*z - 40, -z = 2*q - 7. Solve -2*d + 9 = q*j, -5*d + 0*d = 5*j for j.
3
Let p = -44 + 43. Let m(o) = 107*o - 5. Let t be m(p). Let h = 117 + t. Solve h*z + 4*s - 37 = 0, 0 = -3*z + 6*z + 4*s - 27 for z.
5
Suppose 6*p + 32 = 4*p + 4*s, -5 = -s. Let i be (p/(-8))/((-24)/(-128)). Solve -i = -w - 4*y, -w + y + 4 = 2*y for w.
4
Let w = 10532 - 10517. Solve 7*t - 5*t = 3*y - w, 15 = t + 3*y for t.
0
Let l = -422 - -425. Let u be l/2 - 6/(-4) - -2. Solve -2*c - 14 = u*f, -3*f - 9 = -4*c + 15 for c.
3
Let k = 23455 - 23451. Let t(q) = q**3 + 7*q**2 + 6*q. Let h be t(-6). Solve -k*p = h, -5*p + 6 = j + 4 for j.
2
Let o(b) = -72*b + 439. Let j be o(6). Solve 2*s = -5*x + j, -x - 5*s + 32 - 49 = 0 for x.
3
Let x = -2040 - -2040. Solve -5*s + w + 18 = x, -3 + 5 = -2*s + 5*w for s.
4
Suppose -4*o + 6 = -5*l - 5, 3*o + 4*l - 47 = 0. Suppose o*j - 76 = -10*j. Solve v + j = -4*m - 4, 5*m + v = -11 for m.
-3
Suppose 0 = -3*s + 11 + 7. Let y = 233 + -232. Suppose -l + s = y. Solve 2*z - 4*j - j = 25, j = 5*z - l for z.
0
Suppose -i + 2*w = -12, -3*i - 2*i - 2*w = -48. Suppose 140*h + i = 142*h. Solve -t + h*m + 10 = 0, -6*t + t = -3*m + 16 for t.
-5
Suppose -7 = -6*q + 5. Let p(g) = -3*g + g - 2*g - 8 - q*g. Let f be p(-4). Solve -m = m + s - 4, 4*s - f = 4*m for m.
0
Let t = 34 + -24. Let n(y) = 3*y - 25. Let i be n(t). Let p = 0 + 5. Solve o = -3*o - 16, i*o = p*l - 25 for l.
1
Suppose -4*n + 2*f = 4*f - 94, -15 = -3*f. Suppose 2*a - 4*t - 40 = 154, 0 = -5*t + 5. Let l = 103 - a. Solve 0 = 5*j + l*r + 24, -n = 4*j + r + 4*r for j.
-4
Suppose -9 = -2*y + p, -5*y - 5*p - 1 = -4*y. Suppose 0*b = -b + y*b. Solve 4*j - 2*z - 2 = b, -2*z - 2 = 3*j + j for j.
0
Let g(m) = -10*m - 22. Let c be g(-6). Let n be 63/(-84) - 2*c/(-16). Let p be 1/(-2) - (1 - 38/n). Solve 2*y = -2*z - 8, 4*z + 2*y + p = -10 for z.
-5
Suppose 5*u + 3*y - 16 = 0, 3*y - 11 = -4*u + 3. Let t be -2 + (u - -4)*1. Solve 0*h - 3*h = -5*b - 16, t*b + 2*h = -4 for b.
-2
Let p(g) = 6*g**3 + 113*g**2 - 39*g - 377. Let t be p(-19). Solve 0 = -3*d - t*q + 3, -d + 5*q = 13 + 10 for d.
-3
Let w(l) = -l**2 + 284*l - 4030. Let r be w(15). Solve -2*q + 65*u = 63*u + 14, -q - r*u = -5 for q.
-5
Suppose 3*q = 91 + 230. Suppose -q + 111 = c. Solve 0 = -2*w + 2*n, -4*w = -3*w + c*n - 20 for w.
4
Let s(y) = -y**2 - 18*y + 2. Let z be s(-18). Let t be (z/(-6))/((-9)/54). Solve 0 = -3*m - t*n - 16, 3*m - 2*n = 2*n - 4 for m.
-4
Suppose 5*y - 75 = 5*n, 5*y + 2*n = 45 + 23. Suppose -i + 0 = c - y, 5*i + 2*c - 64 = 0. Solve 0 = j - 2*x - i, -3*j - 12 = 3*x - 3 for j.
2
Suppose 54*v = -4*w + 52*v + 10, 4*w - 35 = 3*v. Solve -a - 2*z + 4 = 0, 2*a - 4*z + w + 11 = 0 for a.
-2
Let i(a) = -2*a**2 + 15*a + 8. Let t(n) = -2*n**2 + 14*n + 8. Let q be t(7). Let d be i(q). Solve 2*w + 8 = -b - b, -5*w + 3*b + 12 = d for w.
0
Let l = 64 - 36. Let i = l - 5. Suppose -i = -s - 21. Solve 0 = -0*a + a - 3*f + 4, -a - s*f = -6 for a.
2
Let q(l) = l**3 + 61*l**2 + 109*l - 526. Let r be q(-59). Let u = -28 + 31. Solve c + u = -2*c + 3*d, d = r for c.
4
Let w(a) = -a**2 + 33*a + 503. Let o be w(-11). Solve 4*k = 4*u + 28, o*u + 11 = -3*k + 14*u for k.
3
Suppose -2*s = 5*r + 92 - 96, -56 = -4*r + 5*s. Solve -2*p + 4*o = 0, 0 = r*p + 2*o - 69 + 89 for p.
-4
Let x be ((-2)/(-2))/((-2*(-9)/(-132))/((-93)/62)). Let b = 5 - 2. Suppose -4*d + b*d + 7 = 0. Solve -5*m + 10 = -w, -4*w - d - x = 2*m for w.
-5
Let z be (-9)/((231/(-14))/11). Solve 5*s + 24 = 3*a + z, 4*s + 10 = -2*a for a.
1
Let r(j) = j**2 - 13*j. Let f be r(-1). Solve -20*p + 19*p - f = 5*h, -2*p - 6 = -h for p.
-4
Suppose 0 = 2*u + 2*s + s - 12, -20 = 2*u - 5*s. Suppose -4*i + 8 + 8 = 0. Solve -3*o - 3*r = -u*o + 21, i*o = -5*r - 31 for o.
-4
Suppose 0*g = -4*g - 32. Let r(j) = -j**2 - 20*j - 3. Let t be r(-20). Let f = t - g. Solve -3*c + f*w + 9 = -0*c, 5*c = -5*w + 15 for c.
3
Suppose 26*h - 6297 - 1867 = 0. Let w = -307 + h. Solve n + 7 - 14 = 2*z, 4*n = z + w for n.
1
Suppose 487*u = 490*u. Suppose u*j - 3 = -j. Solve 3*i - 2 = -2*t, 6*t = j*t - 5*i + 3 for t.
1
Let f = 315 + -306. Suppose -g + 2*w = -2, -f*w + 5*w = -20. Solve 4*s = m - 18, 6*s = 2*m + 4*s - g for m.
2
Let z(p) be the second derivative of -21*p + 0*p**2 + 0 + 1/6*p**3. Let m be z(11). Solve -2*d + 0*v - v = -1, 2*v = 5*d + m for d.
-1
Let r(y) = 6*y + 13. Let w be r(-2). Let b be (57/9 - 3)*w*3. Suppose -12*z + b*z = -4. Solve 4*c - 2*i = 20, -z*i + 3 - 18 = -3*c for c.
5
Let m(j) = 12*j**2 - 9*j + 22. Let b be m(2). Suppose 33*d + 19 = b*d. Suppose 3*f = 7 + 2. Solve 4*o + c - 13 = 0, -o = f*c + d + 4 for o.
4
Suppose 178*t - 96 = 172*t. Let f(x) = x**2 - 16*x + 68. Let q be f(9). Solve q*w = -2*d - 12, -d = -0*w - 3*w - t for d.
4
Suppose -8*p + 365 = -3. Let u = p + -42. Solve 5*f - 5*x = 2*f + 11, -4*x = -u*f + 12 for f.
2
Let h = -402 - -407. Suppose -2*s - s + 66 = 0. Suppose -x - 3 = -17. Solve 4*q + 2*c = s, -4*q - h*c + x = -17 for q.
4
Let c(k) = -114*k**2 - 347*k - 7. Let f be c(-3). Solve 4*y = 3*v + 35, -3*v - 2*y + 35 = -f*v for v.
-5
Let d(c) = -21*c + 367. Let b be d(15). Suppose -k - b = -14*k. Solve 2*o = -4*g, -k = -2*g - o - o for g.
-2
Let k = 84 + -79. Suppose 0 = k*m - 39 - 21. Solve 0*h - 2*h - m = -4*v, -2*v = 2*h for h.
-2
Suppose -5*g + 5 = 3*x, -23*x - g + 18 = -19*x. Solve -31*s + x*