 - 8 = -2*q, 2*w = -q + 4. Suppose -4*a = 0, 6*v - 4*a = 4*v + q. Solve -6*f + v*f = 4 for f.
-1
Let t(f) = -f**2 + 25*f + 84. Let g be t(-3). Let s = 5 - 1. Solve g*a = -s*a for a.
0
Let w(y) = -5*y**3 - 24*y**2 + y - 4. Let p be w(-5). Solve -5*k + p = -k for k.
4
Let t = 647 - 643. Solve -8 = t*f + 8 for f.
-4
Let q = 296 - 293. Solve -q = 3*b + 9 for b.
-4
Suppose -3*d + 1 = -11. Let z be 6 + (0 - (d - 1)). Suppose -3*i - 3*q + 3 + 3 = 0, 2*i + q = 2. Solve i = 4*a - z - 5 for a.
2
Suppose 3*g = g + 5*x - 15, 2*x = -5*g + 35. Suppose -75 = -g*d - 0*d. Let b(r) = -r + 17. Let u be b(d). Solve -4*w = u + 2 for w.
-1
Let u = -2407 - -2468. Solve -18*t + 7 = u for t.
-3
Let q = -23 - -29. Suppose 70 = z + q*z. Solve 7*k - 2*k = z for k.
2
Suppose g - 9 = -2*h, 5*g = -0*h + 5*h - 60. Solve 11*q - h*q - 20 = 0 for q.
5
Suppose 0 = -7*m + 5*m + 2. Let a(q) = 2*q - 8. Let l be a(4). Suppose 5*g - 19 = 6. Solve r + g - m = l for r.
-4
Suppose -2 + 37 = 5*z. Solve -z = -4*n + 9 for n.
4
Suppose -2*g + 6*g = -5*c + 94, -g + 17 = -2*c. Suppose -v - 2*v = -g. Solve -3*o - 5 - v = 0 for o.
-4
Let v = 50 + -24. Suppose -5 = -4*w + 3*y, -4*w - 3*y + 9 = -v. Suppose -w*j - 17 = -c, -3*c - 7*j + 2*j = -11. Solve -c*r + 25 = -2*r for r.
5
Let v be (6/(-3))/(4/(-28)). Let r = -12 + v. Solve -r*a + 8 = -4*a for a.
-4
Let y be 12/(3 + -6) + 3. Let f(o) = -o**3 + o**2 - 2*o - 2. Let l be f(y). Solve t + 3 = -l*t for t.
-1
Let u be 6 + (95/(-20) - (-3)/4). Solve 0*w = -u*w for w.
0
Suppose -213 + 28 = -5*a. Let f = -36 + a. Solve 4*q - f - 7 = 0 for q.
2
Let w = -251 + 305. Solve w*c = 56*c + 10 for c.
-5
Suppose 7*n - 62 = 113. Let v = 26 - n. Solve 0 = -5*m - 11 + v for m.
-2
Let q = 6 + -5. Let y = q + 0. Let m be (-24)/(-3) + y + 2. Solve -3*i = -m - 1 for i.
4
Suppose -39 = -7*s + 262. Solve -s = -14*w - 71 for w.
-2
Suppose -9*x + 11*x = -2*c + 56, 62 = 2*x + 4*c. Solve -4*z - x = -9*z for z.
5
Suppose 0 + 4 = 2*h. Suppose -c + h = 4. Let m be -2*(-3 - c)*1. Solve -m*w = 10 - 2 for w.
-4
Suppose 4*z = -2*v, 0*v = 2*v - 4*z - 8. Suppose 20 = 4*l - 0*l. Suppose l = -5*i, -v*f + i + 3 = 2*i. Solve 4*b + f = -10 for b.
-3
Let q = -5 - -8. Suppose -q*w + 7*w = 4. Let m be w + 2 + -2 + 2. Solve t = m*t for t.
0
Let g(r) = -r**3 + 4*r**2 + 7*r - 7. Let q be g(5). Let n = 8 - 5. Suppose 0 = -31*h + 29*h. Solve q + h = n*y for y.
1
Suppose t - 3*k + 3 = 0, 4*t - 4 = -2*k - 2*k. Suppose -3*u + 4*s - 7 = -6*u, 2*u - 2*s = t. Let c(i) = 6*i + 1. Let f be c(u). Solve f + 2 = -3*a for a.
-3
Suppose 0 = 6*v - v. Suppose 5*t + v*i - 5*i = 0, 0 = 3*t + i - 8. Solve 14 - 4 = t*d for d.
5
Let z be (-2)/12*4*-9. Suppose -c = -z*c. Suppose -2*i + 5*a = 8 - 5, i = 3*a - 3. Solve c = 4*x + i + 10 for x.
-4
Let v = 15 + -9. Let y be (2 - 4)/((-4)/8). Suppose y*t = -t. Solve t = l - 2 + v for l.
-4
Suppose 3*i - 224 = -5*z, -2*i + 6 = -0*i. Let k = z - 41. Solve -2 = -k*x + 4 for x.
3
Suppose 334 - 318 = -4*v, -3*v + 8 = 5*a. Let w(f) = f**3 - 3*f**2 - 5*f + 2. Let t be w(4). Let o = 0 - t. Solve -o*z + a = 2 for z.
1
Let d(g) = -g**3 - 2*g**2 + 2*g - 3. Let p be d(-3). Suppose m - 60 = -p*m. Suppose 4*v = -0*v + m. Solve -5*c + 0*c - v = 0 for c.
-3
Let c(v) = -v**3 + 22*v**2 + 50*v - 33. Let a be c(24). Solve -17*j = -20*j + a for j.
5
Let z(j) = j**3 + j**2 - 3*j + 22. Let g be z(0). Solve 0 = -15*d + g*d for d.
0
Let a be 30/(-9)*(-24)/(-5). Let c = 31 + a. Let i be (-8)/10*c/(-3). Solve 0*k - i = -k for k.
4
Let l(p) = p**3 - 23*p**2 + 24*p - 31. Let s be l(22). Solve f = s*f for f.
0
Let u = 4 - 1. Suppose -4*b = -5*b - 5. Let l be b/(-3)*(-7 - -5 - -5). Solve -l = -2*a + u for a.
4
Suppose -5*n - 4*n = -36. Suppose 2*k - 22 = -n*l, -k = -2*l + 3*k - 4. Solve -2*m + l = -2 for m.
3
Suppose -3*o - 6 = -3*t, 0*o + o = 4*t - 17. Suppose -35*h - 34*h = -690. Solve -t*j + h = -15 for j.
5
Suppose -3*k + 64 - 22 = 0. Solve 10 - k = 2*f for f.
-2
Suppose 6*y - 3*u = 3*y + 39, -3*y = -4*u - 34. Solve -10 = -16*r + y*r for r.
-5
Suppose -2*s + 3*l = -28, 2*s - 5*l = 37 - 1. Solve 7*b - s = 3*b for b.
2
Let a = 1 - -9. Suppose v - a = -v. Suppose -13*z - 540 = -51*z - 312. Solve -z = v*y - 2*y for y.
-2
Suppose 0 = 12*x - 14 - 10. Solve -15*g = -14*g + x for g.
-2
Let y be 2*(20/(-8))/(-5). Solve -4*r + y = -11 for r.
3
Suppose 4*b = -4*s - 16, -s = -7*b + 3*b + 4. Let y be (-9)/(-2) + 2/s. Suppose 4*j - 6 = -w - 24, 0 = y*j + 20. Solve -w + 6 = m for m.
4
Suppose -60*o + 973 = 13. Solve 0*w = -4*w + o for w.
4
Let i(y) = y**2 - y + 1. Let k(g) = -2*g - 3*g**2 - 4*g + 0 + 5 + 4*g**2. Let n(a) = 2*i(a) - k(a). Let w be n(3). Solve 0 = -3*s - 3 + w for s.
5
Let l(q) = q**2 - 16*q - 15. Let b(a) = a**3 - 8*a**2 + 10*a - 4. Let t be b(7). Let o be l(t). Solve 2*h + o = -0 for h.
-1
Let w(r) = -2*r + 8. Let f be w(2). Solve 2*g = -0*g - f for g.
-2
Let s(l) = l**2 - 3*l + 2. Let z be s(6). Let y = -27 + 27. Let t be -2 - -5 - (y - 0). Solve -t*d = d - z for d.
5
Suppose 4*f - 5*g - 25 = 0, 4*f - 2*g - 20 = 2. Solve f*m + 12*m = 5*m for m.
0
Let y(n) = -n**2 - 6*n - 5. Let f = -2 + -2. Let a be y(f). Let c be (4/(-9))/(2/(-9)). Solve -m + c = a for m.
-1
Suppose 1 = -y + 15. Suppose -4*j + y + 2 = 0. Suppose 4*o - 6 = -2*b, -2*o = 5*b - j + 5. Solve o*c + 3 = c for c.
-3
Let w be 4/(-10) - (-51)/15. Suppose -32*b + 45 = -23*b. Suppose z - g = 0, -b*g = w*z - 18 - 22. Solve 2*a = z*a - 3 for a.
1
Let h(n) = n**2 + 11*n + 3. Let g be h(-13). Let u = g + -19. Solve -5*m = -u*m - 25 for m.
-5
Suppose 42*p - 160 = 43*p. Let r = -152 - p. Solve -3*t + r = -t for t.
4
Let x be 26 + -4*(-1 - 3)/(-8). Suppose -x = -16*d + 12*d + 4*v, -v + 2 = d. Solve 2 = -2*r - d for r.
-3
Suppose 3*b + 6 = -z, -4*b - 24 = -5*z + z. Let f(s) = 3*s**2 + 18*s - 11. Let w be f(-7). Solve -w = z*v - 1 for v.
-3
Let r = -292 + 302. Solve -3*j + r = -j for j.
5
Suppose 2*u + 5*c = -1, -4*c + 5*c + 3 = u. Let v = u + 3. Solve 2*n + 1 - v = 0 for n.
2
Let m be 0*2/12*3. Let c = -146 + 149. Solve -x - 2 - c = m for x.
-5
Suppose 5*g - 2 - 2 = -4*m, 4*m - 4 = -2*g. Suppose 2*p - 3*t = 2, g - 8 = 4*t. Let y = p + 6. Solve 0 = y*f + 6 + 2 for f.
-2
Let t(h) = -h + 3. Let z be t(-7). Suppose 4*m - z = 3*r, -4*r + 2 = -r - m. Solve r*d = -0*d for d.
0
Let u be (-11 - -9) + (-1 - -7). Let n be u - 8 - (-7 + 0). Solve n*m = 2*m - 3 for m.
-3
Let d = -35 - -36. Let i = -12 + 15. Let y be (d/(-3))/(i/(-27)). Solve y*l + 3 + 0 = 0 for l.
-1
Suppose 0 = p - 3*p + 3*i + 5, 2*i = 2*p - 6. Suppose 0*s = -p*s - 52. Let b = 15 + s. Solve -z - 1 = -b for z.
1
Let n be (-35)/28 - (-2)/8 - -5. Solve n*p - 5*p = -2 for p.
2
Suppose 10*v - 118 + 48 = 0. Solve 3*m - v = -4 for m.
1
Suppose 18*q + 4*r - 34 = 13*q, -4*r - 56 = -4*q. Solve -5*n + 10 + q = 0 for n.
4
Let i(k) = k**2 - 2*k - 32. Let d be i(-5). Solve -d*x - 4 = -7*x for x.
1
Suppose 1025 = 39*f + 245. Suppose 2*q = -2 + 6. Solve q*y + 2*y = -f for y.
-5
Let d(y) = y**3 + y**2 + 2*y + 2. Let b be d(-2). Let w be 3 - 1 - (b + 2). Suppose q + 2*q = w. Solve -q*h = -3 - 1 for h.
2
Let u = -3 + 6. Suppose 2*c - 9 = -n - 5, 3*c - 5*n - 6 = 0. Solve -4 = c*f - u*f for f.
4
Suppose -31*r + 80 = -75. Solve 3*q = -2*q - r for q.
-1
Let r be (90/(-25))/((-2)/5). Suppose -r = 16*z - 19*z. Solve -o - 2 = z for o.
-5
Suppose w + 2*x - 37 = 0, 3*w + 2*x + 0 = 99. Solve o - w = -29 for o.
2
Suppose 229 = 4*l + 213. Let j(i) = -i + 4. Let a be j(0). Suppose -5*q = 3*w - 10 - 4, -2*q - 2*w + a = 0. Solve l = -q*b - 0 for b.
-1
Let j(i) = i**3 + 5*i**2 + i - 1. Let w be j(-2). Let z be (0 + -3)*(-6)/w. Suppose z*l + 2 = 3*c, -2 = 3*l - 4*c - 0. Solve l*v = -3*v for v.
0
Suppose l - 5 = -2*x - 26, -x - 77 = 4*l. Let j = l - -22. Solve 0 = j*r + 1 + 2 for r.
-1
Let h = 36 + -26. Let o(g) be the third derivative of g**6/120 + 7*g**5/60 - g**4/3 + g**3/3 - 8*g**2. Let p be o(-8). Solve 0 = 4*b - p + h for b.
-2
Suppose 0*x + 2*x = 50. Let s = 25 - x. Solve s = -d - 1 for d.
-1
Suppose 0 = 4*c, -u - c = -6*u + 20. Suppose -u*k - 2 + 6 = 0. Let n(x) = 16*x**2 + x - 1. Let a be n(k). Solve -5*o = -o + a for o.
-4
Suppose -4*m - 2*c = -30, -m + 21 = 2*m + 3*c. Suppose -2*l + 26 - 10 = 3*f, -f = -2*l + m. Solve 2*n - 4 = f for n.
3
Let d be 3 - (-4)/16*4. Solve 9 - 5 = -d*a for a.
-1
Suppose -7 = -2*h - n +