 8, 3*d = -6. Solve -h - 12 = -t*h for h.
3
Let l be 8/(-2) - (0 - 7). Suppose -5*o = l*h + 26, 3*h + 3*o - 4 = -22. Let c be 0 + (h - 16/(-4)). Solve -y = c*y + 6 for y.
-2
Let o be (32/(-10))/(-5 - 46/(-10)). Suppose -j = -2*r - o, -j - 4*r = j + 8. Solve l = j*l for l.
0
Suppose -5*a + 42 = 2*a - 0*a. Let x(d) = -d**3 - 3*d**2 + 5*d + 3. Let k be x(-4). Let g be 5 - (k + 3 + -1). Solve g*f - a = 6 for f.
3
Let z = -6 - -3. Suppose 54*n + 237 = -33. Let x = z - n. Solve x*g = 1 + 1 for g.
1
Let v(t) = t**2 - 3*t - 7. Let p be v(5). Suppose 0 = p*b - 4*b. Let j be (9/(-6))/(-3)*0. Solve -x + j*x + 5 = b for x.
5
Suppose 3*z - 5*w - 28 = 0, -3*w - w + 10 = 3*z. Solve z*y = 4*y - 6 for y.
-3
Let r(k) = 2*k - 5. Let f be r(5). Suppose 4*l = 2*s - 24 - 10, l = -f*s + 30. Solve -5*u = -s*u for u.
0
Suppose -49*z - 159 = -52*z. Solve -z*h + 56*h = -15 for h.
-5
Let v be (1 + 45/(-27))*(-6)/2. Solve -v*k = 5*k for k.
0
Let i(j) = -23*j - 132. Let r be i(-8). Solve -17 + r = -7*z for z.
-5
Let d be 5/(-1) + -5 + 10. Solve 8 = -4*k - d for k.
-2
Suppose 80 = 5*f + 2*y, 4 = 5*y - 21. Solve 9*u - 13 = f for u.
3
Suppose 5*n - 100 = 3*s - 5*s, 0 = -5*n - s + 100. Solve -7*r - 8 = n for r.
-4
Suppose -7*n + 3*o - 35 = -12*n, -o - 5 = 0. Solve -3*t + n = -t for t.
5
Let x = 9 + -16. Suppose 9*u + 2 = 83. Let o = u + x. Solve 16 = -6*d + o*d for d.
-4
Suppose 5*b + 4*k - 74 = k, -4*k + 40 = 3*b. Solve 2*o - 6*o = b for o.
-4
Let t(o) = 2*o**2 - 2*o - 1. Let q be t(-1). Suppose 3*p + h - 6 = 0, -3 = 2*p - 0*h + q*h. Solve -p*y + 2*y = 0 for y.
0
Let q = -378 - -395. Solve 25 = 12*h - q*h for h.
-5
Let z(q) = -q + 2. Let y = 17 + -19. Let w be z(y). Solve 7 - 23 = -w*x for x.
4
Suppose 0 = 2*q - 4*k + 20, 2*k - 1 = 9. Solve 5*i - 3*i = q for i.
0
Let m = -278 - -286. Solve j = 3 - m for j.
-5
Suppose 0 = -4*v - 4*z + 72, 276*z + 6 = 278*z. Let o = 1 + 2. Solve -o*p - 2*p = v for p.
-3
Let i = -24 - -20. Let t be ((-5)/2)/5*i. Suppose 0 = t*z - 6 - 2. Solve 4 + 4 = z*s for s.
2
Suppose -2*c - 26 = -5*d, -2*d + c + 14 = 3. Solve -f + d*f - 9 = 0 for f.
3
Let b(z) = -3*z + 24. Let y be b(7). Suppose 9 = -y*t - p + 4*p, 4*t + 3*p = 16. Solve -j - 2 = t for j.
-3
Let m be 0/(-3*2/3)*-1. Suppose 0*k + 5*v + 27 = 2*k, 5*k - 2*v - 36 = m. Solve 5*g = k + 4 for g.
2
Let b = 10 - 7. Suppose 0 = 3*m - b*j + 4*j - 9, -m = -4*j - 16. Solve r = -m*r + 25 for r.
5
Let i(h) = -h**3 - 8*h**2 - 17*h - 70. Let c be i(-7). Suppose 0 = -5*x + 5*r + 10, x - 5*r = -2*x + 4. Solve c = x*w - 14 - 1 for w.
5
Let c = 9 - -6. Solve -4*x + c = -5 for x.
5
Suppose 907 = 4*j - 1517. Let k be j/42 - (-3)/(-7). Solve 4 - k = 5*l for l.
-2
Let i = -256 - -292. Solve 0 = -37*h + i*h - 3 for h.
-3
Suppose 4*j = 9*j + 35. Let g(m) = m**3 + 11*m**2 + 28*m + 1. Let k be g(j). Solve 2*y - k = -7 for y.
-3
Suppose -3*c = -3, -5*c = -3*u - 1 + 5. Let t(r) = 3*r**2 - 2*r + 4. Let o be t(2). Solve 0 = -u*g + o for g.
4
Suppose 5*x = -i + 10, -5*x - 1 = -6*x. Suppose 7*s - i*s - 8 = 0. Suppose -4*l - 17 = -g, 2*l - 31 = -5*g + s*l. Solve 0 = -g*u + 2 + 3 for u.
1
Let q(k) = 3 + k - 10*k**2 + k**3 - 1 + 6*k**2. Let z be q(4). Suppose 0 = 5*j + 2*v - z, -5*j - v = -2*v - 12. Solve j*p + 2 = 8 for p.
3
Let p = -360 + 371. Solve -p = -5*i + 9 for i.
4
Let f(x) = x**3 + 14*x**2 - 16*x - 13. Let r be f(-15). Suppose 0 = -2*y - r, -2*n = -0*n + 2*y - 28. Let s = n - 8. Solve -i = -2 + s for i.
-5
Let s = 248 - 246. Solve -2*f - 4 = s for f.
-3
Let a(d) = -2*d**2 + 10*d + 1. Let f be -8 + 9 + 2*1. Let t be f + 3 + -1 + 0. Let y be a(t). Solve 0 = r - 4 + y for r.
3
Let y(r) = 2*r + 3*r - 2*r - 4*r - 3. Let s be y(-4). Suppose 3*h = 2*o - s, -2*o - 4*h + 27 + 9 = 0. Solve 2*d = -o + 2 for d.
-3
Let p(m) = m**3 + 12*m**2 + 30*m - 7. Let h be p(-8). Solve 0 = -h*s - 0*s + 45 for s.
5
Let t = -20 + 28. Let k = t + 1. Suppose -5*c - 2 + 22 = 0. Solve x + k = c*x for x.
3
Let c = -422 + 515. Solve -c = z - 98 for z.
5
Let w(t) = t**2 + t - 7. Let y be w(3). Suppose y*o - 8 = o. Solve 0 = -3*z + o*z for z.
0
Suppose 27 = 5*i - 8. Suppose 4*c + 2*w = 41 - i, 0 = -c - 2*w + 16. Suppose -9 = -c*b + 3*b. Solve 2*j = b*j for j.
0
Suppose -2*o + 5 = -o. Suppose o*y - 11 = -2*m, 5*y - 5 - 4 = -3*m. Let g be -3 - 3*(-3 - m). Solve 2*r = -g*r for r.
0
Suppose 3*f - f = 152. Let q = f + -41. Suppose k + 3*k + 26 = 2*g, 5*g = 4*k + q. Solve 0*p = -g*p for p.
0
Let f = -36 + 41. Let w be 2*(-2)/((-4)/f). Solve 0*q + w = -q for q.
-5
Suppose 2*w = -3*w + 15. Suppose -7 = 2*r + 3*f, -4*r = -0*r - w*f - 31. Suppose 4*g = -2*a + 4*a, a - r*g = 0. Solve 0 = -a*x - x for x.
0
Let k = 23 - 16. Suppose 7*z - k = 3*z - 5*j, -z - 3*j = 0. Suppose -4*n + 5*h + 8 = 0, -3*h + 2*h - 8 = -4*n. Solve z*y - 4 = n for y.
2
Let i(r) = r + 21. Let d be i(-20). Suppose 2*s - 4*w = w + 19, 22 = 5*s - 4*w. Solve -q + d = -s for q.
3
Let n = 287 + -287. Solve -10*z + z - 9 = n for z.
-1
Let l(c) = -c**2 + 8*c + 5. Let g be l(8). Let q = g - 5. Suppose -21 = -q*t - t. Solve 4*u - 1 = -t for u.
-5
Let x(s) = -4*s + 16. Let k(u) = -u**2 + 13*u + 4. Let g be k(13). Let f be x(g). Solve f = 5*d + 8 - 3 for d.
-1
Suppose 0 = 4*u - 2*b - 16, 4*u + 5*b + 2 = -10. Let d(z) = -1 + u*z - 1 - 3 + 1. Let h be d(4). Solve -19 = h*m + 1 for m.
-5
Let c(r) = r - 5. Let x(l) = 2*l**2 + 8*l + 1. Let y be x(-5). Let o be c(y). Solve -2*s = s + o for s.
-2
Let w = 11 + -8. Let x be (4*(w - 13))/(-2). Solve x = 4*f + f for f.
4
Suppose 0 = -12*w + 2 + 70. Solve 6*u = w + 12 for u.
3
Let u = -134 - -140. Suppose -3*m = -u*m. Solve -n - 4 + m = 0 for n.
-4
Suppose -2*b - 22 = 3*i, 4*b + 34 = 2*i - 42. Let l be 10/(-4)*494/95. Let v = l - b. Solve -k + v*k = -15 for k.
-5
Suppose 35 = 3*t - 2*o + 30, -t = -2*o + 1. Solve -19 = -t*p - 13 for p.
2
Suppose -2*r = -3*j + 24, -4*j = -2*r + r - 32. Suppose 0 = 5*a - j*a + 6. Solve -4*y = -a*y + 4 for y.
-2
Let m = 732 + -726. Solve 3 - 33 = -m*c for c.
5
Suppose -2*h + 3*s = -109, -14*s + 11*s = -3*h + 159. Solve -h = -28*j + 38*j for j.
-5
Let z = -62 + 72. Let d be (z/3)/(3*4/18). Solve 0 = d*r - 10 - 10 for r.
4
Suppose 0 = -18*g + 21*g - 105. Solve g = 4*f + 3*f for f.
5
Let m = 16 - 14. Solve -5*w = -m*w + 6 for w.
-2
Let m be (30/9)/(4/6). Suppose m*h + 9 + 5 = -a, 0 = -5*a + 4*h + 17. Let n be (7 - a)/(39/26). Solve -3*p + p - n = 0 for p.
-2
Suppose 0*n + 17 = 2*t - 3*n, n = t - 8. Suppose -t*c = -17 + 3. Solve -c = 3*u - 11 for u.
3
Suppose -7*j + 8*j = 20. Solve -4*l + 0*l = j for l.
-5
Let o(y) = 2*y**2 - 17*y + 12. Let i be o(8). Suppose i*r = -0*r + 12. Solve r*q + q + 12 = 0 for q.
-3
Let s be 1*-3*(-2 + -3). Let t(q) = -q**3 + 6*q**2 + 14*q + 1. Let v be t(8). Let w = v + s. Solve -3*i + i = w for i.
0
Let k(v) be the second derivative of -v**2 - 5/6*v**3 + 0 - 12*v. Let h be k(-1). Solve 2*s = -1 - h for s.
-2
Suppose -3*v - 6 = -3*a, v - 5*a - 4 = -10*a. Let i be (7/(-5))/(v/5). Suppose -4*p - 2*b = -30, -2*p - 2*b - b = -25. Solve 4*n + p = -i for n.
-3
Let k = -302 - -304. Solve -m = k*m for m.
0
Let z = -218 - -223. Solve -z*b - 19 = 6 for b.
-5
Suppose 28 = 4*o + 20. Let j(r) = r**2 - 10*r + 19. Let u be j(8). Solve -o*g = -g + u for g.
-3
Suppose 3*w - 2*b + 14 = 0, b = 5*w - 3*b + 22. Let z = 182 + -218. Let f be (-4)/w*z/(-8). Solve -3*d + 15 = f for d.
4
Let y = -40 + 73. Let b = y + -28. Solve 0 = 2*r + b + 5 for r.
-5
Suppose h = 2 - 0. Suppose -3*r - 3*o + 9 = 0, h*r = 3*o + 7 + 4. Solve -q = -r*q + 3 for q.
1
Let l(v) = 7*v**3 - 4*v**2 - 6*v. Let p be l(2). Solve -9*n + 17 = -p for n.
5
Suppose c - 3*w = 17, 2*w - 20 = 6*w. Solve 0 = -4*t + c*t + 6 for t.
3
Suppose 3*k = -10*w + 5*w + 29, -w - 5 = -3*k. Solve -8 + k = -o for o.
5
Suppose -5*b + 4*a = 5*a - 29, 4*a - 26 = -5*b. Suppose -5*c + 9 + b = 0. Solve -c*d = -0*d + 3 for d.
-1
Suppose 0 = 2*l + 6, 0 = 3*f + l - 50 - 13. Let i be f - (-5)/((-15)/12). Suppose -p = 2 - 6, -3*p - i = -3*c. Solve -2*k = -0*k + c for k.
-5
Suppose 7 + 33 = 4*z. Suppose z*u = 15*u - 15. Let q = 2 + 3. Solve 2 - q = u*l for l.
-1
Let o = -1351 - -1357. Solve 6 - 12 = -o*l for l.
1
Let w = -14 - -23. Solve 3*m - w*m = -12 for m.
2
Let a(i) = 30*i**2 + 2*i - 1. Let m be a(-1). Solve 0 = -22*o + m*o + 10 for o.
-2
Suppose -4 = 4*z + 4*q, -q + 1 = 2. Suppose 3*m - 3 = -3