 c be t(-5). Solve r + 3*r = c for r.
0
Suppose 4*a + 0*a + 8 = 0. Let w be (4/8)/(a/(-8)). Solve 16 = 6*v - w*v for v.
4
Suppose -2*c + 3*c = 6*c. Solve d + d = c for d.
0
Let w = -35 + 39. Solve -15 = -s + w*s for s.
-5
Let o = 16 + -10. Suppose o*g - 6 = 4*g. Solve -g*d + 10 - 1 = 0 for d.
3
Let d be ((-1)/(-3) + -1)/(2/(-15)). Solve 0 = k - 1 + d for k.
-4
Let w be (-6 - -7)/(2/8). Solve s - w*s = -6 for s.
2
Let n(h) = -2*h - 4. Let p be n(-4). Suppose -23 = -p*j + 57. Suppose o - j = -o. Solve -5*u + 10 = -o for u.
4
Let l(u) = -u - 3. Let t be l(-3). Solve 4*x = -t*x + 4 for x.
1
Suppose 5*r + 3*b = 19, -3*r + 2*b = -b - 21. Solve 1 = -r*g + 6 for g.
1
Suppose b - 2*z = z + 8, -3*z - 9 = 0. Suppose -5*a = 4*p - 28, 3*p + 12 = 4*a + p. Let m = b + a. Solve m*c + 4 = -8 for c.
-4
Let w(r) = -r - 2. Let a be w(-2). Solve 2*g + 10 = -a*g for g.
-5
Let b(z) = z**2 + z - 4. Suppose -6*p + 9*p - 9 = 0. Let j be b(p). Solve q + 3*q = -j for q.
-2
Let h(t) = -t**3 - 2*t**2 - t. Let u be h(-1). Suppose j + k - 5 = 0, u = 2*k - 3 - 7. Solve 0*y - y + 1 = j for y.
1
Suppose o + 4*o = 35. Let f(n) = -n - 4. Let u be f(-12). Solve -o*s = -3*s - u for s.
2
Suppose 0 = 4*b - 3*p - 8, 4*b + 3*p - 28 = p. Let o = 47 + -27. Solve y + o = b*y for y.
5
Suppose 7*n = 3*n. Suppose b + 3*q = -8, 0 = -2*q - n*q - 8. Suppose 0*v + 20 = b*v. Solve 0 = v*s + 11 - 6 for s.
-1
Let g = -34 + 39. Solve -5*j + 0 = g for j.
-1
Let o be 0 - 16 - (3 + 0). Let r = -16 - o. Solve 6 = r*k - k for k.
3
Let z = -4 + 12. Let g be (z/6)/(4/6). Solve g*n - 3 = n for n.
3
Let q be 1 - 4 - (-2 - 4). Solve 4 = -q*x - x for x.
-1
Let k be (-21)/14 - 3/(-2). Solve k = -2*j - 6 + 10 for j.
2
Suppose 12 = 3*o - n, 5*o - 2*n + n - 18 = 0. Solve -c = -o*c for c.
0
Suppose 27*k - 12*k = 75. Solve -k = 5*y + 15 for y.
-4
Let h = -41 - -44. Solve h*l - 20 = -l for l.
5
Let y(w) = 6*w - 38. Let x be y(8). Solve -v = v - x for v.
5
Let m be (10/(-75)*-6)/(1/20). Solve 0*h - 4*h = m for h.
-4
Let p(i) = i**2 - 4*i + 3. Suppose -12 = 2*c - 6*c. Let x be p(c). Suppose 0*g - 3*g = x. Solve g*r + 12 = -4*r for r.
-3
Suppose 0 = -2*v + 4*v - 6. Solve v*q = -3 - 12 for q.
-5
Suppose -5*g + 101 = 4*i, 18 = -3*g + 4*i + 85. Let r = -16 + g. Solve -5*f - r = -15 for f.
2
Let y be ((-2)/(-7))/((-11)/(-231)). Let n = 3 - 0. Solve -n*t = -t - y for t.
3
Let h = 1 + -6. Let t be 0 - (1 + h + 0). Let m = 5 - t. Solve p = -m + 6 for p.
5
Let q = 2 - -7. Solve q + 11 = 4*s for s.
5
Suppose 0 = 2*p - 0*p - 6. Suppose -b = 3*z - 62, -z + 24 = p*b - b. Solve -n = -5*n - z for n.
-5
Let d = -18 + 18. Let a(u) = 4*u - u + 1 - 2. Let y be a(2). Solve y*h + 5 + 0 = d for h.
-1
Suppose -4*s + 20 - 4 = 0. Suppose s*g = 24 - 8. Suppose -g*i = i. Solve 2*t = -10 - i for t.
-5
Let s(o) = -o - 5. Let d be s(-11). Solve -u - 25 = -d*u for u.
5
Suppose g + 15 = -u - 2*g, -5*g - 25 = 3*u. Suppose 5*w + 2*m + 4 = 13, -m - 6 = -w. Let v be (-8)/(-1*3/w). Solve u = -c - c + v for c.
4
Let g(n) = n - 8. Let y be g(11). Solve -15 = 2*j + y*j for j.
-3
Let l = -46 + 48. Solve 3*n - 10 = -l*n for n.
2
Let q = 16 - 8. Suppose -r + q = -4. Let c be (-1)/3 - (-28)/r. Solve 8 = -c*j + 6*j for j.
2
Let q(f) = f**3 - 5*f**2 + 6*f. Let i be q(4). Solve -i*s + 5 = -3*s for s.
1
Suppose 3*d = -2*d - 2*s + 24, d - 5*s = -6. Let g be 0*(16/12)/d. Solve 10 + g = 5*z for z.
2
Let d = -5 + 12. Solve d = -i + 2 for i.
-5
Suppose 2*g + 488 = 6*g. Let r be (-8)/(-28) - g/(-14). Let j = -7 + r. Solve -j*c + 10 = -4*c for c.
-5
Let l = 51 - 50. Solve -l + 0 = o for o.
-1
Suppose 4*r = 5*r - 3. Solve -r*h - 2*h = 5 for h.
-1
Let x = 0 - 1. Let u be (-38)/(-6) + x/3. Solve u*a = a + 20 for a.
4
Let h = 17 + -16. Solve -5*f - h = 4 for f.
-1
Let r be 1*-2*27/(-6). Let c = r - 9. Solve c = -5*q - 29 + 4 for q.
-5
Let d(h) = -7*h + 4. Let z be d(-3). Suppose 0*r + z = 5*r. Suppose -5*p = -r*g - 10, -3*p + 5*g - 2 = -0. Solve -p + 1 = i for i.
-5
Let v = 39 + -23. Suppose -2*z = 2*s - 10, -17 = 5*s - 10*s - z. Solve -s*o - o = v for o.
-4
Let b(q) be the third derivative of -q**5/60 + q**4/4 + q**3/2 - 4*q**2. Let i be b(6). Solve 0 = 5*n - i + 28 for n.
-5
Let u(i) = 8*i**3 - 8*i**2 + 7. Let n(p) = 8*p**3 - 7*p**2 + 6. Let m(f) = -7*n(f) + 6*u(f). Let y be m(-1). Suppose -4*a = -y*a. Solve a = q - 5*q + 20 for q.
5
Suppose -6*w = 20 + 34. Let c(k) = k**3 + 10*k**2 + 7*k - 2. Let x be c(w). Solve 0*n - x = -4*n for n.
4
Let i = 38 + -26. Suppose -3 = -5*f + i. Solve f*a - a = -10 for a.
-5
Let f(p) = -7*p - 8 + 1 + 8*p. Let r be f(7). Solve -2*z + 4*z = r for z.
0
Let d(a) be the third derivative of 0*a - 2*a**3 + 0 - 1/12*a**4 - 4*a**2. Let y be d(-8). Solve -8 + y = -4*z for z.
1
Let h be (-3 + 9 - -44)*(-1)/(-2). Solve -h - 5 = 6*v for v.
-5
Suppose -5*f + 20 = 5*i, 4*i - 5*f - 1 - 6 = 0. Solve 0 = -4*g + i*g for g.
0
Let q be 1*12/(-1 + 4). Solve 12 = -0*p - q*p for p.
-3
Let q(u) = -u**2 - 14*u - 13. Let n be q(-13). Solve n*b - 5 = b for b.
-5
Suppose 0 = -4*o + 16, 4*c + 2*o - 24 = -2*o. Let v(r) = -r - 2. Let t be v(-4). Suppose -2*y - y = -j + 3, 26 = 4*j + t*y. Solve -j*f = -c*f for f.
0
Let u = 14 + -8. Let q(w) = -w**2 + 3*w - 2. Let m be q(2). Let o be (m + 4)*(7 - 6). Solve k = o*k + u for k.
-2
Suppose -t - 3*v - 11 = 0, 0 = -2*t - 0*v - 2*v - 2. Let y = -2 + 11. Let i(h) = -h**3 + 10*h**2 - 10*h + 9. Let b be i(y). Solve t + b = 2*x for x.
2
Let s be ((-68)/(-10) + -6)/((-4)/(-10)). Solve -s*f = -0*f for f.
0
Suppose -3*x - 8 = -m - 0*m, 0 = 5*m + x - 8. Solve 3*v = -m*v - 25 for v.
-5
Suppose 10 = -0*d + 4*d - 3*x, -5*x = 10. Suppose -2*k + 12 = -2*p, 4*k - 3*p - 28 = -k. Let c = k - d. Solve c*m = 2*m for m.
0
Suppose -27 - 57 = -12*n. Solve n*b = 12*b for b.
0
Let y(f) = 2*f**3 - 4*f**2 + f + 2. Suppose -3*j + 3*m = -0*j - 3, -2*m = 2*j - 6. Let p be y(j). Suppose -50 = -r - p*r. Solve -4*x - r = -2 for x.
-2
Suppose 4*a - t = -12 + 45, a = -5*t + 24. Solve 4*d - 25 = -a for d.
4
Let i(s) = -s**2 - 6*s + 18. Let n be i(-7). Solve -n = -2*g - 3 for g.
4
Let r(s) = -2*s - 9. Let g be r(-6). Suppose g*y = 7*y. Solve 0 = m - y*m for m.
0
Let o be ((-1)/3)/(2/6). Let n = o - -5. Solve 16 = -n*s - 0*s for s.
-4
Let m be (-62)/(-6) - 2/(-3). Let n be 0/(0/3 - 1). Suppose -v + 6 + 3 = n. Solve 4*a - v = m for a.
5
Let u be 0/(-6) + 0 - 2*-10. Solve 12 - u = -4*f for f.
2
Let d be -1 + 2 + (10 - 9). Suppose -6 = d*a - 10. Solve 0 = a*k - 6*k for k.
0
Let f be (1 + -2)/(((-3)/(-24))/(-1)). Solve 0 = -4*x - 4 - f for x.
-3
Let q(w) = -w**2 - 12*w + 2. Let f = -26 - -14. Let s be q(f). Solve 5*k - 3*k - s = 0 for k.
1
Let u be (0 - 6/(-2)) + 0. Solve u*s = 2*s - 5 for s.
-5
Let y = 15 + -11. Suppose 2*g = -2*v + y, 0*g + g = 5*v + 2. Let o be (4 - 4)/(6 - 8). Solve o*n - 5*n = v for n.
0
Suppose 2 = -c + 3. Let y be (-3)/1 + 7*c. Solve 0 = y*x - 13 + 5 for x.
2
Suppose -4*o + 2 = -2*l - 4, -4*o + l + 7 = 0. Let x = -2 + 2. Suppose -5*d + 3*i + 12 = x, 2*d + 1 = 5*i + 21. Solve -o*h - 2 = -d for h.
-1
Let y = -2 - -3. Suppose -j - 15 = -2*x, -5*x + j = 5*j - 31. Suppose 4*o - 3*o = -2*b + x, -3*o = -b - 14. Solve b = -t - y for t.
-2
Let o(u) = -3*u - 9*u - 10*u. Let q be o(-1). Suppose -4*r = 6 - q. Solve -2 = 5*h - r*h for h.
-2
Suppose 6 - 42 = 4*m. Let y(n) = -n**3 + n**2 + 4*n + 1. Let z be y(3). Let f = z - m. Solve -f*t = -t for t.
0
Suppose -2*u + 18 = c + 2*c, -2*u + 14 = c. Solve w = -w - u for w.
-3
Let t(r) = 5*r. Let x be t(5). Suppose 2*v = -3*v + x. Suppose v = 2*q - 19. Solve -5*w = -8 - q for w.
4
Suppose p = 4*p - 12. Let w be p/(0 + 6/9). Solve 0 = 5*o + 14 + w for o.
-4
Suppose -2*j - 12 = -3*p - 4, -p - 5*j - 3 = 0. Suppose 4*f + 2 = -2*v - 22, -12 = p*f - v. Let n be (-44)/f - 2/(-3). Solve n*r = 4*r for r.
0
Suppose -18*z + 20*z = 0. Solve z = 4*u - 0*u + 4 for u.
-1
Suppose 2*b = -6 - 6. Let a be (0*(-3)/b)/(-1). Solve a = -4*i + 1 + 11 for i.
3
Suppose 5*m - 3*n = -5*n + 51, 5 = m + 3*n. Suppose 0 = 16*a - m*a. Solve -w + 3 = -a for w.
3
Let c = 1 - 0. Suppose -3*d + 2 = -c. Solve r - d = 2 for r.
3
Let c be 1/(-2)*4/(-1). Suppose x - 5 = -2*b, 2*b + c*x + x = 11. Let d be (-3 + 3)*(-1)/(-2). Solve -a - 6 + b = d for a.
-5
Let z(a) = 3*a - 1. Let l be z(2). Solve 7 = l*r - 8 for r.
3
Let c be 4 - ((2 - 3) + 0). Suppose 4*