olve -u = 3*d + 13, 4 = 3*u - u - l*d for u.
-4
Let a be (-1 + -1)*1*-1. Suppose t + 76 = a*x + x, -4*t = 4. Let b be x/20 + 1/(-4). Solve 3*s = -9, -4*s = -z + 14 - b for z.
1
Let q = 28 - 25. Solve -t = 5*w + 14, 5*t - 3*w - 11 = q*t for t.
1
Let d(v) be the second derivative of -2*v + v**2 + 0 + 1/6*v**3. Let u be d(0). Solve -5*y = -4*g - 35, 0 = -3*y - u*g - 1 for y.
3
Let c(x) = -2*x. Let z be c(1). Let r be (-3)/(-6) - 7/z. Solve -r*k = 2*q + 22, -2*q + 16 - 2 = -5*k for q.
-3
Let u be 3/3 + (-1 - 0). Let f be 2/(-4)*-4 - u. Let o be (-64)/(-12) + 1/(-3). Solve -f*m = o*t + 5, 0*t - 4*m - 22 = -2*t for t.
1
Suppose 0 = -2*w + w. Suppose 0*d - 12 = -3*d. Solve -2*p = -4*l - w*p - 4, -d*l - 8 = -3*p for l.
1
Let x be (-2 - 14)/2 - 2. Let r be (-12)/20 - 46/x. Solve -r*d + 0*d + 3*o + 4 = 0, 4*d + o = 4 for d.
1
Suppose 11 = 4*s + 3. Solve 14 = -s*o - 2*t, -5*t + 0*t = o + 23 for o.
-3
Let m = 0 - -4. Solve 3*l = -3*r - 5 - m, 5*r = -5 for l.
-2
Let g be 6*((-28)/12 + (5 - 2)). Solve g*a - 10 = h - 0*h, -5*a + 3*h = -9 for a.
3
Let f = -167 - -170. Solve -2*l = -0*l - 4*v - 10, -2*l + f*v = -10 for l.
5
Suppose -2 = 4*r - 6. Suppose 0 = 5*d - 9 - r. Solve 5*h + 0*h + 15 = 3*f, -d*h - 5*f = 6 for h.
-3
Let n be (1*-1 - -2)/1. Let y = -3 + 7. Suppose 3*k + n = y. Solve -4*x + k = 5*w - 9, 5*x - 19 = -3*w for x.
5
Let j be 1/(-7) - (-29)/7. Solve -4*s - 6 = -5*w - 2*s, -2 = -5*w + j*s for w.
2
Let j be (-16)/(-4) - 0/2. Let o = 21 + -1. Suppose 0 = -0*n - 4*n + o. Solve 0 = -k + x + 2*x + n, -k = -j*x - 8 for k.
-4
Let d be 219/9 + (-1)/3. Let y = d + -21. Solve 2*x - 6 = y*c, 0*x - 2*c = 3*x + 4 for x.
0
Let q(l) = l + 4. Let x be q(3). Solve -3*o - 21 = -m - x, 3*o = -3*m - 18 for m.
-1
Let g be (-5)/(-2) - 3/6. Suppose -4*h - g = -6*h. Suppose -h = -m + 7. Solve 2*a - 4*k = -0*k - 8, -2*a = 5*k + m for a.
-4
Suppose 3*a - 4*a + 2 = 0. Solve 0 = a*s - 5*q, -5*s + 0*q = 4*q - 33 for s.
5
Let c(a) = 2*a + 14. Let p be c(-7). Suppose p = -k + 32 - 27. Let u(q) = -6*q + 2. Let l be u(-3). Solve -2*j + 3*g - 12 = -0*g, 0 = k*g - l for j.
0
Let j(w) = -w. Let o be j(-5). Suppose -o*l - r = r - 13, -r = -l + 4. Suppose -c + 5 = 3. Solve l*s - 21 = 3*z, c*s - 3 = s for z.
-4
Suppose 5*x - 22 + 7 = 0. Solve -3*r + 2 = b - x, -3*r + b + 13 = 0 for r.
3
Suppose s = -3*s + 28. Solve -j - 4*m + s = 0, -j = -m - 4*m + 2 for j.
3
Let j(a) = 3*a**2 - 1. Let s be j(2). Suppose -h = 3*q + s, q = h - 4*h - 17. Let b = 7 + q. Solve 2*n = -3*d - 10, -2*n + 3*n + b = 5*d for d.
0
Let o(u) = 3*u + 32. Let l be o(-9). Solve -2*v - 4 = 0, -l*m + 2*v = -4*m - 7 for m.
3
Let n(z) = 3*z - 5. Let g(s) = 16*s - 25. Let j(d) = 2*g(d) - 11*n(d). Let w be j(5). Solve w = 5*c + o + 13 + 4, 5*c + 32 = 4*o for c.
-4
Let j be (-2)/(-7) - (-30)/(-7). Let i = -2 - -1. Let l be (-63)/(-12) - i/j. Solve -25 = -l*b + 5*k - 4*k, 5*k = 3*b - 15 for b.
5
Suppose -4*a + 2*a + 2 = 0. Let q = 4 - 1. Solve 5*s + a = 6, -q*s = -5*b + 2 for b.
1
Suppose 2*a + 0 - 10 = 0, 2*q - 19 = -3*a. Let y be -2*(7/q + 0). Let n = 12 + y. Solve 2*w + 0*w = -3*f - 4, 0 = -n*f + 10 for w.
-5
Suppose -4*v + 26 = -2*v. Let r = -11 + v. Solve -u - 2*u = 0, u = -2*c - r for c.
-1
Let z(n) = n**2 - 7*n + 1. Let y be z(7). Let t be 3/(-1) - (y + -5). Let g = 4 - 0. Solve 4*b + g = -6*j + 2*j, 0 = 2*b - j - t for b.
0
Suppose 0 = 2*v - 45 + 41. Solve -v*m + 2 = 4*o, 0*m - 4 = -4*m + 2*o for m.
1
Suppose 64 - 12 = 13*s. Solve 5*a + 10 = -2*k, 4 = -2*a - s*k + 3*k for a.
-2
Let p be (4/2)/(2/32). Let b be (p/12)/((-2)/(-3)). Suppose 3*s + 15 = 4*u, -b*u - 3*s - s + 8 = 0. Solve 2*g - u*y + 5*y = 0, -1 = -y for g.
-1
Let y be -1*1/((-3)/57). Let i be (y - 0) + -1*2. Solve -6 = -3*c + 3*q, 3*c = -5*q - 3 + i for c.
3
Let z be 25/15*(1 + 4/5). Solve -z*o = 3*f - 0*o + 9, -o = -2*f - 6 for f.
-3
Suppose -8*k = -2*k - 84. Solve -2*n - 5 - 3 = 2*f, -f + 5*n + k = 0 for f.
-1
Let q(s) = s**3 - 2*s**2 - 3*s + 2. Let u be q(3). Suppose 0 - 8 = -u*g. Let x = 7 + -5. Solve -2 = -y, -k - g*y = x*k + 1 for k.
-3
Let r = 79 - 76. Solve -5*z = -5*l + 7 + r, 3 = -3*z + 2*l for z.
1
Let m(l) = 2*l - 3. Let q be m(4). Suppose 16 - 6 = q*i. Solve h - i*r - 5 = 0, 4*h - 2*r - 4 = 2*h for h.
-1
Let x be (0 - -20)*(-6)/(-24). Solve 0 = -x*q + 2*a + 13, -a = q - 0*a + 3 for q.
1
Let l be (-1 - -2)*(-1 - -1). Solve l = -3*v - 5*h + 5, -4*h = -2*h - 8 for v.
-5
Suppose 5*z + i = -4*i, 5*i + 16 = 3*z. Suppose 4*w - 27 - 7 = -z*u, 5*w = -4*u + 50. Let n be 1*2 - 0 - 0. Solve n*g + 5*o = -4, -o = -2*g + 2 - w for g.
-2
Suppose 0*l = -2*l + 20. Let v = l + -10. Solve 3*h - 5*y = 0, v = -4*y + y for h.
0
Let a(n) = -n**2 + 6*n - 1. Let p be a(6). Let d = 8 + p. Suppose -2 = -3*q + d. Solve q*w + 2*x = 17, -4*x + 1 = -3 for w.
5
Suppose -y = 28 - 42. Solve 5*w + y = 4, -5*a = -3*w - 1 for a.
-1
Let z = -31 + 46. Solve 2*w = -3 + 1, -3*w = -4*k + z for k.
3
Suppose 5*k - 37 = 38. Solve 2*d = 3*d + 4*u - k, 25 = -5*d + 5*u for d.
-1
Let o = 4 - 3. Let i be o/4 + 1/(-4). Solve 3*y - 6 = 5*y + 4*z, -y + 5*z + 11 = i for y.
1
Let i be 1 - (-216)/20 - (-1)/5. Solve -2*c - 5*t = 0, -2*t - 2*t = 4*c + i for c.
-5
Let h(l) = -l**3 - 7*l**2 - 6*l + 3. Let f be h(-6). Suppose f*d + d = 20. Solve -a = 3*r + 4, d*a + 20 = 2*r - 3*r for r.
0
Let v = 5 + 1. Let l(n) = -n**2 - 3*n + 13. Let d be l(-5). Solve d*s = u + 2, -s - 3*u - v = s for s.
0
Let i(s) = -2*s - 4. Let h be i(-8). Let c = h - 8. Suppose -c = a - 6. Solve 2 = 2*x - 2*v, a*x - 4 = 4*x - 4*v for x.
4
Suppose -6 = -5*c + 2*c. Let t be c + -3*(-2)/6. Suppose -t = -0*a - a, -12 = -3*p - a. Solve 0 = -3*s + 5*w + 2, -2*s - p*w + 0 = 5 for s.
-1
Suppose -4*j + 15 + 5 = 0. Suppose 3*u = -5*v + 22, -2*u + j + 10 = 3*v. Suppose -u - 1 = -2*i. Solve -i*f + 5*z - 15 = 0, -3*z - 2 + 11 = 5*f for f.
0
Suppose -5*v = -0*v - 2*n - 20, n = 0. Suppose -2*o + o = -v. Suppose 4*b - b - 12 = 0. Solve b*w - 9 = -z, -o*w = -0*z - 3*z + 11 for z.
5
Suppose r + p - 32 = 0, -3*p + 62 = r + r. Solve -k + 13 = k - h, -5*k = -3*h - r for k.
5
Suppose 8 = -6*i + 8. Suppose 0 = f + 2*f. Suppose f*q - q = -4. Solve -19 + 6 = -3*g - q*h, h - 4 = i for g.
-1
Let v be (-1)/(-2)*(0 - 0). Suppose -4 = -v*k + 2*k. Let q be 0 + -1 - (-4 + k). Solve 0 = -5*x - q*l - 0*l, 5*x = -2*l - 15 for x.
-5
Suppose -2*w - 4*v = -4, -3*v = -w - 0*w + 2. Solve 3*q - w*c = 4, -7*c = -q - 2*c - 16 for q.
4
Suppose -r - 3*x + 7 = -0, -5*r - x + 21 = 0. Solve 3 = z - t + 4, r*z + 2*t = -16 for z.
-3
Let w be (-6)/(-2) - (6 - 8). Solve 0 = -4*a + 3*o - 28, 3*a + 2*o = -w + 1 for a.
-4
Let o(g) = -g**3 - 3*g**2 - 3*g - 1. Let b be o(-2). Let l = b + 1. Suppose -i - c + 7 = -l*c, -2*i + 5*c = -26. Solve 0*k = -k + w - 1, i*k - 1 = 5*w for k.
-3
Let d = 21 - 18. Suppose d*c = -4*x + 47, -5*c = -3*x - 68 + 9. Solve o + c = 5*p, 3*p + 2 + 7 = -5*o for o.
-3
Suppose -4*l + 2 + 10 = 0. Solve 1 = -l*i - 2*m, -5*m = 4*i + 5 - 13 for i.
-3
Let x be 1*(-1)/((-4)/(-48)). Let d = x - -14. Solve z + 7 = -o, 2 + 16 = -d*o - 3*z for o.
-3
Suppose 3*b + 20 = 8*b. Let v(m) = m**3 - 5*m**2 - 4*m - 8. Let t be v(6). Suppose t*f = 2*f + 14. Solve 5*h - 13 = -2*i - b, h + f = 4*i for h.
1
Suppose f - 7*f = -24. Solve -4*r - 5*d = 0, 0 = -r - 4*r + f*d - 41 for r.
-5
Let z = -70 - -72. Solve 30 = n - 6*n + z*a, 4*a = -5*n for n.
-4
Let a(g) = g**2 - 11*g + 7. Let v be a(11). Let q = v + -3. Solve q*r = -2*b + 28, -7*r = -2*r - 25 for b.
4
Suppose -18 = -f + 5*x + 5, 5*x + 26 = 2*f. Let g be (21/28)/((-2)/(-16)). Let i = g - 2. Solve 0 = -f*b - 3*o - 9, -9 = i*b - 0*o + o for b.
-2
Let z = -15 - -36. Suppose -2*o + 2*u - 24 = o, 5*u = 2*o + 5. Let m be (-34)/(-6) + o/15. Solve 3*k = -3*q + z, 4*q + q - m = k for k.
5
Let q be 268/52 - 6/39. Let c = 1 - 1. Let w = 0 + c. Solve w*r - q*k = 5*r, 2*k = r - 15 for r.
5
Suppose -45 = -5*i - 4*n, -4*i - n = -3*i - 10. Let q = i + -1. Solve -q*a = l - 2*l - 1, -14 = -5*a - 3*l for a.
1
Let y(h) = -h**2 + 6*h + 7. Let a be y(6). Let d = a - 3. Suppose 3*t = 2*t + 4. Solve -14 = -b - 2*i, -t*b + 12 = -6*b + d*i for b.
4
Let a = 1 - -11. Let b be 3/(-12) + (-1)/(-4). Suppose -5*g + a + 8 = b. Solve -y + g*h = -0 + 8, y = -h + 2 for y.
0
Let k be (15/(-6) - -4)*2. Solve b + k = -2*c - 0*c, -25 = 5*c - b for c.
-4
Suppose -6*f = -