a - 1 for f.
-5
Let r(i) = -3*i**3 + 2*i**2 - 2*i. Let p be r(0). Solve -y + p = -4 for y.
4
Let h(v) = -4*v + 3*v - 5*v + 4*v - 1. Let a be h(-3). Suppose -a*q + l = -11, -4*l - 3 = 1. Solve 0 = -2*r - q*r for r.
0
Let p(x) = x**3 + 13*x**2 + x + 17. Let y be p(-13). Let c(o) = -o**2 + 7*o - 6. Let l be c(4). Let n be l*((-2)/(-3))/2. Solve d + y = n*d for d.
4
Let m be 32/5 + (-4 - (-184)/40). Let i be (-9)/(-21) - (-18)/m. Let b = 0 - -3. Solve -2*a = -i - b for a.
3
Suppose 38*w + 18*w - 5544 = 0. Solve -w + 93 = -6*h for h.
1
Suppose -3*l = 2*m - 296 + 160, -4*m - 212 = -5*l. Solve -6*c - l = 5*c for c.
-4
Suppose 0 = -5*b + h + 53, 4*b - 37 = 2*h - 3*h. Suppose 2*f - 2 = k + 4, 2*k + 2 = 2*f. Solve -k*t + 26 = b for t.
4
Let x be (-37 - -40)/((-6)/(-16)). Solve 65*w - 57*w - x = 0 for w.
1
Let f be (41 + -2)/((-2)/2). Let r = 42 + f. Solve -t + r = 1 for t.
2
Let o = -6 + 12. Let g be 4/(-6) + (-32)/o. Let m be 60/18 - (-2)/g. Solve 3 + 12 = -m*j for j.
-5
Let j be 20/(-4) - (0 - 5). Solve 0 = 6*m - m - j*m for m.
0
Suppose 5*x + 22 = 3*u + 4*x, 0 = 5*x + 20. Let q be 4/8 - (-9)/u. Solve 0 = -q*b - 3*b for b.
0
Suppose -2*k + 216 = -5*k + c, 0 = -3*k - 2*c - 207. Let s = k + 42. Let q = -13 - s. Solve -1 + q = 5*a for a.
3
Let w = -68 + 73. Solve -2*b + 3 + w = 0 for b.
4
Let m(d) = d**3 + 6*d**2 - 8*d - 7. Let j(h) = -3*h - 7. Let t be j(0). Let k be m(t). Solve -q + 2*q = k for q.
0
Suppose -218 + 110 = -4*a. Solve -3*d + a = 15 for d.
4
Suppose -v + 3*h + 2 = 0, 36 = -5*v - h + 46. Solve v = 2*s + 2 for s.
0
Let s be 15 + -3 + 2 + 2. Let f(m) = m**3 - 16*m**2 + m - 6. Let q be f(s). Solve q = 2*c - 0*c for c.
5
Let n(z) = -z**3 - 7*z**2 - 9*z - 14. Let s be n(-6). Suppose -4*o = -s, 7*u - o = 2*u + 39. Let g be (-5)/1*u/(-10). Solve g*h + 12 = -8 for h.
-5
Let z(q) = -q - 4. Let t be z(-2). Let g be (-8 - t)*1/(-2). Solve 3*p + g + 3 = 0 for p.
-2
Let v = 221 - 217. Solve 0 = -h - 0 + v for h.
4
Let f(v) be the first derivative of v**4/12 + 5*v**3/6 - 5*v**2 - 5*v + 3. Let w(a) be the first derivative of f(a). Let t be w(-7). Solve t = i + 2 for i.
2
Let v(o) = -o - 4. Let u be v(-6). Suppose p + 1 = -5*l, -p = -4*l - 2*p. Let r = u + l. Solve -2 = f - r for f.
-1
Let v = 5 + 7. Let o = v + -12. Solve s = -o*s - 2 for s.
-2
Let x(y) = y**3 + 28*y**2 + 26*y - 25. Let f be x(-27). Solve -2*l = -0*l + f for l.
-1
Let f(i) = 3*i**2 + 11*i - 57. Let y be f(-8). Solve 4*u - y + 39 = 0 for u.
2
Suppose -4*i - 3*o + 30 = 0, 0 = 2*i - 4*o + 1 - 5. Suppose -14 = 5*t + i. Let f(m) = -m**3 - 3*m**2 + 3*m - 4. Let d be f(t). Solve d = z + z for z.
0
Let n be (3/2)/(3/6). Suppose -n*b = 4*b - 70. Solve d = -d + b for d.
5
Let g(k) be the third derivative of k**4/24 + k**3/6 + k**2. Let l be g(-1). Let n be (0 - (2 + 0)) + (0 - -6). Solve n*d = -l*d - 16 for d.
-4
Let t = -94 - -95. Suppose t + 10 = g. Solve 3*x = -5 + g for x.
2
Suppose -2*t - 2*m = -136, 5*t - 10*t - 4*m + 343 = 0. Solve 51 = -5*v + t for v.
4
Let c = 1164 - 1160. Solve 0 - 4 = c*v for v.
-1
Let k(a) = 3*a + 12. Let q be k(-8). Let t be 4/q*3 + 1. Solve t = -s - s - 2 for s.
-1
Let d(v) be the second derivative of 5*v**4/12 - v. Let y be (20/8 + -3)*2. Let c be d(y). Solve -c*h + 2 + 3 = 0 for h.
1
Suppose 5*c + 5 = -4*d, -19 = 2*c - d + 6*d. Let f = -31 - -34. Suppose 0 = 4*o - 5*x - 29, -4*o + f*x + 16 = -c*o. Solve -o = -2*s + 9 for s.
5
Suppose z = -3*j + 8 + 6, z = j - 2. Suppose -z*k = -4*k + 16. Let c(w) = w**2 - 7*w - 6. Let g be c(k). Solve g*o = 5*o + 15 for o.
-5
Suppose -4*b - b + 5*j - 5 = 0, -5*b = 5*j - 45. Let l = 45 - 45. Let g be (-25)/(-10)*4/10. Solve l = -k + b - g for k.
3
Let t be ((-24)/28)/((-12)/56). Suppose t*h = 3*k + 4, 4*h = h + 12. Solve l + 3*l - k = 0 for l.
1
Suppose -1 = 5*f - 21. Suppose -n + 6 = b, n = -f*b + b + 8. Solve -n*k = 9 + 1 for k.
-2
Suppose 0 = 11*c - 10*c - 23. Suppose 22*y = c*y - 2. Solve -4*m = y + 2 for m.
-1
Let y(o) = -16*o - 8. Let f be y(-1). Solve f = 3*k - 7 for k.
5
Suppose 5*i - c = 4*c + 20, 4*i - 3*c = 18. Let j(o) = 0*o + 0*o - i*o + 5*o - 5. Let f be j(-7). Solve 0 = w + f for w.
-2
Suppose 0 = g + 3*n + 34 - 4, 5*n - 69 = 4*g. Let h = g - -23. Let a be h/(-6) + (-160)/(-12). Solve -3*u - a = -1 for u.
-4
Let u(c) = -c**3 + 45*c**2 + 46*c + 5. Let s be u(46). Solve 0 = -s*g - 0 - 0 for g.
0
Suppose -c - 24 = -4*d, 3*d - 2*c - 30 = -7. Suppose 0 = -4*y - l + 16, -d*y = -3*y + 3*l - 8. Solve -y*k = -3*k - 5 for k.
5
Let j = 12 - 17. Let t = -3 - j. Suppose 4*p - 1 = -a - 2*a, t*a - 16 = 5*p. Solve -a*z + 5*z + 6 = 0 for z.
-3
Let u = 218 + -181. Solve 5*s - u = -47 for s.
-2
Let r = -18 + 12. Let o = 7 + -13. Let t = r - o. Solve 2*f = -t*f - 10 for f.
-5
Let i be 17/(374/99)*20/6. Solve 0 = -5*q - 0 - i for q.
-3
Let i be (-45)/(-25) + 1/5. Suppose 0 = 6*o - 2*o - 20. Suppose s = o*m - 22, -2 = -4*m + m - 5*s. Solve 0 = i*w - m - 6 for w.
5
Suppose 9*h - 135 + 108 = 0. Let q(d) = -d**2 + 10. Let t be q(0). Solve 0 = -h*n - 2*n - t for n.
-2
Let v = -826 - -844. Solve 0 = -4*g - 2*g - v for g.
-3
Let f = -5 + 0. Let m be f/(-2)*12/10. Suppose 24 = m*s + 5*r, -5*s - r + 9 = -3*r. Solve s*n = 8*n for n.
0
Suppose 0 = -8*u - u. Let v(o) = 4*o + 3. Let p be v(u). Let i(f) = f**2 - 5*f - 6. Let z be i(6). Solve z = -7*w + p*w for w.
0
Let x = -373 + 375. Solve 5*u = x*u for u.
0
Let j(l) = -l**2 - 22*l - 68. Let x be j(-18). Solve -5*o - 6 = x for o.
-2
Suppose -24 = -2*p + 2*v, 2*v - 3*v - 68 = -5*p. Suppose -46 = -4*c + 4*j - p, 2*c - 26 = 4*j. Solve -c = -5*s - 18 for s.
-3
Let k be ((-2)/6)/((-9)/81). Suppose -3*h + k*h + 5*h = 0. Solve 0*a - a = h for a.
0
Let x be (-105)/(-45) + 1/(-3). Suppose -3*q = -x*t + 2*q + 14, 5*q + 10 = 0. Solve l - 5 = -t for l.
3
Suppose -5 = -2*j + 3. Suppose j*d + 5*l - 1 = 1, -3*d + 13 = -2*l. Suppose -7*b + 2*b = 4*k + 1, d*b - 2*k = 17. Solve 2*m + 1 = -b for m.
-2
Let v = -353 - -353. Let a(y) = -y**2 - 6*y + 3. Let r be a(-5). Solve 0 = 4*d - v*d + r for d.
-2
Let h be 5/(((-20)/(-24))/1). Suppose h*f - 3*f + 2*t = -10, -10 = 2*f + 2*t. Solve 2*b + 4 + 4 = f for b.
-4
Let j = 291 - 287. Solve -j*q + 22 = 6 for q.
4
Let t(j) = -j + 40 + 23 - 45 - j. Let q be t(0). Solve -q + 6 = -3*h for h.
4
Let b be (2/4)/((-10)/300). Let d = -3 - b. Let m = -7 + d. Solve 0 = y - 6*y - m for y.
-1
Let o = -20 - -12. Let s = -4 - o. Let w be 8 + (125/5)/(-5). Solve -u - s = -w*u for u.
2
Let i(t) = t**3 + 6*t**2 + 3*t + 15. Let j be i(-6). Let c be 24/j*(-33)/12. Solve -c + 7 = -5*a for a.
3
Suppose 55 = 29*u - 525. Solve -u*j + 19*j + 5 = 0 for j.
5
Suppose -14*q - 7*q + 168 = 0. Solve q*p + 8 = -8 for p.
-2
Let b(f) = f**2 + 13*f - 45. Let n be b(-16). Solve 0 = -3*g + n + 6 for g.
3
Let z(l) = -2*l - 1. Let d be z(-3). Suppose -2*w = d*u - 25, 3*w = w - 4*u + 20. Solve 4*n + n - 15 = w for n.
3
Let b be 9/24*-2*-4. Suppose b*h = -3*h. Solve 5*r + 18 + 2 = h for r.
-4
Let a(l) be the third derivative of -l**5/60 - 5*l**4/24 - l**3/2 - l**2. Let o = -30 - -27. Let b be a(o). Solve 0*q + q - b = 0 for q.
3
Suppose 4*t + 16 = 0, t + t = -5*d + 2. Let h(g) = -g**3 + 8*g**2 + g - 3. Let r be h(8). Solve 0 = d*z - r + 13 for z.
-4
Suppose 17*v - 14*v + 9 = 3*u, 0 = 4*u + 3*v - 5. Solve u*b + 0*b + 4 = 0 for b.
-2
Let k = 13 + -17. Let n be (-3)/(-1) + k + 0. Let w(g) = -25*g**3 + g**2 + g. Let c be w(n). Solve 10*y + c = 5*y for y.
-5
Suppose -f = -2*f + 2*w, 9 = 3*f + 3*w. Let r be 8/4 - 4 - -4. Solve -f = -q + r*q for q.
-2
Let x(h) = -8*h - 45. Let s be x(-6). Suppose -9*p + 108 = -s*p. Solve p = -4*r + 2 for r.
-4
Let c be -1*(0 + -2 + -3). Suppose -5*k + v + 15 = 2*v, -4*k + 2*v + 12 = 0. Let n be (c + k)/(4/2). Solve 2*j = -2 + n for j.
1
Let r(s) = 3*s - 11. Let b be r(6). Let t be (-2)/b - (-52)/(-14). Let a be (-6)/(-6*(-1)/t). Solve -2*k + a*k = -8 for k.
-4
Let b be (-1)/3*(-2)/((-4)/(-6)). Solve 7*l = 6*l + b for l.
1
Suppose 0 = 24*w - 19*w - 325. Solve 50 - w = -3*z for z.
5
Let g(k) = 2*k + 16. Let c be g(-5). Solve -c = -7*q - 20 for q.
-2
Suppose -49 + 149 = 5*x. Solve x = 34*t - 39*t for t.
-4
Let v = 102 + -95. Suppose v*z = -0*z + 28. Solve 5*c = z*c for c.
0
Let m(i) be the second derivative of i**5/20 + 11*i**4/12 - i**3/3 - i**2 + 6*i. Let j be m(-11). Suppose 0*h = 4*h - 20.