-4))/(-6)*u. Solve 3 = o - w for o.
3
Let f(v) = v**2 - v - 3. Let w be f(3). Suppose -4*a + w*a = 3*o - 17, 1 = -2*a + o. Let t be (-1)/3*(-24)/a. Solve -4*r = -0*r + t for r.
-1
Let x be 128/6 - (-2)/3. Let l = -14 + x. Suppose 3*g - 19 = -5*b, -3*g - 3*b - 1 = -l*b. Solve -d - g = 2 for d.
-5
Suppose -31 = 3*j - 106. Solve 5*p - 5 + j = 0 for p.
-4
Let b be 1/(-1)*(-7 + 4). Solve 2 + b = u for u.
5
Let m(p) = -p**2 - 4*p - 3. Let g(j) = j**3 + 4*j**2 + 3*j + 1. Let w be g(-2). Suppose 0 = -w*a + 2*a - 3. Let u be m(a). Solve -3*k - 2*k - 20 = u for k.
-4
Let a = 8 + -4. Let r = 12 + -10. Let t be (-4 + 0)/((-4)/r). Solve -a - t = -2*i for i.
3
Let x(n) = n - 2. Let h be x(6). Suppose 0 = v - 3*v - 4, 0 = h*o - 3*v - 22. Suppose -l = o*l. Solve 4*a + l*a = -20 for a.
-5
Suppose -4*j = -5*t + 5, -4*j = -j + 4*t - 35. Let b be (-8 - -8)*(2 - 1). Let x = b - -2. Solve j*s - 13 = x for s.
3
Suppose -j = 1 - 2. Let f = 2 - j. Solve 2 = -3*p - f for p.
-1
Let z(x) = -10 + x + 0*x + 4. Let b be z(6). Suppose 0*v - 3*v + 9 = b. Solve -v*o = -0*o + 15 for o.
-5
Suppose 5*x - 2*g - 20 = 0, x - g - 4 = 3. Let z be (4/x + 3)*1. Let f be (2/5)/(3/15). Solve z*t - f = 8 for t.
2
Let c(f) = 3 + 2 - f - 3 + 2*f. Let h be c(0). Solve -1 - h = -3*g for g.
1
Let g be 1/1 + (-4)/4. Suppose 5*z - 5*n + 10 = 0, g = -z - 0*z - 5*n + 28. Solve 2*l - l = z for l.
3
Let u = -249 - -359. Let b be 4/6 - u/(-33). Solve -b*k - 6 - 10 = 0 for k.
-4
Let o = 2 - -1. Suppose o*p = 6*p. Solve p = s - 0*s + 5 for s.
-5
Suppose 0 = u - 3*u. Suppose -5*m + 5 = -4*c, 2*c = 3*m - 2 - 3. Suppose -3 = -m*a + 22. Solve u*g - g = -a for g.
5
Let z be -2 - 0/(-4 - -2). Suppose -b = 4*b - 30. Let s be (b - (-4)/z) + 0. Solve -r + s = 8 for r.
-4
Let g be (-4)/(100/15)*-5. Solve -g + 1 = -2*h for h.
1
Let v be 1/(-2)*0/2. Suppose v*f = -3*f + 3. Suppose o - f = 6. Solve -5*s = -o - 8 for s.
3
Let z = 165 + -162. Solve -z*q - 10 = 5 for q.
-5
Suppose -5*b - 3*k + 19 = 6, 2*k = -b - 3. Solve -7 = -b*x + 8 for x.
3
Suppose 5*d - 8 = 22. Solve -g - d = g for g.
-3
Let r = 0 + 6. Solve 3*o = r*o for o.
0
Suppose 4*t - 8 = 0, -4*v = -v - 3*t - 6. Solve d = 3*d - v for d.
2
Let b(h) = -h**3 - 4*h**2 + 2. Let z be b(-4). Suppose j - 24 = 3*y, 41 + 19 = 5*j + 5*y. Suppose -z*i - 3*w - j = -8*w, i = -w + 10. Solve 0*l = i*l + 5 for l.
-1
Let b be 4/(-6) + (-132)/(-9). Solve 5*d = 6 + b for d.
4
Let r = 10 - 3. Solve -3*f + r*f = 8 for f.
2
Let k(b) = b**3 - 2*b**2 - b - 2. Let p be k(3). Let g be (-2)/(1 + (-10)/12). Let w be ((-10)/6)/(p/g). Solve w*m + 14 + 11 = 0 for m.
-5
Suppose q = 15 - 0. Solve -1 = -4*c + q for c.
4
Suppose -2*k - 1 + 11 = 0. Suppose 3*a + 0*a = 5*a. Solve a = -k*l + l for l.
0
Let b be (1/(-5) - 1)*180/(-54). Let v = -34 - -48. Suppose 2 = 4*g - v. Solve b*q = 3*q - g for q.
-4
Suppose -t = -2*t - 1. Let p be t + 8/2 + -2. Solve -2*a = p - 5 for a.
2
Let c = -7 + 6. Let w be 1 - (c + 1 + -3). Solve -4 - w = 2*d for d.
-4
Suppose 0*r + r = 2. Solve -1 - r = t for t.
-3
Suppose -2*x - 2*x + w = 0, -4*w = x. Solve 4*y - 4 = -x for y.
1
Suppose 0 = -9*l + 4*l + 45. Let i be ((-6)/l)/((-6)/27). Solve -2*n + 2 = -i*n for n.
-2
Let s be 1 - -4 - (-15)/(-5). Solve 2*u = -s*u + 20 for u.
5
Let n = 102 + -54. Let z = -23 + n. Suppose 0 = -k - 3, -2*s = -7*s - k - 3. Solve s = 3*x + 2*x + z for x.
-5
Let a = -8 - -4. Let s = -2 + a. Let i = -4 - s. Solve z = i*z for z.
0
Let b be ((-4)/5)/(8/(-40)). Solve b*d - 4 - 8 = 0 for d.
3
Suppose -i = 5*g - 18, -1 - 7 = 4*i. Suppose g*w - 2*w - 8 = 0. Solve -4*b - w = -0*b for b.
-1
Let t be 15*(2 + 0 + -4). Let g = t + 111. Suppose 2*a + n - 41 = 0, a - n + g = 5*a. Solve 3*x + 2*x - a = 0 for x.
4
Suppose 0 = 5*m - 3 - 2. Let z be m/1*-5*-1. Solve -z*o + 8 = -3*o for o.
4
Let t(v) = 2*v - 10. Suppose -3*g = -2*a - 7*g + 30, 8 = 2*g. Let r be t(a). Solve r*b - 3*b + 4 = 0 for b.
-4
Let y = -16 - -27. Solve 0 = -3*z + 1 + y for z.
4
Let g(a) = a**2 + a - 1. Let w be g(-2). Solve 5 = 2*z + w for z.
2
Let r be 92/322 - (0 - (-24)/(-14)). Solve -l + r*l = 4 for l.
4
Let h(d) = -6*d + 12. Let g be h(2). Solve -p = -g*p - 5 for p.
5
Suppose -2*i = 2*i - 20. Suppose q - i*q = -5*p - 603, 2 = q. Let v be p/(-21) + (-2)/3. Solve 10 = -0*w - v*w for w.
-2
Suppose -5*n + 22 = -f - 3*f, f + 3*n + 14 = 0. Let p be (21/(-12) + 1)*f. Solve 0*y + p = -2*y for y.
-3
Suppose -3*q + 95 + 2 = 4*w, 4*q - 142 = w. Suppose 5*j + q = 5*z, -z - 2*z + 5 = 5*j. Solve p - z = 2*p for p.
-5
Let u = -5 - -7. Suppose 5*p - 9 = u*l, -p = 2*l - 9 - 0. Suppose l = 2*i + 1. Solve r + i = 3 for r.
2
Suppose 5*g = g + 3*f + 86, -2*g + 42 = -f. Solve 2*z + 2*z = -g for z.
-5
Let b be ((-1)/3)/(3/9). Let m be 6 + (-2 - b) + -1. Let p(g) = -g**2 - 6*g - 3. Let u be p(-5). Solve u*o - o - m = 0 for o.
4
Let u(o) = -o**2 + 2*o + 4. Let f be u(4). Let b = f + 3. Let p be 0 - b/((-2)/(-6)). Solve -n + p = 7 for n.
-4
Suppose 2*o - 7 = 4*d - 3*o, -5*o + 19 = 2*d. Solve -2*p + d = -p for p.
2
Let a(u) = -u + 1. Let h(k) = k. Let i(z) = -2*a(z) - 3*h(z). Suppose g - 3*g + 32 = -4*t, 10 = 5*g. Let p be i(t). Solve -s + 6*s = p for s.
1
Suppose -j - v = 2, 0 = 5*j + 2*v - 2 + 6. Solve j = -3*u - 9 for u.
-3
Suppose -3*y + 5*s = -9, -3*y + 49 = 2*y + 3*s. Suppose -15 = 2*w + w. Let t = y + w. Solve -4*o - 1 = t for o.
-1
Let v be 3*((-2)/(-3) + 0). Suppose 12 = 6*q - 6. Solve v = -q*i - 1 for i.
-1
Let u be 0/((-3 - -4) + 0). Solve u = -3*r - 0*r - 3 for r.
-1
Suppose 30 = -n - 4*n. Let w be 5*n/20*-2. Solve -7 - 5 = w*x for x.
-4
Suppose -4*j + 9*j - 4*k + 11 = 0, 2*j - 2*k = -6. Let n = j - -1. Let r(b) = -b**2 + 7*b + 1. Let m be r(7). Solve n*g = -m + 3 for g.
1
Suppose -4*m + 15 = 4*s + s, -m = 3*s - 9. Suppose -5*v + s*r - 8 = 5*r, -8 = -2*v + 2*r. Solve v*u + 3*u = -3 for u.
-1
Let r = 4 + -5. Let q = r + 4. Solve -4 = q*k + 8 for k.
-4
Let x be ((-4)/5)/(2/45). Let w be (x/12)/((-3)/4). Let h be 2*3*w/6. Solve h*g + 2 - 12 = 0 for g.
5
Suppose -4*i + 18 = 2. Solve -16 + 4 = -i*m for m.
3
Let c(q) = q**3 - 11*q**2 + 10*q + 9. Let x be c(10). Let d be (3 - x)*(-2)/3. Solve -d = i - 0*i for i.
-4
Let t be 14/63 - (-68)/18. Solve t*k + 7 = 3 for k.
-1
Suppose -2*z = z - 6. Solve z*k + 8 = -2*k for k.
-2
Let d(n) = n**3 - 7*n**2 - 8*n + 2. Let t(b) = 7*b**2 - 2*b - 1. Let h be t(-1). Let u be d(h). Suppose -u*q + 0 = -8. Solve m = q*m + 6 for m.
-2
Suppose 3*m = -3*w + 81, 4*m + 3*w - 104 = 2. Let t = -4 + m. Let v = -12 + t. Solve 4*p = p + v for p.
3
Let q = 9 - 4. Solve -q*s - 3 = -28 for s.
5
Suppose -7*u - 36 = -10*u. Solve d + 2*d - u = 0 for d.
4
Let q be (-2 + 3)*(-3 + 2). Let f be q/7 + (-3)/(-21). Solve f - 8 = -2*c for c.
4
Let t be (-8)/((-18)/3 + 4). Suppose -2*l + 15 = 3*l. Solve -3*x - l = -t*x for x.
3
Let d be -2*((-11)/1 - -3). Suppose 0 = -5*b + 10, 0 = -u - 3*u + 4*b + d. Solve 3*i - u*i + 6 = 0 for i.
2
Suppose -w + 0*w + 6 = 0. Suppose 2*m - 4 = w. Suppose 4*n = -4*v + 32, v + 24 = m*n + 8. Solve -6 - 10 = n*y for y.
-4
Let d(k) = 3*k + 22. Let j be d(-6). Solve -4*o - j = -2*o for o.
-2
Let d(p) be the second derivative of 1/6*p**3 + 5/2*p**2 + 2*p + 0. Let i be d(-3). Solve -3*g = -g + i for g.
-1
Suppose 0 = -8*q + 6*q + 6. Let m be 15*(q - (-39)/(-15)). Solve -m = -4*a + 6*a for a.
-3
Let b(n) = n**3 + n + 7. Let y be b(0). Suppose y = g + 1. Let s be g/(0 - -1) - -2. Solve s*a - 3*a - 10 = 0 for a.
2
Let k = -12 - -15. Solve -2*l = -k*l for l.
0
Let i = 11 - 9. Suppose 4*d - 19 = f, 5 = -d + i*f - 5*f. Solve -r + 0 = d for r.
-4
Let r(v) = v**3 - v**2 + 2. Let m be r(0). Suppose 3*x = 2*d - 4*d - 1, m*x = 5*d + 31. Suppose -7*j + 2 = -5. Solve -j = x*i - 4 for i.
1
Suppose u - 3*f + 1 = 15, 4*u - 12 = f. Let n(g) = 8*g - 1. Let h be n(1). Solve -3*m + u = -h for m.
3
Suppose -a = 6 - 8. Solve 6 = a*d - 2 for d.
4
Let c = 2 + -1. Let u be -3*1/(-3)*4. Solve 0 = -3*k + u*k - c for k.
1
Let k = -19 + 24. Solve 4*o + 3 = -k for o.
-2
Suppose 0 = 3*y + h - 5*h - 95, 0 = -y - 5*h. Solve -6*z - y = -z for z.
-5
Let f(a) = 3*a**2 + a. Let x be f(-1). Let l = x + 4. Solve -l*o = -2*o for o.
0
Let f(y) = -y**2 + y + 15. Let s be f(0). Suppose -s = 5*m, -2*m - 2*m = -4*c + 52. Solve c = 2*u - 7*u for u.
-2
Suppose 3*f - 22 = 2*t, -t = -4*f + 2*t + 30. Let j = 6 - f.