*u = 3*u + 3 for u.
-1
Suppose -3*d + 1 = -5. Suppose d = -3*h + 11. Solve -h*p - 12 = p for p.
-3
Suppose -25 = 5*b, -2*c + 2*b - 7*b - 21 = 0. Suppose -4*d + r + 11 = -5, c*d - 18 = -2*r. Solve -3*a - 8 = -d*a for a.
4
Let g = -1 - -8. Let s = g - 3. Let n be (-5 + 0)/((-2)/10). Solve i + s*i = n for i.
5
Suppose -l + 9 = 2*l. Suppose -4*s + c + l = 0, 2*c = 4*s + s. Solve -3 + 7 = -s*d for d.
-2
Let i = 25 - 23. Solve 0 = h + i*h - 9 for h.
3
Suppose -4*n = -0*n - 20. Let w be (1 + 5)/(-2) + n. Solve 0*h + 8 = -w*h for h.
-4
Let v = -30 + 30. Solve -x + 2*x = v for x.
0
Let z be (-15)/12 + (-2)/(-8). Suppose -2*y + 5*y + 3*x = -6, 4*x = -3*y - 10. Let f be y*-4*2*z. Solve -3*k = -f + 4 for k.
4
Let h(s) = 3*s**2 + 2*s. Let q be h(-2). Suppose 2*x = -0*x + 4. Suppose 3*d - 1 = -2*l, 2*d + q = 2*l - x*d. Solve l*y = 1 + 1 for y.
1
Suppose 2 = -2*x, 0*g + x + 9 = 4*g. Solve 0 = g*a + 1 + 3 for a.
-2
Let k(c) = -c**2 + 13*c - 12. Let i be k(12). Solve j + i*j = 4 for j.
4
Let a(i) be the second derivative of i**5/20 + i**4/3 - 5*i**3/6 + 7*i**2/2 + 3*i. Let u be a(-5). Let c be u/((-3)/(9/(-3))). Solve 3*g + 1 - c = 0 for g.
2
Let o(u) = 2*u**2 - 4*u - 4. Let b be o(6). Let w be (-2)/(-11) - 8/b. Let m be (-1 + -1 + 0)/(-1). Solve -4 = m*j - w*j for j.
-2
Suppose 3*c + 0*c - j = 31, -j = -c + 13. Solve c = -2*d + 1 for d.
-4
Let a(u) be the third derivative of -u**4/12 - 5*u**3/6 + 2*u**2. Let c be a(-4). Solve 2*j + c - 1 = 0 for j.
-1
Let y(q) = q**3 + 3*q**2 - 7*q - 3. Let i be y(-4). Suppose -g - 6 = -i. Solve -6*t = -5*t + g for t.
-3
Suppose 0 = -x - 56 - 4. Let t be (-4)/10 + x/(-25). Suppose 2*z = -0*z. Solve 0 = -t*k - 6 - z for k.
-3
Suppose -3*n = 4*g + 6, 4*g + 0*g + 10 = -n. Let m be (-16)/(-2)*(-6)/(-8). Let h = m + g. Solve 8 = h*s + s for s.
2
Let a = 3 - -1. Suppose 0 = -0*l - 2*l - 3*g + 15, -4*l + 5*g + 41 = 0. Suppose -l = 3*k - 6*k. Solve -k*z = -a*z - 5 for z.
-5
Suppose -5*p + 60 = -0*p. Let z be (p/8)/((-6)/(-20)). Solve 0*u = z*u - 15 for u.
3
Let f = -8 - -10. Solve -3 = f*l - 1 for l.
-1
Let f(v) = v - 6. Let r be (3 - 13)*-1 - -2. Let h be f(r). Solve h = 2*x + x for x.
2
Suppose -10 = -2*p + 4*a, 3*p - 2*a = 3 + 16. Let m = p - 4. Suppose -y + 3 = 2*d, -3*d + 2 = -2*y - 13. Solve m*z + d = 4*z for z.
3
Let o(b) = b**2 - b + 4. Suppose 0*j = -5*j. Let x be o(j). Solve -6 - 6 = x*u for u.
-3
Let j(n) = 2*n - 5. Let u be j(5). Suppose -y + 3*x + 7 = 0, 0 = -3*y - u*x + 3 + 4. Solve y*v = -16 + 4 for v.
-3
Let f(x) = x + 7. Let j(t) = t + 7. Let b(d) = 6*f(d) - 5*j(d). Let h be b(-3). Solve h*k = 3*k - 4 for k.
-4
Suppose 5*q + 22 + 68 = 0. Let u be (-4)/18 - 274/q. Solve -5*y - u = -0*y for y.
-3
Let d = -7 + 13. Let b be (d/(-9))/((-2)/3). Suppose -b = p - 4. Solve n - p*n = 4 for n.
-2
Let x(u) = -u**3 + 5*u**2 + 7*u - 2. Let s be x(6). Suppose 4*b = 4*a - 8, 0*a - 5*a + s = b. Let g be a/(-3) + 4/12. Solve 0 = -o - g + 1 for o.
1
Suppose 4*u + 2*z - 12 = 52, -3*u = -4*z - 59. Suppose -3*r = -24 - 0. Solve u = 5*v - r for v.
5
Let q = -56 - -57. Solve 0 = -y - q for y.
-1
Let z = 14 - 10. Suppose -2*c = 4*s - 2*s - 4, z*c - 4*s = 16. Solve c*o = 1 - 7 for o.
-2
Let k(j) = 4*j**3 - j**2 - 3*j. Let l(i) = i**3 - i. Let y(t) = k(t) - 3*l(t). Suppose 0 = -0*u - 5*u. Let q be y(u). Solve -4*c - 16 = -q*c for c.
-4
Suppose 0 = y - n + 2, -2*n = 5*y - n - 14. Solve 2*m + 0 = -y for m.
-1
Let n(k) = -26*k - 2. Let d be n(2). Let o be 6/(-15) - d/10. Suppose 3 = -p + o. Solve p + 6 = 2*h for h.
4
Let m be -1*-6*(-1)/(-2). Suppose -2*a - 12 = -5*n - 2, 2*a - 8 = -4*n. Solve a*w - m = w for w.
-3
Suppose 0 = -3*h - h + 8. Let d(v) = 2*v - 4 + 2 - 5 - 1. Let k be d(6). Solve k*n - h = 2 for n.
1
Suppose -3*o + 6*o = 0. Let u = 1 + 3. Let m = 6 - u. Solve m*t + o*t = 6 for t.
3
Suppose 0 = -2*a + 2*n + 2*n + 4, 0 = -4*n + 4. Solve a*x = 5*x + 1 for x.
-1
Let x(m) = m. Let u be x(1). Suppose -t - 5*i = u + 2, 3*t + i - 5 = 0. Let d be (t + 6 + 2)*1. Solve 3*g = -1 + d for g.
3
Let d be -12*9/(-12) + 2. Solve -4*c = -5 - d for c.
4
Suppose s = -5*q - 17, -s + 2*s + 3*q = -7. Solve 2*u - s = 6*u for u.
-2
Let b be 5/10*6 - 3*1. Solve -3*m + 0*m - 3 = b for m.
-1
Let b be 119/13 + (-26)/169. Solve 34 = -5*x + b for x.
-5
Let i(p) = -p**2 + 5*p. Let f be 7 + -3 + (-1 - -2). Let y be i(f). Solve y = 3*t + t - 16 for t.
4
Let a be 2 + (-2 - (-8)/2). Suppose -2 = a*u + 2. Let z(l) = -l**3 - 2*l**2 + 1. Let p be z(u). Solve p = -7*c + 2*c - 15 for c.
-3
Let k be (-3)/2 - (-9)/6. Suppose -c + 3*a - a = -7, 2*c - 2*a - 10 = k. Solve -12 + 3 = c*i for i.
-3
Suppose -12 = 2*t - 5*v, -3*v + 4 = -0*t - 2*t. Suppose -2*r = -6*r. Solve h + 3*h - t = r for h.
1
Suppose 0 = f + 2*f. Suppose f = z - 5*z. Suppose 3*j = 3*t + 9, 3*j + 4*t + 6 = -6. Solve -4*v + z - 8 = j for v.
-2
Suppose -5*l - 2*f = -4 - 6, 0 = -3*l + 2*f - 10. Solve g + 0*g = l for g.
0
Suppose 2*v + 0*v + 2 = -4*x, 51 = 5*v - 4*x. Solve -v*b - 12 = -3*b for b.
-3
Suppose 18*p + 6 = 19*p. Solve -3*h = -p*h for h.
0
Suppose 0 = 2*r + 4*b - 8, -2*r + 0*b + 2 = -2*b. Solve -r*l = -3*l + 1 for l.
1
Let i = 2 + 2. Solve i*a + 5 + 3 = 0 for a.
-2
Suppose 0 = 2*d - 11*d + 81. Solve 2*u + u = d for u.
3
Suppose -3*b + 7 + 2 = 3*s, 19 = 3*s + b. Suppose 0 = s*a - 4*a. Solve -d + 2 + a = 0 for d.
2
Let g = 2 + 1. Solve 8*x - g*x = 0 for x.
0
Suppose -4*a + 23 = -57. Let l = 23 - a. Solve l*h = -h + 20 for h.
5
Let d = -6 + 9. Solve d = i + 4 for i.
-1
Suppose 0 = -f - 3*f. Solve f = -v + 6*v for v.
0
Let l be 122/12 - 2/12. Let j be (4/6)/(l/15). Solve 2 = 3*c - j for c.
1
Suppose 5*x - 6 - 9 = 0. Solve -x*o = -2*o for o.
0
Let c(w) = 3*w**3 - 2*w**2 + 3*w - 1. Let k be c(1). Solve 0 = y - k + 1 for y.
2
Suppose -24 = -3*n - 18. Solve -n*b - 1 - 9 = 0 for b.
-5
Suppose -4*d = 7 - 19. Solve d*q = q for q.
0
Suppose -3*a + 2*a - 3 = -3*u, 3*u - 21 = -5*a. Suppose -5*j = -a*c - 19, -3*c - 2*c = 15. Solve j = 4*r - 6 for r.
2
Let l be 1 + (-4)/2 - -14. Suppose 8*d = l*d - 10. Solve -3*g - d*g = -25 for g.
5
Let j(n) = 9*n + 2*n - 12*n - 1. Let q be j(-3). Solve -3*p = q + 13 for p.
-5
Suppose 0 = -f + 1 + 1. Solve -f*k - 15 = 3*k for k.
-3
Suppose 0 = 2*d - 3 - 5. Let t be (-6)/2*d/(-6). Suppose 3*z - 21 = -3*r, 4 - t = 2*z - 2*r. Solve 0 = -m + z*m + 9 for m.
-3
Suppose 2 = -4*n + 10. Let q be 0/(2*n/(-4)). Solve 5*i + q*i + 5 = 0 for i.
-1
Let h(w) = w**2 + 5*w - 4. Let b be h(-6). Solve -c - 15 = b*c for c.
-5
Let i be (-58)/(-18) + (-2)/9. Suppose -i*g - g - 12 = -4*c, -4*c - 5*g = 15. Solve c = 3*f - 5*f + 10 for f.
5
Suppose 0 = 3*x + 5*q, -3*q = 4*x - x - 6. Suppose 11 = x*p - 14. Solve -p*k - 3 + 18 = 0 for k.
3
Let f = -2 - 0. Let k be (f/3)/(2/(-3)). Solve -k = -m + 3 for m.
4
Let j = 241 - 239. Let t(x) = 6*x**3 - x**2 - x + 1. Let i be t(1). Let v(w) = -w**2 + 4*w + 5. Let g be v(i). Solve -j*p = -g*p + 6 for p.
-3
Let w(f) = -3*f**2 - 4*f + 7. Let g(o) = -2*o**2 - 3*o + 5. Let z(b) = 8*g(b) - 5*w(b). Let y be z(-5). Solve 4*s + 0*s + 12 = y for s.
-3
Let j be 34/6 - (-21)/9. Let y be (-12)/3*(-2)/4. Suppose y*n + 3*n = 0. Solve j = -2*i - n for i.
-4
Suppose -l + 2*l = -2, 5*l = -3*k - 10. Solve -4*h - h = k for h.
0
Suppose -5*g + 10 = 0, -2*i + i = -2*g + 45. Let r = 77 + i. Let d be (-8)/r - (-38)/9. Solve -d*m - 7 = 13 for m.
-5
Let v be (-44)/10 - (-6)/15. Let w(m) = -m**3 - 5*m**2 - 6*m - 5. Let b be w(v). Solve 0 = -b*o + 3 for o.
1
Let y be 0 + 4/14 + (-1148)/(-98). Solve -v - 3*v = -y for v.
3
Let y be -3 + 0 + -1 + 12. Solve i + y - 6 = 0 for i.
-2
Let g(t) be the third derivative of -t**4/8 + t**3/6 - 5*t**2. Let y be g(-1). Solve y - 12 = -4*b for b.
2
Let w be (-54)/(-15) - (-9)/(-15). Solve 5*f - 7 = w for f.
2
Let k(w) = w + 6. Let t be k(-6). Solve t = -g + 2 + 2 for g.
4
Let h be ((-10)/(-30))/(2/12). Solve x = -h*x - 6 for x.
-2
Suppose 0*d - 3*d + 14 = 2*q, 5*d - 3*q + 2 = 0. Solve 0*v - 8 = -d*v for v.
4
Let i = -1 - -3. Suppose -k = -i*k + 9. Suppose 3*t - 5 = q - 2, -4*q - 5*t = -22. Solve -q*l = -21 + k for l.
4
Suppose 5*x - 20 = 3*n, -x - 4 = 5*n - 8. Solve -5*g + 0*g = n for g.
0
Suppose 4*z = -2*k + 14, 3*k = -2*k + z + 24. Suppose -100 = -5*w + k*j, 0*j = w + 5*j - 44. Solve w = 3*i + 9 for i.
5
Let l(x) = x**3 - x**2 - 2*x + 2. Let d be 5 - (0 + 2) 