
3
Suppose -83*g = -89*g. Solve -3*m + g*m = 0 for m.
0
Suppose -4 = -3*c + 2. Suppose -4*t = -c*t. Solve g = -t*g for g.
0
Suppose 0 = 4*n + 16*n - 240. Solve l - 5*l = -n for l.
3
Suppose 2*f - 4 = j, 5*f = 2*f + 2*j + 6. Solve -2*y = f*y + 16 for y.
-4
Let j be (15/9)/(2/6). Let z(b) = 3*b**2 - 2*b - 1. Let i be z(3). Suppose i + 0 = j*t. Solve -2 = t*x - 5*x for x.
2
Suppose 3*c = -5*x - 0*c - 17, x - 2*c = 7. Let g be (x - -2) + 3/1. Let r = -6 - -11. Solve 4*n - r*n = g for n.
-4
Suppose 17 = 2*w + 5. Suppose 0*c = -4*c + 20. Solve c*b + w + 4 = 0 for b.
-2
Suppose -2 = b - 2*b. Solve -4*a = -b*a for a.
0
Let o(f) = f**2 - 13*f + 13*f + 5 - f**3. Let s be o(0). Solve 5 = -0*q + s*q for q.
1
Suppose 30 = 2*q - 5*y, 2*y - 7 = -3*q - 0*y. Suppose -5*s = q*a + 20, 0 = 4*a - 2*a - 4*s - 16. Solve a = -3*i - i for i.
0
Suppose -7*a = -3*a - 24. Solve -4 - a = 2*x for x.
-5
Let c = 3 - -10. Solve 5*f + 2 = -c for f.
-3
Let x = -3 - -5. Solve 0*w = w - x for w.
2
Suppose 3*z - 3*f - 6 = 0, 0*z - z + 4*f + 2 = 0. Suppose -z*u + u = 0. Suppose u*d + 4 = 2*d. Solve 9 = b + d*b for b.
3
Let z be (16/10)/((-16)/(-40)). Solve -2*j = z*j for j.
0
Let v = 36 + -33. Solve 0 = v*t + 12 - 0 for t.
-4
Let p be 5/(5/(-2)) + 5. Suppose -k = j - 18, 50 = p*k + 2*j - j. Suppose 5*i = 3*w + k, -4*i + 2*w = -5*i - 2. Solve 0 = 3*x + i - 8 for x.
2
Let p be (-10)/(-20)*2*3. Solve -2*b + 1 = -p*b for b.
-1
Suppose 0 = -h - 3*h + 12. Suppose -3*a + 15 = -h*s, -5*s + 3*s = a + 10. Suppose 2*m + 5*t - 23 = 0, 2*m + 4*t = -a*m + 20. Solve -6 = m*c + 2 for c.
-2
Suppose -8 = 3*t + 5*d, 6*t - 4 = t - 4*d. Solve t = c + c for c.
2
Let f be (-52)/(-4) + (-6 - -3). Let q be 0/((-3)/(-4)*4). Solve 5*d + f = -q*d for d.
-2
Let u be -2*(7/2 - 3). Let c = 2 - u. Solve -7*q + c*q - 4 = 0 for q.
-1
Suppose 0*i + i = -4. Let x be ((-3)/(-2))/(-3)*i. Suppose -t - x*t = -6, 2*t = 5*f - 71. Solve 4*k + k - f = 0 for k.
3
Let x be 0 + (-8)/(-5) + 10/25. Solve -w + 15 = x*w for w.
5
Suppose -3*z + 5*n = -23, -3*z + 3*n = n - 20. Solve 5*a = -z + 31 for a.
5
Suppose 0 = 3*k - 2*k - 2. Solve -2 + 4 = k*f for f.
1
Let i = -64 - -69. Solve -2 = i*z + 23 for z.
-5
Let p be 2*(-2)/(-1) + -3. Solve -5*k = p + 19 for k.
-4
Let v = 4 - 2. Suppose -v = 3*s - 4*s. Suppose 5*c = -s*y - 7, 2*y - 3*c = -c + 14. Solve p = -y*p for p.
0
Let k(f) = -f + 4. Let j be k(-6). Suppose 3*c = -r + 22, -j - 20 = -3*c - 3*r. Solve 0 = n - 4*n + c for n.
2
Let u(m) = m**3 - 23*m**2 + 21*m + 47. Let w be u(22). Solve -7*n = -2*n + w for n.
-5
Let y(s) = -s**2 - 20*s - 71. Let c be y(-12). Solve 0*l - c = -5*l for l.
5
Let a = -37 + 42. Solve 0 = -s + 6*s + a for s.
-1
Let n(v) = v**2 + 4*v + 6. Suppose -5*m = 17 + 3. Let z be n(m). Solve t + z - 2 = 0 for t.
-4
Let z(d) = 6 - 12*d + 9 + 14*d**2 - 15*d**2. Let x be z(-13). Solve 0 = x*v - 3 + 1 for v.
1
Suppose -2*x + 7 = -0*x + 3*s, -23 = -4*x + 3*s. Suppose -4*b + 25 = -5*j, -5*j + 0*j = b. Solve -b*y + 0*y - x = 0 for y.
-1
Let b(a) = a**3 + 6*a**2 + 4*a + 1. Let r be b(-5). Let i be (5/(-4))/(r/(-48)). Solve -d + i = d for d.
5
Let t be 12/18 + 14/6. Suppose -c = t*d + 9, 5*d - d = 3*c - 25. Let z(h) = -h**3 + 6*h**2 - 6*h + 7. Let m be z(5). Solve c = -y - m*y for y.
-1
Let t(a) = -2*a - 2. Let d(o) = 3*o + 3. Let y(i) = 3*d(i) + 5*t(i). Let k be y(-4). Let w = -18 - -30. Solve -k*n - w = -6*n for n.
4
Let q(x) = x**3 + 4*x**2 + 5. Let l be q(-4). Let h(r) = r**2 - 8*r + 8. Let g be h(8). Solve l*c - c = g for c.
2
Suppose -5 - 1 = -2*p. Suppose 4*a + 6 = 3*a - 3*z, -5*z - 10 = -5*a. Suppose 3*h + 4*w - 48 = -a*h, h = -4*w + 8. Solve h = p*j + j for j.
5
Let j be 0 - 1 - 3 - -8. Suppose -5*p = -s - 73, 2*p + 6*s - 2*s - 38 = 0. Suppose 2*m + 7 = 3*y + m, -y - j*m - p = 0. Solve -10 + y = 3*f for f.
-3
Suppose -4*s = 4*d - 72, d - 30 - 54 = -4*s. Suppose -5*r - s = -k, 0 = k + 2*r - 0*r + 6. Solve -k*v = 2*v + 20 for v.
-5
Let d(r) = r**3 - 10*r**2 + r - 12. Let q be d(10). Let o be 0/(q + 3 - 0). Solve o = -2*l - 3 + 1 for l.
-1
Let v = 19 + -14. Solve 5*o - v = 4*o for o.
5
Let k = 125 - 125. Solve k = 4*o - 2*o + 2 for o.
-1
Let v be (-1)/(-6)*-2*-15. Suppose -5*y + 7 = 2*y. Let q(f) = -f**3 - 3*f**2 + 7*f + 1. Let n be q(-5). Solve -y = -v*w - n for w.
-3
Let u(a) = -a**3 - 6*a**2 - 2*a - 9. Let s be u(-6). Let n be 3 + (-2)/s*-3. Let b be (0 + (-20)/(-8))*4. Solve -f + n = b for f.
-5
Let l = -1 - -2. Suppose -2*p - 6 = 2, 3*p = 2*q - 16. Solve b = -l + q for b.
1
Suppose -5*k - 5*r = -25, 0*r - 57 = -5*k + 3*r. Solve 3*u = k - 0 for u.
3
Let i = 23 - 29. Let t = 8 + i. Solve d = -t*d for d.
0
Let g(b) = -b**2 + 5*b + 3. Let t be g(5). Solve -t*k = -5*k + 2 for k.
1
Suppose -6*w + 0*w = -24. Solve -w = -3*a + 5 for a.
3
Let f = -19 - -11. Suppose -9 = 3*g, 0 = -t + 2*t + 2*g + 13. Let r be (-12)/t - f/28. Solve 0 = -2*s + r for s.
1
Let x(l) = -l - 7. Let o be x(-7). Suppose -12 = -4*i - h, 0*i - 4*h = 3*i - 22. Suppose o = -v - i*v. Solve g + g - 8 = v for g.
4
Let z = 12 + -8. Let o(c) = -c**3 + 5*c**2 - c + 6. Suppose -2*a = 3*a - 25. Let h be o(a). Solve -z*q - h = -9 for q.
2
Suppose -4*l - 16 = -s, -2*l + 4*l + 22 = 4*s. Suppose -20 = -s*u - 8. Solve i - u = -0 for i.
3
Suppose 0 = 4*d - 2*d - 52. Solve -4*w - d = -6 for w.
-5
Suppose 2*f = 3*u + 13, f - 4*u = -2*f + 22. Let y be 4/32 - f/(-16). Let q be -1 + 4 + (-2 - -3). Solve q*t = y - 5 for t.
-1
Let p(r) = r**2 - 7*r + 1. Let j be p(7). Let w(b) = -b - 2. Let u be w(-1). Let c be (u - (-2)/1) + 18. Solve 4*v - j - c = 0 for v.
5
Let m = -9 + 17. Solve -4*s + m = -0*s for s.
2
Let q = 4 + -1. Let o = -3 + q. Suppose 2*h - 63 = -4*c + 7*h, -5*c - h + 86 = 0. Solve o = -5*n + c - 2 for n.
3
Let p be (-8)/3*42/(-8). Let w be (-162)/(-21) - (-4)/p. Solve -2*u - 2*u = -w for u.
2
Suppose 5*m = 3*w - 2, -3*w + 0 = -2*m - 8. Solve m*d + 3*d = 0 for d.
0
Let v be 1 + 8 + -3 + -1. Solve -a = -0*a + v for a.
-5
Suppose -5 = -3*a + 4. Suppose 4*z = u + 2*u - 5, 3*u - 12 = -a*z. Solve u*f - 11 = 1 for f.
4
Suppose 0 = 49*d - 47*d - 16. Solve -3*a + d = a for a.
2
Suppose 5*m - 2*a = -3, -m - 11 = -3*a - 0*a. Solve 3*j - 4*j + m = 0 for j.
1
Let x be (2 - -2) + 30 + -4. Let i = x - 24. Solve -3*j = -i*j - 3 for j.
-1
Let j = 4 - 2. Let v be 16/6 + 8/(-12). Suppose v = 13*p - 11*p. Solve j*h + 5 = -p for h.
-3
Let m = -29 + 29. Solve -5*a = -m*a for a.
0
Let u(v) = v**3 + 5*v**2 - 7*v + 4. Let s be u(-6). Let r = -5 + s. Let g = -1 - -1. Solve -r*m - 4 + 29 = g for m.
5
Let c(x) = x + 2. Let v be c(5). Suppose w + v = 24. Suppose 2*t - h = -0*t + 13, 0 = -2*t - 5*h - w. Solve 0 = -t*q - q + 5 for q.
1
Suppose -w - 5*z + 14 + 3 = 0, -4*z = -12. Let k be 4/(-3 + w + 3). Solve s - k = -6 for s.
-4
Let p be (-16)/(-6) + (-5)/(-15). Let o be p/((-3)/(-8)) - -1. Let l(j) = -j**2 + 8*j + 11. Let n be l(o). Solve -6*f - 20 = -n*f for f.
-5
Let i = -6 - -10. Suppose -3*v + i = t, 2*v + 2 = -3*t + 21. Solve -t = 5*z + 8 for z.
-3
Let b be (-1)/(-2)*(2 + 11 + -3). Solve 2*u = b - 1 for u.
2
Suppose 0 = -5*y + 15. Let j be (-3 + 3)*(-2 + y). Let a = 10 + -7. Solve 3 = a*w - j for w.
1
Let d = 4 - 4. Suppose d + 15 = 3*z. Solve -5 = -z*v + 20 for v.
5
Suppose 8*d = 10*d - 6. Solve d*r + r = 16 for r.
4
Suppose 2 = -f, 0*q - 3*q - 3*f + 6 = 0. Let s be (-22)/(-6) - q/6. Let p be 12/(-14)*(-4 - s). Solve -4*t = -t - p for t.
2
Let f = -14 + 16. Solve -d - f = -1 for d.
-1
Suppose -2*f + 10 = 4. Suppose -f*r = -6 - 0. Let s(m) = -m + 3. Let o be s(3). Solve o*k + r*k = -2 for k.
-1
Let c(w) = w**2 + w + 9. Let m be c(7). Suppose 5*n - m = -4*v, 51 = 5*v - 4*n - 20. Solve 5*y - 2*y + v = 0 for y.
-5
Let h(i) = i**2 + 9*i - 22. Let k be h(-11). Solve k = r + 3*r - 20 for r.
5
Suppose -2*w = 3*u - 7*w - 2, 22 = 5*u + w. Solve 0 = -d - u*d + 15 for d.
3
Suppose 0*t - t + 3*k + 9 = 0, -2*t = -2*k - 10. Solve t*f = f - 2 for f.
-1
Let u = -4 + 6. Let f be u/(-3) - (-14)/3. Solve 0*y + 16 = f*y for y.
4
Suppose 3*t + 1 + 5 = 3*o, -2*o + 14 = -4*t. Let g be 4/14 - (-280)/49. Let n be (o/g)/(1/(-32)). Solve 7*q - n = 3*q for q.
4
Let i = 47 - 43. Solve i*c - 2*c = -6 for c.
-3
Let i(b) be the first derivative of b**3/3 + 9*b**2/2 + 7*b + 1. Let l be i(-6). Let r = l - -15. Solve 0*u = -u + r for u.
4
Suppose -j + 23 = 14. Solve