 = 18, z = 4*m - z - 6 for m.
3
Suppose -5*a + 4*b - 12 = -11, 5*b - 8 = 4*a. Solve -a*c + 2*p = -2*c + 10, -5*p = -25 for c.
0
Let p = 2571 - 2569. Solve 0 = -p*h - 4*c - 26, 15*h + 3*c + 17 = 14*h for h.
-5
Let k(m) = 9*m - 53. Let c be k(6). Solve 3*y + 11 - c = -5*o, 15 = -3*y for o.
1
Let r be (172/10)/(3 - 32/10). Let y = 89 + r. Solve y*d - 4 = -2*h, -d - 2*h + 4 = 4*d for d.
0
Suppose h - 8 = -3. Solve -4*s + h*k + 20 = 0, -2*k - 8 = -0*s + 4*s for s.
0
Let p be 12*(-1)/(-3)*5/5. Solve -q - 9 = p*z, -5*q - 6 = 4*z + 7 for z.
-2
Suppose d - 2*d = -13. Let q(k) = 7 + 12*k**2 - 2 - d*k**2 - 4*k. Let n be q(-5). Solve -a + 4*h = 6*h + 2, 3*a + 2*h - 2 = n for a.
2
Suppose -4*d = -4*k, -15 = -3*k - 2*k. Let s be (-6 - 3)/3 - -11. Suppose 6*u = c + u - 7, 0 = u. Solve 0 = -4*i + 2*n + 8, -c*i - 4*n + s = -d*i for i.
2
Let c be 6 - (-1 - (0 - 2)). Solve c*h - 3*h + 5*x = 10, -3*x = -5*h - 6 for h.
0
Suppose 16 - 6 = 2*v. Suppose 16 = v*m - 4. Solve m*w + s + 18 = 0, w + s - 3*s + 9 = 0 for w.
-5
Suppose -3*j - 5*g + 30 = 0, 7*j - 10*j + 9 = -2*g. Solve 4*y = -d - 8, -20 = j*d - 0 for y.
-1
Suppose -6*l = -3*l - 12. Suppose 0 = 3*m - 4*w - 15, m - 13 = 4*w. Solve 2*z + 5*x = 10, z + 2*x + m - l = 0 for z.
-5
Let x be 2 + -1 + -4 - -3. Suppose 3*f + 3 = -3, o + 2*f + 4 = x. Solve o = -h + 3, 5*d + 3*h + 4 = 6*h for d.
1
Let m be (0 - -4) + 0/2. Suppose s - 5*k + 19 = m*s, -3*k = -2*s. Solve 13 = -5*g + x + x, -11 = s*g - 2*x for g.
-1
Let s be (-19)/(-2)*4/2. Let a = s - 13. Suppose 0 = g + 3*i + a, -5*i - 8 - 7 = 0. Solve g*d + 3 + 6 = 0, -4*d = -w + 11 for w.
-1
Let s(f) = -6*f + 2. Let c be s(2). Let b be 15 + -16 - (c + -1). Solve 2*a + 4*q + 20 = a, 0 = -2*q - b for a.
0
Suppose -4*r + 32 = 4*r. Solve -2*d + 3*z + 4 + 6 = 0, r*d - 4 = 2*z for d.
-1
Let x(a) = -6*a + 74. Let c be x(12). Solve -3*r + 21 = -b + r, -7 = c*b - r for b.
-1
Let o be ((-60)/(-9))/((-2)/6). Let w be o/16*1*-4. Solve -w*g + 2*u = 22, -2*u + 20 = -4*g + 2*u for g.
-4
Let v = -1938 - -1938. Solve 0 = -3*i + 2*h + 1, 0 = -v*i - 5*i - 3*h + 27 for i.
3
Let h(x) = 4*x + 76. Let l be h(-18). Solve -2*w - 3*w = 3*t + 40, 0 = 5*w - l*t + 5 for w.
-5
Let p(d) = d**3 - 3*d**2 - d + 2. Let b(x) = x**2 - x - 2. Let c be b(-2). Let v be p(c). Solve 0*r - r = o + 3, 4*r + 5*o + v = 0 for r.
-1
Let l(i) = 27*i - 130. Let o be l(5). Solve 8 = o*t - v, -6*t = -7*t - v - 2 for t.
1
Let d be 1248/663 - (-4)/34. Solve -21 = 4*i + v, 2*i + 0*i = d*v + 2 for i.
-4
Suppose -l - 4*l + n + 55 = 0, -55 = -5*l - n. Solve -5*r - l = -4*b + 4, -4*b = r - 21 for b.
5
Let g be 2/6 - (-105)/9. Let u(n) = -n**2 - 9*n - 6. Let d be u(-4). Let k = d - g. Solve 0 = -5*z + 3*f, f + k*f = z - 12 for z.
-3
Suppose 0 = -3*m + 11 - 5. Let i = -4 + 6. Let s be (2 - i/(-2)) + m. Solve -s*v - 20 = -2*x, -3*v - 2*v = -4*x + 30 for x.
5
Let k(q) = q**3 - 15*q**2 + q - 12. Let i be k(15). Solve y + 2 = -3*n + i, -n - 8 = 2*y for y.
-5
Let c(l) = -l**2 - 3*l + 1. Let i be c(-5). Let u = -37 + 26. Let k = i - u. Solve -14 = k*v + 2*r, 2*v - 3*r = 3 + 3 for v.
-3
Let u = -2398 + 2400. Let q = -7 - -10. Solve -q*s + 2*z + 6 = 0, u*s - 4 = z - 6*z for s.
2
Let a = 1 - 5. Let f be 5 - 0*(-1)/a. Suppose 3*v + 2*q + 3*q = -15, -f*q - 15 = 4*v. Solve 6 = 5*d + o, -2*d + 3 = -v*o + o for d.
1
Let c = -9 - -43. Suppose -2*q = s + s - c, 0 = -3*s - 9. Suppose d - q = -3*d. Solve 0 = -4*g - 2*j - 16, 12 = 2*g + 2*g - d*j for g.
-2
Let j be (12/(-8))/(1/(-2)). Let x be ((-10)/(-15)*-3 + 1)*0. Solve x = -j*p - 2*r + 13, -2*p + r - 13 = -2*r for p.
1
Let s(u) = 2*u**3 - 7*u**2 + 23*u - 29. Let x be s(2). Solve 16 - 5 = -x*l + 3*w, 16 = -l - 4*w for l.
-4
Let l be (-8*(-25)/(-60))/((-2)/3). Solve -3*u + 1 = z, 4 = -3*z - l*u - 1 for z.
-5
Let n(q) = 10*q - 98. Let m be n(10). Solve -5*w - a - 26 + 8 = 0, -2*w = 3*a + m for w.
-4
Suppose -2*j - 8 = 0, -l + 0*l = -2*j - 13. Suppose -60 = 4*f + f. Let z = f + 12. Solve z*g + 3*g = 3*u - 3, 0 = g + 2*u - l for g.
1
Suppose 36 - 12 = 6*g. Suppose -20 = 2*f + g*t, 0 = -f - 3*t - 9 - 6. Solve -4*k = -4*o - 16, 2*o + f*k - 3*k = -10 for o.
-2
Let p(j) = 2*j**2 + 86*j - 83. Let w be p(-44). Solve -3*r - 2*f + 5 = 0, 3*r - 2*r + 21 = w*f for r.
-1
Let m = 16 + -22. Let h be 4/(-10) + (-13)/5. Let s = h - m. Solve -s*d = 5*w + 5, 0*d + 5 = 5*w + 5*d for w.
-4
Let c be ((-2)/(-5))/((-2)/(-20)). Let m(q) = -q + q**2 - q + 5*q + c. Let l be m(-2). Solve -l = b, -4*r = r + 2*b - 11 for r.
3
Let x(u) be the first derivative of 3*u**2/2 - 10*u + 3. Let d be x(5). Solve 6*f - 3*f - 34 = -d*m, 3 = f for m.
5
Let q = -12 + 16. Let j be (25/(-20))/((-1)/q). Let u = -4 + 6. Solve 3 = -j*a + 3*d, -3*d + 5 = 3*a + u*d for a.
0
Let u be (-14)/(-4) - (-2)/4. Let g be 6*(-2)/u + 0. Let d = g - -15. Solve -2*r + 6 = p, 4*r + 0*p = -p + d for r.
3
Let a = -45 + 47. Suppose -a*k - 107 = -5*b + k, b + 3*k = 25. Suppose -4*y + 3*t - t + 14 = 0, -t = 2*y - 1. Solve -g = 5*w - 10, -y*w - 6*g = -2*g - b for w.
1
Let c(q) = -q**3 + 12*q**2 - 12*q + 11. Let d be (-560)/(-50) - 1/5. Let f be c(d). Let m be 1 + 0 + f + 4. Solve -27 = k + m*t - 1, -t - 9 = 4*k for k.
-1
Let p = -605 - -609. Solve -h - p = -5*i, 2*i + 7 = 5*i + 4*h for i.
1
Let n = -439 + 444. Solve -4*d - 10 - 2 = 0, 0 = -2*m - n*d - 5 for m.
5
Let g = -3173 + 3175. Let o be 1 + (0 - 1*-1). Solve -g + 4 = -i - o*y, -4*y = 8 for i.
2
Let c(t) = t**2 + 9*t + 26. Let o be c(-6). Let b(j) = -j**3 + 11*j**2 - 23*j + 5. Let g be b(o). Solve -5*m + 3*z = g, 5*m + 17 = z + z for m.
-5
Let a(z) = 51*z**2 + z - 2. Let b be a(1). Let l = -19 + b. Solve o - 12 = 2*q - 3*o, 0 = 4*q + 3*o - l for q.
4
Let k = 392 - 386. Solve 5*z = 16 + 4, 4*z - k = -5*a for a.
-2
Suppose -35*t + 52*t = 68. Solve -5 = -5*s, t*n - s - 12 = 3*s for n.
4
Let a(r) = -r + 2. Let w be a(0). Let y be (-64)/(-18) - (-15)/(-20)*(-112)/189. Solve u + y*f - w = -f, u + 3*f = 0 for u.
-3
Let n = 21 - 40. Let i = -7 - n. Solve -3*y - 2*x = x + i, -4*y - x - 10 = 0 for y.
-2
Suppose -3*i - 4*b = -30, -3*i + 13 + 17 = -b. Solve h + 10 = -2*x, 5*x + 14 + i = -2*h for x.
-4
Let f(r) = r**3 + 2*r**2. Let d be f(-2). Let k = 7 - -1. Solve d = -i - 3*v - 1 + k, 2*v - 5 = -i for i.
1
Let v be 27/(-6)*(-4)/6. Let r(s) = s + 3. Let g be r(3). Suppose d - 4 = -2*m, -v*m = d + d - g. Solve 4*w + m = -j, 4*w + 7 = j + 1 for w.
-1
Suppose -74*z - 313*z + 774 = 0. Suppose -a = -0*a - 1. Let l be 5/3 - a/(-3). Solve -z*p = -2*r - 4, -l*r + 0*r - 1 = -p for p.
3
Let d = -152 - -156. Solve 0 = 2*s - d*z + 8, -2*s - z + 6*z - 9 = 0 for s.
-2
Let y be 12 - (6 - (8 - 8)). Solve h = -2*m + 7, 3*h = m - 1 - y for m.
4
Let j = -136 - -138. Solve 2*z + 3*r - j = -2*r, -r = z - 1 for z.
1
Suppose -2 = -2*k + k. Let g be 2 - (28/8 + -4)*0. Solve -k*q - 5*u + 19 = 0, -u = -g*q + 2*u - 5 for q.
2
Suppose -23 + 131 = 6*i. Solve 7*h - 4*h - i = -3*k, 24 = 5*k + 2*h for k.
4
Let h be (-1 - -13)/3 + -1. Suppose h*k - 4 = 2. Solve -k*u + 1 = -c, -2*u + u - 4*c = -23 for u.
3
Let m(k) = 1 + 4*k**3 + k**3 + 23*k - 4*k**3 + 14*k**2 - 11. Let s be m(-12). Solve 0 = -5*y + s*v - 10 - 15, 0 = 3*y - 3*v + 24 for y.
-3
Suppose m = 4*y - 17, -2*m - 5*y + 19 = -4*m. Solve m*c + 23 = -4*t, -2*t - 12 = -3*c - 5 for c.
-1
Let q(k) = k**2 + 9*k + 2. Let n be q(-9). Suppose -2*h + n = -8. Suppose -x - h = -2*x. Solve -3*l = -12, 2*p - 10 = -x*l + l for p.
-3
Suppose 0 = 4*z + 2*a - 81 + 21, 3*a + 30 = 2*z. Solve 4*p - z = 5*p - 5*y, -5*y = 3*p + 5 for p.
-5
Suppose 8 = n + 7. Suppose -n - 8 = l. Let r(z) = z**3 + 8*z**2 - 9*z + 2. Let i be r(l). Solve -p + 4*w - 1 = 0, i*w + w = -p + 6 for p.
3
Let s(u) = -3*u + 2. Let k be s(-1). Solve 4*r + 2 = -4*n - 2, k*r - 4*n = -23 for r.
-3
Suppose 8*q - 573 = -557. Solve -5*p = -q*n - 27, -4*n - 14 - 5 = -3*p for n.
-1
Let b be (-2)/8 - 10/(-8). Suppose -g + 3 = -b. Let s be (-101)/(-5) - ((-2)/(-2))/5. Solve -x - 5*q + 0 = s, x - 25 = g*q for x.
5
Suppose -12 = -4*s - 4. Let l = 6 - s. Suppose 0 = -3*g + l*g. Solve -2*u + 2*j - 18 = g, 25 = -u + 5*j - 0*j for u.
-5
Suppose 18*m = 16*m + 4. Suppose m*n + 9 = 5*n. Suppose -2*d - 19 = -0*x - n*x, 4*x = 4*d + 32. Solve -4*c + c - x*j - 9 = 0, -4*j - 24 = -2*c for c.
2
Let t be (48/18)/((-32)/(-24)). Solve -5*w + o = 26, 4*o - 7*o - t = w for w.
-5
