 Solve 5*i - 4*c + 3 = 6, i + 3 = m*c for i.
3
Suppose d - 4 = -2*r, -2*d - 3*d = 5*r - 10. Let p = 322 + -187. Suppose c + 3*c + 42 = 2*t, -5*t - 5*c = -p. Solve 5*s = 4*f + 2*s + t, 0 = -f - 2*s + r for f.
-4
Suppose -z = z. Solve 2*b - 5*m + 10 + 3 = z, 5*b - 14 = -3*m for b.
1
Let x = 204 + -192. Solve 0 = 2*y - 4*b - 12, -6*y + 2*y + 4*b = -x for y.
0
Let d be (2 + 5/(-2))*-10. Solve w = -0*w, -d*r - 15 = 5*w for r.
-3
Suppose -22 = -2*h - 6. Let p = h - 5. Let j(t) = -t + 3. Let d be j(0). Solve -g - 8 = d*o, -o + p*g = 5*g + 1 for o.
-3
Let c(b) = -b**2 - 8*b - 9. Let p = -15 + 9. Let l be c(p). Let j be 4/(((-1)/(-1))/l). Solve -j = -q + 3*n, -q + 2*n = -6*q - 25 for q.
-3
Let f(i) = 2*i**2 + 2*i - 7. Let z be f(-3). Solve -2*t = z*b + 2 - 25, -b + 23 = 5*t for b.
3
Let c(k) = 18*k**2 + k. Let i be c(1). Suppose 5*m = 74 - i. Let v = -8 + m. Solve 4*r = -v*o + 4, -2*r - 5*o = r + 8 for r.
4
Suppose 0 = -4*o + 19 + 21. Suppose 2*w = 4*y - 7*y + 13, -5*y + 5 = 0. Suppose 3*q = 2*u - o, 3*q + q - w = -u. Solve -i = 5*x - 0*x - u, 4*x = 2*i + 4 for x.
1
Suppose -3*d = d. Let w = -2 - d. Let s = 10 + w. Solve -3*z + 2*p = 2 + 1, -2*p + s = 2*z for z.
1
Suppose -n + 0*n = -1. Suppose -5 = -2*f + n, 7 = 2*z - f. Suppose -2*k = -3*o - 4, -4*k + 6 = -2*k - 2*o. Solve b = 4*q + k + z, 0 = -2*b - 5*q - 6 for b.
2
Suppose 0*f - 20 = -5*f. Solve n = 2*n - 3*w - 1, 4 = -f*w for n.
-2
Let n = -4 + 6. Let y = 17 + -12. Solve y*a + n*v = -v + 20, 0 = -a - 3*v + 16 for a.
1
Let l be (3/(-6))/((-1)/(-54)*-3). Solve 5*q = -3*c - 19, -4 = 3*q + c + l for q.
-5
Let p = 11 + -2. Let l(t) = t**3 + 4*t**2 - 4. Let u be l(-3). Suppose -14 = -5*b - 2*w, 2*w + 0 = -6. Solve p = -b*x + 3*f, u*f - f = 5*x + 11 for x.
-3
Let v(z) = -z**3 - 5*z**2 + 4*z - 3. Let u be v(-6). Solve 0 = 5*j - 5*h - 20, -4*j + 2*h + u = -3 for j.
2
Let d be -2 + 6 + -2 + 2. Suppose -d*z = l - 118 + 37, -l = 3*z - 61. Solve 3*k - a = 3*a + z, a + 5 = -3*k for k.
0
Let h = 6 + -2. Suppose -h = 2*p - 3*r, p + 0*r - 2*r + 4 = 0. Solve -w + 3*b - 8 = -0*w, -14 = -2*w - p*b for w.
1
Let i = 11 - 17. Let r be (i/4)/((-9)/12). Solve 4*t - 12 = s, 0 = s + r*t - t - 3 for s.
0
Suppose 0 = -3*m + 19 - 1. Solve -5*s = -2*j + 31, s + 8 = 3*j - m for s.
-5
Suppose 4*j - 88 = c, -j - j - c + 38 = 0. Let x = -9 + j. Solve 0*o = -2*s - 4*o - 24, -2*s + x = -5*o for s.
-4
Let u(m) = m**2 + 3*m. Let s be u(-3). Suppose s*f = f. Suppose 2*x = 2*c + 16, f*x - 2*x - 19 = 5*c. Solve -v = -3*v + 3*t - x, v - 4*t = 1 for v.
-3
Let p be (-266)/(-56) - (-2)/8. Solve -2*i - 2*h = -4*h - 12, 3*i + 14 = -p*h for i.
2
Let m(c) = 0*c**2 - 2*c + c**2 + 0*c**2 + 6*c + 6. Let w be m(-4). Solve 0 = -4*i + 2*h - w, -2 = -4*i - 5*h - 1 for i.
-1
Let n be (-1)/(-3) + 33/9. Let c(a) = -a**2 + 3*a**2 + 27*a**3 - 1 - 4*a**2 + 2*a. Let v be c(1). Solve 27 = -3*h - 0*h + 3*l, 2*h - n*l = -v for h.
-5
Let z be 0 - ((-4)/4 + -1). Let s = 11 + -7. Solve -2 = -4*m - 3*t - 19, -s*m - z*t = 18 for m.
-5
Let h = 5 - 0. Solve -v - 18 = -h*y, 0*y = 3*v + 2*y + 3 for v.
-3
Suppose -3*d - 2*q = -12, 0 = 3*d + q - 4 - 5. Solve -5*g - 2 = 4*i + 14, d*g + 16 = -4*i for g.
0
Let u(b) = 2*b**2 + 4*b + 3. Let k be 2/(((-8)/12)/1). Let i be u(k). Solve z = -z - 3*t - i, -5*z - 15 = 5*t for z.
0
Suppose 0 = -3*q - 8 - 19. Let s be ((-16)/(-6))/((-6)/q). Solve x = 5*l - 16, x - s*x - 4 = -4*l for l.
4
Suppose -5*w - 35 = -10*w - 4*y, 0 = -3*w + 3*y - 6. Suppose -w*g + 9 = -0*g. Solve 0 = g*r - 2*r - 3, 0 = 2*p - r - 1 for p.
2
Let b(n) = n**3 + 9*n**2 - 4*n - 1. Let z be b(-8). Suppose -4*j + k + 137 = 0, -5*j - 4*k + z = -92. Solve 0*x - 20 = -5*x - o, -3*x = -4*o - j for x.
5
Let d be (-3 - -8)*66/30. Solve -3*p - d = -2*a, -2*a + 3*p = -4*a - 7 for a.
1
Let a(j) = j + 1. Let x be a(-1). Let k(g) = 3*g**2. Let f be k(3). Solve 3*c - 3*y - f = 0, 0 = -x*c + c + 2*y + 3 for c.
5
Suppose -18 = -n - 2*n. Suppose -n*d = -9*d. Solve 0 = -q + 1, d = 5*i - 3*i - 4*q + 4 for i.
0
Let t be 6*1 - 2/2. Suppose 8 = 4*o - 4. Suppose 0 = -i + o + 2. Solve t*h - i*p = -15, 4*h = -3*p + 6 + 3 for h.
0
Suppose 0 = -p + 2 + 2. Suppose p*j - a - 12 = 4*a, 2*a = 0. Suppose -2 = 5*b - g + 3, -j*b + g = 5. Solve -2*s = -m + 3, 0 = -s - b*m + 4*m + 9 for s.
-3
Let o be -9*(1/(-3) - 1). Let t(v) = -v**2 - 10*v - 21. Let b be t(-6). Solve b*q - 12 = -l, 2*l = 2*q - o - 4 for l.
-3
Let o(h) = 6*h + 30. Let i be o(-5). Solve 5*y - c - 24 = i, 5*y - 12 - 11 = 2*c for y.
5
Let a be 3/((2 + -1)*1). Let r be (-32)/(-10) + a/(-15). Solve 4*f = -0*q - 2*q - 18, -r*q = -5*f + 5 for q.
-5
Suppose 4*u = -4, 2*y + u + 3*u - 2 = 0. Suppose 1 = -m + y. Suppose b + m*b - 4*a + 10 = 0, -a + 6 = b. Solve 2*f + 4 = 2*g, -5*f - g + 0 = -b for f.
0
Let f(v) = -v**3 - 5*v**2 + 5*v - 4. Let a be f(-6). Let p be (-1)/((-1)/1) + a. Let y be ((-8)/(-6))/(1/p). Solve y*b + w = b + 5, -2 = -3*b - 4*w for b.
2
Suppose 0*o - q - 21 = -3*o, 4*q - 18 = -5*o. Solve -3 = -3*l - 0*y + 3*y, -3*y = -4*l + o for l.
3
Let i(o) be the third derivative of o**4/4 - o**3/6 + o**2. Let x be i(1). Solve 0 = 3*n + 4*r - 17, r = -3*n + x*n + 7 for n.
-1
Let v(r) = 6*r**3 - 2*r**2 + 1. Let q be v(1). Solve -q*x = 6*w - 3*w + 37, 2*w + x = -13 for w.
-4
Suppose g = -0*l - 3*l + 3, g + l = 1. Solve 3*z + 2 = 8, 4*n + 5*z - 30 = g for n.
5
Suppose 11*w = c + 6*w + 9, -5*w + 12 = 2*c. Let v(y) = 2*y + 2. Let j be v(c). Solve 15 = m - j*i + 2, 0 = 2*m - 3*i - 6 for m.
-3
Let i = -1 + 2. Suppose 0 = g + 4*g - 20. Let y = g - i. Solve 0 = -y*o + 5*l + 10, -30 = o - 0*o + 5*l for o.
-5
Let i be 1/(-2) - 35/(-14). Solve -k + j + 1 = 0, i*j + 5 = j for k.
-4
Suppose 19 - 1 = 3*d. Solve 0 = a - 4*k - 15, -5*a + d = -2*a + k for a.
3
Let s be 1*(-66)/(-4) - 6/4. Solve -5*p + 4*a = s, 5*p - 4 = -a + 6 for p.
1
Suppose 3 = 3*l - 30. Let n be (-2)/l + 65/55. Solve -3 = -c, 0 = -5*o + o + c + n for o.
1
Suppose 0 = b - 4*b + 9. Suppose 0*s + i = -5*s + 16, 3 = 2*s - b*i. Solve 3*l + 7 = -q, -2*q - 5 = s*q for l.
-2
Suppose -2*d = 3*a + d - 3, 4*d = 5*a - 14. Solve -5*y = f - 16, 7 = 2*y + a*f - f for y.
3
Suppose -c + 5*c = 20. Suppose l - 1 - 2 = 0. Suppose 2*u = l*m - 10, 18 = m - 5*u + 6. Solve 3*y + m*b + 20 = y, -2*b + 15 = -c*y for y.
-5
Let v be -6 - -3 - (-2 - -1). Let o be (-2 + -8)/(0 + v). Suppose -4*a + 16 = -2*c, c + a - 3 = 1. Solve o = 5*z - 0, 4*b - z + 21 = c for b.
-5
Suppose 0 = 8*r + r. Solve -p - 3*f - 7 = 0, r*p - 3*p = f + 13 for p.
-4
Let b(u) = u**2 - 6*u + 3. Let l be b(6). Solve -l*p = -4*w - 2 - 22, 2*p = w + 11 for w.
-3
Let p be (-4)/5*10/(-4). Solve 9 - 2 = p*d + h, 5*d - 3*h - 1 = 0 for d.
2
Let y be 6 - (6 + -2) - 0. Solve 5*a - 25 = 5*r, -5*r + 0*r = y*a + 4 for a.
3
Let a be (10/(-4) - -2)*0. Let v = a + 4. Suppose -3*t = -v*t. Solve -5*f + 2*f - 5*w = 18, t = 2*f - 5*w - 13 for f.
-1
Let i(n) = -4*n - 3. Let a be i(-2). Let v(d) = d**3 - 4*d**2 - 8*d - 1. Let h be v(6). Solve l = 2*m + 11, 0*l = -2*l - a*m - h for l.
1
Let k be 1 + -1 - (-1 + 2). Let x be k*(0 + (2 - 2)). Solve -30 = 5*r + 5*i, x = -2*i - 3*i - 25 for r.
-1
Suppose -2 = 2*a - 4*r, 4*a - 3*a - 3*r = 0. Let n be (6/4)/(a/(-4)). Solve -10 = 3*g + n*g + 2*c, 4*g - 5*c - 25 = 0 for g.
0
Suppose 5*m - 40 = -5*y, m = 4*y - y - 4. Solve 2*q = -q + 5*x, q - m*x = 0 for q.
0
Suppose 10*o - 19*o = -27. Solve o*v + 4*q - 12 = 0, -4*q = -v - 2*q + 4 for v.
4
Let o(t) = 6*t - 3. Let a be o(3). Suppose 3*u - a = -6. Suppose -3*f - 14 = -y, -y = 2*f - 2 + u. Solve r + 3*r + 2 = -c, 2*r = y*c + 10 for c.
-2
Let k = -14 + 17. Let a be ((-2)/3)/(2/3). Let d be a/(-1 - (-16)/18). Solve -z = o - 6*o - d, 0 = -k*o + 2*z - 4 for o.
-2
Let w = -160 + 164. Suppose -2*m + 8 = -3*m - 3*j, 0 = -m + 2*j + 12. Let b = 6 - m. Solve -w = -b*c, -l + 4*c = -0*c + 12 for l.
-4
Let f be (-3)/((-6)/8) + -3 + 6. Solve 19 = 3*u + 5*v, -2*v + v = -u - f for u.
-2
Suppose u + 12 = c, 49 = -2*u - c - 2*c. Suppose k = -m + 2*k - 6, m - 3 = -2*k. Let h = m - u. Solve -d - h + 3 = -4*r, -4*d - 4 = 4*r for r.
2
Let o(t) = -t**2 - 9*t + 1. Let i be o(-9). Let m = i - -1. Solve 0 = -3*b + 2*u - 8, -3*u + m - 1 = b for b.
-2
Suppose -12*c = -14*c + 6. Solve 0 = 5*s - 5*k - 35, -c*s - k = 2*s - 23 for s.
5
Let o = 132 - 132. Solve -3*x + 5*u - 29 = o, 0 = x - 2*u + 7 + 4 for x.