 = u - 5*c, -u + 3*c + 1 = 0 for u.
-5
Suppose -t + 4 = 42. Let d = -32 - t. Solve r + 2 = -2*j, 2*r = 2*j - r - d for j.
0
Suppose 8 - 4 = 2*b, 3*v - b + 2 = 0. Suppose 3*r - 4 + 1 = v. Solve -t + j = 0, -2*t + 3*t + r = 2*j for t.
1
Let i be 0/(-2) + 8 + (0 - -3). Suppose 0 = 4*k - 3*d - i, 0 = -5*d + 1 - 6. Solve -4*o - k*u - 36 = -10, -2*o - 5*u = 33 for o.
-4
Let z(j) be the third derivative of -j**4/8 - 25*j**3/6 + 14*j**2. Let a be z(-10). Solve 0 = -2*r - r + 5*p - 30, -2*r - 5*p + a = 0 for r.
-5
Let c(l) = -l**2 + 20*l + 23. Let p be c(20). Suppose -20*g - 9 = -p*g. Solve -2*x - 3*x + 5*w = -10, -4*x = g*w + 6 for x.
0
Let w be 26/(-221) - (-70)/17. Solve s - 4*s - w*a = -7, 0 = -s - 4*a + 5 for s.
1
Let g be 26*(-1)/2*-1. Let w = -5 + g. Suppose -x = 3*x - w. Solve 0 = -2*z + n + 2, -z = x*z + 2*n + 4 for z.
0
Let b(d) = 3*d**3 - d**2. Let u(x) = 10*x**3 - 3*x**2. Let s(y) = 7*b(y) - 2*u(y). Let n be s(2). Solve -2*a - 1 - 11 = 3*j, 8 = n*a - 2*j for a.
0
Let p(w) = w**2 - 28*w - 425. Let k be p(39). Solve 4*f + 4*l = -4, -3*f + 3 = k*l + l for f.
-4
Let w be ((-300)/(-48))/(5/8). Solve -5*o + 5*h = 14 + 1, 0 = 2*o + 2*h + w for o.
-4
Suppose 0 = -32*k - 142 + 238. Solve 9 = -v + 5*d, k = -5*d + 8 for v.
-4
Let z(j) = j**2 + 7*j - 12. Let b be z(-7). Let t be 1/3 - 20/b. Solve 4*p = -4*r + 3*p - 13, t*p + 17 = -5*r for r.
-3
Suppose -18 = -5*b - 4*f, -8*b = -3*b - 3*f - 4. Suppose b*u - 5*u = -0*u. Solve 2*w + k + 4 = -0*k, k + 4 = u for w.
0
Suppose -z + 473 = -4*v + 2*z, -2*v - 241 = -3*z. Let x = -113 - v. Solve w = -4*d - 20, 3*d + 12 + x = 3*w for w.
0
Suppose -5*n + 4*s + 2 = 3*s, -2*n - 2*s = -8. Suppose 0 = h - n - 3. Suppose -8 = -8*o + 8. Solve o*k - h = 2*z, -4*z + 3 - 5 = -2*k for z.
1
Let a = 26 + -39. Let k(s) = -2*s - 22. Let u be k(a). Solve -x + 3*x + 5*d - 29 = 0, -3*x - 14 = -u*d for x.
2
Let c(r) = r + 2. Let f be c(10). Let w(n) = 2*n - 20. Let h be w(f). Solve 5*a - 10 = -2*t, a + h*t = 3*a + 20 for a.
0
Let n = -556 + 561. Solve -3*c - 5*g = -n - 3, -2*c - 2*g = 0 for c.
-4
Suppose 0 = 2*r - 0 - 4. Let j = -5984 + 5988. Solve j = -l, r*l + l = 3*u for u.
-4
Suppose 7 = -x + 2. Let r = 5 + x. Suppose -7*s - 3 + 101 = 0. Solve -4*f - s = -3*j, 4*f + 0*f + 4*j = r for f.
-2
Suppose -5*o - 13*o = -54. Solve 3*h = -5*y + 14, -2*y - 2*h = -11 + o for y.
1
Suppose 0 = -3*q, -3*q + 12 = 2*t + 4. Solve 4*r + 4*l - t = 0, -2*r - r - 4*l - 1 = 0 for r.
5
Suppose -2*r + 18 = -50. Let h = r + -30. Solve -5*i = h*c + 6, -4*c - 2*i + i = -2 for c.
1
Let k(r) = 2*r - 23. Let g be k(15). Let z be 108/g + (-36)/84. Solve -s + l = 7, -4*s + 5*l = -3*s + z for s.
-5
Let v be (-2 - (-38)/2) + -1. Suppose 0*y - 4*y = v. Let z be (-10)/y*(-1 - -3). Solve z*k + 20 = 0, -k = -2*p - 2*p - 8 for p.
-3
Let b(i) = -5*i**2 - 9*i + 2. Let w(d) = -6*d**2 - 10*d + 2. Let t(r) = 5*b(r) - 4*w(r). Let q be t(-2). Solve 5*h = -20, q*h = -3*v + 3*h - 17 for v.
1
Let x(f) = 21 + 19*f**2 - 10 + 2*f - 2*f**2 - 10. Let c be x(-1). Solve -4*m = -3*j + c, 6*j = m + j + 21 for m.
-1
Let a(r) = r**2 - 7*r + 8. Let h be a(6). Let y be (0/(-4 + 1))/(-2). Suppose -3*z + y*z = -z. Solve 0 = 5*d + 2*m + 3, h*d + z*d + 4 = 2*m for d.
-1
Let s(j) = -j + 1. Let v be s(-1). Let k be (v/(-5))/((-10)/100). Solve k*t - t - 20 = -5*b, -t - 4*b = -16 for t.
0
Let y = 205 + -113. Let u = y - 89. Solve 15 = 5*b, -2*w - 2*b = u*b - 11 for w.
-2
Suppose 3*m = -2*f - 50, 0 = 2*f - 2*m + 14 + 56. Let z = 34 + f. Solve 4*g - 15 = -o, -4*o - z = 4*g - 15 for o.
-1
Let i = 182 + -182. Solve 2*f = 10, -l = -i*l + 4*f - 19 for l.
-1
Let d(k) = -k - 5. Let v be d(-7). Suppose v*x + 2*x - 20 = 0. Suppose -2*c - c + 100 = x*p, 40 = 2*p - c. Solve -4*t - 16 = 4*u, -8 = -3*u - p for t.
0
Suppose -13 = -5*i + a + 8, -25 = -i - 5*a. Solve -20 = -c + 7*k - 2*k, 5*c + i = 4*k for c.
-5
Let z be -2*1*((-198)/(-12) + -18). Solve d + m = -3, -d - 4*m - 21 + z = 0 for d.
2
Let v be (1*-2)/(-8 - 154/(-21)). Solve t - 5*t = -4, 0 = v*y - 2*t + 11 for y.
-3
Let v = 10 - 14. Let z be v*(-1)/2 + 1. Suppose 2*u - 5*l + 17 = -0*l, 0 = -z*u + 2*l + 2. Solve 6*w = 3*w, u*w = -4*h - 4 for h.
-1
Let a = 3033 + -1681. Let c be (-2)/(-13) + 13/(a/400). Solve 3*z = 5*o + 3, -c*z = -3*z - 5*o - 1 for z.
1
Let g(z) = 16*z + 61. Let u be g(-3). Solve b - u = 4*x, -5*x - 2*b + b - 5 = 0 for x.
-2
Let a = -6 + 2. Let p be (a - -2)/(2/(-25)). Let r = p - 25. Solve 2*m + 5*k - 2 - 3 = 0, r = -5*m - 4*k + 21 for m.
5
Suppose -230*f = -233*f + 6. Solve -2*p + 7 = -5*w + f*p, -p = 2 for w.
-3
Let t be (-99)/(-18) - 1/2. Suppose 3*b = b + p - t, b + 2 = p. Let r be 0/(-6*b/(-6)). Solve 0 = -4*s + 16, -3*s + r*s = -5*w + 3 for w.
3
Let h(d) = 0*d**2 - 1 + 11*d - 4*d + 3 + d**2. Let y be (-1 + 8)*(-6 - (-5 - 0)). Let t be h(y). Solve 20 = t*w + 3*l + 1, 0 = 4*w - 2*l + 2 for w.
2
Let o = 683 - 669. Solve k + o = -4*d - d, 4*d = -5*k - 28 for k.
-4
Let m = -34 - -19. Let p be 0 + (-5)/m*6. Let s = -10 - -14. Solve -s*u + 13 = v - p*u, -u = 4*v - 17 for v.
3
Suppose -3*n = -5*v + 25, 3*v = 2*v + 5*n + 27. Solve -v*i + 10 = 2*l, 5*l = 2*l - 2*i + 15 for l.
5
Let k = 1284 - 1278. Solve 8 = -2*u, 5*x - k + 26 = -5*u for x.
0
Suppose -2*p - f = -1, -2*f - f = -4*p + 17. Suppose 89 = 2*u - 25. Let l = -54 + u. Solve -15 = s + l*a, -p*a + 4 = 12 for s.
-3
Let p be (0*(-7)/(-28))/1. Solve -2*w + i - 24 = 3*w, p = 4*w - i + 20 for w.
-4
Let l be 3/(15/5) - 2. Let o(u) = -3*u**3 - 2*u**2 + 1. Let g be o(l). Solve -2*f + 5*r = -3, 4*r = g*f - 0*f - 4 for f.
4
Let x be -6 - -5 - (2 + 2). Let a(y) = y**3 + 5*y**2 + 2. Let u be a(x). Let q be (-66)/(-14) + 4/14. Solve 0 = -q*z + 15, -u*f + 3*f + z = 8 for f.
5
Let o be ((-3)/(-3))/((-1)/(-2)). Suppose 4*r - o = 4*k + 2, -4*k = -2*r. Solve 0 = -4*x - 4, -3*x + 6 = -d - r*d for d.
-3
Suppose p + 4*p - 15 = 0. Suppose -5*z + s + 28 = 5*s, 5*z + p*s - 26 = 0. Solve h + z*h = 4*a - 26, 10 = 3*h + 4*a for h.
-2
Let g = 13 - -37. Suppose 46*a + 12 = g*a. Solve a*d = -3*w + 24, 4*d + 4*w - 37 = -w for d.
3
Suppose 2*z + 38 = -2*z + 2*i, 3*z + 5*i = -9. Let v = 6 + z. Let r be 1 - v - (-10)/(-10). Solve d = 4*p + 11, -5 = r*d + 3*d for p.
-3
Suppose 0 = -2*t + 22 + 22. Solve -3*v - 9 = 0, 5*x + t = 3*v - 2*v for x.
-5
Suppose 0 = 5*i - h - 28, 2*i + 0*h - 3*h = 6. Suppose i*s + 9 = 9*s. Let f be 1*(s - 3/3). Solve 0*m + m + f*y - 5 = 0, -2*y + 8 = 0 for m.
-3
Let a(x) = -1 - 18*x + 17*x + 2 + 1. Let j be a(-3). Solve -s + 3 = -j*v + 13, 2 = v + 2*s for v.
2
Suppose -5*q - 4*m = -25, 0 = -3*q + 10*m - 13*m + 15. Solve -2*l = 0, -8*x + q = -3*x - 4*l for x.
1
Suppose -7*a = -8*a + 5. Let l be (-2 - -1 - -2)*a. Solve 0 = 3*o + s + 4*s + l, o = 4*s - 13 for o.
-5
Let o be ((-6)/(-4))/(((-135)/(-380))/9). Let l = o + -35. Solve -2*b = g - 2 - 0, b = l*g + 15 for g.
-4
Let r be 40 + -35 + (-1 - (-8)/(-2)). Solve 0 = v + 2, -4*w + r*v - 8 = -4*v for w.
-4
Suppose 0 = -3*i - a - 2, -i - 2*a + 16 = -5*a. Solve -10 = -5*u + 5*z, -z + 3 - i = 0 for u.
4
Let b(x) = -1. Let q(l) = 2*l - 14. Let s(y) = -b(y) + q(y). Let n be s(8). Solve n*h - 2*f + 6 = -0*h, -5*h = -3*f + 9 for h.
0
Let s be 7*(25/(-105) - (-2)/3). Solve z + 5*o - 19 = -4, s*o - 9 = 0 for z.
0
Let j(y) = y**2 - 5*y + 5. Let p be j(5). Suppose -3*b = v - 92, 4*v - 3*v - 3*b - 116 = 0. Let d = v - 99. Solve p*c + 0*r = -d*r - 25, 4*r = 0 for c.
-5
Suppose -4 - 2 = 2*d, -5*r + 21 = 3*d. Let a = -3 + r. Let c be ((-6)/4)/(3/(-18)). Solve 0 = 2*n - 7*o + 2*o - c, n - o = a for n.
2
Let f(v) = -4*v + 16. Let y be f(5). Let d = -4 - y. Suppose 0*j - 30 = -3*j + 5*o, 4*j + 5*o - 5 = d. Solve 3*a + 2*c - 17 = 0, 0 = j*a - 4*c + 1 for a.
3
Let s = 1 + 2. Let h(k) = -k**3 - 13*k**2 - 36*k - 284. Let p be h(-12). Solve -15 = 4*a + a + 5*f, s = 5*a - p*f for a.
-1
Let u be 3 + (3 - (-3 - -6)). Let n be 3*((-7)/u - -1). Let x be -5 + 7 - (n - -1). Solve -5*d - m + x = -21, -m = -1 for d.
5
Let z be 27/(-21) + 18/63. Let y = z - -2. Solve 0*d - d - 2*t + y = 0, 4*t = 4*d + 32 for d.
-5
Suppose 0 = a + a + 6. Let f be (13 - 7)*(-1)/a. Suppose 0 = -f*y - y + 30. Solve -5*c = 2*r + 25, 0 = 3*r - r - 2*c - y for r.
0
Suppose -232 = -5*m + 2*r, -4*r + 12 = -2*m + 108. Suppose 0 = 5*t - m - 19. Solve 4*y - t = 4*h - 1, h - 5*y = -23 for h.
2
Let z = -276 