 + t = 0 for l.
4
Suppose 4*p - 2 = -3*z, 3*p = p + 2*z + 8. Suppose 4*o = 5*m - 51, -56 = -5*m - 3*o + p*o. Solve 5*t + 1 = m for t.
2
Let o(c) = c - 3. Let r be o(3). Let u = 96 + -114. Let w = -16 - u. Solve r*i + 10 = w*i for i.
5
Suppose 5*n + 3*o = 30, 4*o = 54*n - 56*n - 2. Solve 16 + n = 5*j for j.
5
Suppose 286 = 9*x + 17*x. Solve x + 34 = 9*j for j.
5
Let h be 0*(5 + -1 + -3). Suppose 0*p + 8 = 2*p, h = 4*r + 4*p - 32. Solve 3*b = r*b for b.
0
Let v = -15 + -21. Let b(j) = 3*j**2 + 3. Let f be b(-4). Let q = f + v. Solve -q = -3*k - 0*k for k.
5
Let b(g) = -2*g - 6. Let a be b(-4). Let x be (2 - -2) + a - 4. Solve -x = -3*m + 1 for m.
1
Let b be 5*(4/14 - (-12)/105). Suppose 2*a = -4, 0 = -b*y + 2*a + 13 + 19. Solve y + 2 = -4*v for v.
-4
Let p = -107 + 122. Suppose -5*i + p = -4*i. Solve i = u + 2*u for u.
5
Let t = -629 + 640. Solve -t*w = -40*w + 116 for w.
4
Suppose -2*w + 0*w = 0. Suppose w = -4*v - 3*d + 4*d + 11, -2*d + 2 = -2*v. Let g be (-1)/v + 117/36. Solve 15 + 0 = -g*s for s.
-5
Suppose -15*p + 87 = -288. Solve -p = 5*g - 0*g for g.
-5
Let w = -12 - -18. Let c(l) = -l**2 + 8*l - 2. Let j be c(w). Suppose 7*o - 9*o + 4 = 0, -4*d + 8 = -2*o. Solve d*n - 4 = -j for n.
-2
Suppose -3*l = -0*l - 105. Let r = 49 - l. Solve 3*h - r = -5 for h.
3
Let d be 2/8 + (-17)/(-544)*152. Solve d*u - 11*u - 18 = 0 for u.
-3
Let y be 2/(-9) - (-2952)/162. Suppose -6*f = 3*f - y. Solve f*c - 2 = -6 for c.
-2
Suppose 5*c + 5*k - 10 = 0, -6*k = 5*c - 4*k - 19. Solve c*g = -1 - 9 for g.
-2
Suppose 11 = -5*m + 2*d + 45, -5*d - 25 = -5*m. Solve m - 14 = -2*h for h.
3
Let o(s) = 3*s**2 + 6 - 4*s - s**3 - 2*s + 2*s**2 + 0*s**3. Let w be o(4). Let l be (2 - w)/(-4)*-1. Solve l - 5 = -2*p for p.
2
Suppose 2*r + 4*p + 10 = 0, -1 = r + 3*p - 0. Let k(j) = 2*j + 43. Let y be k(r). Solve -y + 8 = -3*w for w.
3
Let d = 22 - 13. Suppose 3*q - d = 15. Suppose 59 = 6*u + 47. Solve 4*k = u*k - q for k.
-4
Let v(b) = 6*b**3 - 2*b**2 + 1. Let m be v(-1). Let f(u) = 2*u + 16. Let k be f(m). Solve k*c = -c for c.
0
Suppose d - 3*d = -3*q - 456, -5*q + 1140 = 5*d. Suppose -4*b - d = -80. Let r = -37 - b. Solve 0 = -3*v - r*v - 12 for v.
-4
Suppose -6 = -2*i - 4*y, 4*i - 2*y - 36 = 2*y. Solve 5 = 8*r - i*r for r.
5
Suppose 0 = -14*u + 1127 + 259. Let x be ((-3)/(-2)*1)/(u/132). Solve 0 = 3*g - x*g - 2 for g.
2
Suppose 9*l = 8*l - 36. Let z = l + 36. Solve n + z*n = 4 for n.
4
Suppose -42*c - 8 = -8. Solve 10*b = -c*b + 50 for b.
5
Let i be (-10)/(-1 + -1 - -1). Suppose 4*q - 6 = i. Suppose 3*c = -2*a + 7, -7 = -q*a + c - 0*c. Solve y = a*y + 1 for y.
-1
Suppose 0 = 2*f + 5 - 11. Let h be (1 + 16)*1 + 1. Solve -f*v = -h + 3 for v.
5
Let x be (7*4/(-12))/((-6)/18). Solve -x*k = -5*k - 8 for k.
4
Let l be 18/(-15)*(-255)/153. Solve -l = -o - 0*o for o.
2
Let h be 8/(-12) - 256/3. Let p = -80 - h. Let y = -20 - -31. Solve y*k = p*k + 25 for k.
5
Let r be 22/2 + (-4)/(-4). Let n = r - 4. Suppose 5*b + 15 = 0, -3*b + 7 = 4*m - n. Solve -4*g - 2 = m for g.
-2
Let y = -277 + 277. Solve 3*v + 15 = -y*v for v.
-5
Let l(w) = 3*w**2 - w - 1. Let f(x) = -2*x + 10. Let z be f(8). Let a be z/(-2)*(-9)/27. Let b be l(a). Solve 4*d - b*d = -1 for d.
-1
Suppose -55 = -6*f + f. Suppose 25 = -6*w + f*w. Let a = 7 - w. Solve k = -k - a for k.
-1
Suppose 27 + 7 = 5*q - 4*b, -7 = -2*q - 5*b. Solve -25 = -z + q*z for z.
-5
Let l = -1049 + 1061. Solve -4*q + 8 = -l for q.
5
Suppose -7*j = -2*j + 21*j. Solve j = -c + 1 - 3 for c.
-2
Let h = 7 - 5. Let g be (-8)/36 + h/9. Solve g = 4*u - 2*u + 6 for u.
-3
Let z(g) be the second derivative of -g**4/6 + 17*g**3/3 - 6*g**2 + 21*g. Let q be z(16). Let a(x) = -x - 3. Let s be a(-3). Solve s*t = 4*t - q for t.
5
Let s(u) = u**3 + 5*u**2 - 12*u + 17. Let c be s(-7). Suppose n = 0, -3 - 1 = d + n. Let b be d/(-3)*9/6. Solve 5*i = b*i + c for i.
1
Let d(i) = -i**3 + 8*i**2 + 11*i - 23. Let b be d(9). Let s be 9 - b/(15/(-9)). Solve -u = -s*u for u.
0
Let l be 4/(-4 - 200/(-45)). Suppose -k + 5*c - 14 + 5 = 0, l = k + c. Solve j = k*j - 25 for j.
5
Suppose d = -4*g + 17, -d = -g - 0*g + 3. Let q = d - 1. Suppose -5*i - 5 + 35 = q. Solve b + 4 - i = 0 for b.
2
Suppose -4*o + 13*h - 10*h = -9, -4*o - 2*h = -14. Solve -11 = -o*s + 1 for s.
4
Let z be 2/(-7) - (-130)/14. Let q = -1 + z. Suppose 2*t = 3*t - q. Solve -3*b = -t*b for b.
0
Let g = 0 - -4. Let u(l) = l**3 - 2*l**2 + l + 47. Let h be u(0). Suppose 0*r + 2*r - 28 = -x, -x = -3*r + h. Solve -g*v + v = r for v.
-5
Let f = -12 - -17. Let c = f - 1. Suppose -c*q - q = 0. Solve q*g + 4 = -2*g for g.
-2
Let m(p) = p - 17. Let z be m(12). Suppose -a = 2*n - 7*n - 22, -2*a = -5*n - 29. Let c = a + z. Solve 0 = -c*y - 9 + 1 for y.
-4
Suppose 4*a - 23*m - 32 = -19*m, -3*a - 3*m + 6 = 0. Solve a = 3*f - 4*f for f.
-5
Suppose -4*u = 5*k - 40, u - 10 = -4*k + 6*k. Suppose 4*p - 6 - u = 0. Let g be 3 + 2*6/p. Solve -4*r - 2 - g = 0 for r.
-2
Let o = -124 - -134. Solve 5*j - o*j = 20 for j.
-4
Let r = 10 + -6. Suppose 0*b - 6 = -3*b. Suppose -3 = -b*j + 3. Solve j*s - r = 5 for s.
3
Let c(b) = 5*b**3 + 8*b**2 - 9. Let t(o) = 4*o**3 + 8*o**2 - o - 8. Let h(r) = -5*c(r) + 6*t(r). Let m be h(7). Let l = -2 - -5. Solve -l*v - 7 = -m for v.
-1
Suppose 3*f - z = 3, -z = 4*f - 1 - 10. Solve s = f*s for s.
0
Let h(o) = 3*o - 6. Let v be h(-7). Let u = v - -30. Solve -u*w = -0*w for w.
0
Suppose 0 = -4*r - 7*q + 8*q + 101, -4*r + 103 = -3*q. Solve -29*h = -r*h for h.
0
Let x(q) be the second derivative of q**4/12 + 7*q**3/6 - q**2 + 37*q. Let z be x(-8). Solve -z*l + l - 20 = 0 for l.
-4
Suppose -6*o = -70 - 14. Let b be 20/(-30) - o/(-3). Suppose 0*w + 20 = w. Solve 0*u - b*u = w for u.
-5
Suppose 0 = 2*s - 2*u - 84, -2*s + 4*u + 87 - 7 = 0. Solve 40*v = s*v for v.
0
Let z = 44 + -28. Suppose -z = 4*m - 12*m. Solve m*a = -2*a + 16 for a.
4
Let s be (-2 + 2)/(2 - (2 - 1)). Suppose -3*v + s*v = -5*v. Solve 2*o = -v + 2 for o.
1
Let p = 34 - 29. Suppose 0*n + 1 = f + n, -p = 2*f - 5*n. Solve f = -2*q - 0*q for q.
0
Let a(b) = b - 5. Let q be a(5). Suppose -10*m + 13*m - 33 = 0. Suppose 10 = m*g - 12. Solve -g = -z - q for z.
2
Suppose -2*b = -0*b - 5*b. Suppose w + 0*w = 2*z - 9, 5*w = 2*z - 13. Solve b*l - z*l = -4 for l.
1
Suppose 10*w - 165 = -w. Solve 16*l = w*l - 5 for l.
-5
Let l = 25 - 82. Let v = -50 - l. Solve v*m = 4*m + 15 for m.
5
Let q(c) = c**2 - 29*c + 83. Let g be q(26). Solve g*k = 3*k + 8 for k.
4
Let t be 4*(-2)/(-12)*27/18. Let m(s) = 3*s**3 - 2*s**2 + 3*s - 2. Let i be m(t). Solve 0 = -0*j + i*j - 2 for j.
1
Let x = -1 + 10. Let l be 30/x*9/5. Suppose 2*g - l = -2. Solve -n - g = -3 for n.
1
Let w(a) = -a**2 + a. Let y(h) = -h**2 - 20*h + 11. Let x(k) = 2*w(k) - y(k). Let q be x(21). Solve 0 = g + g - q for g.
5
Let q(n) = -54*n - 2. Let o be q(1). Let i = o - -56. Solve f = -i + 1 for f.
1
Suppose 0 = -4*i + 14*i - 10. Suppose -3*g + 15 = 3*t, -26 + i = -5*g - 2*t. Solve g*z + 1 = -9 for z.
-2
Let s be (167/(-334))/(-1 + (-14)/(-16)). Solve -l - s = l for l.
-2
Let c be (-5 - -7) + -32 - 5. Let h be 2/(-7) - (1 - (-115)/c). Solve 0*d + h*d = -4 for d.
-2
Suppose x + x = -2*j + 2, 2*x = 3*j + 2. Suppose -36*g + 15 = -31*g. Solve j*z - z = g for z.
-3
Let v(y) = -2*y**2 - 3*y**3 + 5*y**2 - 4 + 0*y**3 + 4*y**3 - 2*y. Let f be v(-3). Suppose 0 = g - f. Solve n + 3 = -g for n.
-5
Suppose t - 1 = 2*g, 12 = 2*t + 3*g - 4. Suppose 0 = t*p - 15 - 5. Suppose -2*o - 5*z = -8, o + p*z - 20 = -4*o. Solve -k = -o*k for k.
0
Suppose -6*c + 4 = 5*g - 3*c, -2*g + 3*c + 10 = 0. Solve -9 = -j - g*j for j.
3
Let o be 100/80 - 519*1/(-4). Solve -o*l + 126*l = 0 for l.
0
Let s be 40/(-30) + 4/3. Solve 4*o - 69 + 53 = s for o.
4
Let i(x) be the second derivative of x**4/12 + x**3 - 7*x**2/2 + 16*x. Let a be i(-7). Solve a = -2*o + 3*o for o.
0
Suppose 0 = -q - 11 + 83. Suppose 11*k - 8*k = q. Suppose 5*p - k = -9. Solve -p*z = -0*z + 15 for z.
-5
Let n(q) = -q**3 - 3*q**2 - 2*q - 2. Let y be n(-3). Suppose -5*o + y*a = -13 + 5, 5*a + 1 = 4*o. Solve 0*g + o*g - 20 = 0 for g.
5
Let q be ((-4 - -2)*-1)/(14/56). Solve -5 = -q*b - 21 for b.
-2
Let j(k) = -k**3 + 7*k**2 - 5*k + 1. Let h be j(6). Suppose t + 12 = h*t. Solve -t*f = f + 12 for f.
-4
Let y(i) = 7*i**2 + 2*i + 1. Let g be y(-1). Let c(k) = g - 23*k + 9*k + 12*k