 + m = 3*x for x.
5
Let w be (9 - 5)*(1 + 0). Solve w*n + 6 = -2 for n.
-2
Suppose 4*h + 17 = 1, -5*h = -5*p + 45. Solve p*u = 4*u for u.
0
Suppose 2*m + 12 = 3*j + 32, -5*j - 5*m - 25 = 0. Let v(x) = x**3 + 6*x**2 - x + 3. Let k be v(j). Solve -k = -4*t + 7 for t.
4
Suppose -3*x = 6, -4 = -2*b + 6*b + 2*x. Suppose b = -j - 3*j. Let r = j - 0. Solve r = s + 2*s for s.
0
Let y = -84 + 87. Let a = -6 + 11. Solve a*g = y*g - 10 for g.
-5
Suppose -4*z + 2*z + 10 = a, 5*z - 5*a + 5 = 0. Suppose i - 6 = -z*y + 4*i, -3*y + 5*i + 4 = 0. Solve -2*s = -y + 1 for s.
1
Let n = 19 - 15. Solve -n = 4*o + 8 for o.
-3
Suppose -5*s - 10 = 0, 0*d + 4*s - 12 = -4*d. Solve 0 = -5*q - d - 5 for q.
-2
Let n(g) = g**2 + 3*g + 3. Let v = -3 - -2. Let p be (v + 2)*(-9)/3. Let i be n(p). Solve -m = -7 + i for m.
4
Let a = -7 - -14. Let d be 2*(1 - 2)/(-1). Solve 25 = -d*o + a*o for o.
5
Suppose 27 = 6*u - 3*u. Solve 3*s + 6 = -u for s.
-5
Let d = 10 + -6. Let c = d - 4. Suppose 2*s + c*s - 5*x = 30, 4*s = -5*x. Solve 6 = s*z + 1 for z.
1
Let y = -43 + 49. Solve -h - 2 = -y for h.
4
Suppose 4*w - 2 - 6 = 0. Solve i - 4 = -w for i.
2
Suppose y + 3*o = -y + 15, 2*y - o - 3 = 0. Let h be y + -2 + (-2 - -2). Let m be (-35)/5*-1*h. Solve -20 = -m*v + 3*v for v.
5
Suppose 0 = p - 0 - 3. Let q = 5 - 3. Suppose -b = -3 + q. Solve -p*o - 14 = b for o.
-5
Let j(x) be the third derivative of x**4/24 - 2*x**3/3 - 3*x**2. Let b be j(6). Let s = -13 - -25. Solve s = -c - b*c for c.
-4
Let n = -1 + -7. Let u be (-6)/9 - n/3. Solve u*r = r for r.
0
Suppose -6*b + 3*b - 84 = 0. Let j be (b/5)/((-2)/10). Let w = j + -18. Solve -w - 15 = 5*f for f.
-5
Let i = 6 - 4. Suppose 0*o = -i*o + 4. Solve 0 = x + o*x + 12 for x.
-4
Let n(y) = -3*y + 1. Let m be n(-4). Let h = -10 + m. Solve -h = -5*b + 7 for b.
2
Let s be 1/(-5) + (-22)/(-10). Suppose -3*o = -s - 1. Solve 6 = -x + o for x.
-5
Let v(t) = t**2 - 3*t - 5. Let n be v(4). Let h = n - -2. Solve -h - 4 = -5*b for b.
1
Let s(k) = k**3 + 5*k**2 + 3*k + 1. Let y be s(-4). Suppose 0 = 4*x + x - 160. Suppose -2*p = -2*t, 5*t = p - 4*p + x. Solve -y*r = -r - t for r.
1
Let y = -49 - -49. Solve -5*g + 5 = -y*g for g.
1
Suppose 0*l = -l, -2*u + 6 = -3*l. Suppose 1 = o - 6*p + p, 0 = -p. Solve o = -u*d - 2 for d.
-1
Let p(m) = -6*m**3 - 4*m**2 + 5*m**3 - 1 + 2*m**2 + 2 - m. Let f be p(-2). Solve f = 2*l - 1 for l.
2
Let m be -2*((-10)/4)/5. Suppose 7 = t + m. Solve -3*q + 5*q = t for q.
3
Let j be -1 - 9/(-3) - -18. Let o = -1 + 5. Suppose -o*q + 2*q = 0. Solve -i - 4*i + j = q for i.
4
Suppose -y + 3*y = 0. Let z = y - -2. Suppose 5*x = 4*t + 16, t + 4 = 2*x - 0*t. Solve z*k - 3 + 1 = x for k.
1
Let f = -7 - -20. Suppose w = -4*s + 1 + 15, -s + 2*w + f = 0. Suppose -3 + 18 = g - s*h, -3*h - 9 = -4*g. Solve 20 = -5*d - g*d for d.
-4
Let g be (14/(-4))/((-3)/6). Let p = -5 + g. Solve 11 = 3*k + p for k.
3
Suppose 0 = -l + 2. Suppose -4*x = -5*x + l. Let z = 5 - x. Solve -z*q = -0*q for q.
0
Let s be ((-24)/(-15))/(2/10). Suppose -4*w + 0 = -s. Solve 0 = -w*m - 2*m - 8 for m.
-2
Let v(w) = -2*w**3 - 11*w**2 + 8*w + 12. Let s be v(-6). Solve 2*p + s = 6 for p.
3
Suppose 3*w = 3*r - 15, -12 = 3*w - 3. Suppose -r = -h + 2, 3*z - 20 = -5*h. Solve z*q + q - 2 = 0 for q.
2
Suppose -5*z - 20 = -z. Let b(k) = k**2 + 4*k + 4. Let i be b(z). Solve 4*r - i = r for r.
3
Let y be 4/(5/(10/4)). Suppose a + y - 4 = 0. Solve o - a = -1 for o.
1
Let p(g) = -g + 7. Suppose 2*o = -2*o + 24. Let q be p(o). Let i be q/(-3 + (3 - -1)). Solve i = 2*n + 9 for n.
-4
Let s be -32*(-6)/60*5. Solve 2*x - s = -2*x for x.
4
Let f be (-2)/(-8) - 2/8. Suppose n + f = 1. Suppose -n - 3 = -2*a. Solve -3*o = 8 - a for o.
-2
Let d be (8/4)/(-1*(-6)/9). Solve -12 = -d*j - 0*j for j.
4
Let h(u) = u**3 - 6*u**2 - u + 8. Let f be h(6). Suppose 0 = f*o - 0 - 4. Solve -8 = o*p + 2 for p.
-5
Let i(h) = h**2 - 14*h + 5. Let x be i(14). Solve -x*q + 0*q - 10 = 0 for q.
-2
Let b(c) = -c**3 - 18*c**2 - 16*c + 33. Let k be b(-17). Solve -r + k = 18 for r.
-2
Suppose -4*x = x. Suppose 0 = -4*d - x*d. Solve 5 = -d*h + 5*h for h.
1
Let g(s) = -5*s**3 - 9*s**2 + 6*s + 6. Let r(y) = -4*y**3 - 8*y**2 + 6*y + 5. Let z(o) = -3*g(o) + 4*r(o). Let n be z(-6). Solve -6 - n = 4*d for d.
-2
Suppose -19 = 3*f + 5*r - 53, -22 = -4*f - 2*r. Let u be 2/6 + 11/3. Solve -u = -f*q - 1 for q.
1
Let c be 4 + -2 + -1 + 3. Solve 0 = -0*q + c*q + 16 for q.
-4
Let r = -12 + 15. Suppose -3*c + 3*k - r = -12, k + 2 = 0. Solve u = c + 3 for u.
4
Let l = -15 + -4. Let w = 20 + l. Solve 2*v + w = -3 for v.
-2
Suppose 3 + 2 = -5*c. Let j be -5*(-12)/(-20)*c. Let w be 1/(-2) - 13/(-2). Solve j*d - w = d for d.
3
Suppose v + 0 - 5 = -5*w, 0 = -3*w - 5*v + 3. Let s = 2 - w. Solve z - s = -5 for z.
-4
Suppose -7*g + 3*y - 1 = -2*g, 0 = 3*g + y - 5. Let u = 3 - g. Suppose 0 = u*z + 3*z. Solve z = -q + 5*q for q.
0
Let t be (1 + (-4)/4)/3. Suppose 0 = 2*b - 4*g - 20, -2*b + 15 = -6*g + 3*g. Suppose b = -3*u - u. Solve u*q + q - 1 = t for q.
1
Let w be -5*(3 + (-38)/10). Suppose 6 = 5*y - w. Solve y*a + 20 = -3*a for a.
-4
Suppose -2*m = -m - 14. Let r be 4/(-14) + 102/m. Solve 5*z - 2 + r = 0 for z.
-1
Suppose 5*q = 2*q. Solve l + q = -5 for l.
-5
Suppose 0 = -2*f + 4 + 4. Solve 10 = -l - f*l for l.
-2
Suppose 27 = -5*f + 8*f. Suppose -7*r = -2*r - 80. Solve 0 = -5*u + f + r for u.
5
Suppose -4*i = 5*m - 36, -19 - 5 = -m - 5*i. Solve -7*s + 5*s = -m for s.
2
Let f be (3 - 0)/((-2)/6). Let q = f - -12. Let z be (-4)/10 - (-2)/5. Solve q*g + 7 + 2 = z for g.
-3
Let b be 4/(-10) - 66/(-15). Suppose 5*j - 12 = d, -j - b = -4*j - d. Suppose 2*y - x - 2 = 8, 3*y - 3*x = 18. Solve -14 = -y*q + j for q.
4
Let o = 43 - 35. Solve -o + 4 = l for l.
-4
Suppose a - 6*a + 10 = 0. Let s(x) = 2*x + 8. Let z be s(4). Solve -2*n - z = a*n for n.
-4
Suppose 3*d - 4 = 17. Let c = d + 3. Let a = c + -10. Solve a = o - 1 - 1 for o.
2
Suppose -40 = -2*j - 3*j - 5*p, -4*j + 24 = 2*p. Suppose -j*n = 3*r + 14, 0 = -4*r - 5*n + 6 - 23. Solve r*z - 25 = 7*z for z.
-5
Suppose -3*a = 5 - 77. Suppose u = 4*u + a. Let l be 1/(-1 - u/6). Solve 4*z = z + l for z.
1
Let c(m) = m**2 - 10*m + 10. Let p be c(8). Let i be 3/(p/4)*-1. Solve -3 = -i*n + n for n.
3
Suppose 3*z = 2*m - 24, -4*z = -4*m - z + 54. Solve m = 3*o + 3 for o.
4
Suppose 0 = o + 3*t - t - 3, -5*t - 30 = -5*o. Solve -3*p + o = 2*p for p.
1
Suppose d - 201 + 198 = 0. Solve -s = -d - 2 for s.
5
Suppose u + 1 = -2. Let g = u - -5. Solve 0*x - 2 = g*x for x.
-1
Let h = -2 + 4. Solve 0 = 5*r - h*r + 3 for r.
-1
Let x = 23 + -16. Let h(m) be the first derivative of -m**2/2 + 9*m - 3. Let y be h(x). Solve -l + 0 = y for l.
-2
Let r = -40 - -85. Let x = -25 + r. Solve t + 4*t = -x for t.
-4
Suppose -3 - 5 = -2*k. Solve -2*h - 6 = k for h.
-5
Suppose -5*i + 100 = -v + 3*v, -5*i + 2*v = -100. Let z be 1/3 + (-3)/9. Suppose z = -d - 3*s + 12, -5*d - i = s - 6*s. Solve 1 + d = -q for q.
-1
Let f(g) = g - 8. Suppose x - 4 = 0, -j = j + 5*x - 40. Let t be f(j). Solve 0 = -t*l - 2*l - 12 for l.
-3
Suppose 0 = 5*o - 5. Let q be (o - 5)/(-1) + 1. Solve q*b + 4 = -16 for b.
-4
Let u(m) = m - 2. Let s be u(6). Let j = -35 + 37. Solve 0 = -2*n + s - j for n.
1
Let g = 1 - 2. Let n = -1 - g. Solve n = -6*l + 3*l + 6 for l.
2
Let v(u) = u**3 - 6*u**2 + 6*u - 1. Let j be v(5). Solve -j*o = -8*o - 16 for o.
-4
Suppose -5*l - 2*x = 3*x - 45, -4*x = 4. Solve 0 = -5*r + 3*r - l for r.
-5
Let s(f) = -3*f**3 - 13*f**2 - 10*f. Let b(w) = 2*w**3 + 13*w**2 + 11*w. Let r(g) = 4*b(g) + 3*s(g). Let n be r(14). Solve -4*i - 20 = -n*i for i.
-5
Suppose 4*o - 3*o - 5 = 0. Suppose -o*r = -r. Solve 3*i - 6 - 6 = r for i.
4
Let o = 22 - 16. Suppose 5*g - g + 8 = 4*n, 0 = n - 2*g. Solve -10 - o = -n*h for h.
4
Let l be 0*(-4)/40*-5. Let h be 2/(0 + 4/6). Solve -h*m - m + 8 = l for m.
2
Let d be -4 + 2/(8/36). Solve 14 + 1 = d*w for w.
3
Let l be 15*3/6*2. Solve 4*k - k - l = 0 for k.
5
Let v = 38 - 86. Let l be ((-80)/v)/((-10)/(-12)). Solve 0 = -0*b + l*b + 2 for b.
-1
Let k = 19 - 13. Solve -4*q = -q + k for q.
-2
Let m be ((-18)/(-15))/(2/5). Suppose -m*k + 19 = 5*o, 0 = -0*o + 3*o + 2*k - 12. Suppose 5*y + 5*g - 3*g = 66, -4*g - 36 = -4*y. Solve q = -o*q + y for q.
4
Let q(v) = -v + 6. Let w be q(4). Solve -w - 1 = -3*g for g.
1
Suppo