f - 4*y = 38, -f - 25 = -z*f + 5*y. Solve -2*h - f = 3*h for h.
-2
Suppose y + y = -10, -4*y - 26 = -3*q. Suppose -r - q*r = -9. Suppose -o + 28 = 3*k + 10, -2*k + o = -7. Solve -r*u = -k - 4 for u.
3
Let w(j) = -j - 2. Let d be w(-10). Suppose -d + 6 = -x. Solve 0 = x*o - 3*o + 5 for o.
5
Suppose 2*r + 10 = -4*g, -g - 3*r - 4 = -6*g. Let m = 1 + g. Solve -2*t - t - 12 = m for t.
-4
Let d(v) = -2*v - 6. Let y be d(-3). Solve y*a + 6 = -3*a for a.
-2
Let u be 33/4 + 3/(-12). Suppose -4*l = -5*l - 1. Let y be l*2 - (-6)/3. Solve z + z - u = y for z.
4
Suppose -2*i + 3 = 3*f, -1 = 2*f + 4*i + 5. Suppose 4*h = 4*k - 20, 3*h - f*k + 6*k - 15 = 0. Solve -5*p + 0 - 20 = h for p.
-4
Let j = 117 - 80. Let x = -22 + j. Let p = -11 + 15. Solve -x = p*g - g for g.
-5
Let o(v) = -v**3 - 7*v**2 - 7*v - 4. Let j be o(-6). Suppose -3*k + 3 = 3*d, 2*d + 0*d - 3*k + 18 = 0. Let m be (1/j)/(d/(-36)). Solve 0 = -m*x + x - 25 for x.
-5
Let j be 6/36 + 70/12. Suppose j*y - 10 = y. Let n(x) = 4*x - 3. Let c be n(y). Solve 5*o = c + 5 for o.
2
Let r(j) = -3*j**2 + 4 + 4*j**2 - j - 5. Let o be r(-1). Suppose -o + 3 = v. Solve l + v = -0 for l.
-2
Let j = -8 - 0. Let b = j - -13. Solve -b*p - 6 = 19 for p.
-5
Suppose 0 = g + 3*g + 20. Let q(c) = -3*c - 5. Let y be q(g). Solve -2*h = -7*h - y for h.
-2
Let j be ((-12)/(-2))/(-3) + 2. Solve 0 = -j*w - 4*w + 8 for w.
2
Let r(h) = -h**3 + h**2 + h + 1. Let y(u) = -u**3 + u**2 + u + 6. Let d(m) = -2*r(m) + y(m). Let l be d(0). Solve 9*j - l*j = 0 for j.
0
Suppose 0 = -f - 7 + 1. Let d be (-9)/(-3)*(-4)/f. Suppose -d*h + 15 = 3*h. Solve 0 = k + h*k for k.
0
Let h be 16/6*3/2. Suppose -h*a + 16 = -8. Solve 2*n - 2 = a for n.
4
Suppose 0*i + 180 = 3*i. Suppose 3*f = -0*f + i. Solve 2*h = -3*h + f for h.
4
Let f(m) = m**3 + 4*m**2 - 6*m + 3. Let x be f(-5). Let i = 3 - x. Let r = 5 + i. Solve -t = -r*t for t.
0
Let g be ((-6)/4)/(2/(-8)). Let i be -8*(-2 + (1 - 0)). Suppose 4*l = g*l - i. Solve l = -5*d - 6 for d.
-2
Let w(a) = -a**3 + 5*a**2 - 3*a - 4. Let q be w(3). Solve 5 - 15 = -q*o for o.
2
Suppose 5*q = -2*z + 22, -4*z = -3*z + 5*q - 21. Solve r = -z - 3 for r.
-4
Let z be 3/((-21)/(-26)) + 46/161. Solve -z*j - j = 10 for j.
-2
Let a be 184/18 - (-2)/(-9). Let o = -6 + a. Solve -o*u + 12 = -u for u.
4
Suppose 4*u - 15 = u. Solve 0 = u*i + 24 + 1 for i.
-5
Suppose 2 = o + 6. Let y be (5/5)/((-2)/o). Solve -12 = -2*k - y*k for k.
3
Let y = -7 + 8. Suppose 0 = 5*d - y - 19, -3*d = -2*q - 12. Solve -3*t + 0 + 6 = q for t.
2
Suppose 0 = -5*m + 3 + 7. Suppose -3*q = -s + 2, 2*s + 3*q + m*q - 4 = 0. Suppose -5 = -s*u - 1. Solve -2*t = u*t for t.
0
Let z(y) = y**3 - 8*y**2 - 9*y + 3. Let d be z(9). Suppose -q + d*q = 10. Suppose m - q*m = -8. Solve 0 = -2*r + m + 6 for r.
4
Suppose 3 = b + 1. Suppose 3*i + 50 = 5*w - 0*i, 3*i + 40 = 4*w. Solve b*d - 4*d = w for d.
-5
Suppose 4*y - 4 = -4*i - y, 0 = -5*y - 20. Solve 0 = -2*r - r - i for r.
-2
Let f = -30 - -33. Solve f - 12 = 3*p for p.
-3
Let l be (0 - (-2 + -2)) + -4. Solve l*g + 8 = 2*g for g.
4
Let d(a) = a + 9. Let l be d(-7). Suppose -3*h = o + 2 - 5, -h = 0. Let n = 18 - o. Solve -l*r + n = r for r.
5
Let h(x) = -2*x**2 + 25*x - 2. Let m be h(12). Solve 5*o = 10*o - m for o.
2
Suppose 0 = 4*z + g - 15 - 4, -4*g - 8 = 2*z. Solve -z*w + 2*w = 8 for w.
-2
Let s be (-8)/(-6)*6/4. Suppose -18 + 1 = -3*a - q, -2*a + 2*q - 2 = 0. Solve -6*n + s*n - a = 0 for n.
-1
Let z = -17 + 33. Let o = -1 + z. Solve -q + o = 4*q for q.
3
Suppose -i = 5*f - 4, 0*i = -3*i + f + 12. Solve i*r - 2*r + 10 = 0 for r.
-5
Let o be (-1)/(-3)*0/(-2). Solve o*n = -n + 3 for n.
3
Let y(i) = i**2 - 1. Let h be y(3). Let f = h - 4. Suppose -2 = 3*o - f*o. Solve -o*n = -n + 3 for n.
-3
Suppose -4*t - 9 = -1. Let x be 290/35 + t/7. Suppose -2 = 2*f - x. Solve f*c + 3 + 0 = 0 for c.
-1
Let l(a) = 2 - 3 + 0 + 8*a**2 - 2*a. Let c be l(-1). Let b(x) = -x**3 + 21*x**2 + 72*x + 7. Let p be b(24). Solve 4*u + p + c = 0 for u.
-4
Let s be 0 + -1*(0 + -3). Let u be ((-18)/12)/(s/(-10)). Solve 1 = u*o - 4*o for o.
1
Let y be 111/12 + (-5)/20. Solve 0 = -y*v + 4*v - 20 for v.
-4
Suppose -5*q = -2*q. Suppose 11 = 4*a - a + 5*b, q = -b + 1. Suppose a + 4 = 3*j. Solve j*p = -p for p.
0
Let s = 7 + -13. Let v be (-2)/(-6) - 4/s. Solve -5*o = 4 + v for o.
-1
Let n(v) = -v**3 - 3*v**2 + 4*v + 6. Let u be n(-4). Suppose -4*c = 4*z - z + 31, 3*z + 23 = -2*c. Let t = c + u. Solve -2*o + 2 = -t for o.
2
Suppose 0 = -4*f - 3*r, -f = -3*f + 5*r. Solve f = 3*z - 6 for z.
2
Let b be -4 - (15*-1 - 4). Solve -3*o + 0 = -b for o.
5
Let c be (-2)/(-5) - (-2)/(-5). Suppose 0 = -4*a + p + 11, -5*a - 3*p + 7 = -11. Suppose 7*d - 12 = a*d. Solve 0 = -c*n + d*n + 12 for n.
-4
Let m(l) be the first derivative of -l**2/2 - 2*l - 2. Let o be m(-2). Solve o*i = -2*i + 2 for i.
1
Let v(g) = 4*g + 2*g - 7 + 0*g - 5*g. Let h be v(7). Solve 4 = f - h*f for f.
4
Suppose 0 = -4*p - p + 50. Let s(l) = l**2 - l - 3. Let r be s(3). Suppose -4*u - 4*v + 12 = 0, 0 = -2*u - v + r*v + p. Solve 0 = -q - u - 0 for q.
-4
Let b be (0 - 1)*-7 + -2. Suppose -s - c + 9 = -6*c, 0 = 5*s - b*c - 25. Suppose 4*q - 8 = 0, -s*f = 4*q - 2*q - 16. Solve 0 = 2*d - 5*d - f for d.
-1
Let c be (-2 - 6/(-2))*14. Let o be ((-5)/(-2))/5*c. Solve -4*k + o = -9 for k.
4
Suppose -12 = -3*f + 6. Suppose -2*m + 0 = -4. Solve f*i = m*i for i.
0
Let c(j) = j**3 + 5*j**2 - 3. Let i be c(-4). Let m be (-21)/(-14) + i/2. Solve 3*v = m*v for v.
0
Let c(w) = -4 + 4*w - w**2 + 8 + 1. Let x be 1*2 - 2/(-1). Let u be c(x). Solve o = u*o for o.
0
Let d = 25 - 20. Solve 2*a - 15 = -d for a.
5
Suppose 0 = -r + 4*r - 9. Let d be 2*(1/1 + 0). Solve -d*h = -r*h for h.
0
Suppose -5*i + 6 = -24. Let p be (2/i)/(2/12). Suppose 0 = -3*f + 5*m - p, 1 + 4 = 5*m. Solve 0 = -z - f for z.
-1
Suppose 2*m + 6 = 2. Let s = 6 + m. Solve 4 = s*n - 5*n for n.
-4
Let v = 0 + 2. Let n = -87 + 91. Solve -v = -n*q - 18 for q.
-4
Let t = 10 + -7. Solve -t*u = 3 - 9 for u.
2
Let h(m) = -m**2 - 4*m - 2. Let a be h(-2). Suppose -5 = 4*n + d, -5 = -3*n + a*d - d. Solve n = 2*r - r - 1 for r.
1
Let l(j) = -3*j - 12. Let m be l(-8). Suppose -i + 5 = 2*a, 0 = 3*a + 3*i - m. Solve -3*q + a + 2 = 0 for q.
1
Let k = 19 - 7. Suppose t = 3*g + 3*t - k, 0 = -3*g - t + 15. Let x = -17 + 19. Solve 2*w = g + x for w.
4
Suppose 5*y = 25 + 10. Solve 4*r + 6 = y*r for r.
2
Let o(z) = -z**3 + 2*z**2 + 2*z + 3. Let t be o(3). Solve 2*r = -t*r for r.
0
Let a(p) = -p**3 + 6*p**2 + 7*p + 6. Let g be a(7). Let x be (-3)/g - 3/(-6). Let z = -6 + 6. Solve z = -3*h - x*h - 15 for h.
-5
Suppose 4*c + 4*z = c + 34, -1 = -z. Solve c*k = 11*k for k.
0
Let v be 1*(-1 - 1/(-1)). Suppose f - w + 14 = -v*w, -46 = 3*f - 5*w. Let x be f/(-10)*10/4. Solve b = -x*b for b.
0
Let i(l) = -l**3 + 7*l**2 - 9*l + 9. Let u be i(6). Let s be (-4)/12 + (-30)/u. Solve 0 = s*h - 0*h for h.
0
Let q(v) = v**3 - 6*v**2 - v + 8. Suppose b + 8 = 4*b - 2*d, -3*b + 38 = 4*d. Let m be q(b). Let f = 7 - m. Solve -3 = -4*o + f for o.
2
Suppose 4*l - 8 = 4. Let t be l + (-12)/(-8)*-2. Solve 2*z = -t*z + 8 for z.
4
Let g be (-10)/(-3)*27/15. Solve -4*w + 2 = -g for w.
2
Let r(x) = -x**2 + 5*x + 8. Suppose 19 = 4*p + 5*q, 3*q = -5*p + 3*p + 9. Let i be r(p). Solve 0 = -i*b + 1 - 9 for b.
-4
Suppose -5*l + l - 15 = -5*a, 3*l = 4*a - 12. Solve -4 - 5 = -a*x for x.
3
Let k(a) = a**2 + 5 + 0*a**2 - 12 + 8*a. Let p be k(-9). Solve r = p - 1 for r.
1
Suppose -3*z = -3*s + 57, 0 = -4*z + s - 3*s - 70. Let i = z + 20. Solve w + 0*w = i for w.
2
Suppose 5*j = -15, 4*o - 9 = 3*j + 8. Solve v = o*v + 2 for v.
-2
Suppose 0 = k - 0*k + n - 7, -k + 7 = 4*n. Solve 2 - k = 5*p for p.
-1
Suppose -5*q + 17 = -8. Solve -k + 2 = q for k.
-3
Let q be 2/(-8) + (-147)/(-12). Suppose a - 2*j - q = -3*j, 0 = 2*j + 6. Solve 4*n + a + 5 = 0 for n.
-5
Let j be (2 + 12/(-9))*30. Solve 2*p = -3*p + j for p.
4
Let g(j) = -3*j - 5. Let n(m) = -1. Let u(k) = g(k) + 2*n(k). Let a be u(-5). Solve -a = 2*x + 2*x for x.
-2
Let v(u) = u + 3. Let d(c) = -c**2 - 2*c + 3. Let z be d(-3). Let g be v(z). Let i be (40/12)/(2/g). Solve -i*j = -6*j + 4 for j.
4
Let z(r) = 2 - 1 + 2*r + 2. Let b be z(6). Solve -3*q - b = 2*q for q.
-3
Let z(f) = -4*f - 28. Let y be z(-7). Solve 5*d - 15 = -y*d for d.
3
Suppose 0 = 5*b + 3*j