 - 18 for x.
2
Suppose 3*n - 12 = -f, -4*f - 4 + 0 = -n. Solve n*o - 6 = c, -3*c = 5*o - 6*c - 4 for o.
2
Suppose 4*s + 21 = 113. Suppose 0 = 4*l + 3*n - 80, -6*l + 3*l + 4*n + 85 = 0. Let g = s - l. Solve g = -2*w - j - 5 - 2, -4*w - 9 = j for w.
-1
Suppose -2*j + 0*j = -28. Suppose -3*c + 4 + j = 0. Solve -2*v + 6 = -0*v + 5*l, -3*l = -c for v.
-2
Let r be (-25)/(-10)*-2*1*-4. Solve 0 = -4*l + 2*w + 10 + r, 4*l + w - 15 = 0 for l.
5
Suppose -125 = -37*b + 12*b. Solve -6*r + 4*r + 10 = -4*y, 0 = -b*r - 5 for y.
-3
Let c be (0*(-3 - -2))/1. Solve -2*p + 18 + 15 = 5*w, c = -p + w - 1 for p.
4
Suppose 14*t - 9*t = 15. Solve -3*c - l + 13 = t, 3*l - 10 = c for c.
2
Let w be 13/(-3 - (-1 + -1)). Let q(x) = x**2 + 12*x - 8. Let u be q(w). Let n(k) = k. Let y be n(5). Solve 0 = h - 0*h - f + u, 0 = -y*h + 2*f - 16 for h.
-2
Let f(d) = -2*d**2 - 5*d + 7. Let a be f(-5). Let q = a + 21. Solve -5*b + 9 = -2*y, 3*b + q*y - 6*y = 0 for b.
3
Let k(n) = n**3 + 6*n**2 - 7*n + 2. Let d = -14 - -17. Suppose 2*m - d*m = 7. Let l be k(m). Solve 5*v - 4*r = 4*v + l, 0 = -4*r - 4 for v.
-2
Let g = -2 - -7. Let v = 198 - 123. Suppose 3*n - v = -0*n. Solve -5*y - 5*j + n = 0, g*y + 0 + 15 = 3*j for y.
0
Let o = -82 + 90. Solve 2*u = f + o, 2*u - 3*f - 2*f = 24 for u.
2
Let w = 9 + -6. Suppose -j = 2*j - 6. Suppose -3 + 9 = j*m. Solve 0 = -0*f - 4*f + m*b - 7, -4*f + w = -b for f.
2
Suppose 0 = -5*d - s - 4, -3*s - 7 = -3*d + 5. Suppose 0 = -r - 5*o + 12, d = -r + 2*r - 5*o + 8. Solve -r*w = v - 3 + 9, 0 = 5*v + w + 12 for v.
-2
Suppose 15 = 3*g, 8*g + 2 = -w + 6*g. Let y be 3/w*(1 - 0)*-52. Solve -32 = -5*m - 4*c, 2*m = m - 3*c + y for m.
4
Let f = -8 - 32. Let q = 42 + f. Solve 5*z + 2*j + 15 = -0*j, 18 = q*z - 4*j for z.
-1
Let g be (-2 + (-5)/(-2))*22. Suppose 0 = j + 6 - g. Solve j*m + 10 = -v, -4*v - m - 6 + 4 = 0 for v.
0
Let t be ((-14)/(-21))/(((-3)/(-9))/1). Solve -3 = 5*l - 0*l - b, t*b = -3*l - 7 for l.
-1
Let h = -104 - -106. Let k(c) = 2*c - 2. Let r be k(3). Let n = 7 - r. Solve 0 = -4*a, -i = h*i - 3*a + n for i.
-1
Let s be (-54)/(-1*(3 + -2)). Suppose s = 5*a + 44. Solve 4*p - q - a = 15, -3*p = -5*q - 34 for p.
3
Let s(y) be the first derivative of y**3/3 - 3*y**2/2 - 5*y - 1. Let q be s(-2). Solve j - q*h = 17, -4*j + 3*h = -7*j - 3 for j.
2
Let v = -5 - -6. Let o = v - -3. Solve 0 = -o*z - 5*h - 35, 4*z + 5 + 12 = h for z.
-5
Let a = -23 - -26. Suppose 0 = a*o - 2*c - 13, 5 = c + 4*c. Solve 23 = o*d - 2, -5*d + 28 = -v for v.
-3
Suppose 4*o - 45 = 3*v - 2, 3*v = 2*o - 17. Suppose -60 = 2*b - 6*b. Solve x = -m - 3*x + o, m = -5*x + b for m.
5
Suppose 5*s - 28 = 107. Let o = s + -2. Solve o = 5*l, 3*d + 0*d = -4*l + 20 for d.
0
Suppose 41*y - 866 + 169 = 0. Solve 3*p + 6 = 2*c, -13*p + c = -8*p + y for p.
-4
Let y(c) = -8*c + 228. Let v be y(28). Solve 0 = v*z + w - 5 - 14, -3*z - 3*w + 21 = 0 for z.
4
Suppose -2*t + 48 = 22*t. Solve -t*n + 4*x = 16, -4*n - 2*x + 6 = -12 for n.
2
Suppose -4*x - a - 112 = 231, 3*x - 3*a = -276. Let q = 90 + x. Solve q*t + 6 = -3*b, 4*t - b + 3 = 5 for t.
0
Let h(z) = -z - 7. Let b be h(-9). Suppose -6*v + 2*v + 116 = 0. Let j = v + -29. Solve -l - 3*n = -b, -5*l + n + 19 + 7 = j for l.
5
Let q be 1*4*2*1. Let z be (-147 - -1) + 0 + 4. Let a = z - -145. Solve 4*r - 22 = 2*v, q*v + a*r = 3*v + 10 for v.
-1
Suppose 3*u = -u. Let n = u - -3. Let c be 4 + 3/(-6)*(-12)/(-3). Solve 7 = -5*f - 4*g - c, -n*f + 4*g - 31 = 0 for f.
-5
Let l = 3 - -3. Let o(m) = -m**2 + 50*m + 163. Let f be o(53). Solve f = -3*i - w, w + l = -5*i - 2 for i.
-2
Let l = -195 - -200. Solve -3*g + 4*g + l*z = 29, 2*g = -z + 13 for g.
4
Suppose 20*c - 53 + 13 = 0. Solve -4*d = -2*f - 4, 5*f + c = -2*d + 4*d for d.
1
Let p(u) = 3*u + 11. Let k be p(-3). Suppose -4 = -4*z + 4*h, 2*h - 22 = -k*z - h. Solve -z*q - 5*m = -30, -q - 3*m - m + 12 = 0 for q.
4
Let x = -81 - -134. Let f = 58 - x. Solve 0 = 3*u - 2*t + 10, -2*u - f*t = -5*u - 16 for u.
-2
Let w be (-15)/10*8/(-6). Suppose 3*p - g - 84 = 0, -5*p + 2*g = 7*g - 140. Solve -w*r - p = 2*r + 3*t, 24 = -2*r - 4*t for r.
-4
Suppose -2*r + 63 + 3 = 0. Let q = r + -31. Solve 3 = -a - q*d, 4*a - 8*d + 3*d = 14 for a.
1
Suppose -4*a = 4*j + 8, -9 = a - 4. Suppose -j*v + 0 + 12 = 0. Solve 1 = 3*u - 2*c, 5*c + 1 = 2*u + v*c for u.
1
Let o(w) = 6*w + 6. Let q be o(-3). Let m be q/9*(-3)/2. Suppose 5*t + m = 6*t. Solve t*g + 3*v = -9, -3*g = v - 2 + 12 for g.
-3
Suppose -67*k = -72*k + 25. Solve -k*j = -4*n - 3, 5*j + 1 - 2 = 3*n for n.
-2
Suppose -q - 4 = 3*a, 7*q - 10*q - 3*a = 0. Solve -y = 3*u - 2, -q*y + 0*y = 3*u - 4 for u.
0
Let d(a) = -a**2 - 35*a - 93. Let o be d(-32). Solve o*u + 12 = 3*p, 3*p = u + 3*u + 16 for p.
0
Suppose 198 = 53*s - 67. Solve -3*d - 4*p + 5 + 3 = 0, s*d - p + 25 = 0 for d.
-4
Suppose -6*r = -5*r - 5. Suppose -5*u - 4 = q, 2*q = u - 0 + 3. Solve -g = r*s + 19, -s = -4*g + 7 + q for g.
1
Suppose 7 - 45 = -f. Suppose -3*j + f = -25. Let k = 23 - j. Solve t - r = -t + 2, -3*t = k*r - 10 for t.
2
Suppose 0 = 2*b + 4*n - 22, n - 5 = -b + 8. Let h = 107 + -107. Let p = h + b. Solve 5*z = -p, -q + 8*z = 3*z - 10 for q.
-5
Let k be (2 - 3 - 3)/(-2). Let i(o) = 9 + o**k + 8 - 4*o - 12. Let c be i(2). Solve d = 5*j + 4, c - 17 = -4*d - 2*j for d.
4
Suppose 4*g - 15 = 5. Suppose -g*h + 4*k = 3*k - 28, -3*h = -k - 16. Solve -3*a - h = -2*a - j, -5*a - 3 = 4*j for a.
-3
Suppose 10 = -2*s + 7*s. Suppose -s*z = 4 - 22. Solve 3*k - 5*o - 9 = 0, -3*k + 4*o - 3 = -z for k.
-2
Suppose k = -5*s - 3, -3*k - 4 - 5 = -s. Let c(f) = f**3 + f**2 + 8. Let g be c(s). Solve -4*x + 0*m - 4*m - g = 0, -5*m - 12 = 4*x for x.
2
Let b be 14*(-20)/24*-3. Let p(r) = -13*r**3 + 1. Let v be p(-1). Let w be 4/v + 33/7. Solve 2*g - o + 9 = 0, -w*g = -o - 4*o + b for g.
-2
Suppose -8 = -5*c + 7. Solve 0*o = 3*d + 3*o - 18, -c*o - 14 = -5*d for d.
4
Let v be (-1155)/9 - (1 + 3/(-9)). Let t = -126 - v. Solve -2*s + c - 30 = 3*s, -10 = 5*s + t*c for s.
-5
Let s(j) = j**3 + 11*j**2 - 11*j + 14. Let k be s(-12). Solve 4*i - z - 1 = -14, 16 = k*i + 4*z for i.
-2
Let j be 5/1 - (4 + (12 - 16)). Solve 3*h = j*l - 4*l + 5, -4*h = 4*l - 28 for l.
4
Suppose -36 - 98 = 18*q - 206. Let k be 2/(-3) + (-8)/(-3). Let x be (8/10)/(3/15). Solve -k*i = -x*m - 8, 0*i + q*i = 4*m + 4 for i.
-2
Let w(p) = -23*p + 30*p + 12 - 29*p + 4*p**2. Let d be w(5). Solve 2*o - 20 = 4*n - 6, -d*o = 4*n + 26 for o.
-3
Let w(v) = -v. Let j(o) = 11*o - 25. Let n(p) = j(p) + 2*w(p). Let x be n(3). Solve 2 = -d + x*u - u, 2*u = d for d.
-4
Suppose 0 = -3*z - 3*q + 6, 3*q = 2*z + 8*q - 13. Let m be 2*z*(7 + -8). Solve 4*h - 5*o + m*o - 10 = 0, 4*h + o - 18 = 0 for h.
4
Let h(a) = -2*a**2 - 17*a - 34. Let i be h(-4). Solve -2*m - 4*w = -18, 0 = -4*m + i*w - 3*w + 1 for m.
-1
Suppose 3*n = -n. Let i = -281 + 284. Solve -c - i*y = -n*c + 5, 3*y + 6 = 0 for c.
1
Let l be 13 - 14/((-112)/(-40)). Solve 0 = f + 3*n - l*n - 16, 0 = f + 3*n + 8 for f.
1
Let l be (5/2)/(75/120). Solve 6*n = -5*k + 4*n - 10, -2*k - l = n for k.
-2
Let y be ((-19)/4 - -5) + 3/4. Let m(w) = -3*w + 1. Let d be m(-3). Let a be d - (y - (-3 - 0)). Solve i + 3 = n, 5*i - a = 2*n - 27 for n.
-2
Suppose 0 = 5*f - 5*o - 60, 45 = 4*f + 5*o - 6*o. Solve 0 = -4*i + 16, i - f = -3*t - i for t.
1
Let x(m) = -m**3 - 7*m**2 - 13*m + 4. Let h be x(-4). Suppose -5*w = 2*j - 22, -20 - h = -4*j - 2*w. Solve 5*u - 4*i + 4 = 2, 3*i + j = 0 for u.
-2
Suppose -92*g + 2393 - 553 = 0. Solve 20*w - 4*r - g = 16*w, -3*r - 15 = 3*w for w.
0
Suppose 0 = 3*o + o - 8. Let u be o/3 - (-174)/9. Suppose -8*s + u = -3*s. Solve 0 = 5*h - s*c, h + c = -4*h + 25 for h.
4
Suppose -f = 4*q - 9, 0 = -0*q + 2*q + 2*f. Let c = q + -2. Solve k - c = -4*u, 3 = -k - 3*u + 4 for k.
1
Suppose 117 = 5*b + 97. Solve -5*n - 4*c - c = 0, n = b*c for n.
0
Let d(s) = -s**3 + 6*s**2 + 7*s + 2. Let o(v) = -v**2 - 5*v + 13. Let t be o(-6). Let x be d(t). Solve x*w - 2*y = 2, 0 = -3*w - 3*y + 14 + 1 for w.
3
Let z be 52/6 - (-12)/(-18). Let w = z + -7. Let c be 0 + (-10 - w)/(-1). Solve c = -4*l - 3*k, 6*l = 2*l - k - 1 for l.
1
Let j(o) = -o**2 - 5*o + 38. Let r be j(-9). Let g be 0 - (2/(-2) + -2). Let d be 46/4 - (-1)/(-2). Solve -g*k - f + d = r, 13 = 5*k + f for k.
2
Let o(l) = l**3 - 19*l**2 + 94*l - 33. Let w be o(11). Solve -3*y