 8, -6 = 2*z + 4*t. Solve 19 = -i + z*r, -r + 5 = -3*i + r for i.
1
Suppose -3*r = 3*g, 4*r + 0*r = 2*g. Suppose 3*s = -0 + 6. Solve u - 2 + 0 = -s*v, 5*u + 3*v + 4 = r for u.
-2
Let o = 14 - 9. Let b(a) be the second derivative of -a**3/6 + a**2 + a. Let u be b(-7). Solve x - o = -4*x, n - 4*x = -u for n.
-5
Suppose 6*n - 10*n + 3*s = -58, 3*n + 2*s = 52. Solve -5*b - i - 11 - n = 0, 2*i - 11 = 3*b for b.
-5
Let c(k) = k**3 - 16*k**2 + 15*k. Let q be c(15). Let m be 1*(4 + 1 + q). Solve m*y + 20 = 5*h, 0 = h - 0*h + 5*y + 2 for h.
3
Let z(b) = b + 3. Let c be z(-3). Let f be (0 - c)/(8 + -7). Suppose 3*m = 7*m - 8. Solve 4*u = -f*s + 5*s + 8, -m*s + 4 = 2*u for s.
0
Suppose 45 = 5*g + 2*t - 6*t, 3*t + 40 = 5*g. Solve g*p - 10 = 5*f, 3*f - 4 = -2*p + 10 for f.
2
Let m be 25/10 + (-3)/6. Solve 0 = -m*v - 6, z + 9 = -2*z - 4*v for z.
1
Let o(b) = 5*b + 11. Let q(v) = 6*v + 12. Let a(p) = -7*o(p) + 6*q(p). Let l be a(5). Solve 4*g - 3 = -t, 0 = -g - l*t - t + 3 for g.
0
Suppose -w - 25 = -a - 4*a, -3*w - 5*a + 25 = 0. Solve -j - 8 = 5*t, 4*t + w*t = -5*j - 19 for t.
-1
Suppose -3*u - 5 = 4*c, -3*c - u + 2*u - 20 = 0. Let a be c/(0 + -4 + 3). Solve -2*w + 5*w - 12 = a*n, 4*n + 20 = 5*w for n.
0
Let c(s) = s**2 - 5*s + 6. Let w be c(7). Let g = 4 + w. Suppose 3*u - g = -0*u. Solve -l = -2*d - 7, 4*d = 6*l - 2*l - u for l.
-3
Let b = -24 + 24. Let i(k) = -k**3 - k + 19. Let f be i(b). Let d be -1 + 1 + 0/1. Solve 0*z - h + 3 = -z, d = -3*z - 2*h - f for z.
-5
Suppose 2*z + 0*z = 0. Let t = 26 + z. Solve -3*b + 10 = 5*a + 24, -t = 4*a - 5*b for a.
-4
Suppose 0 = -2*f + 43 - 5. Solve -3*w + 8*w + 4*g = f, -4*w = 2*g - 14 for w.
3
Let f be (3/12)/((-3)/12). Let p be f - (-6 - (1 - 1)). Solve -p*b + 25 = -5*c, -29 = 3*c - 5*b - 12 for c.
-4
Let b be (2/(-2))/((-2)/10). Suppose -o + 3 + 0 = -v, v + 12 = 4*o. Solve 13 = -2*d - r, o*d + 4*r + 12 = b*d for d.
-4
Let x(m) = -m**3 - 9*m**2 + 18*m - 26. Let l be x(-11). Let i be (-8)/(-3) - (-4)/(-6). Solve -4*o = -2*a + l, 4*o + 1 - 3 = -i*a for a.
5
Let t(y) = y + 1. Let p be t(0). Let w be 1*(-22)/(p + -3). Let i = 12 - w. Solve 5*s = -3*c - 12, 3*s + i = -4*c - 4 for s.
-3
Let g(i) be the first derivative of -1/4*i**4 - 1/2*i**2 + 1 - 3*i + 4/3*i**3. Let j be g(3). Solve -3*f = -2*h - 8*f + 20, 12 = -5*h + j*f for h.
0
Suppose 5*s - 5*c + 5 = 0, -s - s + 1 = -c. Solve 3*o - x - 1 = 4*o, 5 = -s*o + x for o.
-2
Let d be (-3)/2*(-2)/3. Suppose 0 = -3*t + 4*l + 10, 4*l = -3 - d. Suppose 2 - 14 = -4*z. Solve 0 = q - 3*n - 11, z*q - t*n = q + 6 for q.
-1
Let m be 4/14*-1 - 32/(-112). Solve -p + 37 = 4*p + 3*y, -5*y + 20 = m for p.
5
Suppose -n = -3*n + 10. Solve -5*d = n*x, 4*d + 4 = 3*x + 9*d for x.
-2
Suppose -2*c - 3 = -7. Solve -c*a + 4*h = 3*a + 13, -a - h = -1 for a.
-1
Suppose 0 = -4*i + i + 105. Let y(n) = -7*n + 1. Let o be y(-2). Solve -h - q - o = 4*q, 5*q + i = 3*h for h.
5
Suppose -k - 2*a - 9 = -4, k + a = 0. Solve -2*s + 6*p - 3*p + 12 = 0, 5*p + 25 = k*s for s.
3
Suppose 0 = -2*s + 4 - 2. Let u be 9/(2 + 1) + s. Solve 4*i - 31 = -3*w, -w + u*i = 3*w - 4 for w.
5
Suppose 8*o = 43 - 3. Solve -2*m + 23 = -o*q, -m + 1 - 2 = 0 for q.
-5
Suppose -5*k + 25 = 0, -4*j - k + 37 = 4*k. Solve -5*n = 2*g - j, -6*g = -2*g - 3*n - 19 for g.
4
Let n be (4/(-5))/(6/(-135)). Solve 3*d + n = 3*w, 0*w = 5*d + w + 12 for d.
-3
Suppose -5*c = -3*c - 8. Let t be 2 - (2 - (1 + -1)). Solve 2*z - 6 = -c*d, 4*d - 5*z + 4*z - 3 = t for d.
1
Let n = 22 + -18. Suppose -4*c + 3*c = -6. Suppose -b + c*b = 25. Solve n*p + 2*u = u + 6, -3*p - u = -b for p.
1
Suppose 0 = 3*o + 3, -o = -4*q + 20 - 7. Suppose 8 = -3*s - 4*c + 37, 10 = 2*c. Solve -3*w - q*k + 9 = -0*w, s*k - 9 = -w for w.
0
Suppose -2*r - 2*v = -2, r - 3*r + 6 = v. Solve 25 = -r*u + q + q, u = -3*q + 12 for u.
-3
Let j(b) = -b**3 + 6*b + 8. Let q be j(-2). Solve 4*s = 2*o - 4, -q*s + 10 = 5*o + s for o.
2
Let m be 8/(-16) + (-82)/(-4). Let l = m - 18. Solve 3*c = -9, l*u - 4*u - 5*c - 25 = 0 for u.
-5
Let y(d) = 6*d - 3. Let b be y(1). Let v be (-183)/(-12) + 2/(-8). Suppose -g - z = -b, v = -3*g - 2*g + 5*z. Solve -5*u + g = j - 12, 2*j - 4*u = -18 for j.
-3
Let n = 15 + -10. Suppose -d + n*d = 12. Solve -2*c + 2*a - 11 = d*c, -2*c + 2 = -4*a for c.
-3
Suppose -3*t + 28 = 2*x, -2*x = 2*t + 2*x - 32. Let u be t/(3 + -4 + 2). Suppose u*l = 4*l + 12. Solve -2*b - n + 1 = 0, n - 4*n = -3*b + l for b.
1
Suppose -263 = -4*x + 137. Suppose 0*u - 5*u = 5*h - x, 3*h - 4*u - 67 = 0. Solve 3*m - 5*t = -h + 2, 0 = 4*m + 5*t + 2 for m.
-3
Suppose 3*c - 9 - 3 = 0. Suppose -3*w - c = -16. Let t = 11 - 7. Solve 4 = 3*m + t*v + v, -w*v - 13 = -3*m for m.
3
Let r = -29 + 36. Let n = -3 - -5. Solve 2*u + a - 2*a = -r, -2*u - 4 = n*a for u.
-3
Suppose 3*g = -g - 52. Let c = 18 + g. Solve -6*n = 5*m - 2*n + 20, -4*n = -c*m - 20 for m.
-4
Let n(s) = s**3 - 2*s**2 - 3*s + 3. Let u be n(3). Suppose 0 = -3*g - 0*z + z + 32, -u*z + 47 = 4*g. Solve -23 = 5*h - k, 0 = h + 4*h + 3*k + g for h.
-4
Let k be -3 - -4 - -2 - 1. Solve 0 = 2*c - 5*j - 19, -6*c + k*c - 22 = 2*j for c.
-3
Let y = -107 - -131. Solve y = -5*h - c, h + c = -0*h - 8 for h.
-4
Suppose -39*r + 41*r = 2. Solve -r = -3*b - 2*f, 4*b + 3 - 2 = -5*f for b.
1
Let z = 136 - 132. Solve 1 = 4*j - s, 6*s = j + z*s - 9 for j.
-1
Let s be (-221)/(-5) + 4/(-20). Let c be (-4)/(-22) - (-3028)/s. Suppose -c = -2*g - g. Solve 5*d + 22 = 2*o, -o + 8 = 4*d + g for d.
-4
Suppose 0 = -z - 2*z + 3. Let w be 8/(1/z) - 3. Suppose 4*a = 2*a + 54. Solve 3*l + l + h = 15, 4*l + w*h = a for l.
3
Let i(q) = -q**2 + 4*q + 2. Suppose t + 0*t + 4*d - 8 = 0, 0 = 3*t - 3*d - 9. Let z be i(t). Solve z*n + 2*m + 2*m + 20 = 0, -4*n - 20 = 4*m for n.
0
Let t be ((-8)/(-10))/((-4)/(-10)). Let x be 4*(-3)/12*t. Let d be (-9)/(-6)*x + 10. Solve -5*p = -3*u + 8, 5*p + d = 4*u - 2 for u.
1
Suppose -3*z - 20 = -4*t, 2*t - 12 = -0*t + 2*z. Suppose 0 = t*f - 4*l - 16, -4*f + 3*l = -0*l - 12. Solve 5 = -2*m - k - f*k, -3*k - 14 = 5*m for m.
-1
Suppose -3*t = -4*t + 5. Suppose 0*q = t*q - 50. Solve -1 = o, a - q = 4*a - 5*o for a.
-5
Let n(j) = -j**2 - 9*j + 4. Let q be n(-9). Suppose -q*b - 5*o = -27, 4*o = -2*b + 6*b. Let i be 5/3 - 2/b. Solve -d - z + i + 0 = 0, -3*d + 3*z = 21 for d.
-3
Suppose 2*t - 14*t = -60. Solve -3*w + 24 = -t*j, w = 3*j + 3*w + 3 for j.
-3
Let d = -2 + 6. Suppose 4*f = -d*v, 2*f + 9 + 3 = 4*v. Suppose 3*q + v = h, h - 2*h + 2 = 4*q. Solve -x + 2*l + 0*l - 6 = q, x = -l for x.
-2
Let v be (-18)/(-8) - 3/12. Let y(g) = g**2 + 6*g - 12. Let f be y(-9). Solve 0 = 5*a - f, -v*c + 0*c - a + 1 = 0 for c.
-1
Let u(c) = -c**2 - 8*c + 17. Let i be u(-9). Solve -2*v + 4 = 3*t - 0, 2*v = -4*t + i for t.
4
Let l(t) = -2*t**2 - 2*t + 1. Let b be l(-2). Let g = b + 4. Let a = g - -2. Solve a*x - 14 = -5*m, 0*x = 5*m + x - 8 for m.
1
Let m = -4 + 2. Let i = m + 10. Suppose -o - o = -i. Solve -y + 19 = -o*f, -7 - 3 = 2*f for y.
-1
Let u(t) = -t**2 - 2*t + 3. Let f be u(-3). Let c = f - -4. Let d be (2/2)/(3/18). Solve d = -3*l - c*p, l - 3*l = 5*p + 4 for l.
-2
Let i be 33/15 + 2/(-10). Suppose 2*w - 4*x = -6, -w = -3*w - i*x + 12. Solve -4*s - 20 = -4*b, -b - 2*s = -2 + w for b.
3
Let s be (-20)/12 - -1 - (-16)/6. Solve -6 = 3*u - 3*j, -s*j + 7 = -5*u + 2*j for u.
1
Let o be ((-2)/(-3))/(2/72). Suppose 4*s - 4*x - o = 0, -3*s + x = 5*x - 11. Suppose -10 = u - 3*u. Solve -s*y = -5*p - 0 - u, 0 = -2*y + 6 for p.
2
Let v = -27 - -30. Solve -5*i - 15 = -5*z - 0, 0 = -v*z + i + 11 for z.
4
Suppose 3*r - 68 = -r. Solve 3*m = c - r, 2*c + 2*c = -m + 16 for c.
5
Let v(u) = 3*u**3 - u**2 + 1. Let y be v(1). Solve 2*k + 5*g + 25 = 4*k, 0 = 2*k + y*g + 15 for k.
0
Suppose w + 0*w = 0. Suppose f + 0 - 2 = w. Solve 0 = 5*v - 20, 3*a = -f*a + 3*v - 32 for a.
-4
Suppose -4*g - 10 = g, -4*n - g = -6. Let s be 5*((-2 - -2) + 1). Suppose w = n*w - s. Solve -3*z = 3*i + 3, w*z = -i - 0*i - 9 for z.
-2
Let l(u) = u**3 - u. Let n(p) = -55*p**3 + 5*p. Let h(x) = -4*l(x) - n(x). Let g be h(1). Let z = 8 + 2. Solve 4*s = -2*y + z, -y + 6*y = 5*s - g for y.
-5
Let r be (7/(-14))/(1/(-8)). Suppose -r*z + 12 = -2*z. Solve 2*i = t - z, -2*i + 0*i + 2*t = 4 for i.
-4
Let x(g) = -g**2 + 9*g - 12. Let f be x(7). Solve 0 = f*b + 5*a - 17 - 0, -6 = -b - 2*a for b.
-4
Suppose 4*i - 20 = -