
-3
Let a = 15 - 10. Suppose -a + 3 = -2*g. Suppose -i + 2 + g = 0. Solve -5 = -5*t - 0*t, 0 = i*u - 4*t + 16 for u.
-4
Let i = -331 - -336. Solve 0 = -t - i, -2*y + 3*t + 6 = -1 for y.
-4
Let b(r) = -r**2 + 7*r + 22. Let l be b(9). Suppose -l*y = 4*i - 12, 4*i - 3*i + 5*y = 15. Solve s + 9 = -3*n, i*n + 5*s = 3*n + 9 for n.
-3
Let v be (-6 - (-111)/18)/(2/24). Solve -i + 2*i - 14 = 3*h, v*h + 12 = 2*i for i.
2
Let k(z) = -z - 4. Let r be k(-6). Suppose 0*p = -3*h + 4*p + 24, 0 = 3*p + 9. Solve -2*o + 4*l = 14 + 12, -2*l + h = r*o for o.
-3
Let j(h) = -h**2 - 11*h - 14. Let k be j(-12). Let o be 152/k + (-2)/13. Let t be (o/5)/(6/(-40)). Solve -t = -f - 2*w - w, 0 = 3*f + 5*w - 20 for f.
5
Suppose 3*h - d = 35, -2*h + 6*d + 22 = 5*d. Solve -8*a + 35 = -h*a - 4*t, -a + 5*t + 22 = 0 for a.
-3
Suppose 15*f - 12*f - 5 = -2*l, -2*f = 4*l + 10. Solve 4*r - 12 = -v + f*v, 5*v - 5 = 0 for r.
4
Let h(p) = -4*p - 17. Let c be h(-8). Let g = -23 + 27. Suppose g*w - 9*w = -105. Solve 5*b + 5*n = n + c, -4*b = 5*n - w for b.
-1
Let v be (-4)/8*(-1 - -1). Let w = -53 - -71. Solve p + w = 2*j + 5, v = -p - j + 2 for p.
-3
Let l = -13 - -25. Suppose 1510*b = 1516*b - 18. Solve 2*d + 3*a = 1, -b*d + 2*a + l = 2*d for d.
2
Let k(w) = -2 + 3*w + 20 - 6*w + 7. Let m be k(-12). Suppose 0 = 2*z + 11 - m. Solve 0 = 2*r + a - 6, 2*a = r - 3*a - z for r.
5
Suppose 2*k + 40 = -2*k. Let o = k - -1. Let r = 7 - o. Solve -2*y + 3*p - r = 0, 0*y - 2*p + 4 = 2*y for y.
-2
Let m(n) = -2*n - 17. Let p(g) = -2*g - 17. Let b(l) = 6*m(l) - 5*p(l). Let o be b(-10). Solve 4*q = -5*s, -q - o*q + s = 0 for q.
0
Let i(n) = 23*n**2 - 10*n**2 + 17 - 14*n - 2*n**3 + 3*n**3. Let w = -19 - -5. Let y be i(w). Solve 0 = 5*r + 5*l + 1 - 41, -4*r + y = l for r.
3
Let t(s) = -s**3 + 3*s**2 + 6*s - 2. Let z be t(4). Let q be 14*z*4/6. Suppose h - q = -h. Solve -i + 2*o + 5 = 0, -2*o - 8 + h = 4*i for i.
5
Suppose -7 = 2*y - 17. Let f = -3819 + 3822. Solve -f*v = a + y, 2*a - 5 = 3*a for v.
0
Let g = -9 - -12. Let m be (g/3 - 5) + 20. Suppose 0 = 4*i + 2*j - 11 + 1, 25 = -5*j. Solve 16 = -4*x - 2*y, -6 = 4*x + i*y + m for x.
-3
Let y = -32 + 34. Suppose -2*w = -11*w + 18. Solve -q = -z - y, z = -w*z + 9 for q.
5
Let w be ((-16)/(-6))/(7*6/189). Solve 3*t + 9 = 0, -w = -m + t + 4*t for m.
-3
Suppose 3*y - s - 3 = 0, 4*y - 2*s - 6 + 4 = 0. Solve -k - c - 3 = 0, -k - y*c - 5 = -0 for k.
-1
Let r be (-4)/(-16) + 33/12. Suppose -r*m = 2*m + 45. Let y = -4 - m. Solve -c = -3*a + 7, 3*c + y*a = -1 + 8 for c.
-1
Let n = 589 + -586. Solve n = -3*v + 6, -2*b - 2*v = 0 for b.
-1
Suppose -9*w = -5*w - 16. Solve 0*r = -w*n - 5*r, 4*r - 16 = 0 for n.
-5
Suppose -u - 28*b + 4 = -30*b, 5*b + 3 = -u. Solve u*k - 10 - 1 = m, -k - 7 = 2*m for k.
3
Let s(l) be the third derivative of l**6/120 + 13*l**5/60 + 17*l**3/6 + 15*l**2. Let y be s(-13). Solve -2*f + a - 20 = 3*f, f - y = -4*a for f.
-3
Let o be 7/5 - 2/5. Let h be (-4)/(-6) - 20/(-6). Suppose -h*t - o = -17. Solve -m - t*x = -0*x, -4*m = 5*x for m.
0
Suppose 3*t - 11 = -2*d, 118 = -3*t + 4*d + 123. Solve 0 = -2*w - 4*m + 14, 5*m = -t*w + 4*w for w.
5
Let u be 3 + -1 - (125 + 4). Let d = 82 + u. Let n be (3/5)/((-9)/d). Solve -3*w + 6*b + 5 = b, n*w + 5*b = -35 for w.
-5
Let s(a) = -a - 7. Let v be s(-2). Let t(y) = -y**2 - 7*y - 8. Let n be t(v). Solve -4*i = z - 12, 20 = n*i + 3*i for z.
-4
Let b be -5*-1*(-3 - -4). Solve -2*o = h - 11, -4*h = b*o + h - 40 for o.
3
Let l = 15 - 11. Suppose -y = l*y. Suppose y = 5*u - u - 8. Solve 2*a + 4 = -3*b, 2*a - u*b - 3*b = -20 for a.
-5
Suppose 0 = 4*u - u - 6. Let g = u + 0. Suppose 0 = -g*i + 7 - 1. Solve f + 20 = -i*f, f + 3 = -2*a for a.
1
Suppose 11 + 8 = 4*t + s, -4*t + 4 = -4*s. Let j be (-1 - -3) + 4*(-1)/(-2). Let k be (1 - -2)*j*(-2)/(-24). Solve -2*f + 2*o = t, 3*o + k = f - 1 for f.
-4
Let k = 348 - 324. Solve 2*q + 18 = -4*x, 2*x - 6*x + 4*q = k for x.
-5
Suppose 0 = -4*u - 3*f + 23, 5*f = 5*u - 2*u + 19. Solve -3*t = -2*a + 1 + u, t = -3 for a.
-3
Suppose -4*p + 8*p + 48 = 0. Let z be 2/12 + 2/p. Solve 4 = -3*t + r, -2*r + z*r + 5 = -5*t for t.
-3
Let l = 55 + -32. Let n be 4 - 0*5/(-15). Let v(p) = p**3 + p + 12. Let c be v(0). Solve -k = -b, 3*k + c + l = -n*b for b.
-5
Let i(h) = 8 - 6 + 4*h - 6. Let w be i(2). Solve 5*l = -b + 16, -w*b + l - 12 = 2*l for b.
-4
Suppose 1270*m - 1269*m - 4 = 0. Solve 14 = -4*d - q, 0 = -d - 5*q + 2 + m for d.
-4
Suppose 6*z - 5 - 7 = 0. Solve z*l - 8 = 3*t, 6*t - 2*t = -8 for l.
1
Let i be (-3)/6*-4 + 2. Let f be (-108)/(-26) - i/26. Solve 5*w + f = -6*d + 5*d, 2*w = -5*d + 3 for d.
1
Let j be (49/14 + -4)*-10. Solve 0 = -2*p + 5*s - 20, -j*p - 2*s - 1 = -4*p for p.
-5
Suppose 5*n + 76 - 101 = 0. Solve 0 = i + f - n - 4, 2*f = 8 for i.
5
Let i = -147 - -11. Let j = i - -138. Solve 3*f = -4*b - 1, -22 = -b + 4*b - j*f for b.
-4
Let p(l) = 19*l - 896. Let h be p(48). Solve 4*i - 20 = 0, -5*c + 5*i - h = -8*c for c.
-3
Let u = 124 - 121. Solve -5*x - 4*s - 1 = 10, -u*x + 2*s - 11 = 0 for x.
-3
Let k(a) = -3*a - 10. Suppose -1 = 5*g + 19. Let i be k(g). Solve 0 = -5*c + 4*n - 40, 0 = -i*n + 5*n - 15 for c.
-4
Suppose 5*g - 14 - 11 = 0. Suppose g*f - f - i - 15 = 0, 4*f - 4*i = 0. Suppose 12 = -3*s + f*s. Solve 3*m = 2*w + w + s, -5*m = -w - 10 for w.
0
Let o = 100 + -99. Let c be 2 + (1 - o) + 1. Solve -4*j - c*v = -0*v, -2*v = 5*j for j.
0
Let x = -32 + 32. Suppose 4*r - 5*v - 25 = 0, x = -0*r - 2*r - 4*v + 6. Solve -18 = -4*y - 6*f + f, r*f - 8 = y for y.
2
Let t be 0*(2 + 15/(-6)). Suppose t = 5*h - h - 20. Solve -h*z + 4*c + 7 = 0, -z + 4*z + 15 = -4*c for z.
-1
Suppose -2*m + 5*d - 3*d + 10 = 0, 2*m + 5*d - 3 = 0. Let x = -6 + 8. Suppose 2*s = x + 6. Solve -m*r = 0, -4*i - 4*r - s + 0 = 0 for i.
-1
Let k(v) = 5*v + 1 + 0*v + v - 9*v. Let r be k(-8). Let l = r + -20. Solve -l*g = -a + 10, -3*g + 4*a + 11 = -0*a for g.
-3
Let f(c) = -6*c + 4. Let z be (-1)/((-2)/(-12))*4/12. Let b be f(z). Solve 0 = q + 4*t - 13, 2*q - q - b = -5*t for q.
1
Suppose -3*h - 20 = -5*h. Let z(r) = r - 6. Let c be z(h). Let k be (c/(-6))/((-12)/126). Solve -4*q + k = 3*m, q + m + 3 = 5*q for q.
1
Suppose -4*i + 40 = 12. Let s(u) = 2*u**2 - 11*u - 16. Let p be s(i). Solve -2*v + 5*k - 2 = -p, -3*v - 4*k = 7 for v.
-1
Suppose -7*i + 2 = -19. Solve 0*q + 3 = -i*q - 5*w, 5*q = 3*w + 29 for q.
4
Let x be 2/26 - 616/(-104). Solve -5*q = -3*r - 30, -2*r = 2*q + 10 - x for r.
-5
Let d(w) = 3*w - 7. Suppose -11 - 34 = -5*z. Let i be d(z). Solve 15 = -3*q - 5*h, i = -4*q + 2*h - 3*h for q.
-5
Let t be 24/18 - ((-25)/15 - -1). Solve s + b = 7, -t*s + 16 = 2*s + b for s.
3
Let w be ((-126)/49)/(-6)*7. Solve -2*a = k - 2, 5*k = -w*a + 2*a - 8 for k.
-2
Let q be 4*((-8)/16 - -1). Solve 6 = q*a - 2*w - 4, 2*w = 4*a - 18 for a.
4
Let r be -1 - 34/(-30) - (-86)/30. Suppose -y + r*g - 6 = -3, 2*y - 4*g + 2 = 0. Solve -j + y*d = -2*d + 24, 4*j = d - 20 for j.
-4
Let r(h) be the second derivative of h**5/20 + 7*h**4/12 - h**3/6 - 5*h**2/2 - 9*h. Let g be r(-7). Solve 5*v + 23 = -g*w, -v + 3 = -2*w - 2 for v.
-3
Let u = 974 + -972. Solve 0 = 2*a + 4*l + 8, 0 = 2*a - u*l + 4 - 8 for a.
0
Let h(d) be the first derivative of -8*d**3/3 + d**2/2 - d + 1. Let s be h(1). Let p be -6*(-1)/s*-4. Solve p*y = 5*l + 10, -y + 10 = -4*l - 5 for y.
-5
Let h(s) = -3*s**2 - 22*s + 13. Let d be h(0). Solve -5*r - 2*p - 9 - 6 = 0, 0 = -3*r - 2*p - d for r.
-1
Let o(v) be the second derivative of v**5/20 - v**4/2 + v**3 - v**2/2 - 15*v. Let p be o(5). Solve 4*l = -3*c - 11, 5*c - l + p = 1 for c.
-1
Suppose -4*y = -5*v + 41, 4*y - v + 18 = -35. Let n = y + 20. Suppose n*l - 65 = l. Solve 0 = -w + 5*q + 8, q + q = -5*w + l for w.
3
Let g be (-1)/(4/(-24) + (-3)/9). Solve 0 = n + 5*x - 2, g*n - 3*x - 4 = -0*n for n.
2
Let b(i) = -9*i**2 - i + 3. Let o be b(-2). Let v = -29 - o. Suppose 5*j = v*j + 15. Solve 5*y + 0*p + 3*p = 22, j*p = -5*y + 20 for y.
5
Let u(l) = -5*l**3 + 4 + 7*l**3 + 3*l**3 - 2*l**2 - 4*l**3. Let g be u(0). Solve 2*b - g*i = i + 12, -3*i = -b + 7 for b.
1
Let r(v) = -v**3 + 10*v**2. Let q be r(10). Suppose -2*l + q + 6 = 0. Suppose -l*j = -37 + 10. Solve -3*m + 13 = 4*a - j*a, -a + 4*m - 6 = 0 for a.
-2
Suppose r - 18 = -l, r = 4*r - 9. Solve -1 = -4*s - 3*c - 0*c, -l = 3*s - 3*c for s.
-2
Suppose -g - 5*z 