 + m - 6*m + 15 for f.
0
Suppose 0 = -3*a + 7*a - 16. Let n(w) = w**2 - 2*w + 1. Let l be n(3). Let v be (-3)/12 - (-1)/l. Solve 0 = -x - a*j + 11, -4*x + j - 24 = -v*j for x.
-5
Suppose -4*c + 0*c = -20. Suppose -i = -4*b + 12, -4*b - c*i - 3 = -15. Solve 3*l = 2*y - b - 8, -2*l = 2*y + 4 for l.
-3
Suppose -11 = s + 4*h, 4*h = -3*s + 4*s - 13. Let v(x) = -x**3 - 8*x**2 + 2*x - 1. Let p be v(-8). Let y = p - -34. Solve -2*d = -4*q - d - y, -d + s = 0 for q.
-4
Let q = 14 - 12. Suppose -q*p = 1 - 9. Suppose -5*o + 10 = 5*x, -2*x = o - 6*o - p. Solve 4*h - j - 7 = 0, -3*j + 19 - 4 = o for h.
3
Let r(x) be the second derivative of -x**3/6 - 4*x**2 - 7*x. Let k be r(-8). Solve -4*z + 20 = k, -5*g + 8 - 3 = 2*z for g.
-1
Let i be (-999)/(-12) + 3/4. Let m = i + -66. Solve m = -2*v - 4*c, -24 = v + 2*c + 3*c for v.
1
Let s(t) = -t**3 - 12*t**2 + 25*t - 9. Let i be s(-14). Suppose 5*w + i = 8*w. Solve -w = -4*f - 3*r + 15, -23 = -5*f + r for f.
5
Let g(z) = -8*z**2 + 10*z - 2. Let v be g(3). Let b = v + 46. Solve b*j + 3*w + 2 = 0, 2*w = 6*w for j.
-1
Suppose -129 = 5*a - 2*x - 14, 3*a + 69 = 5*x. Let u = a + 30. Solve d + u = -2*y, -2*d + 0*y - 9 = -y for d.
-5
Let a(g) be the third derivative of g**5/60 - g**4/6 - 5*g**3/3 + 12*g**2. Let w be a(6). Solve -4*k - 8 = 0, -2*r + 6 = k - w for r.
5
Let l(u) = 11*u - 320. Let z be l(30). Solve 0 = 2*f + 4*m, 4*f + 0*m + 3*m + z = 0 for f.
-4
Suppose -3*k + 7*k = 0. Suppose 3*o = -k*o + 15. Solve -2*c + 3*m = -c, 2*m = -o*c for c.
0
Suppose 5*d - 6 = -2*f, 3*f - 10 + 1 = 4*d. Solve -f*p = -b - 9, 2*b + 5*p = -7 + 33 for b.
3
Suppose -2*l - 9 = -3. Let b be l/(9/(-57)) - 2. Solve 0 = -3*a - 2*x + 11, 5*a = -x - 2*x + b for a.
1
Let a(l) = -l + 12. Let u be a(6). Let x(y) = y - 4. Let c be x(u). Solve -m + 0*m + 6 = 3*q, 5*m - c*q = -4 for m.
0
Let i = 30 + -30. Suppose 160 = 3*x + u, -3*u - 235 = -4*x - i*u. Suppose -4*c - c + x = 0. Solve 5*a - 4 = 2*b + c, -5*b - 24 = a for a.
1
Suppose 0 = -0*v + v - 2. Let t(w) = 2*w**3 + w**2. Let u be t(1). Let l be (-319)/(-33) + 2/6. Solve -5*q + v*j - j = -21, 0 = u*q + 2*j - l for q.
4
Let k = -333 - -333. Let g be (-5)/2*(-16)/(-20). Let u be 15/(-10) + (-7)/g. Solve b + 1 = x + 7, k = -x + u*b - 7 for x.
-5
Suppose 2*g - 5*g + 12 = 0. Suppose g*p + 11 = 2*y - 11, -5*p = 2*y + 5. Suppose 6 = -2*x + 22. Solve y*f = 2*c - 21, x - 23 = -5*c for f.
-3
Let u = 83 + -82. Let a be 1/(u*((-1)/3)/(-1)). Solve -p + 3*d - a = -0*p, 0 = -2*p + 3*d for p.
3
Let m = 1107 - 1107. Solve -5*a = -3*j - 36 + 10, -5*j + a - 14 = m for j.
-2
Suppose -253*z = -200*z - 106. Solve 15 = z*q + 3*q - y, 2*q - 6 = 2*y for q.
3
Let u(q) = 2*q**2 - 18*q - 14. Let z be u(10). Suppose 8 = z*d - 2*d. Solve 3*o = -d*l, 3*l + 3*o = -2*l for l.
0
Let w be (-6)/(-5 + 3) + 13. Solve w = 3*k + k + 4*b, -4*k - b = -7 for k.
1
Let y = 2033 + -2029. Solve -2*r + 3*z + z + 6 = 0, -y*r + z = -5 for r.
1
Let h(m) = m**3 - 7*m**2 + 9*m + 5. Let t be h(7). Let n = -96 + t. Let p = -26 - n. Solve 0 = -2*w + p*x - 10, 3*x + 0 + 1 = -5*w for w.
-2
Let b be (3 + 1 + -5)*26. Let l = b + 31. Solve a + 0 + 1 = l*n, 0 = -3*a + 12 for n.
1
Let t be (54/15)/(9/30). Let x(r) = 3*r + r**2 + 5*r + 4*r + t - r. Let i be x(-10). Solve 4*f = -3*u + 2 - 8, 4 = -i*u for f.
0
Suppose -s - 1 = -f + 4, -25 = -5*f - 5*s. Let n(v) = -2*v + 10. Let k be n(-7). Solve 5*i = -4*m + m - 22, k = -f*i - m for i.
-5
Let y(i) = 6*i**3 + 1. Let p be y(-1). Let d = -40 + p. Let q = -25 - d. Solve -5*a + 25 = -0*o + 5*o, -a + 4*o = q for a.
0
Let y = -7 - -9. Suppose -y*o + 2 = -12. Suppose -3*q - 9 = r, o*q = -2*r + 3*q - 10. Solve d - 3*d + 2*i - 14 = 0, -r*i = -6 for d.
-5
Let x = 4 + -2. Let h = x - 7. Let f be (h - -10) + 1*-3. Solve -j + r + 3*r + 12 = 0, -r + f = j for j.
4
Let o(d) = -60*d - 15 + 115*d - 59*d. Let a be o(-5). Solve 3 = -5*j + 4*c, -3*c - 1 = -j + a for j.
-3
Let z = -24 - -46. Let n(q) be the third derivative of -q**5/60 + 19*q**4/24 + 25*q**3/6 + 32*q**2. Let w be n(20). Solve -3*f - 20 = -w, -z = o + 5*f for o.
3
Suppose 6*g = 19*g - 91. Let j(l) = -l**2 - l. Let b(w) = w**2 + 10*w - 9. Let s(c) = -b(c) - 2*j(c). Let z be s(g). Solve v - t - 1 = 1, -2 = -v + z*t for v.
2
Let g be 6/(-4) - 26/(-4). Let j = 183 - 181. Solve j*z + 13 = g*f, 2*z - 8 = 4*z for f.
1
Let a = 253 + -242. Solve -6 = 4*x - j + a, 3*x = -5*j - 30 for x.
-5
Suppose -2*s + 15 = -3*o, 3*o + 20 = 4*s - o. Let b = 575 + -572. Solve s = -b*a - 15, 3*x = -0*x + a - 4 for x.
-3
Suppose -2*l - 1 + 9 = 0. Let w(p) = 291*p - 582. Let b be w(2). Solve -j + m = -2, j + b + l = -5*m for j.
1
Let o = 1699 + -1697. Solve 0 = -4*w - y - 24, -5*w - 7 = -o*w - 2*y for w.
-5
Let d be 2/(6 - (6 + -1)). Solve 3*z - 5*n - 8 = 0, -d*n + 7*n + 32 = -3*z for z.
-4
Let z be (-9)/1*4/(-12). Let r(b) = 5*b + 6. Let v be r(z). Solve t = -0*t - 5*u, v = 4*t - u for t.
5
Suppose 0 = -2*u - 2*u - w + 68, -2*u - 4*w + 48 = 0. Solve 5*g + 6*r - u = 4*r, g - r - 6 = 0 for g.
4
Suppose -11 = -4*g - g + 2*m, 0 = -3*g - m + 11. Let y be (-6 + (-21)/(-6))/((-50)/80). Solve -2*n + 0 - 10 = -y*v, 5 = -g*n + 4*v for n.
5
Let m be (16 - 10)*(1 - 0). Suppose 4*d - 6 = 6. Suppose c + 5*n + 24 = 1, d*c + 3*n + 9 = 0. Solve -g + m = -c*s, -g + 24 = -5*s - 3*g for s.
-4
Let z(n) = 2*n**2 - 6*n - 357. Let k be z(15). Solve -4*y + k*a = 18, -5 = y + 2*a - 3*a for y.
-3
Let j be 2/(2 - (-64)/(-40)). Solve 2*s + 3 = 7*s - 4*q, j*s + 3*q = -11 for s.
-1
Let q(w) = -2*w**3 - 14*w**2 - 6*w - 18. Let v be q(-7). Solve y + 5*h = 6 + v, 4*y + 4*h = 40 for y.
5
Let r be (-18)/6 - (-1 + -2). Suppose r = 2*l + 3*l. Solve -1 = p + 2*u, 4*p + u + l*u = -11 for p.
-3
Let t(u) = -u**2 + 17*u - 60. Let b be t(5). Solve -3*g - r + b*r = -10, 3*g - 2*r + 2 = 0 for g.
2
Let c be 1*-1 + (-18)/(-3). Let p = 20 - 12. Let d(a) = 16*a - 432. Let z be d(27). Solve z*b - x + p = -3*b, c*b + 5*x = -40 for b.
-4
Let h(q) = -q**3 - 3*q**2 + 2*q - 5. Let j be h(-4). Solve -j*s - 4 = 2*a, 5*s = 1 + 9 for a.
-5
Let m(s) = s**2 - 6*s + 1. Let k be m(6). Suppose -k + 3 = z. Solve 5*w + 4 - 18 = 3*j, -j - z*w = -10 for j.
2
Let w = 25 - 6. Suppose -w*x = -23*x. Suppose -3*z + 2*z + 5 = x, 0 = 3*a - 4*z + 14. Solve -4*r = -r - 5*h + 30, 0 = a*r - 4*h + 22 for r.
-5
Suppose -175 = -3*w - 157. Suppose -2*a + h = -2, h - 4 = 2*a - 3*a. Solve a*z = -4*i - 14, 3*i = 3*z - w*z - 15 for z.
-3
Let d(x) = x**3 - 40*x**2 + 39*x + 3. Let p be d(39). Solve p*i + 8 = -0*i + 4*b, -b + 2 = 3*i for i.
0
Let a be 3/((-12)/8)*-6. Let p = 14 - a. Solve 4*i + 2 = c - 20, p*i + 20 = 5*c for c.
2
Let v = 112 - 94. Solve -8 + 3 = w + h, 2*w - v = 5*h for w.
-1
Let n be (1/4)/((-335)/16 + 21). Solve 4*s = -5*u - 8 - 6, -5*s + n*u = -3 for s.
-1
Let s = 0 - -1. Let c(r) = -2*r**3 + 43*r**2 - 18*r - 59. Let h be c(21). Solve -h*v - 13 = -2*l + s, -3*l + 15 = -3*v for v.
-2
Let f = 0 + 3. Suppose f*i = -2*i. Let d be 10/2*(1 + i). Solve p = -0*p - d*r - 5, 0 = 3*p - 4*r - 23 for p.
5
Suppose 3*f - 6 = -5*u + 7, 4 = 4*f. Suppose u*q + 0 = 4. Suppose -z = -6 + q. Solve 7 = 4*y - z*x - 9, 5*y + 2*x - 20 = 0 for y.
4
Let h = 82 - 74. Suppose 2*i + 13 = w, 0 = 2*w + 5*i + 11 + h. Solve -w*v = m + 15, -m - 5 = 2*v - 2*m for v.
-4
Let b(d) = -11*d**2 - 5 - 4 - 314*d + 325*d - d**3. Let j be b(-12). Solve -2*p - 3*k - 21 = 0, j*k - 6*k = -5*p for p.
-3
Let k be (-172)/430 - 64/(-10). Solve 2*o - 6 = -3*x, -3*x = -0*x - k for o.
0
Let w be 15/(-9)*(-156)/130. Solve 2*y - 20 = 4*m, 5*m - 4 = w*y + 9*m for y.
4
Let i(q) = 2*q**2 - 38*q + 74. Let a be i(17). Solve 3*n - 2*u + a = 0, -n - n + 5*u + 7 = 0 for n.
-4
Let v be (-30)/45*(1 - 52). Let i = v + -29. Let f be 1 + (-1)/(-2)*0. Solve -3*r - 4*h = -i, -6 - f = 5*r - h for r.
-1
Let v(g) = -g**2 - 38*g - 34. Let m be v(-37). Solve u + 4 = 4*q, -2*u + m*u = -2*q + 2 for u.
0
Let s(i) = 3*i + 6. Let o be s(5). Let l = o + -25. Let t be (-20)/6*6/l. Solve 5*b + 4*c = -11 - 10, 3*c = -t*b - 17 for b.
-1
Suppose 3*v - 5*z + 5 = -v, 2 = -4*v + 2*z. Solve v = -2*g - 2*k, -21 = -2*g + 8*k - 3*k for g.
3
Let u be (-1 + 0)/(33/(-15) + 2). Let p be ((-4)/5)/(4/(-10)). Suppose 3*k = -p*k. Solve k = 4*z - 4*d + 12, -5*z + 2*d - u = 1 for z.
0
Let a be -2 + (-3 + 1 - -7). Suppose 4*m - a*m = 2. Solve 3*u + 4 + 5 = 0, -5*t 