for t.
1
Suppose -5*v - x + 27 = 2, 5*v = -3*x + 15. Solve 3 = -3*f + v for f.
1
Suppose 3 = -5*k + 8. Let d(z) = k - 4*z + 0*z + 3*z. Let l be d(1). Solve 0 = -l*f + f + 4 for f.
-4
Suppose -4*j + 24 = 2*h, -2*h + 3*h - 16 = -3*j. Let l be -7*(1 + j*-1). Let c be 4/14 + (-6)/l. Solve c = 2*a + 3 + 5 for a.
-4
Let k(j) = j**3 + j**2 - j + 10. Let x be k(0). Solve 0*m - 5*m = -x for m.
2
Let c(b) = b**3 - 5*b**2 - 4*b - 9. Let o be c(6). Solve -2*v - 3 = o for v.
-3
Suppose 0*g - 40 = -4*g. Suppose 3*j - 10 = -2*w, 0*w + 2*w - g = -4*j. Let z = 0 - -2. Solve -q + 4 - z = j for q.
2
Let r(q) = -q**3 - 2*q**2 + 3*q - 1. Let f be r(-3). Let p be (f/2)/((-1)/16). Solve 5*d = 3*d - p for d.
-4
Suppose 5*f - 3*h + 4*h - 20 = 0, -11 = 3*f - 4*h. Suppose -2*l = -f*q + 14, -18 = q + l + 4*l. Solve -n - n = q for n.
-1
Let b(j) = -j - 2. Let g be b(-9). Let a be -1 + g + 0/(-1). Let s be 0 + (-2)/(-4)*a. Solve 0 = s*l + l + 8 for l.
-2
Let t = -8 - -11. Solve h - 10 = t*h for h.
-5
Let k(s) = -s**3 - 4*s**2 - 3*s + 4. Let z be k(-3). Suppose 5 = -z*f + 17. Solve -f*m - 3 = -15 for m.
4
Let k(s) = s**2 + 7*s + 3. Suppose -2*o = o + 21. Let q be k(o). Let h = 7 - q. Solve 0*f - h*f = 4 for f.
-1
Let g be 76/14 - 44/(-77). Let k = -2 + g. Solve -k*l = -4 + 24 for l.
-5
Let c = 0 - -3. Suppose -27 = 3*j + 2*j + 3*d, 0 = -c*j - d - 17. Let g be j/(-1) + 3*-1. Solve -g*f + 3 = 15 for f.
-4
Suppose -8*s + 9 - 9 = 0. Solve s + 5 = g for g.
5
Suppose -3*w + 2*s + 18 = 0, 9 = 3*w - s + 2*s. Solve 4*p - 4 = w for p.
2
Let s = -13 - -25. Suppose -4*n + 0 = -s. Solve -n*m + 6 = -9 for m.
5
Let o be (-3)/((-8)/5 - -1). Suppose -12 + 2 = o*z. Let t be -2 + -2 + (-14)/z. Solve -t*r + 5 = 2 for r.
1
Suppose 4*s = -0*s + 20. Solve 15 = -2*v + s*v for v.
5
Suppose 5 = -4*j + 9*j. Let h(f) = -f - f**3 + f. Let o be h(0). Solve o = -4*l - 17 + j for l.
-4
Suppose 0 = 2*q + 8*q. Let l(z) = z**3 + 5*z**2 + 4*z. Let n be l(-4). Suppose n*h + 5 = h. Solve -h = -a - q for a.
5
Suppose -54 = -5*y - 4*j, 3*y = -2*j + 53 - 21. Solve -4*d + 6 = -y for d.
4
Let r(u) = 4*u**2 + 5*u + 1. Let n(o) = o**2 + o. Let f(x) = -5*n(x) + r(x). Suppose 0 = 4*l + l - 5. Let i be f(l). Solve i = -8*h + 4*h for h.
0
Suppose -h = 4*d - 0*h - 6, 2*d - 2*h - 8 = 0. Suppose -9 = -d*c - c. Let t(w) = -w - 4. Let a be t(-4). Solve a = -c*r - 2*r for r.
0
Suppose -3*r - 4*l + 38 = 0, l = r + 3*l - 16. Solve 2*d = r*d for d.
0
Let u be (0 + (-12)/10)/(18/(-60)). Solve 5 + u = 3*p for p.
3
Suppose -5*u + 2*u + 9 = 0. Suppose -u*c + 2*c = -17. Solve 5*l - c = 8 for l.
5
Suppose 2*l - 5*l - 3 = 0. Let j be l/4 + (-27)/(-12). Let q(v) = -v**3 - 2*v**2 + 2*v - 3. Let x be q(-3). Solve x*t + 10 = j*t for t.
5
Let x(m) = m**3 + 7*m**2 + 7*m + 2. Let c be x(-6). Let r be 301/63 - c/18. Solve -1 = 2*a + r for a.
-3
Let k be (-106)/(-22) + 22/121. Solve 4*z - k*z = 5 for z.
-5
Let w(c) = -c + 2. Let s be w(0). Let i be 2 + s - 2 - -2. Solve z - i*z = 0 for z.
0
Let s(l) be the second derivative of -l**5/20 - l**4/3 - l**3/3 + 3*l**2/2 + 4*l. Let q be s(-4). Suppose 5*p - 19 = q. Solve p = 2*u + u for u.
2
Let k(p) = -2*p**3 - 3*p**2 - p - 1. Let h be (-6)/2 - 1/(-1). Let f be k(h). Solve 0 = f*w - 1 - 4 for w.
1
Suppose -3*m + 33 = 3. Suppose -4*g - g = -m. Suppose n = -5*f + 7, 0 = g*f + 2*n + 3*n - 12. Solve -f = o - 6 for o.
5
Let j = 6 - 6. Let z(b) = b + 7. Let m be z(j). Let k be (m - 7)/(-1 + -1). Solve -s = -k*s for s.
0
Let i(h) be the second derivative of h**4/12 + 2*h**2 - 4*h. Let t be i(0). Solve 12 = -t*z - 4 for z.
-4
Let s = 3 + 0. Solve 0 = 4*v + 11 - s for v.
-2
Suppose -33 = -3*o - 27. Solve j + o*j = 0 for j.
0
Let i(v) be the third derivative of 2*v**2 + 0*v + 0 + 1/15*v**5 + 0*v**4 + 0*v**3 + 1/120*v**6. Let s be i(-4). Solve s = -3*f - 2 - 4 for f.
-2
Let v = 29 + -25. Solve 0*a = 2*a + v for a.
-2
Suppose 3*h + 8*h = 22. Solve 2 = 2*y - h for y.
2
Let f(l) = l**3 - 8*l**2 + 11*l + 6. Let u be f(6). Suppose 5*c - 1 = 14. Solve -c*k + 7*k + 16 = u for k.
-4
Let w(k) = k**3 - 5*k**2 + 4*k + 4. Let v(u) = u**3 - 7*u**2 - 9*u + 12. Let y be v(8). Let d be w(y). Solve -d*n = 2 - 6 for n.
1
Suppose 9*i = 2*i + 140. Solve 0 = -j + 6*j - i for j.
4
Suppose -u - 10 = -5*n - 0*u, -3*n + 6 = 3*u. Suppose -3*y + 8 + 16 = 0. Suppose x - 12 = -4*x + 3*l, 2*l = -4*x - y. Solve x*d + n = -2*d for d.
-1
Suppose -b - 3*u = -20, -32 = -3*b + 4*u - 6*u. Solve -b = -3*g + g for g.
4
Let l = -18 - -20. Solve l*s = 6*s - 12 for s.
3
Let p = 19 - 7. Solve 0 = -3*o - 0*o - p for o.
-4
Let o be ((2 - 0) + -18)/(-1). Let b be 2/(-8) + 4/o. Suppose b = 4*p + 20, -p - 3*p - 40 = -2*d. Solve 0 = w + w + d for w.
-5
Let j = -6 - -8. Let m(g) = -g**3 - 8*g**2 - 8*g - 3. Let r be m(-7). Solve -j*a + r*a = 0 for a.
0
Suppose -31 + 13 = -3*q. Suppose 2 = -2*x + 5*a - q*a, 0 = 5*x + 3*a + 7. Let n = 1 - 1. Solve -2*d - 1 - x = n for d.
-1
Let d(v) be the second derivative of 0*v**2 + 2*v - 5/6*v**3 - 1/20*v**5 + 0 - 5/12*v**4. Let b be d(-4). Solve 0*w - 16 = -b*w for w.
4
Suppose 3*d + 2*j = 7 + 61, -d + 28 = -2*j. Suppose -5*m - s = d, -5*m - 8 - 21 = -4*s. Let g be (8/2)/(m + 7). Solve h + g = 1 for h.
-1
Suppose 5*z - 105 = -5*o, -4*o - z = -20 - 49. Solve -o = 8*u - 12*u for u.
4
Let s = -5 + 3. Let h be s/3 + (-4)/(-6). Suppose -7 = -z - 5. Solve z*n + 2*n - 4 = h for n.
1
Let h be 3 + -4*(-4)/8. Let f(k) = -k**3 - 6*k**2 - 4*k - 4. Let v be f(-6). Solve -v = -h*p - 0*p for p.
4
Let n(b) = b**2 - 10*b + 11. Let t be n(9). Suppose -t*u = -4*u + 18. Solve -3*l - u = -0*l for l.
-3
Let d(n) = n**2 + 4*n - 6. Suppose 0 = 4*s + 4*v - 2*v + 22, -2*s = 2*v + 12. Let a be d(s). Let m = a - -6. Solve m*k + 2 = 17 for k.
3
Let m(f) = -f**2 + f + 14. Let w be m(4). Solve w*c = 4*c + 8 for c.
-4
Let q(g) = -g**3 - 3*g**2 + 8*g + 5. Let y be q(-5). Solve x - y = -2*x for x.
5
Let l(s) = -s**2 - 8*s - 7. Let v be l(-6). Let b(z) = -7*z + 56. Let g be b(7). Solve 3*w - v = g for w.
4
Let w(j) = -j**2 + 6*j + 4. Let k be w(6). Suppose -3*v + k + 2 = 0. Solve 3*q - 2*q = -v for q.
-2
Suppose a - 3 = f, 5 = -0*a + 4*a + 3*f. Let w = 1 + -2. Let d be w/(-1) - (2 + -4). Solve -d - 1 = a*h for h.
-2
Suppose 50 - 49 = x. Solve -h = -x - 0 for h.
1
Suppose 0 = -o + 4 + 2. Let u be o*(-5)/(30/4). Let p be 2/8 + (-11)/u. Solve -p*z = z - 12 for z.
3
Let c = 21 - 18. Solve 4 = s + c*s for s.
1
Suppose 0*t - 4*r = 2*t + 4, 0 = 2*t - 3*r - 17. Let s = 222 - 221. Solve t*g + 17 = s for g.
-4
Suppose 4 = 2*c - 12. Suppose -u + 22 = 5*j, -c = -3*u - 5*j + 18. Suppose u*f - 7 = -1. Solve 3*h + 0 + f = 0 for h.
-1
Let v be ((-21)/14)/((-6)/8). Suppose 5*c = -2*l - 20, -2*l + 2*c + 8 = -0*l. Suppose -z + 0*z + 2 = l. Solve -z*f = -f + v for f.
-2
Suppose p - 4*p = u - 152, 4*p - 3*u = 220. Let l be p/28 + (-2)/(-14). Solve -l*d = -d - 1 for d.
1
Suppose -3*a = 5*u - 0 - 4, -5*u - 2 = a. Suppose -m - 2*m = 0. Suppose 8*p - 3*p = m. Solve p*x = a*x - 3 for x.
1
Suppose -4*r + 25 = -3*r. Solve 5*u = -0*u + r for u.
5
Let z = 88 - 83. Suppose 0 = q + 3*f - f + 2, 4*f + 10 = q. Solve 0 = q*b - 3 - z for b.
4
Let h(y) = y**3 - y**2 + y + 10. Let p be h(0). Let q = -7 + p. Solve t = -q*t for t.
0
Let u = 4 - 1. Let c(z) = z + 1. Let v be (-5 - -1)*(-3)/4. Let j be c(v). Solve 0 = j*f - u - 13 for f.
4
Let p = 9 + -12. Let g = p + 14. Solve -2*r - g = -1 for r.
-5
Suppose -4*p + 0*p + 3 = -y, -3*y = -5*p - 5. Let v be 18/12 - 2/(-4). Solve n = p + v for n.
4
Suppose t - 6 = g - 0*g, -21 = -5*t + 2*g. Let k = 6 - 2. Suppose -10 - 2 = -4*r. Solve -t = -r*x + k*x for x.
-3
Let z(b) = -b**3 - 8*b**2 - 7*b - 10. Let c be z(-8). Let k = c - 32. Solve 5*v = -k + 4 for v.
-2
Let a(w) = -w + 10. Let y be a(7). Let r = 2 + y. Let q be 6*3/((-27)/(-24)). Solve c + q = r*c for c.
4
Let p be 4*((-57)/4)/(-3). Let w = -13 + p. Solve -w = -2*m - 0 for m.
3
Let a(z) be the first derivative of -z**4/4 - 7*z**3/3 - 9*z**2/2 - 4*z + 3. Let o be a(-6). Solve -1 = 3*r + o for r.
-5
Let w(r) = -r**3 - 3*r**2 - 2*r - 3. Let i(p) = -4*p**3 - 10*p**2 - 7*p - 9. Let j(y) = 2*i(y) - 7*w(y). Let m be j(0). Solve 0 = m*q - 16 + 1 for q.
5
Suppose 0 = 52*i - 51*i - 1. Suppose -2*b + 5*l = 0, 2*l - 1 = 2*b - 7. Solve i = 2*j + b for j.
-2
Let a(h) be the first derivative of -h**2/2 + 7*h - 