- c = -4*b for b.
3
Suppose -5*m = -3*q - 0*q + 10, 0 = -4*q - m + 21. Suppose 6 = 3*s - 4*s - 2*p, 0 = -3*s - q*p - 14. Solve t + s = -t for t.
-1
Suppose -p - 3*n - n = -17, -p + 21 = 5*n. Suppose 4*j - 12 = -4*x, 0*x - 5*j = -2*x - p. Solve 6 - x = -2*g for g.
-2
Let a(u) = 5*u - 4. Let i(k) = -3*k + 3. Let l(x) = 5*a(x) + 8*i(x). Let n be l(-6). Let t be (0 + 1/n)*0. Solve t = -2*b - 0 - 6 for b.
-3
Let o(l) = 3*l + l**2 + l + 3 + 0*l. Let q be o(-4). Let t(v) = -3*v + 6. Let w be t(-5). Solve q*x - 6 = -w for x.
-5
Let j(k) = -k**2 - 25*k. Let o be j(-25). Let x(q) be the first derivative of -q**2 + 2. Let g be x(-1). Solve o = -2*c - 0 + g for c.
1
Suppose -4*i = -10 - 2. Suppose -18 - 30 = -i*t. Suppose 5*y = l - 4, -4*y - t = -3*y - 4*l. Solve y*s = -3*s for s.
0
Suppose 5*u - 17 = 3*t, -2*u - 13 = -3*u + 3*t. Let m be ((-2)/3)/(u/(-3)). Solve -m*j = 4 + 4 for j.
-4
Let i = -85 - -88. Solve g + 0*g + i = 0 for g.
-3
Let i be 3 + 0 - 2 - 0. Suppose -o = i - 4. Solve 23 = 5*a + o for a.
4
Suppose 2*x - 27 = -3*z - 3*x, 0 = 4*x - 12. Let h be 1*z - (8 - 6). Solve -6*o = -h*o for o.
0
Suppose 3*r - 15 = 5*m, m = 4*r - 2*m - 20. Suppose -n = 5*o + 19 - 7, 5*o = -2*n - 9. Let s be 6/3 + (n - 0). Solve -r*k = -0*k - s for k.
1
Let y = -59 + 82. Let z = y - 16. Solve 0 = -3*c - 4 + z for c.
1
Let y be (-3 - -3)/1 + 0. Suppose -w - w + 10 = -2*t, 5*t + 25 = y. Solve -4*p + 18 - 6 = w for p.
3
Let r be 22/6 - (-2)/6. Solve 3 + 1 = -r*v for v.
-1
Let q = -4 - -6. Suppose q*g + 10 = f + 4*g, -5*f - 4*g + 32 = 0. Suppose f*y = 5*u - 1 - 7, 5*u + 3*y = 29. Solve 0 = -4*a + 2*a - u for a.
-2
Suppose 0 = -2*k - 2*o - 20, -5 = -k + 4*o - 15. Let u be (-26)/k - 3/5. Solve u*q = -q + 9 for q.
3
Let x = 0 + -1. Let q(m) = m - 6. Let l be q(6). Let r be (-2 - -2 - l)/x. Solve -o - 2 = -r for o.
-2
Let v be (-9)/((-6)/8*2). Solve -7*t + 4*t - v = 0 for t.
-2
Suppose 5*c + 0*m + 36 = 3*m, c - 4 = -5*m. Let v be (2/6 + -1)*c. Let i be 1/(((-6)/10)/(-3)). Solve -v = i*f - 3*f for f.
-2
Let q be -5*(-5)/((-50)/(-4)). Let y(u) = q + 0*u - 6 + u. Let j be y(4). Solve 0 = 5*p - j*p for p.
0
Let o(h) = -4*h**2 - 2*h. Let m(a) = -5*a**2 - 3*a. Let n(w) = -2*m(w) + 3*o(w). Let q be n(1). Let u be 2 - (q/(-2) - 1). Solve -u*p = p for p.
0
Suppose -12 = 4*u - 2*i, 5*u + 5*i = -4 - 11. Let a be u/(-9) + 14/3. Solve -17 = -3*o - a for o.
4
Let g(v) = v**2 + 2*v + 3. Let y(d) = -d**2 - 2*d - 2. Let i be y(-2). Let p be g(i). Solve -h = p*h for h.
0
Let b(p) = p**3 - 14*p**2 + 15*p - 17. Let t be b(13). Let g = 10 + t. Let z = 1 + 2. Solve -4 = -z*w - g for w.
-5
Suppose -10*f + 4 = -9*f, -4*o + 32 = 5*f. Solve -h = o*h for h.
0
Let d = 25 - 17. Solve d*c - 3*c = 0 for c.
0
Let z be (-6)/(-20)*-2*-10. Solve -3*j = -6*j + z for j.
2
Let f(n) = n**2 + 5*n - 2. Let o be f(-4). Suppose 3*b - 4*q = 35, -3*q - 42 = -4*b - 0*b. Let u = o + b. Solve j - u*j = -10 for j.
5
Suppose 2*r - 5*r + 4*j + 32 = 0, 5*r - 92 = -3*j. Solve -4*k = r - 4 for k.
-3
Suppose 7*g - 30*g + 69 = 0. Let i(j) = j**2 - j + 1. Let q be i(0). Solve -h + g = -q for h.
4
Suppose x - 4 = 2*s, -s - 4*x + 10 = -6*s. Let k = s - -3. Let q be ((-32)/12 + (-1)/3)*-1. Solve -q*t - k = 8 for t.
-3
Let t = -171 + 171. Solve t = 2*i + 3 - 9 for i.
3
Let m(t) = t**2 - t - 6. Let c be m(0). Suppose -2*d + d - 2 = 0. Let h be d/c + 8/3. Solve -2 - 10 = -h*x for x.
4
Let z = -44 + 46. Solve 6 = 4*a - z*a for a.
3
Let s = -13 - -16. Solve -1 = s*o - 7 for o.
2
Suppose -3*j + 96 = -30. Let i be 3*7/(j/8). Suppose 2*t + 4*l + l - 7 = 0, -3*t + 7 = i*l. Solve t = -o + 2 for o.
1
Suppose 3*c = -3, -4*j + 2*c = 6 - 20. Let u(d) = -d**3 + 6*d**2 - 5*d - 1. Let y be u(5). Let q = j + y. Solve 0 = -3*f - q*f for f.
0
Let b be (-1)/(3/6*-2). Suppose 2*o + 5*c - b = -0*c, 0 = -3*o + 2*c + 11. Solve o*q = 2*q + 1 for q.
1
Suppose 0 = r - 0*r - 3. Solve 2*w - r = -w for w.
1
Let j = 11 + -15. Let p be 0/13*(-2)/j. Solve 3*g - 1 + 4 = p for g.
-1
Suppose -4*f + 4 = -4. Let p = f + -1. Suppose 4*j + 6 = 14, -k + 2*j = 0. Solve -p + k = -a for a.
-3
Let d(n) = -n**2 + 6*n + 10. Let f be d(7). Suppose -f*p - p + 4 = 0. Solve -3*m = -10 + p for m.
3
Let a(n) = n**3 + 4*n**2 - 5*n - 4. Let f be a(-4). Let x = -10 + f. Solve p = -p + x for p.
3
Suppose -2*h + 20 = 3*h. Solve -4*s + 2*s = h for s.
-2
Let r(y) = 7*y**2 - y. Let m be r(-1). Let a = -11 + 17. Let s be -8 + a - -2*2. Solve s*l + m = -0*l for l.
-4
Suppose 1 = -3*t + 2*p + 9, 0 = 2*p + 2. Solve -2*j - 16 = t*j for j.
-4
Suppose -10 = -3*u - 2*n, -u - 3*n + 0*n = -8. Let q be -5*(3 + 68/(-20)). Let z = q - u. Solve 2*b + b = z for b.
0
Suppose -2*z - z = -27. Let y be z/5 + 8/40. Solve 0 = l + y*l + 15 for l.
-5
Let y(w) = w**2 + 5*w - 7. Let f be y(-6). Let v be (-1)/(4/20*f). Solve p - v = 2*p for p.
-5
Let r be (-2)/17 + 108/51. Let z be 1*r + (16 - 13). Solve -1 = 3*j + z for j.
-2
Suppose -3*o + 0 = -6. Suppose 4*s - 4 = 2*s. Let u = s - o. Solve -y + u*y + 3 = 0 for y.
3
Let j(g) = g - 1. Let m be j(3). Suppose -5*d = -2 + 27, -m*d = 3*h - 5. Suppose 5*r - h = -n, -2*r + 16 = r - 2*n. Solve -r*t - 4 = -3*t for t.
4
Suppose j - 12 = 3*f - j, -4*f - 16 = 5*j. Let x be f/(-10)*(-3 + 8). Solve -6*d + x*d = -12 for d.
3
Suppose 2*i + 0 = 8. Solve i*t = 3 + 1 for t.
1
Let s(r) = -r**2 + 2*r. Let q be s(2). Let m(a) = a**2 + 5*a - 3. Let h be m(-6). Let i be ((-12)/(-8))/(2/4). Solve i*x - 2*x - h = q for x.
3
Let r = 174 - 167. Solve -2*p + r*p + 15 = 0 for p.
-3
Let r(s) = s**3 + 3*s**2 - 7*s - 6. Let v be r(-4). Solve t = 4*t + v for t.
-2
Let n = 35 + -50. Let a = -11 - n. Solve 0*p = -a*p - 12 for p.
-3
Suppose -1 + 5 = -2*q, 2*x + 158 = q. Let g = 50 + x. Let z be (g/(-12))/(1/2). Solve z = y + 10 for y.
-5
Let k(t) = -t**2 - 10*t + 13. Let w be k(-11). Solve -2*n = w*n for n.
0
Suppose -4 - 3 = -s + p, 5*s + 4*p - 26 = 0. Let h be (2 - 11)*(-8)/s. Suppose -2*o + 11 = -3. Solve -h = -3*c + o*c for c.
-3
Suppose -68 = 4*h + 4*x, 87 - 13 = -4*h + 2*x. Let t be ((h/(-1))/(-3))/(-2). Solve t*y = -0*y for y.
0
Suppose -43*o = -40*o - 6. Let x be (1 - 1)/((-4)/o). Solve m - 1 = -x for m.
1
Suppose -18*b + 10 = -8*b. Solve -5*i + b = -4 for i.
1
Suppose 0*x = -x - 5, 0 = 2*o + 3*x + 5. Solve 0 = -o*f + 2*f + 9 for f.
3
Suppose -g + 4*c = 9 + 2, -3*c + 32 = 4*g. Suppose 0*t - 5 = -5*t. Solve -g = -4*p - t for p.
1
Let y(a) = -2*a - 10. Let z be y(-5). Suppose 0*l + 5*l = 10. Suppose -l*h = -m - 7, 2*m - 3 = -4*h - 1. Solve z = 4*p - h + 18 for p.
-4
Let s be (-12)/4*(-8)/18*3. Solve s*b = 3*b - 1 for b.
-1
Suppose 12 + 66 = 6*r. Solve 10 = r*b - 8*b for b.
2
Let n = -41 + 41. Solve -4*u + 21 - 1 = n for u.
5
Let v(f) = f + 8. Let t be v(-4). Solve 0 = -t*z - 4 + 16 for z.
3
Suppose 2*o = -2*o + 8. Let f be (o + (-6 - 0))/(-2). Solve -f*m = -3*m for m.
0
Suppose -5*r + 7 + 3 = 0. Let s(b) = -b + r*b - b**2 + 4 - 2. Let o be s(0). Solve -o*p = p for p.
0
Let g(n) = -n**2 + 8*n + 22. Let h be g(10). Solve -h*f + 3 = f for f.
1
Let u be (18/(-15))/(3/(-10)). Suppose 2*h - 6 = -4*j, -9 = u*h - 5*j - 21. Solve -h = -3*d + 3 for d.
2
Let s be (-5)/(5/(-3)) - 3. Solve 5*c + 0*c = s for c.
0
Let n be 309/9 + 2/3. Suppose -4*w = -n - 25. Solve w - 7 = -4*f for f.
-2
Suppose 4*r = -8 + 20. Solve 0 = r*t + 7 + 2 for t.
-3
Let y = 2 - 8. Let s be ((-2)/y)/(4/24). Solve 3*u - s*u = 2 for u.
2
Let n(z) = 3*z**3 - 2*z**3 + 3*z - 4*z**2 + 2*z. Let p be n(4). Solve 5*k - p = k for k.
5
Suppose -5*l + 5*k = -0*l - 25, 0 = -5*l - 5*k + 75. Suppose u + l = 6*u. Suppose 5*i - 15 = 2*g, 2*g + i - u*i = 5. Solve 8*c = 3*c - g for c.
-1
Suppose 0 = 2*x - 3*u + 17, -4*x - x - u - 17 = 0. Let i(m) = m**2. Let f be i(x). Suppose g + f = 4*g + 5*b, 2*g - 3*b = -2. Solve g = 2*v - 2 for v.
2
Suppose 5*v + 13 = z + 2, 4*z = -2*v + 22. Let x(b) = b**2 - 12*b + 13. Let p be x(11). Suppose -4*w + 4 = -2*w. Solve -z - w = p*d for d.
-4
Suppose 0 = -m - 2*r + 5*r - 4, 5*m + 2*r - 31 = 0. Let i = m + -3. Suppose 0 = i*l - 0*l - 6. Solve o - l*o = 6 for o.
-3
Suppose -6*g + 4*g + 5*i = -27, -3 = 2*g + 5*i. Solve -g = 4*d + 2 for d.
-2
Suppose 5*i = 5*b, 0*i = 2*i - 3*b. Let l(m) = m + 1. Let d be l(6). Suppose 4*y + 5*a - d = -i, -a = -y + 4. Solve -6 = -3*t + y for t.
3
Let x = 10 + -10. Suppose -4*k + 3*u + 16 = 0