ve -5*w = i*p + 30, -d*w - 3 - 12 = -5*p for p.
-1
Let r = -7 - -4. Let h = 8 + r. Suppose 0 = -0*y + y - h. Solve 0 = 3*x + u + 5, 5*u + 0*u + y = 5*x for x.
-1
Let d(k) = 2 - 4 + k**3 + 9*k**2 + 5*k - 1 - 1. Let j be d(-8). Solve 3*p - 2*p = 3*z + 17, -4*z = j for p.
2
Let q(k) = -2*k**3 - 20*k**2 - 19*k + 11. Let i be q(-9). Solve 0 = y + 4*g - i, 5*y + 11 + 14 = 5*g for y.
0
Let c be (3/5)/(7/35). Suppose c*r + 24 = 2*l + 7*r, -5*l = -5*r + 15. Suppose -j - k + l = 0, k - 1 = j - 7. Solve -4*g + 6 = -2*i + 2, -i = -j for g.
3
Suppose -5513*s + 5508*s + 25 = 0. Solve -3*n = -5*w + s, -w = 3*n - 2 + 1 for n.
0
Let y be (1 - -1)*50/(-20). Let o be (-4)/y*(-25)/(-10). Suppose -h - 1 = 2*b + 3, -o*h + 2*b + 10 = 0. Solve h*n - 4 = -g, 3*n = 4*g + 8*n - 7 for g.
-2
Suppose 0 = -6*o + 148 - 28. Suppose 0 = 4*k + o, -11 + 38 = 2*j - 3*k. Solve 2*t = -j*c + 3*c - 17, -c = -3*t - 9 for t.
-4
Suppose 57*c - 386 = 583. Solve -3*m - c = -4*g, -4*g = 5*m - 19 - 6 for g.
5
Let a(f) = 4*f**2 + 7*f + 1. Let g be a(3). Let z = g - 39. Solve -4*r = 5*s + 17 + z, 0 = -s + 5*r + 16 for s.
-4
Let v(q) = q**2 + 21*q + 107. Let s be v(-13). Let y(j) = -j**2 - 15*j - 12. Let h be y(-14). Solve -h*o = 2*c - c - s, 4*c = 3*o + 1 for c.
1
Suppose -9 + 39 = 2*t. Solve h - 5*o = t, 2*h - 4*o = -h + 12 for h.
0
Suppose 5*j - 14 = -q, 4*q + 97 = 5*j + 78. Solve -14 = j*b + c - 0*c, -2*c = -b - 7 for b.
-5
Suppose 5*c - 3*x = -4 - 103, -5*x + 39 = -c. Let g = 14 + c. Let m = 25 + g. Solve 2*d - m = -2*d, 4*d - 28 = 2*l for l.
-4
Let t = 49 + -47. Suppose 0 = -t*f + 6 - 2. Solve 5*r = -5*w - 5, 0 = -5*w + 2*r - 31 - f for w.
-5
Suppose 3*v - 26 = -11. Solve -3*h - 20 = -h - v*g, 0 = 5*h + g - 4 for h.
0
Let k(h) = -h**2 - 3*h + 3. Let x be ((-2)/(-6))/(((-21)/(-27))/(-7)). Let d be k(x). Solve 0 = -2*u - d*c + 6 + 1, 2*c = 5*u + 30 for u.
-4
Suppose -h = -n + h - 6, 5*n - 26 = -4*h. Solve -n*d - 10 = 4*f - 28, 0 = -4*d + 4*f - 24 for d.
-1
Let w be (-76)/(-16) + (-2)/(-8). Let u be ((-2)/5)/((-8)/(-15))*-4. Suppose u*h - 4 = -h. Solve -h = 2*r - 3*r + 4*m, 0 = 4*r + w*m - 25 for r.
5
Let i = -8 + 14. Suppose -5*h + k + 43 = 0, 4*h + 4*k + 20 = 5*h. Let b be (-14)/3*(4/h + -5). Solve 4*c - 15 = -g, b = i*g - 4*g + 5*c for g.
3
Let z = -120 + 224. Let j = 107 - z. Solve -2*d - j*l + 14 = 0, -4*l = -4*d - 1 + 9 for d.
4
Let z(s) = 20*s + 125. Let m be z(-6). Solve m = 5*b, -5 = 5*u - 3*b + 8 for u.
-2
Let z(r) = -r**3 + 18*r**2 - 20*r + 53. Let x be z(17). Solve -4*s + 3*p = -31, 5*p + 45 = 3*s + x*s for s.
4
Let i(u) = -6*u - 43. Let h be i(-9). Solve -3*a + l - 1 - h = 0, -2*a - l = 8 for a.
-4
Let s be 1 - 2/(((-18)/21)/3). Suppose 20 = 4*g + s. Solve 3*n = -6, g*n = 3*a - n - 8 for a.
0
Let f be (31 - 31)/(1 + -2). Solve -3*y + 3*s - 6*s = 15, f = -s - 2 for y.
-3
Suppose 30*b - 219 = -129. Solve -4*n + b*t = -27, 0 = n - 5*t + t - 23 for n.
3
Let s(y) = y**2 + 5*y + 3. Let z be s(-5). Suppose -z*x = -4*x. Suppose 28 = 8*n - 4*n. Solve 19 + n = -4*i + 2*c, i - 2*c + 11 = x for i.
-5
Let w(z) = -8*z. Let j be w(-3). Let k be (-8)/28 - j/14. Let n be 282/54 + k/9. Solve 0 = n*m - 3*l + 8, -5*l = 5*m + 39 + 1 for m.
-4
Let q be (2 + 0/5)*2. Suppose -q*u + 26 = -0*x + 5*x, 4*u - 4*x - 8 = 0. Solve 4*h - h = -u*m - 17, 0 = m + 5*h for m.
-5
Let x = 0 + -3. Let q be -2 - (3 + (-11 - x)). Suppose -1 - q = -p. Solve 0*h + 2*h - p*k + 6 = 0, -h - 3 = -5*k for h.
-3
Suppose -3*w + 11 = 2. Suppose 1 = -w*x + 4*x. Solve 0 = -3*r + 4*q, 0 = -q - 4 + x for r.
-4
Let a(u) = -47*u**2 + 3*u - 4. Let t be a(1). Let w = -44 - t. Solve -4*g = 3*h - 6*h + 8, -3*h = -2*g - w for g.
-2
Suppose 4*s = 2*o + 14, 3 = 4*s + o - 20. Solve -4*w - k = 3, -s*k + k - 12 = 0 for w.
0
Let a = 38 + -20. Let w = 20 - a. Suppose 0 = w*l + 2*l - 8. Solve 7 = 5*s + l*b - 4, 2*s - b = 8 for s.
3
Suppose -3*f - 5*m + 29 = 0, 2*f - m = 6*f - 50. Suppose 5*n = -f - 2. Let h = n - -7. Solve 3*c + 4*u = 8*u + 24, 5*c - 8 = -h*u for c.
4
Suppose -2*k + 7*k = 25. Let a(d) = d**3 - 5*d**2 + d - 3. Let v be a(k). Suppose 0 = -4*t + 4 + 8. Solve 2*f - 6 - 4 = -t*u, u = v*f - 2 for u.
2
Let h = -19 + 12. Let n be (1 + h)/((-57)/38). Suppose r + n - 2 = 3*z, z + 6 = 2*r. Solve -2*d = -7*m + 3*m - 14, r*d + 5*m + 24 = 0 for d.
-1
Let g be 1780/(-50) + 6/10. Let k be ((-12)/7)/((-5)/g). Let b be (-15)/k - (-1)/(-4). Solve -2*a = 5 + b, 4*f - 6 = -2*a for f.
3
Let y = -2 + 8. Let p(h) = h**2 - 3*h - 4. Let m be p(4). Suppose m = -b - 4*d + 4, -5 = -3*b - 5*d. Solve b = l + 5*k - y - 1, k = 5*l - 9 for l.
2
Suppose -h + 154 = 10*h. Solve 2*r + 4 = -3*y, -r = -3*r + 2*y - h for r.
-5
Suppose 3*g + m - 9 = 1, 0 = -2*m + 8. Suppose 0 = -4*v + 25*q - 20*q + 117, -3*v + 3*q + 84 = 0. Solve 9 = -g*k + 3*u, 0 = -4*k - 5*u + v - 8 for k.
0
Let u be 4/(-8)*(0 + -10). Solve 3*m - u*p = -m - 7, -m + p = 1 for m.
2
Let i(x) be the second derivative of -x**3/6 + x**2/2 + 15*x. Suppose -l = -3*l - 8. Let w be i(l). Solve 13 = -h - 4*t, -2*h - 4*t + w*t = 8 for h.
-5
Suppose -14 = -4*f + 2. Suppose -f*a - 12 = -2*j, -2*a - 6 = -4*j + 6*j. Solve -3*t + 0*t + 3 = j, -3*k - 3*t = 0 for k.
-1
Let j = -1 + 3. Suppose t = j*h + 10, 8*t - 5*t + h = 2. Suppose -6*n + 375 = 345. Solve -5*x = -n*a - 20, -t*x - 1 = -5*a - 6 for a.
1
Let g be (6 + -11)/(-2 + 1). Let a(v) = v**2 - 8*v + 5. Let t be a(7). Let n be 2*t + 1 + 6. Solve -2*q - 4*x + n = x, 0 = 2*q - 3*x + g for q.
-1
Suppose 2*y + 16 = 4*h + h, 3*h = 5*y + 2. Solve -5*n + 8 = o - 2, 2*n = -y*o + 12 for n.
1
Suppose -4*z + 10 = 2*h - 10, -3*z = 5*h - 29. Solve -h*k + 8 = 4*i, -2 + 9 = 5*k + 2*i for k.
1
Suppose 0 = 26*j - 19*j - 28. Solve -2*o + 4*a = j, 2*o + 4 = -o + 4*a for o.
0
Let d = 733 - 733. Solve -4*i + 8 = 0, t + 3*i - 2 - 1 = d for t.
-3
Let b be 50/(-15)*30/4. Let w = -15 - b. Suppose -c + w = 4*c. Solve v - c*y = -4*y - 2, 2*y = -3*v - 6 for v.
-2
Let m(b) = -b**2 - 8*b - 7. Let t(g) = -g**2 - 4*g - 1. Let d be t(-5). Let i be m(d). Solve 5*f + 8 = -4*v, f = i*f + 2*v + 10 for f.
-4
Let x be (-28)/(-13) - 112/728. Solve 4*j - 3*b - 12 = 0, -x*b = -2*j + 3*b + 20 for j.
0
Let j(c) = -3*c - 1. Let l be j(-2). Suppose -7 - 8 = -l*f. Let k be 1/(f + -2) - 1. Solve 5*s + h - 32 = -2, 5*s - 3*h - 10 = k for s.
5
Let c(w) = w**2 - 15*w - 12. Let a be c(16). Solve 3*s - 16 = -5*u, -2*u = -2*s - a - 12 for u.
5
Let y be 3*2/(-6)*-5. Suppose y*t - 10 = -0*t. Suppose -2*x = -2*x + x. Solve -t*a = -5*i - x*a - 23, 0 = -3*i + 4*a - 25 for i.
-3
Let a = -109 - -112. Solve -4*z - a*k = 2*k - 36, -2*k = -2*z for z.
4
Let r(l) = 4*l - 3. Let s be (-6)/(-4) + 8/16. Let y be r(s). Suppose 3*p - y*v = 21, p - 5*p + 28 = 2*v. Solve 0 = -3*w - 2*u + 27 - p, -5*u + 4 = -4*w for w.
4
Let x be (-3)/((-185)/(-25) - 8). Solve -5*b - 13 = -p, -33 = -4*p + x*b - 11 for p.
3
Let g = -341 + 342. Solve 2*h + g = -4*k - 9, -h = -5 for k.
-5
Suppose 5*l - 9*l = -y + 17, -2*y = 2*l - 4. Solve 5*h + 4 = 2*h + g, 0 = y*g - 20 for h.
0
Let x = 7 - 4. Suppose 18 + 10 = 7*a. Suppose -4*v + 36 = -a*z, z + 8 = -z. Solve 0 = 4*d + x*j - 10, 0 = v*d + 3*j - 2*j - 7 for d.
1
Suppose 0 = -2*g + 2 - 12. Let s be g/4*-8*1/2. Solve 5*a = 10 + 10, s*w - 33 = -2*a for w.
5
Let r be -4 - -2 - (-3 - 1). Let n(j) = -j - 2. Let a be n(-14). Let o be (6/4)/((-2)/(-4)). Solve 3*v - 14 = -o*u + 5*u, r*v = 4*u + a for u.
-1
Let h = -12 - -15. Suppose 5 = -5*l, h*d - 2*d = l + 5. Solve 0 = -3*x - d*n - 19, -2*x - 2*n = -4*x + 6 for x.
-1
Let w(j) = 2*j**2 - 2*j - 20. Let q be w(-3). Solve -4*v - o = -17, -5*o - q = -29 for v.
3
Let k be ((-8)/(-10))/(1 - 21/35). Let l(t) = -4*t + 10. Let r be l(k). Solve -w = -4*x + r*x - 1, -3*w - 4*x + 13 = 0 for w.
3
Let j(n) = n + 1. Let v be j(2). Suppose 3*h + h - 56 = -4*m, 4*h - 50 = -2*m. Solve -v*q = -4*p + q - 4, 0 = -3*p - 4*q + h for p.
1
Suppose b = -4*b + 30. Suppose b*c - c = 60. Suppose 0 = -15*l + c*l. Solve l = 5*j + 3*w, -j - 3 - 9 = 3*w for j.
3
Let l = -42 + 44. Suppose 0 = -l*c + 1 + 5. Solve 0 = -i + c*t + 12, i - t - 20 = 6*i for i.
-3
Suppose 0 = d + 3*l + 7, -2*d = l + 4*l + 11. Suppose 0 = -d*p - 3 + 11. Solve -q - p*q = -v + 25, -5*v - 20 = 4*q for v.
0
Let j be -5 - (-3 + (5 - -1)). Let z = -4 - j. Suppose -23 + 22 = -l. Solve v - q = l, z*v - v = -q - 1 for v.
0
Let k be