 0*b + 3*a + 10, -4 = 4*b + 2*a for b.
1
Let b be 1*((2 - -13) + 0). Solve p + 12 = 3*c + 2, -2*c = p - b for p.
5
Let l be 136/(-10) + 2/(-5). Let p be (-27)/(-6)*l/(-21). Solve 5*u = -p*g + 26, 5*g - u = 4*u - 10 for g.
2
Suppose -12*p + 11*p = 2*g - 46, -3*g = 3. Let m = p + -45. Solve 5*d - 13 = 5*f + 2, m*d + 12 = -4*f for d.
0
Let v(s) = -10*s + 64. Let f be v(6). Solve 12 = 3*g - 4*d, -5*g - f = 2*d + 2 for g.
0
Suppose -45*s - 121 = -796. Solve c - 5*c - 3*f = s, -c = 4*f + 7 for c.
-3
Let j = 7 + 0. Let b = j + -10. Let v be (16/20)/(b/(-45)). Solve 5 + v = -5*u - g, g = u + 7 for u.
-4
Suppose 4956*m - 4963*m = -35. Solve -2 = -2*p, -p + m*p - 7 = y for y.
-3
Suppose -3*z = -u - 0*u - 20, -19 = -3*z + 2*u. Suppose -z*v = v. Solve 3*f - 6 = 3*s, 2*s + s - 5*f + 8 = v for s.
-1
Suppose -2 = g + g + 4*y, 4*y + 12 = 0. Let w = -2 + g. Solve -a + 3 = 2*q, 4*q - w = 3*a - 2*a for q.
1
Let i be (-2)/(-6) + 42/(-9)*-1. Solve 4*t + 4*u = -4, -5*t + i*u - 3 = -2*t for t.
-1
Let o be (-27)/(-15)*130/78. Solve 2*p + 2*c = 7*p, 0 = -o*p + c + 1 for p.
2
Let j = 3 - 0. Let v = 1 + j. Suppose -n + 5*a = 2*n + 13, -3*n + v*a = 8. Solve 28 = n*x - 4*t, -2*t - 5 = 1 for x.
4
Let u be ((-29)/5 + 1)/((-1)/5). Suppose 4*w - u = -8. Solve -2*l = -l + m, 0 = -3*l + w*m for l.
0
Let f be 22 - -6*(-1)/3. Let r be (f/(-25))/(2/(-5)). Solve -r*n = 3*g - 5, n + n = -4 for g.
3
Suppose -s + 4*s = 0. Let m(g) = -g**2 - 6 + 0*g + s*g + g - 8*g. Let n be m(-6). Solve -3*r + 3*k = -6 - 9, n = -k for r.
5
Let z(h) = -2*h - 7. Let m be z(-2). Let q be 2 - (-3 - (m + 0)). Solve 2*y + y - q*n = -15, y - 3 = -2*n for y.
-3
Let d = 1281 - 1277. Solve 2*h - 8 = 0, -4*z = d*h + 2 + 2 for z.
-5
Let v(n) = -10*n - 69. Let x(u) = 4*u + 34. Let q(o) = 6*v(o) + 14*x(o). Let z be q(15). Solve -z*p + 2*y = 8, 21 = -4*p - y - 0*y for p.
-5
Suppose 0 = 8*q - 4*q - 20. Suppose 0 = -3*p + 2*p + 3*d + 9, 0 = 5*d + 10. Solve p*m + k = 15, q*m - 25 = -0*m - 4*k for m.
5
Let x(a) = a**3 - 9*a**2 + 19*a + 4. Let k be x(6). Solve 2*q - q + 5*o = -20, 5*q + 3*o = k for q.
5
Let s be (-1 - 15/(-10))*10. Solve -s*u + k - 8 = -2*u, 0 = -5*u - 4*k - 36 for u.
-4
Suppose 6*h + 130 = h. Let m = -12 - h. Let j be 34/m - 44/(-77). Solve -4*u - 24 = -4*k, 4*k + 3 = j*u + 25 for u.
-2
Let m be ((-56)/(-6))/((-30)/(-135)). Let j = -27 + m. Solve -30 = -2*z - 4*c, 3*c - j = -4*z + 20 for z.
5
Let j(g) be the first derivative of -g**3/3 + 9*g**2/2 + 4*g - 6. Let o be j(9). Solve -3*z - 3 = o*k, k + 0*k - 13 = 2*z for z.
-5
Suppose 4*f = 3*z - 16, 4*z + 2*f - 14 = -0*z. Suppose 0 = -7*g + 5*g + z. Solve -2*l - g*t = 2*l - 16, -3*l + 19 = -2*t for l.
5
Suppose -5*u + 2 + 43 = 0. Solve 5*l = -3*t - 5 - u, -1 = l for t.
-3
Suppose -4*p + 0 = -2*t + 4, -4*t - p - 1 = 0. Solve -3*f - 5*q + 21 = t, 2*f - 14*q + 11 = -9*q for f.
2
Let j(v) = -4*v - 84. Let l be j(-22). Solve -u = -l, -2*o - 14 = -0*o - 4*u for o.
1
Suppose 2*z + 2*g = 2, -11 = 3*z - 6*z - g. Solve -u + 9 = -z*j, 4*j + 9 = -5*u - 4 for u.
-1
Suppose 25*y - 5*y - 40 = 0. Solve -2*s = -3*p + 4 - 1, 14 = -4*s - y*p for s.
-3
Let s be 2 - (6/3 - 4). Let p = -834 + 834. Let w be 4/16 - 63/(-4). Solve -2*o + 7 = 3*k, s*k - 4*o - w = -p*k for k.
3
Let k be -2*1*2*(-14)/7. Suppose 2*b = 4*z + 40, 5*z - 2*b - 8 = -60. Let f = -10 - z. Solve 31 = 2*q + 5*p, 0 = -q + p - f*p + k for q.
3
Let y = -85 - -175. Let f = y + -85. Solve -4*n = i - f - 5, 0 = 2*n + i - 6 for n.
2
Let z(o) = -o**2 + 5*o + 47. Let g be z(-9). Let m = -74 - g. Solve -20 = m*k - 0, 5*k = b - 16 for b.
-4
Let s = -7 + 9. Let m be (-8)/(-5) - s/(-5). Suppose 0*k - 2*f - 60 = -5*k, m*k + 4*f - 48 = 0. Solve -3*b - 21 = -4*a - 1, 4*b + a + k = 0 for b.
-4
Let u = -4 + 4. Let l = 5 - u. Solve -l*y = 5*f + 20, 3*f - 15 = 3*y + 3 for y.
-5
Let p be (-105)/(-27) + 8/72. Solve p*u = -8, -4*t + 1 = -4*u + 13 for t.
-5
Let g = -14 - -25. Let s be (g + -1)/(2/5). Suppose -3*a + s = 2*a. Solve -5*c = a*u - 10, -3*u - 4 = -4*u - 2*c for u.
0
Suppose -2*w = -6*w + 212. Suppose -w = -4*l - 13. Solve -5*x = s - 10, -4*s - l = -2*s for x.
3
Suppose -8 = -4*z - 0. Solve z*c + 0*i = -2*i - 4, -3*i = -6 for c.
-4
Let d be (2 + -1)/(5/35). Let n be 9/45 - (-31)/(-5). Let u(w) = -5*w - 29. Let b be u(n). Solve k - b = x, 0*k - d = 5*k + x for k.
-1
Suppose -4*a = 4*h + 12, a - 7 = 3*h + 2. Solve -4*u - 3*y = a, -u + 3*u - 2*y + 14 = 0 for u.
-3
Suppose 5*n - f + 8 = -2*f, 0 = 4*n + 2*f + 4. Let t be 1 - (n + 1 - 1). Let b be (-20)/(-12)*3 - t. Solve -2*h = 2*k - 10, -4*k + b*h = -k for k.
2
Let f = -17 + 37. Suppose 72 = -r + 9*r. Suppose -13*y + 12 = -r*y. Solve -4*s = y*t + 2*t + f, 0 = s + 5 for t.
0
Let p = -516 + 519. Solve 0 = p*x + 4*t + 6 - 1, -3*t = 6 for x.
1
Let s = -45 - -42. Let r(l) = 2*l + 13. Let m be r(s). Solve m = 3*b - g - 0, 0 = 3*b + 3*g - 3 for b.
2
Suppose -22*y - 19*y + 82 = 0. Let o(p) = p - 3 + 0*p - 2*p. Let q be o(-6). Solve j - 7 = -q*t, j = -2*t + y*j + 13 for t.
4
Suppose -v - 55 = 4*j - 18, 0 = 5*v + j + 147. Let i = -41 + 73. Let p = i + v. Solve -q - w + p = -1, -4*q - 5*w = -21 for q.
-1
Suppose -62 = -2*n - 40. Solve -2*b + 3*u + n = 4, 20 = 5*b - 5*u for b.
5
Let f(x) = 3 - 3*x**2 + 2*x**2 + 2*x + 2*x**2. Let h be f(-4). Suppose -132 - 29 = -54*k + 1. Solve 3*l - 11 - 10 = k*s, 2*s + 3*l = h for s.
-2
Suppose 5*y = -4*b + 8, -2*b - 3 + 7 = -4*y. Solve 1 - 9 = -5*q - 3*d, -q + b*d - 1 = 0 for q.
1
Let i be 20/(-2*(0 + -1)). Let d(u) = 31*u**2 + 2*u + 1. Let l be d(-1). Solve 2*z - i = 0, -5*w = -z + 5*z - l for w.
2
Let y(w) = -2*w**2 - 7*w + 59. Let l be y(-7). Solve -1 = 4*n - k, 3*n + 5*k + l - 38 = 0 for n.
1
Let x(i) = -2*i + 14. Let j be x(7). Let b be 5 + 1 + (-1 - j). Solve 2*f - 33 = b*k, 0*k - 4*f = -k - 21 for k.
-5
Let r(j) = 10*j - 9. Let b(o) = -o + 1. Let h(u) = -18*b(u) - 2*r(u). Let n be h(-1). Solve 0 = -4*y - 4*l + l - 9, 2*y = -n*l - 6 for y.
0
Suppose 2*m + 6 = 3*i, m + i = -3*m - 40. Let r(v) = -2*v - 16. Let a be r(m). Let t be a/5*(-2 - -7). Solve 6 = -t*w - 2*x, 0 = 2*w - x + 5*x + 14 for w.
1
Let g be 42/18 - 18/(-27). Solve 3*a - 3*z + 28 = 10, -g*z = 4*a + 3 for a.
-3
Let h be (4 - 203/35)/(6/(-10)). Solve h*w + 7 = -g + 2, 2*w + 10 = g for w.
-3
Suppose 0 = -3*y + 3*n + 27, y + 5*n = -0*y + 3. Suppose v + 4 = y. Solve v*s + 4*m + 4 = -0, 5*m = -s - 13 for s.
2
Suppose l + 2*u = 5, 0*l = 2*l + u - 7. Solve 0 = -l*g - 2*s + 3 - 7, -12 = 4*g - 4*s for g.
-2
Let d(z) = z**3 + 8*z**2 + 11*z - 2. Let f be d(-6). Suppose -2*b = h - 22, -f*b - 3*h = -26 - 14. Solve 0 = 3*o - 0*l + l - b, 5*o + 3*l - 27 = 0 for o.
3
Suppose -4*o = p - 6*o - 10, 3*p - 38 = -2*o. Suppose -p = -4*h + 4. Solve 0 = h*r + 4*q + 32, 2*r - 3*q + q = -4 for r.
-5
Suppose y - 12 = -2*y. Suppose 1 = -g + 2, -3*p - 2*g + 2 = 0. Solve p = 2*l + y*x + 6 - 0, x + 6 = -5*l for l.
-1
Suppose x = -4*x - 15, 12 = -3*z - 4*x. Let u = -222 - -257. Suppose -5*r - 6*y + 2*y = -60, 5*r - y = u. Solve z = -2*w - 2*m - r, -4*w + 3*m - 11 = 5 for w.
-4
Let o be (-4 + 6 + -16)/2. Let w(k) = -7*k**2 - 3*k**3 + 25 - 9 + 2*k**3 + 0*k**3 + 2*k. Let a be w(o). Solve -2*x - 19 = 5*c, -c - 11 = 6*x - a*x for x.
-2
Let c = 109 - 104. Suppose -c*y + 76 - 51 = 0. Solve d + 22 = -y*s, 0*s + 25 = -5*s for d.
3
Suppose 0 = -2*l - 6*z + z + 35, -3*z + 10 = -l. Solve 2*x - 3*o = -0*x + 18, l = 3*x + o for x.
3
Suppose -4*j - j = -2*q, q - 4*j = 0. Suppose -l + 2*l - 4 = q. Suppose c = l*b + 12, 0*c + 3*b = -2*c + 2. Solve 4*y - c*n = 16, 5*y + 2*n + 13 = 40 for y.
5
Let d be 1024/(-16) - (-1 - (2 + -5)). Let i = 71 + d. Let r = -7 + 10. Solve v + i*t = -15, -4*v + t = -r*t - 12 for v.
0
Let p = -61 + 78. Let x = 17 - p. Solve -3*o + 17 = s, x = -0*o + 3*o + 5*s - 25 for o.
5
Suppose 0*d = -24*d + 72. Solve 3 = p - 7*m + 3*m, -2*p = -d*m + 4 for p.
-5
Let o(t) = -t**2 + 7*t - 2. Let s be o(6). Let w(d) = -d**3 - 15*d**2 - 59*d - 1195. Let x be w(-16). Solve -s*n = 2*z - 22, x*z + 3*n = 19 + 15 for z.
5
Let k be (3 + -3)/(-1 + (-3 - -5)). Let f = -13 - -19. Suppose -3*g + g = -s + 6, 2*s + 2*g - f = k. Solve -2*w - o - 19 = 4*o, 20 = -s*o for w.
3
Let f be -2 - (-6 + 0 + 1). Suppose n - a = f, 2*a = -3*n - 16 - 0. Let p be (-10)/n*(10 - 9). Solve 0 = p*i + 3*h - 23, -4*i - 14 = 3*h - 33 for i.
4
Let m(k) = k