r.
-3
Suppose -3*t + 0 = -6. Solve -t*l = -6*l + 16 for l.
4
Suppose -h = 2*h + 9. Let u be ((-1)/h)/1*15. Let q(f) = -f**3 + 4*f**2 + 4*f + 5. Let l be q(u). Solve o + 4 = -l for o.
-4
Let n(y) be the third derivative of -5*y**4/24 - y**3/6 - 2*y**2. Let d be n(-1). Let g = -2 - -2. Solve -a + 1 - d = g for a.
-3
Suppose 15 = -3*y + 51. Let g be (y/(-9))/((-8)/60). Solve g = -p - p for p.
-5
Suppose -3*j + 2*j = -9. Let a = j - 4. Solve v = -4*v - a for v.
-1
Suppose 0 = -3*c - 3*w + 9, 0 = -c + 2*c + 5*w - 15. Solve 7*l - 2*l - 5 = c for l.
1
Let i be (-6)/6 - (-2 - -1). Suppose i = 11*t - 7*t. Solve t = -3*y + 7*y for y.
0
Suppose 2*a - 22 = -4*s, 2*a - 3*s = 6*a - 24. Solve -a*n = 15 - 0 for n.
-5
Let s = 6 - 2. Suppose 4*q = 2*t - 26, -t - 2*q = 2*q + 11. Let x = -5 - -8. Solve t + s = x*m for m.
3
Let o(s) = -s**2 - s. Let a be (2 + -2)/((-6)/3). Let w be o(a). Solve 2*x = -w*x for x.
0
Let h(l) = l - 1. Let o be h(2). Suppose -k + 2 = o. Let m be (-4)/k*(-5)/4. Solve -j + m*j = -12 for j.
-3
Suppose -7*o + 3*o + 20 = 2*v, -3*o - v + 15 = 0. Suppose 5*p + 1 = 2*n, 2*n + 2*p - o = 3*p. Solve n*l - 20 = -l for l.
5
Suppose 2*f = -0*f. Suppose -3*i + f*i = -9. Solve 0 = j - 0*j - i for j.
3
Let v be 12*(-15)/12*-6. Suppose 0 = -0*r + r + 4*s - 40, 5*r - 2*s - v = 0. Solve 3*m - r = -m for m.
5
Let a = -45 - -48. Solve 0 = -l + 8 - a for l.
5
Suppose -5*m - 19 = 4*b, -3*b - 2*m - 6 - 3 = 0. Let n(c) = -3*c + 1. Let l be n(-1). Let d be (3 - l)*-1 + b. Solve d*u = -5*u for u.
0
Suppose -5*s + 15 = -3*v, -2*s - 2*v + 15 = 3*s. Solve 3 + s = 2*a for a.
3
Let g(m) = -m**3 - 2 - 2*m**2 + 14 + 13*m**2 - 11*m. Let h be g(10). Let k = h + 0. Solve 6*u = k*u for u.
0
Let p = -66 + 66. Solve -r - r - 4 = p for r.
-2
Suppose 3*r + 2 = 11. Suppose s = -r*s + 44. Let f be -8*(1/2 + -1). Solve f*h - 3 = -s for h.
-2
Suppose 6*c - 14 = 5*c. Solve 0 = -5*z + 6 + c for z.
4
Let o be (-4)/(-26) + 128/13. Solve -o = y + y for y.
-5
Suppose 0*c - 44 = -4*c. Let l = c + -5. Solve -2*y = -5*y - l for y.
-2
Suppose 0 = 4*x + 8, -f + 2*x - 6*x - 5 = 0. Let o = f - -3. Suppose 3*c - o*c = 0. Solve 2*v - 7*v + 25 = c for v.
5
Let n(m) = -4*m - 3. Let a be 3/(-3)*1*2. Let u be n(a). Solve -u*p - 21 + 6 = 0 for p.
-3
Let c(r) = -r**3 + 4*r**2 - 2*r - 3. Let w = 4 + -1. Let p be c(w). Suppose -4 = -v - p*v. Solve v = 2*s + 2 for s.
1
Suppose 3*r = r. Solve -3*q - q - 20 = r for q.
-5
Let p be 2*2/(-12)*-6. Suppose a - 7 = p*a. Let t = a - -11. Solve -2*i = -6 - t for i.
5
Let v(w) = w - 4. Let s be v(9). Solve 0*b = -s*b for b.
0
Suppose 40 = 5*p - 0. Let o = 142 - 130. Solve 4*x = p + o for x.
5
Suppose 13*g - 17*g = -8. Solve 4*y - g*y - 4 = 0 for y.
2
Let r(v) = v**3 - 12*v**2 + 20*v. Let g be r(10). Suppose 0*q = -2*q + 2. Let n = 1 - q. Solve -2*d + n*d = g for d.
0
Let l = -4 + 4. Suppose 4*s - 9 - 7 = l. Solve -q - 15 = s*q for q.
-3
Let h(x) = -x**2 + 4*x + 5. Let d be h(4). Let c(b) = -b**2 + 6*b. Let t be c(d). Solve -1 - 4 = -t*k for k.
1
Suppose 23 + 2 = -w. Let x be ((-2)/(-5))/((-5)/w). Solve m - x = -0*m for m.
2
Let p = 34 - 30. Suppose -3 = -0*z + z - 3*k, 21 = 4*z - k. Suppose -z*f = -5*f - 8. Solve -p*c - f - 8 = 0 for c.
-4
Let o be -5 - (-23 - (-2)/2). Solve -1 = -4*p - o for p.
-4
Suppose -4*k = -5*k + 2*u + 12, 5*k = -5*u + 60. Let y be (0/2)/(-3)*-1. Let v be (2/5)/(2/20). Solve y*f = -v*f + k for f.
3
Suppose -3*t + 12 = d, t = -t - 3*d + 1. Solve -4*f + 3 = -t for f.
2
Suppose 3*f = 6*f. Let a = -5 - -8. Solve -r + f = -a for r.
3
Let y(k) = k**3 + 2*k**2 - 2*k. Let h be y(-3). Let r be (-11)/h - 3/(-9). Solve -10 = -r*j + 6 for j.
4
Let l be (-10 - -9)*-1*67. Suppose 17 - l = -2*g. Solve 7*p = 2*p - g for p.
-5
Let g be (-4 + 7 - 3)/1. Solve 4 = b - g for b.
4
Suppose -17 = -5*x + 2*a + 2*a, 15 = 5*x - 5*a. Solve -x*u + u = -12 for u.
3
Suppose -4*f + 35 - 11 = 0. Solve 5 = -f*a + a for a.
-1
Suppose -5*t + 38 = -27. Suppose 2*g = -5*d + 1 + t, 0 = -2*g + d + 14. Let m(i) = -i**3 - 2*i**2 - 3*i - 3. Let f be m(-2). Solve -f*n = -g*n - 8 for n.
-2
Let u = 5 - 2. Suppose -u*b + 20 = 2*b. Solve b = -0*k - 2*k for k.
-2
Let z be 9/(-6)*28/(-6). Let n = 16 - z. Let f = -6 + 10. Solve n = f*b - b for b.
3
Let j(o) = 3*o - 4. Let p be j(4). Suppose -2 + p = 2*l. Suppose 5*a - 4 = l*d, -4*d + 0*a = 4*a - 16. Solve -7*y = -d*y - 5 for y.
1
Let x(i) = i**2 - 5*i + 7. Let d be x(5). Let g(k) = 5*k**3 - 2*k**2 + 5*k**3 + 3 - 11*k**3 + 9*k**2. Let r be g(d). Solve 0*p = r*p + 15 for p.
-5
Let n = 0 + 1. Let y = -6 - n. Let v = y - -10. Solve -m - 6 = -v*m for m.
3
Let t be 2*-3*8/(-12). Suppose 2*m = 3*b - 0*b + t, b = 4*m + 2. Let l = b + 2. Solve l = -0*r - r for r.
0
Suppose 0 = 2*i - 0 + 8. Let l(c) = -6*c - 10. Let k be l(i). Solve -k = -5*g - 4 for g.
2
Suppose n + 12 = 2*n. Solve -3*l + 6*l + n = 0 for l.
-4
Suppose 2*b = -4*t - 10, t = 2*b - b + 2. Let h = t - -3. Solve -10 = h*d - 4*d for d.
5
Let c be (-2)/(-10) - (-3)/(-15). Solve c = -u + 2*u for u.
0
Let t = -10 - -14. Solve 0 = s - t*s - 12 for s.
-4
Let r(q) = -q + 1. Let j be r(-5). Let c(n) = j*n + 5 + n**2 - 2 - 2. Let u be c(-6). Solve 2*t - 7 = -u for t.
3
Suppose 5*z - 2*y = 60, 0*z = -3*z - 2*y + 52. Let g be ((-7)/z)/((-2)/12). Solve g*n = 8*n for n.
0
Let q be 22/4 - (-6)/12. Solve q + 9 = -5*c for c.
-3
Let q be 1*(-12)/(-3) + -4. Solve d - 2*d - 5 = q for d.
-5
Suppose -5 - 5 = 5*i - 5*d, -25 = -5*i - 2*d. Suppose -6 = -6*k + i*k. Suppose k*g + 2 = 3*g. Solve -4*c - 22 = -g for c.
-5
Let x = -52 - -55. Solve 3 + x = 2*r for r.
3
Let y = -24 - -34. Solve y = -7*r + 2*r for r.
-2
Suppose 6 = 4*o - o. Suppose 2*f + 2*b + 3 = 11, b = -o. Let r be (-2)/(-4) - (-14)/4. Solve -f*h = -r*h - 10 for h.
5
Let y(a) = -a + 9. Let l be y(6). Suppose 4*z - 12 = 0, 0 = -l*n - 4*z - 12 + 3. Let k(u) = -u - 7. Let r be k(n). Solve r = o - 1 - 3 for o.
4
Let g be 2/((-4)/(-2))*0. Let j = g - 0. Solve j = 4*n - 3*n + 5 for n.
-5
Let j = 46 - 42. Solve 0 = j*x - 7 - 5 for x.
3
Suppose v - 24 = -3*v - 2*d, -2*v = 4*d. Suppose -v - 2 = -5*m. Solve m*a = -a - 9 for a.
-3
Let c = -8 + 6. Let d(t) = t + 6. Let n be d(-5). Let s = n - c. Solve s*h + h = 0 for h.
0
Let d(q) be the third derivative of -q**4/24 - 2*q**3/3 + 7*q**2. Let m be d(-7). Solve -1 = -n - m for n.
-2
Let f = 2 - 9. Let q = f - -15. Solve 5*c + 2 + q = 0 for c.
-2
Suppose -3*u - 30 = -0*u. Let t = u - -13. Solve -2*x + t*x - 4 = 0 for x.
4
Suppose -5*o + 33 = 2*v, -2*v - 4*o = v - 32. Suppose 7 = v*z - 21. Suppose 5*a + r - 2 = 0, -2*r = 4*a + 3 - z. Solve a = 3*s - 5 - 4 for s.
3
Suppose -2*q = -0*q - 4. Let d = 4 - q. Solve d = t - 3*t for t.
-1
Let d(w) = -w**2 - 8*w - 5. Let k be d(-7). Solve x - 1 = -k for x.
-1
Suppose b + 2*b - 36 = 0. Let y(l) = -l**3 + 13*l**2 - 11*l - 12. Let m be y(b). Let r(i) = -i - 1. Let u be r(-5). Solve -h + 3 - u = m for h.
-1
Let d be 2/(-6) - (-52)/12. Suppose -d*z - 15 - 9 = 0. Let b be (z/(-3) - 2) + 3. Solve 4*u - b = 9 for u.
3
Let w(k) = 2*k**2 - k + 1. Let t be w(1). Let j be (51/6)/(1/t). Solve j = -5*v + 7 for v.
-2
Suppose 4*y - 23 + 3 = 0. Suppose -3*t + y*t - 2 = 0. Let v = t + 2. Solve -4 = v*l - l for l.
-2
Let m be 2 - -1*2*-1. Let r(f) = -f**3 + 4*f**2 + 6*f - 3. Let u be r(5). Solve m = -0*k + k - u for k.
2
Let n be 3/(-6)*(0 + 0). Let o = 2 - n. Let y = o + 0. Solve 9 = y*m + m for m.
3
Let z be -1*(-2 + 2 - 1). Suppose u - 1 = z. Suppose u*v - 6 = -v. Solve v*r + 9 = -r for r.
-3
Let d(y) = -y**3 + 5*y**2 - 3*y + 2. Let v be d(2). Suppose -c = 4*g - 12, g + 3*g = 4*c - v. Let x = 6 - c. Solve 3*u - 2 = x*u for u.
2
Let z be 0/(0/4 + 1) - 0. Solve y + z*y + 1 = 0 for y.
-1
Let d be (-1)/2 + 21/14. Suppose d = -5*o + 6. Solve -n + 1 + o = 0 for n.
2
Let n be (-10 + (3 - 2))/(-1). Let g = n - 6. Solve 12 = g*f - 0 for f.
4
Let j = -23 + 25. Solve j*d + 1 = 3*d for d.
1
Let v(w) be the third derivative of w**5/60 + w**4/3 + 3*w**2. Suppose o = -3*o + 5*a - 12, 5*o + 56 = -4*a. Let l be v(o). Solve 2*h - 4*h + 8 = l for h.
4
Let b(y) = -3*y + 6. Let a be b(0). Solve -a*h = -2*h for h.
0
Suppose 10*k + 2*c - 14 = 5*k, 2*k = -5*c + 14. Let y be 2/6 - 5/(-3). Solve -m + y = -k*m for m.
-2
Let n(h) = -h + 3. Let t be n(3). Solve 6*i - 3*i - 15 = t for i.
5
Suppose 2*y - 23 = 8*x - 3*x,