= 0, 5*m - 3*a = a + 83. Solve j + j = 8, -3*x + m = 3*j for x.
1
Let i(x) = -x**3 + 8*x - 3. Let w be i(-3). Solve w*a - 2*z + 6 = -4*a, 4*a = 4*z - 12 for a.
0
Let m = 7 + -7. Suppose 4 = -4*c - 4*d, 2*c + m*c - 2*d = 18. Solve 20 = -5*t + 5*y, 5*t - 8 - 17 = -c*y for t.
1
Let z = 49 + -22. Let t = z + -23. Solve -5*q = -5*g - t*q - 23, -3*g - 3*q = 21 for g.
-5
Suppose -g = -3 + 8. Let c = g + 18. Solve -2*r + 2*b + 1 - c = 0, 10 = -r + 5*b for r.
-5
Let g be ((-12)/28)/((-2)/14). Solve 3*b + 25 = -g*w + 5*w, 5 = -4*w - 5*b for w.
5
Let b = -19 - -35. Suppose b = 3*y + 4. Let w = -1 + y. Solve 4*c - w*f = -9, -2*c + 6*c + 7 = 5*f for c.
-3
Let t(n) = -n**3 + 14*n**2 + 16*n - 15. Let r be t(15). Solve 3*d - 3*a - 3 = r, -2*d = -0*a + 4*a - 2 for d.
1
Suppose -3*x + n = -19 + 3, 0 = 2*x + n - 4. Solve 18 = -x*r - 5*p + 7, 9 = -3*r - 3*p for r.
-4
Suppose 2*c + 4*n - n = -4, -n - 20 = -4*c. Solve 2 = s + 2*y + 1, -y + 23 = -c*s for s.
-5
Let p(v) = -v**2 + 10*v + 13. Let c(m) = 6*m - 1. Let r be c(2). Let i be p(r). Solve -l - 7 = -2*t - i*l, 3*l + 34 = 5*t for t.
5
Let x = 2 - 2. Suppose -f - 3 + 7 = x. Suppose -6*i = 4*n - i - 15, -2*i + 6 = f*n. Solve 4*z - 2 - 14 = n, -5*v + z + 6 = 0 for v.
2
Let l(f) = 8*f**2. Let c be l(-1). Suppose -3 = g - c. Solve 2*x = -3*x, -5*a + g*x = 0 for a.
0
Let z(d) = -3*d**2 - 6*d + 4. Let s be z(-6). Let i be s/(-18) - (-14)/63. Solve 0 = -4*r + 2*r - 4*u + 8, -5*u = -i*r - 23 for r.
-2
Suppose -6 = 4*k + 10. Let r be 0/(2/(-4)*k). Suppose a = -w + 5*a + 14, 0 = -2*w - 5*a - 11. Solve 8 = 2*i + b - 0*b, -w*i - 5*b + 8 = r for i.
4
Let c(q) = q**2 - 4*q - 2. Let z be c(6). Suppose -5*u + 5*i = -z, -3*i + 7*i - 10 = u. Solve d = 2*p + 4, -4*d + 2*p = -p - u for d.
0
Let a(c) = -c**2 + 10*c + 20. Let r be a(11). Solve 0 = -3*w + 4*j - 14, 2*j + 3 - r = w for w.
-2
Suppose -4*t - 20 = -m, -2*m + 0*m + 25 = -5*t. Let x = t - -7. Solve b + x*i = 9, 3*b - 2*i - 2 - 1 = 0 for b.
3
Let s = -1 + 2. Let w be s/3 + (-68)/(-12). Solve 0 = w*z - 3*z + 3*q - 3, -3*z = q - 5 for z.
2
Suppose -5*o - 2*f + 29 + 31 = 0, 0 = -3*o - 2*f + 36. Let r = -7 + o. Solve -4*j + w = 2*w - r, 2*w = j - 8 for j.
2
Let y be (-14)/(-4)*(-5 + 7). Let v(x) be the first derivative of -x**2/2 - 4*x - 2. Let m be v(-6). Solve y*i + 7 = 4*i - 4*w, m*i = 4*w - 18 for i.
-5
Let p be (-2)/9 + (-128)/(-9). Let k = p + -10. Suppose k*x + r + r - 10 = 0, -5*x + 8 = -2*r. Solve -3 = x*l + 7, 3 = -2*y + l for y.
-4
Let g(t) = -2*t - 17. Let z be g(-9). Suppose -l + 2 = -z. Solve -4*w + l*w + 2*x = 7, -3 = -x for w.
-1
Let h = -7 + 10. Suppose 2*c - c - 4*p - 16 = 0, h*c - 3 = -3*p. Suppose 4*m - 23 = 17. Solve 0 = g - 2*k - 8, -c*k - m - 4 = -3*g for g.
-2
Let w(q) = q + 2. Let h be w(5). Suppose -4*x = -h - 1. Let c = 5 - x. Solve -u = -6*u + c*g - 5, -5*g + 4 = -4*u for u.
-1
Suppose 4*k + 15 = 15. Solve -5*u + 5*m = -k*m + 35, -2*m - 21 = 5*u for u.
-5
Let l be 27/9 - (0 - -1). Suppose -1 = 5*j - j + 3*t, 3*j = -2*t - 1. Let i = l + j. Solve -b - 2*b = d + i, -b - 9 = -4*d for d.
2
Suppose 2*l + 3*y = 39, 0 = -5*l + 8*y - 3*y + 60. Suppose -j - 8 = -d - 3*d, 5*d - 10 = -2*j. Solve -5*s + l = m, j*s = 3*m + s - 17 for m.
5
Let z be ((-4)/(-7))/(14/49). Solve 0*l + 14 = 2*l + 4*f, 0 = -3*l - z*f + 1 for l.
-3
Suppose -3*t + 17 + 5 = -5*r, 10 = t - 3*r. Solve 0 = 3*u + t*w - 26, u - w = 2*u - 7 for u.
2
Let t be (-272)/(-28) + (-2)/(-7). Suppose 0 = -3*d - x - 0*x + 6, -4*d + 8 = -3*x. Solve -r + d*n = r, r = -n - t for r.
-5
Let z(n) = 2*n**2 + 24*n + 1. Let h be z(-12). Solve 3*w + 0 + h = 2*u, 3*u - 30 = -5*w for w.
3
Suppose 31*j - 105 = 26*j. Solve -2*a = -7*a - 2*f + j, -4*f = 5*a - 17 for a.
5
Let o = -3 + 10. Suppose 0 = 2*i - 4*c + 14, 0 = 4*i - 7*i - c - o. Let j be (-1)/i - 1/3. Solve 3*g = -4*q - 35, 5*q + 3*g + 0*g + 40 = j for q.
-5
Let c = 20 + -16. Solve -9 = -u + 6*u + c*q, 2*u - 4*q - 2 = 0 for u.
-1
Let w be 3*(-2 - -3) + -1. Suppose w*p + 3*v = 7*p - 137, 2*p - 3*v - 62 = 0. Solve 2*l = -r + 10, 5*l - 3*r - p = r for l.
5
Let f(u) = -15*u - 7. Let y be f(-9). Suppose y = -c + 5*c. Solve -4*r + c = -4*t, -24 = -5*r + 1 for t.
-3
Suppose 0 = u - 3*u + 8. Let k be 2*-1 + 4*(-8 + 9). Solve -5*w = 15, 0 = -0*j - 5*j - u*w - k for j.
2
Let j = -191 + 193. Solve j*c + 1 = 2*u - 1, 0 = -3*u - 2*c + 13 for u.
3
Suppose 133 - 137 = -2*d. Solve -d*l - 6 = -2*o, -2*o + 0 = l + 9 for l.
-5
Let h be ((-2)/8)/((-2)/24). Let q be h/(6/(-4)) - -6. Let w(c) = c**2 - 10*c + 3. Let j be w(10). Solve -5*v = 2*s - 1 + 4, -q*v = -j*s - 16 for s.
-4
Let u = -6 - -8. Suppose 0 = 3*b + x + 44, -2*b - 6*x - 41 = -3*x. Let p = -8 - b. Solve p*v = -3*k + u*k - 4, 3*k = -3*v for v.
-1
Let c = -45 + 48. Solve g = -c*k + 11, -3*k = -2*g - 14 - 9 for g.
-4
Let l be (6/(-5))/(3/(-10)). Suppose 2*c = 2 + l. Solve -c*g - 5*h + 10 = g, 8 = -g + 4*h for g.
0
Let f be (-8)/2*40/(-32). Solve -f*p - 4*q + 11 = -2*p, 2*p = -5*q + 19 for p.
-3
Let f(w) = w**2 + 5*w + 3. Let u be f(-6). Suppose u = c + 2*c. Suppose -c*y + 4 + 2 = 0. Solve y*a = -4*t + a + 18, -10 = -4*t - 5*a for t.
5
Suppose -3*v + 14 = -4*v. Let o = -12 - v. Solve o*g = -3*g, -4*b - 5*g = 8 for b.
-2
Let n(h) be the second derivative of h**5/20 - h**4/3 + h**3/3 + h**2 + 5*h. Let g be n(4). Solve q + 5*o = -16, -g = 3*o - 1 for q.
-1
Suppose 3*l + 9 = 6*l. Let s = 2 + l. Suppose -2*t + 1 = y - 3, -s*y - 10 = 0. Solve 3*c = -5*x + 22, -x + 28 = 5*c + t*x for c.
4
Let v(p) = -2*p**2 - 9*p - 3. Let t(o) = 5*o**2 + 18*o + 5. Let s(y) = 3*t(y) + 7*v(y). Let r be s(10). Solve r*l - 20 = 0, -7 = z - 4*l + 13 for z.
0
Let o(p) = p**2 - 4*p + 2. Let j be o(3). Let c = j + 3. Solve c*l - 9 = -a, 4*l + 0 - 3 = a for l.
2
Let p be (-120)/(-28) - (-6)/(-21). Solve -14 = -2*v - 4*k, -p*v + 4*k + 0*k - 20 = 0 for v.
-1
Let k be ((4 - 3)*-1)/(-1). Let c be (-3)/k*1 + 6. Solve 0 = 4*u + 8, -c*u = 5*p - u + 24 for p.
-4
Suppose 0 = -13*s + 11 + 15. Solve -3*y = -3*z + y - 1, s*z + y = -8 for z.
-3
Let j = 77 - 68. Solve 3*z - j = -3*y - 0, -5*z = -2*y + 6 for y.
3
Let m = 55 + -39. Let j = 31 - m. Suppose -78*t + 2 = -77*t. Solve 3*n + 2*o = -j, 5*o + t + 13 = 0 for n.
-3
Suppose -s + 15 = 2*d, -3*s - 1 + 39 = 5*d. Solve -i - d = o, 0 = 4*i - 9*i - 3*o - 25 for i.
-2
Suppose 5*z + 0*z = 35. Suppose 4*p + 0*p - 16 = 0. Suppose -p*i = -2*a + 18, 3*i - z = a - 18. Solve 5*o - 5*n = -0*n + 20, 2*n = a*o - 5 for o.
-1
Let l be 3/(-2)*30/(-5). Suppose 2*s = 5*s - l. Suppose -86 = -3*y - 26. Solve y = 4*q, 5*j + 3*q + 2 + s = 0 for j.
-4
Let k be -3 + 6/((-9)/((-27)/6)). Solve 0*x + 4 = -4*o - x, 5*o - x - 4 = k for o.
0
Let r be 59/3 + 1/3. Let n = r - 14. Solve 0 = -3*z - 2*t + 9 - 2, 0 = -4*z - 2*t + n for z.
-1
Suppose -3 = -t + 5. Suppose 0 = -2*b + t + 2. Solve 3*c + 14 = -b*l - 0*l, 0 = c - 4*l - 1 for c.
-3
Suppose 3*t = 4*t + 2. Let x be (0 + (-2 - t))/(-3). Solve k = -g, 2*g + x*g = -k + 1 for k.
-1
Let j be ((-6)/(-4))/((-5)/(-9 + -1)). Solve -2*d - 6*t + 8 = -j*t, 0 = d + t - 2 for d.
-2
Suppose 22*c - 17*c = 0. Suppose -b + u + 0*u + 4 = 0, b - 2*u - 8 = 0. Solve b = -c*o - 3*o - 9, 19 = -2*t - 5*o for t.
-2
Let k = 11 + -7. Let g = 120 - 118. Solve 2*i - 4 = 4*f - 10, -g*f = -k*i for i.
1
Let q = -11 - -19. Let v = 17 - q. Let a be (-44)/(-10) - v/(-15). Solve 3*k - 2*k = -2*l + 6, 0 = a*k + 4*l for k.
-4
Let n = -5 - -16. Let s = n - -14. Suppose 6*o = o + s. Solve 28 = -d - o*w, 0*d + 4*w = -4*d - 32 for d.
-3
Let g be (0 + (-3)/(-6))*34. Suppose 2*o = g + 7. Solve -f - o = -2*f + 3*q, 4*q + 35 = -5*f for f.
-3
Suppose 0 = -5*b + a - 21, -b - 2 = -5*a - 17. Let d(v) = v**3 + 6*v**2 + 3*v - 6. Let q be d(b). Solve -8*s + 4*s + q*w = 16, -4*w = s - 16 for s.
0
Suppose 0 = 2*v + 3 - 13. Solve -2*q - 5 = o, -o + 5*q + v = 2*q for o.
-1
Let t be 10*2/60*6. Solve 0 = t*l - 5*o - 9 + 1, -o = 2*l - 8 for l.
4
Let f = -12 - -14. Solve -3*v - 3*a = f*v + 17, -3*v - 4*a - 8 = 0 for v.
-4
Let i = 10 + -5. Solve -3*l + 5 = -4*m + 2, -i*m + 5*l = 0 for m.
-3
Let u be -1*(8/(-4) + 2). Solve 5*d - 3*z + 8 = u, 8*d + 6 = 3*d + z for d.
-1
Suppose j = -5*s + 6, -3*j = -5*s + 18 + 4. Suppose -n = -2*n + s. Solve 4*l - n*g - 14 = 0, -3*l - g = g + 7 for l.
1
Let a = -1 - -1. Let g = -3 - -6. Suppose -g*c = -a*c. Solve 4*f - 5*m + 