be 13*1 + (-12)/(-6). Suppose -2*x - 5*h + j = 0, -4*x + 0*h + 2*h - 6 = 0. Solve x = 3*y - 9 for y.
3
Suppose -4*u + 22 - 6 = 0. Solve 8 = u*f - 4 for f.
3
Let z be (-4)/(-3)*15/10. Solve -14 = 4*f - z for f.
-3
Let c be -2 + 5 + -2 + 3. Let o = -4 + 5. Solve c = k + o for k.
3
Suppose -4 = 4*y, -3*k - 2 = -5*y - 34. Let r(t) = t - 7. Let l be r(k). Solve 15 = l*f + f for f.
5
Let j = 80 - 31. Let q = j - 9. Suppose 2*i - q = -2*i. Solve -t - i = t for t.
-5
Let g(a) = -2*a - 8. Let j be g(-14). Solve 0 = -0*x + 4*x + j for x.
-5
Suppose 2*l - 3*d = 17, -3 - 9 = 3*l + 3*d. Solve l + 9 = 2*t for t.
5
Let k be ((-20)/6)/(4/(-18)). Suppose 5*x = -0*x + k. Suppose -15 = -5*h - x*n, -2*h - 15 = h - 3*n. Solve -2*s + s = h for s.
0
Let v(r) = 5*r**2 + 17 - r**3 - 16 - 2*r**2. Let f be v(3). Let p be -8*f*3/(-6). Solve t - p = -t for t.
2
Suppose 3*l + 3*p = -24, -16 = 2*l - 2*p + 16. Let r be l/(-42) + 78/21. Solve 0 = -2*i - r for i.
-2
Suppose 3*j - 2*j = 5*t - 23, 4*j - 23 = -3*t. Suppose 2*z - 5*y - 33 = 0, -j*z = 2*y + y + 7. Solve -16 = -0*x - z*x for x.
4
Let r(n) = n**3 - 7*n**2 + 8*n - 8. Let g be r(6). Solve 10 = -g*b - b for b.
-2
Suppose 0*h = h - 5*n - 17, 4*n = 3*h - 18. Let m = h + 1. Suppose 0 = 7*z - m*z - 8. Solve 4*t + 2 = -z for t.
-1
Let j(a) = -a**2 - 7*a - 2. Let u be j(-6). Let s be (-30)/6*-1*2. Suppose 3*m = 3*n + 18, m = u*m + n - s. Solve -5 = m*w + w for w.
-1
Suppose 0 = -5*z + 52 - 2. Let g(t) = -t**3 + 4*t**2 + 2*t - 5. Let i be g(4). Solve 5 = -i*x - z for x.
-5
Suppose 2*g = d + 8, 15 + 5 = 5*g - d. Solve 0 = 4*o - g for o.
1
Suppose 3*u + 0*u = 0. Let t be u + 0 + 1 + 1. Suppose 0*l = -t*l. Solve -3*j - 2*j = l for j.
0
Let s(n) = -n**2 + 4. Let l be s(0). Suppose -2*f + 0 = -10. Solve f*i + 1 = l*i for i.
-1
Suppose 0 = 5*a - 15 + 5. Suppose 2*d = i + a*i + 6, 2*i = 2*d - 8. Solve 3*k + 0 - d = 0 for k.
2
Let o = 6 - -3. Suppose 3*f = 3*r + o, -13 = -5*f - 0*r + 4*r. Let x = 3 - 1. Solve x - f = i for i.
1
Suppose 5*d + 36 = p, 0*p - p + d = -16. Suppose -10*g = -p*g. Solve -s - 3*s - 4 = g for s.
-1
Let v be ((-4)/(-2))/(16 - 15). Solve -i = v*i for i.
0
Let y = 10 - 5. Let k = 9 - y. Let w be 0 - 1 - (-20)/k. Solve 0 = -w*l + 3 + 5 for l.
2
Let b(m) = -6*m**2 - 3*m**3 + m**3 - 5*m**2 + 4 + m**3. Let f be b(-11). Solve 0 = -3*u - 1 + f for u.
1
Let b(w) = -2*w**3 - 5*w**2 - 6*w + 10. Let f(l) = 3*l**3 + 5*l**2 + 7*l - 11. Let t(h) = -4*b(h) - 3*f(h). Let p be t(5). Solve -5*d - p = 2 for d.
-2
Let j(s) = 4*s - 1. Let b be j(4). Suppose 4*h - b = -h. Solve -h*d + 3 = -0*d for d.
1
Suppose 34 - 4 = 10*a. Solve -a = u - 0 for u.
-3
Let d(p) = p**2 + 5*p + 2. Let c be d(-5). Solve 5*w = 3*w + c for w.
1
Let i(l) be the second derivative of l**3/6 + l**2/2 - 3*l. Let g be i(4). Suppose -r - 81 = -4*h, g*h = h - r + 87. Solve -5 + h = 4*a for a.
4
Suppose 5*q - 2*n - 36 = 0, 5*n + 9 = -q - 0*n. Solve 3*c = c - q for c.
-3
Let z(x) = -x**3 + 7*x**2 - 6*x - 3. Let l be z(6). Let g = l - -12. Let f be g/2 - 4/8. Solve -8 = f*m + 4 for m.
-3
Let d be 4/14 - 26/91. Let m = 40 - 28. Suppose d = 3*o - t - m, -4*o + 4 = -4*t - 4. Solve 3*a = o*a + 8 for a.
-4
Let a(q) = q**2 - 5*q + 1. Let x be a(5). Solve x + 1 = -v for v.
-2
Suppose -3*m - 6 = -6*m. Solve m*a + 2*a = -20 for a.
-5
Let k = -22 - -30. Solve 5*i - 7 = k for i.
3
Let a = -17 - -32. Solve -4*l + a = -l for l.
5
Suppose 4*x - l + 6*l - 10 = 0, 4*x + 3*l = 6. Solve -4*g - 21 + 1 = x for g.
-5
Let x = -38 - -41. Solve -x*c - 1 = -16 for c.
5
Suppose 0 = -3*m - 3*x + 6, 3*x = m + x + 10. Let p = -2 - m. Solve -s + 1 + p = 0 for s.
1
Let d = -69 - -77. Solve -7*u = -5*u - d for u.
4
Let t = -79 - -81. Solve t*i = -3*i + 10 for i.
2
Let h be 4 + 0 + 8*2. Solve 3*d = 5 - h for d.
-5
Let j be 1 + (-2)/(1 - -1). Suppose -4*f + 5 = -4*n - 3, 2*n - f + 6 = 0. Let d = -1 - n. Solve d*g - 4 - 5 = j for g.
3
Suppose -z = -k + 4*k + 1, k + 11 = 5*z. Solve p - z = -3 for p.
-1
Let u be 2/6 - 118/(-6). Solve -u = -2*d - 2*d for d.
5
Suppose -r + 2*h = 6, 5*r - 3*h + 5 = -4. Suppose 2*m - 14 = 4*u, 0*u = -3*u - 6. Let y be 1/m*(-24)/(-2). Solve r*i - i = y for i.
-4
Suppose 2*c + 54 = 2*q - 2*c, 4*q = -3*c + 64. Let o = q + -13. Solve 0 = 4*x - x + o for x.
-2
Let i be (10/(-4))/(1/2). Let q(g) = g**3 + 4*g**2 - 5*g + 3. Let z be q(i). Solve 0 = -7*d + z*d + 20 for d.
5
Let w be (16/12)/2 - 84/(-9). Solve -2*f - 3*f + w = 0 for f.
2
Let a be 10 - 3 - (4 + -1). Suppose 2*v - a*v + 8 = 0. Solve -2*l + 6*l = -v for l.
-1
Let c = -114 + 122. Solve c + 1 = 3*o for o.
3
Let a = -22 - -38. Let r = 24 - a. Let h = -4 + r. Solve x + 0*x = -h for x.
-4
Suppose 5 = 3*v - 10. Suppose -3*n + 3 = 0, 3*o - 2*o + v*n = 11. Solve o = k - 3*k for k.
-3
Let v be 38/10 + 10/50. Solve 2 = -v*b + 2*b for b.
-1
Suppose f - 6*f - 3*m + 41 = 0, -3*f = -3*m - 39. Solve 2*w + f = -3*w for w.
-2
Let p(t) = -t**2 + 11*t. Let c be p(11). Let b = c - -3. Solve s - 2 = b for s.
5
Let w(m) be the third derivative of m**4/24 + m**3/3 - 4*m**2. Let y be w(-1). Solve 0 = -2*i - 7 - y for i.
-4
Let r(t) = t + 8. Let d be r(6). Let a(q) = -3*q - q + 2*q**2 + 2 - 3*q**2 + 5*q. Let m be a(2). Solve -4*k + d + 6 = m for k.
5
Suppose -f - 12 = -5*f. Suppose 0 = 2*w - 3*y + 2*y - 6, f = w + 4*y. Suppose 2*x = w*u - 2*x, x = -4*u + 19. Solve u*t + 4 + 4 = 0 for t.
-2
Let j(w) = w**2 + 1. Let g be j(0). Let k be (4 + (1 - 1))*g. Solve -3 - 17 = -k*u for u.
5
Suppose 3*g - 6 = 2*g + 3*u, -51 = -3*g - 2*u. Solve 0 = -2*z - 3*z - g for z.
-3
Let a(m) = 5 - 8*m + 1 + 7*m. Let i be a(3). Solve 2*q - i = -q for q.
1
Suppose -2*b + 24 = 2*w, 3*w = 2*b - 5 - 4. Solve -b*p = -4*p + 20 for p.
-4
Let n(p) = -p**3 - 3*p**2 + 3*p - 4. Let o be n(-4). Suppose o*r = r. Solve -3*i + 4 + 2 = r for i.
2
Let w(y) be the third derivative of y**5/60 + y**4/8 - 2*y**2. Let j be w(-4). Let g = 6 - j. Solve -5*n = -g*n for n.
0
Suppose -c - 5*z + 5 = 0, -5*z - 13 + 78 = 5*c. Solve -2*g = g - c for g.
5
Suppose 3*d + 2*f = f + 13, -4*d = -3*f - 13. Solve d = b - 5*b for b.
-1
Let g be 14/6 - 4/(-6). Solve -g*s - 7 - 2 = 0 for s.
-3
Let v = 3 - 3. Let d(f) = -f + 6. Let h be d(v). Solve -w = -h*w + 10 for w.
2
Let n be -8 + 1 - 12/(-4). Let a be 1 + 1 + 0/n. Let h be 1 + -1 - (-1 + -2). Solve 5 - h = a*p for p.
1
Suppose 5*n + 25 = 5*a, 0*a = -3*n - 3*a + 15. Solve n*u = -4*u - 12 for u.
-3
Suppose 0 = 2*g - g + 3. Let b be -14*1/2 - g. Let a = -2 - b. Solve 2*f = -2 - a for f.
-2
Suppose 3*i + 6 + 3 = 3*c, -3*i - 2*c + 16 = 0. Suppose -i*d + 1 = -1. Solve v - d - 2 = 0 for v.
3
Suppose 7*g - 25 = 2*g. Suppose -2*b + g = -b. Solve x - b = -0*x for x.
5
Let s(n) = n**2 - 4. Let q be s(3). Suppose 3*w - 18 = -4*t - 6, 5*w = q*t - 15. Solve -2*z + 6*z + 12 = w for z.
-3
Let d = 12 + -10. Let q(a) = a - 4 + 1 + 2*a**2 + 2*a - a**3. Let k be q(d). Solve 9 = k*o - 6 for o.
5
Let v be ((-4)/3)/((-4)/(-12)). Let f be 90/27*(-6)/v. Solve -a - f = -2*a for a.
5
Suppose 0 = -5*t + g + 81, -g + 12 = -3*t + 59. Suppose 0 = -4*p - f + t, -15 = -p + 3*f - 1. Solve -1 - 14 = p*n for n.
-3
Suppose 4*q = 5*v - 16, -5*v - 5*q + 2*q + 23 = 0. Suppose 0*h - v = -h. Solve k + h*k = -25 for k.
-5
Suppose 4 = 2*h + 4*d, 2*d - 4*d - 2 = 0. Solve x = h*x for x.
0
Let s(w) = -w + 11. Let p be s(10). Let j(k) = 6*k**3 - k. Let r be j(p). Suppose -r*z + 9 = u - 16, -4*u + 20 = 0. Solve -z*f = f for f.
0
Let g = 3 - -7. Let t = 13 - g. Solve -4*y + 7 = t for y.
1
Let h(v) = 4*v + 30. Let d be h(-5). Solve -5*j + d = -10 for j.
4
Suppose -81 + 20 = 4*f - 3*d, -4*f + 5*d - 59 = 0. Let s = f + 27. Suppose -4*q + t = -59, -q + t = -0*t - s. Solve 3*m - q + 7 = 0 for m.
3
Suppose r = 8 - 3. Let t = 10 - r. Solve 0 = -f + t*f for f.
0
Let w = 4 + -4. Let c(k) = -k**3 + 7*k**2 - k + 10. Let d be c(7). Solve w = y + d - 7 for y.
4
Let k(r) = -r**3 - r + 1. Let q be k(0). Solve 4 = 3*j + q for j.
1
Suppose 0 = 3*w, -5*z - 5*w + 50 = -0*w. Suppose -2*q = 3*b - 7*b - z, 3*b - 25 = -5*q. Let u = q + 0. Solve 15 = -0*g + u*g for g.
3
Suppose -2*y + 6 = 0, -3*n + 2*y - 34 = -4. Let b be (3 - -22)*n/(-10). Solve 2*u = -3*u - b for u.
-4
Let s = 0 - -5. Solve -3*d = -s*d + 6 for d.
3
Let g = -7 + 11. Solve g*n - 15 = n for n.
5
Suppose 5*c + 4*h - 57 = -21, 4*h = 4*c. Let u(f) = f**2 - 7*f