
4
Let y(l) = 5*l + 1. Let z(v) = -v - 1. Let b(q) = 2*q**2 + 3*q - 3. Let p be b(-3). Let t(m) = p*z(m) + y(m). Let u be t(-6). Solve u = 4*i - 3*i for i.
1
Let d(g) = g**3 + 3*g**2 + g - 1. Let o be d(-3). Let i(z) = -z**2 - 2*z - 1. Let s be i(-1). Let a = s - o. Solve -a = 3*w - w for w.
-2
Suppose 5*z + 3*j - 24 = -5, 25 = 5*z + 5*j. Solve -2*s + s = z for s.
-2
Let m(i) = i**3 - 2*i**2 - 4*i + 3. Suppose 0 = -3*z + 3*a + 5 + 4, -5*a = 0. Let v be m(z). Solve -3*w + 4 - 1 = v for w.
1
Suppose 5*n - 24 = -2*v - 9, n + 4 = v. Suppose w = -a + v, -2*w - 5 = -6*w - a. Suppose -3*x = -5*x + 8. Solve -5*r + 1 + x = w for r.
1
Suppose -17*o = -5*o - 36. Solve -o*a = -2*a + 3 for a.
-3
Let t(w) = w + 14. Let q be t(-14). Solve 4*k - 5 + 1 = q for k.
1
Suppose -z + 4*v = -9, 2*z + 2*v + 0 = 8. Solve -z*n = -3*n + 6 for n.
-3
Suppose -u + 23 = 5*b + 3*u, b = -2*u + 7. Let c = -8 + 8. Solve 3*h + b + 0 = c for h.
-1
Let l be (-10)/30 - ((-68)/6 - 2). Let x be 0*(-2)/(-6 + 2). Suppose x*g - 5*g = 0. Solve 4*r + l + 3 = g for r.
-4
Let c(n) = -n - 3. Let g be c(-6). Suppose 8*i - 5 = g*i. Let l = i - 1. Solve 2*u = -l*u - 8 for u.
-4
Suppose h - d - 9 = 0, -4*d - 50 = -3*h - 2*h. Let k = h - 8. Let c be k/(-5)*10/(-4). Solve 2*w - 7 + c = 0 for w.
2
Let k(a) = -a**3 + 6*a**2 - 7*a + 3. Let h be k(6). Let r be 3/(-12) - h/12. Solve 0 = -m + 2 - r for m.
-1
Let w(b) be the first derivative of -2*b**2 + 5. Let t be w(-1). Solve 0 = j - t*j for j.
0
Let m(h) = h - 15. Let y be m(27). Solve x + y = 4*x for x.
4
Suppose 3*t - 3 = 6. Let s(j) = -j**2 - j - 3. Let w be s(0). Let m be -1 - -1 - 1 - w. Solve 0 = -2*v + t*v - m for v.
2
Let y(m) = 3*m - 4*m + m**3 - 2*m**2 + 11 - 8*m**2. Let v be (-1)/(164/(-40) + 4). Let x be y(v). Solve -b = -x + 2 for b.
-1
Suppose n = -0*n. Suppose b + 0*b + 3 = n. Let y = b + 3. Solve q = -2 - y for q.
-2
Let g(k) = -k**2 + 7*k - 5. Let q(w) = 8*w - 1. Let v be q(1). Let j be g(v). Let s = j + 7. Solve -s - 3 = o for o.
-5
Let h(n) = n**2 + 4*n - 3. Let f be h(-5). Let w = -27 - -95. Suppose 4*t = 4*x + w, 0*t + 4*t = 5*x + 65. Solve -2*k = f*k - t for k.
5
Let c(g) = g**3 - 3*g**2 - 4*g + 1. Let j = 10 - 6. Let t be c(j). Solve 4 - t = -i for i.
-3
Let h(i) = i**2 + 1. Let b(m) = -m**2 - 7*m - 8. Let x be b(-6). Let w be h(x). Suppose -5*k = -4*t - 4, -4*t + 1 = k + w. Solve -l - 3 = -k for l.
-3
Let y(q) = -q**2 - 5*q + 2. Let z be y(-5). Suppose -z*a = -5*f + 2*a + 8, -a = -4*f + 2. Solve f = 4*p + p - 15 for p.
3
Let v be 4/14 + (-26)/(-7). Let k be (15/6 - 2)*2. Solve -7 = v*j + k for j.
-2
Let a(u) = -u**2 + 22*u - 35. Let g be a(20). Solve -g*q - 15 = -0*q for q.
-3
Suppose g - u = 4, -g - 3*g = 2*u - 28. Suppose -g = -2*s - 0. Solve s*b = -5 - 1 for b.
-2
Let w(x) = -4*x + 6. Let f be w(6). Let o be 1/2*f/(-3). Suppose -3*r + o*p = -3, -4*r - 3*p = 4 - 8. Solve r = 2*l + 11 for l.
-5
Let d(h) = -h**3 + 4*h**2 - 3. Let p be d(3). Let b = p + -6. Solve -3*y + y = b for y.
0
Let x = 20 - 24. Let r be 7/((-14)/x) - 0. Let u be (5/(-3))/(2/(-6)). Solve 0 = -r*y + u*y - 6 for y.
2
Let s = -30 + 50. Let u be 2/(-9) - s/(-9). Suppose 3*o = -u*f + 37, -4*f + 5*o = -3*f + 1. Solve -5*z + f = 4 for z.
2
Suppose -19 = -3*m + 11. Let g be (-14)/(-4) + m/(-20). Solve g*o - 6 = 9 for o.
5
Let i = 22 + -12. Solve 0*g + i = 5*g for g.
2
Let g = 81 - 56. Solve r + 4*r = -g for r.
-5
Let g(j) = j**3 - 7*j**2 + 6*j + 2. Let n be g(6). Solve 0 = -a - a + n for a.
1
Let b = -22 - -8. Suppose -3*z = -r + 16, -r = 3*r + 4*z. Let p be r/b + (-30)/(-7). Solve 0 = w + p*w for w.
0
Let d = -17 - -28. Suppose 5*x + 4*s + 14 = 4*x, x + s = -d. Let i be (-4)/x + (-15)/(-25). Solve -p - i = 2 for p.
-3
Let f = 6 - 1. Let x(l) = l**2 - 4*l + 1. Let h(a) = -a**3 - 3*a**2 + 3*a + 1. Let z be h(-4). Let p be x(z). Solve f*g = 2*g - p for g.
-2
Let w = 0 + 0. Suppose w = -6*u + 2*u. Solve u = -4*p + 3 - 11 for p.
-2
Suppose -4*d + 6 = -d. Let a be (d/4)/1*10. Suppose 2 = a*q - 8. Solve -y - q*y = -15 for y.
5
Let z = -1 + 3. Let r = -41 - -41. Solve r = z*k + k for k.
0
Let u = -14 - -6. Let d = u + 5. Let g be 0/(d*(-2)/3). Solve -s + 1 - 5 = g for s.
-4
Let m = -3 - 0. Let z = m + 5. Suppose g + 1 - 5 = 0, -5*q + g + 66 = 0. Solve 0 = z*u - q + 4 for u.
5
Let g(t) = -1 - 2*t - 3*t + 4*t. Let u be g(-6). Solve 0 = -5*h + 10 + u for h.
3
Let g be 2 - (-1 + 1)/1. Suppose 0 = -g*y + 43 - 11. Let l be (-2)/(-3)*2*3/2. Solve -l*b + 6*b = y for b.
4
Let y be (-130)/(-50) - 4/(-10). Solve -13 = -2*b - y for b.
5
Let f be 5 + (-1)/(-2)*0. Suppose 10*w - 7*w + 8*w = 0. Solve w*t = t + f for t.
-5
Suppose r - 5*r + 100 = 0. Let h be 72/10 - 5/25. Suppose -16 = 3*d - h*d. Solve d*c + c + r = 0 for c.
-5
Suppose -2*b + 40 = 4*x, -b - 2*b = 0. Solve -x = d + 4*d for d.
-2
Let x be 6/4*2 - 2. Let k be 8 - (2 - x - 2). Let m be 116/6 + 6/k. Solve -3*z - m = -7*z for z.
5
Let j be 3/2*(-1 - -3). Let f be (-12)/42 - 4/(-14). Solve f = 2*y - j + 11 for y.
-4
Suppose -5*s + 5*n = -40, 3*n - 1 - 5 = -3*s. Let b be 5 - (2*-2)/(-2). Solve b = -2*p + s for p.
1
Suppose 4*b + 5*j = j + 24, 3*j - 3 = 2*b. Solve 5*r + 17 + b = 0 for r.
-4
Let q(o) = -o**3 + 5*o**2 - 4*o + 5. Let n be q(4). Let m = n - 5. Solve m = j - 3 for j.
3
Suppose 15 = -2*d - d. Let u be ((-3)/d + 0)*5. Solve l = -u*l - 16 for l.
-4
Let u = -11 - -21. Suppose -u = -5*l + 15. Solve 0 = -d - 0 + l for d.
5
Suppose -4*x + 8 = -0, -3*o - 2*x = -13. Solve o*c = 4 - 1 for c.
1
Let r be -2 - (-12)/1 - 1. Let a = r - -11. Solve 0*w = 5*w + a for w.
-4
Let p = -1 + 4. Suppose 0 = 3*z + p + 60. Let o = -13 - z. Solve f + 3 = o for f.
5
Suppose -a = -5 - 15. Let q be 5/(-15) - a/(-6). Suppose 3 = -q*p + 6*p. Solve 0*w + w = p for w.
1
Suppose -14 = -3*j + b, 4*j + 0 = -b + 7. Suppose -19 = -3*f + 2*d + 2*d, -5*f - 7 = 3*d. Solve -j = -4*i + f for i.
1
Let q = 55 - 19. Let o = q - 21. Suppose 3*a = -2*a + o. Solve -2*f - 20 = a*f for f.
-4
Suppose -2 - 18 = -4*a. Solve 0 = a*s - 3 - 7 for s.
2
Suppose 3*h = 2*h. Solve h = -x - 1 for x.
-1
Suppose -4*n = h - 7 - 0, 5*n + 5*h = -10. Solve -2*y = -n*y + 3 for y.
3
Suppose 0 = -14*w + 9*w. Let f = w - -2. Solve 0 = j - f*j for j.
0
Let s be 7*(2 - (-1 + 2)). Solve -s*r = -2*r for r.
0
Suppose h - l = -4*h + 12, 12 = 3*h - 3*l. Suppose h*j = 5 + 1. Solve 0 = -j*m + 3 - 0 for m.
1
Let c be 2*(-2)/(16/(-12)) - 1. Solve 3*o - 3 = c*o for o.
3
Let z(u) = -u**3 + 2*u**2 + 6*u - 1. Let q be z(4). Let l = -9 - q. Solve 3*p - 2*p = l for p.
0
Let x be 290/25 + 2/5. Let q = 15 - x. Solve -w = -q*w for w.
0
Let h be 4/(-6) - 434/(-21). Solve -7*c + 3*c = -h for c.
5
Let y be 3 - (-6 + 1 - -3). Suppose 5*x - 5*h = -10, x = -x - y*h + 24. Solve -7 + x = r for r.
-5
Suppose -4*s + 7 = -t, 3*s + 4*t + 3 = -6. Let n be 3*(s/(-3) - -1). Solve -5 = n*w + 3*w for w.
-1
Let z = 78 + -43. Suppose -4*h - 4*c = -0*c - 32, -4*h - c + z = 0. Let m(j) = 4*j**3 - 2*j**2 + 2*j - 1. Let f be m(1). Solve h = f*q - 6 for q.
5
Let r = -4 - -6. Suppose 2*c - 5 = t, -c - 4*t = r*c - 24. Solve c*x + 4 = 3*x for x.
-4
Let l = -64 - -68. Suppose -z - 18 - 108 = -5*v, 3*v - 3*z = 78. Solve -c - v = l*c for c.
-5
Let i be (1 + 2)*12/(-18). Let k = i + 2. Suppose k = -5*j + 25, 0 = 5*d + 8*j - 4*j - 35. Solve -d = 5*h + 22 for h.
-5
Suppose 0 = -4*u + 4*i - 12, -u + 0*u - 23 = 3*i. Let b(h) = -h**2 - 8*h. Let t be b(u). Solve t*j = -4*j + 16 for j.
4
Suppose 5*g = -s, 3*s + g - 11 = 3. Let y be (-14)/(-6)*(-6)/(-2). Solve 3*n + y = -s for n.
-4
Let r(u) = -u + 7. Let l be r(5). Suppose 2*c - 4*c - 5*z = 15, 3*z + 9 = -5*c. Let n be -1 + c + -1 + l. Solve n*t = -2*t for t.
0
Let z(o) = o**3 + 13*o**2 - 13*o + 19. Let r be z(-14). Let p be (0 - -1) + 0 + 2. Solve -p - 12 = r*i for i.
-3
Suppose 2*x + 1 = -c + 2, -x - 4 = -4*c. Solve x = u - 4*u - 3 for u.
-1
Let z be (-66)/(-18)*(5 - 2). Suppose -2*h + z = -7. Solve -5*w + 6 = -h for w.
3
Suppose -3*p = -5*d - p + 37, 9 = 2*d + 5*p. Let n = 16 - d. Solve -n + 3 = -3*c for c.
2
Suppose 4*j - 3 = 4*y - y, 0 = 4*y - 12. Let s(b) = -b**3 + 3*b**2 + b. Let m be s(j). Let c be 4/(2 + (-1 - -1)). Solve -m*d + c*d = -5 for d.
5
Suppose 3*x - 5 = 1. Suppose -2*w + 21 = 3*v, w - 6*v + 9*v = 15. Let n(c) = -c**3 - 7*c**2 - 6*c + 2. Let m be n(-6). Solve w + m = -x*d 