r t.
-4
Let o(p) = 11*p - 6. Let j be o(1). Solve -j*k = -k - 12 for k.
3
Let x(i) = 2*i + 25. Let y be x(-11). Solve -y*q + 0*q = 12 for q.
-4
Suppose -2*t = 3*t. Solve t = -2*z - z + 3 for z.
1
Let a(r) be the third derivative of r**4/12 + r**2. Let t be a(-5). Let o(y) = y**2 + 11*y + 12. Let g be o(t). Solve -3*i = g*i + 25 for i.
-5
Suppose -2*h + h = -2. Suppose o = -2*o - o. Solve o = p - 1 - h for p.
3
Let w = -47 - -50. Solve -2 = h - w for h.
1
Suppose 0 = o + 11 - 31. Solve -4*d - o = -0*d for d.
-5
Let m(n) = 2*n**3 - n. Let d be m(1). Let a be (-15)/(d/(-2) + -1). Suppose 2 = -4*l + a. Solve -l*v + 4*v + 8 = 0 for v.
-4
Let q(l) = -l**2 + 3*l - 3. Let x be q(2). Let z = 24 + -17. Let h = z + x. Solve -2*b = h - 2 for b.
-2
Let w(o) = -o**2 + o - 1. Let n(d) = -d**3 + 6*d**2 - 3*d + 9. Let u(g) = n(g) + 6*w(g). Let h be u(-2). Solve -h*i + 25 = -0 for i.
5
Let j(c) = -6*c**3. Let q be j(-1). Let x = -3 + q. Solve -x = -0*u - u for u.
3
Let x = -13 + 16. Solve 10 = -x*s - 5 for s.
-5
Let o be (4 - (3 + -1))*5. Solve -k - o = 4*k for k.
-2
Let r = 153 + -223. Let u = 100 + r. Suppose 4*i = -3*j + 5*j + u, -2*i + 2*j + 16 = 0. Solve -i = -2*p + 1 for p.
4
Suppose 0 = -16*w + 50 + 30. Solve -6*u - 5 = -w*u for u.
-5
Let j be 2 - -1*(3 - -7). Suppose -v - 2*v + j = 0. Solve -a + 3*a + v = 0 for a.
-2
Let r(w) = w + 9. Let z be r(-8). Solve 0 = h - 4 + z for h.
3
Let s(k) = -2*k + 12. Suppose b = -3*o + 10, -o + 4*b + 10 = 3*b. Let z be s(o). Solve -4*a + z*a = 10 for a.
-5
Let q = 1 + -4. Let p = 6 - q. Suppose 0 = f - 2*t, -3*f - t - 2 + p = 0. Solve -h = f*h for h.
0
Let m be -4*(5 + 21/(-4)). Solve v - m = 3 for v.
4
Suppose -u + 2 = 0, 0*u = -5*q + 4*u - 18. Let t = 52 + -49. Let y be 1/(t/((-12)/q)). Solve 3 = y*x - 1 for x.
2
Let t(f) = -f + 6. Let r be t(2). Solve -r*y = -y for y.
0
Let c(t) = -4*t - 6. Let f(a) = a + 1. Let u(s) = -c(s) - 3*f(s). Let w be -2 - 1*-2 - 0. Let r be u(w). Solve 0 = n + r for n.
-3
Suppose 7*q - 11*q = -36. Let b = q + -8. Let u = -6 - -9. Solve u*n + 5 = -b for n.
-2
Let t(c) be the second derivative of c**3/6 + 8*c**2 - c. Let k be t(0). Suppose -5*p = -p - k. Solve p = 3*g - g for g.
2
Let s(h) = h**2 + 11*h + 3. Let l be s(-11). Let c be (-3)/(-2) - (-1)/2. Let z be (2 - 4) + 1*c. Solve -l*k + 0*k + 15 = z for k.
5
Suppose 4*d - 12 = -0. Let n(q) = q**3 - 3*q**2 - 2*q - 4. Let w be n(4). Suppose -w*c - h = -15, -2*h - 39 = -4*c - 9. Solve 6 = d*g - c*g for g.
-3
Let f = 8 + 0. Let w = -5 + f. Solve -w*g + 0*g + 15 = 0 for g.
5
Suppose -2*p + 3*b = -13, -b - 9 = -0*p - 3*p. Solve p*a + 2*a + 4 = 0 for a.
-1
Let p be (-8)/(1 + -5) + -1. Let i be ((p - 2)*-6)/1. Solve 15 = -w + i*w for w.
3
Suppose 0 = -m + g - 3*g - 15, -m - 5*g = 0. Let u be ((-2)/2)/(5/m). Solve 0 = u*v + 1 + 24 for v.
-5
Let c(x) = 3*x - 2. Let g be c(2). Suppose a + a = g. Suppose 0 = -a*f - 0*f. Solve 0*q + q + 3 = f for q.
-3
Suppose 5*p - 13 = -3. Let h be (-16)/(-4) - (-1 + p). Solve 0*q - h = q for q.
-3
Let v be 30/4 + 42/(-28). Suppose v*r = r + 15. Suppose 5*f - 2*z = -z + 4, -5*f + 4*z = -16. Solve f - 12 = r*x for x.
-4
Let i(y) = y**3 - 10*y**2 - 11*y + 5. Let o be i(11). Solve 5 + 0 = o*a for a.
1
Let h(j) = 2*j + 1. Let f be h(1). Let q be (-1)/(-2 + 5/f). Solve -q*d - 2*d = 0 for d.
0
Let c = -22 - 47. Let v be c/(-12) + (-3)/4. Solve -2 = -v*j + 18 for j.
4
Suppose -2*z + 1 = -7. Let y be 4/4*(-5)/(-1). Suppose -z*i - y + 17 = 0. Solve -2*h + h = -i for h.
3
Let u(r) = -r**2 + 1. Let y(n) = -8*n**2 - 3*n + 4. Let f(h) = 6*u(h) - y(h). Let a be f(-2). Suppose 0 = 2*v - 4, -1 = 3*i - a*v - 2. Solve 0 = m + i*m for m.
0
Let z = -86 - -47. Let o be (-1)/3 + z/(-9). Solve -j - o = j for j.
-2
Let s be (-5)/15*3 + 31. Solve 10 = -5*y + s for y.
4
Suppose -2*m + m + 4 = 0. Solve -26 = m*p - 6 for p.
-5
Let v(i) = i - 7*i**3 + i**2 + 3*i + 1 - 3*i. Let m be v(-1). Solve 3*o + 7 = -m for o.
-5
Let i be (-2)/3*(-3 - 0). Let u be i/(-1) - (1 - 3). Solve -2*x - 2*x - 8 = u for x.
-2
Suppose 5*d - 30 = 5*p, 14 = 7*d - 5*d - p. Suppose 0 = -t - 2. Let c be (10/4)/(t/(-4)). Solve -j + c*j + d = 0 for j.
-2
Suppose 0 = 5*l - 0*l - 50. Suppose 0 = -4*g + l + 6. Solve g*r = -0*r - 16 for r.
-4
Suppose 5 = 4*k - 2*w - 1, -3 = k + 4*w. Let i be 2 - k - (2 + -5). Suppose 2*j = 3*j. Solve j = -o + i*o + 3 for o.
-1
Let z(o) = -4*o**2 + 2*o**3 + 2 - 2*o**3 + o**3 - 7*o - o**2. Let b be z(6). Let y be (-1 + 0)*(b - -4). Solve y = 6*h - 3*h for h.
0
Let o = -15 - -21. Solve -o*a = -2*a - 4 for a.
1
Suppose 8 = 5*z + u - 9, -5 = z + 3*u. Suppose j = 2*j - z. Suppose 5*l - j = l. Solve 2*o - 3 = l for o.
2
Suppose 2*d - 23 = -5*a, -2*d + 13 = -3*a - 2*a. Let x(r) = -r. Let h be x(-3). Solve 3*j - d = -h for j.
2
Let k be (3 + 0)/(-1 + 2). Solve -k*z + 3 = -9 for z.
4
Let x = -4 + 8. Suppose x*f - 40 = -5*c, -5 = -f - 0*f. Solve 3*a + 5 = c*a for a.
5
Let d be (-7)/(-35) + 19/5 + -2. Solve 0*o + 10 = d*o for o.
5
Suppose -2*k = -4*k - 4. Let x = -2 + k. Let p = 7 + x. Solve z - p = -5 for z.
-2
Suppose 2 = 3*q - 4. Solve s = -q*s for s.
0
Suppose 9 = 4*b - 7, -4*w - 5*b = -32. Let k = 5 - 8. Let q be k*5*(-1)/w. Solve -q + 1 = a for a.
-4
Let q(u) = -2*u - 5. Let r be q(-3). Let l be (-1)/r*(-1 - 0). Solve -2*c + l = 7 for c.
-3
Suppose 4 + 0 = -v - 3*o, -5*o - 10 = 0. Solve v = -2*k + 12 for k.
5
Suppose c + 2*c = 0. Suppose 2*m = y + 7*m, 4*y + m = c. Solve 3*q + 13 + 2 = y for q.
-5
Let h(n) = -2*n**2 + 14*n + 2. Let w be h(7). Solve 0 = w*c + 8 for c.
-4
Suppose 0 = 3*c + 15, -8 - 8 = -2*l + 4*c. Let n be (-249)/(-27) + l/9. Suppose -2*w - o = -n, w - 3*o = -3 + 4. Solve -19 = w*u + 1 for u.
-5
Let s(g) = -g**3 - 5*g**2 - 2*g - 7. Suppose -k - 5*o = 5, 5*k - 2*o + 25 = -0*k. Let l be s(k). Solve v - l*v = -6 for v.
3
Suppose -236*a + 9 = -233*a. Solve -4*f = -3*f + a for f.
-3
Suppose -13 = -b - 5*c, -5*b + 25 + 0 = 5*c. Suppose 5*o + 5*p + 40 = 0, b*o - 6 + 38 = p. Let q be (-4)/(-20) + (-68)/o. Solve -5 = 4*x + q for x.
-3
Let w = 6 + -12. Let d = 12 + w. Let x = -1 + d. Solve -x*i = -4*i for i.
0
Suppose 0*u + u - 5 = 0. Suppose -114 + 14 = -u*x. Suppose o - x = -2. Solve -7 - o = 5*f for f.
-5
Let q = 3 - 5. Let x be (q - -3)/1*1. Solve -8 - x = -3*f for f.
3
Let i be 0*((-9)/3)/(-3). Suppose -2*d = 3*d - 25. Suppose d = 3*k - 7. Solve i*l - l = k for l.
-4
Suppose -3*n = 2*n - 10. Suppose 0 = -4*t - 0*t - 160. Let s be 3/(2/(t/(-3))). Solve -2*r - s = n*r for r.
-5
Let d = 10 - 10. Suppose -a - 5 + 12 = d. Solve a*b = 2*b for b.
0
Let q = 16 + -30. Let i = q + 17. Solve -i = m - 5 for m.
2
Let h(c) = c**3 - 5*c**2 - c - 1. Let k be h(5). Let p = k - -8. Suppose -p*q + 3*q - j - 8 = 0, 0 = -q + 2*j + 13. Solve -r + q*r = 10 for r.
5
Suppose 0 = 6*i - i. Suppose 0*a = 5*a - 460. Let c be a/28 - 2/7. Solve i = z - c - 1 for z.
4
Let b be (-2)/(((-3)/6)/1). Suppose 2*m + 3*m = b*n - 3, 3*m = -3*n + 9. Suppose -4*f = 5*t - 19, -f + 5*t - 20 = -6*f. Solve l + n = f for l.
-1
Let f(n) = -4*n**2 - 2*n - 1. Let y be f(-1). Let w = -3 - y. Solve 4*j + w = 12 for j.
3
Let o(i) = 2*i**2 + 4*i - 5. Let d be o(-4). Let h = d + -7. Suppose -7*a + 3 = -h*a, -m = -5*a. Solve g = -4 + m for g.
1
Let c(m) = m**3 - 11*m - 3*m**2 + 10*m**2 + 3*m**2. Let i be c(-11). Solve 3 = 3*r - i for r.
1
Suppose 0 = 2*j + 4*j + j. Solve -3*t - 4 + 1 = j for t.
-1
Let m(k) = -k**3 - 7*k**2 + k + 10. Let l = -19 + 12. Let v be m(l). Let y = -3 + v. Solve 5*u - 7 - 13 = y for u.
4
Let o be 21 + -1 + 0 - -2. Suppose -h = 3*h + g - 13, -h - 4*g + o = 0. Solve 0*w - w = -h for w.
2
Let p = 22 + 14. Let a be p/10 - (-20)/50. Solve -a*f = -2*f for f.
0
Suppose 2*r + 10 = 7*r. Let x(v) = 4 - r - v - 5. Let f be x(-3). Solve 2*p + 0 + 6 = f for p.
-3
Suppose 5*w - 4 - 16 = 0. Let l = -2070 + 2070. Suppose -9 = -t + 1. Solve w*z - t + 2 = l for z.
2
Suppose -d + z = -10, -5*z - 6 = 2*d - 3*d. Suppose -d - 4 = -3*p. Solve -13 = -p*m + 2 for m.
3
Suppose 15 = g - 27. Suppose 4*v - 15 = -5*n - g, 3 = -v. Let p = 5 + n. Solve 0 = 2*k + p*k - 4 for k.
1
Let k(h) = -2*h**3 - h**2 + 4*h + 3. Let b = -6 + 4. Let v be k(b). Let f(z) = z**2 - 7*z + 3. Let j be f(v). Solve -2*d - 3 = -j*d for d.
3
Let o(c) = c**3 - 2*c**2 - 11*c - 4. Let a be o(5). Solve 4*q + a = 4 for q.
-3
Let 