 = 0, z*w = 2*x - 3*x - 1 for x.
-1
Let b(n) = -n + 1. Let u be b(-2). Suppose -2*q - u*q = -65. Solve -q = 5*w + r, -2*w = -2*r + 8 + 2 for w.
-3
Let a(m) = -m**3 + 9*m**2 + 2*m - 22. Let x be a(9). Let h be (-4)/x*0/(-5). Solve 4*r + 4*w - 12 = h, -9 - 14 = 4*r - 3*w for r.
-2
Let p(i) = -i**2 - 8*i + 13. Suppose -2*x + 4*u + 1 = -x, 4*x + 4*u = -36. Let z be p(x). Solve -4*l - 2*d - 2*d = z, -3*l - 23 = 5*d for l.
-1
Let n be (-7 + (6 - 0))*-4. Solve -q = -6*w + n*w + 8, 5*q - 5*w + 25 = 0 for q.
-2
Let h(k) = k**2 - 15 - 9*k + 10*k - 5*k. Let x be h(-3). Solve -x = -5*l - w + 16, 3*l = 5*w + 2 for l.
4
Let z(f) = -127*f + 640. Let c be z(5). Solve -24 = 5*m - y, -c*m + 9*y - 20 = 4*y for m.
-5
Suppose -3*b - 4 = 4*u, 5*b - 2*u = 2 + 26. Solve 2 = b*z + 3*o - 3, -2*z - 17 = -5*o for z.
-1
Suppose 0*y - y - 3*g = -11, -g - 23 = -3*y. Let h be -5 + y + 0/1. Solve o - 2 = 2*j + 4, 0 = h*o for j.
-3
Let u = 229 + -212. Solve -b + u = -5*m - 5*b, 11 = m - 4*b for m.
-1
Let h = -81 + -32. Let i = 115 + h. Solve -3*r = -2*n + 4, i*r - 4 = 2*n + n for n.
-4
Let j(d) be the first derivative of d**3/3 + d**2/2 - d + 8. Let t be j(-4). Let h = -5 - -5. Solve -t = -5*z + 2*k, 3*z = -h*k + 3*k + 12 for z.
1
Suppose -73*z + 76*z - 9 = 0. Solve 3*j - 2*d = -4*d - 17, -z*j - d = 13 for j.
-3
Suppose -4*o - o + 15 = 0. Let b be o + -3 + (2 - 2). Suppose 18 = 4*c + 5*d - 6*d, -c = 2*d. Solve -c*y + 3*i = -24, b = 5*y - 4*i + 3 - 34 for y.
3
Suppose -j = -14*j + 39. Solve n = -j*n + 5*v - 36, 32 = -4*n + 4*v for n.
-4
Suppose 3*v - r - 57 = 0, 10*v - 8*v - 5*r - 25 = 0. Solve -2*a = 2*a + 20, 0 = 3*t - a - v for t.
5
Suppose 34*r - 2*c + 12 = 39*r, 2*c = 5*r - 28. Solve 5*y + r + 22 = -3*i, -y + 4 = -4*i for i.
-2
Suppose 20 = 9*t - 7*t. Suppose 0 = -0*x + x + 5. Let f = 9 + x. Solve -n + h - t = f*n, h = 0 for n.
-2
Suppose g + n + 5 = 0, -n - 2 = -6. Let r be 16/(-12) + ((-3)/g - -3). Solve 5*h = -4*d + 5, 7 = -r*d - 5*h + 22 for d.
-5
Let x = -5 + -5. Let w = 14 + x. Let y be (6/4)/(2/w). Solve -y*m = 5*h - 2*m + 6, -4*m - 5 = h for h.
-1
Suppose -3*g - 2*z - 6 = 0, -2*z + 4*z = -g - 6. Solve -5*b + 30 = -p, g = 2*b - 0*p + 4*p + 10 for b.
5
Let y(c) = c + 1. Let l be 6*((-16)/(-6) + -3). Let w be y(l). Let d be (1 - 0) + (w - 0). Solve -4*p + d*p + 2*n - 8 = 0, 3*p = 5*n + 8 for p.
-4
Let u be (78/117)/(4/18). Solve 4*k + 11 + u = 2*d, d + 4*k = -17 for d.
-1
Suppose -6*x - 25 = -5*x. Let r be -4*x/20 - (1 - 1). Suppose -3*k = -54 - 24. Solve -w - r*d = -0*w - k, -4*d + 21 = w for w.
1
Let n be 9/(-6)*4/3. Let s(m) = 3*m + 53. Let q be s(-17). Let o be 5 + (-2)/q + n. Solve 3*g = o*l - 2, 0 = -3*g - 2*g - 5*l + 30 for g.
2
Let z = 17 - 11. Let y(r) = -z + 0*r + 5*r + 2 - r**2. Let h be y(3). Solve -3 = -q - h*c, 5*q + 19 = 2*c - 14 for q.
-5
Let j(u) = -2*u**2 - 45*u + 186. Let g be j(-26). Solve 0 = -4*p - 12 - g, -3*f - 20 = 2*p for f.
-4
Let q(u) = -u + 7. Let j be q(6). Let x = 9 + j. Suppose 3*s + n - 20 = 5*n, -2*n = -4*s + x. Solve 31 = 2*l - s*c + 5*c, 20 = 4*c for l.
3
Let r(f) = -6*f**2 - 2*f + 26. Let p(k) = -7*k**2 - 2*k + 25. Let q(z) = 5*p(z) - 6*r(z). Let i be q(5). Solve 2*l = 3*n - 2*n + 5, 12 = i*l for n.
1
Let w(y) = 47*y - 320. Let g be w(7). Solve -3*f + 0 + 15 = 4*b, 3*f + 2*b - g = 0 for f.
1
Let l(m) = m - 8. Let g be l(15). Suppose -g*p = -5*p. Solve f + 4 = -s, p = 5*f - 0*f + s + 4 for f.
0
Let p be 6 - 2 - 12/12. Solve p*v = 2*r - 14 + 4, 2*v - 4 = -4*r for r.
2
Let l = -966 + 968. Solve x + l = 6*x + 3*v, 4*v + 1 = -3*x for x.
1
Suppose -2*b = 10 - 18. Suppose -8 = -5*l - 28, -b*i + 4*l = -36. Solve -5*j + 2*c = -2*c - 11, -18 = -i*j - 3*c for j.
3
Let s = 45 - 44. Suppose 3*z - 3*d = 15, -s = z + 2*d + 3. Solve 4*u + 4 = -5*n, -u + 2*u + 4 = -z*n for u.
4
Let p(t) = t**3 + 3*t**2 - 3*t + 1. Let k be p(4). Suppose -k = -5*o - 281. Let g = 63 + o. Solve -5*a = -5*v, 4*v + 4*a + g = -5 for v.
-4
Suppose -5*i = -5*p + 5, i = 3*p + 1 - 6. Let o = 84 + -75. Solve -4*l - 4*y + i = o, 0 = l + 2*y + 7 for l.
3
Let j(f) = -4*f + 1. Let c be j(1). Let w(k) = -k**2 - 12*k + 8. Let n be w(-12). Let s = c + n. Solve 1 = 3*t - 4*h + 2, 5*h = s*t for t.
1
Let y(l) = -3*l - 8. Let k = 13 + -17. Let n be y(k). Solve -26 = n*a - a + 4*j, -3*a - 1 = -j for a.
-2
Suppose -3*l = -8*l + 120. Suppose -2*k - l = k. Let a be (-14)/k + (-3)/(-12). Solve -w - a*v + v = 4, -2*v = -3*w - 12 for w.
-4
Suppose 0 = d - 4*v - 21, -2*d + 0*v - v = -6. Suppose -7*f + 2*f - d*a = -15, -18 = -4*f + 2*a. Solve 0 = f*r + 3*i - 32, -4*r - r + 4*i = -9 for r.
5
Suppose -4*t - 5 = -0*t + 3*i, -i + 10 = -t. Let q be (-7 + t)*(-3)/12. Solve 5*d + q*j - 22 = 2*j, 5*d = -3*j + 26 for d.
4
Let g be (-6*1)/(2/(-45)). Suppose 0 = 3*t + 2*t - g. Let v(f) = -f**2 + 28*f + 291. Let k be v(36). Solve 5*c + t = -4*m, -3*c - k*m = -c + 15 for c.
-3
Let n(j) = j**2 + 16*j + 60. Let i be n(-12). Suppose -3*t + 2*x = -13, -x - 3*x = -3*t + 17. Solve -2*g = t*l - 20, 0*g + 2*l = 5*g - i for g.
4
Suppose 1 - 16 = -5*i. Let f(b) = 12*b**2 - 2*b + 2 + b**3 + 0*b - 14*b**2. Let o be f(i). Solve -d = 3*y - o*y - 6, -y = 5*d - 19 for y.
-1
Suppose -58*t = -65*t + 35. Solve -t*d - 5*f + 45 = 0, 3*f - 35 = -7*d + 2*d for d.
4
Let x be (4 + 0 + 1/1)/1. Suppose -5*y - 10 = -x*s, -y + 8 = 3*s - 10. Solve -4*p - a + 2 = -0*p, 3*p + s = -4*a for p.
1
Let k(q) = -2*q**2 + 23*q - 28. Let g be k(10). Suppose -16 = -3*a - 4. Solve r - 3 = -v, -v + a*r = -0*v + g for v.
2
Suppose 24 = 6*c - 5*c. Suppose c = -a + 9*a. Solve -3*r = 2*r - 4*f - 6, -a*r + 9 = 3*f for r.
2
Let o be 132/(-77)*14/(-6). Solve 22 = 3*z + 4*n, -o*z - 1 = -3*n + 3 for z.
2
Let l(t) be the second derivative of -t**4/12 - t**3/6 + 5*t**2/2 - 3*t. Let i be l(0). Solve -3*s = w + 4, -i*s - 2*w + w - 4 = 0 for s.
0
Let b = 838 - 838. Solve b = -n - 0*n - 3*j + 11, -j - 15 = 5*n for n.
-4
Let y be -1*(-1)/(-3) + (-384)/(-72). Solve 2*o = 3*n + 2 + 17, -29 = y*n - 2*o for n.
-5
Let m(s) = 5*s**3 - 2*s**2 - s + 2. Let h be m(1). Suppose 15 = 5*o, -h*t = 4*o - 129 + 1. Solve -c + 5*v = c - t, 5*v = -25 for c.
2
Let s(x) be the first derivative of -x**2/2 - 10. Let a be s(-5). Solve 0 = -2*c - 3*q - 17, -a*c + 15 = -5*q + q for c.
-1
Let n(j) be the second derivative of j**4/12 + 2*j**3/3 - 5*j**2 - 16*j. Let t be n(2). Let v = -7 - -11. Solve -t*b + 6 = v*d, 3*d + 0*b - b = 17 for d.
4
Suppose -3*c = -4*b - 24, 0 = 4*c - 5*b - 14 - 17. Let s be -2 + 13 + (-5)/(45/27). Solve -4*f + s = -3*x, x = c*f + 3*x - 8 for f.
2
Let o(j) = 3*j**2 + 10*j - 4. Let u be o(-4). Suppose 4*q - 4 = 4. Suppose 2*v = u + q. Solve n + v*l + 2 = -3*n, -3*n - l = 4 for n.
-2
Suppose 0 = -r + 2*d - 1, 3*d - 6 - 9 = -3*r. Solve -12 = -x - o - 4*o, 5*o = -4*x + r for x.
-3
Let x(c) = c**2 - 4*c - 4 + 8 - c. Let l be x(6). Solve -3*r = -2*j - l, 4*r = -j + 5 + 1 for j.
-2
Let a(z) = -z + 6. Let v be a(0). Solve -4 = -5*o - 2*c, o + 4 = 5*c - v for o.
0
Suppose 0 = 3*p + p. Suppose 4*b - 2*o + 4*o - 12 = 0, 3*b - 2*o - 2 = p. Let q = 790 - 776. Solve q = -u - b*g, -u - 5*g - 17 = -3*u for u.
-4
Let h be ((-39)/26)/((-2)/4). Let s be 30/h*2/(-25)*-5. Solve -5*k - s = -2*z - k, -5*k = 5*z + 5 for z.
0
Suppose 6 = x + 1. Suppose 2*g - x*j = 14, -5*g + 5*j + 10 + 10 = 0. Let u be -4*(-1)/(1 - 0). Solve 0 = 3*f + u*t - 0 - 1, 3*f - g*t + 5 = 0 for f.
-1
Let r be 3*(-18 + 23)/(10/12). Solve -6*w + 7 = -3*l - 4*w, -2*l - r = -4*w for l.
1
Let d = -12 - -19. Suppose -42*f = 72 - 198. Suppose -2*c + 2*s = -12, 2*c - 4*s + 0*s = 20. Solve f*g - 6 = 5*g - 4*n, c*n - d = -3*g for g.
1
Suppose 2*c + 3*a - 25 = 24, 4*a = 5*c - 65. Suppose -64*t + 149 + 171 = 0. Solve t*h - c = 3*f - 3, h = 2*f for h.
4
Let c(j) = -j**3 - 10*j**2 - 11*j - 5. Let k be c(-8). Let r = -41 - k. Solve -5*q + r*q - 2*u + 6 = 0, -2*q + 5*u + 3 = 0 for q.
4
Suppose -7*w + 0 = 56. Let u be w/12*6/4. Let s be (2 - u - -1) + -4. Solve -7 = -2*x - 3*j, s = -x + 2*j - 2 - 12 for x.
-4
Suppose 2*o + 40 = 7*o. Solve -u + 9 = -4*n, 5*n = n - o for u.
1
Suppose 1 = -4*j + 5*z - 4, 0 = 5*z - 5. Suppose j = 2*t - 83 + 35. Let o = -19 + t. Solve -2*a - 11 = -5*n - a, 3*n - o*a - 11 = 0 for n.
2
Let m = -509 - -513. Suppose 15 = 5*h - 0*h. Let f = 0 - -13. Solve h*z + z - 18 = -t, -m*t = -z + f for t.
-2
Let n(o) 