13, -3*g + 0*d + f = 2*d for g.
5
Let b = 7 - -1. Suppose 0 = 3*i + v - b, 5*i = -v - 4*v + 10. Suppose -4*y + i*r + 8 = r, 0 = -r - 2. Solve 5*j - 4*d + y = 0, 22 = -2*j + 4*j + 4*d for j.
3
Suppose -4*s + v + 79 = -88, -2*s - v = -79. Solve 2*u + 9 = 3*b, -4*u - 4*b - 9 = -s for u.
3
Suppose 2*f - 22*f + 40 = 0. Solve 4*w + 2 = -y + 3, -2*y = f*w + 4 for y.
-3
Let d = 6 + 3. Suppose -3 - d = -4*g. Let t = 12 - 8. Solve 0 = -z - m - g*m - 17, -2*z - t = 2*m for z.
3
Suppose 15*k - 220 = 11*k. Let x = k - 52. Solve 0 = -3*l - x*w + 27, 3*w - 31 = -2*l - 9 for l.
5
Let r = 7 + -5. Let a be (2/(-2) + r)*35. Let c = -87 - -91. Solve -c*q + 11 = n, -4*q + 4*n + 1 = -a for q.
4
Let y(h) = h**3 - 2*h**2 - 2*h. Let t be y(3). Let s be 0 + t + -2 + 0. Let g be (-1 + 0)*(s + -3). Solve -g*n - 24 = -5*q + 4, 4*q + 4 = -5*n for q.
4
Let n be (-2)/(((-6)/30)/(4/10)). Suppose -8*m + 12 = -n*m. Solve -x + f - m = x, -5*x - 4*f = -12 for x.
0
Let p = 568 - 566. Solve -2*v - 5*j + 11 = v, -v - p = -4*j for v.
2
Let x be -1 - -8 - (0 - -2). Solve -3*o + x = 4*m - 6, -2*o = 4*m - 6 for o.
5
Suppose -12*q = -3*q - 36. Let k(a) = a**3 - 6*a**2 - 7*a - 10. Let z be k(7). Let b be q/(-5)*(0 + z). Solve 3*w = 7*w - 2*p + b, 0 = -4*w - 3*p - 8 for w.
-2
Suppose -32 = -4*d - 4*d. Solve -d*c + 12 + 1 = -3*n, -5*c - n = -21 for c.
4
Let r = -9 - -13. Let h be (-2)/(-2 - -4)*0. Let x = r - h. Solve -4*k - 5 = -j, -x*k + 11 = 4*j + 31 for k.
-2
Let a be (2*-14)/4*1. Let l be 4/(-12) + a/(-3). Suppose -3*h + 3 = -l*h. Solve -x = -v + 1, h*x = x - 3*v - 2 for x.
-1
Suppose 2*z = 5 - 1. Let t be (9/6)/(1/z). Suppose v = -3*j - t, 3*v + 3*j - 3 = -0*j. Solve 4*f = -p - 4 + 21, 11 = v*f - p for f.
4
Let i be 1 + (1 - 0)/(6/12). Solve -4*m = 2*n - 12, -5*n = -i*m - 20 + 3 for m.
1
Suppose 4 = -23*j + 119. Solve 3*u = 2*c - 4 + 1, 0 = -j*c - 4*u + 19 for c.
3
Suppose -w - 1 = -14*a + 18*a, -5*w - 5*a + 25 = 0. Solve -9 = y - 4*i, 3*i + w = 3*y + 8*i for y.
-1
Suppose 1 - 10 = 3*r. Let i be (((-48)/(-4))/r)/(-2). Solve -z = -i*l, 2*l - l + 2*z = 5 for l.
1
Let b be 123/6 + 3*(-1)/(-6). Suppose 9*p - b = 2*p. Let c = -1 - -3. Solve -4*q = c*t - 0*t, q = -p*t for t.
0
Let t = 143 + -142. Solve -3*u + 18 - t = -k, 4 = 2*u + 3*k for u.
5
Suppose 4*k + 1 = x + 2, -k - 3*x = 3. Let i be (k + (-2)/4)*-34. Solve d - 13 = -3*u, 4*d + 5*u - i = -0*d for d.
-2
Suppose 18 = -t - 5*r, 4*t - r - 40 = -7. Let g(h) = -h**3 + 7*h**2 + 1. Let o be g(t). Solve -w + 4*j = -6, 4*j = -5*w + 7 - o for w.
2
Suppose -92*i = -33 - 151. Solve i*u = -c + 10, -3*c + u = -3*u for c.
4
Suppose 3*a - 25 = 23. Suppose 3*n - a = 2. Let c(g) = g**3 - 12*g**2 + 21*g - 6. Let x be c(10). Solve 2*o - 6 = -2*s, 4*s = -s + x*o + n for s.
2
Let l(m) = 5*m - 33. Let g be l(20). Let k = g - 64. Solve -n = 3*r - 7, -5*n + 11 = -k*n + 5*r for n.
-2
Let q = 127 - 124. Solve 2*b = 2*i - 8 - 2, -2*i = -q*b - 11 for i.
4
Let a = -12 + 12. Suppose a = -5*p + 10. Suppose 5*l = p*v + 15, -2*v - 15 = -5*l + 2*v. Solve -l*g - 25 = 2*j, -g - j - 14 + 4 = 0 for g.
-5
Suppose -995*t = -994*t - 15. Suppose -2*b - 4*f = 2*b - 16, 0 = f. Solve 4*x - 3*g - t = 0, 4*g + 20 = x + b*x for x.
0
Suppose 0 = 2*r + 3*r - 25. Suppose -r*a - 45 = -5*f, f - 4*a + 14 = 2*f. Solve 2 = q + q - 3*s, -5*s - f = -2*q for q.
-5
Let l(s) = 3*s**2 + 3*s - 1. Suppose 101*o - 103*o = 4. Let y be l(o). Let h be 1*6/((-4)/(-2)). Solve -3*c - h = -2*c, 0 = -5*x + y*c + 25 for x.
2
Suppose 7*l + 3*d = 2*l + 30, -l - 3*d + 18 = 0. Solve o = -4*t - l, -14 = -6*o + 2*o - 3*t for o.
5
Let s(c) = c**3 + 7*c**2 + 2. Let t(n) = 2*n**2 + 2*n - 3. Let g be t(2). Let h be 42/g*6/(-4). Let f be s(h). Solve 4*q + 5 = -2*r + 17, f*r - 7 = -3*q for q.
5
Suppose -3*r - 6 = h, 4*h - 3 = r - 1. Solve 2*j + 4 = q + 5*j, 4*q - 3*j - 16 = h for q.
4
Let z = -37 - -42. Suppose z*h = 22 + 43. Solve x + 2*v + 1 = 2, 0 = 3*x + v - h for x.
5
Let b(h) = 7*h - 6. Let y be b(3). Let z = -15 + y. Suppose 2*a - a + 2*t + 4 = 0, -a - 4*t - 10 = z. Solve 0*u = 3*f + a*u - 13, 28 = 3*f + 5*u for f.
1
Let j = -644 - -661. Solve -2*t + 14 = -2*u, 2*t - j = -3*t - u for t.
4
Suppose -3*i + 14 = -2*m - 27, -4*i + 47 = 5*m. Solve -28 = 5*s - t - i, -3*t = -4*s - 23 for s.
-2
Suppose -12*m + 6 = -10*m. Solve -a = 4*x + 8, 0*a - 1 = m*x + 2*a for x.
-3
Let s be (-4)/(1 + 1*-2). Suppose 4*t - 2 = -2*n, 5*n = 4*t - 5 + 10. Suppose s*x = 20 - t. Solve -3*v = b - 4*v + x, -3*v + 6 = 0 for b.
-3
Let s be (-45)/(-18) + (-7)/(-2). Solve 6*k + 4*w + 12 = 2*k, 2*k - s = w for k.
1
Suppose -33 = -15*l + 57. Solve 2*z - l = 4*r, 5*z - 3 = -r + 1 for z.
1
Let s = -2 - -6. Suppose 0 = 7*d - 18 - 171. Solve -4*f - 5 = -5*p + d, 2*p = -4*f - s for f.
-3
Let i(w) = 7 + w**2 - 1 - 13 - 11*w - 11. Let h be i(13). Suppose g + 2*g - 5*c + 3 = 0, h = -g + 4*c. Solve 2*y + y = -4*j + 21, -3 = 3*j - g*y for j.
3
Let i be 6 - 3*(-4)/(-6). Suppose -5*f - 2*t = -27 - 45, -i*f + 55 = -t. Let r = 1 - -2. Solve 3*j - r*y = 2*y - f, 0 = 5*y - 5 for j.
-3
Let c(t) = t**2 - 14. Let a be c(-12). Suppose -4*h + a = h - 3*s, 3*s = 0. Solve y + 19 = -v - 3*y, -v = -5*y - h for v.
1
Let n(u) = -u - 12. Let q be n(-24). Suppose 0 = h - 0*h - q. Solve 0 = 2*v - 5*r + 25, -3 = -4*v - 3*r + h for v.
0
Let t be 10/(-15) - 6/(-9). Suppose -2*s + 12 = -t*s. Let m be ((-2)/7)/(s/(-294)). Solve 4*r + 4*k = 0, 2*r + m = 4*k + k for r.
-2
Suppose 5*n = 3*v - 65, 2*v + 6 - 16 = 0. Let z(w) = -9*w - 12. Let r be z(-3). Let f be (-34)/n + (-6)/r. Solve -5*h = l + 17, 5*h + f*l + 7 = -4 for h.
-4
Suppose 3*y - 128 = 4*t, 3*t - 21 = -y - 0*y. Let r be 105/18 + 6/y. Solve -19 = -5*w + g, -g + 3 = -w + r for w.
4
Let d = 54 - 54. Suppose 0 = -6*p - d*p + 42. Solve 3*c - p = -5*y, -5*y = -0*c - 5*c + 25 for c.
4
Suppose 0*l + 36 = 2*l - 5*k, l = -4*k + 5. Let j = 17 - l. Solve -2*y - 21 = -u + j*u, -5*y = u + 20 for u.
-5
Let c(n) = n**3 + 5*n**2 + 4*n - 3. Let j(v) = v**3 + 4*v**2 + 5*v - 4. Let p(q) = -4*c(q) + 3*j(q). Let o be p(-8). Solve 2*i + 11 = -5*g, 0*i + o = 4*i for g.
-3
Let q(y) = 5*y**2 - 2*y - 1. Let k be q(1). Solve 0 = -4*s + g - 22, -k*s - 4*g = -3*s - 13 for s.
-5
Suppose -12 = 3*g + 6*o - 4*o, 0 = 2*g + o + 7. Let k be (-128)/(-56) + g + (-12)/(-7). Let b be 1/4 - 2/8. Solve -2*i + y = -b*y + 3, k*y + 8 = -3*i for i.
-2
Let f(s) = 0*s**3 - 2*s + s**3 - 3*s**2 - 2*s**3 + 7*s**2 + 5. Let l be f(3). Let k = l + -5. Solve 2*i - 5*r - 2 = -r, 0 = k*r - 3 for i.
3
Let h(d) be the second derivative of 0 + 1/12*d**4 + 5/2*d**2 - 3*d + 11/6*d**3. Let q be h(-11). Solve 3*p = o + 2*p - 5, q = -p for o.
0
Suppose 0 = 5*p - p + 16, 0 = -5*j - 3*p + 8. Suppose j*t = -4*z + 60, 2*t - 20 = -2*t. Solve -z = -c + 5*m, 4*c - m + 12 = c for c.
-5
Let t = 1166 + -1150. Solve 2*g + 20 = 2*q, 4*g = t*q - 13*q - 35 for g.
-5
Suppose 20*b = 23*b. Solve 5*h + 3*a + 2*a = 10, b = h + 4*a - 8 for h.
0
Let p(s) = -s**2 + 2*s - 8. Let f be p(6). Let x be 2/(-16) - 836/f. Solve 5*m = 2*j - 24 - 0, -5*m + 3*j - x = 0 for m.
-4
Let u(t) = -8*t + 99. Let a be u(11). Solve -4*b + 2*c = -14, -5*b - 5*c = -c - a for b.
3
Let v be 6/(-9)*84/(-8). Suppose 5*n - 8 = v. Solve -3*b + 10 = 4*y - b, n*y - 7 = -b for y.
2
Suppose 7*d - 17 = 25. Suppose -3*z = -3*x - 8*z - 10, 3*z + d = x. Solve x = -g + r + 3, -3*r - 4 = -2*g + 6 for g.
-1
Suppose 11*i = -0*i - 66. Let d be (2/i)/((-11)/66). Suppose y - 2 = -0*y. Solve o - 5*t + d*t = -8, y = t for o.
-2
Let j(q) = -3*q**2 + 4. Let p be j(3). Let b be ((-1)/3)/(p/138). Suppose 5*l + 1 = 2*z - b, l - 1 = 0. Solve -z*t - 4*k = 20, -k + 4*k = -t - 7 for t.
-4
Suppose -3*l = -9, -4*m = -3*l + 2 - 81. Let g = -8 + m. Let p = -7 + g. Solve 4*n - 5 = -u, 3*u + 3*n + 1 = p for u.
1
Let g be (-3 - -4)/((-1)/(-2)). Suppose 0 = -q - 2*j - 7, g*q + 5*j = -q - 16. Solve 2*o + 4 = -q*h - 2, -o - 17 = 5*h for o.
3
Suppose -5*c + 3*w + 28 = -3, -17 = -3*c + w. Solve 2*u - c*u - 18 = -3*d, 0 = -4*d + 8 for u.
-4
Let j be 15/(-25) + 39/15. Suppose -j = 2*x, -s - 3*x = s + 61. Let m = -27 - s. Solve 10 = 5*z - 3*g, -5*z - m*g + 7*g + 20 = 0 for z.
-1
Let x(o) = -o**2 - 9*o + 19. Let z be x(5). Let c = z + 51. Solve a + 5*t + 19 = 0, -2*t - 10 = a - c for a.
-4
Suppose 77 + 35 = 28*m. Solve -m*i + i - q - 2 = 0, 5*i + 22 = 3*q for i.
-2
Suppose 