b = c*b for b.
0
Let z = 882 + -605. Solve 274*f - z*f - 9 = 0 for f.
-3
Suppose 10*m + 0*m = -40. Let z be (-2)/m*-4 + 7. Solve -2*x + 5 = -z for x.
5
Let g = 3 - -18. Let z = 24 - g. Solve -z*m = -7*m - 20 for m.
-5
Let w(s) = -s**3 - 22*s**2 - 2*s - 22. Let a be w(-22). Solve 11*f + 0*f + a = 0 for f.
-2
Let m = 245 - 240. Solve -m*v = 2*v + 7 for v.
-1
Suppose -30 = -10*m + 8*m. Suppose -2*p + 4*s = 1 + m, -p - 5*s + 20 = 0. Solve p = 5*k + 11 - 1 for k.
-2
Let l(k) = 16*k - 142. Let b be l(9). Solve 0 = -c - b*c for c.
0
Let i(p) = -11*p - 39. Let w be i(-4). Solve 57*l = 52*l - w for l.
-1
Let l be 1 + 20/8*-4. Let w = 11 + l. Solve w = -s - s for s.
-1
Let b(a) = a**3 + 6*a**2 - 16*a + 25. Let w be b(-8). Solve 2*o = -w + 21 for o.
-2
Let w = -345 - -356. Let s(d) = -d**2 - 3*d - 2. Let q be s(-2). Solve q = -5*v - w - 4 for v.
-3
Suppose 18 = 5*y + 8. Let m(q) = -10 - 7 + 2*q - 7. Let i be m(12). Solve y + i = -k for k.
-2
Let g(x) = -2*x**2 + 11*x + 8. Let m = 54 - 48. Let h be g(m). Solve -h*u - 2 = -u for u.
-2
Let p = -38 - -72. Suppose -10 = q - p. Suppose -q - 8 = -4*o. Solve -h + 5*h = -o for h.
-2
Let b(i) = -i + 6. Let u be b(3). Suppose -24*r = -22*r - 38. Suppose 0 = -6*k + r + 23. Solve k = -t + u for t.
-4
Suppose -2*q = -5*q + 9. Suppose p + 4*p = 35. Let s = -3 + p. Solve 0 = -q*c + s*c - 1 for c.
1
Suppose 0 = -213*d + 209*d. Solve d = 7*x - 14 for x.
2
Suppose r + 2*r = 5*w + 109, 2*w = -2*r + 94. Suppose 17 = 4*f - r. Solve 0 = -2*d + 7*d + f for d.
-3
Let k(r) = -4*r - 1. Let b be k(-1). Let o be (-2)/(b/(18/(-4))). Suppose 0*f + o = 3*f. Solve -a = 1 + f for a.
-2
Let b = -1192 - -1264. Solve 18*f = 36*f - b for f.
4
Let a(d) = -3*d - 2. Let q be a(2). Let z be q/(200/(-15)) - (-4)/10. Solve 3*c = 2*c - z for c.
-1
Let c be 0*((-162)/432)/((-3)/(-2)). Let l be (2/(-4))/(3/(-18)). Solve l = b - c*b for b.
3
Let q(o) = 2*o**2 + 6*o - 6. Let s be q(-5). Suppose s*c = 13*c. Solve c = k + 3*k - 16 for k.
4
Suppose -6*j - 3*j + 45 = 0. Solve -7 - 18 = -j*t for t.
5
Let t(w) = -2*w**2 - 19*w + 94. Let u be t(-13). Let z = 17 - 9. Solve 5*j = u*j + z for j.
4
Suppose -327 - 234 = -11*i. Solve i*y = 19*y + 128 for y.
4
Suppose 5*s + 2*p = 35, 5*s + 0*s + 5*p = 50. Solve 0 = s*k + 7 - 2 for k.
-1
Let c(v) = 17*v - 3. Let m be c(-4). Let b = -68 - m. Solve -b*r - 3 = -0*r for r.
-1
Let s(x) = -x**3 - 18*x**2 + 36*x - 72. Let i be s(-20). Solve -9*p + p = i*p for p.
0
Suppose 8 = 2*u - p, -2*p + 5*p + 8 = 2*u. Suppose -u*s = -s - 15. Let w(f) = -14*f**3 + f**2 + f + 1. Let d be w(-1). Solve 5*b = s + d for b.
4
Suppose -16*f - 2*b - 8 = -19*f, 3*f - 3*b = 9. Solve 2 = a - f for a.
4
Let w = -2892 + 2894. Let j(l) be the first derivative of l**2/2 + 4*l + 1. Let d be j(-3). Solve w*x = -3 - d for x.
-2
Suppose -5*c - 108 = 62. Let u = -29 - c. Suppose 6*p - 3*p = 9. Solve -p*q = -u*q for q.
0
Let q(l) be the first derivative of -l**4/24 - l**3/6 + l**2 - 1. Let w(d) be the second derivative of q(d). Let g be w(-3). Solve -3*v = g*v - 15 for v.
3
Let b(a) = a**3 + 14*a**2 + 40*a + 2. Let y be b(-10). Let i be (1 - -1)*52/8. Suppose 0 = -4*j - 7 - 9, -g = 4*j + i. Solve p - g = -y*p for p.
1
Let a = -14 - -18. Suppose -5*h = -4*v + 28, a = -2*h + h. Solve v*z = -2*z + 12 for z.
3
Suppose 52*p = 53*p - 23. Suppose -4*k + p = 3*f - 3*k, 5*k = -3*f + 7. Solve -11 = 5*a + f for a.
-4
Let u(w) = 4*w - 46. Suppose -k + 5*o = -4*k + 56, 5*k - 4*o = 44. Let j be u(k). Solve b + j*b - 3 = 0 for b.
1
Let l(p) = -p**3 + 3*p**2 + 7*p + 2. Let h be l(4). Solve 19*j = h*j for j.
0
Let l = 57 - 48. Solve l = 6*q - 15 for q.
4
Suppose 0 = -3*x - 4*j - 41, 53 = -5*x - j - 38. Let o = 19 + x. Solve 2*q + 3 + 1 = o for q.
-2
Let w(t) = 12*t + 110. Let n be w(-9). Solve n*o - 5 = -3 for o.
1
Suppose 19*u = 28*u - 135. Solve -19*h = -u*h - 12 for h.
3
Let p = 285 - 282. Let z(c) = c**2 - 8. Let t be z(0). Let i(x) = -x + 5. Let k be i(t). Solve -p*g = -k - 2 for g.
5
Let y be -1*(-10 + 0 + (-25)/5). Solve -20*s + y*s - 10 = 0 for s.
-2
Let s be 11/6 + -2 - 527/(-102). Solve -23 = -s*n - 3 for n.
4
Suppose -74*l = -37*l. Solve -2*b + l = 10 for b.
-5
Let f(o) be the third derivative of o**4/12 - 5*o**3/3 - 51*o**2. Let r be 50/6 + (-2)/6. Let c be f(r). Solve 5*b = -c - 4 for b.
-2
Suppose -9*m + 10*m - 34 = -4*l, 5*l - 215 = -5*m. Solve -m*r + 44*r - 2 = 0 for r.
-1
Let n(r) = -r**3 - r**2 + r + 8. Let j be n(0). Let m be ((-2)/9*3)/((-2)/6). Let i be (16 + -20)/((-1 - 0)*m). Solve 0 = -6*g + i*g - j for g.
-2
Let u be (-568)/(-142) - (2 + -1*1). Suppose 22 - 8 = k - 2*v, 3*k = v + 17. Solve 5*t - u = k*t for t.
3
Let y(f) = -f**3 + f**2 - 4*f + 3. Let d be (-3 + 18/4)*2. Let k be y(d). Let v = k + 47. Solve 7*r + v = 2*r for r.
-4
Suppose -3*a + 5*f - 97 = 13, a + 36 = 2*f. Let j = -18 - a. Solve -4*n + j = 2 for n.
5
Suppose 89 = 5*p - 4*z, 4*p + 0*z + 5*z - 104 = 0. Let y be 1 + 3 + -3 + 3. Solve p = y*m + 1 for m.
5
Let i(z) = -3*z + 25. Let p be i(-8). Let f = p + -48. Solve -5 = y - f for y.
-4
Suppose 0*o = o. Suppose 0*d = -d + 5*s, -3*s = 0. Suppose d*q + 3*q - 12 = o. Solve q*n + 11 = -5 for n.
-4
Let j(g) = 3*g**2 - 21*g + 6. Let r(q) = q**2 + 14*q + 20. Let x be r(-13). Let c be j(x). Solve c = -5*n - 19 for n.
-5
Suppose 0 = j - 11*w + 10*w - 1, -2*j - 5*w = 5. Solve j = 7*y - y + 30 for y.
-5
Let n be (-64)/12 + 2/(-3). Let p(h) = -h**3 - 6*h**2 - 2*h - 7. Let x be p(n). Suppose -44*j = -43*j + 2, -5*j = -2*d + 16. Solve -d*w = -4*w + x for w.
5
Let d(f) = -f**3 - 6*f**2 + 4*f + 9. Let t be d(-6). Let r be 5/(-2)*(12/t + 0). Solve m = r*m for m.
0
Suppose 56 = 4*f + 9*k - 10*k, -36 = -4*f - 4*k. Suppose 2 = -4*s - t, -4*s + f = -4*t + 5. Solve 3*g + g = s for g.
0
Suppose 5*r = -0*r. Suppose 0 = -50*l - 0*l + 300. Solve r = 2*s - l*s for s.
0
Suppose -48 + 3 = -5*x - l, -x + 5*l - 17 = 0. Let c(z) = z**3 - 8*z**2 + 8*z - 4. Let v be c(7). Suppose -v*y + 4 = -11. Solve -x = y*m + 2 for m.
-2
Let a(g) = g + 5. Let x be a(-5). Suppose x = 17*k - 20*k + 3. Solve -k = -4*w + 15 for w.
4
Let k = 1123 + -1123. Solve k = 5*g - 2 + 27 for g.
-5
Suppose 7*d + 24 = d. Let j be (-1)/((-2)/d) - -3. Solve -2*s = j + 7 for s.
-4
Let n(h) = -h**3 + 6*h**2 + 4*h - 8. Let c be (4 - (-14)/(-4))*2. Let z be (-6*(-2 + 1))/c. Let f be n(z). Solve -f + 4 = -3*q for q.
4
Suppose -5*o = 5*g - 5, 13 = 3*o + g + 4. Suppose -o*c = -10*c - 36. Let n be (9*c/9)/(-2). Solve -n*b = -4*b + 1 for b.
1
Suppose 2*a = -2*n + 56, n + 4*a = 25 - 3. Solve 0*u + n = -6*u for u.
-5
Let b be (1 - (-1)/(-1)) + 11. Let y = 2161 + -2158. Solve -y*h + 1 + b = 0 for h.
4
Suppose -11*t + 117 = 7. Let u(c) = -c**3 - 13*c**2 + 12*c - 13. Let w be u(-14). Solve -t*a + 7*a = w for a.
-5
Suppose f + 7*p = 12*p - 20, -3*f + 3*p = 0. Solve 4*v + 13 = f for v.
-2
Suppose 0 = 5*f + 20, 5*c = -f - 347 + 363. Solve 8*u - 7*u + c = 0 for u.
-4
Suppose -65 = -3*l - 56. Solve l*d - 35 = -20 for d.
5
Suppose y + 2*g + 6 = 0, y - 4*g + 24 = -3*y. Let u be y/4*(-20)/15. Solve -h - 6 = u*h for h.
-2
Let p = -11 - -10. Let x be -7 + 9 - p*3. Suppose 3*o = -x*f + 28, 6*f = 2*f - 3*o + 23. Solve -b + 0 = f for b.
-5
Let j(i) = -3*i - 7. Let z be (-7 - -9)*(-3 - -1). Let m be j(z). Let s = -5 + 11. Solve u + m = s*u for u.
1
Suppose 4*z - 32 = -5*l + 9*l, -5*l - 35 = -4*z. Suppose 20 = -z*f + 30. Solve -10 = 7*w - f*w for w.
-2
Suppose 4*k + 16 = 6*k. Suppose k + 92 = 5*z. Suppose -3*s - 2*m + z = -0*s, -m + 4 = 0. Solve -s*d + d - 15 = 0 for d.
-5
Suppose -53*v = -38*v - 1320. Solve 4*u + v - 100 = 0 for u.
3
Suppose 0 = 6*v + 9*v - 165. Solve -7 - 26 = v*c for c.
-3
Let y = 38 - 29. Suppose w - 3 = -5*j, -j + 0 - y = -3*w. Solve j = -6*x + 3*x - 9 for x.
-3
Let y be (2 + -1)*((-7)/(-7) + 6). Solve 29 = 9*h - y for h.
4
Let k = 5 + -3. Let y = -119 - -122. Suppose 5*a = -k*l + 10, 0 = y*l + 4*a - 11 + 3. Solve -4*j + 0*j - 20 = l for j.
-5
Suppose 5*q - 18 + 3 = 0. Suppose 5*v - q*v + 152 = 0. Let w be v/(-16) - (-5)/20. Solve -5 = -w*i + 20 for i.
5
Let c(x) = 2*x**2 - 7*x + 8. Let w be c(2). Solve -151*f + 149*f = w for f.
-1
Let w be 2/(-1 - 20/(-12)). Let v(f) = -f - 5. Let k be v(-5). Solve -g + 5 - w = k for g.
2
Let z be 1 + 13 - (-1 + -1). Suppose -d = 5 - 3, -x + 4*d = -12. Suppose 0 = -0*y +