
2
Let b(f) = -2*f - 6. Let w = 15 - 20. Let h be b(w). Solve -t = 6 - h for t.
-2
Let c be ((-6)/4)/((-4)/8). Suppose -5*p - 23 = -c. Let v be (-17)/(-4) - (-1)/p. Solve -r = v*r for r.
0
Let u be -2 - 1/((-2)/8). Let p(x) = x**2 + 1. Let i be p(u). Suppose 2*v = 3*r, r - v - 14 = -i*v. Solve 12 = -2*a - r*a for a.
-3
Let b(g) = -g**3 + 2*g**2 + 6*g - 2. Let d be b(4). Let c be (-4)/(3/(1 + d)). Solve 0 = 2*u + 2*u - c for u.
3
Suppose -4*o = 2*r - 20, 4*r - 7*r + 9 = -o. Solve -r*k - 3 = 1 for k.
-1
Suppose -o - 3*u = -6 - 10, 21 = -4*o + 5*u. Solve 0 = -l - o - 3 for l.
-4
Let u(l) = -2*l**2 + 9*l - 2. Let n be u(4). Solve 4*f - n*f - 8 = 0 for f.
4
Suppose -2*o + 32 = 3*p, 2*p - o - 17 = 2*o. Let k be 40/7 + p/35. Suppose -2*r + 0 = -6. Solve r*a = k*a + 3 for a.
-1
Let f(h) = h**2 - 8*h + 4. Let p be f(8). Suppose 6 - 18 = -p*q. Solve -2*i + q*i + 2 = 0 for i.
-2
Let o(c) = 2*c - 24. Let u be o(12). Suppose u = 5*h - 2*l - 104, -2*h + 5*l = -10 - 40. Solve -7*x - h = -3*x for x.
-5
Suppose -9 = -2*f + 9. Solve -4*w - f = -w for w.
-3
Suppose -2*x = -3*x + 4. Solve 4*f = -x - 0 for f.
-1
Let w(v) = v**3 - v**2 + 2*v + 3. Let s be w(-2). Let y = -9 - s. Solve 3*x - y*x = 4 for x.
-4
Let m = 0 + 2. Let d(a) = a - 2. Let k be d(0). Let j be 0*((-3)/k + -2). Solve j = m*z + 3 + 1 for z.
-2
Let u be 4/(-6) - (-28)/6. Solve 0*s + 2*s = u for s.
2
Let a(k) = 3*k - 7. Let d be a(4). Solve d + 20 = -5*r for r.
-5
Let h be 9 - 6/(6/6). Solve h*j + 7 = 1 for j.
-2
Let r be (-15)/2*4/5. Let m(d) = -d - 3. Let c be m(r). Solve c*p - 15 = -6 for p.
3
Suppose 5*t = a + 3*a - 45, -5*t - 15 = 2*a. Solve -a = -0*l + 5*l for l.
-1
Let v be (-1)/(-4) + 35/20. Suppose -5*w - c = v, -5*c + 4*c = -3*w + 2. Solve w = 4*p - 0*p for p.
0
Suppose 0 = 4*g + 4*q + 12, 5*q - 1 = 5*g - 16. Suppose -3*s = -2*s - 10. Suppose 0 = -3*u + u + s. Solve g*k = -u*k - 15 for k.
-3
Let s be (72/(-60))/(4/(-10)). Solve 0 = 4*r - s*r + 2 for r.
-2
Let x(d) = -2 - 2*d + 3*d - 1 + 7. Let n be x(0). Suppose -5*q + 3*z = -q - 33, n*q + z = 53. Solve -q = -0*m - 3*m for m.
4
Let q(l) = l**2 - l + 20. Let m be q(0). Suppose 2*y + 2*s = m, -5*y + s = 3*s - 56. Solve 0 = -4*z - 4 + y for z.
2
Suppose 15 + 15 = 15*n. Let r(b) = -3*b - 1. Let q(k) = -8*k - 2. Let s(l) = -2*q(l) + 7*r(l). Let w be s(-2). Solve -5 = -w*v + n*v for v.
1
Suppose 23*b - 19*b = 0. Solve -z + 1 = -b for z.
1
Let o be (-2)/5 + 4/10. Let s be (-2 + 1)/(-1) + 3. Suppose o*j - s = -j. Solve v + 20 = -j*v for v.
-4
Suppose 0 = -2*k - 3*k + 100. Suppose -s + k = -0*s. Solve 0 = -0*z + 5*z + s for z.
-4
Suppose -3*o + 5 = s - 0, 4*s + 2*o - 20 = 0. Solve 3*b - 10 = s*b for b.
-5
Let n(k) = -4*k - 8. Let s be n(-2). Solve 0*z - 2*z + 2 = s for z.
1
Let n be (3 - 9)/(4/(-18)). Suppose a - n = -2*a. Let t(z) = z**2 - 10*z + 9. Let p be t(a). Solve 2 = -p*s - s for s.
-2
Suppose -3*v = -5*v + 8. Let p = v + -4. Let i = p + 0. Solve i*j = j - 3 for j.
3
Let i be -9*(-1 - ((-30)/9)/5). Solve i*t = -0*t for t.
0
Let v(n) = -5*n**3 - 2*n**2 - 2*n - 1. Let z(x) = -x**2 - 2*x - 1. Let d be z(-2). Let i be v(d). Suppose -2*l = -i*p, p = -0*l - l + 3. Solve r - 5 = -l for r.
3
Let f(p) = 3*p**2 - 50*p + 5. Let o be f(17). Suppose 6*h - h - 25 = 0. Solve -o = -h*m + 3 for m.
5
Let k = -105 + 105. Solve -v + 4*v - 3 = k for v.
1
Let t(n) = 3*n + 4. Let w(a) = -5*a - 6. Let l(b) = 8*t(b) + 5*w(b). Let v be l(-2). Solve -v*j = -j for j.
0
Let z be 1864/(-32) - 1/(-4). Let p = 93 + z. Solve p = 5*y + 10 for y.
5
Suppose 7*u = 12 + 51. Solve -3*n - u = -0 for n.
-3
Suppose 17 = 7*p - 11. Solve -p*x = -x + 9 for x.
-3
Let r(m) = -2*m + 25. Let c be r(0). Solve -w - 4*w = c for w.
-5
Suppose 1 - 4 = -q. Let h be (4/2)/(5 - q). Suppose -2*g - 2 = -3*g, 3*y = -2*g + 46. Solve -3*t = y + h for t.
-5
Suppose -2*n + 5 = -n. Suppose -n*h + 8 + 7 = 0. Solve h*x = x for x.
0
Suppose 20 = 7*u - 3*u + 5*q, 3*u + 16 = 4*q. Solve u*y - 4*y = -16 for y.
4
Suppose -2*h + 2 = -2. Solve h*d - 4 = -2*d for d.
1
Let y = 6 - 11. Suppose 2*i = -4*c + 14, 0 = -3*c - 4*i + 4 - 1. Let v = c + y. Solve 6*j - 4*j + 8 = v for j.
-4
Suppose 0 = -5*i + 2*p + 2*p + 12, -10 = -3*i + p. Solve 2*c = i*c + 10 for c.
-5
Let a be ((-2)/6)/((-2)/36). Solve 0 = -a*b + b - 10 for b.
-2
Let p = 39 + -26. Solve -7 = 4*v + p for v.
-5
Let p(g) = 18*g**2 - g + 1. Let f be p(1). Solve 5*i - 3 + f = 0 for i.
-3
Suppose 10 = 3*z + 4. Suppose -5*y = -16 + 1. Solve 0 = -z*f - y*f for f.
0
Let b = -9 - -9. Solve 8 = -b*m + 4*m for m.
2
Let c be (-2)/(-4)*(-3 - -11). Suppose 0 = 4*w - 8*w + 16. Suppose c*u - 2*u = w. Solve -m + 3 = u*m for m.
1
Let s = -25 + 35. Suppose 5*l - 70 = -5*a - s, -2*l = -a - 27. Let x(y) = y**2 + y + 1. Let d be x(2). Solve 5*v - l - d = 0 for v.
4
Let c be 2/3 - 13/(-3). Let p = c - 0. Suppose 0 = -0*w + p*w - 20. Solve -3*y - w = 5 for y.
-3
Let t(g) = g**3 + 5*g**2 - 4*g - 12. Let u be t(-5). Let f = -22 + 14. Let n = f - -14. Solve -5*o = -u*o - n for o.
-2
Let d(k) = k**3 - 7*k**2 + 9*k - 9. Let q be d(6). Let v be (-2)/2*-2 - -3. Solve -4*f + q*f + v = 0 for f.
-1
Let j(f) = -f**3 - 6*f**2 + 15*f - 6. Let q be j(-8). Solve -4*l = -6*l + q for l.
1
Let r(g) be the first derivative of g**3/3 + 3*g**2/2 - g - 1. Let y be r(-4). Solve 0 = y*n + 6 + 3 for n.
-3
Suppose -5*y = -4*f - 8, 5*y - 50 = -5*f - 15. Let u be 2/(-4)*-2 - 7. Let b(i) = -2*i - 9. Let l be b(u). Solve f + l = -3*k for k.
-2
Suppose a = 2*a - 10. Let j = -15 - -20. Solve 0*z - j*z - a = 0 for z.
-2
Let s be (-12)/66 + (-237)/(-33). Suppose 5*h - 2*h = 0. Solve h = -2*o + 3 + s for o.
5
Let x(u) = u + 10. Let b be x(-7). Suppose d = 2*d - 2. Suppose 5*f + 37 = 4*s, -b*s - 7 = -d*s + 2*f. Solve s*v + 2*v + 5 = 0 for v.
-1
Let b be -32 - (0 + -2 + 0). Let a be ((-1)/3)/(2/b). Solve 20 = -0*m + a*m for m.
4
Suppose 2*k - 2 = k. Let o be -2 + 3 + 14/k. Solve 4*u = o*u - 12 for u.
3
Suppose -4*t = -z - 2, 3*z + 6 = 3*t - 0*z. Suppose n = -t*k + 4*k - 6, 5*n = 2*k + 6. Solve -n = 2*g - 3*g for g.
2
Let n(z) = -z**2 + 11*z + 42. Let y be n(14). Solve y = 4*o + 18 + 2 for o.
-5
Let i(x) = 4*x**2 - 5*x**2 + 3 + 0*x**2 - 9*x. Let q be -3 + (2 - 8)*1. Let h be i(q). Solve 19 = -h*w + 4 for w.
-5
Suppose 5*m + 40 = 5*w, -w - 7 = 2*m + 2*m. Solve 0 = 4*v - w + 13 for v.
-2
Let v = -4 + 7. Let o(a) = a + 2. Let d be o(0). Solve 0 = -d*n + v + 1 for n.
2
Let b(k) = -k**2 - k - 4 - k**2 - 4*k - 3*k**2 + k**3. Let j be b(6). Solve -j*d + 1 = 3 for d.
-1
Suppose 2*w + 2*w - 64 = 0. Solve 4*x = -0 + w for x.
4
Let b = -2 - -7. Suppose 4*c - 10 - 2 = 0. Suppose c*f = 2*j + 5, -5*j + 48 - 3 = 4*f. Solve 0 = j*d - 0*d + b for d.
-1
Suppose -v = -3*i + 13, -5*v = -i + 13 - 32. Let b be (-10)/(-6) + i/(-9). Solve 3 = -2*c + b for c.
-1
Let p = 33 + -33. Solve p*m - m = -4 for m.
4
Suppose 12 = 4*f - 0*f. Suppose -f*a + 2 = 5*x - 0, -4*a - 2*x = -12. Solve a = r + 2 for r.
2
Let v(n) be the first derivative of 1/3*n**3 - 3*n**2 - 2 - n. Let l be v(7). Solve l*g + 12 = 3*g for g.
-4
Let q(a) = -a - 2. Let o be q(-6). Let u = 5 + -9. Let k be u + 5 - (-14)/2. Solve -k + 4 = o*z for z.
-1
Let n(b) = -b**3 - 4*b**2 + 4*b - 3. Suppose -4*d - d = -50. Suppose -q = q + d. Let p be n(q). Solve 0 = -0*x + 2*x - p for x.
1
Let m(o) = o - 7. Let q be m(5). Let a be ((-17)/(-3))/(q/(-36)). Suppose 3*y - 4*y - a = -4*i, -10 = -5*y. Solve -5*k = -11 + i for k.
-3
Let j = -5 - 5. Let p = 3 - j. Let i = p + -3. Solve 6*t = t + i for t.
2
Suppose t + 14 = -4*r, 3 = -4*t - 5*r - 9. Solve -p = t*p + 6 for p.
-2
Suppose 0 = 3*g - 2 - 7. Let h be 2*(-1)/(-2)*-6. Let t = h + 8. Solve t*p = g*p - 4 for p.
4
Let u(z) = -z**2 - 9*z - 6. Let x be u(-8). Let a be -2*(x + (-21)/6). Solve -a*g = -g - 4 for g.
2
Suppose 2*b - 1 = -3*q, -2*b - 3*q + 7 = 3*b. Let o(j) = 8*j**2 + 6*j + 4*j**3 + 11 - 3*j**3 - 5*j. Let l be o(-8). Solve -3*y = -b*y + l for y.
-3
Let w = 52 - 49. Solve -w*x + 4*x = -3 for x.
-3
Let q(p) = p + 4. Let l be q(5). Solve 0 = 3*g + 24 - l for g.
-5
Suppose 20 = 5*x + 3*j + 1, -3*j = -5*x + 31. Solve -1 = 3*o + x for o.
-2
Let k = 70 - 66. Solve -k*f + 8*f = -16 for f.
-4
Suppose 0 = -5*z + 2*j - 5*j, -21 = -2*z + 3*j. Solve -4*k + 5 = -z for k.
2
Suppose 3*c = -0 - 6, 0 = -3*o - 4*c - 2. Solve -3 - o = p for p.
-5
Let r