Suppose q - 7 = -3*n, -5*n + 2*n + 3*q + 27 = 0. Solve -2*z + u = -1 - 1, 12 = 2*z + n*u for z.
2
Let u be 40*8/(-20) + 20. Solve -n = 4*f + 5, 4 = -u*n - 0*n for f.
-1
Let i(u) = -3*u + 44. Suppose -5*y + 26 = -39. Let b be i(y). Suppose 3*g + f + 2 = 6*g, b*g = -f - 2. Solve 0 = r + 2*v + 2, 8 = -3*r - g*r - 4*v for r.
-4
Let u be 6*(50/6 + -4) - 4. Solve 3*f + 2*f + u = z, -2*f = 10 for z.
-3
Let i be ((-60)/(-12))/((-25)/(-15)). Solve -y = 4*o - o - 9, -o + 13 = -i*y for o.
4
Suppose 3*d - 16 = -3*a + 8*d, -a - 5*d - 8 = 0. Solve 3*k - 5*j + 40 = 0, -3*k = a*j - 15 - 1 for k.
0
Suppose -2*t = -g - 23, 2*t = -5*g + 1 + 28. Suppose 9*n - 4*n = 5*d + 45, d = 4*n - 36. Suppose t = n*z - 5*z. Solve z*i + 23 = 4*p, -i - 2*p = -0*i - 9 for i.
-1
Let q = -3447 - -3450. Solve -v = -q*y + 1, 2*v - y + 9 = 7 for v.
-1
Let i be 251/3 + (-8)/12. Let m be i/2 + (-21)/14. Suppose 2*o + o - 24 = -x, 0 = -5*o + 4*x + m. Solve 2*j = -s + o, 17 = -4*s + 4*j + 1 for s.
0
Suppose -19*s = -2*s - 510. Suppose 11*t = 25 + s. Solve -25 = t*j - z, 3*j + 2*z = -2 - 13 for j.
-5
Let q = -3812 - -3809. Suppose -c - 18 = 2*c. Let z be (c/4)/(q/32). Solve -4*n + n - z = b, -14 = 4*b + 2*n for b.
-1
Let c(s) = -3*s. Let o be c(-12). Let x be (-9)/(o/(-128)) - -3. Let k be (-18)/(-10) - (-7)/x. Solve -3*z + 8*z = -25, -z - k = 3*m for m.
1
Let d = 1761 + -1759. Solve 3*w = 12, -d*j + 2*w = -0*j + 12 for j.
-2
Suppose 128 - 133 = -5*a. Suppose -4*p = g - 21, p + a = 5. Solve 0 = x - 0*x + g, 2*x + 13 = -3*m for m.
-1
Suppose 0*d - d + 12 = 2*o, 0 = 2*d - 2*o - 18. Suppose -3*l = p - 7, -2*l - d = 3*p - 6*p. Let g = -57 + 59. Solve 0 = 4*s - s, 0 = -g*i - s - p for i.
-2
Let d(w) = -7*w + 273. Let n be d(38). Let s(q) = 3*q**3 - 20*q**2 - 6*q - 4. Let j be s(n). Solve -3*h + 24 = 5*x, -j*x + 4*h = 4 - 1 for x.
3
Let a(w) be the second derivative of w**5/20 + 7*w**4/3 + 5*w**3 + 85*w**2/2 - 158*w. Let m be a(-27). Solve 3 = z + 2*o - 4, -z - 5 = -m*o for z.
3
Suppose -162 = -710*p + 656*p. Solve 5*u + p*b + 31 = 0, b - 12 = 2*u + 2*b for u.
-5
Let i be (-2)/(-14) - ((-209)/7 + 3). Suppose -6*q = 5*h - 3*q - i, 0 = 4*h - 5*q + 8. Solve m = h*l - 0*l + 2, 0 = 3*l + m + 4 for l.
-1
Let z be (4/2 + -14 + 3)*57/(-171). Solve z*b - 75*k = -73*k - 20, 5*b - k = -24 for b.
-4
Suppose 549 = 66*s - 771. Solve 0 = 5*u + h, 4*h - s = -2*u - 2 for u.
-1
Suppose 102*g + 117 = 525. Solve 11*p - 5 = 12*p, g*j + p + 13 = 0 for j.
-2
Suppose -f - 42*f = -817. Solve -q = 4*y - f, -y - 6*q + 7 = -8*q for y.
5
Let u be -21*44/(-1078)*28/6. Solve 0 = -4*o - 3*v + 7*v + 16, 0 = 2*o - u*v - 12 for o.
2
Suppose 5*g + 106*s + 16 = 110*s, 0 = 3*g - s + 4. Solve n + 23 = 24, -2*z + n - 7 = g for z.
-3
Let q(g) = -3*g**2 + 23*g + 3. Let v(f) = f**2 - 11*f - 2. Let m(d) = 2*q(d) + 5*v(d). Let t be m(-8). Solve t*x = -0*c + 3*c + 28, -12 = -3*x for c.
-4
Suppose 14*g + 9 - 373 = 0. Solve -9 = 2*c + 3*b - g, 5*c - 3*b + 10 = 0 for c.
1
Let z be (-4)/10*(6 - (11 - -55)). Let r be 3/z*-4*-22. Solve 2*c + 2*i = -r + 3, 4*c + 2*i + 10 = 0 for c.
-1
Let t(b) = 3*b - 1. Let n be t(2). Let s(u) = 17*u - 352. Let q be s(50). Suppose 4*f - 806 = -q. Solve n*k - 5*a + 27 - f = 0, 5 = -a for k.
5
Let t(r) = -29*r - 514. Let v be t(-19). Solve h + 12 = 2*w, 2*w + 8 = -v*h + 33*h for w.
4
Let q be (434/186)/((-14)/(-12)). Solve -3*i + i = 3*n + 6, n + q*i = 2 for n.
-4
Suppose -20*y + 20 = -24*y, -3*z = -4*y - 38. Solve -4*u + 5*o = 15, -z*u + u + 4*o = 21 for u.
-5
Let s be (16/6)/(44/330). Suppose -s = -94*v + 89*v. Solve -3*n = n - 4*t + 8, -v*t = -n - 2 for n.
-2
Let l(t) be the second derivative of t**3/2 - 2*t**2 - 2*t. Let g be l(10). Suppose 30*s = g*s + 20. Solve -3*o + 11 = -3*a + s*a, -2*o + 5 = -a for o.
3
Let f = -149 + 151. Suppose 6*r - 16 = r - 2*h, -f*r = 4*h. Solve 6 = r*k - 6, 3 = 4*a - 3*k for a.
3
Suppose 3*t + 4*o = 52, -16 - 7 = -2*t - 5*o. Suppose -5*w - w + t = 0. Solve 4*h + 8 + 7 = 5*a, -w*h + 6 = 2*a for a.
3
Let c(b) = b**3 - 13*b**2 + 5*b - 37. Let y be c(13). Let n be y/98 + (-192)/(-14). Solve -k + 5*s = 20, 3*k - 3*s + n = 2 for k.
0
Let z(k) = 3*k**3 - k**2. Let p be z(1). Let x be (-12 + p)*(-10)/4. Let c(y) = -189*y - 562. Let a be c(-3). Solve 0*j - x = -5*j - 5*f, 2*f + 11 = a*j for j.
3
Let l(v) = -v**3 - v**2 + 11*v + 24. Let h be l(-4). Let t = 25 + -24. Let u be (t/(-2))/(3/24*-1). Solve -h = 5*x - x - 5*o, 3*x = -u*o + 10 for x.
-2
Suppose -3*n - 11 - 7 = 0. Let v(j) = -3*j**2 - 12*j - 5. Let p be v(n). Let x = 43 + p. Solve 4*a + x*q = -4, -4*a - 4 = -7*a - 5*q for a.
-2
Suppose 0 = -10*o + 6*o + 32. Let t be (-14 - 0)/(-2 + 0/2). Suppose -t = h - 3*x - 2, -h + 4*x - o = 0. Solve 12 = 5*n + h*w, -w - 8 = -4*n - 5*w for n.
4
Suppose 3*w + 4*q - 6 = 17, -10 = -5*q. Solve -x = -w*i + 8, -5 - 3 = i - 5*x for i.
2
Suppose 35*n - 104 = -17*n. Solve -4*x = -4*q + 36, q - 2*x = -n*q + 22 for q.
4
Suppose -y + 53 - 34 = 0. Suppose -4*k + y = 5*v, -7*k = v - 4*k - 6. Let b be (2/(-5))/(3/(-15)). Solve 4*z - 10 - 9 = 5*x, -7 = b*z + v*x for z.
1
Suppose -3*w + 41 + 21 = -4*b, -w = -b - 20. Solve -2*n = 5*c - w, -3*c = -2*n - 0 + 2 for n.
4
Let d be (4 + -25)*(3 - (-338)/(-6)). Suppose -3*w = 7*w + d. Let a = -107 - w. Solve 3*t = 3*j + 15, -a*t - 2*j + 2 = -t for t.
2
Suppose 5*f - 69*c - 20 = -71*c, -2*c - 12 = -3*f. Solve -f*d = a - 2, -2*d - 9*a + 8 = -12*a for d.
1
Suppose 121*w - 297 - 159 = 149. Solve -w*s = -5*y + 10, 0 = s + 3*y + 13 - 11 for s.
-2
Let q be 16*((-6)/4 + 1). Let y(b) = 4*b**3 - 27*b**2 - 7*b + 8. Let n be y(7). Let t be (-2)/n + (-82)/q. Solve 4*c = 0, -5*h + 0*c + t = c for h.
2
Let w be ((-6)/8)/((-1)/52). Let l = w - 43. Let b be 0*(0 - 1*l/12). Solve -3*t - 9 = b, 2*q + 2*q - t = 19 for q.
4
Let c be (8/10)/((-1)/(-50)). Suppose 4*w = -2*x - 4, -4*w = -5*x + 56 - 52. Let d be 0 - w - (-24 + 17). Solve 4*j = 5*m + c, -3*m - d*j + 13 = -3*j for m.
-4
Let d(l) = 2*l + 13. Let g be d(-5). Let y be g/12 - 353/4. Let h = -86 - y. Solve -4*t + 16 = -h*j, 0 = j - 2*j + t - 6 for j.
-4
Let o be (437/133)/((-1)/(-7)). Solve -3*x + 7*v - 11*v - o = 0, 3*v + 31 = -5*x for x.
-5
Suppose -2*v = 10, -g - 24 = -2*g + 4*v. Solve 2*c + 20 = -g*t, 6*t - c = 10*t + 18 for t.
-4
Let s be ((-27)/(-6) - 1 - 3)*-74. Let d = 42 + s. Let v = -27 - -30. Solve d*q - 18 = -3*x + 2*q, -v*q = -3*x for x.
3
Suppose 4*q + 16 = 0, 13 - 12 = p + q. Suppose 34 = 24*h - 20*h + p*f, -5*h - 2*f + 51 = 0. Solve -3*k - h = 4*z, 2*k + z = -0*k + 1 for k.
3
Let c = -42 + 44. Suppose 61 = -c*k + 23. Let u be k/(-3)*(1 - -2). Solve 6 = -4*l - i + u, -5*i - 27 = -3*l for l.
4
Suppose 32 - 42 = -2*f. Let l be 1*(-2 - 1) + f + 0. Solve -6 = 2*u, 3*w + 2 = 7*w + l*u for w.
2
Suppose -571*g - 52 = -573*g. Suppose 2*f - 17*t = -13*t + g, 3*f = 2*t + 23. Solve 2*u + f*b + 17 = 0, -4*u = -u + 3*b + 12 for u.
-1
Suppose -7*x = -364 - 119. Let w = -65 + x. Suppose 0 = -2*a + w - 0. Solve -a*b - 2*n = 2*b - 2, b = -4*n + 4 for b.
0
Suppose 0 = -60*i + 62*i - 72. Let r be 5/(-40)*-26 - 45/i. Solve z + 10 = r*a, 0 = z - 6*z + 4*a - 32 for z.
-4
Suppose -671*u = -693*u + 132. Solve 0 = -4*o + 3*m - 9, -8*m + 10*m - u = -2*o for o.
0
Let u be ((-8)/(-30) - 3/(-9))/((-24)/(-80)). Solve -5*h - 9*z = -12*z - 5, u*z = 0 for h.
1
Let u(m) = -m**3 - 3*m**2 + 15*m + 4. Let r be u(-5). Let l be (r/(-14))/((-9)/(-12)). Solve 5*a = -h + 3, l*h + 9 = 3*a + 2*a for a.
1
Suppose -4*t - g = -233, 93 = -4*t - 5*g + 314. Solve -3*v + 36 = 4*d + t, -3*v = -3*d - 12 for d.
-5
Let j = 6293 - 6291. Solve -2*l + 6 = j*r, l - 28 = 2*r - 37 for r.
4
Let i be (-6 - (-102)/12)/(2/28). Suppose -10 + i = s. Solve 0 = 2*t - 5*m - 20, s = -4*t - 5*m + 5 for t.
0
Let y be 4 - -2*(-19)/(-2). Let b = y + -23. Let a = 10 + -7. Solve -1 + 4 = 4*i + f, b = i - 2*f - a for i.
1
Let l(x) = 23*x - 26. Let f(t) = 8*t - 9. Let h(a) = 17*f(a) - 6*l(a). Let m be h(-2). Solve -d + 2 = -b + m, 5*d + 4*b + 16 = 0 for d.
-4
Suppose -7*q + 106 = 78. Let f(a) = a**3 - 2*a**2 - 3*a - 17. Let h be f(q). Solve 2*c - 2*b = -3 - h, -5*c - 21 = b for c.
-4
Suppose -110 + 38 = 18*h. Let v be (2/h)/((-1)/4) - -5. Solve 2*d = -3*w - 14, -d - 2*w - v - 1 = 0 for d.
-4
Let d be 12*(28/16)/1 - 3. Suppose -10*k - 5*g - 17 = -6*k, 4*k - d = 2*g. Solve 5*y = -0*y + 2*a - 26,