 -0*p + 2*p + r for p.
-3
Let i(d) = d + 2. Let v = -9 + 12. Let s be i(v). Suppose o + 5 = 0, -49 = 3*t - 6*t + 5*o. Solve s*f + t = -7 for f.
-3
Let c = 494 - 484. Solve -4*s - c = -6 for s.
-1
Suppose -5*g = -41 + 11. Let b(r) = -r**3 + 6*r**2 + 1. Let u be b(g). Solve 2*k - 5 = -u for k.
2
Suppose 5*u - 4*h = -0*u + 102, h = -4*u + 69. Solve 8*g + u = 2*g for g.
-3
Suppose 2*t = 5*m - 3*m - 22, -5*m = 5*t + 65. Let i = t + 11. Let j = i + 5. Solve j - 1 = -f for f.
-3
Let d(m) = m**3 + 8*m**2 + 2*m + 16. Let a be d(-8). Let u be -4 + a - (-14 - 5). Solve 4*l = -l - u for l.
-3
Suppose 23*s - 22*s = 0. Let p = 0 - 0. Solve p = v - s*v for v.
0
Let c(i) = i**3 - 4*i**2 + 4*i - 1. Let u = -18 - -22. Let w be c(u). Solve -w = -z + 4*z for z.
-5
Suppose -5*s + 12 = -8. Suppose -j + 2*q = -0 - 4, -2*j = -q - 2. Suppose 3*u + 2*p - 24 = -j*u, u + 2*p = 8. Solve 0*w - u = s*w for w.
-2
Suppose 5*g = 4*g - 3, 5*p - 34 = 3*g. Solve -f + p = 10 for f.
-5
Let k = -26 - -43. Let o = 30 - k. Suppose 4*p + 0*p - 107 = -3*f, -f + 39 = 3*p. Solve -4*w + f = o for w.
5
Let o(m) be the second derivative of -m**4/12 + 5*m**3/6 + 3*m**2 - 5*m. Let r be 4 + (2 - (-2 + 2)). Let k be o(r). Solve 4*u + k = 4 for u.
1
Suppose 0*q = -3*y - q - 88, -4*y - 5*q = 99. Let w = 34 + y. Solve j = w*j for j.
0
Suppose -8 = -2*n - 0. Solve -n = -5*g + 6 for g.
2
Let z(t) = 5*t - 24. Let m be z(6). Solve -c - m = -8 for c.
2
Let o(w) be the third derivative of -w**6/120 - 7*w**5/60 - 3*w**4/8 - 4*w**3/3 - 6*w**2. Let c be o(-6). Let z = 12 - 8. Solve c = -2*l + z*l for l.
5
Let y(i) = -11 - 36*i + 15*i + 12*i + 12*i. Let d be y(7). Solve -4*z = z + d for z.
-2
Let f(m) = -m. Let t be f(-4). Suppose 3*c + t*j + 8 = -17, 3*c - j = -5. Let a be 12*(-3)/(-3) + c. Solve -4*r = -a*r - 5 for r.
-1
Suppose t + 2 = 10. Let c(y) = y**2 - 7*y - 1. Let q be c(t). Solve -q*v = -2*v + 20 for v.
-4
Let n be -7 + 11 - (2 + -1). Let a = 2 + n. Suppose 3*s - s = -a*f - 16, 8 = -2*f. Solve 2*h - 3*h = -s for h.
2
Let j = -115 + 118. Solve 0 = -j*p - 15 + 3 for p.
-4
Let h(w) = w + 15. Let s be h(13). Let c be 12/(-21)*s/(-8). Solve c*v - 4 = -0*v for v.
2
Let r be ((-1 + 1)*-1)/(-4). Solve 0 = 5*n - r - 5 for n.
1
Let q(b) be the second derivative of b**4/12 + 4*b**3/3 + 15*b. Let r be q(-8). Solve -2*t + r*t - 8 = 0 for t.
-4
Let t be (8 - (-33)/(-4))*(-1 + 1). Solve t = -l - 3*l for l.
0
Let s(b) = -b**3 + 7*b**2 + 36*b - 54. Let a be s(10). Solve -q - a + 3 = 0 for q.
-3
Suppose 3*i + 31 = 40. Solve -12 = 6*n - i*n for n.
-4
Let a(l) be the third derivative of -l**4/24 + l**3/2 + 3*l**2. Let s be a(0). Solve -5*g - 13 = -s for g.
-2
Let i(a) = a**3 + 5*a**2 + 43*a + 157. Let b be i(-4). Let s(u) = 2*u - 1. Let q be s(1). Suppose 7 - 17 = -5*g. Solve g*l + b = -q for l.
-1
Suppose y + 1 = 3*w, -3*w - y + 21 = 2*y. Suppose 13*o - 8*o = 0. Suppose 0 = -2*f + 6 - o. Solve z + w = f for z.
1
Let g be ((-4)/3)/((-8)/36). Suppose -5*l + 101 + 37 = 2*c, 4*l = -5*c + 124. Solve -5*w = g - l for w.
4
Suppose -7*v - 31 = 53. Let d = 16 + v. Suppose d*z - 4*l = 44, 2*z - 30 = -z + 2*l. Solve 2*w = -0*w + z for w.
4
Let t be 32/10 + 16/(-80) - 1. Solve 0 = 3*x + t - 17 for x.
5
Let a be 1/4 + (-3 - (-66)/24). Solve 3*m - 3 - 9 = a for m.
4
Let m = 132 + -130. Solve 0 = m*c - 6*c + 12 for c.
3
Suppose -2*n + 9 + 17 = 3*l, n - 13 = 2*l. Suppose -8*r + 3 + n = 0. Solve r*j = 5*j for j.
0
Let v(s) = 3*s**2 - 66*s + 10. Let x be v(22). Solve -16*q = -18*q - x for q.
-5
Let y(a) = -142*a + 714. Let x be y(5). Solve -22*b + x*b + 18 = 0 for b.
1
Let w = 514 + -506. Solve -w*y = -19*y + 55 for y.
5
Let d(k) = -k**3 + 9*k**2 + 5*k - 1. Let q be d(9). Suppose -3*m = y - 6*y - q, m - y - 12 = 0. Solve -c = c - m for c.
4
Let m = -3 - 25. Let f be (40/14)/((-8)/m). Let u = f - 4. Solve u = -s - s for s.
-3
Let n = 21 - 21. Let g(d) = -d**3 - d**2 - d + 4. Let a be g(n). Suppose 4*m + 10 = 26. Solve -a - 16 = -m*y for y.
5
Let a = -323 - -343. Solve -17*i - 12 = -a*i for i.
4
Let v(i) = -10*i**3 - 2 + 10*i + 2 - 11*i - 2*i**2. Suppose a - 4 = 5*a. Let x be v(a). Solve -3*g + x = -0*g for g.
3
Let k be 0*2/6*1. Let i be (k*2/(-8))/1. Solve 5*l + 11 - 26 = i for l.
3
Let h = 597 + -596. Solve 5*t + 11 = h for t.
-2
Let f(z) = -z**3 + 23*z**2 - 76*z + 21. Let l be f(19). Solve 6*p = 15 - l for p.
-1
Let x be 2/(2/12 - 1/3). Let r be 6/(-5)*80/(-6). Let c = r + x. Solve 3 = -c*d + 3*d for d.
-3
Suppose 0 = -3*q + q + 54. Suppose 5*b + 2 - q = 0. Solve 0 = b*n - 3*n + 8 for n.
-4
Suppose -13 + 1 = -3*t, 2*m = 4*t + 14. Let x = -141 - -147. Suppose -z - m = -x*z. Solve 0 = s - 2 - z for s.
5
Let g = -1920 + 1925. Solve -7 = 3*c + g for c.
-4
Suppose -6*c - 360 = -24*c. Suppose -14 = -j + 2*s, -j + 3*s + 4 + 15 = 0. Suppose 3*m - c - j = 0. Solve -w = w - m for w.
4
Let u be (-6)/4 - 287/(-82). Solve -4*a - 14 = u for a.
-4
Let c be (2 - 1)/(-1)*-2. Let j(t) = -10*t - 40. Let w be j(-5). Suppose w*r - 6*r - 12 = 0. Solve -r*y = c - 5 for y.
1
Let y(g) = g**3 + 4*g**2 + 3*g + 1. Let t be 1/((-1 - -2)/(-2)). Let r be y(t). Suppose 0 = -2*p + 5*b + 5 - 0, r*b + 3 = 0. Solve 2*m = -p*m for m.
0
Suppose -38 = -2*i - 2*r - 10, -4*r = -i + 4. Let y(w) = w**3 - 11*w**2 - 11*w - 7. Let c be y(i). Solve -8 = 7*v - c*v for v.
-4
Let d = 4 + -4. Solve d = 29*y - 24*y for y.
0
Suppose 2*b - 5*f = -2, 5*b - 3*f = -0*b + 14. Let o = b + -2. Let q(r) = 2*r**2 + 5*r + 5. Let y be q(-3). Solve o*n + 0*n + y = 0 for n.
-4
Suppose -m + 230 = 3*b + 2*b, -3*b = -4*m - 115. Let c = b - 41. Solve l = c + 1 for l.
5
Suppose 4*r = -d + 35, r + 2*d - 11 = 3. Solve 6*w - r = -2 for w.
1
Let x be (-36)/(-9) - (-1 - -1). Suppose 0 = -o - 1 + x. Solve 7*l - o*l + 4 = 0 for l.
-1
Suppose 756 = 7*g - 70. Let k = g - 118. Solve -4*f + 5 + 3 = k for f.
2
Let x = 125 - 121. Solve -4*j - 12 - x = 0 for j.
-4
Let q(l) = -l**2 - 10*l - 7. Let i be q(-9). Suppose -7*y = i*y - 117. Solve 4*k + y - 33 = 0 for k.
5
Let j(l) = -l**3 + 6*l**2 + 2*l + 2. Let z be j(5). Let n = 39 - z. Let c be 0 + -1 + 5 - 1. Solve -c*u = -n*u - 2 for u.
2
Let b = -919 - -919. Solve b = -0*u - 6*u + 3*u for u.
0
Let l = 527 - 502. Solve 86*j - l = 91*j for j.
-5
Let x be (-2 + 4)/(-1*(-1)/2). Suppose 0 = -n - 3 + 4. Let r be n/x - 15/(-4). Solve -i = -r*i + 6 for i.
2
Let t(l) = -7*l - 11. Let a = 99 - 101. Let v be t(a). Solve p = -2*p + v for p.
1
Let l(w) = w**3 + 2*w**2 - 5*w - 4. Let d(p) be the first derivative of -p**3/3 - 2*p**2 + 2*p - 6. Let s be d(-5). Let n be l(s). Solve 0 = -n*a + 1 + 3 for a.
2
Suppose -5*c = 4*m - 11, 28*c - 20 = 32*c. Solve -28 = -16*f + m*f for f.
4
Suppose -3*q = -13*q + 140. Solve 0 = -7*d + q - 7 for d.
1
Suppose -3 = -3*g + 54. Suppose -15 = -g*w + 16*w. Solve 3*b - w*b + 4 = 0 for b.
2
Let c(i) = i + 7. Let u be c(-5). Suppose -10 = 5*m - 3*h, -h = -3*m - 3*h + 13. Suppose u*x = 11 - m. Solve -6 - 4 = x*k for k.
-2
Suppose -8*k + 25 - 1 = 0. Suppose -5*r = 3*o + 2*o - 20, 10 = k*r + o. Solve h = -r*h - 4 for h.
-1
Let r = 58 + -46. Let c = 19 + -12. Let n be 6/21 + r/c. Solve n*d + 0*d = -6 for d.
-3
Let w(y) = -y**3 - 2*y. Suppose 4 = 2*i, 0 = 4*k + i + 14 - 0. Let s = k + 4. Let x be w(s). Solve l + 1 = -x for l.
-1
Suppose 4*c = -7*z + 4*z - 7, 18 = 4*c - 2*z. Suppose -6 = -4*m + 2. Solve m*h = h - c for h.
-2
Let b(u) = u**3 + 9*u**2 - 23*u - 11. Let t be b(-11). Solve t = 4*d + 25 - 45 for d.
5
Let j(n) = -11*n**2 - 7*n - 156. Let t(s) = -5*s**2 - 4*s - 78. Let l(o) = 6*j(o) - 13*t(o). Let h be l(-5). Solve 2*z - h = -z for z.
1
Let i be -4*1/1*-1. Suppose 20 + 1 = -a + 5*u, 45 = -5*a - 5*u. Let d(x) = -x**3 - 11*x**2 - x - 9. Let v be d(a). Solve -v*m + 6 = -i*m for m.
-3
Let a(u) = 6*u**3 - u**2 + 6*u - 11. Let t(r) = 3*r**3 - r**2 + 3*r - 6. Let l(c) = -4*a(c) + 7*t(c). Let o be l(-2). Solve 8*g = 3*g - o for g.
-4
Let c(i) = -10*i + 10. Let q be 6/(-4*5/(-10)). Let j be c(q). Let t = j + 20. Solve t = -h - h for h.
0
Let f(s) = -2*s**3 - 2*s**2 + s - 2. Let b be f(-2). Let m = -2990 - -2991. Solve -b = d + m for d.
-5
Let l be 17/(85/30) - 6. Let s be 24/9 - (-2)/6. Suppose -g = -3*x + 4 + 12, 2*x - s*g - 6 = l. Solve 9 + x = -3*a for a.
-5
Let n = -7 - -5. Let v be n*(-3)/6 + -1. Let t be 0/(4/(-7 + 3)). Solve -3*h + v*h = t for h.