+ 5*n = 20, 0*w = -a*w - 2*n + 8 for w.
0
Let i = -19 - -23. Suppose i*n = -5*w - 10, 0*w - 2*n - 16 = -3*w. Solve -8 - 7 = 2*o + 3*q, 2*o + 10 = -w*q for o.
0
Let q be (-8)/6*(4 - 7) - -1. Solve -3*a - 2*t - q = -t, 0 = -3*a + 4*t + 5 for a.
-1
Suppose -29*m + 27*m = -20. Let t = -4 - -7. Solve -t*o - 2*y - m = 0, 0 = -0*o - 4*o - 3*y - 13 for o.
-4
Suppose -5*x - p - 21 = -10*x, -5*p = -4*x + 21. Solve -u + 5*b - 2 = 0, -5*b + 6*b = x*u + 8 for u.
-2
Let u = 17 + -18. Let w = u + 4. Solve 2*v = -4*q + 6, -2*v + 4*v + 22 = w*q for v.
-5
Let l be 0 + 0 + -2 + 22. Suppose w - l = 6*w. Let z be (36/(-45))/(w/10). Solve p - 4 = -z*u, -15 = 3*p - 3 for u.
4
Suppose 3*g = 6*g - 6. Let d be 189/42*2/3. Suppose 0*j + 2*j + 4 = -p, d*j = p - 11. Solve -c - a = -p, -3*c - 5 = -g*a - 1 for c.
0
Let t = -167 - -169. Solve -5*b + 5*i = -5, -2*b + 4*i + 0 = -t for b.
1
Let y be ((-6)/9 - -3) + 6/9. Let s be 1 - 1 - (-2)/(2/y). Solve 2 = -0*a + a - c, a - 8 = s*c for a.
-1
Suppose 28 - 12 = 4*z. Solve d = 2*v + 3, z*d = -5*v - 7 - 20 for d.
-3
Let p = 630 - 626. Solve -7*c + 2*c - 5*j - 35 = 0, -p*c - 3*j - 24 = 0 for c.
-3
Let u(l) = l - 6. Let g be u(7). Suppose 0 = -q - g + 6. Let p be 8/2 - 0/q. Solve 4*k + 4*i = -9 + 21, 5*k - p*i + 12 = 0 for k.
0
Suppose 31*d - 92 = 8*d. Solve 5*q + 10 = -d*m, -7*m + 4*m = 4*q + 7 for q.
2
Let u(g) = 7 + 9 - 4 - 3*g. Let y = -23 - -27. Let i be u(y). Solve -4*p = -3*t - 3*p - 8, i = 4*t + 4*p - 16 for t.
-1
Suppose -11 = -2*k + o, k = -k - 2*o - 4. Let a be ((-30)/(-5))/((-6)/(-9)). Let y = 18 - a. Solve -4*c - 2*q - 15 = -c, -k*q = y for c.
-3
Let p = 70 + -50. Let l = p + -10. Solve -2*r + 4 = -3*k - 11, -2*k - l = 5*r for r.
0
Let o = 1 - -2. Suppose 1231*p = 1243*p - 108. Let c = 3 - 0. Solve -4*w = c*b - 5 - 4, -p = -o*b - 3*w for b.
3
Let z = 6 + -4. Suppose 3*t + 35 = 83. Suppose -36 = -4*b - 5*y, -z*y + 20 + t = 4*b. Solve -5*x + b = 4*n - 3, 4*n = 4*x - 24 for n.
-2
Let i(a) = -2*a - 1. Let x be i(-3). Suppose 6*n - n + 79 = -b, 20 = -x*b. Let u be 12/n*20/(-8). Solve -6 = -u*j + 4*r + 10, -2*r - 4 = -3*j for j.
-2
Suppose -24*c + 29*c - 2*t = 52, 3*t + 48 = 5*c. Solve 0*d - d - 5*j + 9 = 0, -c = -4*d + 4*j for d.
4
Let a(r) = r**2 + 5*r + 6. Let d be a(-4). Solve -3*q - d*y - 6 = -5*q, 0 = q - 5*y + 1 for q.
4
Suppose 2*p - 10 = -4. Suppose 0 = 5*h + 4*d - 17, -p*h + 8 = d - 5. Solve 0 = 4*j + 12, 0 = -h*l + 3*j + 19 for l.
2
Let v(i) = 18*i - 6. Let g be v(5). Let d be ((-15)/10)/((-9)/g). Solve -4*o + 3*o + d = 5*j, 4*j = -3*o + 20 for o.
4
Let m = 480 - 465. Solve -n + 2*j - m = 0, 6 - 51 = 5*n - 4*j for n.
-5
Let t(o) = 10*o**2 - 3*o + 2. Suppose -4*x + y + 4 = 0, -4*x - x = 3*y - 5. Let j be t(x). Solve -2*m - 3*l + j = 0, l - 3 = -m - 0 for m.
0
Let o(t) = t**2 - 4. Let a be o(4). Suppose -5*i = 4*p - a, 0 = p + 3*i - 3 - 0. Let u be -3 + -2 + p - -5. Solve -u*f - 4*b + 4 = -6, -f + 2*b = 0 for f.
2
Suppose 13*a = 18 + 47. Solve 0*i = 2*i - 10, -3*i + 10 = -a*v for v.
1
Let t(m) be the first derivative of -m**3/3 - 15*m**2/2 + 11*m - 19. Let q be t(-15). Let g = 50 - 31. Solve 0*r - 3*h = r - q, 3*h + g = 5*r for r.
5
Let w be (144/(-45))/8 + 92/5. Solve 0 = -3*n - y + 16, -w + 6 = -2*n - y for n.
4
Let l = 77 + -72. Let d(p) = -2*p**2 + 16*p + 3. Let w be d(8). Solve w*u - l*k = -4*k - 17, 0 = -3*u - 2*k - 11 for u.
-5
Suppose 0 = 2*f - 0*d + 2*d - 10, -3*f + 3*d = -9. Suppose 0 = 6*h - 4*h - 4*a + 8, 0 = 3*h - f*a + 2. Solve 0 = -g + 2*b + 6, -2*g + 0*g + h = -b for g.
2
Let o be -7 - -6 - 1*-2. Let w be o - (0 - (-2 - -2)). Let y be -3 + (w - -20)/3. Solve -5*s - 21 = -z, -y*z = 4*s - s + 31 for s.
-5
Let x(l) = 3*l**2 + 1. Let s(y) = -y. Let m(k) = k**2 - 10*k - 25. Let z be m(12). Let h be s(z). Let o be x(h). Solve 0 = 5*i - 25, 17 = 2*c + o*i + i for c.
-4
Let n be (-106 + 0)*10/(-20). Let w = n + -50. Solve 0 = g + 4*o - 20, 2*g - 15 = g - w*o for g.
0
Suppose -10*o = -14*o + 12. Suppose 5*s + 0*s - q - 101 = 0, o*s = 2*q + 62. Solve 4*p = -4*y + s, 0*p + 15 = 5*p - 5*y for p.
4
Suppose 18 = 2*r - 0*r. Let t(b) = -2*b**3 - 39*b**2 + 23*b + 65. Let a be t(-20). Solve -r = 2*q + 2*i - i, 3*q = -a*i - 10 for q.
-5
Suppose -2*y + 47 = 2*p + 33, y - 13 = -3*p. Solve 14 = -3*f - 4*t, 2*t - 7*t = -y*f + 2 for f.
-2
Let k(z) = -z - 2 + 5 + 2. Suppose 5*l + 1 + 9 = 5*m, 3*m - 7 = 2*l. Let b be k(m). Solve -4*f - b - 6 = -4*h, 0 = -3*h + 5*f + 10 for h.
0
Suppose 0 = 4*i - 0*i - 168. Let j = -38 + i. Solve j = u - 0*u, -5*g = 3*u + 13 for g.
-5
Suppose -365*m + 383*m = 72. Solve -5*b = -3*p + 17, -5*p = -b - 17 - m for p.
4
Suppose 5*m = 7*m. Suppose 30 = -m*s + 3*s. Solve 5*q - s = l + l, 0 = -5*q + 3*l + 5 for q.
4
Let g be ((-16)/(-20))/(4/10). Let o be (28/98)/(2/28). Solve f = 2*k - g*f + 5, o*k - 25 = -f for k.
5
Let y(g) = g - 7. Let f be y(11). Suppose 3*a - 9 = -0. Solve 0 = 2*l + 5*z + 3 - 23, -a*l - f*z + 23 = 0 for l.
5
Let i be ((-158)/711)/(1/(-36)). Solve r + 2*r = 4*d + 16, 2*d + i = 2*r for r.
0
Suppose 0 = -66*v + 75 + 255. Solve -5*o + v*g - 30 = 0, 5*o = -3*g - 12 - 2 for o.
-4
Let j = -9 - -12. Solve -j*m + 18 = 2*g, g - 11 = -4*g + m for g.
3
Let k = 363 + -249. Let z = k + -112. Solve -5*n - f = -27, 3*n - 1 = z*n + 2*f for n.
5
Suppose 0 = 5*u - 4*q + 68, -64 = 4*u + 3*q + 9. Suppose -a = -l - 21, 7*l + a = 3*l - 69. Let v = u - l. Solve f + 7*x + v = 3*x, 3*x + 3 = 0 for f.
2
Let p(k) = -k - 21. Let w be p(-26). Solve 0 = -2*r + 5*v - 11, -5*r - 17 = -r - w*v for r.
-3
Let p(k) = -k**2 + 15*k - 24. Let o be p(13). Solve -5*m + 9 = 3*y - 2*m, -o*m = 4*y - 6 for y.
0
Let z = -7 - -12. Suppose 16 = 2*d - y + 4, z*d - y - 27 = 0. Solve d*m - 3*c + 12 = -5*c, -m + 1 = -3*c for m.
-2
Let v = 8 - 6. Let b(r) = -r - 24. Let z be b(-11). Let t be -5 - ((z - -3) + 1). Solve -3*a - 2 = 4*h, 2*h + v = 3*a - t*a for a.
2
Let m(n) = 6*n + 2*n + 2 - 4*n + 6*n. Let o(v) = 3*v + 1. Let y(k) = 5*m(k) - 14*o(k). Let c be y(4). Solve -5*f - 2*l = c, -3*f - 23 = l - 7 for f.
-4
Let r be ((-1)/(-1))/(5/20). Suppose 5*l + 1 = -r. Let z be 4*(l - (-3)/2). Solve 5*h = -2*d + 21, -h + 3*d = -z*h - 1 for h.
5
Let m be 7 - (2 + 0) - 17. Let o = 14 + m. Solve -7*z + b + 21 = -2*z, -o*z - b + 14 = 0 for z.
5
Let y = -3 + -6. Let v be (2/(-8))/(y/(-36)). Let i be (-2)/(v + 7)*-9. Solve 3*j = -4*c + 8, j - i + 7 = 0 for c.
5
Let g = 317 + -220. Let q = -88 + g. Solve 2*u = -5*d + 21, -4*d + 2*u + q = u for d.
3
Suppose 269 = -10*o - 271. Let b = 54 + o. Solve -3*g - 4*h + 2*h = -5, 4*g + 4*h = b for g.
5
Let p(w) = w**3 + w**2 - 17. Let h be p(0). Let c = 22 + h. Let l(q) = 2*q**2 + 5*q + 7. Let m be l(-5). Solve -5*u + c*s - 7 = -m, -u - 3*s = -1 for u.
4
Let h(f) = f + f - 4*f - 12 + 1. Let k be h(-6). Solve -2*v + 9 - k = 4*r, 2*r - v + 4 = 0 for r.
0
Suppose 0 = -13*j + 23*j - 40. Solve -4*u = j*s + 3 - 7, 2 = 4*u + 3*s for u.
-1
Suppose 4*m - 9 = 3*r - 8, 0 = r - 12*m + 43. Solve -3*f - k + r = 0, f = 3*k + 13 - 8 for f.
2
Suppose -4*r - 4*l + 2*l = -28, r - 21 = -4*l. Suppose 6 + 66 = -9*u. Let p be u - -15 - (-1 + 5). Solve -r*w - 11 = 4*s, 0 = p*s - 6*w + 3*w - 12 for s.
1
Let b = 469 + -445. Suppose 9 = 5*f - 2*f. Solve 5*r = -v - b, -v + f*v = r - 4 for r.
-4
Let q = 485 + -465. Solve -g + 2*a = 10, 9*g - 4*g + q = 4*a for g.
0
Let o be -6*(-6)/12*(-2)/(-3). Suppose 4*g - 3*j - 2*j = 31, 2*j = -2*g + o. Solve -m - 45 = 4*m - g*i, 3*m - i + 20 = 0 for m.
-5
Let h be -33*(3 + (-40)/12). Suppose h*t = 15*t - 24. Solve 4 = -4*w, -s = -t*s + 3*w + 13 for s.
2
Let p be -9 - -23 - 4/((-8)/(-6)). Suppose 0 = -p*n + 24 + 20. Solve 0 = -2*q + k + 5, -n*q - k = -3*q + 5 for q.
0
Let i(x) = -12*x**3 + x**2 - 1. Let v = 11 + -4. Suppose -5*m - v = -2. Let q be i(m). Solve -2*d + 5*o - q = 0, -d - 2*o + 24 = 3*d for d.
4
Let i = 43 + -41. Suppose 0 = i*f - f. Solve 4 = -f*g - 2*g + x, -x = 3*g + 1 for g.
-1
Let p(y) = -16*y - 30. Let n be p(-2). Solve z = -h, 2*z + h + n = -2 for z.
-4
Suppose -5*b = -22 - 18. Suppose 0 = -4*c + b. Solve 0 = 2*v - 0*m + 2*m + 8, -2*m + c = 0 for v.
-5
Let z(l) = 2*l - 4*l - 2 - 5*l + 4*l. Suppose -2*a = -5*a - 3, -y = -2*a. Let p be z(y). Solve p*j = -3*c + 3, 2*j - 1 - 3 = -2*c for c.
5
Suppose -4*f = -3*f - 50. Suppose f = 4*d + d. Let o = d + -8. Solve -3*k - 30 = -5*y + o