 - 7. Let o be b(-6). Suppose -5*j + r = -4*u, -j - u + o = u. Solve w + j*g = 2, 3*g = w + 4*g + 2 for w.
-3
Suppose -17*k = -14*k. Suppose -3*v + 12 + 12 = k. Solve 2 = -5*p - 4*o, v = 3*p - 3*o - 7 for p.
2
Suppose 4*s = -0*s - 84. Let w be -20*(s/(-6) + -4). Let m = 12 - w. Solve -5*i + 3*o = 28, -3*i + m*o - 12 = -i for i.
-5
Suppose 0 = -5*j + d, -2*d = 3*j + 3*d. Suppose 4*s - 8 = -j*s. Let r be 5/10 + (21/(-2))/(-7). Solve o - r = -3*f + s*f, 0 = 3*o + 2*f - 2 for o.
-2
Suppose -47*r + 185 = -3. Solve v - 15 = r*a, 5*a + 4*v = 3*v - 30 for a.
-5
Let g = 0 + 0. Suppose u - 4 = h - u, 5*h + 5*u - 10 = g. Let l(t) = -t**3 - t**2 + 2. Let x be l(h). Solve 10 = -x*j + 6*j - y, 0 = -3*j - 3*y for j.
2
Suppose 0 = 5*o - i - 14, 3*o + 7*i = 2*i + 14. Let t be 2/(-3)*o*-2. Suppose -n = -13*n + 336. Solve -3*z - 28 = -t*h, 2*z + n = 2*h + 3*h for z.
-4
Let i(f) = f**2 + 20*f + 80. Let l be i(-15). Solve l*g - 11 = 9, -2*g + 20 = -3*b for b.
-4
Let p = -16 - -111. Let v(g) = -3 - 2*g**2 - 2*g**3 - p*g + 93*g - g**2. Let u be v(-2). Solve -5*c - 4 = -t, c + 3*c = u*t + 1 for t.
-1
Let c = 134 - 138. Let f be 14/28 + (-14)/c. Solve f*o + 5 = 5*o, -3*o + 3 = 4*d for d.
-3
Let r = 3 + -2. Suppose -26 = -36*v + 46. Solve 2*f - 3*f + v*n - r = 0, 3*f = 2*n - 11 for f.
-5
Suppose -7*w = -2*w - 120. Suppose 1 = 5*s - w. Solve -k - 6 = -n, k + 0*k - s*n = -22 for k.
-2
Suppose 22 = 22*b - 66. Solve 2*j + 18 = b*m, -3*m = 4*j - 6*j - 16 for m.
2
Let h = 24 + -36. Let f(v) = 2*v + 27. Let s be f(h). Solve -5*k + 16 = -s*j - j, -5*k = -3*j - 12 for k.
0
Suppose -2*j = -5*j + 15. Suppose -4*a - 17 = v - 2*v, -v = -j*a - 21. Let r be 2/(-1 - -2)*v. Solve o + r*o + 4*g = 16, 4 = 4*o + g for o.
0
Suppose -7*g = -22*g + 30. Let j be (3 - (g + (-2 - -3)))/(-2). Solve -c + j*c - 18 = 4*u, 3*u = -5*c - 22 for u.
-4
Let c = 176 - 176. Solve c*f - 28 = -5*f + 4*r, 5*r + 10 = 0 for f.
4
Suppose 110 = 4*l - 146. Let o be l - (-3)/9*-3. Suppose -4*g = -5*v + o, -v + 0*v + 30 = 5*g. Solve b = -5*n + v, 0 = -3*b - 4*n - 0 + 1 for b.
-5
Suppose 16 = 4*j + 5*q, -2*j - q = 3 - 11. Let h be 0 - (j - 3) - -5. Solve 5*o + w + h = -10, -4*o = -2*w for o.
-2
Suppose a - 8 - 3 = 0. Let t = a + -9. Suppose 0 = t*z - z. Solve -2*c + 14 = -2*u, z = -u - 5*c + 1 + 10 for u.
-4
Let q(j) = -j**2 + 2*j + 22. Let o be q(0). Let d = o - 23. Let w be (-13)/(-1) - (2 - d). Solve 5*r - 2*c - w = c, 4*r = -c - 9 for r.
-1
Suppose 116 = 10*u + 26. Solve -3*j + f + 3 = 0, 0*f = 3*f - u for j.
2
Suppose l - 2*r = 1, -r - 32 = -41*l + 36*l. Solve 2*x + l*t - 3*t = 8, -t = -5*x - 2 for x.
0
Let m be 24/(-4)*((-150)/18 + 6). Solve -5*d - 4 = 5*f - m, 16 = -2*f + 2*d for f.
-3
Let q be 30/20*(-8)/(-6). Suppose -i - q*i = -6. Solve 12 = -4*z - i*p, 0 = -z - 2*p + 3*p - 6 for z.
-4
Let l be (8/36*-3)/((-2)/12). Suppose r - 6 = -l. Solve -3*g + h + 5 = 0, -4*g + r*h - 5*h = -11 for g.
2
Suppose -3*c = -0*c + 9. Let m be ((-12)/5)/c - (-364)/20. Solve -3*u + 8*u = 4*i - m, 0 = i - 4*u - 13 for i.
1
Let b be (-1 + 0)*-1 + 98 + -97. Solve b*w = 5*f - 20, -w = -4*f - 5*w + 16 for f.
4
Let h be (-2 + (2 - -1))/1. Let g(p) = -1 + 15*p**3 - p + 1 - p**2 + h + 7*p**3. Let l be g(1). Solve 4*o = -4*i + 17 - 41, 5*o = 4*i - l for o.
-5
Let b = -3 - -11. Let a be (118/(-8))/(1/(-4)). Let g = a - 55. Solve -3*p - 12 = 3*j, g*j + 3*p + 7 = -b for j.
-3
Suppose -j = -3*c + 2 - 3, -2*c = 4*j - 18. Suppose c = 2*x - 11. Suppose -m + x*m = 10. Solve -m*z - 8 = 3*h + 3*z, 2*h = z + 12 for h.
4
Let h(d) = -4*d + 7. Let w be h(3). Let p be ((-2)/w)/((-1)/(-5)). Solve p*x + 5*t + 2 = 2*t, -x - t - 1 = 0 for x.
-1
Suppose a = -5*v + 70, -2*v - 42 = -5*v - a. Solve n + 2*j = 5*j - 9, 2*n + 2*j - v = 0 for n.
3
Let y(l) = -2*l**2 + 7*l - 1. Let h be y(3). Suppose 6*a - 3*a - 12 = 0. Solve -3*d = h*j - 11, 2*d - a*j - 23 = -d for d.
5
Let b(j) = 3*j - 2. Let c be b(0). Let r(t) = -t**3 - 3*t**2 - 5*t - 3. Let p be r(c). Solve 0*n + 5*x + 5 = n, 15 = p*n + 4*x for n.
5
Suppose 6*f - 60 = f. Suppose 0 = 99*a - 93*a - f. Solve -3*l - 2*p - a*p - 3 = 0, -2*p = 5*l - 9 for l.
3
Let v = 2 - -3. Let n(p) = -p**2 - 7*p + 452. Let w be n(18). Let o(u) = -2*u + 1. Let h be o(-6). Solve i - b = 2*b - h, -w*b = v*i - 20 for i.
2
Let w be (-7)/2*24/(-14). Suppose -w = -2*s - 3*y + y, 2*s - 12 = y. Solve 0*g = 2*n - g - s, -4*g - 14 = -2*n for n.
1
Let u(y) = -5*y - 1. Let h be u(-4). Let v = -11 + h. Suppose -v + 0 = -4*k. Solve l - 3 = k*a, 0 = 3*a - a for l.
3
Suppose -p - 41 = -5*u - 3, 0 = -p + 2. Solve 0 = -z - 4*z - 2*m - u, 2*m = -z - 8 for z.
0
Suppose 0 = 2*r + 6*r + 16. Let a be 0 - (-31 + (0 - -1 - r)). Solve 0 = -5*f + m + 16, 2*m = -3*f - 2*m + a for f.
4
Let j = 4483 + -4481. Suppose -3*f = 15 - 48. Solve 3*l - f = -0*l + v, 5*v - 10 = j*l for l.
5
Suppose 2*a - 20 = -3*b - 2, a - 5*b = -17. Solve 3*c = -2*m - 5, 0 = a*m + m + c + 5 for m.
-1
Let b = -245 - -253. Solve 0 = 2*g + 2*h - 6, 4*g - h - b - 9 = 0 for g.
4
Let m(y) = -y**3 + 23*y**2 - 42*y + 3. Let r be m(21). Suppose b - 4*b = 0. Suppose b*q + 20 = q. Solve -r*v - 8 = -f - 20, 5*v + 3*f = q for v.
4
Let o(h) = -3*h - 15. Let u be o(-7). Let t be 3 - u - -4 - -3. Solve -4*p + 31 = -t*q - 1, 0 = 2*p + 3*q + 4 for p.
4
Suppose 0*s = -2*s + 6. Let m = -1626 - -1628. Solve -4*x - 23 = -s*y, -m*y + 3*y = 5*x + 26 for x.
-5
Let y be (-4)/(-6)*(3 - -3). Suppose -21*a + 108 = 6*a. Solve y*g - 2*g + 5*d = -10, 8 = 3*g - a*d for g.
0
Let f be 6 - (-3 - 6/(-2)). Suppose -t - 25 = -f*t. Solve -j = -4*p + 2*j + 23, t*p = -2*j for p.
2
Suppose -30*c + 17 = r - 26*c, 0 = -3*r + 5*c + 17. Solve -3*m = 3, -5*t + 2*m + r = -2*m for t.
1
Suppose -5*z - 6 - 21 = -y, y - 2*z = 15. Suppose -21 = -y*t + 7. Solve -t*v + 6*v - 4*n = 12, -5*v = 5*n for v.
2
Suppose 0 = 3*x - 4*l - 2, l - 3 = -2*l. Solve 2*w + x*u = -4, 6*u = 2*w + 2*u + 16 for w.
-4
Let r(t) = t**2 - 9*t + 5. Let n be r(9). Suppose c - n*w + 0 = 3, w = 5*c - 15. Suppose c*u = 6*u - 12. Solve 5*j + 35 = u*f, 2*j - 3*f + 0*f = -21 for j.
-3
Suppose 35 = 4*z - 9. Suppose -2*v = -v + 5*h + 3, 2*v - 4 = -5*h. Let g = z - v. Solve 4*n + 5*a + 1 = -0, -4*a = g for n.
1
Let l(c) = 5 + 8 - 2*c - 4 - c. Let z be l(4). Let h be -2 + (-3 - z) - -4. Solve 3 - 11 = -h*r, 4*b - 16 = -r for b.
3
Let n be (-2)/(-7) - 19/(-7). Let u be (-1)/(-3) - ((-87)/9 + -6). Let i be 15/12 - (-140)/u. Solve 5*f = -5*x + 5, 2*x = -n*x - 2*f - i for x.
-4
Let n be (-82)/(-8) - 2/8. Suppose -5*l + 0*l - n = 0, k - 11 = 3*l. Solve 0*a + 3*g = k*a - 28, 27 = 5*a - 2*g for a.
5
Suppose -8 = -4*u + 24. Let r = 33 + -35. Let l be 0 - 18/(-8) - r/(-8). Solve v = -4*x + 4, -4*x + u = l*v - x for v.
4
Let j = 578 + -577. Solve -p + 2 = -z + 9, 0 = 3*z + p - j for z.
2
Let a be 1*(1*(0 - 3) + 10). Solve 4*g - 2*k + 25 = -a*k, 2*g - k - 5 = 0 for g.
0
Let v = -101 - -87. Let y be ((-32)/v)/1 - 2/7. Solve 0 = -a - y*l - 1, -4 = -2*a - 2*l + l for a.
3
Let o(s) = 3*s + 1. Suppose 3*h - 2*h = -1. Let d be (-1 + 0/2)*h. Let j be o(d). Solve -4*i = i - 10, 3*b + j*i - 23 = 0 for b.
5
Let j be (-1 - 33/(-9))/((-2)/(-3)). Suppose -20 = -2*c + j*r, 1 + 5 = c - r. Solve -8 = 4*f + c*q, -f = 2*f - q + 16 for f.
-4
Let x = -4 - 0. Let a be (x/18)/((-5)/45). Solve 0 = 5*g - 2*g - 4*y + 11, a*g + 7 = 3*y for g.
-5
Let k(m) = 2*m**2 + 3*m - 4. Let p be k(-3). Let s = p - 0. Let x = 358 + -357. Solve 13 = 4*a - 4*l + x, 0 = s*a + 5*l - 35 for a.
5
Let t(b) = -7 + 0*b**2 + b**2 + 3*b + 3*b + 6. Suppose 3*n = -2*k - 25, 14 - 53 = 5*n + 2*k. Let q be t(n). Solve 2*z + p = -q, -3*z + 2*z + 3*p - 3 = 0 for z.
-3
Let g(v) = v + 5. Let o be g(-4). Let p(j) = 3*j - 8. Let f be p(3). Let s = o - f. Solve 0 = -s*a - 2*a - 2*i - 16, 2*i + 12 = -a for a.
-4
Let h(i) = i + 2. Let n be h(-1). Let f be n/(1/(-8))*-1. Solve 2 = c + 4*y - 18, 5*y = 3*c + f for c.
4
Suppose -2*h = 2*o - 3*o + 14, -3*h - 21 = 3*o. Let q = -5 - h. Suppose 3*x = -2*z + 90 - 14, -93 = -4*x - z. Solve g = q*l + 8, -5*l + g = -2*g + x for l.
-2
Suppose 10*i = 380 + 70. Let l = -42 + i. Solve l*b + 3*m + 28 - 1 = 0, -b = 2*m + 13 for b.
-5
Let g(f) = 3*f**2 - 1 - f**3 + 3*f**2 - 6*f + 3. Let a be g(5). Let c be 1*-15*1/a. Solve c*x - x - 5*q - 35 = 0, -3*x = 5*q for x.
5
Let j = -55 - -85. Suppose 5*l - 3*y = -5*y + 73,