+ 2 for c.
-4
Suppose -236*z = -240*z + 12. Solve -z*w = -2*w for w.
0
Let p = -2 - -2. Let s be (-6)/3 - (-8)/(-4). Let b be (3/(-9))/((s/(-4))/(-9)). Solve p = -b*i - 3 for i.
-1
Let i be (-1)/2*-6 - 70/2. Let q = -27 - i. Solve -12 = -q*l - 2 for l.
2
Let y be 89/13 + (-14)/(-91). Let j(x) = 11 + x**3 - 1 - 8*x - 7*x**2 + 0*x. Let m be j(8). Solve -y*u = -2*u - m for u.
2
Suppose 65*w - 40 = 55*w. Solve 30 - 10 = -w*j for j.
-5
Suppose -2*d = 4*y - y - 11, -3*y = d - 10. Let p be d/(-1) + 2 + 5. Suppose -20*m - 45 = -23*m. Solve -m = -j + p*j for j.
-3
Let w(y) = -y**2 + 8*y - 6. Let n be w(6). Let q(u) = -u. Let t be q(4). Let k = t + n. Solve -k*j + 6 = j for j.
2
Let v(w) = 2*w**2 + 1. Let h be v(4). Let x = h + -32. Solve -c + 0 = -x for c.
1
Suppose 2*v + 5*j - 9 = 0, 0 - 3 = -v - j. Let c be (0 - (-10)/v)*(-3)/(-3). Solve -c*x - 15 - 5 = 0 for x.
-4
Let o be 1/(-2 - (-3)/(27/19)). Suppose -o*b = -5*b - 4. Solve -b = -l - 4 for l.
-3
Suppose 2*b - 5*x + 42 = 5, -b - 11 = 5*x. Let o = -21 - -41. Let f = b + o. Solve n = -0*n - f for n.
-4
Suppose -2*j - 2*u = -2, -5*u + 3 = 13. Suppose -11*h + 25 + 19 = 0. Solve a = -j*a + h for a.
1
Suppose 4*l + b = 1 + 15, 5*b - 14 = 2*l. Solve -l - 6 = -3*v for v.
3
Suppose 11 = j + r - 3*r, -3*j = -3*r - 21. Suppose -3*a + 3*l + 2*l = -1, 4*a + 4*l = 12. Suppose -a*v - 4 = -4*v. Solve -o - v*o = j for o.
-1
Let o be (9 + -2)/(-3 + 4). Suppose o*v = -11*v + 36. Solve 0 = k + v*k + 6 for k.
-2
Suppose -21 = w + 19. Let r be ((-6)/(-9) - w/12)/2. Solve r = v + 1 for v.
1
Let q be (-35)/(-10) + (-1)/(-2). Solve 12 - q = -4*v for v.
-2
Let h(c) = c**3 + 19*c**2 - 21*c - 6. Let x be h(-20). Solve -x + 4 = 2*z for z.
-5
Let x(k) = k + 2. Let f be x(-2). Let j(g) = 12*g + 1. Let t be j(1). Let q be 5/(-20) - t/(-4). Solve q*w - 2*w + 4 = f for w.
-4
Let g = -40 - -78. Let c = 40 - g. Solve c*l = -l + 9 for l.
3
Suppose -k - g + 1 = 0, -5*k + 9*k - 3*g = -3. Solve -5 = -k*d - 5*d for d.
1
Let r = -565 + 573. Solve -r*v = 4*v - 24 for v.
2
Let v = 20 - 12. Let z = -22 + 24. Solve 0*r - v = z*r for r.
-4
Let l = 123 + -180. Let q = 59 + l. Solve q*k + 15 = -3*k for k.
-3
Let v(o) = -4*o + o + 13 + 4*o + 0*o. Let t(a) = -3*a**2 - 2*a - 2. Let x be t(-2). Let p be v(x). Solve -p - 2 = -l for l.
5
Let c(x) = 2*x**2 - 85*x - 224. Let o be c(45). Solve -o = 7*u + 34 for u.
-5
Let i(y) = -34*y + 34. Let w(k) = -2*k + 1. Let p(l) = -2*i(l) + 36*w(l). Let s be p(-13). Solve -2*c = 3*c + s for c.
-4
Suppose -c + 118 = 5*y - 5*c, -104 = -5*y - 3*c. Suppose -25*b = -y*b. Solve b*o + o = 3 for o.
3
Let j be (3 + -5)*(-5)/2. Let h(p) = -j - 2*p - 2 - 4*p**2 - p**3 + 2*p**2 + 5. Let b be h(-2). Solve -5*f = -7 + b for f.
1
Let r be ((-8)/(-16))/(2/8). Suppose 0 = -4*h - 30 + 10, -5*u + 25 = -r*h. Solve -2 - u = -a for a.
5
Let i(m) = -m**2 - 3*m - 13. Let r be i(-4). Let l be (-24)/36 - r*(-1)/(-3). Solve 3*g = 4*g - l for g.
5
Suppose p = 4, -m + p = -4*p + 46. Let t = -22 - m. Solve -t*b - b + 5 = 0 for b.
1
Suppose -45 = -4*z - f, f - 2 + 7 = z. Suppose -3*b = -4*u + 13, 0 = -2*b - u + 4*u - 10. Let n be b/((-1)/3) - (-3 - 5). Solve 0 = -0*k + n*k + z for k.
-2
Suppose -35 = 4*q - 9*q. Let i = q - 3. Let m = -12 - -20. Solve -3*w - i = m for w.
-4
Let u be (-2)/7 + 121/7. Suppose -u + 9 = -4*n. Solve 0*w - 2 = n*w for w.
-1
Let t(b) = -7*b - 14. Let y be t(-3). Solve -4*v + y = 19 for v.
-3
Suppose -2*z = 2*p + p - 6, -15 = -5*z + p. Solve -z*u - 4 = -2*u for u.
-4
Let h be 0 + -4 + 13 + -6. Solve 7 - h = -2*x for x.
-2
Suppose 2*j + 2 = 0, 2*c - j = 4 + 3. Suppose 0 = c*d + 6, -3*n + 2*d = -13 - 0. Solve -2 = v - n for v.
1
Let c(a) = -a**3 + a**2. Let w(m) = 5*m**3 - 2*m**2 - 5*m - 1. Let f(g) = -4*c(g) - w(g). Let o be f(-4). Suppose -6*l = o - 43. Solve l*y - 4*y = 4 for y.
4
Suppose 0 = 7*o - 6 - 981. Solve -3 = -140*d + o*d for d.
-3
Let x = -433 - -460. Solve -x*l + 145 = 2*l for l.
5
Suppose 2*d - 56 = 6*d. Let h = -11 - d. Solve 3 = -0*b + h*b for b.
1
Suppose q = -3*c - 4*q - 100, 4*c + 85 = 3*q. Let g = c - -29. Solve -g*l = -15 + 35 for l.
-5
Suppose 0 + 0 = -9*m. Suppose u + m*t - 25 = -5*t, -27 = -3*u - 3*t. Solve -u*b - 23 - 2 = 0 for b.
-5
Let g be (0 + -12)*2/(-4). Let p(a) = -a**3 + 6*a**2 + 3*a - 8. Let m be p(g). Suppose 11*r - m*r = 5. Solve -4*z + r = -11 for z.
4
Let y = -17 - -27. Suppose -4*s + 0*f = 4*f, -2*s + 2*f = 0. Solve y = -s*u + 5*u for u.
2
Let y(q) = -q**2 - 6*q - 3. Let f = 7 - 5. Suppose -2 = 2*s + f. Let g be y(s). Solve 1 - g = i for i.
-4
Let w be (-3 - (-1853)/68) + (-1)/4. Solve w*x = 19*x - 10 for x.
-2
Suppose -4*t - 5*i + 58 = 9, -5*t + 65 = 5*i. Suppose 3*n = 5*n - 6. Let u(c) = 2*c**2 + 23*c - 21. Let a be u(1). Solve -t + a = n*g for g.
-4
Let z(y) be the third derivative of y**6/120 + y**5/6 - 11*y**4/24 + 17*y**3/6 - 12*y**2. Let w be z(-11). Solve -w + 42 = -5*k for k.
-5
Suppose -38 = -4*g - 18. Suppose -3*t = -g*t + 8. Solve -3*b - t = 2 for b.
-2
Let j(a) = -a**2 - 13*a - 10. Let k be j(-8). Suppose k = 4*h + h. Solve 0 = -3*o - 0 - h for o.
-2
Suppose 100*y + 12 = 112*y. Solve 2*r + y + 1 = 0 for r.
-1
Let y = 15 - -11. Let p = 33 - y. Solve p = -4*f + 3 for f.
-1
Let a(b) = b**3 + 10*b**2 - 12*b - 11. Let c be a(-11). Let l be 0 - (-2 + (c - 0)). Solve -l*f + 3*f - 4 = 0 for f.
4
Suppose r - 2*r - 9 = 0. Let m be (-36)/r - (1 + -2). Solve 0 = m*q + 6 - 1 for q.
-1
Let t(d) = d**2 - 3*d. Suppose 12 = -5*x + 32. Let z be t(x). Suppose -12 = -2*g + 3*k, z*g + k + 2*k - 24 = 0. Solve i - g = -i for i.
3
Suppose -3*c = -15, 5*f - 5*c + 12 + 13 = 0. Suppose 2*l = -f*l + 10. Solve 0 = -5*q + 6*q - l for q.
5
Let n(f) = -9*f - 1. Let k be n(1). Let h(t) = 3*t + 31. Let i be h(k). Solve 0*d - d = i for d.
-1
Suppose -22 = h + 5*a, 4*h - 6*h + 3*a + 21 = 0. Let y be 3 - (-30)/(-20)*2/h. Solve -5*b = y - 7 for b.
1
Let x(r) = 8*r - 42. Let b be x(6). Let c = 50 - 27. Suppose -20*i = -c*i + b. Solve -3*l = -i*l - 2 for l.
2
Suppose -15 = 3*u, 2*y - 19 = 3*y + 5*u. Suppose 188 = 2*x + 170. Solve -x*n = -y*n for n.
0
Let j(w) = w - 8. Let z be j(8). Let d(h) = -h**2 - 6 + z + 4*h + 7*h - 2*h. Let o be d(6). Solve -3*i - o = -0*i for i.
-4
Let w(v) = 2*v**2 + 81*v - 109. Let o be w(-42). Solve 0 = 3*b + o - 2 for b.
-5
Let w = -911 + 911. Solve w = 52*n - 48*n + 4 for n.
-1
Let b(r) = -r**3 + 35*r**2 - r + 37. Let g be b(35). Solve g*v - 6 + 0 = 0 for v.
3
Let b(g) be the third derivative of -g**6/60 - g**5/4 - g**4/3 - g**3/3 - 3*g**2 + 4*g. Let w be b(-7). Solve -10 + w = -z for z.
5
Suppose 0 = -3*m - 0*m + 15. Suppose m*d = 6*d + 3*a - 13, -2*d - 5*a + 23 = 0. Solve 0 = -0*t + t - d for t.
4
Let o(l) = 1. Let n(r) = -3*r - 2. Let p be (-30)/12 - 2/(-4). Let v(t) = p*o(t) - 2*n(t). Let b be v(1). Solve g = -g + b for g.
4
Let g(x) = -2*x**2 + 43*x - 227. Let w be g(10). Solve w*u = 13 - 16 for u.
-1
Let v = -39 + 49. Solve -8 = j - v for j.
2
Suppose 9*d - 6*d = 0. Suppose d = 3*o - 5 - 7. Suppose -o*p + 17 = 1. Solve -f = -p*f + 15 for f.
5
Let q be 3/(-6) + (-105)/10. Let x = q + 16. Let r(d) = d + 8. Let n be r(-5). Solve -n*g + x = -2*g for g.
5
Let w(q) = 2*q**2 - 4*q - 7. Let f be w(4). Let i = 12 - f. Suppose i*k = -k + 8. Solve k*j = j + 3 for j.
3
Let z(w) = -w**3 - 6*w**2 + w + 30. Let f be z(-5). Solve 3*i - 6 - 9 = f for i.
5
Let r be (104 - 102) + (0/(-2) - 2). Solve 2*i + 10 - 18 = r for i.
4
Suppose 4*c - 2*b = -148 + 58, 4*b = 20. Let y = 22 + c. Solve 0*x = -y*x + 4 for x.
2
Let o(x) = -x - 7. Suppose -5*z = 5*p + 45, -2*z - 3*p - 12 = p. Let l be o(z). Solve l*m = 10*m - 15 for m.
3
Let v be (-20)/((-6)/(-8)*(-72)/27). Solve 0 = -3*x + x + v for x.
5
Let q(d) be the first derivative of d**3/3 - 3*d**2/2 - 15*d + 36. Let m be q(6). Solve 2 = m*s + 14 for s.
-4
Let l = -889 - -921. Solve -l = 4*m - 24 for m.
-2
Suppose h + 11 = x, -h + 74 = 75. Solve -7*j = -x*j + 15 for j.
5
Let r = -12 - -19. Suppose 3*k - r = -h, 2*k - 4 = h + 4. Let g be h + 16/4 - 2. Solve 3*i - 1 + 4 = g for i.
-1
Suppose 5*x - 25 = -5*y, 4*x + 3*y = 6 + 13. Suppose 0 = x*f - 4*o + 12, 3*f = -0*f + o + 1. Solve -c - f - 2 = 0 for c.
-4
Suppose -4*c - 4*f = -0*f - 96, -2*f = -8. Suppose -36 = -2*h - 4*h. Suppose 0 = h*g - 8*g. Solve 3*t - 8*t + c = g for t.
4
Let o be (-1*(-12)/3)/(4