t d be m(2). Suppose -u - d*t - 4 = 4, 0 = -4*u + t + 13. Solve -u*g + 2 = -2 for g.
2
Let g be (60/9)/((-4)/(-6)). Let d = g + -5. Solve 19 = d*s - 1 for s.
4
Let n(q) = -5*q + 49. Let f be n(9). Solve -2*y - 2*y - f = 0 for y.
-1
Suppose t = -z + 2*t + 26, -5*t = 5. Suppose 3*n = 6*n - 5*n. Solve -z = -5*w - n*w for w.
5
Let m be 55/(-10) - (-1)/(-2). Let w = m - -10. Let x = -5 - -7. Solve -w*f = -x*f for f.
0
Let d = -5 - -13. Suppose -23 + d = -3*a. Solve 0 = -a*u + 10 for u.
2
Suppose -35 = -5*r + 4*m, 2*r - 16 = -5*m + 7*m. Solve -r*v - 14 = 1 for v.
-5
Let o(c) = -4*c. Let w be o(-1). Suppose -2*z = -z - 4. Suppose 0 = -r + z + 2. Solve 10 = -w*h - r for h.
-4
Suppose -r + 10 = 5*y, 3*r - 3*y + 2 = -4. Solve -5*f + 15 + r = 0 for f.
3
Suppose 0 = j + 8 + 1. Let l be (j/12)/((-1)/4). Solve 2*u + u + l = 0 for u.
-1
Let g = -2 - -6. Solve 11 = -g*u - 1 for u.
-3
Let a(g) = g - 8. Let h(r) = 2*r - 16. Let w(m) = -9*a(m) + 4*h(m). Let i be (-1 - 1) + 2 + 6. Let k be w(i). Solve 1 - 3 = -k*f for f.
1
Let n(h) = -h - h - 3*h + 1 + 2*h. Let q be n(-1). Solve 26 = q*x + 6 for x.
5
Let v be (2 + 0 - 2)/1. Solve -g - 2 = -v for g.
-2
Suppose 7*u - 4*u = 18. Solve m = u*m for m.
0
Let y = -18 + 28. Let p = y + 5. Let w be 9/2*10/p. Solve -5 = -2*d - w*d for d.
1
Let i be (-18)/(-4) + 3/(-6). Suppose -2*d + 2*o = -3*d + i, -5*d + 62 = -4*o. Let q be (d/(-3))/(2/(-6)). Solve 0*t = 5*t + q for t.
-2
Let t be (-9)/(-2) + 6/(-4). Solve 0*l - t*l = -3 for l.
1
Let w = -27 + 29. Solve w*i = -i + 9 for i.
3
Let v(k) = -k - 3. Let y be v(-4). Let t = -1 + y. Let n be (t/(-1))/(-6 - -4). Solve n = 4*a - a - 3 for a.
1
Suppose -u - 3*f + 11 = -5, -3*u + 4*f - 4 = 0. Let l = -3 - -4. Solve -5*t = -u - l for t.
1
Let u be 5/(-25) + 21/5. Suppose 2 - 16 = q + 4*z, -2*q = u*z + 12. Solve q*r = -r + 3 for r.
1
Let d be 9 + (-10 + 13 - (8 - 1)). Solve 2 - 7 = d*z for z.
-1
Suppose 0 = l - 4 - 1. Solve 0 = -l*m + 4*m for m.
0
Let d = -2 + 4. Suppose 2*g - 56 = -d*g. Solve -4*x + 6 + g = 0 for x.
5
Let p = -3 - -4. Solve z = -3 + p for z.
-2
Suppose 2*t + 2*t = -5*j - 6, 5 = -3*t - 4*j. Solve 0*b = -b - t for b.
-1
Suppose 2*f = 24 - 0. Let p be ((-12)/(-8))/(4/(-24)*-3). Solve -p*d - d + f = 0 for d.
3
Let o = 10 + -7. Let r be 1*-1*o*-1. Suppose -2*l = 5*u + r - 1, 5*u = 2*l + 2. Solve -4*j + 6 - 14 = u for j.
-2
Suppose 0 = -3*c + 5*u - 13, 9 - 28 = -c - 3*u. Solve 4 + c = -4*z for z.
-2
Let i be ((-54)/4)/9*-2. Let t = 32 - 22. Solve f - t = i*f for f.
-5
Let p be 1 + 7/((-14)/(-8)). Solve 2*a - a = -p for a.
-5
Let t(j) = -j**3 + 7*j**2 - j + 7. Suppose -3*a - 3*y = -42, 8*a - 3*a - 3*y - 62 = 0. Let c = a + -6. Let k be t(c). Solve k*b = 3*b - 3 for b.
1
Let q be -2 + 4 + -4 - -7*2. Solve -4*i - q = -i for i.
-4
Suppose 0*i - 2*i + 60 = 4*x, -4*i = 2*x - 120. Let z be i/(-24)*4/(-1). Solve u = -4*u + z for u.
1
Let r be (-12)/((-1)/((6/(-4))/(-3))). Solve -d + 4 = r for d.
-2
Suppose -5*n + 60 = n. Solve -5*g + n = -0*g for g.
2
Let f be 3 + 0 + 1 + 1. Suppose -f*z - 2*q + 39 = -32, 2*q = 3*z - 49. Solve n = -2*n + z for n.
5
Let w(g) be the second derivative of -g**4/3 + 2*g**2 - 2*g. Let s(h) = -5*h**2 + h + 4. Let a(v) = -3*s(v) + 4*w(v). Let q be a(-3). Solve -4 - 4 = -q*i for i.
2
Let t be ((-80)/16)/(1 - (-14)/(-4)). Solve t*y = -y - 9 for y.
-3
Let g = -40 - -46. Solve -4*t = -2*t + g for t.
-3
Suppose -2*k - 10 = -7*k. Let l = k - 3. Let p = 2 - l. Solve 0 = -j + p*j - 2 for j.
1
Let t = -43 + 47. Solve t*n + 7 = -5 for n.
-3
Let c(q) = -q + 9. Let t be c(7). Solve -t*w - 1 = -w for w.
-1
Suppose 9 = 2*s - 3*c, -4*s - 2 = -2*c - 0. Let i be -3 - -1 - 15/s. Let r be (2/i)/((-1)/(-12)). Solve 25 = r*x - 3*x for x.
5
Suppose 0 = -5*a + 8 + 12. Let f(i) = i**2 - 2*i - 6. Let v be f(a). Solve v*h + h + 3 = 0 for h.
-1
Let t(l) = l**3 - 7*l**2 + 6*l + 2. Let b be t(6). Suppose 4*s - 10 = b. Let n(y) = -y**2 - 29*y. Let v be n(-29). Solve v = s*p + p for p.
0
Let b be 1/(-3) + 4/12. Let c = 5 - b. Suppose 3*v - 2*v = -2*g + 23, -v - c*g + 32 = 0. Solve 0 = 3*j + 2 - v for j.
5
Let p(a) = a**2 + 8*a + 2. Let s be p(-6). Let l(z) = 0 + 5 + 2 + z + 3. Let h be l(s). Solve o + o + 10 = h for o.
-5
Suppose 5*n = i - 11, -5*n - 27 = -0*i - 2*i. Suppose -2*f = -5*j + 2*f + i, -4 = f. Solve -25 = -j*h - 5*h for h.
5
Let z = 3 + -3. Let d be z/((-4)/(1 + 1)). Suppose 0*m - m = d. Solve m = -i - 1 - 1 for i.
-2
Let c = -5 + 3. Suppose k - 4*k = -12. Let g be (3 - 3)*c/k. Solve g = -0*z - z for z.
0
Let y(s) = s - 16. Let d be y(12). Let x = -4 - d. Suppose x = -5*c + 17 - 2. Solve -2*l + c*l - 3 = 0 for l.
3
Let d be (-64)/(-6) + (-18)/27. Suppose 20 = -5*v + d*v. Let j = 2 - 2. Solve j = -l - v*l - 5 for l.
-1
Let f(y) = -15*y**2 - 2*y. Let w = -3 - 0. Let p be f(w). Let n be p/(-9) - (-4)/6. Solve 2*v - n = -3*v for v.
3
Let j(t) = -t**3 + 7*t**2 + 9*t - 2. Let c be j(8). Solve z = c*z - 5 for z.
1
Suppose -42 + 18 = -2*q. Suppose -h = -3*s + 4 + 9, 0 = 2*s - 2*h - 10. Let y be (0 - 0)*s/12. Solve y + q = -4*u for u.
-3
Let t = -39 + 41. Solve 4*w = t*w for w.
0
Suppose -4*p - 4 = 4. Let k be -8*1*1/p. Suppose 5*t - 4 = k*j + 28, -5*t + j + 23 = 0. Solve -c - c - t = 0 for c.
-2
Let m be (-2)/(-10) - (-78)/(-15). Let n = 4 + m. Let x be (-2)/4*0/n. Solve 5*o - 8 + 23 = x for o.
-3
Let f(i) = -i**2 + 8*i + 2. Let x be f(8). Solve 4*j - x*j - 4 = 0 for j.
2
Suppose -4*d = -14 - 146. Suppose h + 3*h - d = 0. Solve -h = -0*s - 5*s for s.
2
Let r(t) = -2*t**2 + 5*t + 6. Let f be r(0). Solve -3 = 5*p - f*p for p.
3
Let d be 5/5 - (-1 - 0). Suppose 7 = t + 2*t + 5*a, d*t - 5 = -3*a. Solve 9 = t*g - 7 for g.
4
Let n(i) = i**3 + 4*i**2 + i + 7. Let t be n(-4). Solve 2*r - t*r = -3 for r.
3
Let f(k) = -k**2 - 10*k - 3. Let h be f(-13). Let w be (h/35)/(2/(-5)). Solve -w*t + 2 = -13 for t.
5
Let q be 29 - 26 - (2 + 1 - 0). Solve 0 = -q*n + n - 2 for n.
2
Suppose -3*s + 25 = -0*a + 5*a, 0 = -4*a + 3*s + 47. Let o = -2 + 2. Let y = -6 + 8. Solve -a = -o*z + y*z for z.
-4
Let s be ((-1)/(-2))/((-1)/(-8)). Solve -3*k - s = -5*k for k.
2
Suppose 5*b - 5*o = 40, 2*b + b - o = 22. Solve 4*a - 5 - b = 0 for a.
3
Let s = -6 + 7. Let w = -6 + s. Let h = 0 - w. Solve h*c + 38 = 13 for c.
-5
Let f = -23 + 33. Let m = f - 10. Solve -5*o = -m*o for o.
0
Let d be ((-2)/(-8))/(1/(-4)). Let b be (4/3)/(d/(-3)). Solve -11 + 3 = b*s for s.
-2
Suppose -9*f + 20 = -4*f. Solve -f = 3*g + 2 for g.
-2
Let g(h) = h**2 - 13*h + 9. Let q be g(9). Let d be 2/3*q/(-3). Solve d = -3*b + b for b.
-3
Let j be 1/(1 + 8/(-10)). Suppose 3 + 3 = 3*g. Let i = 2 + 20. Solve -j*n + i = g for n.
4
Let d(m) = -m + 8. Let w be d(10). Let l be -1 + 3 - (-2 - w). Solve 2*c - 4 = l for c.
3
Let a(k) = -k**3 + 15*k**2 + 17*k - 13. Let c be a(16). Solve c*y = y for y.
0
Suppose -v = -6*v. Solve v = m + 3 for m.
-3
Suppose 4*x - 6 = 2*x. Suppose -o - h = o + 9, -o + 6 = -x*h. Let p be (2 - (0 - -2))/o. Solve -3*y - 2*y - 15 = p for y.
-3
Suppose 0 = 4*b + 3*y + 7, -5*b - y = 3*y + 10. Solve -3*h = b*h - 20 for h.
4
Let s(w) = -w + 19. Let c be s(15). Solve f + c = 3*f for f.
2
Suppose 3*h + 25 = 4*s, 6*h - h = -15. Solve -s = -q - 2 for q.
2
Let n(h) = -h + 20. Let u be n(15). Solve -3*s + u = 2*s for s.
1
Let n(m) = -m**2 - m + 2. Let s be n(-2). Let k = s + 0. Solve 0 = 3*a - k*a + 6 for a.
-2
Let n = 7 - 70. Let y be (-18)/n - (-24)/14. Solve -i - y = 3 for i.
-5
Let o(l) = -7*l - 3*l**2 + 2*l**2 + 14 - 2*l. Let c be o(-10). Solve -c*d = 4 + 12 for d.
-4
Suppose 16 = -3*j - 4*a, -j - 2*a - 8 = -6*j. Suppose -n - 2 = -10. Suppose -4*y = -n - j. Solve -b = b + y for b.
-1
Suppose 4*q - 6 = 2*q. Solve -q*j - 15 = 2*j for j.
-3
Suppose -3*y = -0*y - 6. Solve y*q - 4 = 2 for q.
3
Let k be 17 + -13 - (0 + 1). Solve -k*x - 5 = 2*x for x.
-1
Let p(c) = 2*c - 8. Let x be p(6). Suppose -r + 9 = -3*s + 4*s, x*r - 20 = -2*s. Solve 0 = h + h + s for h.
-4
Suppose 3*h - 4*w = -19, -19 = 4*h + 2*w - w. Let z = -3 - h. Solve -1 = -z*m - 3 for m.
-1
Let i be 32/20 + (-4)/(-10). Let r = -65 - -65. Solve r = 2*c + 6 + i for c.
-4
Suppose 0 = 4*o - 5*s - 17, 5*o - 2*o = 3*s + 9. Let i = 5 + o. Solve -x = -i*x for x.
0
Suppose 3*v = -5*s + 8, 3*s + 12 = 8*s + 2*v. Suppose -2*n = -s*n + 40. Suppose -4*t + n = 4. Solve -t = -a - 5 for a.
